a bestiary of sets and relations - arxiv:1506 · stefano gogioso a bestiary of sets and relations....
TRANSCRIPT
![Page 1: A Bestiary of Sets and Relations - arXiv:1506 · Stefano Gogioso A Bestiary of Sets and Relations. Pure State Quantum Mechanics CPM and Decoherence Measurements and Locality y-SMC](https://reader031.vdocuments.us/reader031/viewer/2022011916/5fd7e3481dbb4746b3531db1/html5/thumbnails/1.jpg)
Pure State Quantum MechanicsCPM and Decoherence
Measurements and Locality
A Bestiary of Sets and RelationsarXiv:1506.05025
Stefano Gogioso
Quantum GroupUniversity of Oxford
17 July 2015
Stefano Gogioso A Bestiary of Sets and Relations
![Page 2: A Bestiary of Sets and Relations - arXiv:1506 · Stefano Gogioso A Bestiary of Sets and Relations. Pure State Quantum Mechanics CPM and Decoherence Measurements and Locality y-SMC](https://reader031.vdocuments.us/reader031/viewer/2022011916/5fd7e3481dbb4746b3531db1/html5/thumbnails/2.jpg)
Pure State Quantum MechanicsCPM and Decoherence
Measurements and Locality
Introduction
Today, in this talk: a veritable bestiary of sets and relations.
Credit: Aberdeen Bestiary
Stefano Gogioso A Bestiary of Sets and Relations
![Page 3: A Bestiary of Sets and Relations - arXiv:1506 · Stefano Gogioso A Bestiary of Sets and Relations. Pure State Quantum Mechanics CPM and Decoherence Measurements and Locality y-SMC](https://reader031.vdocuments.us/reader031/viewer/2022011916/5fd7e3481dbb4746b3531db1/html5/thumbnails/3.jpg)
Pure State Quantum MechanicsCPM and Decoherence
Measurements and Locality
†-SMC StructureClassical StructuresIsometries and Unitaries
Section 1
Pure State Quantum Mechanics
Stefano Gogioso A Bestiary of Sets and Relations
![Page 4: A Bestiary of Sets and Relations - arXiv:1506 · Stefano Gogioso A Bestiary of Sets and Relations. Pure State Quantum Mechanics CPM and Decoherence Measurements and Locality y-SMC](https://reader031.vdocuments.us/reader031/viewer/2022011916/5fd7e3481dbb4746b3531db1/html5/thumbnails/4.jpg)
Pure State Quantum MechanicsCPM and Decoherence
Measurements and Locality
†-SMC StructureClassical StructuresIsometries and Unitaries
Pure State Quantum Mechanics in fRel
Looks like fdHilb, but something is not quite right...
Credit: Chimera, Giovannag, DeviantArt
Stefano Gogioso A Bestiary of Sets and Relations
![Page 5: A Bestiary of Sets and Relations - arXiv:1506 · Stefano Gogioso A Bestiary of Sets and Relations. Pure State Quantum Mechanics CPM and Decoherence Measurements and Locality y-SMC](https://reader031.vdocuments.us/reader031/viewer/2022011916/5fd7e3481dbb4746b3531db1/html5/thumbnails/5.jpg)
Pure State Quantum MechanicsCPM and Decoherence
Measurements and Locality
†-SMC StructureClassical StructuresIsometries and Unitaries
†-SMC Structure
Objects = finite sets
Morphisms X → Y = relations R ⊆ X × Y
Non-cartesian symmetric monoidal structure (fRel,×, 1)
States 1→ X in fRel ←→ subsets of X
Dagger R† := {(y , x)|(x , y) ∈ R}Superposition operation = relational union ∨(distributive enrichment over finite commutative monoids)
Scalars form a semiring ({∅, id1},∨,×) ∼= B
Stefano Gogioso A Bestiary of Sets and Relations
![Page 6: A Bestiary of Sets and Relations - arXiv:1506 · Stefano Gogioso A Bestiary of Sets and Relations. Pure State Quantum Mechanics CPM and Decoherence Measurements and Locality y-SMC](https://reader031.vdocuments.us/reader031/viewer/2022011916/5fd7e3481dbb4746b3531db1/html5/thumbnails/6.jpg)
Pure State Quantum MechanicsCPM and Decoherence
Measurements and Locality
†-SMC StructureClassical StructuresIsometries and Unitaries
†-SMC Structure
Objects = finite sets
Morphisms X → Y = relations R ⊆ X × Y
Non-cartesian symmetric monoidal structure (fRel,×, 1)
States 1→ X in fRel ←→ subsets of X
Dagger R† := {(y , x)|(x , y) ∈ R}Superposition operation = relational union ∨(distributive enrichment over finite commutative monoids)
Scalars form a semiring ({∅, id1},∨,×) ∼= B
Stefano Gogioso A Bestiary of Sets and Relations
![Page 7: A Bestiary of Sets and Relations - arXiv:1506 · Stefano Gogioso A Bestiary of Sets and Relations. Pure State Quantum Mechanics CPM and Decoherence Measurements and Locality y-SMC](https://reader031.vdocuments.us/reader031/viewer/2022011916/5fd7e3481dbb4746b3531db1/html5/thumbnails/7.jpg)
Pure State Quantum MechanicsCPM and Decoherence
Measurements and Locality
†-SMC StructureClassical StructuresIsometries and Unitaries
†-SMC Structure
Objects = finite sets
Morphisms X → Y = relations R ⊆ X × Y
Non-cartesian symmetric monoidal structure (fRel,×, 1)
States 1→ X in fRel ←→ subsets of X
Dagger R† := {(y , x)|(x , y) ∈ R}Superposition operation = relational union ∨(distributive enrichment over finite commutative monoids)
Scalars form a semiring ({∅, id1},∨,×) ∼= B
Stefano Gogioso A Bestiary of Sets and Relations
![Page 8: A Bestiary of Sets and Relations - arXiv:1506 · Stefano Gogioso A Bestiary of Sets and Relations. Pure State Quantum Mechanics CPM and Decoherence Measurements and Locality y-SMC](https://reader031.vdocuments.us/reader031/viewer/2022011916/5fd7e3481dbb4746b3531db1/html5/thumbnails/8.jpg)
Pure State Quantum MechanicsCPM and Decoherence
Measurements and Locality
†-SMC StructureClassical StructuresIsometries and Unitaries
†-SMC Structure
Objects = finite sets
Morphisms X → Y = relations R ⊆ X × Y
Non-cartesian symmetric monoidal structure (fRel,×, 1)
States 1→ X in fRel ←→ subsets of X
Dagger R† := {(y , x)|(x , y) ∈ R}Superposition operation = relational union ∨(distributive enrichment over finite commutative monoids)
Scalars form a semiring ({∅, id1},∨,×) ∼= B
Stefano Gogioso A Bestiary of Sets and Relations
![Page 9: A Bestiary of Sets and Relations - arXiv:1506 · Stefano Gogioso A Bestiary of Sets and Relations. Pure State Quantum Mechanics CPM and Decoherence Measurements and Locality y-SMC](https://reader031.vdocuments.us/reader031/viewer/2022011916/5fd7e3481dbb4746b3531db1/html5/thumbnails/9.jpg)
Pure State Quantum MechanicsCPM and Decoherence
Measurements and Locality
†-SMC StructureClassical StructuresIsometries and Unitaries
†-SMC Structure
Objects = finite sets
Morphisms X → Y = relations R ⊆ X × Y
Non-cartesian symmetric monoidal structure (fRel,×, 1)
States 1→ X in fRel ←→ subsets of X
Dagger R† := {(y , x)|(x , y) ∈ R}
Superposition operation = relational union ∨(distributive enrichment over finite commutative monoids)
Scalars form a semiring ({∅, id1},∨,×) ∼= B
Stefano Gogioso A Bestiary of Sets and Relations
![Page 10: A Bestiary of Sets and Relations - arXiv:1506 · Stefano Gogioso A Bestiary of Sets and Relations. Pure State Quantum Mechanics CPM and Decoherence Measurements and Locality y-SMC](https://reader031.vdocuments.us/reader031/viewer/2022011916/5fd7e3481dbb4746b3531db1/html5/thumbnails/10.jpg)
Pure State Quantum MechanicsCPM and Decoherence
Measurements and Locality
†-SMC StructureClassical StructuresIsometries and Unitaries
†-SMC Structure
Objects = finite sets
Morphisms X → Y = relations R ⊆ X × Y
Non-cartesian symmetric monoidal structure (fRel,×, 1)
States 1→ X in fRel ←→ subsets of X
Dagger R† := {(y , x)|(x , y) ∈ R}Superposition operation = relational union ∨(distributive enrichment over finite commutative monoids)
Scalars form a semiring ({∅, id1},∨,×) ∼= B
Stefano Gogioso A Bestiary of Sets and Relations
![Page 11: A Bestiary of Sets and Relations - arXiv:1506 · Stefano Gogioso A Bestiary of Sets and Relations. Pure State Quantum Mechanics CPM and Decoherence Measurements and Locality y-SMC](https://reader031.vdocuments.us/reader031/viewer/2022011916/5fd7e3481dbb4746b3531db1/html5/thumbnails/11.jpg)
Pure State Quantum MechanicsCPM and Decoherence
Measurements and Locality
†-SMC StructureClassical StructuresIsometries and Unitaries
†-SMC Structure
Objects = finite sets
Morphisms X → Y = relations R ⊆ X × Y
Non-cartesian symmetric monoidal structure (fRel,×, 1)
States 1→ X in fRel ←→ subsets of X
Dagger R† := {(y , x)|(x , y) ∈ R}Superposition operation = relational union ∨(distributive enrichment over finite commutative monoids)
Scalars form a semiring ({∅, id1},∨,×) ∼= B
Stefano Gogioso A Bestiary of Sets and Relations
![Page 12: A Bestiary of Sets and Relations - arXiv:1506 · Stefano Gogioso A Bestiary of Sets and Relations. Pure State Quantum Mechanics CPM and Decoherence Measurements and Locality y-SMC](https://reader031.vdocuments.us/reader031/viewer/2022011916/5fd7e3481dbb4746b3531db1/html5/thumbnails/12.jpg)
Pure State Quantum MechanicsCPM and Decoherence
Measurements and Locality
†-SMC StructureClassical StructuresIsometries and Unitaries
Classical Structures
[Pavlovic 2009] If ( , , , ) is a classical structure in fRel on a
set X , then there is a unique abelian groupoid ⊕λ∈ΛGλ such that:
The groupoid multiplication is given by the partial function:
= (gλ, g′λ′) 7→
{gλ +λ g
′λ if λ = λ′
undefined otherwise
The set of the groupoid units forms the state:
= {0λ|λ ∈ Λ}
The classical points are the states |Gλ〉 : 1→ X
Stefano Gogioso A Bestiary of Sets and Relations
![Page 13: A Bestiary of Sets and Relations - arXiv:1506 · Stefano Gogioso A Bestiary of Sets and Relations. Pure State Quantum Mechanics CPM and Decoherence Measurements and Locality y-SMC](https://reader031.vdocuments.us/reader031/viewer/2022011916/5fd7e3481dbb4746b3531db1/html5/thumbnails/13.jpg)
Pure State Quantum MechanicsCPM and Decoherence
Measurements and Locality
†-SMC StructureClassical StructuresIsometries and Unitaries
Classical Structures
[Pavlovic 2009] If ( , , , ) is a classical structure in fRel on a
set X , then there is a unique abelian groupoid ⊕λ∈ΛGλ such that:
The groupoid multiplication is given by the partial function:
= (gλ, g′λ′) 7→
{gλ +λ g
′λ if λ = λ′
undefined otherwise
The set of the groupoid units forms the state:
= {0λ|λ ∈ Λ}
The classical points are the states |Gλ〉 : 1→ X
Stefano Gogioso A Bestiary of Sets and Relations
![Page 14: A Bestiary of Sets and Relations - arXiv:1506 · Stefano Gogioso A Bestiary of Sets and Relations. Pure State Quantum Mechanics CPM and Decoherence Measurements and Locality y-SMC](https://reader031.vdocuments.us/reader031/viewer/2022011916/5fd7e3481dbb4746b3531db1/html5/thumbnails/14.jpg)
Pure State Quantum MechanicsCPM and Decoherence
Measurements and Locality
†-SMC StructureClassical StructuresIsometries and Unitaries
Classical Structures
[Pavlovic 2009] If ( , , , ) is a classical structure in fRel on a
set X , then there is a unique abelian groupoid ⊕λ∈ΛGλ such that:
The groupoid multiplication is given by the partial function:
= (gλ, g′λ′) 7→
{gλ +λ g
′λ if λ = λ′
undefined otherwise
The set of the groupoid units forms the state:
= {0λ|λ ∈ Λ}
The classical points are the states |Gλ〉 : 1→ X
Stefano Gogioso A Bestiary of Sets and Relations
![Page 15: A Bestiary of Sets and Relations - arXiv:1506 · Stefano Gogioso A Bestiary of Sets and Relations. Pure State Quantum Mechanics CPM and Decoherence Measurements and Locality y-SMC](https://reader031.vdocuments.us/reader031/viewer/2022011916/5fd7e3481dbb4746b3531db1/html5/thumbnails/15.jpg)
Pure State Quantum MechanicsCPM and Decoherence
Measurements and Locality
†-SMC StructureClassical StructuresIsometries and Unitaries
Classical Structures
[Pavlovic 2009] If ( , , , ) is a classical structure in fRel on a
set X , then there is a unique abelian groupoid ⊕λ∈ΛGλ such that:
The groupoid multiplication is given by the partial function:
= (gλ, g′λ′) 7→
{gλ +λ g
′λ if λ = λ′
undefined otherwise
The set of the groupoid units forms the state:
= {0λ|λ ∈ Λ}
The classical points are the states |Gλ〉 : 1→ X
Stefano Gogioso A Bestiary of Sets and Relations
![Page 16: A Bestiary of Sets and Relations - arXiv:1506 · Stefano Gogioso A Bestiary of Sets and Relations. Pure State Quantum Mechanics CPM and Decoherence Measurements and Locality y-SMC](https://reader031.vdocuments.us/reader031/viewer/2022011916/5fd7e3481dbb4746b3531db1/html5/thumbnails/16.jpg)
Pure State Quantum MechanicsCPM and Decoherence
Measurements and Locality
†-SMC StructureClassical StructuresIsometries and Unitaries
Classical Computation
1. Morphisms of classical structures are used to embed partialfunctions (and thus classical computation) in fdHilb:
Rf :=∑
λ∈dom f
|f (λ)〉〈λ|
2. Morphisms of classical structures ⊕λ∈ΛGλ → ⊕γ∈ΓHγ can beused to embed all partial functions f : Λ ⇀ Γ in fRel:
Rf :=∨
λ∈dom f
|Hf (λ)〉〈Gλ|
Stefano Gogioso A Bestiary of Sets and Relations
![Page 17: A Bestiary of Sets and Relations - arXiv:1506 · Stefano Gogioso A Bestiary of Sets and Relations. Pure State Quantum Mechanics CPM and Decoherence Measurements and Locality y-SMC](https://reader031.vdocuments.us/reader031/viewer/2022011916/5fd7e3481dbb4746b3531db1/html5/thumbnails/17.jpg)
Pure State Quantum MechanicsCPM and Decoherence
Measurements and Locality
†-SMC StructureClassical StructuresIsometries and Unitaries
Classical Computation
1. Morphisms of classical structures are used to embed partialfunctions (and thus classical computation) in fdHilb:
Rf :=∑
λ∈dom f
|f (λ)〉〈λ|
2. Morphisms of classical structures ⊕λ∈ΛGλ → ⊕γ∈ΓHγ can beused to embed all partial functions f : Λ ⇀ Γ in fRel:
Rf :=∨
λ∈dom f
|Hf (λ)〉〈Gλ|
Stefano Gogioso A Bestiary of Sets and Relations
![Page 18: A Bestiary of Sets and Relations - arXiv:1506 · Stefano Gogioso A Bestiary of Sets and Relations. Pure State Quantum Mechanics CPM and Decoherence Measurements and Locality y-SMC](https://reader031.vdocuments.us/reader031/viewer/2022011916/5fd7e3481dbb4746b3531db1/html5/thumbnails/18.jpg)
Pure State Quantum MechanicsCPM and Decoherence
Measurements and Locality
†-SMC StructureClassical StructuresIsometries and Unitaries
Classical Computation
3. However, the correspondence in fRel is not 1-to-1.For example, consider a family (Φλ : Gλ → Hf (λ))λ∈Λ ofisomorphisms of abelian groups and embed f : Λ ⇀ Γ as:
R ′f := gλ 7→ Φλ(gλ)
4. Non-uniqueness is a consequence of the fact that mostclassical structures don’t have enough classical points.
5. These additional degrees of freedom could be related tomicroscopic degrees of freedom in computation using thegroupoid framework of [Bar&Vicary (2014)].
Stefano Gogioso A Bestiary of Sets and Relations
![Page 19: A Bestiary of Sets and Relations - arXiv:1506 · Stefano Gogioso A Bestiary of Sets and Relations. Pure State Quantum Mechanics CPM and Decoherence Measurements and Locality y-SMC](https://reader031.vdocuments.us/reader031/viewer/2022011916/5fd7e3481dbb4746b3531db1/html5/thumbnails/19.jpg)
Pure State Quantum MechanicsCPM and Decoherence
Measurements and Locality
†-SMC StructureClassical StructuresIsometries and Unitaries
Classical Computation
3. However, the correspondence in fRel is not 1-to-1.For example, consider a family (Φλ : Gλ → Hf (λ))λ∈Λ ofisomorphisms of abelian groups and embed f : Λ ⇀ Γ as:
R ′f := gλ 7→ Φλ(gλ)
4. Non-uniqueness is a consequence of the fact that mostclassical structures don’t have enough classical points.
5. These additional degrees of freedom could be related tomicroscopic degrees of freedom in computation using thegroupoid framework of [Bar&Vicary (2014)].
Stefano Gogioso A Bestiary of Sets and Relations
![Page 20: A Bestiary of Sets and Relations - arXiv:1506 · Stefano Gogioso A Bestiary of Sets and Relations. Pure State Quantum Mechanics CPM and Decoherence Measurements and Locality y-SMC](https://reader031.vdocuments.us/reader031/viewer/2022011916/5fd7e3481dbb4746b3531db1/html5/thumbnails/20.jpg)
Pure State Quantum MechanicsCPM and Decoherence
Measurements and Locality
†-SMC StructureClassical StructuresIsometries and Unitaries
Classical Computation
3. However, the correspondence in fRel is not 1-to-1.For example, consider a family (Φλ : Gλ → Hf (λ))λ∈Λ ofisomorphisms of abelian groups and embed f : Λ ⇀ Γ as:
R ′f := gλ 7→ Φλ(gλ)
4. Non-uniqueness is a consequence of the fact that mostclassical structures don’t have enough classical points.
5. These additional degrees of freedom could be related tomicroscopic degrees of freedom in computation using thegroupoid framework of [Bar&Vicary (2014)].
Stefano Gogioso A Bestiary of Sets and Relations
![Page 21: A Bestiary of Sets and Relations - arXiv:1506 · Stefano Gogioso A Bestiary of Sets and Relations. Pure State Quantum Mechanics CPM and Decoherence Measurements and Locality y-SMC](https://reader031.vdocuments.us/reader031/viewer/2022011916/5fd7e3481dbb4746b3531db1/html5/thumbnails/21.jpg)
Pure State Quantum MechanicsCPM and Decoherence
Measurements and Locality
†-SMC StructureClassical StructuresIsometries and Unitaries
Discrete structures
On each finite set X , the discrete structure is given by:
= (x , y) 7→ δxyx (partial function)
= 1× X
= x 7→ (x , x) (total function)
= x 7→ ? (total function)
Stefano Gogioso A Bestiary of Sets and Relations
![Page 22: A Bestiary of Sets and Relations - arXiv:1506 · Stefano Gogioso A Bestiary of Sets and Relations. Pure State Quantum Mechanics CPM and Decoherence Measurements and Locality y-SMC](https://reader031.vdocuments.us/reader031/viewer/2022011916/5fd7e3481dbb4746b3531db1/html5/thumbnails/22.jpg)
Pure State Quantum MechanicsCPM and Decoherence
Measurements and Locality
†-SMC StructureClassical StructuresIsometries and Unitaries
Discrete structures
The discrete structure on X corresponds to groupoid ⊕x∈X0x .
It has the singletons {x} as its classical points.
It is the only classical structure with enough classical points.
It gives the usual 1-to-1 embedding of partial functions:
Rf := {(x , f (x))|x ∈ dom f }
Stefano Gogioso A Bestiary of Sets and Relations
![Page 23: A Bestiary of Sets and Relations - arXiv:1506 · Stefano Gogioso A Bestiary of Sets and Relations. Pure State Quantum Mechanics CPM and Decoherence Measurements and Locality y-SMC](https://reader031.vdocuments.us/reader031/viewer/2022011916/5fd7e3481dbb4746b3531db1/html5/thumbnails/23.jpg)
Pure State Quantum MechanicsCPM and Decoherence
Measurements and Locality
†-SMC StructureClassical StructuresIsometries and Unitaries
Discrete structures
The discrete structure on X corresponds to groupoid ⊕x∈X0x .
It has the singletons {x} as its classical points.
It is the only classical structure with enough classical points.
It gives the usual 1-to-1 embedding of partial functions:
Rf := {(x , f (x))|x ∈ dom f }
Stefano Gogioso A Bestiary of Sets and Relations
![Page 24: A Bestiary of Sets and Relations - arXiv:1506 · Stefano Gogioso A Bestiary of Sets and Relations. Pure State Quantum Mechanics CPM and Decoherence Measurements and Locality y-SMC](https://reader031.vdocuments.us/reader031/viewer/2022011916/5fd7e3481dbb4746b3531db1/html5/thumbnails/24.jpg)
Pure State Quantum MechanicsCPM and Decoherence
Measurements and Locality
†-SMC StructureClassical StructuresIsometries and Unitaries
Discrete structures
The discrete structure on X corresponds to groupoid ⊕x∈X0x .
It has the singletons {x} as its classical points.
It is the only classical structure with enough classical points.
It gives the usual 1-to-1 embedding of partial functions:
Rf := {(x , f (x))|x ∈ dom f }
Stefano Gogioso A Bestiary of Sets and Relations
![Page 25: A Bestiary of Sets and Relations - arXiv:1506 · Stefano Gogioso A Bestiary of Sets and Relations. Pure State Quantum Mechanics CPM and Decoherence Measurements and Locality y-SMC](https://reader031.vdocuments.us/reader031/viewer/2022011916/5fd7e3481dbb4746b3531db1/html5/thumbnails/25.jpg)
Pure State Quantum MechanicsCPM and Decoherence
Measurements and Locality
†-SMC StructureClassical StructuresIsometries and Unitaries
Discrete structures
The discrete structure on X corresponds to groupoid ⊕x∈X0x .
It has the singletons {x} as its classical points.
It is the only classical structure with enough classical points.
It gives the usual 1-to-1 embedding of partial functions:
Rf := {(x , f (x))|x ∈ dom f }
Stefano Gogioso A Bestiary of Sets and Relations
![Page 26: A Bestiary of Sets and Relations - arXiv:1506 · Stefano Gogioso A Bestiary of Sets and Relations. Pure State Quantum Mechanics CPM and Decoherence Measurements and Locality y-SMC](https://reader031.vdocuments.us/reader031/viewer/2022011916/5fd7e3481dbb4746b3531db1/html5/thumbnails/26.jpg)
Pure State Quantum MechanicsCPM and Decoherence
Measurements and Locality
†-SMC StructureClassical StructuresIsometries and Unitaries
Isometries and Unitaries
A morphism F : X → Y in fRel is an isometry iff it is in theform, for some classical structure ⊕γ∈ΓHγ on Y
F =∨x∈X|Hf (x)〉〈{x}|
where f : X → Γ is a total injection.
Isometries are in the form F = Rf for some total injection f
Forces discrete structure on X ⇒ more restrictive than fdHilb
Indeed this forces unitaries = bijections
Stefano Gogioso A Bestiary of Sets and Relations
![Page 27: A Bestiary of Sets and Relations - arXiv:1506 · Stefano Gogioso A Bestiary of Sets and Relations. Pure State Quantum Mechanics CPM and Decoherence Measurements and Locality y-SMC](https://reader031.vdocuments.us/reader031/viewer/2022011916/5fd7e3481dbb4746b3531db1/html5/thumbnails/27.jpg)
Pure State Quantum MechanicsCPM and Decoherence
Measurements and Locality
†-SMC StructureClassical StructuresIsometries and Unitaries
Isometries and Unitaries
A morphism F : X → Y in fRel is an isometry iff it is in theform, for some classical structure ⊕γ∈ΓHγ on Y
F =∨x∈X|Hf (x)〉〈{x}|
where f : X → Γ is a total injection.
Isometries are in the form F = Rf for some total injection f
Forces discrete structure on X ⇒ more restrictive than fdHilb
Indeed this forces unitaries = bijections
Stefano Gogioso A Bestiary of Sets and Relations
![Page 28: A Bestiary of Sets and Relations - arXiv:1506 · Stefano Gogioso A Bestiary of Sets and Relations. Pure State Quantum Mechanics CPM and Decoherence Measurements and Locality y-SMC](https://reader031.vdocuments.us/reader031/viewer/2022011916/5fd7e3481dbb4746b3531db1/html5/thumbnails/28.jpg)
Pure State Quantum MechanicsCPM and Decoherence
Measurements and Locality
†-SMC StructureClassical StructuresIsometries and Unitaries
Isometries and Unitaries
A morphism F : X → Y in fRel is an isometry iff it is in theform, for some classical structure ⊕γ∈ΓHγ on Y
F =∨x∈X|Hf (x)〉〈{x}|
where f : X → Γ is a total injection.
Isometries are in the form F = Rf for some total injection f
Forces discrete structure on X ⇒ more restrictive than fdHilb
Indeed this forces unitaries = bijections
Stefano Gogioso A Bestiary of Sets and Relations
![Page 29: A Bestiary of Sets and Relations - arXiv:1506 · Stefano Gogioso A Bestiary of Sets and Relations. Pure State Quantum Mechanics CPM and Decoherence Measurements and Locality y-SMC](https://reader031.vdocuments.us/reader031/viewer/2022011916/5fd7e3481dbb4746b3531db1/html5/thumbnails/29.jpg)
Pure State Quantum MechanicsCPM and Decoherence
Measurements and Locality
†-SMC StructureClassical StructuresIsometries and Unitaries
Isometries and Unitaries
A morphism F : X → Y in fRel is an isometry iff it is in theform, for some classical structure ⊕γ∈ΓHγ on Y
F =∨x∈X|Hf (x)〉〈{x}|
where f : X → Γ is a total injection.
Isometries are in the form F = Rf for some total injection f
Forces discrete structure on X ⇒ more restrictive than fdHilb
Indeed this forces unitaries = bijections
Stefano Gogioso A Bestiary of Sets and Relations
![Page 30: A Bestiary of Sets and Relations - arXiv:1506 · Stefano Gogioso A Bestiary of Sets and Relations. Pure State Quantum Mechanics CPM and Decoherence Measurements and Locality y-SMC](https://reader031.vdocuments.us/reader031/viewer/2022011916/5fd7e3481dbb4746b3531db1/html5/thumbnails/30.jpg)
Pure State Quantum MechanicsCPM and Decoherence
Measurements and Locality
Graphs for CPMPurity of statesDecoherence Maps
Section 2
CPM and Decoherence
Stefano Gogioso A Bestiary of Sets and Relations
![Page 31: A Bestiary of Sets and Relations - arXiv:1506 · Stefano Gogioso A Bestiary of Sets and Relations. Pure State Quantum Mechanics CPM and Decoherence Measurements and Locality y-SMC](https://reader031.vdocuments.us/reader031/viewer/2022011916/5fd7e3481dbb4746b3531db1/html5/thumbnails/31.jpg)
Pure State Quantum MechanicsCPM and Decoherence
Measurements and Locality
Graphs for CPMPurity of statesDecoherence Maps
Decoherence in fRel
One look at it and things turns to stone. Very classical stone.
Credit: Medusa, Miragenathalen, DeviantArt
Stefano Gogioso A Bestiary of Sets and Relations
![Page 32: A Bestiary of Sets and Relations - arXiv:1506 · Stefano Gogioso A Bestiary of Sets and Relations. Pure State Quantum Mechanics CPM and Decoherence Measurements and Locality y-SMC](https://reader031.vdocuments.us/reader031/viewer/2022011916/5fd7e3481dbb4746b3531db1/html5/thumbnails/32.jpg)
Pure State Quantum MechanicsCPM and Decoherence
Measurements and Locality
Graphs for CPMPurity of statesDecoherence Maps
The category CPM[fRel]
Morphisms in CPM[fRel] take the usual doubled-up form:
ff ?
where the compact-closed structure on fRel is given by:
∩X := (x , y) 7→ δxy : X × X → 1
∪X := ∆X : 1→ X × X
We call ∩X the discarding map XCPM−→ 1, and we will say that a
CPM morphism R : XCPM−→ Y is causal iff ∩Y · R = ∩X .
Stefano Gogioso A Bestiary of Sets and Relations
![Page 33: A Bestiary of Sets and Relations - arXiv:1506 · Stefano Gogioso A Bestiary of Sets and Relations. Pure State Quantum Mechanics CPM and Decoherence Measurements and Locality y-SMC](https://reader031.vdocuments.us/reader031/viewer/2022011916/5fd7e3481dbb4746b3531db1/html5/thumbnails/33.jpg)
Pure State Quantum MechanicsCPM and Decoherence
Measurements and Locality
Graphs for CPMPurity of statesDecoherence Maps
Graphs for CPM
[Marsden 2015] A clever graph-theoretic formalism for CPM[fRel]:
States ρ : 1CPM−→ X in CPM[fRel] correspond to subgraphs Gρ
of the complete graph KX on X .
Morphisms R : XCPM−→ Y correspond to subgraphs GR of the
complete graph KX×Y .
Composition is done by lifting and projecting edges.
Stefano Gogioso A Bestiary of Sets and Relations
![Page 34: A Bestiary of Sets and Relations - arXiv:1506 · Stefano Gogioso A Bestiary of Sets and Relations. Pure State Quantum Mechanics CPM and Decoherence Measurements and Locality y-SMC](https://reader031.vdocuments.us/reader031/viewer/2022011916/5fd7e3481dbb4746b3531db1/html5/thumbnails/34.jpg)
Pure State Quantum MechanicsCPM and Decoherence
Measurements and Locality
Graphs for CPMPurity of statesDecoherence Maps
Graphs for CPM
[Marsden 2015] A clever graph-theoretic formalism for CPM[fRel]:
States ρ : 1CPM−→ X in CPM[fRel] correspond to subgraphs Gρ
of the complete graph KX on X .
Morphisms R : XCPM−→ Y correspond to subgraphs GR of the
complete graph KX×Y .
Composition is done by lifting and projecting edges.
Stefano Gogioso A Bestiary of Sets and Relations
![Page 35: A Bestiary of Sets and Relations - arXiv:1506 · Stefano Gogioso A Bestiary of Sets and Relations. Pure State Quantum Mechanics CPM and Decoherence Measurements and Locality y-SMC](https://reader031.vdocuments.us/reader031/viewer/2022011916/5fd7e3481dbb4746b3531db1/html5/thumbnails/35.jpg)
Pure State Quantum MechanicsCPM and Decoherence
Measurements and Locality
Graphs for CPMPurity of statesDecoherence Maps
Graphs for CPM
[Marsden 2015] A clever graph-theoretic formalism for CPM[fRel]:
States ρ : 1CPM−→ X in CPM[fRel] correspond to subgraphs Gρ
of the complete graph KX on X .
Morphisms R : XCPM−→ Y correspond to subgraphs GR of the
complete graph KX×Y .
Composition is done by lifting and projecting edges.
Stefano Gogioso A Bestiary of Sets and Relations
![Page 36: A Bestiary of Sets and Relations - arXiv:1506 · Stefano Gogioso A Bestiary of Sets and Relations. Pure State Quantum Mechanics CPM and Decoherence Measurements and Locality y-SMC](https://reader031.vdocuments.us/reader031/viewer/2022011916/5fd7e3481dbb4746b3531db1/html5/thumbnails/36.jpg)
Pure State Quantum MechanicsCPM and Decoherence
Measurements and Locality
Graphs for CPMPurity of statesDecoherence Maps
Graphs of CPM states (example)
· • · ·
• • · ·
· · • ·
a pure state in a 12 element set
Stefano Gogioso A Bestiary of Sets and Relations
![Page 37: A Bestiary of Sets and Relations - arXiv:1506 · Stefano Gogioso A Bestiary of Sets and Relations. Pure State Quantum Mechanics CPM and Decoherence Measurements and Locality y-SMC](https://reader031.vdocuments.us/reader031/viewer/2022011916/5fd7e3481dbb4746b3531db1/html5/thumbnails/37.jpg)
Pure State Quantum MechanicsCPM and Decoherence
Measurements and Locality
Graphs for CPMPurity of statesDecoherence Maps
Graphs of CPM states (example)
· • · ·
• • · •
· • • •
a non-pure state in a 12 element set
Stefano Gogioso A Bestiary of Sets and Relations
![Page 38: A Bestiary of Sets and Relations - arXiv:1506 · Stefano Gogioso A Bestiary of Sets and Relations. Pure State Quantum Mechanics CPM and Decoherence Measurements and Locality y-SMC](https://reader031.vdocuments.us/reader031/viewer/2022011916/5fd7e3481dbb4746b3531db1/html5/thumbnails/38.jpg)
Pure State Quantum MechanicsCPM and Decoherence
Measurements and Locality
Graphs for CPMPurity of statesDecoherence Maps
Graphs of CPM states (example)
· • · ·
• • · •
· • • •
a discrete state in a 12 element set
Stefano Gogioso A Bestiary of Sets and Relations
![Page 39: A Bestiary of Sets and Relations - arXiv:1506 · Stefano Gogioso A Bestiary of Sets and Relations. Pure State Quantum Mechanics CPM and Decoherence Measurements and Locality y-SMC](https://reader031.vdocuments.us/reader031/viewer/2022011916/5fd7e3481dbb4746b3531db1/html5/thumbnails/39.jpg)
Pure State Quantum MechanicsCPM and Decoherence
Measurements and Locality
Graphs for CPMPurity of statesDecoherence Maps
Graphs of CPM maps (example)
identity on 4 element set Xas a graph on X × X
1
2
3
4
1 2 3 4
• · · ·· • · ·· · • ·· · · •
∩X on 4 element set Xas a graph on X × 1
1
2
3
4
?
••••
Stefano Gogioso A Bestiary of Sets and Relations
![Page 40: A Bestiary of Sets and Relations - arXiv:1506 · Stefano Gogioso A Bestiary of Sets and Relations. Pure State Quantum Mechanics CPM and Decoherence Measurements and Locality y-SMC](https://reader031.vdocuments.us/reader031/viewer/2022011916/5fd7e3481dbb4746b3531db1/html5/thumbnails/40.jpg)
Pure State Quantum MechanicsCPM and Decoherence
Measurements and Locality
Graphs for CPMPurity of statesDecoherence Maps
Graph composition (example)
Computing the image Rρ : 1CPM−→ Y of a CPM state ρ : 1
CPM−→ X
under a CPM map R : XCPM−→ Y using the associated graphs.
··••••·X
Gρ
· · · · · · · · · · Y
Stefano Gogioso A Bestiary of Sets and Relations
![Page 41: A Bestiary of Sets and Relations - arXiv:1506 · Stefano Gogioso A Bestiary of Sets and Relations. Pure State Quantum Mechanics CPM and Decoherence Measurements and Locality y-SMC](https://reader031.vdocuments.us/reader031/viewer/2022011916/5fd7e3481dbb4746b3531db1/html5/thumbnails/41.jpg)
Pure State Quantum MechanicsCPM and Decoherence
Measurements and Locality
Graphs for CPMPurity of statesDecoherence Maps
Graph composition (example)
Computing the image Rρ : 1CPM−→ Y of a CPM state ρ : 1
CPM−→ X
under a CPM map R : XCPM−→ Y using the associated graphs.
··••••·X
Gρ
· · · · · · · · · · Y
GR
•
•••
•
••
•
Stefano Gogioso A Bestiary of Sets and Relations
![Page 42: A Bestiary of Sets and Relations - arXiv:1506 · Stefano Gogioso A Bestiary of Sets and Relations. Pure State Quantum Mechanics CPM and Decoherence Measurements and Locality y-SMC](https://reader031.vdocuments.us/reader031/viewer/2022011916/5fd7e3481dbb4746b3531db1/html5/thumbnails/42.jpg)
Pure State Quantum MechanicsCPM and Decoherence
Measurements and Locality
Graphs for CPMPurity of statesDecoherence Maps
Graph composition (example)
Computing the image Rρ : 1CPM−→ Y of a CPM state ρ : 1
CPM−→ X
under a CPM map R : XCPM−→ Y using the associated graphs.
··••••·X
Gρ
· · · · · · · · · · Y
GR
•
•••
•
••
•
Stefano Gogioso A Bestiary of Sets and Relations
![Page 43: A Bestiary of Sets and Relations - arXiv:1506 · Stefano Gogioso A Bestiary of Sets and Relations. Pure State Quantum Mechanics CPM and Decoherence Measurements and Locality y-SMC](https://reader031.vdocuments.us/reader031/viewer/2022011916/5fd7e3481dbb4746b3531db1/html5/thumbnails/43.jpg)
Pure State Quantum MechanicsCPM and Decoherence
Measurements and Locality
Graphs for CPMPurity of statesDecoherence Maps
Graph composition (example)
Computing the image Rρ : 1CPM−→ Y of a CPM state ρ : 1
CPM−→ X
under a CPM map R : XCPM−→ Y using the associated graphs.
··••••·X
Gρ
· · · · · · · · · · Y
•••
•
•
Stefano Gogioso A Bestiary of Sets and Relations
![Page 44: A Bestiary of Sets and Relations - arXiv:1506 · Stefano Gogioso A Bestiary of Sets and Relations. Pure State Quantum Mechanics CPM and Decoherence Measurements and Locality y-SMC](https://reader031.vdocuments.us/reader031/viewer/2022011916/5fd7e3481dbb4746b3531db1/html5/thumbnails/44.jpg)
Pure State Quantum MechanicsCPM and Decoherence
Measurements and Locality
Graphs for CPMPurity of statesDecoherence Maps
Graph composition (example)
Computing the image Rρ : 1CPM−→ Y of a CPM state ρ : 1
CPM−→ X
under a CPM map R : XCPM−→ Y using the associated graphs.
··••••·X
Gρ
· · · · · · · · · · Y
•••
•
•
Stefano Gogioso A Bestiary of Sets and Relations
![Page 45: A Bestiary of Sets and Relations - arXiv:1506 · Stefano Gogioso A Bestiary of Sets and Relations. Pure State Quantum Mechanics CPM and Decoherence Measurements and Locality y-SMC](https://reader031.vdocuments.us/reader031/viewer/2022011916/5fd7e3481dbb4746b3531db1/html5/thumbnails/45.jpg)
Pure State Quantum MechanicsCPM and Decoherence
Measurements and Locality
Graphs for CPMPurity of statesDecoherence Maps
Graph composition (example)
Computing the image Rρ : 1CPM−→ Y of a CPM state ρ : 1
CPM−→ X
under a CPM map R : XCPM−→ Y using the associated graphs.
··••••·X
Gρ
· · · · · · · · · · Y
GRρ
•••
•
•
• • • •
Stefano Gogioso A Bestiary of Sets and Relations
![Page 46: A Bestiary of Sets and Relations - arXiv:1506 · Stefano Gogioso A Bestiary of Sets and Relations. Pure State Quantum Mechanics CPM and Decoherence Measurements and Locality y-SMC](https://reader031.vdocuments.us/reader031/viewer/2022011916/5fd7e3481dbb4746b3531db1/html5/thumbnails/46.jpg)
Pure State Quantum MechanicsCPM and Decoherence
Measurements and Locality
Graphs for CPMPurity of statesDecoherence Maps
Purity of states
A CPM state ρ is pure if and only if Gρ is a clique.
Define a relative purity partial order on states ρ, σ : 1CPM−→ X
by setting ρ � σ iff Gρ is a subgraph of Gσ, covering all nodes.
Pure states are the maxima of �.
The lower set ρ ↓ of any pure state ρ is an atomic semilatticeunder union ∨ of graphs (i.e. convex combination of states).
Therefore every pure state ρ (clique Gρ) can be expressed as aconvex combination of non-pure states (the atoms of ρ ↓).
Stefano Gogioso A Bestiary of Sets and Relations
![Page 47: A Bestiary of Sets and Relations - arXiv:1506 · Stefano Gogioso A Bestiary of Sets and Relations. Pure State Quantum Mechanics CPM and Decoherence Measurements and Locality y-SMC](https://reader031.vdocuments.us/reader031/viewer/2022011916/5fd7e3481dbb4746b3531db1/html5/thumbnails/47.jpg)
Pure State Quantum MechanicsCPM and Decoherence
Measurements and Locality
Graphs for CPMPurity of statesDecoherence Maps
Purity of states
A CPM state ρ is pure if and only if Gρ is a clique.
Define a relative purity partial order on states ρ, σ : 1CPM−→ X
by setting ρ � σ iff Gρ is a subgraph of Gσ, covering all nodes.
Pure states are the maxima of �.
The lower set ρ ↓ of any pure state ρ is an atomic semilatticeunder union ∨ of graphs (i.e. convex combination of states).
Therefore every pure state ρ (clique Gρ) can be expressed as aconvex combination of non-pure states (the atoms of ρ ↓).
Stefano Gogioso A Bestiary of Sets and Relations
![Page 48: A Bestiary of Sets and Relations - arXiv:1506 · Stefano Gogioso A Bestiary of Sets and Relations. Pure State Quantum Mechanics CPM and Decoherence Measurements and Locality y-SMC](https://reader031.vdocuments.us/reader031/viewer/2022011916/5fd7e3481dbb4746b3531db1/html5/thumbnails/48.jpg)
Pure State Quantum MechanicsCPM and Decoherence
Measurements and Locality
Graphs for CPMPurity of statesDecoherence Maps
Purity of states
A CPM state ρ is pure if and only if Gρ is a clique.
Define a relative purity partial order on states ρ, σ : 1CPM−→ X
by setting ρ � σ iff Gρ is a subgraph of Gσ, covering all nodes.
Pure states are the maxima of �.
The lower set ρ ↓ of any pure state ρ is an atomic semilatticeunder union ∨ of graphs (i.e. convex combination of states).
Therefore every pure state ρ (clique Gρ) can be expressed as aconvex combination of non-pure states (the atoms of ρ ↓).
Stefano Gogioso A Bestiary of Sets and Relations
![Page 49: A Bestiary of Sets and Relations - arXiv:1506 · Stefano Gogioso A Bestiary of Sets and Relations. Pure State Quantum Mechanics CPM and Decoherence Measurements and Locality y-SMC](https://reader031.vdocuments.us/reader031/viewer/2022011916/5fd7e3481dbb4746b3531db1/html5/thumbnails/49.jpg)
Pure State Quantum MechanicsCPM and Decoherence
Measurements and Locality
Graphs for CPMPurity of statesDecoherence Maps
Purity of states
A CPM state ρ is pure if and only if Gρ is a clique.
Define a relative purity partial order on states ρ, σ : 1CPM−→ X
by setting ρ � σ iff Gρ is a subgraph of Gσ, covering all nodes.
Pure states are the maxima of �.
The lower set ρ ↓ of any pure state ρ is an atomic semilatticeunder union ∨ of graphs (i.e. convex combination of states).
Therefore every pure state ρ (clique Gρ) can be expressed as aconvex combination of non-pure states (the atoms of ρ ↓).
Stefano Gogioso A Bestiary of Sets and Relations
![Page 50: A Bestiary of Sets and Relations - arXiv:1506 · Stefano Gogioso A Bestiary of Sets and Relations. Pure State Quantum Mechanics CPM and Decoherence Measurements and Locality y-SMC](https://reader031.vdocuments.us/reader031/viewer/2022011916/5fd7e3481dbb4746b3531db1/html5/thumbnails/50.jpg)
Pure State Quantum MechanicsCPM and Decoherence
Measurements and Locality
Graphs for CPMPurity of statesDecoherence Maps
Purity of states
A CPM state ρ is pure if and only if Gρ is a clique.
Define a relative purity partial order on states ρ, σ : 1CPM−→ X
by setting ρ � σ iff Gρ is a subgraph of Gσ, covering all nodes.
Pure states are the maxima of �.
The lower set ρ ↓ of any pure state ρ is an atomic semilatticeunder union ∨ of graphs (i.e. convex combination of states).
Therefore every pure state ρ (clique Gρ) can be expressed as aconvex combination of non-pure states (the atoms of ρ ↓).
Stefano Gogioso A Bestiary of Sets and Relations
![Page 51: A Bestiary of Sets and Relations - arXiv:1506 · Stefano Gogioso A Bestiary of Sets and Relations. Pure State Quantum Mechanics CPM and Decoherence Measurements and Locality y-SMC](https://reader031.vdocuments.us/reader031/viewer/2022011916/5fd7e3481dbb4746b3531db1/html5/thumbnails/51.jpg)
Pure State Quantum MechanicsCPM and Decoherence
Measurements and Locality
Graphs for CPMPurity of statesDecoherence Maps
Purity of states (example)
· • · ·• · · ·· · • ·Purity lower-set of
pure state {2, 5, 11}in {1, 2, ..., 12}
pure state
· • · ·• · · ·· · • ·
· • · ·• · · ·· · • ·
· • · ·• · · ·· · • ·
· • · ·• · · ·· · • ·
· • · ·• · · ·· · • ·
· • · ·• · · ·· · • ·
atoms
· • · ·• · · ·· · • ·
discrete state
Stefano Gogioso A Bestiary of Sets and Relations
![Page 52: A Bestiary of Sets and Relations - arXiv:1506 · Stefano Gogioso A Bestiary of Sets and Relations. Pure State Quantum Mechanics CPM and Decoherence Measurements and Locality y-SMC](https://reader031.vdocuments.us/reader031/viewer/2022011916/5fd7e3481dbb4746b3531db1/html5/thumbnails/52.jpg)
Pure State Quantum MechanicsCPM and Decoherence
Measurements and Locality
Graphs for CPMPurity of statesDecoherence Maps
Decoherence Maps in †-SMCs
Let be a classical structure on some object X of a compactclosed †-SMC. The -decoherence map dec( ) is the following
causal CPM morphism XCPM−→ X :
Stefano Gogioso A Bestiary of Sets and Relations
![Page 53: A Bestiary of Sets and Relations - arXiv:1506 · Stefano Gogioso A Bestiary of Sets and Relations. Pure State Quantum Mechanics CPM and Decoherence Measurements and Locality y-SMC](https://reader031.vdocuments.us/reader031/viewer/2022011916/5fd7e3481dbb4746b3531db1/html5/thumbnails/53.jpg)
Pure State Quantum MechanicsCPM and Decoherence
Measurements and Locality
Graphs for CPMPurity of statesDecoherence Maps
Decoherence Maps in fdHilb
In fdHilb, the decoherence map sends any (causal) CPM state to a(probabilistic) convex combination of -classical points:
dec( )ρ =∑z
〈z |ρ|z〉 |z〉〈z |
This also justifies the following quantum-classical notation when alloperations after the decoherence are -classical:
Stefano Gogioso A Bestiary of Sets and Relations
![Page 54: A Bestiary of Sets and Relations - arXiv:1506 · Stefano Gogioso A Bestiary of Sets and Relations. Pure State Quantum Mechanics CPM and Decoherence Measurements and Locality y-SMC](https://reader031.vdocuments.us/reader031/viewer/2022011916/5fd7e3481dbb4746b3531db1/html5/thumbnails/54.jpg)
Pure State Quantum MechanicsCPM and Decoherence
Measurements and Locality
Graphs for CPMPurity of statesDecoherence Maps
Decoherence Maps in fdHilb
In fdHilb, the decoherence map sends any (causal) CPM state to a(probabilistic) convex combination of -classical points:
dec( )ρ =∑z
〈z |ρ|z〉 |z〉〈z |
This also justifies the following quantum-classical notation when alloperations after the decoherence are -classical:
Stefano Gogioso A Bestiary of Sets and Relations
![Page 55: A Bestiary of Sets and Relations - arXiv:1506 · Stefano Gogioso A Bestiary of Sets and Relations. Pure State Quantum Mechanics CPM and Decoherence Measurements and Locality y-SMC](https://reader031.vdocuments.us/reader031/viewer/2022011916/5fd7e3481dbb4746b3531db1/html5/thumbnails/55.jpg)
Pure State Quantum MechanicsCPM and Decoherence
Measurements and Locality
Graphs for CPMPurity of statesDecoherence Maps
Decoherence Maps in fRel
This convex combination assumption fails in fRel:
The result of decohering a CPM state ρ to dec( )ρ is not ingeneral a convex combination of -classical points.
Unless is the discrete structure, no causal CPM map existspreserving -classical points and always resulting in a convexcombination of -classical points.
In the case of fRel, the CPM category cannot be interpretedas a category of mixed states in the usual sense.
Stefano Gogioso A Bestiary of Sets and Relations
![Page 56: A Bestiary of Sets and Relations - arXiv:1506 · Stefano Gogioso A Bestiary of Sets and Relations. Pure State Quantum Mechanics CPM and Decoherence Measurements and Locality y-SMC](https://reader031.vdocuments.us/reader031/viewer/2022011916/5fd7e3481dbb4746b3531db1/html5/thumbnails/56.jpg)
Pure State Quantum MechanicsCPM and Decoherence
Measurements and Locality
Graphs for CPMPurity of statesDecoherence Maps
Decoherence Maps in fRel
This convex combination assumption fails in fRel:
The result of decohering a CPM state ρ to dec( )ρ is not ingeneral a convex combination of -classical points.
Unless is the discrete structure, no causal CPM map existspreserving -classical points and always resulting in a convexcombination of -classical points.
In the case of fRel, the CPM category cannot be interpretedas a category of mixed states in the usual sense.
Stefano Gogioso A Bestiary of Sets and Relations
![Page 57: A Bestiary of Sets and Relations - arXiv:1506 · Stefano Gogioso A Bestiary of Sets and Relations. Pure State Quantum Mechanics CPM and Decoherence Measurements and Locality y-SMC](https://reader031.vdocuments.us/reader031/viewer/2022011916/5fd7e3481dbb4746b3531db1/html5/thumbnails/57.jpg)
Pure State Quantum MechanicsCPM and Decoherence
Measurements and Locality
Graphs for CPMPurity of statesDecoherence Maps
Decoherence Maps in fRel
This convex combination assumption fails in fRel:
The result of decohering a CPM state ρ to dec( )ρ is not ingeneral a convex combination of -classical points.
Unless is the discrete structure, no causal CPM map existspreserving -classical points and always resulting in a convexcombination of -classical points.
In the case of fRel, the CPM category cannot be interpretedas a category of mixed states in the usual sense.
Stefano Gogioso A Bestiary of Sets and Relations
![Page 58: A Bestiary of Sets and Relations - arXiv:1506 · Stefano Gogioso A Bestiary of Sets and Relations. Pure State Quantum Mechanics CPM and Decoherence Measurements and Locality y-SMC](https://reader031.vdocuments.us/reader031/viewer/2022011916/5fd7e3481dbb4746b3531db1/html5/thumbnails/58.jpg)
Pure State Quantum MechanicsCPM and Decoherence
Measurements and Locality
Graphs for CPMPurity of statesDecoherence Maps
Decoherence Maps in fRel (example)
Let X be a 5 element set, and the classical structure of groupoidZ2 ⊕ Z3. Then Gdec( ) is the following subgraph of KX×X :
0Z2
1Z2
0Z3
1Z3
2Z3
0Z2 1Z2 0Z3 1Z3 2Z3
• • · · ·
• • · · ·
· · • • •
· · • • •
· · • • •
Tq
Stefano Gogioso A Bestiary of Sets and Relations
![Page 59: A Bestiary of Sets and Relations - arXiv:1506 · Stefano Gogioso A Bestiary of Sets and Relations. Pure State Quantum Mechanics CPM and Decoherence Measurements and Locality y-SMC](https://reader031.vdocuments.us/reader031/viewer/2022011916/5fd7e3481dbb4746b3531db1/html5/thumbnails/59.jpg)
Pure State Quantum MechanicsCPM and Decoherence
Measurements and Locality
Graphs for CPMPurity of statesDecoherence Maps
Decoherence Maps in fRel (example)
Let X be a 5 element set, and the classical structure of groupoidZ2 ⊕ Z3. Then Gdec( ) is the following subgraph of KX×X :
0Z2
1Z2
0Z3
1Z3
2Z3
0Z2 1Z2 0Z3 1Z3 2Z3
• • · · ·
• • · · ·
· · • • •
· · • • •
· · • • •
Z2
Z3
The cliques on the boxed sets of nodes are the -classical states.
Stefano Gogioso A Bestiary of Sets and Relations
![Page 60: A Bestiary of Sets and Relations - arXiv:1506 · Stefano Gogioso A Bestiary of Sets and Relations. Pure State Quantum Mechanics CPM and Decoherence Measurements and Locality y-SMC](https://reader031.vdocuments.us/reader031/viewer/2022011916/5fd7e3481dbb4746b3531db1/html5/thumbnails/60.jpg)
Pure State Quantum MechanicsCPM and Decoherence
Measurements and Locality
Graphs for CPMPurity of statesDecoherence Maps
Decoherence Maps in fRel (example)
However, the decoherence of the discrete structure always yields aconvex combination of singletons (i.e. it eliminates all edges):
0Z2
1Z2
0Z3
1Z3
2Z3
0Z2 1Z2 0Z3 1Z3 2Z3
• · · · ·
· • · · ·
· · • · ·
· · · • ·
· · · · •
This is because the discrete structure has enough classical points.
Stefano Gogioso A Bestiary of Sets and Relations
![Page 61: A Bestiary of Sets and Relations - arXiv:1506 · Stefano Gogioso A Bestiary of Sets and Relations. Pure State Quantum Mechanics CPM and Decoherence Measurements and Locality y-SMC](https://reader031.vdocuments.us/reader031/viewer/2022011916/5fd7e3481dbb4746b3531db1/html5/thumbnails/61.jpg)
Pure State Quantum MechanicsCPM and Decoherence
Measurements and Locality
Non-Demolition MeasurementsDemolition MeasurementsEmpirical Models and Locality
Section 3
Measurements and Locality
Stefano Gogioso A Bestiary of Sets and Relations
![Page 62: A Bestiary of Sets and Relations - arXiv:1506 · Stefano Gogioso A Bestiary of Sets and Relations. Pure State Quantum Mechanics CPM and Decoherence Measurements and Locality y-SMC](https://reader031.vdocuments.us/reader031/viewer/2022011916/5fd7e3481dbb4746b3531db1/html5/thumbnails/62.jpg)
Pure State Quantum MechanicsCPM and Decoherence
Measurements and Locality
Non-Demolition MeasurementsDemolition MeasurementsEmpirical Models and Locality
Measurements and Locality in fRel
The riddle with no apparent answer. We should ask Oedipus.
Credit: Sphynx, Snaketoast, DeviantArt
Stefano Gogioso A Bestiary of Sets and Relations
![Page 63: A Bestiary of Sets and Relations - arXiv:1506 · Stefano Gogioso A Bestiary of Sets and Relations. Pure State Quantum Mechanics CPM and Decoherence Measurements and Locality y-SMC](https://reader031.vdocuments.us/reader031/viewer/2022011916/5fd7e3481dbb4746b3531db1/html5/thumbnails/63.jpg)
Pure State Quantum MechanicsCPM and Decoherence
Measurements and Locality
Non-Demolition MeasurementsDemolition MeasurementsEmpirical Models and Locality
Testing against classical states
Testing against -classical points yields a more familiarscenario for decoherence:
z1z2
ρ
= 0 if z1 6= z2
However quotienting by equivalence in testing against statestrivializes the CPM construction entirely.
Stefano Gogioso A Bestiary of Sets and Relations
![Page 64: A Bestiary of Sets and Relations - arXiv:1506 · Stefano Gogioso A Bestiary of Sets and Relations. Pure State Quantum Mechanics CPM and Decoherence Measurements and Locality y-SMC](https://reader031.vdocuments.us/reader031/viewer/2022011916/5fd7e3481dbb4746b3531db1/html5/thumbnails/64.jpg)
Pure State Quantum MechanicsCPM and Decoherence
Measurements and Locality
Non-Demolition MeasurementsDemolition MeasurementsEmpirical Models and Locality
Testing against classical states
Testing against -classical points yields a more familiarscenario for decoherence:
z1z2
ρ
= 0 if z1 6= z2
However quotienting by equivalence in testing against statestrivializes the CPM construction entirely.
Stefano Gogioso A Bestiary of Sets and Relations
![Page 65: A Bestiary of Sets and Relations - arXiv:1506 · Stefano Gogioso A Bestiary of Sets and Relations. Pure State Quantum Mechanics CPM and Decoherence Measurements and Locality y-SMC](https://reader031.vdocuments.us/reader031/viewer/2022011916/5fd7e3481dbb4746b3531db1/html5/thumbnails/65.jpg)
Pure State Quantum MechanicsCPM and Decoherence
Measurements and Locality
Non-Demolition MeasurementsDemolition MeasurementsEmpirical Models and Locality
Non-Demolition Measurements
Let be a classical structure in a compact-closed †-SMC on someobject Z . A -valued non-demolition measurement on some
object X is a causal CPM morphism M : XCPM−→ X ⊗ Z taking the
following form, and which is -idempotent and -self-adjoint:
PP
Causality is equivalent to P : X → X ⊗ Z being an isometry.
Stefano Gogioso A Bestiary of Sets and Relations
![Page 66: A Bestiary of Sets and Relations - arXiv:1506 · Stefano Gogioso A Bestiary of Sets and Relations. Pure State Quantum Mechanics CPM and Decoherence Measurements and Locality y-SMC](https://reader031.vdocuments.us/reader031/viewer/2022011916/5fd7e3481dbb4746b3531db1/html5/thumbnails/66.jpg)
Pure State Quantum MechanicsCPM and Decoherence
Measurements and Locality
Non-Demolition MeasurementsDemolition MeasurementsEmpirical Models and Locality
Non-Demolition Measurements: idempotence
The required -idempotence is defined by the following equation:
PP
PP
= PP
Stefano Gogioso A Bestiary of Sets and Relations
![Page 67: A Bestiary of Sets and Relations - arXiv:1506 · Stefano Gogioso A Bestiary of Sets and Relations. Pure State Quantum Mechanics CPM and Decoherence Measurements and Locality y-SMC](https://reader031.vdocuments.us/reader031/viewer/2022011916/5fd7e3481dbb4746b3531db1/html5/thumbnails/67.jpg)
Pure State Quantum MechanicsCPM and Decoherence
Measurements and Locality
Non-Demolition MeasurementsDemolition MeasurementsEmpirical Models and Locality
Non-Demolition Measurements: self-adjointness
The required -self-adjointness is defined by the following equation:
PP =
PP
Stefano Gogioso A Bestiary of Sets and Relations
![Page 68: A Bestiary of Sets and Relations - arXiv:1506 · Stefano Gogioso A Bestiary of Sets and Relations. Pure State Quantum Mechanics CPM and Decoherence Measurements and Locality y-SMC](https://reader031.vdocuments.us/reader031/viewer/2022011916/5fd7e3481dbb4746b3531db1/html5/thumbnails/68.jpg)
Pure State Quantum MechanicsCPM and Decoherence
Measurements and Locality
Non-Demolition MeasurementsDemolition MeasurementsEmpirical Models and Locality
Demolition Measurements
If M : XCPM−→ X ⊗ Z is a non-demolition measurement, the
demolition measurement M̄ is defined by discarding X :
M̄ := (∩X ⊗ idZ ) ·M : XCPM−→ Z
Because of the convex-combination issues with decoherence infRel, we are forced to test the demolition measurement M̄against classical points of to get the classical outcomes:(
M̄λ := ρ†Gλ· M̄)λ∈Λ
Stefano Gogioso A Bestiary of Sets and Relations
![Page 69: A Bestiary of Sets and Relations - arXiv:1506 · Stefano Gogioso A Bestiary of Sets and Relations. Pure State Quantum Mechanics CPM and Decoherence Measurements and Locality y-SMC](https://reader031.vdocuments.us/reader031/viewer/2022011916/5fd7e3481dbb4746b3531db1/html5/thumbnails/69.jpg)
Pure State Quantum MechanicsCPM and Decoherence
Measurements and Locality
Non-Demolition MeasurementsDemolition MeasurementsEmpirical Models and Locality
Demolition Measurements
If M : XCPM−→ X ⊗ Z is a non-demolition measurement, the
demolition measurement M̄ is defined by discarding X :
M̄ := (∩X ⊗ idZ ) ·M : XCPM−→ Z
Because of the convex-combination issues with decoherence infRel, we are forced to test the demolition measurement M̄against classical points of to get the classical outcomes:(
M̄λ := ρ†Gλ· M̄)λ∈Λ
Stefano Gogioso A Bestiary of Sets and Relations
![Page 70: A Bestiary of Sets and Relations - arXiv:1506 · Stefano Gogioso A Bestiary of Sets and Relations. Pure State Quantum Mechanics CPM and Decoherence Measurements and Locality y-SMC](https://reader031.vdocuments.us/reader031/viewer/2022011916/5fd7e3481dbb4746b3531db1/html5/thumbnails/70.jpg)
Pure State Quantum MechanicsCPM and Decoherence
Measurements and Locality
Non-Demolition MeasurementsDemolition MeasurementsEmpirical Models and Locality
Demolition Measurements
Testing against classical points makes things a bit boring:
The same classical outcomes of a -valued demolitionmeasurement M̄ : X
CPM−→ Z can be obtained by using adecoherence dec( ) on X , followed by a classical map:∨
γ∈Γ|Gf (γ)〉〈Hγ | : →
On the plus side, we only need to consider empirical modelscoming from decoherences in our proof of locality. This leadsto the simplified definition of empirical model that follows.
Stefano Gogioso A Bestiary of Sets and Relations
![Page 71: A Bestiary of Sets and Relations - arXiv:1506 · Stefano Gogioso A Bestiary of Sets and Relations. Pure State Quantum Mechanics CPM and Decoherence Measurements and Locality y-SMC](https://reader031.vdocuments.us/reader031/viewer/2022011916/5fd7e3481dbb4746b3531db1/html5/thumbnails/71.jpg)
Pure State Quantum MechanicsCPM and Decoherence
Measurements and Locality
Non-Demolition MeasurementsDemolition MeasurementsEmpirical Models and Locality
Demolition Measurements
Testing against classical points makes things a bit boring:
The same classical outcomes of a -valued demolitionmeasurement M̄ : X
CPM−→ Z can be obtained by using adecoherence dec( ) on X , followed by a classical map:∨
γ∈Γ|Gf (γ)〉〈Hγ | : →
On the plus side, we only need to consider empirical modelscoming from decoherences in our proof of locality. This leadsto the simplified definition of empirical model that follows.
Stefano Gogioso A Bestiary of Sets and Relations
![Page 72: A Bestiary of Sets and Relations - arXiv:1506 · Stefano Gogioso A Bestiary of Sets and Relations. Pure State Quantum Mechanics CPM and Decoherence Measurements and Locality y-SMC](https://reader031.vdocuments.us/reader031/viewer/2022011916/5fd7e3481dbb4746b3531db1/html5/thumbnails/72.jpg)
Pure State Quantum MechanicsCPM and Decoherence
Measurements and Locality
Non-Demolition MeasurementsDemolition MeasurementsEmpirical Models and Locality
Possibilistic Empirical Models
Let ρ be a mixed state in X1 × ...× XN
Let ( mj )m=1,...,M be a family of classical structures on Xj
Let (Λmj )jm be the sets indexing the classical points
The empirical model is the family of boolean functionsΦm(λm1 , ..., λ
mN ) : Λm
1 × ...× ΛmN → {⊥,>} defined as follows
Φm(λm1 , ..., λmN ) :=
Gλm1Gλm1 ... GλmNGλmN
ρ
Stefano Gogioso A Bestiary of Sets and Relations
![Page 73: A Bestiary of Sets and Relations - arXiv:1506 · Stefano Gogioso A Bestiary of Sets and Relations. Pure State Quantum Mechanics CPM and Decoherence Measurements and Locality y-SMC](https://reader031.vdocuments.us/reader031/viewer/2022011916/5fd7e3481dbb4746b3531db1/html5/thumbnails/73.jpg)
Pure State Quantum MechanicsCPM and Decoherence
Measurements and Locality
Non-Demolition MeasurementsDemolition MeasurementsEmpirical Models and Locality
Possibilistic Empirical Models
Let ρ be a mixed state in X1 × ...× XN
Let ( mj )m=1,...,M be a family of classical structures on Xj
Let (Λmj )jm be the sets indexing the classical points
The empirical model is the family of boolean functionsΦm(λm1 , ..., λ
mN ) : Λm
1 × ...× ΛmN → {⊥,>} defined as follows
Φm(λm1 , ..., λmN ) :=
Gλm1Gλm1 ... GλmNGλmN
ρ
Stefano Gogioso A Bestiary of Sets and Relations
![Page 74: A Bestiary of Sets and Relations - arXiv:1506 · Stefano Gogioso A Bestiary of Sets and Relations. Pure State Quantum Mechanics CPM and Decoherence Measurements and Locality y-SMC](https://reader031.vdocuments.us/reader031/viewer/2022011916/5fd7e3481dbb4746b3531db1/html5/thumbnails/74.jpg)
Pure State Quantum MechanicsCPM and Decoherence
Measurements and Locality
Non-Demolition MeasurementsDemolition MeasurementsEmpirical Models and Locality
Possibilistic Empirical Models
Let ρ be a mixed state in X1 × ...× XN
Let ( mj )m=1,...,M be a family of classical structures on Xj
Let (Λmj )jm be the sets indexing the classical points
The empirical model is the family of boolean functionsΦm(λm1 , ..., λ
mN ) : Λm
1 × ...× ΛmN → {⊥,>} defined as follows
Φm(λm1 , ..., λmN ) :=
Gλm1Gλm1 ... GλmNGλmN
ρ
Stefano Gogioso A Bestiary of Sets and Relations
![Page 75: A Bestiary of Sets and Relations - arXiv:1506 · Stefano Gogioso A Bestiary of Sets and Relations. Pure State Quantum Mechanics CPM and Decoherence Measurements and Locality y-SMC](https://reader031.vdocuments.us/reader031/viewer/2022011916/5fd7e3481dbb4746b3531db1/html5/thumbnails/75.jpg)
Pure State Quantum MechanicsCPM and Decoherence
Measurements and Locality
Non-Demolition MeasurementsDemolition MeasurementsEmpirical Models and Locality
Possibilistic Empirical Models
Let ρ be a mixed state in X1 × ...× XN
Let ( mj )m=1,...,M be a family of classical structures on Xj
Let (Λmj )jm be the sets indexing the classical points
The empirical model is the family of boolean functionsΦm(λm1 , ..., λ
mN ) : Λm
1 × ...× ΛmN → {⊥,>} defined as follows
Φm(λm1 , ..., λmN ) :=
Gλm1Gλm1 ... GλmNGλmN
ρ
Stefano Gogioso A Bestiary of Sets and Relations
![Page 76: A Bestiary of Sets and Relations - arXiv:1506 · Stefano Gogioso A Bestiary of Sets and Relations. Pure State Quantum Mechanics CPM and Decoherence Measurements and Locality y-SMC](https://reader031.vdocuments.us/reader031/viewer/2022011916/5fd7e3481dbb4746b3531db1/html5/thumbnails/76.jpg)
Pure State Quantum MechanicsCPM and Decoherence
Measurements and Locality
Non-Demolition MeasurementsDemolition MeasurementsEmpirical Models and Locality
Locality
Theorem
Every empirical model (Φm)m admits a local hidden variable ν:(i) the mixed state ρ is decohered in the discrete structures(ii) the discrete classical data is appropriately copied
ν ′
ν
D
local map
Z 11... Z 1
N... Zm
j... ZM
1...ZM
N
Y 11...Y K
1... Y k
j... Y 1
N...Y K
N... ... ... ...
X1 Xj XN... ...
ρ
Stefano Gogioso A Bestiary of Sets and Relations
![Page 77: A Bestiary of Sets and Relations - arXiv:1506 · Stefano Gogioso A Bestiary of Sets and Relations. Pure State Quantum Mechanics CPM and Decoherence Measurements and Locality y-SMC](https://reader031.vdocuments.us/reader031/viewer/2022011916/5fd7e3481dbb4746b3531db1/html5/thumbnails/77.jpg)
Pure State Quantum MechanicsCPM and Decoherence
Measurements and Locality
Non-Demolition MeasurementsDemolition MeasurementsEmpirical Models and Locality
Locality
Key points of the proof (in a nice graph flavour):
In a measurement framework where we test against classicalpoints, any CPM state ρ is equivalent to the discrete τ � ρ.
This is immediate to see from the graph perspective:
σ† ·ρ = 1 ⇐⇒ Gσ∧Gρ 6= ∅ ⇐⇒ Gσ∧Gτ 6= ∅ ⇐⇒ σ† ·τ = 1
Decoherence in the discrete structure turns any CPM stateρ into the discrete state τ � ρ (i.e. removes all edges).
A discrete state is a convex combination of classical points ofthe discrete structure , and can be appropriately copied.
Stefano Gogioso A Bestiary of Sets and Relations
![Page 78: A Bestiary of Sets and Relations - arXiv:1506 · Stefano Gogioso A Bestiary of Sets and Relations. Pure State Quantum Mechanics CPM and Decoherence Measurements and Locality y-SMC](https://reader031.vdocuments.us/reader031/viewer/2022011916/5fd7e3481dbb4746b3531db1/html5/thumbnails/78.jpg)
Pure State Quantum MechanicsCPM and Decoherence
Measurements and Locality
Non-Demolition MeasurementsDemolition MeasurementsEmpirical Models and Locality
Locality
Key points of the proof (in a nice graph flavour):
In a measurement framework where we test against classicalpoints, any CPM state ρ is equivalent to the discrete τ � ρ.This is immediate to see from the graph perspective:
σ† ·ρ = 1 ⇐⇒ Gσ∧Gρ 6= ∅ ⇐⇒ Gσ∧Gτ 6= ∅ ⇐⇒ σ† ·τ = 1
Decoherence in the discrete structure turns any CPM stateρ into the discrete state τ � ρ (i.e. removes all edges).
A discrete state is a convex combination of classical points ofthe discrete structure , and can be appropriately copied.
Stefano Gogioso A Bestiary of Sets and Relations
![Page 79: A Bestiary of Sets and Relations - arXiv:1506 · Stefano Gogioso A Bestiary of Sets and Relations. Pure State Quantum Mechanics CPM and Decoherence Measurements and Locality y-SMC](https://reader031.vdocuments.us/reader031/viewer/2022011916/5fd7e3481dbb4746b3531db1/html5/thumbnails/79.jpg)
Pure State Quantum MechanicsCPM and Decoherence
Measurements and Locality
Non-Demolition MeasurementsDemolition MeasurementsEmpirical Models and Locality
Locality
Key points of the proof (in a nice graph flavour):
In a measurement framework where we test against classicalpoints, any CPM state ρ is equivalent to the discrete τ � ρ.This is immediate to see from the graph perspective:
σ† ·ρ = 1 ⇐⇒ Gσ∧Gρ 6= ∅ ⇐⇒ Gσ∧Gτ 6= ∅ ⇐⇒ σ† ·τ = 1
Decoherence in the discrete structure turns any CPM stateρ into the discrete state τ � ρ (i.e. removes all edges).
A discrete state is a convex combination of classical points ofthe discrete structure , and can be appropriately copied.
Stefano Gogioso A Bestiary of Sets and Relations
![Page 80: A Bestiary of Sets and Relations - arXiv:1506 · Stefano Gogioso A Bestiary of Sets and Relations. Pure State Quantum Mechanics CPM and Decoherence Measurements and Locality y-SMC](https://reader031.vdocuments.us/reader031/viewer/2022011916/5fd7e3481dbb4746b3531db1/html5/thumbnails/80.jpg)
Pure State Quantum MechanicsCPM and Decoherence
Measurements and Locality
Non-Demolition MeasurementsDemolition MeasurementsEmpirical Models and Locality
Locality
Key points of the proof (in a nice graph flavour):
In a measurement framework where we test against classicalpoints, any CPM state ρ is equivalent to the discrete τ � ρ.This is immediate to see from the graph perspective:
σ† ·ρ = 1 ⇐⇒ Gσ∧Gρ 6= ∅ ⇐⇒ Gσ∧Gτ 6= ∅ ⇐⇒ σ† ·τ = 1
Decoherence in the discrete structure turns any CPM stateρ into the discrete state τ � ρ (i.e. removes all edges).
A discrete state is a convex combination of classical points ofthe discrete structure , and can be appropriately copied.
Stefano Gogioso A Bestiary of Sets and Relations
![Page 81: A Bestiary of Sets and Relations - arXiv:1506 · Stefano Gogioso A Bestiary of Sets and Relations. Pure State Quantum Mechanics CPM and Decoherence Measurements and Locality y-SMC](https://reader031.vdocuments.us/reader031/viewer/2022011916/5fd7e3481dbb4746b3531db1/html5/thumbnails/81.jpg)
Pure State Quantum MechanicsCPM and Decoherence
Measurements and Locality
Conclusions
fRel, with all the fundamental ingredients and many exoticfeatures, still provides an excellent sandbox for CQM.
The issues with decoherence invite a deeper reflection on thequantum-classical boundary in CQM, and on the operationalinterpretation of CPM as a category of mixed states.
In a framework where decoherence doesn’t return convexcombinations, testing against classical points may not bephysically sound. Measurements/locality need revisiting.
Stefano Gogioso A Bestiary of Sets and Relations
![Page 82: A Bestiary of Sets and Relations - arXiv:1506 · Stefano Gogioso A Bestiary of Sets and Relations. Pure State Quantum Mechanics CPM and Decoherence Measurements and Locality y-SMC](https://reader031.vdocuments.us/reader031/viewer/2022011916/5fd7e3481dbb4746b3531db1/html5/thumbnails/82.jpg)
Pure State Quantum MechanicsCPM and Decoherence
Measurements and Locality
Conclusions
fRel, with all the fundamental ingredients and many exoticfeatures, still provides an excellent sandbox for CQM.
The issues with decoherence invite a deeper reflection on thequantum-classical boundary in CQM, and on the operationalinterpretation of CPM as a category of mixed states.
In a framework where decoherence doesn’t return convexcombinations, testing against classical points may not bephysically sound. Measurements/locality need revisiting.
Stefano Gogioso A Bestiary of Sets and Relations
![Page 83: A Bestiary of Sets and Relations - arXiv:1506 · Stefano Gogioso A Bestiary of Sets and Relations. Pure State Quantum Mechanics CPM and Decoherence Measurements and Locality y-SMC](https://reader031.vdocuments.us/reader031/viewer/2022011916/5fd7e3481dbb4746b3531db1/html5/thumbnails/83.jpg)
Pure State Quantum MechanicsCPM and Decoherence
Measurements and Locality
Conclusions
fRel, with all the fundamental ingredients and many exoticfeatures, still provides an excellent sandbox for CQM.
The issues with decoherence invite a deeper reflection on thequantum-classical boundary in CQM, and on the operationalinterpretation of CPM as a category of mixed states.
In a framework where decoherence doesn’t return convexcombinations, testing against classical points may not bephysically sound. Measurements/locality need revisiting.
Stefano Gogioso A Bestiary of Sets and Relations
![Page 84: A Bestiary of Sets and Relations - arXiv:1506 · Stefano Gogioso A Bestiary of Sets and Relations. Pure State Quantum Mechanics CPM and Decoherence Measurements and Locality y-SMC](https://reader031.vdocuments.us/reader031/viewer/2022011916/5fd7e3481dbb4746b3531db1/html5/thumbnails/84.jpg)
Pure State Quantum MechanicsCPM and Decoherence
Measurements and Locality
Thank You!
Thanks for Your Attention!Any Questions?
[Pavlovic (2009)] Quantum and classical structures innondeterministic computation
[Bar&Vicary (2014)] Groupoid Semantics for Thermal Computing
[Marsden (2015)] A Graph Theoretic Perspective on CPM(Rel)
Stefano Gogioso A Bestiary of Sets and Relations