Is Heisenberg uncertainty principle a problem of our measuring techniques?

[valekovski]

Hello

I know this topic must have been done to death already, but i can't seem to find a satisfying answer.

As the title suggests, my question is, what experiment proves that the uncertainty principle is not just a result of our flawed measuring techniques? From what i understand, when we probe a particle with a photon of a given wavelength, we change it's momentum (trajectory). The momentum then becomes a wave (probability) function, so we don't know exactly how much the momentum was changed, hence the uncertainty. If we probe the particle with a more charged photon (lower wavelength), the particle's position can be determined with greater accuracy, but it's momentum was changed even more (still not known for exactly how much). Now this experiment only proves the lack of our measuring abilities.

I've also found this youtube link http://www.youtube.com/watch?v=KT7xJ0tjB4A" with the laser through a single slit experiment. Isn't this simple diffraction? So is Heisenberg's principle just a way to describe how we see the physical model or is it a property of nature?

Sorry for the long explanation, i just wanted to give some context to my questions. Thank you for any help. Cheers, Val

 

[atyy]

It is not a question of our experimental incompetence.

It states that exact values of canonically conjugate position and momentum do not simultaneously exist, so they cannot be simultaneously measured.

This guy says it more properly than me:

 

[dextercioby]

Surely they exist, surely they can be simultaneously measured, it's just that by performing simultaneous measurements on an infinity of identically prepared systems, there's not just a unique value measured for x and one for p, respectively, but at least 2 of them (one can't say how many, though), so that the inequality containing \hbar/2 in the rhs be satisfied.

 

[tom.stoer]

The Heisenberg uncertainty principle (HUP) is not a problem due to insufficient precision of measuring decives, but it is a fundamental principle of nature which "exists" in nature w/o any measurement, interaction etc. It follows from the abstract mathematical properties of quantum mechanics (Hilbert space geometry).

But I think you cannot prove this statement using a measurent!

What the "experimental explanations" do (and this is misleading) is to "explain" the HUP in terms of limited accuracy of measurements. Now one can argue that this "explanation" is wrong b/c of the above mentioned fundamental properties of qm, but one cannot prove this mathematical statement using measurements.

Think about a red ball. Think about a measuring device which is able to detect red or green objects "in principle". How can you convince me that 'a ball you have detected is red b/c it is red' and not b/c 'the device only says that it's red even if it's green'? You have to convince me that the device works correctly, i.e. that there is no single detection where it says 'red' in case of a green ball. But the HUP claims that whatever you do with the device and independent from the balls you are using in the experiment the outcome will always be 'red' b/c all balls are red. That means you cannot make one single experiment that proves that the device works with arbitrary high precision and is able to say 'green'. It will never say 'green'.

The conclusion of most scientists is to believe in Heisenberg, forget about the device and believe in all balls being 'red'. But logically there is no problem in believing in some green balls and some incorrect measurements.

 

[atyy]

Surely they exist, surely they can be simultaneously measured, it's just that by performing simultaneous measurements on an infinity of identically prepared systems, there's not just a unique value measured for x and one for p, respectively, but at least 2 of them (one can't say how many, though), so that the inequality containing \hbar/2 in the rhs be satisfied.

How can you simultaneously accurately measure position and momentum?

 

[dextercioby]

How can you simultaneously accurately measure position and momentum?

As far as I'm aware, there's an example in Ballentine's book on quantum mechanics inspired from his famous 1970 RMP article.

 

[atyy]

As far as I'm aware, there's an example in Ballentine's book on quantum mechanics inspired from his famous 1970 RMP article.

I believe Ballentine was wrong. Although he does assign simultaneous position and momentum, the position and momentum he gets are not canonically conjugate.

 

[kith]

How can you simultaneously accurately measure position and momentum?

This is not a question of measurement, but a question of interpreting measurement results. In the statistical interpretation, quantum mechanical states describe ensembles of systems and not single systems themselves. In such an interpretation, the HUP is a statement about these ensembles of systems and there is nothing to prevent you from knowing the exact position and momentum of a single particle.

This is independent from Ballentine's claim, which was discussed in the other thread.

 

[atyy]

This is not a question of measurement, but a question of interpreting measurement results. In the statistical interpretation, quantum mechanical states describe ensembles of systems and not single systems themselves. In such an interpretation, the HUP is a statement about these ensembles of systems and there is nothing to prevent you from knowing the exact position and momentum of a single particle.

This is independent from Ballentine's claim, which was discussed in the other thread.

Hmmm, what is the statistical interpretation? I thought it meant that only ensembles have meaning, so the momentum of a single particle doesn't make sense, let alone its momentum and position?

 

[kith]

Hmmm, what is the statistical interpretation? I thought it meant that only ensembles have meaning, so the momentum of a single particle doesn't make sense, let alone its momentum and position?

Well, there is the minimal statistical interpretation, which is roughly what you describe. However, additional assumptions can be made. An ensemble of particles with position distribution ψ(x) and momentum distribution ψ(p) can't be experimentally distinguished from an ensemble of particles with individual wavefunctions ψ(x).

 

[atyy]

Well, there is the minimal statistical interpretation, which is roughly what you describe. However, additional assumptions can be made. An ensemble of particles with position distribution ψ(x) and momentum distribution ψ(p) can't be experimentally distinguished from an ensemble of particles with individual wavefunctions ψ(x).

So to each particle, one assigns two wavefunctions (ψ_x(x),ψ_p(p))?

 

[kith]

No, the wavefunctions are obtained in the usual way and are related by the Fourier transform.

The minimal interpretation says: when we measure an ensemble, we get the predicted outcome. We don't make statements about the reality of single systems.

A possible extended version says: when we measure an ensemble, we get the predicted outcome. This is because the systems in our ensemble have well-defined properties λ at all times, distributed according to <λ|ψ>.

 

[atyy]

No, the wavefunctions are obtained in the usual way and are related by the Fourier transform.

The minimal interpretation says: when we measure an ensemble, we get the predicted outcome. We don't make statements about the reality of single systems.

A possible extended version says: when we measure an ensemble, we get the predicted outcome. This is because the systems in our ensemble have well-defined properties λ at all times, distributed according to <λ|ψ>.

Hmm, does that lead to a unique assignment of position and momentum for each member of the ensemble?

 

[kith]

Yes.

 

[atyy]

Yes.

Does it mean "identically" prepared systems don't have identical properties?

 

[kith]

In terms of such an interpretation, you don't prepare individual systems. You prepare ensembles.

 

[atyy]

In terms of such an interpretation, you don't prepare individual systems. You prepare ensembles.

Sneaky! Ok, point me to some good references so I can read about this stuff.

 

[eaglelake]

How can you simultaneously accurately measure position and momentum?

Consider an interference experiment where a particle has passed through a slit, or a system of slits, and is detected on a distant screen. We measure the scattering angle \theta.
Then we know simultaneousely the values of both position and momentum: y = L\tan \theta, where L is the distance from slits to screen and p_y = p\sin \theta.
The accuracy of the measurements is as good as allowed by the instruments used to measure the scattering angle \theta.
Best wishes

 

[kith]

Sneaky! Ok, point me to some good references so I can read about this stuff.

Sneaky? Although few phycisists stick to it, the ensemble interpretation is pretty standard. The version you are interested in was first advocated by Einstein and more recently by Ballentine (see his 1970 paper).

An extreme version of the ensemble interpretation was proposed this year by Smolin:
http://arxiv.org/abs/1104.2822

 

[atyy]

Consider an interference experiment where a particle has passed through a slit, or a system of slits, and is detected on a distant screen. We measure the scattering angle \theta.
Then we know simultaneousely the values of both position and momentum: y = L\tan \theta, where L is the distance from slits to screen and p_y = p\sin \theta.
The accuracy of the measurements is as good as allowed by the instruments used to measure the scattering angle \theta.
Best wishes

The assigned position and momentum are not canonically conjugate.

 

[atyy]

Sneaky? Although few phycisists stick to it, the ensemble interpretation is pretty standard. The version you are interested in was first advocated by Einstein and more recently by Ballentine (see his 1970 paper).

An extreme version of the ensemble interpretation was proposed this year by Smolin:
http://arxiv.org/abs/1104.2822

Thanks!

 

[Runner 1]

Perhaps take a look at my post I wrote a few days ago:

https://www.physicsforums.com/showpost.php?p=3544398&postcount=46

 

[Fredrik]

As far as I'm aware, there's an example in Ballentine's book on quantum mechanics inspired from his famous 1970 RMP article.

There's an example in the 1970 article. Was it also included in the book? I tried to find it there a few months ago, but was unsuccessful. (I just quickly flipped through the pages of the sections where I thought it might appear, and didn't see anything that looked like it).

Regarding the example in the 1970 article, there was some debate about it in that thread from a few months ago, but we were unable to determine if that experiment should be considered a momentum measurement or not. atyy argued that it shouldn't. I don't understand why, but I still haven't read the articles that inspired his thoughts on the matter.

 

[Fredrik]

Does it mean "identically" prepared systems don't have identical properties?

In terms of such an interpretation, you don't prepare individual systems. You prepare ensembles.

Since the preparation procedure is applied to an individual system, I would answer atyy's question with "yes". (This is assuming that we're talking about the statistical interpretation described by Ballentine's 1970 article, according to which all particles have well-defined positions...even when their wavefunctions are spread out over some region of space). For example, the preparation may consist of sending a particle through a small hole. This preparation is represented by a wavefunction that's more or less constant over the hole and rapidly falls to zero at its edges. So in Ballentine's interpretation, one particle that's subjected to that preparation procedure may end up in the "left" part of the hole while the next one may end up in the "right" part of the hole. They wouldn't have the same properties, in spite of their identical preparations. Since the wavefunction represents the preparation (actually it represents an equivalence class of preparations), they would still have the same wavefunction.

This would imply that wavefunctions don't represent the properties of the individual systems, but that may very well be true even if particles don't have well-defined positions.

 

[dextercioby]

The assigned position and momentum are not canonically conjugate.

Can you prove that ?

 

[Demystifier]

Regarding the example in the 1970 article, there was some debate about it in that thread from a few months ago, but we were unable to determine if that experiment should be considered a momentum measurement or not. atyy argued that it shouldn't. I don't understand why, but I still haven't read the articles that inspired his thoughts on the matter.

I haven't seen the debate on this forum, but I can present a simple reason why the Ballentine's experiment is NOT a measurement of momentum p_y. The point is that in this experiment p_y is NOT MEASURED but CALCULATED. Measurement and calculation are not the same. A calculation always contains an additional theoretical assumption which a true measurement does not need to use.

More specifically, p_y is calculated as
p_y = p sin theta
and this equation is correct only if one ASSUMES that the particle has been moving along a definite straight trajectory and with a constant momentum before it hitted the detector (at position y = L tg theta). However, since such a trajectory has not been measured, there is no theory-independent justification for such an assumption.

If, on the other hand, one accepts the Ballentine's experiment as a valid measurement of momentum, then it is equivalent to an acceptance of the idea that particles may have trajectories even when they are not measured. That's fine, as long as one is aware that we do not have a direct experimental confirmation that this idea is correct. Indeed, the trajectory tacitly assumed in the Ballentine's experiment exactly coincides with the Bohmian trajectory. It is well known that Bohmian trajectories are consistent with QM, and yet that a direct experimental verification of their reality does not exist.

So, loosely speaking, one could say that the Ballentine's measurement of p_y assumes that the Bohmian interpretation is right, even if he is not aware of it.

 

[Fra]

I haven't seen the debate on this forum

I think it was this thread: https://www.physicsforums.com/showthread.php?t=516224&page=18

/Fredrik

 

[Demystifier]

I think it was this thread: https://www.physicsforums.com/showthread.php?t=516224&page=18

/Fredrik

Thanks, now I have linked my post above in that thread as well.

 

[atyy]

I think it was this thread: https://www.physicsforums.com/showthread.php?t=516224&page=18

/Fredrik

Thanks for the link!

Can you prove that ?

Not personally. My understanding is based on http://tf.nist.gov/general/pdf/1283.pdf and http://www.mpq.mpg.de/qdynamics/publications/library/Nature395p33_Duerr.pdf . The position at "infinity" reflects the momentum immediately after the particle has passed through the slit.

There are elements of Demystifier's argument in post #26 which I think should also come into play, since my naive expectation is that if the position measurement at a late time measures the momentum at an earlier time, then the collapse should be to the early time momentum eigenstate, rather than a late time position eigenstate.

 

[Demystifier]

The assigned position and momentum are not canonically conjugate.

Can you prove that ?

Not personally.

Isn't the proof trivial?
Assume that they are canonically conjugate. Then, by definition,
[x,p]=i hbar
There is a well known theorem saying that this commutation relation implies
Δx Δp ≥ hbar/2
But this is in contradiction with the result that Δx Δp may be arbitrarily small, which implies that the assumption above is not true. Hence, they are not canonically conjugate. Q.E.D.

 

[Demystifier]

There are elements of Demystifier's argument in post #26 which I think should also come into play, since my naive expectation is that if the position measurement at a late time measures the momentum at an earlier time, then the collapse should be to the early time momentum eigenstate, rather than a late time position eigenstate.

In the Ballentine's experiment, the collapse occurs only at the late time. It is a collapse into a position eigenstate. No collapse at an earlier time and no collapse into a momentum eigenstate occurs.

 

[Demystifier]

Let me attack the Ballentine's measurement of p_y from yet another point of view.

One can say that an experiment measured quantity A if the value of A obtained in this way provides a useful information which can be used for PREDICTIONS on later experiments. The question is: Can the value p_y obtained in the Ballentine's way be used for predictions on any later experiments?* I cannot see how it possibly could.**

*Here I mean predictions which couldn't be maid by knowing y alone.
**But I would be very happy if someone would show that it could, because it would imply that Bohmian interpretation leads to new useful predictions.

 

[dextercioby]

Isn't the proof trivial?
Assume that they are canonically conjugate. Then, by definition,
[x,p]=i hbar
There is a well known theorem saying that this commutation relation implies
Δx Δp ≥ hbar/2
But this is in contradiction with the result that Δx Δp may be arbitrarily small, which implies that the assumption above is not true. Hence, they are not canonically conjugate. Q.E.D.

What is the meaning of Δx you take ?

 

[tom.stoer]

What is the meaning of Δx you take ?

seems you already discussed this years ago https://www.physicsforums.com/showthread.php?t=66442

 

[Fredrik]

I haven't seen the debate on this forum, but I can present a simple reason why the Ballentine's experiment is NOT a measurement of momentum p_y. The point is that in this experiment p_y is NOT MEASURED but CALCULATED.

I reject that argument. A full definition of QM would include a definition of "momentum measurement". When we write down such a definition, we can choose to include Ballentine's technique among the things we call "a momentum measurement", and we can choose not to. These choices define two slightly different theories. The only thing that matters to me is which one of these theories has the best agreement with measurements.

So let's call QM without this measuring technique QM1, and QM with it QM2. The predictions made by QM1 is a proper subset of the predictions made by QM2. QM2 simply makes more (testable) predictions than QM1. The only thing I consider relevant is the accuracy of those "extra" predictions. In the other thread atyy argued that they wouldn't be very accurate, but I still haven't made the effort to try to understand the articles he suggested. If he's right, that would be a good reason to define QM=QM1 rather than QM=QM2.

More specifically, p_y is calculated as
p_y = p sin theta
and this equation is correct only if one ASSUMES that the particle has been moving along a definite straight trajectory and with a constant momentum before it hitted the detector (at position y = L tg theta). However, since such a trajectory has not been measured, there is no theory-independent justification for such an assumption.

Considerations such as these are meant to help us choose which devices we're going to consider measuring devices corresponding to a given mathematical observable. The choices we make become part of the definition of the theory. I don't think it's reasonable to demand strong theory-independent arguments for the choices that define the theory.

If, on the other hand, one accepts the Ballentine's experiment as a valid measurement of momentum, then it is equivalent to an acceptance of the idea that particles may have trajectories even when they are not measured.

I don't think it has anything to do with that.

Isn't the proof trivial?
Assume that they are canonically conjugate. Then, by definition,
[x,p]=i hbar
There is a well known theorem saying that this commutation relation implies
Δx Δp ≥ hbar/2
But this is in contradiction with the result that Δx Δp may be arbitrarily small, which implies that the assumption above is not true. Hence, they are not canonically conjugate. Q.E.D.

The deltas in Δx Δp ≥ hbar/2 can be thought of as properties of states, preparation procedures, or the statistical distribution of results around the mean. They are not defined as measures of how inaccurate a measurement is. Ballentine's 1970 article used the single-slit experiment specifically to make that point.

The uncertainty relations hold in both QM1 and QM2, because they are theorems in the mathematics shared by both theories, but in QM2, the product of the measurement uncertainties can in principle be made arbitrarily small. (This might be true in QM1 too; it depends on whether there's a similar argument based on the definition of some other measuring device).

 

[atyy]

I haven't seen the debate on this forum, but I can present a simple reason why the Ballentine's experiment is NOT a measurement of momentum p_y. The point is that in this experiment p_y is NOT MEASURED but CALCULATED. Measurement and calculation are not the same. A calculation always contains an additional theoretical assumption which a true measurement does not need to use.

More specifically, p_y is calculated as
p_y = p sin theta
and this equation is correct only if one ASSUMES that the particle has been moving along a definite straight trajectory and with a constant momentum before it hitted the detector (at position y = L tg theta). However, since such a trajectory has not been measured, there is no theory-independent justification for such an assumption.

If, on the other hand, one accepts the Ballentine's experiment as a valid measurement of momentum, then it is equivalent to an acceptance of the idea that particles may have trajectories even when they are not measured. That's fine, as long as one is aware that we do not have a direct experimental confirmation that this idea is correct. Indeed, the trajectory tacitly assumed in the Ballentine's experiment exactly coincides with the Bohmian trajectory. It is well known that Bohmian trajectories are consistent with QM, and yet that a direct experimental verification of their reality does not exist.

So, loosely speaking, one could say that the Ballentine's measurement of p_y assumes that the Bohmian interpretation is right, even if he is not aware of it.

Is your objection in the same spirit as Bell's comment https://www.physicsforums.com/showpost.php?p=3428572&postcount=89, ie. a measurement should be able to measure based on arbitrary states, not only a special class of states (ie. if we know the state already, then we can measure everything without measurement, so it should be prohibited from having any knowledge of the state for a procedure to be called measurement)?

 

[Demystifier]

Is your objection in the same spirit as Bell's comment https://www.physicsforums.com/showpost.php?p=3428572&postcount=89, ie. a measurement should be able to measure based on arbitrary states, not only a special class of states (ie. if we know the state already, then we can measure everything without measurement, so it should be prohibited from having any knowledge of the state for a procedure to be called measurement)?

No, it's unrelated.

 

[Demystifier]

So let's call QM without this measuring technique QM1, and QM with it QM2. The predictions made by QM1 is a proper subset of the predictions made by QM2. QM2 simply makes more (testable) predictions than QM1.

Can QM2 be falsified (in the Popper sense) without QM1 being falsified? In other words, what result of an experiment would make you conclude that QM2 is wrong while QM1 is still potentially right?

 

[Fredrik]

Can QM2 be falsified (in the Popper sense) without QM1 being falsified? In other words, what result of an experiment would make you conclude that QM2 is wrong while QM1 is still potentially right?

If we perform the experiment that Ballentine describes, and find that the distribution of results isn't given by p_y\mapsto|\langle p_y|\psi\rangle|^2, then I would say that QM2 has been falsified.

If there's a solid argument that shows that this would somehow falsify QM1 as well, then I would say that QM=QM2 is definitely the appropriate definition, regardless of what we find in the actual experiment. If there's no such argument, then I would define QM=QM1 if the experiment falsifies QM2, and QM=QM2 if it doesn't.

 

[Demystifier]

If we perform the experiment that Ballentine describes, and find that the distribution of results isn't given by p_y\mapsto|\langle p_y|\psi\rangle|^2, then I would say that QM2 has been falsified.

Fine!

I haven't worked out the calculation in detail, but it is rather straightforward to see that in QM2 the probability of p_y is NOT |\langle p_y|\psi\rangle|^2. Namely, in QM2 p_y is determined by the position y, so the probability of p_y is related to the probability of y, which is |\langle y|\psi\rangle|^2. In other words, the probability amplitude of p_y in QM2 is related to \langle y|\psi\rangle and not to its Fourier transform \langle p_y|\psi\rangle. Thus, QM2 is already falsified, as it is already experimentally tested that the probability of y is given by |\langle y|\psi\rangle|^2.

 

[atyy]

I haven't worked out the calculation in detail, but it is rather straightforward to see that in QM2 the probability of p_y is NOT |\langle p_y|\psi\rangle|^2. Namely, in QM2 p_y is determined by the position y, so the probability of p_y is related to the probability of y, which is |\langle y|\psi\rangle|^2. In other words, the probability amplitude of p_y in QM2 is related to \langle y|\psi\rangle and not to its Fourier transform \langle p_y|\psi\rangle. Thus, QM2 is already falsified, as it is already experimentally tested that the probability of y is given by |\langle y|\psi\rangle|^2.

Actually, this was what I had in mind as a simple proof. The specific counter example that Ballentine is actually making an accurate measurement of a momentum at a different time just makes sure there's no loophole for this argument.

I don't understand why you think the calculation objection isn't the same as the requirement that a measurement give a result for an arbitrary state. In an extreme example for the latter, knowing the state allows you to calculate everything, but those calculations are clearly not measurements.

 

[Fredrik]

Fine!

I haven't worked out the calculation in detail, but it is rather straightforward to see that in QM2 the probability of p_y is NOT |\langle p_y|\psi\rangle|^2. Namely, in QM2 p_y is determined by the position y, so the probability of p_y is related to the probability of y, which is |\langle y|\psi\rangle|^2. In other words, the probability amplitude of p_y in QM2 is related to \langle y|\psi\rangle and not to its Fourier transform \langle p_y|\psi\rangle. Thus, QM2 is already falsified, as it is already experimentally tested that the probability of y is given by |\langle y|\psi\rangle|^2.

That makes a lot of sense. I might just have to do those calculations. Maybe it still works in an appropriate limit, either L→∞ or L→0.

(L = distance from the slit to the photographic plate/wall of detectors/whatever).

 

[Demystifier]

That makes a lot of sense. I might just have to do those calculations.

The following paper by A. Peres may also be helpful or relevant:
http://xxx.lanl.gov/abs/quant-ph/9910123 [Am. J. Phys. 68 (2000) 991]

 

[Fra]

I definitely get your point, but I still would like to add this subtle note:

Inferences makes use of inference rules, priors, new information (input) to produce an output(a posterior), quite like a "calculation".
So even merging RAW data from a detector requires equivalents of "calculation" as it relies on priors and inference rules.

The point is that in this experiment p_y is NOT MEASURED but CALCULATED. Measurement and calculation are not the same. A calculation always contains an additional theoretical assumption which a true measurement does not need to use.

This leads me to question the notion of "true measurents". Are there any true measurements that does note rely on prior "assumptions" (read prior state + current state of inferenece rules). I don't think so, becaause even the simple act of ENCODING, PROCESSING and STORING the raw sequencial information about detector hits requires processing that is on par with "calculations".

I'm arguing for a much more extreme version of what is hinted by others... for example in smolins principle of relativity paper(http://arxiv.org/abs/1101.0931) he expresses the idea thta there is no direct observation of spacetime events, they say "The idea that we live in a spacetime is constructed by inference from our measurements of momenta and energy"

I think what they hint, should be taken to more extremes. The question then is thta it seems that some "calculations" (inference rules) are favoured by nature, while some aren't. Thea idea would then be that there is a different betwen a random ad hoc calculations containing wild and irrational assumptions, and the kind of "rational inference" that you would expect for example from a "rational player" that recalculates his odds according to probability theory. Here his "calculation" is uniquely determined by the same conditions that singles out probability as a unique system for manipulating degres of beleifs in a rational way - in the generalizeds sense he then "measures" the odds!
http://arxiv.org/abs/0908.3212
http://bayes.wustl.edu/etj/reviews/review.cox.pdf
Ariels idea is that the laws of physics - corresponding to the "deductive machinery" we use for "calculations" and that also nature ITSELF uses for interactions follow from uinque rules of rational inference.

Thus my take on the example of this was - if we take the measuremnt of y and p_y to be a form of generla inference (rather than specific QM "measurement" on a well define regular STATE), what is the correct inference to use (calculcation) and what is the generalization of STATE we need when we are mixing information from a complex apparatous rather than a pointlike detector?

My suggestion was that in the state represented by combining information and inference in the way in ballentines example should include the L tan theta as uncertainty of y - if we do, HUP still holds if we also add that the uncertainty of the position of the particle hit is never more accurate than say the order of it's broglie wavelenght no matter if the actual sensor small is pointlike.

So if we require that the "calculation" follows some kind of rational inference, then I think it would also qualify as a generalized measurement (not measurmeent in the sense of obvserving a detector hit, but measurement as "infering an information state")

Then I don't think one needs to assume that the particle follows a certain path between slit and screen, because the information just tells us that we have initial and final points, and all we can infer is an expectation of some "average path", but then also average position of y during hte process.

This isn't formal arguments and I think that to make it fully formal one would need to work out this generalized formalism. But intuitively I think the concept of generalized measurements makes sense and if QM can't handle it, then I think we need to improve it.

/Fredrik

 

[Demystifier]

Fra, I agree with you that all measurements involve some additional assumptions and even calculations. However, a "true" measurement should give a useful information that can be used for predictions on later measurements, as I explained in post #32.

 

[Fra]

I agree predictivity is important. I'm not prepare to be very explicit but long time ago I noted to you that there are some similarities between "hidden variables" and the subjective inferences in my view, because the subjective views does rule the local action but since they are not objective - they are "hidden" in the obivous sense. Although I know we probably represent opposite extreems in our visions.

My idea is that the SPECIFIC calculation (specific inference rules in my language) does lead to predictions in terms of how the system encoding the inference rules behaves from the perspective of another observer. In clear it means that the classical input, such as hamiltonians are EXPLAINED in terms of rational inference. But the specific hamiltonian itself encodes the system "inference rules" and defines how it responds to the environment.

But the entire picture here quite involved and has several problems. But a key to make progress in this view is to understand these "generalized inferences". Actuall the notion of "prediction" is generalized as well because the way to falsify this is not in the simple sense as failing a single predictions, the falsificiation requires that the observer completely FAILS to learn from input - this means his rational inference is unfit. The same mechanis is the idea why nature itself (such as atoms and all of SM physics) is "tuned" for certain specific rules if inference.

I don't think it's possible to explain this using the simple
if inference(i) <> observaton(i) => inference is false; because the interesting things is that a good inference is selftuning and will converge to correct observations when it has thrived on sufficient amount of data - ie it requires adapation.

In my view, only failing to adapt means "falsified". beeing wrong in single predictions is all part of the interaction.

I know this is opposite thinking from BM, but the common factor is "hidden logic". In my view the point is that even the "space of logic" is not konwn, therefor any attempt or anzats to assume a probability distribution of hte set of inference rules will fail. It's just not how it works. Yet the hidden inference rules is important.

Edit: I guess one cold also say that the "local decision problem" is exactly what is hidden; yet this is exactly what explains the interactions.

/Fredrik