Joint Configurations - Less Wrong
http://lesswrong.com/
Joint Configurations
http://lesswrong.com/lw/pe/joint_configurations/
http://lesswrong.com/lw/pe/joint_configurations/Fri, 11 Apr 2008 15:00:58 +1000
Submitted by <a href="http://lesswrong.com/user/Eliezer_Yudkowsky">Eliezer_Yudkowsky</a>
•
26 votes
•
<a href="http://lesswrong.com/lw/pe/joint_configurations/#comments">38 comments</a>
<div><p><strong>Previously in series:</strong>  <a href="/lw/pd/configurations_and_amplitude/">Configurations and Amplitude</a></p>
<p>The key to understanding configurations, and hence the key to understanding quantum mechanics, is realizing on a truly gut level that configurations are about more than one particle.</p>
<p><a href="/static/imported/2008/04/10/fig4_2.gif"><img src="/static/imported/2008/04/10/fig4_2.gif" style="margin: 0px 0px 5px 5px; float: right;" title="Fig4_2" height="193" width="360" alt="Fig4_2" border="0"></a> Continuing from <a href="/lw/pd/configurations_and_amplitude/">yesterday</a>, here's <a href="http://en.wikipedia.org/wiki/Hong%E2%80%93Ou%E2%80%93Mandel_effect">an altered version of the experiment</a> where we send in <em>two</em> photons toward <strong>D</strong> at the same time, from the sources <strong>B</strong> and <strong>C</strong>.</p>
<p>The starting configuration then is:</p>
<p>"A photon going from <strong>B</strong> to <strong>D</strong>, and a photon going from <strong>C</strong> to <strong>D</strong>."</p>
<p>Again, let's say the starting configuration has amplitude (-1 + 0<em>i</em>).</p>
<p>And remember, the rule of the half-silvered mirror (at <strong>D</strong>) is that a right-angle deflection multiplies by <em>i</em>, and a straight line multiplies by 1.</p>
<p>So the amplitude flows from the starting configuration, separately considering the four cases of deflection/non-deflection of each photon, are:</p>
<p><a id="more"></a></p>
<ol>
<li>The "<strong>B</strong> to <strong>D</strong>" photon is deflected and the "<strong>C</strong> to <strong>D</strong>" photon is deflected.  This amplitude flows to the configuration "A photon going from <strong>D</strong> to <strong>E</strong>, and a photon going from <strong>D</strong> to <strong>F</strong>".  The amplitude flowing is (-1 + 0<em>i</em>) * <em>i</em> * <em>i</em> = (1 + 0<em>i</em>).</li>
<li>The  "<strong>B</strong> to <strong>D</strong>" photon is deflected and the  "<strong>C</strong> to <strong>D</strong>" photon goes straight.  This amplitude flows to the configuration "Two photons going from <strong>D</strong> to <strong>E</strong>".  The amplitude flowing is (-1 + 0<em>i</em>) * <em>i</em> * 1 = (0 + -<em>i</em>).</li>
<li>The  "<strong>B</strong> to <strong>D</strong>" photon goes straight and the  "<strong>C</strong> to <strong>D</strong>" photon is deflected.  This amplitude flows to the configuration "Two photons going from <strong>D</strong> to <strong>F</strong>".  The amplitude flowing is (-1 + 0<em>i</em>) * 1 * <em>i</em> = (0 + -<em>i</em>).</li>
<li>The "<strong>B</strong> to <strong>D</strong>" photon goes straight and the "<strong>C</strong> to <strong>D</strong>" photon goes straight.  This amplitude flows to the configuration "A photon going from <strong>D</strong> to <strong>F</strong>, and a photon going from <strong>D</strong> to <strong>E</strong>".  The amplitude flowing is (-1 + 0<em>i</em>) * 1 * 1 = (-1 + 0<em>i</em>).</li>
</ol>
<p>Now—and this is a <em>very important and fundamental idea in quantum mechanics</em>—the amplitudes in cases 1 and 4 are flowing to the <em>same</em> configuration.  Whether the <strong>B</strong> photon and <strong>C</strong> photon both go straight, or both are deflected, the resulting configuration is <em>one photon going toward <strong>E</strong> and another photon going toward <strong>F</strong></em>.</p>
<p>So we add up the two incoming amplitude flows from case 1 and case 4, and get a total amplitude of (1 + 0<em>i</em>) + (-1 + 0<em>i</em>) = 0.</p>
<p>When we wave our magic squared-modulus-ratio reader over the three final configurations, we'll find that "Two photons at Detector 1" and "Two photons at Detector 2" have the same squared modulus, but "A photon at Detector 1 and a photon at detector 2" has squared modulus zero.</p>
<p>Way up at the level of experiment, we never find Detector 1 and Detector 2 both going off.  We'll find Detector 1 going off twice, or Detector 2 going off twice, with equal frequency.</p>
<p>(Assuming I've gotten the math and physics right.  I didn't actually perform the experiment.  If I got this wrong, I'm sure 50 commenters will tell me so in very short order.)</p>
<p>The configuration's identity is <em>not,</em> "The <strong>B</strong> photon going toward <strong>E</strong> and the <strong>C</strong> photon going toward <strong>F</strong>."  Then the resultant configurations in case 1 and case 4 would not be equal.  Case 1 would be, "<strong>B</strong> photon to <strong>E</strong>, <strong>C</strong> photon to <strong>F</strong>" and case 4 would be "<strong>B</strong> photon to <strong>F</strong>, <strong>C</strong> photon to <strong>E</strong>".  These would be two distinguishable configurations, <em>if</em> configurations had photon-tracking structure.</p>
<p>So we would not add up the two amplitudes and cancel them out.  We would keep the amplitudes in two separate configurations.  The total amplitudes would have non-zero squared moduli.  And when we ran the experiment, we would find (around half the time) that Detector 1 and Detector 2 each registered one photon.  Which doesn't happen, if my calculations are correct.</p>
<p>Configurations don't keep track of where particles come from.  A configuration's identity is just, "A photon here, a photon there; an electron here, an electron there."  No matter how you get into that situation, so long as there are the same species of particles in the same places, it counts as the same configuration.</p>
<p>I say again that the question "What kind of information does the configuration's structure incorporate?" has <em>experimental consequences.</em>  You can deduce, from experiment, the way that reality itself must be treating configurations.</p>
<p>In a classical universe, there would be no experimental consequences.  If the photon were like a little billiard ball that either went one way or the other, and the configurations were our beliefs about possible states the system could be in, and instead of amplitudes we had probabilities, it would not make a difference whether we tracked the origin of photons or threw the information away.</p>
<p>In a classical universe, I could assign a 25% probability to both photons going to <strong>E</strong>, a 25% probability of both photons going to <strong>F</strong>, a 25% probability of the <strong>B</strong> photon going to <strong>E</strong> and the <strong>C</strong> photon going to <strong>F</strong>, and 25% probability of the <strong>B</strong> photon going to <strong>F</strong> and the <strong>C</strong> photon going to <strong>E</strong>.  Or, since I <em>personally</em> don't care which of the two latter cases occurred, I could decide to collapse the two possibilities into one possibility and add up their probabilities, and just say, "A 50% probability that each detector gets one photon."</p>
<p>With probabilities, we can aggregate events as we like—draw our boundaries around sets of possible worlds as we please—and the numbers will still work out the same.</p>
<p>But you can't arbitrarily collapse configurations together, or split them apart, in your model, and get the same experimental predictions.  Our magical tool tells us the ratios of squared moduli.  When you add two complex numbers, the squared modulus of the sum is not the sum of the squared moduli of the parts:</p>
<blockquote>
<p>Squared_Modulus(C1 + C2) != Squared_Modulus(C1) + Squared_Modulus(C2)</p>
</blockquote>
<p>E.g:</p>
<blockquote>
<p>S_M((2 + <em>i</em>) + (1 + -<em>i</em>)) = S_M(3 + 0<em>i</em>) = 3^2 + 0^2 = 9<br>(S_M(2 + <em>i</em>) + S_M(1 + -<em>i</em>)) = ((2^2 + 1^2) + (1^2 + (-1)^2)) = ((4 + 1) + (1 + 1)) = 7</p>
</blockquote>
<p>Or in today's experiment of discourse, we had flows of (1 + 0<em>i</em>) and (-1 + 0<em>i</em>) cancel out, adding to 0 whose squared modulus is 0, where the squared modulus of the parts would have been 1 and 1.</p>
<p>Because the squared modulus of the sum does not equal the squared modulus of the parts, the question of which configurations are the same or distinct is experimentally distinguishable; a matter of objective fact.  You cannot merge configurations that should be distinct, or split configurations that should be identical, without ending up with different results.</p>
<p>The <em>probability</em> of two mutually exclusive events equals the probability of the first event plus the probability of the second event.  This is what lets us group <em>possible worlds</em> however we like during our calculations, without affecting our final probabilities.</p>
<p>Suppose I roll two six-sided dice (all the way up at the level of everyday life, where something like a classical level emerges).  Then, when I calculate the probability of events like "both dice will show odd numbers", it does not depend whether I make a table of 36 possible outcomes for the exact numbers, or if I decide to think about 1, 3, 5 as "odd faces" and 2, 4, 6 as "even faces" and make a table of 4 possible outcomes. I can split up my knowledge any way I like—throw away information that doesn't make a difference to my current calculations, or keep the information, depending on my whim—and my predictions will <a href="/lw/mt/beautiful_probability/">always come out the same</a>.</p>
<p>If in place of Squared_Modulus, our magical tool was some linear function—any function where F(X + Y) = F(X) + F(Y)—then all the quantumness would instantly vanish and be replaced by a classical physics.  (A <em>different </em>classical physics, not the same illusion of classicality we hallucinate from inside the higher levels of organization in our own quantum world.)</p>
<p>If amplitudes were just probabilities, they couldn't cancel out when flows collided.  If configurations were just states of knowledge, you could reorganize them however you liked.</p>
<p>But the configurations are nailed in place, indivisible and unmergeable without changing the laws of physics.</p>
<p>And part of what is nailed, is the way that configurations treat multiple particles.  A configuration says, "A photon here, a photon there", not "<em>This</em> photon here, <em>that</em> photon there".  "<em>This</em> photon here, <em>that</em> photon there" does not have a different identity from "<em>That</em> photon here, <em>this</em> photon there."</p>
<p>The result—we'll talk more about this in future posts, but it's visible already in today's experiment—is that you can't factorize the physics of our universe to be about particles with individual identities.</p>
<p>Part of the reason why humans have trouble coming to grips with <em>perfectly normal</em> quantum physics, is that humans bizarrely keep trying to factor reality into a sum of individually real billiard balls.</p>
<p>Ha ha!  Silly humans.</p>
<p> </p>
<p style="text-align:right">Part of <a href="/lw/r5/the_quantum_physics_sequence/"><em>The Quantum Physics Sequence</em></a></p>
<p style="text-align:right">Next post: "<a href="/lw/pf/distinct_configurations/">Distinct Configurations</a>"</p>
<p style="text-align:right">Previous post: "<a href="/lw/pd/configurations_and_amplitude/">Configurations and Amplitude</a>"</p></div>
<a href="http://lesswrong.com/lw/pe/joint_configurations/#comments">38 comments</a>
Jordan on Joint Configurations
http://lesswrong.com/lw/pe/joint_configurations/jeg
http://lesswrong.com/lw/pe/joint_configurations/jeg2008-04-11T17:37:11+10:00
<div><p>What confuses me about the actual verification of these experiments is that they require perfect timing and distancing. How exactly do you make two photons hit a half-silvered mirror at exactly the same time? It seems that if you were off only slightly then the universe would necessarily have to keep track of both as individuals. In practice you're always going to be off slightly so you would think by your explanation above that this would in fact change the result of the experiment, placing a 25% probability on all four cases. Why doesn't it?</p></div>
Eliezer_Yudkowsky on Joint Configurations
http://lesswrong.com/lw/pe/joint_configurations/jeh
http://lesswrong.com/lw/pe/joint_configurations/jeh2008-04-11T17:58:27+10:00
<div><p>Jordan, the three answers to your question are:</p><p>1) Each photon is actually spread out in configuration space - I'll talk about this later - so an infinitesimal error in timing only creates an infinitesimal probability of both detectors going off, rather than a discontinuous jump.</p><p>2) Physicists have gotten good at doing things with bloody precise timing, so they can run experiments like this.</p><p>3) I didn't actually perform the experiment.</p></div>
Gray_Area on Joint Configurations
http://lesswrong.com/lw/pe/joint_configurations/jei
http://lesswrong.com/lw/pe/joint_configurations/jei2008-04-11T18:06:54+10:00
<div><p>"The probability of two events equals the probability of the first event plus the probability of the second event."</p><p>Mutually exclusive events.</p><p>It is interesting that you insist that beliefs ought to be represented by classical probability. Given that we can construct multiple kinds of probability theory, on what grounds should we prefer one over the other to represent what 'belief' ought to be?</p></div>
Will_Pearson on Joint Configurations
http://lesswrong.com/lw/pe/joint_configurations/jej
http://lesswrong.com/lw/pe/joint_configurations/jej2008-04-11T18:10:04+10:00
<div><p>If the photon sources aren't in a super position I think you have to represent the system with a vector of complex numbers. IANAP either.</p></div>
Eliezer_Yudkowsky on Joint Configurations
http://lesswrong.com/lw/pe/joint_configurations/jek
http://lesswrong.com/lw/pe/joint_configurations/jek2008-04-11T19:07:19+10:00
<div><p>Gray, fixed.</p></div>
Dan3 on Joint Configurations
http://lesswrong.com/lw/pe/joint_configurations/jel
http://lesswrong.com/lw/pe/joint_configurations/jel2008-04-11T23:04:27+10:00
<div><p>Jesus Christ, the complex plane. I half-remember that.</p><p>Eliezer, this may come as a shock, but I suspect there exists at least some minority of individuals beyond just me who will find the consistent use of complex numbers at all to be the the most migraine-inducing part of this. You might also find that even those of us who supposedly know how to do some computation on the complex plane are likely to have little to no intuitive grasp of complex numbers. Emphasis on computation over understanding in mathematics teaching, while pervasive, does not tend to serve students well. I could be the only one for whom this applies, but I wouldn't bet heavily on it.</p><p>Thankfully, there's already a couple of "intuitive explanations" of complex numbers on the 'net. And I dug up the links. And the same site has a few articles about generalizations of the Pythagorean Theorem, on a related note. Basically, anyone who is having any trouble with the mathematical side of this is likely to find it a bit of a help. It's also a lot like overcoming bias in its explanatory approach, so there's that.</p><p>Imaginary/complex numbers:</p><p><a href="http://betterexplained.com/articles/a-visual-intuitive-guide-to-imaginary-numbers/">http://betterexplained.com/articles/a-visual-intuitive-guide-to-imaginary-numbers/</a></p><p><a href="http://betterexplained.com/articles/intuitive-arithmetic-with-complex-numbers/">http://betterexplained.com/articles/intuitive-arithmetic-with-complex-numbers/</a></p><p>General math:</p><p><a href="http://betterexplained.com/articles/category/math/">http://betterexplained.com/articles/category/math/</a></p><p>I should probably also take this opportunity to swear up and down that I'm not trying to generate ad revenue for that site, but you'd have to take my word on it. I might also add that I'm quite certain I still don't understand complex numbers meaningfully, but that's a separate thing.</p></div>
Ben_Jones on Joint Configurations
http://lesswrong.com/lw/pe/joint_configurations/jem
http://lesswrong.com/lw/pe/joint_configurations/jem2008-04-11T23:15:44+10:00
<div><p>Opposite problem - I know pretty much what an imaginary number is, and even some applications of <i>i</i>. Numbers can have real and imaginary elements, fine. But I have no idea why they have an application here.</p><p>That said, this post makes a lot of intuitive sense to me, a humanities graduate, so this series is off to a pretty good start. If Eliezer's good at one thing, it's explaining complex-seeming things I know a little about in a very sensible and useful way.</p></div>
taryneast on Joint Configurations
http://lesswrong.com/lw/pe/joint_configurations/3b7p
http://lesswrong.com/lw/pe/joint_configurations/3b7p2011-01-10T04:45:47.006294+11:00
<div class="md"><p>Actually, I was in exactly the same position.</p>
<p>Then I actually read the article from the comment above (to refamiliarise myself with the maths), and was quite surprised to find that the article makes this relation very clear.</p>
<p>Worth a look. :)</p></div>
falenas108 on Joint Configurations
http://lesswrong.com/lw/pe/joint_configurations/3mpy
http://lesswrong.com/lw/pe/joint_configurations/3mpy2011-03-05T15:03:22.985624+11:00
<div class="md"><p>Oh my god...imaginary numbers...they make sense now!
Seriously, thank you for that link. I've gotten all the way through high school calculus without ever having imaginary numbers=rotation explained. Looking at the graph for 10 seconds completely explained that concept and why Eliezer was using imaginary numbers to represent when the photons were deflected.</p></div>
Richard_Hollerith2 on Joint Configurations
http://lesswrong.com/lw/pe/joint_configurations/jen
http://lesswrong.com/lw/pe/joint_configurations/jen2008-04-11T23:55:11+10:00
<div><p><i>Given that we can construct multiple kinds of probability theory, on what grounds should we prefer one over the other to represent what 'belief' ought to be?</i></p><p>Make sure you understand <a href="http://en.wikipedia.org/wiki/Cox's_theorem">Cox's theorem</a>, then exhibit for me two kinds of probability theory, then I will reply.</p></div>
Larry_D'Anna on Joint Configurations
http://lesswrong.com/lw/pe/joint_configurations/jeo
http://lesswrong.com/lw/pe/joint_configurations/jeo2008-04-12T00:48:50+10:00
<div><p>Here's what bugs me: Those two photons aren't going to be *exactly* the same, in terms of say frequency or maybe the angle they make against the table. So how close do they have to be for the configurations to merge? Or is that a Wrong Question? Perhaps if we left the photon emmiter the same but changed the detector to one that could tell the difference in angle, then the experimental results would change? What if we use a angle-detecting photon detector but program it to dump the angle into /dev/null?</p></div>
Jeff2 on Joint Configurations
http://lesswrong.com/lw/pe/joint_configurations/jep
http://lesswrong.com/lw/pe/joint_configurations/jep2008-04-12T02:59:09+10:00
<div><p>Regarding Larry's question about how close the photons have to be before they merge --</p><p>The solution to that problem comes from the fact that Eliezer's experiment is (necessarily) simplifying things. I'm sure he'll get to this in a later post so you might be better off waiting for a better explanation (or reading Feynman's <i>QED: The Strange Theory of Light and Matter</i>, which I think is a fantastically clear explanation of this stuff.) But if you're willing to put up with a poor explanation just to get it quicker...</p><p>In reality, you don't have just one initial amplitude of a photon at exactly time T. To get the <i>full</i> solution, you have to add in the amplitude of the photon arriving a little earlier, or a little later, and with a little smaller or a little larger wavelength, and even travelling faster or slower or not in a straight line, and possibly interacting with some stray electron along the way, and so on for a ridiculously intractable set of complications. Each variation or interaction shows up as a small multiplier to your initial amplitude.</p><p>But fortunately, <i>most</i> of these interactions cancel out over long distances or long times, just like the case of the two photons hitting opposite detectors, so in this experiment you can treat the photon as just having arrived at a certain time and you'll get very close to the right answer.</p><p>Or in other words--easier to visualize but perhaps misleading--the amplitude of the photons is "smeared out" a little in space and time, so it's not too hard to get them to overlap enough for the experiment to work.</p><p>--Jeff</p></div>
HalFinney on Joint Configurations
http://lesswrong.com/lw/pe/joint_configurations/jeq
http://lesswrong.com/lw/pe/joint_configurations/jeq2008-04-12T03:20:18+10:00
<div><p>Along the lines of what Larry asks: Obviously the angles are not going to be perfect. The two photons will come in with slightly different angles. So you would think the photons will not be perfectly indistinguishable. Now I wonder if it is the case that if you put your detectors in close, so that they "see" a relatively wide range of angles, then you get the interference and the photons are treated the same; whereas if you put your detectors far away, they might become sensitive to a smaller range of angles, so that they could distinguish the two photons, then the interference might go away?</p><p>But in that case, you could make an FTL signaling device by putting one detector at a distance, and moving the other detector from close to far. When close, you get interference and get two photons or none, while when far, you get single photons, a difference detectable by the remote detector. Clearly this can't happen.</p><p>I'm sure Jeff is right and that a fuller investigation of the wave equations would explain exactly what happens here. But it does point out one big problem with this level of description of the quantum world: the absence of a primary role for space and time. We just have events and configurations. How does locality and causality enter into this? Where do speed of light limitations get enforced? The world is fundamentally local, but some ways of expressing QM seem to ignore that seemingly important foundation.</p></div>
ESRogs on Joint Configurations
http://lesswrong.com/lw/pe/joint_configurations/8p92
http://lesswrong.com/lw/pe/joint_configurations/8p922013-04-05T05:27:37.885019+11:00
<div class="md"><p>With the setup you describe, the remote detector still has to wait until the photons would be expected to arrive to know whether the other detector had been moved, right? This seems like it would be exactly at-light-speed signaling.</p></div>
Douglas_Knight3 on Joint Configurations
http://lesswrong.com/lw/pe/joint_configurations/jer
http://lesswrong.com/lw/pe/joint_configurations/jer2008-04-12T03:33:08+10:00
<div><p>Jeff,
I would not call your last paragraph misleading. It is quantum mechanics--as opposed to quantum field theory--and I think QED is a gratuitously complicated way to answer the question. Perhaps it's a way to get from classical notions of particles to quantum mechanics, but it seems to me to go against the spirit of trying to understand QM on its own terms, rather than as a modification of classical particles.</p></div>
Emmett3 on Joint Configurations
http://lesswrong.com/lw/pe/joint_configurations/jes
http://lesswrong.com/lw/pe/joint_configurations/jes2008-04-12T03:52:44+10:00
<div><p>I found your explanations of Bayesian probability enlightening, and I've tried to read several explanations before. Your recent posts on quantum mechanics, much less so. Unlike the probability posts, I find these ones very hard to follow. Every time I hit a block of 'The "B to D" photon is deflected and the "C to D" photon is deflected.' statements, my eyes glaze over and I lose you.</p></div>
Eliezer_Yudkowsky on Joint Configurations
http://lesswrong.com/lw/pe/joint_configurations/jet
http://lesswrong.com/lw/pe/joint_configurations/jet2008-04-12T04:15:31+10:00
<div><p>Dan, Emmett,</p><p>I hear you. Unfortunately, I can't put as much work into this as I did for the intuitive explanation of Bayes's Theorem, plus the subject matter is inherently more complicated.</p><p>Feynman's <i>QED</i> uses little arrows in 2D space instead of complex numbers (the two are equivalent). And if I had the time and space, I'd draw different visual diagrams for each configuration, and show the amplitude flowing from one to another...</p><p>But QM is also inherently more complicated than Bayes's Theorem, and takes more effort; plus I'm trying to explain it in less time... I'm not figuring that all readers will be able to follow, I'm afraid, just hoping that some of them will be.</p><p>If the problem is not that QM is <i>confusing</i> but that you can't follow what is being said <i>at all</i>, you probably want to be reading Richard Feynman's <i>QED</i> instead.</p></div>
anonymous12 on Joint Configurations
http://lesswrong.com/lw/pe/joint_configurations/jeu
http://lesswrong.com/lw/pe/joint_configurations/jeu2008-04-12T04:40:59+10:00
<div><p><i> Feynman's QED uses little arrows in 2D space instead of complex numbers (the two are equivalent). </i></p><p>this is quite offtopic, but there are important analogies <a href="http://math.ucr.edu/home/baez/rosetta.pdf">[1]</a> <a href="http://golem.ph.utexas.edu/category/2008/03/physics_topology_logic_and_com.html">[2]</a> between Feynman diagrams, topology and computer science. being aware of this may amke the topic easier to understand.</p></div>
David_D on Joint Configurations
http://lesswrong.com/lw/pe/joint_configurations/jev
http://lesswrong.com/lw/pe/joint_configurations/jev2008-04-12T07:32:06+10:00
<div><p>So you calculate events for photons that happen in parallel (e.g. one photon being deflected while another is deflected as well) the same way you would for when they occur in series (e.g. a photon being deflected, and then being deflected again)? It seems that in both cases you are multiplying the original configuration by -1 (i.e. i * i).</p><p>FWIW, my first instinct when I saw the diagram was to assume 2 starting configurations, one for each photon, though I guess the point of this post was that I can't do stuff like that. In fact, when I did the math that way, I came up with the photons hitting different detectors twice as much as when they both hit the same one.</p><p>I think I'll be picking up the Feynman book.....</p></div>
Gray_Area on Joint Configurations
http://lesswrong.com/lw/pe/joint_configurations/jew
http://lesswrong.com/lw/pe/joint_configurations/jew2008-04-13T06:25:36+10:00
<div><p>Richard: Cox's theorem is an example of a particular kind of result in math, where you have some particular object in mind to represent something, and you come up with very plausible, very general axioms that you want this representation to satisfy, and then prove this object is unique in satisfying these. There are equivalent results for entropy in information theory. The problem with these results, they are almost always based on hindsight, so a lot of the times you sneak in an axiom that only SEEMS plausible in hindsight. For instance, Cox's theorem states that plausibility is a real number. Why should it be a real number?</p></div>
Hendrik_Boom on Joint Configurations
http://lesswrong.com/lw/pe/joint_configurations/jex
http://lesswrong.com/lw/pe/joint_configurations/jex2008-04-13T22:26:27+10:00
<div><p>Grey Area asked, "For instance, Cox's theorem states that plausibility is a real number. Why should it be a real number?" For that matter, why should the plausibility of the negation of a statement depend only on the <i>plausibility</i> of the statement? Mightn't the statement itself be relevant?</p></div>
Cyan2 on Joint Configurations
http://lesswrong.com/lw/pe/joint_configurations/jey
http://lesswrong.com/lw/pe/joint_configurations/jey2008-04-14T00:01:38+10:00
<div><p>Gray Area,</p><p>In reply to "why a real number question", we might want to weaken the theory to the point were only equalities and inequalities can be stated. There are two weaker desiderata one might hold. Let (A|X) be the plausibility of A given X.</p><p>Transitivity:
if (A|X) > (B|X) and (B|X) > (C|X), then (A|X) > (C|X)</p><p>Universal Comparability:
one of the following must hold
(A|X) > (B|X)
(A|X) = (B|X)
(A|X) < (B|X)</p><p>If you keep both, you might as well use a real number -- doing so will capture all of the desired behavior. If you throw out Transitivity, I have a series of wagers I'd like to make with you. If you throw out Universal Comparability, then you get lattice theories in which propositions are vertexes and permitted comparisons are edges.</p><p>On the other hand, you might find just a single real number too restrictive, so you use more than one. Then you get something like <a href="http://en.wikipedia.org/wiki/Dempster-Shafer_theory">Dempster-Shafer theory</a>.</p><p>In short, there are alternatives.</p><p>As for why should the plausibility of the negation of a statement depend only on the plausibility of the statement, the answer (I believe) is that we are considering only the sorts of propositions in which the Law of the Excluded Middle holds. So if we are using only a single real number to capture plausibility, we need f{(A|X),(!A|X)} = (truth|X) = constant, and we have no freedom to let (!A|X) depend on the details of A.</p></div>
Psy-Kosh on Joint Configurations
http://lesswrong.com/lw/pe/joint_configurations/jez
http://lesswrong.com/lw/pe/joint_configurations/jez2008-04-14T00:47:46+10:00
<div><p>Well, an alternative way to suggest probability is the Right Way is stuff like dutch book arguments, or more generally, building up decision theory, and epistemic probabilities get generated "along the way"</p><p>The arguments I like are of the form that each step is basically along the lines of "if you don't follow this rule, you'll be vulnerable to that kind of stupid behavrior, where stupid behavior basically means 'wasting resources without making progress toward fulfilling your goals, whatever they are'"</p><p>Frankly, I also like those arguments because mathematicaly, they're cleaner. Each step gets you something of the final result, and generally doesn't require anything more demanding than basic linear algeabra.</p><p>It's nice to know Cox's Theorem is there, but it's not what, to me at least, would be a simple clean derivation.</p></div>
Cyan2 on Joint Configurations
http://lesswrong.com/lw/pe/joint_configurations/jf0
http://lesswrong.com/lw/pe/joint_configurations/jf02008-04-14T05:24:40+10:00
<div><p>Psy-Kosh,</p><p>Curiously, I have just the opposite orientation -- I like the fact that probability theory can be derived as an extension of logic totally independently of decision theory. Cox's Theorem also does a good job on the "punishing stupid behavior" front. If someone demonstrate a system that disagrees with Bayesian probability theory, when you find a Bayesian solution you can go back to the desiderata and say which one is being violated. But on the math front, I got nothing -- there's no getting around the fact that functional equations are tougher than linear algebra.</p></div>
Psy-Kosh on Joint Configurations
http://lesswrong.com/lw/pe/joint_configurations/jf1
http://lesswrong.com/lw/pe/joint_configurations/jf12008-04-14T05:57:06+10:00
<div><p>Cyan: I certainly admit that the ease of the math may be part of my reaction. Maybe if I was far more familiar with the theory of functional equations I'd find Cox's theorem more elegant than I do.</p><p>(I've read that if one makes a minor tweak to Cox's theorem, just letting go of the real number criteria and letting confidences be complex numbers, the same line of derivation more or less hands you quantum amplitudes. I haven't seen that derivation though, but if that's correct, it makes Cox's theorem even more appealing. QM for "free"! :))</p><p>The vulnerabiliy ones though actively motivate the criteria rather than a list of reasonable sounding properties an extention to boolean logic ought to have. The basic criteria, I guess, could be describes as "will you end up in a situation in which you'd knowingly willingly waste resources without in any way benefiting your goals?"</p><p>So each step is basically a "Mathematical Karma is going to get you and take away your pennies if you don't follow this rule." :)</p><p>But yeah, the bit about only reasonable extention of vanilla logic does make the Cox thing a bit more appealing. On the other hand, that may actively dissuade some from the Bayesian perspective. Specifically, constructivists, intuitionists in particular, for instance, may be hesitant of anything too dependant on law of excluded middle in the abstract. (This isn't an abstract hypothetical. I've basically ended up in a friendly argument a while back with someone that more or less had them rejecting the notion of using probability as a measure of belief/subjective uncertainty because it was an extention of boolean logic, and the guy didn't like law of excluded middle and basically was, near as I can make out, an intuitionist. (Some of the mathematical concepts he was bringing up seem to imply that))</p><p>Personally, I just really like the whole "math karma" flavor of each step of a vulnerability argument. Just a different flavor than most mathematical derivations for, well, anything, that I've seen. Not to mention, in some formulations, getting decision theory all at once with it.</p></div>
Dmitriy_Kropivnitskiy on Joint Configurations
http://lesswrong.com/lw/pe/joint_configurations/jf2
http://lesswrong.com/lw/pe/joint_configurations/jf22008-04-22T06:20:55+10:00
<div><p>I am having a bit of trouble with this series. I can see that you are explaining that reality consists of states with "amplitude" numbers assigned to each state.</p><p>1. You seem to assign arbitrary numbers to the initial states and an arbitrary amplitude change rules to mirrors. Why is this in any way applicable to objective reality? Or are these numbers non-arbitrary? Or am I just missing something elementary?
2. Why states of photons or detectors are complex numbers and mirror is a function?
3. How does time factor into all of this?</p></div>
Dmitriy_Kropivnitskiy on Joint Configurations
http://lesswrong.com/lw/pe/joint_configurations/jf3
http://lesswrong.com/lw/pe/joint_configurations/jf32008-04-22T13:58:00+10:00
<div><p>I am sorry. I should have read the rest of the series BEFORE starting to ask questions about this particular article. Please disregard my previous post.</p></div>
gothpunkr on Joint Configurations
http://lesswrong.com/lw/pe/joint_configurations/264l
http://lesswrong.com/lw/pe/joint_configurations/264l2010-06-20T07:33:32.109845+10:00
<div class="md"><p>Thanks for helping me remove the classic hallucination to now understand the double slit phenomenon.</p></div>
Eliezer_Yudkowsky on Joint Configurations
http://lesswrong.com/lw/pe/joint_configurations/37zh
http://lesswrong.com/lw/pe/joint_configurations/37zh2010-12-25T07:25:07.698107+11:00
<div class="md"><p>Added reference to the writeup of this experiment in Wikipedia: <a href="http://en.wikipedia.org/wiki/Hong%E2%80%93Ou%E2%80%93Mandel_effect" rel="nofollow">http://en.wikipedia.org/wiki/Hong%E2%80%93Ou%E2%80%93Mandel_effect</a></p>
<p>HT <a href="http://lesswrong.com/r/discussion/lw/3f2/quantum_joint_configuration_article_need_help/37t4">Manfred</a>.</p></div>
wnoise on Joint Configurations
http://lesswrong.com/lw/pe/joint_configurations/3805
http://lesswrong.com/lw/pe/joint_configurations/38052010-12-25T09:08:32.066201+11:00
<div class="md"><p>(The version in this comment doesn't work, though the main one in the article does. There's a period inside the URL. -- You should have <a href="http://en.wikipedia.org/wiki/Hong%E2%80%93Ou%E2%80%93Mandel_effect" rel="nofollow">http://en.wikipedia.org/wiki/Hong%E2%80%93Ou%E2%80%93Mandel_effect</a></p></div>
Eliezer_Yudkowsky on Joint Configurations
http://lesswrong.com/lw/pe/joint_configurations/380a
http://lesswrong.com/lw/pe/joint_configurations/380a2010-12-25T09:53:09.675027+11:00
<div class="md"><p>Thx fixed.</p></div>
buybuydandavis on Joint Configurations
http://lesswrong.com/lw/pe/joint_configurations/56e8
http://lesswrong.com/lw/pe/joint_configurations/56e82011-11-06T07:01:59.225281+11:00
<div class="md"><p>Thank you for that. This is one of most interesting experiments I've seen, because in my interpretation, it's refuting a quantum ontological randomness more than confirming it.</p>
<p>Consider the case of 1 photon. It hits the splitter, the splitter establishes boundary conditions on the photon wave packet such that there is only possible mode compatible with the splitter at any given time, and only 2 modes generally.</p>
<p>Now, two photons. The article says they have to match in phase, time, and polarization. Since they match, they will be deflected in the same way all the time, because the beam splitter is only compatible with one mode at a particular instance of time (for a particular phase and polariztion?).</p>
<p>Yes, I know, Bell's Theorem, no hidden variables, yadda yadda yadda. I'm not convinced. Neither was Jaynes, and I find him clearer and cleverer than those who think the quantum world is magical and mysterious, and the world runs on telekinesis. He wasn't convinced by Bell, and in particular charged that Bell's analysis didn't include time varying hidden variables, which is of course the natural way to get the appearance of ontological randomness - have the hidden variable vary at smaller time scales than you are able to measure.</p>
<p>Although apparently not. Looks like the HOM effect has measured the time interval down to the relevant time scales. Hurrah! Ontological randomness is dead! Long live the Bayesian Conspiracy!</p>
<p>But I'd like to see the experiment done <em>without the splitter</em>. Do the photons ever go the same way without the splitter there to establish a boundary condition? If it's all just about photon entanglement and ontological randomness, shouldn't they? My prediction is that they wouldn't.</p>
<p>And yes, I realize that it's unlikely that I have resolved all the mysteries of quantum physics before breakfast. Still, that's the way it looks to me.</p>
<p>Wondering if Jaynes had ever commented on the HOM effect, I found no direct comment, but instead a wikipedia article: "The Jaynes–Cummings model (JCM) is a theoretical model in quantum optics. It describes the system of a two-level atom interacting with a quantized mode of an optical cavity..." Is he getting at the same thing here - of boundary conditions applied to wave packets? I don't know. Looks like in his last paper on quantum theory, Scattering of Light by Free Electrons, he's getting at the wave function as being physically real, and not the probability distribution of teeny tiny billiard balls.</p>
<p>And while I was at it, I found that Hess and Philipp have been pushing against Bell for time variation. Something to check out sometime.</p></div>
emgee on Joint Configurations
http://lesswrong.com/lw/pe/joint_configurations/3bfl
http://lesswrong.com/lw/pe/joint_configurations/3bfl2011-01-11T07:52:37.510601+11:00
<div class="md"><p>It is not at all clear to me why a single half-mirror should result in two multiplications and not an addition in the case of there being more than one photon. After all they are added up when they strike the detector.</p>
<p>It is completely unmentioned why this would be the case, and would seem to bear explanation.</p></div>
Fitzydog on Joint Configurations
http://lesswrong.com/lw/pe/joint_configurations/43rk
http://lesswrong.com/lw/pe/joint_configurations/43rk2011-05-06T07:04:09.536671+10:00
<div class="md"><p>I'm not quite understanding it either, but if I'm slightly understanding correctly: use sound wave as an ANALOGY. The half-silver mirrors allow it to "resonate" (sound terms) and ricochet off at the same time, while full silver only allows it to ricochet. (this is most likely VERY WRONG. I just now got the reasoning behind complex numbers, rotation of planes, 3d waves, etc)</p></div>
stochastic on Joint Configurations
http://lesswrong.com/lw/pe/joint_configurations/4gj2
http://lesswrong.com/lw/pe/joint_configurations/4gj22011-07-04T11:56:05.640930+10:00
<div class="md"><p>Another great explanation. What you describe suggests that the fabric of the universe is not made of particulate stuff, but rather informational and/or computational. Or am I reading to much into this?</p></div>
bigjeff5 on Joint Configurations
http://lesswrong.com/lw/pe/joint_configurations/4ykk
http://lesswrong.com/lw/pe/joint_configurations/4ykk2011-10-05T07:00:46.646241+11:00
<div class="md"><p>A lot of the dumbed down science I read/watch (documentaries, popular sciency magazines, sciency websites, etc) suggests that this is exactly how a number of physicists view the world these days.</p>
<p>For example, often when there is debate about whether such and such theoretical effect breaks the conservation laws they speak in terms of information being conserved or destroyed, even though they are referring to things like photons and whatnot (e.g. the Thorne-Hawking-Preskill bet concerning Hawking Radiation).</p></div>
DreamThorn on Joint Configurations
http://lesswrong.com/lw/pe/joint_configurations/6ggu
http://lesswrong.com/lw/pe/joint_configurations/6ggu2012-04-26T18:31:25.835423+10:00
<div class="md"><p>I thought I understood quantum mechanics. I have studied it for years. Passed exams. Got a degree.</p>
<p>This is the first time I have ever heard of the HOM experiment, and it is causing a crisis in my mind, since it does not match what I know about quantum mechanics.</p>
<p>They really should at least tell us of this experiment and its results when they start teaching us. Even after these years I was still under the impression that quantum mechanics was about unbreakable limitations on the measurement of data.</p>
<p>This experiment proves that the universe itself does not work in an intuitive way. All the people who are trying to outwit quantum mechanics by measuring position and energy at the same time are not just attempting something impossible, what they are trying doesn't even make sense.</p>
<p>AAAAAAAAAAAGH!</p></div>
nyeven on Joint Configurations
http://lesswrong.com/lw/pe/joint_configurations/dogn
http://lesswrong.com/lw/pe/joint_configurations/dogn2017-03-08T21:13:53.364634+11:00
<div class="md"><blockquote>
<p>If in place of Squared_Modulus, our magical tool was some linear function—any function where F(X + Y) = F(X) + F(Y)—then all the quantumness would instantly vanish and be replaced by a classical physics.</p>
</blockquote>
<p>I am having trouble working out linearity of functions. Let's say we take a linear function F(x) = x + 5. Then we use the above linearity you mention F(5 + 6) = F(5) + F(6).</p>
<p>We get F(11) = F(5) + F(6).</p>
<p>If we work that out we get => 11 + 5 = 5+5 + 6+5.</p>
<p>The result is 16 =/= 21.</p>
<p>So, the linear function doesn't have linearity as its property?</p>
<p>I am confused.</p></div>
gjm on Joint Configurations
http://lesswrong.com/lw/pe/joint_configurations/dogx
http://lesswrong.com/lw/pe/joint_configurations/dogx2017-03-09T01:33:06.072056+11:00
<div class="md"><p>The function x -> x+5 is not a linear function in the sense that's relevant here. (The word "linear" has multiple uses, related to one another but not identical.)</p></div>