The logic of quantum mechanics - take II · —kindergarten quantum mechanics: the experiment—...
Transcript of The logic of quantum mechanics - take II · —kindergarten quantum mechanics: the experiment—...
![Page 1: The logic of quantum mechanics - take II · —kindergarten quantum mechanics: the experiment— Contest in problem solving between: Children using quantum picturalism Physics teachers](https://reader036.fdocuments.us/reader036/viewer/2022081402/5f0d3ec57e708231d439636d/html5/thumbnails/1.jpg)
The logic of quantum mechanics - take IIBob Coecke — arXiv:1204.3458
=
f
f =
f f
f
ALICE
BOB
=
ALICE
BOB
f
=
not
likeBobAlice
does
Alice not like
not
Bob
meaning vectors of words
pregroup grammar
![Page 2: The logic of quantum mechanics - take II · —kindergarten quantum mechanics: the experiment— Contest in problem solving between: Children using quantum picturalism Physics teachers](https://reader036.fdocuments.us/reader036/viewer/2022081402/5f0d3ec57e708231d439636d/html5/thumbnails/2.jpg)
• An alternative Gospel of structure:order, composition, processesarXiv:1307.4038
• The logic of quantum mechanics - Take IIarXiv:1204.3458
• A universe of processes and some of its guisesarXiv:1009.3786
• Quantum PicturalismarXiv:0908.1787
• Introducing categories to the practicing physicistarXiv:0808.1032
• Kindergarten Quantum MechanicsarXiv:quant-ph/0510032
![Page 3: The logic of quantum mechanics - take II · —kindergarten quantum mechanics: the experiment— Contest in problem solving between: Children using quantum picturalism Physics teachers](https://reader036.fdocuments.us/reader036/viewer/2022081402/5f0d3ec57e708231d439636d/html5/thumbnails/3.jpg)
— CROCL ’99 —
![Page 4: The logic of quantum mechanics - take II · —kindergarten quantum mechanics: the experiment— Contest in problem solving between: Children using quantum picturalism Physics teachers](https://reader036.fdocuments.us/reader036/viewer/2022081402/5f0d3ec57e708231d439636d/html5/thumbnails/4.jpg)
— genesis —
![Page 5: The logic of quantum mechanics - take II · —kindergarten quantum mechanics: the experiment— Contest in problem solving between: Children using quantum picturalism Physics teachers](https://reader036.fdocuments.us/reader036/viewer/2022081402/5f0d3ec57e708231d439636d/html5/thumbnails/5.jpg)
— genesis —
[von Neumann 1932] Formalized quantum mechanicsin “Mathematische Grundlagen der Quantenmechanik”
![Page 6: The logic of quantum mechanics - take II · —kindergarten quantum mechanics: the experiment— Contest in problem solving between: Children using quantum picturalism Physics teachers](https://reader036.fdocuments.us/reader036/viewer/2022081402/5f0d3ec57e708231d439636d/html5/thumbnails/6.jpg)
— genesis —
[von Neumann 1932] Formalized quantum mechanicsin “Mathematische Grundlagen der Quantenmechanik”
[von Neumann to Birkhoff 1935] “I would like tomake a confession which may seem immoral: I do notbelieve absolutely in Hilbert space no more.” (sic)
![Page 7: The logic of quantum mechanics - take II · —kindergarten quantum mechanics: the experiment— Contest in problem solving between: Children using quantum picturalism Physics teachers](https://reader036.fdocuments.us/reader036/viewer/2022081402/5f0d3ec57e708231d439636d/html5/thumbnails/7.jpg)
— genesis —
[von Neumann 1932] Formalized quantum mechanicsin “Mathematische Grundlagen der Quantenmechanik”
[von Neumann to Birkhoff 1935] “I would like tomake a confession which may seem immoral: I do notbelieve absolutely in Hilbert space no more.” (sic)
[Birkhoff and von Neumann 1936] The Logic of Quan-tum Mechanics in Annals of Mathematics.
![Page 8: The logic of quantum mechanics - take II · —kindergarten quantum mechanics: the experiment— Contest in problem solving between: Children using quantum picturalism Physics teachers](https://reader036.fdocuments.us/reader036/viewer/2022081402/5f0d3ec57e708231d439636d/html5/thumbnails/8.jpg)
— genesis —
[von Neumann 1932] Formalized quantum mechanicsin “Mathematische Grundlagen der Quantenmechanik”
[von Neumann to Birkhoff 1935] “I would like tomake a confession which may seem immoral: I do notbelieve absolutely in Hilbert space no more.” (sic)
[Birkhoff and von Neumann 1936] The Logic of Quan-tum Mechanics in Annals of Mathematics.
[1936 – 2000] many followed them, ... and FAILED.
![Page 9: The logic of quantum mechanics - take II · —kindergarten quantum mechanics: the experiment— Contest in problem solving between: Children using quantum picturalism Physics teachers](https://reader036.fdocuments.us/reader036/viewer/2022081402/5f0d3ec57e708231d439636d/html5/thumbnails/9.jpg)
— genesis —
[von Neumann 1932] Formalized quantum mechanicsin “Mathematische Grundlagen der Quantenmechanik”
[von Neumann to Birkhoff 1935] “I would like tomake a confession which may seem immoral: I do notbelieve absolutely in Hilbert space no more.” (sic)
[Birkhoff and von Neumann 1936] The Logic of Quan-tum Mechanics in Annals of Mathematics.
[1936 – 2000] many followed them, ... and FAILED.
![Page 10: The logic of quantum mechanics - take II · —kindergarten quantum mechanics: the experiment— Contest in problem solving between: Children using quantum picturalism Physics teachers](https://reader036.fdocuments.us/reader036/viewer/2022081402/5f0d3ec57e708231d439636d/html5/thumbnails/10.jpg)
— the mathematics of it —
![Page 11: The logic of quantum mechanics - take II · —kindergarten quantum mechanics: the experiment— Contest in problem solving between: Children using quantum picturalism Physics teachers](https://reader036.fdocuments.us/reader036/viewer/2022081402/5f0d3ec57e708231d439636d/html5/thumbnails/11.jpg)
— the mathematics of it —
Hilbert space stuff: continuum, field structure of com-plex numbers, vector space over it, inner-product, etc.
![Page 12: The logic of quantum mechanics - take II · —kindergarten quantum mechanics: the experiment— Contest in problem solving between: Children using quantum picturalism Physics teachers](https://reader036.fdocuments.us/reader036/viewer/2022081402/5f0d3ec57e708231d439636d/html5/thumbnails/12.jpg)
— the mathematics of it —
Hilbert space stuff: continuum, field structure of com-plex numbers, vector space over it, inner-product, etc.
WHY?
![Page 13: The logic of quantum mechanics - take II · —kindergarten quantum mechanics: the experiment— Contest in problem solving between: Children using quantum picturalism Physics teachers](https://reader036.fdocuments.us/reader036/viewer/2022081402/5f0d3ec57e708231d439636d/html5/thumbnails/13.jpg)
— 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’.
![Page 14: The logic of quantum mechanics - take II · —kindergarten quantum mechanics: the experiment— Contest in problem solving between: Children using quantum picturalism Physics teachers](https://reader036.fdocuments.us/reader036/viewer/2022081402/5f0d3ec57e708231d439636d/html5/thumbnails/14.jpg)
— the physics of it —
![Page 15: The logic of quantum mechanics - take II · —kindergarten quantum mechanics: the experiment— Contest in problem solving between: Children using quantum picturalism Physics teachers](https://reader036.fdocuments.us/reader036/viewer/2022081402/5f0d3ec57e708231d439636d/html5/thumbnails/15.jpg)
— the physics of it —
von Neumann crafted Birkhoff-von Neumann Quan-tum ‘Logic’ to capture the concept of superposition.
![Page 16: The logic of quantum mechanics - take II · —kindergarten quantum mechanics: the experiment— Contest in problem solving between: Children using quantum picturalism Physics teachers](https://reader036.fdocuments.us/reader036/viewer/2022081402/5f0d3ec57e708231d439636d/html5/thumbnails/16.jpg)
— the physics of it —
von Neumann crafted Birkhoff-von Neumann Quan-tum ‘Logic’ to capture the concept of superposition.
Schrodinger (1935): the stuff which is the true soul ofquantum theory is how quantum systems compose.
![Page 17: The logic of quantum mechanics - take II · —kindergarten quantum mechanics: the experiment— Contest in problem solving between: Children using quantum picturalism Physics teachers](https://reader036.fdocuments.us/reader036/viewer/2022081402/5f0d3ec57e708231d439636d/html5/thumbnails/17.jpg)
— the physics of it —
von Neumann crafted Birkhoff-von Neumann Quan-tum ‘Logic’ to capture the concept of superposition.
Schrodinger (1935): the stuff which is the true soul ofquantum theory is how quantum systems compose.
Last 20 year discoveries: Schrodinger was right!
![Page 18: The logic of quantum mechanics - take II · —kindergarten quantum mechanics: the experiment— Contest in problem solving between: Children using quantum picturalism Physics teachers](https://reader036.fdocuments.us/reader036/viewer/2022081402/5f0d3ec57e708231d439636d/html5/thumbnails/18.jpg)
— the game plan —
![Page 19: The logic of quantum mechanics - take II · —kindergarten quantum mechanics: the experiment— Contest in problem solving between: Children using quantum picturalism Physics teachers](https://reader036.fdocuments.us/reader036/viewer/2022081402/5f0d3ec57e708231d439636d/html5/thumbnails/19.jpg)
— the game plan —
Task 0. Solve:tensor product structure
the other stuff= ???
![Page 20: The logic of quantum mechanics - take II · —kindergarten quantum mechanics: the experiment— Contest in problem solving between: Children using quantum picturalism Physics teachers](https://reader036.fdocuments.us/reader036/viewer/2022081402/5f0d3ec57e708231d439636d/html5/thumbnails/20.jpg)
— the game plan —
Task 0. Solve:tensor product structure
the other stuff= ???
i.e. axiomatize “⊗” without reference to spaces.
![Page 21: The logic of quantum mechanics - take II · —kindergarten quantum mechanics: the experiment— Contest in problem solving between: Children using quantum picturalism Physics teachers](https://reader036.fdocuments.us/reader036/viewer/2022081402/5f0d3ec57e708231d439636d/html5/thumbnails/21.jpg)
— 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.
![Page 22: The logic of quantum mechanics - take II · —kindergarten quantum mechanics: the experiment— Contest in problem solving between: Children using quantum picturalism Physics teachers](https://reader036.fdocuments.us/reader036/viewer/2022081402/5f0d3ec57e708231d439636d/html5/thumbnails/22.jpg)
— 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”.
![Page 23: The logic of quantum mechanics - take II · —kindergarten quantum mechanics: the experiment— Contest in problem solving between: Children using quantum picturalism Physics teachers](https://reader036.fdocuments.us/reader036/viewer/2022081402/5f0d3ec57e708231d439636d/html5/thumbnails/23.jpg)
COMPOSITION WITHOUT SPACES
![Page 24: The logic of quantum mechanics - take II · —kindergarten quantum mechanics: the experiment— Contest in problem solving between: Children using quantum picturalism Physics teachers](https://reader036.fdocuments.us/reader036/viewer/2022081402/5f0d3ec57e708231d439636d/html5/thumbnails/24.jpg)
1. Let A be a raw potato.
![Page 25: The logic of quantum mechanics - take II · —kindergarten quantum mechanics: the experiment— Contest in problem solving between: Children using quantum picturalism Physics teachers](https://reader036.fdocuments.us/reader036/viewer/2022081402/5f0d3ec57e708231d439636d/html5/thumbnails/25.jpg)
1. Let A be a raw potato.A admits many states e.g. dirty, clean, skinned, ...
![Page 26: The logic of quantum mechanics - take II · —kindergarten quantum mechanics: the experiment— Contest in problem solving between: Children using quantum picturalism Physics teachers](https://reader036.fdocuments.us/reader036/viewer/2022081402/5f0d3ec57e708231d439636d/html5/thumbnails/26.jpg)
1. Let A be a raw potato.A admits many states e.g. dirty, clean, skinned, ...
2. We want to process A into cooked potato B.B admits many states e.g. boiled, fried, deep fried,baked with skin, baked without skin, ...
![Page 27: The logic of quantum mechanics - take II · —kindergarten quantum mechanics: the experiment— Contest in problem solving between: Children using quantum picturalism Physics teachers](https://reader036.fdocuments.us/reader036/viewer/2022081402/5f0d3ec57e708231d439636d/html5/thumbnails/27.jpg)
1. Let A be a raw potato.A admits many states e.g. dirty, clean, skinned, ...
2. We want to process A into cooked potato B.B admits many states e.g. boiled, fried, deep fried,baked with skin, baked without skin, ... Let
Af
- B Af ′
- B Af ′′
- B
be boiling, frying, baking.
![Page 28: The logic of quantum mechanics - take II · —kindergarten quantum mechanics: the experiment— Contest in problem solving between: Children using quantum picturalism Physics teachers](https://reader036.fdocuments.us/reader036/viewer/2022081402/5f0d3ec57e708231d439636d/html5/thumbnails/28.jpg)
1. Let A be a raw potato.A admits many states e.g. dirty, clean, skinned, ...
2. We want to process A into cooked potato B.B admits many states e.g. boiled, fried, deep fried,baked with skin, baked without skin, ... Let
Af
- B Af ′
- B Af ′′
- B
be boiling, frying, baking. States are processes
I := unspecifiedψ
- A.
![Page 29: The logic of quantum mechanics - take II · —kindergarten quantum mechanics: the experiment— Contest in problem solving between: Children using quantum picturalism Physics teachers](https://reader036.fdocuments.us/reader036/viewer/2022081402/5f0d3ec57e708231d439636d/html5/thumbnails/29.jpg)
3. LetA
g ◦ f- C
be the composite process of first boiling Af
- B andthen salting B
g- C.
![Page 30: The logic of quantum mechanics - take II · —kindergarten quantum mechanics: the experiment— Contest in problem solving between: Children using quantum picturalism Physics teachers](https://reader036.fdocuments.us/reader036/viewer/2022081402/5f0d3ec57e708231d439636d/html5/thumbnails/30.jpg)
3. LetA
g ◦ f- C
be the composite process of first boiling Af
- B andthen salting B
g- C. Let
X1X - X
be doing nothing. We have 1Y ◦ ξ = ξ ◦ 1X = ξ.
![Page 31: The logic of quantum mechanics - take II · —kindergarten quantum mechanics: the experiment— Contest in problem solving between: Children using quantum picturalism Physics teachers](https://reader036.fdocuments.us/reader036/viewer/2022081402/5f0d3ec57e708231d439636d/html5/thumbnails/31.jpg)
4. Let A ⊗ D be potato A and carrot D and let
![Page 32: The logic of quantum mechanics - take II · —kindergarten quantum mechanics: the experiment— Contest in problem solving between: Children using quantum picturalism Physics teachers](https://reader036.fdocuments.us/reader036/viewer/2022081402/5f0d3ec57e708231d439636d/html5/thumbnails/32.jpg)
4. Let A ⊗ D be potato A and carrot D and let
A ⊗ Df⊗h
- B ⊗ E
be boiling potato while frying carrot.
![Page 33: The logic of quantum mechanics - take II · —kindergarten quantum mechanics: the experiment— Contest in problem solving between: Children using quantum picturalism Physics teachers](https://reader036.fdocuments.us/reader036/viewer/2022081402/5f0d3ec57e708231d439636d/html5/thumbnails/33.jpg)
4. Let A ⊗ D be potato A and carrot D and let
A ⊗ Df⊗h
- B ⊗ E
be boiling potato while frying carrot. Let
C ⊗ F x- M
be mashing spice-cook-potato and spice-cook-carrot.
![Page 34: The logic of quantum mechanics - take II · —kindergarten quantum mechanics: the experiment— Contest in problem solving between: Children using quantum picturalism Physics teachers](https://reader036.fdocuments.us/reader036/viewer/2022081402/5f0d3ec57e708231d439636d/html5/thumbnails/34.jpg)
5. Total process:
A ⊗ Df⊗h
- B ⊗ Eg⊗k
- C ⊗ F x- M= A ⊗ D
x◦(g⊗k)◦( f⊗h)- M.
![Page 35: The logic of quantum mechanics - take II · —kindergarten quantum mechanics: the experiment— Contest in problem solving between: Children using quantum picturalism Physics teachers](https://reader036.fdocuments.us/reader036/viewer/2022081402/5f0d3ec57e708231d439636d/html5/thumbnails/35.jpg)
5. Total process:
A ⊗ Df⊗h
- B ⊗ Eg⊗k
- C ⊗ F x- M= A ⊗ D
x◦(g⊗k)◦( f⊗h)- M.
6. Recipe = composition structure on processes.
![Page 36: The logic of quantum mechanics - take II · —kindergarten quantum mechanics: the experiment— Contest in problem solving between: Children using quantum picturalism Physics teachers](https://reader036.fdocuments.us/reader036/viewer/2022081402/5f0d3ec57e708231d439636d/html5/thumbnails/36.jpg)
5. Total process:
A ⊗ Df⊗h
- B ⊗ Eg⊗k
- C ⊗ F x- M= A ⊗ D
x◦(g⊗k)◦( f⊗h)- M.
6. Recipe = composition structure on processes.
7. Laws governing recipes:
(1B ⊗ g) ◦ ( f ⊗ 1C) = ( f ⊗ 1D) ◦ (1A ⊗ g)
![Page 37: The logic of quantum mechanics - take II · —kindergarten quantum mechanics: the experiment— Contest in problem solving between: Children using quantum picturalism Physics teachers](https://reader036.fdocuments.us/reader036/viewer/2022081402/5f0d3ec57e708231d439636d/html5/thumbnails/37.jpg)
5. Total process:
A ⊗ Df⊗h
- B ⊗ Eg⊗k
- C ⊗ F x- M= A ⊗ D
x◦(g⊗k)◦( f⊗h)- M.
6. Recipe = composition structure on processes.
7. Laws governing recipes:
(1B ⊗ g) ◦ ( f ⊗ 1C) = ( f ⊗ 1D) ◦ (1A ⊗ g)i.e.
boil potato then fry carrot = fry carrot then boil potato
![Page 38: The logic of quantum mechanics - take II · —kindergarten quantum mechanics: the experiment— Contest in problem solving between: Children using quantum picturalism Physics teachers](https://reader036.fdocuments.us/reader036/viewer/2022081402/5f0d3ec57e708231d439636d/html5/thumbnails/38.jpg)
5. Total process:
A ⊗ Df⊗h
- B ⊗ Eg⊗k
- C ⊗ F x- M= A ⊗ D
x◦(g⊗k)◦( f⊗h)- M.
6. Recipe = composition structure on processes.
7. Laws governing recipes:
(1B ⊗ g) ◦ ( f ⊗ 1C) = ( f ⊗ 1D) ◦ (1A ⊗ g)i.e.
boil potato then fry carrot = fry carrot then boil potato
⇒Monoidal Category
![Page 39: The logic of quantum mechanics - take II · —kindergarten quantum mechanics: the experiment— Contest in problem solving between: Children using quantum picturalism Physics teachers](https://reader036.fdocuments.us/reader036/viewer/2022081402/5f0d3ec57e708231d439636d/html5/thumbnails/39.jpg)
BOXES AND WIRES
Roger Penrose (1971) Applications of negative dimensional tensors. In: Com-binatorial Mathematics and its Applications, 221–244. Academic Press.
Andre Joyal and Ross Street (1991) The Geometry of tensor calculus I. Ad-vances in Mathematics 88, 55–112.
![Page 40: The logic of quantum mechanics - take II · —kindergarten quantum mechanics: the experiment— Contest in problem solving between: Children using quantum picturalism Physics teachers](https://reader036.fdocuments.us/reader036/viewer/2022081402/5f0d3ec57e708231d439636d/html5/thumbnails/40.jpg)
— wire and box language —
f
Interpretation: wire := system ; box := process
![Page 41: The logic of quantum mechanics - take II · —kindergarten quantum mechanics: the experiment— Contest in problem solving between: Children using quantum picturalism Physics teachers](https://reader036.fdocuments.us/reader036/viewer/2022081402/5f0d3ec57e708231d439636d/html5/thumbnails/41.jpg)
— composing boxes —
![Page 42: The logic of quantum mechanics - take II · —kindergarten quantum mechanics: the experiment— Contest in problem solving between: Children using quantum picturalism Physics teachers](https://reader036.fdocuments.us/reader036/viewer/2022081402/5f0d3ec57e708231d439636d/html5/thumbnails/42.jpg)
— composing boxes —
sequential composition:
g ◦ f ≡g
f
![Page 43: The logic of quantum mechanics - take II · —kindergarten quantum mechanics: the experiment— Contest in problem solving between: Children using quantum picturalism Physics teachers](https://reader036.fdocuments.us/reader036/viewer/2022081402/5f0d3ec57e708231d439636d/html5/thumbnails/43.jpg)
— composing boxes —
sequential composition:
g ◦ f ≡g
f
parallel composition:
f ⊗ g ≡ f fg
![Page 44: The logic of quantum mechanics - take II · —kindergarten quantum mechanics: the experiment— Contest in problem solving between: Children using quantum picturalism Physics teachers](https://reader036.fdocuments.us/reader036/viewer/2022081402/5f0d3ec57e708231d439636d/html5/thumbnails/44.jpg)
— merely a new notation? —
![Page 45: The logic of quantum mechanics - take II · —kindergarten quantum mechanics: the experiment— Contest in problem solving between: Children using quantum picturalism Physics teachers](https://reader036.fdocuments.us/reader036/viewer/2022081402/5f0d3ec57e708231d439636d/html5/thumbnails/45.jpg)
— merely a new notation? —
(g ◦ f ) ⊗ (k ◦ h) = (g ⊗ k) ◦ ( f ⊗ h)
=f h
g k
f h
g k
![Page 46: The logic of quantum mechanics - take II · —kindergarten quantum mechanics: the experiment— Contest in problem solving between: Children using quantum picturalism Physics teachers](https://reader036.fdocuments.us/reader036/viewer/2022081402/5f0d3ec57e708231d439636d/html5/thumbnails/46.jpg)
— merely a new notation? —
(g ◦ f ) ⊗ (k ◦ h) = (g ⊗ k) ◦ ( f ⊗ h)
=f h
g k
f h
g k
peel potato and then fry it,while,
clean carrot and then boil it=
peel potato while clean carrot,and then,
fry potato while boil carrot
![Page 47: The logic of quantum mechanics - take II · —kindergarten quantum mechanics: the experiment— Contest in problem solving between: Children using quantum picturalism Physics teachers](https://reader036.fdocuments.us/reader036/viewer/2022081402/5f0d3ec57e708231d439636d/html5/thumbnails/47.jpg)
QUANTUM PROCESSES
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
![Page 48: The logic of quantum mechanics - take II · —kindergarten quantum mechanics: the experiment— Contest in problem solving between: Children using quantum picturalism Physics teachers](https://reader036.fdocuments.us/reader036/viewer/2022081402/5f0d3ec57e708231d439636d/html5/thumbnails/48.jpg)
— quantitative metric —
f : A→ B
f
A
B
![Page 49: The logic of quantum mechanics - take II · —kindergarten quantum mechanics: the experiment— Contest in problem solving between: Children using quantum picturalism Physics teachers](https://reader036.fdocuments.us/reader036/viewer/2022081402/5f0d3ec57e708231d439636d/html5/thumbnails/49.jpg)
— quantitative metric —
f † : B→ A
f
B
A
![Page 50: The logic of quantum mechanics - take II · —kindergarten quantum mechanics: the experiment— Contest in problem solving between: Children using quantum picturalism Physics teachers](https://reader036.fdocuments.us/reader036/viewer/2022081402/5f0d3ec57e708231d439636d/html5/thumbnails/50.jpg)
— asserting (pure) entanglement —
quantumclassical
=
==
![Page 51: The logic of quantum mechanics - take II · —kindergarten quantum mechanics: the experiment— Contest in problem solving between: Children using quantum picturalism Physics teachers](https://reader036.fdocuments.us/reader036/viewer/2022081402/5f0d3ec57e708231d439636d/html5/thumbnails/51.jpg)
— asserting (pure) entanglement —
quantumclassical
=
==
⇒ introduce ‘parallel wire’ between systems:
subject to: only topology matters!
![Page 52: The logic of quantum mechanics - take II · —kindergarten quantum mechanics: the experiment— Contest in problem solving between: Children using quantum picturalism Physics teachers](https://reader036.fdocuments.us/reader036/viewer/2022081402/5f0d3ec57e708231d439636d/html5/thumbnails/52.jpg)
— quantum-like —
E.g.
=
![Page 53: The logic of quantum mechanics - take II · —kindergarten quantum mechanics: the experiment— Contest in problem solving between: Children using quantum picturalism Physics teachers](https://reader036.fdocuments.us/reader036/viewer/2022081402/5f0d3ec57e708231d439636d/html5/thumbnails/53.jpg)
Transpose:
ff
=Conjugate:
ff
=
![Page 54: The logic of quantum mechanics - take II · —kindergarten quantum mechanics: the experiment— Contest in problem solving between: Children using quantum picturalism Physics teachers](https://reader036.fdocuments.us/reader036/viewer/2022081402/5f0d3ec57e708231d439636d/html5/thumbnails/54.jpg)
classical data flow?
f
=
fff
![Page 55: The logic of quantum mechanics - take II · —kindergarten quantum mechanics: the experiment— Contest in problem solving between: Children using quantum picturalism Physics teachers](https://reader036.fdocuments.us/reader036/viewer/2022081402/5f0d3ec57e708231d439636d/html5/thumbnails/55.jpg)
classical data flow?
f
=
f
![Page 56: The logic of quantum mechanics - take II · —kindergarten quantum mechanics: the experiment— Contest in problem solving between: Children using quantum picturalism Physics teachers](https://reader036.fdocuments.us/reader036/viewer/2022081402/5f0d3ec57e708231d439636d/html5/thumbnails/56.jpg)
classical data flow?
f
=
f
![Page 57: The logic of quantum mechanics - take II · —kindergarten quantum mechanics: the experiment— Contest in problem solving between: Children using quantum picturalism Physics teachers](https://reader036.fdocuments.us/reader036/viewer/2022081402/5f0d3ec57e708231d439636d/html5/thumbnails/57.jpg)
classical data flow?
f
ALICE
BOB
=
ALICE
BOB
f
⇒ quantum teleportation
![Page 58: The logic of quantum mechanics - take II · —kindergarten quantum mechanics: the experiment— Contest in problem solving between: Children using quantum picturalism Physics teachers](https://reader036.fdocuments.us/reader036/viewer/2022081402/5f0d3ec57e708231d439636d/html5/thumbnails/58.jpg)
— 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 isderivable 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 onlyif it is derivable in the dagger compact category of fi-nite dimensional Hilbert spaces, linear maps, tensorproduct and adjoints.
![Page 59: The logic of quantum mechanics - take II · —kindergarten quantum mechanics: the experiment— Contest in problem solving between: Children using quantum picturalism Physics teachers](https://reader036.fdocuments.us/reader036/viewer/2022081402/5f0d3ec57e708231d439636d/html5/thumbnails/59.jpg)
— expressivity —
Full-blown QM/QC course at Oxford:
Quantum Computer Science
– quantum circuits, MBQC,– quantum algorithms,– quantum cryptography,– quantum non-locality, ...
![Page 60: The logic of quantum mechanics - take II · —kindergarten quantum mechanics: the experiment— Contest in problem solving between: Children using quantum picturalism Physics teachers](https://reader036.fdocuments.us/reader036/viewer/2022081402/5f0d3ec57e708231d439636d/html5/thumbnails/60.jpg)
— expressivity —
Full-blown QM/QC course at Oxford:
Quantum Computer Science
– quantum circuits, MBQC,– quantum algorithms,– quantum cryptography,– quantum non-locality, ...
Lecture notes forthcoming as book (approx. 400 pp):
Bob Coecke & Aleks KissingerPicturing Quantum ProcessesCambridge University Press
![Page 61: The logic of quantum mechanics - take II · —kindergarten quantum mechanics: the experiment— Contest in problem solving between: Children using quantum picturalism Physics teachers](https://reader036.fdocuments.us/reader036/viewer/2022081402/5f0d3ec57e708231d439636d/html5/thumbnails/61.jpg)
— kindergarten quantum mechanics: the experiment —
Contest in problem solving between:
• Children using quantum picturalism
• Physics teachers using ordinary QM
The children will win!
BC (2010) Quantum picturalism. Contemporary Physics 51, 59–83.
![Page 62: The logic of quantum mechanics - take II · —kindergarten quantum mechanics: the experiment— Contest in problem solving between: Children using quantum picturalism Physics teachers](https://reader036.fdocuments.us/reader036/viewer/2022081402/5f0d3ec57e708231d439636d/html5/thumbnails/62.jpg)
— what is logic? —
![Page 63: The logic of quantum mechanics - take II · —kindergarten quantum mechanics: the experiment— Contest in problem solving between: Children using quantum picturalism Physics teachers](https://reader036.fdocuments.us/reader036/viewer/2022081402/5f0d3ec57e708231d439636d/html5/thumbnails/63.jpg)
— what is logic? —
Pragmatic option: Logic is structure in language.
![Page 64: The logic of quantum mechanics - take II · —kindergarten quantum mechanics: the experiment— Contest in problem solving between: Children using quantum picturalism Physics teachers](https://reader036.fdocuments.us/reader036/viewer/2022081402/5f0d3ec57e708231d439636d/html5/thumbnails/64.jpg)
— what is logic? —
Pragmatic option: Logic is structure in language.
“Alice and Bob ate everything or nothing, then got sick.”
connectives (∧,∨) : and, ornegation (¬) : not (cf. nothing = not something)entailment (⇒) : thenquantifiers (∀,∃) : every(thing), some(thing)constants (a, b) : thingvariable (x) : Alice, Bobpredicates (P(x),R(x, y)) : eating, getting sicktruth 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)
![Page 65: The logic of quantum mechanics - take II · —kindergarten quantum mechanics: the experiment— Contest in problem solving between: Children using quantum picturalism Physics teachers](https://reader036.fdocuments.us/reader036/viewer/2022081402/5f0d3ec57e708231d439636d/html5/thumbnails/65.jpg)
— what is logic? —
Pragmatic option: Logic is structure in language.
“Alice and Bob ate everything or nothing, then got sick.”
connectives (∧,∨) : and, ornegation (¬) : not (cf. nothing = not something)entailment (⇒) : thenquantifiers (∀,∃) : every(thing), some(thing)constants (a, b) : thingvariable (x) : Alice, Bobpredicates (P(x),R(x, y)) : eating, getting sicktruth 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)
This is about truth. What about genuine meaning?
![Page 66: The logic of quantum mechanics - take II · —kindergarten quantum mechanics: the experiment— Contest in problem solving between: Children using quantum picturalism Physics teachers](https://reader036.fdocuments.us/reader036/viewer/2022081402/5f0d3ec57e708231d439636d/html5/thumbnails/66.jpg)
A SLIGHTLY DIFFERENT LANGUAGEFOR NATURAL LANGUAGE MEANING
BC, Mehrnoosh Sadrzadeh & Stephen Clark (2010) Mathematical foundationsfor a compositional distributional model of meaning. arXiv:1003.4394
![Page 67: The logic of quantum mechanics - take II · —kindergarten quantum mechanics: the experiment— Contest in problem solving between: Children using quantum picturalism Physics teachers](https://reader036.fdocuments.us/reader036/viewer/2022081402/5f0d3ec57e708231d439636d/html5/thumbnails/67.jpg)
— the from-words-to-a-sentence process —
![Page 68: The logic of quantum mechanics - take II · —kindergarten quantum mechanics: the experiment— Contest in problem solving between: Children using quantum picturalism Physics teachers](https://reader036.fdocuments.us/reader036/viewer/2022081402/5f0d3ec57e708231d439636d/html5/thumbnails/68.jpg)
— the from-words-to-a-sentence process —
Consider meanings of words, e.g. as vectors (cf. Google):
word 1 word 2 word n...
![Page 69: The logic of quantum mechanics - take II · —kindergarten quantum mechanics: the experiment— Contest in problem solving between: Children using quantum picturalism Physics teachers](https://reader036.fdocuments.us/reader036/viewer/2022081402/5f0d3ec57e708231d439636d/html5/thumbnails/69.jpg)
— the from-words-to-a-sentence process —
What is the meaning the sentence made up of these?
word 1 word 2 word n...
![Page 70: The logic of quantum mechanics - take II · —kindergarten quantum mechanics: the experiment— Contest in problem solving between: Children using quantum picturalism Physics teachers](https://reader036.fdocuments.us/reader036/viewer/2022081402/5f0d3ec57e708231d439636d/html5/thumbnails/70.jpg)
— the from-words-to-a-sentence process —
I.e. how do we/machines produce meanings of sentences?
word 1 word 2 word n...?
![Page 71: The logic of quantum mechanics - take II · —kindergarten quantum mechanics: the experiment— Contest in problem solving between: Children using quantum picturalism Physics teachers](https://reader036.fdocuments.us/reader036/viewer/2022081402/5f0d3ec57e708231d439636d/html5/thumbnails/71.jpg)
— the from-words-to-a-sentence process —
I.e. how do we/machines produce meanings of sentences?
word 1 word 2 word n...grammar
![Page 72: The logic of quantum mechanics - take II · —kindergarten quantum mechanics: the experiment— Contest in problem solving between: Children using quantum picturalism Physics teachers](https://reader036.fdocuments.us/reader036/viewer/2022081402/5f0d3ec57e708231d439636d/html5/thumbnails/72.jpg)
— the from-words-to-a-sentence process —
Information flow within a verb:
verb
object subject
![Page 73: The logic of quantum mechanics - take II · —kindergarten quantum mechanics: the experiment— Contest in problem solving between: Children using quantum picturalism Physics teachers](https://reader036.fdocuments.us/reader036/viewer/2022081402/5f0d3ec57e708231d439636d/html5/thumbnails/73.jpg)
— the from-words-to-a-sentence process —
Information flow within a verb:
verb
object subject
Again we have:
=
![Page 74: The logic of quantum mechanics - take II · —kindergarten quantum mechanics: the experiment— Contest in problem solving between: Children using quantum picturalism Physics teachers](https://reader036.fdocuments.us/reader036/viewer/2022081402/5f0d3ec57e708231d439636d/html5/thumbnails/74.jpg)
— pregoup grammar —
Lambek’s residuated monoids (1950’s):b ≤ a( c⇔ a · b ≤ c⇔ a ≤ c � b
![Page 75: The logic of quantum mechanics - take II · —kindergarten quantum mechanics: the experiment— Contest in problem solving between: Children using quantum picturalism Physics teachers](https://reader036.fdocuments.us/reader036/viewer/2022081402/5f0d3ec57e708231d439636d/html5/thumbnails/75.jpg)
— 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
![Page 76: The logic of quantum mechanics - take II · —kindergarten quantum mechanics: the experiment— Contest in problem solving between: Children using quantum picturalism Physics teachers](https://reader036.fdocuments.us/reader036/viewer/2022081402/5f0d3ec57e708231d439636d/html5/thumbnails/76.jpg)
— 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
Lambek’s pregroups (2000’s):a · −1a ≤ 1 ≤ −1a · a
b−1 · b ≤ 1 ≤ b · b−1
![Page 77: The logic of quantum mechanics - take II · —kindergarten quantum mechanics: the experiment— Contest in problem solving between: Children using quantum picturalism Physics teachers](https://reader036.fdocuments.us/reader036/viewer/2022081402/5f0d3ec57e708231d439636d/html5/thumbnails/77.jpg)
— Lambek’s pregoup grammar —
A A A AA A A A
-1
-1
-1
-1
=
A
A
A
A
=A
A A
A=A
A
A
A
=A
A A
A-1
-1
-1
-1 -1
-1 -1
-1
Jim Lambek mentioned this connection first to (to me) during a seminar oncategorical quantum mechanics at McGill here in Montreal in 2004.
![Page 78: The logic of quantum mechanics - take II · —kindergarten quantum mechanics: the experiment— Contest in problem solving between: Children using quantum picturalism Physics teachers](https://reader036.fdocuments.us/reader036/viewer/2022081402/5f0d3ec57e708231d439636d/html5/thumbnails/78.jpg)
— Lambek’s pregoup grammar —
For noun type n, verb type is −1n · s · n−1, so:
![Page 79: The logic of quantum mechanics - take II · —kindergarten quantum mechanics: the experiment— Contest in problem solving between: Children using quantum picturalism Physics teachers](https://reader036.fdocuments.us/reader036/viewer/2022081402/5f0d3ec57e708231d439636d/html5/thumbnails/79.jpg)
— Lambek’s pregoup grammar —
For noun type n, verb type is −1n · s · n−1, so:
n · −1n · s · n−1 · n ≤ 1 · s · 1 ≤ s
![Page 80: The logic of quantum mechanics - take II · —kindergarten quantum mechanics: the experiment— Contest in problem solving between: Children using quantum picturalism Physics teachers](https://reader036.fdocuments.us/reader036/viewer/2022081402/5f0d3ec57e708231d439636d/html5/thumbnails/80.jpg)
— Lambek’s pregoup grammar —
For noun type n, verb type is −1n · s · n−1, so:
n · −1n · s · n−1 · n ≤ 1 · s · 1 ≤ s
![Page 81: The logic of quantum mechanics - take II · —kindergarten quantum mechanics: the experiment— Contest in problem solving between: Children using quantum picturalism Physics teachers](https://reader036.fdocuments.us/reader036/viewer/2022081402/5f0d3ec57e708231d439636d/html5/thumbnails/81.jpg)
— Lambek’s pregoup grammar —
For noun type n, verb type is −1n · s · n−1, so:
n · −1n · s · n−1 · n ≤ 1 · s · 1 ≤ s
![Page 82: The logic of quantum mechanics - take II · —kindergarten quantum mechanics: the experiment— Contest in problem solving between: Children using quantum picturalism Physics teachers](https://reader036.fdocuments.us/reader036/viewer/2022081402/5f0d3ec57e708231d439636d/html5/thumbnails/82.jpg)
— Lambek’s pregoup grammar —
For noun type n, verb type is −1n · s · n−1, so:
n · −1n · s · n−1 · n ≤ 1 · s · 1 ≤ s
Diagrammatic type reduction:
n nsn n-1 -1
![Page 83: The logic of quantum mechanics - take II · —kindergarten quantum mechanics: the experiment— Contest in problem solving between: Children using quantum picturalism Physics teachers](https://reader036.fdocuments.us/reader036/viewer/2022081402/5f0d3ec57e708231d439636d/html5/thumbnails/83.jpg)
— Lambek’s pregoup grammar —
For noun type n, verb type is −1n · s · n−1, so:
n · −1n · s · n−1 · n ≤ 1 · s · 1 ≤ s
Diagrammatic meaning:
verbn n
flow flow
![Page 84: The logic of quantum mechanics - take II · —kindergarten quantum mechanics: the experiment— Contest in problem solving between: Children using quantum picturalism Physics teachers](https://reader036.fdocuments.us/reader036/viewer/2022081402/5f0d3ec57e708231d439636d/html5/thumbnails/84.jpg)
— algorithm for meaning of sentences —
![Page 85: The logic of quantum mechanics - take II · —kindergarten quantum mechanics: the experiment— Contest in problem solving between: Children using quantum picturalism Physics teachers](https://reader036.fdocuments.us/reader036/viewer/2022081402/5f0d3ec57e708231d439636d/html5/thumbnails/85.jpg)
— algorithm for meaning of sentences —
1. Perform type reduction:
(word type 1) . . . (word type n) { sentence type
![Page 86: The logic of quantum mechanics - take II · —kindergarten quantum mechanics: the experiment— Contest in problem solving between: Children using quantum picturalism Physics teachers](https://reader036.fdocuments.us/reader036/viewer/2022081402/5f0d3ec57e708231d439636d/html5/thumbnails/86.jpg)
— algorithm for meaning of sentences —
1. Perform type reduction:
(word type 1) . . . (word type n) { sentence type
2. Interpret diagrammatic type reduction as linear map:
f :: 7→
∑i
〈ii|
⊗ id ⊗
∑i
〈ii|
![Page 87: The logic of quantum mechanics - take II · —kindergarten quantum mechanics: the experiment— Contest in problem solving between: Children using quantum picturalism Physics teachers](https://reader036.fdocuments.us/reader036/viewer/2022081402/5f0d3ec57e708231d439636d/html5/thumbnails/87.jpg)
— algorithm for meaning of sentences —
1. Perform type reduction:
(word type 1) . . . (word type n) { sentence type
2. Interpret diagrammatic type reduction as linear map:
f :: 7→
∑i
〈ii|
⊗ id ⊗
∑i
〈ii|
3. Apply this map to tensor of word meaning vectors:
f(−→v 1 ⊗ . . . ⊗
−→v n
)
![Page 88: The logic of quantum mechanics - take II · —kindergarten quantum mechanics: the experiment— Contest in problem solving between: Children using quantum picturalism Physics teachers](https://reader036.fdocuments.us/reader036/viewer/2022081402/5f0d3ec57e708231d439636d/html5/thumbnails/88.jpg)
—−−−−→Alice ⊗
−−−→does ⊗ −−→not ⊗
−−→like ⊗
−−→Bob —
![Page 89: The logic of quantum mechanics - take II · —kindergarten quantum mechanics: the experiment— Contest in problem solving between: Children using quantum picturalism Physics teachers](https://reader036.fdocuments.us/reader036/viewer/2022081402/5f0d3ec57e708231d439636d/html5/thumbnails/89.jpg)
—−−−−→Alice ⊗
−−−→does ⊗ −−→not ⊗
−−→like ⊗
−−→Bob —
Alice not like Bob
meaning vectors of words
not
grammar
does
![Page 90: The logic of quantum mechanics - take II · —kindergarten quantum mechanics: the experiment— Contest in problem solving between: Children using quantum picturalism Physics teachers](https://reader036.fdocuments.us/reader036/viewer/2022081402/5f0d3ec57e708231d439636d/html5/thumbnails/90.jpg)
—−−−−→Alice ⊗
−−−→does ⊗ −−→not ⊗
−−→like ⊗
−−→Bob —
Alice like Bob
meaning vectors of words
grammar
not
![Page 91: The logic of quantum mechanics - take II · —kindergarten quantum mechanics: the experiment— Contest in problem solving between: Children using quantum picturalism Physics teachers](https://reader036.fdocuments.us/reader036/viewer/2022081402/5f0d3ec57e708231d439636d/html5/thumbnails/91.jpg)
—−−−−→Alice ⊗
−−−→does ⊗ −−→not ⊗
−−→like ⊗
−−→Bob —
Alice like Bob
meaning vectors of words
grammar
not
![Page 92: The logic of quantum mechanics - take II · —kindergarten quantum mechanics: the experiment— Contest in problem solving between: Children using quantum picturalism Physics teachers](https://reader036.fdocuments.us/reader036/viewer/2022081402/5f0d3ec57e708231d439636d/html5/thumbnails/92.jpg)
—−−−−→Alice ⊗
−−−→does ⊗ −−→not ⊗
−−→like ⊗
−−→Bob —
Alice like Bob
meaning vectors of words
grammar
not= not
like
BobAlice
![Page 93: The logic of quantum mechanics - take II · —kindergarten quantum mechanics: the experiment— Contest in problem solving between: Children using quantum picturalism Physics teachers](https://reader036.fdocuments.us/reader036/viewer/2022081402/5f0d3ec57e708231d439636d/html5/thumbnails/93.jpg)
—−−−−→Alice ⊗
−−−→does ⊗ −−→not ⊗
−−→like ⊗
−−→Bob —
Alice like Bob
meaning vectors of words
grammar
not= not
like
BobAlice = not
likeBobAlice
Using: =
likelike
=
likelike
![Page 94: The logic of quantum mechanics - take II · —kindergarten quantum mechanics: the experiment— Contest in problem solving between: Children using quantum picturalism Physics teachers](https://reader036.fdocuments.us/reader036/viewer/2022081402/5f0d3ec57e708231d439636d/html5/thumbnails/94.jpg)
CLASSICAL DATA i.e. BASIS
![Page 95: The logic of quantum mechanics - take II · —kindergarten quantum mechanics: the experiment— Contest in problem solving between: Children using quantum picturalism Physics teachers](https://reader036.fdocuments.us/reader036/viewer/2022081402/5f0d3ec57e708231d439636d/html5/thumbnails/95.jpg)
WIRES?
![Page 96: The logic of quantum mechanics - take II · —kindergarten quantum mechanics: the experiment— Contest in problem solving between: Children using quantum picturalism Physics teachers](https://reader036.fdocuments.us/reader036/viewer/2022081402/5f0d3ec57e708231d439636d/html5/thumbnails/96.jpg)
SPIDERS!
B.C. and D. Pavlovic – arXiv:quant-ph/0608035
B.C., D. Pavlovic and J. Vicary – arXiv:0810.0812
B.C., E.O. Paquette and D. Pavlovic – arXiv:0904.1997
B.C. and S. Perdrix – arXiv:1004.1598
![Page 97: The logic of quantum mechanics - take II · —kindergarten quantum mechanics: the experiment— Contest in problem solving between: Children using quantum picturalism Physics teachers](https://reader036.fdocuments.us/reader036/viewer/2022081402/5f0d3ec57e708231d439636d/html5/thumbnails/97.jpg)
— spiders —
‘spiders’ =
m︷ ︸︸ ︷....
....
︸ ︷︷ ︸n
such that, for k > 0:
m+m′−k︷ ︸︸ ︷........
....
....
....
︸ ︷︷ ︸n+n′−k
=
....
....
Coecke, Pavlovic & Vicary (2006, 2008) quant-ph/0608035, 0810.0812
![Page 98: The logic of quantum mechanics - take II · —kindergarten quantum mechanics: the experiment— Contest in problem solving between: Children using quantum picturalism Physics teachers](https://reader036.fdocuments.us/reader036/viewer/2022081402/5f0d3ec57e708231d439636d/html5/thumbnails/98.jpg)
— spiders —
‘(co-)mult.’ =
m︷ ︸︸ ︷....
....
︸ ︷︷ ︸n
such that, for k > 0:
m+m′−k︷ ︸︸ ︷........
....
....
....
︸ ︷︷ ︸n+n′−k
=
....
....
![Page 99: The logic of quantum mechanics - take II · —kindergarten quantum mechanics: the experiment— Contest in problem solving between: Children using quantum picturalism Physics teachers](https://reader036.fdocuments.us/reader036/viewer/2022081402/5f0d3ec57e708231d439636d/html5/thumbnails/99.jpg)
— spiders —
‘(co-)mult.’ =
m︷ ︸︸ ︷....
....
︸ ︷︷ ︸n
such that, for k > 0:
m+m′−k︷ ︸︸ ︷........
....
....
....
︸ ︷︷ ︸n+n′−k
=
....
....
![Page 100: The logic of quantum mechanics - take II · —kindergarten quantum mechanics: the experiment— Contest in problem solving between: Children using quantum picturalism Physics teachers](https://reader036.fdocuments.us/reader036/viewer/2022081402/5f0d3ec57e708231d439636d/html5/thumbnails/100.jpg)
— spiders —
‘cups/caps’ =
m︷ ︸︸ ︷....
....
︸ ︷︷ ︸n
such that, for k > 0:
m+m′−k︷ ︸︸ ︷........
....
....
....
︸ ︷︷ ︸n+n′−k
=
....
....
Coecke, Pavlovic & Vicary (2006, 2008) quant-ph/0608035, 0810.0812
![Page 101: The logic of quantum mechanics - take II · —kindergarten quantum mechanics: the experiment— Contest in problem solving between: Children using quantum picturalism Physics teachers](https://reader036.fdocuments.us/reader036/viewer/2022081402/5f0d3ec57e708231d439636d/html5/thumbnails/101.jpg)
MATING AND FIGHTING SPIDERS
B.C. and R. Duncan – arXiv:0906.4725
![Page 102: The logic of quantum mechanics - take II · —kindergarten quantum mechanics: the experiment— Contest in problem solving between: Children using quantum picturalism Physics teachers](https://reader036.fdocuments.us/reader036/viewer/2022081402/5f0d3ec57e708231d439636d/html5/thumbnails/102.jpg)
— decorated spiders —
![Page 103: The logic of quantum mechanics - take II · —kindergarten quantum mechanics: the experiment— Contest in problem solving between: Children using quantum picturalism Physics teachers](https://reader036.fdocuments.us/reader036/viewer/2022081402/5f0d3ec57e708231d439636d/html5/thumbnails/103.jpg)
— decorated spiders —
Thm. ‘Unbiased points’ always form an Abelian groupfor spider multiplication with conjugate as inverse.
m︷ ︸︸ ︷....
....α︸ ︷︷ ︸
n
∣∣∣∣∣∣ n,m ∈ N0, α ∈ G
m︷ ︸︸ ︷
........
....
....
....α
β︸ ︷︷ ︸n
=
m︷ ︸︸ ︷....
....
α+β
︸ ︷︷ ︸n
![Page 104: The logic of quantum mechanics - take II · —kindergarten quantum mechanics: the experiment— Contest in problem solving between: Children using quantum picturalism Physics teachers](https://reader036.fdocuments.us/reader036/viewer/2022081402/5f0d3ec57e708231d439636d/html5/thumbnails/104.jpg)
— complementary spiders —
![Page 105: The logic of quantum mechanics - take II · —kindergarten quantum mechanics: the experiment— Contest in problem solving between: Children using quantum picturalism Physics teachers](https://reader036.fdocuments.us/reader036/viewer/2022081402/5f0d3ec57e708231d439636d/html5/thumbnails/105.jpg)
— complementary spiders —
Thm. Complementarity⇒
BC & Ross Duncan (2008) Interacting quantum observables. ICALP’08 &New Journal of Physics 13, 043016. arXiv:0906.4725
![Page 106: The logic of quantum mechanics - take II · —kindergarten quantum mechanics: the experiment— Contest in problem solving between: Children using quantum picturalism Physics teachers](https://reader036.fdocuments.us/reader036/viewer/2022081402/5f0d3ec57e708231d439636d/html5/thumbnails/106.jpg)
![Page 107: The logic of quantum mechanics - take II · —kindergarten quantum mechanics: the experiment— Contest in problem solving between: Children using quantum picturalism Physics teachers](https://reader036.fdocuments.us/reader036/viewer/2022081402/5f0d3ec57e708231d439636d/html5/thumbnails/107.jpg)
![Page 108: The logic of quantum mechanics - take II · —kindergarten quantum mechanics: the experiment— Contest in problem solving between: Children using quantum picturalism Physics teachers](https://reader036.fdocuments.us/reader036/viewer/2022081402/5f0d3ec57e708231d439636d/html5/thumbnails/108.jpg)
![Page 109: The logic of quantum mechanics - take II · —kindergarten quantum mechanics: the experiment— Contest in problem solving between: Children using quantum picturalism Physics teachers](https://reader036.fdocuments.us/reader036/viewer/2022081402/5f0d3ec57e708231d439636d/html5/thumbnails/109.jpg)
![Page 110: The logic of quantum mechanics - take II · —kindergarten quantum mechanics: the experiment— Contest in problem solving between: Children using quantum picturalism Physics teachers](https://reader036.fdocuments.us/reader036/viewer/2022081402/5f0d3ec57e708231d439636d/html5/thumbnails/110.jpg)
![Page 111: The logic of quantum mechanics - take II · —kindergarten quantum mechanics: the experiment— Contest in problem solving between: Children using quantum picturalism Physics teachers](https://reader036.fdocuments.us/reader036/viewer/2022081402/5f0d3ec57e708231d439636d/html5/thumbnails/111.jpg)
![Page 112: The logic of quantum mechanics - take II · —kindergarten quantum mechanics: the experiment— Contest in problem solving between: Children using quantum picturalism Physics teachers](https://reader036.fdocuments.us/reader036/viewer/2022081402/5f0d3ec57e708231d439636d/html5/thumbnails/112.jpg)
![Page 113: The logic of quantum mechanics - take II · —kindergarten quantum mechanics: the experiment— Contest in problem solving between: Children using quantum picturalism Physics teachers](https://reader036.fdocuments.us/reader036/viewer/2022081402/5f0d3ec57e708231d439636d/html5/thumbnails/113.jpg)
— complementary spiders —
Def. Strong complementarity :=
BC & Ross Duncan (2008) Interacting quantum observables. ICALP’08 &New Journal of Physics 13, 043016. arXiv:0906.4725
![Page 114: The logic of quantum mechanics - take II · —kindergarten quantum mechanics: the experiment— Contest in problem solving between: Children using quantum picturalism Physics teachers](https://reader036.fdocuments.us/reader036/viewer/2022081402/5f0d3ec57e708231d439636d/html5/thumbnails/114.jpg)
— universality —
Thm. (BC & Ross Duncan) The above described graph-ical language, is universal for computing with qubits.
Proof. CNOT-gate + arbitrary one-qubit unitaries viatheir Euler angle decomposition yield all unitaries:
ΛZ(γ) ◦ ΛX(β) ◦ ΛZ(α) =γ
αβ .
1 0 0 00 1 0 00 0 0 10 0 1 0
= .
![Page 115: The logic of quantum mechanics - take II · —kindergarten quantum mechanics: the experiment— Contest in problem solving between: Children using quantum picturalism Physics teachers](https://reader036.fdocuments.us/reader036/viewer/2022081402/5f0d3ec57e708231d439636d/html5/thumbnails/115.jpg)
— completeness II —
Thm. (Miriam Backens, about a year ago) The abovedescribed graphical calculus with phases restricted toπ2-multiples, is complete for qubit stabiliser fragmentof quantum computing, provided that we add the Eulerangle decomposition of the Hadamard gate.
![Page 116: The logic of quantum mechanics - take II · —kindergarten quantum mechanics: the experiment— Contest in problem solving between: Children using quantum picturalism Physics teachers](https://reader036.fdocuments.us/reader036/viewer/2022081402/5f0d3ec57e708231d439636d/html5/thumbnails/116.jpg)
— spiders —
Bob = (the) man whom Alice hates = Bob
![Page 117: The logic of quantum mechanics - take II · —kindergarten quantum mechanics: the experiment— Contest in problem solving between: Children using quantum picturalism Physics teachers](https://reader036.fdocuments.us/reader036/viewer/2022081402/5f0d3ec57e708231d439636d/html5/thumbnails/117.jpg)
— spiders —
Bob = (the) man whom Alice hates = Bob
![Page 118: The logic of quantum mechanics - take II · —kindergarten quantum mechanics: the experiment— Contest in problem solving between: Children using quantum picturalism Physics teachers](https://reader036.fdocuments.us/reader036/viewer/2022081402/5f0d3ec57e708231d439636d/html5/thumbnails/118.jpg)
— spiders —
Bob = (the) man whom Alice hates = Bob