Submitted:
26 October 2025
Posted:
28 October 2025
You are already at the latest version
Abstract
Keywords:
1. Introduction
1.1. A Single Yardstick
1.2. Two Structural Principles
1.3. Hawking as an Admissible Channel
1.4. What This Buys
- formalize the DSFL kinematics (interchangeability, R, admissibility) and prove the global/exterior DPIs;
- derive a causal “no–relay’’ barrier at the horizon and a Lyapunov (ringdown) envelope for ;
- model Hawking ticks as admissible channels, reconciling local thermality with stepwise contraction;
- show how a one–budget convention (probability share ) encodes “no duplication of description’’ while allowing redistribution and long–range correlations; and
- spell out falsifiable diagnostics (projection+DPI checks, semi–log ringdown slopes, relay toggles, and radiation correlation structure) that do not depend on any microscopic island model.
1.5. Roadmap
2. DSFL in Two Pages (Self-Contained Primer for New Readers)
2.1. Common Comparison Geometry.
2.2. Interchangeability (Calibration) Maps.
2.3. Residual of Sameness.
2.4. Admissible (Physically Allowed) Updates.
2.5. Data–Processing Inequality (DPI) in One Line.
2.6. One-Budget Convention (No Duplication of Description).
2.7. Dual–Scale Feedback (Immediate Local Loop, Slow Nonlocal Relay).
2.7.1. Clock-Neutrality and Intrinsic DSFL-Time.
2.8. What in DSFL Resolves the Paradox (Concise, Technical Summary)
2.8.1. Core Idea.
- Replace ‘‘information’’ by the calibrated residual of samenessWhat this does: Puts the statistical blueprint s (sDoF) and the physical response p (pDoF) in the same Hilbert geometry and measures a single, objective mismatch. Why that helps: Semiclassical evolution can be proven to contract R. EFT controls R—not a marginal von Neumann entropy. The traditional contradiction arose from constraining the wrong quantity.
-
Admissibility ⇒ a one-line DPI for R (global and exterior).Statement: For any physically allowed step with and ,Paradox mapping:
- (U) Unitarity: is nonincreasing (global DPI).
- (S) Semiclassicality: any exterior coarse–graining/channel composition cannot increase .
- (H) Thermality: local thermal marginals are compatible with DPI because the constraint is on R, not on marginal entropy spectra.
-
Dual–scale feedback with a causal ceiling at the horizon.Statement: The slow, nonlocal (memory) loop has retarded support and cannot relay calibrated content across the event horizon; only the immediate (local) dissipative loop acts outside. Consequence: The exterior residual obeys a Lyapunov (ringdown) envelope with slope set by the least–damped exterior mode; no “revival of information’’ from behind the horizon is required or allowed. Paradox mapping: Preserves (S) and (“no drama”) simultaneously—no illegal export from the interior is needed for purification.
2.8.2. Bottom–Line “Solve’’ in One Sentence.
2.9. DSFL Resolution of the Black–Hole Information Paradox
2.10. 1) Admissibility ⇒ a Hilbertian DPI for R (global and exterior).
2.11. 2) Immediate loop ⇒ exterior Lyapunov (ringdown) envelope.
2.12. 3) Horizon enforces a causal no–relay.
2.13. 4) Hawking steps are admissible and –contractive (stepwise DPI).
2.14. 5) One–budget law: no duplication of statistical content; purification via correlations.
2.15. Clock–Neutral Comparison (Intrinsic DSFL–Time).
2.16. Bottom Line.
3. The Black–Hole Information Paradox in the DSFL Framework
3.1. Standard Formulation (Minimal Axioms)
- (A1)
- Unitarity. Quantum dynamics of an isolated system is unitary; equivalently, the global von Neumann entropy is conserved. For a pure initial state forming and evaporating a black hole, the combined state of “radiation ∪ exterior ∪ interior” remains pure at all times. If evaporation completes, the final radiation state must be pure (up to negligible corrections) [26,28].
- (A2)
- Semiclassical exterior EFT. In regions of sub–Planckian curvature outside (and near) the horizon, effective QFT on a fixed background accurately describes local physics. In Hawking’s calculation the exterior state on late–time slices factors as near–thermal radiation entangled with partners behind the horizon, yielding a thermal flux at leading order [21,25,26,27].
- (A3)
- No drama at the horizon. Regularity of the short–distance state in a freely falling frame (Hadamard condition) implies that an infaller encounters vacuum–like correlations at the horizon; i.e., the horizon is not a special locus for Planck–scale excitations (the equivalence principle) [27].
3.2. DSFL Kinematics (Sector–Neutral Observable)
3.3. One–Budget Convention (No Duplication of Description).
3.3.1. Single Statistical Prototype and Share Field (Canonical Factorization).
3.3.2. Exclusivity and Identicality.
- Exclusivity. There is only one statistical species; any “split’’ is a reweighting of via (17), never a duplication .
- Identicality. Wherever the prototype is presented, it is the same calibrated object, i.e. identical up to :Thus calibration and admissible evolution commute and do not change the species.
3.3.3. Admissible budget dynamics: conservation, redistribution, and DPI–compatibility.
3.3.4. Discrete and Continuous Budget Evolution (Kinetic Form).
3.3.5. “Burst of Sameness’’ and Post–Burst Partition Without Duplication.
3.3.6. Causal Relay Limits (Finite–Speed Budget Transport).
3.3.7. Entanglement as Coordinated Reassignment Across a Cut.
3.3.8. No–Cloning and No–Broadcasting as Budget Constraints.
3.3.9. Diagnostics and Stability Under Refinement.
- Projection & DPI tests. For any implemented block, check , , and (to tolerance). Violations falsify calibration/admissibility.
- Share accounting. Any reported “split’’ must be traceable to with . Across horizons or cuts, outer counters can increase only by admissible inflow subject to the causal cap (23).
- Refinement stability. If a partition is refined (), admissibility lifts to a block–Markov action and mass conservation persists. DPI is preserved termwise.
- Dual–scale rates. Semi–log slopes estimate fast ( from ) and slow ( from the retarded kernel) contraction rates. Transitions from single–lobe to multi–lobe w indicate redistribution, not duplication.
3.3.10. Summary.



4. Interpretation and Structure (Expanded).
4.1. Block–Diagram View (Immediate vs. Slow Loop).
4.2. Energy Identity and a Lyapunov Functional with Memory.
4.3. Sufficient Conditions for Exponential Decay.
4.4. Frequency–Domain Accretivity and Resolvent Bounds.
4.5. Horizon Truncation and Causal Support.
4.6. Discrete–Time Analogue (Pipelines of Admissible Steps).
4.7. Robustness to Reparametrization (Clock–Neutrality).
4.8. Edge Cases and Rates.
4.8.1. Causal Ceiling (Support and Domain of Dependence).
4.9. Remarks.
4.9.1. Exterior Reduction and Ringdown Envelope.
4.10. Nonzero Exterior Memory .
4.10.1. Two Remarks.
4.10.2. Summary.
5. Hawking Channel as an Admissible Map
5.1. Open–System Realization and Nonexpansiveness.
5.2. Contractive Envelope from Exterior Decay (Ringdown).
5.2.1. Thermal Marginals vs. Correlations.
5.2.2. Page Curve and Islands (Global Consistency).
5.2.3. Summary (Expanded).
6. Where Does the “Information’’ Go?—A DSFL Account in Detail
6.1. Global Unitarity: Information Is Never Destroyed.
6.2. Early Times (Pre–Page): Information Is Behind the Horizon and in Exterior–Interior Correlations.
- decreases stepwise by DPI (Hawking tick is admissible) and follows a Lyapunov envelope set by red–shift/QNMs.
- The “where’’ of information is not an increase of any exterior misfit: it is the pattern of cross–blocks (exterior↔interior) that are invisible to a single local marginal but visible to joint measurements.
6.3. Around and After the Page Time: Information Leaks into Radiation–Radiation Correlations.
- The observable that is constrained remain the local/exterior residuals and windowed ; these continue to decrease by DPI and ringdown.
- Purification is achieved by a reorganization of correlations: the cross–blocks shift from exterior–interior to early–late radiation (or, in semiclassical gravity, by including “island’’ degrees in the effective radiation algebra). No local misfit needs to rise.
6.4. Circuit Picture (Entanglement Swapping) Consistent with DSFL.
6.5. No Drama vs. Monogamy: Why Local Thermality Is Not a Problem Here.
6.6. One–Budget Accounting: No Duplication, Only Redistribution.
- There is no cloning of description; the blueprint is a single prototype with reweighted shares.
- Any “gain’’ of exterior counters must come from admissible inflow before horizon formation or from correlations within the exterior/radiation channel—never from minting new sDoF behind the horizon (Prop. 4).
6.7. Where to Look in Data (Operational Meaning).
6.8. Bottom Line.
7. Form of the Paradox in DSFL Variables (What Is Actually Constrained)
7.1. What Is Actually Proved (and Why This Wins).
- Causal throttling of the slow loop. In the dual–scale Volterra law , the memory M has null/timelike support and cannot relay across the horizon; hence the exterior slow loop vanishes and only the immediate dissipative loop acts outside (Sec. “Dual–scale feedback and the causal ceiling”). This is a purely causal, sector–neutral statement (no islands needed) [1,2,9].
- Compatibility with thermality and the Page curve. The Hawking tick is CPTP/unital in the Heisenberg picture, hence nonexpansive in and satisfies quantum DPI for contractive divergences [7,12]. Local KMS thermality of marginals is thus compatible with stepwise decrease of ; purification can (and in modern resolutions does) ride on correlations (early/late radiation, or island saddles) without contradicting the contraction of any exterior functional [3,4,5,6].
7.2. Resolution Template: Statements with Proofs/Sketches
7.2.1. Why This Resolves the Tension.
7.2.2. What Is the Decisive, Testable Win (and What It Proves).
- Shift to the right observable. The paradox arose by treating marginal entropies as the constrained quantity. DSFL identifies the actual semiclassical constraint as the calibrated –misfit :for every admissible step (firm nonexpansiveness/orthogonal projections in Hilbert space) [8]. This one–line DPI proves (i) global nonincrease of , (ii) local nonincrease of R for any exterior region, and—combined with known exterior decay estimates—(iii) an explicit exponential envelope for (ringdown) [10,11,15,16]. These are hard theorems about a quadratic functional, not assumptions about entropies.
7.2.3. What This Buys Empirically/Theoretically.
- Empirical envelopes. The semi–log slope of any exterior –residual aligned with the calibration must be negative and asymptotically linear during ringdown; no admissible processing can increase it. This is a falsifiable prediction that depends only on exterior geometry and the least–damped QNM/red–shift gap [10,11].
- Compatibility with islands without committing to a model. DSFL’s DPI and causal throttling are agnostic to the microscopic island mechanism; they constrain any candidate completion to respect contraction in the comparison geometry while relocating correlations—exactly what island saddles implement [5,6].
7.2.4. Bottom Line (Winning Detail).
7.3. What Can Be Tested (Falsifiability Within DSFL)
- DPI tests (projection fidelity + data processing). Fix a comparison geometry and a calibration with , . For any implemented exterior coarse–graining (detector pipeline, Bondi/null averaging, near–horizon filtering) with statistical partner , verify both:Operationally: construct on a held–out set, apply the pipeline, recompute R, and confirm nonincrease to tolerance (with uncertainty quantification for measurement noise). Failure falsifies either admissibility ( not –nonexpansive) or the calibration [8, Chs. 1–4]. When is a physical CPTP step (Heisenberg unital/CP), –contractivity follows from Stinespring/Kraus and quantum DPI [7,Sec. 2.3], [12, Chs. 2–3].
- Hawking–tick admissibility (Choi/Kadison checks). If a channel model for a “tick’’ is available (e.g. from a surrogate map in numerics or a reduced instrument model), validate unital CP by checking positivity of the Choi matrix and . Then test –nonexpansiveness:and Kadison–Schwarz [19,20]. Pass implies (30); fail falsifies the admissible–tick hypothesis.
- Ringdown slopes (Lyapunov envelope & QNMs). Compute the exterior residual from numerical spacetimes (e.g. perturbations of Schwarzschild/Kerr) and plot . DSFL predicts a straight–line envelopewith set by exterior coercivity (red–shift) and the least–damped quasinormal mode. Compare the fitted slope (with CIs) to analytical/semianalytical predictions [10,11,15,16]. Persistent departure (nonlinear semi–log trend or incompatible slope) falsifies either the immediate–loop coercivity or the calibration.
- No relay across the horizon (causal ceiling for the slow loop). Evolve the calibrated mismatch via a two–loop Volterra integrator,with supported on null/timelike separations (retarded Green’s function). Form a trapped region and an exterior tube U. Fit the cross–kernel contribution from synthetic data with the relay term toggled on/off; the DSFL ceiling requiresso that the exterior reduces to the dissipative loop () [1,2,9]. A nonzero fitted relay across the trapped surface contradicts causality of M.
- Budget mass–preservation (one–budget Markov test). Under with , verify that the induced statistical update is Markov (mass–preserving) on shares:and that the decomposition remains normalized under block–Markov action. Any systematic drift of falsifies the one–budget hypothesis.
-
Radiation correlations (thermal marginals, structured cross–blocks). Partition the Hawking outflow into time–windows/batches and compute:
- (a)
- Local marginals: single–batch reduced states are (near) KMS/thermal relative to the exterior generator [4].
- (b)
- Cross–correlations: multi–batch correlators (mutual informations, cross–covariances) carry the blueprint/response pairing while each local residual contracts:This pattern—thermal local marginals + structured cross–blocks—is exactly what admissible CP, unital steps plus global admissibility allow and mirrors island–based Page–curve resolutions [4,5,6]. Persistent local DPI–violations falsify admissibility; vanishing cross–blocks falsify global pairing.
- Clock–neutrality (reparametrization invariance). Recompute under distinct but standard time slicings (e.g. Boyer–Lindquist t, Eddington–Finkelstein u) and confirm that monotonicity and the semi–log envelope slope (after Jacobian rescaling) are invariant:Failure indicates that the observed contraction is an artifact of parametrization rather than a DSFL invariant.
- Subspace–angle (calibration–quality) bound. Estimate the Friedrichs angle between and from orthonormal bases via the largest singular value of . Verify the one–step contraction lower bound(cf. Prop. 5). Persistent failure implies either misdeclared calibration or a nonorthogonal projection pipeline masquerading as .
7.3.1. Geometric Context and Operational Meaning of the Subspace–Angle Bound
7.3.2. Workflow and Diagnostics.
- Calibrate once, test many. Choose and fix ; verify and to within tolerance (orthogonal conditional expectations in [7]).
- Contractivity dashboards. For every map in the pipeline (numerics or experiment), record with CIs; the DPI requires [8].
- Relay toggles. Re–run with M deactivated inside ; the fitted cross–kernel must be statistically null.
- Radiation structure. Publish single–window spectra (KMS tests) alongside cross–window correlation matrices; check that R contracts per window while multi–window structure persists [4].
7.3.3. Why This Is a Strong Falsifiability Package.
7.4. Concluding Discussion
- Hilbert–space DPI for R. For every admissible pair , R is nonincreasing. Exterior residuals therefore cannot be created by tuning, gluing, or counting: .
- Exterior Lyapunov envelope. When the exterior admits a coercivity margin (e.g. red–shift stability or quasinormal mode control), the residual satisfies an exponential envelope , so semi–log plots of exhibit a straight–line ringdown slope determined by the least–damped mode.
- Causal “no–relay’’ across the horizon. The slow nonlocal loop has null/timelike support and thus cannot transmit calibrated content from the trapped region into the exterior domain of dependence; beyond horizon formation the exterior is governed by the local envelope alone.
- Hawking channel is admissible. Treating the Hawking step as an admissible exterior map implies stepwise nonincrease of R during evaporation. Local thermality of marginals is compatible with this; microstate information can remain encoded in cross–correlations of the radiation without increasing any exterior calibrated mismatch.
- One–budget law (no duplication). With , the statistical share is globally conserved () and can be reweighted but not created. “Information’’ in the strict DSFL sense is sameness (blueprint–response pairing); there is no hidden stock to be mined over the horizon, only redistribution and causal throttling.
8. Acknowledgements
9. Author’s Note.
10. Declaration of Generative AI and AI–Assisted Technologies in the Writing Process
11. Funding.
12. Competing Interests.
13. Data and Code Availability.
Appendix A. Notation
| Symbol | Type / Domain | Meaning / Assumptions |
| Spaces and geometry | ||
| Hilbert space | Comparison geometry for both channels; inner product , norm . | |
| Linear space | Statistical channel space (e.g., vacuum/constraint objects). | |
| Closed subspace | Physical channel space (e.g., observables/fields inside ). | |
| Projector | Metric projection onto the admissible statistical subspace; encodes statistical gauge. | |
| Channels and maps | ||
| State (stat.) | Statistical channel. In one-budget model: , , . | |
| State (phys.) | Physical channel. | |
| Linear map | Interchangeability (calibration/embedding) of s into . | |
| Linear map | Statistical representative of p; satisfies . | |
| Linear map | Calibration operator (units/indices/gauge); often . | |
| Interchangeability identities | ||
| Identity | Pushing p to then back gives p. | |
| Identity | Pushing s to then back gives the projected s. | |
| Residuals (mismatch measures) | ||
| Scalar | Physical-side residual: . | |
| Scalar | Statistical-side residual: . | |
| Scalar | Canonical residual (often ). | |
| Scalar | Differential residual (e.g., ). | |
| Propagation and DSFL parameters (optional, when dynamics are used) | ||
| Element of | Residual vector in . | |
| Operator on | Dissipative/elliptic part (Dirichlet/Lichnerowicz/constitutive). | |
| g | Element of | Controlled remainder (lower orders, background drift). |
| Scalar | Gap/coercivity constant: . | |
| Scalar | Remainder bound: . | |
| Scalar | DSFL rate in (when dynamics are present). | |
| Angles and subspace geometry | ||
| Subspaces of | Physical subspace and calibrated statistical range. | |
| Projectors | Orthogonal projectors onto U and V. | |
| Angle | Friedrichs angle: . | |
| Matrices/bases | Orthonormal bases spanning U and V; CS/SVD: , . | |
| Admissible (“entanglement-like”) redistribution | ||
| Linear map | Statistical operation (Markov/coherent/CPTP marginal). | |
| Linear map | Physical operation (contractive in ). | |
| Intertwining | Identity | , . |
| Contractivity | Inequality | , . |
| Residual monotonicity | Inequality | . |
| One-budget (statistical resource) model | ||
| Fixed template | Global statistical prototype (primordial sameness), normalized. | |
| Nonnegative weight | Share field, ; . | |
| Kernel | Markov kernel: , ; preserves . | |
| Budget/causality constraints | ||
| Counter | Local complexity/effective rank/energy counter; monotone & subadditive. | |
| Speed | Carrier/relay speed (e.g., wave speed, Lieb–Robinson velocity). | |
| Length | Correlation diameter/interaction range. | |
| Causal ceiling | Bound | for a moving volume . |
| Sector shorthands (used in mini-cases) | ||
| PDE | — | , , Helmholtz split , Poincaré . |
| OA/QMS | — | GNS space; conditional expectation (orthogonal projector). |
| OU/free | — | , covariance , gap . |
| Constants frequently used | ||
| Scalar | Uniform ellipticity margin (PDE). | |
| Scalars | Poincaré/spectral constants (domain/semigroup). | |
| Scalar | Hamiltonian/spectral gap (OU/free field). | |
| Scalars | Coercivity/remainder (DSFL template). | |
| Scalar | Dissipation rate ( when used dynamically). | |
Appendix A.1. From sDoF/pDoF to Interchangeability, R, and the Fast Loop
Appendix A.1.1. Step 1: What Are sDoF and pDoF?
- Statistical degrees of freedom (sDoF): the blueprint of what the system should present (model/prior/target features).
- Physical degrees of freedom (pDoF): the response actually realized by the device/field/dynamics, embedded in the comparison Hilbert space .
Appendix A.1.2. Step 2: Interchangeability (calibration) aligns sDoF and pDoF pointwise.
Appendix A.1.3. Step 3: One Observable—the Residual of Sameness.
Appendix A.1.4. Step 4: Why the “Fast Loop” in the Dual-Scale Feedback is immediate.
- The fast loop is the immediate “local correction’’: at each x (or each mode), the system can push toward because both live side-by-side in via the calibration. This locality is guaranteed by the interchangeability identities (A1) and the fact that is a sum of local (orthogonal) squared errors.
- The slow loop (memory integral) carries nonlocal corrections: it pools mismatch from other points (or past times) and relays it with a causal kernel M. This loop cannot respond “immediately everywhere” because it respects a finite signal/relay speed (causality). Hence it is inherently delayed/throttled.
Appendix A.1.5. Step 5: Consequences for Monotonicity and Rates.
- Data processing (no inflation). Any admissible update that intertwines the calibration and is nonexpansive in obeysThis holds stepwise and pointwise because orthogonal projection in preserves the local decomposition.
- Lyapunov envelope. If the fast loop has a coercivity margin (and the remainder is lower-order), thenThis semi-log straight-line decay is the direct reflection of immediate, pointwise contraction enabled by interchangeability.
Appendix A.1.6. Bottom Line.
Appendix B. Explaining the Elements: sDoF/pDoF, Interchangeability, and the Residual of Sameness R
Appendix B.1. Objects, Maps, and One Geometry
Appendix B.1.1. One Comparison Space.
- a statistical blueprint space (sDoF), and
- a physical response space (pDoF).
Appendix B.1.2. Interchangeability (Calibration).
Appendix B.1.3. Residual of Sameness.
Appendix B.1.4. Admissible (Physically Allowed) Updates.
Appendix B.2. One–budget convention (no duplication of description)
Appendix B.2.1. Step 4: Why the “Immediate Loop’’ Is Immediate (and How Interchangeability Makes It Local)
Appendix B.3. Interchangeability conditions (calibration).
Appendix B.4. When Is the Loop Immediate? (Locality/Diagonalizability of K imm ).
- Modewise (diagonal) case. There exists an orthonormal basis and eigenvalues with . Writing gives
- Coordinatewise (local operator) case. In a spatial representation of (e.g. ),with a local differential operator (e.g. gradient) and a pointwise constitutive tensor (uniform ellipticity gives coercivity). Then updates e from its own local features at each point—no spatial integration over remote data is needed.

Appendix B.5. Why Interchangeability Matters.
- The residual is exactly the squared energy of e (A10); there is no hidden coupling to other “gauges’’ or spaces.
- A local (or diagonal) reduces epointwise/modewise, because p and are co-located in ; the loop never needs to “translate’’ between spaces to know which way to push.
- Orthogonal projection identities in give the one-line DPI for any admissible processing between steps, complementing the continuous-time decay (A12) [8].
Appendix B.6. Two Canonical Realizations (Educative Sketches).
-
Operator–algebraic (GNS) setting.Work in for a faithful state . Take as the -preserving conditional expectation and the inclusion; then , [7,14,34,35]. Choose as the positive part of a symmetric Dirichlet form (e.g. the modular/carré-du-champ generator). The energy identity (A11) is the standard Dirichlet dissipation; coercivity gives (A12).
-
PDE (gradient–channel) setting.Let , , and , with and local (e.g. ∇). Then , and a Poincaré/Helmholtz inequality yields (A12) with .
Appendix B.7. Summary.
Appendix B.8. Propagation Identities and Lyapunov Envelopes
Appendix B.8.1. Residual Identity (Sector–Specific).
Appendix B.8.2. Operational Arrow.
Appendix B.9. Minimal Usage (Practitioner Checklist)
- Pick the geometry: choose so both channels embed naturally.
- Calibrate: construct with (A3).
- Report R and : track and its semi–log slope; compare design choices by .
Appendix B.10. Remarks (Existence, Uniqueness, Robustness)
- Robustness of DPI. Any with and intertwining survives composition and limits; DPI extends to piecewise–constant and time–varying admissible flows.
Appendix C. Generic Two–Channel Application Template
| 1 | |
| 2 | In information–processing and open–system settings, may be a contraction induced by a coarse–graining, a counting/projection, or a CPTP/Markov map; in –geometries such maps are nonexpansive by Kadison–Schwarz and orthogonality of conditional expectations [7,14]. Nonexpansiveness of metric projections and averaged operators is standard in convex analysis [8]. |
| 3 |
References
- Hawking, S.W.; Ellis, G.F.R. The Large Scale Structure of Space–Time; Cambridge University Press: Cambridge, 1973.
- Wald, R.M. General Relativity; University of Chicago Press: Chicago, 1984.
- Giddings, S.B. Nonviolent information transfer from black holes: a field theory parametrization. Physical Review D 2013, 88, 064023. [Google Scholar] [CrossRef]
- Harlow, D. Jerusalem Lectures on Black Holes and Quantum Information. Reviews of Modern Physics 2016, 88, 015002. [Google Scholar] [CrossRef]
- Penington, G. Entanglement Wedge Reconstruction and the Information Paradox. Journal of High Energy Physics 2020, 2020, 002. [Google Scholar] [CrossRef]
- Almheiri, A.; Hartman, T.; Maldacena, J.; Shaghoulian, E.; Tajdini, A. The Island Formula for the Entanglement Entropy. Journal of High Energy Physics 2020, 2020, 013. [Google Scholar] [CrossRef]
- Ohya, M.; Petz, D. Quantum Entropy and Its Use; Texts and Monographs in Physics, Springer: Berlin, 1993.
- Bauschke, H.H.; Combettes, P.L. Convex Analysis and Monotone Operator Theory in Hilbert Spaces, 2 ed.; CMS Books in Mathematics, Springer: Cham, 2017. [CrossRef]
- Gripenberg, G.; Londen, S.O.; Staffans, O. Volterra Integral and Functional Equations; Cambridge University Press: Cambridge, 1990.
- Dafermos, M.; Rodnianski, I. The red-shift effect and radiation decay on black hole spacetimes. Communications on Pure and Applied Mathematics 2009, 62, 859–919. [Google Scholar] [CrossRef]
- Berti, E.; Cardoso, V.; Starinets, A.O. Quasinormal modes of black holes and black branes. Classical and Quantum Gravity 2009, 26, 163001. [Google Scholar] [CrossRef]
- Breuer, H.P.; Petruccione, F. The Theory of Open Quantum Systems; Oxford University Press, 2002.
- Petz, D. Monotonicity of Quantum Relative Entropy. Reviews in Mathematical Physics 2003, 15, 79–91. [Google Scholar] [CrossRef]
- Takesaki, M. Theory of Operator Algebras II; Vol. 125, Encyclopaedia of Mathematical Sciences, Springer: Berlin, 2003.
- Dafermos, M.; Rodnianski, I. A new physical-space approach to decay for the wave equation, 2010. Preprint; see also arXiv:0910.4957.
- Dafermos, M.; Rodnianski, I. The red-shift effect and radiation decay on black hole spacetimes. Communications on Pure and Applied Mathematics 2010, 62, 859–919. [Google Scholar] [CrossRef]
- Stinespring, W.F. Positive Functions on C*-Algebras. Proceedings of the American Mathematical Society 1955, 6, 211–216. [Google Scholar]
- Kraus, K. General state changes in quantum theory. Annals of Physics 1971, 64, 311–335. [Google Scholar] [CrossRef]
- Kadison, R.V. A generalized Schwarz inequality and algebraic invariants for operator algebras. Annals of Mathematics 1952, 56, 494–503. [Google Scholar] [CrossRef]
- Bhatia, R. Matrix Analysis; Vol. 169, Graduate Texts in Mathematics, Springer: New York, 1997. [CrossRef]
- Unruh, W.G. Notes on black-hole evaporation. Physical Review D 1976, 14, 870–892. [Google Scholar] [CrossRef]
- Lindblad, G. Completely Positive Maps and Entropy Inequalities. Communications in Mathematical Physics 1975, 40, 147–151. [Google Scholar] [CrossRef]
- Uhlmann, A. Relative entropy and the Wigner–Yanase–Dyson–Lieb concavity in an interpolation theory. Communications in Mathematical Physics 1977, 54, 21–32. [Google Scholar] [CrossRef]
- Cover, T.M.; Thomas, J.A. Elements of Information Theory, 2 ed.; Wiley Series in Telecommunications and Signal Processing, Wiley: Hoboken, NJ, 2006. [CrossRef]
- Hawking, S.W.; King, A.R.; McCarthy, P.J. A New Topology for Curved Space-time which Incorporates the Causal, Differential, and Conformal Structures. Journal of Mathematical Physics 1976, 17, 174–181. [Google Scholar] [CrossRef]
- Hawking, S.W. Breakdown of Predictability in Gravitational Collapse. Physical Review D 1976, 14, 2460. [Google Scholar] [CrossRef]
- Wald, R.M. Quantum Field Theory in Curved Spacetime and Black Hole Thermodynamics; University of Chicago Press, 1994.
- Page, D.N. Average Entropy of a Subsystem. Physical Review Letters 1993, 71, 1291–1294. [Google Scholar] [CrossRef]
- Page, D.; Wootters, W. Evolution without evolution Dynamics described by stationary observables. Physical Review D 1983, 27, 2885. [Google Scholar] [CrossRef]
- Almheiri, A.; Marolf, D.; Polchinski, J.; Sully, J. Black Holes: Complementarity or Firewalls? Journal of High Energy Physics 2013, 2013, 062. [Google Scholar] [CrossRef]
- Mathur, S.D. The Information Paradox: A Pedagogical Introduction. Classical and Quantum Gravity 2009, arXiv:hep-th/0909.1038]26, 224001. [Google Scholar] [CrossRef]
- Susskind, L.; Thorlacius, L.; Uglum, J. The Stretched Horizon and Black Hole Complementarity. Physical Review D 1993, 48, 3743–3761. [Google Scholar] [CrossRef]
- ’t Hooft, G. Dimensional reduction in quantum gravity. arXiv preprint 1993, [gr-qc/9310026].
- Takesaki, M. Conditional Expectations in von Neumann Algebras. Journal of Functional Analysis 1972, 9, 306–321. [Google Scholar] [CrossRef]
- Tomiyama, J. On the Projection of Norm One in W*-Algebras. Proceedings of the Japan Academy 1957, 33, 608–612. [Google Scholar] [CrossRef]
- Bauerschmidt, R.; Brydges, D.C.; Slade, G. Introduction to a Renormalisation Group Method; Vol. 2242, Lecture Notes in Mathematics, Springer, 2021.
- Nachtergaele, B.; Sims, R. Lieb–Robinson bounds and the exponential clustering theorem. Communications in Mathematical Physics 2006, 265, 119–130. [Google Scholar] [CrossRef]
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content. |
© 2025 by the authors. Licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license (http://creativecommons.org/licenses/by/4.0/).