Quantum Measurements Generating Structures of Numerical Events ()

Dietmar Dorninger^{1}, Helmut Länger^{1,2*}

^{1}Institute of Discrete Mathematics and Geometry, Vienna University of Technology, Vienna, Austria.

^{2}Department of Algebra and Geometry, Palacky University Olomouc, Olomouc, Czech Republic.

**DOI: **10.4236/jamp.2018.65085
PDF
HTML XML
553
Downloads
1,104
Views
Citations

Let S be a set of states of a physical system and p(s) the probability of an occurrence of an event when the system is in state s∈S. The function p from S to [0,1] is called a numerical event, multidimensional probability or, more precisely, S-probability. If a set of numerical events is ordered by the order of real functions one obtains a partial ordered set P in which the sum and difference of S-probabilities are related to their order within P. According to the structure that arises, this further opens up the opportunity to decide whether one deals with a quantum mechanical situation or a classical one. In this paper we focus on the situation that P is generated by a given set of measurements, i.e. S-probabilities, without assuming that these S-probabilities can be complemented by further measurements or are embeddable into Boolean algebras, assumptions that were made in most of the preceding papers. In particular, we study the generation by S-probabilities that can only assume the values 0 and 1, thus dealing with so called concrete logics. We characterize these logics under several suppositions that might occur with measurements and generalize our findings to arbitrary S-probabilities, this way providing a possibility to distinguish between potential classical and quantum situations and the fact that an obtained structure might not be sufficient for an appropriate decision. Moreover, we provide some explanatory examples from physics.

Keywords

Ordered Structures of Numerical Events, Generating Processes, Quantum Logics, Concrete Logics, Examples from Physics

Share and Cite:

Dorninger, D. and Länger, H. (2018) Quantum Measurements Generating Structures of Numerical Events. *Journal of Applied Mathematics and Physics*, **6**, 982-996. doi: 10.4236/jamp.2018.65085.

1. Introduction

Let S be a set of states of a physical system and $p\left(s\right)$ the probability of the occurrence of an event when the system is in state $s\in S$ . (For example, think of the probability that the numerical value of an observable is inside a given set of values.) Next, consider $p\left(s\right)$ for all $s\in S$ . This way one obtains a function p from S to $\left[\mathrm{0,1}\right]$ . In many cases the set S will be finite so that one obtains an n-tuple of probabilities which can be thought of as an event arising when measuring an observable. In their papers of 1991 and 1993 ( [1] and [2] ) E. G. Beltrametti and M. J. Maczyński introduced the notion of numerical events or S-probabilities for the functions $p\left(s\right)$ for arbitrary S. This notion was taken up later and will be used in this paper.

Given S, a set P of numerical events can be ordered by the order ≤ of functions, similar to the ordering of events of a classical event space (σ-algebra) by the set-theoretic inclusion $\subseteq $ . We will require some of the characteristic features of classical event spaces to belong to the partially ordered set $\left(P\mathrm{,}\le \right)$ .

Definition 1. (cf. [1] ) We denote the constant functions $p\left(s\right)=0$ and $p\left(s\right)=1$ for all $s\in S$ by 0 and 1, write $p\perp q$ if the functions p and q are orthogonal, i.e., $p\le {q}^{\prime}:=1-q$ , and agree that the symbols +, − and ∙ indicate addition, subtraction and multiplication in $\mathbb{R}$ . Then a set P of numerical events (i.e. functions from S to $\left[\mathrm{0,1}\right]$ ) is called an algebra of S-probabilities (or algebra of numerical events), if it satisfies the following axioms:

A1) $0\in P$ ;

A2) if $p\in P$ then ${p}^{\prime}\in P$ ;

A3) if $p\mathrm{,}q\in P$ and $p\perp q$ then $p+q\in P$ ;

A4) if $p\mathrm{,}q\mathrm{,}r\in P$ and $p\perp q\perp r\perp p$ then $p+q+r\in P$ .

If only (A1)-(A3) are fulfilled, then P is called a generalized field of events, abbreviated by GFE (cf. [3] ).

Further, we point out that (A3) is a special case of (A4). It should also be remarked that under the assumption of (A2), Axiom (A3) is equivalent to the following axiom:

A5) If $p\mathrm{,}q\in P$ and $p\le q$ then $q-p\in P$ .

Let ' also denote the complementation of sets and $\cup $ and $\cap $ stand for the union and intersection of sets, respectively. Thinking of classical event systems, (A2) can be considered as a translation of $A\subseteq {B}^{\prime}$ into $p\le 1-q$ , and (A4) is motivated by the fact that pairwise orthogonality of a triple $A\mathrm{,}B\mathrm{,}C$ of events implies $A\subseteq {B}^{\prime}\cap {C}^{\prime}={\left(B\cup C\right)}^{\prime}$ , which in terms of functions means $p\le 1-\left(q+r\right)$ .

An algebra of S-probabilities is an orthomodular poset with a full set of states, and algebras of S-probabilities and orthomodular posets with a full sets of states are in one-to-one correspondence (cf. [4] ). Boolean algebras are a special class of algebras of S-probabilities and in general represent the situation that one deals with a classical physical system.

Given a set of measurements represented by S-probabilities, our goal is to find out to which kind of structure the obtained measurements belong or give rise to. If one deals with an algebra of S-probabilities that is not a Boolean algebra one may assume to be concerned with a quantum mechanical phenomenon. GFEs which are not algebras of S-probabilities can also give a clue to the lack of further information or else, they might also not be appropriate to determine the structure of events underlying an experiment.

Several papers have been published on the subject of assessing the situation whether the obtained measurements give rise to or can be embedded into a Boolean algebra by adding further measurements (cf. [2] [3] and [5] [6] [7] [8] [9] ). In this paper we will focus on the question which kind of structure will be generated by already achieved measurements without taking into account the possibility to obtain further relevant data.

We will study GFEs and algebras of S-probabilities generated by given measurements dependent on the structure of these quantities. First, we will assume that there will only be two outcomes to measurements, namely that an S-probability might be either 0 or 1, and then we will generalize some of the obtained results to arbitrary numerical events. As for the structure of the generating sets of S-probabilities we will focus on the situations that the S-probabilities and their complements are pairwise incomparable or else orthogonal or that they form chains. In particular, we will show when under these assumptions the resulting GFE or algebra of S-probabilities is a Boolean algebra, which means that one deals with a classical phenomenon, or when there is not enough information available to decide about classicality or non-classicality. To explain our results we provide some examples of physical experiments.

2. S-Probabilities Which Can Only Assume the Values 0 and 1

To illustrate the structure of GFEs and algebras of S-probabilities we listen here some basic facts concerning GFEs, writing $p\wedge q$ and $p\vee q$ for the infimum and supremum of two S-probabilities p and q, respectively (if these exist).

Proposition 2. (cf. [3] ) For a GFE $P$ the following hold:

1) If $p\le q$ for $p\mathrm{,}q\in P$ then $q-p\in P$ , and if P is an algebra of S-probabilities then $q-p=q\wedge {p}^{\prime}$ ;

2) P is an algebra of S-probabilities if and only if for all $p\mathrm{,}q\in P$ with $p\perp q$ we have $p+q=p\vee q$ ;

3) if $p\vee q$ exists for all $p\mathrm{,}q\in P$ then P is a lattice;

4) If P is an algebra of S-probabilities which is a lattice then P is an orthomodular lattice;

5) A lattice-ordered algebra P of S-probabilities is a Boolean algebra, if and only if $p\vee q\le p+q$ for all $p\mathrm{,}q\in P$ .

All forthcoming theorems in this section will be exclusively about S-probabilities which only take on the values 0 and 1.

As one can see immediately, a GFE P of numerical events assuming only the values 0 and 1 is an algebra of S-probabilities. We further point out that such an algebra of S-probabilities can be represented by sets (see below) and is therefore also referred to as a so called concrete logic (cf. [10] ). (That all algebras of S-probabilities can also be considered as quantum logics can be concluded from the fact that they are orthomodular posets which do serve as quantum logics.)

Definition 3. Let S be a set and M a set of subsets of S (we will link to GFEs further on). We call M a G-system on S if it satisfies the following axioms:

G1) $\varnothing \in M$ ;

G2) if $A\in M$ then ${A}^{\prime}:=S\backslash A\in M$ ;

G3) if $A\mathrm{,}B\in M$ and $A\cap B=\varnothing $ then $A\cup B\in M$ .

It should be remarked that in general M is not an algebra of sets. Moreover, (G3) implies the following axiom:

G4) If $A\mathrm{,}B\mathrm{,}C$ are pairwise disjoint elements of M then $A\cup B\cup C\in M$ .

We further observe that under the assumption of (G2), Axiom (G3) is equivalent to the following axiom:

G5) If $A\mathrm{,}B\in M$ and $A\subseteq B$ then $B\backslash A\in M$ .

Finally, if for $A\mathrm{,}B\in M$ we have $A\cup B\in M$ then $A\cup B=A\vee B$ , and if $A\cap B\in M$ then $A\cap B=A\wedge B$ .

For every set S and every subset A of S let ${I}_{A}$ denote the mapping from S to $\left[\mathrm{0,1}\right]$ defined by

${I}_{A}\left(s\right)=\{\begin{array}{ll}1\hfill & \text{if}\text{\hspace{0.17em}}s\in A\hfill \\ 0\hfill & \text{otherwise}\hfill \end{array}$

( $s\in S$ ). The mapping ${I}_{A}$ is called the indicator function corresponding to A.

The following theorem is immediate.

Theorem 4. Let S be a set. Then the following holds:

1) If a set P of mappings from S to $\left[\mathrm{0,1}\right]$ is a GFE then $\left\{{p}^{-1}\left(\left\{1\right\}\right)|p\in P\right\}$ is a G-system on S;

2) if M is a G-system on S then the set $\left\{{I}_{A}|A\in M\right\}$ is a GFE;

3) The correspondence described in (i) and (ii) is one-to-one.

Due to Theorem 4 the study of GFEs P of S-probabilities assuming only the values 0 and 1 can be reduced to arguments about G-systems and indicator functions.

For every set S and any set Q of subsets of S let $\langle Q\rangle $ denote the G -system on S generated by Q, i.e. the smallest G-system on S including Q or the intersection of all G-systems on S including Q or the smallest set of subsets of S including Q and satisfying (G1)-(G3).

Analogously, for every set S and any set Q of functions from S to $\left[\mathrm{0,1}\right]$ let likewise $\langle Q\rangle $ denote the GFE generated by Q, i.e. the smallest GFE including Q or the intersection of all GFEs including Q or the smallest set of functions from S to $\left[\mathrm{0,1}\right]$ including Q and satisfying (A1)-(A3).

As for arbitrary algebras P of S-probabilities, if for a $p\in P$ we have $p\le 1/2$ then $p\mathrm{,}p\mathrm{,}{p}^{\prime}$ are pairwise orthogonal and hence $p+p+{p}^{\prime}\le 1$ , i.e. $p\le 0$ which implies $p=0$ . Analogously, from $p\ge 1/2$ we infer that $p\mathrm{,}{p}^{\prime}\mathrm{,}{p}^{\prime}$ are pairwise orthogonal and hence $p+{p}^{\prime}+{p}^{\prime}\le 1$ , i.e. $p\ge 1$ which implies $p=1$ . We will call $p\ne \mathrm{0,1}$ proper if neither $p\le 1/2$ nor $p\ge 1/2$ . The elements 0 and 1 will also be considered as proper elements of P.

Let $\left[Q\right]$ denote the algebra of S-probabilities generated by a set Q of proper numerical events. $\left[Q\right]$ need not always exist. However, if the elements of Q only assume the values 0 and 1, then $\left[Q\right]=\langle Q\rangle $ . Moreover, if $p\in Q$ with $0<p\left(s\right)<1$ for all $s\in S$ is proper and $Q\backslash \left\{p\right\}$ consists of S-probabilities that can only assume the values 0 and 1, then again $\left[Q\right]=\langle Q\rangle $ . (This holds, because p is not compatible to any element from $\langle Q\backslash \left\{p\right\}\rangle $ apart from 0 and 1).

In general, $\left[Q\right]\ne \langle Q\rangle $ , because, if $p\perp q\perp r\perp p$ for three proper S-probabilities $p\mathrm{,}q\mathrm{,}r$ with $p+q+r\le 1$ , it can happen that $p+q+r$ is not proper anymore and therefore does not belong to $\left[Q\right]$ . E.g., consider the three pairwise orthogonal S-probabilities $p=\left(0,1/8,5/8\right)$ , $q=\left(1/8,6/8,1/8\right)$ and $r=\left(6/8,1/8,1/8\right)$ the sum of which equals $\left(7/8,1,7/8\right)$ .

In the following let ${\text{MO}}_{n}$ for $n\ge 1$ denote the orthomodular lattice with the Hasse diagram (see Figure 1).

Proposition 5. Let S be a set of states and $p\mathrm{,}q\mathrm{:}S\to \left\{\mathrm{0,1}\right\}$ two numerical events. Then the following holds:

1) If the four elements $p\mathrm{,}{p}^{\prime}\mathrm{,}q\mathrm{,}{q}^{\prime}$ are pairwise incomparable then

$\langle \left\{p,q\right\}\rangle =\left[\left\{p,q\right\}\right]=\left\{0,p,{p}^{\prime},q,{q}^{\prime},1\right\}\cong {\text{MO}}_{2}.$

2) If two of the four S-probabilities $p\mathrm{,}{p}^{\prime}\mathrm{,}q\mathrm{,}{q}^{\prime}$ are comparable then $\langle \left\{p,q\right\}\rangle =\left[\left\{p,q\right\}\right]$ is a Boolean algebra having at most eight elements.

Proof. Put $A:={p}^{-1}\left(\left\{1\right\}\right)$ and $B:={q}^{-1}\left(\left\{1\right\}\right)$ .

1) This is clear.

2) If e.g. A and A' are comparable then $A\in \left\{\varnothing \mathrm{,}S\right\}$ and

$\langle \left\{A,B\right\}\rangle =\left\{\varnothing ,B,{B}^{\prime},S\right\}$ . If $A\subseteq B$ then $\langle \left\{A,B\right\}\rangle $ consists of all unions of some of the pairwise disjoint sets $A,B\backslash A,{B}^{\prime}$ . $\square $

Proposition 5 will be the initial point for generalizations (see Section 3).

Throughout this and the next section of the paper let $n\ge 2$ be an arbitrary integer and put $N:=\left\{1,\cdots ,n\right\}$ .

Theorem 6. If S is a set of states then $\left|\langle Q\rangle \right|\le \mathrm{min}\left({2}^{{2}^{\left|Q\right|}},{2}^{\left|S\right|}\right)$ for any arbitrary finite set Q of functions from S to $\left\{\mathrm{0,1}\right\}$ .

Proof. Assume $Q=\left\{{p}_{1},\cdots ,{p}_{n}\right\}$ and put ${A}_{i}:={p}_{i}^{-1}\left(\left\{1\right\}\right)$ for all $i\in N$ . Then

Figure 1. Orthomodular lattice MO_{n}.

$\left\{{\displaystyle \underset{I\in T}{\cup}}\left({\displaystyle \underset{i\in I}{\cap}}\text{\hspace{0.05em}}{A}_{i}\cap {\displaystyle \underset{i\in {I}^{\prime}}{\cap}}\text{\hspace{0.05em}}{{A}^{\prime}}_{i}\right)|T\in {2}^{{2}^{N}}\right\}$

is a G-system on S of cardinality $\le {2}^{{2}^{n}}$ including $\left\{{A}_{1}\mathrm{,}\cdots \mathrm{,}{A}_{n}\right\}$ since

${A}_{j}={\displaystyle \underset{j\in I\subseteq N}{\cup}}\left({\displaystyle \underset{i\in I}{\cap}}\text{\hspace{0.05em}}{A}_{i}\cap {\displaystyle \underset{i\in {I}^{\prime}}{\cap}}\text{\hspace{0.05em}}{{A}^{\prime}}_{i}\right)$

for all $j\in N$ . $\square $

Theorem 7. Let S be a set of states and ${p}_{1}\mathrm{,}\cdots \mathrm{,}{p}_{n-1}\mathrm{:}S\to \left\{\mathrm{0,1}\right\}$ pairwise orthogonal numerical events and put ${q}_{i}:={p}_{i}$ for $i=1,\cdots ,n-1$ and ${q}_{n}:=1-{p}_{1}-\cdots -{p}_{n-1}$ . Then

$\langle \left\{{p}_{1},\cdots ,{p}_{n-1}\right\}\rangle =\left[\left\{{p}_{1},\cdots ,{p}_{n-1}\right\}\right]=\left\{{\displaystyle \underset{i\in I}{\sum}}\text{\hspace{0.05em}}{q}_{i}|I\subseteq N\right\}$

is a Boolean algebra having at most 2^{n} elements.

$\left({\displaystyle \underset{i\in \varnothing}{\sum}}\text{\hspace{0.05em}}{q}_{i}:=0\right)$

Proof. Put ${A}_{i}:={p}_{i}^{-1}\left(\left\{1\right\}\right)$ for $i=1,\cdots ,n-1$ . Then

$\langle \left\{{A}_{1},\cdots ,{A}_{n-1}\right\}\rangle =\left[\left\{{A}_{1},\cdots ,{A}_{n-1}\right\}\right]$

consists of all unions of some of the pairwise disjoint sets

${A}_{1},\cdots ,{A}_{n-1},{\left({A}_{1}\cup \cdots \cup {A}_{n-1}\right)}^{\prime}.$ $\square $

As a simple numerical example we choose $\left|S\right|=4$ , ${p}_{1}=\left(0,1,0,0\right)$ and ${p}_{2}=\left(1,0,0,1\right)$ . Then ${q}_{1}={p}_{1}$ , ${q}_{2}={p}_{2}$ , ${q}_{3}=\left(0,0,1,0\right)$ and we obtain

$\begin{array}{l}\langle \left\{{p}_{1},{p}_{2}\right\}\rangle =\{\left(0,0,0,0\right),\left(0,1,0,0\right),\left(1,0,0,1\right),\left(0,0,1,0\right),\\ \text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\left(1,1,0,1\right),\left(0,1,1,0\right),\left(1,0,1,1\right),\left(1,1,1,1\right)\},\end{array}$

an eight-element Boolean algebra.

Theorem 8. Let S be a set of states and ${p}_{1}\mathrm{,}\cdots \mathrm{,}{p}_{n-1}\mathrm{:}S\to \left\{\mathrm{0,1}\right\}$ numerical events with ${p}_{1}\le \cdots \le {p}_{n-1}$ and put ${p}_{0}:=0$ and ${p}_{n}:=1$ . Then

$\langle \left\{{p}_{1},\cdots ,{p}_{n-1}\right\}\rangle =\left[\left\{{p}_{1},\cdots ,{p}_{n-1}\right\}\right]=\left\{{\displaystyle \underset{i\in I}{\sum}}\left({p}_{i}-{p}_{i-1}\right)|I\subseteq N\right\}$

is a Boolean algebra having at most 2^{n} elements.

Proof. ${A}_{i}:={p}_{i}^{-1}\left(\left\{1\right\}\right)$ for $i=1,\cdots ,n-1$ . Then

$\langle \left\{{A}_{1},\cdots ,{A}_{n-1}\right\}\rangle =\left[\left\{{A}_{1},\cdots ,{A}_{n-1}\right\}\right]$

consists of all unions of some of the pairwise disjoint sets

${A}_{1}\mathrm{,}{A}_{2}\backslash {A}_{1}\mathrm{,}\cdots \mathrm{,}{A}_{n-1}\backslash {A}_{n-2}\mathrm{,}{{A}^{\prime}}_{n-1}\mathrm{.}$ $\square $

Next we take into account that with a given finite set of numerical events also the intersection of some or arbitrary numbers of these events will be numerical events pertaining to an experiment. For ensuring such concurrences of circumstances we can utilize the following feature of GFEs:

If the product of two elements p and q that only take on the values 0 and 1 is an element of the GFE, then $p\wedge q=pq$ .

Denoting the power set of a set M by $\mathcal{P}\left(M\right)$ we then obtain:

Theorem 9. Let S be a set of states and ${p}_{1}\mathrm{,}\cdots \mathrm{,}{p}_{n}\mathrm{:}S\to \left\{\mathrm{0,1}\right\}$ numerical events. Then

$\langle \left\{{\displaystyle \underset{i\in I}{\prod}}{p}_{i}|I\subseteq N\right\}\rangle =\left[\left\{{\displaystyle \underset{i\in I}{\prod}}{p}_{i}|I\subseteq N\right\}\right]=\left\{{\displaystyle \underset{I\in T}{\sum}}{\displaystyle \underset{i\in I}{\prod}}{p}_{i}{\displaystyle \underset{i\in {I}^{\prime}}{\prod}}{{p}^{\prime}}_{i}|T\subseteq \mathcal{P}\left(N\right)\right\}$

is a Boolean algebra having at most ${2}^{{2}^{n}}$ elements.

$\left({\displaystyle \underset{i\in \varnothing}{\prod}}{p}_{i}:=1\right)$

Proof. Put ${A}_{i}:={p}_{i}^{-1}\left(\left\{1\right\}\right)$ for $i\in N$ ,

$G:=\langle \left\{{\displaystyle \underset{i\in I}{\cap}}{A}_{i}|I\in {2}^{N}\right\}\rangle $

and for every $I\in {2}^{N}$ put

${B}_{I}:={\displaystyle \underset{i\in I}{\cap}}\text{\hspace{0.05em}}{A}_{i}\cap {\displaystyle \underset{i\in {I}^{\prime}}{\cap}}\text{\hspace{0.05em}}{{A}^{\prime}}_{i}.$

By induction on k we prove that for $k=n,\cdots ,0$ the following holds: ${B}_{I}\in G$ for all $I\in {2}^{N}$ with $\left|I\right|=k$ . For $k=n$ this is clearly true since ${B}_{N}\in G$ according to the assumption. Now let $k\in \left\{\mathrm{0,}\cdots \mathrm{,}n-1\right\}$ and assume ${B}_{I}\in G$ for all $I\in {2}^{N}$ with $\left|I\right|>k$ . Further, let $J\in {2}^{N}$ with $\left|J\right|=k$ . Then

$\underset{i\in J}{\cap}}\text{\hspace{0.05em}}{A}_{i}={\displaystyle \underset{K\supseteq J}{\cup}}\text{\hspace{0.05em}}{B}_{K$

and hence

${B}_{J}=\left({\displaystyle \underset{i\in J}{\cap}}\text{\hspace{0.05em}}{A}_{i}\right)\backslash \left({\displaystyle \underset{K\supset J}{\cup}}\text{\hspace{0.05em}}{B}_{K}\right)\in G$

since ${B}_{K}\mathrm{,}K\supset J$ are pairwise disjoint sets belonging to G according to the induction hypothesis and since

$\underset{K\supset J}{\cup}}{B}_{K}\subseteq {\displaystyle \underset{i\in J}{\cap}}\text{\hspace{0.05em}}{A}_{i}\mathrm{.$

This shows ${B}_{I}\in G$ for all $I\in {2}^{N}$ . Because

${A}_{j}={\displaystyle \underset{j\in I\subseteq N}{\cup}}{B}_{I}$

for all $j\in N$ , G consists of all unions of some of the pairwise disjoint sets ${B}_{I}\mathrm{,}I\in {2}^{N}$ and therefore is a Boolean algebra having at most ${2}^{{2}^{n}}$ elements. $\square $

The following example shows that the upper bound ${2}^{{2}^{n}}$ will not always be achieved.

Assume $\left|S\right|=3$ and ${p}_{1}=\left(1,0,1\right)$ , ${p}_{2}=\left(1,1,0\right)$ . Then ${{p}^{\prime}}_{1}=\left(0,1,0\right)$ , ${{p}^{\prime}}_{2}=\left(0,0,1\right)$ and

${{p}^{\prime}}_{1}{{p}^{\prime}}_{2}=\left(0,0,0\right),$

${p}_{1}{{p}^{\prime}}_{2}=\left(0,0,1\right),$

${{p}^{\prime}}_{1}{p}_{2}=\left(0,1,0\right),$

${p}_{1}{p}_{2}=\left(1,0,0\right)$

We therefore obtain

$\langle \left\{{{p}^{\prime}}_{1}{{p}^{\prime}}_{2},{p}_{1}{{p}^{\prime}}_{2},{{p}^{\prime}}_{1}{p}_{2},{p}_{1}{p}_{2}\right\}\rangle ={\left\{0,1\right\}}^{3},$

an eight-element Boolean algebra.

3. Generating Algebras of Arbitrary S-Probabilities

Theorem 10. Let S be a set of states and ${p}_{1}\mathrm{,}\cdots \mathrm{,}{p}_{n}\mathrm{:}S\to \left[\mathrm{0,1}\right]$ numerical events $\ne \mathrm{0,1}$ . If ${p}_{1}\mathrm{,}\cdots \mathrm{,}{p}_{n}\mathrm{,}{{p}^{\prime}}_{1}\mathrm{,}\cdots \mathrm{,}{{p}^{\prime}}_{n}$ are pairwise incomparable then

$\langle \left\{{p}_{1},\cdots ,{p}_{n}\right\}\rangle =\left[\left\{{p}_{1},\cdots ,{p}_{n}\right\}\right]=\left\{0,{p}_{1},\cdots ,{p}_{n},{{p}^{\prime}}_{1},\cdots ,{{p}^{\prime}}_{n},1\right\}\cong {\text{MO}}_{n}.$

Proof. For $q\mathrm{,}r\in \left\{0,{p}_{1},\cdots ,{p}_{n},{{p}^{\prime}}_{1},\cdots ,{{p}^{\prime}}_{n},1\right\}$ , $q\perp r$ is possible only if $0\in \left\{q\mathrm{,}r\right\}$ . $\square $

Let us point out that $p<q$ for two S-probabilities p and q should always mean that $p\le q$ , and at least for one state $s\in S$ we assume $p\left(s\right)<q\left(s\right)$ .

Theorem 11. Let S be a set of states and ${p}_{1}\mathrm{,}\cdots \mathrm{,}{p}_{n-1}\mathrm{:}S\to \left[\mathrm{0,1}\right]$ numerical events satisfying ${p}_{1}+\cdots +{p}_{n-1}\le 1$ and ${p}_{1}\mathrm{,}\cdots \mathrm{,}{p}_{n-1}\mathrm{,1}-{p}_{1}-\cdots -{p}_{n-1}\overline{)\le}1/2$ . Put ${p}_{n}:=1-{p}_{1}-\cdots -{p}_{n-1}$ . Then $\left|S\right|\ge n$ and

$\langle \left\{{p}_{1},\cdots ,{p}_{n-1}\right\}\rangle =\left[\left\{{p}_{1},\cdots ,{p}_{n-1}\right\}\right]=\left\{{\displaystyle \underset{i\in I}{\sum}}\text{\hspace{0.05em}}{p}_{i}|I\subseteq N\right\}$

is a 2^{n}-element Boolean algebra.

Proof. For every $i\in N$ there exists some ${s}_{i}\in S$ with ${p}_{i}\left({s}_{i}\right)\mathrm{>}1/2$ . If $j\mathrm{,}k\in N$ , $j\ne k$ and ${s}_{j}={s}_{k}$ then $1<{p}_{j}\left({s}_{j}\right)+{p}_{k}\left({s}_{j}\right)\le 1$ , a contradiction. This shows that ${s}_{1}\mathrm{,}\cdots \mathrm{,}{s}_{n}$ are pairwise distinct proving $\left|S\right|\ge n$ . Now put

${q}_{I}:={\displaystyle \underset{i\in I}{\sum}}\text{\hspace{0.05em}}{p}_{i}$

for all
$I\in {2}^{N}$ and let
$J\mathrm{,}K\mathrm{,}L\in {2}^{N}$ . If
$J\subseteq K$ then, obviously,
${q}_{J}\le {q}_{K}$ . If
$J\overline{)\subseteq}K$ then there exists some
$j\in J\backslash K$ . If we had
${q}_{J}\perp {q}_{{K}^{\prime}}$ then we would conclude
$2{p}_{j}\le {q}_{J}+{q}_{{K}^{\prime}}\le 1$ contradicting
${p}_{j}\overline{)\le}1/2$ . Hence,
${q}_{J}\overline{)\perp}{q}_{{K}^{\prime}}$ , i.e.,
${q}_{J}\overline{)\le}{q}_{K}$ . Therefore,
$J\subseteq K$ if and only if
${q}_{J}\le {q}_{K}$ . Since
${q}_{{J}^{\prime}}={\left({q}_{J}\right)}^{\prime}$ ,
${q}_{\varnothing}=0$ and
${q}_{N}=1$ we obtain that the mapping
$I\mapsto {q}_{I}$ is an isomorphism from the 2^{n}-element Boolean algebra
$\left({2}^{N}\mathrm{,}\subseteq \mathrm{,}\text{'}\mathrm{,}\varnothing \mathrm{,}N\right)$ onto
$\left(A\mathrm{,}\le \mathrm{,}\text{'}\mathrm{,0,1}\right)$ where
$A:=\left\{{q}_{I}|I\in {2}^{N}\right\}$ , and hence the latter is a 2^{n}-element Boolean algebra, too. Now the following are equivalent:
${q}_{J}\perp {q}_{K}$ ;
${q}_{J}\le {\left({q}_{K}\right)}^{\prime}$ ;
${q}_{J}\le {q}_{{K}^{\prime}}$ ;
$J\subseteq {K}^{\prime}$ ;
$J\cap K=\varnothing $ . Hence
${q}_{J}\perp {q}_{K}$ if and only if
$J\cap K=\varnothing $ . If, therefore,
${q}_{J}\mathrm{,}{q}_{K}\mathrm{,}{q}_{L}$ are pairwise orthogonal then
$J\mathrm{,}K\mathrm{,}L$ will be pairwise disjoint and hence
${q}_{J}+{q}_{K}+{q}_{L}={q}_{J\cup K\cup L}\in A$ . This shows that A is an algebra of S-probabilities. If B is a GFE containing
${p}_{1}\mathrm{,}\cdots \mathrm{,}{p}_{n-1}$ then
${p}_{1}\mathrm{,}\cdots \mathrm{,}{p}_{n}\in B$ . Thus
$A\subseteq B$ completing the proof of the theorem.
$\square $

Remark. If $S=\left\{{s}_{1},\cdots ,{s}_{n}\right\}$ and ${p}_{1}\mathrm{,}\cdots \mathrm{,}{p}_{n-1}\mathrm{:}S\to \left[\mathrm{0,1}\right]$ are numerical events satisfying ${p}_{1}+\cdots +{p}_{n-1}\le 1$ and ${p}_{1}\left({s}_{1}\right)\mathrm{,}\cdots \mathrm{,}{p}_{n-1}\left({s}_{n-1}\right)\mathrm{,}\left(1-{p}_{1}-\cdots -{p}_{n-1}\right)\left({s}_{n}\right)>1/2$ then the assumptions of Theorem 11 are satisfied.

For example, consider a four-element set S,

${p}_{1}=\left(0.6,0.1,0.2,0.2\right),$

${p}_{2}=\left(0.1,0.7,0.1,0.1\right),$

${p}_{3}=\left(0.2,0.1,0.6,0.1\right).$

Then ${p}_{4}=\left(0.1,0.1,0.1,0.6\right)$ and we obtain

$\langle \left\{{p}_{1},{p}_{2},{p}_{3}\right\}\rangle =\left\{{\displaystyle \underset{i\in I}{\sum}}\text{\hspace{0.05em}}{p}_{i}|I\subseteq \left\{1,2,3,4\right\}\right\},$

a 16-element Boolean algebra.

Remark. A special case of Theorem 7, which refers to S-probabilities that can only assume the values 0 and 1, can be deduced from Theorem 11 as follows: Let $S=\left\{{s}_{1},\cdots ,{s}_{n}\right\}$ and

${p}_{i}\left({s}_{j}\right)=\{\begin{array}{ll}1\hfill & \text{if}\text{\hspace{0.17em}}i=j\hfill \\ 0\hfill & \text{otherwise}\hfill \end{array}$

( $1\le i<n$ ; $j\in N$ ). Then ${p}_{1}\mathrm{,}\cdots \mathrm{,}{p}_{n-1}\mathrm{,1}-{p}_{1}-\cdots -{p}_{n-1}\overline{)\le}1/2$ .

Theorem 12. Let S be a set of states and ${p}_{1}\mathrm{,}\cdots \mathrm{,}{p}_{n-1}\mathrm{:}S\to \left[\mathrm{0,1}\right]$ numerical events with $0<{p}_{1}<\cdots <{p}_{n-1}<1$ . Put ${p}_{0}:=1$ and ${p}_{n}:=1$ and assume ${p}_{i}-{p}_{i-1}\overline{)\le}1/2$ for all $i\in N$ . Then $\left|S\right|\ge n$ and

$\langle \left\{{p}_{1},\cdots ,{p}_{n-1}\right\}\rangle =\left[\left\{{p}_{1},\cdots ,{p}_{n-1}\right\}\right]=\left\{{\displaystyle \underset{i\in I}{\sum}}\left({p}_{i}-{p}_{i-1}\right)|I\subseteq N\right\}$

is a 2^{n}-element Boolean algebra.

Proof. Put ${q}_{i}:={p}_{i}-{p}_{i-1}$ for all $i\in N$ . Then for every $i\in N$ there exists some ${s}_{i}\in S$ with ${q}_{i}\left({s}_{i}\right)>1/2$ . If $j\mathrm{,}k\in N$ , $j<k$ and ${s}_{j}={s}_{k}$ then

$\frac{1}{2}<{q}_{k}\left({s}_{k}\right)\le 1-{p}_{k-1}\left({s}_{j}\right)\le 1-{p}_{j}\left({s}_{j}\right)\le 1-{q}_{j}\left({s}_{j}\right)<1-\frac{1}{2}=\frac{1}{2},$

a contradiction. This shows that ${s}_{1}\mathrm{,}\cdots \mathrm{,}{s}_{n}$ are pairwise distinct proving $\left|S\right|\ge n$ . Now put

${r}_{I}:={\displaystyle \underset{i\in I}{\sum}}\text{\hspace{0.05em}}{q}_{i}$

for all
$I\in {2}^{N}$ and let
$J\mathrm{,}K\mathrm{,}L\in {2}^{N}$ . If
$J\subseteq K$ then, obviously,
${r}_{J}\le {r}_{K}$ . Next assume
$J\overline{)\subseteq}K$ . Then there exists some
$j\in J\backslash K$ . If we had
${r}_{J}\perp {{r}^{\prime}}_{K}$ then we would conclude
$2{q}_{j}\le {r}_{J}+{{r}^{\prime}}_{K}\le 1$ contradicting
${q}_{j}\overline{)\le}1/2$ . Hence,
${r}_{J}\overline{)\perp}{{r}^{\prime}}_{K}$ , i.e.,
${r}_{J}\overline{)\le}{r}_{K}$ . Consequently,
$J\subseteq K$ if and only if
${r}_{J}\le {r}_{K}$ . Since
${r}_{{J}^{\prime}}={\left({r}_{J}\right)}^{\prime}$ ,
${r}_{\varnothing}=0$ and
${r}_{N}=1$ we obtain that the mapping
$I\mapsto {r}_{I}$ is an isomorphism from the 2^{n}-element Boolean algebra
$\left({2}^{N}\mathrm{,}\subseteq \mathrm{,}\text{'}\mathrm{,}\varnothing \mathrm{,}N\right)$ onto
$\left(A\mathrm{,}\le \mathrm{,}\text{'}\mathrm{,0,1}\right)$ where
$A:=\left\{{r}_{I}|I\in {2}^{N}\right\}$ , and hence the latter is a 2^{n}-element Boolean algebra, too. Now the following are equivalent:
${r}_{J}\perp {r}_{K}$ ;
${r}_{J}\le {\left({r}_{K}\right)}^{\prime}$ ;
${r}_{J}\le {r}_{{K}^{\prime}}$ ;
$J\subseteq {K}^{\prime}$ ;
$J\cap K=\varnothing $ . Hence
${r}_{J}\perp {r}_{K}$ if and only if
$J\cap K=\varnothing $ . If, therefore,
${r}_{J}\mathrm{,}{r}_{K}\mathrm{,}{r}_{L}$ are pairwise orthogonal then
$J\mathrm{,}K\mathrm{,}L$ are pairwise disjoint and accordingly
${r}_{J}+{r}_{K}+{r}_{L}={r}_{J\cup K\cup L}\in A$ . This shows that A is an algebra of S-probabilities. If B is a GFE containing
${p}_{1}\mathrm{,}\cdots \mathrm{,}{p}_{n-1}$ then
${p}_{0}\mathrm{,}\cdots \mathrm{,}{p}_{n}\in B$ and
${q}_{i}={\left({p}_{i-1}+{{p}^{\prime}}_{i}\right)}^{\prime}\in B$ for all
$i\in N$ . Thus
$A\subseteq B$ completing the proof of the theorem.
$\square $

Remark. If $S=\left\{{s}_{1},\cdots ,{s}_{n}\right\}$ and ${p}_{1}\mathrm{,}\cdots \mathrm{,}{p}_{n-1}\mathrm{:}S\to \left[\mathrm{0,1}\right]$ are numerical events satisfying $0<{p}_{1}<\cdots <{p}_{n-1}<1$ and $\left({p}_{i}-{p}_{i-1}\right)\left({s}_{i}\right)\nleqq 1/2$ for $i\in N$ where ${p}_{0}:=0$ and ${p}_{n}:=1$ then the assumptions of Theorem 12 are satisfied.

To illustrate this remark, again we choose $\left|S\right|=4$ and consider the numerical events

${p}_{1}=\left(\mathrm{0.7,0.1,0.1,0.2}\right)\mathrm{,}$

${p}_{2}=\left(0.8,0.7,0.2,0.3\right),$

${p}_{3}=\left(\mathrm{0.9,0.8,0.8,0.4}\right)\mathrm{.}$

With ${p}_{0}:=\left(0,0,0,0\right)$ , ${p}_{4}:=\left(1,1,1,1\right)$ we then obtain

${p}_{1}-{p}_{0}=\left(0.7,0.1,0.1,0.2\right),$

${p}_{2}-{p}_{1}=\left(0.1,0.6,0.1,0.1\right),$

${p}_{3}-{p}_{2}=\left(0.1,0.1,0.6,0.1\right),$

${p}_{4}-{p}_{3}=\left(0.1,0.2,0.2,0.6\right)$

and

$\langle \left\{{p}_{1}\mathrm{,}{p}_{2}\mathrm{,}{p}_{3}\right\}\rangle =\left\{{\displaystyle \underset{i\in I}{\sum}}\left({p}_{i}-{p}_{i-1}\right)|I\subseteq \left\{\mathrm{1,2,3,4}\right\}\right\}\mathrm{,}$

a 16-element Boolean algebra.

Remark. A special case of Theorem 8, which refers to S-probabilities that can only assume the values 0 and 1, can be deduced from Theorem 12 as follows: Let $S=\left\{{s}_{1},\cdots ,{s}_{n}\right\}$ and

${p}_{i}\left({s}_{j}\right)=\{\begin{array}{ll}1\hfill & \text{if}\text{\hspace{0.17em}}j\le i\hfill \\ 0\hfill & \text{otherwise}\hfill \end{array}$

( $1\le i<n$ ; $j\in N$ ). Put ${p}_{0}:=0$ and ${p}_{n}:=1$ . Then

$\left({p}_{i}-{p}_{i-1}\right)\left({s}_{j}\right)=\{\begin{array}{ll}1\hfill & \text{if}\text{\hspace{0.17em}}j=i\hfill \\ 0\hfill & \text{otherwise}\hfill \end{array}$

( $i\mathrm{,}j\in N$ ) and therefore ${p}_{i}-{p}_{i-1}\overline{)\le}1/2$ for all $i\in N$ .

Though products of arbitrary numerical events do not suggest themselves for a physical interpretation but only for S-probabilities with values 0 and 1 where they represent the meet of events, we can prove an analogue to Theorem 9 for a wider class of numerical events.

Theorem 13. Let S be a set of states and ${p}_{1}\mathrm{,}\cdots \mathrm{,}{p}_{n}\mathrm{:}S\to \left[\mathrm{0,1}\right]$ numerical events and assume

$\underset{i\in I}{\prod}}{p}_{i}{\displaystyle \underset{i\in {I}^{\prime}}{\prod}}{{p}^{\prime}}_{i}\overline{)\le}\frac{1}{2$

for all $I\subseteq N$ . Then

$\langle \left\{{\displaystyle \underset{i\in I}{\prod}}{p}_{i}|I\subseteq N\right\}\rangle =\left[\left\{{\displaystyle \underset{i\in I}{\prod}}{p}_{i}|I\subseteq N\right\}\right]=\left\{{\displaystyle \underset{I\in T}{\sum}}{\displaystyle \underset{i\in I}{\prod}}{p}_{i}{\displaystyle \underset{i\in {I}^{\prime}}{\prod}}{{p}^{\prime}}_{i}|T\subseteq \mathcal{P}\left(N\right)\right\}$

is a ${2}^{{2}^{n}}$ -element Boolean algebra.

$\left({\displaystyle \underset{i\in \varnothing}{\prod}}{p}_{i}:=1\right)$

Proof. Put

${q}_{I}:={\displaystyle \underset{i\in I}{\prod}}{p}_{i}{\displaystyle \underset{i\in {I}^{\prime}}{\prod}}{{p}^{\prime}}_{i}$

for all $I\in {2}^{N}$ and

${r}_{T}:={\displaystyle \underset{I\in T}{\sum}}\text{\hspace{0.05em}}{q}_{I}$

for all $T\in {2}^{{2}^{N}}$ . Let $U\mathrm{,}V\mathrm{,}W\in {2}^{{2}^{N}}$ . If $U\subseteq V$ then, obviously, ${r}_{U}\le {r}_{V}$ . Assume $U\overline{)\subseteq}V$ . Then there exists some $J\in U\backslash V$ . If we had ${r}_{U}\perp {r}_{{V}^{\prime}}$ then we would conclude $2{q}_{J}\le {r}_{U}+{r}_{{V}^{\prime}}\le 1$ contradicting ${q}_{J}\overline{)\le}1/2$ . Hence, ${r}_{U}\overline{)\perp}{r}_{{V}^{\prime}}$ , i.e., ${r}_{U}\overline{)\le}{r}_{V}$ . Therefore, $U\subseteq V$ if and only if ${r}_{U}\le {r}_{V}$ . Now we have

$\underset{I\in {2}^{N}}{\sum}}{q}_{I}={\displaystyle \underset{I\in {2}^{N}}{\sum}}{\displaystyle \underset{i\in I}{\prod}}{p}_{i}{\displaystyle \underset{i\in {I}^{\prime}}{\prod}}{{p}^{\prime}}_{i}={\displaystyle \underset{i\in N}{\prod}}\left({p}_{i}+{{p}^{\prime}}_{i}\right)=1.$

Since ${r}_{{U}^{\prime}}={\left({r}_{U}\right)}^{\prime}$ , ${r}_{\varnothing}=0$ and ${r}_{{2}^{N}}=1$ we obtain that the mapping $T\mapsto {r}_{T}$

is an isomorphism from the ${2}^{{2}^{n}}$ -element Boolean algebra $\left({2}^{{2}^{N}}\mathrm{,}\subseteq \mathrm{,}\text{'}\mathrm{,}\varnothing {\mathrm{,2}}^{N}\right)$

onto $\left(A\mathrm{,}\le \mathrm{,}\text{'}\mathrm{,0,1}\right)$ where $A:=\left\{{r}_{T}|T\in {2}^{{2}^{N}}\right\}$ and accordingly the latter is a ${2}^{{2}^{n}}$ - element Boolean algebra, too. Henceforth the following are equivalent: ${r}_{U}\perp {r}_{V}$ ; ${r}_{U}\le {\left({r}_{V}\right)}^{\prime}$ ; ${r}_{U}\le {r}_{{V}^{\prime}}$ ; $U\subseteq {V}^{\prime}$ ; $U\cap V=\varnothing $ . It follows that ${r}_{U}\perp {r}_{V}$ if and only if $U\cap V=\varnothing $ . If, therefore, ${r}_{U}\mathrm{,}{r}_{V}\mathrm{,}{r}_{W}$ are pairwise orthogonal then $U\mathrm{,}V\mathrm{,}W$ are pairwise disjoint and consequently ${r}_{U}+{r}_{V}+{r}_{W}={r}_{U\cup V\cup W}\in A$ . This shows that A is an algebra of S-probabilities. Now let B be a GFE containing

$\underset{i\in I}{\prod}}{p}_{i$

for all $I\in {2}^{N}$ . By induction on k we prove that for $k=n,\cdots ,0$ the following holds: ${q}_{I}\in B$ for all $I\in {2}^{N}$ with $\left|I\right|=k$ . For $k=n$ this is clearly true since ${q}_{N}\in B$ according to the assumption. Let $k\in \left\{\mathrm{0,}\cdots \mathrm{,}n-1\right\}$ and assume ${q}_{I}\in G$ for all $I\in {2}^{N}$ with $\left|I\right|>k$ . Let $J\in {2}^{N}$ with $\left|J\right|=k$ . Then

$\underset{K\supseteq J}{\sum}}{q}_{K}={\displaystyle \underset{K\supseteq J}{\sum}}{\displaystyle \underset{i\in K}{\prod}}{p}_{i}{\displaystyle \underset{i\in {K}^{\prime}}{\prod}}{{p}^{\prime}}_{i}={\displaystyle \underset{i\in J}{\prod}}{p}_{i}{\displaystyle \underset{i\in {J}^{\prime}}{\prod}}\left({p}_{i}+{{p}^{\prime}}_{i}\right)={\displaystyle \underset{i\in J}{\prod}}{p}_{i$

and hence

${q}_{J}={\displaystyle \underset{i\in J}{\prod}}{p}_{i}-{\displaystyle \underset{K\supset J}{\sum}}{q}_{K}\in B$

since ${q}_{K}\mathrm{,}K\supset J$ are pairwise orthogonal elements of B according to the induction hypothesis and since

$\underset{K\supset J}{\sum}}{q}_{K}\le {\displaystyle \underset{i\in J}{\prod}}{p}_{i}\mathrm{.$

This proves ${q}_{I}\in B$ for all $I\in {2}^{N}$ and because ${q}_{I}\mathrm{,}I\in {2}^{N}$ are pairwise orthogonal we obtain ${r}_{T}\in B$ for all $T\in {2}^{{2}^{N}}$ , i.e. $A\subseteq B$ completing the proof of the theorem. $\square $

Remark. A special case of Theorem 9, which refers to S-probabilities that can only assume the values 0 and 1, can be deduced from Theorem 13 as follows: Let $S=\left\{{s}_{I}|I\subseteq N\right\}$ and

${p}_{i}\left({s}_{J}\right)=\{\begin{array}{ll}1\hfill & \text{if}\text{\hspace{0.17em}}i\in J\hfill \\ 0\hfill & \text{otherwise}\hfill \end{array}$

( $i\in N$ ; $J\subseteq N$ ). Then

$\left({\displaystyle \underset{i\in I}{\prod}}{p}_{i}\right)\left({s}_{J}\right)=\{\begin{array}{ll}1\hfill & \text{if}\text{\hspace{0.17em}}I\subseteq J\hfill \\ 0\hfill & \text{otherwise}\hfill \end{array}$

and

$\left({\displaystyle \underset{i\in I}{\prod}}{p}_{i}{\displaystyle \underset{i\in {I}^{\prime}}{\prod}}{{p}^{\prime}}_{i}\right)\left({s}_{J}\right)=\{\begin{array}{ll}1\hfill & \text{if}\text{\hspace{0.17em}}J=I\hfill \\ 0\hfill & \text{otherwise}\hfill \end{array}$

for all $I\mathrm{,}J\subseteq N$ and hence

$\underset{i\in I}{\prod}}{p}_{i}{\displaystyle \underset{i\in {I}^{\prime}}{\prod}}{{p}^{\prime}}_{i}\overline{)\le}\frac{1}{2$

for all $I\subseteq N$ .

4. Examples from Physics

The first example will illustrate the well known quantum mechanical features adherent to Stern-Gerlach experiments by means of S-probabilities.

We consider electrons from an electronic source which have two states, namely “spin up” and “spin down”. Representing the spin as a two-dimensional vector within an orthogonal x, y-coordinate system one can project the spin-vector to the x- and y-axis, this way obtaining an x- and y-component of the spin-vector, which on their parts then have two states, namely “spin up” and “spin down”, in symbols $x\uparrow $ , $x\downarrow $ and $y\uparrow $ , $y\downarrow $ , respectively.

We assume that the electronic beam is transmitted through three consecutive Stern-Gerlach apparatuses A_{1}, A_{2}, A_{3} each of which splits a component of the beam into two, namely one with “spin up” and one with “spin down” and then blocks a component from further output: A_{1} splits the x-component into beams with
$x\uparrow $ and
$x\downarrow $ and then blocks the beam with
$x\downarrow $ , A_{2} splits the y-component into
$y\uparrow $ ,
$y\downarrow $ and blocks
$y\downarrow $ ,
${A}_{3}$ splits x-components again into
$x\uparrow $ ,
$x\downarrow $ and blocks out
$x\uparrow $ . Let us denote the state of the beam between the source and A_{1} by s_{1}, let s_{2} refer to the state of the beam between A_{1} and A_{2}, denote the state between A_{2} and A_{3} by s_{3} and after A_{3} by s_{4} (see Figure 2).

Taking measurements of the spin one observes that a second measurement

Figure 2. Stern-Gerlach experiment.

always erases the first, which with the experiment at hand means that if a component is blocked by one apparatus it will show up again after having been transmitted through a second apparatus.

Now, let p be the probability that the beam consists of electrons with $x\uparrow $ and $y\downarrow $ and q the probability that this is the case for electrons with $x\downarrow $ and $y\downarrow $ . According to our arrangement we then obtain

$\left(p\left({s}_{1}\right),p\left({s}_{2}\right),p\left({s}_{3}\right),p\left({s}_{4}\right)\right)=\left(1,1,0,0\right),$

$\left(q\left({s}_{1}\right),q\left({s}_{2}\right),q\left({s}_{3}\right),q\left({s}_{4}\right)\right)=\left(1,0,0,1\right).$

Since
$p\mathrm{,}q\mathrm{,}{p}^{\prime}\mathrm{,}{q}^{\prime}$ are pairwise incomparable the GFE generated by
$\left\{p\mathrm{,}q\right\}$ is isomorphic to MO_{2}, as one can ascertain by Proposition 5. (The probabilities (1, 1, 1, 1) and (0, 0, 0, 0) can be interpreted as observing something and nothing, respectively.) Having found MO_{2} underscores the fact that we are not concerned with a classical mechanical problem and that there is a logical aspect associated with the proceeding of the experiment (due to an underlying quantum logic).

The second example is based on a simple experiment described in [1] and serves to demonstrate the difference between generating GFEs and algebras of S-probabilities:

Consider a coin with faces H (heads) and T (tails) in a box with a window in the upper side such that one can look in. The box is carried from one table (table I)―its state there should be s_{1}―to a second table (table II), where the box is assumed to be in state s_{2}. During the process of transporting the box the face of the coin may change. Let p be the relative frequency that the face changes from a given position on table I, let us say it should always be H, to T. If measurements show that due to a certain asymmetry of the coin the relative frequency b that the coin shows T on table II is very high, certainly strictly above 1/2, we will obtain
$\left(p\left({s}_{1}\right),p\left({s}_{2}\right)\right)=\left(\mathrm{0,}b\right)$ , a proper numerical event. Now by Proposition 5 with
$q=0$ ,
$\left[\left\{p\right\}\right]$ is a Boolean algebra, what we will definitely expect. But next let us change the assumption that
$b>1/2$ to
$b=1/2$ , what cannot actually be measured (only assumed). Then
$\left(p\left({s}_{1}\right),p\left({s}_{2}\right)\right)=\left(\mathrm{0,}1/2\right)$ is not a proper S-probability anymore, so that we can only consider the GFE
$P:=\langle \left\{p\right\}\rangle $ instead of
$\left[\left\{p\right\}\right]$ . As one can easily verify, P is a lattice with six elements and not a Boolean algebra. Whether there is any indication for a quantum process cannot be said, what we can only derive from this result is that more information would be necessary or that the process can't be properly described by the structure of observed numerical events.

As also already discussed in [1] , but from a different point of view, we next consider the states s_{1}, s_{2} of a photon linearly polarized along two orthogonal axes (and propagating in a direction orthogonal to the plane E spanned by these axes). Fixing an orthogonal x,y-coordinate system and introducing a new x_{α}, y_{α}-coordinate system in E by rotating the x-and y-axes by an angle α one obtains that the transmission probability in the direction of the x_{α}-coordinate will be
$co{s}^{2}\left(\alpha \right)=\mathrm{:}{p}_{\alpha}\left({s}_{1}\right)$ and in the direction of the y_{α}-coordinate
$1-{\mathrm{cos}}^{2}\left(\alpha \right)=:{p}_{\alpha}\left({s}_{2}\right)$ .

If we pick only one angle
$\alpha \ne \text{\pi}/4$ for a measurement besides considering the S-probability
$\left(\mathrm{0,0}\right)$ which can be interpreted as observing nothing and
$\left(\mathrm{1,1}\right)$ which can be dealt as seeing everything, this will not render enough information to decide about classicality and non-classicality, because then according to Theorem 10 we would obtain a four-element Boolean algebra, namely MO_{1} (contrary to the well known fact that one deals with a quantum situation.) Picking
$\alpha =\text{\pi}/4$ for an only measurement yields
${p}_{\text{\pi}/4}=\left(1/2,1/2\right)$ , hence
${{p}^{\prime}}_{\text{\pi}/4}={p}_{\text{\pi}/4}$ accounting for a GFE which is a three-element chain and no Boolean algebra indeed. But still, with a practical experiment the position of the polarizer cannot be assumed to be π/4 with 100% security so one has to take into account at least two angles α different from 0, π/2 and π/4, which give rise to M_{n} (or theoretically)
${M}_{\infty}$ . If one furthermore adds
${p}_{\text{\pi}/4}$ to these sets of numerical events one obtains GFEs which will suggest the non-classicality of the experiment at hand.

5. Conclusions and Suggestions

In 1991 the physicist E. Beltrametti and the mathematician M. Maczyński introduced the notion of a numerical event, i.e. S-probability. Their goal was to provide an approach to quantum mechanics devoid of the necessity to know something about the structure of events pertaining to a physical experiment (cf. [1] ). (If one first described events and next measured them in various states then one would have to know the logical structure of events from the beginning or assumed axiomatically.)

In the years that followed, properties of algebras of S-probabilities and generalizations of them have been thoroughly studied, mainly from the algebraic point of view (cf. [2] [3] and [5] [6] [7] [8] [9] ). In particular, many characterizations were found for an algebra of S-probabilities to be a Boolean algebra or to be embeddable into a Boolean algebra, both cases in which classicality of the system can be assumed. However, for those characterizations the existence of certain S-probabilities has to be secured which in general means that further measurements have to be carried out.

In our approach we refrained from possibly requiring further information by measurements and investigated the structures that arise when generated by the S-probabilities on hand. We studied various relations between the given S-probabilities like incompatibility, orthogonality or a special order. Beginning with numerical events that can only assume the values 0 and 1 and then generalizing our findings to arbitrary S-probabilities we gained some insight into the logical structure induced by a given set of measurements and this way obtained a clue for classicality or non-classicality.

What remains to be investigated is the influence of the cardinality of S, the number of the possible states of a system, the assumption of a more complex relationship between the given S-probabilities, like certain correlations between the multidimensional probabilities or more general kinds of their partial order, and the application of the prospective results to concrete physical problems.

Acknowledgements

Support of the research of the second author by the Austrian Science Fund (FWF), project I 1923-N25, by ÖAD, project CZ 04/2017 and by IGA, project PřF 2018 012, is gratefully acknowledged, and both authors are indebted to the Institute of Discrete Mathematics and Geometry of the TU Wien for covering APCs.

Conflicts of Interest

The authors declare no conflicts of interest.

[1] |
Beltrametti, E.G. and Maczyński, M.J. (1991) On a Characterization of Classical and Nonclassical Probabilities. Journal of Mathematical Physics, 32, 1280-1286. https://doi.org/10.1063/1.529326 |

[2] |
Beltrametti, E.G. and Maczyński, M.J. (1993) On the Characterization of Probabilities: A Generalization of Bell’s Inequalities. Journal of Mathematical Physics, 34, 4919-4929. https://doi.org/10.1063/1.530333 |

[3] | Dorninger D. ,et al. (2012)On the Structure of Generalized Fields of Events Contributions to General Algebra 20, 29-34. |

[4] | Maczyński, M.J. and Traczyk, T. (1973) A Characterization of Orthomodular Partially Ordered Sets Admitting a Full Set of States, Bulletin de l'Académie Polonaise des Sciences. Série des Sciences Mathématiques, Astronomiques et Physiques, 21, 3-8. |

[5] |
Dorfer, G., Dorninger, D. and Länger, H. (2010) On Algebras of Multidimensional Probabilities. Mathematica Slovaca, 60, 571-582. https://doi.org/10.2478/s12175-010-0032-8 |

[6] | Dorfer, G., Dorninger, D. and Länger, H. (2010) On the Structure of Numerical Event Spaces. Kybernetica, 46, 971-981. |

[7] | Dorninger, D. and Länger, H. (2009) On a Characterization of Physical Systems by Spaces of Numerical Events. ARGESIM Report, 35, 601-607. |

[8] |
Dorninger, D. and Länger, H. (2013) Testing for Classicality of a Physical System. International Journal of Theoretical Physics, 52, 1141-1147. https://doi.org/10.1007/s10773-012-1429-7 |

[9] |
Dorninger, D. and Länger, H. (2014) Probability Measurements Characterizing the Classicality of a Physical System. Reports on Mathematical Physics, 73, 127-135. https://doi.org/10.1016/S0034-4877(14)60036-7 |

[10] |
Pták, P. (2000) Concrete Quantum Logics. International Journal of Theoretical Physics, 39, 827-837. https://doi.org/10.1023/A:1003626929648 |

Journals Menu

Contact us

+1 323-425-8868 | |

customer@scirp.org | |

+86 18163351462(WhatsApp) | |

1655362766 | |

Paper Publishing WeChat |

Copyright © 2024 by authors and Scientific Research Publishing Inc.

This work and the related PDF file are licensed under a Creative Commons Attribution 4.0 International License.