Quantum Blobs

Quantum blobs are the smallest phase space units of phase space compatible with the uncertainty principle of quantum mechanics and having the symplectic group as group of symmetries. Quantum blobs are in a bijective correspondence with the squeezed coherent states from standard quantum mechanics, of which they are a phase space picture. This allows us to propose a substitute for phase space in quantum mechanics. We study the relationship between quantum blobs with a certain class of level sets defined by Fermi for the purpose of representing geometrically quantum states.


Basil Hiley and Me
It is indeed an honour and a pleasure to Contribute to Basil Hiley's Festschrift. When I met Basil for the first time (it was in the late 90s, during my Swedish exile) I was immediately fascinated not only by his vision of quantum mechanics and its philosophy, but also by the man himself; I was immediately charmed by his utterly unassuming and gentlemanly manners together with his British humour. Basil patiently explained to me the subtleties of the causal interpretation of quantum mechanics and of the Implicate Order; our conversations were invariably accompanied by a cup of strong Assam tea, his favourite beverage (during daytime, that is; later at night we occasionally replaced the cup of tea by a glass of a beverage known in France as Pastis). Of course, I already had read a lot about the causal interpretation of quantum mechanics, but my knowledge and understanding of this theory was merely on an abstract mathematical level. Thanks to Basil's pedagogical skills Physics now entered the scene and helped me to understand some of the deep implications of the causal interpretation. However, Basil also was a patient and empathetic listener, always eager to hear about new developments in mathematics (Basil is not only a brilliant physicist, he also has an excellent taste for mathematics). When I explained to him my ideas on the uncertainty principle and introduced him to the "symplectic camel" and "quantum blobs", he immediately became very enthusiastic and encouraged me to pursue the approach I had initiated in some recent papers. He was even kind enough to honour me by writing a foreword to my book [6] where I explained some of these ideas. Therefore I could do no less than to write this modest contribution to the "Hiley Festschrift" as a tribute to my friend Basil for his Helsinki birthday party!

Contents
In this paper I establish a fundamental correspondence of a geometric nature between the squeezed coherent states familiar from quantum optics, and quantum blobs. The latter are related the principle of the symplectic camel, which is a deep topological property of canonical transformations, and allow a "coarse graining" of phase space in units which are symplectic deformations of phase space balls with radius √ . This paper is structured as follows. I begin by reviewing in Sect. 1 the main definitions and properties of squeezed coherent states; in Sect. 2 I introduce the notion of quantum blob which we discuss from a purely geometric point of view. In Sect. 3 the fundamental correspondence between squeezed coherent states and quantum blobs is established; this correspondence which is denoted by G is bijective (that is one-to-one and onto); its definition is made possible using the theory of the Wigner transform of Gaussian functions. In Sect. 4 I prove the fundamental statistical property of quantum blobs: they are a geometric picture of minimum uncertainty. Finally, in Sect. 5, I shortly discuss the relationship between quantum blobs and a certain level set introduced in 1930 by Enrico Fermi and which seems to have been almost unnoticed in the Scientific literature. The paper ends with some conjectures and a discussion of related topics I plan to develop in further work.

Squeezed Coherent States
For details and complements see the seminal paper by Littlejohn [26]; Folland [18] also contains valuable information.
The archetypical example is that of the fiducial (or standard, or vacuum) coherent state where the factor (π ) −n/4 is introduced in order to ensure normalization. It was first systematically used by Schrödinger in 1926. The notation (x) = x|0 is also widely used in quantum mechanics. It represents the ground state of the isotropic harmonic oscillator; alternatively it is an eigenstate of the annihilation operator with eigenvalue zero. More generally one wants to consider Gaussians of the type where X and Y are real symmetric n × n matrices, X positive definite; we have X,Y L 2 = 1. The Gaussian (2) is called a squeezed (or generalized) coherent state. We can still go one step further and define the shifted squeezed coherent state where T (z 0 ) is the Heisenberg-Weyl operator: if is a function on configuration space R n x then We will write from now on The important thing is that squeezed coherent states are naturally obtained from the fiducial state (1) by letting metaplectic operators act on it. Let us explain this property shortly; for details see for instance de Gosson [11]. The symplectic group Sp(2n, R) has a covering group of order two, the metaplectic group Mp(2n, R). That group consists of unitary operators (the metaplectic operators) acting on L 2 (R n ). There are several equivalent ways to describe the metaplectic operators. For our purposes the most tractable is the following: assume that S ∈ Sp(2n, R) has the blockmatrix form The condition det B = 0 is not very restrictive, because one shows (de Gosson [6,11]) that every S ∈ Sp(2n, R) can be written (non uniquely however) as the product of two symplectic matrices of the type above; moreover the symplectic matrices arising as Jacobian matrices of Hamiltonian flows determined by physical Hamiltonians of the type "kinetic energy plus potential" are of this type for almost every time t. To the matrix (6) we associate the following quantities: defined on the double configuration space R n x × R n x ; the matrices DB −1 and B −1 A are symmetric because S is symplectic (W (x, x ) is often called "Hamilton's characteristic function" Goldstein [19]) in mechanics, or "eikonal" in optics; it is closely related to the notion of action de Gosson [6,11]); The two metaplectic operators associated to S are then given by The fact that we have two possible choices for the Maslov index shows that the metaplectic operators occur in pairs ± S; this of course is just a reflection of the fact that Mp(2n, R) is a two-fold covering group of Sp(2n, R).
The action of Mp(2n, R) on squeezed coherent states is given by the following result: Proof See Folland [18], Littlejohn [26].
This important result motivates the following definition: We will come back to this action in a moment and give a geometric picture of it in terms of phase space ellipsoids.
An important property of Proposition 1 above is that CS(n, R) is preserved by Hamiltonian flows arising from quadratic Hamiltonian functions, i.e. Hamiltonians of the general type where R is a real symmetric matrix. When H is of the physical type "kinetic energy plus potential" this amounts considering potentials which are quadratic forms 1 2 x · x in the position variables (generalized harmonic oscillator): For Hamiltonians of the type (10) the flow determined by the Hamilton equationṡ consists of linear canonical transformations (Arnol'd [1], Goldstein [19], de Gosson [11]). In fact, rewriting these equations in the formż = J Xz with X = −J R the explicit solution is given by z t = (x t , p t ) = e tX z 0 . The matrix X belongs to the symplectic Lie algebra sp(2n, R) (because XJ + J X T = 0, see Folland [18] or de Gosson [6,11]) hence the matrices S t = e tX are symplectic. For instance, for the generalized harmonic oscillator (11) the Hamilton equations areẋ = p/m andṗ = − x and we have X = 0 1/m − 0 . It follows from the theory of the metaplectic group that together with the theory of covering spaces (see e.g. Folland [18], de Gosson [11]) that to the path t −→ S t = e tX of symplectic matrices corresponds a unique path t −→ S t of metaplectic operators such that S 0 is the identity. The remarkable fact is that this family of operators S t is just precisely the quantum flow determined by Schrödinger's equation where H (x, −i ∇ x ) is the (Weyl) quantization of the quadratic Hamiltonian (10); for instance when H has the physical type (11) this equation is just the usual equation Thus the solution of (13) is given by the simple formula In particular, if the initial wavefunction 0 (x) is a coherent state M 0 ,z 0 Proposition 1 shows that the solution (x, t) is explicitly given by One proves (see for instance Nazaikiinskii et al. [27]) that • The phase γ (t), is the symmetrized action integral

Quantum Blobs
Quantum blobs are minimum uncertainty units which are measured using not volume, but rather symplectic capacity, which has the properties of an area-that is of action! Besides the fact that they allow a geometric description of the uncertainty principle [7][8][9][10][11] (of which the reader will find a precise description in next subsection), we are going to see that they are intimately related to the notion of squeezed coherent states, of which it can be considered as a phase space geometric picture. By definition, a quantum blob is a subset QB 2n = QB 2n (z 0 , S) of R 2n z which can be deformed into the phase space ball B 2n ( √ ) : |z| ≤ using only translations and linear canonical transformations S ∈ Sp(2n, R). Equivalently, QB 2n is an ellipsoid obtained from B 2n ( √ ) by an affine symplectic transformation. More precisely: One shows (de Gosson [11], de Gosson and Luef [15]) that a quantum blob QB 2n (z 0 , S) is characterized by the two following equivalent properties: • The intersection of the ellipsoid QB 2n (z 0 , S) with a plane passing through z 0 and parallel to any of the plane of canonically conjugate coordinates x j , p j in R 2n z is an ellipse with area π( √ ) 2 = 1 2 h; that area is called the symplectic capacity of the quantum blob QB 2n (z 0 , S) (we will discuss more in detail this notion in a moment); • The supremum of the set of all numbers πR 2 such that the ball B 2n ( √ R) : |z| ≤ R can be embedded into QB 2n (z 0 , S) using canonical transformations (linear, or not) is π( √ ) 2 . Hence no phase space ball with radius R > √ can be "squeezed" inside QB 2n (z 0 , S) using only canonical transformations (Gromov's non-squeezing theorem [20], alias the principle of the symplectic camel).
It turns out (de Gosson [11]) that in the first of these conditions one can replace the plane of conjugate coordinates with any symplectic plane (a symplectic plane is a two-dimensional subspace of R 2n z on which the restriction of the symplectic form σ is again a symplectic form).
Clearly there is a natural action of symplectic matrices on quantum blobs: Conversely: Proof As a consequence of the symplectic polar decomposition theorem (see e.g. de The symplectic matrix S defining a given quantum blob is not unique; one shows (see de Gosson [11]) that QB 2n (z 0 , S) = QB 2n (z 0 , S ) if and only if S = SU where U is a symplectic rotation, i.e. an element of the subgroup U(n) = Sp(2n, R) ∩ O(2n, R) of the symplectic group. This property reflects the invariance of phase space balls centered at the origin under rotations. A consequence of this fact is that we have the following topological identification (de Gosson [10]): Thus, if we view QB(2n, R) as a "quantum phase space" its topological dimension n(n + 3) is much larger than that, 2n, of the classical phase space, even when n = 1 (in the latter case dim QB(2, R) = 3, which is easily understood as follows: one need one parameter to specify the centre of the quantum blob (which is here an ellipse with area h/2), one to specify one of the principal axes, and another to describe the angle of a principal axe with, say, the x-axis. A similar interpretation applies in higher dimensions.
Let us briefly compare quantum blobs to the usual quantum cells from statistical mechanics. A quantum cell is typically a phase space cube with volume ( √ h) 2n = h. The first obvious remark is that these cells do not have any symmetry under general symplectic transformations; while such a transformation preserves volume, a cube will in general be distorted into a multidimensional polyhedron. But what is more striking is the comparison of volumes. Since a quantum blob is obtained from the ball B 2n ( √ ) by a volume-preserving transformation its volume is given by Vol QB 2n (z 0 , S) = h n n!2 n and is hence n!2 n smaller than that of a quantum cell. For instance, in the case of the physical three-dimensional configuration space this leads to a factor of 48. In the case of a macroscopic system with n = 10 23 this fact becomes unimaginably large. This is in strong contrast with the fact that the orthogonal projection of a quantum blob on any plane x j , p j of conjugate coordinates (or, more generally, on any symplectic plane) is an ellipse with area equal to π = h/2.

The Correspondence G
Recall that the Wigner transform of a pure state is given by where the star * denotes complex conjugation.
The Wigner transform of the fiducial coherent state is given by More generally [11,26] the Wigner transform of the squeezed coherent state M = X,Y is given by the formula: where G is the real 2n × 2n matrix Notice that G does not contain the parameter . It turns out that G is both positive definite and symplectic; in fact G = S T S where The same analysis applies to M,z 0 (z 0 ). Letting the translation operator T (z 0 ) : z −→ z + z 0 act on functions on phase space by the rule T (z 0 )f (z) = f (z − z 0 ) and its quantum variant, the Heisenberg-Weyl operator (26) we have the translational property and hence, in particular Let us now state and prove the following essential correspondence result which identifies squeezed coherent states with quantum blobs:

Proposition 5 There is a bijective correspondence
between squeezed coherent states and quantum blobs. That correspondence is defined as follows: if where the symplectic matrix S is given by formula (25) above.
Proof While the definition of the correspondence G is straightforward, it is not immediately clear why it should be bijective. Let us first show that it is one-to-one.
We must then have G = G and z 0 = z 0 so that W M,z 0 (z) = W M ,z 0 (z); since the Wigner transform of a function determines uniquely determines up to a unimodular factor we have M ,z 0 = e i γ M,z 0 for some real phase γ . Let us next show that G is onto; this will at the same time yield a procedure for calculating the inverse of G. Assume that QB 2n (0, S −1 ) = S −1 B 2n ( √ ) is a quantum blob centered at the origin. One can factorize the matrix S −1 as follows ("pre-Iwasawa factorization"; cf. [11], Sect. 2.2, Corollary 2.30): where the symmetric matrix L is given by is symmetric positive definite, with A + iB ∈ U(n, C). The matrix A −B B A is thus a symplectic rotation and, as such, leaves any ball centered at the origin invariant. Setting X 1/2 = L and Y = X 1/2 Q it follows that we have the quantum blob QB 2n (0, S −1 ) is thus represented by Gz · z ≤ where G = S T S is of the type (24); define now M = X,Y by assigning to X and Y the values L 2 and X 1/2 Q found above. The argument generalizes in a straightforward way to quantum blobs with arbitrary centre.
In view of the correspondence between squeezed coherent states and quantum blobs, we can give a phase space picture of formula (16) for the time evolution of a squeezed coherent state when the Hamiltonian function is quadratic. Let us study this deformation in some detail.
We claim that an initial quantum blob becomes after time t a new quantum blob which is just its image by the classical flow S t : Proposition 6 After time t the initial quantum blob QB 2n (z 0 , S 0 ) becomes the quantum blob

Thus, the quantum motion of squeezed coherent states induces the classical motion for the corresponding quantum blob.
Proof At initial time we are in presence of an initial quantum blob QB 2n (z 0 , S), set of all phase space points z such that of the solution (z, t) of Schrödinger's equation (13). Using formula (15)) together with the symplectic covariance of the Wigner transform (de Gosson [11]) we have that is, in view of formula (23) giving the Wigner transform of M 0 ,z 0 : It follows that the initial quantum blob has become the ellipsoid defined by which proves our claim.

Statistical Interpretation of G
We begin by recalling the notion of symplectic capacity, which was already mentioned briefly in the beginning of this paper after the definition of quantum blobs. See Hofer-Zehnder [25], Polterovich [29], or de Gosson [12] and de Gosson and Luef [15] for a review of this notion from point of view easily accessible to physicists. A symplectic capacity on phase space R 2n z assigns to every subset of R 2n z a number c( ) ≥ 0, or +∞. This assignment must obey the following rules: (SC2) If f is a canonical transformation then c(f ( )) = c( ); (SC3) If λ is a real number then c(λ ) = λ 2 c( ); here λ is the set of all points λz when z ∈ ; (SC4) We have c(B 2n (R)) = πR 2 = c(Z 2n j (R)); here B 2n (R) is the ball |x| 2 + |p| 2 ≤ R 2 and Z 2n j (R) the cylinder x 2 j + p 2 j ≤ R 2 . There exist infinitely many symplectic capacities, however the construction of any of them is notoriously difficult (the fact that symplectic capacities exist is actually equivalent to Gromov's non-squeezing theorem [20]). However they all agree on phase space ellipsoids. In fact: for every symplectic capacity c; here λ max is the largest symplectic eigenvalue of M.
The proof of this result is based on a symplectic diagonalisation of M; see de Gosson [11], Hofer-Zehnder [25], Polterovich [29], and the references therein. Recall that the symplectic eigenvalues of M are defined as follows: the eigenvalues of the matrix J M are of the type ±iλ j with λ j > 0; the sequence (λ 1 , . . . , λ n ) is then the symplectic spectrum of M and the λ j the symplectic eigenvalues.
The smallest symplectic capacity is denoted by c min ("Gromov width"): by definition c min ( ) is the supremum of all numbers πR 2 such that there exists a canonical transformation such that f (B 2n (R)) ⊂ . The fact that c min really is a symplectic capacity follows from Gromov's [20] symplectic non-squeezing theorem. For a discussion of Gromov's theorem (and comments) from the physicist's point of view see de Gosson [12], de Gosson and Luef [15].
Let now K be an arbitrary real symmetric positive-definite matrix of order 2n and define the normalized phase space Gaussian When K = G ∈ Sp(2n, R) the Gaussian W K (z) is the Wigner transform of some squeezed coherent state. Following Littlejohn [26] we define a matrix by the relation hence W K (z) takes the familiar form suggesting to interpret as the covariance matrix of a normal probability distribution centered at the origin. We will write in block form where each block has dimension n × n and (P , X) = (X, P ) T ; we use the notation The essential observation we make is: implies the Robertson-Schrödinger inequalities for 1 ≤ j ≤ n hence, in particular, the Heisenberg uncertainty relations x j p j ≥ 1 2 .
The proof of this important result is given in de Gosson [10][11][12] (also see de Gosson and Luef [15]). It is based on the following fact, well-known in the quantum optics community: the condition implies the Robertson-Schrödinger inequalities (37) (but it is not equivalent to it: see de Gosson [12] for a counterexample). Some algebra together with a formula giving the symplectic capacity of an ellipsoid, then shows that conditions (38) and (36) are equivalent. Notice that the matrix + i 2 J is always Hermitian since ( + i 2 J ) * = − i 2 J T and J T = −J . We mention that symplectic capacities can be used as well for the study of the more general uncertainty principle related to non-commutative quantum mechanics as we have shown in de Gosson [13]. Suppose now that the covariances defined above correspond to some quantum state (pure or mixed). The Robertson-Schrödinger inequalities (37) are saturated (i.e. they become equalities) exactly when that state is a squeezed coherent state M where M = X + iY is determined via the Wigner transform of M (cf. (35)) For instance if M is the fiducial coherent state all the covariances vanish and the inequalities (37) reduce to x j p j = 1 2 for 1 ≤ j ≤ n.

Fermi's Function g F
In a largely forgotten paper from 1930 Fermi [17] associates to every quantum state a certain hypersurface g F (x, p) = 0. Fermi's paper has recently been rediscovered by Benenti and Strini [3] and Benenti [2]; in particular these authors give a heuristic comparison of the function g F and the Wigner transform W . Let us shortly study the relationship between Fermi's function and the notion of quantum blob. The starting point is Fermi's observation that the state of a quantum system may be defined in two different (but equivalent) ways, namely by its wavefunction or by measuring a certain physical quantity whose definition goes as follows. Writing the wavefunction in polar form (x) = R(x)e i (x)/ (R(x) ≥ 0 and (x) real) one verifies by a straightforward calculation that is a solution of the partial differential equation where Equation (39) seems at first sight to be ad hoc and somewhat mysterious. However much of the mystery disappears if one remarks that it is obtained by the gauge transform p −→ p − ∇ x from the trivial equation satisfied by the amplitude R. Consider now the Weyl symbol of the operator g F ; it is the real function When ∇ 2 x R/R < 0 the equation g F (x, p) = 0 determines a hypersurface H F in phase space R 2n z which Fermi ultimately identifies with the state itself. Let us examine the relation between Fermi's Ansatz and the notion of quantum blob we have introduced in this paper. Let M = X,Y be the squeezed coherent state defined by (2); we have in this case (x) = − 1 2 Y x · x and R(x) = e −Xx·x/2 hence Fermi's function is given by where Tr X is the trace of the matrix X (note that Tr X > 0 since X is positive definite). The corresponding hypersurface H F is thus the phase space set Recall now that the Wigner transform of M is the function W M (z) = (π ) −n e − 1 Gz·z where (formulas (24) and (25)) and S is the symplectic matrix An immediate calculation shows that the matrices M F and G are related by the formula Let us consider the "Fermi ellipsoid" W F : M F z · z ≤ bounded by the hypersurface H F .

Proposition 9 (i) There exist symplectic coordinates in which the Fermi ellipsoid
where λ 1 , . . . , λ n are the eigenvalues of X; (ii) We have where λ max is the largest eigenvalue of M F and Proof (i) In view of (47) the inequality M F z · z ≤ is equivalent to X 0 0 X u · u ≤ Tr X with u = Sz. Let U be a rotation in R n diagonalising X, that is X = U T DU with D = diag(λ 1 , . . . , λ n ). Setting v = U 0 0 U u the inequality M F z · z ≤ is now equivalent to (49) and one concludes by noting that the matrix R = U 0 0 U is in U(n) (i.e. R is a symplectic rotation). (ii) Since symplectic capacities are invariant by symplectic transformations, it suffices to prove formula (50) when W F is given by (48) or by (49). In view of Proposition 7 we have c(W F ) =π /λ max and the equality in (50) follows noting that the symplectic spectrum of X consists of precisely the eigenvalues of X. The double inequality (51) is obvious since λ max ≤ Tr X ≤ nh/2.
In view of the double inequality (51) Fermi ellipsoids are not in general quantum blobs (except for n = 1). However each of these ellipsoids contains a quantum blob centered at the origin. To see this it suffices to show that the ellipsoid defined by (49) contains the ball B 2n ( √ ) (because the image of a quantum blob by a linear symplectic transformation is again a quantum blob).
since λ j / Tr X ≤ 1 hence our claim. Let us discuss the results above on a few simple examples. For the fiducial coherent state (x) = (π ) −n/4 e −|x| 2 /2 we have X = I and Y = 0 hence the Fermi ellipsoid W F is the disk |x| 2 + |p| 2 ≤ n whose symplectic capacity is nπ = nh/2. The operator (40) is here and the relation g F = 0 is hence equivalent to which simply states the well-known fact that is an eigenvector of the harmonic oscillator Hamiltonian H = 1 2 (− 2 ∇ 2 x + |x| 2 ) corresponding to the first energy level E 0 = 1 2 n . One easily verifies that if is the tensor product of n copies of the (unnormalised) Hermite functions xe −x 2 /2 then the equation g F = 0 is equivalent to The argument may be repeated, and one finds that the Fermi equation (39) corresponding to a Hermite function, is always equivalent to the eigenstate equation for the harmonic oscillator corresponding to that function. The discussion above can be generalised, using metaplectic covariance properties, to the case of quantum states of operators corresponding to arbitrary Hamiltonians H = 1 2 Mz · z where M is symmetric positive definite (generalised harmonic oscillator). It is certainly worthwhile studying what happens in more general cases where the quantum states are no longer Gaussians; a first step in this direction has been taken by Benenti [2].

Concluding Remarks and Perspectives
Using the correspondence G defined in Sect. 4 we have sees that quantum blobs exactly correspond to those quantum states which have minimum uncertainty in the sense of Robertson-Schrödinger. This justifies our claim that quantum blobs represent the smallest regions of phase space which make sense from a quantummechanical perspective. In fact, contrarily to what is often believed the Heisenberg inequalities and their stronger version, the Robertson-Schrödinger inequalities (37), are not a statement about the accuracy of our measurement instruments; their derivation assumes on the contrary perfect instruments. The correct interpretation of these inequalities is the following (see e.g. Peres [28], p. 93): if the same preparation procedure is repeated a large number of times, and is followed by either by a measurement of x j , or by a measurement of p j , the results obtained have standard deviations x j and p j satisfying these inequalities. Such a process thus makes clear the impossibility of talking about points in phase space having some intrinsic meaning (cf. Butterfield's paper [5] refuting "pointillisme"). We note that in [16] Dragoman uses the partition of phase space in quantum blobs to propose a new formulation of quantum mechanics, based on the following postulates: Axiom 10 It is not possible to localize a quantum particle in a phase space regions smaller that a quantum blob.

Axiom 11
The phase space extent of a quantum particle is smaller than a quantum blob.
These postulates and their implications for quantum physics certainly deserve to be discussed further.
In a recent paper [14] Hiley and I study a version of the quantum Zeno paradox for the Bohm trajectory of a sharply located particle modelled by a Dirac distribution. We showed in this paper that such a recorded quantum trajectory (in, for instance, a bubble chamber) is just the classical trajectory predicted by standard Hamiltonian mechanics. It would be both very interesting and realistic to study this kind of quantum Zeno effect by replacing the point-like particle by a squeezed coherent state, that is, equivalently, by a quantum blob. A good starting point could be Hiley [21] where the relationship between the Wigner-Moyal and Bohm approaches is elucidated; also the connections with the ideas of Hiley and collaborators in [22][23][24] could be useful here. We have seen in Proposition 6 that a quantum blob evolves classically under the action of the linear Hamiltonian flow determined by a quadratic Hamiltonian. Of course quadratic Hamiltonians are of a very particular type; the result above remains approximately valid for arbitrary physical Hamiltonians, and this with an excellent approximation during generically very large times (Ehrenfest time, as it is called in the theory of quantum revivals). This observation could allow us to prove, using the correspondence G, the following conjecture considerably extending the results in de Gosson and Hiley [14]:

Conjecture 12
When we continuously observe the motion of a quantum blob we see its classical Hamiltonian motion; i.e. an initial quantum blob QB 2n will be transformed in the set f H t (QB 2n ) after time t; here f H t is the classical Hamilton flow (Arnol'd [1], Goldstein [19]).
In Sect. 6 we briefly discussed some elementary properties of the Fermi function g F and of the associated Fermi ellipsoid W F . The discussion was actually limited to Gaussian states. We make the following conjecture:

Conjecture 13
Let be a quantum state for which the Fermi equation g F (x, p) defines a hypersurface in phase space bounding a compact set F . Then there exists a symplectic capacity c such that c( F ) ≥ 1 2 h and F contains a quantum blob.
The observant Reader will perhaps have noticed that the equation g F (x, p) = 0 for a system of particles with mass m can be rewritten 1 2m (p − ∇ x ) 2 + Q = 0 if one introduces the quantum potential ∇ 2 x R R familiar from the Bohmian approach top quantum mechanics (see Bohm and Hiley [4]). There thus seems to be a deep connection between this theory and the phase space approach which certainly deserves to be elucidated and extended. I am sure that Basil will be excited by these possibilities, and I look forward writing new papers with him about the truly fascinating topic of quantum phase space! Happy birthday, Basil!