f f bob bob meaning vectors of words not does like not
play

= = = f f BOB BOB meaning vectors of words not does like = - PowerPoint PPT Presentation

The logic of quantum mechanics - take II arXiv:1204.3458 ALICE ALICE f f f f = = = f f BOB BOB meaning vectors of words not does like = not like Alice Bob Alice Bob not pregroup grammar genesis genesis


  1. The logic of quantum mechanics - take II arXiv:1204.3458 ALICE ALICE f f f f = = = f f BOB BOB meaning vectors of words not does like = not like Alice Bob Alice Bob not pregroup grammar

  2. — genesis —

  3. — genesis — [von Neumann 1932] Formalized quantum mechanics in “Mathematische Grundlagen der Quantenmechanik”

  4. — genesis — [von Neumann 1932] Formalized quantum mechanics in “Mathematische Grundlagen der Quantenmechanik” [von Neumann to Birkhoff 1935] “I would like to make a confession which may seem immoral: I do not believe absolutely in Hilbert space no more.” (sic)

  5. — genesis — [von Neumann 1932] Formalized quantum mechanics in “Mathematische Grundlagen der Quantenmechanik” [von Neumann to Birkhoff 1935] “I would like to make a confession which may seem immoral: I do not believe absolutely in Hilbert space no more.” (sic) [Birkhoff and von Neumann 1936] The Logic of Quantum Mechanics in Annals of Mathematics .

  6. — genesis — [von Neumann 1932] Formalized quantum mechanics in “Mathematische Grundlagen der Quantenmechanik” [von Neumann to Birkhoff 1935] “I would like to make a confession which may seem immoral: I do not believe absolutely in Hilbert space no more.” (sic) [Birkhoff and von Neumann 1936] The Logic of Quantum Mechanics in Annals of Mathematics . [1936 – 2000] many followed them, ... and FAILED.

  7. — genesis — [von Neumann 1932] Formalized quantum mechanics in “Mathematische Grundlagen der Quantenmechanik” [von Neumann to Birkhoff 1935] “I would like to make a confession which may seem immoral: I do not believe absolutely in Hilbert space no more.” (sic) [Birkhoff and von Neumann 1936] The Logic of Quantum Mechanics in Annals of Mathematics . [1936 – 2000] many followed them, ... and FAILED .

  8. — the mathematics of it —

  9. — the mathematics of it — Hilbert space stuff : continuum, field structure of com- plex numbers, vector space over it, inner-product, etc.

  10. — the mathematics of it — Hilbert space stuff : continuum, field structure of com- plex numbers, vector space over it, inner-product, etc. WHY?

  11. — the mathematics of it — Hilbert space stuff : continuum, field structure of com- plex numbers, vector space over it, inner-product, etc. WHY? von Neumann: only used it since it was ‘available’.

  12. — the physics of it —

  13. — the physics of it — von Neumann crafted Birkhoff-von Neumann Quan- tum ‘Logic’ to capture the concept of superposition .

  14. — the physics of it — von Neumann crafted Birkhoff-von Neumann Quan- tum ‘Logic’ to capture the concept of superposition . Schr¨ odinger (1935): the stuff which is the true soul of quantum theory is how quantum systems compose .

  15. — the physics of it — von Neumann crafted Birkhoff-von Neumann Quan- tum ‘Logic’ to capture the concept of superposition . Schr¨ odinger (1935): the stuff which is the true soul of quantum theory is how quantum systems compose . Quantum Computer Scientists: Schr¨ odinger is right!

  16. — the game plan —

  17. — the game plan — Task 0. Solve: tensor product structure = ??? the other stuff

  18. — the game plan — Task 0. Solve: tensor product structure = ??? the other stuff i.e. axiomatize “ ⊗ ” without reference to spaces .

  19. — the game plan — Task 0. Solve: tensor product structure = ??? the other stuff i.e. axiomatize “ ⊗ ” without reference to spaces . Task 1. Investigate which assumptions (i.e. which struc- ture) on ⊗ is needed to deduce physical phenomena .

  20. — the game plan — Task 0. Solve: tensor product structure = ??? the other stuff i.e. axiomatize “ ⊗ ” without reference to spaces . Task 1. Investigate which assumptions (i.e. which struc- ture) on ⊗ is needed to deduce physical phenomena . Task 2. Investigate wether such an “interaction struc- ture” appear elsewhere in “our classical reality” .

  21. Outcome 1a: “Sheer ratio of results to assumptions”

  22. Outcome 1a: “Sheer ratio of results to assumptions” confirms that we are probing something very essential. Hans Halvorson (2010) Editorial to: Deep Beauty: Understanding the Quan- tum World through Mathematical Innovation , Cambridge University Press.

  23. Outcome 1a: “Sheer ratio of results to assumptions” confirms that we are probing something very essential. Hans Halvorson (2010) Editorial to: Deep Beauty: Understanding the Quan- tum World through Mathematical Innovation , Cambridge University Press.

  24. Outcome 1a: “Sheer ratio of results to assumptions” confirms that we are probing something very essential. Outcome 1b: Exposing this structure has already helped to solve open problems elsewhere . E.g.: Ross Duncan & Simon Perdrix (2010) Rewriting measurement-based quantum computations with generalised flow . ICALP’10.

  25. Outcome 1a: “Sheer ratio of results to assumptions” confirms that we are probing something very essential. Outcome 1b: Exposing this structure has already helped to solve open problems elsewhere . Outcome 1c: Framework is a simple intuitive (but rigorous) diagrammatic language , meanwhile adopted by others e.g. Lucien Hardy in arXiv:1005.5164: “... we join the quantum picturalism revolution [1]” [1] BC (2010) Quantum picturalism . Contemporary Physics 51 , 59–83.

  26. Outcome 1a: “Sheer ratio of results to assumptions” confirms that we are probing something very essential. Outcome 1b: Exposing this structure has already helped to solve open problems elsewhere . Outcome 1c: Framework is a simple intuitive (but rigorous) diagrammatic language , meanwhile adopted by others e.g. Lucien Hardy in arXiv:1005.5164: “... we join the quantum picturalism revolution [1]” [1] BC (2010) Quantum picturalism . Contemporary Physics 51 , 59–83.

  27. Outcome 2a: Behaviors of matter (Abramsky-C; LiCS’04, quant-ph/0402130) : ALICE ALICE f f f f = = = f f BOB BOB Meaning in language (Clark-C-Sadrzadeh; Linguistic Analysis, arXiv:1003.4394) : meaning vectors of words not does = like not like Alice Bob Alice Bob not pregroup grammar Knowledge updating (C-Spekkens; Synthese, arXiv:1102.2368) : C B B - - C 1 C 1 = = = P(C|A) P(C|B) = P(AB|C) P(A|C) P(B|C) P(C|AB) P(C|B) P(C|A) A A B A A A - (BA) 1 conditional A independence

  28. — the logic of it —

  29. — the logic of it — WHAT IS “LOGIC”?

  30. — the logic of it — WHAT IS “LOGIC”? Pragmatic option 1: Logic is structure in language .

  31. — the logic of it — WHAT IS “LOGIC”? Pragmatic option 1: Logic is structure in language . “Alice and Bob ate everything or nothing, then got sick.” connectives ( ∧ , ∨ ) : and, or negation ( ¬ ) : not (cf. nothing = not something) entailment ( ⇒ ) : then quantifiers ( ∀ , ∃ ) : every(thing) , some(thing) constants ( a, b ) : thing variable ( x ) : Alice, Bob predicates ( P ( x ) , R ( x, y )) : eating, getting sick truth valuation (0 , 1) : true, false ( ∀ z : Eat ( a, z ) ∧ Eat ( b, z )) ∧ ¬ ( ∃ z : Eat ( a, z ) ∧ Eat ( b, z )) ⇒ Sick ( a ) , Sick ( b )

  32. — the logic of it — WHAT IS “LOGIC”? Pragmatic option 1: Logic is structure in language . Pragmatic option 2: Logic lets machines reason .

  33. — the logic of it — WHAT IS “LOGIC”? Pragmatic option 1: Logic is structure in language . Pragmatic option 2: Logic lets machines reason . Cf. the soft incarnation of AI in robotics, automated theorem proving, automated theory exploration, ...

  34. — the logic of it — WHAT IS “LOGIC”? Pragmatic option 1: Logic is structure in language . Pragmatic option 2: Logic lets machines reason . Our framework appeals to both senses of logic, and moreover induces important new applications:

  35. — the logic of it — WHAT IS “LOGIC”? Pragmatic option 1: Logic is structure in language . Pragmatic option 2: Logic lets machines reason . Our framework appeals to both senses of logic, and moreover induces important new applications: From truth to meaning in natural language processing: — (December 2010)

  36. — the logic of it — WHAT IS “LOGIC”? Pragmatic option 1: Logic is structure in language . Pragmatic option 2: Logic lets machines reason . Our framework appeals to both senses of logic, and moreover induces important new applications: From truth to meaning in natural language processing: — (December 2010) Automated theorem generation for graphical theories: — http://sites.google.com/site/quantomatic/

  37. MINIMAL QUANTUM PROCESS LANGUAGE Samson Abramsky & BC (2004) A categorical semantics for quantum proto- cols . In: IEEE-LiCS’04. quant-ph/0402130 BC (2005) Kindergarten quantum mechanics . quant-ph/0510032

  38. — wire and box language — output wire(s) output wire(s) f Box Box = : input wire(s) input wire(s) Interpretation: wire := system ; box := process n sub systems: one system: no system: . . . ���� � �� � ���� 1 n 0

  39. — wire and box games — sequential or causal or connected composition: g g ◦ f ≡ f parallel or acausal or disconnected composition: g f ⊗ g ≡ f f

  40. — merely a new notation? — ( g ◦ f ) ⊗ ( k ◦ h ) = ( g ⊗ k ) ◦ ( f ⊗ h ) g g k k = f h f h

  41. — quantitative metric — f : A → B B f A

  42. — quantitative metric — f † : B → A A f B

Download Presentation
Download Policy: The content available on the website is offered to you 'AS IS' for your personal information and use only. It cannot be commercialized, licensed, or distributed on other websites without prior consent from the author. To download a presentation, simply click this link. If you encounter any difficulties during the download process, it's possible that the publisher has removed the file from their server.

Recommend


More recommend