Mathematical Undecidability and Quantum...
Transcript of Mathematical Undecidability and Quantum...
![Page 1: Mathematical Undecidability and Quantum Randomnesscewqo08.phy.bg.ac.rs/UserFiles/File/prezentations/Paterek.pdf · Mathematical Undecidability and Quantum Randomness. COLLABORATORS](https://reader036.fdocuments.us/reader036/viewer/2022071106/5fe022cacf1d797c9250574b/html5/thumbnails/1.jpg)
Tomasz Paterek
Institute for Quantum Optics and Quantum InformationAustrian Academy of Sciences
CEWQO Belgrade30th May 2008
Mathematical Undecidabilityand Quantum Randomness
![Page 2: Mathematical Undecidability and Quantum Randomnesscewqo08.phy.bg.ac.rs/UserFiles/File/prezentations/Paterek.pdf · Mathematical Undecidability and Quantum Randomness. COLLABORATORS](https://reader036.fdocuments.us/reader036/viewer/2022071106/5fe022cacf1d797c9250574b/html5/thumbnails/2.jpg)
C O L L A B O R ATO R S
Theory
Experiment
JohannesKofler
PeterKlimek
CaslavBrukner
RobertPrevedel
MarkusAspelmeyer
AntonZeilinger
![Page 3: Mathematical Undecidability and Quantum Randomnesscewqo08.phy.bg.ac.rs/UserFiles/File/prezentations/Paterek.pdf · Mathematical Undecidability and Quantum Randomness. COLLABORATORS](https://reader036.fdocuments.us/reader036/viewer/2022071106/5fe022cacf1d797c9250574b/html5/thumbnails/3.jpg)
C O N T E N T
What is the origin of quantum randomness?
Quantum randomness is a manifestation of mathematical undecidability.
![Page 4: Mathematical Undecidability and Quantum Randomnesscewqo08.phy.bg.ac.rs/UserFiles/File/prezentations/Paterek.pdf · Mathematical Undecidability and Quantum Randomness. COLLABORATORS](https://reader036.fdocuments.us/reader036/viewer/2022071106/5fe022cacf1d797c9250574b/html5/thumbnails/4.jpg)
C H A I T I N ’ S T H E O R E M
Undecidability arises if a proposition, together with the axioms, contains more information than the set of axioms itself.
A proposition is undecidable within a set of axioms,if it can neither be proved nor disproved within the set.
![Page 5: Mathematical Undecidability and Quantum Randomnesscewqo08.phy.bg.ac.rs/UserFiles/File/prezentations/Paterek.pdf · Mathematical Undecidability and Quantum Randomness. COLLABORATORS](https://reader036.fdocuments.us/reader036/viewer/2022071106/5fe022cacf1d797c9250574b/html5/thumbnails/5.jpg)
T H E O N E - B I T A X I O M AT I C S Y S T E M
Boolean functions of a binary argument
x ! {0,1}" y = f (x) ! {0,1}
Single bit axiom: f (0) = 0
Proposition to be proved: f (0) = f (1)?
Undecidable!Requires two bits, but the axiom contains only one.
Similarly, is undecidable within the axiom.f (1) =?
![Page 6: Mathematical Undecidability and Quantum Randomnesscewqo08.phy.bg.ac.rs/UserFiles/File/prezentations/Paterek.pdf · Mathematical Undecidability and Quantum Randomness. COLLABORATORS](https://reader036.fdocuments.us/reader036/viewer/2022071106/5fe022cacf1d797c9250574b/html5/thumbnails/6.jpg)
L O G I C A L C O M P L E M E N TA R I T Y
Given limited information resources, propositions which cannot be simultaneously ascribed definite truth values are logically complementary.
(A) f (0) = 0
f (1) = 0
f (0) = f (1)(C)
(B)
![Page 7: Mathematical Undecidability and Quantum Randomnesscewqo08.phy.bg.ac.rs/UserFiles/File/prezentations/Paterek.pdf · Mathematical Undecidability and Quantum Randomness. COLLABORATORS](https://reader036.fdocuments.us/reader036/viewer/2022071106/5fe022cacf1d797c9250574b/html5/thumbnails/7.jpg)
F R O M M AT H TO P H Y S I C S
A black box encodes the Boolean functions
f(x)=0 f(1)=1 f(0)=1
input state
x=0x=1
measurement
U = ! f (0)x ! f (1)
z
![Page 8: Mathematical Undecidability and Quantum Randomnesscewqo08.phy.bg.ac.rs/UserFiles/File/prezentations/Paterek.pdf · Mathematical Undecidability and Quantum Randomness. COLLABORATORS](https://reader036.fdocuments.us/reader036/viewer/2022071106/5fe022cacf1d797c9250574b/html5/thumbnails/8.jpg)
Q U A N T U M A N D L O G I C A L C O M P L E M E N TA R I T Y
Quantum complementary states answer logically complementary questions.
U = ! f (0)x ! f (1)
z
|x±! U = ! f (0)x ! f (1)
z
U = ! f (0)x ! f (1)
z|y±!
|z±!
f (1) =?
f (0) = f (1)?
f (0) =?
z
x
y
![Page 9: Mathematical Undecidability and Quantum Randomnesscewqo08.phy.bg.ac.rs/UserFiles/File/prezentations/Paterek.pdf · Mathematical Undecidability and Quantum Randomness. COLLABORATORS](https://reader036.fdocuments.us/reader036/viewer/2022071106/5fe022cacf1d797c9250574b/html5/thumbnails/9.jpg)
E X P E R I M E N TA L I L L U S T R AT I O N
x y0 y1 y2 y3
0 0 0 1 1
1 0 1 0 1
![Page 10: Mathematical Undecidability and Quantum Randomnesscewqo08.phy.bg.ac.rs/UserFiles/File/prezentations/Paterek.pdf · Mathematical Undecidability and Quantum Randomness. COLLABORATORS](https://reader036.fdocuments.us/reader036/viewer/2022071106/5fe022cacf1d797c9250574b/html5/thumbnails/10.jpg)
U N D E C I D A B I L I T Y A N D R A N D O M N E S S
Mathematics/Logic Quantum Physics
Proposition Measurement
Axioms State
Decidability/Undecidability Definiteness/Randomness
f (0) =? f (1) =? f (0) = f (1)? f (0) =? f (1) =? f (0) = f (1)? f (0) =? f (1) =? f (0) = f (1)?
![Page 11: Mathematical Undecidability and Quantum Randomnesscewqo08.phy.bg.ac.rs/UserFiles/File/prezentations/Paterek.pdf · Mathematical Undecidability and Quantum Randomness. COLLABORATORS](https://reader036.fdocuments.us/reader036/viewer/2022071106/5fe022cacf1d797c9250574b/html5/thumbnails/11.jpg)
R A N D O M N E S S F R O M U N D E C I D A B I L I T Y
Quantum systems have limited information contentHolevo, Zeilinger
Measurements are identified with propositions
When a quantum state is measured in a complementary basis the results must contain no information about the truth of the undecidable proposition. They must be random.
Mathematical reasoning for irreducible quantum randomness
![Page 12: Mathematical Undecidability and Quantum Randomnesscewqo08.phy.bg.ac.rs/UserFiles/File/prezentations/Paterek.pdf · Mathematical Undecidability and Quantum Randomness. COLLABORATORS](https://reader036.fdocuments.us/reader036/viewer/2022071106/5fe022cacf1d797c9250574b/html5/thumbnails/12.jpg)
M U LT I - B I T A X I O M S
Encoded in stabilizer states
Partial undecidability
What is the truth value?
|GHZ!= (|z+!1|z+!2|z+!3 + |z"!1|z"!2|z"!3)/#
2
f1(0)+ f1(1)+ f2(0)+ f2(1)+ f3(1) = 1 !y!!y!!x
f1(0)+ f1(1)+ f2(1)+ f3(0)+ f3(1) = 1 !y!!x!!y
f1(1)+ f2(0)+ f2(1)+ f3(0)+ f3(1) = 1 !x!!y!!y
Logic: f1(1)+ f2(1)+ f3(1) = 1
Quantum: f1(1)+ f2(1)+ f3(1) = 0 !x!!x!!x !
![Page 13: Mathematical Undecidability and Quantum Randomnesscewqo08.phy.bg.ac.rs/UserFiles/File/prezentations/Paterek.pdf · Mathematical Undecidability and Quantum Randomness. COLLABORATORS](https://reader036.fdocuments.us/reader036/viewer/2022071106/5fe022cacf1d797c9250574b/html5/thumbnails/13.jpg)
C O N C L U S I O N S
This new viewpoint suggests that the incompleteness phenomenon discovered by Gödel is natural and widespread rather than pathological and unusual.
Chaitin, Gödel’s Theorem and Information.
Physical systems have limited information content.
Measurements can be identified with propositions.
Quantum randomness is a manifestation of mathematical undecidability.
![Page 14: Mathematical Undecidability and Quantum Randomnesscewqo08.phy.bg.ac.rs/UserFiles/File/prezentations/Paterek.pdf · Mathematical Undecidability and Quantum Randomness. COLLABORATORS](https://reader036.fdocuments.us/reader036/viewer/2022071106/5fe022cacf1d797c9250574b/html5/thumbnails/14.jpg)
T H E O RY S E T U P