- #106
fxdung
- 388
- 23
Schroedinger equation is one in infinite configurations to contruct QFT,so QFT can be reduced to QM?
fxdung said:Schroedinger equation is one in infinite configurations to contruct QFT,so QFT can be reduced to QM?
fxdung said:And there is not the ''difference'' between quantum measure theory and the making average by statistical ensemble.The saying about the ''collapse'' of eigenstate in processes of measurement is equivalent with saying about statistical ensemble?I think the saying about statistical ensemble more general than the saying about the collapse of eigenstate in a process of measurement.The later is a special case of the former.
This is because I interpret what people actually do when doing statistical physics and QFT, rather than what they say in the motivational introduction. It is very easy to verify that my view is the correct one for statistical mechanics and finite time QFT, no matter how unconventional it may sound on first sight.atyy said:I am not sure exactly what A. Neumaier means, reading through the thread it is clear his view is extremely unconventional
But as I had pointed out in post #31, during this apparent ''derivation'' one has to introduce in an ad hoc wayatyy said:So as Demystifier pointed out earlier in post #23, one can do relativistic QFT -> non-relativistic QFT -> non-relativistic QM.
Fields are space-time dependent. If you look at a field at different times or different places you look at different observables. Thus, strictly speaking, it is impossible to measure anything repeatedly. (It can be done only under an additional stationarity assumption.)fxdung said:in QFT if we consider many times on the same quantum of field , the Born's rule (meaning the ''collapse'')will appear.Is that right?
A. Neumaier said:This is because I interpret what people actually do when doing statistical physics and QFT, rather than what they say in the motivational introduction. It is very easy to verify that my view is the correct one for statistical mechanics and finite time QFT, no matter how unconventional it may sound on first sight.
But as I had pointed out in post #31, during this apparent ''derivation'' one has to introduce in an ad hoc way
This makes the difference between the ontologies.
- (i) particle position and momentum operators by hand - via a nonphysical extension of the Hilbert space, and
- (ii) an external classical reality that collapses the probabilities to actualities.
The predictions of QFT (field values, correlation functions, semiconductor behavior, chemical reaction rates) are valid for each single macroscopic system, without needing any foundational blabla on eigenvalues, probability, or collapse.
While QM, if strictly based on the traditional axioms, is valid only for measuring discrete observables exactly, and predicts for an individual system nothing at all, for almost all observables.
I should add that most practitioners in QM and QFT get useful results since they don't care about the traditional, far too restrictive axioms or postulates of QM. They apply whatever is needed in any way that is convincing enough for their colleagues. The foundations are not true foundations but post hoc attempts to put the mess on a seemingly sounder footing.
You didn't understand. Statistical mechanics can start with Hilbert spaces, unitary dynamics for operators, density operators for Heisenberg states, the definition ofatyy said:QFT has all the same postulates as QM (state is vector in Hilbert space, probabilities given by Born rule, collapse of the wave function etc), including the need for the classical apparatus, with all the problems that entails.
Everything deduced in statistical mechanics about macroscopic properties follows from this without ever invoking ''probabilities given by Born rule, collapse of the wave function etc), including the need for the classical apparatus, with all the problems that entails''. Look into an arbitrary book on statistical physics and you'll never find such an invocation, except in the beginning, where the formula ##\langle A\rangle:=\mbox{tr}~\rho A## is derived! Thus one can skip this derivation, make this formula an axiom, and has a completely self-consistent setting in which the classical situation is simply the limit of a huge number of particles.A. Neumaier said:the practice of statistical mechanics says:
''Upon measuring a Hermitian operator ##A##, the measured result will be approximately ##\bar A=\langle A\rangle##, with an uncertainty at least of the order of ##\sigma_A=\sqrt{\langle (A-\bar A)^2\rangle}##. If the measurement can be sufficiently often repeated (on an object with the same or sufficiently similar state) then ##\sigma_A## will be a lower bound on the standard deviation of the measurement results.''
A. Neumaier said:You didn't understand. Statistical mechanics can start with Hlbert spaces, unitary dynamics for operators, density operators for Heisenberg states, the definition of ##\langle A\rangle:=\mbox{tr}~\rho A## as mathematical framewok, and the following rule for interpretation:
Everything deduced in staistical mechanics about macroscopic properties follows from this without ever invoking ''probabilities given by Born rule, collapse of the wave function etc), including the need for the classical apparatus, with all the problems that entails''. Look into an arbitrary book on statistical physics and you'll never find such an invocation, exept in the beginning, where the formula ##\langle A\rangle:=\mbox{tr}~\rho A## is derived! Thus one can skip this derivation, make this formula an axiom, and has a completely self-consistent setting in which the classical situation is simply the limit of a huge number of particles.
Neither Wikipedia nor Dirac nor Messiah calls this the Born rule.atyy said:##\langle A\rangle:=\mbox{tr}~\rho A## is the Born rule.
##T=0## is an unphysical limiting case that can be derived as such a limit from statistical mechanics. The meaning of the rules (EX) and (SM) remains intact in this limit.atyy said:Also, there is quantum mechanics without statistical mechanics (eg. T=0).
A. Neumaier said:The meaning according to Born's probability definition is unclear as it is ''derived'' using plausibility arguments that lack a clear support in the postulates. Born's original paper says only something about the probability of simultaneously measuring all particle positions. One can deduce from this a statistical interpretation of ##\langle A\rangle## only if ##A## is a funcion of the position operators. But even if one generalizes this to aritrary Hermitian operators, as it is generally done, the derivation says nothing about the individual case but only asserts that if you measure ##A## sufficiently often you'll get on the average ##\langle A\rangle##. However, Born's rule says that you always get exact values ##0## or ##1## when you measure a projection operator (whatever this is supposed to mean for an abitrary projection opeator - the fondations are silent about when a measurement measures ##A##) - which is statemnt different from (SM). Thus the interpretations are not equivalent.
You would have to derive this from the Born rule as given in the official sources. The precise form given depends on the source, though, so you'd be clear about which form you are using.atyy said:Hmmm, the Born rule should give the complete probability distribution, from which we know the only values are 0 or 1. The complete probability distribution is given by assuming that the Born rule gives the expectation values of all observables that commute with A.
A. Neumaier said:You would have to derive this from the Born rule as given in the official sources. The precise form given depends on the source, though, so you'd be clear about which form you are using.
Something in ths statement is strange since cumulants are numbers, not operators, so they commute with everything.atyy said:I think I should be able to get all cumulants from the Born rule, since the cumulants commute with A and are expectation values .. ?
A. Neumaier said:Something in ths statement is strange since cumulants are numbers, not operators, so they commute with everything.
I know of different ways to ''get'' the result you want from appropriate versions of the Born rule. But the ''derivations'' in the textbooks or other standard references I know of are all questionable. The challenge is to provide a derivation for which all steps are physically justified.
As I said, that cannot be. Both pictures are completely equivalent. So the interpretation about the relation of the formalism to observations in physics cannot depend on the picture of time evolution used (modulo mathematical problems a la Haag's theorem concerning the non-existence of the interaction picture of relativistic QFT; here you have to take the common practice of using the perturbative (partially resummed) evaluations of S-matrix elements, being compared to measured cross sections and spectral shapes of unstable resonances with the usual renormalization prescriptions as the theory).Demystifier said:I was not sufficiently precise. What I meant is that in some interpretation only one of the pictures may be appropriate. For example, in the many-world interpretation only the Schrodinger picture is appropriate.
In Landau and Lifshitz (and most probably also in Messiah, which I can't check at the moment) everything is discussed in terms of wave functions, which is a picture-independent quantity, i.e., of the form ##\psi(t,\alpha)=\langle \alpha,t|\psi,t \rangle##, where the state ket ##|\psi,t \rangle## and the eigenvectors of operators ##|\alpha,t \rangle## develop in time with two arbitrary self-adjoint operators ##\hat{X}(t)## and ##\hat{Y}(t)## with ##\hat{X}(t)+\hat{Y}(t)=\hat{H}##, where ##\hat{H}## is the Hamiltonian of the system. These operators define two unitary time-evolution operators through the equations of motionA. Neumaier said:One can generalize everything to weaken arguments aimed at the ungeneralized version. The conventional axioms of QM say how the state of a system changes through a perfect measurement. [See, e.g., Messiah I, end of Section 8.1, or Landau & Lifschitz, Vol. III, Chapter I, Par. 7.] This is a context that makes sense only in the ordinary Schroedinger picture.
The two pictures are not equivalent. They only have the same measurable predictions, just as all interpretations have the same measurable predictions. Of course, you may say that this means that all interpretations are also equivalent, but that would miss the very point of interpretations. The point of interpretations is not merely to make predictions. The point of interpretations is to give an intuitive idea of what is really going on. If some interpretation (such as MWI) says that ##\psi(t)## is a really existing physical quantity (not merely a calculation tool) that really depends on time ##t##, then it makes sense only in the Schrodinger picture. From the MWI point of view, the true physics happens only in the Schrodinger picture, while Heisenberg picture is only a convenient calculation tool.vanhees71 said:As I said, that cannot be. Both pictures are completely equivalent. So the interpretation about the relation of the formalism to observations in physics cannot depend on the picture of time evolution used (modulo mathematical problems a la Haag's theorem concerning the non-existence of the interaction picture of relativistic QFT; here you have to take the common practice of using the perturbative (partially resummed) evaluations of S-matrix elements, being compared to measured cross sections and spectral shapes of unstable resonances with the usual renormalization prescriptions as the theory).
Admittedly, I've never understood the point of the many-worlds interpretation, but if it depends on the choice of the picture, it's not compatible with standard QT.
Sure - there is no difference in the treatment of the unitary case. The differences in derivation, claims, and interpretation appear only when discussing measurement, which is interaction with an - unmodelled - detector. Then there is a considerable difference how different authors proceed, unless one copied from the other. My statement was made in the context of a perfect (von Neumann) measurement.vanhees71 said:In Landau and Lifshitz (and most probably also in Messiah, which I can't check at the moment) everything is discussed in terms of wave functions, which is a picture-independent quantity, i.e., of the form ##\psi(t,\alpha)=\langle \alpha,t|\psi,t \rangle##, where the state ket ##|\psi,t \rangle## and the eigenvectors of operators ##|\alpha,t \rangle## develop in time with two arbitrary self-adjoint operators ##\hat{X}(t)## and ##\hat{Y}(t)## with ##\hat{X}(t)+\hat{Y}(t)=\hat{H}##, where ##\hat{H}## is the Hamiltonian of the system. These operators define two unitary time-evolution operators through the equations of motion
$$\dot{\hat{A}}(t)=\mathrm{i} \hat{X}(t) \hat{A}(t), \quad \hat{A}(t=0)=1,$$
$$\hat{\hat{C}}(t)=-\mathrm{i} \hat{Y}(t) \hat{C}(t), \quad \hat{C}(t=0)=1.$$
Then
$$|\alpha,t \rangle=\hat{A}(t) |\alpha,t=0 \rangle, \quad |\psi,t \rangle=\hat{C}(t) |\psi,t \rangle,$$
and from that you get for the wave function
$$\psi(t,\alpha)=\langle \alpha,t|\psi,t \rangle = \langle \alpha,t=0 |\hat{A}^{\dagger}(t) \hat{C}(t)|\psi,t=0 \rangle,$$
and thus the equation of motion of the wave function is picture independently given by the usual Schrödinger equation
$$\mathrm{i} \partial_t \psi(t,\alpha)=\hat{H} \psi(t,\alpha),$$
where ##\hat{H}## here stands for the representation of the Hamilton operator in the ##\alpha## basis.
I don't know, what you mean by ##\psi(t)##. Is it a Hilbert-space vector representing a pure state? If so, then it's picture dependent. Is it a wave function ##\psi(t,\vec{x})## for a single particle wrt. to the position representation? Then it's picture independent and its physical meaning is that ##|\psi(t,\vec{x})|^2## is probability distribution to find the particle at position ##\vec{x}##. That's observable by making a measurement on an ensemble of equally and stochatically independently (uncorrelated) prepared particles. I think this minimal interpretation of QT, referring to the observable facts (and that's what physics is about and not to "explain the world"), is common to all interpretations of QT. If some interpretation differs from this, it's a new theory, contradicting QT in at least one observable fact, and then this is testable empirically. Any interpretation that claims that you have observable differences depending on the picture of time evolution chosen, claims that QT is incorrect and must be substituted by another theory that prefers one picture over any other. As far as I know, there's no hint that such a modification of QT is necessary.Demystifier said:The two pictures are not equivalent. They only have the same measurable predictions, just as all interpretations have the same measurable predictions. Of course, you may say that this means that all interpretations are also equivalent, but that would miss the very point of interpretations. The point of interpretations is not merely to make predictions. The point of interpretations is to give an intuitive idea of what is really going on. If some interpretation (such as MWI) says that ##\psi(t)## is a really existing physical quantity (not merely a calculation tool) that really depends on time ##t##, then it makes sense only in the Schrodinger picture. From the MWI point of view, the true physics happens only in the Schrodinger picture, while Heisenberg picture is only a convenient calculation tool.
The description of filter preparation procedure (often inaccurately called a "measurement") is also independent of the choice of the picture of time evolution. It is also not defined in terms of abstract mathematical entities of the formalism but by a concrete experimental setup. Any description of a Stern-Gerlach experiment for the "advanced lab" ("Fortgeschrittenenpraktikum") is a paradigmatic example.A. Neumaier said:Sure - there is no difference in the treatment of the unitary case. The differences in derivation, claims, and interpretation appear only when discussing measurement, which is interaction with an - unmodelled - detector. Then there is a considerable difference how different authors proceed, unless one copied from the other. My statement was made in the context of a perfect (von Neumann) measurement.
Everyone seems to make the assumptions that the various forms are equivalent, but few seem prepared to prove it...atyy said:I was thinking of doing like you did above, so that the variance is ##\sigma_A=\sqrt{\langle (A-\langle A \rangle)^2\rangle}##.
Actually, there is a different definition of the Born rule eg. http://arxiv.org/abs/1110.6815 given as rule II.4 on p8:
##p_{x} = Tr [P_{x} \rho P_{x}]##
But I have always assumed the two forms are equivalent.
This is an extremely special case of QM, far too special for anything that could claim to be a foundation for all of quantum mechanics. It can serve as a motivation and introduction, but not as a foundation. (And the author doesn't claim to give one.)Paris said:by system we refer to a single given degree of freedom (spin, position, angular momentum,...) of a physical entity. Strictly speaking we are going to deal with systems described by finite-dimensional Hilbert spaces and with observable quantities having a discrete spectrum.
wikipedia said:If we are given a wave functionfor a single structureless particle in position space, this reduces to saying that the probability density functionfor a measurement of the position at timewill be given by [PLAIN]https://upload.wikimedia.org/math/8/2/b/82b20d585c65a498143e1efda64eefa5.png[PLAIN]https://upload.wikimedia.org/math/9/8/c/98c5c92074973386aa8bca86bde81273.png[/QUOTE]
(which is essentially Born's original interpretation from 1926 - he didn't consider observables other than position coordinates)
doesn't follow but needs even more machinery from functional analysis about the existence of the joint spectrum for a set of commuting self-adjoint operators. it is very strange that the foundations of quantum mechanics should depend on deep results in functional analysis...
Paris goes on to say on p.3,
This is incorrect since according to every interpretation of quantum mechanics, the dynamics of an isolated system is always unitary and it cannot be observed, since observation is possible only when the system interacts with a detector.Paris said:As it is apparent from their formulation, the postulates of quantum mechanics, as reported above, are about a closed isolated system.
The correct formulation (in the finite-dimensional case discussed by Paris) should be:
Postulate 2a. As long as a system is isolated the dynamics of its state is given by the Schroedinger equation. During the interaction with an instrument the state changes in such a way that (in the interaction picture) the state of a system in a pure state ##\psi## before the entering the instrument changes upon leaving the instrument with probability ##|P_x\psi|^2## to a pure state proportional to ##P_x\psi##, where ##\sum_x P_x^*P_x=1## (i.e., the ##P_x^*P_x## form a POVM). The ##P_x## are characteristic for the instrument, and can (in principle) be predicted from a quantum treatment of the instrument.
This is the observer-free formulation. It can be complemented by the following assertion involving observation:
Postulate 2b. If the final state is proportional to ##P_x\psi##, one can (in principle) deduce the value of ##x## from observations of the instrument and its surrounding. But the change of state happens whether or not the instrument is observed.
There is a corresponding version for mixed states that involves density matrices (which also needs a replacement of Postulate 1 of Paris). The resulting set of postulates is a much better set of postulates for (finite-dimensional) quantum mechanics. In particular, after an appropriate extension to POVMs with infinitely many components, they (unlike the Born rule) fairly faithfully reflect most of what is done in modern QM.
A mutilated, unnecessarily rigid and subjective form of the postulates in the density matrix version was stated by Paris on p.9. Note that in this process he completely changed the postulates! Postulate 1 (pure states) was silently dropped on p.4 where he remarks that ''different ensembles leading to the same density operator are actually the same state, i.e. the density operator provides the natural and most fundamental quantum description of physical systems''. (How can something be more fundamental than the very foundations one starts with? How can obviously different ensembles, if they mean anything physically, ''actually be the same state''? Only by changing the notion of a state.) Postulate 3 (unitarity) is dropped on the same page by observing that ''the action of measuring nothing should be described by the identity operator'', while according to Postulate 3 it should be described by the Hamiltonian dynamics. (He is assuming an interaction picture, without mentioning it anywhere!) Finally, Postulate 2 (the definition of an observable and the Born amplitude squaring rule) is replaced by a new definition of observables in II.1 and a generalized Born rule II.3 that was invented only much later (probably around the time Born died). In II.5 he adds a rule that is in direct conflict with II.3 since a measurement performed in which we find a particular outcome cannot lead to two different states depending on whether or not we record the result.
Thus Paris documents in some detail that modern quantum mechanics is, fundamentally, neither based on state vectors nor on observables being Hermitian operators nor on instantaneous collapse nor on Born's rule for the probability of finding results. Instead, it is based on states described by density matrices, observables described by POVMs, interactions in finite time described by multiplication with a POVM component, and a generalized Born rule for the selection of this component. This generalized setting is necessary and sufficient to describe modern quantum optics experiment at a level where efficiency issues and measuring imperfections can be taken into account.
Apart from the Hilbert space, nothing is kept from the textbook foundations, except that the latter serve as a simplified (but partially misleading) introduction to the whole subject.
For me, physics is about both. But of course, anybody has freedom to use physics for whatever one wants.vanhees71 said:observable facts (and that's what physics is about and not to "explain the world")
That's just an example of the general principle: The axiomatization of the theory, so natural in mathematical physics, is often not a good idea in theoretical physics. Theoretical physics should be open to frequent modifications and reformulations.A. Neumaier said:One can generalize everything to weaken arguments aimed at the ungeneralized version. The conventional axioms of QM say how the state of a system changes through a perfect measurement. [See, e.g., Messiah I, end of Section 8.1, or Landau & Lifschitz, Vol. III, Chapter I, Par. 7.] This is a context that makes sense only in the ordinary Schroedinger picture.
A. Neumaier said:Thus Paris documents in some detail that modern quantum mechanics is, fundamentally, neither based on state vectors nor on observables being Hermitian operators nor on instantaneous collapse nor on Born's rule for the probability of finding results. Instead, it is based on states described by density matrices, observables described by POVMs, interactions in finite time described by multiplication with a POVM component, and a generalized Born rule for the selection of this component. This generalized setting is necessary and sufficient to describe modern quantum optics experiment at a level where efficiency issues and measuring imperfections can be taken into account.
Yes. My point is that a foundation that has to be modified when the building is mostly erected, wasn't a good foundation and doesn't really deserve that name. As understanding in physics grows, the foundations should be adapted as well.Demystifier said:That's just an example of the general principle: The axiomatization of the theory, so natural in mathematical physics, is often not a good idea in theoretical physics. Theoretical physics should be open to frequent modifications and reformulations.
Actually it simplifies to ask appropriate questions and closes the door to others asked. For example, in the version I gave (which is what is used in quantum optics and quantum information theory), it says what happens independent of the measurement process, and in particular independent of any human observation of results. This already rules out consciousness as an agent, while the latter is implicitly present as a possibility in the traditional foundations.stevendaryl said:I agree with that, but to me, it seems that the switch from idealized measurements whose outcomes are eigenvalues with probabilities given by the Born rule to the density matrix interpretation is not such a big deal. It's important for practical reasons, but I don't see how it does anything to clarify the foundational questions about quantum mechanics. Other than, perhaps, making it harder to ask those questions...
A. Neumaier said:People very experienced in a particular area of real life can easily trick those who don't understand the corresponding matter well enough into believing that seemingly impossible things can happen. This is true in the classical domain, amply documented by magic tricks where really weird things happen, such as rabbits being pulled out of empty hats, etc..
The art of a magician consists in studying particular potentially weird aspects of Nature and presenting them in a context that emphasizes the weirdness. Part of the art consists of remaining silent about the true reasons why things work rationally, since then the weirdness is gone, and with it the entertainment value.
The same is true in the quantum domain. Apart from being technically very versed experimental physicists, people like Anton Zeilinger are quantum magicians entertaining the world with well-prepared quantum weirdness. And the general public loves it! Judging by its social impact, quantum weirdness will therefore never go away as long as highly reputed scientists are willing to play this role.
A. Neumaier said:This puts Bell-experiments into perspective as being a very special, hard to prepare situation. Normally, one hasn't this kind of nonlocality; otherwise doing physics would be impossible. Seeking out these extremes is like doing the same in the classical domain:
Even the concepts are simpler since instead of requiring knowledge about eigenvalues and eigenvectors one only needs to assume that the reader can correctly interpret the relation ##\sum_x P_x^*P_x=1##, which is sufficient to get the POVM property, so it can be substituted for it.stevendaryl said:it seems that the switch from idealized measurements whose outcomes are eigenvalues with probabilities given by the Born rule to the density matrix interpretation is not such a big deal. It's important for practical reasons, but I don't see how it does anything to clarify the foundational questions about quantum mechanics. Other than, perhaps, making it harder to ask those questions...
If you only want to say that QM is nonlocal it is sufficient to point out that the Born rule specifies for a particle prepared at time ##t## in the local lab in a coherent state ##\psi(t)## a positive probability ##p_\Omega=\int_\Omega dx |\psi(x)|^2## that it is found instead at time ##t+\epsilon## in a given region ##\Omega## anywhere ##10^{100}## lightyears away in the universe. The probability is very small, admitted. But isn't it very weird and very nonlocal that it is positive and hence possible?stevendaryl said:It depends on what you're after. If you only want to say that, in practice, it's possible to ignore nonlocality and other quantum weirdness, I agree. That's why "shut up and calculate" works fine as an interpretation.
A. Neumaier said:The fact that quantum mechanics works based on these nonlocal assumptions was known already in 1926. Understanding didn't increase by experiments that demonstrated the violation of Bell inequalities. Only some classical reasons how this could possibly be understood in simpler terms were eliminated.
The same is true in the quantum domain. Apart from being technically very versed experimental physicists, people like Anton Zeilinger are quantum magicians entertaining the world with well-prepared quantum weirdness. And the general public loves it! Judging by its social impact, quantum weirdness will therefore never go away as long as highly reputed scientists are willing to play this role.
You took my statement out of context. Here I was arguing not about QFT but about the modern foundation of quantum mechanics described in post #128. It is a much more powerful formulation of the Copenhagen interpretation than the usual ones. (Though to save time I didn't make the density matrix version explicit, and that I assumed as Paris a finite-dimensional Hilbert space. For a completely specified set of postulates appropriate for modern quantum mechanics (fully compatible but in detail differing from post #128) see my Postulates for the formal core of quantum mechanics from my theoretical physics FAQ. If you want to discuss these, please do so in a separate thread.)stevendaryl said:It seems to me that saying that QFT tells "what happens independent of the measurement process" is misleading, if not false. Yes, you can interpret QFT as giving statistical information about fields, and that doesn't seem to involve measurement.