Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

Texts and readings in mathematics

Probability Theory on the Lattice of Projections in a Hilbert Space

Kalyanapuram Rangachari Parthasarathy

Published Jan 1, 2005• 0 citations
Publisher

Abstract

In classical probability theory one assumes that all the events concerning a statistical experiment constitute a Boolean σ-algebra and defines a probability measure as a completely additive non-negative function which assigns the value unity for the identity element of the σ-algebra. Invariably, the σ-algebra is the Borel σ-algebra \( \mathcal{B} \) X (i.e., the smallest σ-algebra generated by the open subsets) of a nice topological space X. Under very general conditions it turns out that all probability measures on \( \mathcal{B} \) X constitute a convex set whose extreme points are degenerate probability measures.

DOI
10.1007/978-93-86279-28-6_1

Related papers

Quantum Coding Theorems

Kalyanapuram Rangachari Parthasarathy

We restrict ourselves to finite level systems. Elementary classical probability theory is woven around the notions of a finite sample space or an alphabet A, events which are subsets of A, random variables which are real or complex-valued functions on A and probability distributions which are, once again, functions on A with values in the unit interval adding to unity. An event E ⊂ A can be equivalently replaced by the two-valued indicator function 1 E which is one on the set E and zero on the complement E′ of E in A. Thus all the basic objects, namely, events, random variables and distributions are functions on A. Complex-valued functions on A constitute a commutative algebra A $$ \mathcal{A} $$ with complex conjugation as an involution. Thus an event can be identified as an element f ∈ A $$ \mathcal{A} $$ satisfying f = f2 = f̄ where the bar indicates complex conjugation. A real-valued random variable is an element f ∈ A $$ \mathcal{A} $$ satisfying f = f̄ whereas a probability distribution is an element p ∈ A $$ \mathcal{A} $$ satisfying p(x) ≥ 0 ∀ x ∈ A and ∑ x∈A p( x )=1 . $$\sum\limits_{x \in A} {p\left( x \right) = 1} .$$ . Note that every nonnegative function on A has the form f f̄ for some f ∈ A $$ \mathcal{A} $$ .

Texts and readings in mathematics•Jan 1, 2013•0 citations

Joint Distributions and Commutability of Observables

Kazimierz Urbanik

In the quantum probability theory the 6-field of random events is replaoed by the lattice of orthogonal projectors in a separable infinite dimensional Hilbert space H.A countably additive function from this lattices to the unit interval constitutes a state, the non-commutative analogue of a probability measure.The Theorem of Gleason [4] asserts that every state is of the form n--tr jtT, where jt runs over all projectors and T is a probability operator on H, i.e. a positive linear operator of unit trace.Conversely, every probability operator determines a state by the Gleason formula.From now onwards let S stand for the set of all states, i.e. all probability operators on H.We shall dienote by the space of-? ell nuclear linear operators acting in H with the norm jjïj|.j= tr{TT*) 1 ^2.Of coarse S is e closed and convex subset Of TyIn quantum theory to every physical quantity or observable th^re corresponds e sslf»adjoint not necessarily bounded linear operator on Hs By 0 ws shall denote the set of all obt ;ry£bles-Given he-0 f tac pi'cb^ivility distribution of A at the etato T is defined for ail Eoi'oi subsets E of the real

Demonstratio Mathematica•Jan 1, 1985•6 citations

Probabilities on a Heyting Algebra

Jean‐Pascal Laedermann

Probability is initially defined on a Boolean algebra or a lattice of projectors. We propose here to start from a Heyting algebra.

•Sep 30, 2024•0 citations

The Common Cause Principle

Gábor Hofer‐Szabó, Miklós Rédei, László E. Szabó

Reichenbach's notion of common cause In what follows ( X, S, p ) denotes a classical Kolmogorovian probability space with Boolean algebra S of subsets of a set X (with respect to the set theoretic operations ∩, ∪ and A ⊥ = X\A as Boolean algebra operations) and with the probability measure p on S . (See the Appendix for a concise review of the basic concepts of measure theoretic probability theory.) Elements of S are called random events (elements of X are sometimes called (random) elementary events). It is common to assume in probability theory that p is a countably additive (also called σ-additive) and not just a finitely additive measure but the assumption of countable additivity is somewhat controversial in the philosophical literature. The distinction between countable and finite additivity will not play any role in Chapters 3–5, 7 and 9: the results presented are valid under the assumption of either finite or countable additivity. Countable additivity will play a role in Chapters 6 and 8, however, where the problem of correlations in nonclassical (quantum) probability spaces will be investigated, and where the quantum counterpart of p will be assumed to be countably additive (“normal” in the terminology of the theory von Neumann algebras). If S has a finite number of elements, then it is the power set P(X) of a set X having n ＜ ∞ elements denoted by a i ( i = 1, 2 … n ); in this case we write S n .

Cambridge University Press eBooks•May 16, 2013•2 citations

Self-adjoint Operators as Functions II: Quantum Probability

Andreas Doering, Barry Dewitt

In "Self-adjoint Operators as Functions I: Lattices, Galois Connections, and the Spectral Order" [arXiv:1208.4724], it was shown that self-adjoint operators affiliated with a von Neumann algebra N can equivalently be described as certain real-valued functions on the projection lattice P(N) of the algebra, which we call q-observable functions. Here, we show that q-observable functions can be interpreted as generalised quantile functions for quantum observables interpreted as random variables. More generally, when L is a complete meet-semilattice, we show that L-valued cumulative distribution functions and the corresponding L-quantile functions form a Galois connection. An ordinary CDF can be written as an L-CDF composed with a state. For classical probability, one picks L=B(Ω), the complete Boolean algebra of measurable subsets modulo null sets of a measurable space Ω. For quantum probability, one uses L=P(N), the projection lattice of a nonabelian von Neumann algebra N. Moreover, using some constructions from the topos approach to quantum theory, we show that there is a joint sample space for all quantum observables, despite no-go results such as the Kochen-Specker theorem. Specifically, the spectral presheaf Σ of a von Neumann algebra N, which is not a mere set, but a presheaf (i.e., a 'varying set'), plays the role of the sample space. The relevant meet-semilattice L in this case is the complete bi-Heyting algebra of clopen subobjects of Σ. We show that using the spectral presheaf Σ and associated structures, quantum probability can be formulated in a way that is structurally very similar to classical probability.

arXiv:1210.5747•Oct 21, 2012•7 citations

Sigma-Convex Structures of The Sets of States and Probability Measures in Quantum Mechanics

Gianni Cassinelli, PEKKA J. LAHTI

Boston studies in the philosophy of science•Jan 1, 1993•0 citations
In classical probability theory one assumes that all the events concerning a statistical experiment constitute a Boolean σ-algebra and defines a probability measure as a completely additive non-negative function which assigns the value unity for the identity element of the σ-algebra. Invariably, the σ-algebra is the Borel σ-algebra ( \mathcal{B} ) X (i.e., the smallest σ-algebra generated by the open subsets) of a nice topological space X. Under very general conditions it turns out that all probability measures on ( \mathcal{B} ) X constitute a convex set whose extreme points are degenerate probability measures.
We restrict ourselves to finite level systems. Elementary classical probability theory is woven around the notions of a finite sample space or an alphabet A, events which are subsets of A, random variables which are real or complex-valued functions on A and probability distributions which are, once again, functions on A with values in the unit interval adding to unity. An event E ⊂ A can be equivalently replaced by the two-valued indicator function 1 E which is one on the set E and zero on the complement E′ of E in A. Thus all the basic objects, namely, events, random variables and distributions are functions on A. Complex-valued functions on A constitute a commutative algebra A A \mathcal{A} A with complex conjugation as an involution. Thus an event can be identified as an element f ∈ A A \mathcal{A} A satisfying f = f2 = f̄ where the bar indicates complex conjugation. A real-valued random variable is an element f ∈ A A \mathcal{A} A satisfying f = f̄ whereas a probability distribution is an element p ∈ A A \mathcal{A} A satisfying p(x) ≥ 0 ∀ x ∈ A and ∑ x∈A p( x )=1 . ∑x∈Ap(x)=1.\sum\limits_{x \in A} {p\left( x \right) = 1} .x∈A∑​p(x)=1. . Note that every nonnegative function on A has the form f f̄ for some f ∈ A A \mathcal{A} A .
In the quantum probability theory the 6-field of random events is replaoed by the lattice of orthogonal projectors in a separable infinite dimensional Hilbert space H.A countably additive function from this lattices to the unit interval constitutes a state, the non-commutative analogue of a probability measure.The Theorem of Gleason [4] asserts that every state is of the form n--tr jtT, where jt runs over all projectors and T is a probability operator on H, i.e. a positive linear operator of unit trace.Conversely, every probability operator determines a state by the Gleason formula.From now onwards let S stand for the set of all states, i.e. all probability operators on H.We shall dienote by the space of-? ell nuclear linear operators acting in H with the norm jjïj|.j= tr{TT*) 1 ^2.Of coarse S is e closed and convex subset Of TyIn quantum theory to every physical quantity or observable th^re corresponds e sslf»adjoint not necessarily bounded linear operator on Hs By 0 ws shall denote the set of all obt ;ry£bles-Given he-0 f tac pi'cb^ivility distribution of A at the etato T is defined for ail Eoi'oi subsets E of the real
Reichenbach's notion of common cause In what follows ( X, S, p ) denotes a classical Kolmogorovian probability space with Boolean algebra S of subsets of a set X (with respect to the set theoretic operations ∩, ∪ and A ⊥ = X\A as Boolean algebra operations) and with the probability measure p on S . (See the Appendix for a concise review of the basic concepts of measure theoretic probability theory.) Elements of S are called random events (elements of X are sometimes called (random) elementary events). It is common to assume in probability theory that p is a countably additive (also called σ-additive) and not just a finitely additive measure but the assumption of countable additivity is somewhat controversial in the philosophical literature. The distinction between countable and finite additivity will not play any role in Chapters 3–5, 7 and 9: the results presented are valid under the assumption of either finite or countable additivity. Countable additivity will play a role in Chapters 6 and 8, however, where the problem of correlations in nonclassical (quantum) probability spaces will be investigated, and where the quantum counterpart of p will be assumed to be countably additive (“normal” in the terminology of the theory von Neumann algebras). If S has a finite number of elements, then it is the power set P(X) of a set X having n ＜ ∞ elements denoted by a i ( i = 1, 2 … n ); in this case we write S n .
In "Self-adjoint Operators as Functions I: Lattices, Galois Connections, and the Spectral Order" [arXiv:1208.4724], it was shown that self-adjoint operators affiliated with a von Neumann algebra N can equivalently be described as certain real-valued functions on the projection lattice P(N) of the algebra, which we call q-observable functions. Here, we show that q-observable functions can be interpreted as generalised quantile functions for quantum observables interpreted as random variables. More generally, when L is a complete meet-semilattice, we show that L-valued cumulative distribution functions and the corresponding L-quantile functions form a Galois connection. An ordinary CDF can be written as an L-CDF composed with a state. For classical probability, one picks L=B(Ω), the complete Boolean algebra of measurable subsets modulo null sets of a measurable space Ω. For quantum probability, one uses L=P(N), the projection lattice of a nonabelian von Neumann algebra N. Moreover, using some constructions from the topos approach to quantum theory, we show that there is a joint sample space for all quantum observables, despite no-go results such as the Kochen-Specker theorem. Specifically, the spectral presheaf Σ of a von Neumann algebra N, which is not a mere set, but a presheaf (i.e., a 'varying set'), plays the role of the sample space. The relevant meet-semilattice L in this case is the complete bi-Heyting algebra of clopen subobjects of Σ. We show that using the spectral presheaf Σ and associated structures, quantum probability can be formulated in a way that is structurally very similar to classical probability.