Four distinct field modes

In frequency units with canonical equation ia˙j=∂H/∂aj∗i\dot a_j=\partial H/\partial a_j^*, choose

H=∑j=14ωj∣aj∣2+κa1∗a2∗a3a4+kappa∗a1a2a3∗a4∗. H=\sum_{j=1}^4\omega_j|a_j|^2+ \kappa a_1^*a_2^*a_3a_4+kappa^*a_1a_2a_3^*a_4^*.

For example ia˙1=ω1a1+κa2∗a3a4i\dot a_1=\omega_1a_1+\kappa a_2^*a_3a_4 and ia˙3=ω3a3+κ∗a1a2a4∗i\dot a_3=\omega_3a_3+\kappa^*a_1a_2a_4^*; exchange 1↔21\leftrightarrow2 and 3↔43\leftrightarrow4 for the other two equations. The positions of the complex conjugates are essential to reciprocity.

Let Ij=∣aj∣2I_j=|a_j|^2 and Z=κa1∗a2∗a3a4Z=\kappa a_1^*a_2^*a_3a_4. Direct differentiation gives

I˙1=I˙2=2Im⁡Z,I˙3=I˙4=−2Im⁡Z. \dot I_1=\dot I_2=2\operatorname{Im}Z, \qquad \dot I_3=\dot I_4=-2\operatorname{Im}Z.

Every charge Qc=∑cjIjQ_c=\sum c_jI_j with c1+c2=c3+c4c_1+c_2=c_3+c_4 is conserved. These include total norm, I1−I2I_1-I_2, and I3−I4I_3-I_4. 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ωjta_j=b_je^{-i\omega_jt} makes the first interaction proportional to eiΔte^{i\Delta t} with

Δ=ω1+ω2−ω3−ω4. \Delta=\omega_1+\omega_2-\omega_3-\omega_4.

A label equality n1+n2=n3+n4n_1+n_2=n_3+n_4 implies Δ=0\Delta=0 when all four frequencies follow the same affine law ωj=Anj+B\omega_j=An_j+B. It need not do so under a nonlinear count law or unequal sector scales. For example 1+4=2+31+4=2+3, while S(1,2)+S(4,2)=11S(1,2)+S(4,2)=11 and S(2,2)+S(3,2)=9S(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\int_0^t e^{i\Delta s}ds and is bounded by 2/∣Δ∣2/|\Delta| times that fixed forcing strength. This bound belongs to that approximation.

Exact exchange with undepleted pumps

For independently maintained pumps b2,b4b_2,b_4, the 1,31,3 subsystem obeys

ib˙1=geiΔtb3,ib˙3=g∗e−iΔtb1,g=κb2∗b4. i\dot b_1=g e^{i\Delta t}b_3,\qquad i\dot b_3=g^*e^{-i\Delta t}b_1,\qquad g=\kappa b_2^*b_4.

Set b1=c1eiΔt/2b_1=c_1e^{i\Delta t/2} and b3=c3e−iΔt/2b_3=c_3e^{-i\Delta t/2}. Then

iddt(c1c3)=(Δ/2gg∗−Δ/2)(c1c3). i\frac d{dt}\begin{pmatrix}c_1\\c_3\end{pmatrix} =\begin{pmatrix}\Delta/2&g\\g^*&-\Delta/2\end{pmatrix} \begin{pmatrix}c_1\\c_3\end{pmatrix}.

The matrix square is (∣g∣2+Δ2/4)I(|g|^2+\Delta^2/4)I. Starting with (c1,c3)=(0,1)(c_1,c_3)=(0,1),

∣c1(t)∣2=4∣g∣2Δ2+4∣g∣2sin⁡2(Δ2+4∣g∣22t). |c_1(t)|^2=\frac{4|g|^2}{\Delta^2+4|g|^2} \sin^2\left(\frac{\sqrt{\Delta^2+4|g|^2}}2t\right).

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.

resonance_profile_checks.py checks finite examples by quadrature, matrix evolution, and independent algebra.