- #71
PeterDonis
Mentor
- 45,642
- 22,665
Thread reopened.
bhobba said:Indeed. QED is even thought to be trivial, but I do not think anyone has proven it rigorously. If so that is strong evidence it could only be an effective theory - and of course we now know it is since its part of the electro-weak theory at high enough energies.
DarMM said:It's a genuinely uncertain issue. There are known cases where adding an ##SU(2)## gauge field to otherwise trivial theories renders them non-trivial and there are numerical simulations and simplified or limiting theories suggesting this might be what occurs in the Electroweak theory. So we currently don't actually know if the standard model is trivial.
Note that the Landau pole of QED is at physically irrelevant energies, while QCD has (due to infrared issues) a Landau pole at experimentally accessible energies! Thus a Landau pole says nothing about existence or nonexistence, only about troubles in certain renormalization schemes.atyy said:Further on, 't Hooft also points out that some of our current theories may not have a continuum limit. At the physics level of rigour, QCD is thought to have a continuum limit, but QED is thought to have a Landau pole.
p50: "If a theory is not asymptotically free, but has only small coupling parameters, the perturbation expansion formally diverges, and the continuum limit formally does not exist."
p58: "Landau concluded that quantum field theories such as QED have no true continuum limit because of this pole. Gell-Mann and Low suspected, however, ... it is not even known whether Quantum Field Theory can be reformulated accurately enough to decide"
That's certainly true, were we saying otherwise?A. Neumaier said:
atyy's statement sounded like it. He thinks that Landau poles are the death blow to a continuum theory and wants to substitute finite lattices for the true, covariant theories. But in fact the Landau pole of QED just says that the lattice approximation of QED is always poor, so it is actually the death blow to his lattice philosophy. We had discussed this in several threads:DarMM said:That's certainly true, were we saying otherwise?
Yes. I am convinced that ##\phi_4^4## and ##QED_4## exist, though I don't know how to prove it. But I have been collecting ideas and techniques for a long time, and one day I might be prepared to try...DarMM said:Do you mean there might be a non-trivial continuum theory that is not the limit of lattice approximations?.
I disagree with the T1 and T2 analogy entirely, but particularly with this paragraph here.Demystifier said:Or perhaps the theory is just the set of final measurable predictions of T1 and T2, while all the other “auxiliary” elements of T1 and T2 are the “interpretation”? It doesn’t make sense either, because there is no theory in physics that deals only with measurable predictions. All physics theories have some “auxiliary” elements that are an integral part of the theory.
But this is not standard terminology. Theory is the formal, purely mathematical part, and interpretation tells how this formal part relates to reality / observation. In simple cases, the interpretation is simply done by choosing the right words for the formal concepts, but in relativity, more is needed since it is no longer intuitive, and in quantum mechanics, much more is needed since the meaning is - a mess.Dale said:If we don’t use the word “theory” for the parts which can be scientifically tested and “interpretation” for the parts which cannot be tested
I disagree. The theory must include the relation to observation. Otherwise it is useless. The problem comes with interpretations imposing some sort of unneseccary ”reality” on top of this, which unless you can provide observational differences will always remain purely philosophical.A. Neumaier said:Theory is the formal, purely mathematical part, and interpretation tells how this formal part relates to reality / observation.
It is the interpretation that makes a theory useful.Orodruin said:I disagree. The theory must include the relation to observation. Otherwise it is useless.
Then just to be clear I was stating something else, that for theories involving ##SU(2)## gauge fields there are strong arguments that they are not trivial, so I was rather referencing some evidence against triviality for the Standard Model.A. Neumaier said:atyy's statement sounded like it. He thinks that Landau poles are the death blow to a continuum theory and wants to substitute finite lattices for the true, covariant theories. But in fact the Landau pole of QED just says that the lattice approximation of QED is always poor, so it is actually the death blow to his lattice philosophy. We had discussed this in several threads:
https://www.physicsforums.com/threads/lattice-qed.943462/
https://www.physicsforums.com/threads/does-qft-have-problems.912943/
Yes. I am convinced that ##\phi_4^4## and ##QED_4## exist, though I don't know how to prove it. But I have been collecting ideas and techniques for a long time, and one day I might be prepared to try...
Klauder has some nonrigorous ideas how to do perturbation theory from a different starting theory: https://arxiv.org/abs/1811.05328 and many earlier papers propagating the same idea. Nobody seems to take up Klauder's challenge and tries; hence I don't know whether it has merit. Do you see any obvious faults in his proposal?
DarMM said:Then just to be clear I was stating something else, that for theories involving ##SU(2)## gauge fields there are strong arguments that they are not trivial, so I was rather referencing some evidence against triviality for the Standard Model.
However I share your doubts about typical arguments against ##\phi^{4}_{4}## and ##QED_4## as I don't think the Landau pole is a particularly strong argument. It's just a perturbative suggestion that a particular approach to the continuum limit is blocked. Alan Sokal's PHD thesis "An Alternate Constructive Approach to the ##\phi^{4}_{3}## Quantum Field Theory, and a Possible Destructive Approach to ##\phi^{4}_{4}##" has some interesting material on this. He uses the sum of bubble graphs to argue for triviality of the continuum.
For anybody reading there is the possibility that there are non-trivial continuum ##QED_4## and ##\phi^{4}_{4}## theories. It's simply that they aren't the ##a \rightarrow 0## limit of a lattice theory and so the triviality of the lattice theories when taking the continuum limit isn't a definitive proof of triviality.
My personal gut intuition is that is that ##\phi^{4}_{4}## is trivial on its own, but not when embedded in the electroweak theory. I suspect ##QED_4## is not trivial as you do.
In general I strongly suspect that properly controlled non-perturbative quantum field theory will show that plenty of folk wisdom about QFT is just wrong. For example it might emerge that having a simple Higgs is the only way of having massive gauge bosons that has a nonperturbative definition and alternates like technicolor aren't defined. Similarly many parameters that look like they can take any value perturbatively and non-rigorously might be restricted to certain ranges non-perturbatively. Also the Standard Model might be much more natural and less adhoc seeming, perhaps only theories of its form exist non-perturbatively in 4D.
Basically we're currently operating under the assumption that the space of QFTs in 4D is identical to to the space of field theories that are perturbatively renormalizable. However this is incorrect as ##Gross-Neveu_3## is pertrubatively non-renormalizable and yet non-perturbatively exists.
I agree, when I said numerical results in my initial post I was referring to Lattice theories and you'll find plenty of discussions about Lattice versions of the Standard Model suggesting non-triviality in Callaway's paper that I referenced. I also consider both programs reasonable.atyy said:Sure I agree. That has never been the question. The question is whether a lattice model (at finite spacing) could provide a non-perturbative definition for the currently successful experimental predictions of QED, QCD and the standard model. If that is a reasonable research programme (at least as reasonable as looking for a continuum 4D QED theory), then one can say that the standard model may be consistent with non-relativistic QM. It is not an "either-or" question. One could believe that both research programmes are reasonable.
That is not how I have seen the distinction. Do you have an authoritative reference for this usage? (What you are calling “theory” I have seen called “mathematical framework”)A. Neumaier said:But this is not standard terminology. Theory is the formal, purely mathematical part, and interpretation tells how this formal part relates to reality / observation.
I disagree again. It is the prediction of measurable quantities that makes a theory useful.A. Neumaier said:It is the interpretation that makes a theory useful.
It certainly does not need interpretation to be used and tested. You do not need to give a "deeper meaning" to the Hamiltonian to test Hamiltonian mechanics or to give a meaning to why the Poisson brackets with the Hamiltonian give the time evolution of a system. You need a description of phase space, an expression for the Hamiltonian, and the measurable predictions resulting from it.A. Neumaier said:Classical Hamiltonian mechanics is surely a theory. But it needs interpretation to be used: How to interpret energy in terms of reality/observation is clearly not part of the theory.
A. Neumaier said:But this is not standard terminology. Theory is the formal, purely mathematical part, and interpretation tells how this formal part relates to reality / observation. In simple cases, the interpretation is simply done by choosing the right words for the formal concepts
It is surely implicit in the discussions of 1926-1928 about the interpretation of quantum mechanics by their originators. Schrödinger's and Heisenberg's theories were proved to be equivalent (i.e., the mathematical frameworks were interconvertible), but views about the interpretation differed widely. Moreover, different interpretations even made different predictions, and the analysis turned out to give a harmonizing Copenhagen interpretation, both relaxing the incomatible hardliner positions that Born and Schrödinger originally had.Dale said:That is not how I have seen the distinction. Do you have an authoritative reference for this usage? (What you are calling “theory” I have seen called “mathematical framework”)
A. Neumaier said:It is the interpretation that makes a theory useful.
Classical Hamiltonian mechanics is surely a theory. But it needs interpretation to be used: How to interpret energy in terms of reality/observation is clearly not part of the theory.
Orodruin said:I disagree again. It is the prediction of measurable quantities that makes a theory useful.
[Classical Hamiltonian mechanics] certainly does not need interpretation to be used and tested. You do not need to give a "deeper meaning" to the Hamiltonian to test Hamiltonian mechanics or to give a meaning to why the Poisson brackets with the Hamiltonian give the time evolution of a system. You need a description of phase space, an expression for the Hamiltonian, and the measurable predictions resulting from it.
I would appreciate that and I will look for similar explicit definitions as well. My “implicit” definitions are quite opposed to yours.A. Neumaier said:But to give precise references - if you still want them - I need to do some research.
A. Neumaier said:As I said, in simple cases, the interpretation is simply calling the concepts by certain names. In the case of classical Hamiltonian mechanics, ##p## is called momentum, ##q## is called position, ##t## is called time, and everyone is supposed to know what this means, i.e., to have an associated interpretation in terms of reality.
objective = testable and subjective = untestable.Dale said:To me what is scientifically important is the distinction between the portions of a model which can be experimentally tested using the scientific method and the portions that cannot. I don’t care too much about the terminology, but that distinction is important so it should have some corresponding terminology. In my usage that would be “theory” vs “interpretation”.
What words would you personally use to make that distinction?
It is the interpretation that makes a theory useful.Orodruin said:I disagree. The theory must include the relation to observation. Otherwise it is useless.
I just observe that Schrödinger and Born thought differently about the issue. In 1926, when the interpretation problems in quantum mechanics became relevant, there was good theory, and there was disagreement about the relation to observation in general - just pieces that were undisputable but others that were highly contentuous. Indeed, the meaning of the relation to observation changed during the first few years.Orodruin said:Sorry, but in my mind this is severely twisting the meaning of the word "interpretation" in this discussion.
Even using your definitions I would disagree with this claim. With your definition it is only the so-called “minimal interpretation” that makes the theory useful. All other interpretations are subjective per your terms.A. Neumaier said:It is the interpretation that makes a theory useful.
No, it is the operative definitions of how to relate mathematical concepts of the theory to measurable quantities that make a theory useful. This is not interpretation in the common nomenclature typically used here, regardless of what Born and Schrödinger thought about the issue.A. Neumaier said:It is the interpretation that makes a theory useful.
So I found a few references that clearly disagree with your definition of "theory" at least.A. Neumaier said:But to give precise references - if you still want them - I need to do some research.
Since you quote wikipedia, let me also quote it:Dale said:Wikipedia says "A scientific theory is an explanation of an aspect of the natural world that can be repeatedly tested and verified in accordance with the scientific method" https://en.wikipedia.org/wiki/Scientific_theory where clearly a theory must be testable. The purely mathematical concept of theory that you propose is not testable, so it does not fit the Wikipedia definition.
This says exactly what I claimed. The same meaning is also echoed in another wikipedia page not related to quantum mechanics:Wikipedia (Interpretations of quantum mechanics) said:An interpretation of quantum mechanics is an attempt to explain how the mathematical theory of quantum mechanics "corresponds" to reality. [...] An interpretation (i.e. a semantic explanation of the formal mathematics of quantum mechanics) [...]
Wikipedia (Probability interpretations) said:The mathematics of probability can be developed on an entirely axiomatic basis that is independent of any interpretation: see the articles on probability theory and probability axioms for a detailed treatment.
... and by implication, everything else is interpretation, about which ''there is very little agreement''. Very little is said in the cited article about how an observable or a state is related to reality, no operational definition is given how to measure a state or an observable. Loose connections are given in Section 3.4 (Born's rule) and statement (4.2) (special case of eigenstates). The second connection is too special to be representative of the meaning of QM; the first connection is already interpretation dependent (the formulation assumes collapse, a controversial feature) and nevertheless fraught with problems, as is said explicitly on the same page:The Stanford encyclopedia of philosophy said:Mathematically, the theory is well understood [...] The problems with giving an interpretation [...] are dealt with in other sections of this encyclopedia. Here, we are concerned only with the mathematical heart of the theory, the theory in its capacity as a mathematical machine, and — whatever is true of the rest of it — this part of the theory makes exquisitely good sense.
But without contexts of type 2, nothing at all follows about the relation between the formalism and measurable cross sections or detection events. Thus the uninterpreted theory must be silent about the latter.The Stanford encyclopedia of philosophy said:
- The distinction between contexts of type 1 and 2 remains to be made out in quantum mechanical terms; nobody has managed to say in a completely satisfactory way, in the terms provided by the theory, which contexts are measurement contexts, and
- Even if the distinction is made out, it is an open interpretive question whether there are contexts of type 2; i.e., it is an open interpretive question whether there are any contexts in which systems are governed by a dynamical rule other than Schrödinger's equation.
So please spell out the operative definitions that relate the mathematical concepts of quantum theory to measurable quantities. You'll find that this is impossible to do independent of any of the interpretations of quantum mechanics that can be found in the literature. (Shut-up-and-calculate works only because it leaves the interpretation to the community without spelling out precisely what it consists of.)Orodruin said:No, it is the operative definitions of how to relate mathematical concepts of the theory to measurable quantities that make a theory useful. This is not interpretation in the common nomenclature typically used here, regardless of what Born and Schrödinger thought about the issue.
Another independent wikipedia source also follows my notion of interpretation:A. Neumaier said:Theory is the formal, purely mathematical part, and interpretation tells how this formal part relates to reality / observation. In simple cases, the interpretation is simply done by choosing the right words for the formal concepts, but in relativity, more is needed since it is no longer intuitive, and in quantum mechanics, much more is needed since the meaning is - a mess.
Wikipedia (Scientific modelling) said:Attempts to formalize the principles of the empirical sciences use an interpretation to model reality, in the same way logicians axiomatize the principles of logic. The aim of these attempts is to construct a formal system that will not produce theoretical consequences that are contrary to what is found in reality. Predictions or other statements drawn from such a formal system mirror or map the real world only insofar as these scientific models are true.
Yes, because the Insight article defining this thread tries to change definitions:akvadrako said:This is just arguing over definitions, right?
Without good reasons, I think; see my post #4.demystifier said:It doesn’t make sense to distinguish an interpretation from a theory. There are no interpretations of QM, there are only theories.
I am not convinced that this is exactly the same as what you were claiming. First, this is the definition of interpretation, not the definition of theory. The definition of theory is not consistent with your definition of theory. The theory itself includes the mathematical framework as well as the mapping to experiment. It specifically rejects your definition of theory as being only the math.A. Neumaier said:This says exactly what I claimed.
You say that the interpretation provides the relationship to “reality/observation”. The standard definitions of theory include the relationship to observation and your quoted Wikipedia definition of interpretation includes only the relationship to “reality”.A. Neumaier said:Theory is the formal, purely mathematical part, and interpretation tells how this formal part relates to reality / observation.
Dale said:I believe you intend to include both the mapping to experiment and also metaphysical claims about reality.
... but still has the problem to say what probabilities mean. Observed are only frequencies, not probabilities.Lord Jestocost said:an instrumentalist minimal interpretation. In such an interpretation, Hermitian operators represent macroscopic measurement apparatus, and their eigenvalues indicate the measurement outcomes (pointer positions) which can be observed, while inner products give the probabilities of obtaining particular measured values. With such a formulation, quantum mechanics remains stuck in the macroscopic world
This is presumably what @Dale calls objective interpretation.Lord Jestocost said:The first stage of interpretation of the mathematical formalism establishes the connection to the empirical world as far as needed for everyday physics in the laboratory or at the particle collider.
and this would be what he calls subjective interpretation.Lord Jestocost said:ost physicists would also prefer to have some idea of what is behind those measurements and observational data, i.e. just how the microscopic world which produces such effects is really structured.
Yes. For me, experiment is an obvious part of everyday reality. If we deny it this status, nothing objective is left. Fo you, reality seems to be something metaphysical, unrelated to experience (of which experimental evidence is a part).Dale said:Now, as to whether this section on interpretation is consistent with your view of interpretation depends a little on what is meant by “corresponds with reality”.
OK, so let me try to make your terminology precise, as I understand you.Dale said:I would only agree that the objective interpretation is what makes a theory useful, and that is already part of the theory itself.
bhobba said:But to his dying day thought it incomplete
Lord Jestocost said:Mathematical formalisms such as the one presented in basic form in the previous chapter are in themselves rather abstract; they say nothing about concrete reality.
ftr said:It is incomplete in the sense that all couplings and mass are put in by hand and are not emergent from the theory.
Yes, by definition “reality” is a concept which is defined by and studied in the philosophical discipline of ontology which is one of the major branches of metaphysics. It is not that I doubt that experiments are real, it is just that the whole concept of reality is a philosophical one that cannot be addressed by the scientific method.A. Neumaier said:Fo you, reality seems to be something metaphysical
This is not my terminology. This is an effort to construct a compromise terminology for clarity here.A. Neumaier said:OK, so let me try to make your terminology precise, as I understand you.