Interpretation and informational aspects of non ...€¦ · Boolean algebras are examples of...

116
Interpretation and informational aspects of non-Kolmogorovian probability theory Federico Holik Purdue Winer Memorial Lectures 2018 11-10-2018 Federico Holik (IFLP-CONICET) Interpretation and informational aspects of non-Kolmogorovian probability theory Purdue Winer Memorial Lectures 201811-10-2018

Transcript of Interpretation and informational aspects of non ...€¦ · Boolean algebras are examples of...

Page 1: Interpretation and informational aspects of non ...€¦ · Boolean algebras are examples of lattices. A lattice is a partially ordered set: P Q (not totally ordered). For any pair

Interpretation and informational aspects ofnon-Kolmogorovian probability theory

Federico Holik

Purdue Winer Memorial Lectures 201811-10-2018

Federico Holik (IFLP-CONICET) Interpretation and informational aspects of non-Kolmogorovian probability theoryPurdue Winer Memorial Lectures 201811-10-2018 1 / 62

Page 2: Interpretation and informational aspects of non ...€¦ · Boolean algebras are examples of lattices. A lattice is a partially ordered set: P Q (not totally ordered). For any pair

Outline

1 Why generalized theories?

2 Mathematical framework and the problem of interpretation

3 Informational aspects

4 Conclusions

Federico Holik (IFLP-CONICET) Interpretation and informational aspects of non-Kolmogorovian probability theoryPurdue Winer Memorial Lectures 201811-10-2018 2 / 62

Page 3: Interpretation and informational aspects of non ...€¦ · Boolean algebras are examples of lattices. A lattice is a partially ordered set: P Q (not totally ordered). For any pair

Outline

1 Why generalized theories?

2 Mathematical framework and the problem of interpretation

3 Informational aspects

4 Conclusions

Federico Holik (IFLP-CONICET) Interpretation and informational aspects of non-Kolmogorovian probability theoryPurdue Winer Memorial Lectures 201811-10-2018 3 / 62

Page 4: Interpretation and informational aspects of non ...€¦ · Boolean algebras are examples of lattices. A lattice is a partially ordered set: P Q (not totally ordered). For any pair

Why looking beyond standard QM?

To understand better what we already know: compare QM with otheralternative theories.

As a fabric of new physical theories: the quest for axioms, principles andcandidates formalisms for quantum gravity and rigorous formulations ofQFT.

To find applications of non-Kolmogorovian probability theory outsidethe standard quantum domain: cognition, social sciences, etc.

Federico Holik (IFLP-CONICET) Interpretation and informational aspects of non-Kolmogorovian probability theoryPurdue Winer Memorial Lectures 201811-10-2018 4 / 62

Page 5: Interpretation and informational aspects of non ...€¦ · Boolean algebras are examples of lattices. A lattice is a partially ordered set: P Q (not totally ordered). For any pair

Why looking beyond standard QM?

To understand better what we already know: compare QM with otheralternative theories.

As a fabric of new physical theories: the quest for axioms, principles andcandidates formalisms for quantum gravity and rigorous formulations ofQFT.

To find applications of non-Kolmogorovian probability theory outsidethe standard quantum domain: cognition, social sciences, etc.

Federico Holik (IFLP-CONICET) Interpretation and informational aspects of non-Kolmogorovian probability theoryPurdue Winer Memorial Lectures 201811-10-2018 4 / 62

Page 6: Interpretation and informational aspects of non ...€¦ · Boolean algebras are examples of lattices. A lattice is a partially ordered set: P Q (not totally ordered). For any pair

Why looking beyond standard QM?

To understand better what we already know: compare QM with otheralternative theories.

As a fabric of new physical theories: the quest for axioms, principles andcandidates formalisms for quantum gravity and rigorous formulations ofQFT.

To find applications of non-Kolmogorovian probability theory outsidethe standard quantum domain: cognition, social sciences, etc.

Federico Holik (IFLP-CONICET) Interpretation and informational aspects of non-Kolmogorovian probability theoryPurdue Winer Memorial Lectures 201811-10-2018 4 / 62

Page 7: Interpretation and informational aspects of non ...€¦ · Boolean algebras are examples of lattices. A lattice is a partially ordered set: P Q (not totally ordered). For any pair

Kolmogorov’s axioms

Probility measures

µ : Σ→ [0, 1] (1)

such that:

1 µ(∅) = 0

2 µ(Ac) = 1− µ(A)

3 For any denumerable family of pairwise disjoint sets Aii∈I

µ(⋃i∈I

Ai) =∑

i

µ(Ai)

Classical caseσ : Γ −→ [0; 1], such that

∫Γ σ(p, q)d3pd3q = 1.

〈F〉 =∫

Γ F(p, q)σ(p, q)d3pd3q

Federico Holik (IFLP-CONICET) Interpretation and informational aspects of non-Kolmogorovian probability theoryPurdue Winer Memorial Lectures 201811-10-2018 5 / 62

Page 8: Interpretation and informational aspects of non ...€¦ · Boolean algebras are examples of lattices. A lattice is a partially ordered set: P Q (not totally ordered). For any pair

Boolean algebra

Figure: Hasse diagrams for B2 and B3

B2

1 2

1, 2

B3

1 2 3

2, 3 1, 3 1, 2

1, 2, 3

Federico Holik (IFLP-CONICET) Interpretation and informational aspects of non-Kolmogorovian probability theoryPurdue Winer Memorial Lectures 201811-10-2018 6 / 62

Page 9: Interpretation and informational aspects of non ...€¦ · Boolean algebras are examples of lattices. A lattice is a partially ordered set: P Q (not totally ordered). For any pair

Boolean algebra

Boolean algebras are examples of lattices.

A lattice is a partially ordered set: P ≤ Q (not totally ordered).

For any pair of elements P,Q there exists an infimum P ∧ Q and asupremum P ∨ Q.

Boolean algebras also have an orthocomplementation: ¬P.

Boolean algebras are distributive: P ∧ (Q ∨ ¬Q) = (P ∧ Q) ∨ (P ∧ ¬Q).

Boolean algebras are particular cases of orthomodular lattices. Thesesatisfy the weaker condition: P ≤ Q =⇒ Q = P ∨ (Q ∧ ¬P).

Federico Holik (IFLP-CONICET) Interpretation and informational aspects of non-Kolmogorovian probability theoryPurdue Winer Memorial Lectures 201811-10-2018 7 / 62

Page 10: Interpretation and informational aspects of non ...€¦ · Boolean algebras are examples of lattices. A lattice is a partially ordered set: P Q (not totally ordered). For any pair

Boolean algebra

Boolean algebras are examples of lattices.

A lattice is a partially ordered set: P ≤ Q (not totally ordered).

For any pair of elements P,Q there exists an infimum P ∧ Q and asupremum P ∨ Q.

Boolean algebras also have an orthocomplementation: ¬P.

Boolean algebras are distributive: P ∧ (Q ∨ ¬Q) = (P ∧ Q) ∨ (P ∧ ¬Q).

Boolean algebras are particular cases of orthomodular lattices. Thesesatisfy the weaker condition: P ≤ Q =⇒ Q = P ∨ (Q ∧ ¬P).

Federico Holik (IFLP-CONICET) Interpretation and informational aspects of non-Kolmogorovian probability theoryPurdue Winer Memorial Lectures 201811-10-2018 7 / 62

Page 11: Interpretation and informational aspects of non ...€¦ · Boolean algebras are examples of lattices. A lattice is a partially ordered set: P Q (not totally ordered). For any pair

Boolean algebra

Boolean algebras are examples of lattices.

A lattice is a partially ordered set: P ≤ Q (not totally ordered).

For any pair of elements P,Q there exists an infimum P ∧ Q and asupremum P ∨ Q.

Boolean algebras also have an orthocomplementation: ¬P.

Boolean algebras are distributive: P ∧ (Q ∨ ¬Q) = (P ∧ Q) ∨ (P ∧ ¬Q).

Boolean algebras are particular cases of orthomodular lattices. Thesesatisfy the weaker condition: P ≤ Q =⇒ Q = P ∨ (Q ∧ ¬P).

Federico Holik (IFLP-CONICET) Interpretation and informational aspects of non-Kolmogorovian probability theoryPurdue Winer Memorial Lectures 201811-10-2018 7 / 62

Page 12: Interpretation and informational aspects of non ...€¦ · Boolean algebras are examples of lattices. A lattice is a partially ordered set: P Q (not totally ordered). For any pair

Boolean algebra

Boolean algebras are examples of lattices.

A lattice is a partially ordered set: P ≤ Q (not totally ordered).

For any pair of elements P,Q there exists an infimum P ∧ Q and asupremum P ∨ Q.

Boolean algebras also have an orthocomplementation: ¬P.

Boolean algebras are distributive: P ∧ (Q ∨ ¬Q) = (P ∧ Q) ∨ (P ∧ ¬Q).

Boolean algebras are particular cases of orthomodular lattices. Thesesatisfy the weaker condition: P ≤ Q =⇒ Q = P ∨ (Q ∧ ¬P).

Federico Holik (IFLP-CONICET) Interpretation and informational aspects of non-Kolmogorovian probability theoryPurdue Winer Memorial Lectures 201811-10-2018 7 / 62

Page 13: Interpretation and informational aspects of non ...€¦ · Boolean algebras are examples of lattices. A lattice is a partially ordered set: P Q (not totally ordered). For any pair

Boolean algebra

Boolean algebras are examples of lattices.

A lattice is a partially ordered set: P ≤ Q (not totally ordered).

For any pair of elements P,Q there exists an infimum P ∧ Q and asupremum P ∨ Q.

Boolean algebras also have an orthocomplementation: ¬P.

Boolean algebras are distributive: P ∧ (Q ∨ ¬Q) = (P ∧ Q) ∨ (P ∧ ¬Q).

Boolean algebras are particular cases of orthomodular lattices. Thesesatisfy the weaker condition: P ≤ Q =⇒ Q = P ∨ (Q ∧ ¬P).

Federico Holik (IFLP-CONICET) Interpretation and informational aspects of non-Kolmogorovian probability theoryPurdue Winer Memorial Lectures 201811-10-2018 7 / 62

Page 14: Interpretation and informational aspects of non ...€¦ · Boolean algebras are examples of lattices. A lattice is a partially ordered set: P Q (not totally ordered). For any pair

Kolmogorov axioms

States of classical statistical theories can be considered asKolmogorovian measures.

Observables are random variables.

Notice that the axiomatic formulation of classical information theoryrests (from a logical point of view) on the notions of probability andrandom variable.

Federico Holik (IFLP-CONICET) Interpretation and informational aspects of non-Kolmogorovian probability theoryPurdue Winer Memorial Lectures 201811-10-2018 8 / 62

Page 15: Interpretation and informational aspects of non ...€¦ · Boolean algebras are examples of lattices. A lattice is a partially ordered set: P Q (not totally ordered). For any pair

Kolmogorov axioms

States of classical statistical theories can be considered asKolmogorovian measures.

Observables are random variables.

Notice that the axiomatic formulation of classical information theoryrests (from a logical point of view) on the notions of probability andrandom variable.

Federico Holik (IFLP-CONICET) Interpretation and informational aspects of non-Kolmogorovian probability theoryPurdue Winer Memorial Lectures 201811-10-2018 8 / 62

Page 16: Interpretation and informational aspects of non ...€¦ · Boolean algebras are examples of lattices. A lattice is a partially ordered set: P Q (not totally ordered). For any pair

Kolmogorov axioms

States of classical statistical theories can be considered asKolmogorovian measures.

Observables are random variables.

Notice that the axiomatic formulation of classical information theoryrests (from a logical point of view) on the notions of probability andrandom variable.

Federico Holik (IFLP-CONICET) Interpretation and informational aspects of non-Kolmogorovian probability theoryPurdue Winer Memorial Lectures 201811-10-2018 8 / 62

Page 17: Interpretation and informational aspects of non ...€¦ · Boolean algebras are examples of lattices. A lattice is a partially ordered set: P Q (not totally ordered). For any pair

Quantum probability (Born’s rule)

Probability measures

s : LvN −→ [0; 1] (2)

such that:

1 s(0) = 0 (0 is the null subspace).

2 s(P⊥) = 1− s(P)

3 For any denumerable family of pairwise orthogonal projectors we have(Pj), s(

∑j Pj) =

∑j s(Pj)

Teorema (Gleason)

sρ(P) = tr(ρP) (3)

Federico Holik (IFLP-CONICET) Interpretation and informational aspects of non-Kolmogorovian probability theoryPurdue Winer Memorial Lectures 201811-10-2018 9 / 62

Page 18: Interpretation and informational aspects of non ...€¦ · Boolean algebras are examples of lattices. A lattice is a partially ordered set: P Q (not totally ordered). For any pair

Quantum probability (Born’s rule)

Probability measures

s : LvN −→ [0; 1] (2)

such that:

1 s(0) = 0 (0 is the null subspace).

2 s(P⊥) = 1− s(P)

3 For any denumerable family of pairwise orthogonal projectors we have(Pj), s(

∑j Pj) =

∑j s(Pj)

Teorema (Gleason)Gleason’s theorem grants that there exists a density operator for the abovemeasures (for dim(H) ≥ 3).

Federico Holik (IFLP-CONICET) Interpretation and informational aspects of non-Kolmogorovian probability theoryPurdue Winer Memorial Lectures 201811-10-2018 9 / 62

Page 19: Interpretation and informational aspects of non ...€¦ · Boolean algebras are examples of lattices. A lattice is a partially ordered set: P Q (not totally ordered). For any pair

Lattice of projection operators acting on a Hilbert space

LvN is an orthomodular lattice.

LvN is not distributive: P ∧ (Q ∨ ¬Q) = (P ∧ Q) ∨ (P ∧ ¬Q)

Federico Holik (IFLP-CONICET) Interpretation and informational aspects of non-Kolmogorovian probability theoryPurdue Winer Memorial Lectures 201811-10-2018 10 / 62

Page 20: Interpretation and informational aspects of non ...€¦ · Boolean algebras are examples of lattices. A lattice is a partially ordered set: P Q (not totally ordered). For any pair

Lattice of projection operators acting on a Hilbert space

LvN is an orthomodular lattice.

LvN is not distributive: P ∧ (Q ∨ ¬Q) = (P ∧ Q) ∨ (P ∧ ¬Q)

Federico Holik (IFLP-CONICET) Interpretation and informational aspects of non-Kolmogorovian probability theoryPurdue Winer Memorial Lectures 201811-10-2018 10 / 62

Page 21: Interpretation and informational aspects of non ...€¦ · Boolean algebras are examples of lattices. A lattice is a partially ordered set: P Q (not totally ordered). For any pair

Examples: Q-bit

QbitNotice that whenH is finite dimensional, its maximal Booleansubalgebras will be finite.

P(C2) =⇒ 0,P,¬P⊥, 1C2 with P = |ϕ〉〈ϕ| for some unit norm vector|ϕ〉 and P⊥ = |ϕ⊥〉〈ϕ⊥|.

Federico Holik (IFLP-CONICET) Interpretation and informational aspects of non-Kolmogorovian probability theoryPurdue Winer Memorial Lectures 201811-10-2018 11 / 62

Page 22: Interpretation and informational aspects of non ...€¦ · Boolean algebras are examples of lattices. A lattice is a partially ordered set: P Q (not totally ordered). For any pair

Examples: Q-bit

QbitNotice that whenH is finite dimensional, its maximal Booleansubalgebras will be finite.

P(C2) =⇒ 0,P,¬P⊥, 1C2 with P = |ϕ〉〈ϕ| for some unit norm vector|ϕ〉 and P⊥ = |ϕ⊥〉〈ϕ⊥|.

Federico Holik (IFLP-CONICET) Interpretation and informational aspects of non-Kolmogorovian probability theoryPurdue Winer Memorial Lectures 201811-10-2018 11 / 62

Page 23: Interpretation and informational aspects of non ...€¦ · Boolean algebras are examples of lattices. A lattice is a partially ordered set: P Q (not totally ordered). For any pair

Skeleton of a qbit

P(C2)

1

. . .¬p¬q. . .pq. . .

0

Federico Holik (IFLP-CONICET) Interpretation and informational aspects of non-Kolmogorovian probability theoryPurdue Winer Memorial Lectures 201811-10-2018 12 / 62

Page 24: Interpretation and informational aspects of non ...€¦ · Boolean algebras are examples of lattices. A lattice is a partially ordered set: P Q (not totally ordered). For any pair

Examples: Q-trit

Qtrit-contextuality

P(C3) =⇒P(a, b, c) = ∅, a, b, c, a, b, a, c, b, c, a, b, cGiven |ϕ1〉, |ϕ2〉 and |ϕ3〉 =⇒

0,P1,P2,P3,P12,P13,P23, 1C3

Pi = |ϕi〉〈ϕi| (i = 1, 2, 3) and Pij := |ϕi〉〈ϕi|+ |ϕj〉〈ϕj| (i, j = 1, 2, 3).

Federico Holik (IFLP-CONICET) Interpretation and informational aspects of non-Kolmogorovian probability theoryPurdue Winer Memorial Lectures 201811-10-2018 13 / 62

Page 25: Interpretation and informational aspects of non ...€¦ · Boolean algebras are examples of lattices. A lattice is a partially ordered set: P Q (not totally ordered). For any pair

Examples: Q-trit

Qtrit-contextuality

P(C3) =⇒P(a, b, c) = ∅, a, b, c, a, b, a, c, b, c, a, b, cGiven |ϕ1〉, |ϕ2〉 and |ϕ3〉 =⇒

0,P1,P2,P3,P12,P13,P23, 1C3

Pi = |ϕi〉〈ϕi| (i = 1, 2, 3) and Pij := |ϕi〉〈ϕi|+ |ϕj〉〈ϕj| (i, j = 1, 2, 3).

Federico Holik (IFLP-CONICET) Interpretation and informational aspects of non-Kolmogorovian probability theoryPurdue Winer Memorial Lectures 201811-10-2018 13 / 62

Page 26: Interpretation and informational aspects of non ...€¦ · Boolean algebras are examples of lattices. A lattice is a partially ordered set: P Q (not totally ordered). For any pair

Qtrit Boolean subalgebras:

Figure: Maximal Boolean subalgebras of C3

B3

1 2 3

2, 3 1, 3 1, 2

1, 2, 3

B3

P1 P2 P3

P23 P13 P12

1C3

Federico Holik (IFLP-CONICET) Interpretation and informational aspects of non-Kolmogorovian probability theoryPurdue Winer Memorial Lectures 201811-10-2018 14 / 62

Page 27: Interpretation and informational aspects of non ...€¦ · Boolean algebras are examples of lattices. A lattice is a partially ordered set: P Q (not totally ordered). For any pair

Figure: Skeleton of C3

P(C3)

· · · · · ·· · · · · ·

P1 P2 P3

P23 P13 P12

1C3

Federico Holik (IFLP-CONICET) Interpretation and informational aspects of non-Kolmogorovian probability theoryPurdue Winer Memorial Lectures 201811-10-2018 15 / 62

Page 28: Interpretation and informational aspects of non ...€¦ · Boolean algebras are examples of lattices. A lattice is a partially ordered set: P Q (not totally ordered). For any pair

Outline

1 Why generalized theories?

2 Mathematical framework and the problem of interpretation

3 Informational aspects

4 Conclusions

Federico Holik (IFLP-CONICET) Interpretation and informational aspects of non-Kolmogorovian probability theoryPurdue Winer Memorial Lectures 201811-10-2018 16 / 62

Page 29: Interpretation and informational aspects of non ...€¦ · Boolean algebras are examples of lattices. A lattice is a partially ordered set: P Q (not totally ordered). For any pair

Observations

ObservationsWe have an empirically successful example of a theory (QM) whosestructure of events is non-Boolean.

We know examples of physically meaningful probabilistic theorieswhich are not quantum, nor classical either.

In physics: why expecting that standard QM is the end of the story?

People applies the QM formalism outside of the QM domain... whythinking that QM is the best option?

Federico Holik (IFLP-CONICET) Interpretation and informational aspects of non-Kolmogorovian probability theoryPurdue Winer Memorial Lectures 201811-10-2018 17 / 62

Page 30: Interpretation and informational aspects of non ...€¦ · Boolean algebras are examples of lattices. A lattice is a partially ordered set: P Q (not totally ordered). For any pair

Observations

ObservationsWe have an empirically successful example of a theory (QM) whosestructure of events is non-Boolean.

We know examples of physically meaningful probabilistic theorieswhich are not quantum, nor classical either.

In physics: why expecting that standard QM is the end of the story?

People applies the QM formalism outside of the QM domain... whythinking that QM is the best option?

Federico Holik (IFLP-CONICET) Interpretation and informational aspects of non-Kolmogorovian probability theoryPurdue Winer Memorial Lectures 201811-10-2018 17 / 62

Page 31: Interpretation and informational aspects of non ...€¦ · Boolean algebras are examples of lattices. A lattice is a partially ordered set: P Q (not totally ordered). For any pair

Observations

ObservationsWe have an empirically successful example of a theory (QM) whosestructure of events is non-Boolean.

We know examples of physically meaningful probabilistic theorieswhich are not quantum, nor classical either.

In physics: why expecting that standard QM is the end of the story?

People applies the QM formalism outside of the QM domain... whythinking that QM is the best option?

Federico Holik (IFLP-CONICET) Interpretation and informational aspects of non-Kolmogorovian probability theoryPurdue Winer Memorial Lectures 201811-10-2018 17 / 62

Page 32: Interpretation and informational aspects of non ...€¦ · Boolean algebras are examples of lattices. A lattice is a partially ordered set: P Q (not totally ordered). For any pair

Observations

ObservationsWe have an empirically successful example of a theory (QM) whosestructure of events is non-Boolean.

We know examples of physically meaningful probabilistic theorieswhich are not quantum, nor classical either.

In physics: why expecting that standard QM is the end of the story?

People applies the QM formalism outside of the QM domain... whythinking that QM is the best option?

Federico Holik (IFLP-CONICET) Interpretation and informational aspects of non-Kolmogorovian probability theoryPurdue Winer Memorial Lectures 201811-10-2018 17 / 62

Page 33: Interpretation and informational aspects of non ...€¦ · Boolean algebras are examples of lattices. A lattice is a partially ordered set: P Q (not totally ordered). For any pair

Quantum Probabilistic Models

The idea of comparing QM with other theories dates back to vonNeumann.Birkhoff and von Neumann compared standard QM with classicalprobability theory and searched for possible replacements of the Hilbertspace formalism.This path was followed by many others afterwards: Ludwig, Mackey,Piron, Mielnik, etc.By appealing to lattice theory, B and VN developed the axiomaticframework of a generalization of the projective geometry associated tothe Hilbert space. The generalization included the notion of continuousgeometries.A somewhat curious historical remark: the axiomatization of quantumprobability (i.e, the first non-Kolmogorovian probabilistic calculus) datesback to the late 20’s and it reaches its full form in the 1932 vonNeumann’s masterpiece. It almost simultaneous to the one worksKolmogorov (1933) for the axiomatization of classical probability basedon measure theory.

Federico Holik (IFLP-CONICET) Interpretation and informational aspects of non-Kolmogorovian probability theoryPurdue Winer Memorial Lectures 201811-10-2018 18 / 62

Page 34: Interpretation and informational aspects of non ...€¦ · Boolean algebras are examples of lattices. A lattice is a partially ordered set: P Q (not totally ordered). For any pair

Quantum Probabilistic Models

The idea of comparing QM with other theories dates back to vonNeumann.Birkhoff and von Neumann compared standard QM with classicalprobability theory and searched for possible replacements of the Hilbertspace formalism.This path was followed by many others afterwards: Ludwig, Mackey,Piron, Mielnik, etc.By appealing to lattice theory, B and VN developed the axiomaticframework of a generalization of the projective geometry associated tothe Hilbert space. The generalization included the notion of continuousgeometries.A somewhat curious historical remark: the axiomatization of quantumprobability (i.e, the first non-Kolmogorovian probabilistic calculus) datesback to the late 20’s and it reaches its full form in the 1932 vonNeumann’s masterpiece. It almost simultaneous to the one worksKolmogorov (1933) for the axiomatization of classical probability basedon measure theory.

Federico Holik (IFLP-CONICET) Interpretation and informational aspects of non-Kolmogorovian probability theoryPurdue Winer Memorial Lectures 201811-10-2018 18 / 62

Page 35: Interpretation and informational aspects of non ...€¦ · Boolean algebras are examples of lattices. A lattice is a partially ordered set: P Q (not totally ordered). For any pair

Quantum Probabilistic Models

The idea of comparing QM with other theories dates back to vonNeumann.Birkhoff and von Neumann compared standard QM with classicalprobability theory and searched for possible replacements of the Hilbertspace formalism.This path was followed by many others afterwards: Ludwig, Mackey,Piron, Mielnik, etc.By appealing to lattice theory, B and VN developed the axiomaticframework of a generalization of the projective geometry associated tothe Hilbert space. The generalization included the notion of continuousgeometries.A somewhat curious historical remark: the axiomatization of quantumprobability (i.e, the first non-Kolmogorovian probabilistic calculus) datesback to the late 20’s and it reaches its full form in the 1932 vonNeumann’s masterpiece. It almost simultaneous to the one worksKolmogorov (1933) for the axiomatization of classical probability basedon measure theory.

Federico Holik (IFLP-CONICET) Interpretation and informational aspects of non-Kolmogorovian probability theoryPurdue Winer Memorial Lectures 201811-10-2018 18 / 62

Page 36: Interpretation and informational aspects of non ...€¦ · Boolean algebras are examples of lattices. A lattice is a partially ordered set: P Q (not totally ordered). For any pair

Quantum Probabilistic Models

The idea of comparing QM with other theories dates back to vonNeumann.Birkhoff and von Neumann compared standard QM with classicalprobability theory and searched for possible replacements of the Hilbertspace formalism.This path was followed by many others afterwards: Ludwig, Mackey,Piron, Mielnik, etc.By appealing to lattice theory, B and VN developed the axiomaticframework of a generalization of the projective geometry associated tothe Hilbert space. The generalization included the notion of continuousgeometries.A somewhat curious historical remark: the axiomatization of quantumprobability (i.e, the first non-Kolmogorovian probabilistic calculus) datesback to the late 20’s and it reaches its full form in the 1932 vonNeumann’s masterpiece. It almost simultaneous to the one worksKolmogorov (1933) for the axiomatization of classical probability basedon measure theory.

Federico Holik (IFLP-CONICET) Interpretation and informational aspects of non-Kolmogorovian probability theoryPurdue Winer Memorial Lectures 201811-10-2018 18 / 62

Page 37: Interpretation and informational aspects of non ...€¦ · Boolean algebras are examples of lattices. A lattice is a partially ordered set: P Q (not totally ordered). For any pair

Quantum Probabilistic Models

The idea of comparing QM with other theories dates back to vonNeumann.Birkhoff and von Neumann compared standard QM with classicalprobability theory and searched for possible replacements of the Hilbertspace formalism.This path was followed by many others afterwards: Ludwig, Mackey,Piron, Mielnik, etc.By appealing to lattice theory, B and VN developed the axiomaticframework of a generalization of the projective geometry associated tothe Hilbert space. The generalization included the notion of continuousgeometries.A somewhat curious historical remark: the axiomatization of quantumprobability (i.e, the first non-Kolmogorovian probabilistic calculus) datesback to the late 20’s and it reaches its full form in the 1932 vonNeumann’s masterpiece. It almost simultaneous to the one worksKolmogorov (1933) for the axiomatization of classical probability basedon measure theory.

Federico Holik (IFLP-CONICET) Interpretation and informational aspects of non-Kolmogorovian probability theoryPurdue Winer Memorial Lectures 201811-10-2018 18 / 62

Page 38: Interpretation and informational aspects of non ...€¦ · Boolean algebras are examples of lattices. A lattice is a partially ordered set: P Q (not totally ordered). For any pair

In a sense, von Neumann was looking for a connection between logic,geometry and probability theory:

“In order to have probability all you need is a concept of all angles,I mean, other than 90. Now it is perfectly quite true that in geometry,as soon as you can define the right angle, you can define all angles.Another way to put it is that if you take the case of an orthogonalspace, those mappings of this space on itself, which leave orthogo-nality intact, leaves all angles intact, in other words, in those systemswhich can be used as models of the logical background for quantumtheory, it is true that as soon as all the ordinary concepts of logicare fixed under some isomorphic transformation, all of probabilitytheory is already fixed... This means however, that one has a formalmechanism in which, logics and probability theory arise simultane-ously and are derived simultaneously.”

Federico Holik (IFLP-CONICET) Interpretation and informational aspects of non-Kolmogorovian probability theoryPurdue Winer Memorial Lectures 201811-10-2018 19 / 62

Page 39: Interpretation and informational aspects of non ...€¦ · Boolean algebras are examples of lattices. A lattice is a partially ordered set: P Q (not totally ordered). For any pair

Quantum Probabilistic Models

In a series of papers Murray and von Neumann searched for algebrasmore general than B(H).

The new algebras are known today as von Neumann algebras, and theirelementary components can be classified as Type I, Type II and Type IIIfactors.

It can be shown that, the projective elements of a factor form anorthomodular lattice. Classical models can be described as commutativealgebras.

The models of standard quantum mechanics can be described by usingType I factors (Type In for finite dimensional Hilbert spaces and Type I∞for infinite dimensional models). These are algebras isomorphic to theset of bounded operators on a Hilbert space.

Federico Holik (IFLP-CONICET) Interpretation and informational aspects of non-Kolmogorovian probability theoryPurdue Winer Memorial Lectures 201811-10-2018 20 / 62

Page 40: Interpretation and informational aspects of non ...€¦ · Boolean algebras are examples of lattices. A lattice is a partially ordered set: P Q (not totally ordered). For any pair

Quantum Probabilistic Models

In a series of papers Murray and von Neumann searched for algebrasmore general than B(H).

The new algebras are known today as von Neumann algebras, and theirelementary components can be classified as Type I, Type II and Type IIIfactors.

It can be shown that, the projective elements of a factor form anorthomodular lattice. Classical models can be described as commutativealgebras.

The models of standard quantum mechanics can be described by usingType I factors (Type In for finite dimensional Hilbert spaces and Type I∞for infinite dimensional models). These are algebras isomorphic to theset of bounded operators on a Hilbert space.

Federico Holik (IFLP-CONICET) Interpretation and informational aspects of non-Kolmogorovian probability theoryPurdue Winer Memorial Lectures 201811-10-2018 20 / 62

Page 41: Interpretation and informational aspects of non ...€¦ · Boolean algebras are examples of lattices. A lattice is a partially ordered set: P Q (not totally ordered). For any pair

Quantum Probabilistic Models

In a series of papers Murray and von Neumann searched for algebrasmore general than B(H).

The new algebras are known today as von Neumann algebras, and theirelementary components can be classified as Type I, Type II and Type IIIfactors.

It can be shown that, the projective elements of a factor form anorthomodular lattice. Classical models can be described as commutativealgebras.

The models of standard quantum mechanics can be described by usingType I factors (Type In for finite dimensional Hilbert spaces and Type I∞for infinite dimensional models). These are algebras isomorphic to theset of bounded operators on a Hilbert space.

Federico Holik (IFLP-CONICET) Interpretation and informational aspects of non-Kolmogorovian probability theoryPurdue Winer Memorial Lectures 201811-10-2018 20 / 62

Page 42: Interpretation and informational aspects of non ...€¦ · Boolean algebras are examples of lattices. A lattice is a partially ordered set: P Q (not totally ordered). For any pair

Quantum Probabilistic Models

In a series of papers Murray and von Neumann searched for algebrasmore general than B(H).

The new algebras are known today as von Neumann algebras, and theirelementary components can be classified as Type I, Type II and Type IIIfactors.

It can be shown that, the projective elements of a factor form anorthomodular lattice. Classical models can be described as commutativealgebras.

The models of standard quantum mechanics can be described by usingType I factors (Type In for finite dimensional Hilbert spaces and Type I∞for infinite dimensional models). These are algebras isomorphic to theset of bounded operators on a Hilbert space.

Federico Holik (IFLP-CONICET) Interpretation and informational aspects of non-Kolmogorovian probability theoryPurdue Winer Memorial Lectures 201811-10-2018 20 / 62

Page 43: Interpretation and informational aspects of non ...€¦ · Boolean algebras are examples of lattices. A lattice is a partially ordered set: P Q (not totally ordered). For any pair

Quantum Probabilistic Models

Further work revealed that a rigorous approach to the study of quantumsystems with infinitely many degrees of freedom needed the use of moregeneral von Neumann algebras.

This is the case in the axiomatic formulation of relativistic quantummechanics. A similar situation holds in algebraic quantum statisticalmechanics.

Federico Holik (IFLP-CONICET) Interpretation and informational aspects of non-Kolmogorovian probability theoryPurdue Winer Memorial Lectures 201811-10-2018 21 / 62

Page 44: Interpretation and informational aspects of non ...€¦ · Boolean algebras are examples of lattices. A lattice is a partially ordered set: P Q (not totally ordered). For any pair

Quantum Probabilistic Models

Further work revealed that a rigorous approach to the study of quantumsystems with infinitely many degrees of freedom needed the use of moregeneral von Neumann algebras.

This is the case in the axiomatic formulation of relativistic quantummechanics. A similar situation holds in algebraic quantum statisticalmechanics.

Federico Holik (IFLP-CONICET) Interpretation and informational aspects of non-Kolmogorovian probability theoryPurdue Winer Memorial Lectures 201811-10-2018 21 / 62

Page 45: Interpretation and informational aspects of non ...€¦ · Boolean algebras are examples of lattices. A lattice is a partially ordered set: P Q (not totally ordered). For any pair

Facts

Fact 1: states spaces of von Neumann algebras are convex.

Fact 2: states in VN algebras define measures over orthomodular lattices.

Fact 3: they give place to non-equivalent probabilistic models.

Fact 4: The Kochen-Specker (KS) theorem is valid for all factor vonNeumann algebras (Contextuality is quite ubiquitous among a big familyof theories). [A. Doring, International Journal of Theoretical Physics,Vol. 44, No. 2, (2005)].

Federico Holik (IFLP-CONICET) Interpretation and informational aspects of non-Kolmogorovian probability theoryPurdue Winer Memorial Lectures 201811-10-2018 22 / 62

Page 46: Interpretation and informational aspects of non ...€¦ · Boolean algebras are examples of lattices. A lattice is a partially ordered set: P Q (not totally ordered). For any pair

Facts

Fact 1: states spaces of von Neumann algebras are convex.

Fact 2: states in VN algebras define measures over orthomodular lattices.

Fact 3: they give place to non-equivalent probabilistic models.

Fact 4: The Kochen-Specker (KS) theorem is valid for all factor vonNeumann algebras (Contextuality is quite ubiquitous among a big familyof theories). [A. Doring, International Journal of Theoretical Physics,Vol. 44, No. 2, (2005)].

Federico Holik (IFLP-CONICET) Interpretation and informational aspects of non-Kolmogorovian probability theoryPurdue Winer Memorial Lectures 201811-10-2018 22 / 62

Page 47: Interpretation and informational aspects of non ...€¦ · Boolean algebras are examples of lattices. A lattice is a partially ordered set: P Q (not totally ordered). For any pair

Facts

Fact 1: states spaces of von Neumann algebras are convex.

Fact 2: states in VN algebras define measures over orthomodular lattices.

Fact 3: they give place to non-equivalent probabilistic models.

Fact 4: The Kochen-Specker (KS) theorem is valid for all factor vonNeumann algebras (Contextuality is quite ubiquitous among a big familyof theories). [A. Doring, International Journal of Theoretical Physics,Vol. 44, No. 2, (2005)].

Federico Holik (IFLP-CONICET) Interpretation and informational aspects of non-Kolmogorovian probability theoryPurdue Winer Memorial Lectures 201811-10-2018 22 / 62

Page 48: Interpretation and informational aspects of non ...€¦ · Boolean algebras are examples of lattices. A lattice is a partially ordered set: P Q (not totally ordered). For any pair

Facts

Fact 1: states spaces of von Neumann algebras are convex.

Fact 2: states in VN algebras define measures over orthomodular lattices.

Fact 3: they give place to non-equivalent probabilistic models.

Fact 4: The Kochen-Specker (KS) theorem is valid for all factor vonNeumann algebras (Contextuality is quite ubiquitous among a big familyof theories). [A. Doring, International Journal of Theoretical Physics,Vol. 44, No. 2, (2005)].

Federico Holik (IFLP-CONICET) Interpretation and informational aspects of non-Kolmogorovian probability theoryPurdue Winer Memorial Lectures 201811-10-2018 22 / 62

Page 49: Interpretation and informational aspects of non ...€¦ · Boolean algebras are examples of lattices. A lattice is a partially ordered set: P Q (not totally ordered). For any pair

Generalized probabilities

Let L be an orthomodular lattice. Then, define

s : L → [0; 1],

(L standing for the lattice of all events) such that:

s(0) = 0. (4)

s(E⊥) = 1− s(E),

and, for a denumerable and pairwise orthogonal family of events Ej

s(∑

j

Ej) =∑

j

s(Ej).

where L is a general orthomodular lattice (with L = Σ and L = P(H) for theKolmogorovian and quantum cases respectively).All measures satisfying the above axioms for a given L form a convex set.

Federico Holik (IFLP-CONICET) Interpretation and informational aspects of non-Kolmogorovian probability theoryPurdue Winer Memorial Lectures 201811-10-2018 23 / 62

Page 50: Interpretation and informational aspects of non ...€¦ · Boolean algebras are examples of lattices. A lattice is a partially ordered set: P Q (not totally ordered). For any pair

Maximal Boolean subalgebras

Maximal Boolean subalgebrasAn orthomodular lattice L can be described as a collection of Booleanalgebras:

L =∨B∈BB

(where B is the set of maximal Boolean algebras of L). Each maximalBoolean subalgebra defines a context.

A state s of L defines a classical probability on each classical Booleansubalgebra B. In other words: sB(. . .) := s|B(...) is a Kolmogorovianmeasure over B.

A state in a contextual theory can be considered as a coherent pasting ofclassical probability distributions, transforming in a continuous way.

Federico Holik (IFLP-CONICET) Interpretation and informational aspects of non-Kolmogorovian probability theoryPurdue Winer Memorial Lectures 201811-10-2018 24 / 62

Page 51: Interpretation and informational aspects of non ...€¦ · Boolean algebras are examples of lattices. A lattice is a partially ordered set: P Q (not totally ordered). For any pair

Maximal Boolean subalgebras

Maximal Boolean subalgebrasAn orthomodular lattice L can be described as a collection of Booleanalgebras:

L =∨B∈BB

(where B is the set of maximal Boolean algebras of L). Each maximalBoolean subalgebra defines a context.

A state s of L defines a classical probability on each classical Booleansubalgebra B. In other words: sB(. . .) := s|B(...) is a Kolmogorovianmeasure over B.

A state in a contextual theory can be considered as a coherent pasting ofclassical probability distributions, transforming in a continuous way.

Federico Holik (IFLP-CONICET) Interpretation and informational aspects of non-Kolmogorovian probability theoryPurdue Winer Memorial Lectures 201811-10-2018 24 / 62

Page 52: Interpretation and informational aspects of non ...€¦ · Boolean algebras are examples of lattices. A lattice is a partially ordered set: P Q (not totally ordered). For any pair

Maximal Boolean subalgebras

Maximal Boolean subalgebrasAn orthomodular lattice L can be described as a collection of Booleanalgebras:

L =∨B∈BB

(where B is the set of maximal Boolean algebras of L). Each maximalBoolean subalgebra defines a context.

A state s of L defines a classical probability on each classical Booleansubalgebra B. In other words: sB(. . .) := s|B(...) is a Kolmogorovianmeasure over B.

A state in a contextual theory can be considered as a coherent pasting ofclassical probability distributions, transforming in a continuous way.

Federico Holik (IFLP-CONICET) Interpretation and informational aspects of non-Kolmogorovian probability theoryPurdue Winer Memorial Lectures 201811-10-2018 24 / 62

Page 53: Interpretation and informational aspects of non ...€¦ · Boolean algebras are examples of lattices. A lattice is a partially ordered set: P Q (not totally ordered). For any pair

Random Variables = Observables

A random variable f can be defined as a measurable function f : Ω −→ R (thepre-image of any Borel set is measurable).A random variable f defines an inverse map f−1 satisfying:

f−1 : B(R) −→ Σ (5a)

satisfyingf−1(∅) = ∅ (5b)

f−1(R) = Γ (5c)

f−1(∨

j

Bj) =∨

j

f−1(Bj) (5d)

for any disjoint denumerable family Bj. Also,

f−1(Bc) = (f−1(B))c (5e)

Federico Holik (IFLP-CONICET) Interpretation and informational aspects of non-Kolmogorovian probability theoryPurdue Winer Memorial Lectures 201811-10-2018 25 / 62

Page 54: Interpretation and informational aspects of non ...€¦ · Boolean algebras are examples of lattices. A lattice is a partially ordered set: P Q (not totally ordered). For any pair

Observables = (non-commutative) Random Variables

In a formal way, a PVM is a map M defined over the Borel sets as follows

M : B(R)→ LvN , (6a)

satisfying

M(∅) = 0 (0 := null subspace) (6b)

M(R) = 1 (6c)

M(∨

j

(Bj)) =∨

j

M(Bj), (6d)

for any disjoint denumerable family Bj. Also,

M(Bc) = 1−M(B) = (M(B))⊥ (6e)

Federico Holik (IFLP-CONICET) Interpretation and informational aspects of non-Kolmogorovian probability theoryPurdue Winer Memorial Lectures 201811-10-2018 26 / 62

Page 55: Interpretation and informational aspects of non ...€¦ · Boolean algebras are examples of lattices. A lattice is a partially ordered set: P Q (not totally ordered). For any pair

Observables = (non-commutative) Random Variables

In the generalized setting (Generalized PVMs):

M : B(R)→ L, (7a)

satisfying

M(∅) = 0 (7b)

M(R) = 1 (7c)

M(∨

j

(Bj)) =∨

j

M(Bj), (7d)

for any disjoint denumerable family Bj. Also,

M(Bc) = 1−M(B) = (M(B))⊥ (7e)

Federico Holik (IFLP-CONICET) Interpretation and informational aspects of non-Kolmogorovian probability theoryPurdue Winer Memorial Lectures 201811-10-2018 27 / 62

Page 56: Interpretation and informational aspects of non ...€¦ · Boolean algebras are examples of lattices. A lattice is a partially ordered set: P Q (not totally ordered). For any pair

Scheme

CLASSICAL QUANTUM GENERAL

Lattice P(Γ) P(H) LRandom Variables Measurable Functions PVMs GPVMs

Table: Generalized observables.

Federico Holik (IFLP-CONICET) Interpretation and informational aspects of non-Kolmogorovian probability theoryPurdue Winer Memorial Lectures 201811-10-2018 28 / 62

Page 57: Interpretation and informational aspects of non ...€¦ · Boolean algebras are examples of lattices. A lattice is a partially ordered set: P Q (not totally ordered). For any pair

Kolmogorovian probabilities: where are they?

Figure: Kolmogorovian probabilities are still there.

Federico Holik (IFLP-CONICET) Interpretation and informational aspects of non-Kolmogorovian probability theoryPurdue Winer Memorial Lectures 201811-10-2018 29 / 62

Page 58: Interpretation and informational aspects of non ...€¦ · Boolean algebras are examples of lattices. A lattice is a partially ordered set: P Q (not totally ordered). For any pair

Lattice theory and the convex geometry are connected

The approach based in convex sets can be connected with the latticetheoretical one.

The set of faces of a convex set always forms a lattice. Under certainconditions, this lattice is orthomodular.

The lattice of faces of a simplex is isomorphic to the Boolean algebra ofpropositions in which it was originated.

There is an isomorphism between the lattice of faces of the convex set ofquantum states and the orthomodular lattice of projection operatorsacting on the Hilbert space.

Federico Holik (IFLP-CONICET) Interpretation and informational aspects of non-Kolmogorovian probability theoryPurdue Winer Memorial Lectures 201811-10-2018 30 / 62

Page 59: Interpretation and informational aspects of non ...€¦ · Boolean algebras are examples of lattices. A lattice is a partially ordered set: P Q (not totally ordered). For any pair

Lattice theory and the convex geometry are connected

The approach based in convex sets can be connected with the latticetheoretical one.

The set of faces of a convex set always forms a lattice. Under certainconditions, this lattice is orthomodular.

The lattice of faces of a simplex is isomorphic to the Boolean algebra ofpropositions in which it was originated.

There is an isomorphism between the lattice of faces of the convex set ofquantum states and the orthomodular lattice of projection operatorsacting on the Hilbert space.

Federico Holik (IFLP-CONICET) Interpretation and informational aspects of non-Kolmogorovian probability theoryPurdue Winer Memorial Lectures 201811-10-2018 30 / 62

Page 60: Interpretation and informational aspects of non ...€¦ · Boolean algebras are examples of lattices. A lattice is a partially ordered set: P Q (not totally ordered). For any pair

Lattice theory and the convex geometry are connected

The approach based in convex sets can be connected with the latticetheoretical one.

The set of faces of a convex set always forms a lattice. Under certainconditions, this lattice is orthomodular.

The lattice of faces of a simplex is isomorphic to the Boolean algebra ofpropositions in which it was originated.

There is an isomorphism between the lattice of faces of the convex set ofquantum states and the orthomodular lattice of projection operatorsacting on the Hilbert space.

Federico Holik (IFLP-CONICET) Interpretation and informational aspects of non-Kolmogorovian probability theoryPurdue Winer Memorial Lectures 201811-10-2018 30 / 62

Page 61: Interpretation and informational aspects of non ...€¦ · Boolean algebras are examples of lattices. A lattice is a partially ordered set: P Q (not totally ordered). For any pair

Lattice theory and the convex geometry are connected

The approach based in convex sets can be connected with the latticetheoretical one.

The set of faces of a convex set always forms a lattice. Under certainconditions, this lattice is orthomodular.

The lattice of faces of a simplex is isomorphic to the Boolean algebra ofpropositions in which it was originated.

There is an isomorphism between the lattice of faces of the convex set ofquantum states and the orthomodular lattice of projection operatorsacting on the Hilbert space.

Federico Holik (IFLP-CONICET) Interpretation and informational aspects of non-Kolmogorovian probability theoryPurdue Winer Memorial Lectures 201811-10-2018 30 / 62

Page 62: Interpretation and informational aspects of non ...€¦ · Boolean algebras are examples of lattices. A lattice is a partially ordered set: P Q (not totally ordered). For any pair

But then...

One can think about much more general theories.

In fact, non-Kolmogorovian probability has been applied to studyproblems in biology, cognition, economics, etc. What aboutinterpretation?

This “plurality” has direct implications for information theory: F. Holik,G. M. Bosyk and G. Bellomo, “Quantum Information as aNon-Kolmogorovian Generalization of Shannon’s Theory”, Entropy2015, 17 (11), 7349-7373.

Holik, F., Sergioli, G., Freytes and A. Plastino, “Pattern Recognition inNon-Kolmogorovian Structures”, Foundations of Science, (2017).

Federico Holik (IFLP-CONICET) Interpretation and informational aspects of non-Kolmogorovian probability theoryPurdue Winer Memorial Lectures 201811-10-2018 31 / 62

Page 63: Interpretation and informational aspects of non ...€¦ · Boolean algebras are examples of lattices. A lattice is a partially ordered set: P Q (not totally ordered). For any pair

But then...

One can think about much more general theories.

In fact, non-Kolmogorovian probability has been applied to studyproblems in biology, cognition, economics, etc. What aboutinterpretation?

This “plurality” has direct implications for information theory: F. Holik,G. M. Bosyk and G. Bellomo, “Quantum Information as aNon-Kolmogorovian Generalization of Shannon’s Theory”, Entropy2015, 17 (11), 7349-7373.

Holik, F., Sergioli, G., Freytes and A. Plastino, “Pattern Recognition inNon-Kolmogorovian Structures”, Foundations of Science, (2017).

Federico Holik (IFLP-CONICET) Interpretation and informational aspects of non-Kolmogorovian probability theoryPurdue Winer Memorial Lectures 201811-10-2018 31 / 62

Page 64: Interpretation and informational aspects of non ...€¦ · Boolean algebras are examples of lattices. A lattice is a partially ordered set: P Q (not totally ordered). For any pair

But then...

One can think about much more general theories.

In fact, non-Kolmogorovian probability has been applied to studyproblems in biology, cognition, economics, etc. What aboutinterpretation?

This “plurality” has direct implications for information theory: F. Holik,G. M. Bosyk and G. Bellomo, “Quantum Information as aNon-Kolmogorovian Generalization of Shannon’s Theory”, Entropy2015, 17 (11), 7349-7373.

Holik, F., Sergioli, G., Freytes and A. Plastino, “Pattern Recognition inNon-Kolmogorovian Structures”, Foundations of Science, (2017).

Federico Holik (IFLP-CONICET) Interpretation and informational aspects of non-Kolmogorovian probability theoryPurdue Winer Memorial Lectures 201811-10-2018 31 / 62

Page 65: Interpretation and informational aspects of non ...€¦ · Boolean algebras are examples of lattices. A lattice is a partially ordered set: P Q (not totally ordered). For any pair

But then...

One can think about much more general theories.

In fact, non-Kolmogorovian probability has been applied to studyproblems in biology, cognition, economics, etc. What aboutinterpretation?

This “plurality” has direct implications for information theory: F. Holik,G. M. Bosyk and G. Bellomo, “Quantum Information as aNon-Kolmogorovian Generalization of Shannon’s Theory”, Entropy2015, 17 (11), 7349-7373.

Holik, F., Sergioli, G., Freytes and A. Plastino, “Pattern Recognition inNon-Kolmogorovian Structures”, Foundations of Science, (2017).

Federico Holik (IFLP-CONICET) Interpretation and informational aspects of non-Kolmogorovian probability theoryPurdue Winer Memorial Lectures 201811-10-2018 31 / 62

Page 66: Interpretation and informational aspects of non ...€¦ · Boolean algebras are examples of lattices. A lattice is a partially ordered set: P Q (not totally ordered). For any pair

What About Interpretation?

Now a question arises. Can we say something about the nature ofprobabilities by simply looking at the structural properties of the abovedescribed framework?

In order to find an answer to the above questions, we consider anapproach based on the restrictions imposed by the algebraic features ofthe event structure on the probability measures which can be defined in acompatible way.

Federico Holik (IFLP-CONICET) Interpretation and informational aspects of non-Kolmogorovian probability theoryPurdue Winer Memorial Lectures 201811-10-2018 32 / 62

Page 67: Interpretation and informational aspects of non ...€¦ · Boolean algebras are examples of lattices. A lattice is a partially ordered set: P Q (not totally ordered). For any pair

What About Interpretation?

Now a question arises. Can we say something about the nature ofprobabilities by simply looking at the structural properties of the abovedescribed framework?

In order to find an answer to the above questions, we consider anapproach based on the restrictions imposed by the algebraic features ofthe event structure on the probability measures which can be defined in acompatible way.

Federico Holik (IFLP-CONICET) Interpretation and informational aspects of non-Kolmogorovian probability theoryPurdue Winer Memorial Lectures 201811-10-2018 32 / 62

Page 68: Interpretation and informational aspects of non ...€¦ · Boolean algebras are examples of lattices. A lattice is a partially ordered set: P Q (not totally ordered). For any pair

Cox’ Approach

ContextualityR.T.Cox: If a rational agent deals with a Boolean algebra of assertions,representing physical events, a plausibility calculus can be derived insuch a way that the plausibility function yields a theory which isformally equivalent to that of Kolmogorov.Cox, R.T. Probability,frequency, and reasonable expectation. Am. J. Phys. 14, (1946) 1-13.Knuth, K.H. “Lattice duality: The origin of probability and entropy”,Neurocomputing 67 C, (2005) 245-274.

Holik-Saenz-Plastino: A similar result holds if the rational agent dealswith an atomic orthomodular lattice. For the quantum case,non-Kolmogorovian measures arise as the only ones compatible with thenon-commutative (non-Boolean) character of quantum complementarity.

Holik-Plastino-Saenz:F. Holik, A. Plastino and M. Saenz, Annals OfPhysics, Volume 340, Issue 1, 293-310, (2014)

Federico Holik (IFLP-CONICET) Interpretation and informational aspects of non-Kolmogorovian probability theoryPurdue Winer Memorial Lectures 201811-10-2018 33 / 62

Page 69: Interpretation and informational aspects of non ...€¦ · Boolean algebras are examples of lattices. A lattice is a partially ordered set: P Q (not totally ordered). For any pair

Cox’ Approach

ContextualityR.T.Cox: If a rational agent deals with a Boolean algebra of assertions,representing physical events, a plausibility calculus can be derived insuch a way that the plausibility function yields a theory which isformally equivalent to that of Kolmogorov.Cox, R.T. Probability,frequency, and reasonable expectation. Am. J. Phys. 14, (1946) 1-13.Knuth, K.H. “Lattice duality: The origin of probability and entropy”,Neurocomputing 67 C, (2005) 245-274.

Holik-Saenz-Plastino: A similar result holds if the rational agent dealswith an atomic orthomodular lattice. For the quantum case,non-Kolmogorovian measures arise as the only ones compatible with thenon-commutative (non-Boolean) character of quantum complementarity.

Holik-Plastino-Saenz:F. Holik, A. Plastino and M. Saenz, Annals OfPhysics, Volume 340, Issue 1, 293-310, (2014)

Federico Holik (IFLP-CONICET) Interpretation and informational aspects of non-Kolmogorovian probability theoryPurdue Winer Memorial Lectures 201811-10-2018 33 / 62

Page 70: Interpretation and informational aspects of non ...€¦ · Boolean algebras are examples of lattices. A lattice is a partially ordered set: P Q (not totally ordered). For any pair

Cox’ Approach

ContextualityR.T.Cox: If a rational agent deals with a Boolean algebra of assertions,representing physical events, a plausibility calculus can be derived insuch a way that the plausibility function yields a theory which isformally equivalent to that of Kolmogorov.Cox, R.T. Probability,frequency, and reasonable expectation. Am. J. Phys. 14, (1946) 1-13.Knuth, K.H. “Lattice duality: The origin of probability and entropy”,Neurocomputing 67 C, (2005) 245-274.

Holik-Saenz-Plastino: A similar result holds if the rational agent dealswith an atomic orthomodular lattice. For the quantum case,non-Kolmogorovian measures arise as the only ones compatible with thenon-commutative (non-Boolean) character of quantum complementarity.

Holik-Plastino-Saenz:F. Holik, A. Plastino and M. Saenz, Annals OfPhysics, Volume 340, Issue 1, 293-310, (2014)

Federico Holik (IFLP-CONICET) Interpretation and informational aspects of non-Kolmogorovian probability theoryPurdue Winer Memorial Lectures 201811-10-2018 33 / 62

Page 71: Interpretation and informational aspects of non ...€¦ · Boolean algebras are examples of lattices. A lattice is a partially ordered set: P Q (not totally ordered). For any pair

What about information?

Information measuresCox: In Cox’ approach, Shannon’s information measure relies on theaxiomatic structure of Kolmogorovian probability theory [K. H. KnuthNeurocomputing, 67, 245 (2005)].

Holik-Saenz-Plastino: The VNE thus arises as a natural measure ofinformation derived from the non-Boolean character of the underlyinglattice (P(H)). CIT and QIT can be considered as particular cases of amore general non-commutative or contextual information theory.

Holik-Saenz-Plastino: F. Holik, A. Plastino, and M. Saenz, “Naturalinformation measures for contextual probabilistic models”, QuantumInformation & Computation, 16 (1 & 2) 0115-0133 (2016)

Federico Holik (IFLP-CONICET) Interpretation and informational aspects of non-Kolmogorovian probability theoryPurdue Winer Memorial Lectures 201811-10-2018 34 / 62

Page 72: Interpretation and informational aspects of non ...€¦ · Boolean algebras are examples of lattices. A lattice is a partially ordered set: P Q (not totally ordered). For any pair

What about information?

Information measuresCox: In Cox’ approach, Shannon’s information measure relies on theaxiomatic structure of Kolmogorovian probability theory [K. H. KnuthNeurocomputing, 67, 245 (2005)].

Holik-Saenz-Plastino: The VNE thus arises as a natural measure ofinformation derived from the non-Boolean character of the underlyinglattice (P(H)). CIT and QIT can be considered as particular cases of amore general non-commutative or contextual information theory.

Holik-Saenz-Plastino: F. Holik, A. Plastino, and M. Saenz, “Naturalinformation measures for contextual probabilistic models”, QuantumInformation & Computation, 16 (1 & 2) 0115-0133 (2016)

Federico Holik (IFLP-CONICET) Interpretation and informational aspects of non-Kolmogorovian probability theoryPurdue Winer Memorial Lectures 201811-10-2018 34 / 62

Page 73: Interpretation and informational aspects of non ...€¦ · Boolean algebras are examples of lattices. A lattice is a partially ordered set: P Q (not totally ordered). For any pair

What about information?

Information measuresCox: In Cox’ approach, Shannon’s information measure relies on theaxiomatic structure of Kolmogorovian probability theory [K. H. KnuthNeurocomputing, 67, 245 (2005)].

Holik-Saenz-Plastino: The VNE thus arises as a natural measure ofinformation derived from the non-Boolean character of the underlyinglattice (P(H)). CIT and QIT can be considered as particular cases of amore general non-commutative or contextual information theory.

Holik-Saenz-Plastino: F. Holik, A. Plastino, and M. Saenz, “Naturalinformation measures for contextual probabilistic models”, QuantumInformation & Computation, 16 (1 & 2) 0115-0133 (2016)

Federico Holik (IFLP-CONICET) Interpretation and informational aspects of non-Kolmogorovian probability theoryPurdue Winer Memorial Lectures 201811-10-2018 34 / 62

Page 74: Interpretation and informational aspects of non ...€¦ · Boolean algebras are examples of lattices. A lattice is a partially ordered set: P Q (not totally ordered). For any pair

Probabilities

Figure: General scheme.

Federico Holik (IFLP-CONICET) Interpretation and informational aspects of non-Kolmogorovian probability theoryPurdue Winer Memorial Lectures 201811-10-2018 35 / 62

Page 75: Interpretation and informational aspects of non ...€¦ · Boolean algebras are examples of lattices. A lattice is a partially ordered set: P Q (not totally ordered). For any pair

Ontology?

But what can we say about ontology?

Is it possible to assign concrete properties of the system to theseexperiments? In the quantum case, the Kochen-Specker (KS) theoremposes a serious threat to this attempt: it is not possible to establish aglobal Boolean valuation to the elements of the lattice of projectionoperators. A. Doring, International Journal of Theoretical Physics, Vol.44, No. 2, (2005).

Federico Holik (IFLP-CONICET) Interpretation and informational aspects of non-Kolmogorovian probability theoryPurdue Winer Memorial Lectures 201811-10-2018 36 / 62

Page 76: Interpretation and informational aspects of non ...€¦ · Boolean algebras are examples of lattices. A lattice is a partially ordered set: P Q (not totally ordered). For any pair

Ontology?

But what can we say about ontology?

Is it possible to assign concrete properties of the system to theseexperiments? In the quantum case, the Kochen-Specker (KS) theoremposes a serious threat to this attempt: it is not possible to establish aglobal Boolean valuation to the elements of the lattice of projectionoperators. A. Doring, International Journal of Theoretical Physics, Vol.44, No. 2, (2005).

Federico Holik (IFLP-CONICET) Interpretation and informational aspects of non-Kolmogorovian probability theoryPurdue Winer Memorial Lectures 201811-10-2018 36 / 62

Page 77: Interpretation and informational aspects of non ...€¦ · Boolean algebras are examples of lattices. A lattice is a partially ordered set: P Q (not totally ordered). For any pair

Outline

1 Why generalized theories?

2 Mathematical framework and the problem of interpretation

3 Informational aspects

4 Conclusions

Federico Holik (IFLP-CONICET) Interpretation and informational aspects of non-Kolmogorovian probability theoryPurdue Winer Memorial Lectures 201811-10-2018 37 / 62

Page 78: Interpretation and informational aspects of non ...€¦ · Boolean algebras are examples of lattices. A lattice is a partially ordered set: P Q (not totally ordered). For any pair

Entropic measures in physics and information theory

The notion of entropy plays a key role in many areas of physics.

But it is also a key concept in information theory...

The relationship between information theory and physics is a fruitful one.

One of the most important examples is quantum information theory.

Figure: Distinguished users of entropic measures.

Federico Holik (IFLP-CONICET) Interpretation and informational aspects of non-Kolmogorovian probability theoryPurdue Winer Memorial Lectures 201811-10-2018 38 / 62

Page 79: Interpretation and informational aspects of non ...€¦ · Boolean algebras are examples of lattices. A lattice is a partially ordered set: P Q (not totally ordered). For any pair

Entropic measures in physics and information theory

The notion of entropy plays a key role in many areas of physics.

But it is also a key concept in information theory...

The relationship between information theory and physics is a fruitful one.

One of the most important examples is quantum information theory.

Figure: Distinguished users of entropic measures.

Federico Holik (IFLP-CONICET) Interpretation and informational aspects of non-Kolmogorovian probability theoryPurdue Winer Memorial Lectures 201811-10-2018 38 / 62

Page 80: Interpretation and informational aspects of non ...€¦ · Boolean algebras are examples of lattices. A lattice is a partially ordered set: P Q (not totally ordered). For any pair

Entropic measures in physics and information theory

The notion of entropy plays a key role in many areas of physics.

But it is also a key concept in information theory...

The relationship between information theory and physics is a fruitful one.

One of the most important examples is quantum information theory.

Figure: Distinguished users of entropic measures.

Federico Holik (IFLP-CONICET) Interpretation and informational aspects of non-Kolmogorovian probability theoryPurdue Winer Memorial Lectures 201811-10-2018 38 / 62

Page 81: Interpretation and informational aspects of non ...€¦ · Boolean algebras are examples of lattices. A lattice is a partially ordered set: P Q (not totally ordered). For any pair

Entropic measures in physics and information theory

The notion of entropy plays a key role in many areas of physics.

But it is also a key concept in information theory...

The relationship between information theory and physics is a fruitful one.

One of the most important examples is quantum information theory.

Figure: Distinguished users of entropic measures.

Federico Holik (IFLP-CONICET) Interpretation and informational aspects of non-Kolmogorovian probability theoryPurdue Winer Memorial Lectures 201811-10-2018 38 / 62

Page 82: Interpretation and informational aspects of non ...€¦ · Boolean algebras are examples of lattices. A lattice is a partially ordered set: P Q (not totally ordered). For any pair

Anecdote

Shannon dixit:My greatest concern was what to call it. I thought of calling it an“information”, but the word was overly used, so I decided to call itan “uncertainty”. When I discussed it with John von Neumann, hehad a better idea. Von Neumann told me, “You should call it entropy,for two reasons. In the first place your uncertainty function has beenused in statistical mechanics under that name, so it already has aname. In the second place, and more important, nobody knows whatentropy really is, so in a debate you will always have an advantage”.

[M. Tribus and E. C. Mcirvine. Energy and Information, Sci. Am., 225(3):179-188, (1971)]

Federico Holik (IFLP-CONICET) Interpretation and informational aspects of non-Kolmogorovian probability theoryPurdue Winer Memorial Lectures 201811-10-2018 39 / 62

Page 83: Interpretation and informational aspects of non ...€¦ · Boolean algebras are examples of lattices. A lattice is a partially ordered set: P Q (not totally ordered). For any pair

Examples of (h, φ)-entropies

NAME ENTROPIC FUNCTIONAL ENTROPY

Shannon h(x) = x, φ(x) = −x ln x H(p) = −∑

i pi ln pi

Renyi h(x) = ln(x)1−α , φ(x) = xα Rα(p) = 1

1−α ln (∑

i pαi )

Tsallis h(x) = x−11−α , φ(x) = xα Tα(p) = 1

1−α (∑

i pαi − 1)

Unified h(x) = xs−1(1−r)s , φ(x) = xr Es

r(p) = 1(1−r)s [(

∑i p r

i )s − 1]

Kaniadakis h(x) = x, φ(x) = xκ+1−x−κ+1

2κ Sκ(p) = −∑

ipκ+1

i −p−κ+1i

Table: Examples of entropies that can be written in the form E(p) = h(φ(p)). Thisfamily includes the Shannon, Tsallis and Renyi examples, and many others as well.

Federico Holik (IFLP-CONICET) Interpretation and informational aspects of non-Kolmogorovian probability theoryPurdue Winer Memorial Lectures 201811-10-2018 40 / 62

Page 84: Interpretation and informational aspects of non ...€¦ · Boolean algebras are examples of lattices. A lattice is a partially ordered set: P Q (not totally ordered). For any pair

Why looking for quantum entropies?

Schumacher’s theorem [B. Schumacher. Phys Rev A,(1995);51(4):2738-2747].

Maximum Entropy principle (E.T. Jaynes). We have studied the MaxEntprinciple with symmetry conditions in generalized theories in:F. Holik, C. Massri, and A. Plastino. “Geometric probability theory andJaynes’s methodology”, Int. J. Geom. Methods Mod. Phys. 13, 1650025(2016).

Entropic uncertainty relations [G. Bosyk, M. Portesi, F. Holik and A.Plastino. Phys. Scr. 87 (2013) 065002].

Federico Holik (IFLP-CONICET) Interpretation and informational aspects of non-Kolmogorovian probability theoryPurdue Winer Memorial Lectures 201811-10-2018 41 / 62

Page 85: Interpretation and informational aspects of non ...€¦ · Boolean algebras are examples of lattices. A lattice is a partially ordered set: P Q (not totally ordered). For any pair

Why looking for quantum entropies?

Schumacher’s theorem [B. Schumacher. Phys Rev A,(1995);51(4):2738-2747].

Maximum Entropy principle (E.T. Jaynes). We have studied the MaxEntprinciple with symmetry conditions in generalized theories in:F. Holik, C. Massri, and A. Plastino. “Geometric probability theory andJaynes’s methodology”, Int. J. Geom. Methods Mod. Phys. 13, 1650025(2016).

Entropic uncertainty relations [G. Bosyk, M. Portesi, F. Holik and A.Plastino. Phys. Scr. 87 (2013) 065002].

Federico Holik (IFLP-CONICET) Interpretation and informational aspects of non-Kolmogorovian probability theoryPurdue Winer Memorial Lectures 201811-10-2018 41 / 62

Page 86: Interpretation and informational aspects of non ...€¦ · Boolean algebras are examples of lattices. A lattice is a partially ordered set: P Q (not totally ordered). For any pair

Why looking for quantum entropies?

Schumacher’s theorem [B. Schumacher. Phys Rev A,(1995);51(4):2738-2747].

Maximum Entropy principle (E.T. Jaynes). We have studied the MaxEntprinciple with symmetry conditions in generalized theories in:F. Holik, C. Massri, and A. Plastino. “Geometric probability theory andJaynes’s methodology”, Int. J. Geom. Methods Mod. Phys. 13, 1650025(2016).

Entropic uncertainty relations [G. Bosyk, M. Portesi, F. Holik and A.Plastino. Phys. Scr. 87 (2013) 065002].

Federico Holik (IFLP-CONICET) Interpretation and informational aspects of non-Kolmogorovian probability theoryPurdue Winer Memorial Lectures 201811-10-2018 41 / 62

Page 87: Interpretation and informational aspects of non ...€¦ · Boolean algebras are examples of lattices. A lattice is a partially ordered set: P Q (not totally ordered). For any pair

Why looking for quantum entropies?

In the problem of data compression with penalization, the Renyientropies play a key role.L. Campbell, Information and Control 8, 423-429 (1965).

We have studied the quantum version of that problem, in which thequantum Renyi entropy appears.G. Bellomo, G. Bosyk, F. Holik and S. Zozor, “Lossless quantum datacompression with exponential penalization: an operational interpretationof the quantum Renyi entropy”, Scientific Reports (2017), ScientificReports, volume 7, 14765 (2017)

Federico Holik (IFLP-CONICET) Interpretation and informational aspects of non-Kolmogorovian probability theoryPurdue Winer Memorial Lectures 201811-10-2018 42 / 62

Page 88: Interpretation and informational aspects of non ...€¦ · Boolean algebras are examples of lattices. A lattice is a partially ordered set: P Q (not totally ordered). For any pair

Why looking for quantum entropies?

In the problem of data compression with penalization, the Renyientropies play a key role.L. Campbell, Information and Control 8, 423-429 (1965).

We have studied the quantum version of that problem, in which thequantum Renyi entropy appears.G. Bellomo, G. Bosyk, F. Holik and S. Zozor, “Lossless quantum datacompression with exponential penalization: an operational interpretationof the quantum Renyi entropy”, Scientific Reports (2017), ScientificReports, volume 7, 14765 (2017)

Federico Holik (IFLP-CONICET) Interpretation and informational aspects of non-Kolmogorovian probability theoryPurdue Winer Memorial Lectures 201811-10-2018 42 / 62

Page 89: Interpretation and informational aspects of non ...€¦ · Boolean algebras are examples of lattices. A lattice is a partially ordered set: P Q (not totally ordered). For any pair

Quantum Salicru entropies

DefinitionFor a quantum system in state ρ, we define:

H(h,φ)(ρ) = h (Tr φ(ρ)) , (8)

where h : R 7→ R and φ : [0, 1] 7→ R are such that (i) h is strictlyincreasing and φ is strictly concave, or (ii) h is strictly decreasing and φ isstrictly convex. Additionally, we ak that φ(0) = 0 and h(φ(1)) = 0.

[G. M. Bosyk, S. Zozor, F. Holik, M. Portesi and P. W. Lamberti. “A family ofgeneralized quantum entropies: definition and properties”, QuantumInformation Processing, 15: 8, 3393-3420, (2016)]

Federico Holik (IFLP-CONICET) Interpretation and informational aspects of non-Kolmogorovian probability theoryPurdue Winer Memorial Lectures 201811-10-2018 43 / 62

Page 90: Interpretation and informational aspects of non ...€¦ · Boolean algebras are examples of lattices. A lattice is a partially ordered set: P Q (not totally ordered). For any pair

Relationship with the classical (h, φ)-entropies

Given a density operator ρ =∑N

i=1 λi |ei〉〈ei| with eigenvalues λi ≥ 0, thequantum (h, φ)-entropies satisfy:

H(h,φ)(ρ) = H(h,φ)(λ)

where λ is the probability vector formed by the eigenvalues of ρ.The von Neumann, quantum Renyi, quantum Tsallis, Kaniadakis entropiesare particular cases of the above definition.

Federico Holik (IFLP-CONICET) Interpretation and informational aspects of non-Kolmogorovian probability theoryPurdue Winer Memorial Lectures 201811-10-2018 44 / 62

Page 91: Interpretation and informational aspects of non ...€¦ · Boolean algebras are examples of lattices. A lattice is a partially ordered set: P Q (not totally ordered). For any pair

How to define entropy?: non-Kolmogorovian entropicmeasures.

How to define entropy in models that go beyond the standard ones?

ReferencesF. Holik, G. M. Bosyk and G. Bellomo. “Quantum Information as aNon-Kolmogorovian Generalization of Shannon’s Theory”, Entropy(2015), 17 (11), 7349-7373.

M. Portesi, F. Holik, P.W. Lamberti, G.M. Bosyk, G. Bellomo y S. Zozor,“Generalized entropies in quantum and classical statistical theories”,European Physical Journal-Special Topics, 227, 335-344 (2018), (2018).

F. Holik, A. Plastino, and M. Saenz. “Natural information measures forcontextual probabilistic models”, Quantum Information & Computation,16 (1 & 2) 0115-0133 (2016).

Federico Holik (IFLP-CONICET) Interpretation and informational aspects of non-Kolmogorovian probability theoryPurdue Winer Memorial Lectures 201811-10-2018 45 / 62

Page 92: Interpretation and informational aspects of non ...€¦ · Boolean algebras are examples of lattices. A lattice is a partially ordered set: P Q (not totally ordered). For any pair

Majorization

DefinitionFor given probability vectors p, q, it is said that p majorizes q, denoted asp q, if and only if,

k∑i=1

pi ≥k∑

i=1

qi ∀ k = 1, . . . , d − 1. (9)

Federico Holik (IFLP-CONICET) Interpretation and informational aspects of non-Kolmogorovian probability theoryPurdue Winer Memorial Lectures 201811-10-2018 46 / 62

Page 93: Interpretation and informational aspects of non ...€¦ · Boolean algebras are examples of lattices. A lattice is a partially ordered set: P Q (not totally ordered). For any pair

Scheme

CLASSICAL QUANTUM GENERAL

LATTICE P(Γ) P(H) LENTROPY −

∑i p(i) ln(p(i)) −trρ ln(ρ) infF∈E HF(µ)

Table: Table comparing the differences between the classical, quantal, and generalcases.

Federico Holik (IFLP-CONICET) Interpretation and informational aspects of non-Kolmogorovian probability theoryPurdue Winer Memorial Lectures 201811-10-2018 47 / 62

Page 94: Interpretation and informational aspects of non ...€¦ · Boolean algebras are examples of lattices. A lattice is a partially ordered set: P Q (not totally ordered). For any pair

Generalized formulation

Now we restrict to sets of states C (convex, compact and finite dimensional).There are pure states νi, such that for any ν it can be written as:

ν =∑

i

piνi

But this decomposition will not be unique in general.[F. Holik, G. M. Bosyk and G. Bellomo. “Quantum Information as aNon-Kolmogorovian Generalization of Shannon’s Theory”, Entropy (2015),17 (11), 7349-7373.]

Federico Holik (IFLP-CONICET) Interpretation and informational aspects of non-Kolmogorovian probability theoryPurdue Winer Memorial Lectures 201811-10-2018 48 / 62

Page 95: Interpretation and informational aspects of non ...€¦ · Boolean algebras are examples of lattices. A lattice is a partially ordered set: P Q (not totally ordered). For any pair

Generalized formulation

A similar construction can be made for C in infinite dimensional models, butthe mathematics is more cumbersome. Here, we appeal to the Choquetdecomposition theory and write:

ω(a) =

∫dµ(ω′)ω′(a)

where µ is a measure over C supported by the extremal points of C and ω isconsidered as a functional.[M. Portesi, F. Holik, P.W. Lamberti, G.M. Bosyk, G. Bellomo y S. Zozor,“Generalized entropies in quantum and classical statistical theories”,European Physical Journal-Special Topics, 227, 335-344 (2018), (2018).]

Federico Holik (IFLP-CONICET) Interpretation and informational aspects of non-Kolmogorovian probability theoryPurdue Winer Memorial Lectures 201811-10-2018 49 / 62

Page 96: Interpretation and informational aspects of non ...€¦ · Boolean algebras are examples of lattices. A lattice is a partially ordered set: P Q (not totally ordered). For any pair

Schrodinger mixtures theorem

In quantum mechanics, it is possible to show that the probability vectorformed by the coefficients of any convex decomposition in terms of purestates of a given quantum state is majorized by the vector formed by itseigenvalues. In other formulae:If

ω =∑

i

λiνi =∑

i

piτi

then

(λ1, λ2, . . . , λn) (p1, p2, . . . , pn)

Notice that this explains why the entropy attains its minimum at thediagonalization basis (and this motivates the definition of measuremententropy in generalized models).

Federico Holik (IFLP-CONICET) Interpretation and informational aspects of non-Kolmogorovian probability theoryPurdue Winer Memorial Lectures 201811-10-2018 50 / 62

Page 97: Interpretation and informational aspects of non ...€¦ · Boolean algebras are examples of lattices. A lattice is a partially ordered set: P Q (not totally ordered). For any pair

Set of probability vectors

Given a probabilistic model described by a compact convex set C, let Mν bethe set of probability vectors associated to all possible convex decompositionsof a state ν in terms of pure states (i.e., extreme points of C):

Mν := p(ν) = pi | ν =∑

i

piνi for pure νi

Federico Holik (IFLP-CONICET) Interpretation and informational aspects of non-Kolmogorovian probability theoryPurdue Winer Memorial Lectures 201811-10-2018 51 / 62

Page 98: Interpretation and informational aspects of non ...€¦ · Boolean algebras are examples of lattices. A lattice is a partially ordered set: P Q (not totally ordered). For any pair

Generalized spectrum (or geometric spectrum)

DefinitionGiven a state ν, if the majorant of the set Mν (partially ordered by themajorization relation) exists, it is called the spectrum of ν, and we denote it byp(ν).

The generalized spectral decomposition is given by:

ν =∑

i

piνi

S(ν) = −∑

i

pi ln(pi)

Federico Holik (IFLP-CONICET) Interpretation and informational aspects of non-Kolmogorovian probability theoryPurdue Winer Memorial Lectures 201811-10-2018 52 / 62

Page 99: Interpretation and informational aspects of non ...€¦ · Boolean algebras are examples of lattices. A lattice is a partially ordered set: P Q (not totally ordered). For any pair

Geometric representation

Figure: Different examples.

Federico Holik (IFLP-CONICET) Interpretation and informational aspects of non-Kolmogorovian probability theoryPurdue Winer Memorial Lectures 201811-10-2018 53 / 62

Page 100: Interpretation and informational aspects of non ...€¦ · Boolean algebras are examples of lattices. A lattice is a partially ordered set: P Q (not totally ordered). For any pair

Observations

Notice that our definition reduces to the usual one for classical theoriesand for quantum mechanics.

It relies only on purely geometrical notions: geometrical spectrum.

For an arbitrary theory, p(ν) may not exist for some states.

Our guess is that only physically meaningful theories possess thismajorization property.

Our definition allows for introducing a notion of generalizedmajorization and generalized entropies in a big family of models.

Federico Holik (IFLP-CONICET) Interpretation and informational aspects of non-Kolmogorovian probability theoryPurdue Winer Memorial Lectures 201811-10-2018 54 / 62

Page 101: Interpretation and informational aspects of non ...€¦ · Boolean algebras are examples of lattices. A lattice is a partially ordered set: P Q (not totally ordered). For any pair

Observations

Notice that our definition reduces to the usual one for classical theoriesand for quantum mechanics.

It relies only on purely geometrical notions: geometrical spectrum.

For an arbitrary theory, p(ν) may not exist for some states.

Our guess is that only physically meaningful theories possess thismajorization property.

Our definition allows for introducing a notion of generalizedmajorization and generalized entropies in a big family of models.

Federico Holik (IFLP-CONICET) Interpretation and informational aspects of non-Kolmogorovian probability theoryPurdue Winer Memorial Lectures 201811-10-2018 54 / 62

Page 102: Interpretation and informational aspects of non ...€¦ · Boolean algebras are examples of lattices. A lattice is a partially ordered set: P Q (not totally ordered). For any pair

Observations

Notice that our definition reduces to the usual one for classical theoriesand for quantum mechanics.

It relies only on purely geometrical notions: geometrical spectrum.

For an arbitrary theory, p(ν) may not exist for some states.

Our guess is that only physically meaningful theories possess thismajorization property.

Our definition allows for introducing a notion of generalizedmajorization and generalized entropies in a big family of models.

Federico Holik (IFLP-CONICET) Interpretation and informational aspects of non-Kolmogorovian probability theoryPurdue Winer Memorial Lectures 201811-10-2018 54 / 62

Page 103: Interpretation and informational aspects of non ...€¦ · Boolean algebras are examples of lattices. A lattice is a partially ordered set: P Q (not totally ordered). For any pair

Observations

Notice that our definition reduces to the usual one for classical theoriesand for quantum mechanics.

It relies only on purely geometrical notions: geometrical spectrum.

For an arbitrary theory, p(ν) may not exist for some states.

Our guess is that only physically meaningful theories possess thismajorization property.

Our definition allows for introducing a notion of generalizedmajorization and generalized entropies in a big family of models.

Federico Holik (IFLP-CONICET) Interpretation and informational aspects of non-Kolmogorovian probability theoryPurdue Winer Memorial Lectures 201811-10-2018 54 / 62

Page 104: Interpretation and informational aspects of non ...€¦ · Boolean algebras are examples of lattices. A lattice is a partially ordered set: P Q (not totally ordered). For any pair

Observations

Notice that our definition reduces to the usual one for classical theoriesand for quantum mechanics.

It relies only on purely geometrical notions: geometrical spectrum.

For an arbitrary theory, p(ν) may not exist for some states.

Our guess is that only physically meaningful theories possess thismajorization property.

Our definition allows for introducing a notion of generalizedmajorization and generalized entropies in a big family of models.

Federico Holik (IFLP-CONICET) Interpretation and informational aspects of non-Kolmogorovian probability theoryPurdue Winer Memorial Lectures 201811-10-2018 54 / 62

Page 105: Interpretation and informational aspects of non ...€¦ · Boolean algebras are examples of lattices. A lattice is a partially ordered set: P Q (not totally ordered). For any pair

Generalized majorization

DefinitionGiven two states µ and ν, one has that µ is majorized by ν, and we denote itby µ ≺ ν, if and only if:

p(µ) ≺ p(ν)

where p(µ) and p(ν) are the corresponding spectra.

Federico Holik (IFLP-CONICET) Interpretation and informational aspects of non-Kolmogorovian probability theoryPurdue Winer Memorial Lectures 201811-10-2018 55 / 62

Page 106: Interpretation and informational aspects of non ...€¦ · Boolean algebras are examples of lattices. A lattice is a partially ordered set: P Q (not totally ordered). For any pair

Funciones de estados

Our definition can be also used to define a function of a generalized state φ.For any possible mixture pi, νi of ν, we define the application of afunctional φ to the state as:

φ(ν)|pi,νi :=∑

i

φ(pi)νi

In particular, we are interested in the mixture pi, νi, that leads naturally tothe definition:

φ(ν) := φ(ν)|pi,νi

Federico Holik (IFLP-CONICET) Interpretation and informational aspects of non-Kolmogorovian probability theoryPurdue Winer Memorial Lectures 201811-10-2018 56 / 62

Page 107: Interpretation and informational aspects of non ...€¦ · Boolean algebras are examples of lattices. A lattice is a partially ordered set: P Q (not totally ordered). For any pair

(h, φ)-entropies in generalized models

In the generalized formalism, a functional uC plays the role of a trace. Thisallows us to define generalized (h, φ)-entropies.

Definition

H(h,φ)(ν) = h (uC (φ(ν)))

They satisfy:

H(h,φ)(ν) = H(h,φ)(p(ν))

Federico Holik (IFLP-CONICET) Interpretation and informational aspects of non-Kolmogorovian probability theoryPurdue Winer Memorial Lectures 201811-10-2018 57 / 62

Page 108: Interpretation and informational aspects of non ...€¦ · Boolean algebras are examples of lattices. A lattice is a partially ordered set: P Q (not totally ordered). For any pair

Outline

1 Why generalized theories?

2 Mathematical framework and the problem of interpretation

3 Informational aspects

4 Conclusions

Federico Holik (IFLP-CONICET) Interpretation and informational aspects of non-Kolmogorovian probability theoryPurdue Winer Memorial Lectures 201811-10-2018 58 / 62

Page 109: Interpretation and informational aspects of non ...€¦ · Boolean algebras are examples of lattices. A lattice is a partially ordered set: P Q (not totally ordered). For any pair

Conclusions

There are many examples of physically meaningful contextual theories.The KS theorem is valid for many models of interest (for example, vonNeumann algebras).

We are looking for new physical contextual models as candidates fordeveloping new physics.

In that quest, Information Theory can be very useful. In particular, thestudy of information measures and other informational principles andquantities, such as majorization and MaxEnt.

Federico Holik (IFLP-CONICET) Interpretation and informational aspects of non-Kolmogorovian probability theoryPurdue Winer Memorial Lectures 201811-10-2018 59 / 62

Page 110: Interpretation and informational aspects of non ...€¦ · Boolean algebras are examples of lattices. A lattice is a partially ordered set: P Q (not totally ordered). For any pair

Conclusions

There are many examples of physically meaningful contextual theories.The KS theorem is valid for many models of interest (for example, vonNeumann algebras).

We are looking for new physical contextual models as candidates fordeveloping new physics.

In that quest, Information Theory can be very useful. In particular, thestudy of information measures and other informational principles andquantities, such as majorization and MaxEnt.

Federico Holik (IFLP-CONICET) Interpretation and informational aspects of non-Kolmogorovian probability theoryPurdue Winer Memorial Lectures 201811-10-2018 59 / 62

Page 111: Interpretation and informational aspects of non ...€¦ · Boolean algebras are examples of lattices. A lattice is a partially ordered set: P Q (not totally ordered). For any pair

Conclusions

There are many examples of physically meaningful contextual theories.The KS theorem is valid for many models of interest (for example, vonNeumann algebras).

We are looking for new physical contextual models as candidates fordeveloping new physics.

In that quest, Information Theory can be very useful. In particular, thestudy of information measures and other informational principles andquantities, such as majorization and MaxEnt.

Federico Holik (IFLP-CONICET) Interpretation and informational aspects of non-Kolmogorovian probability theoryPurdue Winer Memorial Lectures 201811-10-2018 59 / 62

Page 112: Interpretation and informational aspects of non ...€¦ · Boolean algebras are examples of lattices. A lattice is a partially ordered set: P Q (not totally ordered). For any pair

Conclusions

Due to the existence of “generalized” versions of the KS theorem (VNalgebras), we find that for many models the description of systems asbundles of actual properties will be problematic.

A quick alternative, could be to postulate hidden variables. This can beuseful in many examples. But these hidden variables should becontextual, or highly non-local in physical theories (as is the case instandard quantum mechanics).

We reviewed an approach in which states are regarded as functionsmeasuring the degree of belief of a rational agent, assuming that(possibly) contextual phenomena is accepted as a starting point.

Federico Holik (IFLP-CONICET) Interpretation and informational aspects of non-Kolmogorovian probability theoryPurdue Winer Memorial Lectures 201811-10-2018 60 / 62

Page 113: Interpretation and informational aspects of non ...€¦ · Boolean algebras are examples of lattices. A lattice is a partially ordered set: P Q (not totally ordered). For any pair

Conclusions

Due to the existence of “generalized” versions of the KS theorem (VNalgebras), we find that for many models the description of systems asbundles of actual properties will be problematic.

A quick alternative, could be to postulate hidden variables. This can beuseful in many examples. But these hidden variables should becontextual, or highly non-local in physical theories (as is the case instandard quantum mechanics).

We reviewed an approach in which states are regarded as functionsmeasuring the degree of belief of a rational agent, assuming that(possibly) contextual phenomena is accepted as a starting point.

Federico Holik (IFLP-CONICET) Interpretation and informational aspects of non-Kolmogorovian probability theoryPurdue Winer Memorial Lectures 201811-10-2018 60 / 62

Page 114: Interpretation and informational aspects of non ...€¦ · Boolean algebras are examples of lattices. A lattice is a partially ordered set: P Q (not totally ordered). For any pair

Conclusions

Due to the existence of “generalized” versions of the KS theorem (VNalgebras), we find that for many models the description of systems asbundles of actual properties will be problematic.

A quick alternative, could be to postulate hidden variables. This can beuseful in many examples. But these hidden variables should becontextual, or highly non-local in physical theories (as is the case instandard quantum mechanics).

We reviewed an approach in which states are regarded as functionsmeasuring the degree of belief of a rational agent, assuming that(possibly) contextual phenomena is accepted as a starting point.

Federico Holik (IFLP-CONICET) Interpretation and informational aspects of non-Kolmogorovian probability theoryPurdue Winer Memorial Lectures 201811-10-2018 60 / 62

Page 115: Interpretation and informational aspects of non ...€¦ · Boolean algebras are examples of lattices. A lattice is a partially ordered set: P Q (not totally ordered). For any pair

Many thanks for your attention!

F. Holik, A. Plastino and M. Saenz. “A discussion in the origin ofquantum probabilities”, Annals Of Physics, Volume 340, Issue 1,293-310, (2014).

F. Holik, A. Plastino, and M. Saenz. “Natural information measures forcontextual probabilistic models”, Quantum Information & Computation,16 (1 & 2) 0115-0133 (2016).

F. Holik, G. M. Bosyk and G. Bellomo. “Quantum Information as aNon-Kolmogorovian Generalization of Shannon’s Theory”, Entropy2015, 17 (11), 7349-7373.

F. Holik, C. Massri, and A. Plastino. “Geometric probability theory andJaynes’s methodology”, Int. J. Geom. Methods Mod. Phys. 13, 1650025(2016).

Portesi, F. Holik, P.W. Lamberti, G.M. Bosyk, G. Bellomo y S. Zozor,“Generalized entropies in quantum and classical statistical theories”,European Physical Journal-Special Topics, 227, 335-344 (2018), (2018).

Federico Holik (IFLP-CONICET) Interpretation and informational aspects of non-Kolmogorovian probability theoryPurdue Winer Memorial Lectures 201811-10-2018 61 / 62

Page 116: Interpretation and informational aspects of non ...€¦ · Boolean algebras are examples of lattices. A lattice is a partially ordered set: P Q (not totally ordered). For any pair

Conference in Argentina

Figure: Conference in Argentina:https://sites.google.com/site/viijornadasfundamentoscuantica/.

Federico Holik (IFLP-CONICET) Interpretation and informational aspects of non-Kolmogorovian probability theoryPurdue Winer Memorial Lectures 201811-10-2018 62 / 62