Catch Me If You Can: Finding the Source of Infections in Temporal Networks

Ben Bals,Michelle Döring,Nicolas Klodt,George Skretas
2024-12-15
Abstract:Source detection (SD) is the task of finding the origin of a spreading process in a network. Algorithms for SD help us combat diseases, misinformation, pollution, and more, and have been studied by physicians, physicists, sociologists, and computer scientists. The field has received considerable attention and been analyzed in many settings (e.g., under different models of spreading processes), yet all previous work shares the same assumption that the network the spreading process takes place in has the same structure at every point in time. For example, if we consider how a disease spreads through a population, it is unrealistic to assume that two people can either never or at every time infect each other, rather such an infection is possible precisely when they meet. Therefore, we propose an extended model of SD based on temporal graphs, where each link between two nodes is only present at some time step. Temporal graphs have become a standard model of time-varying graphs, and, recently, researchers have begun to study infection problems (such as influence maximization) on temporal graphs (<a class="link-https" data-arxiv-id="2303.11703" href="https://arxiv.org/abs/2303.11703">arXiv:2303.11703</a>, [Gayraud et al., 2015]). We give the first formalization of SD on temporal graphs. For this, we employ the standard SIR model of spreading processes ([Hethcote, 1989]). We give both lower bounds and algorithms for the SD problem in a number of different settings, such as with consistent or dynamic source behavior and on general graphs as well as on trees.
Data Structures and Algorithms,Social and Information Networks
What problem does this paper attempt to address?
The problem that this paper attempts to solve is the problem of finding the source of infection in temporal networks, namely the Source Detection (SD) problem. Specifically, traditional models assume that the network propagation structure remains unchanged at all time points, which is inconsistent with the real - world situation. For example, during the spread of a disease, the contact opportunities between two people are dynamically changing rather than fixed. Therefore, this paper proposes an extended model based on temporal graphs to describe and solve this problem more accurately. ### Main contributions of the paper: 1. **Defining the SD problem**: The author formalizes the SD problem as a round - based, interactive two - player game, where one side is the Adversary who tries to hide the source of infection, and the other side is the Discoverer who tries to find the source of infection. 2. **Algorithms and lower bounds**: Provide algorithms and theoretical lower bounds for the SD problem under different parameter settings, and prove all the proposed conclusions. The research considers cases where the static graph is known or unknown, as well as consistent or dynamic source behaviors. 3. **Randomization techniques**: Introduce randomization techniques to overcome the performance bottleneck in the worst - case scenario, and propose a randomized algorithm that can win with a constant probability within O(n√n) infections. 4. **Special graph structures**: Study the SD problem in tree - like structures and bounded - tree - width graphs, showing that these structures can significantly reduce the detection cost. 5. **Theoretical analysis**: By constructing specific instances, prove that in some cases, no algorithm can solve the problem with a constant probability within o(nlogn) time. ### Key formulas and concepts: - **SIR model**: A model used to describe the infection process, where the node states are divided into three types: Susceptible, Infected, and Resistant. - Infection Chain: \[ S \subseteq V \times [0, T_{\max}] \] - Node u is infected at time t: \[ u \text{ becomes infected at time } t \iff u \text{ is susceptible and } \exists v \in V \text{ such that } (v, u) \in E \text{ and } \lambda(v, u) = t \] - **Price of Detection**: The number of infections that occur before the Discoverer finds the source of infection. - Price definition: \[ \text{Price of Detection} = \text{Number of infections until detection} \] Through these methods, this paper not only extends the application range of existing source - detection models but also provides new perspectives and tools for future research.