Sphere Free Energy Overview

• Sphere free energy is a concept defined across QFT, statistical mechanics, and condensed matter, quantifying energy contributions on spherical domains.
• It encompasses formulations such as the Euclidean partition-function free energy, renormalized free energies, and Helmholtz free energy in hard-sphere systems.
• Studies highlight its practical role in analyzing RG flows, conformal invariance, and phase transitions by linking geometric confinement with energy variances.

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 (Raj, 2016, Urrutia et al., 2014, Fetecau et al., 27 Sep 2025, Subag, 2018, Byun et al., 13 Jan 2025).

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 (Tarnopolsky, 2016, Raj, 2016, Fraser-Taliente, 22 Jul 2025, Giombi et al., 2024).

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 $\mathbb S^d$0 (Santoni et al., 10 Mar 2026).

In statistical mechanics of confined hard particles, the relevant quantity is usually the canonical Helmholtz free energy. For $\mathbb S^d$1 hard spheres in a spherical cavity,

$\mathbb S^d$2

with $\mathbb S^d$3 defining the excess free energy (Urrutia et al., 2014). For hard-sphere glasses, a particle-resolved free-volume approximation gives

$\mathbb S^d$4

linking free energy directly to Voronoi-cell geometry (Zargar et al., 2013).

Other works define free-energy functionals intrinsically on the sphere. For a diffusion-aggregation model on $\mathbb S^d$5,

$\mathbb S^d$6

while in spherical spin glasses the free energy is assigned to a thin spherical band around a point $\mathbb S^d$7 in the interior of the sphere (Fetecau et al., 27 Sep 2025, Subag, 2018).

Context	Definition	Representative source
Euclidean CFT on $\mathbb S^d$8	$\mathbb S^d$9	(Tarnopolsky, 2016)
Smooth dimensional continuation	$F=-\log Z_{S^d},$0	(Raj, 2016)
Counterterm-subtracted $F=-\log Z_{S^d},$1 quantity	$F=-\log Z_{S^d},$2	(Santoni et al., 10 Mar 2026)
Hard spheres in a spherical cavity	$F=-\log Z_{S^d},$3	(Urrutia et al., 2014)
Nonlinear diffusion-aggregation on $F=-\log Z_{S^d},$4	$F=-\log Z_{S^d},$5 with entropy plus quadratic attraction	(Fetecau et al., 27 Sep 2025)
Spherical spin-glass band free energy	$F=-\log Z_{S^d},$6 on $F=-\log Z_{S^d},$7	(Subag, 2018)

2. Round-sphere partition functions in quantum field theory

For free Abelian $F=-\log Z_{S^d},$8-form gauge theory on a $F=-\log Z_{S^d},$9-sphere of radius $$\widetilde F \equiv -\sin\!\left(\frac{\pi d}{2}\right)F,$$0, 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

$$\widetilde F \equiv -\sin\!\left(\frac{\pi d}{2}\right)F,$$1

so the coefficient of $$\widetilde F \equiv -\sin\!\left(\frac{\pi d}{2}\right)F,$$2 is proportional to $$\widetilde F \equiv -\sin\!\left(\frac{\pi d}{2}\right)F,$$3. This vanishes precisely at

$$\widetilde F \equiv -\sin\!\left(\frac{\pi d}{2}\right)F,$$4

which is the condition for conformal invariance of the $$\widetilde F \equiv -\sin\!\left(\frac{\pi d}{2}\right)F,$$5-form theory. The same analysis shows that classically Hodge-dual pairs $$\widetilde F \equiv -\sin\!\left(\frac{\pi d}{2}\right)F,$$6 and $$\widetilde F \equiv -\sin\!\left(\frac{\pi d}{2}\right)F,$$7 agree in odd $$\widetilde F \equiv -\sin\!\left(\frac{\pi d}{2}\right)F,$$8, while in even $$\widetilde F \equiv -\sin\!\left(\frac{\pi d}{2}\right)F,$$9 they differ by a finite discrepancy consistent with earlier literature (Raj, 2016).

Interacting CFTs admit large-$d$0 expansions of sphere free energy. For theories with 4-fermion interactions and for the scalar $d$1 model, proposed all-$d$2 formulas organize the $d$3 correction in terms of anomalous-dimension data and reproduce the known $d$4-expansions near $d$5. In $d$6, inclusion of the $d$7 term gives good agreement with Padé-resummed $d$8-expansion results (Tarnopolsky, 2016). A later analysis of the $d$9 and Gross–Neveu CFTs to order $\epsilon$0 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$1-expansion for both short-range and long-range models (Fraser-Taliente, 22 Jul 2025).

Cubic scalar CFTs furnish another important family. A $\epsilon$2 analysis of the Yang–Lee model $\epsilon$3, the $\epsilon$4-series model $\epsilon$5, and the $\epsilon$6 cubic theory computes the sphere free energy on $\epsilon$7, treats the required curvature counterterms, and estimates three-dimensional values using Padé approximants. The reported $\epsilon$8 estimates are

$\epsilon$9

(Giombi et al., 2024).

A recurring theme is that $W_{S^3}(R)\equiv \log|Z(S^3_R)|,$0 provides the more stable quantity for continuation in $W_{S^3}(R)\equiv \log|Z(S^3_R)|,$1. This suggests a practical division of labor: $W_{S^3}(R)\equiv \log|Z(S^3_R)|,$2 is the natural object at fixed odd dimension, whereas $W_{S^3}(R)\equiv \log|Z(S^3_R)|,$3 is the natural interpolant across dimensions (Tarnopolsky, 2016, Raj, 2016, Fraser-Taliente, 22 Jul 2025).

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)\equiv \log|Z(S^3_R)|,$4

is shifted by local gravitational counterterms proportional to $W_{S^3}(R)\equiv \log|Z(S^3_R)|,$5 and $W_{S^3}(R)\equiv \log|Z(S^3_R)|,$6. Removing these ambiguities leads to the unique degree-$W_{S^3}(R)\equiv \log|Z(S^3_R)|,$7 filter

$W_{S^3}(R)\equiv \log|Z(S^3_R)|,$8

and hence to

$W_{S^3}(R)\equiv \log|Z(S^3_R)|,$9

At conformal fixed points this equals the usual $$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,$$0-theorem invariant, and conformal perturbation theory shows that $$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,$$1 decreases locally at order $$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,$$2 under any relevant scalar deformation of a 3D CFT (Santoni et al., 10 Mar 2026).

That local decrease does not extend to global monotonicity. An exact analysis of a free conformally coupled massive scalar on $$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,$$3, with $$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,$$4, shows that $$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,$$5 is non-monotone: it starts from

$$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,$$6

decreases, dips below the infrared value $$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,$$7, reaches a minimum near

$$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,$$8

and then returns to $$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,$$9 as $R^3$0 (Santoni et al., 10 Mar 2026). The stated obstruction is structural: removing the $R^3$1 and $R^3$2 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 $R^3$3 with $R^3$4 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

$R^3$5

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 (Fischetti et al., 2020).

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 $R^3$6 free energies

In 3D $R^3$7 ABJ(M) theory, the supersymmetric sphere free energy

$R^3$8

depends on the squashing parameter $R^3$9 and on three real masses $R$0. Supersymmetric localization expresses $R$1 as an $R$2-dimensional matrix integral. A key exact identity is obtained by choosing

$R$3

which maps the squashed-sphere partition function to a round-sphere mass-deformed partition function with rescaled masses. Expanding this identity around $R$4 and $R$5 yields an infinite tower of relations between $R$6-derivatives and mass derivatives of $R$7. For $R$8 ABJ(M), these relations determine $R$9 and $\mathbb S^d$00 to all orders in $\mathbb S^d$01; the leading terms are

$\mathbb S^d$02

and they match a recent AdS$\mathbb S^d$03 prediction to subleading order in $\mathbb S^d$04 (Chester et al., 2021).

For holographic 3D $\mathbb S^d$05 SCFTs, the mass-deformed sphere free energy

$\mathbb S^d$06

is highly selective as an observable. Using only properties of the AdS superalgebra $\mathbb S^d$07, it has been shown that $\mathbb S^d$08 is independent of all D-terms, all non-chiral F-terms, and all $\mathbb S^d$09-BPS interactions, but can depend on chiral F-terms and on bulk real-mass terms. The same analysis provides evidence that $\mathbb S^d$10 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 $\mathbb S^d$11 vector multiplet is

$\mathbb S^d$12

independent of $\mathbb S^d$13 (Binder et al., 2021).

At two-derivative order in 4D $\mathbb S^d$14 supergravity, a more explicit holographic proposal relates the boundary sphere free energy directly to the bulk prepotential: $\mathbb S^d$15 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 (Chester et al., 2021, Binder et al., 2021, 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 $\mathbb S^d$16 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: $\mathbb S^d$17 For PMMA colloids at volume fractions $\mathbb S^d$18, fast 3D confocal microscopy and a Voronoi decomposition over about $\mathbb S^d$19 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 $\mathbb S^d$20 or more than $\mathbb S^d$21 per particle; and rearrangement events satisfy

$\mathbb S^d$22

(Zargar et al., 2013).

For a few hard spheres in a spherical cavity, the canonical treatment remains exact. The effective accessible radius is

$\mathbb S^d$23

and the partition function gives

$\mathbb S^d$24

For $\mathbb S^d$25, the configuration integrals are known analytically; for $\mathbb S^d$26, a simulation-assisted reconstruction combines event-driven molecular dynamics with the exact wall-pressure identity

$\mathbb S^d$27

A notable nonanalyticity occurs at

$\mathbb S^d$28

where an ergodicity break for distinguishable particles causes the partition function to drop by a factor of $\mathbb S^d$29 (Urrutia et al., 2014).

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

$\mathbb S^d$30

in very good agreement with simulation values $\mathbb S^d$31, $\mathbb S^d$32, $\mathbb S^d$33. The symmetry-broken contribution contributes about $\mathbb S^d$34 of the symmetry-conserving part at the transition. The same framework also yields an amorphous free-energy minimum at $\mathbb S^d$35 for $\mathbb S^d$36 and $\mathbb S^d$37, interpreted as a deeply supercooled, heterogeneous state (Singh et al., 2011).

A broader many-body reformulation writes the thermodynamic-limit free-energy density in terms of a generalized cavity volume fraction: $\mathbb S^d$38 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 (Taylor et al., 2021).

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$39, the energy

$\mathbb S^d$40

competes between nonlinear diffusion and attractive alignment. The uniform distribution is always a critical point, and it is a stable local minimizer iff

$\mathbb S^d$41

For $\mathbb S^d$42, two thresholds $\mathbb S^d$43 separate the uniform minimizer, a unique full-support equilibrium, and a unique strictly supported cap equilibrium. For $\mathbb S^d$44, $\mathbb S^d$45. For $\mathbb S^d$46 in $\mathbb S^d$47, the bifurcation structure is richer and introduces additional thresholds $\mathbb S^d$48 and $\mathbb S^d$49 (Fetecau et al., 27 Sep 2025).

In spherical spin glasses, the free-energy landscape is defined inside the sphere by assigning to each $\mathbb S^d$50 a band free energy

$\mathbb S^d$51

This yields a TAP representation

$\mathbb S^d$52

if and only if $\mathbb S^d$53 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 (Subag, 2018).

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 (Byun et al., 13 Jan 2025).

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.