Editing Bethe lattice

{{Short description|Regular infinite tree structure used in statistical mechanics}}
{{redirect|Cayley tree|finite trees with equal-length root-to-leaf paths|ordered Bell number}}
{{expert|Mathematics|date=March 2025|reason=Multiple errors, unexplained notation, inconsistent notation, confusing claims; see talk page for details}}
[[Image:Reseau de Bethe.svg|thumb|225px|right|A Bethe lattice with coordination number ''z''&nbsp;=&nbsp;3]]
In [[statistical mechanics]] and [[mathematics]], the '''Bethe lattice''' (also called a '''regular tree''') is an infinite [[symmetric graph|symmetric]] [[Regular graph|regular]] [[tree (graph theory)|tree]] where all vertices have the same number of neighbors. The Bethe lattice was introduced into the physics literature by [[Hans Bethe]] in 1935. In such a graph, each node is connected to ''z'' neighbors; the number ''z'' is called either the [[coordination number]] or the [[degree (graph theory)|degree]], depending on the field.

Due to its distinctive topological structure, the statistical mechanics of [[lattice model (physics)|lattice models]] on this graph are often easier to solve than on other lattices. The solutions are related to the often used [[Bethe ansatz]] for these systems.

== Basic properties ==
When working with the Bethe lattice, it is often convenient to mark a given vertex as the root, to be used as a reference point when considering local properties of the graph.

=== Sizes of layers ===
Once a vertex is marked as the root, we can group the other vertices into layers based on their distance from the root. The number of vertices at a distance <math>d>0</math> from the root is <math>z(z-1)^{d-1}</math>, as each vertex other than the root is adjacent to <math>z-1</math> vertices at a distance one greater from the root, and the root is adjacent to <math>z</math> vertices at a distance 1.

== In statistical mechanics ==
The Bethe lattice is of interest in statistical mechanics mainly because lattice models on the Bethe lattice are often easier to solve than on other lattices, such as the [[Square lattice|two-dimensional square lattice]]. This is because the lack of cycles removes some of the more complicated interactions. While the Bethe lattice does not as closely approximate the interactions in physical materials as other lattices, it can still provide useful insight.

=== Exact solutions to the Ising model ===
The [[Ising model]] is a mathematical model of [[ferromagnetism]], in which the magnetic properties of a material are represented by a "spin" at each node in the lattice, which is either +1 or -1. The model is also equipped with a constant <math>K</math> representing the strength of the interaction between adjacent nodes, and a constant <math>h</math> representing an external magnetic field.

The Ising model on the Bethe lattice is defined by the partition function

:<math>Z=\sum_{\{\sigma\}}\exp\left(K\sum_{(i,j)}\sigma_i\sigma_j + h\sum_i \sigma_i\right).</math>

==== Magnetization ====
In order to compute the local magnetization, we can break the lattice up into several identical parts by removing a vertex. This gives us a recurrence relation which allows us to compute the magnetization of a Cayley tree with ''n'' shells (the finite analog to the Bethe lattice) as

:<math>M=\frac{e^h-e^{-h}x_n^q}{e^h+e^{-h}x_n^q},</math>

where <math>x_0=1</math> and the values of <math>x_i</math> satisfy the recurrence relation

:<math>x_n=\frac{e^{-K+h}+e^{K-h}x_{n-1}^{q-1}}{e^{K+h}+e^{-K-h}x_{n-1}^{q-1}}</math>

In the <math>K>0</math> case when the system is ferromagnetic, the above sequence converges, so we may take the limit to evaluate the magnetization on the Bethe lattice. We get

:<math>M=\frac{e^{2h}-x^q}{e^{2h}+x_q},</math> where ''x'' is a solution to <math>x=\frac{e^{-K+h}+e^{K-h}x^{q-1}}{e^{K+h}+e^{-K-h}x^{q-1}}</math>.

There are either 1 or 3 solutions to this equation. In the case where there are 3, the sequence <math>x_n</math> will converge to the smallest when <math>h>0</math> and the largest when <math>h<0</math>.

==== Free energy ====
The free energy ''f'' at each site of the lattice in the Ising Model is given by

:<math>\frac{f}{kT}=\frac12[-Kq-q\ln(1-z^2)+\ln(z^2+1-z(x+1/x))+(q-2)\ln(x+1/x-2z)]</math>,

where <math>z=\exp(-2K)</math> and <math>x</math> is as before.<ref>{{cite book | first=Rodney J. | last=Baxter | authorlink=Rodney J. Baxter | title=Exactly solved models in statistical mechanics | publisher=Academic Press | year=1982 | isbn=0-12-083182-1 | zbl= 0538.60093 }}</ref>

== In mathematics ==
=== Return probability of a random walk ===
The probability that a [[random walk]] on a Bethe lattice of degree <math>z</math> starting at a given vertex eventually returns to that vertex is given by <math>\frac{1}{z-1}</math>. To show this, let <math>P(k)</math> be the probability of returning to our starting point if we are a distance <math>k</math> away. We have the recurrence relation

:<math>P(k)=\frac1zP(k-1)+\frac{z-1}zP(k+1)</math>

for all <math>k>1</math>, as at each location other than the starting vertex there are <math>z-1</math> edges going away from the starting vertex and 1 edge going towards it. Summing this equation over all <math>k>1</math>, we get

:<math>\sum_{k=1}^{\infty}P(k)=\frac1zP(0)+\frac1zP(1)+\sum_{k=2}^{\infty}P(k)</math>.

We have <math>P(0)=1</math>, as this indicates that we have just returned to the starting vertex, so <math>P(1)=1/(z-1)</math>, which is the value we want.

Note that this in stark contrast to the case of random walks on the two-dimensional square lattice, which famously has a return probability of 1.<ref>{{cite book | first=Rick | last=Durrett | authorlink=Rick Durrett | title=Probability: Theory and Examples | publisher=Wadsworth & Brooks/Cole | year=1991 | isbn=0-534-13206-5 }}</ref> Such a lattice is 4-regular, but the 4-regular Bethe lattice has a return probability of 1/3.

=== Number of closed walks ===
One can easily bound the number of closed walks of length <math>2k</math> starting at a given vertex of the Bethe Lattice with degree <math>z</math> from below. By considering each step as either an outward step (away from the starting vertex) or an inward step (toward the starting vertex), we see that any closed walk of length <math>2k</math> must have exactly <math>k</math> outward steps and <math>k</math> inward steps. We also may not have taken more inward steps than outward steps at any point, so the number of sequences of step directions (either inward or outward) is given by the <math>k</math>th [[Catalan number]] <math>C_k</math>. There are at least <math>z-1</math> choices for each outward step, and always exactly 1 choice for each inward step, so the number of closed walks is at least <math>(z-1)^kC_k</math>.

This bound is not tight, as there are actually <math>z</math> choices for an outward step from the starting vertex, which happens at the beginning and any number of times during the walk.  The exact number of walks is trickier to compute, and is given by the formula

:<math>(z-1)^kC_k\cdot \frac{z-1}{z}\ _2F_1(k+1/2,1,k+2,4(z-1)/z^2),</math>

where <math>_2F_1(\alpha,\beta,\gamma,z)</math> is the [[Hypergeometric function|Gauss hypergeometric function]].<ref>{{cite journal | first=A. | last=Giacometti | title=Exact closed form of the return probability on the Bethe lattice | arxiv=cond-mat/9411113v1 | doi=10.1088/0305-4470/28/1/003 | journal = Journal of Physics A: Mathematical and General| volume=28 | issue=1 | year=1994 | pages=L13–L17 | s2cid=13298204 }}</ref>

We may use this fact to bound the second largest eigenvalue of a <math>d</math>-regular graph. Let <math>G</math> be a <math>d</math>-regular graph with <math>n</math> vertices, and let <math>A</math> be its [[adjacency matrix]]. Then <math>\text{tr }A^{2k}</math> is the number of closed walks of length <math>2k</math>. The number of closed walks on <math>G</math> is at least <math>n</math> times the number of closed walks on the Bethe lattice with degree <math>d</math> starting at a particular vertex, as we can map the walks on the Bethe lattice to the walks on <math>G</math> that start at a given vertex and only go back on paths that were already tread. There are often more walks on <math>G</math>, as we can make use of cycles to create additional walks. The largest eigenvalue of <math>A</math> is <math>d</math>, and letting <math>\lambda_2</math> be the second largest absolute value of an eigenvalue, we have

:<math>n(d-1)^kC_k\le\text{tr} A^{2k}\le d^{2k}+(n-1)\lambda_2^{2k}.</math>

This gives <math>\lambda_2^{2k}\ge\frac{1}{n-1}(n(d-1)^kC_k-d^{2k})</math>. Noting that <math>C_k=(4-o(1))^k</math> as <math>k</math> grows, we can let <math>n</math> grow much faster than <math>k</math> to see that there are only finitely many <math>d</math>-regular graphs <math>G</math> for which the second largest absolute value of an eigenvalue is at most <math>\lambda</math>, for any <math>\lambda < 2\sqrt{d-1}.</math> This is a rather interesting result in the study of [[Expander graph|(n,d,λ)-graphs]].

=== Relation to Cayley graphs and Cayley trees ===
{{further|Cayley graph}}

A Bethe graph of even coordination number 2''n'' is isomorphic to the unoriented Cayley graph of a [[free group]] of rank ''n'' with respect to a free generating set.

=== Lattices in Lie groups ===
Bethe lattices also occur as the [[discrete subgroup]]s of certain hyperbolic [[Lie groups]], such as the [[Fuchsian group]]s. As such, they are also lattices in the sense of a [[lattice (group)|lattice in a Lie group]].

=== Hyperbolic geometry ===
[[File:H2-I-3-dual.svg|thumb|upright|The [[order-3 apeirogonal tiling]]]]
The vertices and edges of an order-<math>k</math> [[apeirogonal tiling]] of the [[hyperbolic plane]] form a Bethe lattice of degree <math>k</math>.<ref>{{cite journal
 | last1 = Mosseri | first1 = R.
 | last2 = Sadoc | first2 = J.F.
 | doi = 10.1051/jphyslet:01982004308024900
 | issue = 8
 | journal = Journal de Physique Lettres
 | pages = 249–252
 | title = The Bethe lattice: a regular tiling of the hyperbolic plane
 | volume = 43
 | year = 1982| url = https://hal.archives-ouvertes.fr/jpa-00232041/file/ajp-jphyslet_1982_43_8_249_0.pdf
 }}</ref>
{{-}}

==See also==
* [[Crystal]]

==References==
{{reflist}}
* {{cite journal | zbl=0012.04501 | doi=10.1098/rspa.1935.0122  | first=H. A. | last=Bethe | authorlink=Hans Bethe | title=Statistical theory of superlattices | journal=Proc. R. Soc. Lond. A | volume=150 | year=1935 | issue=871 | pages=552–575 |bibcode = 1935RSPSA.150..552B | doi-access= }}
* {{cite journal | first=M. | last=Ostilli | title=Cayley Trees and Bethe Lattices, a concise analysis for mathematicians and physicists | arxiv=1109.6725 | doi= 10.1016/j.physa.2012.01.038 | journal=Physica A | volume=391 | page=3417 | year=2012 | issue=12 |bibcode = 2012PhyA..391.3417O | s2cid=119693543 }}

[[Category:Hans Bethe]]
[[Category:Lattice models]]
[[Category:Trees (graph theory)]]