--- title: Sphere Free Energy Overview url: https://www.emergentmind.com/topics/sphere-free-energy type: topic --- # Sphere Free Energy Overview In the literature represented here, “sphere free energy” denotes several distinct but structurally related objects: the Euclidean partition-function functional \(F=-\log Z_{S^d}\) of quantum field theory on a round sphere; renormalized free energies associated with spherical or sphere-topology geometries; Helmholtz or excess free energies of hard-sphere systems; and free-energy functionals posed directly on \(\mathbb S^d\) or on spherical state spaces. Across these settings, the sphere plays one of three roles: as a background manifold, as a confinement geometry, or as the configuration space itself [1611.02507][1407.4819][2509.23227][1804.10576][2501.07284]. ## 1. Core definitions and scope A standard QFT definition is the sphere partition-function free energy \[ F=-\log Z_{S^d}, \] often supplemented by the smooth dimensional-continuation quantity \[ \widetilde F \equiv -\sin\!\left(\frac{\pi d}{2}\right)F, \] which is regular in continuous \(d\) and is used extensively in \(\epsilon\)-expansion analyses [1609.09113][1611.02507][2507.16896][2412.14086]. In three dimensions, a related thermodynamic object is the radius-dependent three-sphere free energy \[ W_{S^3}(R)\equiv \log|Z(S^3_R)|, \] together with its counterterm-subtracted version \[ F_{\cal E}(R)\equiv -\mathcal{D}_{\rm ren}^{(3)}\,W_{S^3}(R), \qquad \mathcal{D}_{\rm ren}^{(3)}=\Big(1-D\Big)\!\Big(1-\tfrac13 D\Big), \quad D=R\partial_R, \] introduced to remove the local \(R^3\) and \(R\) ambiguities of \(W_{S^3}(R)\) [2603.09799]. In statistical mechanics of confined hard particles, the relevant quantity is usually the canonical Helmholtz free energy. For \(N\) hard spheres in a spherical cavity, \[ Q_N=\frac{1}{N!}\Lambda^{-3N}Z_N, \qquad \beta F=-\ln Q_N, \] with \(F_{\mathrm{ex}}=F-F_{\mathrm{ideal}}\) defining the excess free energy [1407.4819]. For hard-sphere glasses, a particle-resolved free-volume approximation gives \[ F \simeq -k_B T \sum_{i=1}^N \ln \left(\frac{v_{f_i}}{\lambda^3}\right), \] linking free energy directly to Voronoi-cell geometry [1303.4107]. Other works define free-energy functionals intrinsically on the sphere. For a diffusion-aggregation model on \(\mathbb S^d\), \[ E[\rho] = \frac{1}{m-1}\int_{\mathbb S^d}\rho(x)^m\,dS(x) + \frac{\kappa}{4}\iint_{\mathbb S^d\times \mathbb S^d}\|x-y\|^2 \rho(x)\rho(y)\,dS(x)\,dS(y), \] while in spherical spin glasses the free energy is assigned to a thin spherical band around a point \(m\) in the interior of the sphere [2509.23227][1804.10576]. | Context | Definition | Representative source | |---|---|---| | Euclidean CFT on \(S^d\) | \(F=-\log Z_{S^d}\) | [1609.09113] | | Smooth dimensional continuation | \(\widetilde F=-\sin(\pi d/2)F\) | [1611.02507] | | Counterterm-subtracted \(S^3\) quantity | \(F_{\cal E}(R)=-\mathcal D_{\rm ren}^{(3)}W_{S^3}(R)\) | [2603.09799] | | Hard spheres in a spherical cavity | \(\beta F=-\ln Q_N\) | [1407.4819] | | Nonlinear diffusion-aggregation on \(\mathbb S^d\) | \(E[\rho]\) with entropy plus quadratic attraction | [2509.23227] | | Spherical spin-glass band free energy | \(F_{N,\beta}(m,\delta)\) on \({\rm Band}(m,\delta)\) | [1804.10576] | ## 2. Round-sphere partition functions in quantum field theory For free Abelian \(p\)-form gauge theory on a \(d\)-sphere of radius \(R\), the sphere free energy can be computed exactly after gauge fixing in terms of determinants of transverse Laplacians. The resulting expression contains a logarithmic radius dependence \[ F_p^{(R)}(d)=(-1)^p\left(p+1-\frac d2\right)\log (R_0R), \] so the coefficient of \(\log R\) is proportional to \(2p+2-d\). This vanishes precisely at \[ d=2p+2, \] which is the condition for conformal invariance of the \(p\)-form theory. The same analysis shows that classically Hodge-dual pairs \(p\) and \(d-p-2\) agree in odd \(d\), while in even \(d\) they differ by a finite discrepancy consistent with earlier literature [1611.02507]. Interacting CFTs admit large-\(N\) expansions of sphere free energy. For theories with 4-fermion interactions and for the scalar \(O(N)\) model, proposed all-\(d\) formulas organize the \(1/N\) correction in terms of anomalous-dimension data and reproduce the known \(\epsilon\)-expansions near \(d=2,4,6,8\). In \(d=3\), inclusion of the \(1/N\) term gives good agreement with Padé-resummed \(\epsilon\)-expansion results [1609.09113]. A later analysis of the \(O(N)\ \phi^4\) and Gross–Neveu CFTs to order \(1/N\) showed that analytic regularization requires consistently shifting the UV scaling dimension of the auxiliary field by modifying its kinetic term; together with counterterms, this resolves the mismatch identified by Tarnopolsky and yields the result matching the \(\epsilon\)-expansion for both short-range and long-range models [2507.16896]. Cubic scalar CFTs furnish another important family. A \(6-\epsilon\) analysis of the Yang–Lee model \(M(2,5)\), the \(D\)-series model \(M(3,8)\), and the \(OSp(1|2)\) cubic theory computes the sphere free energy on \(S^d\), treats the required curvature counterterms, and estimates three-dimensional values using Padé approximants. The reported \(d=3\) estimates are \[ F_{YL}\approx -0.029837,\qquad F_{OSp(1|2)}\approx -0.012054,\qquad F_{M(3,8)}\approx 0.035131 \] [2412.14086]. A recurring theme is that \(\widetilde F\) provides the more stable quantity for continuation in \(d\). This suggests a practical division of labor: \(F\) is the natural object at fixed odd dimension, whereas \(\widetilde F\) is the natural interpolant across dimensions [1609.09113][1611.02507][2507.16896]. ## 3. Renormalization-group monotonicity and geometric response A central question in three-dimensional QFT is whether the sphere free energy can be promoted to a monotone along RG flow. The natural candidate \[ W_{S^3}(R)=\log|Z(S^3_R)| \] is shifted by local gravitational counterterms proportional to \(R^3\) and \(R\). Removing these ambiguities leads to the unique degree-\(\le 2\) filter \[ \mathcal{D}_{\rm ren}^{(3)}=1-\tfrac43 D+\tfrac13 D^2, \] and hence to \[ F_{\cal E}(R)\equiv -\mathcal D_{\rm ren}^{(3)}W_{S^3}(R). \] At conformal fixed points this equals the usual \(F\)-theorem invariant, and conformal perturbation theory shows that \(F_{\cal E}\) decreases locally at order \(g^2\) under any relevant scalar deformation of a 3D CFT [2603.09799]. That local decrease does not extend to global monotonicity. An exact analysis of a free conformally coupled massive scalar on \(S^3_R\), with \(x=mR\), shows that \(F_{\cal E}\) is non-monotone: it starts from \[ F_{\cal E}(0)=F_{\rm UV}\approx 0.0638, \] decreases, dips below the infrared value \(F_{\rm IR}=0\), reaches a minimum near \[ x_\ast \approx 1.584, \qquad F_{\cal E}(x_\ast)\approx -0.0181 \approx -0.28\,F_{\rm UV}, \] and then returns to \(0^-\) as \(x\to\infty\) [2603.09799]. The stated obstruction is structural: removing the \(R^3\) and \(R\) ambiguities requires a second-order differential operator, and the resulting sign structure is not constrained by an analogue of strong subadditivity. A separate line of work studies free energies on \(\mathbb R\times \Sigma\) with \(\Sigma\) of sphere topology and fixed area. For the free massless Dirac fermion and the free scalar, the physically meaningful quantity is the background-subtracted free energy \[ \Delta F \equiv F[\beta,g]-F[\beta,\bar g], \] which is finite for two metrics of the same volume and topology. Perturbatively, the round sphere is a local maximum of the free energy at any temperature. Numerical analysis of large axisymmetric deformations provides evidence that the round sphere globally maximizes the free energy among smooth area-preserving deformations, while the free-energy difference is unbounded below as the geometry approaches a singular limit [2003.09428]. These two results are often juxtaposed but address different issues. The first concerns monotonicity along RG flow at fixed spherical background; the second concerns variation of the background geometry at fixed field theory. A plausible implication is that “sphere free energy” is not a single monotonic object but a family of observables whose behavior depends sensitively on which parameter is varied. ## 4. Supersymmetric, mass-deformed, and holographic \(S^3\) free energies In 3D \(\mathcal N\ge 6\) ABJ(M) theory, the supersymmetric sphere free energy \[ F(b;m_I)\equiv -\log Z(b;m_I) \] depends on the squashing parameter \(b\) and on three real masses \(m_I\). Supersymmetric localization expresses \(Z(b;m_I)\) as an \(N\)-dimensional matrix integral. A key exact identity is obtained by choosing \[ m_3=i\frac{b-b^{-1}}{2}, \] which maps the squashed-sphere partition function to a round-sphere mass-deformed partition function with rescaled masses. Expanding this identity around \(m_I=0\) and \(b=1\) yields an infinite tower of relations between \(b\)-derivatives and mass derivatives of \(F\). For \(\mathcal N=8\) ABJ(M), these relations determine \(\partial_b^4F|_{b=1}\) and \(\partial_b^5F|_{b=1}\) to all orders in \(1/N\); the leading terms are \[ \partial_b^4F\sim 10\sqrt{2k}\pi N^{3/2}, \qquad \partial_b^5F\sim -60\sqrt{2k}\pi N^{3/2}, \] and they match a recent AdS\(_4\) prediction to subleading order in \(1/N\) [2102.05643]. For holographic 3D \(\mathcal N=2\) SCFTs, the mass-deformed sphere free energy \[ F(\mathfrak m)=-\log Z_{S^3}(\mathfrak m) \] is highly selective as an observable. Using only properties of the AdS superalgebra \(\mathfrak{osp}(2|4)\), it has been shown that \(F(\mathfrak m)\) is independent of all D-terms, all non-chiral F-terms, and all \(\tfrac14\)-BPS interactions, but can depend on chiral F-terms and on bulk real-mass terms. The same analysis provides evidence that \(F(\mathfrak m)\) is insensitive to the mass of a massive AdS vector multiplet and to its interaction couplings with massless vector multiplets. In particular, the one-loop sphere free energy of a free massive \(\mathcal N=2\) vector multiplet is \[ F_{\mathcal N=2\text{ vector}}(\Delta)=\frac{5}{24}, \] independent of \(\Delta\) [2107.12382]. At two-derivative order in 4D \(\mathcal N=2\) supergravity, a more explicit holographic proposal relates the boundary sphere free energy directly to the bulk prepotential: \[ F_{S^3} =\frac{2\pi i\,L^2}{G_N}\,\mathcal F(Y^I), \qquad Y^I \equiv X_*^I+\frac{i}{2}\,e^I{}_a\,(\nabla_\alpha X^I)_*\,\mathfrak m^a. \] This conjecture has been verified in several examples with vector multiplets and hypermultiplets, including quadratic-prepotential and STU models [2112.06931]. Taken together, these results show that supersymmetric sphere free energy is not merely a partition function on a curved background. It is also a protected observable encoding specific BPS data while discarding large classes of bulk couplings [2102.05643][2107.12382][2112.06931]. ## 5. Hard-sphere and cavity formulations in statistical mechanics In condensed-matter and liquid-state contexts, “sphere free energy” frequently refers not to a field theory on \(S^d\) but to free energies of hard-sphere systems. A direct experimental determination of the free energy of an aging hard-sphere colloidal glass uses a free-volume approximation based on Voronoi tessellation: \[ F \simeq -k_B T \sum_{i=1}^N \ln \left(\frac{v_{f_i}}{\lambda^3}\right). \] For PMMA colloids at volume fractions \(\phi\in[0.54,0.62]\), fast 3D confocal microscopy and a Voronoi decomposition over about \(2.5\times 10^5\) particles show that crystal data match the Hall equation of state, while disordered data match Carnahan–Starling. In the glassy state the free energy decreases with time, demonstrating aging; local free-energy variations are about \(20\%\) or more than \(1\,k_B T\) per particle; and rearrangement events satisfy \[ N_{\text{events}} \sim (\Delta F)^{-1.2 \pm 0.15} \] [1303.4107]. For a few hard spheres in a spherical cavity, the canonical treatment remains exact. The effective accessible radius is \[ R_{\mathrm{eff}}=R_o-\frac{\sigma}{2}, \] and the partition function gives \[ \beta F=-\ln Q_N. \] For \(N=2,3\), the configuration integrals are known analytically; for \(N=4\), a simulation-assisted reconstruction combines event-driven molecular dynamics with the exact wall-pressure identity \[ P_w A = -\frac{dF}{dR_{\mathrm{eff}}}. \] A notable nonanalyticity occurs at \[ R_{\mathrm{eff}}=\frac{1}{\sqrt 2}\approx 0.7071, \] where an ergodicity break for distinguishable particles causes the partition function to drop by a factor of \(1/2\) [1407.4819]. The same hard-sphere emphasis appears in density-functional descriptions of freezing. A free-energy functional including both the symmetry-conserving and symmetry-broken parts of the direct pair correlation function predicts the fluid–fcc transition at \[ \eta_l=0.490,\qquad \Delta\eta^*=0.106,\qquad \alpha=170, \qquad \eta_s=0.542, \] in very good agreement with simulation values \(\eta_l=0.493\), \(\eta_s=0.545\), \(\Delta\eta^*=0.104\). The symmetry-broken contribution contributes about \(8.3\%\) of the symmetry-conserving part at the transition. The same framework also yields an amorphous free-energy minimum at \(\alpha\simeq 7\) for \(\eta=0.576\) and \(0.596\), interpreted as a deeply supercooled, heterogeneous state [1101.5941]. A broader many-body reformulation writes the thermodynamic-limit free-energy density in terms of a generalized cavity volume fraction: \[ \mathcal F(\rho)=kT\left(\rho\ln\rho-\rho-\int_0^\rho \ln \mathcal V_f(x)\,dx\right). \] This framework recovers the exact Tonks gas result and provides a novel derivation of Onsager’s free energy for a single-species isotropic system. For hard disks and hard spheres, a local fluctuating-lattice ansatz gives accurate equations of state in dilute regimes as well as beyond the freezing transition [2104.15029]. ## 6. Free-energy functionals on spherical manifolds and spherical state spaces Several recent works treat the sphere itself as the domain of the free-energy functional. In a diffusion-aggregation model on \(\mathbb S^d\), the energy \[ E[\rho] = \frac{1}{m-1}\int_{\mathbb S^d}\rho^m\,dS -\frac{\kappa}{2}\|c_\rho\|^2+\frac{\kappa}{2}, \qquad c_\rho=\int_{\mathbb S^d}x\,\rho(x)\,dS(x), \] competes between nonlinear diffusion and attractive alignment. The uniform distribution is always a critical point, and it is a stable local minimizer iff \[ \kappa<\kappa_1,\qquad \kappa_1=\frac{m(d+1)}{|\mathbb S^d|^{m-1}}. \] For \(12\) in \(d=2\), the bifurcation structure is richer and introduces additional thresholds \(\kappa_3\) and \(\kappa_c\) [2509.23227]. In spherical spin glasses, the free-energy landscape is defined inside the sphere by assigning to each \(m\) a band free energy \[ F_{N,\beta}(m,\delta)=\frac1N\log\int_{{\rm Band}(m,\delta)} e^{\beta(H_N(\sigma)-H_N(m))}\,d\sigma. \] This yields a TAP representation \[ \lim_{N\to\infty}\mathbb E F_{N,\beta} = \beta (q)+\frac12\log(1-q)+F_\beta(q) \] if and only if \(q\) is multi-samplable. Any overlap value in the support of the Parisi measure is multi-samplable, and for generic models the ultrametric tree of pure states can be embedded in the interior of the sphere so that its points uniformly maximize the free energies thus defined [1804.10576]. A 2025 study of two-dimensional Coulomb gases on the Riemann sphere considers models with determinantal or Pfaffian structures, external potentials invariant under rotations around the axis connecting the poles, and microscopic point charges inserted at the poles. These models can also be interpreted as Coulomb gases on the complex plane with weakly confining potentials whose droplet is the entire complex plane. The reported result is a precise asymptotic expansion of the free energies, including constant terms [2501.07284]. This range of examples makes a common pattern visible. Sphere free energy can encode RG data, protected supersymmetric data, excluded-volume thermodynamics, capillary energetics, TAP landscapes, or phase transitions driven by entropy–interaction competition. The term is therefore unified less by a single formula than by a shared geometric strategy: the sphere is used to organize universal contributions to free energy in a setting where curvature, compactness, or spherical symmetry is essential. Source: https://www.emergentmind.com/topics/sphere-free-energy