Nobody understands quantum physics?

[CoolMint]

This IMO is the heart of the problem. To observe the microscopic, one needs a microscope. One must build a macroscopic device for the measurement that is of necessity coupled to and a definite part of the system being observed. The wonder of QM is a formalism that allows one to abstract this macroscopic part of the system away. Want to measure the x-component of spin? You need to build a suitably prepared system along with the x-component spin measurement device. Want to measure the z-component? Well, build a z-component measurement system. It's a whole different system.

BTW, is no sense do I see this as a problem with CH.

The “answer to the question that does not answer the question” is emergence - properties of the macroscopic system (such as “phases of matter”) exist that are not properties of the subatomic system.
They are "properties" of the field l(as solid particles have not been found yet in this part of the galaxy).
The field is not the chair, the chair is emergent from the field, a partucular configuration and this is the only consistent way to think about the world. We have something that manifests as something which it is not there in its constituents with defined properties. This brings us closer to raising the concept of observation to a level that is more fundamental than the concept of chairs.
Cogito ergo sum

 

[Vanadium 50]

Mathematics also has its deep conceptual problems that are not understood by many.

But how many people worry about this when balancing their checkbook?

 

[Jarvis323]

We should probably also define what it means to understand the math of QM. Does that mean knowing how to perform the common calculations? Or does it include understanding the foundations? Does it include understanding the infinite space of mathematical implications (e.g., theorems in the theory of quantum computing)?

Also, is understanding the theory without interpretation the same as understanding the math? Is there even an agreement about the mathematical structures QM should use (or which ones correspond to nature)? I still see people writing papers claiming that different variations of Hilbert space might have different implications for things like quantum gravity.

 

[DaveC426913]

Mathematics also has its deep conceptual problems that are not understood by many. How many people understand Godel theorems, or continuity hypothesis, or Banach-Tarski paradox, for instance?

Popular understanding follows in time.

There was once a time when Einsteinian relativity was brain-breaking stuff.
There was once a time when Newtonian motion was beyond the ken of most.

 

[PhDeezNutz]

I also believe Feynman said in one of his documentaries something to the effect of “science has no obligation to be psychologically pleasing”.

 

[Spinnor]

Listen just 1 minute, what does it mean when he said nobody understand quantum mechanics?
This sound like comedy

If you watch from 1:08:08 to 1:10:00 I think Feynman answers your question.

 

[Fra]

What's the purpose, for example, of predicting the probability of Higgs decay?

And ultimately...

What is agents purpose of predicting the future?
Does it have a choice?
Under what conditions can the agent learn?
Are bad learners and bad predicting agents likely to be ubiquitous in nature?

/Fredrik

 

[gentzen]

Mathematics also has its deep conceptual problems that are not understood by many. How many people understand Godel theorems, or continuity hypothesis, or Banach-Tarski paradox, for instance?

But it is known material that can be taught, and the info&math students typically understand it. Well, maybe except for Banach-Tarski paradox, where they only understand the math, but not how to "resolve" it.

What is also not so well understood (by the info&math students) is why Gerhard Gentzen (by proving that $\epsilon_0$ is well ordered) and later Kurt Gödel (by using his higher order dialectica interpretation) could still prove the consistency of Peano arithmetic. But I guess those are not deep conceptual problems, but simply less standard material.

The Banach-Tarski paradox might indeed be a conceptual problem, because how do you deal with the fact that your mathematical statements "there exists ..." don't mean what they are supposed to mean? You introduce measurable sets, and hope that this reduces the gap. But can you ever prove that your mathematical statements now mean what you believe that they say?

 

[DaveC426913]

This is beginning to sound a lot like philosophy of science.

 

[Demystifier]

What is also not so well understood (by the info&math students) is why Gerhard Gentzen (by proving that ϵ0 is well ordered)

Are you named after him?

 

[Demystifier]

But how many people worry about this when balancing their checkbook?

How many worry about quantum interpretations when using their electronic devices?

 

[Demystifier]

But it is known material that can be taught, and the info&math students typically understand it.

How many students understand Cohen's forcing showing that continuity hypothesis is undecidable in ZF(C)?

 

[Demystifier]

This is beginning to sound a lot like philosophy of science.

What do you mean - beginning?

 

[martinbn]

An anagram of Banach-Tarski is Banach-Tarski Banach-Tarski.

 

[Demystifier]

An anagram of Banach-Tarski is Banach-Tarski Banach-Tarski.

What does B. stand for in Benoit B. Mandelbrot? Benoit B. Mandelbrot.

 

[gentzen]

Are you named after him?

Of course. You mean why? Initially, it was just an accident related to my "fascination" with the impact of languages (and representation). Later, I first decided that I didn't care too much whether anybody would draw wrong conclusions based on that name. Then I decided that I liked his sequent calculus, and would like to better understand its deeper meaning and properties. When I created my email address based on that name, I actively engaged with some darker associations of that name.

 

[A. Neumaier]

there's no hint at a "classical-quantum divide" aka "Heisenberg cut". Today ever larger systems have been used to verify "quantum effects". E.g., the ~10kg mirrors of the LIGO experiment show quantum behavior.

You misunderstand the Heisenberg cut. It is not a physical cut but something done when one applies theory to interpret experiments. Then one has to choose which part of the universe to describe by quantum mechanics (using a QM model) and which part to treat classically (using classical computations to relate to experimental data). The Heisenberg cut is the dividing region, and it exists quite visibly in all applications of quantum mechanics.

 

[vanhees71]

I never understood this argument. E.g., using a silicon detector to detect photons doesn't mean to use a "classical device". It's based on the photoeffect and thus relies on (at least semiclassical) quantum theory to be understood.

 

[A. Neumaier]

I never understood this argument. E.g., using a silicon detector to detect photons doesn't mean to use a "classical device". It's based on the photoeffect and thus relies on (at least semiclassical) quantum theory to be understood.

Classical calculations and classical language is used everywhere on the experimental side, and many quantum mechanical models treat many variables classically. For example:

• In quantum information theory, the Hilbert space is always finite-dimensional, and all position information is classical.
• In entangled photon experiments, the paths are treated classically.
• In condensed matter physics, the lattice of atomic sites is treated as classical, and only small oscillations are treated quantum mechanically.
• In collision experiments at CERN, the paths of the colliding particle bunches are also treated classically.

The Heisenberg cut is always very visible. Not using it would amount to having to consider the whole universe quantum-mechanically for any quantum prediction!

 

[vanhees71]

This is just, because the classical approximations are accurate enough for these purposes (though the item concerning the Born-Oppenheimer approximation in solid-state physics is not always applicable). Nothing in this proves the necessity of a Heisenberg cut. It's hard to accept for Copenhagenianers, but there's no hint at the claimed dichotomy between a classical and a quantum world. The classical behavior of macroscopic systems is an emergent phenomenon!

 

[A. Neumaier]

This is just, because the classical approximations are accurate enough for these purposes

and because classical approximations provide numbers rather than operators! Otherwise one never leaves the quantum domain and cannot make contact to the classical concepts in the description of experimental arrangements.

(though the item concerning the Born-Oppenheimer approximation in solid-state physics is not always applicable). Nothing in this proves the necessity of a Heisenberg cut.

Maybe not necessary but conspicuously present everywhere.

It's hard to accept for Copenhagenianers, but there's no hint at the claimed dichotomy between a classical and a quantum world.

It is the dichotomy in the description used, not in the world itself!

 

[Morbert]

Instrumentalist accounts of QM (e.g. Asher Peres) present the Heisenberg cut as not existing in the world itself. At the same time, they present the cut as more than a useful approximation. They say classical language is the language of measurement outcomes, and so a "dequantisation" of lab equipment is a necessary translation.

 

[LittleSchwinger]

This is just, because the classical approximations are accurate enough for these purposes (though the item concerning the Born-Oppenheimer approximation in solid-state physics is not always applicable). Nothing in this proves the necessity of a Heisenberg cut. It's hard to accept for Copenhagenianers, but there's no hint at the claimed dichotomy between a classical and a quantum world. The classical behavior of macroscopic systems is an emergent phenomenon!

If it helps, this is what the "cut" is about I think.

So take two particles which interact with each other via the idealised coupling of some observable $A$ for the first particle and some observable $B$ for the second.
Let us also idealise this interaction and say if the incoming particle is in a state $\ket{a}_{i}$ and the target is in $\ket{b}_{0}$, then when they interact they evolve as:
$\ket{a_{i}}\otimes\ket{b}_{0} \rightarrow \ket{a_{i}}\otimes\ket{b_{i}}$
Then if the first particle starts off in a superposition the evolution is:
$\left(\sum_{i}c_{i}\ket{a_{i}}\right)\otimes\ket{b}_{0} \rightarrow \sum_{i}c_{i}\ket{a_{i}}\otimes\ket{b_{i}}$
In other words we don't say the two particles obtain some well-defined, though possibly unknown, value of the product observable $A\otimes B$.

However when a particle interacts with a macroscopic apparatus such as an emulsion film, we do tend to say that the product observable corresponding to the particle position and which particular grain of the emulsion was blackened do have a definite (though possibly unknown) value. In other words if $B$ is a macroscopic collective coordinate we treat things as if:
$\left(\sum_{i}c_{i}\ket{a}_{i}\right)\otimes\ket{b}_{0} \rightarrow \sum_{i}|c_{i}|^{2}\ket{a_{i}b_{i}}\bra{a_{i}b_{i}}$

On a mathematical level the "cut" really boils down to the statements that:
(i) We treat the macroscopic collective coordinates corresponding to dial readings as if they were perfectly described by classical probability theory.
(ii) It's not consistent to treat them otherwise.

It's not so much that macroscopic objects can't be treated with quantum theory.

This whole "cut" business is a fairly obscure topic that isn't really discussed in most texts. One might say it's similar to conceptual issues surrounding finite time evolution in QFT for example.

I found the following paper very helpful on the topic:
https://journals.aps.org/prl/abstract/10.1103/PhysRevLett.126.130402
Arxiv here:
https://arxiv.org/abs/2003.07464

I learned of it from an online colloquium. The authors actually show a mathematical contradiction in that paper, so it's a clear exposition on it.

 

[TeethWhitener]

IMO saying no one understands QT is more a statement about how our minds are structured than a statement about the theory.

I'm not even sure about that. I first encountered entanglement in a completely un-dramatic, almost purely mathematical context. I have a very vivid memory of a friend later trying convince me of how intuitively weird the phenomenon is, but I just got stuck saying "of course the measurements come out that way" over and over because I had in my head $$\frac{1}{\sqrt{2}} \left ( |0\rangle_A \otimes |1\rangle_B - |1\rangle_A \otimes |0\rangle_B \right )$$ and my friend had in his head spinning charged balls or something of the sort.

That said, I know it's 1st semester freshman physics, but whenever I see an ice skater pull their arms in and spin faster, it still looks like magic to me. Whenever I see a video of a tornado or hurricane, I know how it works logically, but I still intuitively feel that there must be a thermodynamic law being violated somehow. So I've never really gotten the hubbub about why quantum mechanics is uniquely unintuitive.

 

[Paul Colby]

That said, I know it's 1st semester freshman physics, but whenever I see an ice skater pull their arms in and spin faster, it still looks like magic to me.

Yeah, that and magnets. Of course people understand all these things through abstraction. This entire thread is essentially about how people feel about quantum mechanics. As far as I'm concerned formal understanding is all that's possible for some phenomena. People are free to feel otherwise.

 

[lodbrok]

I never understood this argument. E.g., using a silicon detector to detect photons doesn't mean to use a "classical device". It's based on the photoeffect and thus relies on (at least semiclassical) quantum theory to be understood.

Nit-picking, I know, but are you implying that the silicon detector needs to understand quantum theory before it can detect a photon? I conjecture that physical things/phenomena don't care what theories we use to describe them.

 

[Morbert]

Nit-picking, I know, but are you implying that the silicon detector needs to understand quantum theory before it can detect a photon? I conjecture that physical things/phenomena don't care what theories we use to describe them.

I assume he means the silicon detector must have a quantum mechanical description if we want to model the dynamics of the measurement process. The "Heisenberg cut" is more like a "Heisenberg overlap" where there is an ambivalence of description of the measurement device: A quantum description to consistently model dynamics of the detector and source, and a classical description to accommodate the recorded data.

 

[Couchyam]

There's no limit on measurement. I don't know, where this fairy tale comes from. It's often written in popular-science textbooks, but it's wrong.

What I meant is that once you try to dissect the process of wave function collapse, you inevitably need to make sense of another statistical ensemble of collapsed wave functions (you can’t ‘circumvent’ the problem of wave function collapse to probe its physical properties the way one can other phenomena, such as entanglement.) Independently, there is an experimental practical limit to how quantum systems can be measured (but this limit isn’t integral to the theory itself.)

What quantum theory tells us is that it is impossible to prepare a quantum system such that all observable take determined values. A state of "complete knowledge" is a pure state, and it's uniquely determined, when preparing the system such that a complete set of compatible observables take determined values. Usually observables which are not compatible to this complete set then to not take determined values.

Quantum theory (and experiment) also tells us that when a wave function is measured in a particular basis, it collapses onto one of several allowed eigenvectors of the observable in question. Note that in quantum theory, a complete set of observables only exists in principle. In practice, there is a limit to the number of observables that are experimentally realizable; to be clear, this limit has nothing to do with the ‘limit’ that quantum theory imposes on the predictability of measurement outcomes.

At the present stage of our knowledge, we cannot say whether there is a collapse of the quantum state that goes beyond standard QT or not. For sure it's not the hand-waving addition to the well-defined formalism of QT one often reads in textbooks promoting some flavors of the Copenhagen interpretation, which include a collapse postulate. I've never found any necessity to assume a collapse to apply QT to the description of real-world experiments.

You probably have never conducted a real-world quantum experiment. All quantum experiments have noise: the interference patterns produced by electrons passing through a diffraction grating consist of small blips or dots produced by individual electrons whose wave function literally collapsed somehow from an extended smooth complex distribution to a point. Quantum physics says that there is literally no way to predict how this collapse happens: you can explain how the classical probability distribution appears on the screen through entanglement of electrons with many-body degrees of freedom, but it cannot predict (a priori) how an individual outcome is selected from the large number of possibilities.

Further there's no hint at a "classical-quantum divide" aka "Heisenberg cut". Today ever larger systems have been used to verify "quantum effects". E.g., the ~10kg mirrors of the LIGO experiment show quantum behavior.

But the 10kg mirrors of the LIGO experiment also exhibit classical behavior, and one might go so far as to say that the classical behavior of the LIGO mirrors (e.g. their visibility, or their elasticity, or their weight) vastly overwhelms any quantum phenomena that might be observable intermittently. I think a quantum model of a LIGO mirror would also struggle to account for how the wave function evolves between partial wave function collapses of various parts of the mirror. Is it possible that, among systems whose fastest observation update (measurement/wave function collapse) rate approaches the shortest time scale of the system, the behavior is essentially classical? From a certain perspective, the classical quantum divide is obvious: time is measured ‘classically’, not quantum mechanically (try devising a version of quantum mechanics with a fully intrinsically quantum time variable), and this has to do with the fact that we are immersed in an environment where wave function collapses happen almost continuously: you could claim that our most accurate measure of time is with quantum oscillations of an atomic clock, but this is besides the point (the state of the clock must be measured, and there exist other faster if less statistically regular measurement processes in nature.)

It’s possible that somehow (random) wave function collapse is an illusion of sorts, and that some kind of Schroedinger equation still describes reality at a fundamental scale, but my point is that it is extremely difficult to imagine how that might work, and quantum physics as it is conventionally understood offers no clues (and furthermore says that clues beyond what quantum theory gives us already are literally physically impossible.)

 

[vanhees71]

I don't see any evidence for collapse. It depends on the measurement device, in which state the coupled quantum system and the measurement device (and the "environment") will be.

That macroscopic objects behave "classically" is an emergent phenomenon. It results from coarse graining to obtain effective theories for macroscopic, collective observables, which in this sense always build an open quantum system and thus are subject to decoherence, leading to classical behavior.

 

[LittleSchwinger]

That macroscopic objects behave "classically" is an emergent phenomenon. It results from coarse graining to obtain effective theories for macroscopic, collective observables, which in this sense always build an open quantum system and thus are subject to decoherence, leading to classical behavior.

The paper I linked is essentially a demonstration of a contradiction if you treat a process as a measurement without irreversible decoherence. That's really all it involves. Similar to what Morbert mentioned above.

 

[vanhees71]

Sure a measurement must involve irreversible decoherence, because you want to store the measurement result (at least long enough to "read it out" of your equipment and evaluate it), but that's nothing which is not understandable within quantum theory of open systems. You don't need to envoke the classical behavior of the measurement device as and additional assumption, i.e., the claim that on a fundamental level "large enough" systems are not described by QT but classical physics. It's rather derivable from quantum many-body theory, and one can nowadays even demonstrate quantum effects on macroscopic objects like this example with the LIGO mirrors (making use, btw, of quantum features of light, i.e., squeezed states!).

 

[Lord Jestocost]

In chapter 9 “The problem of the interpretation of quantum theory” of the book “The Structure of Physics”/1/, Carl Friedrich von Weizsäcker puts it in a simple way:

$\gamma$) The role of the observer in the Copenhagen interpretation

To recapitulate, we have made it qualitatively we have made it plausible that the quantum theory of measurement proves the semantic consistency of the "orthodox" interpretation; we will present a formal model in the next section. Yet it has not diminished by one bit the necessity of an explicit reference to knowledge. The $\Psi$-function is defined as knowledge. The reduction of the wave packet is not a dynamical evolution of the $\Psi$-function in accordance with the Schrödinger equation. Rather, it is identical to the event in which an observer recognizes a fact. It does not happen so long as only the measured object and measurement apparatus interact, nor so long as the apparatus has not been read out after the measurement interaction ends; it is the gain of knowledge associated with reading. [red by LJ]

/1/ “The Structure of Physics” is a newly arranged and revised English version of "Aufbau der Physik" by Carl Friedrich von Weizsäcker

 

[LittleSchwinger]

Sure a measurement must involve irreversible decoherence, because you want to store the measurement result (at least long enough to "read it out" of your equipment and evaluate it), but that's nothing which is not understandable within quantum theory of open systems

Certainly. In fact as far as I can see older authors thought so as well, but lacked the actual theory of decoherence to make the argument solid. You see references to "thermal effects" or the many body nature of the device and so on in Bohr and others.

Anyway we have many roads to the "approach to classicality" these days. Decoherence, coarse-graining, ergodic processes, purely kinematic arguments, newer ones like the reduction of the observable algebra and so on.

 

[WernerQH]

Anyway we have many roads to the "approach to classicality" these days. Decoherence, coarse-graining, ergodic processes, purely kinematic arguments, newer ones like the reduction of the observable algebra and so on.

Offering too many solutions to a problem may raise suspicions.
Isn't the emergence of "classicality" what you are tempted to read into these formalisms?
How come so many people still puzzle over the measurement problem?

 

[LittleSchwinger]

Offering too many solutions to a problem may raise suspicions.

These are all just different processes or effects that contribute to classicality. Contributions differ in different systems. If somebody finds that "suspicious" I don't know what to say.

 

[WernerQH]

These are all just different processes or effects that contribute to classicality.

It could mean that you may not yet have identified the true "process" or "effect" that leads to classicality. Or the change of viewpoint that would make it obvious (even to those wondering why measurements lead to unique outcomes) how quantum mechanics contains classical mechanics as a limiting case.

 

[martinbn]

Offering too many solutions to a problem may raise suspicions.

Off Topic: Gauss gave four different proves of the quadratic reciprocity law. They were all sound. Now there are others. No one is suspicious.

 

[vanhees71]

Offering too many solutions to a problem may raise suspicions.
Isn't the emergence of "classicality" what you are tempted to read into these formalisms?
How come so many people still puzzle over the measurement problem?

Perhaps in lack of interest in dealing with the real problems?

 

[LittleSchwinger]

It could mean that you may not yet have identified the true "process" or "effect" that leads to classicality

I don't think that's a sensible way of looking at these things. If you look at non-equilibirum studies in statistical mechanics there are several processes that drive a system to equilibirum, thermalisation, etc. It would be nonsensical to look for the "true" one, when they are all present and contribute.

 

[WernerQH]

I don't think that's a sensible way of looking at these things.

I'm not concerned about the measurement problem at all. But I do believe there is a real, conceptual problem, but it's not about "measurement". It's not about "processes" or "effects" leading to the supposed "collapse of the wave function".

how quantum mechanics contains classical mechanics as a limiting case.

Quantum theory is the better, more comprehensive theory. But it depends on classical physics for its formulation. Isn't there some circularity here? How can a theory that should supplant classical mechanics be dependent on it?

 

[vanhees71]

Where does the fundamental formulation of QT depend on classical physics?

Of course, the one real problem is gravity and since gravity is strongly entangled (pun intended) with the spacetime model in a sense indeed there's a classical aspect in the formulation of relativity, i.e., the spacetime model is entirely classical. Indeed in this sense there's a real scientific problem concerning the completeness of QT as the "theory of everything", but I'm pretty sure that it has nothing to do with any vaguely formulated philosophical problem about measurement.

 

[Fra]

I don't see any evidence for collapse.

Are you never suprised?

/Fredrik

 

[WernerQH]

Where does the fundamental formulation of QT depend on classical physics?

Can you refer to a formulation of quantum theory that does not use the term "measurement"? And doesn't measurement require classical apparatus?

 

[Fra]

Where does the fundamental formulation of QT depend on classical physics?

It does not depende on classical theory per see, but the theoretically perfect confidence in the distributions IMO requires a solid reference - "classical world", without it, not only is the future fuzzy, even the cloud itself is fuzzy. Thats not to imply that QM depends on newtonis mechanics as such.

in this sense there's a real scientific problem concerning the completeness of QT as the "theory of everything", but I'm pretty sure that it has nothing to do with any vaguely formulated philosophical problem about measurement.

Wether this has nothing to do with it is where we disagree. My only question is, given that one cares at all, if this ha nothing todo with QG - what does? I mean, what is the alternative? For me the path seems nasty but i see no other path.

/Fredrik

 

[vanhees71]

I'm convinced that we'll never get something physical out of a mere philosophical quibble about a pseudoproblem. Obviously no philosophical gibberish has brought us any close to an ansatz of how to formulate "quantum gravity". I think we'll need some empirical hint, but I don't see anything in sight yet.

 

[LittleSchwinger]

@vanhees71 , this is more out of curiosity about how you would phrase it, I'm not debating as such.

We commonly say quantum theory is a probability theory where not all quantities take well-defined values at once. So if we start with a particle in an eigenstate of z-axis spin, $S_{z}$, such as $\ket{\uparrow}$ then we know that $S_{x}$ doesn't have a well-defined value.

If we do an $S_{x}$ measurement however we do end up in a state with a well-defined value for $S_{x}$. "When" in the measurement process do you think this well-defined value was obtained?

 

[vanhees71]

It's just by filtering. Take the Stern-Gerlach experiment which can be designed as an almost perfect filter measurement, i.e., you use an inhomogeneous magnetic field with the right properties to split the beam in two spatially well separted parts, of which you know (from unitary quantum dynamics by the way) that position and spin-component (which one is selected by the direction of the large homogeneous part of the magnetic field) are almost perfectly entangled, i.e., blocking one partial beam prepares a beam with determined spin component. It's clear that you can prepare only one spin component and not more, i.e., the spin components in other directions don't take determined values, and the so prepared quantum state implies the and only the probabilities for the results of measurements of any spin component. Measuring the prepared spin component gives with 100% probability the prepared value, i.e., this and only this spin component takes a determined value. The preparation is obtained after the beams got sufficiently well separated due to the (unitary) dynamics of the particles moving in the magnetic field.

 

[LittleSchwinger]

The preparation is obtained after the beams got sufficiently well separated due to the (unitary) dynamics of the particles moving in the magnetic field.

Okay thanks. That basically lines up with what I first learned from Gottfried (1st Ed sans Yan) and the old Schwinger "Humpty-Dumpty" paper.

 

[A. Neumaier]

If we do an $S_{x}$ measurement however we do end up in a state with a well-defined value for $S_{x}$. "When" in the measurement process do you think this well-defined value was obtained?

Measuring the prepared spin component gives with 100% probability the prepared value, i.e., this and only this spin component takes a determined value. The preparation is obtained after the beams got sufficiently well separated due to the (unitary) dynamics of the particles moving in the magnetic field.

This does not answer the query. Prepared is a superposition without definite values of $S_x$. But measured is one of the values $\pm1$, let us say $+1$. The question is when, in a quantum description of the detector, the definite value $+1$ is obtained.

 

[vanhees71]

After the magnet the spin component in direction of the field is (almost completely) entangled with position, i.e., in each of the two partial beams "selected" by the magnet you have a well-prepared spin component.