Non-squeezing theorem
The non-squeezing theorem, also called Gromov's non-squeezing theorem, is one of the most important theorems in
One easy consequence of a transformation being symplectic is that it preserves
Background and statement
We start by considering the symplectic spaces
the ball of radius R:
and the cylinder of radius r:
each endowed with the
Note: The choice of axes for the cylinder are not arbitrary given the fixed symplectic form above; namely the circles of the cylinder each lie in a symplectic subspace of .
The non-squeezing theorem tells us that if we can find a symplectic embedding φ : B(R) → Z(r) then R ≤ r.
The “symplectic camel”
Gromov's non-squeezing theorem has also become known as the principle of the symplectic camel since Ian Stewart referred to it by alluding to the parable of the camel and the eye of a needle.[4] As Maurice A. de Gosson states:
Now, why do we refer to a symplectic camel in the title of this paper? This is because one can restate Gromov’s theorem in the following way: there is no way to deform a phase space ball using canonical transformations in such a way that we can make it pass through a hole in a plane of conjugate coordinates , if the area of that hole is smaller than that of the cross-section of that ball.
— Maurice A. de Gosson, The Symplectic Camel and the Uncertainty Principle: The Tip of an Iceberg?[5]
Similarly:
Intuitively, a volume in phase space cannot be stretched with respect to one particular symplectic plane more than its “symplectic width” allows. In other words, it is impossible to squeeze a symplectic camel into the eye of a needle, if the needle is small enough. This is a very powerful result, which is intimately tied to the Hamiltonian nature of the system, and is a completely different result than Liouville's theorem, which only interests the overall volume and does not pose any restriction on the shape.
— Andrea Censi, Symplectic camels and uncertainty analysis[6]
De Gosson has shown that the non-squeezing theorem is closely linked to the Robertson–Schrödinger–Heisenberg inequality, a generalization of the Heisenberg uncertainty relation. The Robertson–Schrödinger–Heisenberg inequality states that:
with Q and P the canonical coordinates and var and cov the variance and covariance functions.[7]
References
- MR 2233925,
This theorem is especially surprising in light of Darboux' theorem ... It is a result of fundamental importance in symplectic geometry
. - S2CID 4983969.
- ISBN 978-0-19-850451-1.
- , therein: p. 196
- , therein: p. 199
- ^ Andrea Censi: Symplectic camels and uncertainty analysis
- ^ Maurice de Gosson: How classical is the quantum universe? arXiv:0808.2774v1 (submitted on 20 August 2008)
Further reading
- Maurice A. de Gosson: The symplectic egg, arXiv:1208.5969v1, submitted on 29 August 2012 – includes a proof of a variant of the theorem for case of linear canonical transformations
- Dusa McDuff: What is symplectic geometry?, 2009