Bohmian Indeterminism

David Bohm

David Bohm (Photo Credit)

Bohmian mechanics is not just an “interpretation” of quantum mechanics. It is a radical revision. In this note, I’d like to point out one reason that it’s an implausible revision: Bohmian mechanics is rampantly indeterministic in a way that quantum mechanics is not.

Setup: Review of Bohmian mechanics

In Bohmian mechanics, the locations of n particles are described by a point in a real manifold \mathcal{M}, called the configuration space. The trajectory of a system of particles is a curve t\mapsto x(t) through that manifold. The theory also includes a set of square-integrable functions on this space \psi:\mathcal{M}\rightarrow\CC called wavefunctions.

A physical system in Bohmian mechanics can be characterized by a configuration space \mathcal{M}, a wavefunction space \mathcal{H}, and also a self-adjoint linear operator H:\mathcal{H}\rightarrow\mathcal{H} called the Hamiltonian. This Hamiltonian generates a one-parameter group of wavefunctions \psi(t) that solves the Schrödinger equation,

    \[i\frac{d}{dt}\psi(t) = H\psi(t).\]

For a given Bohmian system (\mathcal{M},V,H), an initial condition is a pair (x,\psi), with x\in\mathcal{M} and \psi\in \mathcal{H}. The fundamental law of Bohmian mechanics then says that, given an initial (x,\psi), the trajectory of the system x(t) is a solution to the Bohmian Guidance Equation,

    \[\frac{dx}{dt} = \frac{1}{m}\cdot\mathrm{Im}\;\frac{\nabla\cdot \psi(t)}{\psi(t)},\]

where \psi(t) is the solution to the Schrödinger equation with initial condition \psi=\psi(0).

Rampant Bohmian indeterminism

Take as simple a Bohmian system (\mathcal{M},V,H) as you can imagine: a free particle confined to a finite space. It turns out that the Bohmian description is rampantly indeterministic.

Let the configuration space be \mathcal{M}=(-1,1), which describes the possible locations of a particle on a string of finite length. Let \mathcal{H} be the set of differentiable square integrable functions \psi:(-1,1)\rightarrow\CC. And let H=\frac{m}{2}P^2, the Hamiltonian for a particle free of any forces or interactions, and where P=i\frac{d}{dx}.

As a dirt-simple example of indeterminism, choose the initial condition x=0, and \psi(x) given by,

    \[ \psi(x) = e^{\frac{2m}{3}ix^{3/2}}. \]

This wavefunction is square integrable and differentiable. (Square-integrability follows from the fact that \int_{-1}^{1}\psi^*(x)\psi(x) dx = \int_{-1}^{1}dx = 2 <\infty, and differentiability is obvious.) But let’s calculate what the Guidance Equation looks like for this initial wavefunction. Since \nabla P^2 = \nabla(-\nabla^2) = P^2\nabla, the unitary propagator \UU_t=e^{-itP^2/2m} for our Hamiltonian satisfies \nabla \UU_t = \UU_t \nabla. Therefore,

    \[ \frac{dx}{dt} = \frac{1}{m}\mathrm{Im}\; \frac{\nabla\UU_t\psi(x)}{\UU_t\psi(x)} = \frac{1}{m}\mathrm{Im}\;\frac{\UU_t\nabla\psi(x)}{\UU_t \psi(x)} = \frac{1}{m}\mathrm{Im}\;\frac{imx^{1/2}\UU_t\psi(x)}{\UU_t\psi(x)} = x^{1/2}. \]

The differential equation dx/dt = x^{1/2} is well-known to be indeterministic, following a much-discussed example of John Norton (2008 / animated summary). But let me make it explicit: a Bohmian particle with this initial configuration is compatible with a continuum of future trajectories all satisfying the Guidance Equation. Namely,

    \[ x(t) = \begin{cases} (1/144)(t - T)^4 & \text{for $t\geq T$}\\ 0 & \text{for $t \leq T$.} \end{cases}\]

for any arbitrary time T. (We restrict our attention to times t during which the particle is in the interval (-1,1), namely (t-T)^4<1.) These solutions correspond to a Bohmian particle that sits at x=0 up until an arbitrary time T, when it randomly begins moving.

Not the dome

As a point of comparison, recall that many have complained about the “unphysical” features of the surface of Norton’s dome, such as the infinite Gaussian curvature at the apex (e.g. here and here). No such complaining need be tolerated in the case of Bohmian mechanics. There is no surface to complain about. There is only the wavefunction \psi(x), which is a perfectly boring, deterministic wavefunction from the perspective of orthodox quantum mechanics. In particular, it is the initial condition for a unique solution \psi(t)=e^{-itH}\psi to the Schrödinger equation, which is defined for all times t. It is only with the addition of the Bohmian Guidance Equation that a pathology occurs.

In order to avoid such pathologies, Bohmian mechanics must somehow excise this class of wavefunctions from the theory. But it’s not clear how to motivate this excision in a non-ad hoc way. And it’s even less clear whether it can be done in a way that avoids doing damage to the ordinary quantum dynamics.

2 thoughts on “Bohmian Indeterminism

  1. Jon Clark

    This page is full of illogical and erroneous information on Bohm’s incredible interpretation of the Quantum Theory:

    1) dx/dt=\sqrt{x} is not “indeterministic” – it’s just a differential equation. Differential equations by themselves say nothing about determinism; they may be chaotic but this one is in fact very simple to solve. You know that x(t) =t^2/4 is a solution which is physically real. The particle starts from rest and then accelerates. That random acceleration solution on the dome is unphysical: if the particle is placed at the very top it will never move. Just because a solution is allowed by the differential equation doesn’t mean it’s physically real.

    2) Even if what you said about your wave function ψ is correct, does that wave function correspond to a physically real Hamiltonian? What is the potential energy of this hypothetical system? You’ll find that the wave function you have given is impossible because it is not differentiable twice over [-1,1], what you claimed as the domain of integration. The second derivative of ψ is indeterminate at x=0. Every wave function must be differentiable twice in order for it to solve Schödinger’s equation, and the Guidance equation is a consequence of Bohm’s equations being derived from Schödinger’s equation and reproducing Jacobi’s equation, H(S)+dS/dt=0.

    In summary: Bohm’s interpretation is in fact deterministic and experimentally equivalent to standard Quantum theory, albeit while painting a radically different and actually sensible picture of the mysterious atomic world.

    1. Bryan Post author

      Hi Jon. On 1): “Indeterminism” is just a synonym to say that the DiffEQ has non-unique solutions for some initial data. I do agree that the dome is pathological, although just calling some solutions “not physical” isn’t quite precise enough for me; some of the precise pathologies are spelled out here.

      On 2): The QM Hamiltonian for my system here is just the free-particle Hamiltonian; see the second paragraph. There is no potential energy. My initial \psi is square-integrable, so it is a perfectly good quantum state in the Hilbert space. It evolves (in ordinary QM) as a simple free wave according to the equation \psi(t)=e^{-itH}\psi. It is an absolutely trivial and boring quantum system, unless you’re a Bohmian, in which case it is radically pathological.

      This is because wavefunctions don’t need to be twice-differential in QM, and in general they cannot all be when we say that the states form a Hilbert space. Schrödinger’s equation does not require any differentiability conditions when it is cast in its integral form \psi(t)=e^{-itH}\psi. The unitary operator U(t)=e^{-itH} is bounded, and therefore defined on the entire Hilbert space of states, even though the Hamiltonian (and thus the differential form of the equation) is not defined for all states.

      All of the problems here really do come directly from Bohmian mechanics. In ordinary QM, the system is perfectly non-pathological. I’m afraid I’m not as optimistic as you are about BM!

Leave a Reply

Your email address will not be published. Required fields are marked *

You can use standard LaTeX enclosed in dollar signs, e.g., $\sqrt{2}^2=2$ gets rendered as .
You can also use these HTML tags and attributes: <a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <cite> <code> <del datetime=""> <em> <i> <q cite=""> <strike> <strong>