English

The Lee--Yang Edge Exponent via Logarithmic Averaging

Complex Variables 2026-04-01 v1

Abstract

Let FF be the thermodynamic free energy of a ferromagnetic Ising model,analytic on CZβ\mathbb{C}^{*}\setminus\mathcal{Z}_{\beta}. The Lee--Yang edge at zcZβz_c\in\partial\mathcal{Z}_\beta is characterised by F(z)=F(zc)+B(zzc)σ+1+o(zzcσ+1)F(z)=F(z_c)+B(z-z_c)^{\sigma+1}+o(|z-z_c|^{\sigma+1}) with σ(1,0)\sigma\in(-1,0) and B0B\neq 0. We prove three results: Theorem A (Jensen slope): defining the Jensen average N~(x)=12π02πlogF~(ex+iθ)dθ\widetilde{N}(x)=\frac{1}{2\pi}\int_0^{2\pi}\log|\widetilde{F}(e^{x+i\theta})|\,d\theta of F~=FF(zc)\widetilde{F}=F-F(z_c), the edge exponent satisfies N~(0+)=σ+1\widetilde{N}'(0^+)=\sigma+1. The proof is a direct application of Jensen's formula. Theorem B (Monodromy): the monodromy of FF around zcz_c multiplies the singular part by e2πi(σ+1)e^{2\pi i(\sigma+1)}, a primitive qq-th root of unity when σ+1=p/q\sigma+1=p/q. Theorem C (Kac monodromy): for any 2D CFT at an RG fixed point with relevant operator ϕ\phi of weight hϕ<0h_\phi<0 satisfying the Lee--Yang property, the RG scaling equation forces σ=hϕ/(1hϕ)\sigma=h_\phi/(1-h_\phi) and monodromy order q=denom(1/(1hϕ))q=\mathrm{denom}(1/(1-h_\phi)). We also prove that the edge expansion follows from the density asymptotics ρ(θ)Aθθcσ\rho(\theta)\sim A|\theta-\theta_c|^\sigma via a Mellin-transform calculation, making all three theorems unconditional for the d=2d=2 Ising model.

Cite

@article{arxiv.2603.29195,
  title  = {The Lee--Yang Edge Exponent via Logarithmic Averaging},
  author = {Qiao Wang},
  journal= {arXiv preprint arXiv:2603.29195},
  year   = {2026}
}
R2 v1 2026-07-01T11:45:23.341Z