Non-squeezing theorem

Last updated July 10, 2024

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

\mathbb {R} ^{2n}=\{z=(x_{1},\ldots ,x_{n},y_{1},\ldots ,y_{n})\},

B^{2n}(r)=\{z\in \mathbb {R} ^{2n}:\|z\|<r\},

Z^{2n}(R)=\{z\in \mathbb {R} ^{2n}:x_{1}^{2}+y_{1}^{2}<R^{2}\},

each endowed with the symplectic form

\omega =dx_{1}\wedge dy_{1}+\cdots +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 $\mathbb {R} ^{2n}$ .

If $(M,\eta )$ and $(N,\nu )$ are symplectic manifolds, a symplectic embedding ${\displaystyle \varphi$ is a smooth embedding $\varphi :M\to N$ such that $\varphi ^{*}\nu =\eta$ . For $r\leq R$ , there is a symplectic embedding $B^{2n}(r)\to Z^{2n}(R)$ which takes $x\in B^{2n}(r)\subset \mathbb {R} ^{2n}$ to the same point $x\in Z^{2n}(R)\subset \mathbb {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$ .^[3]

Symplectic capacities

A symplectic capacity is a map $c:\{{\text{symplectic manifolds}}\}\to [0,\infty ]$ satisfying

(Monotonicity) If there is a symplectic embedding $(M,\omega )\to (N,\eta )$ and $\dim M=\dim N$ , then $c(M,\omega )\leq c(N,\eta )$ ,
(Conformality) $c(M,\lambda \omega )=\lambda c(M,\omega )$ ,
(Nontriviality) $c(B^{2n}(1))>0$ and $c(Z^{2n}(1))<\infty$ .^[3]

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 width

w_{G}(M,\omega )=\sup\{\pi r^{2}:{\text{there exists a symplectic embedding }}B^{2n}(r)\to (M,\omega )\}

is such a capacity.^[3]

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 $x_{j}$ , $p_{j}$ 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]

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({\frac {\hbar }{2}}\right)^{2}

with Q and P the canonical coordinates and var and cov the variance and covariance functions.^[7]

Related Research Articles

In differential geometry, a subject of mathematics, a symplectic manifold is a smooth manifold, $, equipped with a closed nondegenerate differential 2-form, called the symplectic form. The study of symplectic manifolds is called symplectic geometry or symplectic topology. Symplectic manifolds arise naturally in abstract formulations of classical mechanics and analytical mechanics as the cotangent bundles of manifolds. For example, in the Hamiltonian formulation of classical mechanics, which provides one of the major motivations for the field, the set of all possible configurations of a system is modeled as a manifold, and this manifold's cotangent bundle describes the phase space of the system.$

In mathematics, a symplectic matrix is a $matrix with real entries that satisfies the condition$

In mathematics, a symplectic vector space is a vector space $over a field equipped with a symplectic bilinear form.$

<span class="mw-page-title-main">Symplectic geometry</span> Branch of differential geometry and differential topology

Symplectic geometry is a branch of differential geometry and differential topology that studies symplectic manifolds; that is, differentiable manifolds equipped with a closed, nondegenerate 2-form. Symplectic geometry has its origins in the Hamiltonian formulation of classical mechanics where the phase space of certain classical systems takes on the structure of a symplectic manifold.

In mathematics and classical mechanics, the Poisson bracket is an important binary operation in Hamiltonian mechanics, playing a central role in Hamilton's equations of motion, which govern the time evolution of a Hamiltonian dynamical system. The Poisson bracket also distinguishes a certain class of coordinate transformations, called canonical transformations, which map canonical coordinate systems into canonical coordinate systems. A "canonical coordinate system" consists of canonical position and momentum variables that satisfy canonical Poisson bracket relations. The set of possible canonical transformations is always very rich. For instance, it is often possible to choose the Hamiltonian itself $as one of the new canonical momentum coordinates.$

In mathematics, in particular in algebraic topology, differential geometry and algebraic geometry, the Chern classes are characteristic classes associated with complex vector bundles. They have since become fundamental concepts in many branches of mathematics and physics, such as string theory, Chern–Simons theory, knot theory, Gromov–Witten invariants. Chern classes were introduced by Shiing-Shen Chern.

In differential geometry, a field in mathematics, Darboux's theorem is a theorem providing a normal form for special classes of differential 1-forms, partially generalizing the Frobenius integration theorem. It is named after Jean Gaston Darboux who established it as the solution of the Pfaff problem.

In mathematics, a complex structure on a real vector space $is an automorphism of that squares to the minus identity, . Such a structure on allows one to define multiplication by complex scalars in a canonical fashion so as to regard as a complex vector space.$

In mathematics, a volume form or top-dimensional form is a differential form of degree equal to the differentiable manifold dimension. Thus on a manifold $of dimension, a volume form is an -form. It is an element of the space of sections of the line bundle, denoted as . A manifold admits a nowhere-vanishing volume form if and only if it is orientable. An orientable manifold has infinitely many volume forms, since multiplying a volume form by a nowhere-vanishing real valued function yields another volume form. On non-orientable manifolds, one may instead define the weaker notion of a density.$

In mathematics, specifically in topology and geometry, a pseudoholomorphic curve is a smooth map from a Riemann surface into an almost complex manifold that satisfies the Cauchy–Riemann equation. Introduced in 1985 by Mikhail Gromov, pseudoholomorphic curves have since revolutionized the study of symplectic manifolds. In particular, they lead to the Gromov–Witten invariants and Floer homology, and play a prominent role in string theory.

In mathematics, specifically in symplectic topology and algebraic geometry, one can construct the moduli space of stable maps, satisfying specified conditions, from Riemann surfaces into a given symplectic manifold. This moduli space is the essence of the Gromov–Witten invariants, which find application in enumerative geometry and type IIA string theory. The idea of stable map was proposed by Maxim Kontsevich around 1992 and published in Kontsevich (1995).

In mathematics, the Lagrangian Grassmannian is the smooth manifold of Lagrangian subspaces of a real symplectic vector space V. Its dimension is 1/2n(n + 1) (where the dimension of V is 2n). It may be identified with the homogeneous space

In mathematics, in particular in algebraic topology, the Hopf invariant is a homotopy invariant of certain maps between n-spheres.

In mathematics, specifically in symplectic geometry, the symplectic sum is a geometric modification on symplectic manifolds, which glues two given manifolds into a single new one. It is a symplectic version of connected summation along a submanifold, often called a fiber sum.

In the field of mathematics known as differential geometry, a generalized complex structure is a property of a differential manifold that includes as special cases a complex structure and a symplectic structure. Generalized complex structures were introduced by Nigel Hitchin in 2002 and further developed by his students Marco Gualtieri and Gil Cavalcanti.

<span class="mw-page-title-main">Classical group</span>

In mathematics, the classical groups are defined as the special linear groups over the reals $, the complex numbers and the quaternions together with special automorphism groups of symmetric or skew-symmetric bilinear forms and Hermitian or skew-Hermitian sesquilinear forms defined on real, complex and quaternionic finite-dimensional vector spaces. Of these, the complex classical Lie groups are four infinite families of Lie groups that together with the exceptional groups exhaust the classification of simple Lie groups. The compact classical groups are compact real forms of the complex classical groups. The finite analogues of the classical groups are the classical groups of Lie type . The term "classical group" was coined by Hermann Weyl, it being the title of his 1939 monograph The Classical Groups .$

In complex geometry, the term positive form refers to several classes of real differential forms of Hodge type (p, p).

In mathematics, a Fedosov manifold is a symplectic manifold with a compatible torsion-free connection, that is, a triple (M, ω, ∇), where (M, ω) is a symplectic manifold (that is, $is a symplectic form, a non-degenerate closed exterior 2-form, on a -manifold M), and \nabla is a symplectic torsion-free connection on (A connection \nabla is called compatible or symplectic if X \cdot ω(Y,Z) = ω(\nabla X Y, Z) + ω(Y,\nabla X Z) for all vector fields X,Y,Z \in Γ(T M). In other words, the symplectic form is parallel with respect to the connection, i.e., its covariant derivative vanishes.) Note that every symplectic manifold admits a symplectic torsion-free connection. Cover the manifold with Darboux charts and on each chart define a connection \nabla with Christoffel symbol . Then choose a partition of unity (subordinate to the cover) and glue the local connections together to a global connection which still preserves the symplectic form. The famous result of Boris Vasilievich Fedosov gives a canonical deformation quantization of a Fedosov manifold.$

In dynamical systems theory, the Liouville–Arnold theorem states that if, in a Hamiltonian dynamical system with n degrees of freedom, there are also n independent, Poisson commuting first integrals of motion, and the energy level set is compact, then there exists a canonical transformation to action-angle coordinates in which the transformed Hamiltonian is dependent only upon the action coordinates and the angle coordinates evolve linearly in time. Thus the equations of motion for the system can be solved in quadratures if the level simultaneous set conditions can be separated. The theorem is named after Joseph Liouville and Vladimir Arnold.

The Arnold conjecture, named after mathematician Vladimir Arnold, is a mathematical conjecture in the field of symplectic geometry, a branch of differential geometry.

References

↑ Tao, Terence (2006), Nonlinear Dispersive Equations: Local and Global Analysis, CBMS Regional Conference Series in Mathematics, vol. 106, American Mathematical Society, p. 219, ISBN 9780821889503, MR 2233925, This theorem is especially surprising in light of Darboux' theorem ... It is a result of fundamental importance in symplectic geometry.
↑ Gromov, M. L. (1985). "Pseudo holomorphic curves in symplectic manifolds". Inventiones Mathematicae. 82 (2): 307–347. Bibcode:1985InMat..82..307G. doi:10.1007/BF01388806. S2CID 4983969.
1 2 3 4 McDuff, Dusa; Salamon, Dietmar (2017). Introduction to Symplectic Topology. Oxford Graduate Texts in Mathematics. Oxford University Press.
↑ Stewart, I.: The symplectic camel, Nature 329(6134), 17–18 (1987), doi : 10.1038/329017a0. 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, doi : 10.1007/s10701-009-9272-2, therein: p. 196
↑ Maurice A. de Gosson: The Symplectic Camel and the Uncertainty Principle: The Tip of an Iceberg?, Foundations of Physics (2009) 39, pp. 194–214, doi:10.1007/s10701-009-9272-2, 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)