Less Wrong is a community blog devoted to refining the art of human rationality. Please visit our About page for more information.

Decoherence is Simple

21 Post author: Eliezer_Yudkowsky 06 May 2008 07:44AM

An epistle to the physicists:

When I was but a little lad, my father, a Ph.D. physicist, warned me sternly against meddling in the affairs of physicists; he said that it was hopeless to try to comprehend physics without the formal math. Period.  No escape clauses.  But I had read in Feynman's popular books that if you really understood physics, you ought to be able to explain it to a nonphysicist.  I believed Feynman instead of my father, because Feynman had won the Nobel Prize and my father had not.

It was not until later—when I was reading the Feynman Lectures, in fact—that I realized that my father had given me the simple and honest truth.  No math = no physics.

By vocation I am a Bayesian, not a physicist.  Yet although I was raised not to meddle in the affairs of physicists, my hand has been forced by the occasional gross misuse of three terms:  Simple, falsifiable, and testable.

The foregoing introduction is so that you don't laugh, and say, "Of course I know what those words mean!"  There is math here.

Let's begin with the remark that started me down this whole avenue, of which I have seen several versions; paraphrased, it runs:

"The Many-Worlds interpretation of quantum mechanics postulates that there are vast numbers of other worlds, existing alongside our own.  Occam's Razor says we should not multiply entities unnecessarily."

Now it must be said, in all fairness, that those who say this will usually also confess:

"But this is not a universally accepted application of Occam's Razor; some say that Occam's Razor should apply to the laws governing the model, not the number of objects inside the model."

So it is good that we are all acknowledging the contrary arguments, and telling both sides of the story -

But suppose you had to calculate the simplicity of a theory.

The original formulation of William of Ockham stated:

Lex parsimoniae:  Entia non sunt multiplicanda praeter necessitatem.

"The law of parsimony:  Entities should not be multiplied beyond necessity."

But this is qualitative advice.  It is not enough to say whether one theory seems more simple, or seems more complex, than another—you have to assign a number; and the number has to be meaningful, you can't just make it up.  Crossing this gap is like the difference between being able to eyeball which things are moving "fast" or "slow", and starting to measure and calculate velocities.

Suppose you tried saying:  "Count the words—that's how complicated a theory is."

Robert Heinlein once claimed (tongue-in-cheek, I hope) that the "simplest explanation" is always:  "The woman down the street is a witch; she did it."  Eleven words—not many physics papers can beat that.

Faced with this challenge, there are two different roads you can take.

First, you can ask:  "The woman down the street is a what?" Just because English has one word to indicate a concept, doesn't mean that the concept itself is simple.  Suppose you were talking to aliens who didn't know about witches, women, or streets—how long would it take you to explain your theory to them?  Better yet, suppose you had to write a computer program that embodied your hypothesis, and output what you say are your hypothesis's predictions—how big would that computer program have to be?  Let's say that your task is to predict a time series of measured positions for a rock rolling down a hill.  If you write a subroutine that simulates witches, this doesn't seem to help narrow down where the rock rolls—the extra subroutine just inflates your code.  You might find, however, that your code necessarily includes a subroutine that squares numbers.

Second, you can ask:  "The woman down the street is a witch; she did what?" Suppose you want to describe some event, as precisely as you possibly can given the evidence available to you—again, say, the distance/time series of a rock rolling down a hill.  You can preface your explanation by saying, "The woman down the street is a witch," but your friend then says, "What did she do?", and you reply, "She made the rock roll one meter after the first second, nine meters after the third second..."  Prefacing your message with "The woman down the street is a witch," doesn't help to compress the rest of your description. On the whole, you just end up sending a longer message than necessary—it makes more sense to just leave off the "witch" prefix.  On the other hand, if you take a moment to talk about Galileo, you may be able to greatly compress the next five thousand detailed time series for rocks rolling down hills.

If you follow the first road, you end up with what's known as Kolmogorov complexity and Solomonoff induction.  If you follow the second road, you end up with what's known as Minimum Message Length.

"Ah, so I can pick and choose among definitions of simplicity?"

No, actually the two formalisms in their most highly developed forms were proven equivalent.

"And I suppose now you're going to tell me that both formalisms come down on the side of 'Occam means counting laws, not counting objects'."

More or less.  In Minimum Message Length, so long as you can tell your friend an exact recipe they can mentally follow to get the rolling rock's time series, we don't care how much mental work it takes to follow the recipe.  In Solomonoff induction, we count bits in the program code, not bits of RAM used by the program as it runs.  "Entities" are lines of code, not simulated objects.  And as said, these two formalisms are ultimately equivalent.

Now before I go into any further detail on formal simplicity, let me digress to consider the objection:

"So what?  Why can't I just invent my own formalism that does things differently?  Why should I pay any attention to the way you happened to decide to do things, over in your field? Got any experimental evidence that shows I should do things this way?"

Yes, actually, believe it or not.  But let me start at the beginning.

The conjunction rule of probability theory states:

P(X∧Y) ≤ P(X)

For any propositions X and Y, the probability that "X is true, and Y is true", is less than or equal to the probability that "X is true (whether or not Y is true)".  (If this statement sounds not terribly profound, then let me assure you that it is easy to find cases where human probability assessors violate this rule.)

You usually can't apply the conjunction rule P(X∧Y) ≤ P(X) directly to a conflict between mutually exclusive hypotheses. The conjunction rule only applies directly to cases where the left-hand-side strictly implies the right-hand-side.  Furthermore, the conjunction is just an inequality; it doesn't give us the kind of quantitative calculation we want.

But the conjunction rule does give us a rule of monotonic decrease in probability: as you tack more details onto a story, and each additional detail can potentially be true or false, the story's probability goes down monotonically.  Think of probability as a conserved quantity: there's only so much to go around.  As the number of details in a story goes up, the number of possible stories increases exponentially, but the sum over their probabilities can never be greater than 1.  For every story "X∧Y", there is a story "X∧~Y".  When you just tell the story "X", you get to sum over the possibilities Y and ~Y.

If you add ten details to X, each detail one that could potentially be true or false, then that story must compete with (210—1) other equally detailed stories for precious probability.  If on the other hand it suffices to just say X, you can sum your probability over 210 stories ( (X∧Y∧Z∧...) ∨ (X∧~Y∧Z∧...) ∨ ...)

The "entities" counted by Occam's Razor should be individually costly in probability; this is why we prefer theories with fewer of them.

Imagine a lottery which sells up to a million tickets, where each possible ticket is sold only once, and the lottery has sold every ticket at the time of the drawing.  A friend of yours has bought one ticket for $1—which seems to you like a poor investment, because the payoff is only $500,000.  Yet your friend says, "Ah, but consider the alternative hypotheses, 'Tomorrow, someone will win the lottery' and 'Tomorrow, I will win the lottery.'  Clearly, the latter hypothesis is simpler by Occam's Razor; it only makes mention of one person and one ticket, while the former hypothesis is more complicated: it mentions a million people and a million tickets!"

To say that Occam's Razor only counts laws, and not objects, is not quite correct: what counts against a theory are the entities it must mention explicitly, because these are the entities that cannot be summed over. Suppose that you and a friend are puzzling over an amazing billiards shot, in which you are told the starting state of a billiards table, and which balls were sunk, but not how the shot was made.  You propose a theory which involves ten specific collisions between ten specific balls; your friend counters with a theory that involves five specific collisions between five specific balls.  What counts against your theories is not just the laws that you claim to govern billiard balls, but any specific billiard balls that had to be in some particular state for your model's prediction to be successful.

If you measure the temperature of your living room as 22° Celsius, it does not make sense to say:  "Your thermometer is probably in error; the room is much more likely to be 20° C.  Because, when you consider all the particles in the room, there are exponentially vastly more states they can occupy if the temperature is really 22° C—which makes any particular state all the more improbable."  But no matter which exact 22° C state your room occupies, you can make the same prediction (for the supervast majority of these states) that your thermometer will end up showing 22° C, and so you are not sensitive to the exact initial conditions.  You do not need to specify an exact position of all the air molecules in the room, so that is not counted against the probability of your explanation.

On the other hand—returning to the case of the lottery—suppose your friend won ten lotteries in a row.  At this point you should suspect the fix is in.  The hypothesis "My friend wins the lottery every time" is more complicated than the hypothesis "Someone wins the lottery every time".  But the former hypothesis is predicting the data much more precisely.

In the Minimum Message Length formalism, saying "There is a single person who wins the lottery every time" at the beginning of your message, compresses your description of who won the next ten lotteries; you can just say "And that person is Fred Smith" to finish your message.  Compare to, "The first lottery was won by Fred Smith, the second lottery was won by Fred Smith, the third lottery was ..."

In the Solomonoff induction formalism, the prior probability of "My friend wins the lottery every time" is low, because the program that describes the lottery now needs explicit code that singles out your friend; but because that program can produce a tighter probability distribution over potential lottery winners than "Someone wins the lottery every time", it can, by Bayes's Rule, overcome its prior improbability and win out as a hypothesis.

Any formal theory of Occam's Razor should quantitatively define, not only "entities" and "simplicity", but also the "necessity" part.

Minimum Message Length defines necessity as "that which compresses the message".

Solomonoff induction assigns a prior probability to each possible computer program, with the entire distribution, over every possible computer program, summing to no more than 1.  This can be accomplished using a binary code where no valid computer program is a prefix of any other valid computer program ("prefix-free code"), i.e. because it contains a stop code.  Then the prior probability of any program P is simply 2-L(P) where L(P) is the length of P in bits.

P itself can be a program that takes in a (possibly zero-length) string of bits and outputs the conditional probability that the next bit will be 1; this makes P a probability distribution over all binary sequences.  This version of Solomonoff induction, for any string, gives us a mixture of posterior probabilities dominated by the shortest programs that most precisely predict the string.  Summing over this mixture gives us a prediction for the next bit.

The upshot is that it takes more Bayesian evidence—more successful predictions, or more precise predictions—to justify more complex hypotheses.  But it can be done; the burden of prior improbability is not infinite.  If you flip a coin four times, and it comes up heads every time, you don't conclude right away that the coin produces only heads; but if the coin comes up heads twenty times in a row, you should be considering it very seriously.  What about the hypothesis that a coin is fixed to produce "HTTHTT..." in a repeating cycle?  That's more bizarre—but after a hundred coinflips you'd be a fool to deny it.

Standard chemistry says that in a gram of hydrogen gas there are six hundred billion trillion hydrogen atoms.  This is a startling statement, but there was some amount of evidence that sufficed to convince physicists in general, and you particularly, that this statement was true.

Now ask yourself how much evidence it would take to convince you of a theory with six hundred billion trillion separately specified physical laws.

Why doesn't the prior probability of a program, in the Solomonoff formalism, include a measure of how much RAM the program uses, or the total running time?

The simple answer is, "Because space and time resources used by a program aren't mutually exclusive possibilities."  It's not like the program specification, that can only have a 1 or a 0 in any particular place.

But the even simpler answer is, "Because, historically speaking, that heuristic doesn't work."

Occam's Razor was raised as an objection to the suggestion that nebulae were actually distant galaxies—it seemed to vastly multiply the number of entities in the universe.  All those stars!

Over and over, in human history, the universe has gotten bigger.  A variant of Occam's Razor which, on each such occasion, would label the vaster universe as more unlikely, would fare less well under humanity's historical experience.

This is part of the "experimental evidence" I was alluding to earlier.  While you can justify theories of simplicity on mathy sorts of grounds, it is also desirable that they actually work in practice. (The other part of the "experimental evidence" comes from statisticians / computer scientists / Artificial Intelligence researchers, testing which definitions of "simplicity" let them construct computer programs that do empirically well at predicting future data from past data.  Probably the Minimum Message Length paradigm has proven most productive here, because it is a very adaptable way to think about real-world problems.)

Imagine a spaceship whose launch you witness with great fanfare; it accelerates away from you, and is soon traveling at .9 c. If the expansion of the universe continues, as current cosmology holds it should, there will come some future point where—according to your model of reality—you don't expect to be able to interact with the spaceship even in principle; it has gone over the cosmological horizon relative to you, and photons leaving it will not be able to outrace the expansion of the universe.

Should you believe that the spaceship literally, physically disappears from the universe at the point where it goes over the cosmological horizon relative to you?

If you believe that Occam's Razor counts the objects in a model, then yes, you should.  Once the spaceship goes over your cosmological horizon, the model in which the spaceship instantly disappears, and the model in which the spaceship continues onward, give indistinguishable predictions; they have no Bayesian evidential advantage over one another.  But one model contains many fewer "entities"; it need not speak of all the quarks and electrons and fields composing the spaceship.  So it is simpler to suppose that the spaceship vanishes.

Alternatively, you could say:  "Over numerous experiments, I have generalized certain laws that govern observed particles.  The spaceship is made up of such particles.  Applying these laws, I deduce that the spaceship should continue on after it crosses the cosmological horizon, with the same momentum and the same energy as before, on pain of violating the conservation laws that I have seen holding in every examinable instance.  To suppose that the spaceship vanishes, I would have to add a new law, 'Things vanish as soon as they cross my cosmological horizon'."

The decoherence (aka Many-Worlds) version of quantum mechanics states that measurements obey the same quantum-mechanical rules as all other physical processes.  Applying these rules to macroscopic objects in exactly the same way as microscopic ones, we end up with observers in states of superposition.  Now there are many questions that can be asked here, such as "But then why don't all binary quantum measurements appear to have 50/50 probability, since different versions of us see both outcomes?"

However, the objection that decoherence violates Occam's Razor on account of multiplying objects in the model is simply wrong.

Decoherence does not require the wavefunction to take on some complicated exact initial state.  Many-worlds is not specifying all its worlds by hand, but generating them via the compact laws of quantum mechanics.  A computer program that directly simulates QM to make experimental predictions, would require a great deal of RAM to run—but simulating the wavefunction is exponentially expensive in any flavor of QM!  Decoherence is simply more so.  Many physical discoveries in human history, from stars to galaxies, from atoms to quantum mechanics, have vastly increased the apparent CPU load of what we believe to be the universe.

Many-Worlds is not a zillion worlds worth of complicated, any more than the atomic hypothesis is a zillion atoms worth of complicated.  For anyone with a quantitative grasp of Occam's Razor that is simply not what the term "complicated" means.

As with the historical case of galaxies, it may be that people have mistaken their shock at the notion of a universe that large, for a probability penalty, and invoked Occam's Razor in justification.  But if there are probability penalties for decoherence, the largeness of the implied universe, per se, is definitely not their source!

The notion that decoherent worlds are additional entities penalized by Occam's Razor, is just plain mistaken.  It is not sort-of-right.  It is not an argument that is weak but still valid.  It is not a defensible position that could be shored up with further arguments.  It is entirely defective as probability theory.  It is not fixable.  It is bad math.  2 + 2 = 3.

Continued inDecoherence is Falsifiable and Testable.


Part of The Quantum Physics Sequence

Next post: "Decoherence is Falsifiable and Testable"

Previous post: "Spooky Action at a Distance: The No-Communication Theorem"

Comments (57)

Sort By: Old
Comment author: Paul_Crowley 06 May 2008 09:53:17AM 0 points [-]

Tomorrow I will address myself to accusations I have encountered that decoherence is "unfalsifiable" or "untestable", as the words "falsifiable" and "testable" have (even simpler) probability-theoretic meanings which would seem to be violated by this usage.

Doesn't this follow trivially from the above? No experiment can determine whether or not we have souls, but that counts against the idea of souls, not against the idea of their absence. If decoherence is the simpler theory, then lack of falsifiability counts against the other guys, not against it.

Comment author: steven 06 May 2008 12:15:33PM 1 point [-]

If the expansion of the universe continues, as current cosmology holds it should, there will come some future point where - according to your model of reality - you don't expect to be able to interact with the spaceship even in principle; it has gone over the cosmological horizon relative to you, and photons leaving it will not be able to outrace the expansion of the universe.

IIRC for this to be true the universe's expansion has to accelerate, and the acceleration has to stay bounded above zero forever. (IIRC this is still considered the most probable case.)

Comment author: Nick_Tarleton 06 May 2008 12:36:24PM 7 points [-]

No experiment can determine whether or not we have souls

Really? Not attempted uploading? Microphysical examination of a living brain? Tests for reliable memories of past lives, or reliable mediums?

Comment author: Recovering_irrationalist 06 May 2008 01:04:51PM 3 points [-]

If you're covering this later I'll wait, but I ask now in case my confusion means I'm misunderstanding something.

Why isn't nearly everything entanged with nearly everything else around it by now? Why is there a significant amount of much quantum independance still around? Or does it just look that way because entanged subconfigurations tend to get split off by decorehence so branches retain a reasonable amount of non-entangledness within their branch? Sorry if this is a daft or daftly phrased question.

Comment author: Luke_A_Somers 27 April 2012 08:48:17PM 5 points [-]

It IS. That was something Eliezer said waay back when, and he was right. Entanglement is a very ordinary state of affairs.

Your educated guess is correct.

Comment author: shminux 27 April 2012 10:01:22PM 2 points [-]

Indeed, a thoroughly entangled world looks classical, however paradoxical it might sound. Regardless of the adopted interpretation.

Comment author: RobinHanson 06 May 2008 01:33:26PM 4 points [-]

To be fair, one could shy away from saying all those branches are real due to the difficulty of squaring the Born rule with the equal probability calculations that seem to follow from that view. Without something like mangled worlds, one can be tempted by an objective collapse view, as that at least gives a coherent account of the Born rule.

Comment author: Peter_Turney 06 May 2008 02:24:52PM 3 points [-]

(The other part of the "experimental evidence" comes from statisticians / computer scientists / Artificial Intelligence researchers, testing which definitions of "simplicity" let them construct computer programs that do empirically well at predicting future data from past data. Probably the Minimum Message Length paradigm has proven most productive here, because it is a very adaptable way to think about real-world problems.)

I once believed that simplicity is the key to induction (it was the topic of my PhD thesis), but I no longer believe this. I think most researchers in machine learning have come to the same conclusion. Here are some problems with the idea that simplicity is a guide to truth:

(1) Solomonoff/Gold/Chaitin complexity is not computable in any reasonable amount of time.

(2) The Minimum Message Length depends entirely on how a situation is represented. Different representations lead to radically different MML complexity measures. This is a general problem with any attempt to measure simplicity. How do you justify your choice of representation? For any two hypotheses, A and B, it is possible to find a representation X such that complexity(A) < complexity(B) and another representation Y such that complexity(A) > complexity(B).

(3) Simplicity is merely one type of bias. The No Free Lunch theorems show that there is no a prior reason to prefer one type of bias over another. Therefore there is nothing special about a bias towards simplicity. A bias towards complexity is equally valid a priori.

http://www.jair.org/papers/paper228.html http://en.wikipedia.org/wiki/No_free_lunch_in_search_and_optimization http://en.wikipedia.org/wiki/Inductive_bias

Comment author: Constant2 06 May 2008 03:35:25PM 1 point [-]

Without something like mangled worlds, one can be tempted by an objective collapse view, as that at least gives a coherent account of the Born rule.

Does it really account for it in the sense of explain it? I don't think so. I think it merely says that the collapsing occurs in accordance with the Born rule. But we can also simply say that many-worlds is true and the history of our fragment of the multiverse is consistent with the Born rule. Admittedly, this doesn't explain why we happen to live in such a fragment but merely asserts that we do, but similarly, the collapse view does not (as far as I know) explain why the collapse occurs in the frequencies it does but merely asserts that it does.

Comment author: Enginerd 06 May 2008 04:27:28PM 1 point [-]

"No math = no physics"

I would say that as a practical matter, this is true, because often, many theories make the same qualitative prediction, but different quantitative ones. The effect of gravity on light for instance. In Newtonian gravity, light affected the same as matter, but in General Relativity, the effect is larger. Another example would be flat-Earth theory gravity versus Newtonian. Flat-Earthers would say that the Earth is constantly accelerating upwards at 9.8 m/s^2. To a high level of precision, this matches the idea that objects are attracted by G M/ R^2. Difference becomes large at high altitudes (large R), where it is quantitatively different, but qualitatively the same.

One could probably get by setting up experiments where the only possible results are (same, different), but that's really the same as defining numbers of terms of what they lie between; i.e., calculating sqrt(2) by calculating the largest number < sqrt(2) and the smallest number > sqrt(2).

The rate of scientific progress jumped enormously after Newton, as people began thinking more and more quantitatively, and developed tools accordingly. This is not an accident.

Comment author: Kevin_Dick 06 May 2008 05:06:34PM 1 point [-]

I just had a thought, probably not a good one, about Many Worlds. It seems like there's a parallel here to the discovery of Natural Selection and understanding of Evolution.

Darwin had the key insight about how selection pressure could lead to changes in organisms over time. But it's taken us over 100 years to get a good handle on speciation and figure out the detailed mechanisms of selecting for genetic fitness. One could argue that we still have a long way to go.

Similarly, it seems like we've had this insight that QM leads to Many Worlds due to decoherence. But it could take quite a while for us to get a good handle on what happens to worlds and figure that detailed mechanisms of how they progress.

But it was pretty clear that Darwin was right long before we had worked the details. So I guess it doesn't bother me that we haven't worked out the details of what happens to the Many Worlds.

Comment author: Psy-Kosh 06 May 2008 06:23:51PM 2 points [-]

Eliezer: Could you maybe clarify a bit the difference between Kolmogrov Complexity and MML? The first is "shortest computer program that outputs the result" and the second one is.... "shortest info that can be used to figure out the result"? ie, I'm not quite sure I understand the difference here.

However, as to the two being equivalent, I thought I'd seen something about the second one being used because the first was sometimes uncomputable, in the "to solve it in the general case, you'd have to have a halting oracle" sense.

Caledonian: Math isn't so much a language as various notations for math are a language. Basically, if you use "non math" to express exactly the same thing as math, you basically have to turn up the precision and "legaleese" to the point that you practially are describing math, just using a language not meant for it, right?

Comment author: Caledonian2 06 May 2008 06:37:06PM 1 point [-]

I think you have it backwards. When we use language in a very precise and specific way, stripping out ambiguity and the potential for alternate meanings, we call the result 'mathematics'.

Comment author: Psy-Kosh 06 May 2008 07:03:43PM 0 points [-]

Caledonian: Er... isn't that what I was saying? (That is, that's basically what I meant. What did you think I meant?)

Comment author: Will_Pearson 07 May 2008 07:22:24AM 0 points [-]

If you head down this reductionism, occams razor route, doesn't the concpet of a human become explanatorily redundant? It will be simpler to precisely predict what a human will do without invoking the intentional stance and just modelling the underlying physics.

Comment author: Paul_Crowley 07 May 2008 11:22:21AM 0 points [-]

Nick Tarleton: sadly, it's my experience that it's futile to try and throw flour over the dragon.

Comment author: Lake 07 May 2008 03:19:00PM 1 point [-]

Hang on. @ Caledonian and Psy-Kosh: Surely mathematical language is just language that refers to mathematical objects - numbers and suchlike. Precise, unambiguous language doesn't count as mathematics unless it meets this condition.

Comment author: Caledonian2 07 May 2008 03:24:36PM 0 points [-]

Surely mathematical language is just language that refers to mathematical objects - numbers and suchlike. Precise, unambiguous language doesn't count as mathematics unless it meets this condition.

Is logic mathematics? I assert that precise, umambiguous language necessarily refers to mathematical objects, because 'mathematics' is precise, umambiguous language. All math is language. Not all language is math.

Of course, I also assert that mathematics is a subset of science, so consider that our basic worldviews might be very different.

Comment author: HL 07 May 2008 11:00:03PM 2 points [-]

"No math = no physics"

Tell that to Copernicus, Gilbert, Galvani, Volta, Oersted and Faraday, to mention a few. And it's not like even Galileo used much more than the high-school arithmetic of his day for his elucidation of acceleration.

Comment author: Rolf_Nelson2 08 May 2008 12:46:18AM 1 point [-]

Some physicists speak of "elegance" rather than "simplicity". This seems to me a bad idea; your judgments of elegance are going to be marred by evolved aesthetic criteria that exist only in your head, rather than in the exterior world, and should only be trusted inasmuch as they point towards smaller, rather than larger, Kolmogorov complexity.


In theory A, the ratio of tiny dimension #1 to tiny dimension #2 is finely-tuned to support life.

In theory B, the ratio of the mass of the electron to the mass of the neutrino is finely-tuned to support life.

An "elegance" advocate might favor A over B, whereas a "simplicity" advocate might be neutral between them.

Comment author: XiXiDu 24 November 2010 07:58:25PM 2 points [-]

I'm stuck, what does ~ denote?

For every story "X∧Y", there is a story "X∧~Y". When you just tell the story "X", you get to sum over the possibilities Y and ~Y.

Y and ~Y, where ~Y does read as ... ?

Comment author: CarlShulman 24 November 2010 08:00:08PM 5 points [-]

Not-Y, i.e. Y is false..

Comment author: XiXiDu 24 November 2010 08:19:57PM *  0 points [-]

I see, thank you. Does it add too much noise if I ask such questions, should I rather not yet read the sequences if I sometimes have to inquire about such matters? Or should I ask somewhere else?

I was looking up this table of mathematical symbols that stated that ~ does read as 'has distribution' and stopped looking any further since I'm dealing with probabilities here. I guess it should have been obvious to me to expect a logical operator. I was only used to the notation not and ¬ as the negation of a proposition. I'll have to adjust my perceived intelligence downwards.

Comment author: Vaniver 24 November 2010 08:28:45PM 1 point [-]

Others that gets used a lot in various contexts are !Y, Y^c (for Y complement). There are probably more, but I can't think of them at the moment.

Comment author: Sniffnoy 24 November 2010 11:07:41PM 1 point [-]

Y with a bar over it also gets used (though be careful as this more commonly means closure of Y, or, well, quite a few other things...)

Comment author: orthonormal 24 November 2010 08:29:01PM 2 points [-]

No, these are reasonable questions to ask.

Comment author: CarlShulman 24 November 2010 08:31:06PM *  8 points [-]

There's no problem with asking a clarifying question like that, which might help other lurkers and can be answered quickly without huge amounts of work.

By the way, there's no need for such self-deprecating comments about your education or intelligence. It's socially a bit off-putting to talk about the topic, and it risks coming across as disingenous. Just ask your questions without such supplication.

Comment author: wnoise 24 November 2010 08:23:16PM 2 points [-]

"Not Y".

The prefix tilde, "~", is commonly used as an ASCII approximation for logical negation, in place of the more mathematically formal notation of "¬" (U+00AC, HTML entity "&not;", and latex "\lnot") . On that page are a few other common notations.

Comment author: helm 31 January 2011 11:52:53AM 1 point [-]

I have been working with decoherence in experimental physics. It confuses me that you want to use it as a synonym for the Many-Worlds theory.

Comment author: Luke_A_Somers 28 April 2012 12:40:39AM 0 points [-]

MWI is the supposition that there is nothing else to the fundamental laws of nature except QM. Decoherence is the main tricky point in the bridge between QM and our subjective experiences.

With decoherence, a collapse postulate is superfluous. With decoherence, you don't need a Bohmian 'real thing' or whatever he calls it. QM is simply the way things are. You can stick with it, and MWI follows directly.

Comment author: shminux 28 April 2012 01:51:08AM *  0 points [-]

The collapse postulate is just a visualization, just like the MWI is.The Born projection rule is the only "real" thing, and it persists through MWI or any other "I". So no, the MWI does not follow directly, unless you strip it of all ontological meaning.

Comment author: [deleted] 16 March 2011 03:19:41PM -1 points [-]

This isn't quite what your post was about, but one thing I've never understood is how anyone could possibly find "the universe is totally random" to be a MORE simple explanation.

Comment author: EricHerboso 17 April 2012 05:46:17PM 8 points [-]

I did not get a chance to read this entry until four years after it was published, but it nonetheless ended up correcting a long-held flawed view I had on the Many Worlds Interpretation. Thank you for opening up my eyes to the idea that Occam's razor applies to rules, and not entities in a system. You have no idea as to how embarrassed I feel for having so drastically misunderstood the concept before now.

Incidentally, I wrote a blog entry on how this article changed my mind which seems to have generated additional discussion on this issue.

Comment author: RussellThor 04 October 2012 10:19:33PM 0 points [-]

How do you explain this with many worlds, while avoiding non-locality? http://arxiv.org/pdf/1209.4191v1.pdf If results such as these are easy to explain/predict, can the many worlds theory gain credibility by predicting such things?

Comment author: Luke_A_Somers 04 August 2015 09:13:03PM 1 point [-]

Glib: start with the initial states. Propagate time as specified. Observe the result come out. That's how. MWI is quantum mechanics with no modifications, so its predictions match what quantum mechanics predicts, and quantum mechanics happens to be local.

Fulller: The first moment of decoherence is when photon 1 is measured. At this point, we've split the world according to its polarization.

Then we have photons 2 and 3 interfere. They are then shortly measured, so we've split the world again in several parts. This allows post-selection for when the two photons coming out go to different detectors. When that criterion is met, then we're in the subspace with photon 2 being a match for photon 3, which is the same subspace as 4 being a match for photon 1.

When they measure photon 4, it proceeds to match photon 1.

Under MWI, this is so unsurprising that I'm having a hard time justifying performing the experiment except as a way of showing off cool things we can do with coherence.

Now, as for whether this was local, note that the procedure involved ignoring the events we don't want. That sort of thing is allowed to be non-local since it's an artifact of data analysis. It's not like photon 1 made photon 4 do anything. THAT would be non-local. But the force was applied by post-selection.

Of COURSE... you don't NEED to look at it through the lens of MWI to get that. Even Copenhagen would come up with the right answer to that, I think. Actually, I'm not sure why it would be a surprising result even under Copenhagen. Post-selection creates correlations! News at 11.

Comment author: CCC 05 August 2015 11:51:34AM 1 point [-]

Under MWI, this is so unsurprising that I'm having a hard time justifying performing the experiment except as a way of showing off cool things we can do with coherence.

Then the justification is simple; it either provides evidence in favour of MWI (and Copenhagen and any other theory that predicts the expected result) or it shatters all of them.

Scientists have to do experiments to which the answer is obvious - failing to do so leads to the situation where everybody knows that heavier objects fall faster than lighter objects because nobody actually checked that.

Comment author: Lumifer 05 August 2015 02:53:23PM *  2 points [-]

everybody knows that heavier objects fall faster than lighter objects

Because this happens to be mostly true. Air resistance is a thing.

actually checked that

Actually, if I remember the high school physics anecdote correctly, the trouble for the idea that heavy objects fall faster than light ones began when a certain scientist asked a hypothetical question: what would happen if you drop a light and a heavy object at the same time, but connect them with a string?

Comment author: Vaniver 05 August 2015 04:04:09PM 1 point [-]

Wikipedia has a longer version of the thought experiment.

Comment author: CCC 06 August 2015 08:05:34AM 2 points [-]

Because this happens to be mostly true. Air resistance is a thing.

Got nothing to do with weight, though. An acre of tissue paper, spread out flat, will still fall more slowly than a ten cent coin dropped edge-first.

Actually, if I remember the high school physics anecdote correctly, the trouble for the idea that heavy objects fall faster than light ones began when a certain scientist asked a hypothetical question: what would happen if you drop a light and a heavy object at the same time, but connect them with a string?

Well, yes. (Galileo, wasn't it?) Doesn't affect my point, though - the basics do need to be checked occasionally.

Comment author: Lumifer 06 August 2015 03:00:50PM 0 points [-]

Got nothing to do with weight, though.

Nothing? Are you quite sure about that? :-)

Comment author: CCC 07 August 2015 12:54:21PM 2 points [-]

Hmmm... let me consider it.

In an airless void, the answer is no - the mass terms of the force-due-to-gravity and the acceleration-due-to-force equations cancel out, and weight has nothing to do with the speed of the falling object.

In the presence of air resistance, however... the force from air resistance depends on how much air the object hits (which in turn depends on the shape of the object), and how fast relative to the object the air is moving. The force applied by air resistance is independent of the mass (but dependent on the shape and speed of the object) - but the acceleration caused by that force is dependant on the mass (f=ma). Therefore, the acceleration due to air resistance does depend partially on the mass of the object.

Okay, so not quite "nothing", but mass is not the most important factor to consider in these equations...

Comment author: Lumifer 07 August 2015 04:20:08PM 1 point [-]

I don't know how you decide what's more and what's less important in physics equations :-/

If I tell you I dropped a sphere two inches in diameter from 200 feet up, can you calculate its speed at the moment it hits the ground? Without knowing its weight, I don't think you can.

Comment author: CCC 07 August 2015 06:30:17PM *  0 points [-]

I don't know how you decide what's more and what's less important in physics equations :-/

Predictive power. The more accurate a prediction I can make without knowing the value of a given variable, the less important that variable is.

If I tell you I dropped a sphere two inches in diameter from 200 feet up, can you calculate its speed at the moment it hits the ground? Without knowing its weight, I don't think you can.

Ugh, imperial measures. Do you mind if I work with a five-centimetre sphere dropped from 60 metres?

A sphere is quite an aerodynamic shape; so I expect, for most masses, that air friction will have a small to negligible impact on the sphere's final velocity. I know that the acceleration due to gravity is 9.8m/s^2, and so I turn to the equations of motion; v^2 = v_0^2+2*a*s (where v_0 is the starting velocity). Starting velocity v_0 is 0, a is 9.8, s is 60m; thus v^2 = (0*0)+(2*9.8*60) = 1176, therefore v = about 34.3m/s. Little slower than that because of air resistance, but probably not too much slower. (You'll also notice that I'm not using the radius of the sphere anywhere in this calculation). It's an approximation, yes, but it's probably fairly accurate... good enough for many, though not all purposes.

Now, if I know the mass but not the shape, it's a lot harder to justify the "ignore air resistance" step...

Comment author: Lumifer 07 August 2015 06:37:26PM 1 point [-]

You're doing the middle-school physics "an object dropped in vacuum" calculation :-) If you want to get a number that takes air resistance into account you need college-level physics.

So, since you've mentioned accuracy, how accurate your 34.3 m/s value is? Can you give me some kind of confidence intervals?

Comment author: btrettel 07 August 2015 07:32:21PM *  3 points [-]

A sphere is quite an aerodynamic shape

(Engineer with a background in fluid dynamics here.)

A sphere is quite unaerodynamic. Its drag coefficient is about 10 times higher than that of a streamlined body (at a relevant Reynolds number). You have boundary layer separation off the back of the sphere, which results in a large wake and consequently high drag.

The speed as a function of time for an object with a constant drag coefficient dropping vertically is known and it is a direct function of mass. If I learned anything from making potato guns, it's that in general, dragless calculations are pretty inaccurate. You'll get the trend right in many cases with a dragless calculation, but in general it's best to not assume drag is negligible unless you've done the math or experiment to show that it is in a particular case.

Comment author: Luke_A_Somers 06 August 2015 03:21:18AM 0 points [-]

The problem is, we've done much, MUCH more stringent tests than this. It's like, after checking the behavior of pendulums and falling objects of varying weights and lengths and areas, over vast spans of time and all regions of the globe, and in centrifuges, and on pulleys... we went on to then check if two identical objects would fall at the same speed if we dropped one when the other landed.

Anyway, I didn't say it shouldn't be done. I support basic experiments on QM, but I'd like them to push the envelope in interesting ways rather than, well, this.