Băzăvan et al. report the first experimental demonstration of fourth-order nonlinear bosonic interactions (quadsqueezing) across any platform, and the first trisqueezing in an atomic system, using a single trapped strontium ion at Oxford's Clarendon Laboratory. The key insight is that two spin-dependent linear forces — individually straightforward to implement — can be combined to produce nonlinear interactions of arbitrary order, bypassing the unfavourable scaling that makes direct high-order interactions extremely weak.
The mechanism requires one condition: the spin components of the two forces must not commute, \([\hat{\sigma}_\alpha, \hat{\sigma}_{\alpha'}] \neq 0\). When they do commute, no nonlinear interaction is generated — the squeezing parameter goes to zero. When they do not commute, the interaction order \(n\) is selected entirely by the detuning ratio \(m = 1-n\): setting \(m = -1\) generates squeezing (\(n=2\)), \(m = -2\) generates trisqueezing (\(n=3\)), and \(m = -3\) generates quadsqueezing (\(n=4\)), all using the same two forces on the same hardware. The approach has no fundamental limit on interaction order, and the interaction strength can be made effectively linear in the Lamb-Dicke parameter \(\eta\) for all orders, enabling quadsqueezing more than 100 times faster than conventional methods.
The bilateral framework identifies two precise structural correspondences with the Băzăvan et al. result, each independently exact.
| Băzăvan et al. (Nature Physics, 2026) | Bilateral mesh framework |
|---|---|
| Non-commutativity as the source of the nonlinear interaction: \([\hat{\sigma}_\alpha, \hat{\sigma}_{\alpha'}] \neq 0\) is the necessary and sufficient condition for generating any squeezing order. When the forces commute, the squeezing parameter \(r = 0\) exactly (verified experimentally in Figure 2d of the paper) | The bilateral crossing is generated by non-commutativity between the egress and ingress faces: the imaginary unit \(i\) satisfies \(i^2 = -1\), not \(+1\), because the egress and ingress operations do not commute. If they commuted, the crossing would be trivial — no record would be written, no actualisation would occur. The non-commutativity \([\hat{\sigma}_\alpha, \hat{\sigma}_{\alpha'}] \neq 0\) in the experiment is the physical expression of \(i^2 = -1\) in the bilateral crossing: the source of all non-trivial content |
| Rung selection by detuning: the interaction order \(n\) is selected by setting \(m = 1-n\). The same two forces, the same hardware, the same ion — but adjusting a single parameter (the detuning ratio) selects which order of interaction is generated, with no fundamental upper limit on \(n\) | The bilateral prime ladder: observable scales cluster near prime-indexed rungs, and the shape operator \(\mathcal{S}(n)\) determines which rung dominates at each scale. The same bilateral mesh, with the same crossing structure, generates different order interactions at different rungs by adjusting the scale parameter \(n(\mu) = -\ln(\mu\sqrt{2}/v)\). The experiment's detuning \(m\) plays exactly the role of the rung index: it selects which term in the expansion of \((\hat{a}^\dagger + \hat{a})^n\) is resonantly enhanced |
The most striking feature of the Băzăvan et al. result — and the one that maps most directly onto the bilateral framework — is the sharpness of the non-commutativity condition. The paper shows experimentally (Figure 2d) that the squeezing parameter \(r\) varies as \(\sin(\Delta\phi)\), where \(\Delta\phi\) is the angle between the spin components of the two forces. At \(\Delta\phi = 0, \pi, 2\pi\) — where the forces commute — the squeezing is exactly zero. At \(\Delta\phi = \pi/2, 3\pi/2\) — maximum non-commutativity — the squeezing is maximised. The commutator \([\hat{\sigma}_\phi, \hat{\sigma}_{\phi+\Delta\phi}] \propto \sin(\Delta\phi)\hat{\sigma}_z\) is the complete description of the effect.
In bilateral terms, this is the sharpest possible experimental demonstration that non-commutativity is not a technical nuisance but the source of physical content. The bilateral framework identifies the imaginary unit \(i\) as the unit bilateral crossing precisely because \(i \cdot (-i) = 1\) but \(i^2 = -1\): the egress and ingress operations do not commute, and their non-commutativity generates the crossing record. The Băzăvan et al. experiment measures this principle directly: tune the non-commutativity to zero, and the effect vanishes; restore it, and the effect returns at maximum strength. No other parameter matters as much.
One reading of this result frames it as a "cascade of crossings" — squeezing as two crossings, trisqueezing as three, quadsqueezing as four. This intuition is correct in terms of order counting, but the physical mechanism in the paper is not a temporal sequence of crossings. The two spin-dependent forces are applied simultaneously, and the higher-order interaction emerges from the commutator structure of their combined Hamiltonian, not from a sequential cascade in time. The nested commutator structure for quadsqueezing, \([\hat{\sigma}_\alpha, [\hat{\sigma}_\alpha, [\hat{\sigma}_\alpha, \hat{\sigma}_{\alpha'}]]]\), is algebraic rather than temporal. The bilateral correspondence is structural — with the commutator algebra of the crossing — not with any temporal propagation of crossing events.
Key references. O. Băzăvan et al., "Squeezing, trisqueezing and quadsqueezing in a hybrid oscillator–spin system," Nature Physics (May 2026). DOI: 10.1038/s41567-026-03222-6. D. Low, "Infinity Zero: A Universal Synthesis of the Past, Present and Future," submitted to Foundations of Physics, April 2026 (ontologia.co.uk). D. Low, "Möbius Cascade: Topologically Sustained Weak-Collapse Computation," May 2026 (ontologia.co.uk). Computational verification: github.com/dunstanlow/bilateral-mesh.