1 / 8

Institute for Experimental Physics University of Vienna

Institute for Experimental Physics University of Vienna. Institute for Quantum Optics and Quantum Information Austrian Academy of Sciences. Mathematical Undecidability & Quantum Complementarity. Č aslav Brukner (in collaboration with Tomasz Paterek ) Reykjavik, Iceland July 2007.

latrisha
Download Presentation

Institute for Experimental Physics University of Vienna

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Institute for Experimental Physics University of Vienna Institute for Quantum Optics and Quantum Information Austrian Academy of Sciences Mathematical Undecidability & Quantum Complementarity Časlav Brukner (in collaboration with Tomasz Paterek) Reykjavik, Iceland July 2007

  2. Information Information-theoretical formulation of quantum physics: The most elementary system contains one bit of information. → Irreducible Randomness Zeilinger, 1999 Brukner, Zeilinger 2002 quant-ph/0212084 Information-theoretical formulation of Gödel’s theorem: If a theorem contains more information than a given set of axioms, then it is impossible for the theorem to be derived from the axioms. Chaitin, 1982 Are the two related to each other?

  3. Undecidability: Simple Example Axiom: “f(0)= 0” 1bit Can be neither proved nor disproved: needs 2 bits Theorem: “f(0)=0 andf(1)=0” Theorem: “f(0)=0 andf(0) = f(1)”. Independent Statements: “f(0)= 0”, “f(1)= 0”, “f(0)=f(1)”

  4. Closer look … 1 bit available → 3 logically complementary statements 3 1 2

  5. 2 2 3 3 1 1 Axiom Theorem „Experimental Test of Theorems“ 2 3 1 2 3 1 Axiom Theorem

  6. How to represent mathematical functions physically?

  7. Testing theorems using quantum mechanics

  8. Testing Undecidable Theorems y y z x z x State Preparation Measurement Bases • Systems give answers when asked (detectors “click”) • The question asked is undecidable • → Random results! Is quantum randomness physical expression for mathematical undecidability?

More Related