Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

Residual Surface Return in the Extended Q5 Leakage Sector

Craig Edwin Holdway

Published Jun 3, 2026• 0 citations
Publisher

Abstract

T94 extends the leakage-state framework of T93 by deriving the leading-order return dynamics of phase amplitude that leaves the \(Y\)-admissible crossing sector. Rather than treating leakage as a terminal loss mechanism, the theorem models leakage as a redistribution process in which rejected amplitude enters a secondary sector, circulates internally, and subsequently returns to the observable crossing sector. The extended state space is \[\mathcal{H}_{\mathrm{ext}}=\mathbb{C}^{2}\oplus\mathcal{H}_{L},\] with dynamics governed by the coupled generator \[\mathcal{G}=\begin{pmatrix}A & -K^{\dagger} \\K & B\end{pmatrix},\] where \(K\) transfers amplitude into the leakage sector, \(K^{\dagger}\) returns amplitude from the leakage sector, and \(B\) governs internal circulation within \(\mathcal{H}_{L}\). The theorem establishes that leakage is redistribution rather than destruction. For an initially coherent crossing state \(\psi_{PQ}(0)\), amplitude enters the leakage sector according to \[\lambda(t)=tK\psi_{PQ}(0)+O(t^{2}),\] and subsequently evolves through the internal circulation operator \[e^{tB}.\] The resulting leading-order return contribution to the crossing sector is \[R(t)=K^{\dagger}e^{tB}K\psi_{PQ}(0).\] This return term is identified as the residual surface return of the extended Q5 architecture. A central result of the theorem is that residual return is not automatically restorative. The effect of the returned phase is determined entirely by its alignment with the gate-admissible crossing component \[\psi_Y(t)=\Pi_Y \Psi(t).\] The coherence response is governed by the real overlap \[\Re\langle \psi_Y(t),R(t)\rangle.\] Three regimes emerge: \[\Re\langle \psi_Y,R\rangle > 0\] produces reinforcement of coherent crossing, \[\Re\langle \psi_Y,R\rangle < 0\] produces dephasing, and \[\Re\langle \psi_Y,R\rangle = 0\] produces a neutral contribution. The theorem, therefore, refines the decoherence picture introduced in T93. Decoherence is not interpreted as the disappearance of phase information but as the return of redistributed phase in a state that is no longer aligned with the admissible crossing mode. Misaligned return decreases gate-admission weight and reduces interference visibility even when the total norm remains conserved. Several corollaries follow. Generic residual return does not remain phase-locked to the crossing mode and therefore fails to restore coherence automatically. Exact recovery requires reconstruction of the full leakage-sector evolution \(e^{tB}\), making reversibility information-demanding even when the underlying dynamics remain unitary. Effective irreversibility is thus attributed to the information cost of reconstruction rather than to fundamental non-unitarity. T94 serves as the first formal return-transport theorem in the Q5 sequence. Together with T93, it provides a complete first-order picture of leakage dynamics: \[\text{crossing sector}\;\xrightarrow{K}\;\text{leakage sector}\;\xrightarrow{e^{tB}}\;\text{surface circulation}\;\xrightarrow{K^{\dagger}}\;\text{return transport}.\] The theorem establishes that the coherence consequences of leakage are determined not by the existence of returned phase, but by the alignment of that returned phase with the unique \(Y\)-admissible crossing mode.

DOI
10.5281/zenodo.20533835

Related papers

Short-Time Visibility Decay in the Extended Q5 Leakage Model

Craig Edwin Holdway

T95 derives the first quantitative prediction of the extended Q5 leakage-state framework by determining the short-time decay of interference visibility for a gate-aligned crossing state coupled to leakage modes. Building on the leakage architecture of T93 and the return-transport mechanism of T94, the theorem establishes that the initial loss of coherence is governed entirely by the leakage coupling strength and is independent of the internal leakage dynamics at leading order. The extended state space is \[\mathcal{H}_{\mathrm{ext}}=\mathbb{C}^{2}\oplus\mathcal{H}_{L},\] with generator \[\mathcal{G}=\begin{pmatrix}A & -K^{\dagger} \\K & B\end{pmatrix},\qquadA=i\sigma_y.\] An initially gate-aligned state \[\Psi(0)=\begin{pmatrix}\psi_0 \\0\end{pmatrix},\qquad\Pi_Y\psi_0=\psi_0,\qquad\|\psi_0\|=1,\] begins entirely within the admissible crossing mode, with no initial leakage-sector occupation. The theorem first establishes that leakage amplitude enters the auxiliary sector at first order in time: \[\lambda(t)=tK\psi_0+O(t^2).\] Consequently, the associated leakage weight is second order: \[\|\lambda(t)\|^2=t^2\|K\psi_0\|^2+O(t^3).\] Because the full evolution is norm preserving, the visible crossing-sector weight must decrease by the same amount. This leads directly to the short-time gate-admission weight \[\|\Pi_Y\Psi(t)\|^2=1-t^2\|K\psi_0\|^2+O(t^3).\] Taking the square root yields the principal result: \[V(t)=1-\frac12\|K\psi_0\|^2t^2+O(t^3),\] where \[V(t)=\|\Pi_Y\Psi(t)\|\] is the interference visibility introduced in T93. Using the gate decoherence measure \[\mathcal{D}_Y(t)=1-V(t)^2,\] The theorem obtains \[\mathcal{D}_Y(t)=\|K\psi_0\|^2t^2+O(t^3).\] Thus, decoherence begins quadratically in time rather than linearly. Leakage amplitude appears immediately, but observable coherence loss emerges only after that displaced amplitude acquires measurable weight. A central consequence is that the leading decoherence coefficient depends solely on \[\|K\psi_0\|^2,\] the leakage strength of the initial state. The internal leakage-sector circulation operator \(B\) does not contribute to the leading-order visibility loss and enters only at higher orders through the return dynamics derived in T94. The theorem, therefore, separates the immediate coherence-loss mechanism from the subsequent circulation and return processes. Several corollaries follow. States satisfying \[K\psi_0=0\] experience no short-time decoherence from leakage. Stronger leakage coupling produces faster visibility decay, and the coefficient \(\|K\psi_0\|^2\) may in principle be inferred from the curvature of an interference fringe at short times. Combining the result with the reduced interference law of T91 shows that leakage suppresses the interference term through a quadratic visibility factor. The theorem provides the first explicit dynamical prediction of the extended leakage architecture. It demonstrates that phase information is not destroyed when coherence is lost. Rather, phase leaves the \(Y\)-admissible crossing mode at a rate determined by the leakage coupling, producing a universal quadratic onset of decoherence in the short-time regime.

•Jun 3, 2026•0 citations

Extended Q5 Leakage-State Decoherence

Craig Edwin Holdway

T93 extends the reduced Q5 interference framework of T91–T92 to an enlarged leakage-state space \[\mathcal{H}_{\mathrm{ext}}=\mathbb{C}^{2}\oplus\mathcal{H}_{L},\] where \(\mathbb{C}^{2}\) is the coherent crossing sector and \(\mathcal{H}_{L}\) collects non-crossing leakage modes. The theorem distinguishes between visible coherent weight \[C(t)=\|\Pi_{PQ}\Psi(t)\|^{2},\] leakage weight \[D(t)=\|(I-\Pi_{PQ})\Psi(t)\|^{2},\] and gate-admission weight \[G(t)=\|\Pi_{Y}\Psi(t)\|^{2},\] where \(\Pi_Y\) projects onto the \(Y\)-admissible crossing mode. A key result is that visible coherence and gate alignment are distinct quantities. A state may retain nonzero amplitude in the observable \(P/Q\) sector while failing admission into the \(Y\)-crossing mode. This leads to a geometric definition of decoherence: \[\mathcal{D}_{Y}(t)=1-\|\Pi_{Y}\Psi(t)\|^{2}.\] Decoherence is therefore interpreted as loss of overlap with the admissible crossing channel rather than destruction of phase information. The theorem further establishes that interference visibility is governed by the gate-admitted component of the state: \[V(t)=\|\Pi_{Y}\Psi(t)\|,\] yielding the extended interference law \[\Pr(P)=\frac12\left(1+V(t)\sin(2t)\cos\phi\right).\] Perfect visibility corresponds to complete gate alignment, while reduced visibility reflects either leakage into non-crossing modes or misalignment with the crossing sector. An extended generator \[\mathcal{G}=\begin{pmatrix}A & -K^{\dagger}\\K & B\end{pmatrix}\] is introduced to couple the coherent crossing sector to the leakage sector. Under the skew-adjoint conditions \[A^{\dagger}=-A,\qquadB^{\dagger}=-B,\] the evolution operator \(e^{t\mathcal{G}}\) preserves total norm, implying \[C(t)+D(t)=1.\] Leakage therefore represents redistribution of phase weight rather than irreversible loss. The theorem provides a geometric interpretation of decoherence within the Q5 framework: phase information may remain globally conserved while becoming inaccessible to coherent crossing dynamics. In this picture, coherence is determined not merely by the presence of phase amplitude, but by its alignment with the unique \(Y\)-admissible transport mode.

•Jun 3, 2026•0 citations

Extended Barrier Transport with Leakage

Craig Edwin Holdway

T98 extends the coherent-crossing transport pipeline of T97 into a complete two-branch barrier architecture. Rather than tracking only the gate-admitted component, the theorem follows both the admitted and rejected portions of the reduced crossing state, yielding the minimal extended transport model for barrier interaction. Beginning with an incoming fibre state \[\psi_{\mathrm{full}}\in\mathcal{H}_{5\times5},\] The native-side transport and reduction operators produce the reduced crossing state \[\psi_{PQ}=\mathcal{R}\,D_NM_N\,\psi_{\mathrm{full}}\in\mathbb{C}^{2}.\] Using the gate-admission projector \(\Pi_Y\) and leakage complement \[K=I-\Pi_Y,\] Introduced in T96, the reduced state decomposes orthogonally into \[\psi_{PQ}=\Pi_Y\psi_{PQ}+K\psi_{PQ}.\] The first component satisfies the \(Y\)-gate condition and is eligible for coherent crossing. The second component fails gate admission and enters the leakage branch. The theorem derives the complete extended transport operator \[\mathcal{T}_{\mathrm{ext}}=\begin{pmatrix}D_QM_Q\,\Pi_Y\,\mathcal{R}\,D_NM_N\\[0.4em]K\,\mathcal{R}\,D_NM_N\end{pmatrix},\] which simultaneously produces both outputs of barrier interaction. Applied to an incoming fibre state, the result is \[\mathcal{T}_{\mathrm{ext}}\psi_{\mathrm{full}}=\begin{pmatrix}D_QM_Q\,\Pi_Y\,\mathcal{R}\,D_NM_N\,\psi_{\mathrm{full}}\\[0.4em]K\,\mathcal{R}\,D_NM_N\,\psi_{\mathrm{full}}\end{pmatrix}.\] The upper component is the coherent crossing branch propagating through the barrier into the dual-side sector. The lower component is the leakage branch consisting of phase content that reaches the reduced crossing sector but fails the \(Y\)-gate condition. A key consequence is that generic barrier interaction is neither complete transmission nor complete rejection. Most states decompose into both branches simultaneously: \[\psi_{PQ}=\Pi_Y\psi_{PQ}+K\psi_{PQ}.\] The barrier, therefore, acts as a filter rather than a binary gate. Coherent crossing and leakage are complementary outcomes of the same reduced crossing state. The theorem further establishes the complete-crossing and complete-leakage limits. A state crosses cleanly if and only if \[K\,\mathcal{R}\,D_NM_N\,\psi_{\mathrm{full}}=0,\] equivalently, \[\mathcal{R}\,D_NM_N\,\psi_{\mathrm{full}}\in\operatorname{span}\{|Y\rangle\}.\] Conversely, a state exhibits complete leakage if and only if \[\Pi_Y\,\mathcal{R}\,D_NM_N\,\psi_{\mathrm{full}}=0,\] so that no coherent crossing component survives. Using the orthogonal decomposition established in T96, the theorem preserves the norm split \[C_Y+D_Y=1,\] where \[C_Y=\|\Pi_Y\psi_{PQ}\|^2\] is the gate-admission weight and \[D_Y=\|K\psi_{PQ}\|^2\] is the leakage weight. A major consequence of the theorem is that the leakage branch becomes the explicit source of the residual return dynamics developed in T94. Substituting the reduced crossing state into the return formula yields \[R(t)=K^\dagger e^{tB}K\,\mathcal{R}\,D_NM_N\,\psi_{\mathrm{full}},\] providing a complete operator pathway from incoming fibre state to leakage circulation and subsequent return. T98 therefore completes the transport architecture initiated in T97. The barrier is revealed as a two-output filter that separates an incoming reduced state into an admitted crossing component and a rejected leakage component. Together with T93–T97, the theorem provides the first complete operator-level description of barrier transport, leakage generation, and residual return within the Q5 framework.

•Jun 3, 2026•0 citations

Surface Circulation Generator from Q5 Leakage Geometry

Craig Edwin Holdway

T103 identifies the explicit local leakage-sector circulation generator required by the leakage-return architecture developed in T93–T102. T102 established that observable conjugate-half mixing arises through the factorization \[C=L^\dagger B L,\] where \(L\) injects non-admitted crossing amplitude into the leakage sector, \(B\) governs leakage-sector circulation, and \(L^\dagger\) returns circulated amplitude to the observable sector. However, T102 left the circulation generator \(B\) unspecified. T103 supplies its local Q5 form. The theorem draws upon the leakage-generator development established later in the theorem chain. The local leakage sector is modelled by a three-mode basis \[(e_3,e_4,e_5),\] where \(e_3\) and \(e_5\) are return-capable boundary modes and \(e_4\) is a balancing intermediary mode. The resulting local leakage adjacency has chain structure \[e_3 \leftrightarrow e_4 \leftrightarrow e_5,\] with no direct coupling between \(e_3\) and \(e_5\). The corresponding local leakage adjacency operator is \[\mathcal A_L=\frac1{\sqrt{80}}\begin{pmatrix}0&e^{i\pi/4}&0\\e^{-i\pi/4}&0&e^{i\pi/4}\\0&e^{-i\pi/4}&0\end{pmatrix}.\] The theorem verifies that \(\mathcal A_L\) is Hermitian: \[\mathcal A_L^\dagger=\mathcal A_L.\] The leakage-sector circulation generator is then defined by \[\boxed{B=i\mathcal A_L.}\] Since \(\mathcal A_L\) is Hermitian, the circulation generator satisfies \[B^\dagger=-B,\] and is therefore anti-Hermitian. A direct consequence is that leakage evolution \[e^{tB}\] is unitary: \[(e^{tB})^\dagger e^{tB}=I,\] showing that leakage circulation preserves norm. Leakage is therefore interpreted as conservative circulation rather than dissipative loss. The theorem next examines the transport structure encoded by \(\mathcal A_L\). Because the matrix entries \[(\mathcal A_L)_{13}=(\mathcal A_L)_{31}=0,\] there is no direct coupling between the two boundary modes \(e_3\) and \(e_5\). All transport between them must pass through the middle mode \(e_4\). The middle mode, therefore, acts as a balancing mediator within the leakage sector. This structural restriction has dynamical consequences. The first-order leakage evolution \[e^{tB}=I+tB+O(t^2)\] contains no direct boundary-to-boundary transfer because \[B_{13}=B_{31}=0.\] Consequently, transfer between \(e_3\) and \(e_5\) first appears through the second-order pathway \[e_3\rightarrowe_4\rightarrowe_5.\] Boundary return is therefore intrinsically mediated and delayed relative to local circulation. Substituting the derived generator into the T102 mixing formula yields \[\boxed{C=L^\dagger(i\mathcal A_L)L.}\] This provides the first explicit local realization of the conjugate-half mixing operator. The mixing process is no longer governed by an unspecified circulation generator but by a concrete leakage adjacency derived from the Q5 leakage architecture. Several conceptual consequences follow. Leakage transport is mediated rather than direct. Circulation preserves norm and therefore represents redistribution rather than loss. The middle leakage mode plays an essential balancing role. Most importantly, the observable mixing operator inherits its structure from a specific leakage-sector geometry rather than from an arbitrary correction term. T103 serves as the bridge between the abstract leakage-return factorization of T102 and the explicit interference calculations that follow. T102 established the form \[C=L^\dagger B L.\] T103 identifies the local generator \[B=i\mathcal A_L.\] Together, these results provide the explicit operator \[C=L^\dagger(i\mathcal A_L)L,\] which forms the starting point for the observable interference-correction analysis developed in T104. Epistemic status: Solid: The Hermiticity of \(\mathcal A_L\), anti-Hermiticity of \(B=i\mathcal A_L\), norm preservation of \(e^{tB}\), absence of direct \(e_3\leftrightarrow e_5\) coupling, and second-order nature of boundary-to-boundary transfer follow directly from the displayed local leakage matrix. Conditional: The normalization factor \(1/\sqrt{80}\), the identification of \((e_3,e_4,e_5)\) with the physical leakage sector, and the embedding of the local leakage block into the full Q5 architecture depend upon the later global embedding results and remain conditional pending completion of the full leakage-sector construction.

•Jun 3, 2026•0 citations

Mixing Operator from Leakage Return

Craig Edwin Holdway

T102 derives the first-principles origin of the conjugate-half mixing operator introduced abstractly in T100–T101. While the earlier theorems established that weak mixing between the observable sector and its conjugate counterpart produces first-order corrections to Born probabilities, the mixing map itself remained an assumed object. T102 removes that assumption by deriving the operator directly from the leakage-return dynamics of the extended Q5 transport system. The starting point is the leakage architecture developed in T93–T96. The extended state space is \[\mathcal{H}_{\mathrm{ext}}=\mathbb{C}^{2}\oplus\mathcal{H}_{L},\] with a coupled generator \[\mathcal{G}=\begin{pmatrix}A & -L^{\dagger}\\L & B\end{pmatrix},\] where \[K_\perp = I-\Pi_Y\] is the leakage-complement projector introduced in T96, while \[L:\mathbb{C}^{2}\rightarrow\mathcal{H}_{L}\] is the leakage injection map into the leakage sector. The operator \(B\) governs circulation within the leakage sector. From T94, leakage-return dynamics are described by \[R(t)=L^{\dagger}e^{tB}L\psi.\] Expanding the leakage evolution operator, \[e^{tB}=I+tB+O(t^2),\] gives \[R(t)=L^{\dagger}L\psi+t\,L^{\dagger}BL\psi+O(t^2).\] The theorem identifies the first nontrivial mixing contribution as the circulation-induced term \[t\,L^{\dagger}BL\psi.\] Introducing the coupling scale \[\eta\sim t,\] The effective observable state becomes \[\psi_{\mathrm{eff}}=\psi+\eta\,C\psi+O(\eta^2),\] with the derived mixing operator \[\boxed{C=L^{\dagger}BL.}\] The theorem, therefore, demonstrates that conjugate-half mixing is not an independent postulate. It emerges naturally from the sequence: \[\text{leakage}\;\xrightarrow{L}\;\text{surface circulation}\;\xrightarrow{B}\;\text{return}\;\xrightarrow{L^{\dagger}}\;\text{observable correction}.\] A key structural property follows immediately. Since \[B^{\dagger}=-B,\] The mixing operator satisfies \[C^{\dagger}=-C.\] The operator is therefore anti-Hermitian, implying \[\Re\langle\psi,C\psi\rangle=0\] and ensuring preservation of normalization to first order: \[\|\psi+\eta C\psi\|^2=\|\psi\|^2+O(\eta^2).\] The theorem next establishes compatibility with the Born-correction framework of T100. Substituting \[\psi_{\mathrm{eff}}=\psi+\eta C\psi+O(\eta^2)\] into the observable readout yields \[\Delta_i=2\Re\langle\Pi_i\psi,\Pi_iC\psi\rangle,\] which reproduces the first-order correction structure previously introduced in the conjugate-half mixing program. The abstract operator \(C\) of T100–T101 is therefore identified explicitly with the leakage-return operator \[L^{\dagger}BL.\] An important stability result also follows. If a state is perfectly gate-aligned, \[\Pi_Y\psi=\psi,\] then \[K_\perp\psi=0.\] Since \(L\) injects only the leakage component, \[K_\perp\psi=0\quad\Rightarrow\quadL\psi=0.\] Therefore \[C\psi=L^{\dagger}BL\psi=0.\] Perfectly admitted states receive no conjugate-half mixing correction. Mixing arises only from leakage away from the gate-admissible mode. Several conceptual consequences follow. The mixing operator is revealed as a composite object consisting of three distinct stages: leakage injection (\(L\)), leakage-sector circulation (\(B\)), and return transport (\(L^{\dagger}\)). No new free parameter is introduced at this stage. All structures arise from previously established operators within the leakage architecture. T102 serves as the derivational bridge between the leakage program and the Born-correction program. T94 introduced residual return dynamics. T100–T101 introduced observable mixing corrections. T102 demonstrates that both descriptions arise from the same underlying mechanism, establishing \[\boxed{C=L^{\dagger}BL}\] as the first-principles origin of conjugate-half mixing within the extended Q5 framework.

•Jun 3, 2026•0 citations

Forced Residual Reinjection Block

Craig Edwin Holdway

TA38 derives the reinjection block \(C_{\mathcal B}:\mathcal H_R\to\mathcal H_M\) of the barrier-scattering matrix from the Q5 admissibility architecture. Given the residual state circulated by TA36 and TA37, only the component of residual return lying in the \(Y\)-admissible gate subspace may re-enter the coherent carrier sector. This forces the reinjection block to take the form\[C_{\mathcal B}=\Pi_Y\,\mathcal U_{\mathrm{return}}\big|_{\mathcal H_R}.\]The theorem also gives the exact nonvanishing condition: reinjection occurs precisely when the residual return transport has nonzero overlap with \(\operatorname{im}(\Pi_Y)\). The resulting carrier output consists of direct carrier transport plus a lagged residual reinforcement term,\[\psi_M^{\mathrm{out}}(t)=A_{\mathcal B}\psi_M+C_{\mathcal B}e^{tE_{\mathcal B}}D_{\mathcal B}\psi_M.\]Together with TA36 and TA37, this completes the forced off-diagonal block trilogy: extraction, mediated circulation, and admissible reinjection. The result shows that the residual sector of the barrier-scattering matrix is geometrically constrained by the Q5 architecture rather than introduced as a phenomenological model. Status: solid for the forced structure of \(C_{\mathcal B}\); conditional for nontrivial reinjection pending explicit computation of the leakage generator \(A_L\).

•May 23, 2026•0 citations
T94 extends the leakage-state framework of T93 by deriving the leading-order return dynamics of phase amplitude that leaves the (Y)-admissible crossing sector. Rather than treating leakage as a terminal loss mechanism, the theorem models leakage as a redistribution process in which rejected amplitude enters a secondary sector, circulates internally, and subsequently returns to the observable crossing sector. The extended state space is [\mathcal{H}{\mathrm{ext}}=\mathbb{C}^{2}\oplus\mathcal{H}{L},] with dynamics governed by the coupled generator [\mathcal{G}=\begin{pmatrix}A & -K^{\dagger} \K & B\end{pmatrix},] where (K) transfers amplitude into the leakage sector, (K^{\dagger}) returns amplitude from the leakage sector, and (B) governs internal circulation within (\mathcal{H}{L}). The theorem establishes that leakage is redistribution rather than destruction. For an initially coherent crossing state (\psi{PQ}(0)), amplitude enters the leakage sector according to [\lambda(t)=tK\psi_{PQ}(0)+O(t^{2}),] and subsequently evolves through the internal circulation operator [e^{tB}.] The resulting leading-order return contribution to the crossing sector is [R(t)=K^{\dagger}e^{tB}K\psi_{PQ}(0).] This return term is identified as the residual surface return of the extended Q5 architecture. A central result of the theorem is that residual return is not automatically restorative. The effect of the returned phase is determined entirely by its alignment with the gate-admissible crossing component [\psi_Y(t)=\Pi_Y \Psi(t).] The coherence response is governed by the real overlap [\Re\langle \psi_Y(t),R(t)\rangle.] Three regimes emerge: [\Re\langle \psi_Y,R\rangle > 0] produces reinforcement of coherent crossing, [\Re\langle \psi_Y,R\rangle < 0] produces dephasing, and [\Re\langle \psi_Y,R\rangle = 0] produces a neutral contribution. The theorem, therefore, refines the decoherence picture introduced in T93. Decoherence is not interpreted as the disappearance of phase information but as the return of redistributed phase in a state that is no longer aligned with the admissible crossing mode. Misaligned return decreases gate-admission weight and reduces interference visibility even when the total norm remains conserved. Several corollaries follow. Generic residual return does not remain phase-locked to the crossing mode and therefore fails to restore coherence automatically. Exact recovery requires reconstruction of the full leakage-sector evolution (e^{tB}), making reversibility information-demanding even when the underlying dynamics remain unitary. Effective irreversibility is thus attributed to the information cost of reconstruction rather than to fundamental non-unitarity. T94 serves as the first formal return-transport theorem in the Q5 sequence. Together with T93, it provides a complete first-order picture of leakage dynamics: [\text{crossing sector};\xrightarrow{K};\text{leakage sector};\xrightarrow{e^{tB}};\text{surface circulation};\xrightarrow{K^{\dagger}};\text{return transport}.] The theorem establishes that the coherence consequences of leakage are determined not by the existence of returned phase, but by the alignment of that returned phase with the unique (Y)-admissible crossing mode.
T95 derives the first quantitative prediction of the extended Q5 leakage-state framework by determining the short-time decay of interference visibility for a gate-aligned crossing state coupled to leakage modes. Building on the leakage architecture of T93 and the return-transport mechanism of T94, the theorem establishes that the initial loss of coherence is governed entirely by the leakage coupling strength and is independent of the internal leakage dynamics at leading order. The extended state space is Hext=C2⊕HL,\mathcal{H}_{\mathrm{ext}}=\mathbb{C}^{2}\oplus\mathcal{H}_{L},Hext​=C2⊕HL​, with generator \[\mathcal{G}=\begin{pmatrix}A & -K^{\dagger} \\K & B\end{pmatrix},\qquadA=i\sigma_y.\] An initially gate-aligned state Ψ(0)=(ψ00),ΠYψ0=ψ0,∥ψ0∥=1,\Psi(0)=\begin{pmatrix}\psi_0 \\0\end{pmatrix},\qquad\Pi_Y\psi_0=\psi_0,\qquad\|\psi_0\|=1,Ψ(0)=(ψ0​0​),ΠY​ψ0​=ψ0​,∥ψ0​∥=1, begins entirely within the admissible crossing mode, with no initial leakage-sector occupation. The theorem first establishes that leakage amplitude enters the auxiliary sector at first order in time: λ(t)=tKψ0+O(t2).\lambda(t)=tK\psi_0+O(t^2).λ(t)=tKψ0​+O(t2). Consequently, the associated leakage weight is second order: ∥λ(t)∥2=t2∥Kψ0∥2+O(t3).\|\lambda(t)\|^2=t^2\|K\psi_0\|^2+O(t^3).∥λ(t)∥2=t2∥Kψ0​∥2+O(t3). Because the full evolution is norm preserving, the visible crossing-sector weight must decrease by the same amount. This leads directly to the short-time gate-admission weight ∥ΠYΨ(t)∥2=1−t2∥Kψ0∥2+O(t3).\|\Pi_Y\Psi(t)\|^2=1-t^2\|K\psi_0\|^2+O(t^3).∥ΠY​Ψ(t)∥2=1−t2∥Kψ0​∥2+O(t3). Taking the square root yields the principal result: V(t)=1−12∥Kψ0∥2t2+O(t3),V(t)=1-\frac12\|K\psi_0\|^2t^2+O(t^3),V(t)=1−21​∥Kψ0​∥2t2+O(t3), where V(t)=∥ΠYΨ(t)∥V(t)=\|\Pi_Y\Psi(t)\|V(t)=∥ΠY​Ψ(t)∥ is the interference visibility introduced in T93. Using the gate decoherence measure DY(t)=1−V(t)2,\mathcal{D}_Y(t)=1-V(t)^2,DY​(t)=1−V(t)2, The theorem obtains DY(t)=∥Kψ0∥2t2+O(t3).\mathcal{D}_Y(t)=\|K\psi_0\|^2t^2+O(t^3).DY​(t)=∥Kψ0​∥2t2+O(t3). Thus, decoherence begins quadratically in time rather than linearly. Leakage amplitude appears immediately, but observable coherence loss emerges only after that displaced amplitude acquires measurable weight. A central consequence is that the leading decoherence coefficient depends solely on ∥Kψ0∥2,\|K\psi_0\|^2,∥Kψ0​∥2, the leakage strength of the initial state. The internal leakage-sector circulation operator BBB does not contribute to the leading-order visibility loss and enters only at higher orders through the return dynamics derived in T94. The theorem, therefore, separates the immediate coherence-loss mechanism from the subsequent circulation and return processes. Several corollaries follow. States satisfying Kψ0=0K\psi_0=0Kψ0​=0 experience no short-time decoherence from leakage. Stronger leakage coupling produces faster visibility decay, and the coefficient ∥Kψ0∥2\|K\psi_0\|^2∥Kψ0​∥2 may in principle be inferred from the curvature of an interference fringe at short times. Combining the result with the reduced interference law of T91 shows that leakage suppresses the interference term through a quadratic visibility factor. The theorem provides the first explicit dynamical prediction of the extended leakage architecture. It demonstrates that phase information is not destroyed when coherence is lost. Rather, phase leaves the YYY-admissible crossing mode at a rate determined by the leakage coupling, producing a universal quadratic onset of decoherence in the short-time regime.
T93 extends the reduced Q5 interference framework of T91–T92 to an enlarged leakage-state space Hext=C2⊕HL,\mathcal{H}_{\mathrm{ext}}=\mathbb{C}^{2}\oplus\mathcal{H}_{L},Hext​=C2⊕HL​, where C2\mathbb{C}^{2}C2 is the coherent crossing sector and HL\mathcal{H}_{L}HL​ collects non-crossing leakage modes. The theorem distinguishes between visible coherent weight C(t)=∥ΠPQΨ(t)∥2,C(t)=\|\Pi_{PQ}\Psi(t)\|^{2},C(t)=∥ΠPQ​Ψ(t)∥2, leakage weight D(t)=∥(I−ΠPQ)Ψ(t)∥2,D(t)=\|(I-\Pi_{PQ})\Psi(t)\|^{2},D(t)=∥(I−ΠPQ​)Ψ(t)∥2, and gate-admission weight G(t)=∥ΠYΨ(t)∥2,G(t)=\|\Pi_{Y}\Psi(t)\|^{2},G(t)=∥ΠY​Ψ(t)∥2, where ΠY\Pi_YΠY​ projects onto the YYY-admissible crossing mode. A key result is that visible coherence and gate alignment are distinct quantities. A state may retain nonzero amplitude in the observable P/QP/QP/Q sector while failing admission into the YYY-crossing mode. This leads to a geometric definition of decoherence: DY(t)=1−∥ΠYΨ(t)∥2.\mathcal{D}_{Y}(t)=1-\|\Pi_{Y}\Psi(t)\|^{2}.DY​(t)=1−∥ΠY​Ψ(t)∥2. Decoherence is therefore interpreted as loss of overlap with the admissible crossing channel rather than destruction of phase information. The theorem further establishes that interference visibility is governed by the gate-admitted component of the state: V(t)=∥ΠYΨ(t)∥,V(t)=\|\Pi_{Y}\Psi(t)\|,V(t)=∥ΠY​Ψ(t)∥, yielding the extended interference law Pr⁡(P)=12(1+V(t)sin⁡(2t)cos⁡ϕ).\Pr(P)=\frac12\left(1+V(t)\sin(2t)\cos\phi\right).Pr(P)=21​(1+V(t)sin(2t)cosϕ). Perfect visibility corresponds to complete gate alignment, while reduced visibility reflects either leakage into non-crossing modes or misalignment with the crossing sector. An extended generator G=(A−K†KB)\mathcal{G}=\begin{pmatrix}A & -K^{\dagger}\\K & B\end{pmatrix}G=(AK​−K†B​) is introduced to couple the coherent crossing sector to the leakage sector. Under the skew-adjoint conditions \[A^{\dagger}=-A,\qquadB^{\dagger}=-B,\] the evolution operator etGe^{t\mathcal{G}}etG preserves total norm, implying C(t)+D(t)=1.C(t)+D(t)=1.C(t)+D(t)=1. Leakage therefore represents redistribution of phase weight rather than irreversible loss. The theorem provides a geometric interpretation of decoherence within the Q5 framework: phase information may remain globally conserved while becoming inaccessible to coherent crossing dynamics. In this picture, coherence is determined not merely by the presence of phase amplitude, but by its alignment with the unique YYY-admissible transport mode.
T98 extends the coherent-crossing transport pipeline of T97 into a complete two-branch barrier architecture. Rather than tracking only the gate-admitted component, the theorem follows both the admitted and rejected portions of the reduced crossing state, yielding the minimal extended transport model for barrier interaction. Beginning with an incoming fibre state ψfull∈H5×5,\psi_{\mathrm{full}}\in\mathcal{H}_{5\times5},ψfull​∈H5×5​, The native-side transport and reduction operators produce the reduced crossing state ψPQ=R DNMN ψfull∈C2.\psi_{PQ}=\mathcal{R}\,D_NM_N\,\psi_{\mathrm{full}}\in\mathbb{C}^{2}.ψPQ​=RDN​MN​ψfull​∈C2. Using the gate-admission projector ΠY\Pi_YΠY​ and leakage complement K=I−ΠY,K=I-\Pi_Y,K=I−ΠY​, Introduced in T96, the reduced state decomposes orthogonally into ψPQ=ΠYψPQ+KψPQ.\psi_{PQ}=\Pi_Y\psi_{PQ}+K\psi_{PQ}.ψPQ​=ΠY​ψPQ​+KψPQ​. The first component satisfies the YYY-gate condition and is eligible for coherent crossing. The second component fails gate admission and enters the leakage branch. The theorem derives the complete extended transport operator Text=(DQMQ ΠY R DNMNK R DNMN),\mathcal{T}_{\mathrm{ext}}=\begin{pmatrix}D_QM_Q\,\Pi_Y\,\mathcal{R}\,D_NM_N\\[0.4em]K\,\mathcal{R}\,D_NM_N\end{pmatrix},Text​=(DQ​MQ​ΠY​RDN​MN​KRDN​MN​​), which simultaneously produces both outputs of barrier interaction. Applied to an incoming fibre state, the result is Textψfull=(DQMQ ΠY R DNMN ψfullK R DNMN ψfull).\mathcal{T}_{\mathrm{ext}}\psi_{\mathrm{full}}=\begin{pmatrix}D_QM_Q\,\Pi_Y\,\mathcal{R}\,D_NM_N\,\psi_{\mathrm{full}}\\[0.4em]K\,\mathcal{R}\,D_NM_N\,\psi_{\mathrm{full}}\end{pmatrix}.Text​ψfull​=(DQ​MQ​ΠY​RDN​MN​ψfull​KRDN​MN​ψfull​​). The upper component is the coherent crossing branch propagating through the barrier into the dual-side sector. The lower component is the leakage branch consisting of phase content that reaches the reduced crossing sector but fails the YYY-gate condition. A key consequence is that generic barrier interaction is neither complete transmission nor complete rejection. Most states decompose into both branches simultaneously: ψPQ=ΠYψPQ+KψPQ.\psi_{PQ}=\Pi_Y\psi_{PQ}+K\psi_{PQ}.ψPQ​=ΠY​ψPQ​+KψPQ​. The barrier, therefore, acts as a filter rather than a binary gate. Coherent crossing and leakage are complementary outcomes of the same reduced crossing state. The theorem further establishes the complete-crossing and complete-leakage limits. A state crosses cleanly if and only if K R DNMN ψfull=0,K\,\mathcal{R}\,D_NM_N\,\psi_{\mathrm{full}}=0,KRDN​MN​ψfull​=0, equivalently, R DNMN ψfull∈span⁡{∣Y⟩}.\mathcal{R}\,D_NM_N\,\psi_{\mathrm{full}}\in\operatorname{span}\{|Y\rangle\}.RDN​MN​ψfull​∈span{∣Y⟩}. Conversely, a state exhibits complete leakage if and only if ΠY R DNMN ψfull=0,\Pi_Y\,\mathcal{R}\,D_NM_N\,\psi_{\mathrm{full}}=0,ΠY​RDN​MN​ψfull​=0, so that no coherent crossing component survives. Using the orthogonal decomposition established in T96, the theorem preserves the norm split CY+DY=1,C_Y+D_Y=1,CY​+DY​=1, where CY=∥ΠYψPQ∥2C_Y=\|\Pi_Y\psi_{PQ}\|^2CY​=∥ΠY​ψPQ​∥2 is the gate-admission weight and DY=∥KψPQ∥2D_Y=\|K\psi_{PQ}\|^2DY​=∥KψPQ​∥2 is the leakage weight. A major consequence of the theorem is that the leakage branch becomes the explicit source of the residual return dynamics developed in T94. Substituting the reduced crossing state into the return formula yields R(t)=K†etBK R DNMN ψfull,R(t)=K^\dagger e^{tB}K\,\mathcal{R}\,D_NM_N\,\psi_{\mathrm{full}},R(t)=K†etBKRDN​MN​ψfull​, providing a complete operator pathway from incoming fibre state to leakage circulation and subsequent return. T98 therefore completes the transport architecture initiated in T97. The barrier is revealed as a two-output filter that separates an incoming reduced state into an admitted crossing component and a rejected leakage component. Together with T93–T97, the theorem provides the first complete operator-level description of barrier transport, leakage generation, and residual return within the Q5 framework.
T103 identifies the explicit local leakage-sector circulation generator required by the leakage-return architecture developed in T93–T102. T102 established that observable conjugate-half mixing arises through the factorization C=L†BL,C=L^\dagger B L,C=L†BL, where LLL injects non-admitted crossing amplitude into the leakage sector, BBB governs leakage-sector circulation, and L†L^\daggerL† returns circulated amplitude to the observable sector. However, T102 left the circulation generator BBB unspecified. T103 supplies its local Q5 form. The theorem draws upon the leakage-generator development established later in the theorem chain. The local leakage sector is modelled by a three-mode basis (e3,e4,e5),(e_3,e_4,e_5),(e3​,e4​,e5​), where e3e_3e3​ and e5e_5e5​ are return-capable boundary modes and e4e_4e4​ is a balancing intermediary mode. The resulting local leakage adjacency has chain structure e3↔e4↔e5,e_3 \leftrightarrow e_4 \leftrightarrow e_5,e3​↔e4​↔e5​, with no direct coupling between e3e_3e3​ and e5e_5e5​. The corresponding local leakage adjacency operator is AL=180(0eiπ/40e−iπ/40eiπ/40e−iπ/40).\mathcal A_L=\frac1{\sqrt{80}}\begin{pmatrix}0&e^{i\pi/4}&0\\e^{-i\pi/4}&0&e^{i\pi/4}\\0&e^{-i\pi/4}&0\end{pmatrix}.AL​=80​1​​0e−iπ/40​eiπ/40e−iπ/4​0eiπ/40​​. The theorem verifies that AL\mathcal A_LAL​ is Hermitian: AL†=AL.\mathcal A_L^\dagger=\mathcal A_L.AL†​=AL​. The leakage-sector circulation generator is then defined by B=iAL.\boxed{B=i\mathcal A_L.}B=iAL​.​ Since AL\mathcal A_LAL​ is Hermitian, the circulation generator satisfies B†=−B,B^\dagger=-B,B†=−B, and is therefore anti-Hermitian. A direct consequence is that leakage evolution etBe^{tB}etB is unitary: (etB)†etB=I,(e^{tB})^\dagger e^{tB}=I,(etB)†etB=I, showing that leakage circulation preserves norm. Leakage is therefore interpreted as conservative circulation rather than dissipative loss. The theorem next examines the transport structure encoded by AL\mathcal A_LAL​. Because the matrix entries (AL)13=(AL)31=0,(\mathcal A_L)_{13}=(\mathcal A_L)_{31}=0,(AL​)13​=(AL​)31​=0, there is no direct coupling between the two boundary modes e3e_3e3​ and e5e_5e5​. All transport between them must pass through the middle mode e4e_4e4​. The middle mode, therefore, acts as a balancing mediator within the leakage sector. This structural restriction has dynamical consequences. The first-order leakage evolution etB=I+tB+O(t2)e^{tB}=I+tB+O(t^2)etB=I+tB+O(t2) contains no direct boundary-to-boundary transfer because B13=B31=0.B_{13}=B_{31}=0.B13​=B31​=0. Consequently, transfer between e3e_3e3​ and e5e_5e5​ first appears through the second-order pathway \[e_3\rightarrowe_4\rightarrowe_5.\] Boundary return is therefore intrinsically mediated and delayed relative to local circulation. Substituting the derived generator into the T102 mixing formula yields C=L†(iAL)L.\boxed{C=L^\dagger(i\mathcal A_L)L.}C=L†(iAL​)L.​ This provides the first explicit local realization of the conjugate-half mixing operator. The mixing process is no longer governed by an unspecified circulation generator but by a concrete leakage adjacency derived from the Q5 leakage architecture. Several conceptual consequences follow. Leakage transport is mediated rather than direct. Circulation preserves norm and therefore represents redistribution rather than loss. The middle leakage mode plays an essential balancing role. Most importantly, the observable mixing operator inherits its structure from a specific leakage-sector geometry rather than from an arbitrary correction term. T103 serves as the bridge between the abstract leakage-return factorization of T102 and the explicit interference calculations that follow. T102 established the form C=L†BL.C=L^\dagger B L.C=L†BL. T103 identifies the local generator B=iAL.B=i\mathcal A_L.B=iAL​. Together, these results provide the explicit operator C=L†(iAL)L,C=L^\dagger(i\mathcal A_L)L,C=L†(iAL​)L, which forms the starting point for the observable interference-correction analysis developed in T104. Epistemic status: Solid: The Hermiticity of AL\mathcal A_LAL​, anti-Hermiticity of B=iALB=i\mathcal A_LB=iAL​, norm preservation of etBe^{tB}etB, absence of direct e3↔e5e_3\leftrightarrow e_5e3​↔e5​ coupling, and second-order nature of boundary-to-boundary transfer follow directly from the displayed local leakage matrix. Conditional: The normalization factor 1/801/\sqrt{80}1/80​, the identification of (e3,e4,e5)(e_3,e_4,e_5)(e3​,e4​,e5​) with the physical leakage sector, and the embedding of the local leakage block into the full Q5 architecture depend upon the later global embedding results and remain conditional pending completion of the full leakage-sector construction.
T102 derives the first-principles origin of the conjugate-half mixing operator introduced abstractly in T100–T101. While the earlier theorems established that weak mixing between the observable sector and its conjugate counterpart produces first-order corrections to Born probabilities, the mixing map itself remained an assumed object. T102 removes that assumption by deriving the operator directly from the leakage-return dynamics of the extended Q5 transport system. The starting point is the leakage architecture developed in T93–T96. The extended state space is Hext=C2⊕HL,\mathcal{H}_{\mathrm{ext}}=\mathbb{C}^{2}\oplus\mathcal{H}_{L},Hext​=C2⊕HL​, with a coupled generator G=(A−L†LB),\mathcal{G}=\begin{pmatrix}A & -L^{\dagger}\\L & B\end{pmatrix},G=(AL​−L†B​), where K⊥=I−ΠYK_\perp = I-\Pi_YK⊥​=I−ΠY​ is the leakage-complement projector introduced in T96, while L:C2→HLL:\mathbb{C}^{2}\rightarrow\mathcal{H}_{L}L:C2→HL​ is the leakage injection map into the leakage sector. The operator BBB governs circulation within the leakage sector. From T94, leakage-return dynamics are described by R(t)=L†etBLψ.R(t)=L^{\dagger}e^{tB}L\psi.R(t)=L†etBLψ. Expanding the leakage evolution operator, etB=I+tB+O(t2),e^{tB}=I+tB+O(t^2),etB=I+tB+O(t2), gives R(t)=L†Lψ+t L†BLψ+O(t2).R(t)=L^{\dagger}L\psi+t\,L^{\dagger}BL\psi+O(t^2).R(t)=L†Lψ+tL†BLψ+O(t2). The theorem identifies the first nontrivial mixing contribution as the circulation-induced term t L†BLψ.t\,L^{\dagger}BL\psi.tL†BLψ. Introducing the coupling scale η∼t,\eta\sim t,η∼t, The effective observable state becomes ψeff=ψ+η Cψ+O(η2),\psi_{\mathrm{eff}}=\psi+\eta\,C\psi+O(\eta^2),ψeff​=ψ+ηCψ+O(η2), with the derived mixing operator C=L†BL.\boxed{C=L^{\dagger}BL.}C=L†BL.​ The theorem, therefore, demonstrates that conjugate-half mixing is not an independent postulate. It emerges naturally from the sequence: leakage  →L  surface circulation  →B  return  →L†  observable correction.\text{leakage}\;\xrightarrow{L}\;\text{surface circulation}\;\xrightarrow{B}\;\text{return}\;\xrightarrow{L^{\dagger}}\;\text{observable correction}.leakageL​surface circulationB​returnL†​observable correction. A key structural property follows immediately. Since B†=−B,B^{\dagger}=-B,B†=−B, The mixing operator satisfies C†=−C.C^{\dagger}=-C.C†=−C. The operator is therefore anti-Hermitian, implying ℜ⟨ψ,Cψ⟩=0\Re\langle\psi,C\psi\rangle=0ℜ⟨ψ,Cψ⟩=0 and ensuring preservation of normalization to first order: ∥ψ+ηCψ∥2=∥ψ∥2+O(η2).\|\psi+\eta C\psi\|^2=\|\psi\|^2+O(\eta^2).∥ψ+ηCψ∥2=∥ψ∥2+O(η2). The theorem next establishes compatibility with the Born-correction framework of T100. Substituting ψeff=ψ+ηCψ+O(η2)\psi_{\mathrm{eff}}=\psi+\eta C\psi+O(\eta^2)ψeff​=ψ+ηCψ+O(η2) into the observable readout yields Δi=2ℜ⟨Πiψ,ΠiCψ⟩,\Delta_i=2\Re\langle\Pi_i\psi,\Pi_iC\psi\rangle,Δi​=2ℜ⟨Πi​ψ,Πi​Cψ⟩, which reproduces the first-order correction structure previously introduced in the conjugate-half mixing program. The abstract operator CCC of T100–T101 is therefore identified explicitly with the leakage-return operator L†BL.L^{\dagger}BL.L†BL. An important stability result also follows. If a state is perfectly gate-aligned, ΠYψ=ψ,\Pi_Y\psi=\psi,ΠY​ψ=ψ, then K⊥ψ=0.K_\perp\psi=0.K⊥​ψ=0. Since LLL injects only the leakage component, \[K_\perp\psi=0\quad\Rightarrow\quadL\psi=0.\] Therefore Cψ=L†BLψ=0.C\psi=L^{\dagger}BL\psi=0.Cψ=L†BLψ=0. Perfectly admitted states receive no conjugate-half mixing correction. Mixing arises only from leakage away from the gate-admissible mode. Several conceptual consequences follow. The mixing operator is revealed as a composite object consisting of three distinct stages: leakage injection (LLL), leakage-sector circulation (BBB), and return transport (L†L^{\dagger}L†). No new free parameter is introduced at this stage. All structures arise from previously established operators within the leakage architecture. T102 serves as the derivational bridge between the leakage program and the Born-correction program. T94 introduced residual return dynamics. T100–T101 introduced observable mixing corrections. T102 demonstrates that both descriptions arise from the same underlying mechanism, establishing C=L†BL\boxed{C=L^{\dagger}BL}C=L†BL​ as the first-principles origin of conjugate-half mixing within the extended Q5 framework.
TA38 derives the reinjection block CB:HR→HMC_{\mathcal B}:\mathcal H_R\to\mathcal H_MCB​:HR​→HM​ of the barrier-scattering matrix from the Q5 admissibility architecture. Given the residual state circulated by TA36 and TA37, only the component of residual return lying in the YYY-admissible gate subspace may re-enter the coherent carrier sector. This forces the reinjection block to take the formCB=ΠY Ureturn∣HR.C_{\mathcal B}=\Pi_Y\,\mathcal U_{\mathrm{return}}\big|_{\mathcal H_R}.CB​=ΠY​Ureturn​​HR​​.The theorem also gives the exact nonvanishing condition: reinjection occurs precisely when the residual return transport has nonzero overlap with im⁡(ΠY)\operatorname{im}(\Pi_Y)im(ΠY​). The resulting carrier output consists of direct carrier transport plus a lagged residual reinforcement term,ψMout(t)=ABψM+CBetEBDBψM.\psi_M^{\mathrm{out}}(t)=A_{\mathcal B}\psi_M+C_{\mathcal B}e^{tE_{\mathcal B}}D_{\mathcal B}\psi_M.ψMout​(t)=AB​ψM​+CB​etEB​DB​ψM​.Together with TA36 and TA37, this completes the forced off-diagonal block trilogy: extraction, mediated circulation, and admissible reinjection. The result shows that the residual sector of the barrier-scattering matrix is geometrically constrained by the Q5 architecture rather than introduced as a phenomenological model. Status: solid for the forced structure of CBC_{\mathcal B}CB​; conditional for nontrivial reinjection pending explicit computation of the leakage generator ALA_LAL​.