Distinguish tree vs cyclic diagrams at the √n scale

Ascertain whether tree-shaped diagram contributions of size at least √n remain asymptotically distinguishable from cyclic diagram contributions in the dense Wigner matrix setting considered, specifically clarifying if tree diagrams of size ≥ √n differ significantly from cyclic diagrams in magnitude or effect on the algorithmic state.

Background

In analyzing the extension of the tree approximation to larger iteration counts, the authors argue that at T ≈ √n the contributions from tree diagrams become exponentially small while the number of non-tree (cyclic) diagrams grows rapidly. Conceptually, random walks of length ≳ √n in an n-vertex graph are likely to collide, potentially blurring the distinction between trees and cycles.

This raises a fundamental uncertainty about the diagrammatic separation at the √n scale, which directly impacts whether tree-based asymptotics can be sustained beyond this regime.

References

When T\approx \sqrt n, the tree diagrams with T vertices are exponentially small in magnitude (see \cref{lem:variance}) and the number of non-tree diagrams starts to become overwhelmingly large. At the conceptual level, random walks of length~\sgt \sqrt{n} in an $n$-vertex graph are likely to collide. Therefore, it is unclear whether or not the tree diagrams of size~\sgt \sqrt{n} are significantly different from diagrams with cycles.

Fourier Analysis of Iterative Algorithms  (2404.07881 - Jones et al., 2024) in Section 6.1 (Combinatorial phase transitions)