Sunday, July 12, 2020

Schrödinger's plates

The Schrödinger's plates image has been around since at least 2016, as here, but it's lately been having still another renaissance. Philip Ball, on Twitter, suggests that it's "Possibly the worst Schrödinger's cat analogy ever," but I think it has some merit as a way into seeing how classical physics can ask the same kinds of noncommutative questions as quantum physics asks. That's enough to make an unconstrained classical physics as good for constructing models as quantum physics.

Here it is:

Classical physics might perhaps ask just one question, such as "Do the plates break when you open the door?", but it can also ask a multitude of questions such as "Can the plates be saved?", or, with much more detail, "If with a few friends we make sure the door doesn't vibrate when we remove the adjacent pane of glass, how likely is it that we can save the plates?"

There is a continuum of such yes/no questions that can all be asked by a classical physicist, any of which can be turned into a question about likelihood. We can ask whether we can save the plates if we smash the adjacent plane of glass with a stone of a given size or shape, or we can ask how likely it is that we can save the plates if we use a glass cutter to cut holes of particular sizes and positions in one or more of the panes of glass.

One tricky part is that it looks like we can't run the experiment more than once, because it looks difficult to get the plates into that position many times to find out what approach works best. At the heart of statistical physics, however, is the act of creating very elaborate initial conditions, making as sure as we can that each time is as close to the same as we can engineer them to be, and seeing what happens when we ask different questions. So imagine that we set up the conditions in the Schrödinger's plates image over and over again as multiple trials and record the results of many different questions, each many, many times. In physics experiments there may be as many as millions of trials per second, each engineered to be as close as possible to every other.

Crucially, for each trial we can ask many yes/no questions, but very often we can ask only one and not another for any one trial: we can ask "Do the plates break if we open the door?" but we cannot for the same trial also ask "Do the plates break if we smash the adjacent pane of glass?" On the other hand, we can ask a multitude of questions jointly of the same trial: "Does more than one plate break?" is compatible with "Can we find any shards further than 3 meters away?" We can imagine a continuum of both incompatible and compatible questions even though we only actually ask a small number of them.

With many trials, we can ask the same question over and over and discover that for some fraction the answer is yes: we can call that fraction the observed likelihood. When we ask only slightly different questions of different sets of trials, we expect that the observed likelihood will also only change slightly, whether the different questions are compatible or incompatible. We can, incompatibly, use a glass cutter to cut holes of different particular sizes and positions in one of the panes of glass, which we would not expect to give different observed likelihoods if the two sets of holes differed only by a millimeter in size and hardly at all in position.

When we ask compatible questions, we can ask what the joint observed likelihood is for the answers to different questions: we can ask for the same trial both "Does more than one plate break?" and "Can we find any shards further than 3 meters away?" because they can be jointly observed. Crucially, there is no necessity for the observed likelihoods for incompatible questions to allow a joint observed likelihood for the answers to questions that are not and cannot be asked jointly: if we ask "Do the plates break if we open the door?" we cannot jointly ask "Do the plates break if we smash the adjacent pane of glass?" In incompatible cases, we can still assign numbers, which it is best not to call jointly observed likelihoods because (1) they are not jointly observed and (2) they may for the sake of consistency and continuity have to be not fractions between 0 and 1, but this mathematically natural but apparently strange behavior as much happens for classical mechanics as for quantum mechanics.

This is no more than to picture what happens in physics experiments, or indeed to reimagine Schrödinger's cat. One can invent many examples of this kind of thought experiment, and there have been academic papers on contextuality for decades (see "Specker’s parable of the overprotective seer: A road to contextuality, nonlocality and complementarity," for example). More such examples will not compel anybody to think about the relationship between classical and quantum mechanics any differently. The mathematics of An algebraic approach to Koopman classical mechanics (or, in Annals of Physics 2020), however, and the Hilbert space mathematics it allows us to construct, supports an idea that classical mechanics can be as capable as quantum mechanics for modeling any physical situation. Classical models are significantly different, but they are as capable. Understanding the relationship between classical mechanics and quantum mechanics frees us from the distraction of thinking they are so very different.

EDIT: I use Facebook rather extensively as a whiteboard. It's quite public, so the embarrassment of making a mistake can be great, but I tell myself that it's worth it because one remembers mistakes that one is embarrassed about. One never knows what flights of fancy or of folly some comment will lead to. In any case, a comment on a post on the Facebook Group Quantum Mechanics & Theoretical Physics led me to look more carefully for how the Schrödinger's cat thought experiment is like the Schrödinger's plates thought experiment:

"There is one thing that is the same, if we can open the box at a time of our own choosing. In that case, the probability that the cat is alive begins at 1, then the probability at some rate decreases. If we more want the cat to live, we should open the box more quickly. The measurement we make determines the probability of different results.

If we open the box at some early time, we cannot also open the box at some later time, without starting a new trial. Those are incompatible measurements. On the other hand, we can on the same trial measure whether the cat died and whether the cat died of panic and a heart attack or of failure of the lungs, ..., which are compatible measurements that can be jointly measured."

6 comments :

Bob000 said...

Yes. How can the plates be saved ? Give us a slution.

Unknown said...

beautifully written
easy to understand.
good points about repetition of scenario and statistics and sampling,
and
mutual exclusivity of logical proposition.
very good analogy of Clasical/Quantum duality using the plates.
and
excellent allusion to Alkcme as a very usable tool.

all round well written article.

Peter said...

Blushing, I am😀. "Unknown", you should be ashamed of yourself!

Anonymous said...

As I understand QM- non relativistic- classical & QM are in tangent/cotangent space and its dual space. respectively. The latter is the
representation space of all admissable
symmetries. See Dirac with Wigner.
Relativity gives each particle a proper time. QFT is based on Bohr-Sommerfeld analysis of space like separation. But all freely falling objects
(in uniform acceleration) constitute a
rigid rod (spacelike).This like deSitter
space. So QFT needs re thinking.

Anonymous said...

I follow the point that in the case with the plates, there are pairs of experiments that one cannot carry out in the same instance, while some observables are compatible in that then can be measured in the same set-up. I suppose that these variables that can be measured in the same experiment would be seen as analogous to commuting operators, and the ones that can’t be, as corresponding to non-commuting pairs of variables. However, I don’t see what the analogy to a commutator would be in this case.
Or, like, it seems like in this setup, there is either an equivalence relation among variables of “is about an outcome of the same experiment”, or, I guess if “how far away is the farthest shard of glass” can be interpreted as being the same variable in each experiment...
Hm... I guess for each variable, you would have a set of experiments in which it can be measured, and two variables would then commute if their respective sets of experiments have non-empty intersection.
Similarly for sets of more than two variables.
This to me doesn’t seem like how it is with quantum mechanics?
Ah, hold on, wait.
Suppose that all our observables have discrete spectra. Then, we could associate with each observable operator, the set of orthonormal bases for which the operator is diagonal.
So I guess then, “experiment” is corresponding to “orthonormal basis” or perhaps “set of orthonormal bases”, where “this variable can be measured in this experiment” corresponds to “this operator is diagonal in each basis from this set of bases”.
Huh. That goes further than I expected.
So, in this interpretation, I guess a measurement process could be seen as imposing a set of potential bases?
Ah, I guess instead of “set of bases”, the appropriate idea is probably “decomposition of the Hilbert space into a direct sum of orthogonal components”.
And “a variable is observable in an experiment” corresponds to “the decomposition into orthogonal components imposed by the experiment, is a refinement of the decomposition into the eigenspaces of the operator”. Hm hm hmm...
My understanding of KvN mechanics is that p and x commute, and so additional operators are introduced which have commutation relations with x and p, in order to describe how the time evolution and stuff changes them...
But, can these other variables, the ones that pair with x and p, be measured? For a one (simple) particle wavefunction, I guess in the position basis, the magnitude of the wavefunction at each point can be determined by the expectations of various function of the position operator. And, setting aside the overall phase which is not observable, the relative phase... should be determined by some combination of the two, I think?
So, in this case, the single particle wavefunction can in principle be fully determined (up to an overall phase factor) by measurements of combinations of functions these two operators.
(I think?)
In KvN mech, if we have a single particle, does the wavefunction still get described fully by measurements of x and p? Or is there more to deal with on account of the commutation-relation pairs of x and p?
I initially started writing this comment to try to argue with this post, but failed to do so.
So, good job.

Peter said...

Hi, Anonymous 2023-09-21. Your comment is lengthy enough and, I think, unfocused enough that I feel that it would need a conversation to see where we understand or don't understand each other, agree or disagree, et cetera. Amazingly, I don't feel any immediate need to repudiate any part of my post of over three years ago, though I don't much like how wordy it is and if I picked through it very carefully I surely would find some details not to like.
Because this post is now over three years old, however, how I think about the measurement problem has moved on (so that there's now a published paper in JPhysA 2022, "The collapse of a quantum state as a joint probability construction" (see there for the published DOI), which I think is helpful even though it's rather technical.
It also seems rather likely you won't see this answer.