![Page 1: quantum information flow · 2013-04-24 · quantum information flow Bob Coecke – Quantum Group - Computer Science - Oxford University f = f = f f f ALICE BOB = f Samson Abramsky](https://reader034.vdocuments.us/reader034/viewer/2022042112/5e8e01e7f6d6463290759c14/html5/thumbnails/1.jpg)
quantum information flowBob Coecke – Quantum Group - Computer Science - Oxford University
=
f
f =
f f
f
ALICE
BOB
=
ALICE
BOB
f
Samson Abramsky & BC (2004) A categorical semantics forquantum protocols. Logic in Computer Science ’04. arXiv:quant-ph/0402130 BC & Ross Duncan (2008, 2011) Interacting quan-tum observables: categorical algebra and diagrammatics. NewJournal of Physics 13, 043016. arXiv:0906. 4725
FORTHCOMING: textbook with Aleks Kissinger on a purelydiagrammatic presentation of basic quantum information
![Page 2: quantum information flow · 2013-04-24 · quantum information flow Bob Coecke – Quantum Group - Computer Science - Oxford University f = f = f f f ALICE BOB = f Samson Abramsky](https://reader034.vdocuments.us/reader034/viewer/2022042112/5e8e01e7f6d6463290759c14/html5/thumbnails/2.jpg)
Overview / general idea:
![Page 3: quantum information flow · 2013-04-24 · quantum information flow Bob Coecke – Quantum Group - Computer Science - Oxford University f = f = f f f ALICE BOB = f Samson Abramsky](https://reader034.vdocuments.us/reader034/viewer/2022042112/5e8e01e7f6d6463290759c14/html5/thumbnails/3.jpg)
Overview / general idea:
• Quantum informatic systems and operations and com-putations thereon admit diagrammatic calculus.
![Page 4: quantum information flow · 2013-04-24 · quantum information flow Bob Coecke – Quantum Group - Computer Science - Oxford University f = f = f f f ALICE BOB = f Samson Abramsky](https://reader034.vdocuments.us/reader034/viewer/2022042112/5e8e01e7f6d6463290759c14/html5/thumbnails/4.jpg)
Overview / general idea:
• Quantum informatic systems and operations and com-putations thereon admit diagrammatic calculus.
• Pictures expose ‘information flows’.
![Page 5: quantum information flow · 2013-04-24 · quantum information flow Bob Coecke – Quantum Group - Computer Science - Oxford University f = f = f f f ALICE BOB = f Samson Abramsky](https://reader034.vdocuments.us/reader034/viewer/2022042112/5e8e01e7f6d6463290759c14/html5/thumbnails/5.jpg)
Overview / general idea:
• Quantum informatic systems and operations and com-putations thereon admit diagrammatic calculus.
• Pictures expose ‘information flows’.
• Important fragments are ‘complete’:
![Page 6: quantum information flow · 2013-04-24 · quantum information flow Bob Coecke – Quantum Group - Computer Science - Oxford University f = f = f f f ALICE BOB = f Samson Abramsky](https://reader034.vdocuments.us/reader034/viewer/2022042112/5e8e01e7f6d6463290759c14/html5/thumbnails/6.jpg)
Overview / general idea:
• Quantum informatic systems and operations and com-putations thereon admit diagrammatic calculus.
• Pictures expose ‘information flows’.
• Important fragments are ‘complete’:
– Bipartite entanglement generated (Selinger’08)
![Page 7: quantum information flow · 2013-04-24 · quantum information flow Bob Coecke – Quantum Group - Computer Science - Oxford University f = f = f f f ALICE BOB = f Samson Abramsky](https://reader034.vdocuments.us/reader034/viewer/2022042112/5e8e01e7f6d6463290759c14/html5/thumbnails/7.jpg)
Overview / general idea:
• Quantum informatic systems and operations and com-putations thereon admit diagrammatic calculus.
• Pictures expose ‘information flows’.
• Important fragments are ‘complete’:
– Bipartite entanglement generated (Selinger’08)– The qubit stabiliser fragment (Backens’12)
![Page 8: quantum information flow · 2013-04-24 · quantum information flow Bob Coecke – Quantum Group - Computer Science - Oxford University f = f = f f f ALICE BOB = f Samson Abramsky](https://reader034.vdocuments.us/reader034/viewer/2022042112/5e8e01e7f6d6463290759c14/html5/thumbnails/8.jpg)
Overview / general idea:
• Quantum informatic systems and operations and com-putations thereon admit diagrammatic calculus.
• Pictures expose ‘information flows’.
• Important fragments are ‘complete’:
– Bipartite entanglement generated (Selinger’08)– The qubit stabiliser fragment (Backens’12)
• The mathematical backbone is category theory.
![Page 9: quantum information flow · 2013-04-24 · quantum information flow Bob Coecke – Quantum Group - Computer Science - Oxford University f = f = f f f ALICE BOB = f Samson Abramsky](https://reader034.vdocuments.us/reader034/viewer/2022042112/5e8e01e7f6d6463290759c14/html5/thumbnails/9.jpg)
Category Theory, . . .
![Page 10: quantum information flow · 2013-04-24 · quantum information flow Bob Coecke – Quantum Group - Computer Science - Oxford University f = f = f f f ALICE BOB = f Samson Abramsky](https://reader034.vdocuments.us/reader034/viewer/2022042112/5e8e01e7f6d6463290759c14/html5/thumbnails/10.jpg)
Category Theory, . . .
. . . isn’t it just tedious abstract nonsense?
![Page 11: quantum information flow · 2013-04-24 · quantum information flow Bob Coecke – Quantum Group - Computer Science - Oxford University f = f = f f f ALICE BOB = f Samson Abramsky](https://reader034.vdocuments.us/reader034/viewer/2022042112/5e8e01e7f6d6463290759c14/html5/thumbnails/11.jpg)
Category Theory, . . .
. . . isn’t it just tedious abstract nonsense? No!
![Page 12: quantum information flow · 2013-04-24 · quantum information flow Bob Coecke – Quantum Group - Computer Science - Oxford University f = f = f f f ALICE BOB = f Samson Abramsky](https://reader034.vdocuments.us/reader034/viewer/2022042112/5e8e01e7f6d6463290759c14/html5/thumbnails/12.jpg)
Category Theory, . . .
. . . isn’t it just tedious abstract nonsense? No!
Symmetric Monoidal Categories are everywhere!
![Page 13: quantum information flow · 2013-04-24 · quantum information flow Bob Coecke – Quantum Group - Computer Science - Oxford University f = f = f f f ALICE BOB = f Samson Abramsky](https://reader034.vdocuments.us/reader034/viewer/2022042112/5e8e01e7f6d6463290759c14/html5/thumbnails/13.jpg)
1. Let A be a raw potato.
![Page 14: quantum information flow · 2013-04-24 · quantum information flow Bob Coecke – Quantum Group - Computer Science - Oxford University f = f = f f f ALICE BOB = f Samson Abramsky](https://reader034.vdocuments.us/reader034/viewer/2022042112/5e8e01e7f6d6463290759c14/html5/thumbnails/14.jpg)
1. Let A be a raw potato.A admits many states e.g. dirty, clean, skinned, ...
![Page 15: quantum information flow · 2013-04-24 · quantum information flow Bob Coecke – Quantum Group - Computer Science - Oxford University f = f = f f f ALICE BOB = f Samson Abramsky](https://reader034.vdocuments.us/reader034/viewer/2022042112/5e8e01e7f6d6463290759c14/html5/thumbnails/15.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 16: quantum information flow · 2013-04-24 · quantum information flow Bob Coecke – Quantum Group - Computer Science - Oxford University f = f = f f f ALICE BOB = f Samson Abramsky](https://reader034.vdocuments.us/reader034/viewer/2022042112/5e8e01e7f6d6463290759c14/html5/thumbnails/16.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 17: quantum information flow · 2013-04-24 · quantum information flow Bob Coecke – Quantum Group - Computer Science - Oxford University f = f = f f f ALICE BOB = f Samson Abramsky](https://reader034.vdocuments.us/reader034/viewer/2022042112/5e8e01e7f6d6463290759c14/html5/thumbnails/17.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 18: quantum information flow · 2013-04-24 · quantum information flow Bob Coecke – Quantum Group - Computer Science - Oxford University f = f = f f f ALICE BOB = f Samson Abramsky](https://reader034.vdocuments.us/reader034/viewer/2022042112/5e8e01e7f6d6463290759c14/html5/thumbnails/18.jpg)
3. LetA
g ◦ f-C
be the composite process of first boiling Af
-B andthen salting B
g-C.
![Page 19: quantum information flow · 2013-04-24 · quantum information flow Bob Coecke – Quantum Group - Computer Science - Oxford University f = f = f f f ALICE BOB = f Samson Abramsky](https://reader034.vdocuments.us/reader034/viewer/2022042112/5e8e01e7f6d6463290759c14/html5/thumbnails/19.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 20: quantum information flow · 2013-04-24 · quantum information flow Bob Coecke – Quantum Group - Computer Science - Oxford University f = f = f f f ALICE BOB = f Samson Abramsky](https://reader034.vdocuments.us/reader034/viewer/2022042112/5e8e01e7f6d6463290759c14/html5/thumbnails/20.jpg)
4. Let A⊗D be potato A and carrot D and let
![Page 21: quantum information flow · 2013-04-24 · quantum information flow Bob Coecke – Quantum Group - Computer Science - Oxford University f = f = f f f ALICE BOB = f Samson Abramsky](https://reader034.vdocuments.us/reader034/viewer/2022042112/5e8e01e7f6d6463290759c14/html5/thumbnails/21.jpg)
4. Let A⊗D be potato A and carrot D and let
A⊗D f⊗h-B ⊗ E
be boiling potato while frying carrot.
![Page 22: quantum information flow · 2013-04-24 · quantum information flow Bob Coecke – Quantum Group - Computer Science - Oxford University f = f = f f f ALICE BOB = f Samson Abramsky](https://reader034.vdocuments.us/reader034/viewer/2022042112/5e8e01e7f6d6463290759c14/html5/thumbnails/22.jpg)
4. Let A⊗D be potato A and carrot D and let
A⊗D f⊗h-B ⊗ E
be boiling potato while frying carrot. Let
C ⊗ F x-M
be mashing spice-cook-potato and spice-cook-carrot.
![Page 23: quantum information flow · 2013-04-24 · quantum information flow Bob Coecke – Quantum Group - Computer Science - Oxford University f = f = f f f ALICE BOB = f Samson Abramsky](https://reader034.vdocuments.us/reader034/viewer/2022042112/5e8e01e7f6d6463290759c14/html5/thumbnails/23.jpg)
5. Total process:
A⊗D f⊗h-B⊗E g⊗k
-C⊗F x-M=A⊗D x◦(g⊗k)◦(f⊗h)
-M.
![Page 24: quantum information flow · 2013-04-24 · quantum information flow Bob Coecke – Quantum Group - Computer Science - Oxford University f = f = f f f ALICE BOB = f Samson Abramsky](https://reader034.vdocuments.us/reader034/viewer/2022042112/5e8e01e7f6d6463290759c14/html5/thumbnails/24.jpg)
5. Total process:
A⊗D f⊗h-B⊗E g⊗k
-C⊗F x-M=A⊗D x◦(g⊗k)◦(f⊗h)
-M.
6. Recipe = composition structure on processes.
![Page 25: quantum information flow · 2013-04-24 · quantum information flow Bob Coecke – Quantum Group - Computer Science - Oxford University f = f = f f f ALICE BOB = f Samson Abramsky](https://reader034.vdocuments.us/reader034/viewer/2022042112/5e8e01e7f6d6463290759c14/html5/thumbnails/25.jpg)
5. Total process:
A⊗D f⊗h-B⊗E g⊗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 26: quantum information flow · 2013-04-24 · quantum information flow Bob Coecke – Quantum Group - Computer Science - Oxford University f = f = f f f ALICE BOB = f Samson Abramsky](https://reader034.vdocuments.us/reader034/viewer/2022042112/5e8e01e7f6d6463290759c14/html5/thumbnails/26.jpg)
5. Total process:
A⊗D f⊗h-B⊗E g⊗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 27: quantum information flow · 2013-04-24 · quantum information flow Bob Coecke – Quantum Group - Computer Science - Oxford University f = f = f f f ALICE BOB = f Samson Abramsky](https://reader034.vdocuments.us/reader034/viewer/2022042112/5e8e01e7f6d6463290759c14/html5/thumbnails/27.jpg)
5. Total process:
A⊗D f⊗h-B⊗E g⊗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
⇒ Symmetric Monoidal Category
![Page 28: quantum information flow · 2013-04-24 · quantum information flow Bob Coecke – Quantum Group - Computer Science - Oxford University f = f = f f f ALICE BOB = f Samson Abramsky](https://reader034.vdocuments.us/reader034/viewer/2022042112/5e8e01e7f6d6463290759c14/html5/thumbnails/28.jpg)
— Why does a tiger have stripes and a lion doesn’t? —
![Page 29: quantum information flow · 2013-04-24 · quantum information flow Bob Coecke – Quantum Group - Computer Science - Oxford University f = f = f f f ALICE BOB = f Samson Abramsky](https://reader034.vdocuments.us/reader034/viewer/2022042112/5e8e01e7f6d6463290759c14/html5/thumbnails/29.jpg)
— Why does a tiger have stripes and a lion doesn’t? —
prey ⊗ predator ⊗ environment
dead prey ⊗ eating predatorhunt
?
![Page 30: quantum information flow · 2013-04-24 · quantum information flow Bob Coecke – Quantum Group - Computer Science - Oxford University f = f = f f f ALICE BOB = f Samson Abramsky](https://reader034.vdocuments.us/reader034/viewer/2022042112/5e8e01e7f6d6463290759c14/html5/thumbnails/30.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.
Bob Coecke and Eric Oliver Paquette (2011) Categories for the practicingphysicist. In: New Structures for Physics, B. Coecke (ed), Springer-Verlag.arXiv:0905.3010
![Page 31: quantum information flow · 2013-04-24 · quantum information flow Bob Coecke – Quantum Group - Computer Science - Oxford University f = f = f f f ALICE BOB = f Samson Abramsky](https://reader034.vdocuments.us/reader034/viewer/2022042112/5e8e01e7f6d6463290759c14/html5/thumbnails/31.jpg)
— wire and box language —
foutput wire(s)
input wire(s)Box =:
![Page 32: quantum information flow · 2013-04-24 · quantum information flow Bob Coecke – Quantum Group - Computer Science - Oxford University f = f = f f f ALICE BOB = f Samson Abramsky](https://reader034.vdocuments.us/reader034/viewer/2022042112/5e8e01e7f6d6463290759c14/html5/thumbnails/32.jpg)
— wire and box language —
foutput wire(s)
input wire(s)Box =:
Interpretation: wire := system ; box := process
![Page 33: quantum information flow · 2013-04-24 · quantum information flow Bob Coecke – Quantum Group - Computer Science - Oxford University f = f = f f f ALICE BOB = f Samson Abramsky](https://reader034.vdocuments.us/reader034/viewer/2022042112/5e8e01e7f6d6463290759c14/html5/thumbnails/33.jpg)
— wire and box language —
foutput wire(s)
input wire(s)Box =:
Interpretation: wire := system ; box := process
one system: n subsystems: no system:
︸︷︷︸1
. . .︸ ︷︷ ︸
n︸︷︷︸
0
![Page 34: quantum information flow · 2013-04-24 · quantum information flow Bob Coecke – Quantum Group - Computer Science - Oxford University f = f = f f f ALICE BOB = f Samson Abramsky](https://reader034.vdocuments.us/reader034/viewer/2022042112/5e8e01e7f6d6463290759c14/html5/thumbnails/34.jpg)
— wire and box games —
![Page 35: quantum information flow · 2013-04-24 · quantum information flow Bob Coecke – Quantum Group - Computer Science - Oxford University f = f = f f f ALICE BOB = f Samson Abramsky](https://reader034.vdocuments.us/reader034/viewer/2022042112/5e8e01e7f6d6463290759c14/html5/thumbnails/35.jpg)
— wire and box games —
sequential or causal or connected composition:
g ◦ f ≡g
f
![Page 36: quantum information flow · 2013-04-24 · quantum information flow Bob Coecke – Quantum Group - Computer Science - Oxford University f = f = f f f ALICE BOB = f Samson Abramsky](https://reader034.vdocuments.us/reader034/viewer/2022042112/5e8e01e7f6d6463290759c14/html5/thumbnails/36.jpg)
— wire and box games —
sequential or causal or connected composition:
g ◦ f ≡g
f
parallel or acausal or disconnected composition:
f ⊗ g ≡ f fg
![Page 37: quantum information flow · 2013-04-24 · quantum information flow Bob Coecke – Quantum Group - Computer Science - Oxford University f = f = f f f ALICE BOB = f Samson Abramsky](https://reader034.vdocuments.us/reader034/viewer/2022042112/5e8e01e7f6d6463290759c14/html5/thumbnails/37.jpg)
— merely a new notation? —
![Page 38: quantum information flow · 2013-04-24 · quantum information flow Bob Coecke – Quantum Group - Computer Science - Oxford University f = f = f f f ALICE BOB = f Samson Abramsky](https://reader034.vdocuments.us/reader034/viewer/2022042112/5e8e01e7f6d6463290759c14/html5/thumbnails/38.jpg)
— merely a new notation? —
(g ◦ f )⊗ (k ◦ h) = (g ⊗ k) ◦ (f ⊗ h)
=f h
g k
f h
g k
![Page 39: quantum information flow · 2013-04-24 · quantum information flow Bob Coecke – Quantum Group - Computer Science - Oxford University f = f = f f f ALICE BOB = f Samson Abramsky](https://reader034.vdocuments.us/reader034/viewer/2022042112/5e8e01e7f6d6463290759c14/html5/thumbnails/39.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 40: quantum information flow · 2013-04-24 · quantum information flow Bob Coecke – Quantum Group - Computer Science - Oxford University f = f = f f f ALICE BOB = f Samson Abramsky](https://reader034.vdocuments.us/reader034/viewer/2022042112/5e8e01e7f6d6463290759c14/html5/thumbnails/40.jpg)
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
BC (2010) Quantum picturalism. Contemporary Physics. arXiv:0908.1787
![Page 41: quantum information flow · 2013-04-24 · quantum information flow Bob Coecke – Quantum Group - Computer Science - Oxford University f = f = f f f ALICE BOB = f Samson Abramsky](https://reader034.vdocuments.us/reader034/viewer/2022042112/5e8e01e7f6d6463290759c14/html5/thumbnails/41.jpg)
— genesis —
[von Neumann 1932] Formalized quantum mechanicsin “Mathematische Grundlagen der Quantenmechanik”
![Page 42: quantum information flow · 2013-04-24 · quantum information flow Bob Coecke – Quantum Group - Computer Science - Oxford University f = f = f f f ALICE BOB = f Samson Abramsky](https://reader034.vdocuments.us/reader034/viewer/2022042112/5e8e01e7f6d6463290759c14/html5/thumbnails/42.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 43: quantum information flow · 2013-04-24 · quantum information flow Bob Coecke – Quantum Group - Computer Science - Oxford University f = f = f f f ALICE BOB = f Samson Abramsky](https://reader034.vdocuments.us/reader034/viewer/2022042112/5e8e01e7f6d6463290759c14/html5/thumbnails/43.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 ofQuantum Mechanics in Annals of Mathematics.
![Page 44: quantum information flow · 2013-04-24 · quantum information flow Bob Coecke – Quantum Group - Computer Science - Oxford University f = f = f f f ALICE BOB = f Samson Abramsky](https://reader034.vdocuments.us/reader034/viewer/2022042112/5e8e01e7f6d6463290759c14/html5/thumbnails/44.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 ofQuantum Mechanics in Annals of Mathematics.
[1936 – 2000] many followed them, ... and FAILED.
![Page 45: quantum information flow · 2013-04-24 · quantum information flow Bob Coecke – Quantum Group - Computer Science - Oxford University f = f = f f f ALICE BOB = f Samson Abramsky](https://reader034.vdocuments.us/reader034/viewer/2022042112/5e8e01e7f6d6463290759c14/html5/thumbnails/45.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 ofQuantum Mechanics in Annals of Mathematics.
[1936 – 2000] many followed them, ... and FAILED.
![Page 46: quantum information flow · 2013-04-24 · quantum information flow Bob Coecke – Quantum Group - Computer Science - Oxford University f = f = f f f ALICE BOB = f Samson Abramsky](https://reader034.vdocuments.us/reader034/viewer/2022042112/5e8e01e7f6d6463290759c14/html5/thumbnails/46.jpg)
— the mathematics of it —
![Page 47: quantum information flow · 2013-04-24 · quantum information flow Bob Coecke – Quantum Group - Computer Science - Oxford University f = f = f f f ALICE BOB = f Samson Abramsky](https://reader034.vdocuments.us/reader034/viewer/2022042112/5e8e01e7f6d6463290759c14/html5/thumbnails/47.jpg)
— the mathematics of it —
Hilber space stuff: continuum, field structure of com-plex numbers, vector space over it, inner-product, etc.
![Page 48: quantum information flow · 2013-04-24 · quantum information flow Bob Coecke – Quantum Group - Computer Science - Oxford University f = f = f f f ALICE BOB = f Samson Abramsky](https://reader034.vdocuments.us/reader034/viewer/2022042112/5e8e01e7f6d6463290759c14/html5/thumbnails/48.jpg)
— the mathematics of it —
Hilber space stuff: continuum, field structure of com-plex numbers, vector space over it, inner-product, etc.
WHY?
![Page 49: quantum information flow · 2013-04-24 · quantum information flow Bob Coecke – Quantum Group - Computer Science - Oxford University f = f = f f f ALICE BOB = f Samson Abramsky](https://reader034.vdocuments.us/reader034/viewer/2022042112/5e8e01e7f6d6463290759c14/html5/thumbnails/49.jpg)
— the mathematics of it —
Hilber 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 50: quantum information flow · 2013-04-24 · quantum information flow Bob Coecke – Quantum Group - Computer Science - Oxford University f = f = f f f ALICE BOB = f Samson Abramsky](https://reader034.vdocuments.us/reader034/viewer/2022042112/5e8e01e7f6d6463290759c14/html5/thumbnails/50.jpg)
— the physics of it —
![Page 51: quantum information flow · 2013-04-24 · quantum information flow Bob Coecke – Quantum Group - Computer Science - Oxford University f = f = f f f ALICE BOB = f Samson Abramsky](https://reader034.vdocuments.us/reader034/viewer/2022042112/5e8e01e7f6d6463290759c14/html5/thumbnails/51.jpg)
— the physics of it —
von Neumann crafted Birkhoff-von Neumann Quan-tum ‘Logic’ to capture the concept of superposition.
![Page 52: quantum information flow · 2013-04-24 · quantum information flow Bob Coecke – Quantum Group - Computer Science - Oxford University f = f = f f f ALICE BOB = f Samson Abramsky](https://reader034.vdocuments.us/reader034/viewer/2022042112/5e8e01e7f6d6463290759c14/html5/thumbnails/52.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 53: quantum information flow · 2013-04-24 · quantum information flow Bob Coecke – Quantum Group - Computer Science - Oxford University f = f = f f f ALICE BOB = f Samson Abramsky](https://reader034.vdocuments.us/reader034/viewer/2022042112/5e8e01e7f6d6463290759c14/html5/thumbnails/53.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.
Quantum Computer Scientists: Schrodinger is right!
![Page 54: quantum information flow · 2013-04-24 · quantum information flow Bob Coecke – Quantum Group - Computer Science - Oxford University f = f = f f f ALICE BOB = f Samson Abramsky](https://reader034.vdocuments.us/reader034/viewer/2022042112/5e8e01e7f6d6463290759c14/html5/thumbnails/54.jpg)
— the game plan —
![Page 55: quantum information flow · 2013-04-24 · quantum information flow Bob Coecke – Quantum Group - Computer Science - Oxford University f = f = f f f ALICE BOB = f Samson Abramsky](https://reader034.vdocuments.us/reader034/viewer/2022042112/5e8e01e7f6d6463290759c14/html5/thumbnails/55.jpg)
— the game plan —
Task 0. Solve:tensor product structure
the other stuff= ???
![Page 56: quantum information flow · 2013-04-24 · quantum information flow Bob Coecke – Quantum Group - Computer Science - Oxford University f = f = f f f ALICE BOB = f Samson Abramsky](https://reader034.vdocuments.us/reader034/viewer/2022042112/5e8e01e7f6d6463290759c14/html5/thumbnails/56.jpg)
— the game plan —
Task 0. Solve:tensor product structure
the other stuff= ???
i.e. axiomatize “⊗” without reference to spaces.
![Page 57: quantum information flow · 2013-04-24 · quantum information flow Bob Coecke – Quantum Group - Computer Science - Oxford University f = f = f f f ALICE BOB = f Samson Abramsky](https://reader034.vdocuments.us/reader034/viewer/2022042112/5e8e01e7f6d6463290759c14/html5/thumbnails/57.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 58: quantum information flow · 2013-04-24 · quantum information flow Bob Coecke – Quantum Group - Computer Science - Oxford University f = f = f f f ALICE BOB = f Samson Abramsky](https://reader034.vdocuments.us/reader034/viewer/2022042112/5e8e01e7f6d6463290759c14/html5/thumbnails/58.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 59: quantum information flow · 2013-04-24 · quantum information flow Bob Coecke – Quantum Group - Computer Science - Oxford University f = f = f f f ALICE BOB = f Samson Abramsky](https://reader034.vdocuments.us/reader034/viewer/2022042112/5e8e01e7f6d6463290759c14/html5/thumbnails/59.jpg)
Outcome 1a: “Sheer ratio of results to assumptions”
![Page 60: quantum information flow · 2013-04-24 · quantum information flow Bob Coecke – Quantum Group - Computer Science - Oxford University f = f = f f f ALICE BOB = f Samson Abramsky](https://reader034.vdocuments.us/reader034/viewer/2022042112/5e8e01e7f6d6463290759c14/html5/thumbnails/60.jpg)
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.
![Page 61: quantum information flow · 2013-04-24 · quantum information flow Bob Coecke – Quantum Group - Computer Science - Oxford University f = f = f f f ALICE BOB = f Samson Abramsky](https://reader034.vdocuments.us/reader034/viewer/2022042112/5e8e01e7f6d6463290759c14/html5/thumbnails/61.jpg)
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.
![Page 62: quantum information flow · 2013-04-24 · quantum information flow Bob Coecke – Quantum Group - Computer Science - Oxford University f = f = f f f ALICE BOB = f Samson Abramsky](https://reader034.vdocuments.us/reader034/viewer/2022042112/5e8e01e7f6d6463290759c14/html5/thumbnails/62.jpg)
Outcome 1a: “Sheer ratio of results to assumptions”confirms that we are probing something very essential.
Outcome 1b: Exposing this structure has already helpedto solve open problems elsewhere. (e.g. 2× ICALP’10)
E.g.: Ross Duncan & Simon Perdrix (2010) Rewriting measurement-basedquantum computations with generalised flow. ICALP’10.
![Page 63: quantum information flow · 2013-04-24 · quantum information flow Bob Coecke – Quantum Group - Computer Science - Oxford University f = f = f f f ALICE BOB = f Samson Abramsky](https://reader034.vdocuments.us/reader034/viewer/2022042112/5e8e01e7f6d6463290759c14/html5/thumbnails/63.jpg)
Outcome 1a: “Sheer ratio of results to assumptions”confirms that we are probing something very essential.
Outcome 1b: Exposing this structure has already helpedto solve open problems elsewhere. (e.g. 2× ICALP’10)
Outcome 1c: Framework is a simple intuitive (butrigorous) diagrammatic language, meanwhile adoptedby 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.
![Page 64: quantum information flow · 2013-04-24 · quantum information flow Bob Coecke – Quantum Group - Computer Science - Oxford University f = f = f f f ALICE BOB = f Samson Abramsky](https://reader034.vdocuments.us/reader034/viewer/2022042112/5e8e01e7f6d6463290759c14/html5/thumbnails/64.jpg)
Outcome 1a: “Sheer ratio of results to assumptions”confirms that we are probing something very essential.
Outcome 1b: Exposing this structure has already helpedto solve open problems elsewhere. (e.g. 2× ICALP’10)
Outcome 1c: Framework is a simple intuitive (butrigorous) diagrammatic language, meanwhile adoptedby 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.
![Page 65: quantum information flow · 2013-04-24 · quantum information flow Bob Coecke – Quantum Group - Computer Science - Oxford University f = f = f f f ALICE BOB = f Samson Abramsky](https://reader034.vdocuments.us/reader034/viewer/2022042112/5e8e01e7f6d6463290759c14/html5/thumbnails/65.jpg)
Outcome 2a:Behaviors of matter (Abramsky-C; LiCS’04, quant-ph/0402130) :
=
f
f =
f f
f
ALICE
BOB
=
ALICE
BOB
f
Meaning in language (Clark-C-Sadrzadeh; Linguistic Analysis, arXiv:1003.4394) :
=
not
likeBobAlice
does
Alice not like
not
Bob
meaning vectors of words
pregroup grammar
Knowledge updating (C-Spekkens; Synthese, arXiv:1102.2368) :
conditionalindependence
=P(C|AB)
A A
=
A
=A
B
A
B=
B(BA) 1-
A
C 1- C 1-
C
P(AB|C) P(A|C) P(B|C) P(C|A) P(C|B)P(C|B) P(C|A)
![Page 66: quantum information flow · 2013-04-24 · quantum information flow Bob Coecke – Quantum Group - Computer Science - Oxford University f = f = f f f ALICE BOB = f Samson Abramsky](https://reader034.vdocuments.us/reader034/viewer/2022042112/5e8e01e7f6d6463290759c14/html5/thumbnails/66.jpg)
BOXES AND WIRES II
![Page 67: quantum information flow · 2013-04-24 · quantum information flow Bob Coecke – Quantum Group - Computer Science - Oxford University f = f = f f f ALICE BOB = f Samson Abramsky](https://reader034.vdocuments.us/reader034/viewer/2022042112/5e8e01e7f6d6463290759c14/html5/thumbnails/67.jpg)
— quantitative metric —
f : A→ B
f
A
B
![Page 68: quantum information flow · 2013-04-24 · quantum information flow Bob Coecke – Quantum Group - Computer Science - Oxford University f = f = f f f ALICE BOB = f Samson Abramsky](https://reader034.vdocuments.us/reader034/viewer/2022042112/5e8e01e7f6d6463290759c14/html5/thumbnails/68.jpg)
— quantitative metric —
f† : B → A
f
B
A
![Page 69: quantum information flow · 2013-04-24 · quantum information flow Bob Coecke – Quantum Group - Computer Science - Oxford University f = f = f f f ALICE BOB = f Samson Abramsky](https://reader034.vdocuments.us/reader034/viewer/2022042112/5e8e01e7f6d6463290759c14/html5/thumbnails/69.jpg)
— asserting (pure) entanglement —
quantum
classical=
==
![Page 70: quantum information flow · 2013-04-24 · quantum information flow Bob Coecke – Quantum Group - Computer Science - Oxford University f = f = f f f ALICE BOB = f Samson Abramsky](https://reader034.vdocuments.us/reader034/viewer/2022042112/5e8e01e7f6d6463290759c14/html5/thumbnails/70.jpg)
— asserting (pure) entanglement —
quantum
classical=
==
⇒ introduce ‘parallel wire’ between systems:
subject to: only topology matters!
![Page 71: quantum information flow · 2013-04-24 · quantum information flow Bob Coecke – Quantum Group - Computer Science - Oxford University f = f = f f f ALICE BOB = f Samson Abramsky](https://reader034.vdocuments.us/reader034/viewer/2022042112/5e8e01e7f6d6463290759c14/html5/thumbnails/71.jpg)
— quantum-like —
E.g.
=
![Page 72: quantum information flow · 2013-04-24 · quantum information flow Bob Coecke – Quantum Group - Computer Science - Oxford University f = f = f f f ALICE BOB = f Samson Abramsky](https://reader034.vdocuments.us/reader034/viewer/2022042112/5e8e01e7f6d6463290759c14/html5/thumbnails/72.jpg)
Transpose:
ff
=Conjugate:
ff
=
![Page 73: quantum information flow · 2013-04-24 · quantum information flow Bob Coecke – Quantum Group - Computer Science - Oxford University f = f = f f f ALICE BOB = f Samson Abramsky](https://reader034.vdocuments.us/reader034/viewer/2022042112/5e8e01e7f6d6463290759c14/html5/thumbnails/73.jpg)
classical data flow?
f
=
fff
![Page 74: quantum information flow · 2013-04-24 · quantum information flow Bob Coecke – Quantum Group - Computer Science - Oxford University f = f = f f f ALICE BOB = f Samson Abramsky](https://reader034.vdocuments.us/reader034/viewer/2022042112/5e8e01e7f6d6463290759c14/html5/thumbnails/74.jpg)
classical data flow?
f
=
f
![Page 75: quantum information flow · 2013-04-24 · quantum information flow Bob Coecke – Quantum Group - Computer Science - Oxford University f = f = f f f ALICE BOB = f Samson Abramsky](https://reader034.vdocuments.us/reader034/viewer/2022042112/5e8e01e7f6d6463290759c14/html5/thumbnails/75.jpg)
classical data flow?
f
=
f
![Page 76: quantum information flow · 2013-04-24 · quantum information flow Bob Coecke – Quantum Group - Computer Science - Oxford University f = f = f f f ALICE BOB = f Samson Abramsky](https://reader034.vdocuments.us/reader034/viewer/2022042112/5e8e01e7f6d6463290759c14/html5/thumbnails/76.jpg)
classical data flow?
f
ALICE
BOB
=
ALICE
BOB
f
⇒ quantum teleportation
![Page 77: quantum information flow · 2013-04-24 · quantum information flow Bob Coecke – Quantum Group - Computer Science - Oxford University f = f = f f f ALICE BOB = f Samson Abramsky](https://reader034.vdocuments.us/reader034/viewer/2022042112/5e8e01e7f6d6463290759c14/html5/thumbnails/77.jpg)
Applying “decorated” normalization 3
=f
f
f f
⇒ Entanglement swapping
![Page 78: quantum information flow · 2013-04-24 · quantum information flow Bob Coecke – Quantum Group - Computer Science - Oxford University f = f = f f f ALICE BOB = f Samson Abramsky](https://reader034.vdocuments.us/reader034/viewer/2022042112/5e8e01e7f6d6463290759c14/html5/thumbnails/78.jpg)
classical data flow?
f
=
f
g
g
‘
⇒ gate teleportation MBQC
![Page 79: quantum information flow · 2013-04-24 · quantum information flow Bob Coecke – Quantum Group - Computer Science - Oxford University f = f = f f f ALICE BOB = f Samson Abramsky](https://reader034.vdocuments.us/reader034/viewer/2022042112/5e8e01e7f6d6463290759c14/html5/thumbnails/79.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 80: quantum information flow · 2013-04-24 · quantum information flow Bob Coecke – Quantum Group - Computer Science - Oxford University f = f = f f f ALICE BOB = f Samson Abramsky](https://reader034.vdocuments.us/reader034/viewer/2022042112/5e8e01e7f6d6463290759c14/html5/thumbnails/80.jpg)
— symbolically: dagger compact categories —
In words: Any equation involving:
• states, operations, effects
• unitarity, adjoints (e.g. self-adjoint), projections
• Bell-states/effects, transpose, conjugation
• inner-product, trace, Hilbert-Schmidt norm
• positivity, completely positive maps, ...
holds in quantum theory if and only if it can be derivedin the graphical language via homotopy.
![Page 81: quantum information flow · 2013-04-24 · quantum information flow Bob Coecke – Quantum Group - Computer Science - Oxford University f = f = f f f ALICE BOB = f Samson Abramsky](https://reader034.vdocuments.us/reader034/viewer/2022042112/5e8e01e7f6d6463290759c14/html5/thumbnails/81.jpg)
What are these diagrams in ordinary QM?
• Step 1: only maps (no vectors, numbers)
• Step 2: cast Dirac in 2D
• Step 3: summations 7→ topological entity
– E.g.∑
i |ii〉 7→
. . . glass board tutorial
![Page 82: quantum information flow · 2013-04-24 · quantum information flow Bob Coecke – Quantum Group - Computer Science - Oxford University f = f = f f f ALICE BOB = f Samson Abramsky](https://reader034.vdocuments.us/reader034/viewer/2022042112/5e8e01e7f6d6463290759c14/html5/thumbnails/82.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
BC (2012) The logic of quantum mechanics – Take II. arXiv:1204.3458
![Page 83: quantum information flow · 2013-04-24 · quantum information flow Bob Coecke – Quantum Group - Computer Science - Oxford University f = f = f f f ALICE BOB = f Samson Abramsky](https://reader034.vdocuments.us/reader034/viewer/2022042112/5e8e01e7f6d6463290759c14/html5/thumbnails/83.jpg)
— the from-words-to-a-sentence process —
![Page 84: quantum information flow · 2013-04-24 · quantum information flow Bob Coecke – Quantum Group - Computer Science - Oxford University f = f = f f f ALICE BOB = f Samson Abramsky](https://reader034.vdocuments.us/reader034/viewer/2022042112/5e8e01e7f6d6463290759c14/html5/thumbnails/84.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 85: quantum information flow · 2013-04-24 · quantum information flow Bob Coecke – Quantum Group - Computer Science - Oxford University f = f = f f f ALICE BOB = f Samson Abramsky](https://reader034.vdocuments.us/reader034/viewer/2022042112/5e8e01e7f6d6463290759c14/html5/thumbnails/85.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 86: quantum information flow · 2013-04-24 · quantum information flow Bob Coecke – Quantum Group - Computer Science - Oxford University f = f = f f f ALICE BOB = f Samson Abramsky](https://reader034.vdocuments.us/reader034/viewer/2022042112/5e8e01e7f6d6463290759c14/html5/thumbnails/86.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 87: quantum information flow · 2013-04-24 · quantum information flow Bob Coecke – Quantum Group - Computer Science - Oxford University f = f = f f f ALICE BOB = f Samson Abramsky](https://reader034.vdocuments.us/reader034/viewer/2022042112/5e8e01e7f6d6463290759c14/html5/thumbnails/87.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
Gerald Gazdar (1996) Paradigm merger in natural language processing. In:Computing tomorrow: future research directions in computer science, eds.,I. Wand and R. Milner, Cambridge University Press.
![Page 88: quantum information flow · 2013-04-24 · quantum information flow Bob Coecke – Quantum Group - Computer Science - Oxford University f = f = f f f ALICE BOB = f Samson Abramsky](https://reader034.vdocuments.us/reader034/viewer/2022042112/5e8e01e7f6d6463290759c14/html5/thumbnails/88.jpg)
— the from-words-to-a-sentence process —
Information flow within a verb:
verb
object subject
![Page 89: quantum information flow · 2013-04-24 · quantum information flow Bob Coecke – Quantum Group - Computer Science - Oxford University f = f = f f f ALICE BOB = f Samson Abramsky](https://reader034.vdocuments.us/reader034/viewer/2022042112/5e8e01e7f6d6463290759c14/html5/thumbnails/89.jpg)
— the from-words-to-a-sentence process —
Information flow within a verb:
verb
object subject
Again we have:
=
![Page 90: quantum information flow · 2013-04-24 · quantum information flow Bob Coecke – Quantum Group - Computer Science - Oxford University f = f = f f f ALICE BOB = f Samson Abramsky](https://reader034.vdocuments.us/reader034/viewer/2022042112/5e8e01e7f6d6463290759c14/html5/thumbnails/90.jpg)
— grammar as pregroups – Lambek ’99 —
A Al A A
A Al
r
A Ar
=
A
A
A
A=A
A A
A
r
r
=A
A
A
A=A
A A
Al l
ll
r
r
![Page 91: quantum information flow · 2013-04-24 · quantum information flow Bob Coecke – Quantum Group - Computer Science - Oxford University f = f = f f f ALICE BOB = f Samson Abramsky](https://reader034.vdocuments.us/reader034/viewer/2022042112/5e8e01e7f6d6463290759c14/html5/thumbnails/91.jpg)
—−−−→Alice⊗−−→does⊗−→not⊗−−→like⊗−−→Bob —
Alice not like Bob
meaning vectors of words
not
grammar
does
![Page 92: quantum information flow · 2013-04-24 · quantum information flow Bob Coecke – Quantum Group - Computer Science - Oxford University f = f = f f f ALICE BOB = f Samson Abramsky](https://reader034.vdocuments.us/reader034/viewer/2022042112/5e8e01e7f6d6463290759c14/html5/thumbnails/92.jpg)
—−−−→Alice⊗−−→does⊗−→not⊗−−→like⊗−−→Bob —
Alice like Bob
meaning vectors of words
grammar
not
![Page 93: quantum information flow · 2013-04-24 · quantum information flow Bob Coecke – Quantum Group - Computer Science - Oxford University f = f = f f f ALICE BOB = f Samson Abramsky](https://reader034.vdocuments.us/reader034/viewer/2022042112/5e8e01e7f6d6463290759c14/html5/thumbnails/93.jpg)
—−−−→Alice⊗−−→does⊗−→not⊗−−→like⊗−−→Bob —
Alice like Bob
meaning vectors of words
grammar
not
![Page 94: quantum information flow · 2013-04-24 · quantum information flow Bob Coecke – Quantum Group - Computer Science - Oxford University f = f = f f f ALICE BOB = f Samson Abramsky](https://reader034.vdocuments.us/reader034/viewer/2022042112/5e8e01e7f6d6463290759c14/html5/thumbnails/94.jpg)
—−−−→Alice⊗−−→does⊗−→not⊗−−→like⊗−−→Bob —
Alice like Bob
meaning vectors of words
grammar
not= not
like
BobAlice
![Page 95: quantum information flow · 2013-04-24 · quantum information flow Bob Coecke – Quantum Group - Computer Science - Oxford University f = f = f f f ALICE BOB = f Samson Abramsky](https://reader034.vdocuments.us/reader034/viewer/2022042112/5e8e01e7f6d6463290759c14/html5/thumbnails/95.jpg)
— analogy: quantizing grammar! —
Topological quantum field theory:
F : nCob→ FVectC :: 7→ V
Grammatical quantum field theory:
F : Pregroup→ FVectR+ :: 7→ V
Louis Crane was the first one to notice this analogy.
![Page 96: quantum information flow · 2013-04-24 · quantum information flow Bob Coecke – Quantum Group - Computer Science - Oxford University f = f = f f f ALICE BOB = f Samson Abramsky](https://reader034.vdocuments.us/reader034/viewer/2022042112/5e8e01e7f6d6463290759c14/html5/thumbnails/96.jpg)
UNIVERSAL QUANTUM REASONING
![Page 97: quantum information flow · 2013-04-24 · quantum information flow Bob Coecke – Quantum Group - Computer Science - Oxford University f = f = f f f ALICE BOB = f Samson Abramsky](https://reader034.vdocuments.us/reader034/viewer/2022042112/5e8e01e7f6d6463290759c14/html5/thumbnails/97.jpg)
WIRES?
![Page 98: quantum information flow · 2013-04-24 · quantum information flow Bob Coecke – Quantum Group - Computer Science - Oxford University f = f = f f f ALICE BOB = f Samson Abramsky](https://reader034.vdocuments.us/reader034/viewer/2022042112/5e8e01e7f6d6463290759c14/html5/thumbnails/98.jpg)
not expressive enough
![Page 99: quantum information flow · 2013-04-24 · quantum information flow Bob Coecke – Quantum Group - Computer Science - Oxford University f = f = f f f ALICE BOB = f Samson Abramsky](https://reader034.vdocuments.us/reader034/viewer/2022042112/5e8e01e7f6d6463290759c14/html5/thumbnails/99.jpg)
not expressive enough
what is expressive enough?
![Page 100: quantum information flow · 2013-04-24 · quantum information flow Bob Coecke – Quantum Group - Computer Science - Oxford University f = f = f f f ALICE BOB = f Samson Abramsky](https://reader034.vdocuments.us/reader034/viewer/2022042112/5e8e01e7f6d6463290759c14/html5/thumbnails/100.jpg)
SPIDERS!
![Page 101: quantum information flow · 2013-04-24 · quantum information flow Bob Coecke – Quantum Group - Computer Science - Oxford University f = f = f f f ALICE BOB = f Samson Abramsky](https://reader034.vdocuments.us/reader034/viewer/2022042112/5e8e01e7f6d6463290759c14/html5/thumbnails/101.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 102: quantum information flow · 2013-04-24 · quantum information flow Bob Coecke – Quantum Group - Computer Science - Oxford University f = f = f f f ALICE BOB = f Samson Abramsky](https://reader034.vdocuments.us/reader034/viewer/2022042112/5e8e01e7f6d6463290759c14/html5/thumbnails/102.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 103: quantum information flow · 2013-04-24 · quantum information flow Bob Coecke – Quantum Group - Computer Science - Oxford University f = f = f f f ALICE BOB = f Samson Abramsky](https://reader034.vdocuments.us/reader034/viewer/2022042112/5e8e01e7f6d6463290759c14/html5/thumbnails/103.jpg)
— spiders —
‘(co-)mult.’ =
m︷ ︸︸ ︷....
....
︸ ︷︷ ︸n
such that, for k > 0:
m+m′−k︷ ︸︸ ︷
........
....
....
....
︸ ︷︷ ︸n+n′−k
=
....
....
![Page 104: quantum information flow · 2013-04-24 · quantum information flow Bob Coecke – Quantum Group - Computer Science - Oxford University f = f = f f f ALICE BOB = f Samson Abramsky](https://reader034.vdocuments.us/reader034/viewer/2022042112/5e8e01e7f6d6463290759c14/html5/thumbnails/104.jpg)
— spiders —
‘(co-)mult.’ =
m︷ ︸︸ ︷....
....
︸ ︷︷ ︸n
such that, for k > 0:
m+m′−k︷ ︸︸ ︷
........
....
....
....
︸ ︷︷ ︸n+n′−k
=
....
....
![Page 105: quantum information flow · 2013-04-24 · quantum information flow Bob Coecke – Quantum Group - Computer Science - Oxford University f = f = f f f ALICE BOB = f Samson Abramsky](https://reader034.vdocuments.us/reader034/viewer/2022042112/5e8e01e7f6d6463290759c14/html5/thumbnails/105.jpg)
Theorem. The following are the same:
![Page 106: quantum information flow · 2013-04-24 · quantum information flow Bob Coecke – Quantum Group - Computer Science - Oxford University f = f = f f f ALICE BOB = f Samson Abramsky](https://reader034.vdocuments.us/reader034/viewer/2022042112/5e8e01e7f6d6463290759c14/html5/thumbnails/106.jpg)
Theorem. The following are the same:
• Linear maps {H⊗n → H⊗m}n,m as spiders.
![Page 107: quantum information flow · 2013-04-24 · quantum information flow Bob Coecke – Quantum Group - Computer Science - Oxford University f = f = f f f ALICE BOB = f Samson Abramsky](https://reader034.vdocuments.us/reader034/viewer/2022042112/5e8e01e7f6d6463290759c14/html5/thumbnails/107.jpg)
Theorem. The following are the same:
• Linear maps {H⊗n → H⊗m}n,m as spiders.
• Orthonormal bases forH.
![Page 108: quantum information flow · 2013-04-24 · quantum information flow Bob Coecke – Quantum Group - Computer Science - Oxford University f = f = f f f ALICE BOB = f Samson Abramsky](https://reader034.vdocuments.us/reader034/viewer/2022042112/5e8e01e7f6d6463290759c14/html5/thumbnails/108.jpg)
Theorem. The following are the same:
• Linear maps {H⊗n → H⊗m}n,m as spiders.
• Orthonormal bases forH.
• Copying/erasing pairs
∆ : H → H⊗H ε : H → C
that are commutative, dagger Frobenius & special.
![Page 109: quantum information flow · 2013-04-24 · quantum information flow Bob Coecke – Quantum Group - Computer Science - Oxford University f = f = f f f ALICE BOB = f Samson Abramsky](https://reader034.vdocuments.us/reader034/viewer/2022042112/5e8e01e7f6d6463290759c14/html5/thumbnails/109.jpg)
To proof:1a) How does an ONB define a copying/deleting pair?1b) ... and conversely? (CPV’08 thm)2a) How does a copying/deleting pair define spiders?2b) ... and conversely? (TQFT thm)
. . . glass board tutorial
... decorated spiders
... allergic spiders
![Page 110: quantum information flow · 2013-04-24 · quantum information flow Bob Coecke – Quantum Group - Computer Science - Oxford University f = f = f f f ALICE BOB = f Samson Abramsky](https://reader034.vdocuments.us/reader034/viewer/2022042112/5e8e01e7f6d6463290759c14/html5/thumbnails/110.jpg)
UNBIASEDNESS:
“allergic spiders”
![Page 111: quantum information flow · 2013-04-24 · quantum information flow Bob Coecke – Quantum Group - Computer Science - Oxford University f = f = f f f ALICE BOB = f Samson Abramsky](https://reader034.vdocuments.us/reader034/viewer/2022042112/5e8e01e7f6d6463290759c14/html5/thumbnails/111.jpg)
Thm. Unbiasedness⇔
![Page 112: quantum information flow · 2013-04-24 · quantum information flow Bob Coecke – Quantum Group - Computer Science - Oxford University f = f = f f f ALICE BOB = f Samson Abramsky](https://reader034.vdocuments.us/reader034/viewer/2022042112/5e8e01e7f6d6463290759c14/html5/thumbnails/112.jpg)
Thm. Unbiasedness⇔
BC & Ross Duncan (2008) Interacting quantum observables. ICALP’08 &New Journal of Physics 13, 043016. arXiv:0906.4725
![Page 113: quantum information flow · 2013-04-24 · quantum information flow Bob Coecke – Quantum Group - Computer Science - Oxford University f = f = f f f ALICE BOB = f Samson Abramsky](https://reader034.vdocuments.us/reader034/viewer/2022042112/5e8e01e7f6d6463290759c14/html5/thumbnails/113.jpg)
Z-spin:
δZ : |i〉 7→ |ii〉X-spin:
δX : |±〉 7→ | ± ±〉
![Page 114: quantum information flow · 2013-04-24 · quantum information flow Bob Coecke – Quantum Group - Computer Science - Oxford University f = f = f f f ALICE BOB = f Samson Abramsky](https://reader034.vdocuments.us/reader034/viewer/2022042112/5e8e01e7f6d6463290759c14/html5/thumbnails/114.jpg)
MEASUREMENT & CLASSICAL CONTROL
![Page 115: quantum information flow · 2013-04-24 · quantum information flow Bob Coecke – Quantum Group - Computer Science - Oxford University f = f = f f f ALICE BOB = f Samson Abramsky](https://reader034.vdocuments.us/reader034/viewer/2022042112/5e8e01e7f6d6463290759c14/html5/thumbnails/115.jpg)
![Page 116: quantum information flow · 2013-04-24 · quantum information flow Bob Coecke – Quantum Group - Computer Science - Oxford University f = f = f f f ALICE BOB = f Samson Abramsky](https://reader034.vdocuments.us/reader034/viewer/2022042112/5e8e01e7f6d6463290759c14/html5/thumbnails/116.jpg)
![Page 117: quantum information flow · 2013-04-24 · quantum information flow Bob Coecke – Quantum Group - Computer Science - Oxford University f = f = f f f ALICE BOB = f Samson Abramsky](https://reader034.vdocuments.us/reader034/viewer/2022042112/5e8e01e7f6d6463290759c14/html5/thumbnails/117.jpg)
![Page 118: quantum information flow · 2013-04-24 · quantum information flow Bob Coecke – Quantum Group - Computer Science - Oxford University f = f = f f f ALICE BOB = f Samson Abramsky](https://reader034.vdocuments.us/reader034/viewer/2022042112/5e8e01e7f6d6463290759c14/html5/thumbnails/118.jpg)
![Page 119: quantum information flow · 2013-04-24 · quantum information flow Bob Coecke – Quantum Group - Computer Science - Oxford University f = f = f f f ALICE BOB = f Samson Abramsky](https://reader034.vdocuments.us/reader034/viewer/2022042112/5e8e01e7f6d6463290759c14/html5/thumbnails/119.jpg)
![Page 120: quantum information flow · 2013-04-24 · quantum information flow Bob Coecke – Quantum Group - Computer Science - Oxford University f = f = f f f ALICE BOB = f Samson Abramsky](https://reader034.vdocuments.us/reader034/viewer/2022042112/5e8e01e7f6d6463290759c14/html5/thumbnails/120.jpg)
![Page 121: quantum information flow · 2013-04-24 · quantum information flow Bob Coecke – Quantum Group - Computer Science - Oxford University f = f = f f f ALICE BOB = f Samson Abramsky](https://reader034.vdocuments.us/reader034/viewer/2022042112/5e8e01e7f6d6463290759c14/html5/thumbnails/121.jpg)
![Page 122: quantum information flow · 2013-04-24 · quantum information flow Bob Coecke – Quantum Group - Computer Science - Oxford University f = f = f f f ALICE BOB = f Samson Abramsky](https://reader034.vdocuments.us/reader034/viewer/2022042112/5e8e01e7f6d6463290759c14/html5/thumbnails/122.jpg)
QUANTUM CIRCUITS
![Page 123: quantum information flow · 2013-04-24 · quantum information flow Bob Coecke – Quantum Group - Computer Science - Oxford University f = f = f f f ALICE BOB = f Samson Abramsky](https://reader034.vdocuments.us/reader034/viewer/2022042112/5e8e01e7f6d6463290759c14/html5/thumbnails/123.jpg)
i.e.
(δ†Z ⊗ 1) ◦ (1⊗ δX) =
1 0 0 00 1 0 00 0 0 10 0 1 0
= CNOT
![Page 124: quantum information flow · 2013-04-24 · quantum information flow Bob Coecke – Quantum Group - Computer Science - Oxford University f = f = f f f ALICE BOB = f Samson Abramsky](https://reader034.vdocuments.us/reader034/viewer/2022042112/5e8e01e7f6d6463290759c14/html5/thumbnails/124.jpg)
1 0 0 00 1 0 00 0 0 10 0 1 0
◦
1 0 0 00 1 0 00 0 0 10 0 1 0
= ?
![Page 125: quantum information flow · 2013-04-24 · quantum information flow Bob Coecke – Quantum Group - Computer Science - Oxford University f = f = f f f ALICE BOB = f Samson Abramsky](https://reader034.vdocuments.us/reader034/viewer/2022042112/5e8e01e7f6d6463290759c14/html5/thumbnails/125.jpg)
![Page 126: quantum information flow · 2013-04-24 · quantum information flow Bob Coecke – Quantum Group - Computer Science - Oxford University f = f = f f f ALICE BOB = f Samson Abramsky](https://reader034.vdocuments.us/reader034/viewer/2022042112/5e8e01e7f6d6463290759c14/html5/thumbnails/126.jpg)
![Page 127: quantum information flow · 2013-04-24 · quantum information flow Bob Coecke – Quantum Group - Computer Science - Oxford University f = f = f f f ALICE BOB = f Samson Abramsky](https://reader034.vdocuments.us/reader034/viewer/2022042112/5e8e01e7f6d6463290759c14/html5/thumbnails/127.jpg)
![Page 128: quantum information flow · 2013-04-24 · quantum information flow Bob Coecke – Quantum Group - Computer Science - Oxford University f = f = f f f ALICE BOB = f Samson Abramsky](https://reader034.vdocuments.us/reader034/viewer/2022042112/5e8e01e7f6d6463290759c14/html5/thumbnails/128.jpg)
![Page 129: quantum information flow · 2013-04-24 · quantum information flow Bob Coecke – Quantum Group - Computer Science - Oxford University f = f = f f f ALICE BOB = f Samson Abramsky](https://reader034.vdocuments.us/reader034/viewer/2022042112/5e8e01e7f6d6463290759c14/html5/thumbnails/129.jpg)
STRONG UNBIASEDNESS
![Page 130: quantum information flow · 2013-04-24 · quantum information flow Bob Coecke – Quantum Group - Computer Science - Oxford University f = f = f f f ALICE BOB = f Samson Abramsky](https://reader034.vdocuments.us/reader034/viewer/2022042112/5e8e01e7f6d6463290759c14/html5/thumbnails/130.jpg)
1 0 0 00 1 0 00 0 0 10 0 1 0
◦σ◦
1 0 0 00 1 0 00 0 0 10 0 1 0
◦σ◦
1 0 0 00 1 0 00 0 0 10 0 1 0
= ?
![Page 131: quantum information flow · 2013-04-24 · quantum information flow Bob Coecke – Quantum Group - Computer Science - Oxford University f = f = f f f ALICE BOB = f Samson Abramsky](https://reader034.vdocuments.us/reader034/viewer/2022042112/5e8e01e7f6d6463290759c14/html5/thumbnails/131.jpg)
![Page 132: quantum information flow · 2013-04-24 · quantum information flow Bob Coecke – Quantum Group - Computer Science - Oxford University f = f = f f f ALICE BOB = f Samson Abramsky](https://reader034.vdocuments.us/reader034/viewer/2022042112/5e8e01e7f6d6463290759c14/html5/thumbnails/132.jpg)
![Page 133: quantum information flow · 2013-04-24 · quantum information flow Bob Coecke – Quantum Group - Computer Science - Oxford University f = f = f f f ALICE BOB = f Samson Abramsky](https://reader034.vdocuments.us/reader034/viewer/2022042112/5e8e01e7f6d6463290759c14/html5/thumbnails/133.jpg)
![Page 134: quantum information flow · 2013-04-24 · quantum information flow Bob Coecke – Quantum Group - Computer Science - Oxford University f = f = f f f ALICE BOB = f Samson Abramsky](https://reader034.vdocuments.us/reader034/viewer/2022042112/5e8e01e7f6d6463290759c14/html5/thumbnails/134.jpg)
![Page 135: quantum information flow · 2013-04-24 · quantum information flow Bob Coecke – Quantum Group - Computer Science - Oxford University f = f = f f f ALICE BOB = f Samson Abramsky](https://reader034.vdocuments.us/reader034/viewer/2022042112/5e8e01e7f6d6463290759c14/html5/thumbnails/135.jpg)
![Page 136: quantum information flow · 2013-04-24 · quantum information flow Bob Coecke – Quantum Group - Computer Science - Oxford University f = f = f f f ALICE BOB = f Samson Abramsky](https://reader034.vdocuments.us/reader034/viewer/2022042112/5e8e01e7f6d6463290759c14/html5/thumbnails/136.jpg)
![Page 137: quantum information flow · 2013-04-24 · quantum information flow Bob Coecke – Quantum Group - Computer Science - Oxford University f = f = f f f ALICE BOB = f Samson Abramsky](https://reader034.vdocuments.us/reader034/viewer/2022042112/5e8e01e7f6d6463290759c14/html5/thumbnails/137.jpg)
Def. Strong unbiasedness⇔
+ comults copy units of other colour.
BC & Ross Duncan (2008) Interacting quantum observables. ICALP’08 &New Journal of Physics 13, 043016. arXiv:0906.4725
![Page 138: quantum information flow · 2013-04-24 · quantum information flow Bob Coecke – Quantum Group - Computer Science - Oxford University f = f = f f f ALICE BOB = f Samson Abramsky](https://reader034.vdocuments.us/reader034/viewer/2022042112/5e8e01e7f6d6463290759c14/html5/thumbnails/138.jpg)
Strong complementarity⇒ complementarity
![Page 139: quantum information flow · 2013-04-24 · quantum information flow Bob Coecke – Quantum Group - Computer Science - Oxford University f = f = f f f ALICE BOB = f Samson Abramsky](https://reader034.vdocuments.us/reader034/viewer/2022042112/5e8e01e7f6d6463290759c14/html5/thumbnails/139.jpg)
PHASES:
“decorated spiders”
![Page 140: quantum information flow · 2013-04-24 · quantum information flow Bob Coecke – Quantum Group - Computer Science - Oxford University f = f = f f f ALICE BOB = f Samson Abramsky](https://reader034.vdocuments.us/reader034/viewer/2022042112/5e8e01e7f6d6463290759c14/html5/thumbnails/140.jpg)
Thm. ‘Unbiased states’ always form an Abelian groupfor spider multiplication with conjugate as inverse.
m︷ ︸︸ ︷....
....α︸ ︷︷ ︸n
∣∣ n,m ∈ N0, α ∈ G
m︷ ︸︸ ︷
........
....
....
....α
β︸ ︷︷ ︸n
=
m︷ ︸︸ ︷
....
....
α+β
︸ ︷︷ ︸n
![Page 141: quantum information flow · 2013-04-24 · quantum information flow Bob Coecke – Quantum Group - Computer Science - Oxford University f = f = f f f ALICE BOB = f Samson Abramsky](https://reader034.vdocuments.us/reader034/viewer/2022042112/5e8e01e7f6d6463290759c14/html5/thumbnails/141.jpg)
For qubits in FHilb with green ≡ {|0〉, |1〉} ≡ Z:
=
(1
eiα
)Z
= Zα =
(1 0
0 eiα
)Z
These are relative phases for Z, hence in X-Y:
α
![Page 142: quantum information flow · 2013-04-24 · quantum information flow Bob Coecke – Quantum Group - Computer Science - Oxford University f = f = f f f ALICE BOB = f Samson Abramsky](https://reader034.vdocuments.us/reader034/viewer/2022042112/5e8e01e7f6d6463290759c14/html5/thumbnails/142.jpg)
For qubits in FHilb with red ≡ {|+〉, |−〉} ≡ X:
=
(1
eiα
)X
= Xα =
(1 0
0 eiα
)X
These are relative phases for X, hence in Z-Y :
α
![Page 143: quantum information flow · 2013-04-24 · quantum information flow Bob Coecke – Quantum Group - Computer Science - Oxford University f = f = f f f ALICE BOB = f Samson Abramsky](https://reader034.vdocuments.us/reader034/viewer/2022042112/5e8e01e7f6d6463290759c14/html5/thumbnails/143.jpg)
— colour changer —
.... HH H
....α
H
....α
H H ....=
![Page 144: quantum information flow · 2013-04-24 · quantum information flow Bob Coecke – Quantum Group - Computer Science - Oxford University f = f = f f f ALICE BOB = f Samson Abramsky](https://reader034.vdocuments.us/reader034/viewer/2022042112/5e8e01e7f6d6463290759c14/html5/thumbnails/144.jpg)
— one CZ gate —
H
H
H
1 0 0 00 −1 0 00 0 −1 00 0 0 −1
![Page 145: quantum information flow · 2013-04-24 · quantum information flow Bob Coecke – Quantum Group - Computer Science - Oxford University f = f = f f f ALICE BOB = f Samson Abramsky](https://reader034.vdocuments.us/reader034/viewer/2022042112/5e8e01e7f6d6463290759c14/html5/thumbnails/145.jpg)
— MBQC is universal for qubit gates —
H
H
H
H
![Page 146: quantum information flow · 2013-04-24 · quantum information flow Bob Coecke – Quantum Group - Computer Science - Oxford University f = f = f f f ALICE BOB = f Samson Abramsky](https://reader034.vdocuments.us/reader034/viewer/2022042112/5e8e01e7f6d6463290759c14/html5/thumbnails/146.jpg)
— MBQC is universal for qubit gates —
H
H
H
H
![Page 147: quantum information flow · 2013-04-24 · quantum information flow Bob Coecke – Quantum Group - Computer Science - Oxford University f = f = f f f ALICE BOB = f Samson Abramsky](https://reader034.vdocuments.us/reader034/viewer/2022042112/5e8e01e7f6d6463290759c14/html5/thumbnails/147.jpg)
— MBQC is universal for qubit gates —
H H H H
![Page 148: quantum information flow · 2013-04-24 · quantum information flow Bob Coecke – Quantum Group - Computer Science - Oxford University f = f = f f f ALICE BOB = f Samson Abramsky](https://reader034.vdocuments.us/reader034/viewer/2022042112/5e8e01e7f6d6463290759c14/html5/thumbnails/148.jpg)
— MBQC is universal for qubit gates —
⇒ Arbitrary one-qubit unitary
![Page 149: quantum information flow · 2013-04-24 · quantum information flow Bob Coecke – Quantum Group - Computer Science - Oxford University f = f = f f f ALICE BOB = f Samson Abramsky](https://reader034.vdocuments.us/reader034/viewer/2022042112/5e8e01e7f6d6463290759c14/html5/thumbnails/149.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 150: quantum information flow · 2013-04-24 · quantum information flow Bob Coecke – Quantum Group - Computer Science - Oxford University f = f = f f f ALICE BOB = f Samson Abramsky](https://reader034.vdocuments.us/reader034/viewer/2022042112/5e8e01e7f6d6463290759c14/html5/thumbnails/150.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 151: quantum information flow · 2013-04-24 · quantum information flow Bob Coecke – Quantum Group - Computer Science - Oxford University f = f = f f f ALICE BOB = f Samson Abramsky](https://reader034.vdocuments.us/reader034/viewer/2022042112/5e8e01e7f6d6463290759c14/html5/thumbnails/151.jpg)
— applications to QC models —
Example 18. The ubiquitous CNOT operation can be computed by the patternP = X3
4Z24Z2
1M03 M0
2 E13E23E34N3N4 [5]. This yields the diagram,
DP =
H
H
H
!, {3}
!, {2}
!, {2}
!, {3}!, {2}
,
where each qubit is represented by a vertical “path” from top to bottom, withqubit 1 the leftmost, and qubit 4 is the rightmost.
By virtue of the soundness of R and Proposition 10, if DP can be rewrittento a circuit-like diagram without any conditional operations, then the rewritesequence constitutes a proof that the pattern computes the same operation asthe derived circuit.
Example 19. Returning to the CNOT pattern of Example 18, there is a rewritesequence, the key steps of which are shown below, which reduces the DP tothe unconditional circuit-like pattern for CNOT introduced in Example 7. Thisproves two things: firstly that P indeed computes the CNOT unitary, and thatthe pattern P is deterministic.
H
H
H
!, {3}
!, {2}
!, {2}
!, {3}!, {2}
!!H
H
H
!, {3}
!, {2}
!, {2}!, {2} !, {3}
!! H
H
H
!, {3}!, {3}
!, {2}
!, {2}
!, {2}
!!!, {2}
!, {2}!, {2}
!!!, {2}!, {2}
!, {2} !, {2}!!
One can clearly see in this example how the non-determinism introduced bymeasurements is corrected by conditional operations later in the pattern. Thepossibility of performing such corrections depends on the geometry of the pat-tern, the entanglement graph implicitly defined by the pattern.
Definition 20. Let P be a pattern; the geometry of P is an open graph !(P) =(G, I,O) whose vertices are the qubits of P and where i ! j i! Eij occurs in thecommand sequence of P.
Definition 21. Given a geometry " = ((V,E), I, O) we can define a diagramD! = ((VD, ED), ID, OD) as follows:
Ross Duncan & Simon Perdrix (2010) Rewriting measurement-based quantumcomputations with generalised flow. ICALP’10. Survey: arXiv:1203.6242
Clare Horsman (2011) Quantum picturalism for topological cluster-state com-puting. New Journal of Physics 13, 095011. arXiv:1101.4722.
Sergio Boixo & Chris Heunen (2012) Entangled and sequential quantum pro-tocols with dephasing. PRL 108, 120402. arXiv:1108.3569
![Page 152: quantum information flow · 2013-04-24 · quantum information flow Bob Coecke – Quantum Group - Computer Science - Oxford University f = f = f f f ALICE BOB = f Samson Abramsky](https://reader034.vdocuments.us/reader034/viewer/2022042112/5e8e01e7f6d6463290759c14/html5/thumbnails/152.jpg)
— applications to quantum foundations —
Toy qubits vs. true quantum theory in one language:
Spekkens’ qubit QMstabilizer qubit QM
=Z2 × Z2
Z4=
localnon-local
Coecke, Bill Edwards & Robert W. Spekkens (2010) Phase groups and theorigin of non-locality for qubits. QPL’10 arXiv:1003.5005
![Page 153: quantum information flow · 2013-04-24 · quantum information flow Bob Coecke – Quantum Group - Computer Science - Oxford University f = f = f f f ALICE BOB = f Samson Abramsky](https://reader034.vdocuments.us/reader034/viewer/2022042112/5e8e01e7f6d6463290759c14/html5/thumbnails/153.jpg)
— applications to quantum foundations —
Toy qubits vs. true quantum theory in one language:
Spekkens’ qubit QMstabilizer qubit QM
=Z2 × Z2
Z4=
localnon-local
Coecke, Bill Edwards & Robert W. Spekkens (2010) Phase groups and theorigin of non-locality for qubits. QPL’10 arXiv:1003.5005
Generalized Mermin arg.⇔ strong complementarity
Coecke, Ross Duncan, Aleks Kissinger & Quanlong Wang (2012) Strong com-plementarity and non-locality in categorical quantum mechanics. LiCS’12.arXiv:1203.4988
![Page 154: quantum information flow · 2013-04-24 · quantum information flow Bob Coecke – Quantum Group - Computer Science - Oxford University f = f = f f f ALICE BOB = f Samson Abramsky](https://reader034.vdocuments.us/reader034/viewer/2022042112/5e8e01e7f6d6463290759c14/html5/thumbnails/154.jpg)
— multipartite entanglement structure —
Tripartite SLOCC-classes as comm. Frobenius algs:
GHZ = |000〉 + |111〉W = |001〉 + |010〉 + |100〉 =
‘special’ CFAs‘anti-special’ CFAs
=
=
=
=×+
⇒ distributivity
Coecke & Aleks Kissinger (2010) The compositional structure of multipartitequantum entanglement. ICALP’10. arXiv:1002.2540
![Page 155: quantum information flow · 2013-04-24 · quantum information flow Bob Coecke – Quantum Group - Computer Science - Oxford University f = f = f f f ALICE BOB = f Samson Abramsky](https://reader034.vdocuments.us/reader034/viewer/2022042112/5e8e01e7f6d6463290759c14/html5/thumbnails/155.jpg)
— GHZ-spiders —
Data: m︷ ︸︸ ︷....
....
︸ ︷︷ ︸n
∣∣ n,m ∈ N
Rules:
m+m′−k︷ ︸︸ ︷........
....
....
....
︸ ︷︷ ︸n+n′−k
=
m+m′−k︷ ︸︸ ︷....
....
︸ ︷︷ ︸n+n′−k
![Page 156: quantum information flow · 2013-04-24 · quantum information flow Bob Coecke – Quantum Group - Computer Science - Oxford University f = f = f f f ALICE BOB = f Samson Abramsky](https://reader034.vdocuments.us/reader034/viewer/2022042112/5e8e01e7f6d6463290759c14/html5/thumbnails/156.jpg)
— W-spiders —
Data: m︷ ︸︸ ︷....
....
︸ ︷︷ ︸n
, ,∣∣ n,m ∈ N
Rules:
m+m′−1︷ ︸︸ ︷........
.... ....
︸ ︷︷ ︸n+n′−1
=
m+m′−1︷ ︸︸ ︷....
....
︸ ︷︷ ︸n+n′−1
![Page 157: quantum information flow · 2013-04-24 · quantum information flow Bob Coecke – Quantum Group - Computer Science - Oxford University f = f = f f f ALICE BOB = f Samson Abramsky](https://reader034.vdocuments.us/reader034/viewer/2022042112/5e8e01e7f6d6463290759c14/html5/thumbnails/157.jpg)
— W-spiders —
Data: m︷ ︸︸ ︷....
....
︸ ︷︷ ︸n
, ,∣∣ n,m ∈ N
Rules:
m+m′−2︷ ︸︸ ︷........
.... ....
︸ ︷︷ ︸n+n′−2
=
m+m′−2︷ ︸︸ ︷....
....︸ ︷︷ ︸n+n′−2