Quantish Physics: A Discrete Model of Quantum Physics

In the book Good and Real, author Gary Drescher, who received his PhD from MIT’s AI lab, defends the view that determinism is a consistent and coherent view of the world.   In doing so, he enters many different arenas: ethics, decision theory, and physics.

In his chapter on quantum mechanics, he defends the “many-worlds” interpretation (although he doesn’t think the term accurately describes the concept) versus the Copenhagen interpretation.  In the process of doing so, he does something I thought was extraordinary:  he comes up with a simple model of quantum mechanics in which all of the standard concepts you read about: the two-slit experiment, the Heisenberg uncertainty principle, etc., are represented.  This model requires no prerequisites from physics and actually uses almost totally discrete mathematics!

(Edit: I somehow missed this when originally writing this post, but Drescher also outlines quantish physics in an online paper.)

I’ll sketch it below.

The first step is to define the “classical” version of our physics, which we will then tweak to get the quantum version.  The “topology” of our universe will be given by a finite directed graph (V,E) where each vertex has three edges coming in, and three edges going out.  There is given a bijection f\colon E\to E such that if edge e is directed in to vertex v, edge f(e) is directed out of vertex v.  Given this bijection, you can think of each edge as actually a piece of a wire: a directed loop in the graph.  Finally, we require that each edge is labeled either \mathrm{control}, \mathrm{switch}(1) or \mathrm{switch}(-1) so that each triple of in-edges to a given vertex gets a distinct label.

We can picture vertices like this:

The vertex is represented by the big box in the center.  We will always put the control edge at the top, and the two switch edges at the bottom.  Note that the edge f(e) need not have the same label as e.

Particles inhabit edges.  If P is the set of particles and E is the set of edges, then a point in E^P determines the position of each particle.  The set E^P is thus called (classical) configuration space.  Time in this universe is discrete; to describe how the system evolves, we just have to define the successor function S^c\colon E^P\to E^P which tells how the system progresses one time step (the c superscript stands for “classical”).

For any edge e and label l\in\{\mathrm{control},\mathrm{switch}(1),\mathrm{switch}(-1)\}, we let \mathrm{edge}(e,l) be the edge with same destination vertex as e and with label l.

For a configuration s\in E^P and edge e, we let \mathrm{has\_particle}(s,e) = 1 if edge e does not have a particle in configuration s, and we let it be -1 if it does.

Now we define S as follows: For every edge e labeled \mathrm{control}, S(e) = f(e).  For every edge e labeled \mathrm{switch(i)},

\displaystyle{S(e) = f(\mathrm{edge}(e,\mathrm{switch}(i\cdot\mathrm{has\_particle}(\mathrm{edge}(e,\mathrm{control}))))}

In other words, particles on a control edge always go straight along whatever loop they are on.  However, particles on a switch edge may or may not cross over to the loop of the other switch edge, depending on whether or not there is a particle on the control edge (hence the names).

For example, this configuration:

turns into this configuration:

and this configuration:

turns into this configuration:

Now for the “quantum” variation, which Drescher calls quantish physics.  In this case, each particle now has a sign (+/-) attached to it.  Furthermore, each vertex v has an angle v_\theta associated with it, called v‘s measurement angle.  The classical configuration space was E^P; the quantum configuration space Q will be the set of all formal linear combinations \sum_i z_i s_i of states s_i \in E^P.  Given a state \sum_i z_i s_i, the number |z_i|^2 / \sum_j |z_j|^2 can reasonably be interpreted as the probability of being in state s_i (see Drescher for more comment on this).

The task now is to describe the successor function S^q\colon Q\to Q describing how the universe evolves through time. First some preliminary definitions:

Given a nonzero complex number z, an angle \theta, and i\in\{-1,1\}, let \mathrm{split}(\theta,z,i) be the component of z which is parallel to \arg(z) + \theta if i = 1 and the component of z which is perpendicular to \arg(z) + \theta if i = -1.

Note that \sum_{i\in\{-1,1\}}\mathrm{split}(\theta,z,i) = z and, due to the Pythagorean theorem, \sum_{i\in\{-1,1\}}|\mathrm{split}(\theta,z,i)|^2 = |z|^2.

If, furthermore, j\in\{-1,1\}, let \mathrm{split}(\theta,z,i,j) be the component of \mathrm{split}(\theta,z,i) which is parallel to z (note: z, not \theta as above) if j = 1 and perpendicular to z if j = -1.

As above \sum_{i,j\in\{-1,1\}}\mathrm{split}(\theta,z,i,j) = w, and \sum_{i,j\in\{-1,1\}}|\mathrm{split}(\theta,z,i,j)|^2 = |w|^2.  Similarly, \sum_{j\in\{-1,1\}}\mathrm{split}(\theta,z,i,j) = \mathrm{split}(\theta,z,i) and \sum_{j\in\{-1,1\}}|\mathrm{split}(\theta,z,i,j)|^2 = |\mathrm{split}(\theta,z,i)|^2.

Finally, note that for a given \theta, i and j, the split function is simply multiplication by a complex number independent of z (and similarly for the two-argument split function).

First off, S^q is \mathbb{C}-linear; it therefore suffices to define S^q(s) for classical configurations s\in E^P.

If a particle is on edge e labeled \mathrm{control}, it always passes straight through to f(e).

If a particle is on a switch edge, the successor state will be the sum of (up to) 4 non-zero classical configurations corresponding to whether or not it stays on its loop or crosses over to the loop of the other switch edge, and whether or not it changes sign.  Let s(i,j) for i,j\in\{-1,1\} denote the classical state where the particle stays on its own loop iff i = 1 and the particle keeps the same sign iff j = 1.  Then the weight given to s(i,j) is \mathrm{split}(v_\theta,1,ij,j) (the ij is not a typo).  The use of 1 is just because we are assuming that we are starting from a pure classical configuration; if it’s a classical configuration time a weight z, the 1 would be replaced with z.

When there are n particles in the classical configuration s, each is split separately; S^q(s) may be the sum of up to 4^n classical configurations.  Since the splitting is simply multiplication by a complex number, it doesn’t matter in what order the splittings are performed.

I’ll now briefly describe some quantum phenomena which can be interpreted in the quantish world.  For much more insight, meaning, and many more examples, please see Drescher’s book!

The Two-Slit Experiment

Suppose we have the following configuration:

where the measurement angles of v_0 and v_1 are equal and oblique to the measurement angle of v_2, and the sign of the particle is positive.  Then, it is always the case that after three timesteps, the particle is in the middle rightmost edge (i.e., S^q applied three times to the initial state yields the linear combination consisting of the sum of the single classical state where the particle is in the middle rightmost edge).  It is never in the bottom rightmost edge.

However, if we remove one of the ways the particle can get to the bottom edge:

now the particle arrives at the bottom rightmost edge with positive probability (i.e., nonzero weight).  (The ellipsis simply means that this edge goes somewhere else; we don’t care what happens there.)  This is because of destructive interference in the first case, which was removed in the second.

Suppose we try to investigate what’s going on, and observe if the particle is on one particular edge:

What’s going on here?  Well first of all, the way we observe things is by, e.g., having the particles we want to observe interact with particles in our eye.  In this example, we’ll take the red particle at the bottom to be a particle “in our eye” and observe the blue particle by having it interact with the red.  Second of all, there are various “delay” gates throughout (at the bottom left, the delay gate is explicit, at the top, two wires are labeled “delay”, which means that they pass through a delay gate, although I haven’t drawn it).  These aren’t really significant; they’re just to synchronize things.

Note that this gate has exactly the same behavior as our first setup, except that we are observing when the blue particle is on the bottom edge by having it interact with the red particle (and syncing things up).  However, the results are as in the second case: with nonzero probability, the red particle appears on the bottom rightmost edge!  The observation blocks the destructive interference of the first case.

Heisenberg Uncertainty

Say that a particle in a quantish state is definite with respect to a measurement angle \theta if passing it through a switch wire of a vertex with measurement angle \theta and no other particles entering the vertex will yield the particle always emerging on one specific edge.  Heisenberg uncertainty is represented in quantish physics by the fact that whenever a particle is definite with respect to some measurement angle \theta, it is always indefinite with respect to measurement angles oblique to \theta.

The Einstein-Podolsky-Rosen Experiment

Unfortunately, the diagrams for this setup are beyond my poor figure-making abilities.  However, I can substitute a poor description for poor figure-making.  It is possible to entangle two quantish particles by sending both of them through gates which have related measurement angles, then setting up two further gates through which a third particle is sent.  In the first of these gates, one of the switch wires from the first particle’s measurement is the control wire, and in the second of these gates, one of the switch wires from the second particle’s measurement is the control wire.  You then observe if the third particle emerges from the second of the two gates at the same place where it entered.

In that case, you can then measure the two particles both with respect to any fixed angle, and you will get the same results for both.  (Let me reiterate that this was a terrible description; see Drescher’s book for more).

7 thoughts on “Quantish Physics: A Discrete Model of Quantum Physics

  1. Interesting, thanks!

    I’ll need another read through to properly get it though, probably after I’ve had some more sleep sometime 😉

  2. This seems like a great basic model for tweaking to see how other rules could play out. In particular, I wonder if adding rules such that particles passing along an edge change the connections between vertices could result in gravity (as I’m struck by the similarity between these vertex connections and curvature of space). Similiarly, defining the Quantum State Space as the linear combination of classical states always strikes me as an unnecessarily large universe. Could a growing graph where vertices split give rise to similar phenomena? Could more edges between vertices and ‘packets’ of particles display the same behavior up to a certain distance out? Lots of interesting stuff to think on, thanks for sharing.

  3. To Paul and Jack: Glad you enjoyed it!

    To AlefSin: Looking at your link, it looks like Wolpert has disproved something like the existence of a prediction machine existing within the universe itself, but the kind of determinism that Drescher is defending does not require that.

  4. Does anyone know of a worked-out case of two particles entering the switch wires (in quantish version)? Drescher only mentions this in a paper but no examples are given and I’m not sure that I’m getting this correctly. Thanks

    1. fs: Wondered about this myself. But a footnote in the chapter in Drescher’s book “Good and Real” that explains quantish physics, says:

      “If a gate has particles at both switch-wire inputs, this formulation allows some successor states that have two particles at the same position. However, that does not occur in any of the examples here.”

      So apparently two particles can just occupy the same placeat the same time.

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s