A new paper of mine (PRA 93, 012107 (2016), arXiv:1507.04083) just came out. The main theorem of the paper is not deep, but I think it’s a clarifying result within a formalism that is deep: ideal quantum Brownian motion (QBM) in symplectic generality. In this blog post, I’ll refresh you on ideal QBM, quote my abstract, explain the main result, and then — going beyond the paper — show how it’s related to the Kolmogorov-Sinai entropy and the speed at which macroscopic wavefunctions branch.
Ideal QBM
If you Google around for “quantum Brownian motion”, you’ll come across a bunch of definitions that have quirky features, and aren’t obviously related to each other. This is a shame. As I explained in an earlier blog post, ideal QBM is the generalization of the harmonic oscillator to open quantum systems. If you think harmonic oscillator are important, and you think decoherence is important, then you should understand ideal QBM.
Harmonic oscillators are ubiquitous in the world because all smooth potentials look quadratic locally. Exhaustively understanding harmonic oscillators is very valuable because they are exactly solvable in addition to being ubiquitous. In an almost identical way, all quantum Markovian degrees of freedom look locally like ideal QBM, and their completely positive (CP) dynamics can be solved exactly.
To get true generality, both harmonic oscillators and ideal QBM should be expressed in manifestly symplectic covariant form. Just like for Lorentz covariance, a dynamical equation that exhibits manifest symplectic covariance takes the same form under linear symplectic transformations on phase space. At a microscopic level, all physics is symplectic covariant (and Lorentz covariant), so this better hold. In addition to the traditional (symmetric) harmonic oscillator, symplectic generality covers skew oscillators and unstable inverted “oscillators”. The reason a lot of different looking dynamics all get called QBM is because they are all special cases of a single ideal class, or slight modification thereto. Non-Markovian modifications, though very important, are idiosyncratic. Likewise, there are lots of ways to model friction in classical physics, but frictionless dynamics are key conceptual bedrock.
Ideal QBM dynamics of a single continuous degree of freedom is a time-indexed CP map parameterized by three objects:
-
, a 2×2 matrix describing the harmonic Hamiltonian flow
-
, a scalar quantifying the dissipation
-
, a 2×2 matrix describing the diffusion
Importantly, and
have their normal (macroscopic) classical interpretation. When
, ideal QBM reduces to harmonic motion. One way to parameterize
is
(1)
where is the mass,
is the oscillator frequency, and
is the skewa .
Abstract
Here it is:
See the appendix for a concise summary of the QBM formalism, and especially the symplectic index notation.
Explanation of result
For simplicity, assume , i.e., the dissipation is negligible. Let
be a point in phase space and
be a coherent state centered at
with covariance matrix
. (We suppress
in the notation.) Then there exists a characteristic length of time
and a characteristic covariance matrix
such that the ideal QBM dynamics can be be written down exactly as
(2)
where is the (harmonic) Hamiltonian evolutionb of the phase space point
in time
. In words: the environment performs a POVM measurement of the system in an overcomplete basis of wavepackets with covariance matrix
, then takes the result
, evolves it forward by a time
using the Hamiltonian flow described by
, and finally prepares the system in the corresponding wavepacket
.
This is an entanglement breaking channel, and gives a very specific and concrete sense in which the environment performs a complete measurement of the state of the system. (If , then
, which makes sense because unitary evolution isn’t entanglement breaking.)
KS entropy production
So what does this have to do with Kolmogorov-Sinai (KS) entropy?
As I have discussed before, there is good reason to think that the rate at which the wavefunction of macroscopic systems branch is given by the “local” KS entropy, by which we mean the sum of positive local Lyapunov exponentsc :
(3)
where the exponents are the eigenvalues of the linearized dynamics
, and give the rate at which local trajectories exponentially diverge in phase space. Recall that linearized Hamiltonian dynamics about any point in phase space has a set of eigenvalues which come in pairs
. Each
is either strictly real (unstable, locally hyperbolic trajectories) or strictly imaginary (stable, locally elliptical trajectories). For unstable degrees of freedom, the exponential divergence in one phase-space direction is balanced by an equally rapid convergence in the conjugate direction (in order to satisfy Liouville’s theorem).
We concentrate on the case of one unstable degree of degree of freedom, so the eigenvalues of are
with
(4)
where is the determinant. We now show that when the quantum dynamics of this unstable degree of freedom are almost unitary, then
(5)
where represents a factor of order unity. In other words, when
and
are both small (so that we expect to recover classical Hamiltonian dynamics for macroscopic degrees of freedom), the environment makes an entanglement breaking POVM measurement of the system at a rate consistent with the interpretation that the macroscopic wavefunction of the universe is branching with each measurement. (The small but finite size of the non-unitary dynamics is crucial for understanding how quantum mechanics yields an irreducibly stochastic version of classical mechanics in the anomalous
limit.)
To get Eq. (5), we take from the paper that is identified as the unique positive solution to
(6)
where
(7)
For sufficiently small and
, annoying algebra shows that
(8)
where is the rate at which unstable trajectories diverge. Since
, we have
for all relevant times
so solving Eq. (6) gives
(9)
The factor is tied up in my continued confusion about how to think about the branching of continuous degrees of freedom, and I won’t try to understand it here.
The basic idea that weakly open quantum systems generate entanglement entropy at a rate given by the KS entropy is deep and correspondingly well-trodden. (See References [6-21, 34-36] in Asplund and Berenstein (2015) and especially Zurek and Paz (1995).) All that’s new here is the discrete, entanglement-breaking nature of the environmental measurements.
Footnotes
(↵ returns to text)
- When
, the elliptical stable orbits of the (skewed) harmonic oscillator are tilted in phase space. When
, the potential forms an upside-down oscillator and exhibits hyperbolic unstable orbits.↵
- For general
, the evolution is
. This is classical dissipative flow, and therefore not strictly Hamiltonian.↵
- Note that
this is an entropy production rate, i.e., in units of bits/time.↵