Paper guide
42 CHC-PCD

Finite-Window Phase-Commit Dynamics in the CHC Framework

This guide states what changed in version 2.0, the strongest conclusion supported by the manuscript, and the paper's place in the 72-paper parent-and-companion release.

Claim authority. The manuscript remains the authority for definitions, assumptions, derivations, and exclusions. This guide explains the route into the paper.
Version 2.0 result

Finite reduced dynamics with microscopic interfaces.

Complete upgrade map

What v2.0 adds

The DBC--PCD bridge, unitary multi-time completion, influence-functional common primitive, and the Helmholtz obstruction to a PLE lift are proved.

Strongest supported conclusion

DBC no-event dynamics is embedded in a CPTP instrument. A unitary dilation yields normalized one-time and multi-time reductions, while the influence-functional theorem forces phase loading and response to share one microscopic Hamiltonian derivative.

Scientific question
finite-window phase commit
Result family
CP, IF, IV source interface
Release status
Revised from v1.0
Plain reading map

What to use this paper for.

Role in the series

Late-series finite-window identities for phase loading, commit cadence, neutrino response, and charged-lepton loading.

Use this final block for phase loading, finite-window commit cadence, neutrino readability, and charged-lepton mass loading.

Read it for

  • How sector exchange, local commit cadence, and finite-response slots are typed.
  • Which finite-window identities or conditional theorems are being stated.
  • Where late-series completion depends on declared family and window assumptions.

Keep separate

  • Conditional finite-window identities versus universal mass theorems.
  • Propagation readability versus detector microdynamics.
  • Declared gauge-chiral family loading versus unrestricted particle-physics completion.
Manuscript-based orientation

What the manuscript says this paper establishes.

DBC no-event dynamics is embedded in a CPTP instrument. A unitary dilation yields normalized one-time and multi-time reductions, while the influence-functional theorem forces phase loading and response to share one microscopic Hamiltonian derivative.

Open source-excerpt note

This web guide uses a reader-safe rendering of the manuscript abstract. The manuscript PDF and canonical archive remain authoritative for exact notation, equations, definitions, and exclusions.

Source-derived reader Navigable manuscript excerpts.
Reader boundary. This HTML reader is generated from 42_CHC-PCD_Finite_Window_Phase_Commit_Dynamics.tex. It is optimized for navigation and search; the DOI archive controls over any web rendering difference.
Open canonical archive
01

Position of the finite-window problem

The preceding CHC layers separate several roles that are often compressed in informal language. Propagation-side statements describe phase-linked propagation and accessible wave semantics. Detector-side statements describe opening, threshold behavior, local commit, amplification, and durable readout. Sector-exchange statements describe the covariant response of a declared action to the global phase coordinate, whose cosmological reading is the expansion-response branch where applicable. These roles are adjacent, but they are not the same object.

The present paper isolates the finite reduced dynamics that sits between them. The object is a finite state window equipped with phase-sensitive coherent transport and dissipative channels. It is not a new sector action. It is not a detector microdynamics. It is a reduced open-system class in which phase-link persistence, coherence loss, local commit, and standard recovery are written as one finite-dimensional dynamical system.

The construction uses three standard mathematical facts. First, open quantum states on a finite system are density matrices. Second, Markovian completely positive trace-preserving reduced evolution is represented by generators of Gorini-Kossakowski-Sudarshan-Lindblad type [citation]. Third, phase-link data can be represented by a connection and its holonomy, in the same geometric sense in which adiabatic quantum phase is represented as holonomy of a Hermitian line bundle [citation]. PCD combines these ingredients with the CHC distinction between phase-linked persistence and local commit.

The paper is organized as follows. reference defines finite phase windows and phase connection data. reference defines phase-indexed reduced generators and proves standard recovery and state admissibility. reference gives phase-transport covariance and the finite curvature response. reference defines coherence load and commit forms. reference derives the phase-response formula and its chart covariance. reference states the relation between reduced response and PLE loading. reference gives composition and marginal consistency. reference gives representative finite systems. reference defines observable projection maps.

Back to section navigation

02

Finite phase windows

Let HN\Hcal_N\Hcal_N be a complex Hilbert space with dim⁡HN=N<∞\dim\Hcal_N=N<\infty\dim\Hcal_N=N<\infty. The density-state space is

SN={ρ∈End⁡(HN):ρ=ρ†, ρ≥0, Tr⁡ρ=1}.\Scal_N=\{\rho\in\End(\Hcal_N): \rho=\rho^\dagger,\ \rho\ge0,\ \Tr\rho=1\}.
TeX source
\Scal_N=\{\rho\in\End(\Hcal_N): \rho=\rho^\dagger,\ \rho\ge0,\ \Tr\rho=1\}.

A finite phase window consists of an open phase patch P⊂RdP\subset\Rbb^dP\subset\Rbb^d, a time interval I=[0,T]I=[0,T]I=[0,T], and the state space SN\Scal_N\Scal_N.

definition: Phase connection. A phase connection on PPP is a smooth matrix-valued one-form

A=∑i=1dAi(ϑ) dϑi,Ai(ϑ)†=−Ai(ϑ),A=\sum_{i=1}^{d}A_i(\vartheta)\,\dd\vartheta^i, \qquad A_i(\vartheta)^\dagger=-A_i(\vartheta),
TeX source
A=\sum_{i=1}^{d}A_i(\vartheta)\,\dd\vartheta^i,
\qquad
A_i(\vartheta)^\dagger=-A_i(\vartheta),

with values in the anti-Hermitian operators on HN\Hcal_N\Hcal_N. For a piecewise smooth path Γ:[0,1]→P\Gamma:[0,1]\to P\Gamma:[0,1]\to P, its phase-link transport is

UΓ=Pexp⁡ ⁣(−∫ΓA),U_\Gamma=\mathcal P\exp\!\left(-\int_\Gamma A\right),
TeX source
U_\Gamma=\mathcal P\exp\!\left(-\int_\Gamma A\right),

where P\mathcal P\mathcal P denotes path ordering.

Since AiA_iA_i is anti-Hermitian, UΓU_\GammaU_\Gamma is unitary. The associated action on states is

Ad⁡UΓ(ρ)=UΓρUΓ†.\Ad_{U_\Gamma}(\rho)=U_\Gamma\rho U_\Gamma^\dagger.
TeX source
\Ad_{U_\Gamma}(\rho)=U_\Gamma\rho U_\Gamma^\dagger.

The curvature of AAA is

FA=dA+A∧A,(FA)ij=∂iAj−∂jAi+[Ai,Aj].F_A=\dd A+A\wedge A, \qquad (F_A)_{ij}=\partial_iA_j-\partial_jA_i+[A_i,A_j].
TeX source
F_A=\dd A+A\wedge A,
\qquad
(F_A)_{ij}=\partial_iA_j-\partial_jA_i+[A_i,A_j].

Flatness of AAA is not assumed. Nonzero curvature records path dependence of phase-link transport on the declared window.

definition: Finite PCD system. A finite-window PCD system is a tuple

X=(HN,P,I,A,E,H,M,ρin),\Xcal=(\Hcal_N,P,I,A,\Ecal,H,M,\rho_{\rm in}),
TeX source
\Xcal=(\Hcal_N,P,I,A,\Ecal,H,M,\rho_{\rm in}),

where E⊂R\Ecal\subset\Rbb\Ecal\subset\Rbb is an interval containing 000, H:P×E→End⁡(HN)H:P\times\Ecal\to\End(\Hcal_N)H:P\times\Ecal\to\End(\Hcal_N) is smooth with H(ϑ,ε)=H(ϑ,ε)†H(\vartheta,\varepsilon)=H(\vartheta,\varepsilon)^\daggerH(\vartheta,\varepsilon)=H(\vartheta,\varepsilon)^\dagger, M1,…,Mr:P×E→End⁡(HN)M_1,\ldots,M_r:P\times\Ecal\to\End(\Hcal_N)M_1,\ldots,M_r:P\times\Ecal\to\End(\Hcal_N) are smooth channel maps, and ρin∈SN\rho_{\rm in}\in\Scal_N\rho_{\rm in}\in\Scal_N.

The parameter ε\varepsilon\varepsilon labels the phase-response displacement from the selected standard member. The point ε=0\varepsilon=0\varepsilon=0 is not a limiting approximation to be inferred; it is part of the definition of the finite system.

Back to section navigation

03

Phase-indexed open-system generator

For X∈End⁡(HN)X\in\End(\Hcal_N)X\in\End(\Hcal_N) define

D[X](ρ)=XρX†−12{X†X,ρ}.\Dcal[X](\rho)=X\rho X^\dagger-\frac12\{X^\dagger X,\rho\}.
TeX source
\Dcal[X](\rho)=X\rho X^\dagger-\frac12\{X^\dagger X,\rho\}.

The PCD generator associated with reference is

Lϑ,ε(ρ)=−iℏ[H(ϑ,ε),ρ]+∑α=1rD[Mα(ϑ,ε)](ρ).\Lcal_{\vartheta,\varepsilon}(\rho) =-\frac{\ii}{\hbar}[H(\vartheta,\varepsilon),\rho] +\sum_{\alpha=1}^{r}\Dcal[M_\alpha(\vartheta,\varepsilon)](\rho).
TeX source
\Lcal_{\vartheta,\varepsilon}(\rho)
=-\frac{\ii}{\hbar}[H(\vartheta,\varepsilon),\rho]
+\sum_{\alpha=1}^{r}\Dcal[M_\alpha(\vartheta,\varepsilon)](\rho).

The standard member is

Lϑ,0(ρ)=−iℏ[H(ϑ,0),ρ]+∑α=1rD[Mα(ϑ,0)](ρ).\Lcal_{\vartheta,0}(\rho) =-\frac{\ii}{\hbar}[H(\vartheta,0),\rho] +\sum_{\alpha=1}^{r}\Dcal[M_\alpha(\vartheta,0)](\rho).
TeX source
\Lcal_{\vartheta,0}(\rho)
=-\frac{\ii}{\hbar}[H(\vartheta,0),\rho]
+\sum_{\alpha=1}^{r}\Dcal[M_\alpha(\vartheta,0)](\rho).

The form reference includes a closed system as the case Mα=0M_\alpha=0M_\alpha=0 for all α\alpha\alpha. It also includes the common separated representation

H(ϑ,ε)=H0(ϑ)+εH1(ϑ),Mα(ϑ,ε)=Lα(ϑ)+εKα(ϑ),H(\vartheta,\varepsilon)=H_0(\vartheta)+\varepsilon H_1(\vartheta), M_\alpha(\vartheta,\varepsilon)=L_\alpha(\vartheta)+\varepsilon K_\alpha(\vartheta),
TeX source
H(\vartheta,\varepsilon)=H_0(\vartheta)+\varepsilon H_1(\vartheta),

M_\alpha(\vartheta,\varepsilon)=L_\alpha(\vartheta)+\varepsilon K_\alpha(\vartheta),

whenever the displaced channel itself remains the declared channel. Alternatively one may write an explicitly nonnegative rate form

Lϑ,ε=Lϑ,0−iεℏ[H1(ϑ),⋅]+∑a=1sκa(ϑ,ε)D[Ka(ϑ)],κa≥0,\Lcal_{\vartheta,\varepsilon} =\Lcal_{\vartheta,0} -\frac{\ii\varepsilon}{\hbar}[H_1(\vartheta),\cdot] +\sum_{a=1}^{s}\kappa_a(\vartheta,\varepsilon)\Dcal[K_a(\vartheta)], \qquad \kappa_a\ge0,
TeX source
\Lcal_{\vartheta,\varepsilon}
=\Lcal_{\vartheta,0}
-\frac{\ii\varepsilon}{\hbar}[H_1(\vartheta),\cdot]
+\sum_{a=1}^{s}\kappa_a(\vartheta,\varepsilon)\Dcal[K_a(\vartheta)],
\qquad \kappa_a\ge0,

with κa(ϑ,0)=0\kappa_a(\vartheta,0)=0\kappa_a(\vartheta,0)=0. The two forms are distinct parametrizations of finite reduced dynamics, not distinct principles.

lemma: Dissipator identities. For every X∈End⁡(HN)X\in\End(\Hcal_N)X\in\End(\Hcal_N) and every Hermitian ρ\rho\rho,

Tr⁡D[X](ρ)=0,D[X](ρ)†=D[X](ρ).\Tr\Dcal[X](\rho)=0, \qquad \Dcal[X](\rho)^\dagger=\Dcal[X](\rho).
TeX source
\Tr\Dcal[X](\rho)=0,
\qquad
\Dcal[X](\rho)^\dagger=\Dcal[X](\rho).

proof. Cyclicity gives

Tr⁡(XρX†)=Tr⁡(X†Xρ)=12Tr⁡(X†Xρ)+12Tr⁡(ρX†X).\Tr(X\rho X^\dagger)=\Tr(X^\dagger X\rho) =\frac12\Tr(X^\dagger X\rho)+\frac12\Tr(\rho X^\dagger X).
TeX source
\Tr(X\rho X^\dagger)=\Tr(X^\dagger X\rho)
=\frac12\Tr(X^\dagger X\rho)+\frac12\Tr(\rho X^\dagger X).

The adjoint identity follows by taking the adjoint of reference.

theorem: State admissibility. For every (ϑ,ε)∈P×E(\vartheta,\varepsilon)\in P\times\Ecal(\vartheta,\varepsilon)\in P\times\Ecal, the semigroup etLϑ,ε\ee^{t\Lcal_{\vartheta,\varepsilon}}\ee^{t\Lcal_{\vartheta,\varepsilon}} maps SN\Scal_N\Scal_N into SN\Scal_N\Scal_N for all t≥0t\ge0t\ge0. It is trace preserving, Hermiticity preserving, positivity preserving, and completely positive.

proof. The Hamiltonian part is a commutator with a Hermitian operator. Each dissipative term is of GKSL form. In finite dimension, the GKSL representation generates a completely positive trace-preserving semigroup. The preceding lemma gives trace and Hermiticity preservation at the generator level, and the GKSL theorem gives complete positivity of the semigroup.

corollary: Standard recovery. At ε=0\varepsilon=0\varepsilon=0, PCD evolution is exactly the selected standard reduced evolution:

ρ(t;ϑ,0)=etLϑ,0ρin.\rho(t;\vartheta,0)=\ee^{t\Lcal_{\vartheta,0}}\rho_{\rm in}.
TeX source
\rho(t;\vartheta,0)=\ee^{t\Lcal_{\vartheta,0}}\rho_{\rm in}.

proof. Set ε=0\varepsilon=0\varepsilon=0 in the defining generator Lϑ,ε\Lcal_{\vartheta,\varepsilon}\Lcal_{\vartheta,\varepsilon}. Uniqueness of the finite-dimensional linear initial-value problem ρ˙=Lϑ,0(ρ)\dot\rho=\Lcal_{\vartheta,0}(\rho)\dot\rho=\Lcal_{\vartheta,0}(\rho) with initial state ρin\rho_{\rm in}\rho_{\rm in} gives the stated semigroup solution.

theorem: DBC no-event trajectories as PCD instruments. Let HΓ=HΓ†H_\Gamma=H_\Gamma^\daggerH_\Gamma=H_\Gamma^\dagger and let a DBC trigger sink on the finite window factor as

KΓ=∑a=1sLa†La≥0.K_\Gamma=\sum_{a=1}^{s}L_a^\dagger L_a\ge0.
TeX source
K_\Gamma=\sum_{a=1}^{s}L_a^\dagger L_a\ge0.

Then the PCD generator

LΓ(ρ)=−iℏ[HΓ,ρ]+∑a=1sD[La](ρ)\Lcal_\Gamma(\rho) =-\frac{\ii}{\hbar}[H_\Gamma,\rho] +\sum_{a=1}^{s}\Dcal[L_a](\rho)
TeX source
\Lcal_\Gamma(\rho)
=-\frac{\ii}{\hbar}[H_\Gamma,\rho]
+\sum_{a=1}^{s}\Dcal[L_a](\rho)

is completely positive and trace preserving. Its unnormalized no-event component satisfies

ρ˙0=−iℏ[HΓ,ρ0]−12{KΓ,ρ0},−ddtTr⁡ρ0=Tr⁡(KΓρ0).\dot\rho_0 =-\frac{\ii}{\hbar}[H_\Gamma,\rho_0] -\frac12\{K_\Gamma,\rho_0\}, \qquad -\frac{\dd}{\dd t}\Tr\rho_0 =\Tr(K_\Gamma\rho_0).
TeX source
\dot\rho_0
=-\frac{\ii}{\hbar}[H_\Gamma,\rho_0]
-\frac12\{K_\Gamma,\rho_0\},
\qquad
-\frac{\dd}{\dd t}\Tr\rho_0
=\Tr(K_\Gamma\rho_0).

For a pure state ρ0=∣ψ0⟩⟨ψ0∣\rho_0=|\psi_0\rangle\langle\psi_0|\rho_0=|\psi_0\rangle\langle\psi_0|, this equation is induced by

iℏ ∂t∣ψ0⟩=(HΓ−iℏ2KΓ)∣ψ0⟩,\ii\hbar\,\partial_t|\psi_0\rangle =\left(H_\Gamma-\frac{\ii\hbar}{2}K_\Gamma\right)|\psi_0\rangle,
TeX source
\ii\hbar\,\partial_t|\psi_0\rangle
=\left(H_\Gamma-\frac{\ii\hbar}{2}K_\Gamma\right)|\psi_0\rangle,

and the missing trace is exactly the summed probability of the jump outcomes aaa.

proof. Expanding reference separates the recycling terms ∑aLaρLa†\sum_aL_a\rho L_a^\dagger\sum_aL_a\rho L_a^\dagger from the anticommutator term −{KΓ,ρ}/2-\{K_\Gamma,\rho\}/2-\{K_\Gamma,\rho\}/2. Removing the recycling terms gives reference; cyclicity of the trace gives its second identity. Substitution of ρ0=∣ψ0⟩⟨ψ0∣\rho_0=|\psi_0\rangle\langle\psi_0|\rho_0=|\psi_0\rangle\langle\psi_0| proves reference. Restoring the recycling terms yields the GKSL generator, hence a CPTP semigroup by reference; in an interval dtdtdt, outcome aaa has probability dt Tr⁡(La†Laρ0)+O(dt2)dt\,\Tr(L_a^\dagger L_a\rho_0)+O(dt^2)dt\,\Tr(L_a^\dagger L_a\rho_0)+O(dt^2) [citation].

remark: Resolved records are additional structure. The operator KΓK_\GammaK_\Gamma fixes only the total event rate. A chosen factorization reference fixes which event channels are experimentally resolved. Thus the DBC--PCD bridge completes probability conservation but does not infer a detector's outcome alphabet, amplification dynamics, or durable record from the sink alone.

theorem: Unitary microscopic completion and multi-time positivity. Let HD\Hcal_D\Hcal_D be the detector space, HE\Hcal_E\Hcal_E an auxiliary environment, σE\sigma_E\sigma_E an environment state, and UtU_tU_t a unitary propagator on HD⊗HE\Hcal_D\otimes\Hcal_E\Hcal_D\otimes\Hcal_E. Then

Φt(ρ)=Tr⁡E ⁣[Ut(ρ⊗σE)Ut†]\Phi_t(\rho)=\Tr_E\!\left[U_t(\rho\otimes\sigma_E)U_t^\dagger\right]
TeX source
\Phi_t(\rho)=\Tr_E\!\left[U_t(\rho\otimes\sigma_E)U_t^\dagger\right]

is completely positive and trace preserving for every ttt. More generally, insert at ordered times any finite sequence of detector instruments {Maj(j)}aj\{\Mcal^{(j)}_{a_j}\}_{a_j}\{\Mcal^{(j)}_{a_j}\}_{a_j}, where every operation is completely positive and each summed instrument is trace preserving. The joint weights obtained by alternating the operations with the joint unitary propagators are nonnegative and sum to one. Thus the same microscopic completion defines a positive normalized multi-time process even when the one-time family {Φt}\{\Phi_t\}\{\Phi_t\} is not CP-divisible and admits no time-local GKSL generator on the detector alone.

proof. Tensoring with a fixed positive state, unitary conjugation, and partial trace are completely positive maps; their composition is therefore completely positive. Cyclicity of the trace and Ut†Ut=1U_t^\dagger U_t=\oneU_t^\dagger U_t=\one give trace preservation. For a specified outcome string, alternating completely positive operations with unitary channels produces a positive joint operator, so its final trace is nonnegative. Summing over an outcome at any time replaces that instrument by its trace-preserving channel. Successive summation over all outcomes therefore reduces the total weight to the trace of the initial normalized state, which is one. None of these arguments supplies completely positive intermediate maps ΦtΦs−1\Phi_t\Phi_s^{-1}\Phi_t\Phi_s^{-1}; consequently multi-time consistency does not require CP divisibility.

Back to section navigation

04

Phase transport covariance

The phase connection and the reduced generator refer to the same finite state space. Their compatibility is expressed by unitary change of frame on the phase patch. Let

W:P→U(HN)W:P\to U(\Hcal_N)
TeX source
W:P\to U(\Hcal_N)

be smooth. The transformed connection is

AW=WAW†−(dW)W†,A^W=WAW^\dagger-(\dd W)W^\dagger,
TeX source
A^W=WAW^\dagger-(\dd W)W^\dagger,

and the transformed generator coefficients are

HW=WHW†,MαW=WMαW†.H^W=W H W^\dagger, \qquad M_\alpha^W=W M_\alpha W^\dagger.
TeX source
H^W=W H W^\dagger,
\qquad
M_\alpha^W=W M_\alpha W^\dagger.

The state and observable representatives transform by

ρW=WρW†,BW=WBW†.\rho^W=W\rho W^\dagger, \qquad B^W=W B W^\dagger.
TeX source
\rho^W=W\rho W^\dagger,
\qquad
B^W=W B W^\dagger.

proposition: Generator covariance. For each fixed (ϑ,ε)(\vartheta,\varepsilon)(\vartheta,\varepsilon),

Lϑ,εW(WρW†)=WLϑ,ε(ρ)W†.\Lcal^W_{\vartheta,\varepsilon}(W\rho W^\dagger) =W\Lcal_{\vartheta,\varepsilon}(\rho)W^\dagger.
TeX source
\Lcal^W_{\vartheta,\varepsilon}(W\rho W^\dagger)
=W\Lcal_{\vartheta,\varepsilon}(\rho)W^\dagger.

Consequently,

etLϑ,εW(WρW†)=WetLϑ,ε(ρ)W†.\ee^{t\Lcal^W_{\vartheta,\varepsilon}}(W\rho W^\dagger) =W\ee^{t\Lcal_{\vartheta,\varepsilon}}(\rho)W^\dagger.
TeX source
\ee^{t\Lcal^W_{\vartheta,\varepsilon}}(W\rho W^\dagger)
=W\ee^{t\Lcal_{\vartheta,\varepsilon}}(\rho)W^\dagger.

proof. The commutator term transforms by conjugation because HW=WHW†H^W=W H W^\daggerH^W=W H W^\dagger. For the dissipator,

D[WMW†](WρW†)=WD[M](ρ)W†.\Dcal[WMW^\dagger](W\rho W^\dagger)=W\Dcal[M](\rho)W^\dagger.
TeX source
\Dcal[WMW^\dagger](W\rho W^\dagger)=W\Dcal[M](\rho)W^\dagger.

Summing the terms gives reference. Exponentiation gives the semigroup statement.

corollary: Observable invariance. With BW=WBW†B^W=WBW^\daggerB^W=WBW^\dagger and ρinW=WρinW†\rho_{\rm in}^W=W\rho_{\rm in}W^\dagger\rho_{\rm in}^W=W\rho_{\rm in}W^\dagger,

Tr⁡ ⁣(BWetLϑ,εWρinW)=Tr⁡ ⁣(BetLϑ,ερin).\Tr\!\left(B^W\ee^{t\Lcal^W_{\vartheta,\varepsilon}}\rho_{\rm in}^W\right) =\Tr\!\left(B\ee^{t\Lcal_{\vartheta,\varepsilon}}\rho_{\rm in}\right).
TeX source
\Tr\!\left(B^W\ee^{t\Lcal^W_{\vartheta,\varepsilon}}\rho_{\rm in}^W\right)
=\Tr\!\left(B\ee^{t\Lcal_{\vartheta,\varepsilon}}\rho_{\rm in}\right).

proof. Use the semigroup covariance and cyclicity of trace.

The curvature of AAA records finite-window path dependence. Let Rij(δi,δj)R_{ij}(\delta_i,\delta_j)R_{ij}(\delta_i,\delta_j) be a small coordinate rectangle based at ϑ\vartheta\vartheta in the i,ji,ji,j directions. Its holonomy has the expansion

URij=1−Fij(ϑ)δiδj+O(∣δ∣3).U_{R_{ij}}=\one-F_{ij}(\vartheta)\delta_i\delta_j+O(|\delta|^3).
TeX source
U_{R_{ij}}=\one-F_{ij}(\vartheta)\delta_i\delta_j+O(|\delta|^3).

For a state ρ\rho\rho this gives

Ad⁡URij(ρ)−ρ=−[Fij(ϑ),ρ]δiδj+O(∣δ∣3).\Ad_{U_{R_{ij}}}(\rho)-\rho =-[F_{ij}(\vartheta),\rho] \delta_i\delta_j+O(|\delta|^3).
TeX source
\Ad_{U_{R_{ij}}}(\rho)-\rho
=-[F_{ij}(\vartheta),\rho] \delta_i\delta_j+O(|\delta|^3).

Thus curvature is a finite-window obstruction to path-independent phase-link transport.

Back to section navigation

05

Coherence load and commit forms

A reduced phase statement requires a declared resolution. Let

Π={P1,…,Pp}\Pi=\{P_1,\ldots,P_p\}
TeX source
\Pi=\{P_1,\ldots,P_p\}

be a family of orthogonal projectors with ∑a=1pPa=1\sum_{a=1}^{p}P_a=\one\sum_{a=1}^{p}P_a=\one. Define the block-diagonal and block-off-diagonal projections

ΔΠ(ρ)=∑a=1pPaρPa,Off⁡Π(ρ)=ρ−ΔΠ(ρ).\Delta_\Pi(\rho)=\sum_{a=1}^{p}P_a\rho P_a, \qquad \Off_\Pi(\rho)=\rho-\Delta_\Pi(\rho).
TeX source
\Delta_\Pi(\rho)=\sum_{a=1}^{p}P_a\rho P_a,
\qquad
\Off_\Pi(\rho)=\rho-\Delta_\Pi(\rho).

definition: Coherence load. The coherence load of ρ\rho\rho relative to Π\Pi\Pi is

CΠ(ρ)=∥Off⁡Π(ρ)∥2,∥X∥2=(Tr⁡X†X)1/2.C_\Pi(\rho)=\normHS{\Off_\Pi(\rho)}, \qquad \normHS{X}=(\Tr X^\dagger X)^{1/2}.
TeX source
C_\Pi(\rho)=\normHS{\Off_\Pi(\rho)},
\qquad
\normHS{X}=(\Tr X^\dagger X)^{1/2}.

proposition: Block-unitary invariance. If UUU is unitary and UPa=PaUUP_a=P_aUUP_a=P_aU for all aaa, then

CΠ(UρU†)=CΠ(ρ).C_\Pi(U\rho U^\dagger)=C_\Pi(\rho).
TeX source
C_\Pi(U\rho U^\dagger)=C_\Pi(\rho).

proof. The commutation assumption gives

ΔΠ(UρU†)=UΔΠ(ρ)U†,\Delta_\Pi(U\rho U^\dagger)=U\Delta_\Pi(\rho)U^\dagger,
TeX source
\Delta_\Pi(U\rho U^\dagger)=U\Delta_\Pi(\rho)U^\dagger,

hence Off⁡Π(UρU†)=UOff⁡Π(ρ)U†\Off_\Pi(U\rho U^\dagger)=U\Off_\Pi(\rho)U^\dagger\Off_\Pi(U\rho U^\dagger)=U\Off_\Pi(\rho)U^\dagger. The Hilbert-Schmidt norm is unitarily invariant.

proposition: Resolution coarsening. Let Π′\Pi'\Pi' refine Π\Pi\Pi. Then

CΠ(ρ)≤CΠ′(ρ)for all ρ∈SN.C_\Pi(\rho)\le C_{\Pi'}(\rho) \qquad \text{for all }\rho\in\Scal_N.
TeX source
C_\Pi(\rho)\le C_{\Pi'}(\rho)
\qquad
\text{for all }\rho\in\Scal_N.

proof. The Π\Pi\Pi-off-diagonal subspace is an orthogonal subspace of the Π′\Pi'\Pi'-off-diagonal subspace. Orthogonal projection onto a smaller subspace cannot increase the Hilbert-Schmidt norm.

definition: Commit form. For a channel operator XXX define the Π\Pi\Pi-commit form

QΠ,X(ρ)=−Re⁡⟨Off⁡Π(ρ),Off⁡Π(D[X](ρ))⟩2.Q_{\Pi,X}(\rho)=-\operatorname{Re}\inner{\Off_\Pi(\rho)}{\Off_\Pi(\Dcal[X](\rho))}.
TeX source
Q_{\Pi,X}(\rho)=-\operatorname{Re}\inner{\Off_\Pi(\rho)}{\Off_\Pi(\Dcal[X](\rho))}.

The form QΠ,XQ_{\Pi,X}Q_{\Pi,X} measures the instantaneous dissipative contribution to decay of squared coherence load:

ddt12CΠ(ρ+tD[X](ρ))2∣t=0=−QΠ,X(ρ).\left.\frac{\dd}{\dd t}\frac12 C_\Pi(\rho+t\Dcal[X](\rho))^2\right|_{t=0} =-Q_{\Pi,X}(\rho).
TeX source
\left.\frac{\dd}{\dd t}\frac12 C_\Pi(\rho+t\Dcal[X](\rho))^2\right|_{t=0}
=-Q_{\Pi,X}(\rho).

It need not be nonnegative for a general channel. It is nonnegative for channels aligned with the declared resolution.

theorem: Aligned dephasing. Let

X=∑a=1pxaPa,xa∈C.X=\sum_{a=1}^{p}x_aP_a, \qquad x_a\in\Cbb.
TeX source
X=\sum_{a=1}^{p}x_aP_a,
\qquad x_a\in\Cbb.

Then, for a≠ba\ne ba\ne b,

PaD[X](ρ)Pb=(−12∣xa−xb∣2+i Im⁡(xaxb‾))PaρPb.P_a\Dcal[X](\rho)P_b= \left( -\frac12|x_a-x_b|^2 +\ii\,\operatorname{Im}(x_a\overline{x_b}) \right)P_a\rho P_b.
TeX source
P_a\Dcal[X](\rho)P_b=
\left(
-\frac12|x_a-x_b|^2
+\ii\,\operatorname{Im}(x_a\overline{x_b})
\right)P_a\rho P_b.

Consequently, the real dissipative contribution to the commit form is

QΠ,X(ρ)=12∑a≠b∣xa−xb∣2∥PaρPb∥22≥0.Q_{\Pi,X}(\rho)=\frac12\sum_{a\ne b}|x_a-x_b|^2\normHS{P_a\rho P_b}^2\ge0.
TeX source
Q_{\Pi,X}(\rho)=\frac12\sum_{a\ne b}|x_a-x_b|^2\normHS{P_a\rho P_b}^2\ge0.

proof. Since XPa=xaPaXP_a=x_aP_aXP_a=x_aP_a and X†XPa=∣xa∣2PaX^\dagger XP_a=|x_a|^2P_aX^\dagger XP_a=|x_a|^2P_a,

PaD[X](ρ)Pb=xaxb‾PaρPb−12(∣xa∣2+∣xb∣2)PaρPb=(−12∣xa−xb∣2+i Im⁡(xaxb‾))PaρPb.P_a\Dcal[X](\rho)P_b =x_a\overline{x_b}P_a\rho P_b -\frac12(|x_a|^2+|x_b|^2)P_a\rho P_b =\left( -\frac12|x_a-x_b|^2 +\ii\,\operatorname{Im}(x_a\overline{x_b}) \right)P_a\rho P_b.
TeX source
P_a\Dcal[X](\rho)P_b
=x_a\overline{x_b}P_a\rho P_b
-\frac12(|x_a|^2+|x_b|^2)P_a\rho P_b

=\left(
-\frac12|x_a-x_b|^2
+\ii\,\operatorname{Im}(x_a\overline{x_b})
\right)P_a\rho P_b.

The imaginary coefficient does not contribute to the real part in reference. Substitution into reference therefore gives reference.

Back to section navigation

06

Phase response

Let B=B†B=B^\daggerB=B^\dagger be an observable. The finite-window observable projection is

OB(t;ϑ,ε)=Tr⁡(B etLϑ,ερin).\Ocal_B(t;\vartheta,\varepsilon)=\Tr\left(B\,\ee^{t\Lcal_{\vartheta,\varepsilon}}\rho_{\rm in}\right).
TeX source
\Ocal_B(t;\vartheta,\varepsilon)=\Tr\left(B\,\ee^{t\Lcal_{\vartheta,\varepsilon}}\rho_{\rm in}\right).

Assume Lϑ,ε\Lcal_{\vartheta,\varepsilon}\Lcal_{\vartheta,\varepsilon} is differentiable in a parameter uuu. The phase-response derivative is the one-form component

∂uOB(t;ϑ,ε).\partial_u\Ocal_B(t;\vartheta,\varepsilon).
TeX source
\partial_u\Ocal_B(t;\vartheta,\varepsilon).

theorem: Duhamel response formula. For any differentiable parameter uuu in ϑ\vartheta\vartheta or ε\varepsilon\varepsilon,

∂uOB(t;ϑ,ε)=∫0tTr⁡ ⁣(B e(t−s)Lϑ,ε(∂uLϑ,ε)esLϑ,ερin)ds.\partial_u\Ocal_B(t;\vartheta,\varepsilon) =\int_{0}^{t}\Tr\!\left( B\,\ee^{(t-s)\Lcal_{\vartheta,\varepsilon}} (\partial_u\Lcal_{\vartheta,\varepsilon}) \ee^{s\Lcal_{\vartheta,\varepsilon}}\rho_{\rm in} \right)\dd s.
TeX source
\partial_u\Ocal_B(t;\vartheta,\varepsilon)
=\int_{0}^{t}\Tr\!\left(
B\,\ee^{(t-s)\Lcal_{\vartheta,\varepsilon}}
(\partial_u\Lcal_{\vartheta,\varepsilon})
\ee^{s\Lcal_{\vartheta,\varepsilon}}\rho_{\rm in}
\right)\dd s.

proof. For finite-dimensional linear operators,

∂uetLu=∫0te(t−s)Lu(∂uLu)esLuds.\partial_u\ee^{t\Lcal_u}=\int_0^t\ee^{(t-s)\Lcal_u}(\partial_u\Lcal_u)\ee^{s\Lcal_u}\dd s.
TeX source
\partial_u\ee^{t\Lcal_u}=\int_0^t\ee^{(t-s)\Lcal_u}(\partial_u\Lcal_u)\ee^{s\Lcal_u}\dd s.

Multiplying by BBB, applying to ρin\rho_{\rm in}\rho_{\rm in}, and taking the trace gives the result.

theorem: Common microscopic primitive for loading and response. Let a finite detector--environment completion have a differentiable Hamiltonian HDE(t,ϑ)H_{DE}(t,\vartheta)H_{DE}(t,\vartheta) and unitary propagator Uϑ(t,s)U_\vartheta(t,s)U_\vartheta(t,s). For two phase histories define the influence amplitude

F[ϑ+,ϑ−]=Tr⁡DE ⁣[Uϑ+(T,0)ρDEUϑ−(T,0)†].\Fcal[\vartheta_+,\vartheta_-] =\Tr_{DE}\!\left[ U_{\vartheta_+}(T,0)\rho_{DE} U_{\vartheta_-}(T,0)^\dagger \right].
TeX source
\Fcal[\vartheta_+,\vartheta_-]
 =\Tr_{DE}\!\left[
 U_{\vartheta_+}(T,0)\rho_{DE}
 U_{\vartheta_-}(T,0)^\dagger
 \right].

On the diagonal ϑ+=ϑ−=ϑ\vartheta_+=\vartheta_-=\vartheta\vartheta_+=\vartheta_-=\vartheta, one has F=1\Fcal=1\Fcal=1 and

iℏδlog⁡Fδϑ+(s)∣ϑ+=ϑ−=Tr⁡DE ⁣[hoDE(s) ∂ϑHDE(s,ϑ)],\left. \ii\hbar\frac{\delta\log\Fcal}{\delta\vartheta_+(s)} \right|_{\vartheta_+=\vartheta_-} =\Tr_{DE}\!\left[ ho_{DE}(s)\,\partial_\vartheta H_{DE}(s,\vartheta)\right],
TeX source
\left.
 \ii\hbar\frac{\delta\log\Fcal}{\delta\vartheta_+(s)}
 \right|_{\vartheta_+=\vartheta_-}
 =\Tr_{DE}\!\left[
ho_{DE}(s)\,\partial_\vartheta H_{DE}(s,\vartheta)\right],

where ρDE(s)=Uϑ(s,0)ρDEUϑ(s,0)†\rho_{DE}(s)=U_\vartheta(s,0)\rho_{DE}U_\vartheta(s,0)^\dagger\rho_{DE}(s)=U_\vartheta(s,0)\rho_{DE}U_\vartheta(s,0)^\dagger. If BBB is phase independent, its terminal linear response is

δ⟨B(T)⟩δϑ(s)=iℏΘ(T−s)Tr⁡DE ⁣[hoDE(s)[∂ϑHDE(s,ϑ),BH(T;s)]],\frac{\delta\langle B(T)\rangle}{\delta\vartheta(s)} =\frac{\ii}{\hbar}\Theta(T-s) \Tr_{DE}\!\left[ ho_{DE}(s) [\partial_\vartheta H_{DE}(s,\vartheta),B_H(T;s)]\right],
TeX source
\frac{\delta\langle B(T)\rangle}{\delta\vartheta(s)}
 =\frac{\ii}{\hbar}\Theta(T-s)
 \Tr_{DE}\!\left[
ho_{DE}(s)
 [\partial_\vartheta H_{DE}(s,\vartheta),B_H(T;s)]\right],

with BH(T;s)=Uϑ(T,s)†BUϑ(T,s)B_H(T;s)=U_\vartheta(T,s)^\dagger B U_\vartheta(T,s)B_H(T;s)=U_\vartheta(T,s)^\dagger B U_\vartheta(T,s). Hence phase loading and detector response are two derivatives of one declared microscopic primitive and cannot be independently retuned while that primitive and the initial state are held fixed.

proof. The Duhamel identity for a time-dependent Hamiltonian gives

δUϑ(T,0)=−iℏ∫0TUϑ(T,s) δHDE(s) Uϑ(s,0) ds.\delta U_\vartheta(T,0) =-\frac{\ii}{\hbar}\int_0^T U_\vartheta(T,s)\,\delta H_{DE}(s)\, U_\vartheta(s,0)\,\dd s.
TeX source
\delta U_\vartheta(T,0)
 =-\frac{\ii}{\hbar}\int_0^T
 U_\vartheta(T,s)\,\delta H_{DE}(s)\,
 U_\vartheta(s,0)\,\dd s.

Insert this identity in reference, set the two histories equal, and use cyclicity of the trace. Since the diagonal amplitude is one, the derivative of its logarithm equals its derivative, yielding reference. Applying the same identity to both sides of Uϑ(T,0)ρDEUϑ(T,0)†U_\vartheta(T,0)\rho_{DE}U_\vartheta(T,0)^\daggerU_\vartheta(T,0)\rho_{DE}U_\vartheta(T,0)^\dagger, multiplying by BBB, and combining the two terms gives the commutator in reference. Both expressions depend on the same operator ∂ϑHDE\partial_\vartheta H_{DE}\partial_\vartheta H_{DE}, the same propagator, and the same initial state; independent changes of the two derivatives would therefore change the common primitive or its declared state.

corollary: Microscopic rejection of an independently fitted lift. Suppose a PLE loading representative and a PCD response kernel are claimed to arise from the same detector--environment action and initial state. If no single ∂ϑHDE\partial_\vartheta H_{DE}\partial_\vartheta H_{DE} reproduces both reference and reference on the declared phase window, that common microscopic lift is false, even when the two quantities can be fitted separately.

proof. The conclusion is the contrapositive of reference.

definition: Response one-form. For an observable family B={B1,…,Bq}\Bcal=\{B_1,\ldots,B_q\}\Bcal=\{B_1,\ldots,B_q\}, the response one-form on P×EP\times\EcalP\times\Ecal is

ΩB,t=∑j=1q∑i=1d∂ϑiOBj(t;ϑ,ε) βj⊗dϑi+∑j=1q∂εOBj(t;ϑ,ε) βj⊗dε,\Omega_{\Bcal,t} =\sum_{j=1}^{q}\sum_{i=1}^{d} \partial_{\vartheta^i}\Ocal_{B_j}(t;\vartheta,\varepsilon)\,\beta^j\otimes\dd\vartheta^i +\sum_{j=1}^{q} \partial_\varepsilon\Ocal_{B_j}(t;\vartheta,\varepsilon)\,\beta^j\otimes\dd\varepsilon,
TeX source
\Omega_{\Bcal,t}
=\sum_{j=1}^{q}\sum_{i=1}^{d}
\partial_{\vartheta^i}\Ocal_{B_j}(t;\vartheta,\varepsilon)\,\beta^j\otimes\dd\vartheta^i
+\sum_{j=1}^{q}
\partial_\varepsilon\Ocal_{B_j}(t;\vartheta,\varepsilon)\,\beta^j\otimes\dd\varepsilon,

where {βj}\{\beta^j\}\{\beta^j\} is the coordinate basis of Rq\Rbb^q\Rbb^q.

The one-form formulation is important: scalar components depend on the phase chart, whereas the covector transforms canonically.

proposition: Phase-chart covariance. Let ϑ~=f(ϑ)\widetilde\vartheta=f(\vartheta)\widetilde\vartheta=f(\vartheta) be a smooth regular change of phase coordinates. Then the response components obey

∂ϑ~aOB=∑i=1d∂ϑi∂ϑ~a ∂ϑiOB.\partial_{\widetilde\vartheta^a}\Ocal_B =\sum_{i=1}^{d}\frac{\partial\vartheta^i}{\partial\widetilde\vartheta^a}\, \partial_{\vartheta^i}\Ocal_B.
TeX source
\partial_{\widetilde\vartheta^a}\Ocal_B
=\sum_{i=1}^{d}\frac{\partial\vartheta^i}{\partial\widetilde\vartheta^a}\,
\partial_{\vartheta^i}\Ocal_B.

Hence ∑i∂ϑiOB dϑi\sum_i\partial_{\vartheta^i}\Ocal_B\,\dd\vartheta^i\sum_i\partial_{\vartheta^i}\Ocal_B\,\dd\vartheta^i is chart independent as a one-form.

proof. This is the chain rule for a scalar function on the phase patch.

Back to section navigation

07

Variational lift and phase loading

PLE assigns a phase-loading representative only after a sector action, stress-tensor convention, phase chart, and variational domain have been specified. PCD begins at a different level: a finite reduced generator is already given. A bridge between the two levels is possible only when the finite generator is obtained as a reduction of a variational sector.

definition: Variational lift. A PCD system admits a variational lift on a phase patch PPP if there exist a sector action S[g,Ψ,H]S[g,\Psi,\mathcal H]S[g,\Psi,\mathcal H], a finite reduction map RRR, and a family of state-observable pairs such that the reduced Euler response of SSS to H\mathcal H\mathcal H induces the response one-form reference for the PCD generator.

This definition is intentionally asymmetric. A variational sector may reduce to a PCD system, but a finite PCD system does not by itself determine a unique sector action.

proposition: Reduced loading criterion. Let X\Xcal\Xcal be a finite PCD system. Its phase-response one-form represents a PLE loading object on PPP only if X\Xcal\Xcal admits a variational lift whose phase Euler response and normalization agree with the PLE conventions on the same patch. Without such a lift, reference is a reduced response one-form and not a Noether loading representative.

proof. PLE loading is defined by variational response of a declared sector action to the phase coordinate. A PCD response one-form is defined by differentiating a finite reduced generator and its observable projections. Equality of the two objects requires a map identifying the finite generator derivative with the action-level Euler response under the same phase convention and normalization. That is precisely the variational lift. In its absence, the two objects have different domains of definition.

proposition: Helmholtz obstruction to a variational lift. Suppose a proposed reduction map pulls the PCD response back to a local scalar phase functional λ[H]\lambda[\mathcal H]\lambda[\mathcal H] on a contractible spacetime region and a star-shaped phase chart. Define its Fr\'echet derivative by

Dλ[H](η)=dds∣s=0λ[H+sη].D_\lambda[\mathcal H](\eta) =\left.\frac{\dd}{\dd s}\right|_{s=0}\lambda[\mathcal H+s\eta].
TeX source
D_\lambda[\mathcal H](\eta)
=\left.\frac{\dd}{\dd s}\right|_{s=0}\lambda[\mathcal H+s\eta].

If Dλ≠Dλ∗D_\lambda\ne D_\lambda^*D_\lambda\ne D_\lambda^* under integration by parts for compactly supported variations, then no local scalar action can supply that pulled-back response and the PCD system has no PLE variational lift through the proposed reduction. If Dλ=Dλ∗D_\lambda=D_\lambda^*D_\lambda=D_\lambda^*, then

Sλ[H]=∫01dt∫ddx −g H λ[tH]S_\lambda[\mathcal H] =\int_0^1\dd t\int \dd^dx\,\sqrt{-g}\, \mathcal H\,\lambda[t\mathcal H]
TeX source
S_\lambda[\mathcal H]
=\int_0^1\dd t\int \dd^dx\,\sqrt{-g}\,
\mathcal H\,\lambda[t\mathcal H]

has Euler derivative δSλ/δH=λ[H]\delta S_\lambda/\delta\mathcal H=\lambda[\mathcal H]\delta S_\lambda/\delta\mathcal H=\lambda[\mathcal H] on that chart. This establishes a local scalar primitive, but a full PLE lift still requires the declared sector fields, normalization, stress tensor, and reduction map to agree.

proof. If λ\lambda\lambda is an Euler derivative, symmetry of the second variation gives Dλ=Dλ∗D_\lambda=D_\lambda^*D_\lambda=D_\lambda^*. Conversely, vary reference. Formal self-adjointness moves Dλ[tH]D_\lambda[t\mathcal H]D_\lambda[t\mathcal H] from the variation to H\mathcal H\mathcal H, so the integrand becomes η{λ[tH]+tDλ[tH](H)}=η d{tλ[tH]}/dt\eta\{\lambda[t\mathcal H]+tD_\lambda[t\mathcal H](\mathcal H)\} =\eta\,\dd\{t\lambda[t\mathcal H]\}/\dd t\eta\{\lambda[t\mathcal H]+tD_\lambda[t\mathcal H](\mathcal H)\} =\eta\,\dd\{t\lambda[t\mathcal H]\}/\dd t. Integration over t∈[0,1]t\in[0,1]t\in[0,1] gives δSλ=∫−g ηλ[H]\delta S_\lambda=\int\sqrt{-g}\,\eta\lambda[\mathcal H]\delta S_\lambda=\int\sqrt{-g}\,\eta\lambda[\mathcal H]. The remaining PLE data are not consequences of this scalar integrability statement [citation].

Back to section navigation

08

Composition and marginal consistency

Finite windows should behave coherently under independent product composition and under reductions that discard an uncoupled factor.

Let XA\Xcal_A\Xcal_A and XB\Xcal_B\Xcal_B be PCD systems on HA\Hcal_A\Hcal_A and HB\Hcal_B\Hcal_B with generators LA\Lcal_A\Lcal_A and LB\Lcal_B\Lcal_B. The independent product generator on HA⊗HB\Hcal_A\otimes\Hcal_B\Hcal_A\otimes\Hcal_B is

LA⊗B=LA⊗id⁡B+id⁡A⊗LB,\Lcal_{A\otimes B}=\Lcal_A\otimes\id_B+\id_A\otimes\Lcal_B,
TeX source
\Lcal_{A\otimes B}=\Lcal_A\otimes\id_B+\id_A\otimes\Lcal_B,

where the notation denotes the induced action on operators.

proposition: Product composition. For product initial states,

ρAB(0)=ρA(0)⊗ρB(0),\rho_{AB}(0)=\rho_A(0)\otimes\rho_B(0),
TeX source
\rho_{AB}(0)=\rho_A(0)\otimes\rho_B(0),

the solution of reference is

ρAB(t)=ρA(t)⊗ρB(t).\rho_{AB}(t)=\rho_A(t)\otimes\rho_B(t).
TeX source
\rho_{AB}(t)=\rho_A(t)\otimes\rho_B(t).

proof. The right-hand side satisfies the product equation and the same initial condition. Uniqueness for finite-dimensional linear ordinary differential equations gives the result.

proposition: Marginal consistency. Let

LAB=LA⊗id⁡B+id⁡A⊗LB\Lcal_{AB}=\Lcal_A\otimes\id_B+\id_A\otimes\Lcal_B
TeX source
\Lcal_{AB}=\Lcal_A\otimes\id_B+\id_A\otimes\Lcal_B

and let ρAB(t)\rho_{AB}(t)\rho_{AB}(t) solve ρ˙AB=LABρAB\dot\rho_{AB}=\Lcal_{AB}\rho_{AB}\dot\rho_{AB}=\Lcal_{AB}\rho_{AB}. Then

ddtTr⁡BρAB(t)=LA(Tr⁡BρAB(t)).\frac{\dd}{\dd t}\Tr_B\rho_{AB}(t)=\Lcal_A(\Tr_B\rho_{AB}(t)).
TeX source
\frac{\dd}{\dd t}\Tr_B\rho_{AB}(t)=\Lcal_A(\Tr_B\rho_{AB}(t)).

proof. The term LA⊗id⁡B\Lcal_A\otimes\id_B\Lcal_A\otimes\id_B commutes with Tr⁡B\Tr_B\Tr_B in the stated way. The partial trace of id⁡A⊗LB\id_A\otimes\Lcal_B\id_A\otimes\Lcal_B vanishes because LB\Lcal_B\Lcal_B is trace preserving on the BBB factor.

If an interaction term is added to reference, marginal consistency requires that the interaction be retained in the reduced declaration or absorbed into a new effective generator. A finite PCD window is therefore stable under reduction only after the reduced generator has been specified.

Back to section navigation

09

Representative finite systems

Two-level phase-commit systemTruncated oscillator with phase-indexed dampingBoundary-interface reduction

The following examples are representative members of the class. They are not special axioms.

Two-level phase-commit system

Let H2=C2\Hcal_2=\Cbb^2\Hcal_2=\Cbb^2 with Pauli matrices σx,σy,σz\sigma_x,\sigma_y,\sigma_z\sigma_x,\sigma_y,\sigma_z and lowering operator σ−\sigma_-\sigma_-. Consider

H(ϑ,ε)=ℏω(ϑ)2σz+ℏεα(ϑ)2σx,H(\vartheta,\varepsilon)=\frac{\hbar\omega(\vartheta)}{2}\sigma_z +\frac{\hbar\varepsilon\alpha(\vartheta)}{2}\sigma_x,
TeX source
H(\vartheta,\varepsilon)=\frac{\hbar\omega(\vartheta)}{2}\sigma_z
+\frac{\hbar\varepsilon\alpha(\vartheta)}{2}\sigma_x,

and channels

M1=γ(ϑ) σ−,M2=κ(ϑ,ε) σz,γ≥0,κ≥0,κ(ϑ,0)=κ0(ϑ).M_1=\sqrt{\gamma(\vartheta)}\,\sigma_- , \qquad M_2=\sqrt{\kappa(\vartheta,\varepsilon)}\,\sigma_z, \qquad \gamma\ge0, \quad \kappa\ge0, \quad \kappa(\vartheta,0)=\kappa_0(\vartheta).
TeX source
M_1=\sqrt{\gamma(\vartheta)}\,\sigma_- ,
\qquad
M_2=\sqrt{\kappa(\vartheta,\varepsilon)}\,\sigma_z,
\qquad
\gamma\ge0,
\quad \kappa\ge0,
\quad \kappa(\vartheta,0)=\kappa_0(\vartheta).

Write

ρ=12(1+xσx+yσy+zσz).\rho=\frac12(\one+x\sigma_x+y\sigma_y+z\sigma_z).
TeX source
\rho=\frac12(\one+x\sigma_x+y\sigma_y+z\sigma_z).

Then the coherent part rotates the Bloch vector around

(εα,0,ω),(\varepsilon\alpha,0,\omega),
TeX source
(\varepsilon\alpha,0,\omega),

while M1M_1M_1 relaxes the excited population and M2M_2M_2 damps transverse coherence. Relative to the energy resolution Π={∣0⟩⟨0∣,∣1⟩⟨1∣}\Pi=\{ |0\rangle\langle0|,|1\rangle\langle1|\}\Pi=\{ |0\rangle\langle0|,|1\rangle\langle1|\},

CΠ(ρ)2=12(x2+y2).C_\Pi(\rho)^2=\frac12(x^2+y^2).
TeX source
C_\Pi(\rho)^2=\frac12(x^2+y^2).

For the aligned dephasing channel σz\sigma_z\sigma_z, reference gives

D[σz](ρ)=−xσx−yσy,ddtCΠ(ρ(t))2=−4κCΠ(ρ(t))2\Dcal[\sigma_z](\rho)=-x\sigma_x-y\sigma_y, \qquad \frac{\dd}{\dd t}C_\Pi(\rho(t))^2=-4\kappa C_\Pi(\rho(t))^2
TeX source
\Dcal[\sigma_z](\rho)=-x\sigma_x-y\sigma_y,
\qquad
\frac{\dd}{\dd t}C_\Pi(\rho(t))^2=-4\kappa C_\Pi(\rho(t))^2

when the other terms are suppressed. The finite system therefore separates coherent phase relocation from aligned commit damping.

Truncated oscillator with phase-indexed damping

Let HN\Hcal_N\Hcal_N be the span of number states ∣0⟩,…,∣N−1⟩|0\rangle,\ldots,|N-1\rangle|0\rangle,\ldots,|N-1\rangle. Let aNa_Na_N be the truncated lowering operator and nN=aN†aNn_N=a_N^\dagger a_Nn_N=a_N^\dagger a_N. A phase-indexed oscillator member is

H(ϑ,ε)=ℏω(ϑ)nN+εq(ϑ)(aN+aN†),H(\vartheta,\varepsilon)=\hbar\omega(\vartheta)n_N +\varepsilon q(\vartheta)(a_N+a_N^\dagger),
TeX source
H(\vartheta,\varepsilon)=\hbar\omega(\vartheta)n_N
+\varepsilon q(\vartheta)(a_N+a_N^\dagger),

with channels

M1=γ(ϑ) aN,M2=κ(ϑ,ε) nN.M_1=\sqrt{\gamma(\vartheta)}\,a_N, \qquad M_2=\sqrt{\kappa(\vartheta,\varepsilon)}\,n_N.
TeX source
M_1=\sqrt{\gamma(\vartheta)}\,a_N,
\qquad
M_2=\sqrt{\kappa(\vartheta,\varepsilon)}\,n_N.

The number-state resolution gives

CΠ(ρ)2=∑m≠n∣ρmn∣2.C_\Pi(\rho)^2=\sum_{m\ne n}|\rho_{mn}|^2.
TeX source
C_\Pi(\rho)^2=\sum_{m\ne n}|\rho_{mn}|^2.

The channel nNn_Nn_N is aligned with the number resolution, and

PmD[nN](ρ)Pn=−12(m−n)2PmρPn.P_m\Dcal[n_N](\rho)P_n=-\frac12(m-n)^2P_m\rho P_n.
TeX source
P_m\Dcal[n_N](\rho)P_n=-\frac12(m-n)^2P_m\rho P_n.

Thus long-range number coherence is damped more strongly than adjacent-number coherence. The Hamiltonian displacement term changes the phase relation among neighboring number states, while the aligned channel gives an ordered commit form.

Boundary-interface reduction

Let

HN=Hbulk⊕HΣ⊕Hout\Hcal_N=\Hcal_{\rm bulk}\oplus\Hcal_{\Sigma}\oplus\Hcal_{\rm out}
TeX source
\Hcal_N=\Hcal_{\rm bulk}\oplus\Hcal_{\Sigma}\oplus\Hcal_{\rm out}

with corresponding projectors PbulkP_{\rm bulk}P_{\rm bulk}, PΣP_\SigmaP_\Sigma, and PoutP_{\rm out}P_{\rm out}. A boundary-interface PCD member has Hamiltonian

H=Hbulk⊕HΣ⊕Hout+ε(Vbulk,Σ+Vbulk,Σ†)H=H_{\rm bulk}\oplus H_{\Sigma}\oplus H_{\rm out} +\varepsilon(V_{\rm bulk,\Sigma}+V_{\rm bulk,\Sigma}^\dagger)
TeX source
H=H_{\rm bulk}\oplus H_{\Sigma}\oplus H_{\rm out}
+\varepsilon(V_{\rm bulk,\Sigma}+V_{\rm bulk,\Sigma}^\dagger)

and commit channels

Ka(ϑ)=PoutWa(ϑ)PΣ.K_a(\vartheta)=P_{\rm out}W_a(\vartheta)P_\Sigma.
TeX source
K_a(\vartheta)=P_{\rm out}W_a(\vartheta)P_\Sigma.

The dissipator D[Ka]\Dcal[K_a]\Dcal[K_a] transfers boundary-localized amplitude into the outgoing sector while preserving total trace. Relative to the three-block resolution, the channel is not a pure dephasing direction; the corresponding commit form can mix coherence damping with population transfer. This is the finite reduced form of an interface-local commit channel.

Back to section navigation

10

Observable projection maps

Let B={B1,…,Bq}\Bcal=\{B_1,\ldots,B_q\}\Bcal=\{B_1,\ldots,B_q\} be Hermitian operators on HN\Hcal_N\Hcal_N. The observable projection map of a PCD system is

ΦB:P×E→C(I,Rq),ΦB(ϑ,ε)(t)=(OB1(t;ϑ,ε),…,OBq(t;ϑ,ε)).\Phi_{\Bcal}:P\times\Ecal\to C(I,\Rbb^q), \qquad \Phi_{\Bcal}(\vartheta,\varepsilon)(t) =\left(\Ocal_{B_1}(t;\vartheta,\varepsilon),\ldots, \Ocal_{B_q}(t;\vartheta,\varepsilon)\right).
TeX source
\Phi_{\Bcal}:P\times\Ecal\to C(I,\Rbb^q),
\qquad
\Phi_{\Bcal}(\vartheta,\varepsilon)(t)
=\left(\Ocal_{B_1}(t;\vartheta,\varepsilon),\ldots,
\Ocal_{B_q}(t;\vartheta,\varepsilon)\right).

The standard contrast map is

ΔΦB(ϑ,ε)(t)=ΦB(ϑ,ε)(t)−ΦB(ϑ,0)(t).\Delta\Phi_{\Bcal}(\vartheta,\varepsilon)(t) =\Phi_{\Bcal}(\vartheta,\varepsilon)(t)-\Phi_{\Bcal}(\vartheta,0)(t).
TeX source
\Delta\Phi_{\Bcal}(\vartheta,\varepsilon)(t)
=\Phi_{\Bcal}(\vartheta,\varepsilon)(t)-\Phi_{\Bcal}(\vartheta,0)(t).

A weighted response bilinear form on a compact subwindow J⊂IJ\subset IJ\subset I is

Iab(ϑ,ε)=∑j=1q∫Jwj(t) ∂aOBj(t;ϑ,ε)∂bOBj(t;ϑ,ε)dt,\mathfrak I_{ab}(\vartheta,\varepsilon) =\sum_{j=1}^{q}\int_J w_j(t)\, \partial_a\Ocal_{B_j}(t;\vartheta,\varepsilon) \partial_b\Ocal_{B_j}(t;\vartheta,\varepsilon) \dd t,
TeX source
\mathfrak I_{ab}(\vartheta,\varepsilon)
=\sum_{j=1}^{q}\int_J
w_j(t)\,
\partial_a\Ocal_{B_j}(t;\vartheta,\varepsilon)
\partial_b\Ocal_{B_j}(t;\vartheta,\varepsilon)
\dd t,

where wj(t)≥0w_j(t)\ge0w_j(t)\ge0 and a,ba,ba,b range over the chosen coordinates of P×EP\times\EcalP\times\Ecal. Observable channels with zero weight on JJJ are removed before the response rank is assigned.

proposition: Response span rank. Assume the retained weights define a positive-definite weighted inner product on the retained observable family on JJJ. The rank represented by I(ϑ,ε)\mathfrak I(\vartheta,\varepsilon)\mathfrak I(\vartheta,\varepsilon) is invariant under regular coordinate changes on P×EP\times\EcalP\times\Ecal. It is also invariant under nonsingular linear recombination of the retained observable family when the weighted inner product is carried to the recombined basis.

proof. After zero-weight channels are removed, I\mathfrak I\mathfrak I is the Gram matrix of the retained response covectors with respect to a positive-definite weighted inner product. A regular coordinate change multiplies these covectors by an invertible Jacobian, and a nonsingular recombination of retained observables changes only the chosen basis of the same weighted response span when the induced inner product is carried along. In both cases the dimension of the response span, and hence the rank represented by the Gram matrix, is preserved.

The map reference is the point where a finite PCD system becomes comparable to a chosen readout family. No readout family is canonical. Different choices of B\Bcal\Bcal, III, and wjw_jw_j define different finite windows of the same generator.

Back to section navigation

11

Microscopic closure and surviving prediction

The closure test for the finite-window phase commit is applied to a dimensionless observable vector y∈Rmy\in\mathbb R^my\in\mathbb R^m formed from fixed reference scales and the declared basket of phase loading, response kernels, coherence decay, and resolved commit probabilities. Let aaa range over the independent constitutive inputs comprising microscopic Hamiltonian, environment state, reduced channels, and outcome resolution.

proposition: Functional saturation, finite closure, and sector admissibility. Suppose the unrestricted prediction map F:a↦yF:a\mapsto yF:a\mapsto y is continuously differentiable on a Banach space of constitutive inputs. If DaFD_aFD_aF is surjective and has a bounded right inverse at the calibration point, the unrestricted family is locally open in observable space and supplies no nonzero local equality restriction on yyy. Suppose instead that a single microscopic closure replaces aaa by finite parameters θ∈Rp\theta\in\mathbb R^p\theta\in\mathbb R^p, with profiled nuisance coordinates η∈Rq\eta\in\mathbb R^q\eta\in\mathbb R^q. If

J=DηFclDθFcl,rank⁡J=r<m,J=D_\eta F_{\rm cl}D_\theta F_{\rm cl}, \qquad \operatorname{rank}J=r<m,
TeX source
J=D_\eta F_{\rm cl}D_\theta F_{\rm cl},
 \qquad \operatorname{rank}J=r<m,

then there are m−rm-rm-r independent first-order restrictions

wTδy=0,w∈ker⁡JT.w^{\mathsf T}\delta y=0, \qquad w\in\ker J^{\mathsf T}.
TeX source
w^{\mathsf T}\delta y=0,
 \qquad w\in\ker J^{\mathsf T}.

If the rank is constant locally, these restrictions are tangent to a compatibility manifold of codimension m−rm-rm-r. For this sector, the finite closure is admissible only if one detector--environment influence functional generates loading and response, and partial trace yields one normalized multi-time process.

proof. Split surjectivity gives a bounded right inverse RRR with DaF R=ImD_aF\,R=I_mD_aF\,R=I_m. The Banach-space submersion theorem then makes FFF locally onto a neighborhood of the calibrated observable vector. Any smooth equality holding throughout that image must therefore vanish on an open set and contributes no model-specific local restriction. Under finite closure, the attainable first-order variations are exactly the column space of JJJ. Its orthogonal complement is ker⁡JT\ker J^{\mathsf T}\ker J^{\mathsf T}, whose dimension is m−rm-rm-r by rank--nullity, which proves reference. The constant-rank theorem supplies the stated local manifold. The sector condition is necessary because independently fitted loading and response need not share a Hamiltonian, while a time-local sink need not define a complete process. Failure of that condition therefore rejects the proposed microscopic closure before parameter estimation can be counted as evidence for it.

Finite-window event realization..

Paper CHC-MHB supplies an exact collision-step realization on the vacuum--one-excitation sector. A unitary compact-holonomy propagation step is followed by one no-loss Kraus operator and three site-resolved loss operators whose effects sum to the identity. Repetition converges to a GKSL process with Lj=κ∣0⟩⟨j∣L_j=\sqrt\kappa|0\rangle\langle j|L_j=\sqrt\kappa|0\rangle\langle j|, while the no-event branch has Heff=H−iℏκP1/2H_{\rm eff}=H-i\hbar\kappa P_1/2H_{\rm eff}=H-i\hbar\kappa P_1/2. This supplies one explicit finite model in which phase evolution, norm loss, and resolved records belong to the same normalized process.

Back to section navigation

12

Conclusion

Finite-window phase-commit dynamics gives a reduced open-system object for CHC phase structure. Its state is a density matrix on a finite Hilbert space. Its phase-link data are represented by a connection on a phase patch. Its time evolution is generated by a phase-indexed GKSL operator. Its undeformed member is the selected standard reduced dynamics. Its coherence and commit quantities are finite functionals of the density state and declared resolution. Its phase response is a covariant one-form on the phase window. The DBC--PCD bridge identifies a positive trigger sink with the no-event component of a CPTP instrument and assigns all lost norm to its complementary jump channels. Its relation to PLE loading requires a variational lift; the Helmholtz condition gives a necessary and locally sufficient test for the scalar action primitive, while failure of formal self-adjointness excludes the proposed lift. Product composition, marginal reduction, and observable projection maps are fixed at the finite-generator level.

The construction therefore supplies a mathematical layer between phase-linked propagation, local commit, and action-level phase loading. It keeps standard reduced dynamics as an exact member while allowing phase-sensitive coherent and dissipative structure to be represented inside the same finite open-system class.

A unitary microscopic completion extends probability conservation to arbitrary inserted finite instruments and remains valid for non-CP-divisible reduced memory. The common-primitive theorem makes phase loading and detector response derivatives of the same influence amplitude; failure to reproduce both with one Hamiltonian derivative rejects the proposed microscopic lift.

Back to section navigation

13

Vectorized generator

Let vec⁡\operatorname{vec}\operatorname{vec} stack columns. For matrices A,X,BA,X,BA,X,B,

vec⁡(AXB)=(BT⊗A)vec⁡(X).\operatorname{vec}(AXB)=(B^T\otimes A)\operatorname{vec}(X).
TeX source
\operatorname{vec}(AXB)=(B^T\otimes A)\operatorname{vec}(X).

Thus reference has matrix representative

Lϑ,ε=−iℏ(1⊗H−HT⊗1)+∑α=1r(Mα‾⊗Mα−121⊗Mα†Mα−12(Mα†Mα)T⊗1),\mathbf L_{\vartheta,\varepsilon} =-\frac{\ii}{\hbar}\left(\one\otimes H-H^T\otimes\one\right) \quad +\sum_{\alpha=1}^{r}\left( \overline{M_\alpha}\otimes M_\alpha -\frac12\one\otimes M_\alpha^\dagger M_\alpha -\frac12(M_\alpha^\dagger M_\alpha)^T\otimes\one \right),
TeX source
\mathbf L_{\vartheta,\varepsilon}
=-\frac{\ii}{\hbar}\left(\one\otimes H-H^T\otimes\one\right)

\quad +\sum_{\alpha=1}^{r}\left(
\overline{M_\alpha}\otimes M_\alpha
-\frac12\one\otimes M_\alpha^\dagger M_\alpha
-\frac12(M_\alpha^\dagger M_\alpha)^T\otimes\one
\right),

where all coefficients are evaluated at (ϑ,ε)(\vartheta,\varepsilon)(\vartheta,\varepsilon). The finite-dimensional response formula reference follows equivalently from differentiating exp⁡(tLϑ,ε)\exp(t\mathbf L_{\vartheta,\varepsilon})\exp(t\mathbf L_{\vartheta,\varepsilon}).

Back to section navigation

14

First-order displacement

Assume

Lϑ,ε=Lϑ,0+εKϑ+O(ε2).\Lcal_{\vartheta,\varepsilon}=\Lcal_{\vartheta,0}+\varepsilon\Kcal_\vartheta+O(\varepsilon^2).
TeX source
\Lcal_{\vartheta,\varepsilon}=\Lcal_{\vartheta,0}+\varepsilon\Kcal_\vartheta+O(\varepsilon^2).

Then

OB(t;ϑ,ε)=OB(t;ϑ,0)+ε∫0tTr⁡ ⁣(B e(t−s)Lϑ,0KϑesLϑ,0ρin)ds+O(ε2).\Ocal_B(t;\vartheta,\varepsilon) =\Ocal_B(t;\vartheta,0) +\varepsilon\int_0^t\Tr\!\left(B\,\ee^{(t-s)\Lcal_{\vartheta,0}} \Kcal_\vartheta\ee^{s\Lcal_{\vartheta,0}}\rho_{\rm in}\right)\dd s +O(\varepsilon^2).
TeX source
\Ocal_B(t;\vartheta,\varepsilon)
=\Ocal_B(t;\vartheta,0)
+\varepsilon\int_0^t\Tr\!\left(B\,\ee^{(t-s)\Lcal_{\vartheta,0}}
\Kcal_\vartheta\ee^{s\Lcal_{\vartheta,0}}\rho_{\rm in}\right)\dd s
+O(\varepsilon^2).

If Kϑ=−i[H1(ϑ),⋅]/ℏ\Kcal_\vartheta=-\ii[H_1(\vartheta),\cdot]/\hbar\Kcal_\vartheta=-\ii[H_1(\vartheta),\cdot]/\hbar, this is the coherent phase-response term. If Kϑ=∑aμa(ϑ)D[Ka(ϑ)]\Kcal_\vartheta=\sum_a\mu_a(\vartheta)\Dcal[K_a(\vartheta)]\Kcal_\vartheta=\sum_a\mu_a(\vartheta)\Dcal[K_a(\vartheta)] with μa≥0\mu_a\ge0\mu_a\ge0, this is the dissipative commit-response term.

Back to section navigation

15

Data and code availability

No new observational or experimental data are introduced by this paper. The manuscript is a mathematical framework paper; all definitions, assumptions, and representative finite-window constructions used in the argument are contained in the text. Supplementary PCD/WPL companion statements record formal/numeric PCD gates, including finite-state trace, Hermiticity, positivity-proxy, aligned-dephasing, and product/marginal consistency checks. These are theorem-witness and finite-window consistency checks, not observational empirical tests. The local label PCD-WPL-VP1-FORMAL-AND-PUBLIC-CLOCK-METRIC-COMPATIBILITY-SUPPORT denotes this declared support comparison only; it is not a separate public manuscript claim.

Funding and competing interests..

No external funding was received for this work. The author declares no competing interests.

Back to section navigation

Reading path

Move through the release without losing context.

THIS PAPER

42 CHC-PCD

Read the abstract, then scan the section list before opening archive or companion materials.