Ontology is to quantum theory what hardware is to computation theory

In summary: To help mutual understanding between the two types of physicists, I would like to propose an analogy, or at least a good metaphor.This analogy is not very helpful. What does "two ways of thinking in quantum foundations are also complementary to each other" mean?
  • #106
I thought the point of the thread was to not polarize, as that leads nowhere, but to propose that the two views are complementary in some fuzzy sense. But it seems hard enough to agree on that.

I am very far from what one traditionally means by a "realist", yet there is this interesting connecting with real and subjective, which bridges the other extreme epistemological empirical stance.

Unless I misinterpreted Demystieifer in earlier recent threads, I think we agreed that noone will ever know with certainty what anything really "is", no matter how much we all want to know. But we (or the agent to be specific) always have an "image" or picture, or "map" of our best abduction of what reality is? (wether the agents have maps that harmonize is a separate question for me)

Wasn't THIS the "ontology", relative to a given "theory", what Demystifier entertained? or am I wrong?

I find it helpful to distinguish between the principles, rather than specifics. In principle, the "ontological view" does not necassarily mean "bohmian mechanics", for me it might as well mean "agent or bayesian mechanics" or soemthing that traditionally is very FAR from the old resistance to QM.

Demystifier said:
I appreciate your patience. Can you try to explain the following to me? If they don't want to engage in such discussions, but still care about these questions, then how is their care manifested?
Does it count if I care about, not ontology of "ultimalte reality" (as we agreed? we can never know), but about the ontology of the MAPs? This is for me the connection. Many TP, doesn't consider the theory as part of reality, it's just part of human science.

We often say, don't mistake the map for the territory, but the map is all we have, and what we revise. In one extreme one can wonder, does it matter what the territory is? Maybe it's just a mess of interacting maps? Part of the idea is of course, that the other maps are hidden, each player only views it's own map.

For me this neither traditional Realist, not typical physicist. I am symphatetic to parts of both sides.

/Fredrik
 
  • Like
Likes Demystifier, gentzen and Structure seeker
Physics news on Phys.org
  • #107
If the map maps out real objects in real territory, I agree. The problem is some maps explicitly state "this here is not real". They give no contrary statement about anything mapped, so there is no way to argue that the territory should be like this, the map gives the impression it is all fantasy.
Thus the map doesn't map any physical thing in these cases, not because it is wrong but because there is no way to decide where it is right.
 
  • #108
Structure seeker said:
If you say the theories are complete because there are no phenomena observed yet that falsify it, I don't understand how you discard realism of everything in general. Either the theories are about reality, or they are fantasies per definition of what fantasy is. If you discard realism, then I am only interested in your theories from the perspective of a psychiatrist. But if you claim the theories are applicable always and everywhere, that means in real life, and that means the physics it describes must be real.

So my question only is: what is about reality in your own interpretation and what isn't? Then we can discuss clearly, for otherwise I'm only interested if I want to connect to the world in your head.
It's an empirical fact that observables don't have predetermined values before the system is not prepared in a state, where this is the case. That's the clear outcome of all the Bell tests, given that relativistic QFT, describing them in accordance with all observations, is local (i.e., microcausal).
 
  • #109
The mistake is to conclude from Godel's incompleteness theorems that since exact science cannot be based on logic, logic doesn't matter that much.

The thing every map needs to explain, is the existence of empirical facts, facts that anyone can verify anywhere. If you do not assume realism, an alternative logical explanation is needed in order to convince anyone. Well, due to the idea that it is tolerant, people might accept the way you talk, and due to the authoritative position of exact science, they might even believe it. But if I argue logically (which I am not going to stop) realism is the only current explanation of why empirical facts exist.
 
  • Like
Likes Simple question
  • #110
vanhees71 said:
It's an empirical fact that observables don't have predetermined values before the system is not prepared in a state, where this is the case. That's the clear outcome of all the Bell tests, given that relativistic QFT, describing them in accordance with all observations, is local (i.e., microcausal).
I agree that the classical observable does not exist before measurement, but since the wavefunction nature has real effects on observables, this wavefunction is an empirical fact. Then my above post applies, if it is not real, why on earth does it behave the same always and everywhere?
 
  • #111
Obviously you use another meaning for the word "realim" than I. That's another problem with philosophical debates: They invent new meanings for words that are well defined in the sciences. Realism in the context we discuss it here is the assumption that all observables of a system take always determined values. That's not true within QT, where a specific observable only takes a determined values, when the state is prepared such that this is the case. An example is that the system is prepared in a pure state, that is represented by an eigenstate of the self-adjoint operator that represents the observable. Then this observable has the corresponding eigenvalue of this operator as its determined value.
 
  • Like
Likes LittleSchwinger
  • #112
If nothing is real before the observable is measured, how can it appear out of things that supposedly are not real?
 
  • #113
Obviously you have a different notion about what "real" means. You have to define it. Otherwise I don't understand what you mean.
 
  • #114
By measurement you apply a fourier transform to the wavefunction and voila, it becomes an observable. How can the second be real and the first not real?

My definition of real is that something is validly defined: no contradictions with other real objects and independent from other real objects (like how histories can be consistent in the consistent histories interpretation). Two entangled particles together have 1 wavefunction that I call real (but the quanta of 1 particle are not validly defined, their definition correlates with that of the other particle so they must be merged), and locality is sort of preserved because wavefunction collapse can only occur where the wavefunction has nonzero magnitude.
 
  • #115
Nature behaves as she does, and we can figure out how she does by objective observations of this behavior. The fact that quantum theory describes all such observations unanimously implies that observables only take determined values when the system is prepared in a corresponding state, and it's impossible to prepare a system in any state, where all observables take determined values (Heisenberg uncertainty relation).

Wave functions are not observables. Their only meaning is to provide the probabilities (probability distributions) for the outcome of measurements via Born's rule.

Of course a state is not represented by the "wave function" but by the statistical operator (or in the special case of pure states by rays in Hilbert space).
 
  • Like
Likes LittleSchwinger
  • #116
Structure seeker said:
If the map maps out real objects in real territory, I agree.
My point was that, the agents best answer to what the "territory is", is encoded by the map. The map is an "abstraction" encoding all we know. (To ask what is the difference between all what we know about soemthing, and what it is, seems confused. IF this bothers you, then perhaps I am a TP after all)

But my point is that the map is REAL. The physical composition of the agent, constraints the map, just like computer hardware constraints the possible programs it can run. Ie the physical agent(ie matter) is the memory device that encodes it's expectations. And when you consider two interacting systems, that entertain maps of each other - this is where it gets interesting, right? IF you don't allow this! Then we get normal QM. QM as it stands obivously has probelms to consistently incorporate the "measurement device" in the "quantum part".

So the complementarity I hinted was that the map/ontology is evolving, as per certain epistemological inference rules (which themselves are constrained by the state ontology - simlary to that the question we can ask today in physics, are constrained by our current theories! Ie the open questions are formulated, in terms of limits or boundaries of existing theory etc).

If we take this interaction seriously, the scientific knowledge and the scientific process, ontology and epistemology goes hand in hand. So if we ponger a say hypothetical big bang "agent/observer" in this sense, it's set of allowable inferences and thus interactions are limited, because that agent is presumed to be very "simple" (low complexity).

What difference this makes? It can save us from finetunig, as we do not need to consider a almost infinite landscape of potential ontologies, we can constrain this landscape by taking the "allowed interaction" from which is constructed - very seriously. Current typical TP does NOT take this seriously IMO.

Structure seeker said:
the map gives the impression it is all fantasy.
If the "fantasy" is what determines tha angents behaviour (hamiltonian), then this makes a difference.

Structure seeker said:
not because it is wrong but because there is no way to decide where it is right.
This why I think this must be seen in the evolutionary (quasi dynamical) perspective, there are not final answers, the quest itself may be as close as the answer we get. In a process of learning of selfoorganisation, there isn't necessarily a final goal or ultimate truth, it's just a constant evolution. The forward direction can only be defined relative to the present, so the future can keep changing.

/Fredrik
 
  • #117
vanhees71 said:
Nature behaves as she does, and we can figure out how she does by objective observations of this behavior.
The problem is that from the perspective of a single observer/agent, the objectivity is inaccessible; the only think I can accept is observer democracy. It's the same thing, except transient disagreements is not excluded. And I think these "forbidden transitions" is exactly what we need to explore to undertand how the fundamental forces are related.

I think when we used this observer equivalence as a constraint, we also limit the applicability of the theory, to essentially asymptotic data for small subsystems, which makes perfect sense for normal QM.

But with unification I think this constraints gets us into trouble.

/Fredrik
 
  • #118
vanhees71 said:
Obviously you have a different notion about what "real" means. You have to define it. Otherwise I don't understand what you mean.
The title of this thread is a kind of explanation of what "real" (ontology) means. It's an explanation through an analogy, not a definition, but as I explained many times, some concepts are primitive so cannot be defined.
 
  • #119
"Realistic" has a clear meaning in this context: A theory is called realistic if it assumes that all observables always have determined values. This is obviously not fulfilled by QT and that's why QT is non-realistic (though in the case of relativistic QFT it's by construction local).
 
  • Like
Likes LittleSchwinger and DrChinese
  • #120
vanhees71 said:
"Realistic" has a clear meaning in this context: A theory is called realistic if it assumes that all observables always have determined values. This is obviously not fulfilled by QT and that's why QT is non-realistic (though in the case of relativistic QFT it's by construction local).
I couldn't resist thisr analogy using Demystifiers metaphors...

Suppose that the territory really is, a mess of "interacting maps"? Where the "maps" are encoded by the matter systems and agents. Or translated to the terms here mess of "communicating computers", each running different software. Obviously the software runnable on any computer must be ported to run in the hardware. And lets suppose all the computers do, is trying to make inferences about the states of all the other computers, using the available information they received from communicating. Which means that what is going on in this game, is that all the parts are constantly learning as much as possible about each other - thus either getting along and cooperating, or killing/hijacking each other?

A corresponding questions is:

Do we think such a game/model, reproduce quantum phenomena, such as entanglement or quantum interference, if the state of all maps are "predetermined"? By the set of all maps, I mean essentiall the set of all possible states of the computer hardware and their software; as if there was a "god view" that could look at ALL the computers at once (bypassing physical communication/inference)?

Can we guess if such model will be excluded by mechanicsms in Bells theorem?

Would such a model paradigm be satisfactory (presuming it is identified) and esthetically satsifactory to some realists?

/Fredrik
 
  • #121
Fra said:
Does it count if I care about, not ontology of "ultimalte reality" (as we agreed? we can never know), but about the ontology of the MAPs? This is for me the connection. Many TP, doesn't consider the theory as part of reality, it's just part of human science.
Nobody claims ultimate complete knowledge of nature (well that's not true, there is a couple of people that does it on this forum).
"That's turtle all the way down", so we are only interested by the next level of turtle territory layer, and how to leverage it for agency purpose.

Fra said:
We often say, don't mistake the map for the territory, but the map is all we have, and what we revise.
You lost me there, this is plain wrong. We have many maps, and then the ONE territory were we all experiments.
Fra said:
In one extreme one can wonder, does it matter what the territory is?
I am pretty sure that's the only thing that matter (pun intended)
The naming is also not the issue and never was. Reality is not defined, it is experienced. All these choices describe what is done at CERN. Only one is ontological.
  1. We verify that QFT is the one and only all knowing truth, by verifying its inability to predict new particles and their mass, and the final stop to human knowledge.
  2. We burn money like crazy because we can.
  3. We run a particle accelerator
  4. We run a field giggler
  5. We run a string knitter
  6. There is a bunch of magnet, mega miles of cable and other goodies, computer and algorithm, carefully assembled, that spit out number in screens and databases (and a good power source)

Fra said:
Maybe it's just a mess of interacting maps? Part of the idea is of course, that the other maps are hidden, each player only views it's own map.
Maps don't interact. Do you mean when you use many maps to find your way in the territory ? Why call it interaction ? What is your actual ontology, is it "agent" ?
 
  • Like
Likes Structure seeker
  • #122
vanhees71 said:
It's an empirical fact that observables don't have predetermined values before the system is not prepared in a state, where this is the case.
That statement applies to anything, including the moon. This is not an empirical fact, but a Lapalissade, whose ontology is known to philosopher.

vanhees71 said:
That's the clear outcome of all the Bell tests, given that relativistic QFT, describing them in accordance with all observations, is local (i.e., microcausal).
Bell test and theorem do not need "given". It stand on its own (non-ontological) feet, outside of QM, and is even accessible to Yong students.
It proved that QFT is not only "un-realistic", but also "incomplete", because the empirical fact is that non-locality is real
 
  • #123
Hmm, we're getting into not accepting that people don't believe that things that cannot be measured could be real. That is a step too far, if someone cannot believe that if we try to convince, it's his/her loss.

But I do wonder, @vanhees71 , about your answer to
Structure seeker said:
By measurement you apply a fourier transform to the wavefunction and voila, it becomes an observable. How can the second be real and the first not real?
 
  • #124
Simple question said:
Maps don't interact. Do you mean when you use many maps to find your way in the territory ? Why call it interaction ? What is your actual ontology, is it "agent" ?
Yes, i was thinking "agents interact". And the "map" was then the metaphor for the agents understanding of it's environment. And this is constantly challenged and tuned over time. But the agent is of course simply matter. The difference is that abstraction used, and thus the way to ask questions.

When probing high energies from perspective of QFT paradigm, the questions asked take a particular form. The smaller things we probe, the more information do we need to process in the lab. In agent view, I would say this means; it takes a sufficiently massive agent, to even distinguish a small subatomic agent. And the description we get necessarily lives in the low energy domain, and tracing it properly all the way gets too complicated due to divergences. So QFT tells us how a massive agent "maps" a ligt agent (read subatomic systems). But how would one electron "see" or "map" a proton? The elctron maps the nuclues, and the nucles maps the electrons? Here QFT does not apply as neither of these qualify as a classical measurement device. If we could answer that, we could inprinciple understand the interactions, from the native scales, and not work through the chain of renormalizations to make contact to low energy physics.

/Fredrik
 
  • #125
Demystifier said:
If they care but not manifest it, then their care is a hidden variable. Would you say that it is justified to think that a hidden variable exists? :wink:
I think at this point we are way off topic for both this thread and PF in general.
 
  • #126
vanhees71 said:
I've not a single example, where philosohpical reasoning has brought any progress in the natural sciences.
This is a very weird statement especially when regarding the history of the natural sciences, which weren't even really considered separate from philosophy at all until very recently in relative terms.
 
  • Like
Likes WernerQH
  • #127
My head is spinning.
Perhaps I should see an ontologist.
 
  • Haha
Likes DrChinese, dextercioby, apostolosdt and 3 others
  • #128
vanhees71 said:
"Realistic" has a clear meaning in this context: A theory is called realistic if it assumes that all observables always have determined values. This is obviously not fulfilled by QT and that's why QT is non-realistic (though in the case of relativistic QFT it's by construction local).
vanhees71 said:
It's an empirical fact that observables don't have predetermined values before the system is not prepared in a state, where this is the case.
The value of observables prior to measurement is not asserted or rejected by QM. An instrumentalist should not be surprised by this since you cannot measure a system before you measure it.

QM only insists that we don't assign a predetermined value to all observables. We can readily assign a predetermined value to the measured observable prior to measurement. I.e. We can construct propositions about an observable prior to measurement that nevertheless correlate with the possible outcomes of the measurement, even if the measured system was not initially prepared in an eigenstate of the observable to be measured.
 
  • Like
Likes mattt, physika, dextercioby and 2 others
  • #129
vanhees71 said:
"Realistic" has a clear meaning in this context: A theory is called realistic if it assumes that all observables always have determined values.
By that definition, I don't know (*) any "realistic" interpretation. In particular, Bohmian, GRW and many worlds, which are otherwise regarded as realistic, are not realistic according to your definition.

(*) Or maybe I do. The thermal interpretation by @A. Neumaier might be the only realistic interpretation in this sense, but AFAIK this interpretation is not published in any peer reviewed journal.
 
Last edited:
  • #130
Of course, any interpretation that is in accordance with the observations cannot be realistic. A realistic theory cannot be a mere reinterpretation of QT but must be a new theory. That's the important point of the verification of the violation of Bell's inequality.
 
  • Like
Likes LittleSchwinger
  • #131
I'm afraid these interpretations then do not explain objects like the moon until we measure each particle of it. They explain the results of quantum mechanical experiments only.

I prefer to follow the consistent histories interpretation with the addition that the proposition elements of the set of consistent histories are real and parts of a real object that is the complete (probability 1) set of consistent histories of which the propositions at a fixed time together describe the wavefunction at that time. It's the first time I describe this idea, so excuse me if a few technical details are missing.

It's because I think this also has meaning in classical contexts (even though it is pretty complex) such as the reality of the moon. Although the map @vanhees71 uses describes quantum experiments and is thus OK in @Fra his view, it would be nice to have a more complete theory for which I proposed a candidate.
 
  • #132
Philosophical reasoning used in Science R&D. Which would you ignore?

1. Epistemology
2. Metaphysics
3. Separation of science and pseudoscience
4. Ethics
5. Ontology
6. Scientific Revolutions
 
  • #133
vanhees71 said:
Of course, any interpretation that is in accordance with the observations cannot be realistic. A realistic theory cannot be a mere reinterpretation of QT but must be a new theory. That's the important point of the verification of the violation of Bell's inequality.
Do you distinguish "realistic" from "local realistic"?
 
  • Like
Likes gentzen
  • #134
Structure seeker said:
I'm afraid these interpretations then do not explain objects like the moon until we measure each particle of it. They explain the results of quantum mechanical experiments only.
I know you are replying to the vanhees71's post just above, but I would really prefer if you could still quote a part of his post nevertheless (in the future). It would simply make my life and the life of other readers of this thread a bit easier.
TonyStewart said:
Philosophical reasoning used in Science R&D. Which would you ignore?
You are not responding to any post in particular, correct?
TonyStewart said:
1. Epistemology
2. Metaphysics
3. Separation of science and pseudoscience
4. Ethics
5. Ontology
6. Scientific Revolutions
I would ignore "2. Metaphysics" and "6. Scientific Revolutions". I am unsure whether "6. Scientific Revolutions" even qualifies as philosophical reasoning in the first place.
 
  • Like
Likes TonyStewart
  • #135
gentzen said:
I know you are replying to the vanhees71's post just above, but I would really prefer if you could still quote a part of his post nevertheless (in the future). It would simply make my life and the life of other readers of this thread a bit easier.

You are not responding to any post in particular, correct?

I would ignore "2. Metaphysics" and "6. Scientific Revolutions". I am unsure whether "6. Scientific Revolutions" even qualifies as philosophical reasoning in the first place.
At least 1 revolution per century on average made paradigm shifts in thinking. ST was one that beckons a replacement. Perhaps less frequently in history but certainly evident in Sumeria (s. Iraq) Mayan calendar, heliocentric era, gravity wave evidence, super-symmetry, now with deep space 10 year tracking black holes exploration, solar weather prediction, evolve more plasma-dynamic theories on dark matter and evolution
 
  • #136
Demystifier said:
Do you distinguish "realistic" from "local realistic"?
I consider locality and realism as independent. E.g., non-relativistic quantum theory is non-realistic but not local, as expected from a non-relativistic theory.
 
  • Like
Likes LittleSchwinger
  • #137
vanhees71 said:
I consider locality and realism as independent. E.g., non-relativistic quantum theory is non-realistic but not local, as expected from a non-relativistic theory.
Good. But in your view, what kind of theories are ruled out by the violation of Bell inequalities; all realistic theories, or just the local realistic ones? And am I right that Bohmian mechanics is non-realistic in your view?
 
  • Like
Likes gentzen
  • #138
Back to the analogy. (I won't change naming, but hardware aware guy VS algorithm only software guy, is the more appropriate naming)

The software guy is wrong… for reasons way deeper than FAPP (on which everyone has different opinions and judgment about what is practical and purposeful).
Even if computers were abstraction only made of bit, even if software guy admits there is a fine number of those (it is probably possible to retrofit this in his mathematical abstractions/language), and even if his work is definitely helpful (i.e evaluate complexities, build certitude for signal processing and cryptographic, and more) ... he will still miss something.

Computer are NOT made of bit, and nothing else matter.

A helpful example within the analogy: the paradigm of those "bits", is UMA, this correspond to a non-local paradigm, were all kind of fantasies can be build. Namely primitive object like pointer and integer. Even worse, those are often abstract away by even more "high level" semantics (array and number). The result: one can build a program that halts after 2 weeks. And it will crash if the 'initial boundaries' don't fit within some ranges.
The hardware guy will produce another program, that halts in 42 seconds, and accept an order of magnitude bigger inputs, by carefully avoiding some singularities.

This is still an FAPP failure, so it is always easy for the software guy to claim equivalences of results. He probably have no-go theorem, involving cost of hardware vs cost of thinking more broadly.

Here is the trick. The hardware guy know that UMA is a fiction and information is not "just bit". He has a precise knowledge of the caches latencies and sizes, WAT per cycle, even silicon rarefaction and cost of electric bill if he is really a good one.
The result is that the deep understanding of those "ontologies", made him develop a theoretical (logarithmic) framework/understanding, a specific domain that allows him to produce results that is simply impossible to do otherwise.
Caches haven't been invented to solve a computing problem, but to solve a computer problem, related to physics, not bits. Now entire stacks of cache-software tools also exist, only to manage that "ontological issue"

The software guy has not incentive, nor even ways in principle, to discover those "useful" domain into the more or less infinite space of algorithm. He could even stumble on it by luck, and not even understand what it would be useful for.

There is also caveat of being too focused on ontology. In computer science the saying is "Premature optimization is the root of all evil". And this is true.
The other less vocalized truth is "Not caring about optimization is the other root of all evil". I've seen more projects fail because of the second than the first.
 
  • Like
Likes Demystifier and gentzen
  • #139
Structure seeker said:
If nothing is real before the observable is measured, how can it appear out of things that supposedly are not real?
Part of the problem here, is that some (or someone) confuse the concept of CFD (counterfactual definiteness) with that of realism, that is, that electrons (for example) may not have a definite value of spin, but that doesn't mean they aren't real.
 
  • Like
Likes Structure seeker, gentzen and martinbn
  • #140
physika said:
electrons (for example) may not have a definite value of spin, but that doesn't mean they aren't real.
Yes, but the question is how to represent the real stuff (such as electron) with a mathematical object. If you represent it by a wave function, then you must have collapse (unless you accept many worlds), which leads to non-locality and Lorentz violation. If you say that it is not represented by a wave function, then you should say something about representing real stuff with another mathematical object. And yet people like @martinbn refuse to say anything concrete of this sort. For me they are non-realists at least in some weak sense, not by claiming that reality doesn't exist (which would be a strong non-realism), but by refusing to say something about the mathematical object that represents this real stuff.
 

Similar threads

Back
Top