For example ia˙1=ω1a1+κa2∗a3a4 and
ia˙3=ω3a3+κ∗a1a2a4∗; exchange 1↔2
and 3↔4 for the other two equations. The positions of the
complex conjugates are essential to reciprocity.
Let Ij=∣aj∣2 and Z=κa1∗a2∗a3a4. Direct differentiation gives
I˙1=I˙2=2ImZ,I˙3=I˙4=−2ImZ.
Every charge Qc=∑cjIj with c1+c2=c3+c4 is conserved.
These include total norm, I1−I2, and I3−I4. The Hamiltonian itself
is conserved and total norm bounds every amplitude, giving global solutions
for finite initial data. Mode amplitudes add no physical spatial dimensions.
Frequency matching
Writing aj=bje−iωjt makes the first interaction proportional
to eiΔt with
Δ=ω1+ω2−ω3−ω4.
A label equality n1+n2=n3+n4 implies Δ=0 when all four
frequencies follow the same affine law ωj=Anj+B.
It need not do so under a nonlinear count law or unequal sector scales.
For example 1+4=2+3, while S(1,2)+S(4,2)=11 and
S(2,2)+S(3,2)=9. In a first-order calculation that freezes the other
three rotating amplitudes, the forced change is proportional to
∫0teiΔsds and is bounded by 2/∣Δ∣ times that
fixed forcing strength. This bound belongs to that approximation.
Exact exchange with undepleted pumps
For independently maintained pumps b2,b4, the 1,3 subsystem obeys
ib˙1=geiΔtb3,ib˙3=g∗e−iΔtb1,g=κb2∗b4.
Set b1=c1eiΔt/2 and b3=c3e−iΔt/2. Then
idtd(c1c3)=(Δ/2g∗g−Δ/2)(c1c3).
The matrix square is (∣g∣2+Δ2/4)I. Starting with (c1,c3)=(0,1),
∣c1(t)∣2=Δ2+4∣g∣24∣g∣2sin2(2Δ2+4∣g∣2t).
This derives resonance-enhanced transfer and its finite detuning width.
The full four-mode dynamics includes pump depletion; neither model alone
selects the persistent particle spectrum.
Counting mode tools — separates available frequency, excitation, and occupation.