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

Physics, Language, Maths & Music (partly in arXiv:1204.3458) Bob Coecke, Oxford, CS-Quantum SyFest, Vienna, July 2013 ALICE ALICE f f f f = = = f f BOB BOB meaning vectors of words not does like not like = Alice Bob


  1. Physics, Language, Maths & Music (partly in arXiv:1204.3458) Bob Coecke, Oxford, CS-Quantum SyFest, Vienna, July 2013 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. . . . via (some sort of) Logic (partly in arXiv:1204.3458) Bob Coecke, Oxford, CS-Quantum SyFest, Vienna, July 2013 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

  3. — PHYSICS — 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

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

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

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

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

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

  9. — the mathematics of it —

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

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

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

  13. — the physics of it —

  14. — the physics of it — von Neumann crafted Birkho ff -von Neumann Quan- tum ‘Logic’ to capture the concept of superposition .

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

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

  17. — the game plan —

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

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

  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 .

  21. — 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” .

  22. — wire and box language —

  23. — wire and box language — output wire(s) output wire(s) Box Box = f : input wire(s) input wire(s) Interpretation: wire : = system ; box : = process

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

  25. — 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

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

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

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

  29. — asserting (pure) entanglement — = quantum classical = =

  30. — asserting (pure) entanglement — = quantum classical = = ⇒ introduce ‘parallel wire’ between systems: subject to: only topology matters!

  31. — quantum-like — E.g. =

  32. Transpose: = f f Conjugate: = f f

  33. classical data flow? f f f = f

  34. classical data flow? f = f

  35. classical data flow? f = f

  36. classical data flow? ALICE ALICE f = f BOB BOB ⇒ quantum teleportation

  37. — symbolically: dagger compact categories — Thm. [Kelly-Laplaza ’80; Selinger ’05] An equa- tional statement between expressions in dagger com- pact categorical language holds if and only if it is derivable in the graphical notation via homotopy . Thm. [Hasegawa-Hofmann-Plotkin; Selinger ’08] An equational statement between expressions in dag- ger compact categorical language holds if and only if it is derivable in the dagger compact category of fi- nite dimensional Hilbert spaces, linear maps, tensor product and adjoints .

  38. — LANGUAGE— BC, Mehrnoosh Sadrzadeh & Stephen Clark (2010) Mathematical foundations for a compositional distributional model of meaning . arXiv:1003.4394

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

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

  41. — 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 )) ⇒ S ick ( a ) , S ick ( b )

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

  43. — the logic of it — WHAT IS “LOGIC”? Pragmatic option 1: Logic is structure in language . Pragmatic option 2: Logic lets machines reason . E.g. automated theory exploration, ...

  44. — 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/

  45. — the from-words-to-a-sentence process — Consider meanings of words , e.g. as vectors (cf. Google): ... word 1 word 2 word n

  46. — the from-words-to-a-sentence process — What is the meaning the sentence made up of these? ... word 1 word 2 word n

  47. — the from-words-to-a-sentence process — I.e. how do we / machines produce meanings of sentences ? ? ... word 1 word 2 word n

  48. — the from-words-to-a-sentence process — I.e. how do we / machines produce meanings of sentences ? grammar ... word 1 word 2 word n

  49. — the from-words-to-a-sentence process — Information flow within a verb: subject subject object object verb

  50. — the from-words-to-a-sentence process — Information flow within a verb: subject subject object object verb Again we have: =

  51. — pregoup grammar — Lambek’s residuated monoids (1950’s): b ≤ a ⊸ c ⇔ a · b ≤ c ⇔ a ≤ c � b

  52. — pregoup grammar — Lambek’s residuated monoids (1950’s): b ≤ a ⊸ c ⇔ a · b ≤ c ⇔ a ≤ c � b or equivalently, a · ( a ⊸ c ) ≤ c ≤ a ⊸ ( a · c ) ( c � b ) · b ≤ c ≤ ( c · b ) � b

Recommend


More recommend