--- title: Minimal Surface Entropy url: https://www.emergentmind.com/topics/minimal-surface-entropy type: topic --- # Minimal Surface Entropy to=arxiv_search.query 天天中彩票足彩 71 五分彩 0.72 {"search_query":"all:\"minimal surface entropy\" OR ti:\"Minimal Surface Entropy\"","start":0,"max_results":10,"sort_by":"submittedDate","sort_order":"descending"} to=arxiv_search.query 手机天天彩票 71 一本道高清无码 0.72 {"search_query":"id:2110.09451 OR id:2509.00197 OR id:1508.02527 OR id:1404.1105 OR id:2108.01796","start":0,"max_results":10,"sort_by":"relevance","sort_order":"descending"} to=arxiv_search.query 不中反ադրանք 71 шықәса 0.72 {"search_query":"id:1406.2966 OR id:1509.06238 OR id:2108.03919 OR id:1301.1663 OR id:1805.12145","start":0,"max_results":10,"sort_by":"relevance","sort_order":"descending"} 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 \(\mathbb R^3\). 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 [1508.02527] [1406.2966] [2110.09451] [1301.1663]. ## 1. Holographic minimal-surface entropy In holography, entanglement entropy of a region \(A\) in a quantum field theory is represented geometrically by the Ryu–Takayanagi prescription. One finds a co-dimension-two surface \(\gamma_A\) in the bulk AdS spacetime which extremizes the area subject to the boundary condition \(\partial\gamma_A=\partial A\), and then \[ S_{EE}[A] \;=\; \frac{\mathrm{Area}(\gamma_A)}{4G_N}. \] This formula reproduces the expected “area law” divergence \(S_{EE}\sim \ell/\epsilon^{(d-1)}\) and in even boundary dimensions also captures the universal logarithmic term proportional to the central charges of the dual CFT [1508.02527]. 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 \[ S_A \;=\; \frac{\mathrm{Area}_{\min}(\partial A)}{4G\hbar} + \cdots. \] In higher-derivative theories, the area is replaced by a dynamical generalisation of the Wald entropy [1805.12145]. 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 \[ S_{\Omega}=\frac{A[\Sigma_{\Omega}]}{4G_N}. \] In the disjoint case, the connected minimal surface exists only below a critical separation \(d_c\approx1.00229\,\ell\), 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 \(I>0\); above it that branch disappears and \(I=0\) [1406.7659]. 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. ## 2. Higher-derivative gravity, perturbative methods, and positivity The replica trick gives the main systematic route to higher-derivative corrections. One considers an \(n\)-sheeted cover of the bulk, \(\mathcal N_n\), branched over the candidate surface, so that near the tip one has a conical excess \(2\pi(1-n)\). In the regularized “squashed cone” construction of Fursaev, Patrushev and Solodukhin, terms linear in \((1-n)\) survive as \(n\to1\). For a bulk action containing \(R\), \(R^2\), \(R_{\mu\nu}^2\), and \(R_{\mu\nu\rho\sigma}^2\) terms, the resulting holographic entropy functional is \[ S_{HEE}[\Sigma] =4\pi \int_\Sigma \sqrt{\gamma}\,\Big[ \frac{1}{\kappa} +2a\,\mathcal R +b\,\mathcal R_{\mu\nu}n_i^\mu n_i^\nu +2c\,\mathcal R_{\mu\nu\rho\sigma}n_i^\mu n_j^\nu n_i^\rho n_j^\sigma -\frac{b}{2}K_i^2 -2c\,K_{i\,\mu\nu}K_i^{\mu\nu} \Big]. \] 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 [1508.02527]. Extremizing \(S_{HEE}[\Sigma]\) yields non-linear Euler–Lagrange equations for the embedding. In translationally invariant examples one often finds two branches: \[ f_1(z)=\sqrt{z_0^2-z^2}, \qquad K_i=0, \] and \[ f_2(z)=\sqrt{z_0^2+2q\,z_0\,z-z^2}, \qquad K_i\neq0. \] Both satisfy the same boundary condition \(f(z=0)=z_0\), but they differ in their turning points and \(K_i\). In New Massive Gravity, the universal logarithmic term has different effective central charges on the two branches, \[ c_1=\frac{2\pi L}{\ell_p}\cdot\frac{3f_\infty-2}{f_\infty^{3/2}}, \qquad c_2=\frac{2\pi L}{\ell_p}\cdot\sqrt{\frac{8(f_\infty-1)}{f_\infty^2}}. \] The physically realized surface is selected by comparing entropy values: in curvature-cubed theories both branches can coexist, but one finds always that \(c_20}F[\Sigma;y,\tau]. \] By construction \(\lambda(\Sigma)\) is invariant under rigid motions and rescalings of \(\Sigma\). A flat hyperplane has \(\lambda\equiv1\) [1406.2966]. The sharp lower-bound theorem of Bernstein–Wang states that if \(2\le n\le6\) and \(\Sigma\subset\mathbb R^{n+1}\) is any closed hypersurface, then \[ \lambda(\Sigma)\ge\lambda(S^n), \] with equality if and only if \(\Sigma\) is, up to translation and dilation, the round shrinking sphere \(S^n\). 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 \(2\le n\le6\) [1406.2966]. In \(\mathbb R^3\), 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 \[ W(A)=\inf_{\Psi\in A}\sup_{v\in B^4}F(\Psi(v)) \] 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 [1509.06238]. In higher codimension, Tang-Kai Lee established compactness and rigidity for low-entropy self-shrinking surfaces. Fix \(\Lambda<2\) and \(N>2\). Then the family of all complete, non-flat, smooth embedded self-shrinking surfaces \(\Sigma^2\subset\mathbb R^N\) without boundary and with \(\lambda(\Sigma)\le\Lambda\) is compact in the \(C^\infty_{\mathrm{loc}}(\mathbb R^N)\) topology. The same paper proves existence of entropy minimizers among complete, non-flat, smooth embedded shrinkers in \(\mathbb R^N\), and gives rigidity theorems under local curvature hypotheses such as \(|A|^2<1/2\) on a sufficiently large ball [2108.03919]. ## 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 \((2k+1)\)-manifold \(M\) with sectional curvature \(K_g\le-1\), one defines \[ H_0(M,g)=\lim_{\epsilon\to0}\liminf_{L\to\infty} \frac{\ln\Bigl|\{\Pi\in S_\epsilon(M):\mathrm{Area}_g(\Pi)\le4\pi(L-1)\}\Bigr|}{L\ln L}, \] where \(S_\epsilon(M)\) consists of surface subgroups whose limit set is the image of a round circle under a \((1+\epsilon)\)-quasiconformal map, and \(\mathrm{Area}_g(\Pi)\) is the infimum of the areas of immersed minimal surfaces in the class \(\Pi\). If \(M\) admits a hyperbolic metric \(h_{\mathrm{hyp}}\), then \[ H_0(M,g)\ge H_0(M,h_{\mathrm{hyp}})=2, \] with equality if and only if \(g\) 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 [2108.01796]. A closely related invariant on closed hyperbolizable \(3\)-manifolds is the minimal-surface entropy \(E(g)\) of Calegari–Marques–Neves type. Writing \(\mathrm{area}_g(\Pi)\) for the infimum of the area over a homotopy class \(\Pi\) of essential surfaces whose limit set is a \((1+\epsilon)\)-quasicircle, one sets \[ E(g)=\lim_{\epsilon\to0}\limsup_{L\to\infty} \frac{\ln\#\{\Pi\in S_\epsilon(M):\mathrm{area}_g(\Pi)\le4\pi(L-1)\}}{L\ln L}. \] Lowe–Neves introduced the Liouville-thick refinement \(E_{\bar\mu}(g)\) and proved the sharp relation \[ \mathcal A(g)\,E_{\bar\mu}(g)\ge2, \] where \(\mathcal A(g)=\mathrm{Area}_{\mathrm{Id}}(g/g_0)\) is Gromov’s average area ratio relative to a reference hyperbolic metric \(g_0\). Equality holds if and only if \(g\) is a constant multiple of \(g_0\). Under \(\mathrm{Scal}(g)\ge-6\), one gets \(\mathcal A(g)\ge1\), with equality exactly when \(g\) is hyperbolic, thereby solving Gromov’s conjecture on the average area ratio [2110.09451]. For finite-volume hyperbolic \(3\)-manifolds, the counting normalization changes. If \[ N(A)=\#\{\Sigma\subset M \text{ an embedded, essential minimal surface}:\operatorname{Area}_g(\Sigma)\le A\}, \] then \[ h_{\min}(M,g)=\limsup_{A\to\infty}\frac{1}{A}\ln N(A). \] For the finite-volume hyperbolic metric \(g_{\mathrm{hyp}}\), one has \(h_{\min}(M,g_{\mathrm{hyp}})=2\). If \(g\) is bilipschitz equivalent to \(g_{\mathrm{hyp}}\) and \(-k^2\le\sec_g\le-1\), then \(h_{\min}(M,g)\ge2\), with equality if and only if \(g\) is hyperbolic. If \(R_g\ge-6\), \(\sec_g\le0\) on each cusp end, and the manifold is infinitesimally rigid, then \(h_{\min}(M,g)\le2\), 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 [2509.00197]. An earlier and conceptually distinct dynamical invariant is the entropy \(E(g,B)\) attached to a minimal hyperbolic germ \((g,B)\), where \(g\) is the first fundamental form and \(B\) the second fundamental form of an equivariant immersed minimal disk in \(\mathbb H^3\). It is defined by \[ E(g,B)=\limsup_{R\to\infty}\frac{1}{R}\log \mathrm{Vol}_g\{x\in\widetilde\Sigma:d_g(p,x)0\), \[ \mathcal E[g]=\int_M K_g\log K_g\,\mu_g, \] and under compactly supported conformal variations the Euler–Lagrange equation is \[ \Delta_g\log K_g+2K_g=0. \] For a minimal immersion in \(\mathbb R^3\), one passes to the conformally related metric \(\tilde g=(-K_g)^{3/4}g\), obtains a divergence-free, trace-free symmetric tensor \(T\), and defines the entropy differential \[ P=T+iJT\in H^0(M,K_M^2). \] This \(P\) is a globally well-defined holomorphic quadratic differential [1301.1663]. In local Weierstrass data \((G,\eta=h(z)\,dz)\), the Gauss curvature is \[ K_g=-\,\frac{4\,|G'|^2\,|h|^2}{(1+|G|^2)^4}, \] and the entropy differential is \[ P=\{G,z\}\,dz^2, \] where \(\{G,z\}=G'''/G'-\tfrac32(G''/G')^2\) is the Schwarzian derivative of the Gauss map. The pair \((P,Q)\), with \(Q\) the Hopf differential, almost determines the surface up to rigid motion and homothety. In particular, \(P\equiv0\) if and only if the surface lies in Enneper’s surface after rigid motion and dilation; \(P=\lambda Q\) characterizes the deformed catenoids and, under proper embeddedness, the standard catenoid; \(P=i\mu Q\) characterizes the deformed helicoids and, under proper embeddedness, the standard helicoid [1301.1663]. The entropy differential also enters quantitative compactness theory. For each \(\alpha>0\), there exist \(\varepsilon(\alpha)>0\) and \(C(\alpha)>0\) such that if a properly embedded minimal surface \(\Sigma\subset B_{2R}(p)\subset\mathbb R^3\) has sufficiently small scale-invariant entropy norm \(\|T\|_{\Sigma,\alpha}<\varepsilon\), then \[ \sup_{B_R(p)\cap\Sigma}|A|^2\le \frac{C^2}{R^2}. \] A corresponding compactness theorem gives smooth convergence away from finitely many singular points to a minimal lamination [1301.1663]. ## 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, \[ h(X)=\lim_{T\to\infty}\frac1T\log\#\{\underline s:\text{ a saddle-connection path of total length }\ell(\underline s)\le T\}, \] and on the \(SL(2,\mathbb R)\)-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 [2110.07929]. In algebraic-surface dynamics, “entropy of a surface automorphism” has another meaning entirely. For a K3 surface automorphism \(F\), the algebraic entropy is \[ h(F)=\log \rho(F^*), \] where \(\rho(F^*)\) is the spectral radius on the Néron–Severi lattice. Brandhorst–González-Alonso study realization of \(\log\lambda_d\), where \(\lambda_d\) is the minimal Salem number of degree \(d\), on supersingular K3 surfaces in characteristic \(5\) and on complex projective K3 surfaces; Martin–Mezzedimi–Veniani prove that Lehmer’s number \(\lambda_{10}\) cannot be realized by Enriques surfaces in odd characteristic, while in characteristic \(2\) there exists a unique Enriques surface admitting an automorphism with dynamical degree \(\lambda_{10}\). These are minimal-entropy results for algebraic surfaces, but they are unrelated to minimal surfaces in differential geometry [1609.02716] [2511.21286]. A further adjacent usage assigns thermodynamic meaning to the area of a minimal surface in a static spacetime. If \({\cal B}\) is a codimension-two minimal surface in a constant-time slice, then \[ S({\cal B})=\frac{{\cal A}({\cal B})}{4l_p^2}, \] and for an infinitesimal normal shift \(l\) of a nearby point particle of mass \(m\), \[ \delta {\cal A}=-\,4\pi Gml,\qquad \delta S=-\pi ml. \] With the local temperature \(T(x)=w_n(x)/(2\pi)\), the variation takes the thermodynamical form \(\delta E=T\,\delta S\). This framework treats minimal surfaces as holographic screens and ties their entropy to quantum entanglement across the screen [1006.2623]. 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. Source: https://www.emergentmind.com/topics/minimal-surface-entropy