tensor topology -...
TRANSCRIPT
![Page 1: Tensor topology - homepages.inf.ed.ac.ukhomepages.inf.ed.ac.uk/cheunen/cvqt/slides/Enriquemoliner.pdf · Tensor topology Pau Enrique Moliner1 Chris Heunen 1 Sean Tull 2 1University](https://reader036.vdocuments.mx/reader036/viewer/2022071001/5fbd67572dcad333e654490a/html5/thumbnails/1.jpg)
Tensor topology
Pau Enrique Moliner1 Chris Heunen 1 Sean Tull 2
1University of Edinburgh
2University of Oxford
CVQT 2018
1 / 15
![Page 2: Tensor topology - homepages.inf.ed.ac.ukhomepages.inf.ed.ac.uk/cheunen/cvqt/slides/Enriquemoliner.pdf · Tensor topology Pau Enrique Moliner1 Chris Heunen 1 Sean Tull 2 1University](https://reader036.vdocuments.mx/reader036/viewer/2022071001/5fbd67572dcad333e654490a/html5/thumbnails/2.jpg)
Outline
Idempotent subunits
Support
Spatial categories
2 / 15
![Page 3: Tensor topology - homepages.inf.ed.ac.ukhomepages.inf.ed.ac.uk/cheunen/cvqt/slides/Enriquemoliner.pdf · Tensor topology Pau Enrique Moliner1 Chris Heunen 1 Sean Tull 2 1University](https://reader036.vdocuments.mx/reader036/viewer/2022071001/5fbd67572dcad333e654490a/html5/thumbnails/3.jpg)
HilbC0(X)
Let X be locally compact Hausdorff space
C0(X) = {f : X → C cts | ∀ε > 0 ∃K ⊆ X cpt : f(X \K) < ε}C
Xε
f
K
Hilbert C0(X)-modules ' bundles of Hilbert spaces over X
3 / 15
![Page 4: Tensor topology - homepages.inf.ed.ac.ukhomepages.inf.ed.ac.uk/cheunen/cvqt/slides/Enriquemoliner.pdf · Tensor topology Pau Enrique Moliner1 Chris Heunen 1 Sean Tull 2 1University](https://reader036.vdocuments.mx/reader036/viewer/2022071001/5fbd67572dcad333e654490a/html5/thumbnails/4.jpg)
Idempotent subunits
Have C0(X), want U ⊆ X open
In Sh(X), {subunits} ' {U ⊆ X open}
Define
ISub(C) = {s : S � I | idS ⊗ s : S ⊗ S → S ⊗ I iso
∃ S ⊗ (−)⇒ (−)⊗ S iso }/'
In HilbC0(X), subunit s : S � C0(X) idempotent
⇐⇒S = C0(U) for open U ⊆ X
4 / 15
![Page 5: Tensor topology - homepages.inf.ed.ac.ukhomepages.inf.ed.ac.uk/cheunen/cvqt/slides/Enriquemoliner.pdf · Tensor topology Pau Enrique Moliner1 Chris Heunen 1 Sean Tull 2 1University](https://reader036.vdocuments.mx/reader036/viewer/2022071001/5fbd67572dcad333e654490a/html5/thumbnails/5.jpg)
Idempotent subunits
ISub(HilbC0(X)) = {S ⊆ X open}‘idempotent subunits are open subsets of base space’
ISub(Sh(X)) = {S ⊆ X open}‘idempotent subunits are truth values’
ISub(Q) = {x ∈ Q | x2 = x ≤ 1}‘idempotent subunits are side-effect-free observations’
ISub(ModR) = {S ⊆ R ideal | S = S2}‘idempotent subunits are idempotent ideals’
5 / 15
![Page 6: Tensor topology - homepages.inf.ed.ac.ukhomepages.inf.ed.ac.uk/cheunen/cvqt/slides/Enriquemoliner.pdf · Tensor topology Pau Enrique Moliner1 Chris Heunen 1 Sean Tull 2 1University](https://reader036.vdocuments.mx/reader036/viewer/2022071001/5fbd67572dcad333e654490a/html5/thumbnails/6.jpg)
Idempotent subunits
Define(s : S � I
)⊗(t : T � I
)=(λI ◦ (s⊗ t) : S ⊗ T → I
)
Proposition: ISub(C) is a semilattice, ∧ = ⊗, 1 = idI
T
S
I
Caveat: C must be firm, i.e. s⊗ idT monic, and size issue
6 / 15
![Page 7: Tensor topology - homepages.inf.ed.ac.ukhomepages.inf.ed.ac.uk/cheunen/cvqt/slides/Enriquemoliner.pdf · Tensor topology Pau Enrique Moliner1 Chris Heunen 1 Sean Tull 2 1University](https://reader036.vdocuments.mx/reader036/viewer/2022071001/5fbd67572dcad333e654490a/html5/thumbnails/7.jpg)
Support
Say s ∈ ISub(C) supports f : A→ B when
A B
B ⊗ S B ⊗ I
f
id ⊗ s
'
Intuition:
XS
f
7 / 15
![Page 8: Tensor topology - homepages.inf.ed.ac.ukhomepages.inf.ed.ac.uk/cheunen/cvqt/slides/Enriquemoliner.pdf · Tensor topology Pau Enrique Moliner1 Chris Heunen 1 Sean Tull 2 1University](https://reader036.vdocuments.mx/reader036/viewer/2022071001/5fbd67572dcad333e654490a/html5/thumbnails/8.jpg)
Support
Say s ∈ ISub(C) supports f : A→ B when
A B
B ⊗ S B ⊗ I
f
id ⊗ s
'
Monoidal functor: supp(f) ∧ supp(g) ≤ supp(f ⊗ g)
C2 Pow(ISub(C))supp
f {s | s supports f}
Q ∈ Frame
F F
universal with F (f) =∨{F (s) | s ∈ ISub(C) supports f}
8 / 15
![Page 9: Tensor topology - homepages.inf.ed.ac.ukhomepages.inf.ed.ac.uk/cheunen/cvqt/slides/Enriquemoliner.pdf · Tensor topology Pau Enrique Moliner1 Chris Heunen 1 Sean Tull 2 1University](https://reader036.vdocuments.mx/reader036/viewer/2022071001/5fbd67572dcad333e654490a/html5/thumbnails/9.jpg)
Support
Say s ∈ ISub(C) supports f : A→ B when
A B
B ⊗ S B ⊗ I
f
id ⊗ s
'
Monoidal functor: supp(f) ∧ supp(g) ≤ supp(f ⊗ g)
C2 Pow(ISub(C))supp
f {s | s supports f}
Q ∈ Frame
F F
universal with F (f) =∨{F (s) | s ∈ ISub(C) supports f}
8 / 15
![Page 10: Tensor topology - homepages.inf.ed.ac.ukhomepages.inf.ed.ac.uk/cheunen/cvqt/slides/Enriquemoliner.pdf · Tensor topology Pau Enrique Moliner1 Chris Heunen 1 Sean Tull 2 1University](https://reader036.vdocuments.mx/reader036/viewer/2022071001/5fbd67572dcad333e654490a/html5/thumbnails/10.jpg)
Support
Say s ∈ ISub(C) supports f : A→ B when
A B
B ⊗ S B ⊗ I
f
id ⊗ s
'
Monoidal functor: supp(f) ∧ supp(g) ≤ supp(f ⊗ g)
C2 Pow(ISub(C))supp
f {s | s supports f}
Q ∈ Frame
F F
universal with F (f) =∨{F (s) | s ∈ ISub(C) supports f}
8 / 15
![Page 11: Tensor topology - homepages.inf.ed.ac.ukhomepages.inf.ed.ac.uk/cheunen/cvqt/slides/Enriquemoliner.pdf · Tensor topology Pau Enrique Moliner1 Chris Heunen 1 Sean Tull 2 1University](https://reader036.vdocuments.mx/reader036/viewer/2022071001/5fbd67572dcad333e654490a/html5/thumbnails/11.jpg)
Support
Say s ∈ ISub(C) supports f : A→ B when
A B
B ⊗ S B ⊗ I
f
id ⊗ s
'
Monoidal functor: supp(f) ∧ supp(g) ≤ supp(f ⊗ g)
C2 Pow(ISub(C))supp
f {s | s supports f}
Q ∈ Frame
F F
universal with F (f) =∨{F (s) | s ∈ ISub(C) supports f}
8 / 15
![Page 12: Tensor topology - homepages.inf.ed.ac.ukhomepages.inf.ed.ac.uk/cheunen/cvqt/slides/Enriquemoliner.pdf · Tensor topology Pau Enrique Moliner1 Chris Heunen 1 Sean Tull 2 1University](https://reader036.vdocuments.mx/reader036/viewer/2022071001/5fbd67572dcad333e654490a/html5/thumbnails/12.jpg)
Restriction
The full subcategory C∣∣s
of A with idA ⊗ s invertible is:
monoidal with tensor unit S
coreflective: C∣∣s C⊥
tensor ideal: if A ∈ C and B ∈ C∣∣s, then
A⊗B ∈ C∣∣s
monocoreflective: counit εI monic
(and idA ⊗ εI iso for A ∈ C∣∣s)
Proposition: ISub(C) ' {monocoreflective tensor ideals in C}
9 / 15
![Page 13: Tensor topology - homepages.inf.ed.ac.ukhomepages.inf.ed.ac.uk/cheunen/cvqt/slides/Enriquemoliner.pdf · Tensor topology Pau Enrique Moliner1 Chris Heunen 1 Sean Tull 2 1University](https://reader036.vdocuments.mx/reader036/viewer/2022071001/5fbd67572dcad333e654490a/html5/thumbnails/13.jpg)
Restriction
The full subcategory C∣∣s
of A with idA ⊗ s invertible is:
monoidal with tensor unit S
coreflective: C∣∣s C⊥
tensor ideal: if A ∈ C and B ∈ C∣∣s, then
A⊗B ∈ C∣∣s
monocoreflective: counit εI monic
(and idA ⊗ εI iso for A ∈ C∣∣s)
Proposition: ISub(C) ' {monocoreflective tensor ideals in C}
9 / 15
![Page 14: Tensor topology - homepages.inf.ed.ac.ukhomepages.inf.ed.ac.uk/cheunen/cvqt/slides/Enriquemoliner.pdf · Tensor topology Pau Enrique Moliner1 Chris Heunen 1 Sean Tull 2 1University](https://reader036.vdocuments.mx/reader036/viewer/2022071001/5fbd67572dcad333e654490a/html5/thumbnails/14.jpg)
Localisation
A graded monad is a monoidal functor T : E→ [C,C]
(η : A→ T (1), µ : T (t) ◦ T (s)→ T (s⊗ t))
Lemma: Family of restrictions is an ISub(C)-graded monad
Universal property of localisation for Σ = {idE ⊗ s | E ∈ C}
C C∣∣s
= C[Σ−1]
D
(−)⊗ S
F inverting Σ'
10 / 15
![Page 15: Tensor topology - homepages.inf.ed.ac.ukhomepages.inf.ed.ac.uk/cheunen/cvqt/slides/Enriquemoliner.pdf · Tensor topology Pau Enrique Moliner1 Chris Heunen 1 Sean Tull 2 1University](https://reader036.vdocuments.mx/reader036/viewer/2022071001/5fbd67572dcad333e654490a/html5/thumbnails/15.jpg)
Localisation
A graded monad is a monoidal functor T : E→ [C,C]
(η : A→ T (1), µ : T (t) ◦ T (s)→ T (s⊗ t))
Lemma: Family of restrictions is an ISub(C)-graded monad
Universal property of localisation for Σ = {idE ⊗ s | E ∈ C}
C C∣∣s
= C[Σ−1]
D
(−)⊗ S
F inverting Σ'
10 / 15
![Page 16: Tensor topology - homepages.inf.ed.ac.ukhomepages.inf.ed.ac.uk/cheunen/cvqt/slides/Enriquemoliner.pdf · Tensor topology Pau Enrique Moliner1 Chris Heunen 1 Sean Tull 2 1University](https://reader036.vdocuments.mx/reader036/viewer/2022071001/5fbd67572dcad333e654490a/html5/thumbnails/16.jpg)
Causal structure
What if X is a spacetime?
Define the causal future of a point as J+(t) = {s ∈ X | t ≺ s}
For U ⊆ X, J±(U) =⋃
u∈U J±(u)
space
time
t
s
U
Causal structure on C is a pair C± of closure operators onISub(C)
11 / 15
![Page 17: Tensor topology - homepages.inf.ed.ac.ukhomepages.inf.ed.ac.uk/cheunen/cvqt/slides/Enriquemoliner.pdf · Tensor topology Pau Enrique Moliner1 Chris Heunen 1 Sean Tull 2 1University](https://reader036.vdocuments.mx/reader036/viewer/2022071001/5fbd67572dcad333e654490a/html5/thumbnails/17.jpg)
Causal structure
What if X is a spacetime?
Define the causal future of a point as J+(t) = {s ∈ X | t ≺ s}
For U ⊆ X, J±(U) =⋃
u∈U J±(u)
space
time
t
s
U
Causal structure on C is a pair C± of closure operators onISub(C)
11 / 15
![Page 18: Tensor topology - homepages.inf.ed.ac.ukhomepages.inf.ed.ac.uk/cheunen/cvqt/slides/Enriquemoliner.pdf · Tensor topology Pau Enrique Moliner1 Chris Heunen 1 Sean Tull 2 1University](https://reader036.vdocuments.mx/reader036/viewer/2022071001/5fbd67572dcad333e654490a/html5/thumbnails/18.jpg)
Causal structure
What if X is a spacetime?
Define the causal future of a point as J+(t) = {s ∈ X | t ≺ s}
For U ⊆ X, J±(U) =⋃
u∈U J±(u)
space
time
t
s
U
Causal structure on C is a pair C± of closure operators onISub(C)
11 / 15
![Page 19: Tensor topology - homepages.inf.ed.ac.ukhomepages.inf.ed.ac.uk/cheunen/cvqt/slides/Enriquemoliner.pdf · Tensor topology Pau Enrique Moliner1 Chris Heunen 1 Sean Tull 2 1University](https://reader036.vdocuments.mx/reader036/viewer/2022071001/5fbd67572dcad333e654490a/html5/thumbnails/19.jpg)
Teleportation
s
t
Pair creation at s: η ⊗ idC+(s)
Restriction = propagation
Protocol: (ε⊗ idC+(s)⊗B) ◦ (idA ⊗ η ⊗ idC+(s)⊗C+(t))
Has support in intersection of Alice’s and Bob’s causal futures
12 / 15
![Page 20: Tensor topology - homepages.inf.ed.ac.ukhomepages.inf.ed.ac.uk/cheunen/cvqt/slides/Enriquemoliner.pdf · Tensor topology Pau Enrique Moliner1 Chris Heunen 1 Sean Tull 2 1University](https://reader036.vdocuments.mx/reader036/viewer/2022071001/5fbd67572dcad333e654490a/html5/thumbnails/20.jpg)
Spatial categories
Call C spatial when ISub(C) is a frame
Lemma: ISub(C, ⊗) is frame
F ⊗G(A) =∫ B,C
C(A,B ⊗ C)× F (B)×G(C)
SemiLat
FirmCat
Frame
SpatCat
(−)
⊥
ISuba?
⊥
ISuba
But ISub(C) 6= ISub(C)
13 / 15
![Page 21: Tensor topology - homepages.inf.ed.ac.ukhomepages.inf.ed.ac.uk/cheunen/cvqt/slides/Enriquemoliner.pdf · Tensor topology Pau Enrique Moliner1 Chris Heunen 1 Sean Tull 2 1University](https://reader036.vdocuments.mx/reader036/viewer/2022071001/5fbd67572dcad333e654490a/html5/thumbnails/21.jpg)
Spatial categories
SemiLat
FirmCat
Frame
SpatCat
(−)
⊥
ISuba
⊥
ISuba
C [Cop,Set]broad6= Sh(C, J)
[Cop,Set]broad is closed under ⊗, includes representables
If ISub(C) is a complete lattice, any f has the support∧supp(f) =
∨{t ∈ ISub(C) | f supported on s =⇒ t ≤ s}
14 / 15
![Page 22: Tensor topology - homepages.inf.ed.ac.ukhomepages.inf.ed.ac.uk/cheunen/cvqt/slides/Enriquemoliner.pdf · Tensor topology Pau Enrique Moliner1 Chris Heunen 1 Sean Tull 2 1University](https://reader036.vdocuments.mx/reader036/viewer/2022071001/5fbd67572dcad333e654490a/html5/thumbnails/22.jpg)
Future directions
Relativistic quantum information protocols
Causality
Graphical calculus
Control flow
Concurrency
Linear logic
Representation theory
15 / 15