Boundedness of quantum observables?

[A. Neumaier]

I don't like the C^*-algebraic foundations of quantum mechnaics since it assumes that every observable must be bounded and self-adjoint.

But most physical observables are not bounded.

This came up in another thread, from which I quote some context:

in Algebraic QFT using C*-algebras, one normally says that observables are self-adjoint bounded operators contained in a region of spacetime. So very strictly speaking AQFT would say that momentum is not an observable. However when I say very strictly, I mean very strictly. AQFT does not say that momentum is not observable, just that no complete measurement of it (enough to specify the point in the spectrum completely) is possible in a finite region. All you can observe in a finite region is operators whose eigenstates are ones whose support in momentum space is finite. The width of these regions is the resolution of the equipment and their number is determined by the highest and lowest momentum states the device can measure.

So momentum is not an observable in a very technical, strict manner. However more truthfully this is just a mathematical way of encoding that you cannot measure momentum "to a point", not that you cannot actually measure momentum.

This happens to be true for momentum but has nothing to do with the problem of boundedness. One component of the electromagnetic field strength at a point x is local (and can in principle be measured arbitrarily well) but is not a bounded variable.

Whereas the projection of a momentum component to a bounded interval is bounded but cannot be measured exactly to the point (only arbitrarily well). But we'd discuss this in a new thread...

Perhaps I'm missing something, please correct me if I am, but the electromagnetic field strength at a point x is not an observable, since it is not an operator, it is only an operator valued distribution.

You are only missing implicitly understood embellishments. In full precision:

The integral of F_12(x) with a real, smooth hat function of narrow support is - by conventional standards - an observable whose support is a bounded region of space-time, but has continuous spectrum, hence is not bounded, and therefore not observable according to your definition.

 

[Fredrik]

I don't like the C^*-algebraic foundations of quantum mechnaics since it assumes that every observable must be bounded and self-adjoint.

But most physical observables are not bounded.

My take on this (which may still be a bit naive, since I haven't yet reached the point where I can say that I really understand the algebraic approach), is that it depends on what exactly we mean by "observable". If this term refers to an operator that can be associated in a meaningful way with a "measurable quantity" (a concept that we don't really define), or if it refers to a generator of a one-parameter group of symmetries of the theory, then we need to allow the operators to be unbounded. The most obvious example is momentum. On the other hand, if "observable" refers to an equivalence class of measuring devices (as described on the first few pages of Araki), I see no reason why we shouldn't let a C*-algebra be the structure that represents the set of observables mathematically.

Since P is unbounded, it can't be a member of the C*-algebra of operators that correspond to observables. But is that a problem? Can't we use P to construct bounded operators that correspond to more realistic measuring devices? P corresponds to a measuring device that puts the particle in a momentum eigenstate (a concept that has issues of its own), but the bounded operators constructed from P would correspond to (for example) measuring devices that only confine the value of the momentum to a specific interval.

I admit that I haven't thought this through to the end.

One thought that occurs to me is that maybe the C*-algebra stuff is the best way to define observables when we intend to use a Hilbert space, and something else (that includes unbounded operators) is the best way to define them when we intend to use a rigged Hilbert space. But that's another thing I don't fully understand yet.

 

[A. Neumaier]

it depends on what exactly we mean by "observable". If this term refers to an operator that can be associated in a meaningful way with a "measurable quantity" (a concept that we don't really define),

My primary requirement is that the usage should not be too different from what physicists in general call observables. Of course it entails always an idealization since nobody can measure all values in an unbounded domain of results, or even all real numbers in a bounded domain. But before the advent of axiomatic field theory, basic observables were position, momentum, angular momentum, energy, force, torque, etc., all of them unbounded. The axiomatists changed the terminology for purely technical reasons, which is unacceptable and will never find general agreement, I think.

Most of physics is phrased in terms of differential equations involving unbounded observables. Most of physics become unexpressible or clumsy to express when phrased in terms of bounded operators only. No commutation relations, no continuity equation, no field equations, no Noether theorem...

On the other hand, if "observable" refers to an equivalence class of measuring devices (as described on the first few pages of Araki), I see no reason why we shouldn't let a C*-algebra be the structure that represents the set of observables mathematically.

Thus we'd have two different notions of observables - the theoretical physicists one and the mathematical physicist's one. Unfortunate and unnecessary.

Can't we use P to construct bounded operators that correspond to more realistic measuring devices? P corresponds to a measuring device that puts the particle in a momentum eigenstate (a concept that has issues of its own), but the bounded operators constructed from P would correspond to (for example) measuring devices that only confine the value of the momentum to a specific interval.

So you introduce a multiplicity of different momentum variables - one for each interval bounding the measuring range. Thus scales with a maximum weight of 120kg and scales with a maximum weight of 150kg would measure different observables.

Sounds strange and is against Occam's razor.

One thought that occurs to me is that maybe the C*-algebra stuff is the best way to define observables when we intend to use a Hilbert space, and something else (that includes unbounded operators) is the best way to define them when we intend to use a rigged Hilbert space. But that's another thing I don't fully understand yet.

In both cases, one can represent the unbounded observables on the nuclear space, take its completion if the Hilbert space is needed, and the dual space if more singular objects are encountered.

So I think the right mathematical setting should be an inner product space on which all observables of interest are defined (this common domain exists in all applications I am aware of), and its closure in various topologies depending on what one wants to do on the technical level.

 

[DarMM]

To be honest A. Neumaier, I don't really have a disagreement. My initial post in the other forum was perhaps a bit trite. The Algebraic approach takes the bounded self-adjoint observables to correspond to measuring equipment, not observables. Without playing silly language games, an observable is precisely what you stated, a self-adjoint operator.

So momentum is an observable and is represented by an unbounded self-adjoint operator. Machines which measure momentum are represented by bounded self-adjoint operators. This is a fundamental point which I carelessly glossed over. In Algebraic QFT, the C*-algebra is the algebra of observables in the sense of what can be observed by actual equipment, not in terms of what are physical quantities.

The interesting thing is that the theory can be developed and that certain points become clearer when you formulate the theory this way. For example it clears up some points in QFT in curved spacetime and other areas, because it describes pure and mixed states in a more unified way.

Of course there are many cases where it is more cumbersome, e.g. analysis of the stress-energy tensor, field equations, e.t.c.

(By the way, the canonical commutation relations fail to make sense in four-dimensions. Something which is related to wave-function renormalisation.)

 

[DarMM]

I should also say that there is still disagreement what exactly the algebra of bounded observables in a region represents. All that is certain is that all the information in a QFT is contained in them. That is you can reconstruct the QFT from these objects. (Again that statement has caveats, since AQFT is more general than field theory and contains relativistic quantum systems which are not field theories.)

 

[A. Neumaier]

So momentum is an observable and is represented by an unbounded self-adjoint operator. Machines which measure momentum are represented by bounded self-adjoint operators. This is a fundamental point which I carelessly glossed over. In Algebraic QFT, the C*-algebra is the algebra of observables in the sense of what can be observed by actual equipment, not in terms of what are physical quantities.

OK, this sounds better. Though it is stiill very idealized actual equipment, since you still need to be able to measure arbitrarily large momentum, fields in the neighborhood of arbitrary points (e.g., the center of the sun)., and all sorts of bounded self-adjoint operators for which nobody would be able to define even a thought experiment for measuring it.

I prefer to have the foundations free from allusion to measurement. The latter should be a derived many-particle process to be analyzed by the statistical mechanics of the equipment interacting with the observed system.

But it seems to me that the relevant unbounded observables always have a common domain on which they are true linear self-mappings, so that one could work instead with the algebra of linear self-mappings of this domain. Resolvents and exponentials would then live in closures of dense subalgebras of this algebra under appropriate topologies. Do you know of any work in that direction?

The interesting thing is that the theory can be developed and that certain points become clearer when you formulate the theory this way. For example it clears up some points in QFT in curved spacetime and other areas, because it describes pure and mixed states in a more unified way.

Pure and mixed states were already unified in von Neumann's book. How can things be even more unified?

(By the way, the canonical commutation relations fail to make sense in four-dimensions. Something which is related to wave-function renormalisation.)

Can you substantiate this? We don't know of any rigorous interactive 4D quantum field theory. So how can the CCR be known to fail? At least, the asymptotic fields are free if there is a mass gap, and they must satisfy canonical commutation relations.

 

[Fredrik]

I prefer to have the foundations free from allusion to measurement.

I can't imagine that this is possible, at least not with a theory that resembles QM. To define QM properly, we need to choose a "set of things" in the real world, and a mathematical structure that can represent it. The starting point of the algebraic approach is that the "things in the real world" are equivalence classes of measuring devices, and that a C*-algebra is what represents the set of such equivalence classes mathematically. What alternatives do we have? The Hilbert space approach? The starting point of that is that equivalence classes of idealized preparation procedures are represented by the 1-dimensional subspaces of a complex separable Hilbert space.

This only shifts the weight from "measurement" to "preparation", so the allusion to measurement is just as strong in the Hilbert space approach, but perhaps better hidden. And you know what, the self-adjoint operators on this Hilbert space are still going to correspond to equivalence classes of measuring devices.

 

[A. Neumaier]

I can't imagine that this is possible, at least not with a theory that resembles QM. To define QM properly, we need to choose a "set of things" in the real world, and a mathematical structure that can represent it. The starting point of the algebraic approach is that the "things in the real world" are equivalence classes of measuring devices, and that a C*-algebra is what represents the set of such equivalence classes mathematically.

To define quantum mechanics (or any other physical theory) properly, we only need to define the calculus and then say how to relate the quantities that can be calculated from quantum mechanical models to the stuff experimental physicists talk about.

The idealization that goes into the interpretation used in your description is only a didactical trick to make definitions a bit easier to swallow. (How do you justify the C^*-algebra axiom ||A^*a||=||a||^2 from measurement??)

In experimental physics, measurement is a very complex thing - far more complex than your ''definition'' suggests. To measure the distance between two galaxies, the mass of the top quark, or the Lamb shift - just to mention three basic examples - can never be captured by the idealistic measurement concept in your definition.

In each case, one assembles a lot of auxiliary information and ultimately calculates the measurement result from a best fit of a model to the data. Clearly the theory must already be in place in order to do that. (We don't even know what a top quark should be whose mass we are measuring unless we have a theory that tell us this.)

And the Lamb shift (one of the most famous real observables in the history of quantum mechanics) is not even an observable in your sense!

What alternatives do we have?

We proceed as in the modern account of the oldest of the physical sciences: Euclidean geometry, where (on laboratory scales) there is consensus about how theory and reality correspond:

We develop a theory that simply gives a precise formal meaning to the concepts physicists talk about. This is pure math, in case of geometry consisting of textbook linear algebra and analytic geometry. The identification with real life is done _after_ having the theory (though the theory and the nomenclature was _developed_ with the goal to enable this identification in a way consistent with tradition):

For geometry, by declaring anything in real life resembling an ideal point, line, plane, circle, etc., to be a point, line, plane, circle, etc., if and only if it can be assigned in an approximate way (determined by the heuristics of traditional measurement protocols, whatever that is) the properties that the ideal point, line, plane, circle, etc., has, consistent to the assumed accuracy with the deductions from the theory. If the match is not good enough, we can explore whether an improvement can be obtained by modifying measurement protocols (devising more accurate instruments or more elaborate error-reducing calculation schemes, etc.) or by modifying the theory (to a non-Euclidean geometry, say, which uses the same concepts but assumes slightly different properties relating them.

For quantum mechanics, by declaring anything in real life resembling an ideal photon, electron, atom, molecule, crystal, ideal gas, etc., to be a photon, electron, atom, molecule, crystal, ideal gas, etc., if and only if it can be assigned in an approximate way (determined by the heuristics of traditional measurement protocols, whatever that is) the properties that the ideal photon, electron, atom, molecule, crystal, ideal gas, etc., has, consistent to the assumed accuracy with the deductions from the theory. If the match is not good enough, we can explore whether an improvement can be obtained by modifying measurement protocols (devising more accurate instruments or more elaborate error-reducing calculation schemes, etc.) or by modifying the theory (to a hyper quantum mechanics, say, which uses the same concepts but assumes slightly different properties relating them.

This identification process is fairly independent of the way measurements are done, as long as they are capable to produce the required accuracy for the matching.

Then, having established informally that the theory is an appropriate model for the physical aspects of reality, one can study the measurement problem rigorously on this basis:One declares that a real instrument (in the sense of a complete experimental arrangement including the numerical postprocessing of raw results that gives the final result) performs a real measurement of an ideal quantity if modeling the real instrument as a macroscopic quantum system (with the properties assigned to it by statistical mechanics/thermodynamics) predicts raw measurements such that, in the model, the numerical postprocessing of raw results that gives the final result is in sufficient agreement with the value of the ideal quantity in the model. Thus measurement analysis is now a scientific activity like any other rather than a philosophical prerequisite for setting up a consistently interpreted quantum mechanics.

 

[DarMM]

OK, this sounds better. Though it is stiill very idealized actual equipment, since you still need to be able to measure arbitrarily large momentum, fields in the neighborhood of arbitrary points (e.g., the center of the sun)., and all sorts of bounded self-adjoint operators for which nobody would be able to define even a thought experiment for measuring it.

This is sensible.

But it seems to me that the relevant unbounded observables always have a common domain on which they are true linear self-mappings, so that one could work instead with the algebra of linear self-mappings of this domain. Resolvents and exponentials would then live in closures of dense subalgebras of this algebra under appropriate topologies. Do you know of any work in that direction?

The existence of such a domain basically follows from the Wightman axioms, I'll call it $$D$$. I have never seen a study of the mappings of this domain itself. Getting a workable specification of this domain is an open problem in axiomatic quantum field theory. A subset of this domain and its mappings are well studied. This domain are the states generated by polynomials of the fields acting on the vacuum and a study of its mappings is found in papers by Borchers, Ruelle, Dixmier and Haag. It is called $$D_{0}$$.

It is a long standing conjecture that:
$$D = D_{0}$$
However this is not proven. At one time it was a major goal of axiomatic quantum field theory.

Pure and mixed states were already unified in von Neumann's book. How can things be even more unified?

By placing them in their appropriate context mathematically and unifying how they appear in physics. This would take a long time to explain, but I'm more than happy to do so if you wish. It goes well beyond what von Neumann did, but of course grew out of it.

Can you substantiate this? We don't know of any rigorous interactive 4D quantum field theory. So how can the CCR be known to fail? At least, the asymptotic fields are free if there is a mass gap, and they must satisfy canonical commutation relations.

Sorry, it fails for fields that aren't free. Even though no 4D interacting quantum field theory has been constructed, we know enough to know the commutation relations break down. Basically any estimate on the fields requires that (if they exist) they are singular enough as distributions that no time zero field exists and these are needed for the canonical commutation relations. For example if the quantum field is $$\phi(t,\b{x})$$, then the time zero field is:
$$\phi(0,\b{x}) = \int{\delta\left( t \right)\phi(t,\b{x})} dt$$
You can see that this requires quite a non-singular distribution. The field has to be an operator not only after smearing with a test-function, but even after a smearing with a temporal delta function.
Since the fields grow more singular with increasing dimension and are more singular with interactions (in path integral language the path measure is supported on more singular fields), estimates on 4D fields imply that the time zero fields do not exist.
However the field $$\phi_{r}$$ given by $$\phi = Z\phi_{r}$$, where $$Z$$ is an infinite constant in vague terms (more precise terms available if you want them) does have a time-zero field. It is of course the wave-function renormalisation.

 

[A. Neumaier]

[on unifying pure and mixed states]
By placing them in their appropriate context mathematically and unifying how they appear in physics. This would take a long time to explain, but I'm more than happy to do so if you wish. It goes well beyond what von Neumann did, but of course grew out of it.

Yes, please, but in a new thread so that I don't lose the oversight...

Sorry, it fails for fields that aren't free. Even though no 4D interacting quantum field theory has been constructed, we know enough to know the commutation relations break down. Basically any estimate on the fields requires that (if they exist) they are singular enough as distributions that no time zero field exists [...]
However the field $$\phi_{r}$$ given by $$\phi = Z\phi_{r}$$, where $$Z$$ is an infinite constant in vague terms (more precise terms available if you want them) does have a time-zero field. It is of course the wave-function renormalisation.

But isn't the renormalized field the physical field, and hence the one that should appear in the Wightman formulation?

 

[DarMM]

But isn't the renormalized field the physical field, and hence the one that should appear in the Wightman formulation?

My explanation was very poor, let me try again. If in constructing the field theory one has to perform infinite wavefunction renormalization, then the resulting field will have no well defined restriction to a single time-slice which will cause the canonical commutation relations to fail.

For example $$\phi^{4}_{4}$$, the theory is poorly defined when written on Fock space with the Hamiltonian:
$$\int{d^{3}x \frac{\pi_{0}^{2}}{Z} - Z \nabla \phi_{0} \cdot \nabla \phi_{0} + m^{2}\phi_{0}^{2}+ \lambda\phi_{0}^{4}}$$
Where $$\phi_{0}$$ is the free field.

To make it well-defined one puts in a cutoff $$\kappa$$ and gives $$Z,m$$ and $$\lambda$$ dependence on the cutoff. (I know you know all this, I'm just setting things up)

If done correctly one will find that the Hamiltonian and its ground state $$\Omega$$ no longer have divergences. However the Hamiltonian will no longer converge to an operator in Fock space and $$\Omega_{\kappa}$$ will no longer converge to an element of the Fock space.

To resolve this problem, one moves to the algebra of operators and treats $$\Omega_{\kappa}$$ as a state on that operator algebra. $$\Omega_{\kappa}$$ will then have a limit as a state on the algebra, but the Hilbert space you can construct from $$\Omega_{\infty}$$ is disjoint from Fock space.

In the new Hilbert space the true physical field $$\phi_{p}$$, will have a well-defined Hamiltonian given by:
$$\int{d^{3}x : \pi_{p}^{2} - \nabla \phi_{p} \cdot \nabla \phi_{p} + m^{2}\phi_{p}^{2}+ \lambda\phi_{p}^{4} :}$$

($$::$$ indicates Wick ordering with respect to the vacuum of this Hilbert space)

This Hamiltonian acts on the correct Hilbert space with no divergences. However this field will possesses no time-slice localisation and cannot obey the canonical commutation relations.

The axiomatic field theory way of viewing this would be to say that the Hamiltonian defined as a function of the physical field on the correct Hilbert space, is finite and well defined. However we only know how to work with Fock space. So to obtain/construct the correct field and Hilbert space we must use a cutoff approximation on Fock space as a starting point and use renormalization to take the correct limit out of Fock space. The type of renormalizations required tell you something about the real theory. In the case of wavefunction renormalization, the fact that the Fock space approximation needs a cutoff diverging term in the kinetic piece indicates that the real Hilbert space is one which does not support the canonical commutation relations.

 

[A. Neumaier]

In the new Hilbert space the true physical field $$\phi_{p}$$, will have a well-defined Hamiltonian given by:
$$\int{d^{3}x : \pi_{p}^{2} - \nabla \phi_{p} \cdot \nabla \phi_{p} + m^{2}\phi_{p}^{2}+ \lambda\phi_{p}^{4} :}$$

($$::$$ indicates Wick ordering with respect to the vacuum of this Hilbert space)

This Hamiltonian acts on the correct Hilbert space with no divergences.

This far things are clear to me. But isn't your last sentence rigorously proved only in space-time dimension <4?

However this field will possesses no time-slice localisation and cannot obey the canonical commutation relations.

Your statement reminds me of the nonrigorous discussion of Dyson's intermediate representation in
TS Walhout,
Similarity renormalization, Hamiltonian flow equations, and Dyson's intermediate representation,
Phys. Rev. D 59, 065009 (1999)
http://arxiv.org/pdf/hep-th/9806097

But why this should follow rigorously was my question. It seems not to follow in dimension <4. But How can you give a rigorous argument in 4D when H hasn't even been constructed?

In the case of wavefunction renormalization, the fact that the Fock space approximation needs a cutoff diverging term in the kinetic piece indicates that the real Hilbert space is one which does not support the canonical commutation relations.

Well, you claimed that several times, but now you are more cautious and only say: it indicates. So what is conjecture and what is proved? (where?)

 

[DarMM]

This far things are clear to me. But isn't your last sentence rigorously proved only in space-time dimension <4?

But why this should follow rigorously was my question. It seems not to follow in dimension <4. But How can you give a rigorous argument in 4D when H hasn't even been constructed?

I'm not sure I understand, so tell me if this doesn't answer your question. $$H$$ doesn't need to be completely constructed in order to answer this question. You will see the failure of the canonical commutation relations explicitly when you try to construct the theory. It is directly the origin of certain difficulties.

Well, you claimed that several times, but now you are more cautious and only say: it indicates. So what is conjecture and what is proved? (where?)

Maybe my English wasn't clear. I'm not using indicate to say "it is suggested". Replace "indicate" with "tells you" and my meaning should be clearer. Basically certain renormalizations or what order they appear at tell you things about the real Hilbert space. Sorry about that.

For references Hepp is probably the best read if you can get it:
Hepp K 1969 Theorie de la Renormalisation (Berlin: Springer)

In their first monograph Glimm and Jaffe make some comments:
Glimm J and Jaffe A 1972 Boson quantum field models London 1971, Mathematics of Contemporary Physics (London) pp 77–143

It's explicitly dealt with in:
Zavialov O I and Sushko V N 1973 Statistical Physics and Quantum Field Theory ed N N Bogoliubov (Moscow: Nauka)

You might find the papers of O Yu Shvedov interesting, he treats this stuff in the case of infinite discrete degrees of freedom. Not quite QFT, but half between QFT and QM. Makes some things clearer without a lot of the technicalities.

Also try any papers where they try to construct a 4D QFT, for example Schrader's.
It was also first "discovered" very early on by the axiomatic field theory community unfortunately they never brought out a paper on it and the closest you'll get in early material is a brief reference in "PCT, Spin and Statistics, and all that" on page 101.

I should say that the canonical commutation relations only fail in the sense of the formula they are usually expressed in.

For example it is still true that:
$$\left[\phi(x,t), \pi(y,s) \right] = D(x-y, t-s)$$
For some function $$D(x-y, t-s)$$. It's just that $$D(x-y, t-s)$$ has singularities too strong when $$t \rightarrow s$$ that no Wightman field could satisfy the equation in that limit.

 

[A. Neumaier]

I'm not sure I understand, so tell me if this doesn't answer your question. $$H$$ doesn't need to be completely constructed in order to answer this question. You will see the failure of the canonical commutation relations explicitly when you try to construct the theory. It is directly the origin of certain difficulties.

Let's postpone this until you climbed the second and third rung of your Phi^4_d ladder - then I'll ask again whatever the references you pointed out leave open.

Also try any papers where they try to construct a 4D QFT, for example Schrader's.

Which one?

I should say that the canonical commutation relations only fail in the sense of the formula they are usually expressed in. For example it is still true that:
$$\left[\phi(x,t), \pi(y,s) \right] = D(x-y, t-s)$$
For some function $$D(x-y, t-s)$$. It's just that $$D(x-y, t-s)$$ has singularities too strong when $$t \rightarrow s$$ that no Wightman field could satisfy the equation in that limit.

So one just has worse than tempered distributions?

 

[yoda jedi]

I prefer to have the foundations free from allusion to measurement.

there are various ongoing initiatives.



.

 

[A. Neumaier]

there are various ongoing initiatives.
.

Maybe. But to make your remark useful, please point to some references, preferably online ones.

 

[Hurkyl]

Have y'all considered that while an operator like X isn't bounded, other operators like arctan(X) are?

I really don't think you lose anything by laying the foundations via C*-algebras. Once you have a C*-algebra, you can use calculus (or other means) to construct additional algebras, if you so desire.

 

[DarMM]

Let's postpone this until you climbed the second and third rung of your Phi^4_d ladder - then I'll ask again whatever the references you pointed out leave open.
Which one?

I'll just combine these questions together. I will leave this as you suggest for more detailed posts. Then I believe Schrader's papers may be more readable, particularly his "A constructive approach to $$\phi_{4}^{4}$$".

So one just has worse than tempered distributions?

The Wightman fields are tempered distributions in time and space, but in just space they are worse than tempered distributions. (Only in the case of four dimensions) So the "four-dimensional" version of the canonical commutation relations hold, but not the three dimensional form they are normally given in.

However "worse than tempered distributions" is a good point. Perhaps one could use fields more general than Wightman fields, for example the so called Jaffe fields. The canonical commutation relations in a time slice may hold in this case. This is also related to the triviality of $$\phi_{4}^{4}$$ and what choice of generalised function space QFT should make use of, perhaps it would be best to deal with it on the "ladder thread".

 

[A. Neumaier]

Have y'all considered that while an operator like X isn't bounded, other operators like arctan(X) are?

I really don't think you lose anything by laying the foundations via C*-algebras. Once you have a C*-algebra, you can use calculus (or other means) to construct additional algebras, if you so desire.

I have never seen using the arctan - it is very unnatural in the quantum context.

The usual way to make a self-adjoint operator X bounded is to work in terms of the bounded unitary operators exp(isX), and recover X when needed as densely defined infinitesimal generator.

The only problem with this is that most of quantum physics is represented in terms of the infinitesimal generators rather than the exponentials, which makes a C^*-algebraic version of quantum physics look very different from the usual (nonrigorous) textbook treatments.

I believe that this is a dominant part of the reason why the rigorous stuff is so much ignored by the main stream: One needs to learn a completely different language and translate almost _everything_ - too much of a burden for those who don't want to pursue this professionally.

 

[A. Neumaier]

I'll just combine these questions together. I will leave this as you suggest for more detailed posts. Then I believe Schrader's papers may be more readable, particularly his "A constructive approach to $$\phi_{4}^{4}$$".


The Wightman fields are tempered distributions in time and space, but in just space they are worse than tempered distributions. (Only in the case of four dimensions) So the "four-dimensional" version of the canonical commutation relations hold, but not the three dimensional form they are normally given in.

However "worse than tempered distributions" is a good point. Perhaps one could use fields more general than Wightman fields, for example the so called Jaffe fields. The canonical commutation relations in a time slice may hold in this case. This is also related to the triviality of $$\phi_{4}^{4}$$ and what choice of generalised function space QFT should make use of, perhaps it would be best to deal with it on the "ladder thread".

Yes, I am really curious what you'll say in the ladder thread:

I will immediately proceed to gather my notes and make a post on the three dimensional case.

... though the gathering seems to take a long time.

 

[DarMM]

The only problem with this is that most of quantum physics is represented in terms of the infinitesimal generators rather than the exponentials, which makes a C^*-algebraic version of quantum physics look very different from the usual (nonrigorous) textbook treatments.

I believe that this is a dominant part of the reason why the rigorous stuff is so much ignored by the main stream: One needs to learn a completely different language and translate almost _everything_ - too much of a burden for those who don't want to pursue this professionally.

I agree. The unfortunate thing is that the C*-algebra structure is so "nice", that it makes it much easier to prove general theorems about relativistic quantum systems. The algebra of the operators physicists normally deal with is much more difficult to control, so the rigorous stuff tends to shy away from. Of course another problem is that it is difficult to actually construct models algebraically. All rigorously constructed quantum field theories were built first to satisfy the Wightman axioms and most the things proven about them are physical, e.g. that they obey the equations of motion, particle spectrum, e.t.c.
The verification of the existence of a Haag-Kastler net of operators only came later for most models and for some it has never been proven.
So surprisingly there is a gap between the algebraic community and the constructive field theory community in some respects.
(For example read Glimm and Jaffe or Rivasseau, two major constructive field theory texts, nets of algebras are never really mentioned.)

In my opinion one of the major advantages of C*-algebra approach is that it allows one to see a tower of probability theories. For every type of algebra one gets a probability theory:
Type I:
Abelian: Discrete Kolmogorov probability
NonAbelian: Quantum Mechanics
Type II:
Abelian: Statistical Mechanics
NonAbelian: Quantum Statistical Mechanics
Type III:
NonAbelian: Quantum Field Theory

I don't know what other people think of this, but it's very interesting from a conceptual level.

 

[DarMM]

Yes, I am really curious what you'll say in the ladder thread:

... though the gathering seems to take a long time.

I promise I'll try. It's difficult to know the relevant points e.t.c., it's much more difficult to write (at least for me) than these kind of posts.

 

[dextercioby]

Apparently there's some work in the field of <algebras of unbounded operators> as this review article (and the quoted bibliography) shows:

http://arxiv.org/abs/0903.5446

 

[Hurkyl]

I have never seen using the arctan - it is very unnatural in the quantum context.

The example wasn't supposed to have any physical significance -- it was just supposed to be a demonstration that a foundation of bounded operators can be used (seemingly) straightforwardly to talk about unbounded ones -- if the foundation let's you talk about a bounded operator A, it probably let's you talk about tan(A) too. Now just substitute A = arctan(X).

 

[A. Neumaier]

I promise I'll try. It's difficult to know the relevant points e.t.c., it's much more difficult to write (at least for me) than these kind of posts.

Don't hurry. I know it is a hard job. !t will be all the more useful for us, who'd be unable to climb the ladder without your help!

By the way, what is e.t.c.? :-) It cannot be an abbreviation of et cetera = and so on, which is abbreviated etc..

 

[Fredrik]

In my opinion one of the major advantages of C*-algebra approach is that it allows one to see a tower of probability theories. For every type of algebra one gets a probability theory:
Type I:
Abelian: Discrete Kolmogorov probability
NonAbelian: Quantum Mechanics
Type II:
Abelian: Statistical Mechanics
NonAbelian: Quantum Statistical Mechanics
Type III:
NonAbelian: Quantum Field Theory

I don't know what other people think of this, but it's very interesting from a conceptual level.

I find this kind of stuff very interesting, but unfortunately I'm not yet at a level where I can fully understand it. (I'm currently studying the proofs of the spectral theorems of functional analysis). I would still be interested in seeing the definitions of the three "types" you're talking about.

 

[Careful]

Have y'all considered that while an operator like X isn't bounded, other operators like arctan(X) are?

I really don't think you lose anything by laying the foundations via C*-algebras. Once you have a C*-algebra, you can use calculus (or other means) to construct additional algebras, if you so desire.

First of all, all natural observables in quantum theory (or QFT) correspond to unbounded (distributional) operators. Likwise are all natural eigenstates of these operators outside Hilbert space. Second, if you generalize away to Nevanlinna space, unitary operators also become unbounded (on some subspace of zero norm states) so here, the picture of bounded operators completely evaporates. Third, unbounded operators are more natural and in case of nontrivial deficiency indices, there are several possible self adjoint extensions which all give a different physical picture. I do not know how to appreciate this fact from a formalism which starts with bounded operators in the first place. Fourth, the composition of densely defined unbounded operators is not necessarily a densley defined operator. This gives genuine new effects (physics) which cannot be captured in a picture of bounded operators by a natural transformation (for example, I do not know of a closed formula for e^{iAB} in terms of e^{iA} and e^{iB}). So, I think C^{*} algebra's (as well as Von Neumann algebra's) are (a) not natural and (b) too limited.

Careful

 

[Fredrik]

To define quantum mechanics (or any other physical theory) properly, we only need to define the calculus and then say how to relate the quantities that can be calculated from quantum mechanical models to the stuff experimental physicists talk about.

I often say that a theory is defined by a set of axioms that tells us how to interpret some piece of mathematics as predictions about results of experiments. It sounds like you would agree. The reason I require something more specific from a definition of "QM" is that we are already so familiar with Hilbert spaces, states, observables and so on, that we wouldn't consider a theory that uses an entirely different mathematical framework to be QM. At least I wouldn't. I don't think of Bohmian mechanics as QM either. (I think of a "theory" as being defined by its axioms rather than by its predictions, because the latter choice would make "SR + there's an invisible blue giraffe that doesn't interact with matter" the same theory as SR).

The idealization that goes into the interpretation used in your description is only a didactical trick to make definitions a bit easier to swallow. (How do you justify the C^*-algebra axiom ||A^*a||=||a||^2 from measurement??)

I know e.g. that if A is an "observable" in the sense "equivalence class of measuring devices", and k is a real number, we can take kA to be the the equivalence class of "any member of the equivalence class of A with an additional component that multiplies each result by a factor of k". So there's at least one C*-algebra axiom that can be properly motivated. I have no idea about the specific axiom you mention. I haven't even figured out why there should be an involution.

I suspect that there are no strong arguments for that identity, but I don't think is any different from why we only consider separable Hilbert spaces in the Hilbert space approach to QM. When we don't know if an assumption should be included or not, it's natural to try the choice that simplifies the math. If it appears to be sufficient, fine. If it gives us a theory that disagrees with experiment, back to the whiteboard.

In experimental physics, measurement is a very complex thing - far more complex than your ''definition'' suggests. To measure the distance between two galaxies, the mass of the top quark, or the Lamb shift - just to mention three basic examples - can never be captured by the idealistic measurement concept in your definition.

In each case, one assembles a lot of auxiliary information and ultimately calculates the measurement result from a best fit of a model to the data. Clearly the theory must already be in place in order to do that. (We don't even know what a top quark should be whose mass we are measuring unless we have a theory that tell us this.)

And the Lamb shift (one of the most famous real observables in the history of quantum mechanics) is not even an observable in your sense!

These are interesting comments that I will have to think about.

We proceed as in the modern account of the oldest of the physical sciences: Euclidean geometry, where (on laboratory scales) there is consensus about how theory and reality correspond:
...

I didn't really understand your approach, or your take on the measurement problem. But I understand that you're talking about an approach that doesn't exist, or at least hasn't (yet) been developed to the point where it can be used to state the axioms of a theory that makes the same predictions as QM.

One more thing: The main reason why I find the redefinition of the word "observable" discussed above acceptable, is that there's already a perfectly fine term ("self-adjoint operators") for what you want to call "observables", while nothing better than "thingamabobs" come to mind for the equivalence classes of measuring devices with finite size and accuracy. Since the idea of having something mathematical represent something in the real world is so fundamental in physics, I prefer to have good names for both the "things in the real world" and the "mathematical things", rather than two good names for the mathematical things.

 

[A. Neumaier]

if you generalize away to Nevanlinna space, unitary operators also become unbounded (on some subspace of zero norm states) so here, the picture of bounded operators completely evaporates.

With Nevanlinna space, do you mean what others call a Krein space
http://en.wikipedia.org/wiki/Krein_space
- like in the Gupta-Bleuler version of QED?

 

[Careful]

With Nevanlinna space, do you mean what others call a Krein space
http://en.wikipedia.org/wiki/Krein_space
- like in the Gupta-Bleuler version of QED?

It is not because Rolf Nevanlinna had strange political opinions that we should forget he considered these things way before Krein did. Actually Arkadiusz Jadczyk has his own definition and also have I (which is much more general than the one Krein gave).


Careful

 

[A. Neumaier]

I often say that a theory is defined by a set of axioms that tells us how to interpret some piece of mathematics as predictions about results of experiments. It sounds like you would agree.

Yes, though the axioms are not always clearly or fully spelled out. (I don't know clear axioms for the standard model.)

The reason I require something more specific from a definition of "QM" is that we are already so familiar with Hilbert spaces, states, observables and so on, that we wouldn't consider a theory that uses an entirely different mathematical framework to be QM. At least I wouldn't.

The C^*-algebra approach to QM doesn't start with Hilbert spaces; in any case, it has very different axioms from the standard QM axioms, but leads to essentially the same theory.

(I think of a "theory" as being defined by its axioms rather than by its predictions, because the latter choice would make "SR + there's an invisible blue giraffe that doesn't interact with matter" the same theory as SR).

Your proposal is not really cogent.

Then two versions of SR that use opposite conventions for the signature would be different theories (since the axioms differ), although they make the same predictions.

Most theories can be based on quite different axioms, depending on what you want to treat as most basic. For example, one can develop QM without mentioning state vectors in the foundations. See, e.g., the section ''Postulates for the formal core of quantum mechanics'' in Chapter A1 of my theoretical physics FAQ at http://arnold-neumaier.at/physfaq/physics-faq.html#postulates

I haven't even figured out why there should be an involution.

Because we want to model standard physics, and they need complex observables
(very handy for, e.g., for describing linear circuits). Useful stuff should not be sacrificed to principles of philosophy.

So at least one should be able to have complex expectation values. And conjugation ensures that replacing i by -i doesn't change the physics!

I suspect that there are no strong arguments for that identity, but I don't think is any different from why we only consider separable Hilbert spaces in the Hilbert space approach to QM.

It is very different. Without ||a^*a||=||a^||^2 you can hardly get started; the algebras not satisfying this don't resemble C^*-algebras anymore. Can't prove any spectral properties...

I didn't really understand your approach, or your take on the measurement problem. But I understand that you're talking about an approach that doesn't exist, or at least hasn't (yet) been developed to the point where it can be used to state the axioms of a theory that makes the same predictions as QM.

The approach outlined is fully developped though not widely publicized; it is the basis of my thermal interpretation of quantum mechanics. It agrees with how one does measurements in thermodynamics (the macroscopic part of QM (derived via statistical mechanics), and therefore explains naturally the classical properties of our quantum world. It is outlined in my slides
http://arnold-neumaier.at/ms/optslides.pdf
and described in detail in Chapter 7 of my book
Classical and Quantum Mechanics via Lie algebras
http://lanl.arxiv.org/abs/0810.1019
It is superior to the interpretions found in the literature, since it
-- acknowledges that there is only one world,
-- uses no concepts beyond what is taught in every QM course,
-- allows to derive Born's rule in the limit of a perfect von-Neumann measurement (the only case where Born's rule has empirical content),
-- applies both to single quantum objects (like the sun) and to statistical ensembles,
-- has no split between classical and quantum mechanics,
-- has no collapse (except approximately in non-isolated subsystems).

One more thing: The main reason why I find the redefinition of the word "observable" discussed above acceptable, is that there's already a perfectly fine term ("self-adjoint operators") for what you want to call "observables", while nothing better than "thingamabobs" come to mind for the equivalence classes of measuring devices with finite size and accuracy. Since the idea of having something mathematical represent something in the real world is so fundamental in physics, I prefer to have good names for both the "things in the real world" and the "mathematical things", rather than two good names for the mathematical things.

Nobody in the real world thinks about "equivalence class of measuring devices" - this is not a thing in the real world, but an abstraction invented by the C^* algebra people to give meaning to their constructs, and used nowhere else.

I prefer to have two good names for the same thing, for example ''positive integer'' and ''natural number'', if these are well established in the tradition.

 

[A. Neumaier]

It is not because Rolf Nevanlinna had strange political opinions that we should forget he considered these things way before Krein did. Actually Arkadiusz Jadczyk has his own definition and also have I (which is much more general than the one Krein gave).

Many concepts are not named after their originator.

For me the main purpose of naming is to ease communication rather than to honor the first who coined a concept. One doesn't want to rewrite articles and books each time a new historical fact turns up.

 

[Careful]

It is not because Rolf Nevanlinna had strange political opinions that we should forget he considered these things way before Krein did. Actually Arkadiusz Jadczyk has his own definition and also have I (which is much more general than the one Krein gave).


Careful

So, in my opinion, bounded operators are dead. Heisenberg thought about it in the same way and as far as my knowledge of history goes, he was playing with Krein spaces later on in his life.

 

[A. Neumaier]

So, in my opinion, bounded operators are dead.

But they are well alive and indispensable in mathematical physics.

The real thing still happens on a subspace of Krein space where the inner product is positive definite and the Hamiltonian is self-adjoint and bounded below.

Otherwise there is no well-defined and stable dynamics.

Heisenberg thought about it in the same way and as far as my knowledge of history goes, he was playing with Krein spaces later on in his life.

Even famous people play with lots of things during their lifetime. Nevertheless, they get honored not for play but for substance.

 

[Careful]

But they are well alive and indispensable in mathematical physics.

Mathematical physicists often investigate things which are not useful for physics. Give me one application which hinges upon them.

The real thing still happens on a subspace of Krein space where the inner product is positive definite and the Hamiltonian is self-adjoint and bounded below.

I am afraid you confuse negative energy with negative probability. They are different things. It is very easy to define a Lorentz covariant positive energy Hamiltonian with positive and negative norm particles. The interpretation of course happens on a sub-hilbertspace but (a) this one is dynamical and by no means invariant under the Hamiltonian and (b) observer dependent.

Otherwise there is no well-defined and stable dynamics.

Even supposing that you would allow for an undbounded Hamiltonian, I think your conclusion regarding stability is wrong. I feel this is a matter of interpretation and it depends upon the sign of the interaction terms as well (apart from the negative mass in the kinetic term). All arguments against it I know can be circumvented (including those of pair creation) so if you think you can give this a deadly blow, please go ahead.

Even famous people play with lots of things during their lifetime. Nevertheless, they get honored not for play but for substance.

Right, there is no substance behind bounded operators. The best proof is that we never use them.

Careful