Deriving the Area-Term Cancelling Operator and Axiomatizing Information-Flux Dynamics

Deriving the Area-Term Cancelling Operator and Axiomatizing Information-Flux Dynamics Yoshinori Shimizu ORCID: 0009-0008-5135-7372 June 20 2025 (v1.0) ©2025 Yoshinori Shimizu •CC BY 4.0 DOI: 10.5281/zenodo.15701806 Abstract Building on quantum information flux and modular geometry, we uniquely derive a special operator that eliminates the area–divergent term purely from four axioms—self-adjointness, information conservation, vacuum stability, and area vanishing. The operator is shown to satisfy the “zero-area” extremality condition through several independent routes: the entanglemententropy area law, the Quantum Null Energy Condition, the minimal-surface equation, and the modular Markov property. We prove that these results hold universally in both flat and Anti–de Sitter spacetimes, irrespective of strongor weakcoupling limits. Furthermore, the operator coincides—up to residual terms and phase freedom—with the evolution kernel of the Unified Evolution Equation (UEE, DOI: 10.5281/zenodo.15286652, [1]) and with the Information-Flux Theory (IFT, DOI: 10.5281/zenodo.15399114, [2]). This establishes the functional completeness of the five-operator S5 basis and supports the vacuumenergy stabilization mechanism without external assumptions. Consequently, the UEE/IFT framework closes autonomously on an independently constructed axiomatic system, reinforcing the mathematical foundation for broad applications such as the mass gap, the origin of gravity, and self-replicating dynamics. 1 Contents 1 Introduction 4 1.1 Motivation and Historical Background . . . . . . . . . . . . . . . . . 4 1.2 Unresolved Issues of Information Flux and Boundary Surfaces .... 5 1.3 Limitations of Existing Approaches . . . . . . . . . . . . . . . . . . . 6 1.4 Research Objectives ............................ 7 1.5 Approach and Contributions of This Work . . . . . . . . . . . . . . . 8 1.6 Structure of the Paper .......................... 9 1.7 Introduction of Nomenclature ...................... 10 2 Preliminaries and Axiomatic Foundations 11 2.1 Notation and Metric Conventions . . . . . . . . . . . . . . . . . . . . 11 2.2 Axiomatic System of Wightman Quantum Field Theory ........ 13 2.3 Conserved Currents and Noether’s Theorem (Non-Abelian Internal Symmetry) ................................ 16 2.4 Entanglement Entropy and Relative Entropy . . . . . . . . . . . . . . 18 2.5 Entanglement Entropy and UV Divergence Structure ......... 20 2.6 Quantum Null Energy Condition (QNEC) . . . . . . . . . . . . . . . 22 2.7 Modular Hamiltonian and Markov Property . . . . . . . . . . . . . . 24 2.8 Minimal Surfaces and the Ryu–Takayanagi Formula .......... 26 2.9 Conformal Anomaly and Levinson-Type RG Equation ......... 28 2.10 Differential Geometry of Codimension-Two Surfaces .......... 30 2.11 Chapter Summary ............................ 32 3 Vanishing of the Area Coefficient α0and Boundary Constraints 34 3.1 Chapter Overview and Notation ..................... 34 3.2 Local Algebras and Tensor Non-Factorizability ............. 36 3.3 Gauss Constraint and Boundary-Flux Centre . . . . . . . . . . . . . . 38 3.4 The Vanishing-Area Coefficient Theorem . . . . . . . . . . . . . . . . 40 3.5 Independent Cross-Checks ........................ 42 3.6 Physical Constraints Implied by α0= 0 . . . . . . . . . . . . . . . . . 44 3.7 Chapter Summary ............................ 46 4 Geometric Definition of the Resonance Kernel R48 4.1 Information-Flux Blocking Condition and Projection Operator . . . . 48 4.2 Measure-Theoretic Definition of Zero Area . . . . . . . . . . . . . . . 51 4.3 Definition and Basic Properties of the Zero-Area Resonance Kernel . 54 4.4 Chapter Summary ............................ 56 5 Flux–Entropy Shape Differential Inequality 57 5.1 QNEC and Second-Order Shape Variations . . . . . . . . . . . . . . . 57 5.2 First Variation of Mean Curvature and the Gauss Constraint ..... 59 5.3 Derivation of the Integrated Partial Differential Inequality ...... 61 5.4 Information-Flux Cutting ⇒Area-Minimization Condition ...... 63 5.5 Chapter Summary ............................ 65 2 6 Minimal Area Theorem (AdS/CFT Route) 66 6.1 Equivalence between Boundary EE and Minimal Area ......... 66 6.2 Vanishing Area Term ⇒Bulk Minimal-Surface Contraction ...... 68 6.3 Consequences of the Zero-Area Resonance Kernel R.......... 71 6.4 Chapter Summary ............................ 73 7 General Proof in Flat-Spacetime QFT 74 7.1 Null-Plane Modular Hamiltonian and the Markov Property ...... 74 7.2 Strong Additivity of Relative Entropy and Vanishing Area ...... 77 7.3 Universality Across Strongand Weak-Coupling Limits ........ 79 7.4 Final Conclusion: Zero-Area Theorem in Flat Spacetime ....... 81 7.5 Chapter Summary ............................ 83 8 Quantum Corrections and RG Stability 84 8.1 UV Divergence Structure and Conformal Anomalies .......... 84 8.2 Renormalisation of the Area Term and the β-Function ........ 86 8.3 RG Invariance of the Zero-Area Condition . . . . . . . . . . . . . . . 89 8.4 Non-Perturbative Checks: Lattice and Holography ........... 91 8.5 Chapter Summary ............................ 93 9 Consistency with Existing Literature 94 9.1 Universality of the Zero-Area Resonance Kernel R (Proof of the Equivalence of UEE and IFT) . . . . . . . . . . . . . . 94 9.2 Connection to General Theoretical Physics and UEE=IFT ...... 96 10 Conclusion 98 3 1 Introduction 1.1 Motivation and Historical Background In quantum field theory, when a spatial region is partitioned, the resulting entanglement entropy (EE) was early recognized to be proportional to the area of the boundary surface[3,4]. Together with the Bekenstein–Hawking law in black-hole thermodynamics[5,6], this established a geometric perspective that “the amount of information is measured by geometric quantities of a surface.” Furthermore, the Ryu–Takayanagi formula in the AdS/CFT correspondence[7] shows that the EE of a strongly coupled conformal field theory is given by the area of a minimal surface embedded in the corresponding Anti–de Sitter space, thus extending the area law to dynamical gravitational backgrounds. On the other hand, even in flat spacetime or in the weak-coupling limit, the quantum null energy condition (QNEC)[8,9] provides a fundamental inequality between shape variations of EE and the local energy flux, establishing a direct connection between an informationtheoretic quantity and the stress–energy tensor. These results commonly suggest that “when a certain type of boundary surface blocks the ‘flow’ of physical quantities, the area or entropy is minimized.” Nevertheless, fundamental gaps remain, such as i) the absence of a universal criterion that bridges the results in the strongcoupling limit (holography) and the weak-coupling limit (generic QFT), and ii) the lack of a rigorous classification of limiting structures in which a conserved current is orthogonal to a boundary surface and completely blocks the energy flux. The purpose of this work is to resolve these issues by proving, on the basis of firstprinciple inequalities between conserved currents and entropy, a mechanism by which a boundary surface spontaneously degenerates to zero under the two-dimensional Hausdorff measure. In this process, the present paper unifies the geometric ideas implied by black-hole thermodynamics, AdS/CFT, and QNEC, and for the first time theoretically determines the universal limiting structure of information-flux blocking. 4 1.2 Unresolved Issues of Information Flux and Boundary Surfaces Because the conserved current Jµ≡¯ ψγµψsatisfies the local conservation law ∂µJµ= 0,one can define, for any spatial partition, the information flux ΦΣ≡RΣJµnµdΣ, where nµis the outward-pointing normal vector on the boundary surface Σ. In particular, when Jµnµ= 0 holds locally, Σacts as a “membrane that completely blocks the flow of information” between exterior and interior regions. Such flux-blocking surfaces are often discussed in analogy with black-hole event horizons and holographic minimal surfaces[7], yet several fundamental problems concerning their geometric and dynamical properties remain unresolved: (a) Necessity of area/measure reduction: It is not theoretically guaranteed whether the flux-blocking condition Jµnµ= 0 necessarily drives the twodimensional measure of Σto degenerate (vanish), or whether a finite-area surface can persist. (b) Bridge between strong and weak coupling: While strong-coupling analyses based on AdS/CFT suggest area minimization, in generic weak-coupling theories the variational calculation remains incomplete[8,9], leaving a universal argument that spans both limits still missing. (c) Stability under quantum corrections: How loop corrections and Renormalization Group (RG) flow modify the geometric properties of a flux-blocking surface is still opaque, owing to the dependence on conformal-anomaly coefficients. (d) Dynamical generation mechanism: No model-independent proof exists that demonstrates whether the condition that a conserved current is orthogonal to Σnaturally emerges from concrete dynamics, such as scattering processes or thermal relaxation. (e) Experimental and observational indicators: A systematic framework is still lacking for directly or indirectly testing the existence of flux-blocking surfaces in high-energy collisions, heavy-ion experiments, or even gravitationalwave observations. The primary goal of this paper is to fill the theoretical gaps in (a)–(c) and to lay a pathway toward the testability in (d) and (e). Specifically, by relying solely on established theorems from axiomatic quantum field theory, quantum information theory, and holography, we prove that a flux-blocking surface inevitably becomes null with respect to the two-dimensional Hausdorff measure and, as a consequence, explicitly construct the universal limiting structure that will be detailed in subsequent sections. 5 1.3 Limitations of Existing Approaches Theoretical analyses of the geometric properties of flux-blocking surfaces can be broadly divided into (i) holography/strong-coupling analyses and (ii) field-theoretical/weakcoupling analyses. Although each has achieved remarkable results, the following restrictions remain from the viewpoint of this study’s central question—namely, the inevitability of area degeneration: A. Holography dependence The Ryu–Takayanagi formula and its quantum corrections[7,10,11] assume that a conformal boundary theory (CFT) can be mapped to a gravitational theory in the AdS bulk. Consequently, they cannot escape the dual assumptions of (a) restriction to strong coupling and (b) the necessity of a negative cosmological-constant background. This is insufficient for treating flat spacetime or weak-coupling regions within a single framework. B. Non-integrability of local inequalities The quantum null energy condition (QNEC) and the monotonicity of relative entropy[8,9] impose strong bounds between local energy density and variations of entropy; however, when one integrates shape variations over the entire space, the analysis of how the area term converges or vanishes breaks off. In particular, no framework simultaneously controls the UV divergence of EE and its dependence on a cutoff. C. Scope of modular Markov property The argument by Casini–Testé–Torroba that the modular Hamiltonian on a null surface is Markovian[12] is rigorously formulated only for a massless CFT in four-dimensional flat spacetime; it cannot be directly extended to theories with mass scales or curvature scales. Moreover, even when strong additivity is saturated, it has not been proven that the area necessarily degenerates to zero. D. Fragility to loop corrections The coefficient of the area term in EE is known to change depending on conformal anomalies and β-functions[13]. Most existing approaches remain at one loop or in the classical gravity approximation and provide no guarantee that quantum corrections will not spoil area degeneration. These restrictions suggest that a common foundation capable of consistently describing both strong-coupling and weak-coupling limits, as well as real physical situations including quantum corrections, has yet to be established. This paper aims to settle the fundamental issue of area degeneration of flux-blocking surfaces by complementarily integrating axiomatic QFT, quantum-information inequalities, and holography, thereby presenting a universal proof system that simultaneously overcomes the limitations in (A)–(D). 6 1.4 Research Objectives To overcome the limitations (A)–(D) listed in the previous subsection and to rigorously demonstrate that a boundary surface which completely blocks information flux inevitably degenerates to zero in the two-dimensional Hausdorff measure, this study sets the following concrete objectives: P1.Establishment of a universal inequality between conserved currents and entropy (corresponding sections: 3, 5) By combining QNEC and the monotonicity of relative entropy, construct a universal inequality that derives, from the local flux-blocking condition Jµnµ= 0, the vanishing of the area-term coefficient κ= 0 in the global entropy variation. P2.Proof of area degeneration across strong and weak coupling (corresponding sections: 6, 7) (i) Using the Ryu–Takayanagi minimal-area theorem in AdS/CFT, show that in the strong-coupling regime κ= 0 necessarily entails Amin = 0. (ii) By exploiting the Markov property and strong additivity of the modular Hamiltonian on a null surface, prove that the same conclusion holds in weak-coupling QFT. P3.Stability analysis under quantum corrections and RG flow (corresponding section: 8) Building on the fact that conformal-anomaly coefficients determine the UVdivergent coefficient of EE, use the RG equation to show that the area term is not regenerated at any loop order, thereby establishing an RG-invariant proposition that area degeneration is preserved even at the quantum level. By solving these objectives, a universal principle will be established, whereby the blockage of information flux inevitably leads to the geometric limit of “zero area.” The next subsection outlines the analytical strategy and contributions adopted in this study. 7 1.5 Approach and Contributions of This Work To solve the tasks P1–P3 presented in Sec. 1.4, this study combines three mutually independent yet complementary theoretical tools: A. Shape-Variation Approach Starting from the quantum null energy condition (QNEC) and the monotonicity of relative entropy, we rigorously evaluate the second-order variation of entanglement entropy under infinitesimal deformations of the boundary surface. This constructs a universal inequality that “flux blocking ⇒vanishing area-term coefficient κ= 0.” (covered in Sections 3 and 5) B. Holographic Minimal-Surface Analysis For strongly coupled conformal field theories, we employ the Ryu–Takayanagi formula to prove that the disappearance of the area term forces the collapse (zero two-dimensional measure) of the bulk minimal surface. (covered in Section 6) C. Modular Markov Analysis For weakly coupled theories in flat spacetime, we use the Markov property and strong additivity of the modular Hamiltonian on a null surface to show that, when relative entropy saturates its equality bound, the area term necessarily vanishes. (covered in Section 7) These results are further integrated from the viewpoint of quantum corrections and RG flow. By proving that the UV-divergent structure of entropy does not allow the regeneration of the area term, we establish stability across the entire loop hierarchy (Section 8). The main novel contributions of this paper are as follows: 1. The first proposal of a universal inequality that derives the disappearance of the entropic area term from the flux-blocking condition on a conserved current, using only axiomatic QFT and quantum-information inequalities. 2. Construction of a two-path proof that reaches the same conclusion, Area = 0, in both the strong-coupling (AdS/CFT) and weak-coupling (generic QFT) regimes. 3. Proof, via an RG-invariance analysis based on conformal-anomaly coefficients, that area degeneration remains robust across the entire quantum loop hierarchy, including all loop corrections. Together, these results establish for the first time a universal principle that any boundary surface blocking information flux must degenerate to zero in twodimensional measure. The next section outlines the chapter structure of this paper. 8 (6) Summary of Results In this subsection we have systematically organized: (1) the Hilbert space and Poincaré representation, (2) the definition of Wightman fields, (3) axioms W0–W6, (4) the reconstruction theorem, and (5) the analyticity lemma. Thus we have established the minimal algebraic framework within which conserved currents and entropy inequalities can be developed at a fully general level, without relying on any specific field content. 15 2.3 Conserved Currents and Noether’s Theorem (Non-Abelian Internal Symmetry) In this subsection we consider the Yang–Mills–Dirac system with internal symmetry group SU(N)and successively prove (1) the SU(N)-invariance of the action, (2) the derivation of the conserved current Jµ,a via Noether’s theorem, and (3) the BRST symmetry and Ward identities at the quantum level. The proof proceeds along the chain variational principle →Noether identity →BRST/Ward identity. (1) Yang–Mills–Dirac Action and SU(N)Symmetry Definition 2.14 (Yang–Mills–Dirac Action).Working in natural units (ℏ=c= 1) and flat spacetime ηµν = (−,+,+,+), let the gauge field be Aµ=Aa µTa(with {Ta} the generators of SU(N), normalized by TrTaTb=1 2δab), and the Dirac field ψin the fundamental representation. Define Sψ, ¯ ψ, A=ZR1,3 d4xh¯ ψiγµDµ−mψ−1 4Fa µνFµν,ai, Dµ:= ∂µ+igAµ, Fµν := i g[Dµ, Dν] = ∂µAν−∂νAµ−ig[Aµ, Aν]. Lemma 2.15 (Local SU(N)Symmetry).The action Sis invariant under ψ7→ U ψ, ¯ ψ7→ ¯ ψ U†, Aµ7→ UAµU†−i g(∂µU)U†with U(x) = eiαa(x)Ta. Proof. Since the covariant derivative Dµand field strength Fµν transform covariantly, both ¯ ψiγµDµψand Fa µνFµν,a are trace scalars and hence the integral is invariant. (2) Noether’s Theorem—Global Internal Currents Theorem 2.16 (Noether’s Theorem for SU(N)).For the action Sunder the global transformation αa(x) = ϵa=const., the conserved current Jµ,a =¯ ψγµTaψ+fabcFµν,bAc ν exists, and using the equations of motion one finds ∂µJµ,a = 0. Proof. For the infinitesimal variations δψ =iϵaTaψ,δAµ=−ϵafabcAb µTc, one obtains δS =Rd4x ϵa∂µ¯ ψγµTaψ+fabcFµν,bAc ν,and since ϵais an arbitrary constant, the integrand vanishes. Lemma 2.17 (Covariant Conservation).Using the gauge-field equation DµFµν,a = g Jν,a matter, the current Jµ,a phys := ¯ ψγµTaψsatisfies DµJµ,a phys = 0. Proof. The Gauss law DµFµ0,a =gJ0,a phys is preserved under time evolution. Lemma 2.18 (Hermiticity of the Current).(Jµ,a)†=Jµ,a. Proof. Use ¯ ψ=ψ†γ0,γ0(γµ)†γ0=γµ, and Ta†=Ta. 16 (3) BRST Symmetry and Ward Identities BRST Transformations Introduce ghost fields ca, antighosts ¯ca, and auxiliary fields Ba: s Aa µ=Dµca, s ψ =igcaTaψ, s ca=−1 2gfabccbcc, s ¯ca=Ba, s Ba= 0, with s2= 0 [21]. Adding the gauge-fixing and Faddeev–Popov term LGF+FP = s¯ca∂µAa µ−α 2Bapreserves sS = 0. Ward Identities Applying an infinitesimal BRST transformation to the path-integral generating functional Z[η, ¯η, J]yields D∂µJµ,a phys(x)E= 0, and ∂µ⟨T Jµ,a phys(x)O1···On⟩=−X k δ(4)(x−xk)⟨TO1···(ta k)Ok···On⟩, where ta kis the representation matrix acting on Ok[22]. (4) Summary of Results 1) The Yang–Mills–Dirac action possesses local SU(N)symmetry, and the global part yields the Noether current Jµ,a (Theorem 2.16). 2) The current is covariantly conserved, DµJµ,a phys = 0, and is Hermitian (Lemma 2.17). 3) At the quantum level, BRST nilpotency ensures that the Ward identities ∂µJµ,a phys = 0 hold. These results provide the foundation for analyzing the information-flux blocking condition Jµ,anµ= 0 and entanglement entropy under non-Abelian internal symmetry in later chapters. 17 2.4 Entanglement Entropy and Relative Entropy From the viewpoint of quantum information, the partition of a Hilbert space into subsystems and the ensuing state mixture are essential. In this subsection we successively prove (1) the formalism of density matrices and the reduction map, (2) the axiomatic definition of entanglement entropy (EE), (3) the basic properties of relative entropy, and (4) the monotonicity theorem that connects the two quantities. (1) Density Matrices and the Partial Trace Definition 2.19 (Mixed State and Partial Trace).For a global Hilbert space H= HA⊗HBand a pure state |Ψ⟩, ρA≡TrHB|Ψ⟩⟨Ψ|(ρA≥0,TrHAρA= 1) is called the density matrix of subsystem A. The partial trace TrHBis a linear map B(H)→ B(HA). Lemma 2.20 (Basic Inequality).The partial trace is completely positive and trace preserving, and ∥TrHBX∥1≤ ∥X∥1holds [23]. Proof. Positivity and trace preservation are immediate from the definition. The norm inequality follows from the Schatten 1-norm via a Stinespring dilation and the triangle inequality. (2) Definition and Axioms of Entanglement Entropy Definition 2.21 (Entanglement Entropy).For a density matrix ρAdefine SA=−TrHA ρAlog ρA(von Neumann entropy) as the entanglement entropy of subsystem A. Lemma 2.22 (Subadditivity [24]).For subsystems A, B one has SA∪B≤SA+SB. Proof. A special case of strong subadditivity. Apply the Lieb–Ruskai strong subadditivity theorem [25] with the subsystem Comitted. Theorem 2.23 (Strong Subadditivity (SSA)).For a density matrix ρABC,SAB + SBC −SABC −SB≥0. Proof. Proven using Lieb’s convexity and the Golden–Thompson inequality [25]. (3) Relative Entropy and Its Properties Definition 2.24 (Relative Entropy).For normalized density matrices ρ, σ on the same Hilbert space HA, S(ρ∥σ) = (Trρlog ρ−ρlog σ,supp ρ⊆supp σ, +∞,otherwise. 18 Lemma 2.25 (Non-negativity).S(ρ∥σ)≥0,with equality iff ρ=σ. Proof. Apply Klein’s inequality xlog x−xlog y≥x−yto the spectral decompositions of ρand σ. Theorem 2.26 (Monotonicity (Data-Processing Inequality)).For any completely positive trace-preserving (CPTP) map Φ, Sρ∥σ≥SΦ(ρ)∥Φ(σ). Proof. Use Uhlmann’s theorem [26]: relative entropy is a unitary invariant in the Stinespring extension space, and any CPTP map can be realized as a partial trace. Corollary 2.27 (Monotonicity under Partial Trace).Setting Φ = TrHByields S(ρAB∥σAB)≥S(ρA∥σA). (4) Linking EE and Relative Entropy Lemma 2.28 (Relative Entropy for a Pure State).For a pure state |Ψ⟩and a mixed state σ, S|Ψ⟩⟨Ψ| ∥σ=−⟨Ψ|log σ|Ψ⟩. Proof. Since ρ=|Ψ⟩⟨Ψ|satisfies ρlog ρ= 0. Theorem 2.29 (Variation of Relative Entropy and the Modular Hamiltonian). For a common orthogonal partition, d2 dλ2S(ρ(λ)∥σ)λ=0 = Varσ(K),where ρ(λ) = σ+λ δρ +··· and K≡ −log σ. Proof. Expanding to second order, only the variance term survives. See [27] for the detailed calculation. (5) Summary of Results In this subsection we (1) established the formalism of density matrices and the partial trace, (2) proved subadditivity and strong subadditivity for entanglement entropy, (3) rigorously demonstrated non-negativity and monotonicity (the data-processing inequality) for relative entropy, and (4) derived that the second variation of relative entropy equals the variance of the modular Hamiltonian, thereby laying the analytic groundwork for the entropy shape-variation analysis used in later chapters. 19 2.5 Entanglement Entropy and UV Divergence Structure In the continuum limit, entanglement entropy (hereafter EE) contains ultraviolet divergences. In this subsection we rigorously establish (1) the area law by means of lattice regularization and mode decomposition, (2) the identification of the universal logarithmic term arising from conformal anomalies, and (3) the state independence of the divergent coefficients—each demonstrated explicitly at the operator level. (1) Lattice Regularization and Mode Decomposition Definition 2.30 (Cubic-Lattice Regulator).On the time slice t= 0 of d= 3 + 1 Minkowski spacetime we approximate the spatial part R3by a cubic lattice with spacing ε:Λε≡εZ3.At each lattice point nwe place a scalar field φ(n)and its conjugate momentum π(n), imposing canonical commutation relations [φ(n), π(m)] = i δnm [4]. Choose region Ato be the half-space x1>0and let Bbe its complement. Diagonalizing the Hamiltonian by a lattice Fourier transform φ(k) = V−1/2Pnφ(n)e−ik·n, one finds H=1 2Pkωka† kak+ 1/2, with ω2 k=m2+Pi4 sin2(εki 2). The mode correlations reduce to a Gaussian matrix, and after tracing out Bthe reduced state of Ais a Gaussian density matrix ρA∝e−PKij b† ibjdefined by a quadratic Hamiltonian matrix K[3,28]. (2) Exact Evaluation of the Area Law Theorem 2.31 (Area Law — Free Scalar Field).In the lattice-regulator limit ε→0, the EE for a half-space bipartition behaves as SA(ε) = α0 ε2Area(∂A) + Oε0, where α0=1 12 Zπ 0 dk k2coth k 2<∞. Proof. The correlation matrix Cij =⟨φiφj⟩can be diagonalized by Fourier transforming only the directions transverse to x1: Cnn′=Zd2k⊥ (2π)2 eik⊥·(n−n′)ε 2ω(k⊥), ω =qk2 ⊥+m2. With the analytic eigenvalue density ν(p)(p∈(0,1)) one obtains SA=Pp (νp+ 1/2) log(νp+ 1/2) −(νp−1/2) log(νp−1/2).As ε→0,νp∼1/4π2p(1 −p)diverges with area scaling, cleanly separating the ε−2factor from the boundary area [4, 29]. Lemma 2.32 (State Independence).The mass dependence in the vacuum |0(m)⟩ does not affect α0, contributing only finite additive corrections O(m2log m). Proof. For ω∼k⊥, the dominant contribution comes from k⊥≫m. The mdependent part Rd2k⊥m2/k3 ⊥converges and does not contribute to the ε−2coefficient. 20 (3) Conformal Anomaly and the Logarithmic Term Theorem 2.33 (Logarithmic Term and the Type-A Conformal Anomaly [13]).In a four-dimensional conformal field theory (CFT), the EE for any smooth boundary ∂A behaves as SA=α0 ε2Area + α1logR ε+O(ε0), where α1=a4d 90 Z∂A d2yR∂A −1 2Ki aKa i,and a4d is the four-dimensional Weyl anomaly coefficient of type A. Proof. Under a Weyl rescaling gµν →e−2σgµν, EE responds via the variation δσSA= R∂A√h σ ⟨Tµ µ⟩(Rosenhaus–Smolkin formula). In four dimensions ⟨Tµ µ⟩= (a/16π2)E4− ···. Partial integration of the Euler density E4on the boundary reduces it to the two-dimensional scalar curvature plus extrinsic curvature terms, yielding the stated coefficient. (4) General Theorem for the Divergence Structure Theorem 2.34 (UV Expansion of EE — General Dimension).For a d-dimensional QFT in the limit ε→0, SA(ε) = d−2 X n=1 sd−n−1 εd−n−1Z∂A dd−2 yId−n−1+δdeven (−1)d 2+1adlogR ε+Sfinite, where Ikis a linear combination of curvature invariants of dimension k, and adis the Euler–Weyl anomaly coefficient. Sketch. Using the variation-response method, one evaluates the normalized variation δσSAand integrates the Weyl-anomaly polynomial over the codimension-two surface, partially integrating as needed. The coefficients sd−n−1are determined by the cutoffdependent finite parts associated with the corresponding local counterterms. See [30,31] for complete details. (5) Summary of Results (1) Using a lattice regulator, Theorem 2.31 rigorously proves that EE for a half-space diverges as O(ε−2)and is proportional to the area. (2) The leading coefficient is state independent (Lemma 2.32). (3) The universal logarithmic term produced by the conformal anomaly is identified in Theorem 2.33, and the higher-dimensional generalization is given in Theorem 2.34. These results play a fundamental role in the QNEC shape-variation analysis and the RG stability arguments of subsequent chapters. 21 2.6 Quantum Null Energy Condition (QNEC) For classical fields the energy density along a null vector kµsatisfies ⟨Tµνkµkν⟩ ≥ 0, the null energy condition (NEC). In quantum field theory (QFT), however, vacuum fluctuations can locally violate the NEC. Remarkably, by combining the NEC with the second shape variation of entanglement entropy (EE), one obtains an even stronger quantum inequality, DTkk(x)E≥ℏ 2π d2Sout(λ) dλ2λ=0 (kµkµ= 0), known as the Quantum Null Energy Condition (QNEC) [8,32]. We discuss, in order, the introduction of local coordinates, the derivation of the inequality, and the analysis of the equality condition. The proof relies only on the monotonicity of relative entropy and the local form of the modular Hamiltonian, and applies to any Wightman-QFT, regardless of whether the internal symmetry is Abelian or non-Abelian. (1) Geometric Setup for Null Deformations Definition 2.35 (Deformation Parameter and Cutoff Surface).Fix the null vector kµ= (1,1,0,0)/√2in flat spacetime and take the codimension-two surface ∂Σto be the plane x+= 0, where x±≡(t±x1)/√2and the transverse coordinates are x⊥= (x2, x3). For a smooth non-negative test function f(x⊥)define a one-parameter family of surfaces x+=λ f(x⊥),|λ| ≪ 1, denoted Σ(λ). The surface Σ(λ)is thus a small null deformation of the original plane. Let Sout(λ)be the EE of the exterior region associated with Σ(λ). (2) Main Theorem of the QNEC Theorem 2.36 (Quantum Null Energy Condition).For any quantum state ρsatisfying the Wightman axioms and the above deformation, Tkk(x)ρ≥ℏ 2π d2 dλ2Sout(λ)λ=0 , kµ=∂ ∂x+. Sketch following Bousso–Fisher–Leichenauer–Wall. (i) Monotonicity of Relative Entropy. For a common orthogonal partition one has S(ρ∥σ)≥0; we take σto be the Rindler vacuum ρR. 22 (ii) Local Form of the Rindler Modular Hamiltonian. K=−log ρR= 2πZx+>0 dx+x+Tkk(x). (iii) Second Variation. Writing the relative entropy as S(ρ∥ρR) = ∆⟨K⟩ −∆Sout and deforming the surface with the vector field ζµ=λf(x⊥)kµ, differentiate twice with respect to λand set λ= 0: 0≤2πZd2x⊥f2(x⊥)Tkkρ−d2Sout dλ2λ=0. Because f(x⊥)is an arbitrary smooth, compactly supported, non-negative test function, distributional methods yield the pointwise inequality. (3) Equality Conditions and Saturation Examples Lemma 2.37 (Example of Equality Saturation).In a 1 + 1-dimensional conformal field theory, a thermal state on a half-infinite interval saturates the QNEC. Proof. In a 2D CFT ⟨T++⟩=πc 12 T2, while the second variation of EE is ∂2 +Sout = cπ 6T2; the coefficients coincide. Theorem 2.38 (Saturation for Massless Free Fields).For massless free scalar and free Dirac fields in the vacuum, the QNEC for a half-space is saturated. Proof. Evaluating the second variation of EE via Wick contractions shows that ∂2 +Sout equals ⟨Tkk⟩. See [33]. (4) Comparison between QNEC and Classical NEC Lemma 2.39 (QNEC Implies Averaged NEC).Any state satisfying the QNEC obeys, on the null line x+=u, Z∞ −∞ du ⟨Tkk(u, x⊥)⟩ ≥ 0. Proof. Choose the test function f(u) = θ(u−u0)in Theorem 2.36 and integrate. (5) Summary of Results 1) Using only the monotonicity of relative entropy and the local form of the modular Hamiltonian, we derived the Quantum Null Energy Condition (QNEC) in Theorem 2.36. 2) Concrete saturation examples were provided for free fields and 2dimensional CFTs (Lemma 2.37 and Theorem 2.38). 3) The QNEC implies the averaged NEC, thereby extending the classical NEC to its strongest quantum form. 23 2.7 Modular Hamiltonian and Markov Property Tomita–Takesaki theory defines the modular operator and modular Hamiltonian associated with a subregion in a quantum system, providing an operator framework that upgrades quantum-information inequalities such as relative entropy monotonicity and strong subadditivity into exact operator equalities. This subsection demonstrates: (1) a concise restatement of Tomita–Takesaki axioms, (2) the modular Hamiltonian for the right Rindler wedge in four-dimensional Minkowski spacetime via the Bisognano–Wichmann theorem, and (3) a rigorous proof of Markov property (SSA saturation) for null-plane partitions. (1) Tomita–Takesaki Theory Definition 2.40 (Standard Form and Modular Operators).For a von Neumann algebra M⊂ B(H)and a separating and cyclic vacuum vector |Ω⟩ ∈ H, define the Tomita operator S:M|Ω⟩ → H by S A |Ω⟩=A†|Ω⟩[17]. The polar decomposition S=J∆1/2introduces the modular operator ∆and the modular conjugation J. The modular Hamiltonian is K≡ −log ∆. Lemma 2.41 (Properties of the Modular Group).The modular group σt(A) = ∆itA∆−it forms a one-parameter *-automorphism group of M. Proof. This is the core statement of the Tomita–Takesaki theorem [34]. (2) Bisognano–Wichmann Theorem Theorem 2.42 (Bisognano–Wichmann [35]).For the Minkowski vacuum |Ω⟩in four dimensions, the modular operator associated with the right Rindler wedge R= {x1>|t|} equals the Lorentz boost operator e−2πKboost , and KR= 2πZR dΣµx⊥Tµ0, x⊥≡x1. Proof. Use the Bargmann–Hall–Wightman analyticity of Wightman functions together with the KMS condition. Corollary 2.43 (Local Density Form on a Null Plane).For the half-space x+>0 on the null plane x+= 0, the modular Hamiltonian is K= 2πZd2x⊥Z∞ 0 dx+x+T++(x+, x⊥). (3) Markov Property and SSA Saturation Definition 2.44 (Quantum Markov Property).For a tripartition A–B–Cwith a thin intermediate region B, a state is quantum Markov if the strong subadditivity inequality SAB +SBC −SABC −SB≥0is saturated. 24 Theorem 2.67 (Second Variation of Area (Jacobi Equation)).On a minimal surface, δ(2) A=ZΣ √h ϕi−∆hδij −|A|2 ij −Rµνρσ nµ ieνaeρ anσ jϕj, where ∆his the Laplace–Beltrami operator and |A|2 ij ≡hachbdKab iKcd j. Corollary 2.68 (Collapse Criterion).If δ(2) A ≥ 0for all ϕi, the surface is a stable minimum; a flow with |H| → 0approaches a stationary point. (4) Convergence to Hausdorff Measure 0 Lemma 2.69 (Cheeger–Colding Type Volume Comparison).Suppose Σ(λ)evolves with non-negative Ricci curvature and maintains |H|2≥κ > 0. The first variation d dλ Area(Σ) = −RΣ√h H2implies monotonic decrease, and there exists λ∗such that Area(Σ) →0. Theorem 2.70 (Sufficient Condition for Zero Area).If the deformation flow preserves (i) H2≥κ > 0and (ii) has finite λ-length, then the Hausdorff measure satisfies H2(Σ) = 0. Proof. Construct the convergence point λ∗via the integral estimate of Lemma 2.69. (5) Summary of Results (1) We defined the induced metric hab and the second fundamental form Ki ab, organizing the Gauss–Codazzi–Ricci identities. (2) The first variation of area is governed by the mean curvature Hi, and the second by the Jacobi operator (Theorems 2.66,2.67). (3) For flows preserving H2≥κ > 0, the Hausdorff measure collapses to zero (Theorem 2.70). Thus we have rigorously formulated, on a general Riemannian manifold, the geometric pathway by which the Zero Area Resonance Kernel Rconverges to “zero area” under a mean-curvature-driven flow. 31 2.11 Chapter Summary In this chapter we prepared a common language that places the discussion of the Zero Area Resonance Kernel Rwithin the framework of established axioms and theorems of modern quantum field theory, quantum-information geometry, and differential geometry. The table below gathers the main propositions established in each section and indicates where they are referenced in subsequent chapters—especially Chapter 3“Disappearance of the Area Coefficient and Boundary Constraints,” Chapter 5“Information-Flux–Entropy Shape-Differential Inequality,” Chapter 6 “MinimalArea Theorem (AdS/CFT Route),” and Chapter 8 “Quantum Corrections and RG Stability.” Section (§) Main Propositions / Theorems Established Principal Uses Later 2.1 Signature conventions for metric and connection; dimensional analysis of the mean curvature Hi Chapter 6 §6.1, signature determination for minimal surfaces 2.2 Wightman axioms and the reconstruction theorem Chapter 3 §3.1, generalization of the coefficient-vanishing theorem; Chapter 7, operator proof of the Markov property 2.3 Conserved current Jµand Ward identities Chapter 5, derivation of areaterm vanishing ⇐⇒ Jµnµ= 0 2.4 EE / relative entropy and the monotonicity theorem Chapter 5, construction of the mother functional for QNEC shape variation 2.5 Area coefficient sd−2and logarithmic term α1 Chapter 3, analysis of the divergence structure; Chapter 8, RG stability 2.6 Quantum Null Energy Condition (QNEC) Chapter 3, Theorem 3.20 (QNEC saturation ⇒α0= 0) 2.7 Rindler modular Hamiltonian and null-plane Markov property Chapter 7, zero-area proof via SSA saturation 2.8 RT / HRT / FLM formulae and the minimal-area–EE equivalence Chapter 6, proof of zero-area attainment on the strong-coupling side 2.9 Levinson-type2RG equation µ∂µsd−2=−γΣ Chapter 8, quantum-correction stability analysis of the area coefficient 2.10 First and second variations of area and the criterion for reaching zero area Chapter 5, proof of convergence of the geometric variation flow 2By “Levinson-type” RG equation we mean an equation of the form “derivative = spectral density”, analogous to Levinson’s formula dδl/dE =πρl(E). 32 Overall Summary The axioms and theorems organized in this chapter are tightly connected through five core pillars: (i) conserved currents and entropy inequalities, (ii) flux constraints via QNEC / Markov property, (iii) minimal area and holography, (iv) Weyl anomaly and RG equations, and (v) variational geometry of codimension-two surfaces. With this foundation, the subsequent chapters derive, without external assumptions, the central result that blocking information flux implies zero area. 33 3 Vanishing of the Area Coefficient α0and Boundary Constraints 3.1 Chapter Overview and Notation In this chapter we show—using only the established axioms and proved theorems of quantum field theory (QFT)—that the short-distance expansion of the half-space entanglement entropy SA(ε) = α0 ε2Area(∂A) + O(ε0), ε →0 has a coefficient α0that is exactly 0. The Zero Area Resonance Kernel Rdoes not appear in this chapter; the goal is to derive the conclusion solely from the internal logic of current theory. (1) Spatial Region and Regularization Definition 3.1 (Half-space and Cut-off).Using three-dimensional spatial coordinates (x1, x2, x3), define A={(x1, x2, x3)∈R3|x1>0},¯ A=R3\A. The ultraviolet cut-off ε > 0represents a lattice spacing or a high-frequency mode cut-off. (2) Entropy and Area Coefficient Definition 3.2 (Area Coefficient α0).If the Rényi entropy of the half-space, S(n) A(ε), expands as S(n) A(ε) = α(n) 0 ε2Area(∂A) + O(ε0),then in the limit n→1we define α0= lim n→1α(n) 0 and call α0the area coefficient. Lemma 3.3 (Restriction on Regularization Dependence).The ε−2coefficient cannot be altered by redefining logarithmic counterterms or adding finite counterterms. Proof. By dimensional analysis in four dimensions the tangent directions of the Cauchy surface have mass dimension −1. A local counterterm has the form Z∂A d2σ εk−2Ok; the only term matching ε−2is k= 0, which is fixed by the additive trace anomaly. Finite deformations contribute only at ε0or higher. 34 (3) Logical Structure of This Chapter We derive α0= 0 in three steps: (i) Local algebras are of type III (§3.2)=⇒the Hilbert space is strictly H =HA⊗H¯ A. (ii) Gauss constraint and boundary flux centre (§3.3)=⇒half-space local operators are not dense in the physical state space. (iii) Using (i) and (ii) we show that the ε−2divergence cancels algebraically and prove **Theorem 3.4.1**, establishing α0= 0. In §3.5 we perform an independent cross-check via the Markov property and QNEC, and in §3.6 we deduce that α0= 0 necessarily enforces the energy-flux blocking condition ⟨T++⟩= 0. Main Result of This Chapter (Preview) The two facts already proven in modern theoretical physics—“local algebras are of type III” and “boundary centre elements arise from Gauss constraints”—are sufficient to force α0= 0 which in turn yields information-flux blocking / energy-flux blocking at the half-space boundary. In the next chapter we construct, at the operator level, the Zero Area Resonance Kernel Rthat realizes this blocking. 35 3.2 Local Algebras and Tensor NonFactorizability (1) Type Classification of Local von Neumann Algebras Definition 3.4 (Type Classification of von Neumann Algebras).A von Neumann factor M ⊂ B(H)on a separable Hilbert space His classified, according to the Murray–von Neumann scheme, into types I, II, and III. A type III factor possesses no finite trace and no minimal projections. Connes further refines type III into subclasses IIIλ(0≤λ≤1); it is known that local factors of relativistic QFT belong to the highest-entropy class III1. Lemma 3.5 (Local Algebras Are of Type III1).In the vacuum representation (H, π, Ω) of a four-dimensional relativistic QFT satisfying the Haag–Kastler axioms, the local operator algebra generated by any bounded region O ⊂ R3,1, A(O)≡ {π(ϕ(f)) |supp f⊂ O}′′, is a factor of type III1. Proof. By Driessler’s theorem [40] (which assumes only microcausality and the spectrum condition) A(O)is already of type III. Applying Connes’ flow of weights {σt}t∈R, the continuity of the vacuum modular group excludes IIIλ<1, leaving the complete class III1. (2) Necessary Condition for Tensor Factorization Lemma 3.6 (Tensor Factorization Implies Type I Factors).Suppose the Hilbert space factorizes as H=HA⊗H¯ Aand the respective local algebras embed as A(A)⊂ B(HA)⊗⊮¯ A,A(¯ A)⊂⊮A⊗B(H¯ A). Then both A(A)and A(¯ A)must be type I∞factors. Proof. Under the factorization assumption, A(A)is a weakly closed subalgebra of B(HA). Together with Haag duality A(A)∩ A(A)′=C ⊮, it follows that A(A)is isomorphic to B(HA), i.e. a type I factor. The same holds for A(¯ A). (3) The Non-Factorization Theorem Theorem 3.7 (Non-Factorizability of the Half-Space Hilbert Space).For the halfspace A={x1>0},¯ A=R3\A, the vacuum Hilbert space Hsatisfies H =HA⊗H¯ A. That is, a tensor-product structure of “completely independent degrees of freedom in Aand ¯ A” does not exist strictly. 36 Proof. Assume the contrary, that a factorization H=HA⊗H¯ Aexists and the two local algebras fit the embedding of Lemma 3.6. Then A(A)would have to be a type I∞factor. However, Lemma 3.5 shows that A(A)is a type III1factor. Since type III1 and type I∞factors belong to different Murray–von Neumann equivalence classes and therefore cannot be isomorphic, the assumed tensor factorization is impossible. Conclusion of §3.2 The local von Neumann algebras A(A)and A(¯ A)are type III1factors and cannot be embedded into type I factors. Consequently, H =HA⊗H¯ A, i.e. a strict tensor factorization of half-space degrees of freedom does not exist. This fact forms a key structural precursor to the vanishing of the shortdistance ε−2divergence term—the area coefficient α0—in the entanglement entropy. 37 3.3 Gauss Constraint and BoundaryFlux Centre (1) Gauss Operators and the Physical Hilbert Space Definition 3.8 (Gauss Operator).Consider SU(N)Yang–Mills theory. With the electric-field operator Eai(x)and the colour-charge density ρa(x), define Ga(x) = ∂iEai(x) + fabcAb i(x)Eci(x)−ρa(x)(1) and call Ga(x)the Gauss operator. Definition 3.9 (Physical Hilbert Space).The Gauss operator (1) is a first-class constraint; following Dirac quantization, physical states must satisfy Ga(x)|Ψphys⟩= 0. Thus Hphys ={|Ψ⟩ ∈ H | Ga(x)|Ψ⟩= 0 ∀x∈R3, a}. (2) Boundary-Flux Operators and the Centre Fix the boundary ∂A of A={x1>0}. For a test function αa(x)multiply the smeared Gauss constraint ZA d3x αa(x)Ga(x) = 0 and integrate by parts to obtain Z∂A dΣiαaEai =ZA d3x αaρa−ZA d3x(∂iαa)Eai.(2) Choosing αto be constant near ∂A and smoothly decaying inside A, the last two terms involve only local gauge-invariant operators. Lemma 3.10 (Boundary-Flux Centre).The colour flux Φa ∂A =Z∂A dΣiEai(x)(3) commutes, by the Gauss constraint, with both A(A)and A(¯ A): Φa ∂A ∈ ZA(A)∩ZA(¯ A), i.e. it is a shared central element. Proof. In (2) the right-hand side depends only on local potentials and colour-charge densities inside A, all belonging to A(A). Hence Φa ∂A commutes with A(A)by the Gauss constraint and algebra closure. The same calculation mapped to ¯ Agives commutativity with A(¯ A). 38 (3) Direct-Sum Decomposition via Flux Sectors Theorem 3.11 (Flux Decomposition of the Physical Hilbert Space).Denote the joint spectrum of the central elements Φa ∂A by { f}. Then the physical Hilbert space decomposes as Hphys =M  fHA, f⊗ H¯ A, f(4) where HA,  fis the complete subspace of A-side physical states satisfying Φa ∂A |ψ⟩= fa|ψ⟩. Proof. Because Φa ∂A is central, A(A)and A(¯ A)commute within each joint eigenspace. As Φa ∂A is shared, the eigenvalues on the Aand ¯ Asides are tied to the same vector  f. Therefore HA,  f⊗ H¯ A, fforms for each label, and the full space is their direct sum. Lemma 3.12 (Restriction of Local Gauge-Invariant Operators).A local gaugeinvariant operator O∈ A(A)does not generate transitions between the components of (4): O:HA, f⊗H¯ A, f−→ HA, f⊗H¯ A, f. The same holds for A(¯ A). Proof. By Lemma 3.10,[O, Φa ∂A] = 0; thus Opreserves each eigenspace of Φa ∂A. The statement for ¯ Afollows analogously. (4) Non-Denseness of Local Operators and Consequences for the Area Coefficient Theorem 3.13 (Non-Denseness of Local Operators).The set A(A)|Ω⟩is not dense in Hphys. In particular, subspaces with flux  f= 0 cannot be generated by local gaugeinvariant operators. Proof. By definition the vacuum |Ω⟩belongs to the sector  f=0. Lemma 3.12 shows that A(A)acts within this sector only; it cannot reach  f= 0 sectors, so denseness fails. Conclusion of §3.3 The Gauss constraint produces the boundary-flux operator Φa ∂A as a central element shared by both regions, decomposing the physical Hilbert space into Hphys =M  fHA, f⊗H¯ A, f. Local gauge-invariant operators preserve the flux label  f; hence the action of A(A)is not dense in the physical space. This “confinement of degrees of freedom” is the decisive structural reason for the disappearance of the ε−2 term—i.e. the vanishing of the area coefficient α0—in the short-distance entanglement entropy. 39 3.4 The Vanishing-Area Coefficient Theorem (1) Lattice Regularization and Mode Counting Definition 3.14 (Cubic Lattice Regularization).Approximate the space R3by the cubic lattice εZ3with lattice spacing ε. For each link connecting a point x∈Ato its neighbour x−εˆe1∈¯ Aalong the x1direction place a lattice electric-field operator Ea ℓ(a= 1, . . . , N2−1). Measuring area by the number of lattice sites gives N∂A = Area(∂A)/ε2.In standard free-field calculations the link degrees of freedom {Ea ℓ}act as independent harmonic oscillators, ultimately yielding SA∼c N∂A =cArea/ε2(with c > 0; the Srednicki-type result). (2) Degeneracy Suppression by the Gauss Constraint Lemma 3.15 (Pairwise Cancellation of Links).For each link ℓcrossing the boundary, the Gauss constraint introduces a delta function δ(Ea ℓ−Ea ¯ ℓ)into the pathintegral measure at the end-point sites, thus identifying the A-side and ¯ A-side link oscillators one-to-one. Hence the effective number of degrees of freedom at order Neff ∂A = 0 ×N∂A (ε−2order) vanishes. Proof. Impose the lattice Gauss operator Ga x=Pi(Ea x,i −Ea x−εˆei, i)−ρa xat each boundary site x∈∂A. For a boundary site the i= 1 component involves precisely the difference Ea ℓ−Ea ¯ ℓ. Equivalent to the flux centre (Lemma 3.10), physical states satisfy (Ea ℓ−Ea ¯ ℓ)|Ψ⟩= 0.Thus the two link degrees of freedom are physically identified, and the ε−2independent oscillators disappear completely. Lemma 3.16 (Cut-Off Modes and Type III1Algebra).High-frequency modes not on the boundary links are absorbed into the local von Neumann algebra A(A). Because a type III1algebra admits no finite trace, these modes alone do not generate aε−2divergence coefficient. Proof. A type III1algebra lacks any finite trace, hence does not carry an integer “mode number” notion. High-frequency oscillators are redundantly redistributed inside the algebra as ε→0, contributing nothing to the ε−2coefficient of TrA(A)(ρlog ρ). (3) Main Theorem: Exact Vanishing of the Area Coefficient Theorem 3.17 (Vanishing of the Area Coefficient α0).In the physical Hilbert space—assuming tensor non-factorizability (§3.2) and the boundary-centre Gauss constraint (§3.3)—the ε−2coefficient of the half-space entanglement entropy necessarily vanishes, i.e. α0= 0 . 40 Final Conclusion of This Chapter α0= 0 =⇒ ⟨T++⟩∂A = 0 Tensor non-factorizability, the Gauss constraint, Null-plane Markov saturation, and QNEC saturation—multiple independent pillars of modern theoretical physics—all point to the same conclusion α0= 0. The logical structure of this chapter therefore compels the introduction of the Zero Area Resonance Kernel R, which realises this extreme condition at the operator level and automatically satisfies the boundary constraints. In the next chapter we construct Rexplicitly and elucidate the dynamical mechanism that underpins the consequence α0= 0. 47 4 Geometric Definition of the Resonance Kernel R Building on the analytical result of Chapter 3—namely “information-flux blocking ⇒vanishing area term”—this chapter rigorously defines the Zero-Area Resonance Kernel Rin both measure-theoretic and operator-theoretic terms. We set up the geometric and operator framework so that the Minimal-Area Theorem (Chapter 6) and the general proof via the Markov property (Chapter 7) can be applied seamlessly. 4.1 Information-Flux Blocking Condition and Projection Operator Throughout this section we consider a theory with a non-Abelian internal symmetry G= SU(N). Using the physical flux operator e Ja +:= Ja ++1 g2Tr F+iTani,(a= 1, . . . , N2−1),(4.1) where Taare the generators, Fµν the field strength, and nithe tangential vector on the boundary surface Σ, we formulate the information-flux blocking condition and construct the projection operator ΠRonto its zero eigenspace. Finally we prove the self-adjointness and idempotence of ΠRand its equivalence to the blocking condition. (1) Physical Flux and Blocking Surface Definition 4.1 (Physical Information Flux).With the future-directed null normal n+on the boundary surface Σ, define Fa(x) := e Ja +(x)n+(x). When Σsatisfies Fa(x) = 0 pointwise, it is called an information-flux blocking surface. (2) Distributional Treatment Lemma 4.2 (Product with the Surface δ-Function).For any test function ϕ∈ S(R1,3),FaδΣ, ϕ=ZΣ dΣFa(x)ϕ(x), δΣ(x) = δs(x)∥∂µs , where s(x) = 0 is an equation for Σ. Thus δΣis a Schwartz distribution. Proof. One checks that δ(s)∥∂s∥reproduces the usual push-forward integral against ϕ. 48 (3) Flux Projection Operator Definition 4.3 (Projection Operator ΠR).For σ > 0set Π(σ) R:= exp h−1 2σ2ZΣ dΣe Ja +n+e Ja +n+i, with the sum over aunderstood. The family {Π(σ) R}σ>0has a weak limit as σ→0+, defining ΠR:= lim σ→0+Π(σ) R. (4) Idempotence, Self-Adjointness, and the Blocking Condition Lemma 4.4 (Physicality of the Gauss Projection).For any density operator ρ, ρR:= ΠRρΠRsatisfies e Ja +n+ρR= 0. Proof. The function e−x2/2σ2converges weakly to δ(x)as σ→0. Substituting x→e Ja +n+gives the claim. Lemma 4.5 (Idempotence and Self-Adjointness).The following are equivalent: i) Π† R= ΠRand Π2 R= ΠR. ii) Fa(x) = 0 for all x∈Σ(information-flux blocking). Proof. i⇒ii: For Π2 R= ΠRto hold, the Gaussian exponent (e Ja +n+)2must have support only on its zero eigenspace. ii⇒i: If Fa= 0, the exponent vanishes identically and the limit gives ΠR= Π† R= Π2 Rexplicitly. Theorem 4.6 (Lemma 4.5′).The projection operator ΠRdefined in Definition 4.3 is self-adjoint and idempotent if and only if the information-flux blocking condition e Ja +n+|Σ= 0 is satisfied. Proof. Immediate from Lemma 4.5. 49 (5) Summary of the Section 1) Introducing the gauge-invariant physical flux operator e Ja +, we defined the information-flux blocking condition (Definition 4.1). 2) We constructed the projection operator ΠRonto the blocking surface via the Gaussian limit (Definition 4.3). 3) Using Gauss’ law we proved the complete equivalence between the self-adjoint, idempotent nature of ΠRand the blocking condition (Lemma 4.5, Theorem 4.6). Hence an operator-theoretic framework that characterises the Zero-Area Resonance Kernel Ris now established even in the presence of non-Abelian internal symmetries. 50 4.2 Measure-Theoretic Definition of Zero Area With the projection operator ΠRconstructed in Definition 4.3, any state that completely blocks the information flux can be projected to ΠRρΠR. In this section we formulate rigorously, in the language of Hausdorff measure and geometric convergence, the geometric aspect of the Zero-Area Resonance Kernel—in other words, the precise meaning of “zero area.” We quote only the minimal results needed from the classical textbooks on Geometric Measure Theory [44,45]. (1) Support of the Projection Operator Definition 4.7 (Support of a Projection Operator).If the projection ΠRcan be written with a finite-order operator-valued Radon measure µΠas ΠR=ZΣ µΠ(x)dΣ, then supp ΠR:= supp µΠ⊂Σ is called the support of the projection operator. Lemma 4.8 (Closedness).supp ΠRis closed in the topology induced on Σ. Proof. The support of any Radon measure is closed [44, §2]. (2) Definition of Zero Area Definition 4.9 (Zero Area).If the support satisfies H2supp ΠR= 0, with respect to the two-dimensional Hausdorff measure, then ΠR(and its associated resonance kernel R) is said to have zero area. Theorem 4.10 (Basic Property of Zero-Area Sets).If H2(supp ΠR) = 0, then for every δ > 0there exists an open cover {Uj}such that supp ΠR⊂[ j Uj,X jdiam Uj2< δ. Proof. This follows directly from the definition of the Hausdorff measure [44, §2.3.2]. 51 (3) Flat Norm and Surface Convergence Definition 4.11 (Flat Norm F).For a finite d-current Twith boundary, F(T) := inf R,SM(R) + M(S)T=R+∂S, where M(·)denotes the mass norm [45, §4.1]. Definition 4.12 (Varifold Convergence).A family of surfaces {Σk}converges weakly to a varifold Vif, for every continuous function f, Zf dµΣk−→ Zf dV (k→ ∞). (4) Equivalence of Zero Area and Flat Approximation Lemma 4.13 (Flat-Norm Approximation).The condition H2supp ΠR= 0 is equivalent to: for any ε > 0there exist a C1surface Γεcontaining supp ΠRand a current Tεsuch that M(Γε)< ε, FΓε−Tε< ε. Proof. (⇒) If H2= 0, a Frostman cover provides radii {rj}; applying the Federer–Fleming Deformation Theorem [44, §5.2] one simultaneously bounds both the area and the flat norm by ε. (⇐) If the flat norm tends to zero as ε→0, so does the mass norm M. Since the two-dimensional mass and the Hausdorff measure dominate each other up to constants, H2= 0 follows. Theorem 4.14 (Equivalence of Zero Area and Flat Approximation).The zero-area condition H2supp ΠR= 0 is equivalent to the statement that for any ε > 0the set supp ΠRcan be approximated by a family of C1surfaces of area < ε whose flat norm differs from supp ΠRby less than ε. Proof. This is an immediate consequence of Lemma 4.13. 52 (5) Summary of the Section 1) Defined the support of the projection operator ΠRand proved its closedness (Definition 4.7, Lemma 4.8). 2) Introduced the notion of zero area via the two-dimensional Hausdorff measure (Definition 4.9). 3) Showed that a zero-area set can be approximated by open covers of arbitrarily small total squared diameter (Theorem 4.10). 4) Proved the complete equivalence between the zero-area condition and approximation by C1surfaces with arbitrarily small area and flat norm (Theorem 4.14). Thus we have established the measure-theoretic foundation required in Chapters 6 and 7 to argue that “if the area term vanishes, then the support set collapses to zero in Hausdorff measure”. 53 4.3 Definition and Basic Properties of the Zero-Area Resonance Kernel Up to the previous sections we have prepared (1) the construction of the informationflux blocking surface Σtogether with the projection operator ΠR, and (2) the zeroarea condition H2(supp ΠR) = 0. In this section we combine these ingredients to define the Zero-Area Resonance Kernel Rand state its existence criteria and geometric consequences. (1) Definition of the Zero-Area Resonance Kernel Definition 4.15 (Zero-Area Resonance Kernel R).On a boundary surface Σ⊂M3,1 introduce the physical flux operator e Ja +and the future-directed null normal n+: Fa(x) := e Ja +(x)n+(x). If there exists a projection operator ΠRsuch that FaΠR= 0,H2supp ΠR= 0, then R:= Σ,ΠR,e Ja +, n+ is called a Zero-Area Resonance Kernel. Remark 4.16.Projectivity (self-adjointness and idempotence) is equivalent to FaΠR= 0(Lemma 4.1), hence ΠRis a genuine projector. (2) Equivalence Between Rand the Area Coefficient Lemma 4.17 (Area Coefficient α0and Zero Area).The condition H2(supp ΠR) = 0 holds iff the entanglement-entropy area coefficient α0= 0. Proof. (⇒)Zero area ⇒approximation by surfaces of area εin the flat norm (Lemma 4.2). Consistency of the UV term α0ε−2Area as ε→0requires α0= 0. (⇐)The vanishing α0= 0 was established in Chapter 3 (Theorem 3.17). With no divergent term, a Frostman cover yields H2= 0. Theorem 4.18 (Proposition 4.3 — Equivalence of Rand α0).A Zero-Area Resonance Kernel Rexists ⇐⇒ the entanglement-entropy area coefficient satisfies α0= 0 (Theorem 3.17 of Chapter 3). Proof. Existence of R⇒Definition 4.15 and Lemma 4.17 give α0= 0. The converse follows likewise from Lemma 4.17. 54 (3) Localisation of Mean Curvature Theorem 4.19 (Proposition 4.4 — Mean Curvature Localised on a Null Set).If a Zero-Area Resonance Kernel Rexists, then the mean-curvature vector Hiof the boundary surface Σsatisfies Hi(x) = 0 for a.e. x∈Σ, Hi= 0 is supported only on an H2-null set. Proof. If the region where Hi= 0 had positive measure, one could deform the surface along the area-decreasing direction using the first variation δ(1)Area = −RΣHiϕi, contradicting the zero-area approximability (Lemma 4.2). (4) Summary Definitions and Key Results 1) Defined the Zero-Area Resonance Kernel R= (Σ,ΠR,e Ja +, n+)(Definition 4.15). 2) Established the equivalence Rexists ⇐⇒ α0= 0 (Proposition 4.18). 3) Under R, the mean curvature Hiis localised on an H2-null set (Proposition 4.19). These properties will play a decisive role in the minimal-surface analysis of Chapter 6 and in the modular-Hamiltonian argument of Chapter 7. 55 4.4 Chapter Summary In this chapter we formulated the Zero-Area Resonance Kernel R, integrating its geometric and operator-theoretic aspects, and prepared the measure-theoretic and variational-geometric groundwork needed for the following chapters. The key points of each section—and their interfaces with subsequent chapters—are summarised below. 4.1 Information-Flux Blocking and the Projection Operator Using the physical flux operator e Ja +:= Ja ++g−2Tr F+iTanitogether with the future-directed null normal n+, we formulated the blocking condition e Ja +n+= 0 in distributional form and constructed the Gauss projector ΠR(Lemma 4.1). Interface: Appears in Chapter 7 in the condition for Markov states. 4.2 Measure-Theoretic Definition of Zero Area Using the two-dimensional Hausdorff measure of supp ΠR, we defined “zero area” and proved H2= 0 ⇐⇒ flat-norm approximation (Lemma 4.2). Interface: Used in Chapter 6 for the convergence theorem of minimal surfaces. 4.3 Unified Definition of the Zero-Area Resonance Kernel Introducing the quadruple R= (Σ,ΠR,e Ja +, n+)(Definition 4.15), we proved the equivalence Rexists ⇐⇒ α0= 0 (Proposition 4.18). Interface: In Chapter 5, α0= 0 serves as the initial condition for the areaminimisation functional. 4.4 Mean-Curvature Localised on a Null Set When Rexists, the mean-curvature vector Hiis supported only on an H2-null set (Proposition 4.19). Interface: Provides a sufficient condition for minimal-surface collapse in Chapter 6. Overall Conclusion Combining information-flux blocking via the projector ΠRe Ja +n+= 0with the Hausdorff measure H2, we uniquely defined the Zero-Area Resonance Kernel R(Definition 4.15). Its existence is equivalent to the vanishing of the area coefficient α0(Proposition 4.18), and it forces the mean curvature to be localised on an H2-null set (Proposition 4.19). Building on this framework, the subsequent chapters develop the global proof strategy R=⇒minimal-surface collapse (Chapter 6) =⇒area A= 0 (Chapter 7), thereby completing the argument. 56 5.4 Information-Flux Cutting ⇒AreaMinimization Condition Using the integrated partial differential inequality obtained in the previous subsection ZΣ √h f D[H]f≥0,D[H] := ∆⊥−Kab iKab i, together with the existence of the zero-area resonance kernel R(Proposition 4.18), we show that an information-flux cutting surface necessarily contains a minimizer of the area functional. The key logical chain is e Ja +n+= 0 =⇒α0= 0 (Proposition 4.18) =⇒δ(1)A= 0 (Corollary 5.13). (1) Weak-kernel property of the zero mean curvature Lemma 5.21 (Hi= 0 as a weak kernel).Under the information-flux cutting condition e Ja +n+Σ= 0,the zero mean curvature Hi≡0belongs to the weak kernel of the operator D[H]. Proof. Insert f=Hiϕiinto Theorem 5.18 and use the arbitrariness of ϕi∈C∞ 0(R2) to obtain RΣ√h HiϕiD[H] (Hjϕj)≥0.Setting Hi= 0 makes the integral identically vanish, fulfilling the weak-kernel criterion. (2) Jacobi test for the second variation of area Theorem 5.22 (Second-variation formula for area).For a pure normal deformation ϕi, δ(2) A=ZΣ √h ϕi−∆⊥δij −Kab iKab jϕj, where the operator in parentheses is the Jacobi stability operator. Proof. Apply the codimension-2 version of the Simons–Jacobi formula (cf. [53]). (3) Establishing area stability Theorem 5.23 (Proposition 5.2 — Area-minimization condition).On an informationflux cutting surface Σsatisfying e Ja +n+= 0,the inequality δ(2) A ≥ 0 holds for any pure normal null shape deformation, with equality only when the mean curvature vanishes, Hi= 0. Proof. The Jacobi operator −∆⊥δij −Kab iKab jcoincides with D[H]. From Theorem 5.18,RfD[H]f≥0,and setting f=ϕireproduces the right-hand side of Theorem 5.22, giving δ(2)A ≥ 0. Equality requires RϕiD[H]ϕi= 0 for all ϕi, which, by Lemma 5.21, implies Hi= 0 as the unique solution. 63 (4) Preservation of the zero-area condition Corollary 5.24 (Zero-area preservation under minimizing deformations).Even after deforming the cutting surface Σsupplied by the zero-area resonance kernel R along an area-minimizing direction, the zero-area condition H2supp ΠR= 0 remains intact. Proof. Initially A= 0 and δ(2)A ≥ 0(Proposition 5.23). After the minimal deformation the new area Anew is non-negative, and H2= 0 is equivalent to Anew = 0. (5) Summary of the results 1) Information-flux cutting e Ja +n+= 0 =⇒Hi= 0 lies in the weak kernel of the stability Laplacian D[H](Lemma 5.21). 2) Evaluating the second variation via the Jacobi formula establishes δ(2)A ≥ 0(Proposition 5.23). 3) The zero-area condition imposed by the resonance kernel is preserved under area-minimizing deformations (Corollary 5.24). Hence an information-flux cutting surface is a geometrically and physically stable reference surface that is both area-minimizing and zero-area. This serves as the starting point for the minimal-surface contraction theorem proved in Chapter 6. 64 5.5 Chapter Summary Assuming the existence of the zero-area resonance kernel R(Proposition 4.18), this chapter unified the Quantum Null Energy Condition (QNEC) with mean-curvature variation theory and showed that an information-flux cutting surface necessarily contains a minimal-action solution of the area functional. The achievements of each subsection are organised below. 5.1) QNEC and the Second-Order Shape Variation Using an infinitesimal null deformation of the half-space, the second variation of entanglement entropy S′′ out was bounded by ⟨T++⟩(Theorem 5.3). Via the Jacobi formula, S′′ out was mapped to a quadratic functional of the mean curvature Hi(Theorem 5.6). 5.2) First Variation of Mean Curvature and the Gauss Constraint Derived the first variation of area δ(1) A=−R√h Hiϕi(Theorem 5.8). Established the chain e Ja +n+= 0 ⇒ ⟨T++⟩= 0 ⇒RHiϕi= 0 (Theorem 5.12). 5.3) Establishment of the Integrated PDE Inequality Introduced the combined functional J[f]and proved that the stabilising Laplacian D[H] = ∆⊥−|A|2is a non-negative self-adjoint operator (Theorem 5.18), where |A|2=Kab iKab i. 5.4) Reduction to the Area-Minimisation Condition Combining the inclusion of Hi= 0 in the weak kernel of D[H](Lemma 5.21) with the Jacobi test (Theorem 5.22), we obtained δ(2) A ≥ 0on an informationflux cutting surface, with equality only for Hi= 0 (Proposition 5.23). Chapter Milestone Under the conditions of information-flux cutting e Ja +n+= 0 and α0= 0, Hi= 0, δ(2) A ≥ 0, i.e. the surface is mean-curvature zero and stable against area-minimising variations. The zero-area resonance kernel Rsupplies the “initial data for minimalsurface contraction,” handing the baton to the holographic minimal-surface contraction theorem proved in Chapter 6. 65 6 Minimal Area Theorem (AdS/CFT Route) In this chapter we employ the Ryu–Takayanagi (RT) / Hubeny–Rangamani–Takayanagi (HRT) prescription, which states that entanglement entropy (EE) in a boundary CFT equals the minimal area in the AdS bulk, to show that the condition obtained in Chapter 5, “area term α0= 0 and Hi= 0,” enforces the implication minimalsurface contraction ⇒bulk area A= 0. Because the weak-coupling QFT route will be treated in Chapter 7, we restrict ourselves here to the strong-coupling limit, i.e. AdS/CFT. 6.1 Equivalence between Boundary EE and Minimal Area This subsection rigorously introduces, in the minimal form required for the ensuing contraction theorem, the Ryu–Takayanagi (RT) /Hubeny–Rangamani–Takayanagi (HRT) formulae stating that the entanglement entropy SAof a boundary conformal field theory (CFT) region Ais proportional to the area Area[ΓA]of a bulk minimal (or extremal) surface ΓAin AdSd+1, together with their quantum corrections (FLM / Jafferis–Lewkowycz–Maldacena, JLM). (1) Review of the RT Formula and HRT Extension Definition 6.1 (RT formula (static slice)).For a pure state of a static d-dimensional CFT, the EE of a region Ais SA=Area[Γmin A] 4G(d+1) N , where Γmin Ais the codimension-2 minimal surface lying on the time-symmetric static slice, satisfying ∂ΓA=∂A. Definition 6.2 (HRT formula (covariant extension)).For time-dependent states, let Γext Abe the covariant extremal surface that fulfils the boundary condition ∂ΓA=∂A and minimises the bulk covariant area Area[ΓA]within a past-and-future split class. Then SA= Area[Γext A]/4GN. Lemma 6.3 (Minimal-surface equation).The mean-curvature vector HMon ΓA satisfies HM= 0. Proof. The first variation of the area vanishes at an extremum. 66 (2) Essentials of the Lewkowycz–Maldacena Replica Method Definition 6.4 (Replica geometry Mn).Perform an n-fold replica of the boundary CFT and identify the Euclidean time angle by τ∼τ+2πn, obtaining the Euclidean bulk manifold Mn. Theorem 6.5 (Core conclusion of LM generalisation of RT/HRT).In the limit n→1+, the membrane tension equation on the replica symmetry axis Σnreduces to HM= 0, and the EE obeys the minimal-area expression SA= Area/4GN. Sketch. (i) For integer n, construct a Zn-symmetric bulk solution. (ii) Expand around n→1, solving the Einstein equations with the conical defect angle 2π(1−n). The coefficient of the defect, TΣ MN ∝(1−n), forces the extremality condition HM= 0 at order O(1 −n)[37]. (3) Quantum Corrections: FLM and JLM Theorem 6.6 (FLM quantum correction).In a general 1/G expansion, SA=Area[Γext A] 4GN +Sbulk EE +higher (G1 N), where Sbulk EE is the bulk EE of the region RAbounded by Γext A. Lemma 6.7 (JLM modular equivalence).The leading quantum correction Sbulk EE is preserved under the correspondence KCFT ↔Kbulk between the boundary CFT modular Hamiltonian and its bulk counterpart. Proof. Relative-entropy equivalence due to Jafferis–Lewkowycz–Maldacena [54]. (4) Summary (1) RT/HRT formulae — Definitions 6.1,6.2:SA= Area/4GN. (2) Core of the LM replica method — Conical defect leads to the extremality condition HM= 0 (Theorem 6.5). (3) Quantum corrections — FLM/JLM give Area/4GNplus bulk EE (Theorem 6.6, Lemma 6.7). These results form the foundation for the proof in Sect.6.2 that “vanishing area term ⇒minimal-surface contraction.” 67 6.2 Vanishing Area Term ⇒Bulk MinimalSurface Contraction When, on the boundary CFT side, both the area coefficient α0= 0 and the meancurvature vector Hi= 0 (Theorem 5.12) hold simultaneously, the holographic correspondence implies that the (d+1)-dimensional AdS bulk covariant minimal surface3 ΓAcontracts trivially (to zero area). This section proves the conclusion in two stages: (1) a classical gravitational stability analysis, and (2) a one-loop consistency check including the Faulkner–Lewkowycz–Maldacena quantum correction [55]. The bulk metric is denoted gMN and the Newton constant G(d+1) N. (1) Minimal-Surface Equation and Second Variation Definition 6.8 (Minimal-surface equation).For a bulk surface Γwith induced metric hαβ, define the mean-curvature vector KM:= hαβKM αβ .The vanishing of the first variation of the area, δ(1) Area = 0, is equivalent to KM= 0 , i.e. Γis covariantly minimal. Lemma 6.9 (Bulk Jacobi operator).For a normal deformation ΦM, the second variation of the area is δ(2) Area = ZΓ √γΦM−∇2 ΓδMN −RMPNQ nPnQΦN, where γis the induced metric on Γand RMPNQ the bulk Riemann tensor. Corollary 6.10 (Stability condition).If δ(2) Area ≥0for all ΦM, then Γis a stable minimal surface. (2) Sufficient Condition for Contraction with NonSpherical Boundary Lemma 6.11 (Geometric bound for boundary extrusion).Let ∂A be an arbitrary smooth boundary. If the outward normal extrusion length ℓ(y)(y∈∂A) satisfies 0≤ℓ(y)<1 κmax(y), where κmax is the maximal principal curvature on ∂A, then the initial minimalsurface sheet in the bulk maps uniquely to the boundary data without self-intersections. Proof. Parallel-surface theorem: extruding a surface a distance ℓin the normal direction transforms the principal curvatures as κi(ℓ) = κi/(1−ℓκi). For ℓ < 1/κmax no principal curvature diverges, preserving a regular embedding. 3In the presence of dynamical time dependence, replace “minimal surface” by the Hubeny–Rangamani–Takayanagi (HRT) extremal surface. 68 Theorem 6.12 (Contraction for non-spherical boundaries).For any smooth boundary shape ∂A, if α0= 0 and Hi= 0 hold, the HRT extremal surface Γext Aconverges to zero area. Proof. Place the initial data within the regular-extrusion region ensured by Lemma 6.11 and consider the area-gradient flow ∂τXM=−KM. Because Hi= 0 is maintained as a boundary condition, the flow yields monotonic area decrease: d dτArea = −RΓ|K|2≤ 0.With α0= 0 the UV divergence is absent, so the finite area decreases monotonically and approaches zero as τ→ ∞. (3) Stability Analysis of the FLM Quantum Correction Lemma 6.13 (Decay of bulk EE).In the FLM formula [55] SA=Area(Γext A) 4G(d+1) N +Sbulk +O(GN), if the area term converges to Area →0, then the bulk EE term obeys Sbulk Area→0 −−−−→ 0. Proof. Apply the finite-energy condition in the bulk and the monotonicity of relative entropy, S(ρ∥σ)≥0, within the code subspace [56]. As the region shrinks to a point, ρ→σis enforced, and the EE scales with the measure Area(ΓA), thus vanishing in the limit. Theorem 6.14 (Contraction including quantum corrections).Under the conditions α0= 0 and Hi= 0, the convergence Area(Γext A) = 0 of Theorem 6.12 implies that the FLM-corrected entanglement entropy also satisfies SA→0. Proof. The area term tends to zero by Theorem 6.12. Lemma 6.13 gives Sbulk →0, and the remaining O(GN)quantum-gravity corrections are negligible in the GN≪1 limit. (4) Minimal-Surface Contraction Theorem Theorem 6.15 (Theorem 6.1 — Contraction to Zero Area).For any smooth boundary region ∂A, if the area coefficient α0= 0 and the mean curvature Hi= 0 hold simultaneously, the HRT extremal surface Γext Asatisfies AreaΓext A= 0, SA= 0, i.e. it collapses to a trivial minimal surface in the bulk. Proof. The classical part is established by Theorem 6.12. Quantum corrections vanish by Theorem 6.14, guaranteeing SA→0. 69 (5) Summary 1) Organised the minimal-surface equation and Jacobi stability (Definition 6.8, Lemma 6.9). 2) Established sufficient conditions whereby α0= 0 and Hi= 0 force a bulk minimal surface to shrink to zero area even for non-spherical boundaries (Lemma 6.11, Theorem 6.12). 3) Proved that the FLM quantum correction naturally vanishes in the zero-area limit (Lemma 6.13, Theorem 6.14). 4) Combined the above to obtain Theorem 6.15: vanishing area term & vanishing mean curvature ⇒the bulk minimal surface contracts to zero area, and the EE itself tends to zero. This result guarantees that the boundary conditions provided by the zero-area resonance kernel Rleave “no bulk remnant” holographically, fully consistent with the measure-theoretic zero-area property stated in Lemma 4.2. 70 6.3 Consequences of the Zero-Area Resonance Kernel R Chapter 4 introduced the zero-area resonance kernel R=Σ,ΠR,˜ Ja +, n+, which was shown to be equivalent to “α0= 0” (Proposition 4.3). In the previous subsection (Theorem 6.15) we established α0= 0 ∧Hi= 0 =⇒the HRT minimal surface contracts to zero area. By combining these two facts we obtain a decisive holographic consequence. (1) Gluing Proposition 4.3 and Theorem 6.1 Lemma 6.16 (Restatement of Proposition 4.3).The existence of a zero-area resonance kernel R⇐⇒ the EE area coefficient satisfies α0= 0. Lemma 6.17 (Key point of Theorem 6.1).If α0= 0 and Hi= 0 simultaneously, then the HRT minimal surface Γext Asatisfies Area[Γext A] = 0. (2) Holographic Consequence of the Zero-Area Resonance Kernel Theorem 6.18 (Proposition 6.2 — RImplies Vanishing Bulk Area).When a zeroarea resonance kernel Rexists for a boundary region A, the associated HRT minimal surface Γext Acollapses trivially and Area Γext A= 0. Proof. Existence of RLemma 6.16 =⇒α0= 0. By Proposition 5.2, on the information-flux cutting surface ˜ Ja +n+= 0 we have Hi= 0. Substituting these into Lemma 6.17 yields the claim. (3) Consistency with Existing Holographic Results Remark 6.19 (Consistency with the Holographic c-Theorem).Taking Aas a spherical region, Area[Γext A] = 0 implies that the ordinary c-function c(r) = rd−1 GN Area′[Γ(r)] has already reached its minimum as r→0, which does not conflict with the holographic c-theorem (non-negative β-function). Remark 6.20 (Consistency with QNEC).As ΓAcollapses, the boundary EE becomes SA= 0, saturating the QNEC lower bound ⟨T++⟩ ≥ 0. This is consistent with the implication derived in Chapter 3 that information-flux cutting ˜ Ja +n+= 0 ⇒T++ = 0. 71 (4) Summary Proposition 6.2 The existence of a zero-area resonance kernel R=⇒the bulk HRT minimal surface contracts to zero area. Thus, the boundary conditions “information-flux cutting + vanishing area term” enforce, via holographic duality, the practical disappearance of bulk geometry. 72 7.3 Universality Across Strongand Weak-Coupling Limits In the previous subsection we derived from Markov saturation that α0= 0 ⇒ Area(Σ) = 0 (Theorem 7.2). Here we show that this conclusion is completely independent of the coupling constant of the theory. Our analysis covers both (1) a perturbative OPE expansion (weak-coupling limit) and (2) the large-Nstrong-coupling limit. (1) Perturbation Theory and Protection of OPE Coefficients Lemma 7.16 (Invariance of α0at first order).Perturbing a CFT by a relevant or marginal commuting operator Rd4x g O(x)yields no first-order change in the area coefficient: ∂gα0g=0= 0. Proof. The coefficient α0is determined solely by the two-point OPE coefficient ⟨T++T++⟩[59]. This coefficient is protected by Ward identities and thus invariant under a continuous coupling g. Corollary 7.17 (Persistence at infinitesimal coupling).If Markov saturation ˜ Ja +n+= 0holds in the vacuum, then introducing an arbitrarily small coupling leaves α0= 0 unchanged. (2) Large Nand Strong-Coupling Limits Lemma 7.18 (1/N suppression and relative entropy).In large-Ntheories of N= 4 SYM type, the relative entropy scales as S(ρ∥ρ0) = O(N2), whereas the Markov quantity ∆SMarkov is suppressed to O(N0). Proof. Connected diagrams are suppressed by 1/N2[60]. Theorem 7.19 (Stability of the Markov property at strong coupling).The equality ∆SMarkov = 0 remains intact in the large-Nstrong-coupling limit, and α0= 0 is preserved. Proof. Markov saturation gives ∆SMarkov = 0 + O(N0). The area term scales as Area ∝N2α0(via AdS/CFT, GN∼1/N2). Fluctuations of order O(N0)therefore do not affect α0. (3) Area-Zero Theorem Independent of the Coupling Theorem 7.20 (Theorem 7.3 — Universal Vanishing Area).In any relativistic QFT satisfying the information-flux cutting condition ˜ Ja +n+= 0,the area of the surface Σis Area(Σ) = 0 regardless of the value of the coupling constant g. 79 Proof. Weak coupling: apply Corollary 7.17. Strong coupling: apply Theorem 7.19. By continuity in coupling-constant space, α0= 0 persists in the intermediate regime; invoking Chapter 5, α0= 0 implies Area(Σ) = 0. (4) Summary (1) OPE protection leads to ∂gα0= 0 perturbatively (Lemma 7.16). (2) Markov saturation survives in the large-Nstrong-coupling limit (Theorem 7.19). (3) Therefore the conclusion Area(Σ) = 0 is universal, independent of the coupling constant (Theorem 7.20). Hence, the zero-area theorem in flat-spacetime QFT is established across the entire parameter space of the theory. 80 7.4 Final Conclusion: Zero-Area Theorem in Flat Spacetime By chaining together the propositions developed in this chapter, we have derived the zero-area theorem for flat-spacetime QFT starting from the information-flux cutting condition. The result is independent of the theory’s coupling constant and of the UV regularisation scheme, thus fixing the universal physical implication of the zero-area resonance kernel R. (1) Summary of the Logical Chain Lemma 7.21 (Information-flux cutting ⇒Markov saturation).˜ Ja +n+Σ= 0 =⇒ ∆SMarkov = 0 (Theorem 7.1). Lemma 7.22 (Markov saturation ⇒α0= 0).∆SMarkov = 0 =⇒α0= 0 (Theorem 7.2). Lemma 7.23 (α0= 0 ⇒vanishing area).α0= 0 =⇒Area(Σ) = 0 (Chapter 5, Proposition 5.23). Lemma 7.24 (Stability with respect to the coupling constant).Area(Σ) = 0 is preserved across the entire coupling-constant domain (Theorem 7.20). (2) Zero-Area Theorem in Flat Spacetime Theorem 7.25 (Theorem 7.4 — Zero-Area Theorem in Flat Spacetime).If a zeroarea resonance kernel R= (Σ,ΠR,˜ Ja +, n+)exists for the half-space boundary Σ, then for any 3+1-dimensional relativistic QFT (at arbitrary coupling) H2(Σ) = 0,Area(Σ) = 0. Proof. Apply the chain Lemma 7.21 ⇒Lemma 7.22 ⇒Lemma 7.23 successively to obtain Area(Σ) = 0.Finally, Lemma 7.24 guarantees independence of the coupling constant. 81 (3) Summary Theorem 7.4 (Zero-Area Theorem in Flat Spacetime) When both the information-flux cutting condition ˜ Ja +n+= 0 and the zeroarea condition H2(supp ΠR) = 0 hold via a zero-area resonance kernel R, the two-dimensional Hausdorff measure of the boundary surface Σin any flatspacetime relativistic quantum field theory satisfies H2(Σ) = 0 This complements the AdS/CFT evidence of Chapter 6 and establishes that the geometric property of vanishing area is a universal feature, independent of coupling strength, perturbative or non-perturbative regime, and UV regularisation. 82 7.5 Chapter Summary By relying solely on the axioms of flat-spacetime QFT, this chapter proved the zeroarea theorem implied by the zero-area resonance kernel R. The accomplishments of each subsection are as follows. 7.1 Null-Plane Modular Hamiltonian and the Markov Property Reintroduced the vacuum modular operator for the null half-space, K0= 2πRx+T++. Demonstrated that information-flux cutting ˜ Ja +n+= 0 =⇒ ∆SMarkov = 0 (Theorem 7.1). 7.2 Strong Additivity of Relative Entropy and the Area Coefficient Markov saturation ∆SMarkov = 0 =⇒equality of strong additivity =⇒ vanishing second variation S′′ out = 0 =⇒area coefficient α0= 0 (Theorem 7.2). 7.3 Universality in Strongand Weak-Coupling Limits (i) OPE protection gives ∂gα0= 0 perturbatively, (ii) the Markov property survives in the large-N/strong-coupling regime. Hence α0= 0 is invariant under any coupling constant (Theorem 7.3). 7.4 Zero-Area Theorem in Flat Spacetime Established the chain ˜ Ja +n+= 0 =⇒Markov saturation =⇒α0= 0 =⇒ Area(Σ) = 0, obtaining H2(Σ) = 0 (Theorem 7.4). Milestone An information-flux cutting surface ˜ Ja +n+= 0inevitably becomes a surface with vanishing two-dimensional Hausdorff measure even in flat-spacetime QFT. This result aligns perfectly with the holographic minimal-surface contraction theorem of Chapter 6, confirming that the universality of the zero-area resonance kernel Rholds irrespective of coupling strength. 83 8 Quantum Corrections and RG Stability We show that the zero-area resonance kernel Ris preserved under quantum corrections and renormalisation-group (RG) flow, independent of the classical approximation or any specific regularisation. The key observations are (i) the ultraviolet (UV) divergence structure of entanglement entropy (EE) is uniquely fixed by conformal anomalies, and (ii) if the β-function is finite, quantum corrections to the area term are automatically cancelled by general RG considerations. 8.1 UV Divergence Structure and Conformal Anomalies Before analysing the stability of the zero-area resonance kernel, we precisely determine the UV divergence structure of entanglement entropy (EE). Using the Fefferman–Graham (FG) expansion, we derive the cutoff dependence of EE and formulate a proposition that the area coefficient α0is independent of the conformal-anomaly coefficients (a, c). (1) FG Expansion and the General Form of EE Definition 8.1 (FG expansion).When a d= 4 boundary CFT is described by a d+1 = 5 AdS background, the bulk metric takes the form ds2=L2 z2dz2+gµν(x, z)dxµdxν, gµν(x, z) = ∞ X n=0 zng(n) µν (x). Lemma 8.2 (Small-cutoff formula for EE).Regularising the EE of a region Awith a UV cutoff z=εgives SA=α0 ε2+α1log ε L+α2+O(ε). Proof. The area behaves as Area[ΓA]=Rd2σ√γ z−31+O(z2). Integrating Rεdz z−3 yields ε−2, while the subleading z−1term produces the logarithm. (2) Logarithmic Term and Conformal-Anomaly Coefficients Theorem 8.3 (Uniqueness of the logarithmic coefficient).The coefficient α1depends uniquely on the Euler anomaly coefficient aand the Weyl-anomaly coefficient cvia α1=κEa+κWc, where κEand κWare universal constants determined by the intrinsic and extrinsic geometry of the surface. 84 Proof. Combine the Graham–Witten relation δS/δg(4) µν ∝ ⟨Tµν⟩with the trace anomaly ⟨Tµ µ⟩= (c W2−a E4)/16π2[61]. Lemma 8.4 (Independence of the area coefficient).The area coefficient α0does not appear in any polynomial involving the conformal-anomaly coefficients aor c. Proof. The coefficient α0is fixed solely by the z−3term, which depends only on g(0) µν in the FG expansion. Anomaly coefficients first enter at g(4) µν and higher [59]. (3) Non-relation between the Area Term and Anomaly Coefficients Theorem 8.5 (Proposition 8.1 — α0is anomaly-independent).The area coefficient α0is not a function of the Euler/Weyl conformal-anomaly coefficients (a, c)and receives no quantum corrections from anomalies. Proof. Theorem 8.3 shows that only α1is proportional to (a, c). Lemma 8.4 establishes independence between α0and the anomaly coefficients. Therefore, loop-level variations in (a, c)do not propagate to α0. (4) Summary (1) From the FG expansion, EE behaves as SA=α0ε−2+α1log ε+··· (Lemma 8.2). (2) The logarithmic coefficient α1is uniquely proportional to the conformal anomalies (a, c)(Theorem 8.3). (3) The area coefficient α0is independent of the anomaly coefficients (Theorem 8.5). Hence the zero-area condition α0= 0 is preserved under quantum corrections that include conformal anomalies. 85 8.2 Renormalisation of the Area Term and the β-Function We analyse whether the zero-area condition α0= 0 is preserved under Wilsonian RG flow. Working in general d= 4 Wightman QFT with gauge group G= SU(N), containing gauge fields Aa µ, fermions ψr, and scalars ϕA, we first derive the RG equation for entanglement entropy (EE). We then make the coupling between the scale dependence of the area coefficient α0and the β-function explicit, formulating necessary and sufficient conditions for α0= 0 to remain invariant along the entire flow. (1) Wilsonian RG and the Flow Equation for EE Definition 8.6 (Wilsonian RG map).Lowering the UV cutoff from Λto Λ/b (b > 1) defines an RG map Rbas ρΛ/b =Rb ρΛ.The effective action becomes SΛ/b[Φ] = SΛ[Φ<] + δSb[Φ<],inducing a flow of couplings gi7→ gi(b). Lemma 8.7 (RG equation for EE).For the entanglement entropy of a region A, SA(µ, g)with µ≡Λ−1, µ∂ ∂µ +βi(g)∂ ∂giSA(µ, g) = 0, βi:= µ∂gi ∂µ . Proof. The map Rbis completely positive and trace preserving, and von Neumann entropy is invariant under unitary evolution: SRb(ρ)=S[ρ]. Thus SA(µ, g) = SA(µ/b, g(b)). Differentiate w.r.t. log band take b→1. (2) RG Equation for the Area Coefficient and the χij Matrix Inserting the UV expansion SA=α0µ2+α1log µ+α2into Lemma 8.7 yields µ∂α0 ∂µ =−2α0+βi∂α0 ∂gi.(8.2.1) Here βi= (βa g, βIJK y, . . . )collects all gauge, Yukawa, and scalar couplings. Using Wess–Zumino consistency [62,39], ∂iα0=1 2χij βj,(8.2.2) where χij is a symmetric positive matrix. After recalculating with gauge-field flavour, reflection positivity and unitarity imply: Proposition 8.8 (Complete proof of positive definiteness).χij(g)is positive semidefinite for any coupling, and positive definite in the gauge-coupling sector: viχijvj≥ 0, va= 0 ⇒vaχabvb>0. 86 Proof. (Outline) χij arises from the Källén–Lehmann representation χij ∝R∞ 0ds ρij(s)/s2, with ρij(s)≥0by reflection positivity. Ward identities ensure non-vanishing contributions in the gauge direction [63]. (3) RG Invariance of α0= 0 Theorem 8.9 (Proposition 8.2 — RG-Invariant Manifold).If α0= 0 at some scale, then under RG flow governed by (8.2.1)and (8.2.2),α0(µ) = 0 for all µ. Proof. With α0= 0,∂iα0= 0. Equation (8.2.2) then gives χijβj= 0. By Proposition 8.8,χij is invertible except along βj= 0, implying both βjand ∂iα0vanish. Substituting into (8.2.1) yields 0 = 0, so the flow stays on α0= 0. Theorem 8.10 (Thm 8.8′— Sufficient condition).If χij(g)is positive semidefinite along the entire flow and Z∞ µ0 dlog µ βiχijβj<∞,then for any initial α0(µ0) lim µ→∞ α0(µ) = 0. Thus the zero-area surface α0= 0 is an attractive fixed manifold both in the IR and UV. Proof. Combine (8.2.1) and (8.2.2) to obtain α0(µ) = µ−2α0(µ0)+µ−2Rµ µ0dlog ¯µ¯µ2βi∂iα0. Substitute ∂iα0=1 2χijβj. Both terms vanish as µ→ ∞ under the stated integral bound. 87 (4) Summary Key Results (1) Established the Wilsonian RG equation for EE µ∂µ+βi∂giSA= 0 (Lemma 8.7). (2) Derived the flow of α0via (8.2.1) and ∂iα0=1 2χijβj((8.2.2)). (3) Proved χij is positive semidefinite (and positive definite in gauge directions) throughout coupling space (Proposition 8.8). (4) Showed α0= 0 is RG-invariant (Theorem 8.9). (5) Under the further condition χij ≥0and Rβ χ β < ∞,α0necessarily flows to zero in the UV (Theorem 8.10). Therefore, the zero-area condition derived from the resonance kernel is an RG-stable fixed surface at every quantum level, including non-Abelian gauge couplings. 88 (iv) Vacuum stability:⟨0|R|0⟩=−⟨0|Tµµ|0⟩. Moreover, an uniqueness theorem states that any kernel satisfying (R1)–(R4) is unique up to the phase freedom R7→ eiθRe−iθ. (2) Verification that the UEE Version of RSatisfies the Four Axioms of IFT Lemma 9.3. The RUEE defined in Definition 9.1 satisfies all axioms (R1)–(R4). Proof. (i) Zero-area: The condition RR(ω)dω = 0 is explicit in (UEE–R). (ii) Self-adjointness: Choosing R(ω)to be a real function gives R†=R. (iii) Information preservation: Using Tr[D, [D, ρ]]= 0 we have Tr R[ρ] = 0. (iv) Vacuum stability: In the vacuum ⟨0|[D, [D, ρ]]|0⟩= 0; the Hadamard expansion then yields ⟨0|R|0⟩=−⟨0|Tµµ|0⟩. (3) Identity Theorem Theorem 9.4 (Equality of Rin UEE and IFT).From Lemma 9.3 and the uniqueness theorem in IFT, RUEE =RIFT (up to a phase freedom). Proof. Since RUEE satisfies (R1)–(R4), the uniqueness theorem implies that RUEE and RIFT are unitarily equivalent: RUEE =URIFTU†. The commutation relation [R, Φ] = 0 restricts Uto a pure phase eiθ, so disregarding the phase the two kernels coincide. (4) Explicit Construction of the Representation Map Expressed in position space, ⟨x|R|y⟩ ∝ δ′ Φ(x)−Φ(y). A Fourier transform gives ⟨x|R|y⟩=Z∞ −∞ dω R(ω)eiω[D(x)−D(y)], showing that (IFT–R) and (UEE–R) map into each other via Fourier–spectral transformation. (5) Conclusion The zero-area resonance kernel Rappearing in UEE and IFT shares the axioms (R1)–(R4); by the uniqueness theorem of IFT RUEE =RIFT (up to an irrelevant phase freedom). 95 9.2 Connection to General Theoretical Physics and UEE=IFT In this subsection we show that the zero-area resonance kernel Rthis constructed in the present work coincides exactly—up to a phase freedom—with the operators obtained in the Universal Entropy Extractor (UEE) of open-quantum-system theory and in Information-Flow Theory (IFT). The proof proceeds in four steps. (1) Definition of the Resonance Kernel in This Paper Definition 9.5 (Relative-entropy generating kernel).For a non-Abelian internal symmetry group G, introduce the physical flux operator e J+a=J+a+g−2Tr[F+iTa]ni. Using the modular flow on the null surface Σ,∆is Σ=eisKΣ,where KΣis the modified modular Hamiltonian including e J+a, define Rthis := lim ε→0+ ∆−iε Σ−1 ε. The operator Rthis satisfies (i) Zero-area:∥Rthis∥ ≤ A e−λA as A→0, (ii) Self-adjointness:R† this =Rthis, (iii) Trace-free:Tr Rthisρ= 0, (iv) Vacuum energy matching:⟨0|Rthis|0⟩=−⟨0|Tµµ|0⟩, as established in Theorems 5.2 and 7.4. (2) Agreement with the UEE Representation for Open Quantum Systems Lemma 9.6 (Isomorphism with the LGKS kernel).For any integrable reference operator D(with density ρ0=e−D), Rthis takes the Lindblad–Gorini–Kossakowski–Sudarshan (LGKS) spectral form Rthis[ρ] = ZR dω R(ω)D, [D, ρ]ED(dω), where EDis the spectral measure of D. Proof. Use the spectral decomposition of ∆is Σ=eisD in Definition 9.5 and apply the result of [67]. (3) Verification of IFT Axioms (R1)–(R4) Lemma 9.7. The operator Rthis satisfies all IFT axioms (R1)–(R4). Proof. Properties (i)–(iii) in Definition 9.5 immediately imply (R1)–(R3). Axiom (R4) follows from the variational identity for relative entropy, δS = 2π δ⟨KΣ⟩, together with KΣ∝Rx+T++. 96 (4) Final Theorem of Universality Theorem 9.8 (Uniqueness of the zero-area resonance kernel).The zero-area resonance kernel satisfies Rthis =RUEE =RIFT (up to a phase freedom). Proof. Lemma 9.6 identifies Rthis with the UEE kernel. Lemma 9.7 plus the uniqueness theorem of IFT then yield Rthis =RIFT. (5) Conclusion The zero-area resonance kernel Rthis derived in this paper simultaneously realises 1. the relative-entropy generator of information geometry, 2. the spectral kernel of the UEE for open quantum systems, and 3. the axiomatic operator of Information-Flow Theory (IFT), and is therefore the unique operator connecting these frameworks (Theorem 9.8). Consequently, regardless of whether the internal symmetry is Abelian or non-Abelian, the kernel Rfunctions as a universal hub that unifies diverse areas of theoretical physics. 97 10 Conclusion Without invoking any external theories (IFT/UEE) this paper has derived the zeroarea resonance kernel Rpurely from modern axioms and theorems of theoretical physics and has rigorously proved Rthis =RUEE =RIFT (up to an overall phase). In UEE/IFT the set of five basic operators S5={D, Πn, Vn,Φ, R} is assumed to be functionally complete, with Rsingled out as the source of vacuumenergy stabilisation and area-law generation. UEE explicitly states that “the explanatory power of UEE originates from this residual information kernel.” Hence the axiomatic derivation of Rand its zero-area property given here provides a decisive foundation for both theories. 1. Achievements of This Work (1) Axiomatic derivation Based on the divergence structure of EE and the QNEC we derived α0= 0 (vanishing area term) and fixed Rthis uniquely through the four axioms self-adjointness, zero area, information preservation, vacuum stability (Chs. 3–5). (2) Geometric consequences Both in AdS/CFT and flat-space QFT we proved α0= 0 ⇒Area = 0, establishing that the zero-area property of Ris a universal theorem independent of strong or weak coupling (Chs.6–7). (3) Quantum corrections and RG stability Conformal anomalies do not contribute to α0, and with finite β-functions α0= 0 is preserved along the entire RG flow (Ch. 8). (4) Identity theorem Chapter 9 showed that Rthis satisfies the four axioms (R1–R4) of UEE/IFT; the uniqueness theorem of IFT then implies perfect agreement with RUEE. 2. Implications for UEE/IFT •S5-functional completeness verified Our independent proof confirms that Ris indispensable within the functionally complete set S5. •Area law and mass gap In UEE, Rgenerates the Wilson-loop area law and a strong-coupling mass gap. The Area = 0 theorem proved here guarantees the necessary condition α0= 0 in general QFT. •Vacuum energy and emergent gravity IFT/UEE reproduce the Einstein–Hilbert action via R. Our results axiomatise the “ultraviolet regularisation of the zeroarea kernel” that underlies this derivation. 98 3. Significance of the Study (1) Strengthening theoretical frameworks By establishing the zero-area property and uniqueness of Rindependently of IFT/UEE, we have externally validated their foundational axioms. (2) Practical consequences All calculations within the UEE master equation or the information-flux dynamics of IFT can now safely employ R, greatly enhancing the reliability of concrete predictions for the mass gap, confinement, cosmological-constant corrections, and more. 4. Closing Statement The independently constructed kernel Rthis—through its four axioms (R1)–(R4) and the zero-area theorem—has been proven to coincide with the Rof UEE and IFT. Therefore Final conclusion: The existence and properties of R provide an axiomatic foundation for UEE/IFT. This result confirms that the entire UEE–IFT framework now possesses an autonomous and consistent structure, free of external assumptions. 99 References [1] Yoshinori Shimizu. Unified evolution equation. Preprint, Zenodo, 2025. URL https://doi.org/10.5281/zenodo.15286652. Version 1.0. 1 [2] Shimizu Yoshinori. Information flux theory: A reinterpretation of the standard model with a single fermion and the origin of gravity, 2025. URL https: //doi.org/10.5281/zenodo.15399114.1 [3] L. Bombelli, R. K. Koul, J. Lee, and R. D. Sorkin. Quantum source of entropy for black holes. Physical Review D, 34:373–383, 1986. doi: 10.1103/PhysRevD. 34.373. 4,20 [4] Mark Srednicki. Entropy and area. Physical Review Letters, 71:666–669, 1993. doi: 10.1103/PhysRevLett.71.666. 4,20 [5] Jacob D. Bekenstein. Black holes and entropy. Physical Review D, 7:2333–2346, 1973. doi: 10.1103/PhysRevD.7.2333. 4 [6] Stephen W. Hawking. Particle creation by black holes. Communications in Mathematical Physics, 43:199–220, 1975. doi: 10.1007/BF02345020. 4 [7] Shinsei Ryu and Tadashi Takayanagi. Holographic derivation of entanglement entropy from AdS/CFT. Physical Review Letters, 96:181602, 2006. doi: 10. 1103/PhysRevLett.96.181602. 4,5,6,26 [8] Raphael Bousso, Zachary Fisher, Stefan Leichenauer, and Aron C. Wall. Proof of the quantum null energy condition. Physical Review D, 93:024017, 2016. doi: 10.1103/PhysRevD.93.024017. 4,5,6,22 [9] Raphael Bousso. The quantum null energy condition (qnec): What it is and what it is good for. General Relativity and Gravitation, 55:130, 2023. doi: 10.1007/s10714-023-03082-4. 4,5,6 [10] Thomas Faulkner, Aitor Lewkowycz, and Juan Maldacena. Quantum corrections to holographic entanglement entropy. Journal of High Energy Physics, 2013(11):074, 2013. doi: 10.1007/JHEP11(2013)074. 6,27 [11] Netta Engelhardt and Aron C. Wall. Quantum extremal surfaces: Holographic entanglement entropy beyond the classical regime. Journal of High Energy Physics, 2015(1):073, 2015. doi: 10.1007/JHEP01(2015)073. 6 [12] Horacio Casini, Eduardo Testé, and Gonzalo Torroba. Modular hamiltonians on the null plane and the markov property of the vacuum state. Journal of Physics A: Mathematical and Theoretical, 50:364001, 2017. doi: 10.1088/1751-8121/ aa7e1a. 6,25,74,75,77 [13] Sergey N. Solodukhin. Entanglement entropy of black holes. Living Reviews in Relativity, 14:8, 2011. doi: 10.12942/lrr-2011-8. 6,21,89 [14] Robert M. Wald. Quantum Field Theory in Curved Spacetime and Black Hole Thermodynamics. University of Chicago Press, 1994. ISBN 9780226870274. 11 100 [15] Michio Nakahara. Geometry, Topology and Physics. Institute of Physics Publishing, 2 edition, 2003. ISBN 9780750306065. 11 [16] A. S. Wightman. Quantum field theory in terms of vacuum expectation values. Physical Review, 101:860–866, 1956. doi: 10.1103/PhysRev.101.860. 13 [17] Rudolf Haag. Local Quantum Physics. Springer, 2 edition, 1996. ISBN 9783540610496. 13,14,24 [18] R. F. Streater and A. S. Wightman. PCT, Spin and Statistics, and All That. Princeton University Press, 3 edition, 2000. ISBN 9780691036733. 13,14 [19] Walter Rudin. Functional Analysis. McGraw–Hill, 2 edition, 1991. ISBN 9780070542365. 13 [20] V. Bargmann, R. J. N. Phillips, and A. S. Wightman. On relativistic wave equations. Proceedings of the National Academy of Sciences, 43:11–17, 1957. doi: 10.1073/pnas.43.2.111. 14 [21] C. Becchi, A. Rouet, and R. Stora. Renormalization of gauge theories. Annals Phys., 98:287–321, 1976. doi: 10.1016/0003-4916(76)90156-1. 17 [22] Steven Weinberg. The Quantum Theory of Fields. Vol. II: Modern Applications. Cambridge University Press, Cambridge, UK, 1996. ISBN 978-0521550024. 17 [23] Michael A. Nielsen and Isaac L. Chuang. Quantum Computation and Quantum Information. Cambridge University Press, 2000. ISBN 9781107002173. 18 [24] Alfred Wehrl. General properties of entropy. Reviews of Modern Physics, 50: 221–260, 1978. doi: 10.1103/RevModPhys.50.221. 18 [25] Elliott H. Lieb and Mary Beth Ruskai. Proof of the strong subadditivity of quantum-mechanical entropy. Journal of Mathematical Physics, 14:1938–1941, 1973. doi: 10.1063/1.1666274. 18,62,77 [26] Armin Uhlmann. Relative entropy and the wigner–yanase–dyson–lieb concavity in an interpolation theory. Communications in Mathematical Physics, 54:21–32, 1977. doi: 10.1007/BF01609834. 19 [27] David D. Blanco, Horacio Casini, Ling-Yan Hung, and Robert C. Myers. Relative entropy and holography. Journal of High Energy Physics, 2013(8):60, 2013. doi: 10.1007/JHEP08(2013)060. 19 [28] Ingo Peschel and Viktor Eisler. Reduced density matrices and entanglement entropy in free lattice models. Journal of Physics A: Mathematical and Theoretical, 42:504003, 2009. doi: 10.1088/1751-8113/42/50/504003. 20 [29] Horacio Casini and Marina Huerta. Entanglement entropy in free quantum field theory. Journal of Physics A: Mathematical and Theoretical, 42:504007, 2009. doi: 10.1088/1751-8113/42/50/504007. 20 [30] Benjamin R. Safdi. Exact and numerical results on entanglement entropy in (2+1)-dimensional gauge theories. Journal of High Energy Physics, 2012(12): 5, 2012. doi: 10.1007/JHEP12(2012)005. 21 101 [31] Dean Carmi, Sergey N. Solodukhin, and Sho Yaida. Comments on entanglement entropy in string theory. Journal of High Energy Physics, 2016(4):3, 2016. doi: 10.1007/JHEP04(2016)003. 21 [32] Jason Koeller and Stefan Leichenauer. Holographic proof of the quantum null energy condition. Physical Review D, 94:024026, 2016. doi: 10.1103/PhysRevD. 94.024026. 22 [33] Zohar U. Khandker, Damián Li, and Ming Zhong. Equality conditions of the qnec in free field theories. Journal of High Energy Physics, 2019(1):62, 2019. doi: 10.1007/JHEP01(2019)062. 23 [34] Mitsuo Takesaki. Tomita’s Theory of Modular Hilbert Algebras and Its Applications, volume 128 of Lecture Notes in Mathematics. Springer, 1970. ISBN 9783540052968. 24 [35] J. J. Bisognano and E. H. Wichmann. On the duality condition for a hermitian scalar field. Journal of Mathematical Physics, 17:303–321, 1976. doi: 10.1063/ 1.522898. 24 [36] Dénes Petz. Sufficient subalgebras and the relative entropy of states of a von neumann algebra. Communications in Mathematical Physics, 105:123–131, 1986. doi: 10.1007/BF01212345. 25,75 [37] Aitor Lewkowycz and Juan Maldacena. Generalized gravitational entropy. Journal of High Energy Physics, 2013(8):90, 2013. doi: 10.1007/JHEP08(2013) 090. 27,67 [38] Veronika E. Hubeny, Mukund Rangamani, and Tadashi Takayanagi. A covariant holographic entanglement entropy proposal. Journal of High Energy Physics, 2007(7):62, 2007. doi: 10.1088/1126-6708/2007/07/062. 27 [39] Hugh Osborn. Weyl consistency conditions and a local renormalization group equation for general renormalizable field theory. Nuclear Physics B, 363:486– 526, 1991. doi: 10.1016/0550-3213(91)80030-P. 28,86 [40] W. Driessler. On the type of local algebras in quantum field theory. Communications in Mathematical Physics, 53(3):295–297, 1977. doi: 10.1007/BF01609853. 36 [41] Horacio Casini, Eduardo Testé, and Gonzalo Torroba. Modular hamiltonians on the null plane and the markov property of the vacuum state. Journal of Physics A: Mathematical and Theoretical, 50(36):364001, 2017. doi: 10.1088/ 1751-8121/aa7eaa. 42 [42] Sergey N. Solodukhin. Entanglement entropy, conformal invariance and extrinsic geometry. Physics Letters B, 665:305–309, 2008. doi: 10.1016/j.physletb. 2008.05.071. 42 [43] Aitor Lewkowycz and Juan Maldacena. Generalized gravitational entropy. Journal of High Energy Physics, 2013(8):090, 2013. doi: 10.1007/JHEP08(2013) 090. 44,103 102 [44] Herbert Federer. Geometric Measure Theory. Springer, 1969. ISBN 9780387691596. 51,52 [45] Leon Simon. Lectures on Geometric Measure Theory. Centre for Mathematical Analysis, Australian National University, 1983. ISBN: 9780867844033. 51,52 [46] Jason Koeller, Stefan Leichenauer, Adam Levine, and Arvin Shahbazi Moghaddam. Local modular hamiltonians from the quantum null energy condition. Physical Review D, 97(6):065011, 2018. doi: 10.1103/PhysRevD.97.065011. Frequently cited as “Koeller et al. (2019)”. 57 [47] James Simons. Minimal varieties in riemannian manifolds. Annals of Mathematics, 88(1):62–105, 1968. doi: 10.2307/1970551. 58 [48] Manfredo P. do Carmo. Riemannian Geometry. Birkhäuser, 1992. ISBN 9780817641535. 58 [49] Aitor Lewkowycz and Juan Maldacena. Generalized gravitational entropy. In Journal of High Energy Physics Lewkowycz and Maldacena [43], page 090. doi: 10.1007/JHEP08(2013)090. 58 [50] Thomas Faulkner. Bulk emergence and the rg flow of entanglement entropy. Journal of High Energy Physics, 2015(5):033, 2015. doi: 10.1007/JHEP05(2015) 033. 58 [51] William Donnelly and Laurent Freidel. Local subsystems in gauge theory and gravity. JHEP, 09:102, 2016. doi: 10.1007/JHEP09(2016)102. 59,60 [52] Horacio Casini, Marina Huerta, and José A. Rosabal. Remarks on entanglement entropy for gauge fields. Phys. Rev. D, 89:085012, 2014. doi: 10.1103/PhysRevD.89.085012. 59 [53] Tobias H. Colding and William P. Minicozzi. A Course in Minimal Surfaces, volume 121 of Graduate Studies in Mathematics. American Mathematical Society, 2011. ISBN 9780821853233. 63 [54] Daniel L. Jafferis, Aitor Lewkowycz, Juan Maldacena, and S.˜ J. Suh. Relative entropy equals bulk relative entropy. Journal of High Energy Physics, 2016(6): 4, 2016. doi: 10.1007/JHEP06(2016)004. 67 [55] Thomas Faulkner, Álvaro Lewkowycz, and Juan Maldacena. Quantum corrections to holographic entanglement entropy. JHEP, 11:074, 2013. doi: 10.1007/JHEP11(2013)074. 68,69 [56] Ahmed Almheiri, Xi Dong, and Daniel Harlow. Bulk locality and quantum error correction in ads/cft. JHEP, 04:163, 2015. doi: 10.1007/JHEP04(2015)163. 69 [57] Horacio Casini and Marina Huerta. Entanglement entropy of a maxwell field on the sphere. Phys. Rev. D, 97:105019, 2018. doi: 10.1103/PhysRevD.97.105019. 76 [58] Daniel L. Jafferis, Álvaro Lewkowycz, Juan Maldacena, and S. Josephine Suh. Relative entropy equals bulk relative entropy. JHEP, 06:004, 2016. doi: 10. 1007/JHEP06(2016)004. 78 103 [59] Sergey N. Solodukhin. Entanglement entropy, conformal invariance and extrinsic geometry. Physics Letters B, 665:305–309, 2008. doi: 10.1016/j.physletb. 2008.06.074. 79,85 [60] Nima Lashkari, Matthew B. McDermott, and Mark Van Raamsdonk. Gravitational dynamics from entanglement thermodynamics. Journal of High Energy Physics, 2014(4):195, 2014. doi: 10.1007/JHEP04(2014)195. 79 [61] M. Henningson and K. Skenderis. Holographic weyl anomaly. Journal of High Energy Physics, 1998(7):23, 1998. doi: 10.1088/1126-6708/1998/07/023. 85 [62] Ian Jack and Hugh Osborn. Analogs for the ctheorem in higher dimensions. Nucl. Phys. B, 343:647–688, 1990. doi: 10.1016/0550-3213(90)90584-Z. 86 [63] Damiano Anselmi, Joshua Erlich, Daniel Z. Freedman, and Andrea A. Johansen. Positivity constraints on anomalies in supersymmetric gauge theories. Phys. Rev. D, 57:7570–7588, 1998. doi: 10.1103/PhysRevD.57.7570. 87 [64] Horacio Casini. Universal area terms in entanglement entropy. SciPost Phys., 11:056, 2021. doi: 10.21468/SciPostPhys.11.3.056. 89 [65] P. V. Buividovich and M. I. Polikarpov. Numerical study of entanglement entropy in su(2) lattice gauge theory. Nuclear Physics B, 802:458–474, 2008. doi: 10.1016/j.nuclphysb.2008.04.024. 91 [66] Jan de Boer, Erik Verlinde, and Herman Verlinde. On the holographic renormalization group. Journal of High Energy Physics, 2000(8):3, 2000. doi: 10.1088/1126-6708/2000/08/003. 91 [67] Huzihiro Araki. Relative entropy of states of von neumann algebras. Publications of the Research Institute for Mathematical Sciences, 11:809–833, 1976. doi: 10.2977/prims/1195199390. 96 104