Verlinde Entropy Formula

• The Verlinde entropy formula is a key relation that connects horizon area to thermodynamic entropy in quantum field theory and gravitational contexts.
• Rigorous studies of free Dirac fermions reveal a dichotomy in scaling: metallic regimes show an L^(d-1) log L enhancement while gapped systems adhere to a strict area law.
• The extended Widom–Sobolev framework quantifies both leading and subleading entanglement contributions, underpinning analyses in condensed matter and quantum gravity.

The Verlinde entropy formula refers to the broad class of entropy–area relations for horizons and boundary surfaces, central to both black hole thermodynamics and emergent gravity proposals. Research at the intersection of quantum field theory, gravitational thermodynamics, and condensed matter physics has established a variety of precise entropy–area laws, both in vacuum and in the presence of gapless excitations. The most salient connections involve the scaling of (Rényi and von Neumann) entanglement entropies and the universality, or violation, of area dominance. Recent rigorous results sharpen the circumstances under which area law scaling holds, specify the structure of possible logarithmic enhancements, and reveal the operator-theoretic and geometric origins of these behaviors, particularly for free Dirac fermions in arbitrary dimensions.

1. Definitions and Background: Entropy–Area Laws

The canonical entropy–area law for static horizons (as in Bekenstein–Hawking entropy) takes the form

$S = \frac{A}{4G} \,,$

where $A$ is the area of the horizon and $G$ is Newton’s constant. In quantum statistical mechanics and field theory, the entanglement entropy $S_A$ of a subregion $A$ in the ground state of a local Hamiltonian often scales with the area of the boundary $\partial A$, i.e.,

$S_A \sim \kappa\, |\partial A| \,.$

This is generically referred to as the "area law." However, systems with gapless excitations or Fermi surfaces can exhibit modified scaling laws with universal logarithmic enhancements (Chandran et al., 2015, Bollmann et al., 2024).

2. Rényi Entropy and Scaling in Free Dirac Fermions

Let

$$S_\alpha(\Omega_L) = \mathrm{Tr}\left[ h_\alpha \left(\chi_{\Omega_L} 1_{D < E_F} \chi_{\Omega_L} \right) \right]$$

denote the Rényi entropy (order $\alpha$) for the region $\Omega_L$. Here, $A$0 is the Fermi projection for the free Dirac operator, and $A$1 projects onto the dilated region $A$2.

Bollmann and Müller proved that for free Dirac systems in $A$3 dimensions, the large-volume asymptotic of the Rényi entanglement entropy obeys (Bollmann et al., 2024):

• Logarithmically Enhanced Area Law: When $A$4 for $A$5, or for the massless $A$6 Dirac case at $A$7,

$A$8

with universal coefficient

$A$9

and a geometric factor $G$0 that encodes the shape of $G$1 and the Fermi surface.

• Strict Area Law: When $G$2 ($G$3), or for $G$4 in $G$5, the entropy saturates

$G$6

with no logarithmic enhancement.

This dichotomy, established rigorously via an extension of the Widom–Sobolev formula to matrix-valued symbols, highlights the sharp role played by the presence of a co-dimension one Fermi surface: it yields a universal $G$7 correction on top of the area law.

3. Analytical Framework: Widom–Sobolev Formula

The Widom–Sobolev asymptotic formula determines the large-scale behavior of traces of functions of pseudo-differential operators, crucially including the entanglement entropy in free Fermi (and Dirac) systems. For a suitable test function $G$8,

$G$9

where $S_A$0 is a volume term and $S_A$1 is a boundary term involving both the geometry of $S_A$2 and the discontinuity/singularity of the symbol (e.g., at the Fermi surface in momentum space).

Applied to the Dirac case, this machinery captures the entanglement entropy’s leading and subleading scaling, with the logarithmic term arising precisely from the jump singularity across the Fermi surface (Bollmann et al., 2024).

4. Physical Regimes and the Origin of Logarithmic Enhancement

The log-enhanced area law manifests when the Fermi energy exceeds the mass ($S_A$3): the ground state supports a co-dimension-one manifold of gapless modes. In this "metallic" regime, the overlap of the Fermi sea with the spatial region $S_A$4 generates long-range entanglement, leading to $S_A$5 scaling. In contrast, in gapped/insulating regimes ($S_A$6) or in higher-dimensional massless neutral gases, the Fermi surface is absent or lower dimensional, and the entropy growth reduces to strict area scaling.

The table below summarizes the regimes:

Regime	Entropy Scaling	Key Feature
Metallic ($S_A$7)	$S_A$8	Fermi surface, long-range entanglement
Massless 1D ($S_A$9)	$A$0	Critical point in 1D
Insulator ($A$1), $A$2 massless	$A$3	No Fermi surface

5. Operator-Theoretic and Test Function Assumptions

The rigorous large-$A$4 expansions hold for a broad class of entropy functions $A$5 (including Rényi entropies) satisfying Hölder-type regularity at finitely many points, specifically at $A$6 and $A$7 for entropy functions $A$8.

Key assumptions for $A$9 include:

• $\partial A$0, $\partial A$1
• Hölder-type bounds near singularities (relevant for entropies such as Rényi and von Neumann).

This enables extension of the area and log-enhanced laws to general observables expressible as traces of such $\partial A$2 applied to regionally projected Fermi projectors.

6. Physical and Mathematical Implications

These results generalize the "log-enhanced area law" well-known for non-relativistic Fermi gases to relativistic Dirac fermions in arbitrary $\partial A$3 (Chandran et al., 2015). The logarithmic correction’s origin is the co-dimension-1 discontinuity in the symbol of the Fermi projection at the Fermi shell. Absence of such discontinuity (e.g., in gapped systems or where the singular set is of lower dimension) leads to pure area law scaling.

The extension of the Widom–Sobolev formula to matrix-valued (i.e., Dirac) symbols is essential: the entanglement entropy probes the non-commutative nature of the Dirac spectral projectors, beyond scalar Fermi systems.

Physically, the log-enhancement is a marker of quantum criticality or metallicity, reflecting long-range spatial entanglement due to extended Fermi surfaces. In gapped phases, or where only point singularities remain, correlations decay rapidly and the area law saturates (Bollmann et al., 2024, Chandran et al., 2015).

7. Broader Context and Consequences

The area law and its corrections continue to play a central role in quantum field theory, condensed matter, and quantum gravity. For free Dirac systems, the rigorous identification of the scaling regimes provides not only quantitative formulas but also supports the universal application of entropy–area connection as the underlying structural feature in ground state entanglement and, by extension, in holographic and gravitational contexts.

The tightness of the logarithmic enhancement, its geometric dependence, and its analytic tractability also inform the design of numerical methods and the interpretation of entanglement spectroscopy in higher dimensions. Finally, these results provide a benchmark for extensions to interacting or disordered systems, where the stability and universality of area versus log-enhanced laws remain a subject of ongoing research (Bollmann et al., 2024).