Limiting measure of Lee-Yang zeros for the Cayley tree (Q2323523)

The authors study the limiting measure of Lee-Yang zeros for the infinite Cayley tree. They give a brief background on Lee-Yang zeros, including a description of what many people believe to hold for the classical \(\mathbb{Z}^{d}\) lattice (where \(d\geq 2\)). The authors present the expressions for the limiting free energy and magnetization. Each of the theorems given holds for either the rooted Cayley tree or the full one. The authors provide a proposition to use powerful techniques from dynamical systems to prove results about the Lee-Yang zeros for the Cayley tree, whose analogues are completely unknown for classical lattices like \(\mathbb{Z}^{d}\). They prove that the limiting measure is not absolutely continuous with respect to the Lebesgue measure. The authors show that the limiting measure \(\mu_t\) for the Cayley tree is much wilder than what is conjectured for the \(\mathbb{Z}^{d}\) lattice. Then, they determine the pointwise dimension \(d_{\mu_t}(\phi)\) of the measure at Lebesgue a.e. point on the unit circle and every temperature. The authors prove the following theorem: Fix any branching number \(k\geq 2\) and any \(0 < t < 1\). For any compact interval \(X_t\subseteq\) interior(\(S_t\)), the restriction of \(\mu_t\) to \(X_t\) has Hausdorff dimension less than one. In particular, for any \(\phi\in S_t\) and any neighborhood of \(\phi\), \(\mu_t\) is not absolutely continuous with respect to the Lebesgue measure. The authors prove that \(\chi_{\phi,t}\) is the Lyapunov exponent for the unique absolutely continuous invariant measure. Also, the authors prove that the free energy \(F(z, t)\) has a radial critical exponent \(\kappa(\phi, t)=d_{\mu_t}(\phi)=\frac{\log k}{\chi_{\phi,t}}\).