## Overview This paper studies when a reduction of a finite quantum error-history model preserves the local direction of quantum-code optimization, and when it reverses that direction. For finite coactive spectral branches, the paper first proves a second-order local truncation-safety certificate. A strict optimizer of a truncated model persists when the full-versus-truncated effective-jet discrepancy is smaller than the coercivity margin of the truncated objective. Opposite leading jets provide a certificate of local optimizer reversal. The paper then identifies an exact boundary between genuine temporal structure and removable path redundancy. For a finite projective unitary error group, any open-loop path operator has the form $$W_\gamma=e^{i\theta_\gamma}U_{c(\gamma)},$$ where $c(\gamma)$ is the final group product. Consequently, an arbitrary temporally correlated path law is isometrically equivalent, for complete complementary leakage and for every code, to the single-shot distribution of the final projective product: $$\mathcal L_{\mathrm{path}}(V)=\mathcal L_{\pi}(V).$$ For Pauli trajectories, this remains true even when ordered errors do not commute, because different orderings can differ only by projective phases after contraction to the final channel. Thus open-loop final-channel leakage cannot identify temporal organization beyond the final projective Pauli-product distribution. Intermediate measurements, controls, syndrome extraction, or adaptive recovery are required for genuinely intervention-resolved multi-time code geometry. ## Distribution-robust optimizer reversal For an arbitrary three-location bit-flip trajectory law, let $\pi$ denote the induced final-parity distribution on $\mathbb F_2^3$, let $c=(1,1,1)$, and define $$\Lambda_\pi:=\sum_{t\in\mathbb F_2^3}\sqrt{\pi_t\pi_{t\oplus c}}.$$ For the three-qubit repetition code $$E=\operatorname{span}\{|000\rangle,|111\rangle\},$$ the complete complementary leakage is exactly $$\mathcal L_\pi(E)=\Lambda_\pi.$$ For every fixed full-support final-parity law, the intrinsic Fourier-syndrome graph coordinate $w$ satisfies $$\mathcal L_\pi(V(w))=\Lambda_\pi-2\Lambda_\pi|w|^2+o(|w|^2).$$ Hence the repetition code is a strict local maximum throughout this two-real-dimensional graph chart for every full-support final-parity distribution, independently of temporal correlations, stationarity, roundwise independence, identical error rates, or cyclic spatial symmetry. By contrast, a conditioned zero-and-one-fault truncation with positive coarse single-location weights has $$\mathcal L_{\leq 1}(E)=0$$ and strictly positive leakage at every nonzero sufficiently nearby graph code. The same reference code is therefore a strict local minimum for the truncated model and a strict local maximum for the complete process. The central conclusion is: > Exact aggregation of paths that implement the same projective physical operator preserves the entire code-optimization landscape, whereas deletion of higher-fault history fibers can reverse the local optimizer geometry. ## Scope The results concern random-unitary, open-loop finite-history models and complete complementary-channel leakage. The optimizer reversal is proved in a specified Fourier-syndrome graph chart around the three-qubit repetition code. The paper does not claim: - a full-Grassmannian classification for the three-qubit model;- a decoder or recovery-circuit construction;- a logical-error threshold;- a circuit-level hardware noise model;- collapse of an intervention-resolved process tensor;- equivalence in the presence of intermediate syndrome measurements, controls, or adaptive recovery. These intervention-resolved settings form the natural next boundary of the theory. ## Relation to the preceding research program This paper is a concluding bridge theorem paper connected to a six-paper exact finite-history QEC and spectral-minimax research line. ### 1. Compression-geometric foundation **Sharp Complementarity, Complete Attainable Region, and Metric Rigidity of Rank-Two Quantum Codes under Collective and Differential Dephasing** Version v0.5r2b DOI: 10.5281/zenodo.21523950 This paper determined the complete attainable compression-defect region for rank-two codes under collective and differential two-qubit dephasing, classified the equality geometry, and established sharp metric rigidity. ### 2. Balanced finite-history minimax **Environment-Record Leakage for Finite Quantum Error Histories: Balanced Global Minimax, Complete Minimizer Geometry, and Distributional Stability** Version v0.5r2 DOI: 10.5281/zenodo.21560397 This paper introduced the complete environment-record leakage objective for finite error histories, solved the balanced two-step minimax problem globally over $\operatorname{Gr}(2,4)$, classified all balanced minimizers, and established distributional stability. ### 3. Bias-induced geometric selection **Bias-Induced Non-Isoclinic Optimality in Finite Quantum Error Histories: Exact Separation, Thresholdless Bifurcation, and Near-Balanced All-Code Minimax** Version v0.3r2 DOI: 10.5281/zenodo.21598820 This paper proved exact non-isoclinic separation, an open non-isoclinic parameter region, thresholdless loss of isoclinic optimality under arbitrarily small bias, and the leading full-Grassmannian near-balanced minimax selector. ### 4. Fourth-order overlap selection **Flat-Interior Persistence and Singular Overlap Selection in Near-Balanced Quantum Error Histories: Fourth-Order Transition Curves and Full-Grassmannian Minimax Closure** Version v0.1r3 DOI: 10.5281/zenodo.21622029 This sequel resolved the higher-order overlap degeneracy, established flat-interior persistence, derived singular boundary-layer transition curves, and closed the near-balanced full-Grassmannian minimax expansion through fourth order. ### 5. Abstract reflected spectral-jet framework **Reflected Spectral-Jet Realization for Degenerate Minimax Problems: Hard-Normal Selection, Flat Tangential Persistence, and Coactive Boundary Transitions** Version v0.2r1 DOI: 10.5281/zenodo.21636022 This paper extracted a reusable abstract framework for hard-normal isolation, soft tangential persistence, reflected active branches, and coactive boundary transitions in degenerate spectral minimax problems. ### 6. Finite-orbit generalization and first QEC truncation reversal **Beyond Reflected Pairs: Finite-Orbit Spectral Jets, Quadratic Isolation, and Multi-Branch Coactivity in Degenerate Minimax Problems** Version v0.4r1 DOI: 10.5281/zenodo.21644364 This paper generalized the reflected-pair theory to finite transitive orbits, developed multi-branch coactivity and representation-theoretic jet obstructions, and exhibited an exact three-location QEC realization in which restoring omitted multi-fault histories reverses the local optimizer geometry. ### 7. Present bridge theorem The present paper determines which open-loop temporal path information is exactly removable and which history reductions remain unsafe. It extends the earlier single-process reversal from independent or cyclic models to arbitrary correlated projective-unitary paths and arbitrary full-support final-parity laws. The resulting research progression is $$\text{compression geometry}\longrightarrow\text{balanced global minimax}\longrightarrow\text{bias-induced selection}\longrightarrow\text{fourth-order closure}\longrightarrow\text{reflected spectral jets}\longrightarrow\text{finite-orbit coactivity}\longrightarrow\text{projective path collapse and distribution-robust reversal}.$$ ## Reproducibility package The accompanying bundle contains: - the manuscript PDF;- the LaTeX source;- an exact symbolic verification script;- a machine-readable verification report;- a README describing the proof-artifact contract;- a SHA-256 manifest;- version and package-audit records. The verifier performs 72 exact symbolic checks, including projective Pauli phase identities, phase-covariant path compression, arbitrary-parity polar factors, translation orthogonality, Fourier-syndrome graph compressions, and coefficient bookkeeping for the distribution-robust local expansion. The verifier deliberately rejects optimized Python mode. PASS decisions do not rely on floating-point tolerances. Compactness, maximizing-direction localization, trace-norm differentiability, and uniform asymptotic assembly remain analytic parts of the manuscript proof rather than delegated computational claims.
Overview This paper studies when a reduction of a finite quantum error-history model preserves the local direction of quantum-code optimization, and when it reverses that direction. For finite coactive spectral branches, the paper first proves a second-order local truncation-safety certificate. A strict optimizer of a truncated model persists when the full-versus-truncated effective-jet discrepancy is smaller than the coercivity margin of the truncated objective. Opposite leading jets provide a certificate of local optimizer reversal. The paper then identifies an exact boundary between genuine temporal structure and removable path redundancy. For a finite projective unitary error group, any open-loop path operator has the form Wγ=eiθγUc(γ), where c(γ) is the final group product. Consequently, an arbitrary temporally correlated path law is isometrically equivalent, for complete complementary leakage and for every code, to the single-shot distribution of the final projective product: Lpath(V)=Lπ(V). For Pauli trajectories, this remains true even when ordered errors do not commute, because different orderings can differ only by projective phases after contraction to the final channel. Thus open-loop final-channel leakage cannot identify temporal organization beyond the final projective Pauli-product distribution. Intermediate measurements, controls, syndrome extraction, or adaptive recovery are required for genuinely intervention-resolved multi-time code geometry. ## Distribution-robust optimizer reversal For an arbitrary three-location bit-flip trajectory law, let π denote the induced final-parity distribution on F23, let c=(1,1,1), and define Λπ:=∑t∈F23πtπt⊕c. For the three-qubit repetition code E=span{∣000⟩,∣111⟩}, the complete complementary leakage is exactly Lπ(E)=Λπ. For every fixed full-support final-parity law, the intrinsic Fourier-syndrome graph coordinate w satisfies Lπ(V(w))=Λπ−2Λπ∣w∣2+o(∣w∣2). Hence the repetition code is a strict local maximum throughout this two-real-dimensional graph chart for every full-support final-parity distribution, independently of temporal correlations, stationarity, roundwise independence, identical error rates, or cyclic spatial symmetry. By contrast, a conditioned zero-and-one-fault truncation with positive coarse single-location weights has L≤1(E)=0 and strictly positive leakage at every nonzero sufficiently nearby graph code. The same reference code is therefore a strict local minimum for the truncated model and a strict local maximum for the complete process. The central conclusion is: > Exact aggregation of paths that implement the same projective physical operator preserves the entire code-optimization landscape, whereas deletion of higher-fault history fibers can reverse the local optimizer geometry. ## Scope The results concern random-unitary, open-loop finite-history models and complete complementary-channel leakage. The optimizer reversal is proved in a specified Fourier-syndrome graph chart around the three-qubit repetition code. The paper does not claim: - a full-Grassmannian classification for the three-qubit model;- a decoder or recovery-circuit construction;- a logical-error threshold;- a circuit-level hardware noise model;- collapse of an intervention-resolved process tensor;- equivalence in the presence of intermediate syndrome measurements, controls, or adaptive recovery. These intervention-resolved settings form the natural next boundary of the theory. ## Relation to the preceding research program This paper is a concluding bridge theorem paper connected to a six-paper exact finite-history QEC and spectral-minimax research line. ### 1. Compression-geometric foundation Sharp Complementarity, Complete Attainable Region, and Metric Rigidity of Rank-Two Quantum Codes under Collective and Differential Dephasing Version v0.5r2b DOI: 10.5281/zenodo.21523950 This paper determined the complete attainable compression-defect region for rank-two codes under collective and differential two-qubit dephasing, classified the equality geometry, and established sharp metric rigidity. ### 2. Balanced finite-history minimax Environment-Record Leakage for Finite Quantum Error Histories: Balanced Global Minimax, Complete Minimizer Geometry, and Distributional Stability Version v0.5r2 DOI: 10.5281/zenodo.21560397 This paper introduced the complete environment-record leakage objective for finite error histories, solved the balanced two-step minimax problem globally over Gr(2,4), classified all balanced minimizers, and established distributional stability. ### 3. Bias-induced geometric selection Bias-Induced Non-Isoclinic Optimality in Finite Quantum Error Histories: Exact Separation, Thresholdless Bifurcation, and Near-Balanced All-Code Minimax Version v0.3r2 DOI: 10.5281/zenodo.21598820 This paper proved exact non-isoclinic separation, an open non-isoclinic parameter region, thresholdless loss of isoclinic optimality under arbitrarily small bias, and the leading full-Grassmannian near-balanced minimax selector. ### 4. Fourth-order overlap selection Flat-Interior Persistence and Singular Overlap Selection in Near-Balanced Quantum Error Histories: Fourth-Order Transition Curves and Full-Grassmannian Minimax Closure Version v0.1r3 DOI: 10.5281/zenodo.21622029 This sequel resolved the higher-order overlap degeneracy, established flat-interior persistence, derived singular boundary-layer transition curves, and closed the near-balanced full-Grassmannian minimax expansion through fourth order. ### 5. Abstract reflected spectral-jet framework Reflected Spectral-Jet Realization for Degenerate Minimax Problems: Hard-Normal Selection, Flat Tangential Persistence, and Coactive Boundary Transitions Version v0.2r1 DOI: 10.5281/zenodo.21636022 This paper extracted a reusable abstract framework for hard-normal isolation, soft tangential persistence, reflected active branches, and coactive boundary transitions in degenerate spectral minimax problems. ### 6. Finite-orbit generalization and first QEC truncation reversal Beyond Reflected Pairs: Finite-Orbit Spectral Jets, Quadratic Isolation, and Multi-Branch Coactivity in Degenerate Minimax Problems Version v0.4r1 DOI: 10.5281/zenodo.21644364 This paper generalized the reflected-pair theory to finite transitive orbits, developed multi-branch coactivity and representation-theoretic jet obstructions, and exhibited an exact three-location QEC realization in which restoring omitted multi-fault histories reverses the local optimizer geometry. ### 7. Present bridge theorem The present paper determines which open-loop temporal path information is exactly removable and which history reductions remain unsafe. It extends the earlier single-process reversal from independent or cyclic models to arbitrary correlated projective-unitary paths and arbitrary full-support final-parity laws. The resulting research progression is compression geometry⟶balanced global minimax⟶bias-induced selection⟶fourth-order closure⟶reflected spectral jets⟶finite-orbit coactivity⟶projective path collapse and distribution-robust reversal. ## Reproducibility package The accompanying bundle contains: - the manuscript PDF;- the LaTeX source;- an exact symbolic verification script;- a machine-readable verification report;- a README describing the proof-artifact contract;- a SHA-256 manifest;- version and package-audit records. The verifier performs 72 exact symbolic checks, including projective Pauli phase identities, phase-covariant path compression, arbitrary-parity polar factors, translation orthogonality, Fourier-syndrome graph compressions, and coefficient bookkeeping for the distribution-robust local expansion. The verifier deliberately rejects optimized Python mode. PASS decisions do not rely on floating-point tolerances. Compactness, maximizing-direction localization, trace-norm differentiability, and uniform asymptotic assembly remain analytic parts of the manuscript proof rather than delegated computational claims.
Overview This preprint develops a finite-history framework for quantifying how coherently stored environment records reveal logical quantum information. Instead of considering only which error occurred, the analysis treats the full complementary environment channel associated with a labeled family of finite quantum-error histories. For two selected history labels, the leakage is expressed exactly through the numerical-range diameter of the compressed relative operator. This yields global finite-history compression bounds, a zero-leakage characterization equivalent to Knill–Laflamme scalarity, and lower and upper bounds for recovery by a single common channel. Main results For a balanced independent two-step dephasing model on one logical qubit encoded into two physical qubits, the paper solves the worst-case optimization over the full rank-two code Grassmannian: infV∈Gr(2,4)supϕ,ψLhist(V)=21. The transverse leakage is determined exactly by Ltr(η,t)=max{21,2η,41−η21+t}. All global minimizers are classified. Besides the parity-isoclinic orthogonal-axis family, the minimizer set contains a genuine non-isoclinic region characterized by 0<η≤41,ez=oz=0,∣e⋅o∣≤1−4η24η2. A universal quartic inequality needed for the all-code theorem is reduced analytically to an exact polynomial-positivity problem and closed using rational Bernstein-basis verification. Distributional stability On a fixed labeled history-operator family, the complementary channel, worst-parameter leakage, and all-code minimax value are Lipschitz-stable under changes of the history probability distribution. With dA(p,q)=[∑h(ph−qh)2]1/2, the minimax value satisfies ∣Λ(p)−Λ(q)∣≤2dA(p,q). Consequently, key quantitative implications of the balanced complete solution—including the minimax value, principal near-minimizer coordinate constraints, and a universal operational recovery lower bound—remain stable under nearby biased or correlated perturbations.
## Overview This theorem-focused paper studies one logical qubit encoded into two physical qubits and exposed to two independent temporally ordered dephasing events, one collective and one differential, whose binary history labels are coherently stored by an environment. The objective is to minimize the worst-case logical information leaked into the environment’s history register over all rank-two quantum codes. A probability-adapted Bernoulli basis reduces the complementary output difference for arbitrary independent event probabilities to a traceless three-dimensional Hermitian arrow matrix. Phase-reflection and event-exchange symmetries then show that the fixed-code worst-phase leakage and its all-code minimax depend on the event probabilities only through their Bernoulli variances. ## Main results At equal event probabilities μ+=μ−=1/5, an explicit transverse non-isoclinic code satisfies L1/5,1/5wc(V)≤25099<52, where 2/5 is the exact optimum over the complete parity-isoclinic manifold. The strict upper bound is certified using exact rational tensor-Bernstein arithmetic. Distributional stability extends this separation to an explicit two-parameter rectangle whose open interior is a region of forced non-isoclinic optimality. On the symmetric independent line, the paper proves a thresholdless bifurcation: every nondeterministic nonbalanced distribution destroys parity-isoclinic global optimality. Near the balanced point, probability bias selects the universal finite anisotropy η0=832−4, and the minimax over the full rank-two code Grassmannian satisfies Λdiag(δ)=21−(21−62)δ2+o(δ2),δ=1−2μ. Every asymptotically minimizing code accumulates on the transverse balanced-minimizer stratum with r=21,η=η0,ez=oz=0, and with relative transverse-axis overlap bounded by ∣e⋅o∣≤32−1. Thus probability bias breaks the balanced continuum of globally minimizing codes and selects a genuinely non-isoclinic geometric phase with a universal leading anisotropy over the full code Grassmannian. ## Scope The paper does not claim an exact finite-bias formula for the complete minimax, a determination of the order at which the remaining transverse-axis overlap is selected, or a complete off-diagonal phase boundary for unequal event variances. These are identified as follow-up problems. ## Reproducibility package This record contains: - the manuscript PDF;- the complete LaTeX source;- a standalone reproducibility bundle;- seven deterministic exact-arithmetic theorem verifiers;- machine-readable JSON verification reports;- a SHA-256 manifest and verification utility. No floating-point comparison enters a verifier’s PASS decision. The scripts certify the exact rational or symbolic identities used in the proofs. Compactness, localization, perturbative-envelope, and Grassmannian liminf arguments remain analytic parts of the manuscript and are not replaced by computation. ## Version Version v0.3r2, July 2026. ## Related public records - Directional code-geometry foundation: DOI `10.5281/zenodo.21523950`- Balanced finite-history benchmark and complete minimizer geometry: DOI `10.5281/zenodo.21560397`
We solve cyclic finite-dimensional quantum histories for arbitrary time-dependent unitary steps, without assuming that one step has finite order. The propagation Hamiltonian is a unitary connection Laplacian on a cycle; its complete gauge invariant is the monodromy M=UL−1⋯U0. Its spectrum is λa,k=1−cos((2πk−θa)/L), where eiθa∈spec(M). Thus the exact history sector is isomorphic to Fix(M), while frustration, the gap above a nonempty zero-energy sector, the determinant, and the finite-temperature trace are obtained in closed form. Ordinary spectral data recover the multiset of monodromy phase cosines but not phase orientation; low energy certifies proximity to an exact relational history. We then define the predictive quotient of a sharp finite clock relative to an accessible operator system as the unique coarsest event alphabet preserving all conditional statistics on a history sector. A finite-error theorem shows that threshold clustering recovers this quotient when the minimum diamond separation of inequivalent event channels exceeds four times the estimation error, and proves an optimal record-count bound. With full matrix access and homogeneous step U, the minimal number of clock events is the projective order of U. We distinguish the normalizer of the clock algebra from transformations preserving the coherent history code and classify oriented exact sharp clock changes by U(r)×ZL on a rank-r history sector; without orientation the cyclic factor becomes dihedral. Reversible changes of full-information clock fibers are necessarily unitary, so irreversible coarse-graining is not exact clock covariance. Minimal realizations of a complete history Gram kernel are uniquely unitarily equivalent, with a finite-data Procrustes bound. Independent finite-matrix code verifies the main results.
A finite group-valued temporal reference frame defines a correlated random-unitary process rather than a list of independent channels. We identify a regime in which its complete trajectory law is an exact operational coordinate. If the carrier contains every irreducible representation of the finite group G, one ancilla-assisted input resolves all group elements, and for arbitrary laws μ,ν on Gn the strategy half-distance equals dTV(μ,ν). Optimal output-side causal post-processing likewise reduces to classical convolution on Gn. This converts temporal hiding into a q-ary coding problem. Uniform coset laws of an [n,k]q code are identical on every set of fewer than d(C⊥) slots and perfectly distinguishable globally. For M sectors with leakage at most η from t selected slots and global decoding error ε, we obtain (1−ε)logM≤(n−t)logq+η+h2(ε). For nested codes C⊂D, the payload R=dimD−dimC, invisible depth t=drel(C⊥,D⊥)−1, and sector distance drel(D,C) obey R+t+drel(D,C)−1≤n and R+t+2e+f≤n, where e and f are adversarial errors and known erasures. Nested generalized Reed-Solomon codes attain the bounds in their existence range. We also give the exact projection-rank leakage profile and show that hiding arbitrary coherent superpositions from t slots is precisely quantum erasure correction, yielding logqK+2t≤n. The results separate classical trajectory privacy from coherent temporal privacy and quantify the robust payload hidden from reduced process tomography.
Optimal-recovery ambiguity under truncated amplitude-damping models investigates a structural limitation of noise-adapted quantum error correction: a recovery optimized for a truncated noise model need not be uniquely determined with respect to its performance under the full physical channel.The work develops a geometric identifiability criterion for optimal quantum recoveries formulated as completely positive trace-preserving optimization problems in Choi form. It characterizes when the full-channel objective is constant across an optimal face of the truncated-design problem and when different equally optimal recoveries can instead produce different full-channel fidelities.The main application is the nine-qubit Shor code under canonical product amplitude-damping noise, with recovery models truncated by Kraus weight. For syndrome-structured recoveries, the study certifies nonzero full-channel fidelity intervals for truncation weights 1 through 5 and establishes their leading scaling with damping strength.For truncation weights 1 and 2, pairwise orthogonality of the retained encoded error ranges yields an exact syndrome-sufficiency result. The structured and unrestricted truncated-design optima coincide for all damping strengths between 0 and 1, showing that the observed recovery ambiguity is not caused by imposing the syndrome-block architecture in these cases.For truncation weight 3, the retained error ranges are no longer pairwise orthogonal. The exact unrestricted optimal-face diameter remains open, but dense unrestricted Choi witnesses at damping strength 0.05 reproduce 99.4202 percent of the corresponding structured full-channel separation while remaining close to the truncated-design optimum.The accompanying QER-FaceScan v2.7 reproducibility archive contains the manuscript source, numerical results, verification scripts, solver audits, structured-width certificates, unrestricted recovery witnesses, dual data, Petz and exact-support checks, and SHA-256 integrity manifests. Large Hermitian Choi matrices are stored using an exact lossless packed representation and are reconstructed by the supplied verification tools without reduced precision or lossy approximation.Related four-qubit calibration results and supporting code are available in the companion ALM-QEC archive: DOI 10.6084/m9.figshare.32080845.
We develop a field-theoretic framework for quantum error correction centred on fusion-space codes in unitary fusion categories. Admissible clusters determine total-charge sectors and orthogonal footprint projectors recording locally visible data left by error histories. The central distinction is between diagnostic footprint algebras and syndrome-admissible commuting algebras: the latter can be measured without revealing logical information and resolve chosen error representatives into measured sectors. For such algebras, exact correctability is equivalent to fibrewise Knill--Laflamme conditions, yielding a measure-then-recover factorization. Under a contractible-vacuum locality hypothesis, closed neutral composites give a categorical sufficient criterion for scalar action on the code. In the Ising theory, four σ punctures show that pair-charge footprints can be complementary logical diagnostics and realize an exact one-qubit Clifford shadow. A proper six-σ code instead admits a syndrome-admissible pair-charge measurement and exact recovery from an explicit Majorana bilinear error. A second bilinear has the same measured footprint but differs by a logical bit flip, producing a concrete nontrivial footprint fibre and genuine decoding ambiguity. We also formulate conformal-block likelihood data and compute geometry-dependent Ising four-point weights. For growing code families, we prove a conditional Peierls-type threshold theorem: bounded connected-region growth, local stochastic noise, local neutralizability of small residual components, and componentwise decoder balance imply PrL(fail)≤C∣ΩL∣e−cL below a nonzero constant error rate. We conclude with representation-theoretic and algebro-geometric directions involving tube and Hopf algebras, Yangian-type structures, Higgs bundles, spectral curves, Jacobians, and abelian varieties.