IntroductionQuantum Kripke Frames
Directions for Future Work
On a Connection between Piron Lattices andKripke Frames
Shengyang Zhong([email protected])
Institute for Logic, Language and Computation, University of Amsterdam
November 30th, 2013
Whither Quantum Structures in the XXIth Century?Brussels, Belgium
Shengyang Zhong ([email protected]) On a Connection between Piron Lattices and Kripke Frames
IntroductionQuantum Kripke Frames
Directions for Future Work
Outline
1 Introduction
2 Quantum Kripke FramesDefinition and Main ResultRelations with Other StructuresProbabilistic Quantum Kripke Frames
3 Directions for Future Work
Shengyang Zhong ([email protected]) On a Connection between Piron Lattices and Kripke Frames
IntroductionQuantum Kripke Frames
Directions for Future Work
Outline
1 Introduction
2 Quantum Kripke FramesDefinition and Main ResultRelations with Other StructuresProbabilistic Quantum Kripke Frames
3 Directions for Future Work
Shengyang Zhong ([email protected]) On a Connection between Piron Lattices and Kripke Frames
IntroductionQuantum Kripke Frames
Directions for Future Work
Orthogonality Relation in Quantum Theory
Consider an isolated quantum system described by someHilbert space H over complex numbers.Two non-zero vectors |ψ〉 and |φ〉 are said to be orthogonal,denoted as |ψ〉 ⊥ |φ〉, if the inner product 〈ψ|φ〉 is 0.This binary relation on vectors induces a binary relation onone-dimensional subspaces of H and thus on states of thequantum system, which is also called orthogonality relation.
By studying this relation, we get many representationtheorems for lattices emerging from quantum logic via Kripkeframes.
Shengyang Zhong ([email protected]) On a Connection between Piron Lattices and Kripke Frames
IntroductionQuantum Kripke Frames
Directions for Future Work
Ortholattices and Orthogonality Spaces [Goldblatt, 1974]
‘That the ⊥-closed subsets of an orthogonality space form anortholattice under the partial ordering of set inclusion is aresult of long standing (cf. Birkhoff,[1]§V.7).’‘Every ortholattice is, within isomorphism, a subortholattice ofthe lattice of ⊥-closed subsets of some orthogonality space.’Ortholattice: an orthocomplemented latticeOrthogonality space: a Kripke frame in which the binaryrelation is irreflexive and symmetric.
Shengyang Zhong ([email protected]) On a Connection between Piron Lattices and Kripke Frames
IntroductionQuantum Kripke Frames
Directions for Future Work
Property Lattices and State Spaces [Moore, 1995]
Property lattice: a complete atomistic orthocomplementedlattice.
State space: a Kripke frame (Σ,⊥) in which the binaryrelation ⊥ is irreflexive, symmetric and separated in thefollowing sense:
there is w ∈ Σ such that w ⊥ s and w 6⊥ t, for anys, t ∈ Σ such that s 6= t.
The main result in this paper is a duality between
a category with property lattices as objects, anda category with state spaces as objects.
Shengyang Zhong ([email protected]) On a Connection between Piron Lattices and Kripke Frames
IntroductionQuantum Kripke Frames
Directions for Future Work
What about Piron Lattices?
Compared to lattices emerging from quantum theory, i.e.lattices of closed linear subspaces of Hilbert spaces, bothortholattices and property lattices are too general.
Piron lattice: an irreducible, complete, atomistic,orthocomplemented lattices satisfying weak modularity andthe Covering Law.
They are also called irreducible propositional systems.
Shengyang Zhong ([email protected]) On a Connection between Piron Lattices and Kripke Frames
IntroductionQuantum Kripke Frames
Directions for Future Work
Piron Lattices and Hilbert Spaces
Piron’s Theorem (1964)
The lattice of bi-orthogonally closed subspaces of a generalizedHilbert space is always a Piron lattice; and every Piron lattice ofrank at least 4 is isomorphic to such a lattice.
A Corollary of the Amemiya-Araki-Piron Theorem
Generalized Hilbert spaces over the real numbers, the complexnumbers and the quaternions are Hilbert spaces over these ∗-fields,in such a way that bi-orthogonally closed subspaces are exactlyclosed linear subspaces.
Shengyang Zhong ([email protected]) On a Connection between Piron Lattices and Kripke Frames
IntroductionQuantum Kripke Frames
Directions for Future Work
Piron Lattices and Quantum Dynamic Frames
In [Baltag and Smets, 2005], the authors give a representationtheorem for Piron lattices (satisfying Mayet’s condition) usingquantum dynamic frames.
A quantum dynamic frame is a tuple (Σ, {P?→}P∈L), where Σis a non-empty set, L is a subset of the power set of Σ and P?→is a binary relation on Σ for all P ∈ L.The orthogonality relation, denoted as ⊥, is defined as follows:
s ⊥ t ⇐⇒ there is no P ∈ L such that s P?→ t.
Shengyang Zhong ([email protected]) On a Connection between Piron Lattices and Kripke Frames
IntroductionQuantum Kripke Frames
Directions for Future Work
The Work in this Talk
I will
define a kind of Kripke frames, and
use them to give a representation theorem for Piron lattices.
This work
inspired by Baltag and Smets’ work, provides an alternativeway of defining quantum dynamic frame;
continues the logical study of the orthogonality relationextending Moore’s result and thus Goldblatt’s result.
Shengyang Zhong ([email protected]) On a Connection between Piron Lattices and Kripke Frames
IntroductionQuantum Kripke Frames
Directions for Future Work
Definition and Main ResultRelations with Other StructuresProbabilistic Quantum Kripke Frames
Outline
1 Introduction
2 Quantum Kripke FramesDefinition and Main ResultRelations with Other StructuresProbabilistic Quantum Kripke Frames
3 Directions for Future Work
Shengyang Zhong ([email protected]) On a Connection between Piron Lattices and Kripke Frames
IntroductionQuantum Kripke Frames
Directions for Future Work
Definition and Main ResultRelations with Other StructuresProbabilistic Quantum Kripke Frames
Outline
1 Introduction
2 Quantum Kripke FramesDefinition and Main ResultRelations with Other StructuresProbabilistic Quantum Kripke Frames
3 Directions for Future Work
Shengyang Zhong ([email protected]) On a Connection between Piron Lattices and Kripke Frames
IntroductionQuantum Kripke Frames
Directions for Future Work
Definition and Main ResultRelations with Other StructuresProbabilistic Quantum Kripke Frames
Some Terminologies of Kripke Frames
Kripke Frame
A Kripke frame F is a tuple (Σ,→), where Σ is a non-empty setand → ⊆ Σ× Σ.
Write s 6→ t for (s, t) 6∈ →.Given P ⊆ Σ, the orthocomplement of P (w.r.t. →) is definedas follows:
∼P def= {s ∈ Σ | s 6→ t, for every t ∈ P}
P is bi-orthogonally closed, if P = ∼∼P.
Shengyang Zhong ([email protected]) On a Connection between Piron Lattices and Kripke Frames
IntroductionQuantum Kripke Frames
Directions for Future Work
Definition and Main ResultRelations with Other StructuresProbabilistic Quantum Kripke Frames
Quantum Kripke Frames
Definition (Quantum Kripke Frame)
A quantum Kripke frame (QKF) F is a Kripke frame (Σ,→)satisfying the following conditions:
(i) → is reflexive and symmetric.(ii) (Existence of Good Approximation)
if s 6∈ ∼P and ∼∼P = P, then there is t ∈ P such thats → u if and only if t → u for each u ∈ P;
(iii) (Separation) if s 6= t, then there is w ∈ Σ such that w → sand w 6→ t;
(iv) (Superposition) for any s, t ∈ Σ, there is w ∈ Σ such thatw → s and w → t.
Shengyang Zhong ([email protected]) On a Connection between Piron Lattices and Kripke Frames
IntroductionQuantum Kripke Frames
Directions for Future Work
Definition and Main ResultRelations with Other StructuresProbabilistic Quantum Kripke Frames
Good Approximations are the Best
Consider s ∈ Σ and P ⊆ Σ such that good approximation of sin P exists according to condition (ii).
There is t ∈ P such that s → u ⇔ t → u, for every u ∈ P.Condition (iii), i.e. Separation, guarantees that the t with thisproperty is unique.
This t will be called the best approxiamtion of s in P.
Given a bi-orthogonally closed P ⊆ Σ, define a partialfunction P?(·) : Σ 99K Σ as follows:
P?(s)def=
{the best approxiamtion t of s in P, if s 6∈ ∼Pundefined, otherwise
Shengyang Zhong ([email protected]) On a Connection between Piron Lattices and Kripke Frames
IntroductionQuantum Kripke Frames
Directions for Future Work
Definition and Main ResultRelations with Other StructuresProbabilistic Quantum Kripke Frames
Main Results
Theorem 1
For any quantum Kripke frame F = (Σ,→), (LF,⊆,∼(·)) is aPiron lattice, where LF = {P ⊆ Σ | ∼∼P = P} and ∼(·) is theorthocomplement operation (w.r.t. →).
Theorem 2
Every Piron lattice L is isomorphic to (LF,⊆,∼(·)) for somequantum Kripke frame F.
Shengyang Zhong ([email protected]) On a Connection between Piron Lattices and Kripke Frames
IntroductionQuantum Kripke Frames
Directions for Future Work
Definition and Main ResultRelations with Other StructuresProbabilistic Quantum Kripke Frames
Outline
1 Introduction
2 Quantum Kripke FramesDefinition and Main ResultRelations with Other StructuresProbabilistic Quantum Kripke Frames
3 Directions for Future Work
Shengyang Zhong ([email protected]) On a Connection between Piron Lattices and Kripke Frames
IntroductionQuantum Kripke Frames
Directions for Future Work
Definition and Main ResultRelations with Other StructuresProbabilistic Quantum Kripke Frames
Quantum Kripke Frames and State Spaces
Quantum Kripke frames are a special kind of Moore’s state spaces,because conditions (i) and (iii) are equivalent to the conditions onstate spaces, despite the fact that quantum Kripke frames take asprimitive the non-orthogonality relation instead of theorthogonality relation.
Shengyang Zhong ([email protected]) On a Connection between Piron Lattices and Kripke Frames
IntroductionQuantum Kripke Frames
Directions for Future Work
Definition and Main ResultRelations with Other StructuresProbabilistic Quantum Kripke Frames
Relations with Some More Structures
Given the close relations
between quantum Kripke frames and Piron lattices,
between Piron lattices and quantum dynamic frames,
between Piron lattices and irreducible Hilbert geometries,
we can conceive of using quantum Kripke frames:
a representation theorem for quantum dynamic frames,
a representation theorem for irreducible Hilbert geometries.
Shengyang Zhong ([email protected]) On a Connection between Piron Lattices and Kripke Frames
IntroductionQuantum Kripke Frames
Directions for Future Work
Definition and Main ResultRelations with Other StructuresProbabilistic Quantum Kripke Frames
Quantum Kripke Frames and Quantum Dynamic Frames
Proposition
Given a quantum Kripke frame F = (Σ,→), let LF denote{P ⊆ Σ | P = ∼∼P}, and for each P ∈ LF, define
P?→ ⊆ Σ× Σsuch that:
sP?→ t ⇐⇒ s 6∈ ∼P and t = P?(s).
Then (Σ, {P?→}P∈LF) is a quantum dynamic frame.
Proposition
Every quantum dynamic frame is isomorphic to (Σ, {P?→}P∈LF) forsome quantum Kripke frame F = (Σ,→).
Shengyang Zhong ([email protected]) On a Connection between Piron Lattices and Kripke Frames
IntroductionQuantum Kripke Frames
Directions for Future Work
Definition and Main ResultRelations with Other StructuresProbabilistic Quantum Kripke Frames
Hilbert Geometries
Hilbert Geometry
A Hilbert geometry is a tuple (G , l ,⊥), where (G , l) is a projectivegeometry, i.e. G is a non-empty set and l ⊆ G ×G ×G such that:
(G1) l(a, b, a);(G2) if l(a, p, q), l(b, p, q) and p 6= q, then l(a, b, p);(G3) if l(p, a, b) and l(p, c , d), then there exists q ∈ G such that
l(q, a, c) and l(q, b, d);
moreover, ⊥ ⊆ G × G satisfies the following:(O1) if a ⊥ b, then a 6= b;(O2) if a ⊥ b, then b ⊥ a;(O3) if a 6= b, a ⊥ p, b ⊥ p and l(c , a, b), then c ⊥ p;(O4) if a 6= b, then there is q ∈ G such that l(q, a, b) and q ⊥ a;(O5) if S ⊆ G is a subspace such that S⊥⊥ = S , then S ∨ S⊥ = G .
This is Definition 51 on page 499 of [Stubbe and van Steirteghem, 2007].
Shengyang Zhong ([email protected]) On a Connection between Piron Lattices and Kripke Frames
IntroductionQuantum Kripke Frames
Directions for Future Work
Definition and Main ResultRelations with Other StructuresProbabilistic Quantum Kripke Frames
Quantum Kripke Frames and Irreducible Hilbert Geometries
Proposition
Let F = (Σ,→) be a quantum Kripke frame. Define a relationlF ⊆ Σ× Σ× Σ such that for any u, v ,w ∈ Σ, (u, v ,w) ∈ lF, ifand only if one of the following holds:
v = w ;
s → u implies that s → v or s → w , for every s ∈ Σ.Then (Σ, lF, 6→) is an irreducible Hilbert geometry.
Proposition
Every irreducible Hilbert geometry (G , l ,⊥) is isomorphic to(Σ, lF, 6→) for some quantum Kripke frame F = (Σ,→).
Shengyang Zhong ([email protected]) On a Connection between Piron Lattices and Kripke Frames
IntroductionQuantum Kripke Frames
Directions for Future Work
Definition and Main ResultRelations with Other StructuresProbabilistic Quantum Kripke Frames
Quantum Kripke Frames and Classical Frames
Definition (Classical Frame)
A classical frame F is a Kripke frame (Σ,→) in which → is theidentity relation, i.e. → = {(s, t) ∈ Σ× Σ | s = t}.
Bi-orthogonally closed subsets of a classical frame form a Booleanlattice.
Proposition
Let F = (Σ,→) be a Kripke frame satisfying conditions (i) to (iii)in the definition of quantum Kripke frames but not condition (iv),i.e. superposition. Then
F is a quantum Kripke frame, iff superposition holds;F is a classical frame, iff → is transitive.
Moreover, if Σ has at least 2 elements, then superposition andtransitivity of → can not hold simultaneously.
Shengyang Zhong ([email protected]) On a Connection between Piron Lattices and Kripke Frames
IntroductionQuantum Kripke Frames
Directions for Future Work
Definition and Main ResultRelations with Other StructuresProbabilistic Quantum Kripke Frames
Quantum Kripke Frames and Classical Frames
Definition (Classical Frame)
A classical frame F is a Kripke frame (Σ,→) in which → is theidentity relation, i.e. → = {(s, t) ∈ Σ× Σ | s = t}.
Bi-orthogonally closed subsets of a classical frame form a Booleanlattice.
Proposition
Let F = (Σ,→) be a Kripke frame satisfying conditions (i) to (iii)in the definition of quantum Kripke frames but not condition (iv),i.e. superposition. Then
F is a quantum Kripke frame, iff superposition holds;F is a classical frame, iff → is transitive.
Moreover, if Σ has at least 2 elements, then superposition andtransitivity of → can not hold simultaneously.
Shengyang Zhong ([email protected]) On a Connection between Piron Lattices and Kripke Frames
IntroductionQuantum Kripke Frames
Directions for Future Work
Definition and Main ResultRelations with Other StructuresProbabilistic Quantum Kripke Frames
Outline
1 Introduction
2 Quantum Kripke FramesDefinition and Main ResultRelations with Other StructuresProbabilistic Quantum Kripke Frames
3 Directions for Future Work
Shengyang Zhong ([email protected]) On a Connection between Piron Lattices and Kripke Frames
IntroductionQuantum Kripke Frames
Directions for Future Work
Definition and Main ResultRelations with Other StructuresProbabilistic Quantum Kripke Frames
Minimal Requirement of Probabilistic QKFs
A probabilistic quantum Kripke frame should consist of aquantum Kripke frame F = (Σ,→) and a functionρ : Σ× Σ→ [0, 1].Given such a pair and s ∈ Σ, define µs : LF → [0, 1] such that
µs(P) =
{0 if s ∈ ∼P,ρ(s,P?(s)) otherwise.
Minimal Requirement of Probabilistic Quantum Kripke Frames
For every s ∈ Σ, µs defined in the above way is a quantumprobability measure on the Piron lattice (LF,⊆,∼(·)).
Shengyang Zhong ([email protected]) On a Connection between Piron Lattices and Kripke Frames
IntroductionQuantum Kripke Frames
Directions for Future Work
Definition and Main ResultRelations with Other StructuresProbabilistic Quantum Kripke Frames
Quantum Probability Measure
Quantum Probability Measure
A quantum probability measure is a function p from a Piron latticeL = (L,≤, (·)′) to [0, 1] such that:
p(I ) = 1;∑i∈A p(bi ) exists and is equal to p(
∨i∈A bi ),
for every {bi | i ∈ A} ⊆ L with A at most countable andbi ≤ b′j when i 6= j .p(b) = p(c) = 0 implies that p(b ∨ c) = 0, for every b, c ∈ L.
This definition is adapted from Definition (4.38) on page 82 of
[Piron, 1976].
Shengyang Zhong ([email protected]) On a Connection between Piron Lattices and Kripke Frames
IntroductionQuantum Kripke Frames
Directions for Future Work
Definition and Main ResultRelations with Other StructuresProbabilistic Quantum Kripke Frames
Probabilistic Quantum Kripke Frames
Probabilistic Quantum Kripke Frame
A probabilistic quantum Kripke frame FP is a tuple (F, ρ), whereF = (Σ,→) is a quantum Kripke frame and ρ is a function fromΣ× Σ to [0, 1] satisfying the following:
1 ρ(s, t) = ρ(t, s);2 ρ(s, t) = 0, if and only if (s, t) 6∈ →;3 if {ti | i ∈ I} ⊆ Σ satisfies that I is at most countable and
ti ⊥ tj whenever i 6= j , then∑
i∈I ρ(s, ti ) ≤ 1;and equality holds if and only if s ∈ ∼∼
⋃{ti | i ∈ I};
4 if P ∈ LF, s 6∈ ∼P and t ∈ P, thenρ(s, t) = ρ(s,P?(s)) · ρ(P?(s), t).
Proposition
This definition satisfies the minimal requirement.
Shengyang Zhong ([email protected]) On a Connection between Piron Lattices and Kripke Frames
IntroductionQuantum Kripke Frames
Directions for Future Work
Outline
1 Introduction
2 Quantum Kripke FramesDefinition and Main ResultRelations with Other StructuresProbabilistic Quantum Kripke Frames
3 Directions for Future Work
Shengyang Zhong ([email protected]) On a Connection between Piron Lattices and Kripke Frames
IntroductionQuantum Kripke Frames
Directions for Future Work
Simplifying the Definition of Quantum Kripke Frames
Condition (ii), i.e. existence of good approximation, lookscomplicated, because it involves quantification over subsets ofΣ.
Theorem in [Goldblatt, 1984]
There is no first-order formula ϕ in the language with one binaryrelation symbol such that, for any pre-Hilbert space P, thefollowing are equivalent:
(P,⊥) |= ϕ;
orthomodularity holds in the lattice of orthoclosed subspaces of P.
It’s interesting to see whether condition (ii) can be simplifiedunder some specific constraints, e.g. those on ‘dimension’.
Shengyang Zhong ([email protected]) On a Connection between Piron Lattices and Kripke Frames
IntroductionQuantum Kripke Frames
Directions for Future Work
Axiomatizing Quantum Kripke Frames
Kripke frames with various properties are often described bythe modal propositional language with one unary modality �.
Try to find a proof system in this language, which is soundand complete w.r.t. the class of quantum Kripke frames.
This logic will have classical negation ¬ and orthocomplement(quantum negation) ∼ can be defined as �¬.One of the challenges is that conditions (ii) and (iii) involvesaying that a state can not access another state, which is acharacteristic feature of undefinable properties of modallanguage.
Shengyang Zhong ([email protected]) On a Connection between Piron Lattices and Kripke Frames
IntroductionQuantum Kripke Frames
Directions for Future Work
More Work on Probabilistic Quantum Kripke Frames
Characterize quantum Kripke frames that are induced byHilbert spaces with some conditions involving probability.
Capture the notions of quantum probability measure andmixed states in this framework.
Shengyang Zhong ([email protected]) On a Connection between Piron Lattices and Kripke Frames
IntroductionQuantum Kripke Frames
Directions for Future Work
Baltag, A. and Smets, S. (2005).
Complete Axiomatizations for Quantum Actions.International Journal of Theoretical Physics, 44(12):2267–2282.
Goldblatt, R. (1974).
Semantics Analysis of Orthologic.Journal of Philosophical Logic, 3:19–35.
Goldblatt, R. (1984).
Orthomodularity Is Not Elementary.Journal of Symbolic Logic, 49:401–404.
Mayet, R. (1998).
Some Characterizations of the Underlying Division Ring of a Hilbert Lattice by Automorphisms .International Journal of Theoretical Physics, 37:109 – 114.
Moore, D. (1995).
Categories of Representations of Physical Systems.Helv Phys Acta, 68:658 – 678.
Piron, C. (1976).
Foundations of Quantum Physics.W.A. Benjamin Inc.
Solèr, M. (1995).
Characterization of Hilbert Spaces with Orthomodularity Spaces .Communications in Algebra, 23:219 – 243.
Stubbe, I. and van Steirteghem, B. (2007).
Propositional Systems, Hilbert Lattices and Generalized Hilbert Spaces.In Engesser, K., Gabbay, D. M., and Lehmann, D., editors, Handbook of Quantum Logic and QuantumStructures: Quantum Structures, pages 477–523. Elsevier B.V.
Shengyang Zhong ([email protected]) On a Connection between Piron Lattices and Kripke Frames
IntroductionQuantum Kripke Frames
Directions for Future Work
Thank you very much!
Shengyang Zhong ([email protected]) On a Connection between Piron Lattices and Kripke Frames
IntroductionQuantum Kripke FramesDefinition and Main ResultRelations with Other StructuresProbabilistic Quantum Kripke Frames
Directions for Future Work