The diameter of random spanning trees interpolating between the UST and the MST of the complete graph

Ágnes Kúsz
2024-10-24
Abstract:We introduce $\mathsf{WST}^{\beta_n}(K_n)$ as the weighted spanning tree of the complete graph $K_n$ w.r.t. the random electric network of conductances $\{\exp(-\beta_nU_{e})\}_{e\in E(K_n)}$ with $\mathrm{Unif}[0,1]$ i.i.d. $U_e$'s. Moving from $\beta_n\equiv 0$ to faster and faster growing $\beta_n$'s, the model interpolates between the \emph{uniform} and the \emph{minimum} spanning trees: $\mathsf{WST}^0(K_n)=\mathsf{UST}(K_n)$, and there are phase transitions for $\mathsf{WST}^{\beta_n}(K_n)$ behaving more and more like $\mathsf{MST}(K_n)$: - around $\beta_n=n^{3+o(1)}$ regarding the agreement of the two standard algorithms generating these models : Aldous-Broder and Prim's invasion algorithms, - around $\beta_n=n^{2+o(1)}$ regarding the models consisting of exactly the same edges, and - around $\beta_n=n^{1+o(1)}$ regarding the expected total length $\mathbb{E}\left[\sum_{e\in \mathsf{WST}^{\beta_n}(K_n)}U_e\right]$. But most importantly, we study the global geometry of the model: we prove that the typical diameter of $\mathsf{WST}^{\beta_n}(K_n)$ grows like $\Theta(n^{1/3})$ for $\beta_n\ge n^{4/3+o(1)}$ likewise the $\mathsf{MST}(K_n)$ case, and it grows like $\Theta(n^{1/2})$ for $\beta_n\le n^{1+o(1)}$ similarly to the $\mathsf{UST}(K_n)$ case. For $\beta_n=n^{\alpha}$ with $1<\alpha<4/3$, the behavior of the typical diameter is a more delicate open question, but we conjecture that its exponent strictly between 1/2 and 1/3.
Probability,Combinatorics
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to understand the behavior of the weighted spanning tree (WST) model under different parameters, especially its global geometric properties, such as the change of the typical diameter. Specifically, the author studies how the properties of the weighted spanning tree change with the parameter \(\beta_n\) during the interpolation process from the uniform spanning tree (UST) to the minimum spanning tree (MST). ### Research Background and Problem Description 1. **Model Definition** - The paper introduces a new random weighted spanning tree model \( WST_{\beta_n}(K_n) \), where \( K_n \) is a complete graph, and the edge weights are determined by the conductivities \(\{ \exp(-\beta_n U_e) \}_{e \in E(K_n)}\) of the random electrical network, and \( U_e\) are independent and identically distributed uniform random variables in \([0, 1]\). - When \(\beta_n = 0\), the model degenerates into a uniform spanning tree (UST), that is, \( WST_0(K_n)=UST(K_n)\). - When \(\beta_n\) approaches infinity, the model gradually approaches the minimum spanning tree (MST), that is, \( WST_{\beta_n}(K_n)\approx MST(K_n)\). 2. **Key Problems** - **Phase - transition Phenomenon**: The paper studies whether the behavior of the WST model will change significantly under different \(\beta_n\) parameters. For example, near \(\beta_n = n^3+o(1)\), whether the Aldous - Broder and Prim algorithms will add the same edges at each step; near \(\beta_n = n^2+o(1)\), whether the WST and MST will have the same edge sets; near \(\beta_n = n^{1 + o(1)}\), whether the expected total lengths of the WST and MST are the same. - **Typical Diameter**: The paper pays special attention to the change of the typical diameter (Diameter) of the WST model with \(\beta_n\). The author proves that when \(\beta_n\geq n^{4/3+o(1)}\), the typical diameter of the WST is similar to that of the MST, growing as \(\Theta(n^{1/3})\); and when \(\beta_n\leq n^{1+o(1)}\), the typical diameter of the WST is similar to that of the UST, growing as \(\Theta(n^{1/2})\). ### Main Results - **Algorithm Consistency**: The paper proves that when \(\beta_n\gg n^3\log n\), the Aldous - Broder and Prim algorithms almost always add the same edges; and when \(\beta_n\ll n^3\), the two algorithms usually produce different edges in some steps. - **Model Consistency**: The paper proves that when \(\beta_n\gg n^2\log n\), the WST and MST are almost always the same; and when \(\beta_n\ll n^2\), the two are usually different. - **Typical Diameter**: The paper proves that when \(\beta_n\gg n^{4/3}\log n\), the typical diameter of the WST grows as \(\Theta(n^{1/3})\); and when \(\beta_n\ll n / \log n\), the typical diameter of the WST grows as \(\Theta(n^{1/2})\). ### Open Problems - **Behavior in the Intermediate Parameter Range**: For the case of \(\frac{n}{\log n}\ll\beta_n\ll n^{4/3}\log n\), how the typical diameter of the WST changes is still an open problem. - **Exact Determination of Phase - transition Parameters**: Can the existing results be further improved to determine the specific values of the phase - transition parameters, rather than just the logarithmic factors?