tag:blogger.com,1999:blog-38321360178937494972017-02-20T14:18:33.208-05:00Elliptic ComposabilityFlorin Moldoveanuhttps://plus.google.com/117661996860849443251noreply@blogger.comBlogger205125tag:blogger.com,1999:blog-3832136017893749497.post-117126206166693902017-02-19T19:54:00.000-05:002017-02-19T19:54:56.768-05:00<h2 style="text-align: center;">Monoids: the root of it all</h2><div><br /></div><div>Let's start talking about category theory. We will start from set theory and in the end try to get away from it. The first thing we need to discuss is <a href="https://en.wikipedia.org/wiki/Magma_(algebra)" target="_blank">magma</a>. Basically you have a binary operation on a set and that's all: \(M \times M\rightarrow M\). One problem with magmas is that there is no associativity. Now not all mathematical operations lacking associativity are inherently primitive. Think of Lie algebras: the operation is not associative. However there you have something else: the Jacobi identity. But a pure magma without any additional structure is a rather inert object. The other problem with magmas is the lack of a unit. Add associativity and a unital element and category theory comes alive. </div><div><b><br /></b></div><div><b>To link the discussion to physics, nature obeys the structure of a (commutative) monoid: <u>two physical systems can be composed into a larger physical system:</u></b></div><div><b>- </b>composition is the binary operation </div><div><b>- </b>associativity guarantees our ability to reason about physical systems regardless of how we split a physical system into subsystems: quantum mechanics is valid for both an electron or an atom containing an electron</div><div><b>-</b> the unital element is nothingness: composition with nothing leaves the original physical system intact.</div><div><br /></div><div>In later posts I will show how quantum mechanics is a logical consequence of the commutative monoid above. In other words, quantum mechanics is inescapable and nature is quantum all the way.</div><div><br /></div><div>Back on monoids, let's fall back on the usual example: composable functions: the image of a function is the domain of the next function. The link with programming is obvious: the output of one computation is plugged in as the input of another computation. As a side note, because of this functional programming is best explained in the language of category theory. When we talk function composition we usually write: \(f \circ g\) which means \(f(g(x))\). To jump in abstraction and eliminate the nature of the elements considerations, there is an elementary trick to help navigate complex composition chains: call \(\circ\): AFTER like this: \(f~composed~with~g = f\circ g = f~ AFTER~ g\)</div><div><br /></div><div>Now let's review the usual properties of injectivity and surjectivity:</div><div><br /></div><div>Injectivity: for any elements \(x, x^{'}\), a function is injective if \(f(x) = f(x^{'}) ~implies~ x=x^{'}\)</div><div>Surjectivity: for any \(y\) in the range, there is an \(x\) in the domain such that \(f(x)=y\)</div><div><br /></div><div>So how can we abstract this away and eliminate the talk about the elements? The corresponding category theory concepts are monic and epic:</div><div><br /></div><div>Monic: a morphism is monic if for any \(g, h\) \(f\circ g = f\circ h ~implies~g=h\)</div><div>Epic: a morphism is epic if for any \(g, h\) \(g\circ f = h\circ f ~implies~g=h\)</div><div><br /></div><div>Can you prove that if \(f:X\rightarrow Y\) then \(f\) is injective if and only if it is monic and it surjective if and only if it is epic? The proof can be found in many places but it is instructive to try to prove it yourself without looking it up first as this will help you better understand category theory. </div><div><br /></div><div>The last point I want to make today is that in category theory we move away from functions into abstract morphisms. <b>The key point of morphisms is that they preserve mathematical structures.</b> As such they can be used to jump between categories of very different nature. This is how category theory is a unifying structure of mathematics where the same patterns of reasoning can be replicated from logic to computer science, to algebraic topology, to quantum mechanics.</div><div><br /></div><div>To be continued...</div><div><br /></div>Florin Moldoveanuhttps://plus.google.com/117661996860849443251noreply@blogger.com0tag:blogger.com,1999:blog-3832136017893749497.post-28736351905012547962017-02-12T21:13:00.000-05:002017-02-12T22:13:13.150-05:00<h2 style="text-align: center;">A new way to look at mathematics</h2><div><br /></div><div>I want to start today a series of posts about <a href="https://en.wikipedia.org/wiki/Category_theory" target="_blank">category theory</a>. This is a vast area of mathematics which unifies logic, computer programming, combinatorics, cohomology, etc, and <b>quantum mechanics </b>into a cohesive paradigm. It also settles the problem of interpretation for quantum mechanics. By its very construction category theory has no need for any realism baggage. The entire mathematics can be expressed not in the language of sets (which are abstractions based on our classical intuition) but <b>in the language of categories free of any considerations about the nature of elements</b>. Regarding physics, the paradigm of category theory is best expressed by a famous Bohr quote:</div><br /><i>"It is wrong to think that the task of physics is to find out how Nature is. Physics concerns what we say about Nature."</i><br /><div><i><br /></i></div><div>Let me start slow. The usual usage of math is on the practical side to solve problems. How many times did we hear the lazy student complaint: why should we learn this? Math is not about memorization and math is very easy once we absorb its content. Learning math is a journey in mastering abstractions and general ways of reasoning. For example when you learn about Lie groups you can extract a lot of key result by elementary methods simply by studying matrices. However you hit a wall with octonions because they are not associative and do not admit a matrix representation for this very reason. In turn this precludes the proper understanding of exceptional Lie groups.</div><div><br /></div><div>Or consider a simpler example, topology. A lot of functional analysis can be done using the concept of distance and metric spaces. For example a space in \(R^n\) is compact iff it is closed and bounded. Then the metric spaces are generalized by the concept of <a href="https://en.wikipedia.org/wiki/Topological_space" target="_blank">topological space</a>s which are based on the idea of neighborhoods, unions, and intersections. In this case compactness is defined much more abstractly: a space is compact iff any open covering has a finite subcover. </div><div><br /></div><div>A similar thing happens in category theory. Patterns of reasoning in various mathematical domains are abstracted away in a formalism which does not care about the nature of the elements. On one end this is harder and to help navigate this in the beginning you hold on particular examples; the typical examples are functions. However at some point you let go of the examples just like in topology you let go the notion of distance. At that point you learn to reason properly in category theory and a lot can be achieved in this way. Then we can make the journey backwards from abstract to concrete. There is a big bonus in this: we have the flexibility to pick the concrete examples we want. And in our case we will pick quantum mechanics. <b>Quantum mechanics is best and most naturally expressed in the language of category theory. </b>Goodbye sets, goodbye classical realism, let the category journey begin. Please stay tuned. </div>Florin Moldoveanuhttps://plus.google.com/117661996860849443251noreply@blogger.com0tag:blogger.com,1999:blog-3832136017893749497.post-71473466697640513722017-02-04T22:00:00.000-05:002017-02-04T22:43:01.570-05:00<h2 style="text-align: center;">Trump, DeVos and the fleecing of America</h2><div><br /></div><div>Once upon a time there was a Sputnik circling the Earth and the <a href="https://en.wikipedia.org/wiki/Sputnik_crisis" target="_blank">fear </a>it created spurred America to wake up and invest massively into education. Those days are long gone and now religious extremists (like late Jerry Falwell and his son Jerry Falwell Jr) wage war on science in United States. Sadly they are about to destroy the education system and the end result will be an <a href="https://en.wikipedia.org/wiki/Idiocracy" target="_blank">Idiocracy </a>society where we study only creationism and we water plans with sport drinks because they have electrolytes - what plants crave.</div><div><br /></div><div>So what is president Trump's policy? <b>He has only one policy: to continuously demonstrate he has the largest dick.</b> </div><div><br /></div><div class="separator" style="clear: both; text-align: center;"><a href="https://1.bp.blogspot.com/-RA2xjHuCz54/WJZWV5yiX_I/AAAAAAAABIo/IINHx_gWz6kZ5CwFnaNY7QYbSu7CMlGZwCLcB/s1600/camacho.jpg" imageanchor="1" style="margin-left: 1em; margin-right: 1em;"><img border="0" height="154" src="https://1.bp.blogspot.com/-RA2xjHuCz54/WJZWV5yiX_I/AAAAAAAABIo/IINHx_gWz6kZ5CwFnaNY7QYbSu7CMlGZwCLcB/s320/camacho.jpg" width="320" /></a></div><div class="separator" style="clear: both; text-align: center;"><br /></div><div class="separator" style="clear: both; text-align: left;">From inauguration crowd size to popular vote size, it is all about how he is "yuuuge". Help him masturbate his ego in public and you get away with anything. One such person is Betsy DeVos. </div><div class="separator" style="clear: both; text-align: left;"><br /></div><div class="separator" style="clear: both; text-align: left;"><a href="https://en.wikipedia.org/wiki/Betsy_DeVos" target="_blank">Betsy DeVos</a> is a billionaire who made her money with <a href="https://en.wikipedia.org/wiki/Amway" target="_blank">Amway</a> and she bought her way into the Trump administration by donating to the republican party something to the tune of 200 million dollars. <b>On the recent confirmation hearings she said she is supports guns in schools to protect students from grizzly bears!!! </b>Also she did not understand the difference between the value of something and the rate of increase of that value. Her intellectual level is that of a moronic imbecile who repeatedly failed to complete 3rd grade. Honestly, she deserves a prize for managing to beat Sarah Palin in stupidity: a really really hard thing to achieve.</div><div class="separator" style="clear: both; text-align: left;"><br /></div><div class="separator" style="clear: both; text-align: left;">So why does she want to lead the education department? Because <b>the education budget is over 140 billion dollars. Cha-ching! By refusing to hold both public and private schools accountable <u>to the same standards</u> she opens to door to scams like her boss' "Trump University" And it is all paid for by us, the taxpayers. </b>What? Did you believe those 200 million dollars were donated out of the goodness of her hearth?</div><div class="separator" style="clear: both; text-align: left;"><br /></div><div class="separator" style="clear: both; text-align: left;">Now maybe Amway is a legit business and she is not a nutcase. Do you know how Amway works? It is a pyramid scheme going under the name "<a href="https://en.wikipedia.org/wiki/Multi-level_marketing" target="_blank">multi-level marketing</a>": you buy their soap and you sell it to say 5 of your friends and if you sign them up as Amway distributors you get a cut from their sale as well. Now you don't get rich by selling 3 dollars worth of soap in a month, but by signing up many more people and they in turn do the same. The end result is a pyramid of losers. Most of them end up broke and with a garage full of soap inventory. They loose money on books and brainwashing cult-like company seminars. So why is this not illegal? Because the Federal Trade Commission guys are crooks too: since there is an actual product flowing (which keeps the scam going) they merely get their cut of the scam by huge fines (which would have been impossible from traditional Ponzi schemes because in that case when the scheme crashes the money stops flowing). Now Amway is not alone in MLM. Here is a nice video about the dangers of multi-level marketing:</div><div class="separator" style="clear: both; text-align: left;"><br /></div><div class="separator" style="clear: both; text-align: left;"><br /></div><div style="text-align: center;"><iframe allowfullscreen="" class="YOUTUBE-iframe-video" data-thumbnail-src="https://i.ytimg.com/vi/s6MwGeOm8iI/0.jpg" frameborder="0" height="266" src="https://www.youtube.com/embed/s6MwGeOm8iI?feature=player_embedded" width="320"></iframe></div><br /><div class="separator" style="clear: both; text-align: left;"><br /></div><div class="separator" style="clear: both; text-align: left;">Back to DeVos. She is promoted by Trump to buy republican support for keeping him in power, but she is a pure republican creation. <b>Both republicans and Trump are willing to fleece America, their only difference is how they sell it to their base:</b> republicans trick them by appealing to freedom, self-reliance, and independence, while Trump promises to make their dicks great again. <b>Trump's ideology is nothing but the fascist utopia: "you are the best, screw everyone else" </b>(like mexicans, muslims, and recently australians)<b>.</b></div><div class="separator" style="clear: both; text-align: left;"><b><br /></b></div><div class="separator" style="clear: both; text-align: left;">I don't want to end on a dark note so here is a nice video: </div><div class="separator" style="clear: both; text-align: left;"><br /></div><div class="separator" style="clear: both; text-align: left;"><br /></div><div style="text-align: center;"><iframe allowfullscreen="" class="YOUTUBE-iframe-video" data-thumbnail-src="https://i.ytimg.com/vi/9Sq-VPDtNK4/0.jpg" frameborder="0" height="266" src="https://www.youtube.com/embed/9Sq-VPDtNK4?feature=player_embedded" width="320"></iframe></div><div style="text-align: center;"><br /></div><div style="text-align: left;">because the best way to deal with Trump is by making fun of him. There are many more videos like this for various countries in the world. Have fun watching them all.</div>Florin Moldoveanuhttps://plus.google.com/117661996860849443251noreply@blogger.com0tag:blogger.com,1999:blog-3832136017893749497.post-52145621259178352032017-01-29T22:50:00.000-05:002017-01-29T22:50:51.501-05:00<h2 style="text-align: center;">Surreal Trajectories: the main argument against Bohmian ontology</h2><div><br /></div><div>I was extremely busy for the past two weeks and I simply did not have any time to write the weekly post. But without any more delays, as promised, here is the argument against Bohmian interpretation. The argument comes from a famous paper by Englert, Scully, Süssmann, and Walther: <i>Surrealistic Bohm Trajectories</i>.</div><div><br /></div><div>For clarity, here are the original <a href="https://www.degruyter.com/downloadpdf/j/zna.1992.47.issue-12/zna-1992-1201/zna-1992-1201.xml" target="_blank">paper</a>, the <a href="https://www.degruyter.com/downloadpdf/j/zna.1993.48.issue-12/zna-1993-1219/zna-1993-1219.xml" target="_blank">rebuttal</a>, and the <a href="https://www.degruyter.com/downloadpdf/j/zna.1993.48.issue-12/zna-1993-1220/zna-1993-1220.xml" target="_blank">response</a>.</div><div><br /></div><div>The argument is simple: in a double slit experiment with a which way detector present before the slit (which incidentally kills the interference pattern), the Bohmian trajectories do not cross the axis of symmetry. </div><div><br /></div><div class="separator" style="clear: both; text-align: center;"><a href="https://1.bp.blogspot.com/-qtSXrVmbuDE/WI6vy6Vis4I/AAAAAAAABIM/w4O6dRpqHq8R8PHnF8BRAFfXE2VpFRtkACLcB/s1600/DoubleSlit.png" imageanchor="1" style="margin-left: 1em; margin-right: 1em;"><img border="0" height="296" src="https://1.bp.blogspot.com/-qtSXrVmbuDE/WI6vy6Vis4I/AAAAAAAABIM/w4O6dRpqHq8R8PHnF8BRAFfXE2VpFRtkACLcB/s320/DoubleSlit.png" width="320" /></a></div><div><br /></div><div><br /></div><div>However the wavefunction is:</div><div><br /></div><div>\(\Psi = \psi_>|detect~up\rangle + \psi_<|detect~down\rangle\)</div><div><br /></div><div>and \(\psi_>\) does not vanish in the bottom part and \(\psi_<\) does not vanish in the top part. <b>As such, the particle can be found in the down section while the particle was detected earlier by the upper which way detector. <u>But this is at odds with Bohmian trajectories which by symmetry considerations do not connect the up with the down.</u></b></div><div><b><u><br /></u></b></div><div>The conclusion is that Bohmian trajectories do not <i>always</i> have a correspondence in reality. The issue is not whether Bohmian quantum mechanics does or does not make the same prediction as standard quantum mechanics as the rebuttal seems to imply, but <b>the issue is the ontology of Bohmian trajectories</b>. The claimed advantage of Bohmian mechanics is its clarity rooted in realism, but <b>if Bohmian trajectories are at odds with experiments, what is the value of Bohmian interpretation?</b> <b>Remember that in Bohmian interpretation the only thing "real" is the particle trajectory</b>. I could not find a valid answer from the Bohmian community to the surrealistic paper challenge and <b><u>in my opinion this paper it is a decisive clear cut argument against Bohmian interpretation.</u></b> </div>Florin Moldoveanuhttps://plus.google.com/117661996860849443251noreply@blogger.com3tag:blogger.com,1999:blog-3832136017893749497.post-19638246834488980892017-01-16T01:04:00.000-05:002017-01-17T21:54:04.351-05:00<h2 style="text-align: center;">Book Review: "Making Sense of Quantum Mechanics"</h2><div><br /></div><div>After much delay I had found the time to finish reading Jean Bricmont's "Making Sense of Quantum Mechanics" <a href="http://www.springer.com/us/book/9783319258874" target="_blank">book</a>.</div><div><br /></div><div><br /></div><div class="separator" style="clear: both; text-align: center;"><a href="https://4.bp.blogspot.com/-u-tgekEgpoo/WHw00O_XgpI/AAAAAAAABHs/g5mVi8MWfcEONS1QK3MCgY9BhZlvMNuDACLcB/s1600/MakingSense.jpg" imageanchor="1" style="margin-left: 1em; margin-right: 1em;"><img border="0" height="320" src="https://4.bp.blogspot.com/-u-tgekEgpoo/WHw00O_XgpI/AAAAAAAABHs/g5mVi8MWfcEONS1QK3MCgY9BhZlvMNuDACLcB/s320/MakingSense.jpg" width="212" /></a></div><div class="separator" style="clear: both; text-align: center;"><br /></div><div class="separator" style="clear: both; text-align: left;"><br /></div><div><b>The book is the best presentation of Bohmian interpretation</b> I have ever read. It masterly combines the philosophical ideas with a bit of math, famous quotes, and some historical perspective. </div><div><br /></div><div>After preliminary topics in chapter one, chapter two discusses the first quantum "mystery": superposition, while chapter four discuses the second "mystery": nonlocality. It was chapter three, a philosophical "intermetzzo" which took me a very loooong time to read and prevented me to write this review much sooner: one one end I could not write this post without reading it, and on the other end I was loosing interest very quickly in it after a couple of pages of historical review. Then Bricmont proceeds into presenting Bohniam mechanics - the heart of the book. </div><div><br /></div><div>Let's dig a bit deeper into it. Chapter two is a very well written introduction into why quantum mechanics is counter-intuitive. This is presented in the style of modern quantum foundation undergrad classes. Chapter four main idea is this: to many physicists Bell's result proved the impossibility of non-contextual hidden variables (or local realism) while Bell should be understood in conjunction with EPR: EPR+Bell = nonlocality. But what does nonlocality mean? Is it just higher than expected correlations? Here Bricmont makes a very bold and provocative claim: </div><div><br /></div><div>"<i>the conclusion of his </i>[Bell's]<i> argument, combined with the EPR argument is rather that there are nonlocal physical effects (and not just correlations between events) in Nature</i>."</div><div><br /></div><div>To support this chapter 4.2 discusses "Einstein's boxes" [I had a series of posts discussing <u>why in my opinion they do not</u> represent an argument for nonlocality. What EPR+Bell shows is that the composition of two physical systems into a larger physical system does not respect the rules of classical physics - parabolic composability but new rules - elliptic composability. Nature is not "nonlocal" but "non-parabolic composable"]. </div><div><br /></div><div>Onto the main topic, the presentation of Bohmian mechanics is standard and what it is surprising is the degree on which the underdetermination issue is addressed: there are an infinite number of alternative theories (like Nelson's stochastic theory) which are in the same realistic vein and which make the same predictions as Bohmian mechanics. Chapter three discussion is invoked here but I feel the argument is very weak (not even a handwaving).</div><div><br /></div><div>Then the book talks about alternative approaches to Bohmian mechanics courageously taking (some well deserved some not) shots at alternative interpretations (like GRW, MWI, CH, Qbism), and wraps up with historical topics and sociological arguments.</div><div><b><br /></b></div><div><b>Now onto what the book covers poorly: surreal trajectories, and quantum field theory in Bohmian mechanics. </b>Surreal trajectories are mentioned in passing in a quote while they are <i><u>the</u> </i>major objection to the interpretation. As I said before, the very name "<b>surreal trajectory</b>" was a masterful catchy clever title for a paper but it backfired in the long term because it was attaching a stigma to Bohmian mechanics which in turned allowed Bohmian supporters to summarily and unfairly dismiss the argument. I will revisit the argument in next post. <b>The key point of surreal trajectories paper is that the particle is detected where Bohmian mechanics predicts it must not go, and since the only thing "real" in Bohmian mechanics is the position of the particle, it represents a fatal blow to the Bohmian ontology.</b> Currently, to my knowledge, there is no consensus inside the Bohmian community on the proper answer the surreal trajectory paper: some deny it is a problem at all while others acknowledge the problem and propose (faulty) ideas on how to deal with it. This is similar with the situation inside the MWI camp where the big pink elephant in the room there is the notion of probabilities: some in MWI disagree it is an issue while others attempt to solve it (but fail). </div><div><br /></div><div>Quantum field theory in Bohmian mechanics is another sore point which is not properly discussed. <b>My take on the topic is that a Bohmian quantum field theory is impossible to be constructed, and I want to be proven wrong by a consistent proposal: show me the money, show me the archive paper where the problem is comprehensibly solved.</b></div><div><b><br /></b></div><div>Bad points aside, overall I liked the book, I find it stimulating, and I enjoyed very much reading it (except chapter 3 which invariably succeeded putting me to sleep). <b>The book is a must read for any person seriously interested in the foundations of quantum mechanics.</b></div>Florin Moldoveanuhttps://plus.google.com/117661996860849443251noreply@blogger.com6tag:blogger.com,1999:blog-3832136017893749497.post-29365863491256703542017-01-09T00:01:00.000-05:002017-01-09T00:04:32.573-05:00<h2 style="text-align: center;">(The nonsense of) Joy Christian Reloaded</h2><div><br /></div><div>I was preparing the first physics posts of the year when I got some comments and a question on Joy Christian on an old blog <a href="http://fmoldove.blogspot.com/2015/07/joy-christians-program-of-achieving.html" target="_blank">post</a>. In the words of late <a href="https://en.wikipedia.org/wiki/Yogi_Berra" target="_blank">Yogi Berra</a>, this is "deja vu all over again". Probably the best description of Joy Christian is given by the Monty Python: The Dead Parrot sketch:</div><div><br /></div><div class="separator" style="clear: both; text-align: center;"><iframe allowfullscreen="" class="YOUTUBE-iframe-video" data-thumbnail-src="https://i.ytimg.com/vi/4vuW6tQ0218/0.jpg" frameborder="0" height="266" src="https://www.youtube.com/embed/4vuW6tQ0218?feature=player_embedded" width="320"></iframe></div><div><br /></div><div>The question I got is the following:</div><div><br /></div><i>"I would like to understand whether the equations (67) - (75) in Joy Christian’s paper “Local Causality in a Friedmann-Robertson-Walker Spacetime” make any sense at all. I don't understand how the mathematical limes operation are carried out."</i><br /><div><i><br /></i></div><div>The paper which got past the referees by trickery is on the archive: <a href="https://arxiv.org/pdf/1405.2355v7.pdf" target="_blank">https://arxiv.org/pdf/1405.2355v7.pdf </a>and there you see the full derivation of the main faulty claim. Minus some obfuscation techniques, Eqs. 67-75 are nothing but the one-pager Joy preprint: <a href="https://arxiv.org/pdf/1103.1879v1.pdf" target="_blank">https://arxiv.org/pdf/1103.1879v1.pdf</a></div><div><br /></div><div><b>The main hand-waving trick in the "derivation" is a conversion inside of a sum of </b>\(\lambda^k\) <b>from a variable into an index</b> which amounts to adding apples to oranges and obtaining the incorrect result (see the bottom of page 8 on my preprint: <a href="https://arxiv.org/pdf/1109.0535v3.pdf" target="_blank">https://arxiv.org/pdf/1109.0535v3.pdf</a>). </div><div><br /></div><div>The mistake happens on the transition from Eq 73 to Eq 74 because the L's belong to two distinct kinds of algebras: let's call them apples and oranges. Ignoring the axb, the troubled sum term is something like this:</div><div><br /></div><div>\(L(\lambda^1) + L(\lambda^2)+L(\lambda^3)+L(\lambda^4)+L(\lambda^5)+...=\)</div><div>apple_1 + apple_2 + orange_3 +apple_4 + orange_5+...</div><div><br /></div><div>with \(\lambda^1 = +1, \lambda^2\ = +1, \lambda^3 = -1, \lambda^4 = +1, \lambda^5 = -1...\)</div><div><br /></div><div>and with the transformation rule: "apple = - oranges" when we convert to objects of the same kind (let's pick apples) we get:</div><div><br /></div><div>\(apple(\lambda^1) + apple(\lambda^2)-apple(\lambda^3)+apple(\lambda^4)-apple(\lambda^5)+...=\)</div><div>\(apple(+1) + apple(+1)-apple(-1)+apple(+1)-apple(-1)+...=\)</div><div>\(apple+ apple+apple+apple+apple+...=\)</div><div><br /></div><div><b>which no longer vanishes.</b></div><div><b><br /></b></div><div><b>The preparation for this trick is on Eq. 49 which encodes the two <u>distinct</u> algebras (of apples and oranges) into a common formula. </b>In my preprint you can double check this by trying out the matrix representations of the two algebras (eqs 53-56).</div><div><br /></div><div>Hopefully my explanation is clear enough. I know all Joy's mathematical tricks in all of his papers or in his blog debates, but I ran out of energy debunking his nonsense. <b>Kudos to Richard Gill for pursuing this further. </b>I was aware of the "<i>Causality in a Friedmann-Robertson-Walker Spacetime" </i>paper and it was on my to do list to write a rebuttal to it, but the journal withdrew it before I could get to it.</div>Florin Moldoveanuhttps://plus.google.com/117661996860849443251noreply@blogger.com2tag:blogger.com,1999:blog-3832136017893749497.post-43419454718540524142017-01-01T18:00:00.000-05:002017-01-01T18:00:13.774-05:00<h2 style="text-align: center;">Happy New Year!</h2><div><br /></div><div class="separator" style="clear: both; text-align: center;"><a href="https://4.bp.blogspot.com/-7q1TIY8lkfE/WGmJ1aI8FGI/AAAAAAAABHU/fWxPWIIUkrcRIVQCmXgc5NCp5lWIBnS-QCLcB/s1600/2017.jpe" imageanchor="1" style="margin-left: 1em; margin-right: 1em;"><img border="0" height="320" src="https://4.bp.blogspot.com/-7q1TIY8lkfE/WGmJ1aI8FGI/AAAAAAAABHU/fWxPWIIUkrcRIVQCmXgc5NCp5lWIBnS-QCLcB/s320/2017.jpe" width="320" /></a></div><div><br /></div>Florin Moldoveanuhttps://plus.google.com/117661996860849443251noreply@blogger.com0tag:blogger.com,1999:blog-3832136017893749497.post-54024425391928247202016-12-18T23:01:00.000-05:002016-12-18T23:01:46.463-05:00<h2 style="text-align: center;">Is the Decoherent Histories Approach Consistent?</h2><div><br /></div><div>One particular approach of interpreting quantum mechanics is Decoherent Histories. All major non-Copenhagen approaches have serious issues: </div><div>- MWI has the issue of the very meaning of probability and without a non-circular derivation (impossible in my opinion) of Born rule does not qualify for anything but a "work in progress" status.</div><div>-GRW-type theories make different predictions than quantum mechanics which soon will be confirmed or rejected by ongoing experiments. (My bet is on rejection since later GRW versions tuned their free parameters to avoid collision with known experimental facts instead of making a falsifiable prediction) </div><div>-Bohmian approach has issues with "surreal trajectories" which invalidates their only hard ontic claim: the position of the particle.</div><div><br /></div><div>Now onto Decoherent Histories. <b>I did not closely follow this approach and I cannot state for sure if there are genuine issues here</b>, but I can present the debate. On one hand, Robert Griffiths states: </div><div><br /></div><div>"<i>What is different is that by employing suitable families of histories one can show that measurement actually measure something that is there, rather than producing a mysterious collapse of the wave function</i>"</div><div><br /></div><div>On the other hand he states:</div><div><br /></div><div>"<i>Any description of the properties of an isolated physical system must consists of propositions belonging together to a common consistent logic</i>" - in other words he introduces contextuality.</div><div><b><br /></b></div><div><b>Critics of decoherent (or consistent) histories use examples which are locally consistent but globally inconsistent to criticize the interpretation.</b></div><div><b><br /></b></div><div>Here is an example by Goldstein (other examples are known). The example can be found in Bricmont's recent book: <a href="https://www.amazon.com/Making-Sense-Quantum-Mechanics-Bricmont/dp/3319258877" target="_blank">Making Sense of Quantum Mechanics</a> on page 231. Consider two particles and two basis for a two-dimensional spin base \((|e_1\rangle\, |e_2\rangle), (|f_1\rangle, |f_2\rangle))\) and consider the following state:</div><div><br /></div><div>\(|\Psi\rangle = a |e_1\rangle|f_2\rangle + a|e_2\rangle|f_1\rangle - b |e_1\rangle|f_1\rangle\)</div><div><br /></div><div>Then consider four measurements A, B, C, D corresponding to projectors on four vectors, respectively: \(|h\rangle, |g\rangle, |e_2\rangle, |f_2\rangle\) where:</div><div><br /></div><div>\(|g\rangle = c|e_1\rangle + d|e_2\rangle\)</div><div><div>\(|h\rangle = c|f_1\rangle + d|f_2\rangle\)</div></div><div><br /></div><div>Then we have the following properties:</div><div><br /></div><div>(1) A and C can be measured simultaneously, and if A=1 then C=1 </div><div><div>(2) B and D can be measured simultaneously, and if B=1 then D=1</div><div>(3) C and D can be measured simultaneously, but we never get both C and D = 1</div><div>(4) A and B can be measured simultaneously, and sometimes we get both A and B = 1</div><div><br /></div><div><b>However all 4 statements cannot be true at the same time: </b>when A=B=1 as in (4) then by (1) and (2) C=D=1 and this contradicts (3).</div><div><br /></div><div>So what is going on here? The mathematical formalism of decoherent histories is correct as they predict nothing different than standard quantum mechanics. <b>The interpretation assigns probabilities to events weather we observe them or not, but does it only after taking into account contextuality. </b>Is this a mortal sin of the approach? Nature is contextual and I don't get the point of the criticism. The interpretation would be incorrect if it does not take into account contextuality. Again, <b>I am not an expert of this approach and I cannot offer a definite conclusion, but to state my bias I like the approach and my gut feeling is that the criticism is without merit.</b></div><div> </div></div><div><span style="font-size: x-small;">PS: I'll be going on vacation soon and my next post will be delayed: I will skip a week.</span></div><div><br /></div>Florin Moldoveanuhttps://plus.google.com/117661996860849443251noreply@blogger.com4tag:blogger.com,1999:blog-3832136017893749497.post-22287855486165695582016-12-11T16:09:00.000-05:002016-12-11T21:39:53.006-05:00<h2 style="text-align: center;">Measurement = collapse + irreversibility</h2><div><br /></div><div>I got a lot of feedback from last 2 posts and I need to continue the discussion. Even Lubos with his closed mind unable to comprehend anything different than the textbooks from 50 years ago and his combative style said something worth discussing.</div><div><br /></div><div>But first let me thank Cristi for the picture below which will help clarify what I am trying to state. Let me quickly explain it: the interferometer arms are like the two sides of Einstein's box and once the particle was launched -for the duration of the flight- you can close the input and output of the interferometer, open the exit just in time and still have the interference. So this seems to contradict my prediction. But does it?</div><div><br /></div><div><br /></div><div class="separator" style="clear: both; text-align: center;"><a href="https://4.bp.blogspot.com/-M96UtS6YIy0/WE2MmpG9kdI/AAAAAAAABGw/EJvYfa1vI2Q_4McRSCryJgU3uHiHSiaKQCLcB/s1600/K4zVMhj.png" imageanchor="1" style="margin-left: 1em; margin-right: 1em;"><img border="0" height="174" src="https://4.bp.blogspot.com/-M96UtS6YIy0/WE2MmpG9kdI/AAAAAAAABGw/EJvYfa1vI2Q_4McRSCryJgU3uHiHSiaKQCLcB/s400/K4zVMhj.png" width="400" /></a></div><div><br /></div><div><br /></div><div>This time I do need to dig a bit deeper into the mathematical formalism. First, the role of the observer is paramount: <b>no observer</b>=<b>no measurement. </b>Second, the observer is described by quantum mechanics as well: there is the wavefunction of the quantum system, and there is the wavefunction of the observer. Now here is the new part: while we can combine the quantum system and the observer by tensor product and do the usual discussion of how unitary evolution does not predict an unique outcome, <b>we need to combine the quantum system and the observer using the Cartesian product</b>. This is something new, not present in standard quantum mechanics textbooks. However this follows naturally from the category theory derivation of quantum mechanics from first principles. There are equivalent Cartesian products corresponding to potential measurement outcomes:</div><div><br /></div><div>\((|collapsed ~1 \rangle, | observer~ see~1\rangle ) \equiv ( |collapsed~2\rangle, | observer~see~2\rangle)\) </div><div><br /></div><div>This equivalence exists in a precise mathematical sense and respects the three properties of the equivalence relationship: reflexivity, symmetry, and transitivity. <u style="font-weight: bold;">Break the Cartesian pair equivalence by any mechanism possible and you get the collapse of the wavefunction.</u> </div><div><br /></div><div><b>Closing the interferometer, or cutting Einstein's box in half kills the equivalence and the wavefunction collapses. </b>However while the particle is still in flight the process is reversible!!! Open the interferometer's exits in time and you restore the equivalence, undo the collapse still get the interference (Han Solo kills the stormtrooper 100% of the time). </div><div><br /></div><div>However there is a way to make the collapse permanent: just wait enough time with the ends closed such that the energy-time uncertainty relation allows you to reduce the energy uncertainty to the point that you can detect the particle inside by weighing the half-boxes or the arms of the interferometer. Suppose the ends of the interferometer is made out of perfect mirrors.<b> <u>If you wait long enough (even though you are not physically weighing anything) and then reopen the exits will result in loss of interference: this is my prediction.</u></b></div><div><b><br /></b></div><div>But what happens if you only wait a little bit of time and you are in between full interference and no interference? You get a <a href="https://en.wikipedia.org/wiki/Weak_measurement" target="_blank">weak measurement</a>.</div><div><br /></div><div>Now let me discuss Lubos objection and then come back to the nonlocality point Bricmont was making.<br /><br />First Lubos was stating: "If you place some objects (a wall) at places where a particle is certain not to be located, the effect on the particle's future behavior is obviously non-existent". The objection is vacuous. Obviously I don't disagree with the statement, but his entire line of argument is incorrect because <b>collapse is not a dynamic process. If collapse would have had a dynamic origin then we would have had a unitary explanation for it we would have had to talk about the "propagation" of collapse. </b>What the Cartesian pair mathematical framework does is first getting the rid of the consciousness factor, and second clarifying the precise mathematical framework of how the observer should be treated within the formalism. <b>Contextuality is paramount in quantum mechanics</b><b> and cutting the box changes the context of the experiment.</b><br /><b><br /></b>Now onto Bricmont argument. Andrei stated in his comments: " I still do not see the relevance of all this in regards to the locality dilemma.". It has deep relevance as I will explain. And by the way, the rest of Andrei's comments were simply not worth answering-nothing personal: I don't have the luxury of enough free time to answer each and every comment.<br /><br />Bricmont's point on Einstein's boxes was this: "either there is action at a distance in nature (opening B1 changes the situation at B2), or the particle was in B2 all along and quantum mechanics is incomplete "<br /><br />Let's discuss the two options:<br /><ol><li>opening B1 changes the situation at B2</li><li>or the particle was in B2 all along and quantum mechanics is incomplete</li></ol><div>Option one is clearly not the case. <b>Wait long enough and the interference will no longer happen. At that point the particle IS in either B1 or B2 and shipping one box far away changes nothing.</b> But how about option 2? Is quantum mechanics incomplete? Bohmian supporters think so because they augment the wavefunction with a hidden variable: the particle's initial position. <b>Do we actually need this initial condition to make predictions? Not at all. </b>Last thing to consider: was the particle in say B2 all along? If yes, there is no interference because the which way information. What about weak measurements? This is a case of even more examples of "surrealistic trajectories": combine two interferometers and you can obtain disjoint paths!!! <b>The only thing which makes sense is that the particle does not have a well defined trajectory.</b></div><div><b><br /></b></div><div>My question to Bohmian interpretation supporters is as follows: In the above picture close the arms long enough. What happens to the quantum potential? Does it dissipate? If yes how? If no, do you <i>always</i> get interference after opening the stormtrooper end regardless of the wait time? </div><div><br /></div><div>Finally back to measurement. There is no (strong) measurement without collapse. Collapse happens when a particular equivalence relationship no longer holds. Mathematically it can be proven that the wavefunction is projected on a subspace of the original Hilbert space. Moreover uniqueness can be proven as well: that this is the only mathematically valid mechanism in which projection can occur. Interaction between the quantum system and the measurement device can break the equivalence, but changing the experimental context can achieve the same thing as well. <b>A measurement does not happen however until irreversibility occurs: there could be amplification effects, or as above enough time passes such that the energy uncertainty is low enough and the "which way" information becomes available regardless if we seek this information or not.</b></div></div>Florin Moldoveanuhttps://plus.google.com/117661996860849443251noreply@blogger.com5tag:blogger.com,1999:blog-3832136017893749497.post-13472678680195663572016-12-04T21:55:00.000-05:002016-12-04T21:55:14.037-05:00<h2 style="text-align: center;">A measurement can be more than an observer learning the value of a physical observable</h2><div><br /></div><div>Last post created quite a stir and I want to expand on the ideas from it. This will also help me get out of an somewhat embarrassing situation. For months now Lubos Motl tried to get revenge on his bruised ego after a well deserved April Fool's joke and became a pest at this blog. The problem is that although I have yet to see a physics post at his blog that is 100% correct, we share roughly the same intuition about quantum mechanics: I agree more much more with his position than say with the Bohmian, GRW, or MWI approaches. The differences are on the finer points and I found his in depth knowledge rusty and outdated. For his purpose: to discredit the opposite points of view at all costs this is enough, but it does not work if you are a genuine seeker of truth.</div><div><br /></div><div>So last time he commented here: <i>"A measurement is a process when an observer actually learns the value of a physical observable" </i>which from 10,000 feet is enough. However this is not precise enough, and now I do have a fundamental disagreement with Lubos which hopefully will put enough distance between him and me. </div><div><br /></div><div>More important than my little feud with Lubos, <b>I can now propose an experiment which will either validate or reject my proposed solution to the measurement problem</b>. I do have a novel proposal on how to solve the measurement problem and this is distinct from all other approaches. I was searching for months for a case of a novel experimental prediction, but when I applied it to many problems I was getting the same predictions as standard quantum mechanics. Here is however a case where my predictions are distinct. I will not work out the math and instead let me simply present the experiment and make my experimental claim.</div><div><br /></div><div class="separator" style="clear: both; text-align: center;"><a href="https://1.bp.blogspot.com/-1tanPi_p8Nk/WETROtWLohI/AAAAAAAABGQ/GDmxwT-4yygYFftvjijk0DN9iQkCOVpQQCLcB/s1600/experiment.png" imageanchor="1" style="margin-left: 1em; margin-right: 1em;"><img border="0" height="192" src="https://1.bp.blogspot.com/-1tanPi_p8Nk/WETROtWLohI/AAAAAAAABGQ/GDmxwT-4yygYFftvjijk0DN9iQkCOVpQQCLcB/s320/experiment.png" width="320" /></a></div><div class="separator" style="clear: both; text-align: center;"><br /></div><div class="separator" style="clear: both; text-align: left;">Have a box with a single particle inside. The box has a middle separator and also two slits A and B which can be placed next to a two-slit screen. We can then carry two kinds of experiments:</div><div class="separator" style="clear: both; text-align: left;"><br /></div><div class="separator" style="clear: both; text-align: left;"></div><ol><li>open the two slits A and B without dropping the separator allowing the particle to escape the box and hit a detector screen after the two-slit screen.</li><li>drop the separator and then open the two slits A and B allowing the particle to escape the box and hit a detector screen after the two-slit screen.</li></ol><div>Next we repeat the experiments 1 or 2 enough times to see the pattern emerge on the final screen. <b>Which pattern would we observe?</b></div><div><b><br /></b></div><div>For experiment 1 we already know the answer: if we repeat it many times we obtain the interference pattern, but what will we get in the case of experiment number 2?</div><div><br /></div><div><b>If dropping the separator constitutes a measurement, the wavefunction would collapse and we get two spots on the detector screen corresponding to two single slit experiments. If however </b><b>dropping the separator does not constitute a measurement, then we would get the same interference pattern as in experiment 1.</b></div><div><b><br /></b></div><div>My prediction (distinct from textbook quantum mechanics) is that there will be no interference pattern.</div><br /><div><br /></div>Florin Moldoveanuhttps://plus.google.com/117661996860849443251noreply@blogger.com21tag:blogger.com,1999:blog-3832136017893749497.post-55141866205976462882016-11-28T00:07:00.000-05:002016-11-28T00:07:52.801-05:00<h2 style="text-align: center;">Are Einstein's Boxes an argument for nonlocality?</h2><h3 style="text-align: center;">(an experimental proposal)</h3><div><br /></div><div>Today I want to discuss a topic from an excellent book by Jean Bricmont: <a href="http://www.springer.com/us/book/9783319258874" target="_blank">Making Sense of Quantum Mechanics</a> which presents the best arguments for the Bohmian interpretation. Although I do not agree with this approach I appreciate the clarity of the arguments and I want to present my counter argument.</div><div><br /></div><div>On page 112 there is the following statement: "... <i>the conclusion of his [Bell] argument, combined with the EPR argument is rather that there are nonlocal physical effects (and not just correlations between distant events) in Nature</i>". </div><div><br /></div><div>To simplify the argument to its bare essentials, a thought experiment is presented in section 4.2: Einstein's boxes. Here is how the argument goes: start with a box B and a particle in the box, then cut the box into two half-boxes B1 and B2. If the original state is \(|B\rangle\), after cutting the state it becomes:</div><div><br /></div><div>\(\frac{1}{\sqrt{2}}(|B_1\rangle+|B_2\rangle)\) </div><div><br /></div><div>Then the two halves are spatially separated and one box is opened. Of course the expected thing happens: the particle is always found in one of the half-boxes. Now suppose we find the particle in B2. Here is the dilemma: either there is action at a distance in nature (opening B1 changes the situation at B2), or the particle was in B2 all along and quantum mechanics is incomplete because \(\frac{1}{\sqrt{2}}(|B_1\rangle+|B_2\rangle)\) does not describe what is going on. <b>My take on this is that the dilemma is incorrect. Splitting the box amounts to a measurement regardless if you look inside the boxes or not and the particle will be in either B1 or B2. </b></div><div><b><br /></b></div><div>Here is an experimental proposal to prove that after cutting the box the state is not \(\frac{1}{\sqrt{2}}(|B_1\rangle+|B_2\rangle)\):</div><div><br /></div><div>split the box and connect the two halves to two arms of a Mach-Zehnder interferometer (bypassing the first beam splitter). <b>Do you get interference or not? I say you will not get any interference because by weighing the boxes before releasing the particle inside the interferometer gives you the which way information.</b></div><div><b><br /></b></div><div>If we do not physically split the box, then indeed \(|B\rangle = \frac{1}{\sqrt{2}}(|B_1\rangle+|B_2\rangle)\), but if we do physically split it \(|B\rangle \neq \frac{1}{\sqrt{2}}(|B_1\rangle+|B_2\rangle)\). There is a hidden assumption in Einstein's boxes argument: realism which demands non-contextuality. <b>Nature and quantum mechanics is contextual: w</b><b>hen we do introduce the divider the experimental context changes.</b> </div><div><br /></div><div>Bohmian's supporters will argue that always \(|B\rangle = \frac{1}{\sqrt{2}}(|B_1\rangle+|B_2\rangle)\). There is a simple way to convince me I am wrong: do the experiment above and show you can tune the M-Z interferometer in such a way that there is destructive interference preventing the particle to exit at one detector.</div>Florin Moldoveanuhttps://plus.google.com/117661996860849443251noreply@blogger.com13tag:blogger.com,1999:blog-3832136017893749497.post-57035089679493907032016-11-20T20:45:00.000-05:002016-11-21T11:34:40.453-05:00<h2 style="text-align: center;">Gleason's Theorem</h2><div><br /></div><div>It feels good to be back to physics, and as a side note going forward I will do the weekly posts on Sunday. Today I want to talk about <a href="https://en.wikipedia.org/wiki/Gleason's_theorem" target="_blank">Gleason's theorem</a>. But what is Gleason's theorem?</div><div><br /></div><div>If you want to assign a non-negative real valued function \(p(v)\) to every vector v of a Hilbert space H of dimension greater than two, then subject to some natural conditions the only possible choice is \(p(v) = {|\langle v|w \rangle |}^{2}\) for all vectors v and an arbitrary but fixed vector w.</div><div><br /></div><div>Therefore there is no alternative in quantum mechanics to compute the average value of an observable A the standard way by using:</div><div><br /></div><div>\(\langle A \rangle = Tr (\rho A)\)</div><div><br /></div><div>where \(\rho\) is the density matrix which depends only on the preparation process. </div><div><br /></div><div>Gleason's theorem is rather abstract and we need to unpack its physical intuition and the mathematical gist of the argument. Physically, Gleason's theorem comes from three axioms:</div><div><br /></div><div><ul><li>Projectors are interpreted as quantum propositions</li><li>Compatible experiments correspond to commuting projectors</li><li>KEY REQUIREMENT: For any two orthogonal projectors P, Q, the sum of their expectation values is the expectation value of P+Q: \(\langle P \rangle + \langle Q\rangle = \langle P+Q\rangle\)</li></ul></div><div>In an <a href="http://fmoldove.blogspot.com/2016/10/von-neumann-gleason-vs.html" target="_blank">earlier post</a> I showed how violating the last axiom (<b>which is the nontrivial one</b>), in the case of spin one particles, can be used to send signals faster than the speed of light and violate causality. But how does Gleason arrives at his result?<br /><br />Let's return at the original problem: to obtain a real non-negative function p. Now <b>add the key requirement</b> and demand that for any complete orthonormal basis \(e_m\) we have: <br /><br />\(\sum_m p(e_m) = 1\)<br /><br />For example in two dimensions on a unit circle we must have:<br /><br />\(p (\theta) + p(\theta + \pi/2) = 1\)<br /><br />which constrain the Fourier expansion of \(p (\theta)\) such that only components 2, 6, 10, etc can be non zero. <b>In three dimensions the constraints are much more severe</b> and this involves rotations under SO(3) and spherical harmonics. I'll skip the tedious math, but it is not terribly difficult to show that the only allowed spherical harmonics must be of order 0 and 2 which yields: \(p(v) = {|\langle v|w \rangle |}^{2}\).<br /><br />The real math heavy lifting is on dimensions larger than three and to prove it Gleason first generalizes \(\sum_m p(e_m) = 1\) to \(\sum_m f(e_m) = k\) where k is any positive value. He names this "f" a "frame function". Then he proceeds to show that dimensions larger than three do not add anything new.<br /><br />If you are satisfied with the Hilbert spaces of dimension 3, the proof of the theorem is not above undergrad level, and I hope it is clear what the argument is. But what about Many Worlds Interpretation? Can we use Gleason's theorem there to prove Born rule? Nope. <b>The very notion of probabilities is undefined in MWI, and I am yet to see a non-circular derivation of Born rule in MWI. </b>I contend it can't be done because it is a mathematical impossibility and I blogged about it in the past.<b> </b></div>Florin Moldoveanuhttps://plus.google.com/117661996860849443251noreply@blogger.com0tag:blogger.com,1999:blog-3832136017893749497.post-28967942674350013882016-11-13T23:13:00.000-05:002016-11-13T23:17:23.112-05:00<h2 style="text-align: center;">The Open Society and Its Enemies</h2><div><br /></div><div>Today I had planned to return to physics and talk about Gleason's theorem, but as US politics still brutally interjects into our life I want to explain my take of the events and to cleanse and de-Trumpify my life before resuming the physics topics. Gleason's theorem s not going anywhere and I will postpone the topic for a week.</div><div><br /></div><div>Let me start with a "disclaimer": I am manipulated/incited by media, I am a professional protester paid by Soros, I am a hard core liberal/socialist in love with Hilary, I hate the silent majority of blue color hard working people who makes my life comfortable, and I think they are all bigots and racists. (for the record this was tongue-in-cheek).<br /><br />Until my second year in college I lived under a totalitarian system and I experienced a lengthy decade of a transition to democracy after 1989 in Romania. What I observe today in the US is the process in reverse. So how did we get here?<br /><br />To shorten the history, let me start with the end of second Bush presidency and the inauguration of Obama. At that time all inter-bank landing came to a screeching halt and it was as if someone had hit the turn-off switch on the economy. To jolt the system back to life, Obama resorted to the <a href="https://en.wikipedia.org/wiki/Keynesian_economics" target="_blank">ides of Keynes</a> and introduced the stimulus package. But <b>Obama had one fault: he was black</b> and this startled the rednecks who organized into what later became the <a href="https://en.wikipedia.org/wiki/Tea_Party_movement" target="_blank">Tea Party</a>. <b>This was America's reactionary ideology which cannot expressed their opposition to Obama's skin color due to political correctness, and instead went after him on fiscal ideas.</b> The mainstream republicans had a love/hate relationship with the Tea Party because on one hand they fear it as something which cannot be controlled, but on the other hand they draw their support from the same electoral pool.<br /><br /><b>The mainstream republicans are masters of duplicity</b>: they draw their support from the poor rural, uneducated part of America by praising their self-reliance and tickling their self-esteem, while they push policies which actually hurt their mass constituency while enriching the big business donors. To pull this trick they rely on <b>a disgusting propaganda machine: Fox News</b>. What Trump did was to break the republican lies and come out in the open with a full display of racism and intolerance. <b>Trump was running not only against Hillary but against mainstream republicans as well.</b><br /><b><br /></b>Now fast forward to today. I don't think Trump is stupid: he is a master manipulator, an immoral con man who plays on others core beliefs. <b>Trump lacks any core beliefs/moral compass and this makes him extremely dangerous: <u>a narcissistic psychopath bully now with nukes</u></b>. You only fool yourself into giving him a chance/benefit of the doubt. <b><u>The only thing Trump respects is raw power and a forceful push back.</u></b><br /><b><u><br /></u></b>But what about the republican electorate? <u style="font-weight: bold;">Almost half of them are brainwashed imbeciles:</u> in June of 2016 41% of registered republicans thought Obama was not born in US. Moreover 31% did not know what to think and only 27% of them were on the sane side!!!<br /><br />So how can we deal with Trump and his constituency? <b>Let's go back to basics, the US constitution. </b>Trump stated that the second amendment is under siege, but he is now attacking the first amendment:<br /><br /><i>"Prohibits Congress from making any law respecting an establishment of religion, impeding the free exercise of religion, <b>abridging the freedom of speech, infringing on the freedom of the press, interfering with the right to peaceably assemble</b> or prohibiting the petitioning for a governmental redress of grievances."</i></div><div><i><br /></i></div><div>The main characteristic of a totalitarian state was brilliantly captured by Popper in his book: </div><div style="text-align: left;"><a href="https://en.wikipedia.org/wiki/The_Open_Society_and_Its_Enemies" target="_blank">"The Open Society and Its Enemies"</a><br /><br />The other day Trump tweeted: "<i>Now professional protesters, incited by the media, are protesting. Very unfair!</i>"<br /><br />He tried to intimidate the media and interfered with the rights of the people to protest. Trumps wants to build physical and economic walls, deport millions of people, and wants to turn America into a closed totalitarian society. I find this unacceptable:<br /><br /><div style="text-align: center;"><b><u>Trump is not my president.</u></b></div><b><u><br /></u></b><b>Trump is not alone.</b> He has a cohort of bad supporters. First <b>the shame list of totalitarians willing to trample your rights:</b><br /><br />- Trump: see above<br />- Rudy Giuliani: advocates locking up political opponents<br />- <a href="https://en.wikipedia.org/wiki/Fort_Lee_lane_closure_scandal" target="_blank">Chris Christie</a>: did political revenge<br />- Stephan Bannon: antisemitic racist; the Goebbles of Trump<br /><br />Next this is followed by opportunistic, lying, immoral, disgusting individuals:<br />-Mike Pence: does not blink while lying to your face<br />-Reince Priebus: no slimy job is too slimy for him<br />-Bill O'Reilly<br /><br />Then plain toxic people:<br />-Sarah Palin<br />-Ted Cruz<br /><br />Then are the deplorables, and here I name a troll of this site: Lubos Motl. In Romania there is one guy Radu Moraru with his TV station Nasul TV who got involved into US politics and the Romanian vote here (in a covert effort to unseat the head of the Romanian anti-corruption agency). On that TV station I respect only one guy: Grigore Cartianu. Then there are the brainwashed.<br /><br /><div style="text-align: center;"><i>I have no respect for the people above and I draw the line here. </i></div><b><br /></b><b>The rest of people who voted for Trump are not racists or brainwashed and I have a meaningful polite conversation with them. I have several friends who voted for Trump and I have no ill feeling towards them and while we disagree we do it in the boundary of decency.</b><br /><b><u><br /></u></b>I only insist on one point: <u style="font-weight: bold;">if you voted for Trump you are personally responsible for the consequences of Trump's presidency.</u></div>Florin Moldoveanuhttps://plus.google.com/117661996860849443251noreply@blogger.com15tag:blogger.com,1999:blog-3832136017893749497.post-71480413776802582582016-11-11T00:25:00.001-05:002016-11-11T00:36:11.375-05:00<h2 style="clear: both; text-align: center;">The beginning of the end of US democracy</h2><div class="separator" style="clear: both; text-align: center;"><br /></div><div class="separator" style="clear: both; text-align: left;">It's already happening...</div><div class="separator" style="clear: both; text-align: left;"><br /></div><div class="separator" style="clear: both; text-align: center;"><a href="https://4.bp.blogspot.com/-kcy5nwC_QIw/WCVYrLhMHBI/AAAAAAAABFk/gnxj0mhS15Y9SI0SKY5LctaOEEcuiAfowCLcB/s1600/T1.png" imageanchor="1" style="margin-left: 1em; margin-right: 1em;"><img border="0" height="275" src="https://4.bp.blogspot.com/-kcy5nwC_QIw/WCVYrLhMHBI/AAAAAAAABFk/gnxj0mhS15Y9SI0SKY5LctaOEEcuiAfowCLcB/s400/T1.png" width="400" /></a></div><div class="separator" style="clear: both; text-align: center;"><br /></div><div class="separator" style="clear: both; text-align: center;"></div><div class="separator" style="clear: both; text-align: center;"><br /></div><div class="separator" style="clear: both; text-align: left;">Trump just visited Obama in the White House today and as a result he felt embolden to complain about protests against him. </div><div class="separator" style="clear: both; text-align: left;"><br /></div><div class="separator" style="clear: both; text-align: left;"></div><div style="-webkit-text-stroke-width: 0px; color: black; font-family: "Times New Roman"; font-size: medium; font-style: normal; font-variant-caps: normal; font-variant-ligatures: normal; font-weight: normal; letter-spacing: normal; orphans: 2; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: 2; word-spacing: 0px;"></div><br /><div class="separator" style="-webkit-text-stroke-width: 0px; clear: both; color: black; font-family: "Times New Roman"; font-size: medium; font-style: normal; font-variant-caps: normal; font-variant-ligatures: normal; font-weight: normal; letter-spacing: normal; margin: 0px; orphans: 2; text-align: left; text-indent: 0px; text-transform: none; white-space: normal; widows: 2; word-spacing: 0px;"><u style="font-weight: bold;">If you voted for Trump you are personally responsible for the consequences of Trump's presidency.</u> </div><div class="separator" style="clear: both; text-align: left;"><br /></div><div class="separator" style="clear: both; text-align: left;"><br /></div><br />Florin Moldoveanuhttps://plus.google.com/117661996860849443251noreply@blogger.com1tag:blogger.com,1999:blog-3832136017893749497.post-60637732297020368822016-11-09T21:20:00.000-05:002016-11-09T21:20:24.613-05:00<h2 style="text-align: center;">Donald Trump proves Time Travel does not exist</h2><div><br /></div><div class="separator" style="clear: both; text-align: center;"><a href="https://1.bp.blogspot.com/-Ypf_RN7h0eg/WCPTRfWZHeI/AAAAAAAABE8/4TJMZv3PqCIzQvr2Oc4yH2rvd4JwoPJoQCLcB/s1600/trump.png" imageanchor="1" style="margin-left: 1em; margin-right: 1em;"><img border="0" height="306" src="https://1.bp.blogspot.com/-Ypf_RN7h0eg/WCPTRfWZHeI/AAAAAAAABE8/4TJMZv3PqCIzQvr2Oc4yH2rvd4JwoPJoQCLcB/s400/trump.png" width="400" /></a></div><div class="separator" style="clear: both; text-align: center;"><br /></div><div class="separator" style="clear: both; text-align: left;">I have been proven wrong, Donald Trump won the election and apparently it is not wise to underestimate people's stupidity. So how did we got here?</div><div class="separator" style="clear: both; text-align: left;"><br /></div><div class="separator" style="clear: both; text-align: left;">One one hand, the establishment IS corrupt and there was a deep need for fresh air. Another Bush or another Clinton was a insupportable option. But on the other hand, racism still runs deep and while it was driven underground by politically correctness, it came back with a vengeance. While Trump's disgusting brand of politics is nothing new in Europe, US did not have the antibodies to combat it and people will lean the hard way how to do it. </div><div class="separator" style="clear: both; text-align: left;"><br /></div><div class="separator" style="clear: both; text-align: left;"><u style="font-weight: bold;">If you voted for him you are personally responsible for the consequences of Trump's presidency.</u> </div><div><br /></div>Florin Moldoveanuhttps://plus.google.com/117661996860849443251noreply@blogger.com4tag:blogger.com,1999:blog-3832136017893749497.post-22590523356477885102016-11-08T21:23:00.004-05:002016-11-08T21:23:48.863-05:00<h2 style="text-align: center;">Waiting for US election results</h2><br />I will comment tomorrow on the election outcome...Florin Moldoveanuhttps://plus.google.com/117661996860849443251noreply@blogger.com7tag:blogger.com,1999:blog-3832136017893749497.post-56764169867312442692016-10-30T20:38:00.000-04:002016-10-30T20:38:34.994-04:00<h2 style="text-align: center;">Einstein's reality criterion</h2><div style="text-align: center;"><br /></div>Sorry for the delay, this week I want to have a short post continuing to showcase the results of <a href="http://tx.technion.ac.il/~peres/" target="_blank">late Asher Peres </a>which unfortunately are not well known and this is a shame.<br /><br /><div class="separator" style="clear: both; text-align: center;"><a href="https://2.bp.blogspot.com/-_SmStFLO8A8/WBaRUxtQrRI/AAAAAAAABEk/YZDa_bP8oQoOv7LG05IoeH2fh44dkzzyACLcB/s1600/quote-quantum.jpg" imageanchor="1" style="margin-left: 1em; margin-right: 1em;"><img border="0" height="187" src="https://2.bp.blogspot.com/-_SmStFLO8A8/WBaRUxtQrRI/AAAAAAAABEk/YZDa_bP8oQoOv7LG05IoeH2fh44dkzzyACLcB/s400/quote-quantum.jpg" width="400" /></a></div><br /><br />In the famous EPR paper, Einstein introduced a reality criterion:<br /><br /><i>"If, without in any way disturbing a system, we can predict with certainty ... the value of a physical quantity, then there exists an element of physical reality corresponding to this physical quantity"</i><br /><i><br /></i>Now it is generally accepted that the difference between classical and quantum mechanics is noncomutativity. While there are some subtle points to be made about this assertion (by the mathematical community), from the physics point of view the distinction is rock solid and we can build in confidence upon it.<br /><br />Now consider again the EPR-B experiment with its singlet state. Suppose the x and y components of the spin exists independent of measurement and let's call the measurement values: \(m_{1x}, m_{1y}, m_{2x}, m_{2y} \). From experimental results we know:<br /><br />\(m_{1x} = - m_{2x}\)<br />and<br />\(m_{1y} = - m_{2y}\)<br /><br />And now for the singlet state \(\psi\) let's compute:<br /><br />\((\sigma_{1x} \sigma_{2y} + \sigma_{1y} \sigma_{2x})\psi\)<br /><br />which turns out to be zero. The beauty of this is that \(\sigma_{1x} \sigma_{2y} \) commutes with \(\sigma_{1y} \sigma_{2x}\) and by Einstein's reality criterion extended to commuting operators it implies that \(m_{1x} m_{2y} = - m_{1y} m_{2x}\) <b>which contradicts</b> \(m_{1x} = - m_{2x}\) and \(m_{1y} = - m_{2y}\)<br /><br />This contradiction is in the same vein as the <a href="https://en.wikipedia.org/wiki/Greenberger%E2%80%93Horne%E2%80%93Zeilinger_state" target="_blank">GHZ</a> result, but it is not well known. The catch of this result is that measuring S1xS2y cannot be done at the same time with a measurement of S1yS2x and so <b>we are reasoning counterfactually</b>. <b>However, counterfactual reasoning is allowed in a noncontextual setting (in classical mechanics and in quantum mechanics for commuting operators) and the result is valid. </b><br /><br /><br />Florin Moldoveanuhttps://plus.google.com/117661996860849443251noreply@blogger.com12tag:blogger.com,1999:blog-3832136017893749497.post-88252614962088896022016-10-21T22:59:00.000-04:002016-10-21T22:59:44.072-04:00<h2 style="text-align: center;">von Neumann and Gleason vs. Bell</h2><div><br /></div><div>Returning to physics topics today I want to talk about an important contention point between von Neuman and Gleason on one had, and Bell on the other. I had a series of posts about Bell in which I discussed his major achievement. However I do not subscribe to his ontic point of view and today I will attempt to explain why and perhaps persuade the reader with what what I consider to be a solid argument. </div><div><br /></div><div>Before Bell wrote his famous paper he had another one in which he criticized von Neumann, Jauch and Piron, and Gleason. The key of the criticism was that <b>additivity of orthogonal projection operators not necessarily implies the additivity of expectation values:</b></div><div><b><br /></b></div><div>\(\langle P_u + P_v \rangle = \langle P_{u}\rangle + \langle P_{v}\rangle \)</div><div><br /></div><div>The actual technical requirements in von Neumann and Gleason case were slightly different, but they can be reduced to the statement above and more importantly this requirement is the nontrivial one in a particular proof of <a href="https://en.wikipedia.org/wiki/Gleason%27s_theorem" target="_blank">Gleason's theorem</a>. </div><div><br /></div><table align="center" cellpadding="0" cellspacing="0" class="tr-caption-container" style="margin-left: auto; margin-right: auto; text-align: center;"><tbody><tr><td style="text-align: center;"><a href="https://3.bp.blogspot.com/-vLfezfIE10o/WArVQ_ylE2I/AAAAAAAABEE/ARRtJN-iPLAnTuKGsgfirxuQ-UgrixGigCLcB/s1600/GleasonAndrewMattei_Berlin1959.jpg" imageanchor="1" style="margin-left: auto; margin-right: auto;"><img border="0" height="246" src="https://3.bp.blogspot.com/-vLfezfIE10o/WArVQ_ylE2I/AAAAAAAABEE/ARRtJN-iPLAnTuKGsgfirxuQ-UgrixGigCLcB/s320/GleasonAndrewMattei_Berlin1959.jpg" width="320" /></a></td></tr><tr><td class="tr-caption" style="text-align: center;">Andrew Gleason</td></tr></tbody></table><div><br /></div><div>To Bell, additivity of expectation values is a non-natural requirement because he was able to construct hidden variable models violating this requirement. And this was the basis for his criticism of von Neumann and his theorem of the impossibility of hidden variables. <b>But is this additivity requirement unnatural? What can happen when it is violated? <u>I will show that violation on additivity of expectation values can allow instantaneous communication at a distance.</u></b></div><div><b><u><br /></u></b></div><div>The experimental setting is simple and involves spin 1 particles. The example which I will present is given in late Asher Peres book: Quantum Theory: Concepts and Methods at page 191. (This book is one of my main sources of inspiration for how we should understand and interpret quantum mechanics. )</div><div><br /></div><div>The <b>mathematical</b> identity we need is:</div><div><br /></div><div>\(J_{z}^{2} = {(J_{x}^{2} - J_{y}^{2})}^2\)</div><div><br /></div><div>and the experiment is as follows: a beam of spin 1 particles is sent through a beam splitter which sends to the left particles of eigenvalue zero for \(J_{z}^{2}\) and to the right particles of eigenvalue one for \(J_{z}^{2}\).</div><div><br /></div><div>Now a lab on the right decides to measure either if \(J_z = 1\) or if \(J_{x}^{2} - J_{y}^{2} = 1\)</div><div><br /></div><div>For the laboratory on the right let's call the projectors in the first case \(P_u\) and \(P_v\) and in the second case \(P_x\) and \(P_y\)</div><div><br /></div><div>For the lab on the left let's call the projectors in the first case \(P_{w1}\) and in the second case\(P_{w2}\). </div><div><br /></div><div>Because of the mathematical identity: \(P_u + P_v = P_x +P_y\) the issues becomes: <b>should the expectation value requirement hold as well?</b></div><div><br /></div><div>\(\langle P_{u}\rangle + \langle P_{v}\rangle = \langle P_{x}\rangle + \langle P_{y}\rangle \)</div><div><br /></div><div>For the punch line we have the following identities:</div><div><br /></div><div>\(\langle P_{w1}\rangle = 1 - \langle P_{u}\rangle - \langle P_{v}\rangle\) </div><div>and</div><div><div>\(\langle P_{w2}\rangle = 1 - \langle P_{x}\rangle - \langle P_{y}\rangle\) </div></div><div><br /></div><div>and as such <b>if the additivity requirement is violated we have:</b></div><div><br /></div><div>\(\langle P_{w1}\rangle \neq \langle P_{w2}\rangle\)</div><div><br /></div><div><b>Therefore regardless of the actual spatial separation, the lab on the left can figure out which experiment the lab on the right decided to perform!!!</b></div><div><b><br /></b></div><div><b>With this experimental setup, if </b><b>additivity of expectation values is false, </b><b>you can even violate causality!!!</b></div><div><b><br /></b></div><div>Back to Bell: just because von Neumann and Gleason did not provide a justification for their requirements, this does not invalidate their arguments. The justification was found at a later time. </div><div><br /></div><div>But what about the Bohmian interpretation of quantum mechanics? Although there are superluminal speeds in the theory, superluminal signaling is not possible in it. This is because Bohmian interpretation respects Born rule which is a consequence of Gleason't theorem and it respects the additivity of expectation values as well. Bohmian interpretation suffers from other issues however. </div>Florin Moldoveanuhttps://plus.google.com/117661996860849443251noreply@blogger.com7tag:blogger.com,1999:blog-3832136017893749497.post-67280615734848981012016-10-14T23:11:00.000-04:002016-10-14T23:16:42.152-04:00<h2 style="text-align: center;">A US Presidential Election Analysis</h2><div><br /></div><div>Once in a while, important events deserve to be discussed and they dislodge physics topics. I wrote in the past about Donald Trump, and today I want to revisit the topic and present some analysis on what is currently going on in US election politics. <b>By now the election outcome is all but certain: Trump will lose, and Clinton will win</b>, but what is the basis for this prediction?</div><div><br /></div><div>If you never heard of it, there is an amazing site by <a href="https://en.wikipedia.org/wiki/Nate_Silver" target="_blank">Nate Silver</a>: <a href="http://projects.fivethirtyeight.com/2016-election-forecast/" target="_blank">http://projects.fivethirtyeight.com/2016-election-forecast/</a></div><div><br /></div><div>Nate Silver has a huge well deserved prediction credibility and he performs in-depth analysis of the elections way more than what you find on the usual media outlets like CNN.</div><div><br /></div><div>In the image below you see the daily graph of the winning chances for Trump (the red line) and Clinton (the blue line). </div><div><br /></div><div><br /></div><div><br /></div><div class="separator" style="clear: both; text-align: center;"></div><div class="separator" style="clear: both; text-align: center;"><a href="https://2.bp.blogspot.com/-t2CbO8d7_hM/WAGcrPIiYFI/AAAAAAAABDk/6sNzUUPX08wftEZeL3X18H2i7zomHfuIwCLcB/s1600/C-T2.png" imageanchor="1" style="margin-left: 1em; margin-right: 1em;"><img border="0" height="238" src="https://2.bp.blogspot.com/-t2CbO8d7_hM/WAGcrPIiYFI/AAAAAAAABDk/6sNzUUPX08wftEZeL3X18H2i7zomHfuIwCLcB/s400/C-T2.png" width="400" /></a></div><div class="separator" style="clear: both; text-align: center;"><br /></div><div class="separator" style="clear: both; text-align: left;">Mid July Trump got a post Republican convention boost and he was on the rise until Clinton had the democratic convention.The sharp Trump decline after that convention was due to his attack on the Khan family, whose son died for America. When that scandal faded, mid August, Trump's odds began improving following Clinton's erosion of trust due to the email server scandal, and also due to concerns about her health. Then came the first debate in which Trump had a very good first half an hour but was ill prepared for the long haul of the debate. That started a turn-off reaction for the independent voters who only now got the first serious look at him. </div><div class="separator" style="clear: both; text-align: left;"><br /></div><div class="separator" style="clear: both; text-align: left;">Still the slide was temporary and the fluctuations were comparable with the prior two weeks and for two days he was climbing back in the polls. At this point the famous tape of him bragging about grabbing women by their genitals surfaced and this started a a chain reaction mostly inside the Republican party. The tape reversed the trend, but <b>what killed his election chances was his performance in the second debate. </b>Trump made two strategic mistakes:</div><div class="separator" style="clear: both; text-align: left;"><br /></div><div class="separator" style="clear: both; text-align: left;"></div><ul><li>he attacked Hillary (and Bill Clinton) instead of <b>sincerely </b>apologizing </li><li>he dismissed the tape as locker room talk and claimed he did not do anything physical</li></ul><div>Let's see what those were fatal mistakes for him. <b>By going on the offensive when people expected genuine contrition <u>made Trump appear as a rabid dog</u> and people were hugely disgusted by his behavior. </b>The general consensus of the independent people who watched the second debate was that they themselves felt dirty and in need of a shower. The second debate reduced Trump's changes into low teen numbers. If you look at the two prior cycles: June-August and August-October you notice the bouncing back rate for Trump and that there is not enough time for him to close the gap before election day. </div><div><br /></div><div>Now even if the election is postponed a few months, Trump will never recover due to his second strategic mistake. For all his playboy behavior, it is impossible that he never did anything real as he was bragging on the tape. But by claiming it was all "only talk" as opposed to Bill Clinton's actions encouraged women to come forward to tell their stories. <b>Once this started it cannot be stopped. </b>Just ask Bill Cosby on how it happened in his case: the same pattern will repeat here. </div><div><br /></div><div>When the tape was released, republicans running for reelection started deserting Trump out of fear that he will negatively affect their changes of reelection due to the backlash in the women's vote. <b>But by now is is clear Trump's chances of election are virtually zero and this has the potential to split the Republican party. </b></div><div><b><br /></b></div><div>After the election loss, the finger-pointing will begin. <a href="https://en.wikipedia.org/wiki/Reince_Priebus" target="_blank">Rience Priebus</a> has no real vision or power and will most likely lose his job. The power vacuum will start a chaotic period for the Republican party which will end either by a victory of anti-Trump forces, or a party split. My bet is that the party will remain intact since politicians tend to act as a pack: there is strength in numbers and it is hard to survive alone.</div>Florin Moldoveanuhttps://plus.google.com/117661996860849443251noreply@blogger.com15tag:blogger.com,1999:blog-3832136017893749497.post-50311264747006282012016-10-08T01:24:00.000-04:002016-10-08T01:33:20.312-04:00<h2 style="text-align: center;">Local Causality in a Friedmann-Robertson-Walker Spacetime</h2><div><br /></div><div>A few days ago I learned about a controversy regarding Joy Christian's paper: </div><a href="https://arxiv.org/abs/1405.2355" target="_blank">Local Causality in a Friedmann-Robertson-Walker Spacetime</a> which got published in Annals of Physics and was recently withdrawn: <a href="http://retractionwatch.com/2016/09/30/physicist-threatens-legal-action-after-journal-mysteriously-removed-study/" target="_blank">http://retractionwatch.com/2016/09/30/physicist-threatens-legal-action-after-journal-mysteriously-removed-study/</a><br /><div><br /><div class="separator" style="clear: both; text-align: center;"><a href="https://3.bp.blogspot.com/-FW_viqVaU98/V_iE-kaWmXI/AAAAAAAABCs/c9lq09J_brkxhkG33MgxyGTMy2ZK2PObwCLcB/s1600/JC.png" imageanchor="1" style="margin-left: 1em; margin-right: 1em;"><img border="0" height="231" src="https://3.bp.blogspot.com/-FW_viqVaU98/V_iE-kaWmXI/AAAAAAAABCs/c9lq09J_brkxhkG33MgxyGTMy2ZK2PObwCLcB/s400/JC.png" width="400" /></a></div><br /></div><div>The paper repeats the same mathematically incorrect arguments of Joy Christian against Bell's theorem and has nothing to do with Friedmann-Robertson-Walker spacetime. The FRW space was only used as a trick to get the wrong referees which are not experts on Bell theorem. In particular the argument is the same as in this incorrect Joy's one-pager <a href="https://arxiv.org/pdf/1103.1879v1.pdf" target="_blank">preprint</a>. </div><div><br /></div><div>The mistake happens in two steps: </div><div><ul><li>a unification of two algebras into the same equation</li><li>a subtle transition from a variable to an index in a computation mixing apples with oranges</li></ul><div>I will run the explanation in parallel between the one-pager and the withdrawn paper because it is easier to see the mistake in the one-pager.</div><div><br /></div><div><b>Step 1:</b> One-pager Eq. 3 is the same as FRW paper Eq. 49:<br /><br />\(\beta_j \beta_k = -\delta_{jk} - \epsilon_{jkl} \beta_l\)<br />\(L(a, \lambda) L(b, \lambda) = - a\cdot b - L(a\times b, \lambda)\)<br /><br />In the FRW paper \(L(a, \lambda) = \lambda I\cdot a\) while in the 1-pager: \(\beta_j (\lambda) = \lambda \beta_j\) where \(\lambda\) is a choice of orientation. This make look as an innocuous unification but in fact it describes two distinct algebras with distinct representations.<br /><br />This means that Eqs. 3/49 describe two multiplication rules (and let's call them A for apples and O for oranges). Unpacked, the multiplication rules are:<br /><br />\(A_i A_j = -\delta_{jk} + \epsilon_{jkl} A_l\)<br />\(O_i O_j = -\delta_{jk} - \epsilon_{jkl} O_l\)<br /><br />The matrix representations are:</div><div><br />\( A_1 = \left( \begin{array}{cc} i & 0 \\ 0 & -i \end{array}\right) = i\sigma_3\)<br />\( A_2 = \left( \begin{array}{cc} 0 & -1 \\ 1 & 0 \end{array}\right) = -i \sigma_2\)<br />\( A_3 = \left( \begin{array}{cc} 0 & -i \\ -i & 0 \end{array}\right)= -i \sigma_1\)<br /><br />and \(O_i = - A_i = {A_i}^{\dagger}\)<br /><br />Try multiplying the above matrices to convince yourself that they are indeed a valid representation of the multiplication rule.<br /><br />There is even a ket and bra or column and row vector representation of the two distinct algebras, but I won't go into details since it requires a math detour which will takes the focus away from Joy's mistake.<br /><br /><b>Step 2:</b> summing apples with oranges (or column vectors with row vectors)<br /><br />The summation is done in steps 5-7 and 67-75. The problem is that the sum from 1 to n contains two kinds of objects apples and oranges and should be in fact broken up in two sums. If this needs to be combined into a single sum then we need to convert apples and oranges to orientation independent objects. Since \(L(a, \lambda) = \lambda I\cdot a\) and \(\beta_j (\lambda) = \lambda \beta_j\) with \(I \cdot a\) and \(\beta_j\) orientation independent objects, when we convert the two kinds of objects to a single unified kind there is an additional missing factor of lambda.<br /><br />Since \(O_j=\beta_j (\lambda^k) = \lambda^k \beta_j\) with \(\lambda^k = +1\) and \(A_j=-\beta_j (\lambda^k) = \lambda^k \beta_j\) with \(\lambda^k = -1\) where \(\lambda^k\) is the orientation of the k-th pair of particles, in the transition from 6 to 7 and 72 to 73 <b>in an unified sum </b>we are missing a \(\lambda^k \) factor.<br /><br />Again, either break up the sum into apples and oranges (where the index k tells you which kinds of objects you are dealing with) or unify the sum and adjust it by converting it into orientation-free objects and this is done by multiplication by \(\lambda^k\). If we separate the sums, they will not cancel each other out because there is -1 a conversion factor from apples to oranges \(O = - A\), and if we unify the sum as Joy does in Eq. 74 the sum is not of \(\lambda^k\) but of \({(\lambda^k)}^2\) <b>which does not vanish</b>.<br /><br />As it happens Joy's research program is plagued by this -1 (or missing lambda) mistake in his attempt to vanquish a cross product term. <b>But even if his proposal were mathematically valid it would not represent a genuine challenge to Bell's theorem. </b>Inspired by Joy's program, James Weatherall found a <a href="https://arxiv.org/pdf/1212.4854v2.pdf" target="_blank">mathematically valid example</a> very similar with Joy's proposal but one which does not use quaternions/Clifford algebras.<br /><br /><b>The lesson of Weatherall is that correlations <u>must be computed using actual experimental results</u> and the computation (like the one Joy is doing at steps 67-75) must not be made in a hypothetical space of "beables". </b><br /><b><br /></b>Now back to the paper withdrawal, the journal did not acted properly: it should have notified Joy before taking action. However Joy did not act in good faith by masquerading the title to sneak it past imperfect peer review and his attempt at victimization in the comments section has no merit. In the end the paper is mathematically incorrect, has nothing to do with FRW spacetime, and (as proven by Weatherall) <b>Joy's program is fatally flawed and cannot get off the ground even if there were no mathematical mistakes in it. </b></div></div>Florin Moldoveanuhttps://plus.google.com/117661996860849443251noreply@blogger.com5tag:blogger.com,1999:blog-3832136017893749497.post-16197429450790559222016-10-01T00:15:00.000-04:002016-10-01T00:58:55.259-04:00<h2 style="text-align: center;">The whole is greater than the sum of its parts</h2><div><br /></div><div>The tile of today's post is a quote from Aristotle, but I want to illustrate this in the quantum formalism. Here I will refer to a famous Hardy paper: <a href="https://arxiv.org/pdf/quant-ph/0101012v4.pdf" target="_blank">Quantum Theory From Five Reasonable Axioms</a>. In there one finds the following definitions:</div><div><br /></div><div><ul><li>The number of degrees of freedom, K, is defined as the minimum number of probability measurements needed to determine the state, or, more roughly, as the number of real parameters required to specify the state. </li><li>The dimension, N, is defined as the maximum number of states that can be reliably distinguished from one another in a single shot measurement. </li></ul><div>Quantum mechanics obeys \(K=N^2\) while classical physics obeys \(K=N\).</div></div><div><br /></div><div>Now suppose nature is realistic and the electron spin does exist independent of measurement. From <a href="https://en.wikipedia.org/wiki/Stern%E2%80%93Gerlach_experiment" target="_blank">Stern-Gerlach experiments</a> we know what happens when we pass a beam of electrons through two such devices rotates by an angle \(\alpha\): suppose we pick only the spin up electrons, on the second device the electrons are still deflected up \(\cos^2 (\alpha /2)\) percent of time and are deflected down \(\sin^2 (\alpha /2)\) percent of time . <b>This is an experimental fact.</b></div><div><br /></div><div>Now suppose we have a source of electron pairs prepared in a singlet state. This means that the total spin of the system is zero. There is no reason to distinguish a particular direction in the universe and with the assumption of the existence of the spin independent of measurement we can very naturally assume that our singlet state electron source produces an isotropic distribution of particles with opposite spins. Now we ask: <b>in an EPR-B experiment, what kind of correlation would Alice and Bob get under the above assumptions?</b></div><div><br /></div><div>We can go about finding the answer to this in three ways. First we can cheat and look the answer up in a 1957 paper by Bohm and Aharonov who first made the computation, This paper (and the answer) is cited by Bell in his famous "On the Einstein-Podolsky-Rosen paradox". But we can do better than that. We can play with the simulation software from last time. Here is what you need to do:</div><div><br /></div><div>-replace the generating functions with:</div><div><br /></div><div><span style="background-color: yellow;">function GenerateAliceOutputFromSharedRandomness(direction, sharedRandomness3DVector) {</span></div><div><span style="background-color: yellow;"> var cosAngle= Dot(direction, sharedRandomness3DVector);</span></div><div><span style="background-color: yellow;"> var cosHalfAngleSquared = (1+cosAngle)/2;</span></div><div><span style="background-color: yellow;"> if (Math.random() < cosHalfAngleSquared )</span></div><div><span style="background-color: yellow;"> return +1;</span></div><div><span style="background-color: yellow;"> else</span></div><div><span style="background-color: yellow;"> return -1;</span></div><div><span style="background-color: yellow;">};</span></div><div><span style="background-color: yellow;"><br /></span></div><div><span style="background-color: yellow;">function GenerateBobOutputFromSharedRandomness(direction, sharedRandomness3DVector) {</span></div><div><span style="background-color: yellow;"> var cosAngle= Dot(direction, sharedRandomness3DVector);</span></div><div><span style="background-color: yellow;"> var cosHalfAngleSquared = (1+cosAngle)/2;</span></div><div><span style="background-color: yellow;"> if (Math.random() < cosHalfAngleSquared )</span></div><div><span style="background-color: yellow;"> return -1;</span></div><div><span style="background-color: yellow;"> else</span></div><div><span style="background-color: yellow;"> return +1;</span></div><div><span style="background-color: yellow;">};</span></div><div><br /></div><div>-replace the -cosine curve drawing with a -0.3333333 cosine curve: </div><div><br /></div><div><div><span style="background-color: yellow;">boardCorrelations.create('functiongraph', [function(t){ return -0.3333333*Math.cos(t); }, -Math.PI*10, Math.PI*10],{strokeColor: "#66ff66", strokeWidth:2,highlightStrokeColor: "#66ff66", highlightStrokeWidth:2});</span></div><div><br /></div><div>replace the fit test for the cosine curve with one for with 0.3333333 cosine curve: </div><div><br /></div><div><span style="background-color: yellow;">var diffCosine = epsilon + 0.3333333*Math.cos(angle); </span></div></div><div><br /></div><div>and the result of the program (for 1000 directions and 1000 experiments) is:</div><div><br /></div><div class="separator" style="clear: both; text-align: center;"></div><div class="separator" style="clear: both; text-align: center;"></div><div class="separator" style="clear: both; text-align: center;"><a href="https://1.bp.blogspot.com/-P8SutIxKnZQ/V-8gSqWe3zI/AAAAAAAABCQ/8-ZSrOU6KHk-YEg8SMnck1qCgcpec8oaACLcB/s1600/Bell2.png" imageanchor="1" style="margin-left: 1em; margin-right: 1em;"><img border="0" height="278" src="https://1.bp.blogspot.com/-P8SutIxKnZQ/V-8gSqWe3zI/AAAAAAAABCQ/8-ZSrOU6KHk-YEg8SMnck1qCgcpec8oaACLcB/s400/Bell2.png" width="400" /></a></div><div class="separator" style="clear: both; text-align: center;"><br /></div><div class="separator" style="clear: both; text-align: left;"><br /></div><div>So how does the program work? The sharedRandomness3DVector is the direction on which the spins are randomly generated. The dot product compute the cosine of the angle between the measurement direction and the spin, and from it we can compute the cosine of the half angle. The square of the cosine of the half angle is used to determine the random outcome. The resulting curve is 1/3 of the experimental correlation curve. Notice that the output generation for Alice and Bob are completely independent (locality).</div><div><br /></div><div>But the actual analytical computation is not that hard to do either. We proceed in two steps.</div><div><br /></div><div><b>Step 1: </b>Let \(\beta\) be the angle between one spin \(x\) and a measurement device direction \(a\). We have: \(\cos (\beta) = a\cdot x\) and:</div><div><br /></div><div>\({(\cos \frac{\beta}{2})}^2 = \frac{1+\cos\beta}{2} = \frac{1+a\cdot x}{2}\)</div><div><br /></div><div>Keeping the direction \(x\) constant, the measurement outcomes for Alice and Bob measuring on the directions \(a\) and \(b\) respectively are:</div><div><br /></div><div>++ \(\frac{1+a\cdot x}{2} \frac{1+b\cdot (-x)}{2}\) percent of the time</div><div>-- \(\frac{1-a\cdot x}{2} \frac{1-b\cdot (-x)}{2}\) percent of the time</div><div>+-\(\frac{1+a\cdot x}{2} \frac{1-b\cdot (-x)}{2}\) percent of the time </div><div>-+\(\frac{1-a\cdot x}{2} \frac{1+b\cdot (-x)}{2}\) percent of the time </div><div><br /></div><div>which yields the correlation: \(-(a\cdot x) (b \cdot x)\)</div><div><br /></div><div><b>Step 2:</b> integrate \(-(a\cdot x) (b \cdot x)\) for all directions \(x\). To this aim align \(a\) on the z axis and have \(b\) in the y-z plane:</div><div><br /></div><div>\(a=(0,0,a)\)</div><div>\(b=(0, b_y , b_z)\)</div><div><br /></div><div>then go to spherical coordinates integrating using:</div><div><br /></div><div>\(\frac{1}{4\pi}\int_{0}^{2\pi} d\theta \int_{0}^{\pi} \sin\phi d\phi\)</div><div><br /></div><div>\(a\cdot x = \cos\phi\)</div><div>\(b\cdot x = b(0, \sin\alpha, -\cos\alpha)\cdot(\sin\phi \cos\theta, \sin\phi\sin\theta, \cos\phi)\)</div><div><br /></div><div>where \(\alpha\) is the angle between \(a\) and \(b\).</div><div><br /></div><div>Plugging all back in and doing the trivial integration yields: \(-\frac{\cos\alpha}{3}\)</div><div><br /></div><div>So now for the moral of the story. the quantum mechanics prediction and the experimentally observed correlation is \(-\cos\alpha\) and not \(-\frac{1}{3} \cos\alpha\)</div><div><br /></div><div>The 1/3 incorrect correlation factor comes from demanding (1) the experimentally proven behavior from two consecutive S-G device measurements, (2) the hypothesis that the electron spins exist before measurement, and (3) and isotropic distribution of spins originating from a total spin zero state.</div><div><br /></div><div>(1) and (3) cannot be discarded because (1) is an experimental behavior, and (3) is a very natural demand of isotropy. <b>It is (2) which is the faulty assumption.</b></div><div><b><br /></b></div><div><b>If (2) is true</b> then circling back on Hardy's result, we are under the classical physics condition:<b> </b>\(K=N\) which <b>means that the whole is the sum of the parts.</b> </div><div><br /></div><div>Bell considered both the 1/3 result and the one from his inequality and decided to showcase his inequality for experimental purposes reasons: <i>"It is probably less easy, experimentally, to distinguish (10) from (3), then (11) from (3)."</i>. Both hidden variable models:</div><div><br /></div><div> if (Dot(direction, sharedRandomness3DVector) < 0)</div><div> return +1;</div><div> else</div><div> return -1;</div><div><br /></div><div>and </div><div><br /></div><div> var cosAngle= Dot(direction, sharedRandomness3DVector);</div><div> var cosHalfAngleSquared = (1+cosAngle)/2;</div><div> if (Math.random() < cosHalfAngleSquared )</div><div> return -1;</div><div> else</div><div> return +1; </div><div><br /></div><div>are at odds with quantum mechanics and experimental results. The difference between them is on the correlation behavior for 0 and 180 degrees. If we allow information transfer between Alice generating function and Bob generating function (nonlocality) then it is easy to generate whatever correlation curve we want under both scenarios (play with the computer model to see how it can be done).</div><div><br /></div><div>So from realism point of view, which hidden variable model is better? Should we insist on perfect anti-correlations at 0 degrees, or should we demand the two consecutive S-G results along with realism? It does not matter since both are wrong. <b>In the end local realism is dead.</b></div>Florin Moldoveanuhttps://plus.google.com/117661996860849443251noreply@blogger.com4tag:blogger.com,1999:blog-3832136017893749497.post-6311225633382699362016-09-23T21:18:00.002-04:002016-09-23T21:18:51.498-04:00<h2 style="text-align: center;">Explanation for Bell's theorem modeling program</h2><div><br /></div><div>Today I will explain in detail the code from last time and show how can you change it to experiment with Bell's theorem. The code below needs only a text editor to make modifications and requires only a web browser to run. In other words, it is trivial to play with provided you understand the basics of HTML and Java Script. For elementary introductions to those topics see <a href="http://htmldog.com/guides/html/beginner/" target="_blank">here </a>and <a href="http://htmldog.com/guides/javascript/beginner/" target="_blank">here</a>.</div><div><br /></div><div>In a standard HTML page we start in the body section with 3 entrees responsible to plot the graph in the end.</div><div><br /></div><b><body><br /><link href="http://jsxgraph.uni-bayreuth.de/distrib/jsxgraph.css" rel="stylesheet" type="text/css"></link><br /><script src="http://jsxgraph.uni-bayreuth.de/distrib/jsxgraphcore.js" type="text/javascript"></script><br /><script src="http://jsxgraph.uni-bayreuth.de/distrib/GeonextReader.js" type="text/javascript"></script></b><br /><br /><div>Then we have the following HTML table</div><div><br /></div><div><div><b><table border="4" style="width: 50%px;"></b></div><div><b><tr><td style="width: 25%;"></b></div><div><b><br /></b></div><div><b>Number of experiments: <input id="totAngMom" type="text" value="100" /></b></div><div><b><br /></b></div><div><b>Number of directions: <input id="totTestDir" type="text" value="100" /></b></div><div><b><br /></b></div><div><b> </b></div><div><b><input onclick="clearInput();" type="button" value="Clear Data" /></b></div><div><b><br /></b></div><div><b><input onclick="generateRandomData();" type="button" value="Generate Shared Random Data" /></b></div><div><b><br /></b></div><div><b><br /></b></div><div><b><textarea cols="65" id="in_data" rows="7"></b></div><div><b></textarea></b></div><div><b><br /></b></div><div><b><br /></b></div><div><b><input onclick="clearTestDir();" type="button" value="Clear data" /></b></div><div><b><br /></b></div><div><b><input onclick="generateTestDir();" type="button" value="Generate Random Alice Bob directions (x,y,z,x,y,z)" /></b></div><div><b><textarea cols="65" id="in_test" rows="4"></b></div><div><b></textarea></b></div><div><b><br /></b></div><div><b><input onclick="clearOutput();" type="button" value="Clear Data" /></b></div><div><b><br /></b></div><div><b><input onclick="generateData();" type="button" value="Generate Data from shared randomness" /></b></div><div><b><br /></b></div><div><b>Legend: Direction index|Data index|Measurement Alice|Measurement Bob</b></div><div><b><textarea cols="65" id="out_measurements" rows="4"></b></div><div><b></textarea></b></div><div><b><input onclick="clearBoard();" type="button" value="Clear Graph" /></b></div><div><b><input onclick="plotData();" type="button" value="Plot Data" /></b></div><div><b><br /></b></div><div><b></td></b></div><div><b></tr></b></div><div><b><tr></b></div><div><b><td></b></div><div><b><div class="jxgbox" id="jxgboxCorrelations" style="height: 400px; width: 550px;"></b></div><div><b></div></b></div></div><div><div><b><br /></b></div><div><b></td></tr></b></div><div><b></table></b></div><div><br /></div><div>and we close the body:</div><div><b><br /></b></div><div><b></body></b></div></div><div><b><br /></b></div><div>The brain of the page is encapsulated by script tags:</div><div><br /></div><div><b><script type="text/javascript"></b></div><div><b></script></b></div><div><b><br /></b></div><div>which can be placed anywhere inside the HTML page. Here are the functions which are declared inside the script tags:</div><div><br /></div><div><div><b>//Dot is the scalar product of 2 3D vectors</b></div><div><b>function Dot(a, b)</b></div><div><b>{</b></div><div><b> return a[0]*b[0] + a[1]*b[1] + a[2]*b[2];</b></div><div><b>};</b></div></div><div><b><br /></b></div><div>This simply computes the dot product of two vectors in ordinary 3D Euclidean space. As a Java Script reminder, the arrays start at index zero and go to N-1. Also in Java Script comments start with two double slash // and lines end in semicolon ;</div><div><br /></div><div>Next there is a little utility function which computes the magnitude of a vector:</div><div><br /></div><div><div><b>//Norm computes the norm of a 3D vector</b></div><div><b>function GetNorm(vect)</b></div><div><b>{</b></div><div><b> return Math.sqrt(Dot(vect, vect));</b></div><div><b>};</b></div></div><div><b><br /></b></div><div>This is followed by another utility function which normalizes a vector:</div><div><br /></div><div><div><b>//Normalize generates a unit vector out of a vector</b></div><div><b>function Normalize(vect)</b></div><div><b>{</b></div><div><b> //declares the variable</b></div><div><b> var ret = new Array(3);</b></div><div></div><div><b> //computes the norm</b></div><div><b> var norm = GetNorm(vect);</b></div><div><b><br /></b></div><div><b> //scales the vector</b></div><div><b> ret[0] = vect[0]/norm;</b></div><div><b> ret[1] = vect[1]/norm;</b></div><div><b> ret[2] = vect[2]/norm;</b></div><div><b> return ret;</b></div><div><b>};</b></div></div><div><b><br /></b></div><div>To create an random oriented vector we use the function below which first randomly generates a point in a cube of side 2, eliminated the points outside a unit sphere, and then normalizes the vector:</div><div><b><br /></b></div><div><div style="font-weight: bold;">//RandomDirection create a 3D unit vector of random direction</div><div style="font-weight: bold;">function RandomDirection()</div><div style="font-weight: bold;">{</div><div style="font-weight: bold;"> //declares the variable</div><div style="font-weight: bold;"> var ret = new Array(3);</div><div style="font-weight: bold;"><br /></div><div style="font-weight: bold;"> //fills a 3D cube with coordinates from -1 to 1 on each direction</div><div style="font-weight: bold;"> ret[0] = 2*(Math.random()-0.5);</div><div style="font-weight: bold;"> ret[1] = 2*(Math.random()-0.5);</div><div style="font-weight: bold;"> ret[2] = 2*(Math.random()-0.5);</div><div style="font-weight: bold;"><br /></div><div style="font-weight: bold;"> //excludes the points outside of a unit sphere (tries again)</div><div style="font-weight: bold;"> if(GetNorm(ret) > 1)</div><div style="font-weight: bold;"> return RandomDirection();</div><div style="font-weight: bold;"></div><div style="font-weight: bold;"> return Normalize(ret);</div><div style="font-weight: bold;">};</div><div style="font-weight: bold;"><br /></div><div>The rest of the code is this:</div><div style="font-weight: bold;"><br /></div><div><div><b>var generateData = function()</b></div><div><b>{</b></div><div><b> clearBoard();</b></div><div><b> clearOutput();</b></div><div><b> //gets the data</b></div><div><b> var angMom = new Array();</b></div><div><b> var t = document.getElementById('in_data').value;</b></div><div><b> var data = t.split('\n');</b></div><div><b> for (var i=0;i<data.length;i++)</b></div><div><b> {</b></div><div><b> var vect = data[i].split(',');</b></div><div><b> if(vect.length == 3)</b></div><div><b> angMom[i] = data[i].split(',');</b></div><div><b> }</b></div><div><b> </b></div><div><b> var newTotAngMom = angMom.length;</b></div><div><b> clearBoard();</b></div><div></div><div><b> var varianceLinear = 0;</b></div><div><b> var varianceCosine = 0;</b></div><div><b> var totTestDirs = document.getElementById('totTestDir').value;</b></div><div><b><br /></b></div><div><b><br /></b></div><div><b> var abDirections = new Array();</b></div><div><b> var AliceDirections = new Array();</b></div><div><b> var BobDirections = new Array();</b></div><div><b> var t2 = document.getElementById('in_test').value;</b></div><div><b> var data2 = t2.split('\n');</b></div><div><b> for (var k = 0; k < data2.length; k++) </b></div><div><b> {</b></div><div><b> var vect2 = data2[k].split(',');</b></div><div><b> if (vect2.length == 6)</b></div><div><b> {</b></div><div><b> abDirections[k] = data2[k].split(',');</b></div><div><b> AliceDirections[k] = data2[k].split(',');</b></div><div><b> BobDirections[k] = data2[k].split(',');</b></div><div><b><br /></b></div><div><b> AliceDirections[k][0] = abDirections[k][0];</b></div><div><b> AliceDirections[k][1] = abDirections[k][1];</b></div><div><b> AliceDirections[k][2] = abDirections[k][2];</b></div><div><b> BobDirections[k][0] = abDirections[k][3];</b></div><div><b> BobDirections[k][1] = abDirections[k][4];</b></div><div><b> BobDirections[k][2] = abDirections[k][5];</b></div><div><b> }</b></div><div><b> }</b></div><div><b><br /></b></div><div><b> var TempOutput = "";</b></div><div><b><br /></b></div><div><b> //computes the output</b></div><div><b> for(var j=0; j<totTestDirs; j++)</b></div><div><b> {</b></div><div><b> var a = AliceDirections[j];</b></div><div><b> var b = BobDirections[j];</b></div><div><b> for(var i=0; i<newTotAngMom; i++)</b></div><div><b> {</b></div><div><b> TempOutput = TempOutput + (j+1);</b></div><div><b> TempOutput = TempOutput + ",";</b></div><div><b> TempOutput = TempOutput + (i+1);</b></div><div><b> TempOutput = TempOutput + ",";</b></div><div><b> TempOutput = TempOutput + (GenerateAliceOutputFromSharedRandomness(a, angMom[i]));</b></div><div><b> TempOutput = TempOutput + ",";</b></div><div><b> TempOutput = TempOutput + (GenerateBobOutputFromSharedRandomness(b, angMom[i]));</b></div><div><b> if(i != newTotAngMom-1 || j != totTestDirs-1)</b></div><div><b> TempOutput = TempOutput + " \n";</b></div><div><b> }</b></div><div><b> }</b></div><div><b><br /></b></div><div><b> apendResults(TempOutput);</b></div><div><b>};</b></div><div><b><br /></b></div><div><b>var plotData = function()</b></div><div><b>{</b></div><div><b> clearBoard();</b></div><div><b> boardCorrelations.suspendUpdate();</b></div><div><b> //gets the data</b></div><div><b> var angMom = new Array();</b></div><div><b> var t = document.getElementById('in_data').value;</b></div><div><b> var data = t.split('\n');</b></div><div><b> for (var i=0;i<data.length;i++)</b></div><div><b> {</b></div><div><b> var vect = data[i].split(',');</b></div><div><b> if(vect.length == 3)</b></div><div><b> angMom[i] = data[i].split(',');</b></div><div><b> }</b></div><div><b> </b></div><div><b> var newTotAngMom = angMom.length;</b></div><div></div><div><b> var varianceLinear = 0;</b></div><div><b> var varianceCosine = 0;</b></div><div><b> var totTestDirs = document.getElementById('totTestDir').value;</b></div><div><b><br /></b></div><div><b> //extract directions</b></div><div><b> var abDirections = new Array();</b></div><div><b> var AliceDirections = new Array();</b></div><div><b> var BobDirections = new Array();</b></div><div><b> var t2 = document.getElementById('in_test').value;</b></div><div><b> var data2 = t2.split('\n');</b></div><div><b> for (var k = 0; k < data2.length; k++) </b></div><div><b> {</b></div><div><b> var vect2 = data2[k].split(',');</b></div><div><b> if (vect2.length == 6)</b></div><div><b> {</b></div><div><b> abDirections[k] = data2[k].split(',');</b></div><div><b> AliceDirections[k] = data2[k].split(',');</b></div><div><b> BobDirections[k] = data2[k].split(',');</b></div><div><b><br /></b></div><div><b> AliceDirections[k][0] = abDirections[k][0];</b></div><div><b> AliceDirections[k][1] = abDirections[k][1];</b></div><div><b> AliceDirections[k][2] = abDirections[k][2];</b></div><div><b> BobDirections[k][0] = abDirections[k][3];</b></div><div><b> BobDirections[k][1] = abDirections[k][4];</b></div><div><b> BobDirections[k][2] = abDirections[k][5];</b></div><div><b> }</b></div><div><b> }</b></div><div><b><br /></b></div><div><b><br /></b></div><div><b> var tempLine = new Array();</b></div><div><b> var Data_Val = document.getElementById('out_measurements').value;</b></div><div><b> var data_rows = Data_Val.split('\n');</b></div><div><b><br /></b></div><div><b> var directionIndex = 1;</b></div><div><b> var beginNewDirection = false;</b></div><div><b><br /></b></div><div><b> var a = new Array(3);</b></div><div><b> a[0] = AliceDirections[0][0];</b></div><div><b> a[1] = AliceDirections[0][1];</b></div><div><b> a[2] = AliceDirections[0][2];</b></div><div><b> var b = new Array(3);</b></div><div><b> b[0] = BobDirections[0][0];</b></div><div><b> b[1] = BobDirections[0][1];</b></div><div><b> b[2] = BobDirections[0][2];</b></div><div><b> var sum = 0;</b></div><div><b><br /></b></div><div><b><br /></b></div><div><b> for (var ii=0;ii<data_rows.length;ii++)</b></div><div><b> {</b></div><div><b> //parse the input line</b></div><div><b> var vect = data_rows[ii].split(',');</b></div><div><b> if(vect.length == 4)</b></div><div><b> tempLine = data_rows[ii].split(',');</b></div><div><b><br /></b></div><div><b> //see if a new direction index is starting</b></div><div><b> if (directionIndex != tempLine[0])</b></div><div><b> {</b></div><div><b> beginNewDirection = true;</b></div><div><b> }</b></div><div><b><br /></b></div><div><b> if(!beginNewDirection)</b></div><div><b> {</b></div><div><b> var sharedRandomnessIndex = tempLine[1];</b></div><div><b> var sharedRandomness = angMom[sharedRandomnessIndex];</b></div><div><b> var aliceOutcome = tempLine[2];</b></div><div><b> var bobOutcome = tempLine[3];</b></div><div><b> sum = sum + aliceOutcome*bobOutcome;</b></div><div><b> }</b></div><div><b><br /></b></div><div><b><br /></b></div><div><b> if (beginNewDirection)</b></div><div><b> {</b></div><div><b> //finish computation</b></div><div><b> var epsilon = sum/newTotAngMom;</b></div><div><b> var angle = Math.acos(Dot(a, b));</b></div><div><b> boardCorrelations.createElement('point', [angle,epsilon],{size:0.1,withLabel:false});</b></div><div><b><br /></b></div><div><b> var diffLinear = epsilon - (-1+2/Math.PI*angle);</b></div><div><b> varianceLinear = varianceLinear + diffLinear*diffLinear;</b></div><div><b> var diffCosine = epsilon + Math.cos(angle); </b></div><div><b> varianceCosine = varianceCosine + diffCosine*diffCosine;</b></div><div><b><br /></b></div><div><b> //reset and start a new cycle </b></div><div><b> directionIndex = tempLine[0];</b></div><div><b> a[0] = AliceDirections[directionIndex-1][0];</b></div><div><b> a[1] = AliceDirections[directionIndex-1][1];</b></div><div><b> a[2] = AliceDirections[directionIndex-1][2];</b></div><div><b> b[0] = BobDirections[directionIndex-1][0];</b></div><div><b> b[1] = BobDirections[directionIndex-1][1];</b></div><div><b> b[2] = BobDirections[directionIndex-1][2];</b></div><div><b> sum = 0;</b></div><div><b> var sharedRandomnessIndex = tempLine[1];</b></div><div><b> var sharedRandomness = angMom[sharedRandomnessIndex];</b></div><div><b> var aliceOutcome = tempLine[2];</b></div><div><b> var bobOutcome = tempLine[3];</b></div><div><b> sum = sum + aliceOutcome*bobOutcome;</b></div><div><b> beginNewDirection = false;</b></div><div><b> }</b></div><div><b><br /></b></div><div><b> }</b></div><div><b> //finish computation for last element of the loop above</b></div><div><b> var epsilon = sum/newTotAngMom;</b></div><div><b> var angle = Math.acos(Dot(a, b));</b></div><div><b> boardCorrelations.createElement('point', [angle,epsilon],{size:0.1,withLabel:false});</b></div><div><b> var diffLinear = epsilon - (-1+2/Math.PI*angle);</b></div><div><b> varianceLinear = varianceLinear + diffLinear*diffLinear;</b></div><div><b> var diffCosine = epsilon + Math.cos(angle); </b></div><div><b> varianceCosine = varianceCosine + diffCosine*diffCosine;</b></div><div></div><div><b> //display total fit</b></div><div><b> boardCorrelations.createElement('text',[2.0, -0.7, 'Linear Fitting: ' + varianceLinear],{});</b></div><div><b> boardCorrelations.createElement('text',[2.0, -0.8, 'Cosine Fitting: ' + varianceCosine],{});</b></div><div><b> boardCorrelations.createElement('text',[2.0, -0.9, 'Cosine/Linear: ' + varianceCosine/varianceLinear],{});</b></div><div></div><div><b> boardCorrelations.unsuspendUpdate();</b></div><div><b>};</b></div><div><b><br /></b></div><div><b><br /></b></div><div><b>var clearBoard = function()</b></div><div><b>{</b></div><div><b> JXG.JSXGraph.freeBoard(boardCorrelations); </b></div><div><b> boardCorrelations = JXG.JSXGraph.initBoard('jxgboxCorrelations',{boundingbox:[-0.20, 1.25, 3.4, -1.25],axis:true, </b></div><div><b><br /></b></div><div><b>showCopyright:false});</b></div><div><b> boardCorrelations.create('functiongraph', [function(t){ return -Math.cos(t); }, -Math.PI*10, Math.PI*10],{strokeColor: </b></div><div><b><br /></b></div><div><b>"#66ff66", strokeWidth:2,highlightStrokeColor: "#66ff66", highlightStrokeWidth:2});</b></div><div><b> boardCorrelations.create('functiongraph', [function(t){ return -1+2/Math.PI*t; }, 0, Math.PI],{strokeColor: "#6666ff", </b></div><div><b><br /></b></div><div><b>strokeWidth:2,highlightStrokeColor: "#6666ff", highlightStrokeWidth:2});</b></div><div><b>};</b></div><div><b><br /></b></div><div><b>var clearInput = function()</b></div><div><b>{</b></div><div><b> document.getElementById('in_data').value = '';</b></div><div><b>};</b></div><div><b><br /></b></div><div><b>var clearTestDir = function()</b></div><div><b>{</b></div><div><b> document.getElementById('in_test').value = '';</b></div><div><b>};</b></div><div><b><br /></b></div><div><b>var clearOutput = function()</b></div><div><b>{</b></div><div><b> document.getElementById('out_measurements').value = '';</b></div><div><b>};</b></div><div><b><br /></b></div><div><b>var generateTestDir = function()</b></div><div><b>{</b></div><div><b> clearBoard();</b></div><div><b> var totTestDir = document.getElementById('totTestDir').value;</b></div><div><b> var testDir = new Array(totTestDir);</b></div><div><b> var strData = "";</b></div><div><b> for(var i=0; i<totTestDir; i++)</b></div><div><b> {</b></div><div><b> //first is Alice, second is Bob</b></div><div><b> testDir[i] = RandomDirection();</b></div><div><b> strData = strData + testDir[i][0] + ", " + testDir[i][1] + ", " + testDir[i][2]+ ", " ;</b></div><div><b> testDir[i] = RandomDirection();</b></div><div><b> strData = strData + testDir[i][0] + ", " + testDir[i][1] + ", " + testDir[i][2] + '\n';</b></div><div><b> }</b></div><div><b><br /></b></div><div><b> document.getElementById('in_test').value = strData;</b></div><div><b>};</b></div><div><b><br /></b></div><div><b>var generateRandomData = function()</b></div><div><b>{</b></div><div><b> clearBoard();</b></div><div><b> var totAngMoms = document.getElementById('totAngMom').value;</b></div><div><b> var angMom = new Array(totAngMoms);</b></div><div><b> var strData = "";</b></div><div><b> for(var i=0; i<totAngMoms; i++)</b></div><div><b> {</b></div><div><b> angMom[i] = RandomDirection();</b></div><div><b> strData = strData + angMom[i][0] + ", " + angMom[i][1] + ", " + angMom[i][2] + '\n';</b></div><div><b> }</b></div><div><b><br /></b></div><div><b> document.getElementById('in_data').value = strData;</b></div><div><b>};</b></div><div><b><br /></b></div><div><b>var apendResults= function(newData)</b></div><div><b>{</b></div><div><b> var existingData = document.getElementById('out_measurements').value;</b></div><div><b> existingData = existingData + newData;</b></div><div><b> document.getElementById('out_measurements').value = existingData;</b></div><div><b>};</b></div><div><b><br /></b></div><div><b><br /></b></div><div><b>function GenerateAliceOutputFromSharedRandomness(direction, sharedRandomness3DVector) {</b></div><div><b> //replace this with your own function returning +1 or -1</b></div><div><b> if (Dot(direction, sharedRandomness3DVector) > 0)</b></div><div><b> return +1;</b></div><div><b> else</b></div><div><b> return -1;</b></div><div><b>};</b></div><div><b><br /></b></div><div><b>function GenerateBobOutputFromSharedRandomness(direction, sharedRandomness3DVector) {</b></div><div><b> //replace this with your own function returning +1 or -1</b></div><div><b> if (Dot(direction, sharedRandomness3DVector) < 0)</b></div><div><b> return +1;</b></div><div><b> else</b></div><div><b> return -1;</b></div><div><b>};</b></div><div><b><br /></b></div><div><b>var boardCorrelations = JXG.JSXGraph.initBoard('jxgboxCorrelations', {axis:true, boundingbox: [-0.25, 1.25, 3.4, -1.25], showCopyright:false});</b></div><div><b><br /></b></div><div><b>clearBoard();</b></div><div><b>generateRandomData();</b></div><div><b>generateTestDir();</b></div><div><b>generateData();</b></div><div><b>plotData();</b></div></div><div style="font-weight: bold;"><br /></div><div>At loading time the page executes:</div></div><div><br /></div><div><div>clearBoard();</div><div>generateRandomData();</div><div>generateTestDir();</div><div>generateData();</div><div>plotData();</div></div><div><br /></div><div>The key to the whole exercise are the following two functions:</div><div><br /></div><div><div><b style="background-color: yellow;">function GenerateAliceOutputFromSharedRandomness(direction, sharedRandomness3DVector) {</b></div><div><b style="background-color: yellow;"> //replace this with your own function returning +1 or -1</b></div><div><b style="background-color: yellow;"> if (Dot(direction, sharedRandomness3DVector) > 0)</b></div><div><b style="background-color: yellow;"> return +1;</b></div><div><b style="background-color: yellow;"> else</b></div><div><b style="background-color: yellow;"> return -1;</b></div><div><b style="background-color: yellow;">};</b></div><div><b style="background-color: yellow;"><br /></b></div><div><b style="background-color: yellow;">function GenerateBobOutputFromSharedRandomness(direction, sharedRandomness3DVector) {</b></div><div><b style="background-color: yellow;"> //replace this with your own function returning +1 or -1</b></div><div><b style="background-color: yellow;"> if (Dot(direction, sharedRandomness3DVector) < 0)</b></div><div><b style="background-color: yellow;"> return +1;</b></div><div><b style="background-color: yellow;"> else</b></div><div><b style="background-color: yellow;"> return -1;</b></div><div><b style="background-color: yellow;">};</b></div></div><div><b><br /></b></div><div>To experiment with various hidden variable models all you have to do is replace the two functions above with your own concoction of hidden variable which uses the shared variable "<b>sharedRandomness3DVector</b>". </div><div><br /></div><div>There are certain models for which if we return zero (which in the correlation computation is equivalent with discarding the data since the correlations are computed by this line in the code: <b>sum = sum + aliceOutcome*bobOutcome;</b>) a certain number of times as a function of the angle between <b>direction </b>and <b>sharedRandomness3DVector</b>, then one can obtain the quantum mechanics correlation curve. This is the famous <a href="https://en.wikipedia.org/wiki/Loopholes_in_Bell_test_experiments#Detection_efficiency.2C_or_fair_sampling" target="_blank">detection loophole</a> (or (un)fair sampling) for Bell's theorem.<br /><br />If we talk about the detection loophole the paper to read is an old one by Philip Pearle: <a href="http://journals.aps.org/prd/abstract/10.1103/PhysRevD.2.1418" target="_blank">http://journals.aps.org/prd/abstract/10.1103/PhysRevD.2.1418</a> In there Pearle found an entire class of solutions able to generate the quantum correlations. The original paper is hard to double check (it took me more than a week and I was still not done completely), but Richard Gill did manage to extract a useful workable detection loophole model out of it: <a href="https://arxiv.org/pdf/1505.04431.pdf" target="_blank">https://arxiv.org/pdf/1505.04431.pdf</a><br /><br /><b>Manipulating the generating functions above one can easily test various ideas about hidden variable models.</b> For example an isotropic model of opposite spins generates -1/3 a.b correlations. It is not that hard to double check the math in this case: a simple integrals will do the trick. <b>in particular this shows that the spins do not exist independent of measurement. </b><br /><b><br /></b>More manipulations using the detection loophole are even able to generate super-quantum Popescu-Rohrlich box correlations, but I let the user to experiment with this and discover how to do it for themselves. <b>Happy computer modeling!</b></div>Florin Moldoveanuhttps://plus.google.com/117661996860849443251noreply@blogger.com4tag:blogger.com,1999:blog-3832136017893749497.post-55954826447482522392016-09-15T23:02:00.002-04:002016-09-17T00:00:19.975-04:00<div style="text-align: center;"><h2>Playing with Bell's theorem</h2></div><link href="http://jsxgraph.uni-bayreuth.de/distrib/jsxgraph.css" rel="stylesheet" type="text/css"></link><script src="http://jsxgraph.uni-bayreuth.de/distrib/jsxgraphcore.js" type="text/javascript"></script><script src="http://jsxgraph.uni-bayreuth.de/distrib/GeonextReader.js" type="text/javascript"></script> <body>In this post I'll write just a little text because editing is done straight in the HTML view which is very tedious. Below I have a Java script program which illustrates Bell's theorem. If you want to play with this code just right click on the page to view the source and extract it from there. If you do not know how to do that then you are not going to understand it in a few sentences. Next time I'll describe the code and how to experiment with various hidden variable models. <br />This is about an EPR-B Alice-Bob experiment where each ("measurement") generate a deterministic +1 or -1 outcome for a particular measurement direction using a shared piece of information: a random vector. Then the correlations are computed and plotted. No matter what deterministic model you try the correlation near the origin you generate a straight line vs. a curve of zero slope in the case of quantum mechanics. For this particular program, given a measurement direction specified as a unite vector in Cartesian coordinates I am computing the scalar product and I return +1 if positive I and -1 if negative. The experiment is repeated a number of times on various random measurement directions. <br />If you do not trust the randomly generated data, you can enter you own random Alice-Bob shared secret and your own measurement directions. Part of the credit for this program goes to Ovidiu Stoica. <table border="4" style="width: 50%px;"><tr><td style="width: 25%;"><br />Number of experiments: <input id="totAngMom" type="text" value="100" /><br />Number of directions: <input id="totTestDir" type="text" value="100" /><br /> <input onclick="clearInput();" type="button" value="Clear Data" /> <input onclick="generateRandomData();" type="button" value="Generate Shared Random Data" /><br /> <textarea cols="65" id="in_data" rows="7"></textarea><br /> <input onclick="clearTestDir();" type="button" value="Clear data" /> <input onclick="generateTestDir();" type="button" value="Generate Random Alice Bob directions (x,y,z,x,y,z)" /><textarea cols="65" id="in_test" rows="4"></textarea><br /><input onclick="clearOutput();" type="button" value="Clear Data" /> <input onclick="generateData();" type="button" value="Generate Data from shared randomness" /><br />Legend: Direction index|Data index|Measurement Alice|Measurement Bob <textarea cols="65" id="out_measurements" rows="4"></textarea><input onclick="clearBoard();" type="button" value="Clear Graph" /><input onclick="plotData();" type="button" value="Plot Data" /> </td></tr><tr><td><div class="jxgbox" id="jxgboxCorrelations" style="height: 400px; width: 550px;"></div><script type="text/javascript"> //Dot is the scalar product of 2 3D vectors function Dot(a, b) { return a[0]*b[0] + a[1]*b[1] + a[2]*b[2]; }; //Norm computes the norm of a 3D vector function GetNorm(vect) { return Math.sqrt(Dot(vect, vect)); }; //Normalize generates a unit vector out of a vector function Normalize(vect) { //declares the variable var ret = new Array(3); //computes the norm var norm = GetNorm(vect); //scales the vector ret[0] = vect[0]/norm; ret[1] = vect[1]/norm; ret[2] = vect[2]/norm; return ret; }; //RandomDirection create a 3D unit vector of random direction function RandomDirection() { //declares the variable var ret = new Array(3); //fills a 3D cube with coordinates from -1 to 1 on each direction ret[0] = 2*(Math.random()-0.5); ret[1] = 2*(Math.random()-0.5); ret[2] = 2*(Math.random()-0.5); //excludes the points outside of a unit sphere (tries again) if(GetNorm(ret) > 1) return RandomDirection(); return Normalize(ret); }; var generateData = function() { clearBoard(); clearOutput(); //gets the data var angMom = new Array(); var t = document.getElementById('in_data').value; var data = t.split('\n'); for (var i=0;i<data.length;i++) { var vect = data[i].split(','); if(vect.length == 3) angMom[i] = data[i].split(','); } var newTotAngMom = angMom.length; clearBoard(); var varianceLinear = 0; var varianceCosine = 0; var totTestDirs = document.getElementById('totTestDir').value; var abDirections = new Array(); var AliceDirections = new Array(); var BobDirections = new Array(); var t2 = document.getElementById('in_test').value; var data2 = t2.split('\n'); for (var k = 0; k < data2.length; k++) { var vect2 = data2[k].split(','); if (vect2.length == 6) { abDirections[k] = data2[k].split(','); AliceDirections[k] = data2[k].split(','); BobDirections[k] = data2[k].split(','); AliceDirections[k][0] = abDirections[k][0]; AliceDirections[k][1] = abDirections[k][1]; AliceDirections[k][2] = abDirections[k][2]; BobDirections[k][0] = abDirections[k][3]; BobDirections[k][1] = abDirections[k][4]; BobDirections[k][2] = abDirections[k][5]; } } var TempOutput = ""; //computes the output for(var j=0; j<totTestDirs; j++) { var a = AliceDirections[j]; var b = BobDirections[j]; for(var i=0; i<newTotAngMom; i++) { TempOutput = TempOutput + (j+1); TempOutput = TempOutput + ","; TempOutput = TempOutput + (i+1); TempOutput = TempOutput + ","; TempOutput = TempOutput + (GenerateAliceOutputFromSharedRandomness(a, angMom[i])); TempOutput = TempOutput + ","; TempOutput = TempOutput + (GenerateBobOutputFromSharedRandomness(b, angMom[i])); if(i != newTotAngMom-1 || j != totTestDirs-1) TempOutput = TempOutput + " \n"; } } apendResults(TempOutput); }; var plotData = function() { clearBoard(); boardCorrelations.suspendUpdate(); //gets the data var angMom = new Array(); var t = document.getElementById('in_data').value; var data = t.split('\n'); for (var i=0;i<data.length;i++) { var vect = data[i].split(','); if(vect.length == 3) angMom[i] = data[i].split(','); } var newTotAngMom = angMom.length; var varianceLinear = 0; var varianceCosine = 0; var totTestDirs = document.getElementById('totTestDir').value; //extract directions var abDirections = new Array(); var AliceDirections = new Array(); var BobDirections = new Array(); var t2 = document.getElementById('in_test').value; var data2 = t2.split('\n'); for (var k = 0; k < data2.length; k++) { var vect2 = data2[k].split(','); if (vect2.length == 6) { abDirections[k] = data2[k].split(','); AliceDirections[k] = data2[k].split(','); BobDirections[k] = data2[k].split(','); AliceDirections[k][0] = abDirections[k][0]; AliceDirections[k][1] = abDirections[k][1]; AliceDirections[k][2] = abDirections[k][2]; BobDirections[k][0] = abDirections[k][3]; BobDirections[k][1] = abDirections[k][4]; BobDirections[k][2] = abDirections[k][5]; } } var tempLine = new Array(); var Data_Val = document.getElementById('out_measurements').value; var data_rows = Data_Val.split('\n'); var directionIndex = 1; var beginNewDirection = false; var a = new Array(3); a[0] = AliceDirections[0][0]; a[1] = AliceDirections[0][1]; a[2] = AliceDirections[0][2]; var b = new Array(3); b[0] = BobDirections[0][0]; b[1] = BobDirections[0][1]; b[2] = BobDirections[0][2]; var sum = 0; for (var ii=0;ii<data_rows.length;ii++) { //parse the input line var vect = data_rows[ii].split(','); if(vect.length == 4) tempLine = data_rows[ii].split(','); //see if a new direction index is starting if (directionIndex != tempLine[0]) { beginNewDirection = true; } if(!beginNewDirection) { var sharedRandomnessIndex = tempLine[1]; var sharedRandomness = angMom[sharedRandomnessIndex]; var aliceOutcome = tempLine[2]; var bobOutcome = tempLine[3]; sum = sum + aliceOutcome*bobOutcome; } if (beginNewDirection) { //finish computation var epsilon = sum/newTotAngMom; var angle = Math.acos(Dot(a, b)); boardCorrelations.createElement('point', [angle,epsilon],{size:0.1,withLabel:false}); var diffLinear = epsilon - (-1+2/Math.PI*angle); varianceLinear = varianceLinear + diffLinear*diffLinear; var diffCosine = epsilon + Math.cos(angle); varianceCosine = varianceCosine + diffCosine*diffCosine; //reset and start a new cycle directionIndex = tempLine[0]; a[0] = AliceDirections[directionIndex-1][0]; a[1] = AliceDirections[directionIndex-1][1]; a[2] = AliceDirections[directionIndex-1][2]; b[0] = BobDirections[directionIndex-1][0]; b[1] = BobDirections[directionIndex-1][1]; b[2] = BobDirections[directionIndex-1][2]; sum = 0; var sharedRandomnessIndex = tempLine[1]; var sharedRandomness = angMom[sharedRandomnessIndex]; var aliceOutcome = tempLine[2]; var bobOutcome = tempLine[3]; sum = sum + aliceOutcome*bobOutcome; beginNewDirection = false; } } //finish computation for last element of the loop above var epsilon = sum/newTotAngMom; var angle = Math.acos(Dot(a, b)); boardCorrelations.createElement('point', [angle,epsilon],{size:0.1,withLabel:false}); var diffLinear = epsilon - (-1+2/Math.PI*angle); varianceLinear = varianceLinear + diffLinear*diffLinear; var diffCosine = epsilon + Math.cos(angle); varianceCosine = varianceCosine + diffCosine*diffCosine; //display total fit boardCorrelations.createElement('text',[2.0, -0.7, 'Linear Fitting: ' + varianceLinear],{}); boardCorrelations.createElement('text',[2.0, -0.8, 'Cosine Fitting: ' + varianceCosine],{}); boardCorrelations.createElement('text',[2.0, -0.9, 'Cosine/Linear: ' + varianceCosine/varianceLinear],{}); boardCorrelations.unsuspendUpdate(); }; var clearBoard = function() { JXG.JSXGraph.freeBoard(boardCorrelations); boardCorrelations = JXG.JSXGraph.initBoard('jxgboxCorrelations',{boundingbox:[-0.20, 1.25, 3.4, -1.25],axis:true, showCopyright:false}); boardCorrelations.create('functiongraph', [function(t){ return -Math.cos(t); }, -Math.PI*10, Math.PI*10],{strokeColor: "#66ff66", strokeWidth:2,highlightStrokeColor: "#66ff66", highlightStrokeWidth:2}); boardCorrelations.create('functiongraph', [function(t){ return -1+2/Math.PI*t; }, 0, Math.PI],{strokeColor: "#6666ff", strokeWidth:2,highlightStrokeColor: "#6666ff", highlightStrokeWidth:2}); }; var clearInput = function() { document.getElementById('in_data').value = ''; }; var clearTestDir = function() { document.getElementById('in_test').value = ''; }; var clearOutput = function() { document.getElementById('out_measurements').value = ''; }; var generateTestDir = function() { clearBoard(); var totTestDir = document.getElementById('totTestDir').value; var testDir = new Array(totTestDir); var strData = ""; for(var i=0; i<totTestDir; i++) { //first is Alice, second is Bob testDir[i] = RandomDirection(); strData = strData + testDir[i][0] + ", " + testDir[i][1] + ", " + testDir[i][2]+ ", " ; testDir[i] = RandomDirection(); strData = strData + testDir[i][0] + ", " + testDir[i][1] + ", " + testDir[i][2] + '\n'; } document.getElementById('in_test').value = strData; }; var generateRandomData = function() { clearBoard(); var totAngMoms = document.getElementById('totAngMom').value; var angMom = new Array(totAngMoms); var strData = ""; for(var i=0; i<totAngMoms; i++) { angMom[i] = RandomDirection(); strData = strData + angMom[i][0] + ", " + angMom[i][1] + ", " + angMom[i][2] + '\n'; } document.getElementById('in_data').value = strData; }; var apendResults= function(newData) { var existingData = document.getElementById('out_measurements').value; existingData = existingData + newData; document.getElementById('out_measurements').value = existingData; }; function GenerateAliceOutputFromSharedRandomness(direction, sharedRandomness3DVector) { //replace this with your own function returning +1 or -1 if (Dot(direction, sharedRandomness3DVector) > 0) return +1; else return -1; }; function GenerateBobOutputFromSharedRandomness(direction, sharedRandomness3DVector) { //replace this with your own function returning +1 or -1 if (Dot(direction, sharedRandomness3DVector) < 0) return +1; else return -1; }; var boardCorrelations = JXG.JSXGraph.initBoard('jxgboxCorrelations', {axis:true, boundingbox: [-0.25, 1.25, 3.4, -1.25], showCopyright:false}); clearBoard(); generateRandomData(); generateTestDir(); generateData(); plotData(); </script> </td></tr></table></body>Florin Moldoveanuhttps://plus.google.com/117661996860849443251noreply@blogger.com4tag:blogger.com,1999:blog-3832136017893749497.post-63993462989059693332016-09-10T00:29:00.000-04:002016-09-11T07:31:20.674-04:00<h2 style="text-align: center;">A sinister mystification</h2><div><br /></div><div>Once in a while, events in the society at large overshadow all other considerations. I will put on hold the series about Bell's theorem for this week because, such an event occurred: Mother Teresa was proclaimed to be a saint. So what? What is the big deal?</div><div><br /></div><div>Growing up in Romania, all I heard about her was that she was the symbol of selfless devotion to the poor, a truly remarkable person symbolizing all that it is good in mankind. Coming to US, the public perception was on similar lines and her 1979 Nobel piece prize seemed well deserved. Her recent sainthood was only the realization of a natural public expectation. </div><div><br /></div><div>However things are not always what they appear and in this case the truth it is complete opposite with the perception. The sainthood outcome is the result of public gullibility masterly exploited by a morally bankrupt Catholic Church in collusion with dirty politicians, media, corrupt businessman, a dictatorship monarchy, and at the center of it all a pure evil person advancing a religious fanatic agenda for the benefit of the Catholic Church and her own perverted pleasure: Mother Teresa. </div><div><br /></div><div>The person who blew the whistle on Mother Teresa's con artist mystification was a remarkable person: <a href="https://en.wikipedia.org/wiki/Christopher_Hitchens" target="_blank">Christopher Hitchens</a> with his book: <a href="https://en.wikipedia.org/wiki/The_Missionary_Position:_Mother_Teresa_in_Theory_and_Practice" target="_blank">The Missionary Position</a>. I never heard of Mr. Hitchens until a year ago when I discovered by accident his anti theistic stance. Coming from a country which suffered under communism for decades, I was turned off by his hints of admiration for Marxist ideas. It took me some time to properly asses his integrity and the value of his arguments. In the end I found him a very sharp clear thinker with a courageous attitude. I was surprised to discover he was a mini celebrity in the left political circles in US who alienated part of that audience due to his hawkish attitude and support for the Iraq war and who was also a personal friend of late Justice Scalia-the most conservative member of the US Supreme Court.</div><div><br /></div><div>Now I don't think I will change the minds of the devout Catholics about Mother Theresa, so if you are such a person either take the blue pill and stop reading the rest of this post or take the red pill and keep reading to be shaken from your intellectual complacency and maybe stop buying the bridge the church keeps selling you.</div><div><br /></div><div>To start I encourage you to watch the following videos:</div><div><br /></div><div class="separator" style="clear: both; text-align: center;"><iframe allowfullscreen="" class="YOUTUBE-iframe-video" data-thumbnail-src="https://i.ytimg.com/vi/NJG-lgmPvYA/0.jpg" frameborder="0" height="266" src="https://www.youtube.com/embed/NJG-lgmPvYA?feature=player_embedded" width="320"></iframe><iframe allowfullscreen="" class="YOUTUBE-iframe-video" data-thumbnail-src="https://i.ytimg.com/vi/wleVrKRIejo/0.jpg" frameborder="0" height="266" src="https://www.youtube.com/embed/wleVrKRIejo?feature=player_embedded" width="320"></iframe></div><div><br /></div><div>It's too long to explain the whole mystification story but here is the gist:</div><div><br /></div><div>Mother Teresa was not a friend of the poor but of poverty and suffering. She derived a perverted gratification from witnessing and encouraging suffering because she thought this would bring her closer to her salvation. This is the mark of a psychopath which derives meaning and pleasure from other's suffering. The places she established were not designed to alleviate suffering but decrepit places of abject poverty and suffering were people were simply brought to die. Young people were denied simple medical care which could have easily saved their lives because their suffering was sanctioned by a fanatical religious agenda. </div><div><br /></div><div>So maybe Mother Teresa applied the same principles on herself. Not at all. When she was ill no expenses were spared and she took advantage of the latest medical advances. What a cosmic hypocrite. But where did the money come from to establish her places of suffering? Among other sources from the brutal Duvalier dictatorship family in Haiti responsible for the deaths of tens of thousands of people over decades, and from a corrupt business person convicted of stealing the life savings of thousands of people. But perhaps the Catholic Church upon learning about this returned the blood and dirty money to the victims? After all Mother Teresa acted with the full blessing of the church. Think again.</div><div><br /></div><div>Hitchens has a simple but true position: <a href="https://en.wikipedia.org/wiki/God_Is_Not_Great" target="_blank">religion poisons everything</a>. It takes time to evaluate his claims and try to refute it if you can. It is much more convenient to ignore it, but then I assume that if you reached this paragraph you took the red pill. Many religious figures and "religious scholars" tried debating with Hitchens only to be shamefully debunked. None won the debates. Hitchslap is now an urban dictionary verb.</div><div><br /></div><div>On Mother Teresa Hitchens put it like this: <i>"It is a certainty that millions of people died because of her work. And millions more were made poorer, or stupider, more sick, more diseased, more fearful, and more ignorant."</i></div><div><i><br /></i></div><div>Her sainthood is a scandal due to a sinister and cynical mystification perpetuated by many people over decades for their own benefits. The shame list includes the Catholic Church with all its popes who sanctioned Mother Teresa fanatical religious agenda, politicians like Ronald Reagan, public figures like Princess Dianna, the Nobel Peace prize committee, media like CNN, all who exploited public opinions for their own agendas, as well as corrupt businessman and dictators who provided the money in exchange of whitewashing their public image. </div>Florin Moldoveanuhttps://plus.google.com/117661996860849443251noreply@blogger.com10tag:blogger.com,1999:blog-3832136017893749497.post-7393711262604263022016-09-02T23:19:00.000-04:002016-09-02T23:19:43.884-04:00<h2 style="text-align: center;">I was wrong and Lubos Motl was right </h2><h2 style="text-align: center;">but quantum correlations are not like Bertlmann's socks</h2><div><br /></div><div>It finally happened. I was too careless and I <b>stupidly </b>challenged Lubos to <i>"Show me a non-factorizable state in CM for spatially separated physical systems!!!" </i></div><div><br /></div><div>And he indeed presented one:</div><div><br /></div><i>"Bertlemann's socks? The state is described by the probability distribution that has 0%,50%,50%,0% for left-and-right-green, left-green right-red, left-red right-green, left-and-right-read. The state, P(colorLEFT, colorRIGHT) isn't factorized. "</i><div><i><br /></i></div><div>This is obscurely written but it is ultimately correct. Glup, glup, glup, he sank my battleship, bruised my ego, won the battle, but not the war :) <b>I will attempt to show that quantum correlations are <u>not</u> like Bertlmann's socks correlations because </b><b>quantum correlations depend in an essential way on the observer.</b><b> </b>First let me clarify Lubos example and why he is right in his example.</div><div><br /></div><div>First what is this business of Bertlmann's socks? This came from a famous <a href="https://cds.cern.ch/record/142461/files/198009299.pdf" target="_blank">Bell paper</a>:</div><div><br /></div><div class="separator" style="clear: both; text-align: center;"><a href="https://2.bp.blogspot.com/-L2NGg7q_dlw/V8oZy28pj0I/AAAAAAAABBQ/I895V5HyzB0ZYaMSfqEnT1ZbZNOjGOXFgCLcB/s1600/Socks.png" imageanchor="1" style="margin-left: 1em; margin-right: 1em;"><img border="0" height="257" src="https://2.bp.blogspot.com/-L2NGg7q_dlw/V8oZy28pj0I/AAAAAAAABBQ/I895V5HyzB0ZYaMSfqEnT1ZbZNOjGOXFgCLcB/s320/Socks.png" width="320" /></a></div><div class="separator" style="clear: both; text-align: center;"><br /></div><div class="separator" style="clear: both; text-align: left;">Mr Bertlmann is a real person who uses to wear socks of different colors. The moment you see that one of his socks is pink you know that his other sock is not pink. (Lubos is using red and green) and there is a correlation between the sock colors. In general, you learn from statistic 101 that a joint probability \(P(A, B)\) factorizes: \(P(A,B)=P(A)P(B)\) if the two probabilities are independent. Therefore it was blatantly stupid on my part to ask Lubos for a non-factorizable example. But I had something else in mind for which I carelessly skipped the essential details and now I will explain it properly.</div><div class="separator" style="clear: both; text-align: left;"><br /></div><div class="separator" style="clear: both; text-align: left;">The Bell theorem factorization condition is not on independent probabilities but on <b><u>residual</u> probabilities:</b></div><div class="separator" style="clear: both; text-align: left;"><br /></div><div class="separator" style="clear: both; text-align: left;">\(P(A,B, \lambda) = P(A, \lambda) P(B, \lambda)\)</div><div class="separator" style="clear: both; text-align: left;"><br /></div><div class="separator" style="clear: both; text-align: left;">In the case of Bertlmann's socks there are no residual probabilities! But what does this mean?</div><div class="separator" style="clear: both; text-align: left;"><br /></div><div class="separator" style="clear: both; text-align: left;">Correlations can be generated due to physical interaction between two systems or because they share a common cause. One way people explain this is by inventing silly games where two players <b>agree in advance on a strategy</b> but they are not allowed to communicate during the actual game. For example consider this: Alice and Bob each have a coin and they flip it heads or tails. Then they both have to guess the result of each other and they win the game when successful. If they guess randomly the best odds of wining the game is 25% of the time. However there are two strategies they can agree beforehand which increases their odds of winning to 50%. (Can you guess what those strategies might be?). <b>Strategies, common causes and interactions, outcome filtering, all generate correlations and ruin the factorization condition. </b></div><div class="separator" style="clear: both; text-align: left;"><b><br /></b></div><div class="separator" style="clear: both; text-align: left;"><b>But quantum mechanics is probabilistic and even if you account for all interactions the outcome is still random. </b>After accounting for all those factors in the form of a generic variable \(\lambda\), the remaining probability is called a <b>residual probability</b>. Lambda can be a variable, or a set of variables of an unspecified format. <b>The point is that after accounting for all common causes, if the physical systems A and B are spatially separated, they cannot communicate and in the quantum case it seems reasonable to demand</b> \(P(A,B, \lambda) = P(A, \lambda) P(B, \lambda)\).</div><div class="separator" style="clear: both; text-align: left;"><br /></div><div class="separator" style="clear: both; text-align: left;">But such a factorization is at odds with both quantum mechanics predictions, and experimental results. <b><u>This is the basis on which people in foundations of quantum mechanics call nature nonlocal.</u></b></div><div class="separator" style="clear: both; text-align: left;"><b><br /></b></div><div class="separator" style="clear: both; text-align: left;">I think I know how Lubos may attack this. I bet he will say that \(\lambda\) is basically a hidden variable and quantum mechanics does not admit hidden variables. This line of argument is faulty. Carefully read (several times) Bell's paper from the link above and you see that \(\lambda\) represents the coding of the usual way correlations are accounted by this common \(\lambda\) which is present in all 3 factors.</div><div class="separator" style="clear: both; text-align: left;"><br /></div><div class="separator" style="clear: both; text-align: left;">Let me spell out better Bell's argument following a well written paper by Bernard d'Espagnat. Bell considers the singlet state and in there you have Alice and Bob in two spatially separated labs measuring the spins on directions a, and b and obtaining the outcomes A, and B respectively, Let \(\lambda\) represent a common source of the correlation between A and B. Then one can write the standard rule of statistics: \(P(M,N) = P(M|N)P(N)\) like this:</div><div class="separator" style="clear: both; text-align: left;"><br /></div><div class="separator" style="clear: both; text-align: left;">\(P(A,B|a,b,\lambda) = P(A|a,b,B,\lambda)P(B|a,b,\lambda)\)</div><div class="separator" style="clear: both; text-align: left;"><br /></div><div class="separator" style="clear: both; text-align: left;">then <b>because what happens at Alice's side does not depend on what happens on Bob side and the other way around</b>:</div><div class="separator" style="clear: both; text-align: left;"><br /></div><div class="separator" style="clear: both; text-align: left;">\(P(A|a,b,B,\lambda) = P(A|a, \lambda)\)</div><div class="separator" style="clear: both;">\(P(B|a,b,\lambda) = P(B|b, \lambda)\)</div><div class="separator" style="clear: both;"><br /></div><div class="separator" style="clear: both;">yields:</div><div class="separator" style="clear: both;"><br /></div><div class="separator" style="clear: both;">\(P(A,B|a,b,\lambda) = P(A|a, \lambda) P(B|b,\lambda)\)</div><div class="separator" style="clear: both;"><br /></div><div class="separator" style="clear: both;">From this the usual Bell theorem follows and disagreement with experiment is used to point out that <b>what happens at Alice's side does depend on what happens on Bob side</b>. In other words, nonlocality.</div><div><br /></div><div>I disagree (with good arguments) with several points of view:</div><div><br /></div><div><ul><li>I disagree with Lubos that nature does not follow the logic of projectors and follows the Boolean logic instead. (measurements project on a Hilbert subspace and quantum OR and quantum NOT are different than their classical counterparts)</li><li>I disagree with Tim Maudlin who best defends the point that Bell proved nonlocality based on the argument above (<b>Quantum mechanics is contextual and because of that:</b> \(P(A|a,b,B,\lambda) \ne P(A|a, \lambda)\) <b>.</b> As such <b>Bell's factorization condition is not justified. </b><b><u>Only if you think in terms of classical Boolean logic avoiding contextuality the nonlocality conclusion is inescapable. </u></b>)</li><li>I disagree with Lubos that quantum correlations are like Bertlmann's socks. To eliminate thinking about lambda as a hidden variable, picture it as fixing all conceivable sources of correlations (Bertlmann's socks type or any other type). Now add locality independence, Boolean logic, and you get correlations at odds with experiments. Pick your poison: give up locality or give up Boolean logic. The one to give up is Boolean logic. <b>Unlike Bertlmann's socks correlations, quantum correlations depend in an essential way on the observer.</b></li><li>I disagree with giving up on locality and that the Bohmian position represents a valid description of nature (what happens with he quantum potential of a particle after the particle encounters its antiparticle? Both vanish or not vanish result in predictions incompatible with observations)</li></ul></div><div><br /></div><div>Bell himself provided 4 possible explanations of quantum mechanics' correlations:</div><div>-quantum mechanics is wrong sometimes</div><div>-superdeterminism (lack of free will)</div><div>-faster than light causal influences</div><div>-non-realism</div><div><br /></div><div>My take on this is that quantum mechanics is the complete and correct description of nature, there is free will, there are no faster than light causal influences, realism is incorrect, and what people call nonlocality is actually a manifestation of contextuality because the observer (but not consciousness) does play an active role in generating the experimental outcome. This active role happens even when parts of the composed system are out of causal reach because quantum mechanics is blind to space-time separations.</div>Florin Moldoveanuhttps://plus.google.com/117661996860849443251noreply@blogger.com10