Locating the Ising CFT via the ground-state energy on the fuzzy sphere
Kay Joerg Wiese
TL;DR
This work advances a GS-energy based route to locate the Ising CFT on the fuzzy sphere by exploiting a finite-size expansion $E_{GS}(N_m)/N_m = E_0 + E_1/N_m + E_{3/2}/N_m^{3/2}+\cdots$ and the near-CFT form $\chi = E_{3/2}/E_0 = \chi_{\min} + \sum_i \lambda_i^2 N_m^{-\omega_i}$. By computing only the ground-state energy with the fuzzifiED package and fitting up to $E_{5/2}$ terms, they identify the critical line and the sweet spot, and extract curvature-scaling exponents $\omega_i$ that agree with bootstrap predictions for $\omega_1 = \Delta_\varepsilon - 3$ and $\omega_2 = \Delta_{\varepsilon'} - 3$. They also test alternative normalizations using the stress-energy and parity-odd gaps, finding consistent results, and discuss the universality of the ${\cal F}$-function and its (current) inaccessibility via this GS-energy approach. The method offers a fast, robust diagnostic for locating 3D CFTs on the fuzzy sphere and provides a stepping stone toward analyzing more complex or nonunitary CFTs in this framework.
Abstract
We locate the phase-transition line for the Ising model on the fuzzy sphere from a finite-size scaling analysis of its ground-state energy. Our strategy is to write the latter as $E_{GS}(N_m)/N_m = E_{0} + E_1 /N_m + E_{3/2}/N_m^{3/2}+ ...$, and to search for a minimum of $ χ:=E_{3/2}/E_0$ as a function of the couplings. Conformal perturbation theory predicts that around a CFT, $χ= χ_{\rm min} + \sum_i λ_i^2 N_m^{-ω_i} + O(λ^3)$, where $λ_i$ are the couplings associated to perturbations of operators with dimension $Δ_i$, and $ω_i = d-Δ_i$. This procedure finds the critical curve of [PRX 13 (2023) 021009] and their sweet spot with good precision. Varying two coupling constants allows us to extract the correction-to-scaling exponent $ω$ associated to the two leading scalars $ε$, and $ε'$. We find similar results when normalizing by the gap to the stress tensor $T$ or first parity-odd operator $σ$ instead of $E_0$.
