Non-squeezing theorem explained

The non-squeezing theorem, also called Gromov's non-squeezing theorem, is one of the most important theorems in symplectic geometry.^[1] It was first proven in 1985 by Mikhail Gromov.^[2] The theorem states that one cannot embed a ball into a cylinder via a symplectic map unless the radius of the ball is less than or equal to the radius of the cylinder. The theorem is important because formerly very little was known about the geometry behind symplectic maps.One easy consequence of a transformation being symplectic is that it preserves volume.^[3] One can easily embed a ball of any radius into a cylinder of any other radius by a volume-preserving transformation: just picture squeezing the ball into the cylinder (hence, the name non-squeezing theorem). Thus, the non-squeezing theorem tells us that, although symplectic transformations are volume-preserving, it is much more restrictive for a transformation to be symplectic than it is to be volume-preserving.

Background and statement

Consider the symplectic spaces

R ^{2n} = \{z = (x _{1,} \ldots , x _{n,} y _{1,} \ldots , y _{n)} \}, B ^{2n} (r) = \{z \in R ^{2n} : \| z \| < r \}, Z ^{2n} (R) = \{z \in R ^{2n} : x ^{2} _{1} + y ^{2} _{1} < R ^{2} \}, each endowed with the symplectic form\omega = dx _{1} \wedge dy _{1} + … + dx _{n} \wedge dy _{n.} The space B ^{2n} (r) is called the ball of radius r and Z ^{2n} (R) is called the cylinder of radius R . The choice of axes for the cylinder are not arbitrary given the fixed symplectic form above; the circles of the cylinder each lie in a symplectic subspace of R ^{2n} .

If

(M, η ) and (N,\nu) are symplectic manifolds, a symplectic embedding \varphi : (M, η ) \to (N,\nu) is a smooth embedding \varphi : M \to N such that \varphi ^{*} \nu = η . For r \leq R , there is a symplectic embedding B ^{2n} (r) \to Z ^{2n} (R) which takes x \in B ^{2n} (r) \subset R ^{2n} to the same point x \in Z ^{2n} (R) \subset R ^{2n} .

Gromov's non-squeezing theorem says that if there is a symplectic embedding

\varphi : B ^{2n} (r) \to Z ^{2n} (R) , then r \leq R .

Symplectic capacities

A symplectic capacity is a map

c : \{ symplecticmanifolds \} \to [ 0 , inf ty] satisfying

1. (Monotonicity) If there is a symplectic embedding

(M, \omega) \to (N, η ) and \dim M = \dim N , then c(M,\omega) \leq c(N, η ) ,

1. (Conformality)

c(M, λ \omega) = λ c(M, \omega) ,

1. (Nontriviality)

c(B ^{2n} ( 1 )) > 0 and c(Z ^{2n} ( 1 )) < inf ty .

The existence of a symplectic capacity satisfying

c(B ^{2n} ( 1 )) = c(Z ^{2n} ( 1 )) = \pi is equivalent to Gromov's non-squeezing theorem. Given such a capacity, one can verify the non-squeezing theorem, and given the non-squeezing theorem, the Gromov widthw _{G(M,} \omega) = \sup \{ \pi r ^{2} : thereexistsasymplecticembedding B ^{2n} (r) \to (M,\omega) \} is such a capacity.

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:Similarly:

Further work

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:

\operatorname{var}(Q) \operatorname{var}(P) \geq \operatorname{cov} ^{2(Q,P)} + \left( (\hbar)/(2) \right) ^{2} with Q and P the canonical coordinates and var and cov the variance and covariance functions.^[5]

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

Notes and References

1. .
2. Pseudo holomorphic curves in symplectic manifolds. Inventiones Mathematicae. 1985. M. L. . Gromov. 82. 2 . 307 - 347. 10.1007/BF01388806. 1985InMat..82..307G. 4983969 .
3. Book: McDuff . Dusa . Salamon . Dietmar . 2017 . Introduction to Symplectic Topology . Oxford University Press . Oxford Graduate Texts in Mathematics.
4. Stewart, I.: The symplectic camel, Nature 329(6134), 17–18 (1987), . Cited after Maurice A. de Gosson: The Symplectic Camel and the Uncertainty Principle: The Tip of an Iceberg?, Foundations of Physics (2009) 39, pp. 194–214,, therein: p. 196
5. Maurice de Gosson: How classical is the quantum universe? arXiv:0808.2774v1 (submitted on 20 August 2008)