the geometry of boolean algebra -...
TRANSCRIPT
![Page 1: The geometry of Boolean algebra - homepages.inf.ed.ac.ukhomepages.inf.ed.ac.uk/cheunen/slides/2018/lablunch.pdf · Boolean subalgebras of orthoalgebras I Heunen,ICALP 2014 Piecewise](https://reader030.vdocuments.site/reader030/viewer/2022041215/5e0464ec69dfa44bee3a4d90/html5/thumbnails/1.jpg)
The geometry of Boolean algebra
Chris Heunen
1 / 22
![Page 2: The geometry of Boolean algebra - homepages.inf.ed.ac.ukhomepages.inf.ed.ac.uk/cheunen/slides/2018/lablunch.pdf · Boolean subalgebras of orthoalgebras I Heunen,ICALP 2014 Piecewise](https://reader030.vdocuments.site/reader030/viewer/2022041215/5e0464ec69dfa44bee3a4d90/html5/thumbnails/2.jpg)
Boolean algebra: example
∅
{, ,
}
{ } { } { }
{,
} {,
} {,
}
2 / 22
![Page 3: The geometry of Boolean algebra - homepages.inf.ed.ac.ukhomepages.inf.ed.ac.uk/cheunen/slides/2018/lablunch.pdf · Boolean subalgebras of orthoalgebras I Heunen,ICALP 2014 Piecewise](https://reader030.vdocuments.site/reader030/viewer/2022041215/5e0464ec69dfa44bee3a4d90/html5/thumbnails/3.jpg)
Boole’s algebra
3 / 22
![Page 4: The geometry of Boolean algebra - homepages.inf.ed.ac.ukhomepages.inf.ed.ac.uk/cheunen/slides/2018/lablunch.pdf · Boolean subalgebras of orthoalgebras I Heunen,ICALP 2014 Piecewise](https://reader030.vdocuments.site/reader030/viewer/2022041215/5e0464ec69dfa44bee3a4d90/html5/thumbnails/4.jpg)
Boolean algebra 6= Boole’s algebra
4 / 22
![Page 5: The geometry of Boolean algebra - homepages.inf.ed.ac.ukhomepages.inf.ed.ac.uk/cheunen/slides/2018/lablunch.pdf · Boolean subalgebras of orthoalgebras I Heunen,ICALP 2014 Piecewise](https://reader030.vdocuments.site/reader030/viewer/2022041215/5e0464ec69dfa44bee3a4d90/html5/thumbnails/5.jpg)
Boolean algebra = Jevon’s algebra
5 / 22
![Page 6: The geometry of Boolean algebra - homepages.inf.ed.ac.ukhomepages.inf.ed.ac.uk/cheunen/slides/2018/lablunch.pdf · Boolean subalgebras of orthoalgebras I Heunen,ICALP 2014 Piecewise](https://reader030.vdocuments.site/reader030/viewer/2022041215/5e0464ec69dfa44bee3a4d90/html5/thumbnails/6.jpg)
Boole’s algebra isn’t Boolean algebra
6 / 22
![Page 7: The geometry of Boolean algebra - homepages.inf.ed.ac.ukhomepages.inf.ed.ac.uk/cheunen/slides/2018/lablunch.pdf · Boolean subalgebras of orthoalgebras I Heunen,ICALP 2014 Piecewise](https://reader030.vdocuments.site/reader030/viewer/2022041215/5e0464ec69dfa44bee3a4d90/html5/thumbnails/7.jpg)
Contextuality
7 / 22
![Page 8: The geometry of Boolean algebra - homepages.inf.ed.ac.ukhomepages.inf.ed.ac.uk/cheunen/slides/2018/lablunch.pdf · Boolean subalgebras of orthoalgebras I Heunen,ICALP 2014 Piecewise](https://reader030.vdocuments.site/reader030/viewer/2022041215/5e0464ec69dfa44bee3a4d90/html5/thumbnails/8.jpg)
Orthoalgebra: definition
An orthoalgebra is a set A withI a partial binary operation ⊕ : A×A→ A
I a unary operation ¬ : A→ A
I distinguished elements 0, 1 ∈ A
such thatI ⊕ is commutative and associativeI ¬a is the unique element with a⊕ ¬a = 1I a⊕ a is defined if and only if a = 0
8 / 22
![Page 9: The geometry of Boolean algebra - homepages.inf.ed.ac.ukhomepages.inf.ed.ac.uk/cheunen/slides/2018/lablunch.pdf · Boolean subalgebras of orthoalgebras I Heunen,ICALP 2014 Piecewise](https://reader030.vdocuments.site/reader030/viewer/2022041215/5e0464ec69dfa44bee3a4d90/html5/thumbnails/9.jpg)
Orthoalgebra: example
•
•
• • • • •
• • • • •
9 / 22
![Page 10: The geometry of Boolean algebra - homepages.inf.ed.ac.ukhomepages.inf.ed.ac.uk/cheunen/slides/2018/lablunch.pdf · Boolean subalgebras of orthoalgebras I Heunen,ICALP 2014 Piecewise](https://reader030.vdocuments.site/reader030/viewer/2022041215/5e0464ec69dfa44bee3a4d90/html5/thumbnails/10.jpg)
Orthodomain: definition
Given a piecewise Boolean algebra A,its orthodomain BSub(A)
is the collection of its Boolean subalgebras,partially ordered by inclusion.
10 / 22
![Page 11: The geometry of Boolean algebra - homepages.inf.ed.ac.ukhomepages.inf.ed.ac.uk/cheunen/slides/2018/lablunch.pdf · Boolean subalgebras of orthoalgebras I Heunen,ICALP 2014 Piecewise](https://reader030.vdocuments.site/reader030/viewer/2022041215/5e0464ec69dfa44bee3a4d90/html5/thumbnails/11.jpg)
Orthodomain: example
Example: if A is
•
•
• • • • •
• • • • •
then BSub(A) is• •
• • • • •
•
11 / 22
![Page 12: The geometry of Boolean algebra - homepages.inf.ed.ac.ukhomepages.inf.ed.ac.uk/cheunen/slides/2018/lablunch.pdf · Boolean subalgebras of orthoalgebras I Heunen,ICALP 2014 Piecewise](https://reader030.vdocuments.site/reader030/viewer/2022041215/5e0464ec69dfa44bee3a4d90/html5/thumbnails/12.jpg)
Orthoalgebra: pitfalls
I subalgebras of a Boolean orthoalgebra need not be BooleanI intersection of two Boolean subalgebras need not be BooleanI two Boolean subalgebras might have no meetI two Boolean subalgebras might have upper bound but no join
12 / 22
![Page 13: The geometry of Boolean algebra - homepages.inf.ed.ac.ukhomepages.inf.ed.ac.uk/cheunen/slides/2018/lablunch.pdf · Boolean subalgebras of orthoalgebras I Heunen,ICALP 2014 Piecewise](https://reader030.vdocuments.site/reader030/viewer/2022041215/5e0464ec69dfa44bee3a4d90/html5/thumbnails/13.jpg)
Different kinds of atoms
If A =
∅
1 2 3 4
12 13 14 23 24 34
123 124 134 234
1234
, then BSub(A) = · · ·
13 / 22
![Page 14: The geometry of Boolean algebra - homepages.inf.ed.ac.ukhomepages.inf.ed.ac.uk/cheunen/slides/2018/lablunch.pdf · Boolean subalgebras of orthoalgebras I Heunen,ICALP 2014 Piecewise](https://reader030.vdocuments.site/reader030/viewer/2022041215/5e0464ec69dfa44bee3a4d90/html5/thumbnails/14.jpg)
Different kinds of atoms
∅
1234
∅
A
1 234∅
A
2 134∅
A
3 124∅
A
4 123∅
A
12 34∅
A
13 24∅
A
14 23
∅
A
1 2 34
234 134 12
∅
A
1 3 24
234 124 13
∅
A
1 4 23
234 123 34
∅
A
2 3 14
134 124 23
∅
A
2 4 13
134 123 24
∅
A
3 4 12
124 123 34
A
13 / 22
![Page 15: The geometry of Boolean algebra - homepages.inf.ed.ac.ukhomepages.inf.ed.ac.uk/cheunen/slides/2018/lablunch.pdf · Boolean subalgebras of orthoalgebras I Heunen,ICALP 2014 Piecewise](https://reader030.vdocuments.site/reader030/viewer/2022041215/5e0464ec69dfa44bee3a4d90/html5/thumbnails/15.jpg)
Principal pairsReconstruct pairs (x,¬x) of A:
I principal ideal subalgebra of A is of the form
0
1
x
¬x
I they are the elements p of BSub(A) that aredual modular and (p ∨m) ∧ n = p ∨ (m ∧ n) for n ≥ patom or relative complement a ∧m = a, a ∨m = A for atom a
Reconstruct elements x of A:
I principal pairs of A are (p, q) with atomic meetp
pq
q
0
1
x¬x
Theorem: A ' Pp(BSub(A)) for Boolean algebra A of size ≥ 4D ' BSub(Pp(D)) for Boolean domain D of size ≥ 2
14 / 22
![Page 16: The geometry of Boolean algebra - homepages.inf.ed.ac.ukhomepages.inf.ed.ac.uk/cheunen/slides/2018/lablunch.pdf · Boolean subalgebras of orthoalgebras I Heunen,ICALP 2014 Piecewise](https://reader030.vdocuments.site/reader030/viewer/2022041215/5e0464ec69dfa44bee3a4d90/html5/thumbnails/16.jpg)
Principal pairsReconstruct pairs (x,¬x) of A:
I principal ideal subalgebra of A is of the form
0
1
x
¬x
I they are the elements p of BSub(A) that aredual modular and (p ∨m) ∧ n = p ∨ (m ∧ n) for n ≥ patom or relative complement a ∧m = a, a ∨m = A for atom a
Reconstruct elements x of A:
I principal pairs of A are (p, q) with atomic meetp
pq
q
0
1
x¬x
Theorem: A ' Pp(BSub(A)) for Boolean algebra A of size ≥ 4D ' BSub(Pp(D)) for Boolean domain D of size ≥ 2
14 / 22
![Page 17: The geometry of Boolean algebra - homepages.inf.ed.ac.ukhomepages.inf.ed.ac.uk/cheunen/slides/2018/lablunch.pdf · Boolean subalgebras of orthoalgebras I Heunen,ICALP 2014 Piecewise](https://reader030.vdocuments.site/reader030/viewer/2022041215/5e0464ec69dfa44bee3a4d90/html5/thumbnails/17.jpg)
Principal pairsReconstruct pairs (x,¬x) of A:
I principal ideal subalgebra of A is of the form
0
1
x
¬x
I they are the elements p of BSub(A) that aredual modular and (p ∨m) ∧ n = p ∨ (m ∧ n) for n ≥ patom or relative complement a ∧m = a, a ∨m = A for atom a
Reconstruct elements x of A:
I principal pairs of A are (p, q) with atomic meetp
pq
q
0
1
x¬x
Theorem: A ' Pp(BSub(A)) for Boolean algebra A of size ≥ 4D ' BSub(Pp(D)) for Boolean domain D of size ≥ 2
14 / 22
![Page 18: The geometry of Boolean algebra - homepages.inf.ed.ac.ukhomepages.inf.ed.ac.uk/cheunen/slides/2018/lablunch.pdf · Boolean subalgebras of orthoalgebras I Heunen,ICALP 2014 Piecewise](https://reader030.vdocuments.site/reader030/viewer/2022041215/5e0464ec69dfa44bee3a4d90/html5/thumbnails/18.jpg)
Directions
If A is
0
1
v w x y z
¬v ¬w ¬x ¬y ¬z
or
0
1
v w x
¬v ¬w ¬x
0
1
¬x y z
x ¬y ¬z
then BSub(A) is
• •
• • • • •
•
A direction for a is a map d : D → D2 withI
I
I if m, n cover a, d(m) = (a, m), d(n) = (n, a), then m ∨ n exists
15 / 22
![Page 19: The geometry of Boolean algebra - homepages.inf.ed.ac.ukhomepages.inf.ed.ac.uk/cheunen/slides/2018/lablunch.pdf · Boolean subalgebras of orthoalgebras I Heunen,ICALP 2014 Piecewise](https://reader030.vdocuments.site/reader030/viewer/2022041215/5e0464ec69dfa44bee3a4d90/html5/thumbnails/19.jpg)
Directions
If A is
0
1
v w x y z
¬v ¬w ¬x ¬y ¬z
or
0
1
v w x
¬v ¬w ¬x
0
1
¬x y z
x ¬y ¬z
then BSub(A) is
• •
• • • • •
•
A direction for a is a map d : D → D2 withI
I
I if m, n cover a, d(m) = (a, m), d(n) = (n, a), then m ∨ n exists
15 / 22
![Page 20: The geometry of Boolean algebra - homepages.inf.ed.ac.ukhomepages.inf.ed.ac.uk/cheunen/slides/2018/lablunch.pdf · Boolean subalgebras of orthoalgebras I Heunen,ICALP 2014 Piecewise](https://reader030.vdocuments.site/reader030/viewer/2022041215/5e0464ec69dfa44bee3a4d90/html5/thumbnails/20.jpg)
Directions
If A is
0
1
v w x y z
¬v ¬w ¬x ¬y ¬z
or
0
1
v w x
¬v ¬w ¬x
0
1
¬x y z
x ¬y ¬z
then BSub(A) is
• •
• • • • •
•
A direction for a Boolean domain is a map d : D → D2 withI d(1) = (p, q) is a principal pairI d(m) = (p ∧m, q ∧m)
I if m, n cover a, d(m) = (a, m), d(n) = (n, a), then m ∨ n exists
15 / 22
![Page 21: The geometry of Boolean algebra - homepages.inf.ed.ac.ukhomepages.inf.ed.ac.uk/cheunen/slides/2018/lablunch.pdf · Boolean subalgebras of orthoalgebras I Heunen,ICALP 2014 Piecewise](https://reader030.vdocuments.site/reader030/viewer/2022041215/5e0464ec69dfa44bee3a4d90/html5/thumbnails/21.jpg)
Directions
If A is
0
1
v w x y z
¬v ¬w ¬x ¬y ¬z
or
0
1
v w x
¬v ¬w ¬x
0
1
¬x y z
x ¬y ¬z
then BSub(A) is
• •
• • • • •
•
A direction for a orthodomain is a map d : D → D2 withI if a ≤ m then d(m) is a principal pair with meet a in m
I d(m) =∨{(m, m) ∧ f(n) | a ≤ n}
I if m, n cover a, d(m) = (a, m), d(n) = (n, a), then m ∨ n exists
15 / 22
![Page 22: The geometry of Boolean algebra - homepages.inf.ed.ac.ukhomepages.inf.ed.ac.uk/cheunen/slides/2018/lablunch.pdf · Boolean subalgebras of orthoalgebras I Heunen,ICALP 2014 Piecewise](https://reader030.vdocuments.site/reader030/viewer/2022041215/5e0464ec69dfa44bee3a4d90/html5/thumbnails/22.jpg)
Orthoalgebras and orthodomains
Lemma: If an atom in an orthodomain has a direction,then it has exactly two directions
Theorem:I A ' Dir(BSub(A)) for orthoalgebra A
whose blocks have > 4 elementsI D ' BSub(Dir(D)) for orthodomain D
that has enough directions and is tall
16 / 22
![Page 23: The geometry of Boolean algebra - homepages.inf.ed.ac.ukhomepages.inf.ed.ac.uk/cheunen/slides/2018/lablunch.pdf · Boolean subalgebras of orthoalgebras I Heunen,ICALP 2014 Piecewise](https://reader030.vdocuments.site/reader030/viewer/2022041215/5e0464ec69dfa44bee3a4d90/html5/thumbnails/23.jpg)
Orthohypergraphs
An orthohypergraph is consists of a set of points, a set of lines, anda set of planes. A line is a set of 3 points, and a plane is a set of 7points where the restriction of the lines to these 7 points is as:
Every orthoalgebra/orthodomain gives rise to an orthohypergraph:I points are Boolean subalgebras of size 4I lines are Boolean subalgebras of size 8I planes are Boolean subalgebras of size 16
17 / 22
![Page 24: The geometry of Boolean algebra - homepages.inf.ed.ac.ukhomepages.inf.ed.ac.uk/cheunen/slides/2018/lablunch.pdf · Boolean subalgebras of orthoalgebras I Heunen,ICALP 2014 Piecewise](https://reader030.vdocuments.site/reader030/viewer/2022041215/5e0464ec69dfa44bee3a4d90/html5/thumbnails/24.jpg)
Orthohypergraphs
An orthohypergraph is consists of a set of points, a set of lines, anda set of planes. A line is a set of 3 points, and a plane is a set of 7points where the restriction of the lines to these 7 points is as:
Every orthoalgebra/orthodomain gives rise to an orthohypergraph:I points are Boolean subalgebras of size 4I lines are Boolean subalgebras of size 8I planes are Boolean subalgebras of size 16
17 / 22
![Page 25: The geometry of Boolean algebra - homepages.inf.ed.ac.ukhomepages.inf.ed.ac.uk/cheunen/slides/2018/lablunch.pdf · Boolean subalgebras of orthoalgebras I Heunen,ICALP 2014 Piecewise](https://reader030.vdocuments.site/reader030/viewer/2022041215/5e0464ec69dfa44bee3a4d90/html5/thumbnails/25.jpg)
Projective geometry
I Any two lines intersect in at most one point.I Any two points lie on a line or plane.I For orthomodular posets: if it looks like a plane, it is a plane.
18 / 22
![Page 26: The geometry of Boolean algebra - homepages.inf.ed.ac.ukhomepages.inf.ed.ac.uk/cheunen/slides/2018/lablunch.pdf · Boolean subalgebras of orthoalgebras I Heunen,ICALP 2014 Piecewise](https://reader030.vdocuments.site/reader030/viewer/2022041215/5e0464ec69dfa44bee3a4d90/html5/thumbnails/26.jpg)
Orthohypergraph morphisms
Morphism of orthohypergraphs is partial function such that:
I
none defined point image isomorphism
I
none defined point image line image isomorphism
I If lines l,m intersect in point p, and lines α(l) 6= α(m) in plane t′ intersect in edgepoint α(p), then l,m lie in plane t that is mapped isomorphically to t′:
l
m
p α(p)α(l)
α(m)
19 / 22
![Page 27: The geometry of Boolean algebra - homepages.inf.ed.ac.ukhomepages.inf.ed.ac.uk/cheunen/slides/2018/lablunch.pdf · Boolean subalgebras of orthoalgebras I Heunen,ICALP 2014 Piecewise](https://reader030.vdocuments.site/reader030/viewer/2022041215/5e0464ec69dfa44bee3a4d90/html5/thumbnails/27.jpg)
Orthodomains and orthohypergraphs
Theorem: functor that sends orthoalgebra to its orthohypergraph:I is essentially surjective on objectsI is injective on objects except on 1- and 2-element orthoalgebrasI is full on proper morphismsI is faithful on proper morphisms
So for all intents and purposes is equivalence
20 / 22
![Page 28: The geometry of Boolean algebra - homepages.inf.ed.ac.ukhomepages.inf.ed.ac.uk/cheunen/slides/2018/lablunch.pdf · Boolean subalgebras of orthoalgebras I Heunen,ICALP 2014 Piecewise](https://reader030.vdocuments.site/reader030/viewer/2022041215/5e0464ec69dfa44bee3a4d90/html5/thumbnails/28.jpg)
Conclusion
I Orthoalgebra: Boolean algebra as Boole intended
I Orthodomain: shape of parts enough to determine whole
I Orthohypergraph: (projective) geometry of contextuality
21 / 22
![Page 29: The geometry of Boolean algebra - homepages.inf.ed.ac.ukhomepages.inf.ed.ac.uk/cheunen/slides/2018/lablunch.pdf · Boolean subalgebras of orthoalgebras I Heunen,ICALP 2014 Piecewise](https://reader030.vdocuments.site/reader030/viewer/2022041215/5e0464ec69dfa44bee3a4d90/html5/thumbnails/29.jpg)
ReferencesI Harding, Heunen, Lindenhovius, Navara, arXiv:1711.03748
Boolean subalgebras of orthoalgebras
I Heunen, ICALP 2014Piecewise Boolean algebras and their domains
I Van den Berg, Heunen, Appl. Cat. Str. 2012Noncommutativity as a colimit
I Gratzer, Koh, Makkai, Proc. Amer. Math. Soc. 1972On the lattice of subalgebras of a Boolean algebra,
I Kochen, Specker, J. Math. Mech. 1967The problem of hidden variables in quantum mechanics
I Sachs, Canad. J. Math. 1962The lattice of subalgebras of a Boolean algebra
22 / 22