I was curious about a physics question which I thought might be suitable for mathoverflow. I looked at the answer to this question, but it's not what I'm looking for.

Basically, classical mechanics and the $\hbar \to 0$ limit of quantum mechanics study the action of the same algebra on very different representations. I'm curious whether there is a good physical explanation for why as you degenerate to the $\hbar \to 0$ limit the algebra of observables degenerates to the same Poisson algebra appearing in classical mechanics, but the relevant representation changes significantly. Specifically, (non-relativistically) classical systems have evolution $\frac{d}{dt} \rho = \{H, \rho\}$ and quantum systems have evolution $\frac{d}{dt}\psi = [H, \psi]$ (up to some constants). So far these look analogous, but in classical mechanics, the density function $\rho$ is itself a function on the phase space (i.e. a vector of the regular representation), whereas in quantum mechanics, $\psi$ is a is just a function (or something) on the $x_i$ themselves - i.e. a vector of a representation of "square-root dimension" (half-dimensional singular support)!

My guess is that this is a many-particle phenomenon, and a fully honest answer to "why do we observe classical mechanics" will probably involve a serious study of deconherence and questions of "what is observation", etc.

But I'm curious if there is a heuristic way to see why the algebra that's acting is the same (and in what way the representation is allowed to change: e.g., is there some embedding of the regular representation in a tensor product of irreducible ones?)

  • 1
    So classical mechanics and the limit of quantum mechanics study action of the same Poisson algebra on different representations. My question is whether it is possible to motivate why the same algebra is acting using some (potentially more general) family of physical examples. – Dmitry Vaintrob Dec 11 '15 at 6:40
  • 1
    I still don't understand what would or wouldn't qualify as an answer to this question. There's a certain point of view on this business (explained, for example, at qchu.wordpress.com/2012/08/18/noncommutative-probability) which takes the representation as noncanonical and hence of secondary importance, and places primary importance on the pair of an algebra of observables and an expectation operator on it. Here nothing is lost or gained in the $\hbar \to 0$ limit; the Weyl algebra becomes the polynomial algebra and so forth. Do you know all this already or what? – Qiaochu Yuan Dec 11 '15 at 6:44
  • 2
    I am also not clear what you're asking. Naively, I'd think that you're looking for the phase space formulation of quantum mechanics, which was developed independently in the 1940s by Moyal and Groenewold. In particular, Moyal showed that one may formulate quantum mechanics via Wigner Quasiprobability Distributions, which are just functions on phase space. However, decoherence is still a bit subtle in this framework, so I'm not sure if that would answer your question. – Logan M Dec 11 '15 at 6:58
  • 5
    (a) It's not clear to me whether you are using $\psi$ to denote the wave function $|\psi\rangle$, or the pure state $|\psi\rangle \langle \psi|$; it is the latter (or more generally, mixed states) which are the analogues to the classical phase space density function. (b) The mathematical formalism you may be looking for is that of semiclassical analysis, see e.g. math.berkeley.edu/~evans/semiclassical.pdf , which shows that the dynamics of quantum mechanics on high frequency states behaves classically to top order. – Terry Tao Dec 11 '15 at 8:34
  • 2
    You may find the Wikipedia article on density matrices, en.wikipedia.org/wiki/Density_matrix , to be helpful (and they explicitly mention the analogy with phase space probability distribution functions in the introduction). See also my blog post terrytao.wordpress.com/2009/11/26/… comparing classical and quantum mechanics for N-particle systems. – Terry Tao Dec 11 '15 at 20:54
up vote 31 down vote accepted

It is perhaps helpful to distinguish between four types of mechanics here:

  1. Pure-state classical mechanics. Here, the mechanics are classical, and the system is described by a single point $(q,p)$ in phase space. This point evolves via Hamilton's equations of motion $\partial_t q = \frac{\partial H}{\partial p}; \partial_t p = - \frac{\partial H}{\partial q}$.
  2. Mixed-state classical mechanics. Here, the mechanics are classical, and the system is described by a probability density function $\rho(q,p)$ on phase space (this density may be a generalised function, e.g. a Dirac delta, rather than a classical function). This density function evolves via the advection equation $\partial_t \rho = \partial_p ( \rho \partial_q H ) - \partial_q (\rho \partial_p H ) = \{H,\rho\}$.
  3. Pure-state quantum mechanics. Here, the mechanics are quantum, and the system is described by a wave function $|\psi\rangle$ in a Hilbert space. This wave function evolves via Schrödinger's equation of motion $\partial_t |\psi \rangle = \frac{1}{i\hbar} H |\psi\rangle$.
  4. Mixed-state quantum mechanics. Here, the mechanics are quantum, and the system is described by a density matrix $\rho$ (a positive semi-definite trace one operator on a Hilbert space). This density matrix evolves by the von Neumann evolution equation $\partial_t \rho = \frac{1}{i\hbar} [H,\rho]$.

In both the classical and quantum regimes, a mixed state can be viewed as a convex (or classical) superposition of pure states (with a pure classical state $(q,p)$ identified with the Dirac probability density function $\delta_{(q,p)}$, and a pure quantum state $|\psi \rangle$ identified with a pure density matrix $|\psi \rangle \langle \psi|$). So in principle the pure-state mechanics describes the mixed-state mechanics completely (albeit with the caveat that in the quantum case, in contrast to the classical case, the decomposition of a mixed state as a superposition of pure states is non-unique). However, the correspondence principle is clearest to see at the mixed state level, i.e. to compare 2. with 4. in the semiclassical limit $\hbar \to 0$, rather than comparing 1. with 3.. Indeed, any density matrix $\rho$ has a Wigner transform $\tilde \rho$, which is a function on phase space defined via duality as $\int \tilde \rho(q,p) A(q,p)\ dq dp = \hbox{tr}( \rho \hbox{Op}(A) )$ for any classical observable $A$, where $\hbox{Op}(A)$ is the (Weyl) quantisation of $A$ (i.e. the Wigner transform is the adjoint of the quantisation operator). This Wigner transform $\tilde \rho$ will usually not be non-negative, and hence will not be a classical probability density function, but in semiclassical regimes it is often the case that $\tilde \rho$ will tend (in a suitable weak sense) to a classical probability density when $\hbar \to 0$, which will then evolve by the classical advection equation. This is the dual to the assertion that the quantum Heisenberg equation $\partial_t A = \frac{i}{\hbar} [H,A]$ for the evolution of quantum observables converges to the classical Poisson equation $\partial_t A = -\{ H,A\}$ for the evolution of classical observables in the semiclassical limit $\hbar \to 0$.

There is still a correspondence at the level of 1. and 3., but it is a bit trickier to see; one has to restrict to things like "gaussian beam" type solutions $|\psi \rangle$ to the Schrödinger equation that are well localised in both position and momentum space, in order to get a classical limit that is a pure state rather than a mixed state. (An arbitrary wave function would instead get a "phase space portrait" which in the semiclassical limit becomes [assuming some equicontinuity and tightness, and possibly after passing to a subsequence, as noted in comments] a mixed state from 2., rather than a pure state from 1.).

 

  • 2
    It may be worth adding that (at least for separable classical phase spaces) every probability measure of 2. can be constructed as the limit of a suitable sequence of $\hbar$-dependent quantum states from 4. On the other hand, for any $\hbar$-dependent family of regular quantum states (with a suitable equicontinuity property) there is at least one associated classical state. Non-regular quantum states should be "non-classical", for they have, in general, a discontinuous Fourier transform in the limit $\hbar\to 0$. – yuggib Jan 7 '16 at 11:30
  • 1
    Here is something which took me a long time to see, and might help others: A wave function (Terry's option 3) is a function on $\mathbb{R}$ -- think of it as a vector with entries indexed by $\mathbb{R}$. A density function (Terry's 4) is a operator on wave functions, so think of it as a matrix whose rows and columns are indexed by $\mathbb{R}$. That makes it plausible that the classical version should be a function on $\mathbb{R}^2$ (Terry's 2). – David E Speyer Jan 7 '16 at 18:48
  • 1
    I just discovered this blogpost on Wigner transforms, which I like very much: blog.jessriedel.com/2014/04/01/… – David E Speyer Jan 7 '16 at 18:51
  • The problem with this model is that superpositions of states last forever, since quantum mechanics is a linear theory, but in the classical world we don't see superpositions of macroscopic states. The cure for this problem could be decoherence theory (already mentioned in the question). – jjcale Jan 11 '16 at 22:28
  • 1
    Well, in any of the above four models of mechanics, the macroscopic observers will never "see" any superpositions directly; they are only visible from a "God's eye perspective" external to the mechanics. An analogy is with probability theory: one can model the universe probabilistically, but an observer within the universe can never actually "see" any random variables or probability distributions, as such observers only can access one of the multiple outcomes in the sample space. The distributions are only visible externally (or approximately visible by empirical sampling). – Terry Tao Jan 11 '16 at 22:55

I thought it might be nice to couple Terry Tao's great general answer by showing we can write down an explicit limit to the classical case for the simple harmonic oscillator. These solutions are an example of "coherent states". I learned this from an old blog post by John Baez which I can't find right now; Wikipedia has a less helpful exposition.

We work with an oscillator of frequency $\omega$, so the potential energy is $(1/2) m \omega^2 x^2$ and Shrodinger's equation is $$i \hbar \frac{\partial}{\partial t} \psi = - \frac{\hbar^2}{2 m} \frac{\partial^2}{(\partial x)^2} \psi + \frac{m \omega^2}{2} x^2 \psi.$$

As usual, it is convenient to define $$a = \sqrt{\frac{m \omega}{2 \hbar}}\left(x+\frac{\hbar}{m \omega} \frac{\partial}{\partial x} \right) \quad \mbox{annihilation}$$ $$a^{\dagger} = \sqrt{\frac{m \omega}{2 \hbar}}\left(x-\frac{\hbar}{m \omega} \frac{\partial}{\partial x} \right) \quad \mbox{creation}.$$

The lowest energy state is the kernel of $a$, namely $\psi_0 := \exp(-m \omega x^2/(2 \hbar))$; it gives rise to the solution $e^{i \omega t/2} \psi_0$. Then $\frac{1}{\sqrt{n!}} (a^{\dagger})^n \psi_0$ is the $n$-th energy state, so $e^{i (n+1/2) \omega t} (a^{\dagger})^n \psi_0$ is the $n$-th solution to the time dependent equation (up to normalization). I prefer to rewrite this as $(e^{i \omega t} a^{\dagger})^n (e^{i \omega t/2} \psi_0)$.

If $F(z)=\sum f_n z^n$ is any power series then, at least formally, $F(e^{i \omega t} a^{\dagger})(e^{i \omega t/2} \psi_0)$ is a solution of Schroedinger's equation, since it is a linear combination of the pure energy states above.

In particular, take $F(z) = \exp(C z)$ for some scalar $C$. So $$\exp\left( C e^{i \omega t} \sqrt{\frac{m \omega}{2 \hbar}}\left(x-\frac{\hbar}{m \omega} \frac{\partial}{\partial x} \right) \right) (e^{i \omega t/2} \psi_0)$$ solve Schrodinger's equation. We reduce clutter by setting $C\sqrt{\frac{\hbar}{2 m \omega}}=R$; the constant $R$ has units of distance. So our solution is $$\exp\left( e^{i \omega t} \left(\frac{R m \omega}{\hbar} x-R \frac{\partial}{\partial x} \right) \right) (e^{i \omega t/2} \psi_0)$$

Now, the commutator of $\tfrac{R m \omega}{\hbar} x$ and $R \tfrac{\partial}{\partial x}$ is $\tfrac{m R^2 \omega}{\hbar}$, which commutes with both $x$ and $\partial/\partial x$. So, by Baker-Cambell-Hausdorff (and discarding some global constants) we can rewrite $(\ast)$ as $$\exp(e^{2 i\omega t} \tfrac{m R^2 \omega}{\hbar}) \exp(e^{i \omega t}\tfrac{R m \omega}{\hbar} x ) \exp\left( -e^{i \omega t} R \frac{\partial}{\partial x} \right) (e^{i \omega t/2} \psi_0).$$

The exponential of differentiation is translation, so this is $$\exp(e^{2 i\omega t} \tfrac{m R^2 \omega}{\hbar}) \exp(e^{i \omega t}\tfrac{R m \omega}{\hbar} x ) (e^{i \omega t/2} \psi_0(x-R e^{i \omega t})).$$

One can then do a bunch of work translating each formula into its real and complex part, which I omit. At the end of the day, one get's a solution to Schrodinger's equation which roughly looks like $$e^{i A(t)} \exp\left(\tfrac{m \omega}{\hbar} \left[-(x-R \cos(\omega t))^2/2 - i R \sin(\omega t) x \right] \right).$$ Here $A$ is a big messy function I am unwilling to work out.

This is the sort of gaussian beam solution Terry was talking about -- it is localized both in position and in Fourier space. In position space, it is a Gaussian centered at $x=R \cos (\omega t)$. As $\hbar \to 0$ (with $R$ fixed), the Gaussian becomes tighter and tighter until, in the limit, it is a delta function at $R \cos (\omega t)$ -- the classical solution to the problem. Meanwhile, the momentum is a Gaussian centered at $-m R \omega \sin(\omega t)$. Again, as $\hbar \to 0$, the Gaussian becomes a delta function at $-m R \omega \sin(\omega t)$ -- the classical solution. (Of course, you could ignore all the discussion about $a$ and $a^{\dagger}$ and just directly check that this solves Schrodinger's equation. If you do, please let me know what constants I left out!)

If one tries to take the $\hbar \to 0$ limit of some simpler solutions like the pure energy states, they bunch up at the origin while spreading out over all of momentum space. You need a moderately complicated solution like this to get both limits to make sense.

I will close by noting a heuristic way to think about $\exp(C a^{\dagger})$. The coefficient of the $n$-th energy state is $C^n/\sqrt{n!}$ (putting in the correct normalization constant.) So, if we observe the energy of this particle, we have probability proportional to $C^{2n}/n!$ of getting the answer $(n+1/2) \hbar \omega$. In other words, the energy of this particle is a Poisson random variable with expected value $C^2 \hbar \omega+\hbar \omega/2$. Plugging in for $C^2$, this is $m R^2 \omega^2/2+\hbar \omega/2$. The $m R^2 \omega^2/2$ term is the energy of the classical solution. So this solution may be thought of as the best attempt to mimic an energy of $m R^2 \omega^2/2$ when we only have access to the discrete levels $n \hbar \omega$.

  • I am positive that I have not found all the signs and twos that I dropped yet. If, for some reason, you need the exact formulas, check them before using! – David E Speyer Jan 7 '16 at 20:40
  • 1
    The coherent states (or, as the physicists call them, squeezed coherent states) are the states of minimal uncertainty. I.e. they satisfy the Heisenberg principle with the equality sign. It is therefore not surprising that these states correspond to point measures in the phase space, and their evolution to classical trajectories. – yuggib Jan 9 '16 at 10:05
  • And you can of course take the limit of pure energy states (of the harmonic oscillator). If you do not act smartly on the scaling, however, you get the delta probability measure concentrated on the phase space origin. The reason is, heuristically, that the $\hbar$-dependent energy of each state goes to zero in the limit, and the only classical state with zero energy is the one concentrated at the origin. – yuggib Jan 9 '16 at 10:14
  • If you modify the scaling to consider a $\hbar$-dependent family of energy states such that when $\hbar$ goes to zero, the energy level $n$ goes to infinity, in a way such that $n/\hbar$ is constant, then you get an interesting type of classical state in the limit. It is the probability measure $\mu=\int_0^{2\pi} \delta_{e^{i\theta}\alpha} \frac{d\theta}{2\pi}$; where $\delta_{e^{i\theta}\alpha}$ is the point measure in $\mathbb{C}$, concentrated on $e^{i\theta}\alpha$ and $\alpha\in\mathbb{C}$. – yuggib Jan 9 '16 at 10:21
  • Here the classical phase space $\mathbb{R}^2$ has been identified with $\mathbb{C}$, as it is natural when considering the creation/annihilation operators $a$, $a^\dagger$. A point $\alpha\in\mathbb{C}$ has to be considered as the "classical counterpart" of $a$, and $\bar{\alpha}$ as the counterpart of $a^\dagger$. – yuggib Jan 9 '16 at 10:23

I interpret your question as a query into a mathematical formulation of quantum decoherence, which is the process by which a partial trace of the quantum mechanical density operator $\hat\rho$ reduces to the classical phase space function $\rho$.

A simple case where this process can be analyzed in much mathematical detail is described in Decoherence in a Two-Particle Model (2001): We consider a simple one dimensional quantum system consisting of a heavy and a light particle interacting via a point interaction. The initial state is chosen to be a product state, with the heavy particle described by a coherent superposition of two spatially separated wave packets with opposite momentum and the light particle localized in the region between the two wave packets. We characterize the asymptotic dynamics of the system in the limit of small mass ratio, with an explicit control of the error. We derive the corresponding reduced density matrix for the heavy particle and explicitly compute the (partial) decoherence effect for the heavy particle induced by the presence of the light one for a particular set up of the parameters.

For the algebraic aspects, see An Algebraic Formulation of Quantum Decoherence: An algebraic formalism for quantum decoherence in systems with continuous evolution spectrum is introduced. A certain subalgebra, dense in the characteristic algebra of the system, is defined in such a way that Riemann-Lebesgue theorem can be used to explain decoherence in a well defined final pointer basis.

There exists an interesting operatorial (Hilbert space) approach to classical mechanics pionereed by Koopman and von Neumann: http://arxiv.org/abs/quant-ph/0301172 (Topics in Koopman-von Neumann Theory, by D. Mauro). Within this formalism (or, more precisely, in its functional integral version), quantization is mysteriously associated to the freezing to zero of two Grassmannian partners of time: http://arxiv.org/abs/quant-ph/0308101 (Time and Geometric Quantization, by A.A. Abrikosov Jr, E. Gozzi and D. Mauro).

Your Answer

 
discard

By clicking "Post Your Answer", you acknowledge that you have read our updated terms of service, privacy policy and cookie policy, and that your continued use of the website is subject to these policies.

Not the answer you're looking for? Browse other questions tagged or ask your own question.