Preprint
Article

This version is not peer-reviewed.

From Marginal Entropy to Calibrated Sameness: Reframing the Black-Hole Information Paradox with DSFL

Submitted:

26 October 2025

Posted:

28 October 2025

You are already at the latest version

Abstract
We recast the black-hole information problem in a single comparison geometry where “information” is an operational, quadratic observable: the calibrated residual of sameness between a statistical blueprint and the physical response. Two structural principles drive the analysis. First, admissible evolutions—those that respect the calibration and are nonexpansive in the comparison norm—obey a Hilbert-space data-processing inequality, so the residual cannot increase under physically allowed coarse-grainings or channel compositions. Second, a dual-scale feedback law separates immediate local dissipation from slow causal relay; horizons throttle the slow loop, yielding a Lyapunov (ringdown) envelope for the exterior residual. Modeling Hawking emission as an admissible channel gives stepwise nonincrease of the exterior residual, compatible with locally thermal flux, while global purification proceeds via correlations (early/late radiation or island wedges). The paradox dissolves when we track what semiclassics actually constrains—calibrated sameness—rather than marginal entropy. We prove global and exterior inequalities, a causal “no-relay” barrier, a ringdown envelope, and propose falsifiable diagnostics.
Keywords: 
;  ;  ;  ;  ;  ;  ;  ;  ;  

1. Introduction

Black–hole evaporation brings three venerable principles into sharp relief: global quantum evolution is (effectively) unitary; semiclassical effective field theory (EFT) is accurate at low curvature outside the horizon; and infalling observers see “no drama” at the horizon [1,2,3,4]. Hawking’s calculation, however, makes the exterior flux locally thermal, and when one tracks the von Neumann entropy of the radiation marginal it appears to grow monotonically—in tension with the unitary Page curve unless one sacrifices semiclassics or horizon regularity. Recent island/replica computations recover a unitary Page curve within semiclassical gravity by reassigning entanglement wedges [5,6], but they still leave open a clean, channel–level statement of what semiclassics guarantees and what must be relegated to correlations.

1.1. A Single Yardstick

This paper proposes and develops a minimal, sector–neutral yardstick for “information” that lives where both the statistical description and the physical response can be compared: a single Hilbert geometry ( H , · , · ) . We embed a statistical blueprint channel S (sDoF) and a physical response channel P H (pDoF), linked by interchangeability (calibration) maps
I : S P , J ( + ) : P S , I J ( + ) = id P , J ( + ) I = P S .
The only observable we track is the calibrated residual of sameness
R ( s , p ) : = p I s H 2 ,
which vanishes iff the device output pis the calibrated image I s of the blueprint. In this language, “information flow’’ is simply the contraction of R.

1.2. Two Structural Principles

(i) Admissibility ⇒ data–processing. A physical update ( Φ ˜ , Φ ) is admissible if it intertwines the calibration and is nonexpansive in H : Φ I = I Φ ˜ , Φ H H 1 . Then
R ( Φ ˜ s , Φ p ) = Φ p I s H 2 p I s H 2 = R ( s , p ) ,
a one–line Hilbertian data–processing inequality (DPI) [7,8]. In particular, no admissible coarse–graining, counting, or channel concatenation can increase the calibrated misfit.
(ii) Dual–scale feedback ⇒ exterior envelope & causal ceiling. When dynamics are present, the calibrated misfit e : = p I s evolves by a universal two–loop law:
e ˙ ( t ) = K e ( t ) 0 t M ( t τ ) e ( τ ) d τ + r ( t ) ,
with a fast local dissipative loop K 0 and a slow nonlocal causal relay M L 1 ( [ 0 , ) ) (the memory kernel) [9]. Horizons throttle the slow loop: the retarded kernel has null/timelike support and cannot relay calibrated content across the event horizon [1,2]. The exterior then closes to e ˙ U = K e U + r U , so the exterior residual R out ( t ) = e U ( t ) H 2 obeys a Lyapunov envelope with a ringdown slope set by the least–damped mode (red–shift/QNM) [10,11].

1.3. Hawking as an Admissible Channel

A single “Hawking tick’’—pair creation near the horizon followed by tracing the interior partner—is a completely positive, unital step in the Heisenberg picture (Stinespring/Kraus), hence nonexpansive in the natural L 2 geometry [7,12]. Modeled as ( Φ ˜ Hawk , Φ Hawk ) , it satisfies (2) stepwise: R ( Φ ˜ Hawk s , Φ Hawk p ) R ( s , p ) . Local KMS thermality of exterior marginals is compatible with this DPI; microstate dependence can reside in correlations (early/late radiation, or island wedges) without forcing any increase of exterior R [3,4,5,6].

1.4. What This Buys

The usual trilemma (unitarity, semiclassical exterior EFT, no drama) is a tension about the wrong observable: marginal entropy of subsystems. In contrast, semiclassics proves monotone contraction of a single quadratic functional R (globally and outside the horizon), and, with red–shift control, an explicit exterior decay envelope. Purification is then necessarily a statement about correlations, not about local residuals. In this paper we:
  • 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 R out ;
  • model Hawking ticks as admissible channels, reconciling local thermality with stepwise contraction;
  • show how a one–budget convention (probability share w s 0 ) 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

Section 2 gives a two–page primer on the comparison geometry, interchangeability, the residual R , and admissibility. sec:bh-info-paradox then states the trilemma and sets the DSFL kinematics, proving a global/exterior Hilbertian DPI and deriving the dual–scale (fast/slow) feedback law with a causal ceiling at the horizon, which yields an exterior Lyapunov (ringdown) envelope from red–shift/QNM coercivity. Next, in Hawking channel as an admissible map we model each “tick’’ as a Stinespring/Kraus CP–unital step and show stepwise L 2 -nonexpansiveness (with supporting operator–algebra citations), reconcile local KMS thermality with monotone exterior R, and connect to Page/island purification via correlations. The subsection Form of the paradox in DSFL variables restates what is actually constrained (the calibrated misfit R), followed by Resolution template giving stand-alone statements with proofs/sketches (no-inflation, causal throttling, exterior envelope, Hawking admissibility, global DPI). We then provide What can be tested (Section 7.3)—a falsifiability/diagnostics suite—and a geometric add-on (subspace–angle contraction) for calibration quality and per-step guarantees. Appendices include notation and a Generic Two–Channel Application Template for porting the scheme to other sectors. Throughout, the mathematics is deliberately elementary (orthogonal projections, nonexpansive maps in H , Stinespring/Kraus), while the physics enters through causality and established exterior decay mechanisms.

2. DSFL in Two Pages (Self-Contained Primer for New Readers)

Discussions of “information loss” or “purification” often compare quantities that live in different mathematical spaces (fields, states, coarse-grained observables). To reason cleanly about what can or cannot increase under physically allowed operations, we place both sides of the description—statistics and physics— into one Hilbert geometry and measure a single, objective gap. The DSFL claim is deliberately modest: once statistics and physics are co-located in a common geometry, the one observable that semiclassics can provably control is a calibrated L 2 -residual. Everything else (e.g. purification) is delegated to correlations rather than to local marginals.

2.1. Common Comparison Geometry.

Fix a (real or complex) Hilbert space ( H , · , · ) with norm x : = x , x . We embed:
- a statistical blueprint channel S (what the model “asks” for), and - a physical response channel P H (what the system “does”)
in the same  H . This co-location makes comparisons well-typed, Euclidean, and orthogonalizable.

2.2. Interchangeability (Calibration) Maps.

A calibration pair
I : S P , J ( + ) : P S
is required to satisfy
I J ( + ) = id P , J ( + ) I = P S ,
where P S is the orthogonal projector onto the blueprint subspace S H . Equation (3) encodes two-way coherence: pushing a physical response to the blueprint and back is the identity on the physical side; pulling a blueprint to the physical side and back projects to the canonical blueprint subspace. Intuitively, ( I , J ( + ) ) is the calibrated meter that says when “model” and “device” are literally the same object in H .

2.3. Residual of Sameness.

With ( s , p ) S × P we track a single observable—the calibrated misfit
R ( s , p ) : = p I s H 2 0 , R ( s , p ) = 0 p = I s ( perfect match ) .
R is the “thermometer” for sameness: it vanishes iff the physical response is exactly the calibrated image of the blueprint. Because R is purely metric in H , it is invariant under any isometry U : H H with U ( Im I ) = Im I (change of basis, polarization, or coordinates that preserve the calibrated image).

2.4. Admissible (Physically Allowed) Updates.

An update ( Φ ˜ , Φ ) —think “model step” on S and “physical step” on P —is admissible if it satisfies
Φ I = I Φ ˜ ( intertwining of calibration ) and Φ H H 1 ( nonexpansive / contractive in H ) .
The first identity says “do the model step and then calibrate” equals “calibrate and then do the physical step.” The second says the physical step cannot amplify distances in the comparison geometry. Both properties are stable under composition, so sequences and flows of admissible maps remain admissible.

2.5. Data–Processing Inequality (DPI) in One Line.

From (5) and (4):
R ( Φ ˜ s , Φ p ) = Φ ( p I s ) H 2 p I s H 2 = R ( s , p ) .
Thus no admissible evolution can inflate the calibrated residual. This is the core monotonicity we use throughout: it supplies an intrinsic “arrow” independent of coordinates, coarse-graining, or the parametrization of time. In particular, DPI is “clock-neutral”: it holds identically for any ordering of admissible steps and any strictly increasing reparametrization of the evolution parameter.

2.6. One-Budget Convention (No Duplication of Description).

To make “no cloning of description” concrete, we represent the statistical content as a reweighting of a fixed prototype:
s ( · , t ) = w ( · , t ) s 0 , w 0 , w d μ = 1 .
Admissible updates may redistribute the share w (move blueprint weight around) but cannot create new statistical degrees of freedom. This “one stock of sDoF” rule prevents paradoxes driven by hidden double-counting: every apparent “split” in presentation is a partition of the same budget, not the birth of an additional prototype.
Lemma 1
(Budget preservation as a Markov pushforward). Assume the one–budget ansatz s ( · , t ) = w ( · , t ) s 0 with w 0 , w d μ = 1 . If ( Φ ˜ , Φ ) is admissible and Φ ˜ acts locally on w through a linear positive operator T (i.e. Φ ˜ ( w s 0 ) = ( T w ) s 0 ), then T is Markov:
T w 0 , ( T w ) d μ = w d μ = 1 .
Proof. 
Positivity follows from positivity of Φ ˜ . For mass, test against the constant functional induced by J ( + ) I = P S :
( T w ) d μ = 1 , T w = J ( + ) I 1 , T w = J ( + ) ( Φ I 1 ) , w = 1 , w = w d μ ,
using intertwining Φ I = I Φ ˜ and I 1 = 1 after normalization. □
Corollary 1
(No duplication of calibrated content). Under Lemma 1 and Prop. 2, no admissible ( Φ ˜ , Φ ) can map one input budget w to two independent identical budgets w 1 , w 2 with w 1 = w 2 = 1 while preserving the same calibrated content on both outputs. In particular, perfect broadcasting of noncommuting presentations is impossible unless they share a common abelian pointer subalgebra.
Proof. 
Two independent identical full budgets would violate w d μ = 1 (mass creation) or force an isometric duplication of the residual direction, contradicting DPI nonexpansiveness. Broadcasting of noncommuting data would likewise require residual nonincrease for two incompatible marginals simultaneously; this is precluded unless they commute. □

2.7. Dual–Scale Feedback (Immediate Local Loop, Slow Nonlocal Relay).

For dynamics we use a Volterra-type two-loop law for the calibrated mismatch e : = p I s :
e ˙ ( t ) = K imm e ( t ) 0 t M ( t τ ) e ( τ ) d τ + r ( t ) ,
where the immediate loop  K imm e acts locally (modewise or pointwise) in H and M ( · ) 0 captures slow, causal nonlocal relay; r is a small admissible remainder. If K imm is positive (and, when needed, coercive on the exterior), then the energy identity
d d t e ( t ) H 2 = 2 K imm e , e + 2 r , e
gives a Lyapunov envelope once K imm x , x κ x 2 and | r , e | ε e 2 :
R ˙ ( t ) 2 ( κ ε ) R ( t ) R ( t ) e 2 ( κ ε ) ( t t 0 ) R ( t 0 ) .
The slow relay is retarded and, under causal support restrictions, cannot instantaneously spread calibrated content across forbidden domains (e.g. across a horizon), which is the DSFL “no-relay” statement.

2.7.1. Clock-Neutrality and Intrinsic DSFL-Time.

All DSFL conclusions above are invariant under any strictly increasing reparametrization of the evolution parameter: if θ = θ ( t ) , then d R d θ = d R d t d t d θ preserves the sign and thus the monotonicity. A convenient intrinsic clock is
d τ ^ : = 2 κ ( t ) d t d R d τ ^ R ,
so R ( τ ^ ) e ( τ ^ τ ^ 0 ) R ( τ ^ 0 ) has unit slope in semi–log scale, independent of the original time parameter. This fixes a canonical “DSFL-time” for comparing decay rates across settings.
What this buys us. With (3)–(8) in place, everything we claim in the conclusions—no inflation of exterior residuals (DPI), ringdown Lyapunov envelopes driven by the immediate loop, causal “no-relay” across horizons for the slow loop, and the compatibility of local thermality with global purification— follows from standard Hilbert-space geometry (orthogonal projections, contractive maps) and causal support of the memory term. No new entropy axioms are needed; the single observable R serves as the conserved “ledger of sameness.”

2.8. What in DSFL Resolves the Paradox (Concise, Technical Summary)

2.8.1. Core Idea.

In DSFL, the “resolution” is not a new microscopic ingredient but a reformulation that turns the paradox into theorems about the right observable and the right causality constraints. The key moves are:
  • Replace ‘‘information’’ by the calibrated residual of sameness
    R : = p I s 2 .
    What 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 Φ I = I Φ ˜ and Φ H H 1 ,
    R ( Φ ˜ s , Φ p ) = Φ ( p I s ) 2 p I s 2 = R ( s , p ) .
    Paradox mapping:
    • (U) Unitarity:  R tot is nonincreasing (global DPI).
    • (S) Semiclassicality: any exterior coarse–graining/channel composition cannot increase R out .
    • (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 R out ( t ) 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.
Theorem 1
(Exterior Lyapunov envelope). Let e ( t ) : = p ( t ) I s ( t ) P H satisfy
d d t e ( t ) H 2 = 2 K imm e , e H + 2 r ( t ) , e ( t ) H ,
with K imm = K imm * 0 , K imm x , x H κ x H 2 for some κ > 0 , and | r ( t ) , e ( t ) H | ε e ( t ) H 2 with 0 ε < κ . Then
R ˙ ( t ) 2 ( κ ε ) R ( t ) R ( t ) e 2 ( κ ε ) ( t t 0 ) R ( t 0 ) .
Proof. 
Insert the bounds: R ˙ = 2 K imm e , e + 2 r , e 2 κ e 2 + 2 ε e 2 = 2 ( κ ε ) R . Grönwall gives the exponential envelope. □
Proposition 1
(Causal throttling of the slow loop). Let the calibrated mismatch obey a Volterra law
e ˙ ( t ) = K imm e ( t ) 0 t M ( t τ ) e ( τ ) d τ + r ( t ) ,
with M : [ 0 , ) B ( H ) strongly measurable and causal in the sense that M ( t ) vanishes on pairs ( x , y ) whose supports are spacelike separated beyond a finite propagation speed. If U is an exterior world tube and H a trapped region (inside the event horizon), then for t beyond horizon formation,
0 t M U H ( t τ ) e ( τ ) d τ = 0 ,
i.e. the interior-to-exterior block of the memory relay vanishes.
Proof. 
By domain-of-dependence, the future of H does not intersect U along causal curves. The retarded kernel M ( t ) has support only on null/timelike related pairs; hence its block mapping interior histories to the exterior vanishes pointwise in t once U lies outside the future domain of H . The Bochner integral is therefore zero. □

2.8.2. Bottom–Line “Solve’’ in One Sentence.

Move the constraint from marginal entropies (where Hawking thermality creates tension) to the calibrated residual R (which EFT can provably contract), and enforce causality so the slow loop cannot transport sameness across the horizon. Then purification is relegated—correctly—to correlations (early/late radiation or islands), which does not conflict with the monotone decay of any exterior R. Thus (U) unitarity, (S) a semiclassical exterior, and (no drama) horizon regularity become jointly consistent.

2.9. DSFL Resolution of the Black–Hole Information Paradox

The DSFL answer is to replace ill–posed entropic bookkeeping on changing subsystems by a single, calibrated observable that lives where semiclassics actually has control. Concretely, with a fixed calibration pair ( I , J ( + ) ) in a common Hilbert geometry ( H , · , · ) , the “information” we track is the Residual of Sameness
R ( t ) : = p ( t ) I s ( t ) H 2 ,
the squared distance between the physical response p and the calibrated blueprint I s . This leads to four structural theorems and a one–budget law that together remove the paradox.

2.10. 1) Admissibility ⇒ a Hilbertian DPI for R (global and exterior).

A physically allowed step ( Φ ˜ , Φ ) satisfies Φ I = I Φ ˜ and Φ H H 1 . Then the one–line data–processing inequality (DPI) holds:
R ( Φ ˜ s , Φ p ) = Φ p I s H 2 p I s H 2 = R ( s , p ) .
This is pure Hilbert geometry (firmly nonexpansive/projection calculus) [8] and is the L 2 –analogue of quantum DPI for channels and conditional expectations [7,13,14]. It is clock–neutral: monotonicity is invariant under any strictly increasing reparametrization of the evolution parameter.

2.11. 2) Immediate loop ⇒ exterior Lyapunov (ringdown) envelope.

The calibrated mismatch e : = p I s obeys a dual–scale law
e ˙ ( t ) = K imm e ( t ) 0 t M ( t τ ) e ( τ ) d τ + r ( t ) ,
where the immediate generator K imm = K imm * 0 acts locally (modewise or pointwise) in H , M 0 captures slow, retarded relay, and r is small. The exterior energy identity
d d t e out H 2 = 2 K imm e out , e out + 2 r out , e out
together with a coercivity margin K imm x , x κ x 2 and a bounded remainder | r , x | ε x 2 ( 0 ε < κ ) yields the ringdown envelope
R ˙ out ( t ) 2 ( κ ε ) R out ( t ) R out ( t ) e 2 ( κ ε ) ( t t 0 ) R out ( t 0 ) ,
with κ set by red–shift/QNM damping [10,11,15,16]. This is the exterior version of “perturbations die out” expressed for the single quadratic functional R.

2.12. 3) Horizon enforces a causal no–relay.

In (10) the retarded kernel M has null/timelike support. After horizon formation,
0 t M U H ( t τ ) e ( τ ) d τ 0 ,
by domain–of–dependence: no interior→exterior relay is causally permitted [1,2,9]. The exterior hence closes to the immediate loop (plus small remainder) and inherits the Lyapunov envelope (11). No “revival from behind the horizon” is needed or allowed.

2.13. 4) Hawking steps are admissible and L 2 –contractive (stepwise DPI).

A single “tick’’ admits a Stinespring dilation with interior trace, Φ Hawk ( X ) = Tr int V ( X I ) V , so Φ Hawk 2 2 1 (unitary invariance of HS–norm; partial–trace contractivity) and, in Heisenberg form, Kadison–Schwarz holds for unital CP maps [17,18,19,20]. Hence
R ( Φ ˜ Hawk s , Φ Hawk p ) R ( s , p ) ,
compatible with local KMS thermality [1,2,21] and quantum DPI [13,22,23]. Semiclassics therefore proves that exterior R never increases during evaporation.

2.14. 5) One–budget law: no duplication of statistical content; purification via correlations.

Model the statistical content as s ( · , t ) = w ( · , t ) s 0 with w 0 , w = 1 . Admissible updates act by Markov (mass–preserving) transfer on w and are L 2 –nonexpansive on p. Shares can be redistributed and correlated, but no new sDoF are minted (no cloning/broadcasting in this L 2 sense) [7,8,24]. Consequently, the unitary Page curve is realized by the growth of correlations (early/late radiation; islands), while every local/exteriorR monotonically decreases [3,4,5,6].

2.15. Clock–Neutral Comparison (Intrinsic DSFL–Time).

All conclusions are invariant under reparametrization of the evolution parameter. A convenient intrinsic clock is d τ ^ = 2 κ ( t ) d t , for which d R d τ ^ R and R ( τ ^ ) e ( τ ^ τ ^ 0 ) R ( τ ^ 0 ) . This makes semi–log plots universal (unit slope) and emphasizes that DSFL constrains ordering and amount of residual removal, not a particular notion of time.

2.16. Bottom Line.

Shift the constrained quantity from marginal entropies (where Hawking thermality creates tension) to the calibrated L 2 residualR (which EFT can provably contract), and enforce causal no–relay across the horizon. Then: (i) R obeys a global/exterior DPI, (ii) the exterior R has a ringdown envelope set by red–shift/QNMs, (iii) Hawking ticks are stepwise L 2 –contractive, and (iv) purification is realized by correlations—never by a rise of any exterior R. Thus unitarity, a semiclassical exterior, and horizon regularity are jointly consistent.

3. The Black–Hole Information Paradox in the DSFL Framework

3.1. Standard Formulation (Minimal Axioms)

The black–hole information problem is commonly cast as a triad of assumptions that are individually well–motivated but jointly in tension [3,4,25,26,27]:
(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].
Taken together, (A2) predicts that the emitted quanta at each step are (approximately) thermal and maximally entangled with interior partners, so the von Neumann entropy S rad ( t ) of the Hawking radiation grows monotonically during the semiclassical era. Unitarity (A1), however, requires the Page curve: after the “Page time” t Page , S rad ( t ) must decrease and return to zero as evaporation completes, implying that late–time radiation purifies early radiation [29]. Reconciling a monotonically increasing S rad ( t ) from (A2) with the unitary Page curve from (A1) forces at least one assumption to fail. Canonical options are: (i) abandon unitarity (as in Hawking’s original proposal [25,26]); (ii) modify horizon physics (e.g. firewalls [30] or nontrivial microstructure/fuzzballs [31]); (iii) relax semiclassical EFT outside the horizon (e.g. nonlocal effects, complementarity [32,33]). Recent island/replica–wormhole computations recover a unitary Page curve in semiclassical gravity path integrals by including new saddles, suggesting an effective coarse–grained resolution consistent with (A1) while reinterpreting the domain of validity of (A2) and entanglement–wedge assignments [5,6]. These developments refine, but do not obviate, the tension encoded by (A1)–(A3) that any proposed framework (including DSFL) must address.

3.2. DSFL Kinematics (Sector–Neutral Observable)

Let ( H , · , · ) be a (real or complex) Hilbert space that serves as a common comparison geometry for two channels of description: a statistical (“blueprint”) space S and a physical (“response”) space P H . The two channels are linked by a calibration (interchangeability) pair of bounded linear maps
I : S P , J ( + ) : P S , I J ( + ) = id P , J ( + ) I = P S ,
where P S denotes the orthogonal projector onto a closed subspace canonically identified with the statistical range inside S .1
The Residual of Sameness is the sector–neutral, calibrated misfit
R ( s , p ) : = p I s H 2 0 , R ( s , p ) = 0 p = I s .
Thus R vanishes if and only if the physical response p coincides with the calibrated image of the blueprint s in the comparison geometry; being an H –norm, it is invariant under any isometry preserving Im I .
An update is a pair of bounded linear maps ( Φ ˜ , Φ ) acting respectively on S and P .2 We call ( Φ ˜ , Φ )  admissible if it satisfies the intertwining (calibration consistency) and nonexpansiveness conditions
Φ I = I Φ ˜ , Φ H H 1 .
Under (15) the residual obeys a Hilbertian data–processing inequality (DPI):
R ( Φ ˜ s , Φ p ) = Φ ( p I s ) H 2 p I s H 2 = R ( s , p ) .
The inequality (16) is immediate from Φ I = I Φ ˜ and the contractivity of Φ in the H –norm; it expresses that no admissible operation can inflate the calibrated misfit. DPI is stable under composition of admissible steps (semigroup/monoid property). In operator–algebraic realizations, (16) is the L 2 –analogue of quantum DPI for channels and conditional expectations [7,13,14]; in convex–analytic realizations it reduces to nonexpansiveness of (averaged) projections and resolvents [8]. Classical DPI for f–divergences and mutual information plays an analogous role in probability spaces [24].
Proposition 2
(Hilbertian DPI from admissibility). Let ( H , · , · ) be a Hilbert space, S a linear space, P H a closed subspace, and ( I , J ( + ) ) satisfy I J ( + ) = id P and J ( + ) I = P S . Suppose ( Φ ˜ , Φ ) obeys (15). Then, for R ( s , p ) : = p I s H 2 ,
R ( Φ ˜ s , Φ p ) = Φ ( p I s ) H 2 p I s H 2 = R ( s , p ) .
Moreover, if Φ is firmly nonexpansive (i.e. Φ x Φ y 2 Φ x Φ y , x y ), then
R ( Φ ˜ s , Φ p ) Φ ( p I s ) , p I s R ( s , p ) .
Proof. 
By intertwining, Φ ( p I s ) = Φ p Φ I s = Φ p I Φ ˜ s . Nonexpansiveness gives Φ ( p I s ) p I s , hence the squared inequality. The firm–nonexpansive refinement follows by applying its defining inequality with ( x , y ) = ( p , I s ) . □
Lemma 2
(Dual residuals are equivalent). Assume I : S P H is injective with closed range and J ( + ) : P S satisfies I J ( + ) = id P and J ( + ) I = P S . Define
R phys ( s , p ) : = p I s H 2 , R stat ( s , p ) : = s J ( + ) p S 2 .
Then there exist constants 0 < c C < (determined by I and the chosen norms) such that
c R phys ( s , p ) R stat ( s , p ) C R phys ( s , p ) ( s , p ) S × P .
Proof. 
Since I : S ran I is a topological isomorphism, the open mapping theorem yields m , M > 0 with m x S I x H M x S for all x S . Using I J ( + ) = id P and J ( + ) I = P S ,
s J ( + ) p = J ( + ) ( I s p ) , p I s = I s J ( + ) p .
Hence s J ( + ) p S J ( + ) p I s H and p I s H I s J ( + ) p S . The two–sided bound follows by squaring and taking c : = I 2 , C : = J ( + ) 2 . □

3.3. One–Budget Convention (No Duplication of Description).

The one–budget convention turns “no cloning of description’’ into a precise accounting law for the statistical channel. It provides (i) a canonical factorization of the blueprint, (ii) a mass–preserving evolution for the blueprint shares, (iii) a DPI–compatible coupling to the physical side, and (iv) a clean language for correlation building (entanglement) across cuts—without minting new statistical degrees of freedom.

3.3.1. Single Statistical Prototype and Share Field (Canonical Factorization).

There is exactly one statistical prototype s 0 S and a time–dependent, nonnegative share field  w ( · , t ) of unit mass such that
s ( · , t ) = w ( · , t ) s 0 , w ( · , t ) 0 , w ( · , t ) d μ = 1 for all t .
The normalization w = 1 asserts that there is a single statistical resource being redistributed, not created or copied.3

3.3.2. Exclusivity and Identicality.

The pair ( s 0 , w ) carries two constraints:
  • Exclusivity. There is only one statistical species; any “split’’ is a reweighting of s 0 via (17), never a duplication s 0 s 0 s 0 .
  • Identicality. Wherever the prototype is presented, it is the same calibrated object, i.e. identical up to ( I , J ( + ) ) :
    I w s 0 = w I s 0 , J ( + ) Φ p = Φ ˜ J ( + ) p .
    Thus calibration and admissible evolution commute and do not change the species.

3.3.3. Admissible budget dynamics: conservation, redistribution, and DPI–compatibility.

Let ( Φ ˜ , Φ ) be admissible (intertwining Φ I = I Φ ˜ and nonexpansive Φ H H 1 ). In the one–budget ansatz there exists a (time–dependent) linear positive operator T on shares such that
s = Φ ˜ s = Φ ˜ w s 0 = ( T w ) s 0 , T w 0 , ( T w ) d μ = w d μ = 1 .
Hence admissibility preserves the budget and may only redistribute it; in particular, no new sDoF are minted by evolution. On the physical side p = Φ p and the calibrated misfit obeys the Hilbertian DPI
R ( Φ ˜ s , Φ p ) = Φ p I s H 2 p I s H 2 = R ( s , p ) .
Thus budget redistribution cannot inflate the residual.
Lemma 3
(Mass preservation and convexity under Markov pushforward). If T is Markov (positive, T w = w ), then for any convex functional Ψ on shares one has Ψ ( T w ) d μ ( M Ψ ) ( w ) d μ for a suitable averaging operator M depending on T . In particular, T w L 1 = w L 1 and T w L 2 C w L 2 whenever T is a contraction on L 2 .
Sketch. 
Standard Jensen/Doob arguments for stochastic kernels yield the convex averaging bound; L 1 –mass preservation is part of the Markov property; L 2 –contraction follows from positivity and the L 2 operator norm of T . □

3.3.4. Discrete and Continuous Budget Evolution (Kinetic Form).

For a discrete pipeline of admissible steps { Φ ˜ k , Φ k } k 1 one obtains a chain
w k + 1 = T k w k , w k = 1 , R k + 1 = Φ k ( p k I ( w k s 0 ) ) H 2 R k .
In continuous time, a Markovian generator L on shares gives a forward equation
t w ( t ) = L * w ( t ) , w ( t ) d μ = 1 , w ( t ) = e t L * w ( 0 ) ,
where L * is the L 1 –adjoint acting on densities. Coupled to the physical side, admissibility yields
d d t R ( t ) = d d t p ( t ) I ( w ( t ) s 0 ) H 2 2 K imm e , e + 2 r , e ,
so the budget flow and the physical flow cooperate to decrease the misfit, with K imm and r coming from the immediate and remainder loops.

3.3.5. “Burst of Sameness’’ and Post–Burst Partition Without Duplication.

A burst of sameness is a regime where the residual decays rapidly, R ˙ α fast R , driving p I ( w s 0 ) widely in space/modes (a straight line with large negative slope in semi–log plots). When this fast contraction saturates and slower processes dominate (e.g. bounded–speed relay), the statistical presentation may partition across disjoint supports U , V via w = w U + w V with U w U + V w V = 1 . This is not duplication of sDoF; it is a reallocation of the same budget:
s ( · , t ) = w U ( · , t ) s 0 + w V ( · , t ) s 0 , U V = , U w U + V w V = 1 ,
and admissibility ensures coordinated reweightings ( w U , w V ) ( T U w U , T V w V ) that preserve total mass.

3.3.6. Causal Relay Limits (Finite–Speed Budget Transport).

Budget redistribution is constrained by a finite relay speed v and a correlation length corr . For any moving outer domain U ( t ) a causal cap bounds admissible growth of physical marginals:
d d t d p U ( t ) κ v corr .
Hence the slow (global) feedback cannot instantaneously move budget across causal boundaries. This encodes the statement that the slow loop “never makes it over the horizon’’: it only redistributes shares up to the relay bound, and DPI (20) ensures the reassignment is residual–nonincreasing.

3.3.7. Entanglement as Coordinated Reassignment Across a Cut.

For a bipartition A B , write w = w A + w B with w A + w B = 1 . An admissible global update ( Φ ˜ A B , Φ A B ) that does not factor into local pieces ( Φ ˜ A Φ ˜ B , Φ A Φ B ) but preserves the one budget acts as a nonfactorizable stitching:
( w A , w B ) ( w A , w B ) with w A + w B = 1 ,
thereby generating cross–support correlations without creating a second prototype. This is the DSFL reading of entanglement: coordinated relabelling of the same budget across a cut. Factorization/nonfactorization can be certified by testing whether all cross–moments of w A , w B vanish given diagonals.

3.3.8. No–Cloning and No–Broadcasting as Budget Constraints.

Because admissible steps are linear, intertwining, and nonexpansive, there is no admissible map that takes one prototype and outputs two independent identical budgets of unit mass—this would violate both (19) and (20). Likewise, perfect broadcasting of noncommuting presentations is impossible unless they share a common abelian pointer algebra (a common budget slicing); otherwise some residual inflates. These mirror the standard no–go theorems in a budget language.

3.3.9. Diagnostics and Stability Under Refinement.

  • Projection & DPI tests. For any implemented block, check I J ( + ) x x H x H , J ( + ) I y P S y H y H , and Δ R : = R out R in 0 (to tolerance). Violations falsify calibration/admissibility.
  • Share accounting. Any reported “split’’ must be traceable to w = w with w = 1 . 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 ( w U i w U i ), admissibility lifts to a block–Markov action T ( T U i U j ) and mass conservation persists. DPI is preserved termwise.
  • Dual–scale rates. Semi–log slopes estimate fast ( α fast from K imm ) and slow ( α slow from the retarded kernel) contraction rates. Transitions from single–lobe to multi–lobe w indicate redistribution, not duplication.

3.3.10. Summary.

The one–budget convention elevates conservation of the statistical resource to a first principle: all admissible operations are mass–preserving, residual–nonexpansive reweightings of a single prototype s 0 . Bursts of sameness reduce the misfit quickly; subsequent “splittings’’ are budget partitions governed by causal relay, never duplications of sDoF. Entanglement is coordinated reassignment across cuts; no–cloning and no–broadcasting are immediate corollaries of mass conservation and contractivity. The entire mechanism is DPI–compatible and clock–neutral, providing a robust, operational ledger for “information’’ as calibrated sameness.
Preprints 182372 i001
Preprints 182372 i002
Preprints 182372 i003
Remark 1
(No–cloning/broadcasting = budget law + DPI). The no–cloning/broadcasting conclusion (Cor. 2) is simply budget conservation (Lemma 4) plus residual nonexpansiveness (DPI; Lemma 5). In words: an admissible update cannot mint a second unit of statistical mass, and cannot isometrically duplicate the calibrated residual direction. Operationally, any pipeline that appears to “copy information’’ must fail either mass preservation (budget test) or L 2 contractivity (DPI test) in the diagnostics below.

4. Interpretation and Structure (Expanded).

Equation (24) is a linear Volterra–type, two–loop evolution for the calibrated mismatch e : = p I s P H :
e ˙ ( t ) = K e ( t ) 0 t M ( t τ ) e ( τ ) d τ + r ( t ) , K = K * 0 , M ( · ) 0 .
The operator K models immediate (time–local) dissipation; the convolution with the positive semidefinite kernel M adds a retarded (time–nonlocal) corrective loop; r is a small admissible remainder. In Laplace variables ( f ^ ( λ ) = 0 e λ t f ( t ) d t ), one has
e ^ ( λ ) = λ I + K + M ^ ( λ ) 1 G ( λ ) e ( 0 ) + r ^ ( λ ) , λ > 0 .
Thus memory enters through the nonconstant operator symbol M ^ ( λ ) ; it cannot, in general, be absorbed into a time–local gain without an explicit scale separation. See [9, Chs. 1–3] for Volterra operators and [12, Chs. 9–10] for completely positive, non–Markovian kernels.

4.1. Block–Diagram View (Immediate vs. Slow Loop).

Think of K as a passive, accretive “plant’’ that damps e instantaneously (modewise/pointwise), and M * e as a causal, positive–semidefinite feedback path that aggregates past mismatch and feeds it back with delay. In the Laplace domain this reads as a frequency–dependent damping K + M ^ ( λ ) whose real part is nonnegative for λ > 0 :
K + M ^ ( λ ) x , x 0 ( λ > 0 ) ,
so the resolvent G ( λ ) in (25) is well–posed and analytic on the right half–plane, with bounds that reflect the amount of damping.

4.2. Energy Identity and a Lyapunov Functional with Memory.

Taking H –energies and using Fubini/Tonelli for positive kernels,
d d t e ( t ) 2 = 2 K e ( t ) , e ( t ) 2 0 t M ( t τ ) e ( τ ) d τ , e ( t ) + 2 r ( t ) , e ( t ) .
The memory term is nonnegative in the sense that there exists a memory energy
M ( t ) : = 0 t 0 t M ( | σ τ | ) e ( τ ) , e ( σ ) d τ d σ 0 ,
with M ˙ ( t ) = 2 0 t M ( t τ ) e ( τ ) d τ , e ( t ) . Define the Lyapunov functional
V ( t ) : = e ( t ) 2 + M ( t ) .
Then
V ˙ ( t ) = 2 K e ( t ) , e ( t ) + 2 r ( t ) , e ( t ) .
Hence M never reduces dissipation; it merely stores dissipative credit in M . If K is accretive and r is small, V decreases.

4.3. Sufficient Conditions for Exponential Decay.

Suppose the immediate loop has a coercivity margin on P , K x , x κ x 2 and the remainder is dominated by ε [ 0 , κ ) , | r ( t ) , e ( t ) | ε e ( t ) 2 . Then
V ˙ ( t ) 2 ( κ ε ) e ( t ) 2 2 ( κ ε ) V ( t ) ,
because V e 2 . Grönwall yields the Lyapunov envelope
V ( t ) e 2 ( κ ε ) ( t t 0 ) V ( t 0 ) , e ( t ) 2 e 2 ( κ ε ) ( t t 0 ) V ( t 0 ) .
Thus the rate is set by the immediate loop ( κ ), while memory helps (never hurts) decay.

4.4. Frequency–Domain Accretivity and Resolvent Bounds.

Let λ > 0 . Accretivity of K and positive–real character of M ^ ( λ ) imply
( λ I + K + M ^ ( λ ) ) x , x λ x 2 + κ x 2 ,
whence
( λ I + K + M ^ ( λ ) ) 1 1 λ + κ .
Laplace inversion then furnishes (via standard contour bounds) an L 2 –to– L 2 estimate consistent with the time–domain envelope. If, moreover, M ^ is sectorial (which holds for many positive kernels), one gets uniform bounds on G ( λ ) on vertical lines λ = σ > κ , hence exponential stability.

4.5. Horizon Truncation and Causal Support.

On black–hole backgrounds, domain–of–dependence implies that the interiorexterior block M U H vanishes after horizon formation. Consequently the exterior evolution closes:
e ˙ U ( t ) = K e U ( t ) 0 t M U U ( t τ ) e U ( τ ) d τ + r U ( t ) ,
and inherits the same Lyapunov envelope, with rate pinned by the least–damped exterior mode (red–shift/QNM).

4.6. Discrete–Time Analogue (Pipelines of Admissible Steps).

For a sequence of admissible steps ( Φ ˜ k , Φ k ) , the calibrated mismatch contracts stepwise:
R k + 1 = Φ k p k I s k H 2 p k I s k H 2 = R k ,
and a block–Markov action T k on shares (one–budget) preserves mass, ( w k + 1 = w k = 1 ) . This is the discrete counterpart of the continuous Volterra law with M approximated by a causal FIR/IIR filter.

4.7. Robustness to Reparametrization (Clock–Neutrality).

If the evolution parameter is reparametrized by any strictly increasing θ = θ ( t ) , the DPI is unchanged and the Lyapunov inequality rescales by d t / d θ :
d d θ e 2 = d t d θ d d t e 2 2 ( κ ε ) d t d θ e 2 .
Hence monotonicity is invariant; a convenient intrinsic clock is d τ ^ = 2 ( κ ε ) d t , for which d d τ ^ e 2 e 2 .

4.8. Edge Cases and Rates.

If K = 0 but M 0 , stability may still hold (purely hereditary damping) but rates can be subexponential, depending on the decay of M (e.g. algebraic tails produce algebraic decay of R). Conversely, if M U U is nontrivial and positive, it augments dissipation (it contributes a positive quadratic form), so the envelope (11) remains valid with possibly larger effective κ .
Summary. The two–loop Volterra law splits the calibrated dynamics into an immediate, accretive, time–local loop that sets the decay rate, and a slow, causal memory loop that can only add dissipation. In the exterior of a black hole, causal support nullifies interior→exterior relay, so the exterior inherits an exponential Lyapunov envelope governed by the least–damped mode. The DPI controls any interleaved admissible processing, and all statements are invariant under reparametrization of the evolution parameter.

4.8.1. Causal Ceiling (Support and Domain of Dependence).

Equation (23) encodes a finite–speed relay for the slow loop: the kernel M ( t ) is the retarded propagator of the nonlocal feedback and has causal support in the sense of retarded Green’s functions. For hyperbolic sectors (e.g. wave–like transport) this is the standard finite propagation speed / domain–of–dependence statement: the retarded fundamental solution vanishes outside the future light cone ([27, Sec. 10.1], [1, Secs. 6.5–6.6]). In black–hole spacetimes, the event horizon is a null hypersurface; its future domain of dependence excludes exterior points from any influence sourced strictly inside. It follows that after horizon formation the interiorexterior block of the memory kernel vanishes:
0 t M U H ( t τ ) e ( τ ) d τ 0 ,
which is precisely the no–relay assertion. At a technical level, (26) is the operator–valued version of support propagation for retarded solutions: if supp e ( τ ) H for τ t , then supp ( M * e ) ( t ) is contained in the causal future of H ; restricted to U, this support is empty. See also finite–speed propagation for wave/Maxwell fields on black–hole backgrounds and red–shift identities [10,15,16].

4.9. Remarks.

(i) The ceiling is structural: it depends only on causal support of M and the global slicing into U (exterior) and H (trapped). It is agnostic to microscopic completion and compatible with island/entanglement–wedge reassignment, which change which degrees of freedom are counted in the effective radiation algebra but not which causal curves exist. (ii) If the slow loop includes weakly parabolic pieces (e.g. mild dissipation) alongside hyperbolic transport, one may replace the sharp light cone by a finite relay speed v and a correlation length corr ; (23) then follows from standard energy–flux inequalities/Lieb–Robinson–type bounds for the effective kernel (cf. [36,37] for lattice analogues).

4.9.1. Exterior Reduction and Ringdown Envelope.

Restricting e to the exterior world tube U and using (26) yields the closed exterior evolution
e ˙ U ( t ) = K e U ( t ) 0 t M U U ( t τ ) e U ( τ ) d τ + r U ( t ) .
Taking the H –energy R U ( t ) = e U ( t ) 2 and differentiating gives
R ˙ U ( t ) = 2 K e U , e U 2 0 t M U U ( t τ ) e U ( τ ) d τ , e U ( t ) + 2 r U , e U .
Whenever the local loop is coercive, K x , x κ x 2 with κ > 0 , and the remainder is small, | r U , e U | ε e U 2 with 0 ε < κ , one obtains
R ˙ U ( t ) 2 ( κ ε ) R U ( t ) , R U ( t ) e 2 ( κ ε ) ( t t 0 ) R U ( t 0 ) .
Here the memory term is helpful: for positive kernels one can define a memory energy M U ( t ) = 0 t 0 t M U U ( | σ τ | ) e U ( τ ) , e U ( σ ) d τ d σ 0 with M ˙ U ( t ) = 2 0 t M U U ( t τ ) e U ( τ ) d τ , e U ( t ) , so the convolution contributes additional dissipation in the Lyapunov functional R U + M U . In the frequency domain, the decay rate corresponds to the least–damped pole of ( λ I + K + M ^ U U ( λ ) ) 1 on λ > κ , i.e. the least–damped exterior mode (QNM/red–shift); cf. [10,11,15,16].

4.10. Nonzero Exterior Memory M U U .

If M U U 0 but is positive semidefinite, all estimates above persist and the effective rate may improve:
0 t M U U ( t τ ) e U ( τ ) d τ , e U ( t ) 0 ,
so one still has the same exponential envelope, possibly with a larger effective κ . Conversely, if M U U has long–range tails, subexponential (e.g. polynomial) decay may occur, consistent with known Price–law corrections; the envelope then remains a rigorous upper bound on log R U ’s slope (see, e.g., [16] for tail behavior).
Causal support of the slow kernel imposes a hard ceiling: no interior–sourced retarded influence can reach the exterior. The exterior therefore reduces to a closed dissipative law driven by the immediate loop and (beneficial) exterior memory, yielding an exponential ringdown envelope with rate fixed by red–shift/QNM damping. These statements depend only on domain–of–dependence and positivity of the kernel and are independent of microscopic details of evaporation or island assignments.

4.10.1. Two Remarks.

(i) Local reduction is a causal consequence, not an extra hypothesis. Once a horizon forms, domain–of–dependence nullifies the interior→exterior block of the slow loop, so the exterior evolution closes. The remaining memory may persist within U, but (27) follows as soon as M U U = 0 (e.g. purely elliptic immediate feedback) or, more generally, when M U U is bounded and positive semidefinite so that its quadratic form is nonnegative in the Lyapunov identity. In either case, the convolution cannot generate growth of R U .
(ii) Gravitational redshift upgrades coercivity to a quantitative gap. Exterior red–shift estimates on black–hole backgrounds furnish positive bulk terms in energy identities [10,15,16], which appear exactly as a uniform coercivity margin κ > 0 in the inequality above. This provides the physical origin of the observed ringdown rate in (27): the least–damped exterior mode (QNM/red–shift gap) sets the slope of the semi–log envelope for R U .

4.10.2. Summary.

Under a dual–scale (Volterra) model with a causal memory kernel, the horizon enforces M U H 0 : the slow loop cannot relay calibrated content across the null boundary H . The exterior mismatch therefore obeys a closed, dissipative law driven by the immediate loop (and possibly helpful exterior memory), with an exponential Lyapunov envelope. This is consistent with—and furnishes a structural explanation for—exterior ringdown and decay along the Page–curve narrative: nonlocal (slow) coherence is causally blocked at the horizon, while the local (immediate) loop enforces relaxation outside.

5. Hawking Channel as an Admissible Map

Let Φ Hawk : P P denote one exterior “Hawking tick’’ (one step in advanced time) and let Φ ˜ Hawk : S S be the paired blueprint update. In the DSFL geometry, a Hawking tick is modeled as an admissible pair obeying the DSFL kinematics:
Φ Hawk I = I Φ ˜ Hawk ( intertwining ) , Φ Hawk H H 1 ( L 2 nonexpansive ) .
Hence the Hilbertian data–processing inequality (DPI) holds stepwise in the exterior:
R Φ ˜ Hawk s , Φ Hawk p = Φ Hawk p I s H 2 p I s H 2 = R ( s , p ) .
The stepwise DPI is clock–neutral: it holds identically for any discretization of advanced time and any strictly increasing reparametrization of the evolution parameter.

5.1. Open–System Realization and Nonexpansiveness.

Microscopically, one tick is a dilation–trace step:
Φ Hawk ( X ) = Tr int V ( X I int ) V ,
with V an isometry on (exterior ⊗ interior–partner) modes that implements pair creation near the horizon [1,2,12,17,18]. The Hilbert–Schmidt norm is unitarily invariant and the partial trace is a contraction in Schatten–2, hence Φ Hawk ( X ) 2 X 2 [20, Sec. IX.2]. More generally, Heisenberg–unital CP maps satisfy Kadison–Schwarz and are nonexpansive in GNS L 2 ( ω ) for faithful ω [7,14,19,34,35]. Monotonicity for relative–entropy–type distances (quantum DPI) likewise holds [13,22,23]. Thus (29)–(30) are precisely what the standard open–systems picture of Hawking emission entails [12].

5.2. Contractive Envelope from Exterior Decay (Ringdown).

Linearized exterior dynamics on black–hole backgrounds exhibit quasinormal relaxation and red–shift–driven decay (Price–law tails) [10,11,15,16]. In the DSFL geometry, these supply a coercivity margin for the exterior flow, making the net Hawking step effectively contractive on the misfit (beyond mere nonexpansiveness), in line with the dual–scale feedback picture and the stepwise DPI (30).

5.2.1. Thermal Marginals vs. Correlations.

For stationary exterior observers, local marginals are approximately KMS–thermal at the Hawking temperature T H = κ / 2 π (surface gravity κ ) [2]; this is the Unruh/Hawking effect [1,21]. Thermality of marginals is compatible with (30): microstate dependence resides in correlations (exterior–interior, or at late times inter–radiation), while the exterior calibrated misfit remains nonincreasing. In channel language, Φ Hawk is CPTP on the exterior algebra, and quantum DPI guarantees that contractive functionals (relative entropy, fidelity–based distances) do not increase [7,13,22,23].

5.2.2. Page Curve and Islands (Global Consistency).

Purification of the total radiation (the Page curve) does not require growth of any exterior misfit: it is realized by redistribution of correlations across subsystems (early–late radiation, or semiclassically between radiation and island regions) [3,4,5,6]. Hence (30) is fully compatible with late–time unitarity: the exterior residual is monotone under coarse–grained emission, while the global blueprint/response pairing retains the correlations needed for purification.
Proposition 3.
Hilbert–Schmidt ( L 2 ) contractivity of CP–unital steps] Let Φ : B ( H ) B ( H ) be completely positive and unital (Heisenberg picture). In Hilbert–Schmidt geometry X 2 : = Tr ( X X ) , one has
Φ ( X ) 2 X 2 X .
Consequently, any such Φ is nonexpansive in the GNS L 2 ( ω ) geometry for faithful ω [7,14,19,34]. If moreover Φ I = I Φ ˜ , then the DPI of Prop. 2 applies to the calibrated residual [8].
Proof. 
Let · 2 denote the Hilbert–Schmidt (HS) norm: X 2 2 = ( X X ) . By Stinespring’s theorem, any completely positive, unital (Heisenberg) map Φ admits a dilation
Φ ( X ) = V ( X I E ) V ,
where V : H H H E is an isometry, i.e. V V = I H [17] (in finite dimensions this is the Kraus form [18]). Then
Φ ( X ) 2 2 = Φ ( X ) Φ ( X ) = V ( X I E ) V V ( X I E ) V = ( X I E ) V V ( X I E ) V V ( X I E ) ( X I E ) = X X I E = ( X X ) ( I E ) = X 2 2 ,
where we used cyclicity of the trace, V V = I H (so P : = V V is an orthogonal projection with 0 P I ), and the operator monotonicity ( A P A ) ( A A ) for 0 P I (partial trace is contractive in Schatten–2; see [20, Sec. IX.2]). Hence Φ ( X ) 2 X 2 for all X, i.e. Φ 2 2 1 . □

5.2.3. Summary (Expanded).

What “admissible Hawking tick’’ means in DSFL. Each exterior step satisfies the two kinematic gates: (i) intertwining (calibration consistency) Φ Hawk I = I Φ ˜ Hawk , and (ii) L 2 –nonexpansiveness Φ Hawk H H 1 . In the open–systems picture this is exactly what a Heisenberg–unital, CP map does: it admits a Stinespring/Kraus dilation with partial trace and is contractive in HS/GNS L 2 [7,17,18,19,20].
(i) Stepwise DPI for the exterior residual. Intertwining + nonexpansiveness give the one–line DPI at each tick:
R ( Φ ˜ Hawk s , Φ Hawk p ) = Φ Hawk ( p I s ) H 2 p I s H 2 = R ( s , p ) .
Thus R cannot increase under emission or any admissible coarse–graining; the statement is clock–neutral (independent of the parametrization of the steps).
(ii) Local thermality vs. global correlations—no tension. Semiclassical QFT predicts local KMS thermality at T H = κ / 2 π [1,2,21]. DSFL shows this is compatible with DPI: microstate dependence resides in correlations (exterior–interior, or at late times early–late radiation), while the local/exterior R remains nonincreasing. In channel terms, Φ Hawk is CPTP and quantum DPI ensures contractive divergences (relative entropy, fidelity–based distances) do not increase [7,13,22,23].
(iii) Contractive envelope from red–shift/QNM decay. Beyond per–tick nonexpansiveness, the exterior has a dynamical decay mechanism: the immediate (local) loop provides a coercivity gap κ > 0 tied to red–shift estimates and the least–damped quasinormal modes. DSFL packages this as a Lyapunov (ringdown) envelope
R out ( t ) e 2 κ ( t t 0 ) R out ( t 0 ) ,
with κ read from exterior decay theorems [10,11,15,16].
How this fits open systems and modern resolutions. Stinespring/Kraus ⇒ nonexpansive L 2 –dynamics ⇒ stepwise DPI for R [12,17,18]. Island/replica analyses show that the Page curve comes from where correlations are attributed (early/late radiation or islands), not from deviations from exterior thermality [5,6]. DSFL accommodates both: local/exterior R never rises; purification proceeds via correlations.
Takeaway. An admissible Hawking tick guarantees stepwise nonincrease of the calibrated misfit R; local near–thermality does not obstruct global unitarity; and exterior geometry provides a contractive envelope for R over time. Together, this aligns DSFL kinematics with open–system Hawking emission [12] and modern information–theoretic resolutions [3,4,5,6,7,13,22,23].

6. Where Does the “Information’’ Go?—A DSFL Account in Detail

The short answer in DSFL is: it goes into correlations. More precisely, the quantity that semiclassics can constrain locally is not a marginal entropy but the calibrated L 2 –misfit R ( t ) = p ( t ) I s ( t ) H 2 , and R out ( t ) is provably nonincreasing and obeys a ringdown envelope. The apparent paradox only arises if one tries to make S ( radiation ) stand in for “information” locally. In DSFL, “information’’ means sameness between blueprint and response, and its redistribution happens as correlation structure across subsystems, not as a rise of any exterior residual. Here is the detailed picture.

6.1. Global Unitarity: Information Is Never Destroyed.

Let U ( t ) denote the exact (or effective) global unitary acting on the full slice H rad H ext H int . Starting from a pure initial state, the combined state remains pure at all times (assumption (A1)). In particular, there always exist subsystems whose correlations encode the microstate, even when some marginals look thermal. DSFL mirrors this by the global DPI for R tot and by treating “content’’ as a single statistical budget w that can only be redistributed, not created (Sec. 3.3).

6.2. Early Times (Pre–Page): Information Is Behind the Horizon and in Exterior–Interior Correlations.

Semiclassical QFT near the horizon produces pairs ( b k , b ˜ k ) with b k outgoing and b ˜ k ingoing; the exterior marginal of b k is (approximately) KMS–thermal at T H = κ / 2 π [1,2,21]. The microstate dependence therefore lives in the correlations between b k and interior degrees of freedom, not in the spectrum of b k itself. In DSFL variables:
  • R out ( t ) 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.

Unitarity requires the von Neumann entropy of the collected radiation to turn over at the Page time t Page [4,29]. Modern island/replica–wormhole results show that the entanglement wedge of the radiation reassigns degrees of freedom so that interior “islands’’ are effectively counted as part of the radiation at late times [5,6]. In DSFL terms:
  • The observable that is constrained remain the local/exterior residuals R out and windowed R ( R k ) ; 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.
Thus, “where the information goes’’ is: from being encoded in (exterior, interior) correlations early on, to being encoded in (early radiation, late radiation) correlations after t Page —while every exterior L 2 misfit keeps shrinking.

6.4. Circuit Picture (Entanglement Swapping) Consistent with DSFL.

One can visualize each Hawking tick as: (i) create a near–EPR pair ( b k , b ˜ k ) near the horizon; (ii) scramble b ˜ k with the remaining interior; (iii) radiate b k outward. Iterating this swaps entanglement from interior↔exterior to early↔late radiation as the black hole loses dof. In the DSFL ledger:
R Φ ˜ Hawk s , Φ Hawk p R ( s , p ) ( per tick ) , d d t R out 2 κ R out + o ( R out ) ( envelope ) .
The amount of sameness removed is quantified by S R ( t ) = log R ( t ) R ( 0 ) ; its monotonic growth does not preclude growing correlations in the radiation sector.

6.5. No Drama vs. Monogamy: Why Local Thermality Is Not a Problem Here.

Because DSFL constrains R rather than a marginal entropy, an exterior marginal can remain near–thermal (no drama) while correlations shift nonlocally. The “monogamy tension’’ (that a late quantum cannot be maximally entangled with both the interior and the early radiation) is resolved by the fact that the assignment of which dof count as “radiation” changes (islands) and by the correlation–first picture: late quanta become entangled with early radiation as the interior code subspace is gradually encoded in the outside sector [4,5,6]. At no point does DSFL demand a local violation (no firewall is required by the R–constraints).

6.6. One–Budget Accounting: No Duplication, Only Redistribution.

The statistical channel is s = w s 0 with w = 1 ; admissible steps act Markovly on w (mass–preserving) and L 2 –nonexpansively on p. Thus,
  • There is no cloning of description; the blueprint is a single prototype s 0 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).

The DSFL prediction is very concrete:
  • Semi–log plots of any calibrated exterior residual R out ( t ) show an asymptotic straight line with slope 2 κ tied to the least–damped QNM/red–shift gap [10,11].
  • No admissible processing block should ever increase R (DPI). Violations falsify the calibration/admissibility package [7,8,12].
  • Windowed radiation: single–window spectra look thermal, while cross–window correlation matrices carry structured off–diagonal signal consistent with purification by correlations [4,5,6].

6.8. Bottom Line.

In DSFL, the “information’’ never needs to reappear as a rise of any exterior residual. It is always in correlations: first between exterior and interior partners, then—after the Page time—between early and late radiation (or, equivalently in semiclassical gravity, between radiation and its island wedge). The part semiclassics controls locally is a contractive L 2 –misfit R with a geometric decay envelope; the rest is global correlation bookkeeping—precisely where modern island/Page–curve resolutions place it [4,5,6].

7. Form of the Paradox in DSFL Variables (What Is Actually Constrained)

Let R out ( t ) : = R s out ( t ) , p out ( t ) be the exterior residual, R rad ( t ) that of the collected radiation, and R tot ( t ) the global residual on a complete Cauchy slice (blueprint S and response P H aligned by I , J ( + ) ). The usual trilemma may be rephrased cleanly as:
( U ) : Global admissibility R tot ( t ) is nonincreasing ( DPI ) . This is the Hilbertian data processing for ( Φ ˜ t , Φ t ) . ( S ) : Exterior semiclassics is L 2 dissipative R out ( t ) at a quasinormal / ringdown rate . This is the Lyapunov envelope from exterior decay estimates . ( H ) : Hawking flux has ( approximately ) thermal local marginals .
In the standard entropy language, (U)+(S)+(H) appear to force a mixed late–time exterior/radiation state (the “loss of information’’ tension) [4,30,31]. In the DSFL formulation the observable that is constrained is not a von Neumann entropy of a marginal, but the calibrated misfit R under admissible (intertwining, nonexpansive) maps and causal relay. This shift is the winning technical detail: it isolates what the semiclassical channel actually controls (a contraction in the comparison geometry) while leaving room for global microstate–dependence to reside in correlations rather than in marginal spectra. The stepwise DPI for the exterior Hawking channel (Sec. “Hawking channel as an admissible map’’) and the exterior Lyapunov envelope together prove that R out can only decrease, regardless of whether instantaneous radiation marginals are thermal. At the same time, global R tot need not fall to zero: it can plateau while purification is completed by long–range correlations (early/late radiation or island degrees of freedom) [3,4,5,6].

7.1. What Is Actually Proved (and Why This Wins).

  • Monotone contraction (DPI) for R globally and locally. For any admissible pair ( Φ ˜ , Φ ) with Φ I = I Φ ˜ and Φ H H 1 ,
    R ( Φ ˜ s , Φ p ) = Φ ( p I s ) H 2 p I s H 2 ,
    a one–line Hilbertian proof (firmly nonexpansive maps/orthogonal projections) [7,8].
  • Exterior Lyapunov envelope. Using red–shift/Price–law decay and quasinormal mode asymptotics on black–hole exteriors, the exterior misfit obeys
    R ˙ out ( t ) 2 κ R out ( t ) + o ( R out ) , R out ( t ) R out ( t 0 ) e 2 κ ( t t 0 ) ,
    with κ > 0 fixed by the background geometry [10,11,15,16].
  • Causal throttling of the slow loop. In the dual–scale Volterra law e ˙ = K e 0 t M ( t τ ) e ( τ ) d τ + r , 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 Φ Hawk is CPTP/unital in the Heisenberg picture, hence nonexpansive in L 2 and satisfies quantum DPI for contractive divergences [7,12]. Local KMS thermality of marginals is thus compatible with stepwise decrease of R out ; purification can (and in modern resolutions does) ride on correlations (early/late radiation, or island saddles) without contradicting the contraction of any exterior L 2 functional [3,4,5,6].

7.2. Resolution Template: Statements with Proofs/Sketches

Theorem 2
(Exterior no–inflation and causal throttling). Let ( Φ ˜ t , Φ t ) be the global admissible evolution generated by the two–loop law with K 0 , M L 1 ( [ 0 , ) ) causal, and small admissible remainder r. If a future horizon forms at time t H , then for any exterior world tube U and for all t t H ,
R Φ ˜ t s U , Φ t p U R ( s U , p U ) , R ˙ U ( t ) 2 κ R U ( t ) + o ( R U ) ,
and the slow–loop relay from the trapped region vanishes:
0 t M U H ( t τ ) e ( τ ) d τ = 0 .
Proof sketch. 
The first inequality in (32) is the Hilbertian DPI for any admissible ( Φ ˜ , Φ ) [7,8]. Causality of M together with the domain of dependence of an exterior world tube and the trapped region H implies (33) (no null/timelike link across the horizon) [1,2]. With the slow loop absent outside, the exterior evolution reduces to e ˙ U = K e U + r U ; coercivity of K from red–shift/Price–law yields the differential inequality in (32) and the exponential envelope [10,11,15,16]. □
Corollary 3
(Hawking ticks are admissible and contractive in L 2 ). Let one emission step be ( Φ ˜ Hawk , Φ Hawk ) with a Stinespring dilation V and interior trace. Then
Φ Hawk I = I Φ ˜ Hawk , Φ Hawk H H 1 , R ( Φ ˜ Hawk s , Φ Hawk p ) R ( s , p ) .
Sketch. 
Intertwining follows from calibration consistency (blueprint and response are pushed through the same dilation). Unitary invariance of the Hilbert–Schmidt norm and contractivity of partial trace yield Φ Hawk 2 2 1 [7,12]. □
Theorem 3
(Global DPI and coexistence with the Page curve). For the full slice ( S , P H ) ,
R tot ( t ) R tot ( 0 ) for all t ,
with equality only at calibrated fixed points. In particular, monotone contraction of R out and R rad does not preclude late–time purification of the radiation: purification is a statement about global correlations (quantum extremal/island wedges) and is compatible with (32) and (33) [3,4,5,6].
Sketch. 
R tot obeys the same DPI as any R ( · ) ; admissibility and composition preserve nonexpansiveness [8]. The Page curve pertains to the eigenvalue spectrum of reduced states, not to L 2 residuals; islands implement a reassignment of which degrees of freedom are included in the effective radiation algebra, transferring correlations without violating any L 2 contraction [5,6]. □

7.2.1. Why This Resolves the Tension.

The paradox arose from conflating constraints on marginal entropies with constraints on admissible contraction in a comparison geometry. DSFL separates them: (i) exterior evolution is provably L 2 –contractive (no inflation) and dissipative (Lyapunov envelope); (ii) the slow nonlocal loop is causally throttled at the horizon; (iii) Hawking ticks are admissible channels whose local thermality is compatible with DPI; (iv) global unitarity appears as monotone contraction of a single quadratic residual together with redistribution of correlations (early/late radiation or islands) that purifies without ever forcing R out to rise. In short: DSFL proves the part semiclassics can prove (no–inflation and decay of calibrated misfit via the immediate loop) and leaves the rest to correlations, precisely where modern resolutions place them [4,5,6].
Proposition 4
(Budget preservation and redistribution). Under the one–budget convention s ( · , t ) = w ( · , t ) s 0 with w 0 and w d μ = 1 , and for any DSFL–admissible pair ( Φ ˜ t , Φ t ) obeying Φ t I = I Φ ˜ t and Φ t H H 1 , the global statistical share is conserved in time: w ( t ) d μ = w ( 0 ) d μ = 1 . Any apparent growth of exterior “information’’ can only arise from admissible redistribution across the cut before a horizon forms, or from long–range correlations within the exterior/radiation channel; it cannot be attributed to creation of new sDoF behind the horizon.
Proof (concise).
The one–budget ansatz identifies the statistical channel with a probability density w ( · , t ) on a fixed carrier; admissible updates on S are Markov (mass–preserving) by construction, hence w ( t ) d μ is time–invariant. Intertwining Φ t I = I Φ ˜ t ensures that every physical reweighting has a calibrated statistical representative (no duplication of sDoF). Nonexpansiveness in H (firmly nonexpansive/orthogonal projection structure) forbids fabricating additional calibrated content on the response side [8, Chs. 1–4]. Thus budget is conserved and only reallocated across the cut when causal support allows it (no horizon), or encoded into exterior/radiation correlations (after horizon formation). □
Corollary 4
(Compatibility with Page–type purification). Let R ( t ) denote the radiation subsystem at time t and suppose the slice–wise evolution is DSFL–admissible (a Stinespring dilation followed by partial trace per “tick’’) and quasiunitary at the global level. Then the radiation residual R rad ( t ) is nonincreasing by the Hilbertian DPI,
R rad ( t + δ ) = Φ Hawk ( p rad ) I Φ ˜ Hawk ( s rad ) H 2 R rad ( t ) ,
while the entanglement pattern between early and late radiation can purify the total state through correlations (island–type saddles, or ordinary global correlations), keeping the global residual bounded in time, without ever forcing an increase in any exterior local residual (which continues to obey a Lyapunov envelope outside). Hence a “Page curve’’ for von Neumann entropy of R ( t ) does not conflict with the stepwise DPI (30) nor with the exterior decay law (27) [4,5,6].

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 L 2 –misfit R ( s , p ) :
    R ( Φ ˜ s , Φ p ) = Φ ( p I s ) H 2 p I s H 2 ,
    for every admissible step (firm nonexpansiveness/orthogonal projections in Hilbert space) [8]. This one–line DPI proves (i) global nonincrease of R tot , (ii) local nonincrease of R for any exterior region, and—combined with known exterior decay estimates—(iii) an explicit exponential envelope for R out (ringdown) [10,11,15,16]. These are hard theorems about a quadratic functional, not assumptions about entropies.
Causal throttling of the slow loop at the horizon. The two–loop Volterra law e ˙ = K e 0 t M ( t τ ) e ( τ ) d τ + r encodes immediate local dissipation (coercive K ) and slow nonlocal relay (memory M L 1 ). Causal support of M (null/timelike only) implies that the interior→exterior block vanishes after horizon formation; i.e. no retarded influence sourced in the trapped region reaches the exterior domain of dependence [1,2]. Consequently, the exterior dynamics reduce to the dissipative loop (plus helpful exterior memory) and obey a Lyapunov inequality; there is no possibility of “revivals from behind the horizon’’. This conclusion is a direct application of domain–of–dependence for retarded kernels [9] and exterior energy/red–shift identities [10,15,16].
Hawking ticks are admissible and L 2 –contractive. Each emission step is CPTP with a Stinespring dilation; in the Heisenberg picture it is unital/CP and thus contractive in L 2 (Kadison–Schwarz; partial–trace contractivity) and obeys quantum data processing [7,12,17,18,19,20]. Local KMS (thermal) marginals therefore coexist with stepwise contraction of R; the microstate–dependence can and should live in correlations, consistent with modern island–based resolutions [3,4,5,6]. The DSFL inequality (30) thus proves that exterior calibrated mismatch never increases under Hawking emission.
One–budget = “information as sameness”, not substance. The sDoF is a single global resource ( w = 1 ), coherently paired to the response by I . Admissible maps can redistribute the share and relocate correlations but cannot create new sDoF (no cloning/birth of content); this follows from Markov mass–preservation on w and L 2 –nonexpansiveness on p [7,8,24]. Proposition 4 formalizes this: any exterior “gain’’ must be either (a) pre–horizon inflow permitted by causality, or (b) emergence of correlations within the exterior/radiation algebra. There is no hidden “stuff’’ behind the horizon to be recovered; only blueprint/response sameness routed and throttled by causal structure.
Consistency with the Page curve by construction. Because DSFL constrains R rather than marginal entropy, and because the slow loop is causally gated while the immediate loop is dissipative, one gets: (i) R rad and R out are nonincreasing functions of time (DPI); (ii) the entanglement structure (early/late radiation, or islands) can purify the global state without forcing any increase in local R; (iii) the resulting Page–type entanglement profile is thus automatically compatible with (30) and (27) [4,5,6].

7.2.3. What This Buys Empirically/Theoretically.

  • Empirical envelopes. The semi–log slope of any exterior L 2 –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].
  • No–inflation under coarse–graining. Any physically reasonable exterior coarse–graining (Bondi/null averaging; detector maps) must be L 2 –nonexpansive; failure falsifies the calibration or admissibility [8,12].
  • 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).

By replacing “information’’ with the calibrated residual of sameness R in a single comparison geometry, DSFL turns the paradox into a theorem scheme: (i) global and local no–inflation (DPI), (ii) exterior Lyapunov decay (red–shift/QNM), (iii) causal throttling of nonlocal relay at the horizon, and (iv) admissibility of the Hawking ticks. What remains—purification—is then necessarily a matter of correlations, not of marginal spectra. This is precisely where modern resolutions place it, and DSFL proves everything the semiclassical channel can prove while staying fully consistent with island–based Page curves [3,4,5,6].

7.3. What Can Be Tested (Falsifiability Within DSFL)

The decisive advantage of the DSFL formulation is that the core claims reduce to operator–geometric and causal statements that can be checked in simulation or data, independently of any microscopic completion. Below are concrete tests; each has a clear pass/fail criterion and rests on standard tools (firmly nonexpansive projections and Stinespring/Kraus dilations in H , red–shift/QNM decay outside black holes, and domain–of–dependence/causality).
  • DPI tests (projection fidelity + data processing). Fix a comparison geometry ( H , · , · ) and a calibration ( I , J ( + ) ) with I J ( + ) = id P , J ( + ) I = P S . For any implemented exterior coarse–graining Φ (detector pipeline, Bondi/null averaging, near–horizon filtering) with statistical partner Φ ˜ , verify both:
    ( i ) Projection fidelity : I J ( + ) x x H ε proj x H , J ( + ) I y P S y H ε proj y H ;
    ( ii ) DPI : R ( Φ ˜ s , Φ p ) R ( s , p ) .
    Operationally: construct R = p I s H 2 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 L 2 –nonexpansive) or the calibration [8, Chs. 1–4]. When Φ is a physical CPTP step (Heisenberg unital/CP), L 2 –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 Φ ( I ) = I . Then test L 2 –nonexpansiveness:
    Φ ( X ) 2 X 2 for random X in a spanning set ( with tails ) ,
    and Kadison–Schwarz Φ ( X X ) Φ ( X ) Φ ( X ) [19,20]. Pass implies (30); fail falsifies the admissible–tick hypothesis.
  • Ringdown slopes (Lyapunov envelope & QNMs). Compute the exterior residual R out ( t ) = p out ( t ) I s out ( t ) H 2 from numerical spacetimes (e.g. perturbations of Schwarzschild/Kerr) and plot log R out ( t ) . DSFL predicts a straight–line envelope
    log R out ( t ) log R out ( t 0 ) 2 κ ( t t 0 ) , κ min { red shift gap , least QNM damping } ,
    with κ 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,
    e ˙ ( t ) = K e ( t ) 0 t M ( t τ ) e ( τ ) d τ + r ( t ) ,
    with M L 1 ( [ 0 , ) ) supported on null/timelike separations (retarded Green’s function). Form a trapped region H and an exterior tube U. Fit the cross–kernel contribution 0 t M U H ( t τ ) e ( τ ) d τ from synthetic data with the relay term toggled on/off; the DSFL ceiling requires
    0 t M U H ( t τ ) e ( τ ) d τ 0 ( within tolerance ) as soon as U lies outside the future domain of H ,
    so that the exterior reduces to the dissipative loop ( e ˙ U = K e U + r U ) [1,2,9]. A nonzero fitted relay across the trapped surface contradicts causality of M.
  • Budget mass–preservation (one–budget Markov test). Under s = w s 0 with w = 1 , verify that the induced statistical update is Markov (mass–preserving) on shares:
    ( T w ) d μ = w d μ = 1 , T w 0 ,
    and that the decomposition w = w remains normalized under block–Markov action. Any systematic drift of w falsifies the one–budget hypothesis.
  • Radiation correlations (thermal marginals, structured cross–blocks). Partition the Hawking outflow into time–windows/batches { R k } 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:
    R ( R k ; t + δ ) R ( R k ; t ) k , yet Corr ( R k , R k ) ¬ 0 ( k k ) .
    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 R out 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:
    d R d θ = d R d t d t d θ 2 κ ( t ( θ ) ) d t d θ R ( θ ) .
    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 θ F between U = P and V = ran I ¯ from orthonormal bases Q U , Q V via the largest singular value of Q U * Q V . Verify the one–step contraction lower bound
    p P V p sin θ F p ,
    (cf. Prop. 5). Persistent failure implies either misdeclared calibration or a nonorthogonal projection pipeline masquerading as P V .

7.3.1. Geometric Context and Operational Meaning of the Subspace–Angle Bound

Let U : = P H be the physical-response subspace and V : = ran I ¯ H the calibrated–blueprint subspace. Denote by P U , P V the orthogonal projectors onto U , V , and by θ F [ 0 , π / 2 ] the Friedrichs angle between U and V. Equivalently (CS–decomposition),
P U P V = cos θ F , P U P V = sin θ F .
The DSFL residual p I s is a distance between a point in U and a point in V. The following result quantifies the one–step geometric contraction achieved by projecting onto V; it depends only on the relative position of U and V, not on dynamics.
Proposition 5
(Subspace angle sets a one–step contraction). Let U : = P , V : = ran I ¯ H , and let θ F be their Friedrichs angle. For any p U the closest blueprint q V in the Hilbert metric is q = P V p , and
p q = p P V p = P U P V p P U P V p = sin θ F p .
More generally, for any z H with P V z = I s one has
p I s = P U ( P V z ) P U P V z = sin θ F z .
Proof. 
The closest point property of orthogonal projection gives q = P V p and p q = p P V p . Since p U , p P V p = P U P V p , hence p q P U P V p . By CS–decomposition, P U P V = sin θ F . For (39), write p I s = P U ( P V z ) and argue similarly. □
Remark 2
(Operational interpretation). The constant sin θ F is a calibration–quality number: small θ F (good alignment U V ) guarantees a strong one–shot reduction of the mismatch by the projection step; θ F = π / 2 (orthogonality) yields no guaranteed reduction.
Remark 3
(Computation of θ F ). Let Q U , Q V have orthonormal columns spanning U , V . The singular values of Q U * Q V are the cosines of the principal angles; in particular, cos θ F = Q U * Q V 2 and sin θ F = 1 cos 2 θ F .
Remark 4
(Diagnostic and design use). If a processing block implements (exact or approximate) projection onto V, the observed per–step residual drop should be bounded below by the factor sin θ F predicted by (38). Persistent violation falsifies either nonexpansiveness/admissibility of the block or the declared calibration. Conversely, tuning I to reduce θ F accelerates any projection–like DSFL iteration.

7.3.2. Workflow and Diagnostics.

  • Calibrate once, test many. Choose ( I , J ( + ) ) and fix H ; verify I J ( + ) = id and J ( + ) I = P S to within tolerance (orthogonal conditional expectations in L 2 [7]).
  • Contractivity dashboards. For every map in the pipeline (numerics or experiment), record Δ R = R out R in with CIs; the DPI requires Δ R 0 [8].
  • Ringdown fits. Report the semi–log slope and compare to the least QNM damping/red–shift gap [11,15,16].
  • Relay toggles. Re–run with M deactivated inside H ; 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.

Each pillar of DSFL corresponds to a standard, independently testable ingredient: firmly nonexpansive maps in Hilbert space and Stinespring/Kraus dilations guarantee L 2 –contractivity [7,8,12]; red–shift/QNM theory fixes exterior decay rates [10,11,15,16]; and domain–of–dependence forbids a slow relay across horizons [1,2,9]. Island/Page–curve phenomenology is then encoded as correlation structure rather than local spectra [4,5,6]. Any of the following falsifies DSFL or the declared calibration: (i) increase of R under a physical coarse–graining (DPI violation), (ii) semi–log ringdown envelopes incompatible with the least QNM/red–shift gap, (iii) a nonzero fitted cross–kernel M U H across a trapped surface, or (iv) absence of cross–batch correlations alongside thermal single–batch marginals. The fact that each failure mode targets a different, well–understood mechanism (operator–geometric, spectral, causal, or structural) makes the overall package stringent and model–independent.

7.4. Concluding Discussion

The Deterministic Statistical Feedback Law (DSFL) equips us with a single, operational “thermometer’’ for information flow: the calibrated residual
R : = p I s H 2 ,
which quantifies, in one common Hilbert geometry, how well the physical response p is aligned with its statistical blueprint I s . This yardstick is deliberately modest—no microstate taxonomy, no entropic bookkeeping by fiat—yet it is strong enough to carry both an arrow of time and the relevant conservation laws. Two structural ingredients then organize the physics. First, admissibility (intertwining + nonexpansiveness) yields a Hilbertian data–processing inequality:
R ( Φ ˜ s , Φ p ) = Φ ( p I s ) H 2 R ( s , p ) ,
so any exterior residual R out ( t ) is monotone nonincreasing under physically legitimate coarse–grainings and channel concatenations. Second, dynamics naturally split into an immediate (local) dissipation loop and a slow nonlocal coherence loop; causality throttles the latter at the horizon, which prevents it from relaying calibrated content back into the exterior once a trapped region forms. In this light, the Hawking channel is simply another admissible (contractive) map on the exterior: it does not inflate R, and whatever microstate dependence survives can reside in correlations among radiation modes without spoiling the near–thermal character of local marginals.
The conceptual payoff is that unitarity, a semiclassical exterior, and “no drama’’ are not mutually exclusive once we track the right observable—sameness—instead of marginal von Neumann entropy. Within this framework we obtain proved statements:
  • Hilbert–space DPI for R. For every admissible pair ( Φ ˜ , Φ ) , R is nonincreasing. Exterior residuals therefore cannot be created by tuning, gluing, or counting: R out ( t + Δ t ) R out ( t ) .
  • 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 R ˙ out 2 κ R out + o ( R out ) , so semi–log plots of R out ( t ) 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 s ( · , t ) = w ( · , t ) s 0 , the statistical share is globally conserved ( w = 1 ) 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.
Taken together, these statements replace the apparent trilemma—unitarity vs. semiclassical exterior vs. regular horizon— with a clarified division of labor. Unitarity constrains the global blueprint/response pairing and its correlations; the semiclassical exterior supplies a local Lyapunov (ringdown) envelope for R out (red–shift/QNMs); and horizon regularity enforces a causal ceiling that disables the slow relay across H . Nothing in this trinity forces R out to revive, or local marginals to deviate from near–thermality, or the horizon to become singular. Instead, purification proceeds through radiation correlations, while the exterior residual monotonically decays—exactly the pattern DSFL predicts and modern island/Page–curve analyses realize [4,5,6].
Finally, the framework is falsifiable and actionable. Projection–fidelity and DPI checks certify calibration and admissibility in implemented pipelines (Sec. 7.3; [7,8,12]); ringdown slopes of R out ( t ) can be extracted and compared to least–damped QNM/red–shift gaps [10,11,15,16]; horizon “no–relay’’ can be tested by toggling nonlocal kernels in controlled simulations and fitting the interior→exterior cross–block (which must vanish by domain–of–dependence [1,2,9]); and radiation data can be probed for the characteristic pattern of thermal local marginals with structured cross–correlations—correlations that carry the blueprint/response pairing without increasing any local residual [4,5,6]. In short, DSFL reframes the paradox by identifying the conserved, causal, and contractive quantity that should be tracked all along: not standalone marginal entropy, but calibrated sameness R in a single comparison geometry.

8. Acknowledgements

The author affirms sole authorship of this work. The first–person plural (“we”) is used strictly for expository clarity. No co-authors or collaborators contributed to the conception, development, analysis, writing, or revision of the manuscript. The author received no external funding and declares no institutional, ethical, or competing interests.

9. Author’s Note.

This paper applies a sector–neutral Lyapunov–residual framework (DSFL) to the black–hole information problem. Our goal is not to modify semiclassical QFT or operator-algebraic formalisms, but to isolate the minimal calibrated quadratic residual in a common Hilbert geometry and prove what semiclassics does constrain: a data–processing inequality and an exterior Lyapunov (ringdown) envelope under explicit hypothesis gates (calibration, admissibility, coercivity). The results connect standard tools—Hilbert–space nonexpansiveness [8], quantum DPI/conditional expectations [7,14], and exterior decay/red–shift estimates [10,11]—to the information-paradox narrative by shifting the constrained observable from marginal entropies to a calibrated L 2 misfit.

10. Declaration of Generative AI and AI–Assisted Technologies in the Writing Process

During preparation of this manuscript, the author used ChatGPT (OpenAI) in a limited, assistive capacity to: (i) convert draft formulas and definitions into , (ii) suggest editorial refinements to headings, tables, and boxed statements, and (iii) refactor small, non–critical code snippets (e.g., plotting and data–wrangling utilities) between R and Python. All outputs were reviewed, edited, and independently verified by the author; the author is solely responsible for the scientific content, mathematical claims, proofs, and conclusions. No generative system was used to fabricate, analyze, or select scientific results, and no proprietary or unpublished data were provided to any AI system.

11. Funding.

None.

12. Competing Interests.

The author declares no competing interests.

13. Data and Code Availability.

No new datasets were generated or analyzed in this study. Any illustrative code fragments used for figures or schematic checks are available from the author upon reasonable request.

Appendix A. Notation

Table A1. Symbols and conventions used throughout. The comparison Hilbert space is ( H , · , · ) with norm x H : = x , x .
Table A1. Symbols and conventions used throughout. The comparison Hilbert space is ( H , · , · ) with norm x H : = x , x .
Symbol Type / Domain Meaning / Assumptions
Spaces and geometry
H Hilbert space Comparison geometry for both channels; inner product x , y , norm x H = x , x .
S Linear space Statistical channel space (e.g., vacuum/constraint objects).
P H Closed subspace Physical channel space (e.g., observables/fields inside H ).
P S : S S Projector Metric projection onto the admissible statistical subspace; encodes statistical gauge.
Channels and maps
s S State (stat.) Statistical channel. In one-budget model: s ( x ) = w ( x ) s 0 , V w = 1 , w 0 .
p P State (phys.) Physical channel.
I : S P Linear map Interchangeability (calibration/embedding) of s into P .
J ( + ) : P S Linear map Statistical representative of p; satisfies J ( + ) I = P S .
C : S P Linear map Calibration operator (units/indices/gauge); often C I .
Interchangeability identities
I J ( + ) = id P Identity Pushing p to S then back gives p.
J ( + ) I = P S Identity Pushing s to P then back gives the projected s.
Residuals (mismatch measures)
R phys ( s , p ) Scalar Physical-side residual: p I ( s ) H 2 .
R stat ( s , p ) Scalar Statistical-side residual: s J ( + ) ( p ) S 2 .
R sameness ( s , p ) Scalar Canonical residual p C s H 2 (often C = I ).
R sameness ( D ) Scalar Differential residual D p + D ( C s ) H 2 (e.g., D = , 2 ).
Propagation and DSFL parameters (optional, when dynamics are used)
e : = p C s Element of P Residual vector in H .
K = K * 0 Operator on P Dissipative/elliptic part (Dirichlet/Lichnerowicz/constitutive).
g Element of P Controlled remainder (lower orders, background drift).
κ > 0 Scalar Gap/coercivity constant: K e , e κ e 2 .
ε 0 Scalar Remainder bound: | e , g | ε e 2 .
α = 2 κ 2 ε Scalar DSFL rate in R ˙ α R (when dynamics are present).
Angles and subspace geometry
U = P , V = ran I ¯ Subspaces of H Physical subspace and calibrated statistical range.
P U , P V Projectors Orthogonal projectors onto U and V.
θ F [ 0 , π / 2 ] Angle Friedrichs angle: P U P V = cos θ F .
Q U , Q V Matrices/bases Orthonormal bases spanning U and V; CS/SVD: Q U * Q V = W Σ Z * , Σ = diag ( cos θ k ) .
Admissible (“entanglement-like”) redistribution
Φ ˜ : S S Linear map Statistical operation (Markov/coherent/CPTP marginal).
Φ : P P Linear map Physical operation (contractive in H ).
Intertwining Identity Φ C = C Φ ˜ , Φ ˜ J ( + ) = J ( + ) Φ .
Contractivity Inequality Φ x H x H , Φ ˜ y S y S .
Residual monotonicity Inequality R sameness ( Φ ˜ s , Φ p ) R sameness ( s , p ) .
One-budget (statistical resource) model
s 0 S Fixed template Global statistical prototype (primordial sameness), s 0 normalized.
w ( x ) Nonnegative weight Share field, V w = 1 ; s ( x ) = w ( x ) s 0 .
K ( x , y ) Kernel Markov kernel: K 0 , K ( x , y ) d x = 1 ; preserves w = 1 .
Budget/causality constraints
d ( · ) Counter Local complexity/effective rank/energy counter; monotone & subadditive.
v Speed Carrier/relay speed (e.g., wave speed, Lieb–Robinson velocity).
corr Length Correlation diameter/interaction range.
Causal ceiling Bound d d t d ( p U ( t ) ) κ v corr for a moving volume U ( t ) .
Sector shorthands (used in mini-cases)
PDE u = P ρ , B β I , Helmholtz split u = ϕ + w , Poincaré λ 1 .
OA/QMS L 2 ( ω ) GNS space; E N conditional expectation (orthogonal projector).
OU/free A = Δ + m 2 , covariance Σ τ , gap λ * : = inf σ ( A | ker A ) .
Constants frequently used
β > 0 Scalar Uniform ellipticity margin (PDE).
λ , λ 1 Scalars Poincaré/spectral constants (domain/semigroup).
λ * Scalar Hamiltonian/spectral gap (OU/free field).
κ , ε Scalars Coercivity/remainder (DSFL template).
α Scalar Dissipation rate ( α = 2 κ 2 ε 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?

We distinguish two co-representations of the same underlying system:
  • Statistical degrees of freedom (sDoF) s S : the blueprint of what the system should present (model/prior/target features).
  • Physical degrees of freedom (pDoF) p P H : the response actually realized by the device/field/dynamics, embedded in the comparison Hilbert space ( H , · , · ) .
The spaces S and P are not separate universes: both are embedded (or canonically identified) inside the same Hilbert geometry H , so that “comparison” is well-typed and Euclidean (inner-product) in a single norm.

Appendix A.1.2. Step 2: Interchangeability (calibration) aligns sDoF and pDoF pointwise.

A linear calibration pair ( I , J ( + ) ) implements a two-way identification,
I : S P H , J ( + ) : P S ,
with the interchangeability identities
I J ( + ) = id P , J ( + ) I = P S .
Equation (A1) means: (i) every physical state p has a unique calibrated statistical representative J ( + ) p , and pushing it back gives p again; (ii) every statistical state s calibrates to a physical image I s , and reading it back gives the same s up to the canonical projector P S . Importantly, this identification is local in H : for each coordinate (pixel/mode/basis vector) the same comparison geometry and the same linear maps are used. Thus s and p are co-located pointwise in H via I and J ( + ) .

Appendix A.1.3. Step 3: One Observable—the Residual of Sameness.

Given ( s , p ) define
R ( s , p ) : = p I s H 2 .
This is the squared distance from the response to the calibrated blueprint. It is zero iff p = I s  at every point in the comparison geometry (full sameness). Because I , J ( + ) act in H , R can be decomposed and controlled pointwise (or modewise) just by orthogonal projection and Pythagoras.

Appendix A.1.4. Step 4: Why the “Fast Loop” in the Dual-Scale Feedback is immediate.

The dual-scale law splits calibrated evolution into:
e ˙ ( t ) = K e ( t ) fast , local loop 0 t M ( t τ ) e ( τ ) d τ slow , nonlocal , causal relay + r ( t ) , e : = p I s .
Because s and p are aligned pointwise in the same geometry by I , J ( + ) , the operator K can act locally and instantaneously on the misfit e at each coordinate of H : it is a pointwise (or diagonal/modewise) dissipative action that reduces e without any need to fetch information from elsewhere. Concretely:
  • The fast loop  K e is the immediate “local correction’’: at each x (or each mode), the system can push p ( x ) toward I s ( x ) because both live side-by-side in H via the calibration. This locality is guaranteed by the interchangeability identities (A1) and the fact that R 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.
In short: interchangeability makes s and p comparable and correctable pointwise, so the fast loop is an instantaneous local contraction of e; the slow loop handles only those adjustments that require coherence across points and is thus limited by relay/causality.

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 H obeys
    R ( Φ ˜ s , Φ p ) = Φ ( p I s ) H 2 p I s H 2 .
    This holds stepwise and pointwise because orthogonal projection in H preserves the local decomposition.
  • Lyapunov envelope. If the fast loop has a coercivity margin K e , e κ e 2 (and the remainder is lower-order), then
    d d t R ( t ) 2 ( κ ε ) R ( t ) R ( t ) e 2 ( κ ε ) t R ( 0 ) .
    This semi-log straight-line decay is the direct reflection of immediate, pointwise contraction enabled by interchangeability.

Appendix A.1.6. Bottom Line.

Define sDoF/pDoF inside one Hilbert geometry, align them with an interchangeability pair ( I , J ( + ) ) so that “blueprint’’ and “response’’ coincide pointwise when calibrated, and measure mismatch by R = p I s 2 . Then: (i) orthogonal geometry gives a one-line DPI (no inflation under any admissible step), and (ii) the fast part of the dual-scale feedback is immediate because, at every point of H , p can be locally moved toward I s without waiting for nonlocal relay; only the slow loop requires coherence across points and is causally throttled. This is precisely why interchangeability must be introduced before the dual-scale feedback: it is the structural reason the fast loop exists and acts instantaneously.

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.

Fix a (real or complex) Hilbert space ( H , · , · ) with norm x : = x , x . We embed two channels in the same  H :
  • a statistical blueprint space S (sDoF), and
  • a physical response space P H (pDoF).

Appendix B.1.2. Interchangeability (Calibration).

A linear pair
I : S P , J ( + ) : P S
aligns types/units across channels and obeys
I J ( + ) = id P , J ( + ) I = P S ,
with P S the orthogonal projector onto S H . Thus p = I s and s = P S J ( + ) p are two coordinates of the same calibrated state in the common geometry.

Appendix B.1.3. Residual of Sameness.

The sector–neutral mismatch is the squared distance to Im I :
R ( s , p ) : = p I ( s ) H 2 0 , R ( s , p ) = 0 p = I s .
R is invariant under any isometry U : H H with U ( Im I ) = Im I .

Appendix B.1.4. Admissible (Physically Allowed) Updates.

An update ( Φ ˜ , Φ ) with Φ ˜ : S S and Φ : P P is admissible if
Φ I = I Φ ˜ ( intertwining ) , Φ H H 1 ( nonexpansive in H ) .
(If a “one–budget’’ statistical convention is used, we additionally require Φ ˜ to be Markov/CPTP on the share, cf. §B.2.)

Appendix B.1.5. DPI in One Line.

From (A4)–(A5):
R ( Φ ˜ s , Φ p ) = Φ p I s H 2 p I s H 2 = R ( s , p ) .
Hence no admissible evolution can inflate the calibrated misfit. Composition preserves admissibility and DPI.

Appendix B.2. One–budget convention (no duplication of description)

To forbid “cloning” of statistical content, we represent sDoF as a reweighting of a fixed prototype:
s ( · , t ) = w ( · , t ) s 0 , w 0 , w d μ = 1 .
Admissible Φ ˜ acts as a Markov/CPTP map on w (global mass preserved). Apparent increases of local “information’’ are then accounted for by redistribution (reweighting w) and correlations, never by creation of a second stock of sDoF.

Appendix B.2.1. Step 4: Why the “Immediate Loop’’ Is Immediate (and How Interchangeability Makes It Local)

Recall the dual–scale (Volterra) evolution for the calibrated mismatch e : = p I s :
e ˙ ( t ) = K imm e ( t ) 0 t M ( t τ ) e ( τ ) d τ slow , nonlocal , causal relay + r ( t ) ,
where we now call the first term the immediate loop and write its generator as K imm . Intuitively, the immediate loop is “now-and-here’’: it reduces eat the place and time where e lives, without fetching information from other points or past times. This locality stems from interchangeability (calibration) together with a structural hypothesis on K imm .

Appendix B.3. Interchangeability conditions (calibration).

We assume the bounded linear pair ( I , J ( + ) ) satisfies
I J ( + ) = id P , J ( + ) I = P S , I : S P H , J ( + ) : P S ,
with P S the orthogonal projector onto the blueprint subspace in H . These identities ensure that for every ( s , p ) the calibrated error
e : = p I s P
is an honest vector in the physical space P , and that “moving the blueprint or the response’’ is well-typed in the same Hilbert geometry. Equivalently, the residual is an orthogonal (Pythagorean) sum:
R ( s , p ) = p I s H 2 = e H 2 minimizing R = minimizing e in P .

Appendix B.4. When Is the Loop Immediate? (Locality/Diagonalizability of K imm ).

The loop is immediate provided K imm acts locally on e in the chosen representation of H . Two standard incarnations:
  • Modewise (diagonal) case. There exists an orthonormal basis { u k } P and eigenvalues λ k 0 with K imm u k = λ k u k . Writing e k ( t ) : = e ( t ) , u k gives
    e ˙ k ( t ) = λ k e k ( t ) e k ( t ) = e k ( 0 ) e λ k t , e ( t ) 2 = k | e k ( 0 ) | 2 e 2 λ k t .
  • Coordinatewise (local operator) case. In a spatial representation of H (e.g. L 2 ),
    K imm = L * B L , K imm e , e = B L e , L e ,
    with L a local differential operator (e.g. gradient) and B ( x ) 0 a pointwise constitutive tensor (uniform ellipticity B β I gives coercivity). Then e ˙ = K imm e updates e from its own local features L e at each point—no spatial integration over remote data is needed.
In both cases, the loop does not integrate over the past ( M 0 in the loop) and does not require nonlocal spatial averaging; therefore it is immediate in time and local in space/modes.
Preprints 182372 i004

Appendix B.5. Why Interchangeability Matters.

Interchangeability (A9) ensures that the target I s and the response p are two representations of the same calibrated object in the same geometry. Consequently:
  • The residual R = p I s 2 is exactly the squared energy of e (A10); there is no hidden coupling to other “gauges’’ or spaces.
  • A local (or diagonal) K imm reduces epointwise/modewise, because p and I s are co-located in H ; the loop never needs to “translate’’ between spaces to know which way to push.
  • Orthogonal projection identities in H 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 H = L 2 ( M , ω ) for a faithful state ω . Take J ( + ) as the ω -preserving conditional expectation and I the inclusion; then I J ( + ) = id P , J ( + ) I = P S [7,14,34,35]. Choose K imm 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 H = L 2 ( Ω ; R m ) , e : = p I s , and K imm e , e = Ω B ( x ) L e , L e d x , with B ( x ) β I and L local (e.g. ∇). Then e ˙ = K imm e d d t e 2 = 2 B L e , L e 2 β L e 2 , and a Poincaré/Helmholtz inequality yields (A12) with κ = β λ 1 .

Appendix B.7. Summary.

Interchangeability places blueprint and response in the same Hilbert geometry, so the residual is a plain squared norm. If, in that geometry, the generator K imm is local (or diagonal) and positive (coercive), then each coordinate/mode of e obeys an immediate one–dimensional decay, and the total energy follows by Pythagoras/Parseval. The slow loop 0 t M ( · ) e encodes delayed, nonlocal corrections; causality throttles that relay across horizons, leaving the immediate loop to enforce the exterior Lyapunov envelope.

Appendix B.8. Propagation Identities and Lyapunov Envelopes

In the DSFL picture, once statistics and physics are co-located in the same Hilbert geometry, the propagation of the calibrated mismatch e : = p I s is most naturally controlled by energy identities and comparison estimates. At this level of generality we do not assume a specific micromodel; we only require a sector–provided evolution law whose instantaneous (local) part is accretive and whose retarded (nonlocal) part is causal and positive. The key outcome is a Lyapunov envelope for the single observable R ( t ) = e ( t ) H 2 : a differential inequality of the form R ˙ 2 ( κ ε ) R implies exponential decay with a rate set by a coercivity margin  κ (the immediate loop’s gap) up to lower–order leakage ε . The next paragraphs record the sector–specific residual identity that yields this envelope and the resulting semilog “straight–line’’ decay for R .

Appendix B.8.1. Residual Identity (Sector–Specific).

When the sector supplies a differential identity for e : = p I s ,
d d t e ( t ) H 2 = 2 K e , e H + 2 e , g H ,
with K = K * 0 and | e , g H | ε e H 2 , any calibrated gap/coercivity
K e , e H κ e H 2
yields a Lyapunov envelope:
R ˙ ( t ) 2 ( κ ε ) R ( t ) R ( t ) e α t R ( 0 ) , α : = 2 ( κ ε ) > 0 .
Thus log R decays linearly with slope α (semi–log straight line). The rate α is the sector’s single dial (gap minus lower–order leakage).

Appendix B.8.2. Operational Arrow.

The accumulated reduction
S R ( t ) : = log R ( t ) R ( 0 ) = 0 t α ( τ ) d τ
is monotone, quantifying “how much calibrated mismatch was removed’’ independent of clock parametrization.

Appendix B.9. Minimal Usage (Practitioner Checklist)

  • Pick the geometry: choose H so both channels embed naturally.
  • Calibrate: construct ( I , J ( + ) ) with (A3).
  • Gate admissibility: verify (A5) for your updates (and budget preservation if using (A7)).
  • Read off a rate: identify ( κ , ε ) in (A13) to obtain α = 2 ( κ ε ) and the envelope (A14).
  • Report R and S R : track R and its semi–log slope; compare design choices by S R .

Appendix B.10. Remarks (Existence, Uniqueness, Robustness)

  • Nonuniqueness of ( I , J ( + ) ) . Many calibrations may realize (A3); results that rely only on (A6) are invariant under switching to any other ( I , J ( + ) ) with the same image Im I .
  • Robustness of DPI. Any Φ with Φ 1 and intertwining survives composition and limits; DPI extends to piecewise–constant and time–varying admissible flows.
  • Local vs nonlocal dynamics. The propagation identity (A13) can represent local dissipation ( K ) plus causal memory kernels (Volterra terms); only the coercivity margin matters for (A14).

Appendix C. Generic Two–Channel Application Template

Let s ( t ) S and p ( t ) P H , with a calibration I : S P and misfit e ( t ) : = p ( t ) I s ( t ) , residual R ( t ) : = e ( t ) H 2 . Suppose the sector furnishes
R ˙ ( t ) = 2 K e , e H + 2 e , g H , K = K * 0 , | e , g H | ε e H 2 ,
and a gap K e , e H κ e H 2 . Then
R ˙ ( t ) 2 ( κ ε ) R ( t ) R ( t ) e 2 ( κ ε ) ( t t 0 ) R ( t 0 ) .
In parallel, if ( Φ ˜ , Φ ) is admissible ((A5)), the DPI
R ( Φ ˜ s , Φ p ) R ( s , p )
holds for any coarse–graining step. In practice: use (A18) to certify “no inflation’’ under processing; use (A17) to predict semi–log straight–line decay once a coercivity margin is present.

Notes

1
In an operator–algebraic realization one may work in a GNS/KMS L 2 –geometry, H = L 2 ( M , ω ) for a faithful state ω , take J ( + ) as an ω –preserving conditional expectation and P S as the associated orthogonal projection [7,14,34,35]. In convex–analytic settings P S can be seen as the metric projection onto a closed convex set [8].
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 L 2 –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
In operator–algebraic realizations, J ( + ) : P S can be taken as an ω –preserving conditional expectation and the normalization corresponds to ω ( J ( + ) p ) = ω ( p ) [7,14]. In classical L 1 / L 2 , the unit mass is the L 1 normalization of a probability density; conservation then follows from Markov (mass–preserving) updates [24].

References

  1. Hawking, S.W.; Ellis, G.F.R. The Large Scale Structure of Space–Time; Cambridge University Press: Cambridge, 1973.
  2. Wald, R.M. General Relativity; University of Chicago Press: Chicago, 1984.
  3. Giddings, S.B. Nonviolent information transfer from black holes: a field theory parametrization. Physical Review D 2013, 88, 064023. [Google Scholar] [CrossRef]
  4. Harlow, D. Jerusalem Lectures on Black Holes and Quantum Information. Reviews of Modern Physics 2016, 88, 015002. [Google Scholar] [CrossRef]
  5. Penington, G. Entanglement Wedge Reconstruction and the Information Paradox. Journal of High Energy Physics 2020, 2020, 002. [Google Scholar] [CrossRef]
  6. 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]
  7. Ohya, M.; Petz, D. Quantum Entropy and Its Use; Texts and Monographs in Physics, Springer: Berlin, 1993.
  8. 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]
  9. Gripenberg, G.; Londen, S.O.; Staffans, O. Volterra Integral and Functional Equations; Cambridge University Press: Cambridge, 1990.
  10. 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]
  11. 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]
  12. Breuer, H.P.; Petruccione, F. The Theory of Open Quantum Systems; Oxford University Press, 2002.
  13. Petz, D. Monotonicity of Quantum Relative Entropy. Reviews in Mathematical Physics 2003, 15, 79–91. [Google Scholar] [CrossRef]
  14. Takesaki, M. Theory of Operator Algebras II; Vol. 125, Encyclopaedia of Mathematical Sciences, Springer: Berlin, 2003.
  15. Dafermos, M.; Rodnianski, I. A new physical-space approach to decay for the wave equation, 2010. Preprint; see also arXiv:0910.4957.
  16. 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]
  17. Stinespring, W.F. Positive Functions on C*-Algebras. Proceedings of the American Mathematical Society 1955, 6, 211–216. [Google Scholar]
  18. Kraus, K. General state changes in quantum theory. Annals of Physics 1971, 64, 311–335. [Google Scholar] [CrossRef]
  19. Kadison, R.V. A generalized Schwarz inequality and algebraic invariants for operator algebras. Annals of Mathematics 1952, 56, 494–503. [Google Scholar] [CrossRef]
  20. Bhatia, R. Matrix Analysis; Vol. 169, Graduate Texts in Mathematics, Springer: New York, 1997. [CrossRef]
  21. Unruh, W.G. Notes on black-hole evaporation. Physical Review D 1976, 14, 870–892. [Google Scholar] [CrossRef]
  22. Lindblad, G. Completely Positive Maps and Entropy Inequalities. Communications in Mathematical Physics 1975, 40, 147–151. [Google Scholar] [CrossRef]
  23. 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]
  24. Cover, T.M.; Thomas, J.A. Elements of Information Theory, 2 ed.; Wiley Series in Telecommunications and Signal Processing, Wiley: Hoboken, NJ, 2006. [CrossRef]
  25. 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]
  26. Hawking, S.W. Breakdown of Predictability in Gravitational Collapse. Physical Review D 1976, 14, 2460. [Google Scholar] [CrossRef]
  27. Wald, R.M. Quantum Field Theory in Curved Spacetime and Black Hole Thermodynamics; University of Chicago Press, 1994.
  28. Page, D.N. Average Entropy of a Subsystem. Physical Review Letters 1993, 71, 1291–1294. [Google Scholar] [CrossRef]
  29. Page, D.; Wootters, W. Evolution without evolution Dynamics described by stationary observables. Physical Review D 1983, 27, 2885. [Google Scholar] [CrossRef]
  30. Almheiri, A.; Marolf, D.; Polchinski, J.; Sully, J. Black Holes: Complementarity or Firewalls? Journal of High Energy Physics 2013, 2013, 062. [Google Scholar] [CrossRef]
  31. Mathur, S.D. The Information Paradox: A Pedagogical Introduction. Classical and Quantum Gravity 2009, arXiv:hep-th/0909.1038]26, 224001. [Google Scholar] [CrossRef]
  32. Susskind, L.; Thorlacius, L.; Uglum, J. The Stretched Horizon and Black Hole Complementarity. Physical Review D 1993, 48, 3743–3761. [Google Scholar] [CrossRef]
  33. ’t Hooft, G. Dimensional reduction in quantum gravity. arXiv preprint 1993, [gr-qc/9310026].
  34. Takesaki, M. Conditional Expectations in von Neumann Algebras. Journal of Functional Analysis 1972, 9, 306–321. [Google Scholar] [CrossRef]
  35. Tomiyama, J. On the Projection of Norm One in W*-Algebras. Proceedings of the Japan Academy 1957, 33, 608–612. [Google Scholar] [CrossRef]
  36. Bauerschmidt, R.; Brydges, D.C.; Slade, G. Introduction to a Renormalisation Group Method; Vol. 2242, Lecture Notes in Mathematics, Springer, 2021.
  37. 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.
Copyright: This open access article is published under a Creative Commons CC BY 4.0 license, which permit the free download, distribution, and reuse, provided that the author and preprint are cited in any reuse.
Prerpints.org logo

Preprints.org is a free preprint server supported by MDPI in Basel, Switzerland.

Subscribe

Disclaimer

Terms of Use

Privacy Policy

Privacy Settings

© 2025 MDPI (Basel, Switzerland) unless otherwise stated