Minimal Surface Entropy
- Minimal surface entropy is a family of entropy constructions that quantify geometric complexity via minimal surfaces in holography, mean curvature flow, and negative curvature settings.
- It captures rigidity and phase transition insights using methods such as the Ryu–Takayanagi prescription, Gaussian area minimization, and growth-rate counting of minimal surfaces.
- The concept bridges theoretical physics and differential geometry, offering actionable frameworks for analyzing entanglement, self-shrinkers, and invariant counts in hyperbolic manifolds.
to=arxiv_search.query 天天中彩票足彩 73all:\3^ 五分彩 3search_query3.73 OR ti:\3^ {"3search_query3 surface entropy\"3 OR ti:\3"Minimal Surface Entropy\"","start":3search_query3,"max_results":3all:\3search_query3 to=arxiv_search.query 手机天天彩票 73all:\3^ 一本道高清无码 3search_query3.73 OR ti:\3^ {"3search_query3 OR id:(&&&3all:\3&&&) OR id:(&&&3 OR ti:\3&&&) OR id:(Sanders, 2014) OR id:(Jiang, 2021)","start":3search_query3,"max_results":3all:\3search_query3 to=arxiv_search.query 不中反ադրանք 73all:\3^ шықәса 3search_query3.73 OR ti:\3^ {"3search_query3 OR id:(Ketover et al., 2015) OR id:(Lee, 2021) OR id:(Bernstein et al., 2013) OR id:(Kirklin, 2018)","start":3search_query3,"max_results":3all:\3search_query3 Minimal surface entropy is not a single invariant. In current research usage, the expression appears in several non-equivalent settings: as holographic entanglement entropy computed by codimension-two bulk surfaces in AdS/CFT, as the Gaussian entropy of self-shrinking surfaces in mean curvature flow, as a growth-rate invariant counting essential minimal surfaces or surface subgroups in negatively curved manifolds, and as the entropy differential associated with a curvature functional on classical minimal surfaces in PRESERVED_PLACEHOLDER_3search_query3. A plausible implication is that the term is best understood as a family of entropy constructions organized around minimal-surface geometry rather than as one universal definition (&&&3 OR ti:\3&&&, Bernstein et al., 2014, &&&3search_query3&&&, Bernstein et al., 2013).
3all:\3. Holographic minimal-surface entropy
In holography, entanglement entropy of a region PRESERVED_PLACEHOLDER_3all:\3^ in a quantum field theory is represented geometrically by the Ryu–Takayanagi prescription. One finds a co-dimension-two surface PRESERVED_PLACEHOLDER_3 OR ti:\3^ in the bulk AdS spacetime which extremizes the area subject to the boundary condition , and then
This formula reproduces the expected “area law” divergence and in even boundary dimensions also captures the universal logarithmic term proportional to the central charges of the dual CFT (&&&3 OR ti:\3&&&).
The same theme appears in a purely gravitational semiclassical derivation. For density matrices represented by smooth Euclidean gravitational path integrals, tracing over the degrees of freedom in a spatial subregion produces a reduced density matrix dominated by states for which the area of the boundary of the subregion is minimised. In the semiclassical limit, the entropy of the reduced density matrix has a leading order contribution equal to one quarter of the minimal area in natural units, so that
In higher-derivative theories, the area is replaced by a dynamical generalisation of the Wald entropy (Kirklin, 2018).
Explicit minimal-surface constructions in vacuum AdS make this prescription concrete. For spherical domains at infinity of hyperbolic space, one can write the minimal-surface equations in first-integral form, solve them for disjoint, overlapping, and touching boundary regions, renormalize the divergent area, and convert the renormalized area to entanglement entropy through
In the disjoint case, the connected minimal surface exists only below a critical separation , and beyond that threshold the connected branch disappears. In the boundary theory this reproduces the non-analyticity of the mutual information: below the threshold there is a connected minimal surface and ; above it that branch disappears and PRESERVED_PLACEHOLDER_3all:\3search_query3^ (&&&3all:\36&&&).
A common misconception is that holographic minimal-surface entropy is always literally an area. That statement is correct in Einstein gravity, but it is incomplete once higher-derivative terms or nontrivial extrinsic curvature are present.
3 OR ti:\3. Higher-derivative gravity, perturbative methods, and positivity
The replica trick gives the main systematic route to higher-derivative corrections. One considers an PRESERVED_PLACEHOLDER_3all:\3all:\3-sheeted cover of the bulk, PRESERVED_PLACEHOLDER_3all:\3 OR ti:\3, branched over the candidate surface, so that near the tip one has a conical excess PRESERVED_PLACEHOLDER_3all:\33. In the regularized “squashed cone” construction of Fursaev, Patrushev and Solodukhin, terms linear in PRESERVED_PLACEHOLDER_3all:\34 survive as PRESERVED_PLACEHOLDER_3all:\35. For a bulk action containing PRESERVED_PLACEHOLDER_3all:\36, PRESERVED_PLACEHOLDER_3all:\37, PRESERVED_PLACEHOLDER_3all:\38, and PRESERVED_PLACEHOLDER_3all:\39 terms, the resulting holographic entropy functional is
PRESERVED_PLACEHOLDER_3 OR ti:\3search_query3^
The first four terms reproduce the Wald entropy of a stationary black hole, while the last two encode extrinsic curvature corrections that are crucial in higher-derivative gravity (&&&3 OR ti:\3&&&).
Extremizing PRESERVED_PLACEHOLDER_3 OR ti:\3all:\3^ yields non-linear Euler–Lagrange equations for the embedding. In translationally invariant examples one often finds two branches: PRESERVED_PLACEHOLDER_3 OR ti:\3 OR ti:\3^ and
PRESERVED_PLACEHOLDER_3 OR ti:\33^
Both satisfy the same boundary condition PRESERVED_PLACEHOLDER_3 OR ti:\34, but they differ in their turning points and PRESERVED_PLACEHOLDER_3 OR ti:\35. In New Massive Gravity, the universal logarithmic term has different effective central charges on the two branches,
PRESERVED_PLACEHOLDER_3 OR ti:\36
The physically realized surface is selected by comparing entropy values: in curvature-cubed theories both branches can coexist, but one finds always that PRESERVED_PLACEHOLDER_3 OR ti:\37 in the overlap region, so the PRESERVED_PLACEHOLDER_3 OR ti:\38 surface with non-zero extrinsic curvature gives the true minimal entropy (&&&3 OR ti:\3&&&).
Perturbative calculations make the dependence on embedding deformations explicit. For small fluctuations about pure AdS, the change in holographic entanglement entropy can be expanded in the bulk metric perturbation and the embedded extremal surface. The deviation field PRESERVED_PLACEHOLDER_3 OR ti:\39 satisfies an inhomogeneous Jacobi equation
3search_query3^
and the embedding enters the entropy only at second order because the first-order contribution is proportional to the vanishing mean curvature 3all:\3^ (&&&3all:\39&&&).
There is also a nontrivial positivity question. The path-integral representation for Renyi entropies implies a hierarchy of positivity inequalities, and taking 3 OR ti:\3^ leads to conditional positivity of entropy correlation matrices. These inequalities are satisfied in several exact quantum-field-theory examples and for several classes of minimal surfaces, but there are counterexamples corresponding to more complicated geometries. A plausible implication is that the naive first-order 3 continuation used in some arguments for the Ryu–Takayanagi formula is too strong in general (&&&3 OR ti:\3search_query3&&&).
3. Gaussian entropy of self-shrinkers
In mean curvature flow, entropy is a Gaussian area supremum. For a smooth embedded hypersurface 4, the Gaussian surface area is
5
and the entropy is
6
By construction 7 is invariant under rigid motions and rescalings of 8. A flat hyperplane has 9 (Bernstein et al., 2014).
The sharp lower-bound theorem of Bernstein–Wang states that if 3search_query3^ and 3all:\3^ is any closed hypersurface, then
3 OR ti:\3^
with equality if and only if 3 is, up to translation and dilation, the round shrinking sphere 4. The proof uses weak mean curvature flow in the sense of Brakke, Ilmanen’s canonical boundary motions, Huisken’s monotonicity, compactness for collapsed singular shrinkers, and the uniqueness of the sphere as the entropy-stable shrinker in dimensions 5 (Bernstein et al., 2014).
In 6, Ketover–Zhou proved the same entropy lower bound for every smooth closed embedded two-sphere using a four-parameter canonical family and a Gaussian-area min–max construction. The associated width
7
is realized by a nontrivial embedded self-shrinker once the plane is excluded by a degree argument. Assuming a conjectural Morse index bound, the same strategy extends to all closed embedded surfaces that are not tori (Ketover et al., 2015).
In higher codimension, Tang-Kai Lee established compactness and rigidity for low-entropy self-shrinking surfaces. Fix 8 and 9. Then the family of all complete, non-flat, smooth embedded self-shrinking surfaces 3search_query3^ without boundary and with 3all:\3^ is compact in the 3 OR ti:\3^ topology. The same paper proves existence of entropy minimizers among complete, non-flat, smooth embedded shrinkers in 3, and gives rigidity theorems under local curvature hypotheses such as 4 on a sufficiently large ball (Lee, 2021).
4. Growth-rate invariants in negatively curved manifolds
A different use of minimal-surface entropy counts essential minimal surfaces or surface subgroups by area. For a closed orientable 5-manifold 6 with sectional curvature 7, one defines
8
where 9 consists of surface subgroups whose limit set is the image of a round circle under a 3search_query3-quasiconformal map, and 3all:\3^ is the infimum of the areas of immersed minimal surfaces in the class 3 OR ti:\3. If 3 admits a hyperbolic metric 4, then
5
with equality if and only if 6 is isometric to the hyperbolic metric. The proof combines counting of surface subgroups, barrier and uniqueness lemmas for minimal discs asymptotic to quasicircles, Gauss–Bonnet comparison, and Mostow rigidity (Jiang, 2021).
A closely related invariant on closed hyperbolizable 7-manifolds is the minimal-surface entropy 8 of Calegari–Marques–Neves type. Writing 9 for the infimum of the area over a homotopy class 3search_query3^ of essential surfaces whose limit set is a 3all:\3-quasicircle, one sets
3 OR ti:\3^
Lowe–Neves introduced the Liouville-thick refinement 3 and proved the sharp relation
4
where 5 is Gromov’s average area ratio relative to a reference hyperbolic metric 6. Equality holds if and only if 7 is a constant multiple of 8. Under 9, one gets 3search_query3, with equality exactly when 3all:\3^ is hyperbolic, thereby solving Gromov’s conjecture on the average area ratio (&&&3search_query3&&&).
For finite-volume hyperbolic 3 OR ti:\3-manifolds, the counting normalization changes. If
3
then
4
For the finite-volume hyperbolic metric 5, one has 6. If 7 is bilipschitz equivalent to 8 and 9, then 3search_query3, with equality if and only if 3all:\3^ is hyperbolic. If 3 OR ti:\3, 3 on each cusp end, and the manifold is infinitesimally rigid, then 4, again with equality only for the hyperbolic metric. The proof uses normalized Ricci flow or Ricci–DeTurck flow, exponential convergence toward the hyperbolic metric, and the area evolution inequality for minimal surfaces (&&&3all:\3&&&).
An earlier and conceptually distinct dynamical invariant is the entropy 5 attached to a minimal hyperbolic germ 6, where 7 is the first fundamental form and 8 the second fundamental form of an equivariant immersed minimal disk in 9. It is defined by
PRESERVED_PLACEHOLDER_3all:\3search_query3search_query3^
which equals the topological entropy of the geodesic flow on PRESERVED_PLACEHOLDER_3all:\3search_query3all:\3. Since PRESERVED_PLACEHOLDER_3all:\3search_query3 OR ti:\3, one has PRESERVED_PLACEHOLDER_3all:\3search_query33, with equality if and only if PRESERVED_PLACEHOLDER_3all:\3search_query34. Moreover PRESERVED_PLACEHOLDER_3all:\3search_query35 for a quasi-Fuchsian group PRESERVED_PLACEHOLDER_3all:\3search_query36, which yields a new proof of Bowen’s rigidity theorem PRESERVED_PLACEHOLDER_3all:\3search_query37 is Fuchsian (Sanders, 2014).
5. Entropy differential on classical minimal surfaces
On a smooth oriented minimal surface PRESERVED_PLACEHOLDER_3all:\3search_query38, Bernstein–Mettler introduce an entropy functional and an associated holomorphic quadratic differential. For a metric PRESERVED_PLACEHOLDER_3all:\3search_query39 with PRESERVED_PLACEHOLDER_3all:\3all:\3search_query3,
PRESERVED_PLACEHOLDER_3all:\3all:\3all:\3^
and under compactly supported conformal variations the Euler–Lagrange equation is
PRESERVED_PLACEHOLDER_3all:\3all:\3 OR ti:\3^
For a minimal immersion in PRESERVED_PLACEHOLDER_3all:\3all:\33, one passes to the conformally related metric PRESERVED_PLACEHOLDER_3all:\3all:\34, obtains a divergence-free, trace-free symmetric tensor PRESERVED_PLACEHOLDER_3all:\3all:\35, and defines the entropy differential
PRESERVED_PLACEHOLDER_3all:\3all:\36
This PRESERVED_PLACEHOLDER_3all:\3all:\37 is a globally well-defined holomorphic quadratic differential (Bernstein et al., 2013).
In local Weierstrass data PRESERVED_PLACEHOLDER_3all:\3all:\38, the Gauss curvature is
PRESERVED_PLACEHOLDER_3all:\3all:\39
and the entropy differential is
PRESERVED_PLACEHOLDER_3all:\3 OR ti:\3search_query3^
where PRESERVED_PLACEHOLDER_3all:\3 OR ti:\3all:\3^ is the Schwarzian derivative of the Gauss map. The pair PRESERVED_PLACEHOLDER_3all:\3 OR ti:\3 OR ti:\3, with PRESERVED_PLACEHOLDER_3all:\3 OR ti:\33^ the Hopf differential, almost determines the surface up to rigid motion and homothety. In particular, PRESERVED_PLACEHOLDER_3all:\3 OR ti:\34 if and only if the surface lies in Enneper’s surface after rigid motion and dilation; PRESERVED_PLACEHOLDER_3all:\3 OR ti:\35 characterizes the deformed catenoids and, under proper embeddedness, the standard catenoid; PRESERVED_PLACEHOLDER_3all:\3 OR ti:\36 characterizes the deformed helicoids and, under proper embeddedness, the standard helicoid (Bernstein et al., 2013).
The entropy differential also enters quantitative compactness theory. For each PRESERVED_PLACEHOLDER_3all:\3 OR ti:\37, there exist PRESERVED_PLACEHOLDER_3all:\3 OR ti:\38 and PRESERVED_PLACEHOLDER_3all:\3 OR ti:\39 such that if a properly embedded minimal surface PRESERVED_PLACEHOLDER_3all:\33search_query3^ has sufficiently small scale-invariant entropy norm PRESERVED_PLACEHOLDER_3all:\33all:\3, then
PRESERVED_PLACEHOLDER_3all:\33 OR ti:\3^
A corresponding compactness theorem gives smooth convergence away from finitely many singular points to a minimal lamination (Bernstein et al., 2013).
6. Terminological boundaries and adjacent usages
The multiplicity of meanings makes terminological caution necessary. In translation-surface dynamics, entropy is defined by counting saddle-connection paths through cone singularities,
PRESERVED_PLACEHOLDER_3all:\333^
and on the PRESERVED_PLACEHOLDER_3all:\334-orbit of a unit-area square-tiled surface with common cone angle, the entropy is minimized exactly when the period lattice is the equilateral triangular lattice. Equivalently, the minimizing surfaces are tiled by equilateral triangles with the singularities at the vertices. This is a surface-entropy problem, but it is not a minimal-surface problem (&&&33 OR ti:\3&&&).
In algebraic-surface dynamics, “entropy of a surface automorphism” has another meaning entirely. For a K3 surface automorphism PRESERVED_PLACEHOLDER_3all:\335, the algebraic entropy is
PRESERVED_PLACEHOLDER_3all:\336
where PRESERVED_PLACEHOLDER_3all:\337 is the spectral radius on the Néron–Severi lattice. Brandhorst–González-Alonso study realization of PRESERVED_PLACEHOLDER_3all:\338, where PRESERVED_PLACEHOLDER_3all:\339 is the minimal Salem number of degree PRESERVED_PLACEHOLDER_3all:\3start3search_query3, on supersingular K3 surfaces in characteristic PRESERVED_PLACEHOLDER_3all:\3start3all:\3^ and on complex projective K3 surfaces; Martin–Mezzedimi–Veniani prove that Lehmer’s number PRESERVED_PLACEHOLDER_3all:\3start3 OR ti:\3^ cannot be realized by Enriques surfaces in odd characteristic, while in characteristic PRESERVED_PLACEHOLDER_3all:\343 there exists a unique Enriques surface admitting an automorphism with dynamical degree PRESERVED_PLACEHOLDER_3all:\344. These are minimal-entropy results for algebraic surfaces, but they are unrelated to minimal surfaces in differential geometry (Brandhorst et al., 2016, Martin et al., 26 Nov 2025).
A further adjacent usage assigns thermodynamic meaning to the area of a minimal surface in a static spacetime. If PRESERVED_PLACEHOLDER_3all:\345 is a codimension-two minimal surface in a constant-time slice, then
PRESERVED_PLACEHOLDER_3all:\346
and for an infinitesimal normal shift PRESERVED_PLACEHOLDER_3all:\347 of a nearby point particle of mass PRESERVED_PLACEHOLDER_3all:\348,
PRESERVED_PLACEHOLDER_3all:\349
With the local temperature PRESERVED_PLACEHOLDER_3all:\3max_results3search_query3, the variation takes the thermodynamical form PRESERVED_PLACEHOLDER_3all:\3max_results3all:\3. This framework treats minimal surfaces as holographic screens and ties their entropy to quantum entanglement across the screen (Fursaev, 2010).
Taken together, these literatures show that minimal surface entropy is a structurally recurrent idea rather than a single object. In holography it is a generalized area functional of intrinsic and extrinsic geometry; in mean curvature flow it is a Gaussian complexity measure of shrinkers; in negatively curved manifolds it is a counting invariant for essential minimal surfaces and surface subgroups; and in classical surface theory it is encoded by a holomorphic quadratic differential built from the Gauss curvature. A plausible implication is that the unifying theme is not one formula, but the repeated use of minimal-surface geometry to encode complexity, rigidity, and universal terms.