Effective Dynamics of Open Quantum Systems: Stochastic vs Unitary Models

In summary: Not quite. But it necessarily has to be described by a different quantum model than unitary dynamics if it is an open system and the rest of the universe is not explicitly modeled.
  • #71
Demystifier said:
For simplicity, suppose that wave packet of one particle takes 1/10 of the total volume in the laboratory. Then two such wave packets will typically often collide with each other.

But if one-particle wave packet takes 1/10 of the total volume, then ##N##-particle wave packet takes ##(1/10)^N## of the total configuration-space volume. For ##N=10^{23}## this is an incredibly small number. It should be clear that two such small objects will very rarely collide. Try to estimate typical times by yourself.
But the diameter of the wave packets increases linearly with time. Therefore the volumes occupied grow like the Nth power of time, and is quickly very large.
 
Physics news on Phys.org
  • #72
A. Neumaier said:
But the diameter of the wave packets increases linearly with time.
Only for free particles. Not, for example, for particles constituting a lattice in a solid-state crystal.
 
  • #73
Demystifier said:
You don't motivate me take an effort to explain the details. When I explain some details to you, you never say "Ah, thanks, now I understand that. Could you please explain one more thing to me?". Instead, you merely jump to another question without showing any sign that my previous explanations were at least partially successful. That is not motivating.
This is because your explanations were so far not successful. Success means understanding the complete argument. Debugging an incomplete proof is like debugging a program. One needs many small insights before one gets it right; until then one asks the computer one questions after the other to find out the missing information.

Jumping to another question is the sign that I had digested the information provided and went on to the next step. I am asking questions for understanding, not just for fun - I have far more interesting things to do than wasting my time putting someone down.
 
  • #74
A. Neumaier said:
Debugging an incomplete proof is like debugging a program.
I like that analogy. But usually a person who easily finds bugs can also easily fix the bugs by himself. It is confusing that you are so good in the former but not in the latter.
 
  • #75
Demystifier said:
Only for free particles. Not, for example, for particles constituting a lattice in a solid-state crystal.
But it is the universal wave function, hence consists of all particles in the universe. For simplicity take the photons to be massive with unobservably small mass. They move essentially freely; even in matter they move in a kind of quantum Brownian motion with drift, and their support grows at least like the square root of the time. The particles bound in a crystal may be ignored since their volume remains approximately in place, hence factors out, and the movable electrons and photons blow up the remaining factor.
 
  • #76
Demystifier said:
I like that analogy. But usually a person who easily finds bugs can also easily fix the bugs by himself. It is confusing that you are so good in the former but not in the latter.
I can easily fix bugs in my programs and those of my students, but not in those of others. For a bug in a foreign package I usually ask the author or supporter of the package.

But due to lack of sufficient support, debugging the proof of your theorem has already become too time consuming for me. This thread was not supposed to be about Bohmian mechanics anyway. So I'll quit discussing this subtopic.
 
  • #77
A. Neumaier said:
The first one was suggested by Demystifier in post #30, and I commented on it in post #49.

I'll defer to Demystifier on this. But on this point, my thinking is that although there is a difficulty, it is not particular to BM. What is being assumed is that decoherence works as we expect it to in the measurement process. One is simply assuming that the von Neumann-Zurek picture of measurement does work. If that were to fail, then our ability to shift the classical/quantum cut to include more and more of the universe would fail, and Copenhagen would fail.
 
  • #78
atyy said:
I'll defer to Demystifier on this. But on this point, my thinking is that although there is a difficulty, it is not particular to BM. What is being assumed is that decoherence works as we expect it to in the measurement process. One is simply assuming that the von Neumann-Zurek picture of measurement does work. If that were to fail, then our ability to shift the classical/quantum cut to include more and more of the universe would fail, and Copenhagen would fail.
But this is not quite the same. Decoherence acknowledges that no matter where you place the cut you need to take account of the interaction with the remainder of the universe. Whereas the argument in the paper commented on in $49 states without good reason that one can ignore the interaction with the remainder of the universe.
 
  • #79
A. Neumaier said:
But this is not quite the same. Decoherence acknowledges that no matter where you place the cut you need to take account of the interaction with the remainder of the universe. Whereas the argument in the paper commented on in $49 states without good reason that one can ignore the interaction with the remainder of the universe.

If you look at Zurek's papers, you'll find he also ignores the rest of the universe. He brings in just enough of [system + apparatus + environment] which evolves unitarily to show that decoherence works.
 
  • #80
A. Neumaier said:
No, not throughout. The paper is a survey paper and describes many approaches, including approaches freely using collapse.

But Plenio and Knight also describe a derivation by Gardiner (1988) that starts from the unitary evolution and does not use collapse: The description of this derivation begins on p.31. Formula (78) contains the Hamiltonian of the complete system. The collapse is avoided by the following technical trick:

which is then carried out using the quantum Ito calculus.

An equivalent but far less technical derivation was later given in the paper
H. P. Breuer, F. Petruccione, Stochastic dynamics of reduced wave functions and continuous measurement in quantum optics, Fortschritte der Physik 45, 39-78 (1997).
In particular, pp.53-58 of this paper describe a fairly elementary derivation of a quantum jump process responsible for photodetection, starting with the unitary dynamics and involving no collapse but only standard approximations from statistical mechanics.

The quantum jump processes for general measurement situations are derived from unitarity in the more technical papers [30-32] by Breuer and Petruccione cited in the paper mentioned above. All four papers can be downloaded from http://omnibus.uni-freiburg.de/~breuer/

The Breuer and Petruccione paper, Stochastic dynamics of reduced wave functions and continuous measurement in quantum optics, Fortschritte der Physik does not deal with selective measurements. So in Copenhagen one does not need collapse in this case either.

Another paper by Breuer and Petruccione http://arxiv.org/abs/quant-ph/0302047 (Fig. 1) explains the difference between selective and non-selective measurements. For selective measurements, Breuer and Petruccione use the standard formalism and invoke collapse.
 
  • #81
A. Neumaier said:
But due to lack of sufficient support, debugging the proof of your theorem has already become too time consuming for me. This thread was not supposed to be about Bohmian mechanics anyway. So I'll quit discussing this subtopic.
I agree. :smile:
 
  • #82
Suppose you want to explain someone how to come form point A to point B in a big city. How to do that?

If you want to explain it to a human, that's easy. Just take a map of the city and draw the line corresponding to the path from point A to point B. For a human, that's enough.

But if you want to explain it to a robot, that's not enough. To the robot you must give explicit instructions how to avoid various obstacles such as cars, walkers, trash cans or even cats on the street. For that purpose you must write a complex computer program and debug all the bugs. If you miss any detail of how to avoid a simple obstacle, the robot will stop and say: "It is not possible to come from point A to point B." So it's very hard to explain it to the robot. It can be done, but it's hard.

The experience of explaining physics to some people on this thread looks to me like experience of explaining the path from point A to point B to a robot. :biggrin:
 
Last edited:
  • Like
Likes vanhees71
  • #83
atyy said:
The Breuer and Petruccione paper, Stochastic dynamics of reduced wave functions and continuous measurement in quantum optics, Fortschritte der Physik does not deal with selective measurements. So in Copenhagen one does not need collapse in this case either.

Another paper by Breuer and Petruccione http://arxiv.org/abs/quant-ph/0302047 (Fig. 1) explains the difference between selective and non-selective measurements. For selective measurements, Breuer and Petruccione use the standard formalism and invoke collapse.
Your content description is incorrect. The first paper does deal with selective measurements, as described in the second paper.

The second paper is an overview on how to model an open quantum system without explictly taking the detector into account (except qualitatively in the choice of the reduced model). The bottom half of Figure 1 is about selective measurement, and bottom half left is the reducd description by a Markov process in Hilbert space, which gives the piecewise deterministic process = PDP = quantum jump process discussed in post #1. The language used in the second paper is on three levels. On the highest level, between (12) and (13), the system is described in traditional Copenhagen language, using the projection postulate amounting to collapse. In the paragraph containing (17), the system is described on the second level in an alternative ensemble language, where instead of projection one talks about a subensemble conditioned on a specific outcome. This corresponds to the minimal statistical interpretation, framed as a stochastic description in terms of classical conditional probabilities for the process describing the stochastic measurement results (so that the notion of conditioning makes sense). Finally, in the paragraph containing (22), the system is described on the third level as a classical stochastic piecewise determinstic (drift and jump) process for the wave function in which the jumps depend stochastically on the measurement results. This is the quantum jump process discussed in post #1. The arguments in this section serve to demonstate that the three descriptions are in some sense equivalent, though the higher the level the more precise the description. In paticular, on the third level, the complete (reduced) quantum measurement process is fully described by the classical PDP, and hence has a fully classical ontology.

Completely lacking in the second paper is any discussion how the reduced description described is related to a complete microscopic picture of the detection process including a bath responsible for the dissipation. The latter is the central square in Figure 1. It is only remarked in passing - before (7) and middle of p.9 - that it can be done by neglecting memory effects. How it is done is neither stated nor referenced, since the goal of the paper is very different - namely to introduce the central physical concepts and techniques for open quantum systems - i.e., systems in an already reduced description.

This gap is filled, however, in the papers cited in post #28. There one starts with a unitary dynamics only and uses the standard approximation tools from statistical physics to derive the quantum jump process. In particular, the first paper by Breuer and Petruccione derives for a few practically relevant examples from unitarity the PDP in exactly the form discussed in the second paper.
A. Neumaier said:
In particular, pp.53-58 of this paper describe a fairly elementary derivation of a quantum jump process responsible for photodetection, starting with the unitary dynamics and involving no collapse but only standard approximations from statistical mechanics.
The other three papers mentioned there derive the PDP in a much more general (and much more abstract) framework.

The two papers together therefore demonstrate that selective measurement in QM with collapse upon each measurement of an observable with a discrete spectrum is derivable from unitary quantum mechanics under the conventional approximations made in statistical mechanics.
 
Last edited:
  • Like
Likes Dilatino
  • #84
A. Neumaier said:
Your content description is incorrect. The first paper does deal with selective measurements, as described in the second paper.

OK, yes, I see the first paper does do selective measurements.

A. Neumaier said:
The second paper is an overview on how to model an open quantum system without explictly taking the detector into account (except qualitatively in the choice of the reduced model). The bottom half of Figure 1 is about selective measurement, and bottom half left is the reducd description by a Markov process in Hilbert space, which gives the piecewise deterministic process = PDP = quantum jump process discussed in post #1. The language used in the second paper is on three levels. On the highest level, between (12) and (13), the system is described in traditional Copenhagen language, using the projection postulate amounting to collapse. In the paragraph containing (17), the system is described on the second level in an alternative ensemble language, where instead of projection one talks about a subensemble conditioned on a specific outcome. This corresponds to the minimal statistical interpretation, framed as a stochastic description in terms of classical conditional probabilities for the process describing the stochastic measurement results (so that the notion of conditioning makes sense). Finally, in the paragraph containing (22), the system is described on the third level as a classical stochastic piecewise determinstic (drift and jump) process for the wave function in which the jumps depend stochastically on the measurement results. This is the quantum jump process discussed in post #1. The arguments in this section serve to demonstate that the three descriptions are in some sense equivalent, though the higher the level the more precise the description. In paticular, on the third level, the complete (reduced) quantum measurement process is fully described by the classical PDP, and hence has a fully classical ontology.

Completely lacking in the second paper is any discussion how the reduced description described is related to a complete microscopic picture of the detection process including a bath responsible for the dissipation. The latter is the central square in Figure 1. It is only remarked in passing - before (7) and middle of p.9 - that it can be done by neglecting memory effects. How it is done is neither stated nor referenced, since the goal of the paper is very different - namely to introduce the central physical concepts and techniques for open quantum systems - i.e., systems in an alrady reduced description.

This gap is filled, however, in the papers cited in post #28. There one starts with a unitary dynamics only and uses the standard approximation tools from statistical physics to derive the quantum jump process. In particular, the first paper by Breuer and Petruccione derives for a few practically relevant examples from unitarity the PDP in exactly the form discussed in the second paper.

In the first paper by Breuer and Petruccione, they still assume collapse. On p49 of their 1997 Fortschritte der Physik paper they state "This interpretation is necessary because each application of the Chapman-Kolmogorov equation implies a state reduction fixed by the measurement scheme."

A. Neumaier said:
The other three papers mentioned there derive the PDP in a much more general (and much more abstract) framework.

The two papers together therefore demonstrate that selective measurement in QM with collapse upon each measurement of an observable with a discrete spectrum is derivable from unitary quantum mechanics under the conventional approximations made in statistical mechanics.

OK, I'll look at the other three papers. But the first one still assumes collapse via the Chapman-Kolmogorov equation.
 
  • #85
atyy said:
On p49 of their 1997 Fortschritte der Physik paper they state "This interpretation is necessary because each application of the Chapman-Kolmogorov equation implies a state reduction fixed by the measurement scheme."
But the derivation on pp.53-58 to which I referred does not refer to collapse and is completely independent of the considerations on p.49. The latter considarations only serve to relate his summary of the general, more abstract case from [30-32] to the conventional measurement discussion.

But for the special cases explicitly treated later, the measurement scheme is completely described by the total Hamiltonian, and no collapse assumption enters anywhere. The wave function dynamics of the total unitary system is treated as a completely classical dynamical system, and reduced to a classical stochastic equation in Hilbert space in the same way as one would proceed for any other classical dynamical system. Thus there is no room for a collapse assumption.

Instead, the remark on p.49 just amounts to an interpretation of the final result: Each application of the Chapman-Kolmogorov equation (derived directly from unitarity) implies a state reduction fixed by the measurement scheme. Hence it proves that collapse is derivable from unitarity.
 
  • #87
A. Neumaier said:
But the derivation on pp.53-58 to which I referred does not refer to collapse and is completely independent of the considerations on p.49. The latter considarations only serve to relate his summary of the general, more abstract case from [30-32] to the conventional measurement discussion.

But for the special cases explicitly treated later, the measurement scheme is completely described by the total Hamiltonian, and no collapse assumption enters anywhere. The wave function dynamics of the total unitary system is treated as a completely classical dynamical system, and reduced to a classical stochastic equation in Hilbert space in the same way as one would proceed for any other classical dynamical system. Thus there is no room for a collapse assumption.

Instead, the remark on p.49 just amounts to an interpretation of the final result: Each application of the Chapman-Kolmogorov equation (derived directly from unitarity) implies a state reduction fixed by the measurement scheme. Hence it proves that collapse is derivable from unitarity.

On p55, they write "Proceeding as in Sec. 2 one is led to expression (23)".

In Section 2, p45, just after Eq 17, they write "According to the theory of quantum measurement such a resolution corresponds to a complete, orthogonal measurement [38] of the environment."

Ref [38] is Braginsky and Khalili, which assumes state reduction as a postulate.
 
  • #88
atyy said:
On p55, they write "Proceeding as in Sec. 2 one is led to expression (23)".

In Section 2, p45, just after Eq 17, they write "According to the theory of quantum measurement such a resolution corresponds to a complete, orthogonal measurement [38] of the environment."

Ref [38] is Braginsky and Khalili, which assumes state reduction as a postulate.
''corresponds to'' is not an assumption but a translation of the formulas into the Copenhagen interpretation language. If you just look at the chain of equations comprising the true arguments you'll see that the arguments make nowhere use of this interpretation language. Thus the words just serve to guide the intuition of readers well-acquainted with the collapse language and its meaning. One could as well give first the complete formal argument without the interpretational comments and then comment afterwards about what is means in terms of the collapse picture. Indeed, this is done in [30], which is:
H. P. Breuer & F. Petruccione,
Stochastic dynamics of open quantum systems: Derivation of the differential Chapman-Kolmogorov equation,
Physical Review E51, 4041-4054 (1995).
Everything is done from scratch in terms of a classical stochastic process in the projective space associated with system+detector. Since only classical probabilities are used it is impossible for quantum mechanical collapse to enter the argument. But at the end one gets the PDP. Only after everything has been done, the PDP is interpreted in terms of quantum jumps.
 
  • #89
A. Neumaier said:
''corresponds to'' is not an assumption but a translation of the formulas into the Copenhagen interpretation language. If you just look at the chain of equations comprising the true arguments you'll see that the arguments make nowhere use of this interpretation language. Thus the words just serve to guide the intuition of readers well-acquainted with the collapse language and its meaning. One could as well give first the complete formal argument without the interpretational comments and then comment afterwards about what is means in terms of the collapse picture. Indeed, this is done in [30], which is:
H. P. Breuer & F. Petruccione,
Stochastic dynamics of open quantum systems: Derivation of the differential Chapman-Kolmogorov equation,
Physical Review E51, 4041-4054 (1995).
Everything is done from scratch in terms of a classical stochastic process in the projective space associated with system+detector. Since only classical probabilities are used it is impossible for quantum mechanical collapse to enter the argument. But at the end one gets the PDP. Only after everything has been done, the PDP is interpreted in terms of quantum jumps.
[/PLAIN]
Stochastic dynamics of open quantum systems: Derivation of the differential Chapman-Kolmogorov equation


1. Does the construction in section II.B (beginning after Eq 33) hold for systems that are not statistically independent?

2. Is Eq 43 dependent on the choice of basis in Eq 42?
 
Last edited by a moderator:
  • #90
atyy said:
Stochastic dynamics of open quantum systems: Derivation of the differential Chapman-Kolmogorov equation

1. Does the construction in section II.B (beginning after Eq 33) hold for systems that are not statistically independent?

2. Is Eq 43 dependent on the choice of basis in Eq 42?
1. No. This subsection just explains why the tensor product gives the correct description of two independent systems, and that the reduction formula (44) recovers the description of the subsystem exactly. This cannot be true if there are interactions between the two systems; the latter is the case treated in Part III.

2. Possibly yes. He doesn't assert basis independence, and it isn't obviously true. So it seems that in the noninteracting case there are many possible reduced dynamics. This freedom is restricted in the interacting case since the argument in Part III depends on the fact (66) that the basis there is an eigenbasis of ##H_2##.
 
Last edited:
  • #91
A. Neumaier said:
Finally, in the paragraph containing (22), the system is described on the third level as a classical stochastic piecewise determinstic (drift and jump) process for the wave function in which the jumps depend stochastically on the measurement results. This is the quantum jump process discussed in post #1. The arguments in this section serve to demonstate that the three descriptions are in some sense equivalent, though the higher the level the more precise the description. In paticular, on the third level, the complete (reduced) quantum measurement process is fully described by the classical PDP, and hence has a fully classical ontology.

Thanks for the replies above, I read those too. I'm going back here to your comment on their other paper, the overview http://arxiv.org/abs/quant-ph/0302047. In their discussion around Eq 22, they do say:

"Physically, ##\psi(t)## represents the state of the reduced system which is conditioned on a specific readout of the measurement carried out on the environment. Consequently, the stochastic evolution depends on the measurement scheme used to monitor the environment."

So if that section applies to their derivation of the Chapman-Kolmogorov equation in http://omnibus.uni-freiburg.de/~breuer/paper/p4041.pdf, then I would expect the measurement of the environment somehow enters one of the assumptions they make, though at this point I am not sure where.
 
  • #92
atyy said:
Thanks for the replies above, I read those too. I'm going back here to your comment on their other paper, the overview http://arxiv.org/abs/quant-ph/0302047. In their discussion around Eq 22, they do say:

"Physically, ##\psi(t)## represents the state of the reduced system which is conditioned on a specific readout of the measurement carried out on the environment. Consequently, the stochastic evolution depends on the measurement scheme used to monitor the environment."

So if that section applies to their derivation of the Chapman-Kolmogorov equation in http://omnibus.uni-freiburg.de/~breuer/paper/p4041.pdf, then I would expect the measurement of the environment somehow enters one of the assumptions they make, though at this point I am not sure where.
It is in the dynamics of the detector, which must include enough of the environment to produce irreversible results (and hence determines what is read out). B & P model the latter by assuming separated time scales and the validity of the Markov approximation - which hold only if the detector is big enough to be dissipative. (The latter is typically achieved by including in the detector a heat bath consisting of an infinite number of harmonic oscillators.) Since B & P make these assumptions without deriving them, their analysis holds for general dissipative detectors. But of course for any concrete application one must check (as always in statistical mechanics) that these assumptions are plausible.

In sufficiently idealized settings, these assumptions can actually proved rigorously, but this is beyond the scope of the treatment by B & P. Rigorous results (without the discussion of selecive measurement but probably sufficient to establish the assumptions used by B & P) were first derived by Davies 1974 and later papers with the same title. See also the detailed survey:
H. Spohn, Kinetic equations from Hamiltonian dynamics: Markovian limits. Reviews of Modern Physics, 52 (1980), 569.

In the cases treated by B & P, the discrete PDP process corresponds to photodetection, which measures particle number, which has a discrete spectrum; the diffusion processes correspond to homodyne or heterodyne detection, which measure quadratures, which have a continuous spectrum. B & P obtain the latter from the PDP by a limiting process in the spirit of the traditional approach treating a continuous spectrum as a limit of a discrete spectrum.
 
  • #93
A. Neumaier said:
It is in the dynamics of the detector, which must include enough of the environment to produce irreversible results (and hence determines what is read out). B & P model the latter by assuming separated time scales and the validity of the Markov approximation - which hold only if the detector is big enough to be dissipative. (The latter is typically achieved by including in the detector a heat bath consisting of an infinite number of harmonic oscillators.) Since B & P make these assumptions without deriving them, their analysis holds for general dissipative detectors. But of course for any concrete application one must check (as always in statistical mechanics) that these assumptions are plausible.

In sufficiently idealized settings, these assumptions can actually proved rigorously, but this is beyond the scope of the treatment by B & P. Rigorous results (without the discussion of selecive measurement but probably sufficient to establish the assumptions used by B & P) were first derived by Davies 1974 and later papers with the same title. See also the detailed survey:
H. Spohn, Kinetic equations from Hamiltonian dynamics: Markovian limits. Reviews of Modern Physics, 52 (1980), 569.

In the cases treated by B & P, the discrete PDP process corresponds to photodetection, which measures particle number, which has a discrete spectrum; the diffusion processes correspond to homodyne or heterodyne detection, which measure quadratures, which have a continuous spectrum. B & P obtain the latter from the PDP by a limiting process in the spirit of the traditional approach treating a continuous spectrum as a limit of a discrete spectrum.

So it seems the collapse assumption comes with the Markovian assumption.

In these treatments, the measurement problem is not solved, because unitary evolution alone has no observable outcome (such as a particle position). If we are using the collapse to say when the particle acquires a position, then it is the Markov approximation which causes collapse which determines when a detection is made - which is not satisfactory since it doesn't seem reasonable for an approximation to cause reality.
 
  • #94
atyy said:
So it seems the collapse assumption comes with the Markovian assumption.

In these treatments, the measurement problem is not solved, because unitary evolution alone has no observable outcome (such as a particle position). If we are using the collapse to say when the particle acquires a position, then it is the Markov approximation which causes collapse which determines when a detection is made - which is not satisfactory since it doesn't seem reasonable for an approximation to cause reality.
The Markov assumption is used also in classical statistical mechanics to derive hydromechanics or the Boltzmann equation. Thus you seem to propose that classical statistical mechanics is not satisfactory, too. This is a defendable position. But at least the arguments show that to go from unitarity to definite (i.e., irreversible) outcomes in Hamiltonian quantum mechanics one doesn't need to assume more than to go from reversibility to irreversibility in Hamiltonian classical mechanics.

Moreover, I had given references that prove the Markov assumption in the low coupling infinite volume limit. Thus it is sometimes derivable and not an assumption. Your criticism that it is an approximation only is moot since for pointer readings it suffices to have approximately definite outcomes, and these are guaranteed by statistical mechanics for macroscopic observables (with an accuracy of ##N^{-1/2}## where ##N## is of the order of ##10^{23}## or more).
 
Last edited:
  • Like
Likes Mentz114
  • #95
A. Neumaier said:
The Markov assumption is used also in classical statistical mechanics to derive hydromechanics or the Boltzmann equation. Thus you seem to propose that classical statistical mechanics is not satisfactory, too. This is a defendable position. But at least the arguments show that to go from unitarity to definite (i.e., irreversible) outcomes in Hamiltonian quantum mechanics one doesn't need to assume more than to go from reversibility to irreversibility in Hamiltonian classical mechanics.

Moreover, I had given references that prove the Markov assumption in the low coupling infinite volume limit. Thus it is sometimes derivable and not an assumption. Your criticism that it is an approximation only is moot since for pointer readings it suffices to have approximately definite outcomes, and these are guaranteed by statistical mechanics for macroscopic observables (with an accuracy of ##N^{-1/2}## where ##N## is of the order of ##10^{23}## or more).

It isn't the same. In classical statistical mechanics, a particle has a definite outcome (eg. position) at all times. This is not true in quantum mechanics. It is not sufficient to have approximately definite outcomes.
 
  • #96
atyy said:
it is the Markov approximation which causes collapse which determines when a detection is made - which is not satisfactory since it doesn't seem reasonable for an approximation to cause reality.
This is not a cause as in causality but only a cause in the sense of explanation. Thus your claim amounts to: ''it is the Markov approximation which explains collapse which determines when a detection is made - which is not satisfactory since it doesn't seem reasonable for an approximation to explain reality", and here the second half of the sentence is no longer reasonable. Everywhere in physics we explain reality by making approximations. This is the only way we can explain anything at all!
 
  • #97
atyy said:
It is not sufficient to have approximately definite outcomes.
Why not? One cannot read a pointer very accurately.
 
  • #98
A. Neumaier said:
Why not? One cannot read a pointer very accurately.

In classical mechanics there is an underlying sharp reality (eg. Newtonian mechanics). Then our inability to read the reality accurately is taken care of by coarse graning and probability. The coarse graning does not cause reality to appear. Reality exists before the coarse graning is done.

In contrast, in quantum mechanics, the sharp reality of a unitarily evolving quantum state is not enough, because it does not specify eg. position or whatever definite measurement outcome is seen. The measurement outcome is part of reality, so it seems that the wave function does not specify all of reality. Consequently, if collapse appears by coarse graning, then the coarse graning is causing reality to appear, which is quite different from classical mechanics.
 
  • #99
atyy said:
In classical mechanics there is an underlying sharp reality (eg. Newtonian mechanics). Then our inability to read the reality accurately is taken care of by coarse graning and probability. The coarse graning does not cause reality to appear. Reality exists before the coarse graning is done.

In contrast, in quantum mechanics, the sharp reality of a unitarily evolving quantum state is not enough, because it does not specify eg. position or whatever definite measurement outcome is seen. The measurement outcome is part of reality, so it seems that the wave function does not specify all of reality. Consequently, if collapse appears by coarse graining, then the coarse graning is causing reality to appear, which is quite different from classical mechanics.
Just as in classical mechanics, only the Markov property is assumed. The jump process follows - hence collapse.

Nothing causes reality to appear - reality is, and was before anyone dreamt of quantum mechanics. Whatever is done in the paper is done on paper only - therefore explaining things, not causing anything! Coarse graining explains collapse, and hence explains why QM matches observed reality.

Similarly: In classical mechanics the underlying reality is strictly conservative. There is no dissipation of energy, though the latter characterizes reality. To have dissipation, one must postulate an additional friction axiom that is the classical analogue of the collapse. However, friction is found to arise from the Markov approximation. Thus in your words, classical coarse graining is causing friction to appear - which is not satisfactory since it doesn't seem reasonable for an approximation to cause the reality of friction. In my words, understanding that friction comes from coarse graining is as big an insight as that collapse comes from coarse graining. In both cases, it bridges the difference in the dynamics of an isolated system and that on an open system. The explanation by coarse graining is in both cases fully quantitative and consistent with experiment, hence has all the features a good scientific explanation should have.
 
  • #100
A. Neumaier said:
Just as in classical mechanics, only the Markov property is assumed. The jump process follows - hence collapse.

Nothing causes reality to appear - reality is, and was before anyone dreamt of quantum mechanics. Whatever is done in the paper is done on paper only - therefore explaining things, not causing anything! Coarse graining explains collapse, and hence explains why QM matches observed reality.

Similarly: In classical mechanics the underlying reality is strictly conservative. There is no dissipation of energy, though the latter characterizes reality. To have dissipation, one must postulate an additional friction axiom that is the classical analogue of the collapse. However, friction is found to arise from the Markov approximation. Thus in your words, classical coarse graining is causing friction to appear - which is not satisfactory since it doesn't seem reasonable for an approximation to cause the reality of friction. In my words, understanding that friction comes from coarse graining is as big an insight as that collapse comes from coarse graining. In both cases, it bridges the difference in the dynamics of an isolated system and that on an open system. The explanation by coarse graining is in both cases fully quantitative and consistent with experiment, hence has all the features a good scientific explanation should have.

Don't focus on collapse. Focus on the measurement outcome, which needs no collapse. If one has a unitarily evolving wave function, at what point in time does the particle acquire a position?

It is different from classical physics where the particle has a position, before any coarse graining that makes friction appear.
 
  • #101
atyy said:
Don't focus on collapse. Focus on the measurement outcome, which needs no collapse. If one has a unitarily evolving wave function, at what point in time does the particle acquire a position?

It is different from classical physics where the particle has a position, before any coarse graining that makes friction appear.
Both in classical mechanics and in quantum mechanics, the system has a state, which is its only reality. Measurements reveal part of this reality to a certain accuracy. It is a matter of modeling how the measurement results are related to the true reality - the state. In the statistical mechanics of ##N##-particle systems, what is measured (both in classical and in quantum mechanics) is the expectation of a macroscopic operator, to an accuracy of order ##O(N^{-1/2})##. This is enough to give well-defined pointer readings. Thus no collapse is needed to make the pointer acquire a well-defined position. As a consequence of having definite macroscopic outcomes (plus the Markov approximation) one finds that the dynamics of the subsystem is described by a PDP.

But although the pointer reading is a position measurement of the pointer, what is measured about the particle is not its position but the variable correlated with the pointer reading - which is the photon number or the quadrature. Particle position is as indeterminate as before. Indeed, investigation of the PDP process shows that the collapsed states created by the PDP are approximate eigenstates of the number operator or the quadrature. Thus the PDP can be interpreted in Copenhagen terms as constituting the repeated measurement of particle number or quadrature.
 
  • #102
A. Neumaier said:
Both in classical mechanics and in quantum mechanics, the system has a state, which is its only reality. Measurements reveal part of this reality to a certain accuracy. It is a matter of modeling how the measurement results are related to the true reality - the state. In the statistical mechanics of ##N##-particle systems, what is measured (both in classical and in quantum mechanics) is the expectation of a macroscopic operator, to an accuracy of order ##O(N^{-1/2})##. This is enough to give well-defined pointer readings. Thus no collapse is needed to make the pointer acquire a well-defined position. As a consequence of having definite macroscopic outcomes (plus the Markov approximation) one finds that the dynamics of the subsystem is described by a PDP.

But although the pointer reading is a position measurement of the pointer, what is measured about the particle is not its position but the variable correlated with the pointer reading - which is the photon number or the quadrature. Particle position is as indeterminate as before. Indeed, investigation of the PDP process shows that the collapsed states created by the PDP are approximate eigenstates of the number operator or the quadrature. Thus the PDP can be interpreted in Copenhagen terms as constituting the repeated measurement of particle number or quadrature.

Referring to the position of the pointer makes no difference - when does the pointer acquire a position?
 
  • #103
atyy said:
Referring to the position of the pointer makes no difference - when does the pointer acquire a position?
A macroscopic pointer always has a position, given according to statistical mechanics by the expectation of the operator ##\bar X## corresponding to the center of mass of its ##N\gg 1## particles, to an accuracy of order ##N^{-1/2}## by the law of large numbers. So nothing needs to be acquired - for the pointers I know, this accuracy is much better than the actual reading possible.
 
  • #104
A. Neumaier said:
A macroscopic pointer always has a position, given according to statistical mechanics by the expectation of the operator ##\bar X## corresponding to the center of mass of its ##N\gg 1## particles, to an accuracy of order ##N^{-1/2}## by the law of large numbers. So nothing needs to be acquired - for the pointers I know, this accuracy is much better than the actual reading possible.

Yes, but then one still has the classical/quantum cut or macroscopic/microscopic cut - the macroscopic centre of mass is not the classical expectation, since the macroscopic pointer is made of microscopic particles that do not have positions.
 
  • #105
atyy said:
Yes, but then one still has the classical/quantum cut or macroscopic/microscopic cut - the macroscopic centre of mass is not the classical expectation, since the macroscopic pointer is made of microscopic particles that do not have positions.
There is no sharp cut but a smooth fuzzy boundary, of the same kind as the boundary between the Earth's atmosphere and interplanetary space. The bigger one makes the detector the more classical it becomes as the more accurate become the pointer positions. There is no difference between a classical expectation and a quantum expectation, except by a factor of ##
\sqrt{\hbar/N}##, and this factor is expected because of the differences between quantum predictions and classical predictions. The difference vanishes in the classical limit ##\sqrt{\hbar/N}\to 0##, as it should.
 

Similar threads

Replies
1
Views
2K
Replies
10
Views
3K
Replies
1
Views
1K
Replies
1
Views
1K
Replies
26
Views
8K
Replies
65
Views
8K
Replies
87
Views
6K
Back
Top