An observer is a map q: X → Y from states to records, and its boundary is the set of merged pairs: two distinct states with one record. The Observation-Boundary Principle gives four equivalent descriptions of a merged pair: one record, a record-preserving permutation exchanging the two states, zero triangular discrimination under every record-determined reading, and, for a fair label and an initial seed independent of it, zero acquired information under every adaptive protocol of record-determined readings, at every horizon and in the limit. The boundary is thus the zero set of Le Cam's discrimination over the readings the record determines. One binary side symbol separates the pair, and once each fiber has an alphabet of its own of the same size, the coordinates that are bijective from each fiber onto its alphabet form one free orbit under the invisible permutation group of the observer, the symmetry change of a phase transition in Landau's sense. At the boundary the resolution cost has a pole of order one: if each conditional reading has discrimination at most Δ > 0 and costs at least one, acquiring c bits costs at least c ln 2 / Δ in expectation, and independent repetition of a fixed finite-output reading attains the same order for each target 0 < c < 1. The least zero-error side alphabet is the chromatic number of the support-conflict graph. A merged pair carrying a law (κ, ρ) with both weights positive is an entangled pair: no record-determined reading and no protocol of such readings separates its two states, and only a side symbol the record does not carry resolves it. Its entanglement is the product κρ. The observer-conditioned quantity ℰq(p) equals κρ on a merged pair and zero on a separated pair, and it is defined from the observation and conditional probabilities alone, before any Hilbert space or tensor product. Quantum entanglement is its purified case: with a second two-state quantum system as the side symbol, the joint pure state √κ|00⟩ + √ρ|11⟩ is entangled in Werner's sense, its concurrence satisfies C2 = 4κρ and (κ − ρ)2 + C2 = 1, it is separable if and only if κρ = 0, and its largest CHSH score is 2√(1 + 4κρ). An entangled mixed state without CHSH violation marks the limit of the score as a test. The purification of the uniform law on an n-state fiber has entanglement entropy log2 n bits, and each pass of the counted recursion adds one state to the fiber, raising it from log2 n to log2(n + 1). For a finite system in a product state with a finite Gibbs reservoir at inverse temperature β > 0, a joint unitary gives βQ = ΔS + I + D, with I the correlation formed and D the relative entropy of the reservoir from its Gibbs state. The heat bound Q ≥ ΔS/β is attained if and only if the reservoir returns to its Gibbs state and the system entropy is unchanged, so every strict entropy decrease costs Q > ΔS/β, while finite reset sequences approach the Landauer value. A reservoir in state γ resets ρ to a pure state if and only if rank ρ · rank γ is at most the reservoir dimension. The forty-clause principle and its forty-two-clause quantum and thermodynamic form are formalized in Lean 4 with Mathlib.
An observer is a map q: X → Y from states to records, and its boundary is the set of merged pairs: two distinct states with one record. The Observation-Boundary Principle gives four equivalent descriptions of a merged pair: one record, a record-preserving permutation exchanging the two states, zero triangular discrimination under every record-determined reading, and, for a fair label and an initial seed independent of it, zero acquired information under every adaptive protocol of record-determined readings, at every horizon and in the limit. The boundary is thus the zero set of Le Cam's discrimination over the readings the record determines. One binary side symbol separates the pair, and once each fiber has an alphabet of its own of the same size, the coordinates that are bijective from each fiber onto its alphabet form one free orbit under the invisible permutation group of the observer, the symmetry change of a phase transition in Landau's sense. At the boundary the resolution cost has a pole of order one: if each conditional reading has discrimination at most Δ > 0 and costs at least one, acquiring c bits costs at least c ln 2 / Δ in expectation, and independent repetition of a fixed finite-output reading attains the same order for each target 0 < c < 1. The least zero-error side alphabet is the chromatic number of the support-conflict graph. A merged pair carrying a law (κ, ρ) with both weights positive is an entangled pair: no record-determined reading and no protocol of such readings separates its two states, and only a side symbol the record does not carry resolves it. Its entanglement is the product κρ. The observer-conditioned quantity ℰq(p) equals κρ on a merged pair and zero on a separated pair, and it is defined from the observation and conditional probabilities alone, before any Hilbert space or tensor product. Quantum entanglement is its purified case: with a second two-state quantum system as the side symbol, the joint pure state √κ|00⟩ + √ρ|11⟩ is entangled in Werner's sense, its concurrence satisfies C2 = 4κρ and (κ − ρ)2 + C2 = 1, it is separable if and only if κρ = 0, and its largest CHSH score is 2√(1 + 4κρ). An entangled mixed state without CHSH violation marks the limit of the score as a test. The purification of the uniform law on an n-state fiber has entanglement entropy log2 n bits, and each pass of the counted recursion adds one state to the fiber, raising it from log2 n to log2(n + 1). For a finite system in a product state with a finite Gibbs reservoir at inverse temperature β > 0, a joint unitary gives βQ = ΔS + I + D, with I the correlation formed and D the relative entropy of the reservoir from its Gibbs state. The heat bound Q ≥ ΔS/β is attained if and only if the reservoir returns to its Gibbs state and the system entropy is unchanged, so every strict entropy decrease costs Q > ΔS/β, while finite reset sequences approach the Landauer value. A reservoir in state γ resets ρ to a pure state if and only if rank ρ · rank γ is at most the reservoir dimension. The forty-clause principle and its forty-two-clause quantum and thermodynamic form are formalized in Lean 4 with Mathlib.
In 1935, Einstein, Podolsky, and Rosen published the paper that introduced what would become quantum mechanics’ most studied phenomenon. Two systems prepared together and then separated remain correlated — perfectly correlated, in some cases — across arbitrary distances. The correlations exceed anything classical physics permits, are tested today across hundreds of kilometers via satellite‑mediated photon pairs, and form the resource that quantum cryptography, teleportation, and computation rely on. The standard QM account is mathematically clean. Two systems with Hilbert spaces H_A and H_B are described on H_A ⊗ H_B; states that cannot be written as |ψ_A⟩ ⊗ |ψ_B⟩ are entangled. Bell–Tsirelson bounds CHSH at 2√2. Schmidt decomposes any pure bipartite state biorthogonally. Coffman–Kundu–Wootters codifies monogamy. No‑signaling follows from linearity of partial trace. Von Neumann entropy S(ρ_A) = −Tr(ρ_A log ρ_A) measures entanglement strength. Each piece is a theorem of the postulated formalism — but the postulates themselves (tensor‑product joint structure, Hilbert space, Born rule) are not derived. This walkthrough shows how the Event Density framework derives the structural commitments themselves. Six results, each derived from the same substrate primitives: (1) Tensor‑product composition — the joint participation measure of two endpoints sharing one rule is carried on H_A ⊗ H_B with bilinearly induced inner product. Form forced; no auxiliary assumption. (2) Generic non‑factorizability — entangled states are dense and full‑measure; product states are the measure‑zero exception. (3) Schmidt decomposition — every pure bipartite state has a biorthogonal decomposition with non‑negative coefficients summing to one. Form forced; values inherited. (4) Monogamy — each substrate endpoint has a finite local cross‑chain bandwidth budget; full bipartite entanglement saturates it; no capacity remains for a third endpoint. CKW is the substrate bandwidth‑conservation law in concurrence units. (5) No‑signaling — over‑determined by three independent substrate locks: T18 forward‑cone‑only kernel structure, P11 commitment irreversibility, and the ED‑I‑06 no‑fundamental‑fields guardrail. (6) Von Neumann entropy — the form is uniquely picked by Shannon–Khinchin axioms each independently derived from named substrate primitives. This walkthrough has more substrate content than Bell–Tsirelson or Heisenberg. Those ran on standard mathematical‑physics arguments once the framework supplied the Hilbert space; the contribution was upstream. Here the framework is upstream for tensor‑product composition, Schmidt, and the density of entangled states — and substantively new for monogamy, no‑signaling, and entropy, each receiving a substrate‑mechanism account standard QM does not provide. The structural payoff: bipartite entanglement is what the substrate produces when two endpoints share one undeveloped participation rule. Tensor product, Schmidt structure, monogamy, no‑signaling, and entropy form are six projections of one substrate phenomenon.
This paper presents a structural interpretation of quantum entanglement using a mirror-pair hinge framework. Rather than treating entangled systems as spatially separated entities connected by nonlocal influence, entanglement is described as a single relational structure expressed across boundary-separated observations. Measurement is interpreted as a boundary-resolution event that collapses the system into a symmetry-consistent configuration. This approach preserves standard quantum predictions while providing a geometry-first interpretation of correlation without invoking signal transfer.
The parity–entanglement bound (PEB) fixes the relational information of a Zₙ-constrained uniform state at I(A:B) = 2 log₂ n bits for every bipartition and every system size. The topological entanglement entropy of a Zₙ gauge theory is γ = log n, likewise independent of the size and shape of the region. We show that these are one constant: I_PEB = 2γ, exactly, for every n, and that the agreement is not numerology but the same superselection structure read twice — the cut crosses n charge sectors, and both quantities are the logarithm of that count. Extending to a finite group G, the programme's decomposition gives I = 2 log₂|G| − ΔI_NC with ΔI_NC = 2 Σ_ρ P_ρ log₂ d_ρ, so the non-abelian censorship of the programme is exactly the shortfall of the bound below 2γ, and it vanishes precisely on the abelian groups. Both statements are verified exactly, by singular values for n = 2–5 at every cut and size and by representation theory for nine groups [N]. Both sides are then measured on IBM Heron processors, with nothing fitted [N]. Abelian: nine independent cuts across three sizes give a weighted mean of 1.999 bits with a spread of 0.004 bits, encoded Z₃ and Z₄ registers give 3.199 and 3.978 bits against 3.170 and 4.000, and the reading is unchanged at 27 qubits and depth 107. Non-abelian: on the S₃-constrained state the two informations are read from one tomography and differ by 1.329 ± 0.016 bits against the predicted ΔI_NC = 1.3333, a 0.3σ agreement and 83σ from zero, while the same analysis on an abelian control returns −0.008 ± 0.004; the censored value agrees with the one prepared by a different route on a third processor in earlier work. The practical content is that the programme's two-bit constant is a quantity other fields have already realised, without reference to this programme, as topological order on three platforms and as a dense-coding capacity on a fourth [K]; what is new is that one constant, read three ways across seven platforms, agrees throughout, and that the censorship term acquires a standard identity as the edge-mode contribution. Statements are labelled [P] proved, [K] known, [N] numerical or measured.
The paper has two components. Parts I–IV develop a conditional operational theory of reservoir-assisted cooling and exact reset at the level of channels; Part V is a self-contained Hamiltonian-level case study of exact reset embeddings in a D1–D5 CFT reservoir. The two notions of “exact reset” are different and are kept distinct throughout. We separate three logically distinct questions in reservoir-assisted cooling: what the reservoir entropy implies thermodynamically, which low-temperature ancillas are accessible, and what extra dynamical resource exact ground-state preparation needs. Convex microcanonical entropy is neither sufficient nor necessary for a microscopic cooling operation; it is a thermodynamic route to an ancilla supply, under a stated local-Gibbsian hypothesis. For a resonant qubit target we prove that every energy-conserving collision with a qubit ancilla acts as p' = p + s(q − p), 0 ≤ s ≤ 1, so cooling to error ε is possible exactly when ancillas with excited population at most ε can be supplied. We then remove the two-level restriction: for an arbitrary energy-incoherent sink, within the stated collision model, the least reachable excited population is a sector-wise majorization (sorting) problem with an explicit closed-form solution. Its consequences are: (a) a cooling criterion: a sink can cool a target of population p if and only if some pair of its levels one target gap apart has population ratio below p/(1−p); (b) a Gibbs sink at any finite temperature leaves the exact floor min{p, (1−p)e^{−β E_sys}} > 0, and this floor is stable under arbitrary sequences of fresh sinks at the same temperature (the sequence extension is proved by a concavity lemma); (c) the floor is a single-temperature statement: a hot and a cold thermal sink used together cool every p ∈ (0,1), and iterating fresh pairs drives p → 0 with no work store, measurement or record, while sequential single-sink collisions already reach n̄_c / (1 + n̄_c + n̄_h); (d) sharpness of the energy support, or one classical record of entropy h_2(p), is what buys exactness in finitely many steps. Exact reset has two independent resource obstructions in the stated model. The optimal residual excitation of any energy-conserving reset is the sink weight on directions that lack spectral room (the room floor), with a criterion for measurement-free exact reset; against limited control, any circuit of m gates with rank(G − I) ≤ ρ leaves the target excited with probability at least the sink-spectrum tail beyond ρm, so, within this gate model, the number of gates needed for exactness is at least the corresponding tail rank divided by ρ, with the operational integer requirement expressed by the ceiling where a finite target error is specified. Within the shell-ancilla model, an explicit dimension requirement dim ≥ 1/ε follows, with the corresponding bound attained by the stated construction. The room floor and the rank–error bound are energy-conserving, sector-wise and gate-rank refinements of the Ticozzi–Viola purification bound, and are presented as such. We also give a conditional zero-designated-work SWAP construction with N = O(log log(1/ε)) collisions for a quadratic-entropy family, a dimension-counting reset criterion with an exact ladder-sink cost–error curve, an error budget for measurement–feedback completion, and a finite birth–death noise model with a positive spectral gap. Black holes, Na⁺_147 nanoclusters, structured-vacuum engines and Casimir experiments are treated as delimited case studies, not demonstrations. The contribution is a conditional operational characterisation with falsifiable requirements; it is not a claim that the third law has been circumvented. Finite instances of the principal formulas were checked by exact arithmetic and numerical sampling (random energy-conserving unitaries against the closed forms, and exact evaluation of tabulated values; Section 27); these checks are consistency tests, not substitutes for the proofs. Part V. The case study proves two conditional obstructions to exact spectral reset embeddings in a D1–D5 CFT reservoir. The first is a sector-specific capacity bound: under explicit component-string, single-strand, graded-orbifold and constant-character hypotheses, the maximal-left-charge Ramond-ground-state sector has dimension 4N, so a larger source cannot embed into it. The second is a finite-dimensional perturbative criterion: for an exactly degenerate source block transported by a regular family, the second-order effective Hamiltonian must act as a scalar on the transported block, equivalently the block must lie in a single second-order eigenspace, which gives an eigenspace-multiplicity bound for a prescribed target sector. At level four, under an explicit Hermiticity and perturbative-matching hypothesis, fifteen long-multiplet primaries with distinct second-order lifts give a fixed-label non-scalar target block. All obstructions are conditional and local, no universal no-go theorem for the full D1–D5 Hilbert space is claimed, and no microscopic reset dynamics are constructed.
Overview: This paper develops the state-to-geometry interface of the OT–GKSL architecture for open quantum sources. Its starting point is a familiar low-energy tension: classical general relativity couples spacetime geometry to matter through the Einstein equations, whereas quantum matter may be open, coherent, correlated, preparation dependent, or subject to measurement and environmental records. Semiclassical gravity and stochastic-gravity approaches have long made clear that the relation between quantum sources and classical geometry is not conceptually trivial (Page & Geilker, 1981; Kuo & Ford, 1993; Hu & Verdaguer, 2008). The OT–GKSL architecture addresses this problem by not assuming classical spacetime as part of the native quantum state description. Instead, it separates a persistent quantum/open-state domain from later classical descendants. At the native level, states belong to a faithful finite-dimensional working stratum, ρ ∈ D°(H_eff), and evolve under a declared GKSL dynamics, dρξ/dξ = L*(ρξ). The completely positive Markovian structure follows the standard theory of Gorini, Kossakowski & Sudarshan (1976) and Lindblad (1976). On a faithful reversible detailed-balance component, the dissipative generator admits the noncommutative optimal-transport gradient representation developed in the quantum Markov setting by Carlen & Maas (2017): L*_db(ρ) = - grad_gOT D(ρ || π). Here g_OT is a positive state-space metric and D(ρ || π) = Tr[ρ(log ρ - log π)] is the relative entropy to a faithful stationary state π. The detailed-balance entropy production is σ_db(ρ) = ||grad_gOT D(ρ || π)||²_gOT ≥ 0. This identity concerns the detailed-balance dissipative component, not automatically the complete GKSL trajectory. If L* = L_coh + L_db + L*_rem, then the full relative-entropy balance retains the coherent and remainder contributions separately. The native evolution parameter ξ, the accumulated entropic ordering variable t_ent, and physical readout time t_ro are therefore distinct: ξ ≠ t_ent ≠ t_ro. A physical clock requires a stabilized and calibrated clock record. Its identification with the temporal sector of the Lorentzian spacetime readout requires the additional clock–coframe and proper-time compatibility conditions of the certified spacetime branch. From records to geometric readout: Classical geometry is not identified directly with the native OT geometry. The architecture first constructs physical records. Protocol-complete certified records determine event identity, while a separate geometric coarse-graining determines which event distinctions are used for localization. A 2 rank-D family then supplies local geometric coordinates. On the observed spacetime branch, D = 4. native states → certified physical records → event classes → geometric coarse-graining → rank-D coordinate records → horizontal readout sector → section and soldering →Lorentzian coframe → classical metricThe important distinction is complete event-record content ≠ rank-D coordinate content.Additional records may encode matter properties, preparation data, measurement outcomes, orientation, gauge information, clock information, or internal structure without becoming additional spacetime dimensions. On a regular geometric patch, the coordinate map defines a vertical sector and its OT-orthogonalhorizontal complement, V = ker DΠ_coord, H = V^(⊥ gOT). A local section selects native representatives and a calibrated soldering map transfers the readablehorizontal data to the physical frame bundle. The physical coframe e^a then defines g_ro = η_ab e^a ⊗ e^b, with η_ab = diag(-1,+1,+1,+1)on the observed Lorentzian branch. The positive metric g_OT and the Lorentzian metric g_ro are therefore different mathematical objects with different domains and physical roles. Lorentzian signature is not obtained by changing the signature of g_OT; it enters through the calibrated readout branch.This distinction is compatible with the broader operational idea that physical reference frames and records may themselves be quantum systems rather than external classical structures (Bartlett, Rudolph & Spekkens, 2007; Giacomini, Castro-Ruiz & Brukner, 2019), while the specific record-to-geometry ordering is a commitment of the OT-GKSL architecture Horizontal connection and holonomy bridge: A central result of the paper is the typed separation between native state-space geometry and readout geometry. Let ∇^OT denote the Levi-Civita connection of the applicable OT metric. The connection relevant for the geometric bridge is the projected connection on the horizontal bundle, ∇^H_X Y = P_H ∇^OT_X Y.Its curvature R^H is not generally the restriction of the ambient OT curvature R^OT. In particular, R^OT ≠ 0 does not by itself imply R^H ≠ 0.The readout bridge therefore transports the horizontal connection, rather than silently identifying ambient OT curvature with spacetime curvature. With a local section s and soldering map Ω, the transferred connection has the standard inhomogeneous transformation structure, Γ_B,s = Ω (s*Γ_H) Ω^(-1) - (dΩ) Ω^(-1).It may then be compared with the independently constructed readout connection. The corresponding bridge defect is controlled on the declared certified domain. For a fixed loop C, a connection-level defect gives a length-type transport estimate of Duhamel form. An area-type small-loop estimate requires the stronger input of curvature control, a suitable small contractible loop, and compatible gauge/trivialization data. The paper therefore distinguishes four statements: ambient OT curvature; horizontal curvature and holonomy; transferred/readout holonomy; detector-visible holonomic response. None is identified with the next without an explicit bridge or visibility condition.3. This separation is related conceptually to earlier geometric treatments of mixed-state parallel transport and quantum holonomy (Uhlmann, 1986; Andersson & Heydari, 2014), although the OT-GKSL horizontal/readout bridge is an architecture-specific construction. Finite holonomy and preparation sensitivity. The consolidated formulation distinguishes a nontrivial finite loop signal from its sensitivity to preparation. A finite holonomy may satisfy H(ρ*) ≠ I while nevertheless Dρ H(ρ*) = 0. Thus anontrivial background holonomy does not prove that the holonomy varies under the preparation tested by an experiment.Two operational observables are accordingly kept distinct.Y_H^fin = L_H^fin(H - I) is a finite-loop detector. A body-fixed or Maurer-Cartan response may instead use Ξ_H = L̂_H(H^(-1) ∇_prep H).These are distinct calibrated observables. They coincide only under an explicitly declared translation/calibration relation. Preparation differentiation must also be gauge controlled, by freezing a physical record-defined frame, differentiating a gauge-invariant functional, or using a covariant derivative.Source-side constitutive branch The source/matter descendant is constructed independently of the geometric descendant. Within the Dirac/HS-NJL working class considered in the paper, an internal operator Y defines the positive quadratic tracer κ_Y = Tr(Y†Y). A frozen calibration maps this quantity to an operational coordinate p_κ. The scalar source-side constitutive law is written μ = μ(p_κ), with local susceptibility β_μ(p_κ) = - ∂_(pκ) ln μ(p_κ). A certification gate may determine whether the working point remains admissible, but its derivative is not part of the physical constitutive susceptibility in the certified interior. The scalar constitutive channel and the holonomic channel are mathematically distinct and possess different experimental symmetry handles. Einstein lock: The observed gravitational branch is constrained by an Einstein lock. The two-derivative gravitational kinetic block is fixed to the Einstein-Hilbert form,S_EH[g_ro; G0] = (c³ / 16πG0) ∫ d⁴x sqrt(-g_ro) R[g_ro], with G0 = constant.This is a branch-selection and recovery condition of the OT-GKSL corpus. It is not claimed to be the unique consequence of GKSL dynamics alone. The architecture forbids a readable preparation-dependent factor multiplying the Einstein-Hilbert curvature term on the locked branch. State dependence is instead carried by independently specified source, response, gauge, interface, readout, or higher-order sectors. The gravitational comparison is performed only after geometry and source data have beenindependently fixed: 4 C_E = G_μν[g_ro] - κ0 T^eff_μν - Δ^if_μν. A gravitational claim requires the residual C_E to satisfy its declared norm and tolerance. TheBianchi identity acts as a compatibility condition on these already constructed sectors; it does not define the source after the fact. The branch-resolved Trilemma: The central result is a local and conditional separation theorem for the visible constitutive and holonomic branches. On a finite-dimensional admissible test sector, define the kinematic analysis using the unweighted source coordinate and the holonomic preparation response, h → (dp_κ[h], ζ_H[h]). The constitutive coefficient β_μ is applied only after this kinematic conditioning. Consequently, testing β_μ,* = 0 does not make the underlying analysis map singular by definition. For a normed visible output space, the declared first-order closure has the form DO_vis[h] = N_E(β_μ,* dp_κ[h]) + N_H(ζ_H[h]) + B_oth[h] + R_aud[h]. Here B_oth contains independently constructed visible branches not removed by the frozen protocol, and R_aud is the declared audit remainder. The factorization of the scalar constitutive term through β_μ is an explicit visible/source closure assumption; it is not derived solely from OT variational calculus. At a working point where β_μ,* = 0, if, for a tested variation h, ||N_H(ζ_H[h])|| > ||B_oth[h] + R_aud[h]||, then DO_vis[h] ≠ 0. The final implication follows from the reverse triangle inequality. The nontrivial content lies upstream: construction of the regular record/geometric quotien