Boundary case for collisions at the critical tail exponent

Determine whether, for an i.i.d. random tooth profile satisfying $P(H_0>z)\sim Cz^{-1/3}$ as $z\to\infty$, a typical realization of the random comb graph $\mathrm{Comb}(\mathbb{Z},H^\omega)$ has the infinite collision property for two independent simple random walks; in particular, establish or refute the conjecture that this critical case belongs to the infinite-collision regime.

Background

The paper proves a phase transition for two-walk collisions on random comb graphs with i.i.d. tooth lengths whose tail satisfies P(H0>z)CzγP(H_0>z)\sim Cz^{-\gamma}: typical realizations have infinitely many collisions when γ>1/3\gamma>1/3 and finitely many collisions when γ<1/3\gamma<1/3. The critical value γ=1/3\gamma=1/3 is not covered by the analysis.

The authors explain that the proof for γ>1/3\gamma>1/3 relies on uniform heat-kernel estimates and a second-moment argument over large disks. The technical limitations of those estimates leave the boundary case unresolved, although the authors conjecture that it should have the same infinite-collision behavior as the supercritical regime.

References

This substantially increases the technical aspects of the proof and is the main reason behind the absence of the boundary case $\gamma = 1/3$ in our analysis, which we conjecture to fall into the regime of Theorem~\ref{theo:MainRandomComb}-(1).

On the phase transition for the number of collisions on comb graphs  (2609.05343 - Ambroggio et al., 4 Sep 2026) in Section 4, introductory discussion of Section 4 before the outline of the collision mechanism (section titled “Phase transition for the number of collisions on random combs”)