Quantum Theory Cannot Consistently Describe the Use of Itself
Total Page:16
File Type:pdf, Size:1020Kb
Quantum theory cannot consistently describe the use of itself Daniela Frauchiger and Renato Renner∗ Institute for Theoretical Physics, ETH Zurich, 8093 Zurich; Switzerland Abstract Quantum theory provides an extremely accurate description of fundamental processes in physics. It thus seems likely that the theory is applicable beyond the, mostly microscopic, domain in which it has been tested experimentally. Here we propose a Gedankenexperiment to investigate the question whether quantum theory can, in principle, have universal validity. The idea is that, if the answer was yes, it must be possible to employ quantum theory to model complex systems that include agents who are themselves using quantum theory. Analysing the experiment under this presumption, we find that one agent, upon observing a particular measurement outcome, must conclude that another agent has predicted the opposite outcome with certainty. The agents' conclusions, although all derived within quantum theory, are thus inconsistent. This indicates that quantum theory cannot be extrapolated to complex systems, at least not in a straightforward manner. Introduction Direct experimental tests of quantum theory are mostly restricted to microscopic domains. Nevertheless, quantum theory is commonly regarded as beging (almost) universally valid. It is not only used to describe fundamental processes in particle and solid state physics, but also, for instance, to explain the cosmic microwave background or the radiation of black holes. The presumption that the validity of quantum theory extends to larger scales has remarkable con- sequences, as noted already in 1935 by Schr¨odinger[1]. His famous example consisted of a cat that is brought into a state corresponding to a superposition of two macroscopically entirely different states, one in which it is dead and one in which it is alive. Schr¨odinger pointed out, however, that such macroscopic superposition states do not represent anything contradictory in themselves. This view was not shared by everyone. In 1967, Wigner proposed an argument, known as the Wigner's Friend Paradox, which should show that \quantum mechanics cannot have unlimited valid- ity" [2]. His idea was to consider the views of two different observers in an experiment analogous to the one depicted by Fig.1. One observer, called agent F, measures the vertical polarisation z of a spin 1 one-half particle S, such as a silver atom. Upon observing the outcome, which is either z = 2 or 1 − z = + 2 , agent F would thus say that S is in state = or = ; (1) S j#iS S j"iS respectively. The other observer, agent W, has no direct access to the outcome z observed by his friend F. Agent W could instead model agent F's lab as a big quantum system, L S D F, which contains the spin S as a subsystem, another subsystem, D, for the friend's measurement≡ ⊗ devices⊗ and everything else connected to them, as well as a subsystem F that includes the friend herself. Suppose that, from agent W's perspective, the lab L is initially in a pure state and that it remains isolated during agent F's spin measurement experiment. (One may object that these assumptions are unrealistic [3], but, crucially, the laws of quantum theory do not preclude that they be satisfied to arbitrarily good ∗[email protected] 1 <latexit sha1_base64="XvskfxKCf57ZWVUyjcLkv0bxg3Q=">AAACEHicbVC7TsMwFL0pr1JeKUgsLBEVElOVsMBYwcLA0Er0ITVRcFynteo4ke2Aqig/wc4Kv8CGWPkDFmY+A6ftAC1HsnR0zn35BAmjUtn2p1FaWV1b3yhvVra2d3b3zOp+R8apwKSNYxaLXoAkYZSTtqKKkV4iCIoCRrrB+Krwu/dESBrzWzVJiBehIachxUhpyTerblNSP3MjpEYiym7y3Ddrdt2ewlomzpzUGoetrzsAaPrmtzuIcRoRrjBDUvYdO1FehoSimJG84qaSJAiP0ZD0NeUoItLLpqfn1olWBlYYC/24sqbq744MRVJOokBXFifKRa8Q//U4xSQUCC/sV+GFl1GepIpwPFsfpsxSsVWkYw2oIFixiSYIC6p/YOER0mOUzrCio3EWg1gmnbO6Y9edllNrXMIMZTiCYzgFB86hAdfQhDZgeIAneIYX49F4Nd6M91lpyZj3HMAfGB8/uUifdQ==</latexit>sha1_base64="hjRNlJ7vmUcVO2RAuC4xSEThMTM=">AAACEHicbVA7T8MwGHTKq5RXChILi0WFxFQlLDBWZWFgaCX6kJoqclyntWo7ke2Aqih/gp0VJnY2hMTEP2Bh5mfgtB2g5SRLp7vv5QtiRpV2nE+rsLK6tr5R3Cxtbe/s7tnl/baKEolJC0cskt0AKcKoIC1NNSPdWBLEA0Y6wfgy9zu3RCoaiRs9iUmfo6GgIcVIG8m3y15DUT/1ONIjydPrLPPtilN1poDLxJ2TSu2w+UWf6+8N3/72BhFOOBEaM6RUz3Vi3U+R1BQzkpW8RJEY4TEakp6hAnGi+un09AyeGGUAw0iaJzScqr87UsSVmvDAVOYnqkUvF//1BMUklAgv7NfhRT+lIk40EXi2PkwY1BHM04EDKgnWbGIIwpKaH0A8QmaMNhmWTDTuYhDLpH1WdZ2q23QrtTqYoQiOwDE4BS44BzVwBRqgBTC4Aw/gETxZ99aL9Wq9zUoL1rznAPyB9fEDMMChMQ==</latexit>sha1_base64="U6ArxhaKakGP6NDZTaBFadF8pXE=">AAACEHicbVC7TsMwFL0pr1JeKYwsFhUSU5WwwFjBwsBQJPqQ2ihyXKe16jiR7YCqKD/Bzgq/wIZY+QP+gM/AaTNAy5EsHZ1zXz5BwpnSjvNlVdbWNza3qtu1nd29/QO7fthVcSoJ7ZCYx7IfYEU5E7Sjmea0n0iKo4DTXjC9LvzeA5WKxeJezxLqRXgsWMgI1kby7fqwrZifDSOsJzLKbvPctxtO05kDrRK3JA0o0fbt7+EoJmlEhSYcKzVwnUR7GZaaEU7z2jBVNMFkisd0YKjAEVVeNj89R6dGGaEwluYJjebq744MR0rNosBUFieqZa8Q//UEIzSUmCzt1+GllzGRpJoKslgfphzpGBXpoBGTlGg+MwQTycwPEJlgM0abDGsmGnc5iFXSPW+6TtO9cxutqzKkKhzDCZyBCxfQghtoQwcIPMIzvMCr9WS9We/Wx6K0YpU9R/AH1ucPAQKdkA==</latexit> S<latexit sha1_base64="GW+BpxDswORBjNoNFjjKGTYw75s=">AAACB3icbVC7TsMwFL0prxJeBUYWiwqJqUpYYEFUsDAWQR+ijSrHdVqrthPZDlIVVWJlZ4VfYEOsTHwDf8Bn4LQdoHAkS0fn3JdPmHCmjed9OoWFxaXlleKqu7a+sblV2t5p6DhVhNZJzGPVCrGmnElaN8xw2koUxSLktBkOL3K/eUeVZrG8MaOEBgL3JYsYwcZKtx2BzUCJ7HrcLZW9ijcB+kv8GSmffbin9wBQ65a+Or2YpIJKQzjWuu17iQkyrAwjnI7dTqppgskQ92nbUokF1UE2uXiMDqzSQ1Gs7JMGTdSfHRkWWo9EaCvzC/W8l4v/epIRGilM5vab6CTImExSQyWZro9SjkyM8lBQjylKDB9Zgoli9geIDLAdY2x0ro3Gnw/iL2kcVXyv4l/55eo5TFGEPdiHQ/DhGKpwCTWoAwEJj/AEz86D8+K8Om/T0oIz69mFX3DevwFnhZwO</latexit>sha1_base64="qjsk0YoVb0VEDsckOZ7w095kORk=">AAACB3icbVC7TsMwFHXKq4RXgZHFokJiqhIWWBAVLIxF0Idoq8pxb1qrthPZDlIV9QPYWWHhA9gQKxOfgPgDPgOn7QAtR7J0dM59+QQxZ9p43peTW1hcWl7Jr7pr6xubW4XtnZqOEkWhSiMeqUZANHAmoWqY4dCIFRARcKgHg4vMr9+B0iySN2YYQ1uQnmQho8RY6bYliOkrkV6POoWiV/LGwPPEn5Li2Yd7Gj9/upVO4bvVjWgiQBrKidZN34tNOyXKMMph5LYSDTGhA9KDpqWSCNDtdHzxCB9YpYvDSNknDR6rvztSIrQeisBWZhfqWS8T//UkoxAqQmf2m/CknTIZJwYknawPE45NhLNQcJcpoIYPLSFUMfsDTPvEjjE2OtdG488GMU9qRyXfK/lXfrF8jibIoz20jw6Rj45RGV2iCqoiiiR6QI/oybl3XpxX521SmnOmPbvoD5z3H3kMnYI=</latexit>sha1_base64="5cdJPwtUKMBeIawMtLaHqQhkZ8s=">AAACB3icbVC7TsMwFL0pr1JeBUYWiwqJqUpYYKxgYSyCtog2qhz3prXqOJHtIFVRP4CdFX6BDbHyGfwBn4HTZoCWI1k6Oue+fIJEcG1c98sprayurW+UNytb2zu7e9X9g7aOU8WwxWIRq/uAahRcYstwI/A+UUijQGAnGF/lfucRleaxvDOTBP2IDiUPOaPGSg+9iJqRirLbab9ac+vuDGSZeAWpQYFmv/rdG8QsjVAaJqjWXc9NjJ9RZTgTOK30Uo0JZWM6xK6lkkao/Wx28ZScWGVAwljZJw2Zqb87MhppPYkCW5lfqBe9XPzXk5xhqChb2G/CCz/jMkkNSjZfH6aCmJjkoZABV8iMmFhCmeL2B4SNqB1jbHQVG423GMQyaZ/VPbfu3Xi1xmURUhmO4BhOwYNzaMA1NKEFDCQ8wwu8Ok/Om/PufMxLS07Rcwh/4Hz+ANCgmkE=</latexit> L <latexit sha1_base64="pyW9Bkf9Bd9lWADQi2StAQVtzGw=">AAACEHicbVC7TsMwFL0pr1JeKYwwRFRITFXCAmMFC2Mr6ENqoshxndaq40S2A6qi/AQ7K/xCN8TKH7Ax8hk4bQdoOZKlo3PuyydIGJXKtj+N0tr6xuZWebuys7u3f2BWDzsyTgUmbRyzWPQCJAmjnLQVVYz0EkFQFDDSDcY3hd99IELSmN+rSUK8CA05DSlGSku+WXUTSf3MjZAaiSi7y3PfrNl1ewZrlTgLUmucTFtfAND0zW93EOM0IlxhhqTsO3aivAwJRTEjecVNJUkQHqMh6WvKUUSkl81Oz60zrQysMBb6cWXN1N8dGYqknESBrixOlMteIf7rcYpJKBBe2q/CKy+jPEkV4Xi+PkyZpWKrSMcaUEGwYhNNEBZU/8DCI6THKJ1hRUfjLAexSjoXdceuOy2n1riGOcpwDKdwDg5cQgNuoQltwPAIz/ACr8aTMTXejPd5aclY9BzBHxgfP4NOn/w=</latexit>sha1_base64="47CEc2b6x1X1o5Q2tMlOTSh49ck=">AAACEHicbVC7TsMwFHXKq5RXCiMIWVRITFXCAmMFC2Mr6ENqo8hxndaq7US2A6qijPwAOyv8QjfEyh/wB0j8BE7bAVqOZOnonPvyCWJGlXacT6uwsrq2vlHcLG1t7+zu2eX9looSiUkTRyySnQApwqggTU01I51YEsQDRtrB6Dr32/dEKhqJOz2OicfRQNCQYqSN5NvlXqyon/Y40kPJ09ss8+2KU3WmgMvEnZNK7WjS+H48ntR9+6vXj3DCidCYIaW6rhNrL0VSU8xIVuolisQIj9CAdA0ViBPlpdPTM3hqlD4MI2me0HCq/u5IEVdqzANTmZ+oFr1c/NcTFJNQIrywX4eXXkpFnGgi8Gx9mDCoI5inA/tUEqzZ2BCEJTU/gHiIzBhtMiyZaNzFIJZJ67zqOlW34VZqV2CGIjgEJ+AMuOAC1MANqIMmwOABPIMX8Go9WRPrzXqflRasec8B+APr4weAV6Fi</latexit>sha1_base64="kZSxv6+jz4yaFlDqQw3zqPObrwc=">AAACEHicbVC7TsMwFL0pr1JeKYwsFhUSU5WwwFjBwlgEfUhtFDmu01p1nMh2QFWUn2BnhV9gQ6z8AX/AZ+C0GaDlSJaOzrkvnyDhTGnH+bIqa+sbm1vV7drO7t7+gV0/7Ko4lYR2SMxj2Q+wopwJ2tFMc9pPJMVRwGkvmF4Xfu+BSsVica9nCfUiPBYsZARrI/l2fZgo5mfDCOuJjLK7PPfthtN05kCrxC1JA0q0fft7OIpJGlGhCcdKDVwn0V6GpWaE07w2TBVNMJniMR0YKnBElZfNT8/RqVFGKIyleUKjufq7I8ORUrMoMJXFiWrZK8R/PcEIDSUmS/t1eOllTCSppoIs1ocpRzpGRTpoxCQlms8MwUQy8wNEJtiM0SbDmonGXQ5ilXTPm67TdG/dRuuqDKkKx3ACZ+DCBbTgBtrQAQKP8Awv8Go9WW/Wu/WxKK1YZc8R/IH1+QNBZp23</latexit> S z<latexit sha1_base64="diKaSBnv4kWIs/MA5TN6QETczgI=">AAAB/nicbVDLSgNBEOyNrxhfUY9eBoPgKex60YsY9OIxAfOAZAmzk95kyOzsMjMrxCWQu1f9BW/i1T/wG/wDP8PJ46DRgoaiqnt6uoJEcG1c99PJrayurW/kNwtb2zu7e8X9g4aOU8WwzmIRq1ZANQousW64EdhKFNIoENgMhjdTv3mPSvNY3plRgn5E+5KHnFFjpdpDt1hyy+4M5C/xFqR09VG4nABAtVv86vRilkYoDRNU67bnJsbPqDKcCRwXOqnGhLIh7WPbUkkj1H42++iYnFilR8JY2ZKGzNSfExmNtB5Fge2MqBnoZW8q/utJzjBUlC3tN+GFn3GZpAYlm68PU0FMTKZZkB5XyIwYWUKZ4vYCwgbUPmNsYgUbjbccxF/SOCt7btmreaXKNcyRhyM4hlPw4BwqcAtVqAMDhEd4gmdn4rw4r87bvDXnLGYO4Rec928WK5f+</latexit>sha1_base64="2sApYc+yanwWBCp6RgSllyeoXnE=">AAAB/nicbVDLSsNAFL2prxpfVZdugkVwVRI3uhGLbly2YB/QhjKZ3rRDJ5MwMxFqKLh3q18guBO3/oGfIP6Bn+H0sdDWAxcO59w7d+4JEs6Udt0vK7e0vLK6ll+3Nza3tncKu3t1FaeSYo3GPJbNgCjkTGBNM82xmUgkUcCxEQyuxn7jFqVisbjRwwT9iPQECxkl2kjVu06h6JbcCZxF4s1I8eLDPk+eP+1Kp/Dd7sY0jVBoyolSLc9NtJ8RqRnlOLLbqcKE0AHpYctQQSJUfjb56Mg5MkrXCWNpSmhnov6eyEik1DAKTGdEdF/Ne2PxX08wiqEkdG6/Ds/8jIkk1SjodH2YckfHzjgLp8skUs2HhhAqmbnAoX1intEmMdtE480HsUjqJyXPLXlVr1i+hCnycACHcAwenEIZrqECNaCA8ACP8GTdWy/Wq/U2bc1Zs5l9+APr/Qcnsply</latexit>sha1_base64="e/nwL20XZrQwgFiRhif+T1j26BI=">AAAB/nicbVDLTgJBEOzFF+IL9ehlIjHxRHa9yJHoxSMk8khgQ2aHXpgwO7uZmTXBDYl3r/oL3oxXf8U/8DMcYA8KVtJJpap7erqCRHBtXPfLKWxsbm3vFHdLe/sHh0fl45O2jlPFsMViEatuQDUKLrFluBHYTRTSKBDYCSa3c7/zgErzWN6baYJ+REeSh5xRY6Xm46BccavuAmSdeDmpQI7GoPzdH8YsjVAaJqjWPc9NjJ9RZTgTOCv1U40JZRM6wp6lkkao/Wzx0Rm5sMqQhLGyJQ1ZqL8nMhppPY0C2xlRM9ar3lz815OcYagoW9lvwpqfcZmkBiVbrg9TQUxM5lmQIVfIjJhaQpni9gLCxtQ+Y2xiJRuNtxrEOmlfVT236jW9Sv0mD6kIZ3AOl+DBNdThDhrQAgYIz/ACr86T8+a8Ox/L1oKTz5zCHzifP39GljE=</latexit>