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
. We embed a
statistical blueprint channel
(sDoF) and a
physical response channel
(pDoF), linked by
interchangeability (calibration) maps
The only observable we track is the
calibrated residual of sameness
which vanishes iff the device output
pis the calibrated image
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
:
Then
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
evolves by a universal two–loop law:
with a
fast local dissipative loop
and a
slow nonlocal causal relay
(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
so the exterior residual
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
geometry [
7,
12]. Modeled as
, it satisfies (
2) stepwise:
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 ;
model Hawking ticks as admissible channels, reconciling local thermality with stepwise contraction;
show how a one–budget convention (probability share ) encodes “no duplication of description’’ while allowing redistribution and long–range correlations; and
spell out falsifiable diagnostics (projection+DPI checks, semi–log ringdown slopes, relay toggles, and radiation correlation structure) that do not depend on any microscopic island model.
1.5. Roadmap
Section 2 gives a two–page primer on the comparison geometry, interchangeability, the residual , 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 -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 , 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 -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 with norm . We embed:
- a statistical blueprint channel (what the model “asks” for), and - a physical response channel (what the system “does”)
in the same . This co-location makes comparisons well-typed, Euclidean, and orthogonalizable.
2.2. Interchangeability (Calibration) Maps.
A calibration pair
is required to satisfy
where
is the orthogonal projector onto the blueprint subspace
. 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,
is the calibrated meter that says when “model” and “device” are literally the same object in
.
2.3. Residual of Sameness.
With
we track a single observable—the
calibrated misfit
is the “thermometer” for sameness: it vanishes iff the physical response is exactly the calibrated image of the blueprint. Because
is purely metric in
, it is invariant under any isometry
with
(change of basis, polarization, or coordinates that preserve the calibrated image).
2.4. Admissible (Physically Allowed) Updates.
An update
—think “model step” on
and “physical step” on
—is
admissible if it satisfies
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):
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:
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 with , . If is admissible and acts locally on w through a linear positive operator (i.e. ), then is Markov:
Proof. Positivity follows from positivity of
. For mass, test against the constant functional induced by
:
using intertwining
and
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 with 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 (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
:
where the
immediate loop acts
locally (modewise or pointwise) in
and
captures slow, causal nonlocal relay;
r is a small admissible remainder. If
is positive (and, when needed, coercive on the exterior), then the energy identity
gives a Lyapunov envelope once
and
:
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
, then
preserves the sign and thus the monotonicity. A convenient intrinsic clock is
so
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
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
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
and
,
Paradox mapping:
(U) Unitarity: is nonincreasing (global DPI).
(S) Semiclassicality: any exterior coarse–graining/channel composition cannot increase .
(H) Thermality: local thermal marginals are compatible with DPI because the constraint is on R, not on marginal entropy spectra.
-
Dual–scale feedback with a causal ceiling at the horizon.
Statement: The slow, nonlocal (memory) loop has retarded support and cannot relay calibrated content across the event horizon; only the immediate (local) dissipative loop acts outside. Consequence: The exterior residual obeys a Lyapunov (ringdown) envelope with slope set by the least–damped exterior mode; no “revival of information’’ from behind the horizon is required or allowed. Paradox mapping: Preserves (S) and (“no drama”) simultaneously—no illegal export from the interior is needed for purification.
Theorem 1 (Exterior Lyapunov envelope).
Let satisfy
with , for some , and with . Then
Proof. Insert the bounds: Grönwall gives the exponential envelope. □
Proposition 1 (Causal throttling of the slow loop).
Let the calibrated mismatch obey a Volterra law
with strongly measurable and causal
in the sense that vanishes on pairs whose supports are spacelike separated beyond a finite propagation speed. If U is an exterior world tube and a trapped region (inside the event horizon), then for t beyond horizon formation,
i.e. the interior-to-exterior block of the memory relay vanishes.
Proof. By domain-of-dependence, the future of does not intersect U along causal curves. The retarded kernel 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 . 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
in a common Hilbert geometry
, the “information” we track is the
Residual of Sameness
the squared distance between the physical response
p and the calibrated blueprint
. 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
and
. Then the
one–line data–processing inequality (DPI) holds:
This is pure Hilbert geometry (firmly nonexpansive/projection calculus) [
8] and is the
–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
obeys a dual–scale law
where the
immediate generator
acts locally (modewise or pointwise) in
,
captures slow, retarded relay, and
r is small. The exterior energy identity
together with a coercivity margin
and a bounded remainder
(
) yields the
ringdown envelope
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,
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 –contractive (stepwise DPI).
A single “tick’’ admits a Stinespring dilation with interior trace,
so
(unitary invariance of HS–norm; partial–trace contractivity) and, in Heisenberg form, Kadison–Schwarz holds for unital CP maps [
17,
18,
19,
20]. Hence
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
with
,
. Admissible updates act by
Markov (mass–preserving) transfer on
w and are
–nonexpansive on
p. Shares can be
redistributed and
correlated, but no new sDoF are minted (no cloning/broadcasting in this
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 , for which and . 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 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 –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
of the Hawking radiation grows monotonically during the semiclassical era. Unitarity (A1), however, requires the
Page curve: after the “Page time”
,
must decrease and return to zero as evaporation completes, implying that late–time radiation purifies early radiation [
29]. Reconciling a monotonically increasing
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
be a (real or complex) Hilbert space that serves as a common
comparison geometry for two channels of description: a statistical (“blueprint”) space
and a physical (“response”) space
. The two channels are linked by a
calibration (interchangeability) pair of bounded linear maps
where
denotes the orthogonal projector onto a closed subspace canonically identified with the statistical range inside
.
1
The
Residual of Sameness is the sector–neutral, calibrated misfit
Thus
vanishes if and only if the physical response
p coincides with the calibrated image of the blueprint
s in the comparison geometry; being an
–norm, it is invariant under any isometry preserving
.
An update is a pair of bounded linear maps
acting respectively on
and
.
2 We call
admissible if it satisfies the
intertwining (calibration consistency) and
nonexpansiveness conditions
Under (
15) the residual obeys a Hilbertian
data–processing inequality (DPI):
The inequality (
16) is immediate from
and the contractivity of
in the
–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
–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 be a Hilbert space, a linear space, a closed subspace, and satisfy and . Suppose obeys (15). Then, for ,
Moreover, if Φ is firmly nonexpansive
(i.e. ), then
Proof. By intertwining, . Nonexpansiveness gives , hence the squared inequality. The firm–nonexpansive refinement follows by applying its defining inequality with . □
Lemma 2 (Dual residuals are equivalent).
Assume is injective with closed range and satisfies and . Define
Then there exist constants (determined by and the chosen norms) such that
Proof. Since
is a topological isomorphism, the open mapping theorem yields
with
for all
. Using
and
,
Hence
and
. The two–sided bound follows by squaring and taking
,
. □
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
and a time–dependent, nonnegative
share field of unit mass such that
The normalization
asserts that there is a
single statistical resource being redistributed, not created or copied.
3
3.3.2. Exclusivity and Identicality.
The pair carries two constraints:
Exclusivity. There is only one statistical species; any “split’’ is a
reweighting of
via (
17), never a duplication
.
Identicality. Wherever the prototype is presented, it is the same calibrated object, i.e. identical up to
:
Thus calibration and admissible evolution commute and do not change the species.
3.3.3. Admissible budget dynamics: conservation, redistribution, and DPI–compatibility.
Let
be
admissible (intertwining
and nonexpansive
). In the one–budget ansatz there exists a (time–dependent) linear positive operator
on shares such that
Hence admissibility
preserves the budget and may only
redistribute it; in particular, no new sDoF are minted by evolution. On the physical side
and the calibrated misfit obeys the Hilbertian DPI
Thus budget redistribution cannot inflate the residual.
Lemma 3 (Mass preservation and convexity under Markov pushforward). If is Markov (positive, ), then for any convex functional Ψ on shares one has for a suitable averaging operator depending on . In particular, and whenever is a contraction on .
Sketch. Standard Jensen/Doob arguments for stochastic kernels yield the convex averaging bound; –mass preservation is part of the Markov property; –contraction follows from positivity and the operator norm of . □
3.3.4. Discrete and Continuous Budget Evolution (Kinetic Form).
For a discrete pipeline of admissible steps
one obtains a chain
In continuous time, a Markovian generator
on shares gives a forward equation
where
is the
–adjoint acting on densities. Coupled to the physical side, admissibility yields
so the
budget flow and the
physical flow cooperate to decrease the misfit, with
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,
driving
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
via
with
This is
not duplication of sDoF; it is a
reallocation of the same budget:
and admissibility ensures coordinated reweightings
that preserve total mass.
3.3.6. Causal Relay Limits (Finite–Speed Budget Transport).
Budget redistribution is constrained by a finite relay speed
and a correlation length
. For any moving outer domain
a
causal cap bounds admissible growth of physical marginals:
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
, write
with
. An
admissible global update
that
does not factor into local pieces
but preserves the one budget acts as a
nonfactorizable stitching:
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
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 , , and (to tolerance). Violations falsify calibration/admissibility.
Share accounting. Any reported “split’’ must be traceable to
with
. Across horizons or cuts, outer counters can increase only by admissible inflow subject to the causal cap (
23).
Refinement stability. If a partition is refined (), admissibility lifts to a block–Markov action and mass conservation persists. DPI is preserved termwise.
Dual–scale rates. Semi–log slopes estimate fast ( from ) and slow ( from the retarded kernel) contraction rates. Transitions from single–lobe to multi–lobe w indicate redistribution, not duplication.
3.3.10. Summary.
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 . 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.



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 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
:
The operator
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 (
), one has
Thus memory enters through the
nonconstant operator symbol
; 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
as a passive, accretive “plant’’ that damps
e instantaneously (modewise/pointwise), and
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
whose
real part is nonnegative for
:
so the resolvent
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
–energies and using Fubini/Tonelli for positive kernels,
The memory term is nonnegative in the sense that there exists a
memory energy
with
. Define the Lyapunov functional
Then
Hence
M never
reduces dissipation; it merely stores dissipative credit in
. If
is accretive and
r is small,
decreases.
4.3. Sufficient Conditions for Exponential Decay.
Suppose the
immediate loop has a coercivity margin on
,
and the remainder is dominated by
,
Then
because
. Grönwall yields the Lyapunov envelope
Thus the
rate is set by the immediate loop (
), while memory helps (never hurts) decay.
4.4. Frequency–Domain Accretivity and Resolvent Bounds.
Let
. Accretivity of
and positive–real character of
imply
whence
Laplace inversion then furnishes (via standard contour bounds) an
–to–
estimate consistent with the time–domain envelope. If, moreover,
is sectorial (which holds for many positive kernels), one gets uniform bounds on
on vertical lines
, hence exponential stability.
4.5. Horizon Truncation and Causal Support.
On black–hole backgrounds, domain–of–dependence implies that the
interior→
exterior block
vanishes after horizon formation. Consequently the exterior evolution
closes:
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
, the calibrated mismatch contracts stepwise:
and a block–Markov action
on shares (one–budget) preserves mass,
. 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
, the DPI is unchanged and the Lyapunov inequality rescales by
:
Hence monotonicity is invariant; a convenient intrinsic clock is
, for which
.
4.8. Edge Cases and Rates.
If
but
, 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
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
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
interior→
exterior block of the memory kernel vanishes:
which is precisely the no–relay assertion. At a technical level, (
26) is the operator–valued version of support propagation for retarded solutions: if
for
, then
is contained in the causal future of
; 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
(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
and a correlation length
; (
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
Taking the
–energy
and differentiating gives
Whenever the local loop is
coercive,
with
, and the remainder is small,
with
, one obtains
Here the memory term is
helpful: for positive kernels one can define a memory energy
with
, so the convolution contributes additional dissipation in the Lyapunov functional
. In the frequency domain, the decay rate corresponds to the least–damped pole of
on
, i.e. the least–damped exterior mode (QNM/red–shift); cf. [
10,
11,
15,
16].
4.10. Nonzero Exterior Memory .
If
but is positive semidefinite, all estimates above persist and the effective rate may improve:
so one still has the same exponential envelope, possibly with a larger effective
. Conversely, if
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
’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
(e.g. purely elliptic immediate feedback) or, more generally, when
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
.
(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
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
.
4.10.2. Summary.
Under a dual–scale (Volterra) model with a causal memory kernel, the horizon enforces : the slow loop cannot relay calibrated content across the null boundary . 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
denote one exterior “Hawking tick’’ (one step in advanced time) and let
be the paired blueprint update. In the DSFL geometry, a
Hawking tick is modeled as an
admissible pair obeying the DSFL kinematics:
Hence the Hilbertian data–processing inequality (DPI) holds
stepwise in the exterior:
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:
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
[
20, Sec. IX.2]. More generally, Heisenberg–unital CP maps satisfy Kadison–Schwarz and are nonexpansive in GNS
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
(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,
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 () contractivity of CP–unital steps] Let be completely positive and unital (Heisenberg picture). In Hilbert–Schmidt geometry , one has
Consequently, any such Φ is nonexpansive in the GNS geometry for faithful ω [7,14,19,34]. If moreover , then the DPI of Prop. 2 applies to the calibrated residual [8].
Proof. Let
denote the Hilbert–Schmidt (HS) norm:
. By Stinespring’s theorem, any completely positive, unital (Heisenberg) map
admits a dilation
where
is an
isometry, i.e.
[
17] (in finite dimensions this is the Kraus form [
18]). Then
where we used cyclicity of the trace,
(so
is an orthogonal projection with
), and the operator monotonicity
for
(
partial trace is contractive in Schatten–2; see [
20, Sec. IX.2]). Hence
for all
X, i.e.
. □
5.2.3. Summary (Expanded).
What “admissible Hawking tick’’ means in DSFL. Each exterior step satisfies the two kinematic gates: (i)
intertwining (calibration consistency)
, and (ii)
–nonexpansiveness . 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
[
7,
17,
18,
19,
20].
(i) Stepwise DPI for the exterior residual. Intertwining + nonexpansiveness give the one–line DPI at each tick:
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
[
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,
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
tied to red–shift estimates and the least–damped quasinormal modes. DSFL packages this as a Lyapunov (ringdown) envelope
with
read from exterior decay theorems [
10,
11,
15,
16].
How this fits open systems and modern resolutions. Stinespring/Kraus ⇒ nonexpansive
–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 –misfit and is provably nonincreasing and obeys a ringdown envelope. The apparent paradox only arises if one tries to make 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
denote the exact (or effective) global unitary acting on the full slice
. 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
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
with
outgoing and
ingoing; the exterior marginal of
is (approximately) KMS–thermal at
[
1,
2,
21]. The microstate dependence therefore lives in the
correlations between
and interior degrees of freedom, not in the spectrum of
itself. In DSFL variables:
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
[
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 and windowed ; these continue to decrease by DPI and ringdown.
Purification is achieved by a reorganization of correlations: the cross–blocks shift from exterior–interior to early–late radiation (or, in semiclassical gravity, by including “island’’ degrees in the effective radiation algebra). No local misfit needs to rise.
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 —while every exterior 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
near the horizon; (ii) scramble
with the remaining interior; (iii) radiate
outward. Iterating this swaps entanglement from interior↔exterior to early↔late radiation as the black hole loses dof. In the DSFL ledger:
The
amount of sameness removed is quantified by
; 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 with ; admissible steps act Markovly on w (mass–preserving) and –nonexpansively on p. Thus,
There is no cloning of description; the blueprint is a single prototype with reweighted shares.
Any “gain’’ of exterior counters must come from admissible inflow before horizon formation or from correlations within the exterior/radiation channel—never from minting new sDoF behind the horizon (Prop. 4).
6.7. Where to Look in Data (Operational Meaning).
The DSFL prediction is very concrete:
Semi–log plots of any calibrated exterior residual
show an
asymptotic straight line with slope
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
–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
be the exterior residual,
that of the collected radiation, and
the global residual on a complete Cauchy slice (blueprint
and response
aligned by
). The usual trilemma may be rephrased cleanly as:
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
can only decrease, regardless of whether instantaneous radiation marginals are thermal. At the same time, global
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
and
,
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
with
fixed by the background geometry [
10,
11,
15,
16].
Causal throttling of the slow loop. In the dual–scale Volterra law
, the memory
M has null/timelike support and
cannot relay across the horizon; hence the exterior slow loop vanishes and only the immediate dissipative loop acts outside (Sec. “Dual–scale feedback and the causal ceiling”). This is a purely causal, sector–neutral statement (no islands needed) [
1,
2,
9].
Compatibility with thermality and the Page curve. The Hawking tick
is CPTP/unital in the Heisenberg picture, hence nonexpansive in
and satisfies quantum DPI for contractive divergences [
7,
12]. Local KMS thermality of marginals is thus compatible with
stepwise decrease of
; purification can (and in modern resolutions does) ride on
correlations (early/late radiation, or island saddles) without contradicting the contraction of any exterior
functional [
3,
4,
5,
6].
7.2. Resolution Template: Statements with Proofs/Sketches
Theorem 2 (Exterior no–inflation and causal throttling).
Let be the global admissible evolution generated by the two–loop law with , causal, and small admissible remainder r. If a future horizon forms at time , then for any exterior world tube U and for all ,
and the slow–loop relay from the trapped region vanishes:
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
implies (
33) (no null/timelike link across the horizon) [
1,
2]. With the slow loop absent outside, the exterior evolution reduces to
; coercivity of
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
).
Let one emission step be with a Stinespring dilation V and interior trace. Then
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
[
7,
12]. □
Theorem 3 (Global DPI and coexistence with the Page curve).
For the full slice ,
with equality only at calibrated fixed points. In particular, monotone contraction of and 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.
obeys the same DPI as any
; admissibility and composition preserve nonexpansiveness [
8]. The Page curve pertains to the eigenvalue spectrum of reduced states, not to
residuals; islands implement a reassignment of
which degrees of freedom are included in the effective radiation algebra, transferring correlations without violating any
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
–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
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 with and , and for any DSFL–admissible pair obeying and , the global statistical share is conserved in time: . 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
on a fixed carrier; admissible updates on
are Markov (mass–preserving) by construction, hence
is time–invariant. Intertwining
ensures that every physical reweighting has a calibrated statistical representative (no duplication of sDoF). Nonexpansiveness in
(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 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 is nonincreasing by the Hilbertian DPI,
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 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 –misfit :
for every admissible step (firm nonexpansiveness/orthogonal projections in Hilbert space) [
8]. This one–line DPI
proves (i) global nonincrease of
, (ii) local nonincrease of
R for any exterior region, and—combined with known exterior decay estimates—(iii) an
explicit exponential envelope for
(ringdown) [
10,
11,
15,
16]. These are hard theorems about a quadratic functional, not assumptions about entropies.
Causal throttling of the slow loop at the horizon. The two–loop Volterra law
encodes immediate local dissipation (coercive
) and slow nonlocal relay (memory
). 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 –contractive. Each emission step is CPTP with a Stinespring dilation; in the Heisenberg picture it is unital/CP and thus contractive in
(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 (
), coherently paired to the response by
. 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
–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)
and
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
–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
–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 , red–shift/QNM decay outside black holes, and domain–of–dependence/causality).
7.3.1. Geometric Context and Operational Meaning of the Subspace–Angle Bound
Let
be the
physical-response subspace and
the
calibrated–blueprint subspace. Denote by
the orthogonal projectors onto
, and by
the
Friedrichs angle between
U and
V. Equivalently (CS–decomposition),
The DSFL residual
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 , , and let be their Friedrichs angle. For any the closest blueprint in the Hilbert metric is , and
More generally, for any with one has
Proof. The closest point property of orthogonal projection gives
and
. Since
,
, hence
. By CS–decomposition,
. For (
39), write
and argue similarly. □
Remark 2 (Operational interpretation). The constant is a calibration–quality number: small (good alignment ) guarantees a strong one–shot reduction of the mismatch by the projection step; (orthogonality) yields no guaranteed reduction.
Remark 3 (Computation of ). Let have orthonormal columns spanning . The singular values of are the cosines of the principal angles; in particular, and .
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 predicted by (38). Persistent violation falsifies either nonexpansiveness/admissibility of the block or the declared calibration. Conversely, tuning to reduce accelerates any projection–like DSFL iteration.
7.3.2. Workflow and Diagnostics.
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
–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
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
which quantifies, in one common Hilbert geometry, how well the physical response
p is aligned with its statistical blueprint
. 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:
so any exterior residual
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: .
Exterior Lyapunov envelope. When the exterior admits a coercivity margin (e.g. red–shift stability or quasinormal mode control), the residual satisfies an exponential envelope , so semi–log plots of exhibit a straight–line ringdown slope determined by the least–damped mode.
Causal “no–relay’’ across the horizon. The slow nonlocal loop has null/timelike support and thus cannot transmit calibrated content from the trapped region into the exterior domain of dependence; beyond horizon formation the exterior is governed by the local envelope alone.
Hawking channel is admissible. Treating the Hawking step as an admissible exterior map implies stepwise nonincrease of R during evaporation. Local thermality of marginals is compatible with this; microstate information can remain encoded in cross–correlations of the radiation without increasing any exterior calibrated mismatch.
One–budget law (no duplication). With , the statistical share is globally conserved () and can be reweighted but not created. “Information’’ in the strict DSFL sense is sameness (blueprint–response pairing); there is no hidden stock to be mined over the horizon, only redistribution and causal throttling.
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
(red–shift/QNMs); and horizon regularity enforces a
causal ceiling that disables the slow relay across
. Nothing in this trinity forces
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
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
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.
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 with norm .
Table A1.
Symbols and conventions used throughout. The comparison Hilbert space is with norm .
| Symbol |
Type / Domain |
Meaning / Assumptions |
| Spaces and geometry |
|
Hilbert space |
Comparison geometry for both channels; inner product , norm . |
|
Linear space |
Statistical channel space (e.g., vacuum/constraint objects). |
|
Closed subspace |
Physical channel space (e.g., observables/fields inside ). |
|
Projector |
Metric projection onto the admissible statistical subspace; encodes statistical gauge. |
| Channels and maps |
|
State (stat.) |
Statistical channel. In one-budget model: , , . |
|
State (phys.) |
Physical channel. |
|
Linear map |
Interchangeability (calibration/embedding) of s into . |
|
Linear map |
Statistical representative of p; satisfies . |
|
Linear map |
Calibration operator (units/indices/gauge); often . |
| Interchangeability identities |
|
Identity |
Pushing p to then back gives p. |
|
Identity |
Pushing s to then back gives the projected s. |
| Residuals (mismatch measures) |
|
Scalar |
Physical-side residual: . |
|
Scalar |
Statistical-side residual: . |
|
Scalar |
Canonical residual (often ). |
|
Scalar |
Differential residual (e.g., ). |
| Propagation and DSFL parameters (optional, when dynamics are used) |
|
Element of
|
Residual vector in . |
|
Operator on
|
Dissipative/elliptic part (Dirichlet/Lichnerowicz/constitutive). |
| g |
Element of
|
Controlled remainder (lower orders, background drift). |
|
Scalar |
Gap/coercivity constant: . |
|
Scalar |
Remainder bound: . |
|
Scalar |
DSFL rate in (when dynamics are present). |
| Angles and subspace geometry |
|
Subspaces of
|
Physical subspace and calibrated statistical range. |
|
Projectors |
Orthogonal projectors onto U and V. |
|
Angle |
Friedrichs angle: . |
|
Matrices/bases |
Orthonormal bases spanning U and V; CS/SVD: , . |
| Admissible (“entanglement-like”) redistribution |
|
Linear map |
Statistical operation (Markov/coherent/CPTP marginal). |
|
Linear map |
Physical operation (contractive in ). |
| Intertwining |
Identity |
, . |
| Contractivity |
Inequality |
, . |
| Residual monotonicity |
Inequality |
. |
| One-budget (statistical resource) model |
|
Fixed template |
Global statistical prototype (primordial sameness), normalized. |
|
Nonnegative weight |
Share field, ; . |
|
Kernel |
Markov kernel: , ; preserves . |
| Budget/causality constraints |
|
Counter |
Local complexity/effective rank/energy counter; monotone & subadditive. |
|
Speed |
Carrier/relay speed (e.g., wave speed, Lieb–Robinson velocity). |
|
Length |
Correlation diameter/interaction range. |
| Causal ceiling |
Bound |
for a moving volume . |
| Sector shorthands (used in mini-cases) |
| PDE |
— |
, , Helmholtz split , Poincaré . |
| OA/QMS |
— |
GNS space; conditional expectation (orthogonal projector). |
| OU/free |
— |
, covariance , gap . |
| Constants frequently used |
|
Scalar |
Uniform ellipticity margin (PDE). |
|
Scalars |
Poincaré/spectral constants (domain/semigroup). |
|
Scalar |
Hamiltonian/spectral gap (OU/free field). |
|
Scalars |
Coercivity/remainder (DSFL template). |
|
Scalar |
Dissipation rate ( when used dynamically). |
Appendix A.1. From sDoF/pDoF to Interchangeability, R, and the Fast Loop
Appendix A.1.1. Step 1: What Are sDoF and pDoF?
We distinguish two co-representations of the same underlying system:
Statistical degrees of freedom (sDoF): the blueprint of what the system should present (model/prior/target features).
Physical degrees of freedom (pDoF): the response actually realized by the device/field/dynamics, embedded in the comparison Hilbert space .
The spaces and are not separate universes: both are embedded (or canonically identified) inside the same Hilbert geometry , 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
implements a two-way identification,
with the
interchangeability identities Equation (
A1) means: (i) every physical state
p has a unique calibrated statistical representative
, and pushing it back gives
p again; (ii) every statistical state
s calibrates to a physical image
, and reading it back gives the same
s up to the canonical projector
. Importantly, this identification is
local in
: 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
via
and
.
Appendix A.1.3. Step 3: One Observable—the Residual of Sameness.
Given
define
This is the squared distance from the response to the calibrated blueprint. It is zero iff
at every point in the comparison geometry (full sameness). Because
act in
,
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:
Because s and p are aligned pointwise in the same geometry by , the operator
can act
locally and instantaneously on the misfit
e at each coordinate of
: it is a pointwise (or diagonal/modewise) dissipative action that reduces
e without any need to fetch information from elsewhere. Concretely:
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
obeys
This holds
stepwise and pointwise because orthogonal projection in
preserves the local decomposition.
Lyapunov envelope. If the fast loop has a coercivity margin
(and the remainder is lower-order), then
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 so that “blueprint’’ and “response’’ coincide pointwise when calibrated, and measure mismatch by . 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 , p can be locally moved toward 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 with norm . We embed two channels in the same :
Appendix B.1.2. Interchangeability (Calibration).
A linear pair
aligns types/units across channels and obeys
with
the orthogonal projector onto
. Thus
and
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
:
is invariant under any isometry
with
.
Appendix B.1.4. Admissible (Physically Allowed) Updates.
An update
with
and
is
admissible if
(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):
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:
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
:
where we now call the first term the
immediate loop and write its generator as
. 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
.
Appendix B.3. Interchangeability conditions (calibration).
We assume the bounded linear pair
satisfies
with
the orthogonal projector onto the blueprint subspace in
. These identities ensure that for every
the calibrated error
is an
honest vector in the physical space
, and that “moving the blueprint or the response’’ is well-typed in the same Hilbert geometry. Equivalently, the residual is an
orthogonal (Pythagorean) sum:
Appendix B.4. When Is the Loop Immediate? (Locality/Diagonalizability of K imm ).
The loop is immediate provided acts locally on e in the chosen representation of . Two standard incarnations:
Modewise (diagonal) case. There exists an orthonormal basis
and eigenvalues
with
. Writing
gives
Coordinatewise (local operator) case. In a spatial representation of
(e.g.
),
with
a local differential operator (e.g. gradient) and
a pointwise constitutive tensor (uniform ellipticity
gives coercivity). Then
updates
e from its
own local features
at each point—no spatial integration over remote data is needed.
In both cases, the loop does not integrate over the past ( in the loop) and does not require nonlocal spatial averaging; therefore it is immediate in time and local in space/modes.
Appendix B.5. Why Interchangeability Matters.
Interchangeability (
A9) ensures that the target
and the response
p are two representations of the
same calibrated object in the
same geometry. Consequently:
Appendix B.6. Two Canonical Realizations (Educative Sketches).
-
Operator–algebraic (GNS) setting.
Work in
for a faithful state
. Take
as the
-preserving conditional expectation and
the inclusion; then
,
[
7,
14,
34,
35]. Choose
as the positive part of a symmetric Dirichlet form (e.g. the modular/carré-du-champ generator). The energy identity (A11) is the standard Dirichlet dissipation; coercivity gives (A12).
-
PDE (gradient–channel) setting.
Let , , and , with and local (e.g. ∇). Then , and a Poincaré/Helmholtz inequality yields (A12) with .
Appendix B.7. Summary.
Interchangeability places blueprint and response in the same Hilbert geometry, so the residual is a plain squared norm. If, in that geometry, the generator 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 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 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 : a differential inequality of the form 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 .
Appendix B.8.1. Residual Identity (Sector–Specific).
When the sector supplies a differential identity for
,
with
and
, any calibrated
gap/coercivity
yields a Lyapunov envelope:
Thus
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
is monotone, quantifying “how much calibrated mismatch was removed’’ independent of clock parametrization.
Appendix B.9. Minimal Usage (Practitioner Checklist)
Appendix B.10. Remarks (Existence, Uniqueness, Robustness)
Appendix C. Generic Two–Channel Application Template
Let
and
, with a calibration
and misfit
, residual
. Suppose the sector furnishes
and a gap
. Then
In parallel, if
is admissible ((
A5)), the DPI
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 –geometry, for a faithful state , take as an –preserving conditional expectation and as the associated orthogonal projection [ 7, 14, 34, 35]. In convex–analytic settings 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 –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, can be taken as an –preserving conditional expectation and the normalization corresponds to [ 7, 14]. In classical , the unit mass is the normalization of a probability density; conservation then follows from Markov (mass–preserving) updates [ 24]. |
References
- Hawking, S.W.; Ellis, G.F.R. The Large Scale Structure of Space–Time; Cambridge University Press: Cambridge, 1973.
- Wald, R.M. General Relativity; University of Chicago Press: Chicago, 1984.
- Giddings, S.B. Nonviolent information transfer from black holes: a field theory parametrization. Physical Review D 2013, 88, 064023. [Google Scholar] [CrossRef]
- Harlow, D. Jerusalem Lectures on Black Holes and Quantum Information. Reviews of Modern Physics 2016, 88, 015002. [Google Scholar] [CrossRef]
- Penington, G. Entanglement Wedge Reconstruction and the Information Paradox. Journal of High Energy Physics 2020, 2020, 002. [Google Scholar] [CrossRef]
- Almheiri, A.; Hartman, T.; Maldacena, J.; Shaghoulian, E.; Tajdini, A. The Island Formula for the Entanglement Entropy. Journal of High Energy Physics 2020, 2020, 013. [Google Scholar] [CrossRef]
- Ohya, M.; Petz, D. Quantum Entropy and Its Use; Texts and Monographs in Physics, Springer: Berlin, 1993.
- Bauschke, H.H.; Combettes, P.L. Convex Analysis and Monotone Operator Theory in Hilbert Spaces, 2 ed.; CMS Books in Mathematics, Springer: Cham, 2017. [CrossRef]
- Gripenberg, G.; Londen, S.O.; Staffans, O. Volterra Integral and Functional Equations; Cambridge University Press: Cambridge, 1990.
- Dafermos, M.; Rodnianski, I. The red-shift effect and radiation decay on black hole spacetimes. Communications on Pure and Applied Mathematics 2009, 62, 859–919. [Google Scholar] [CrossRef]
- Berti, E.; Cardoso, V.; Starinets, A.O. Quasinormal modes of black holes and black branes. Classical and Quantum Gravity 2009, 26, 163001. [Google Scholar] [CrossRef]
- Breuer, H.P.; Petruccione, F. The Theory of Open Quantum Systems; Oxford University Press, 2002.
- Petz, D. Monotonicity of Quantum Relative Entropy. Reviews in Mathematical Physics 2003, 15, 79–91. [Google Scholar] [CrossRef]
- Takesaki, M. Theory of Operator Algebras II; Vol. 125, Encyclopaedia of Mathematical Sciences, Springer: Berlin, 2003.
- Dafermos, M.; Rodnianski, I. A new physical-space approach to decay for the wave equation, 2010. Preprint; see also arXiv:0910.4957.
- Dafermos, M.; Rodnianski, I. The red-shift effect and radiation decay on black hole spacetimes. Communications on Pure and Applied Mathematics 2010, 62, 859–919. [Google Scholar] [CrossRef]
- Stinespring, W.F. Positive Functions on C*-Algebras. Proceedings of the American Mathematical Society 1955, 6, 211–216. [Google Scholar]
- Kraus, K. General state changes in quantum theory. Annals of Physics 1971, 64, 311–335. [Google Scholar] [CrossRef]
- Kadison, R.V. A generalized Schwarz inequality and algebraic invariants for operator algebras. Annals of Mathematics 1952, 56, 494–503. [Google Scholar] [CrossRef]
- Bhatia, R. Matrix Analysis; Vol. 169, Graduate Texts in Mathematics, Springer: New York, 1997. [CrossRef]
- Unruh, W.G. Notes on black-hole evaporation. Physical Review D 1976, 14, 870–892. [Google Scholar] [CrossRef]
- Lindblad, G. Completely Positive Maps and Entropy Inequalities. Communications in Mathematical Physics 1975, 40, 147–151. [Google Scholar] [CrossRef]
- Uhlmann, A. Relative entropy and the Wigner–Yanase–Dyson–Lieb concavity in an interpolation theory. Communications in Mathematical Physics 1977, 54, 21–32. [Google Scholar] [CrossRef]
- Cover, T.M.; Thomas, J.A. Elements of Information Theory, 2 ed.; Wiley Series in Telecommunications and Signal Processing, Wiley: Hoboken, NJ, 2006. [CrossRef]
- Hawking, S.W.; King, A.R.; McCarthy, P.J. A New Topology for Curved Space-time which Incorporates the Causal, Differential, and Conformal Structures. Journal of Mathematical Physics 1976, 17, 174–181. [Google Scholar] [CrossRef]
- Hawking, S.W. Breakdown of Predictability in Gravitational Collapse. Physical Review D 1976, 14, 2460. [Google Scholar] [CrossRef]
- Wald, R.M. Quantum Field Theory in Curved Spacetime and Black Hole Thermodynamics; University of Chicago Press, 1994.
- Page, D.N. Average Entropy of a Subsystem. Physical Review Letters 1993, 71, 1291–1294. [Google Scholar] [CrossRef]
- Page, D.; Wootters, W. Evolution without evolution Dynamics described by stationary observables. Physical Review D 1983, 27, 2885. [Google Scholar] [CrossRef]
- Almheiri, A.; Marolf, D.; Polchinski, J.; Sully, J. Black Holes: Complementarity or Firewalls? Journal of High Energy Physics 2013, 2013, 062. [Google Scholar] [CrossRef]
- Mathur, S.D. The Information Paradox: A Pedagogical Introduction. Classical and Quantum Gravity 2009, arXiv:hep-th/0909.1038]26, 224001. [Google Scholar] [CrossRef]
- Susskind, L.; Thorlacius, L.; Uglum, J. The Stretched Horizon and Black Hole Complementarity. Physical Review D 1993, 48, 3743–3761. [Google Scholar] [CrossRef]
- ’t Hooft, G. Dimensional reduction in quantum gravity. arXiv preprint 1993, [gr-qc/9310026].
- Takesaki, M. Conditional Expectations in von Neumann Algebras. Journal of Functional Analysis 1972, 9, 306–321. [Google Scholar] [CrossRef]
- Tomiyama, J. On the Projection of Norm One in W*-Algebras. Proceedings of the Japan Academy 1957, 33, 608–612. [Google Scholar] [CrossRef]
- Bauerschmidt, R.; Brydges, D.C.; Slade, G. Introduction to a Renormalisation Group Method; Vol. 2242, Lecture Notes in Mathematics, Springer, 2021.
- Nachtergaele, B.; Sims, R. Lieb–Robinson bounds and the exponential clustering theorem. Communications in Mathematical Physics 2006, 265, 119–130. [Google Scholar] [CrossRef]
|
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content. |
© 2025 by the authors. Licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license (http://creativecommons.org/licenses/by/4.0/).