Question
Consider the contact process on the infinite 100-regular tree, described as follows. Each vertex has two states: healthy or infected. Each vertex is equipped with two independent Poisson clocks: a "recovery" clock with rate 1, and an "infection" clock with rate 100. When the recovery clock rings, if the vertex is infected, it recovers to the healthy state. When the infection clock rings, the vertex independently and uniformly selects a neighbor and infects it (i.e., sets the neighbor's state to infected). Assume that initially exactly one vertex is infected. Prove that there is positive probability that the system never returns to the all-healthy state.
Step-by-step solution
Step 1. Starting from the initially infected vertex (root), consider the "effective offspring" count of infection spread. Each infected vertex: its infection clock rings at rate 100, each time selecting a random neighbor. In the early stages (few infected), almost all neighbors are healthy due to the infinite tree and high degree.
Step 2. A single infected vertex: recovery time . Given , the number of infection events is . In the early phase, each event infects a new vertex with probability close to 1. Mean offspring: .
Step 3. This is a continuous-time branching process with lifetime and birth rate 100. Mean offspring . By branching process theory, when (supercritical), the extinction probability , i.e., survival probability .
Step 4. "Never returning to the all-healthy state" is equivalent to the contact process never going extinct. The generating function of the offspring distribution is: . Solving : , i.e., . Solutions: or . The extinction probability is the smaller root . Therefore the survival probability is .
Final answer
QED.
Marking scheme
1. Checkpoints (max 7 pts total)
Score exactly one path; take the maximum; do not combine across paths.
Path A: Branching Process / Birth-Death Approach
- Model identification [2 pts] [additive]: Explicitly identify that due to the tree structure (no cycles), the contact process is dominated by (or equivalent to) a branching process or linear birth-death process. Must convey that "neighbors are new/independent," converting the spatial process to a counting process.
- Core parameter calculation [3 pts] [additive]:
- 3 pts: Correctly compute mean offspring (or basic reproduction number );
- or 3 pts: Establish the correct equation for extinction probability (e.g., );
- or 3 pts: Clearly state total birth rate and death rate and analyze accordingly;
- *(If only listing the rates 100 and 1 without integrating into , ratio, or equation: only 1 pt.)*
- Threshold criterion and conclusion [2 pts] [additive]: Cite branching process theory: (or ) means supercritical, so (survival prob. ); or explicitly solve and conclude positive probability of non-extinction.
Total (max 7)
2. Zero-credit items
- Merely restating the given degree and rates without building any probabilistic model.
- Asserting by intuition "100 is large so it won't die out" without mathematical derivation.
- Computing yet claiming non-extinction.
3. Deductions
- Claiming the system certainly (probability 1) never returns to all-healthy, ignoring random extinction possibility: -2 pts.
- Parameter confusion (e.g., thinking each neighbor's infection rate is 100, getting ) but correct subsequent logic: -1 pt.
- Listing but citing no theorem and jumping to "QED": -1 pt.