vanesch said:
True, but the question is actually this one: is it *thinkable* (can we find a vision, a picture, a consistent toy world) in which it can be done ? Or are we SURE now that quantum mechanics doesn't apply to macro systems ?
This must be the divergence in our views right here. You are essentially taking an "assumed true until proven false" approach to building toy worlds that are intended to mimic the real one, whereas I take an "assumed false until proved true" approach. I would say we have many examples in the history of physics where my approach would have saved some embarassment, and a lot of philosophical hand-wringing as well. On the other hand, your approach has led to new physics like neutrinos and positrons. So I think this shows the advantages of each-- when looking for new physics, by all means go ahead and assume your axioms extend across the frontier of what is known. But when building a philosophical world view, do the opposite, or you fall victim to the very same type of mysticism that science was essentially invented to replace.
The issue is in what is testable. It was "harmless" to postulate neutrinos, positrons, and now supersymmetry, based on "good" axioms to date. But concepts that you know are not testable by their very nature, like the wave function of a cat, lead you down the primrose path. Knowing going in that you can never test these notions, to hold them as true anyway makes one guilty of not looking for new science, but rather looking for that "warm fuzzy feeling" that is recognized as the illusion of control and understanding when the truth is pure mystery. The scientifically honest thing to do is recognize mystery when we encounter it, and not pretend that an approach that yields testable results in one area can be extended to an untestable realm with the pure intention of extinguishing that sense of mystery. So I say, if a cat has a wave function, prove it-- make a testable prediction. Failing that, the requirement is to say "I have no idea if the concept of wave function has any connection with a cat, and I will not build a philosophy around the idea that it does, simply to assuage my sense of order". There are more accessible ways to assuage our desire for order that do not even require an education in physics.
I think (I might historically be wrong, I'm no expert, I only know the common myths

) that Schroedinger's observation tried to show that *evidently* quantum mechanics is not applicable - gives rise to absurdities, wrong results - when applied to a cat. I think he was wrong, in that things are more subtle and that decoherence shows a way to get out consistent views, all respecting quantum mechanics.
I'm not sure why he did it either, but it's my sense that he was trying to expose flaws in the Copenhagen interpretation by using it to argue to an absurd result, the result that a cat could be in a superposition state. In other words, he took it as given that a cat could not-- which is why it is so ironic that his "paradox" is often expressed as saying that quantum mechanics shows a cat can be in a superposition state! It sounds like you and I can agree the paradox is irrelevant, because the superposition state (whether it can exist or not) cannot be created that way, due to the problem of decoherence. But what you are saying is that if a closed system containing a cat starts out in a pure state, quantum mechanics says it will remain in a pure state. I'm not denying that, I don't need quantum mechanics to be wrong-- I'm saying that even if you can get a closed system including a cat to be in a pure state (and I don't say you can), the cat, as a subsystem, will not be in a pure state. When you project a system onto a subsystem, you lose the pure state unless you can track all the coherences that connect the subsystem to the larger system-- and the fact that you can't do that is exactly what makes a cat a classical system.
So my bottom line is, a cat is a classical system, and the reason we couple quantum systems to classical systems is that we know we can count on the classical systems to respond classically. The logic of the cat paradox is exactly backward-- we should be asking how the quantum system got turned into a mixed state by its interaction with the cat, not how the cat got turned into a superposition by the quantum system.
So the question is not: did an experiment show that a macro object DID do something 'non-classical' and purely quantum mechanical, but rather, was there an experiment that FALSIFIED a prediction of quantum mechanics concerning macroscopic objects.
That's just the "correspondence principle" requirement that quantum mechanics is already held to. It doesn't show that quantum mechanics
works on classical systems, only that it doesn't demonstrably
fail on classical systems. I would say this means that quantum mechanics is "not even wrong" when applied to macro systems-- it simply isn't usable.
In other words, *we don't know* in how much quantum mechanics "really applies" to macroscopic objects. It's an open question.
It is only an open question by virtue of being untestable. That's not a strength of a scientific theory.
Because nature would be SIMPLER if quantum mechanics was just universally valid!
I don't agree there, and I'll express my disagreement with an analogy. Imagine you are an ornithologist studying the migration of the birds from some remote island. There are two species of birds on the island, and every Winter they disappear, and return in the Spring. You use radio tracking devices to track one of the species, but you find the other species rejects the trackers and pecks them off every time. So you track the one species, and see where they go. Now, does Occam's razor say it is simpler to assume the other species does the same thing, or does it say the simplest result is simply to not ask the question where the other ones go because it would be a pointless question to ask? I say the latter, if a question cannot be answered, the simplest thing is not to ask it-- not to assume the answer is something that cannot be falsified.
But for all we know, we cannot be sure that certain principles of quantum theory, in current or modified form, are NOT valid on macroscopic scales. We have no indication either way.
True-- but we also expect that we never will. That's the problem-- such axioms are only helpful if they lead to testable new physics. If they don't, they become philosophical baggage that the "razor" should trim away.
But what gives priority to classical physics ?
The tutor of our brains does that. Classical physics defines the guts of science. If you look at the structure of quantum physics, you see that it is designed as a theory to reduce quantum behavior in a predictable way into classical behavior. That's why we "measure" quantum systems, rather than just leaving them alone. Classical physics, on the other hand, is not a description of how classical systems can be made to act quantum mechanically. So it is we who give the priority to classical physics.
What if quantum mechanics (as decoherence seems to show) REDUCES to observable effects which are identical to classical physics ?
Decoherence is cherry-picked from all the things that can happen physically to a quantum system, and it is picked expressly because it is the subset of actions that leads to classical behavior. We choose that, we focus on decoherence, and set up our experiments to achieve it-- all to get the unknown to behave like the known, all to get a quantum system to leave a footprint on a classical one-- the latter being what we can use science on. So quantum mechanics doesn't "reduce" to classical mechanics. we project it onto classical physics on purpose, and formulate all our equations to describe the result of that projection. So classical behavior was always built into what quantum mechanics is, right from the start. There is no such thing as quantum mechanics without classical physics, that's what operators are. As a purely formal theory, a mathematician would likely say that quantum mechanics is just one arbitrary mathematical structure, and a fairly trivial one at that.
I may have said this before, but I think this is really the crucial point. There is not a physical place where quantum physics gives way to classical physics, we decide where that transition occurs when we change our approach to tackling a problem. The transition occurs the moment we feel compelled to average over some aspects of the state of the system that we do not wish to track explicitly. We know from experience that we can do that with our measuring devices, so that's why we feel comfortable coupling them to quantum systems to learn about the latter. So quantum mechanics cannot "reduce" to classical physics, because the averaging process goes outside the quantum system, it is a super-theory if you will, not part of the unitary transformations of quantum mechanics. This is precisely why, in my opinion, wavefunction "collapse" causes such hand-wringing within the confines of quantum mechanics-- it is expressly a process that leaves those confines. We set it up to do that, and then somehow forgot we did it, like a detective mistaking his own fingerprints at the scene of a crime.
Calculationally, I agree, classical physics is way easier to deal with. But why should classical physics have priority over quantum physics conceptually - which rises the problem of the transition between both ?
It's not just ease, it's the entire structure of scientific thinking. It was all built by classical brains-- electrons might have a very different approach to science.
Indeed, we know that from the moment that the entangled states are complex enough, that probably no observation will give any interference effects, and that from that moment on, we will get IDENTICAL results between a semi-classical approach and a full quantum approach.
But there is no full quantum approach at this state-- the instant you decide to average over what you can't know, you are not doing quantum mechanics any more (in the formal sense of the mathematical structure of the unitary operators, etc.). That's my point, the quantum mechanics becomes classical when we say it does, when we lose patience with following its axioms and resort to a semi-classical picture. If we always do that before we come to macro systems (and it seems to me that's true), then we simply have no quantum mechanics to test at the macro level, and cannot be impressed it hasn't been falsified.
From the moment that explicit interference has become "unobservable" (that means, hidden in very high order correlation functions which are never observed), you can switch to a semi-classical approach with probability distributions.
This is the crucial point we agree on-- but my interpretation of this is that it proves why quantum mechanics doesn't work for macro systems. To "work" doesn't just mean "doesn't make wrong predictions", it has to mean "is useful".
But again, it is not a proof of the *unapplicability* of quantum mechanics as a principle. On the contrary. It is where quantum theory becomes identical to classical theory.
Does it retain its axiomatic structure there? I don't think so, it seems to me it has to lose its soul, and become a mechanized simulation of that very classical theory it is becoming identical to. The kind of reduction you refer to happens when we add mass-energy to a particle by accelerating it until it behaves as though it had a trajectory, but that's different from what I'm talking about-- I'm talking about adding mass to the particle in the form of lots of other particles, like a baseball, and then treating its trajectory. That's a very different animal, for a quantum mechanical treatment that could make correct predictions in some situations would be wrong in others, since a baseball is not a quantum.
But the point is, if you insist on the inapplicability of quantum mechanics to macrosystems, then you are going to look for a *transition* theory.
Exactly, that is a good way to establish my point-- we would indeed require a transition theory, and I claim we do require a transition theory-- a theory in the realm where you are unable to use quantum mechanics for practical reasons, but the classical treatment of stochastically averaging over the unknowns fails to achieve sufficient accuracy. I maintain that we have a "blind spot" in our science of real systems because we can't treat that domain, but it rarely comes up.
And there's another reason to play with a toy world in which to take your theory totally seriously (far beyond its proven domain of applicability): you get a good feeling for the machinery of the theory. You get a good understanding of what exactly the axioms imply - whether this corresponds to the real world or not.
That I have no objection to-- if anyone can start their analysis with "the following is not intended to be taken seriously as a macroscopic theory, it is merely a macroscopic analog used to better picture our quantum axioms" then I'm fine. I've seen some use the Shrodinger cat that way. But inevitably, people mistake the analogy for the "real thing", and that opens the philosophical floodgates.