Fix a realized m(t) and put c=γ+iα. The analysis here needs only bounded piecewise-continuous K(t)≥0; the source supplies smoothness and μI as a lower bound.
Evolution-family composition holds. Differentiating squared norms gives contraction of U,D and unitarity of V. With K≥μI the first two norms are bounded by e−γμ(t−s). Shifting initial time changes the history, so the propagators need not be one-parameter semigroups or groups. Write U(t)=U(t,0), and likewise D,V.
Theorem 3.1 (Exact interaction picture).
U(t)=V(t)R(t),R˙=−γV∗KVR,R(0)=I.(18)
Proof. Set R=V∗U. Unitarity and ∂tV∗=iαV∗K cancel the reactive term, giving the equation. The rotated carrier remains positive by unitary congruence. Generally R=D. Instantaneous commutation [γK(t),αK(t)]=0 leaves cross-time commutators intact.
For continuously differentiable K with ∥K∥≤M,∥K˙∥≤L, the bound is at most γ∣α∣MLT3/3. For K=K0+tA it is γ∣α∣∥[A,K0]∥T3/6.
Proof. Fix t, differentiate D(t,s)K(t)D(s,0) in s, and integrate:
[K(t),D(t)]=−γ∫0tD(t,s)[K(t),K(s)]D(s,0)ds.(20)
With W=DV, differentiation in that order gives
W˙+cK(t)W=iα[K(t),D(t)]V(t).(21)
The difference U−W starts at zero. Variation of constants with the contractive U(T,t), both contractive D factors and unitary V gives (19). In the differentiable case ∥[K(t),K(s)]∥=∥[K(t)−K(s),K(s)]∥≤2ML(t−s); the double integral of t−s is T3/6. In the affine case the commutator is (t−s)[A,K0].
No gap is needed at a degeneracy or crossing. Pairwise commuting histories factor through exponentials of the integrated generators; one endpoint equality alone does not establish commutation. If a differentiable unitary basis Q diagonalizes K, u=Q∗z satisfies
u˙=−cΛ(t)u−Q∗Q˙u.(22)
The skew-Hermitian connection can mix modes. A unique smooth eigenvalue-ordered basis need not exist at crossings, and fixed physical coordinates avoid that hypothesis.
The operator-norm remainders hold for fixed matrices and coefficients as τ↓0. In U the ordered mixed term is c2K2K1 times τ2; subtract the mixed terms in DV to obtain (24). Subtracting the reverse order yields (25). Here (19) becomes
∥U−DV∥≤γ∣α∣τ2∥[K2,K1]∥.(26)
The leading constant is attained asymptotically for nonzero commutator. Reversal preserves the pulse spectra and ∫02τK(t)dt but changes the response. The naive integrated exponential differs from U by the ordered correction U−e−cτ(K1+K2)=(c2τ2/2)[K2,K1]+O(τ3).
3.2 A moving but commuting control
For the three-node path b1=(1,−1,0)⊤,b2=(0,1,−1)⊤, write we=eme.
Multiplying the rank-one edge matrices gives a real skew commutator with singular values 3,3,0. Reflection swaps nodes one and three and swaps memories; equivariance and uniqueness preserve symmetric data z1=z3,m1=m2. In that sector,
K(t)=μI+w(t)(B1+B2).(28)
This moving history commutes exactly. More generally, a constant ratio w1/w2 is sufficient; the asymmetric comparison below changes the preparation, not the mobility law.
4 Full feedback, memory and changing coordinates
Along a trajectory let B be a 2n×p matrix with columns distinct from edge matrices Be=bebe⊤.
Proof. Constant mobilities make the derivative of (4) the displayed Hessian-block system. Variation of constants gives
ν(t)=Rm(t,0)ν(0)−η∫0tRm(t,s)B(s)⊤ξ(s)ds.
Substitute to obtain the positive kernel and negative initial-memory term. No adiabatic or Markov approximation enters.
Here diagonal Hm gives an exponential of its time integral and ∥Rm(t,s)∥≤e−ηκ(t−s). The full product need not be symmetric, a scalar function of the amplitude carrier, or a stationary convolution. A clamp constrains ν=0 throughout and gives the realification of U. Free memory with ν(0)=0 still responds through B⊤ξ. They coincide under decoupling, such as B=0 on the trajectory. A physical clamp is an additional apparatus resource.
Take a scalar complex amplitude, one memory, μ=2/5,κ=1,m=0,z=3 real. The (ℜz,m) block and its determinant are
(7/53311/2),det=−13/10.(34)
The imaginary diagonal is 7/5, with no memory cross term. For v=(1,0,−1/2), γ=η=1, any α,
v⊤Hv=−9/40,dtd(∣ξ∣2+∣ν∣2)t=0=9/20.(35)
The reactive norm derivative vanishes on this perturbation; the dissipative contribution is −2v⊤Hv. Positive partial curvature therefore permits full tangent expansion. Sensitivity between nonstationary trajectories is compatible with energy decrease and global relaxation.
Even joint positivity does not restore complex alignment. At z=1/10,m=0,
H=7/501/1007/501/100201/200>0.(36)
Its commutator with diag(J,0) has nonzero entries of magnitude 1/10. This skew operator is degenerate on real memory and is not a complex structure for the entire state. Exact rational checks accompany both examples.
4.2 The connection for a changing mobility metric
For C1 positive M(t), continuous Hermitian H(t), consider the separate prescribed-path model
Positive H gives positive-semidefinite Ky, but neither positivity nor whitening removes the connection. It need not be skew-Hermitian or a function of Ky. State-dependent metrics may contribute further tangent derivatives; (38) concerns a prescribed path. With M=diag(e2rt,e−2rt), H=diag(1,2), r=1,γ=0.2,α=0.4,x(0)=(0,1)⊤,
x2(t)=exp[−c(1−e−2rt)/r],y2(t)=ertx2(t).(40)
At t=0.1 the respective norms are 0.964395 and 1.065822; omitting the connection changes the result by 0.101426. A moving coordinate norm is not physical active gain. The original network has fixed metric.
4.3 Why the autonomous closure certificate changes
For fixed selfadjoint K≥0 and retained isometry I, the Gram defect is
I∗e−2tKI−(I∗e−tKI)2=(Qe−tKI)∗(Qe−tKI),Q=1−II∗.
For nonautonomous D, insert 1=II∗+Q in evolution-family composition:
The product need not be a Gram matrix. With scalar γ=1,K=1 on [0,1], K=2 on (1,2], D(2,0)−D(1,0)2=e−3−e−2<0 despite no hidden sector. For a distinct fixture take
K1=(2112),K2=(2−1−12),P=diag(1,0).(42)
The positive matrices commute and sum to 4I, so unit-duration pulses give D(2,0)=e−4I and zero endpoint leakage (I−P)D(2,0)P, while [P,K1]=0. Endpoint invariance fails to imply invariance through the history, even here. Both examples preserve the autonomous certificate within its hypotheses.