Table of Contents
Fetching ...

Connectedness of the Free Uniform Spanning Forest as a function of edge weights

Marcell Alexy, Márton Borbényi, András Imolay, Ádám Timár

Abstract

Let $G$ be the Cartesian product of a regular tree $T$ and a finite connected transitive graph $H$. It is shown in arXiv:2006.06387 that the Free Uniform Spanning Forest ($\mathsf{FSF}$) of this graph may not be connected, but the dependence of this connectedness on $H$ remains somewhat mysterious. We study the case when a positive weight $w$ is put on the edges of the $H$-copies in $G$, and conjecture that the connectedness of the $\mathsf{FSF}$ exhibits a phase transition. For large enough $w$ we show that the $\mathsf{FSF}$ is connected, while for a large family of $H$ and $T$, the $\mathsf{FSF}$ is disconnected when $w$ is small (relying on arXiv:2006.06387). Finally, we prove that when $H$ is the graph of one edge, then for any $w$, the $\mathsf{FSF}$ is a single tree, and we give an explicit formula for the distribution of the distance between two points within the tree.

Connectedness of the Free Uniform Spanning Forest as a function of edge weights

Abstract

Let be the Cartesian product of a regular tree and a finite connected transitive graph . It is shown in arXiv:2006.06387 that the Free Uniform Spanning Forest () of this graph may not be connected, but the dependence of this connectedness on remains somewhat mysterious. We study the case when a positive weight is put on the edges of the -copies in , and conjecture that the connectedness of the exhibits a phase transition. For large enough we show that the is connected, while for a large family of and , the is disconnected when is small (relying on arXiv:2006.06387). Finally, we prove that when is the graph of one edge, then for any , the is a single tree, and we give an explicit formula for the distribution of the distance between two points within the tree.

Paper Structure

This paper contains 6 sections, 15 theorems, 37 equations, 5 figures.

Key Result

Theorem 1.2

For every $w>0$, $\mathsf{FSF}_w(\mathbb{T}^d\square K_2)$ is connected.

Figures (5)

  • Figure :
  • Figure :
  • Figure :
  • Figure :
  • Figure :

Theorems & Definitions (37)

  • Conjecture 1.1
  • Theorem 1.2
  • Theorem 1.3
  • Definition 2.1
  • Definition 2.2
  • Lemma 2.3
  • proof
  • Lemma 2.4
  • proof
  • Lemma 2.5
  • ...and 27 more