Conditional Events and Quantum Logic

This paper begins with an overview 
of quantum mechanics, and then recounts a relatively recent algebraic extension 
of the Boolean algebra of probabilistic events to “conditional events” (order 
pairs of events). The main point is to show that a so-called “superposition” of 
two (or more) quantum events (usually with mutually inconsistent initial 
conditions) can be represented in this algebra of conditional events and 
assigned a consistent conditional probability. There is no need to imagine that 
a quantum particle can simultaneously straddle two inconsistent possibilities.


Introduction
Perhaps the first thing to say about quantum mathematics is that it is about variables with a finite number of possible values, not continuous variables. Energy as exhibited by A. Einstein [1] exists and is emitted only in certain fixed quantum amounts or multiples thereof, not in fractional or continuous amounts thereof.

Energy Quanta
For a photon (particle of light), the energy E equals Plank's constant h times the frequency (color) f of the photon. A blue photon with frequency f b has more energy hf b than does a red photon with frequency f r and the positive difference is (f b -f r )h.
Since there must be a smallest energy value hf o for a photon the respective frequencies of the blue and red photons must be multiples of this lowest photon frequency f o .
range is proportionately huge. The human eye sees only one octave of color frequencies, but the ear senses lower ones while the whole body feels still lower frequency vibrations.
Although contemporary theory regards photons as having zero mass, they do carry a potential impact as shown by comets; their wispy (gaseous) tails always point away from the sun.
To represent the energy of a spinning or orbiting particle, a vector is needed so as to include both the orientation of the spin (or orbital) axis and also the magnitude of that angular energy of spin (or orbit). And indeed von Neumann and Birkhoff [2] formulated the current standard quantum logic in terms of a vector space-a complete, normed, inner-product space.

Heisenberg Indeterminacy
Another basic principle of quantum mechanics is the Heisenberg Indeterminacy Principal [3]. It arises from the way that present methods of measurements in the quantum world, whether by particle emission or reflection, disturb the quantum object being measured. Therefore, determining the values of certain pairs of variables, like the position and velocity of a particle, requires measurements that typically disturb the object being observed, thereby limiting the precision of the simultaneous measurement of the other variable. A position measurement changes the velocity of the particle; a velocity measurement changes the expected position of the particle.
However, this is a measurement technique ambiguity, purely epistemological.
It does not mean that the position and velocity cannot be simultaneously known in principle, just not with the information and measurement methods available.
For a particle, various alternate possibilities are mutually exclusive. They are not all "somewhat true" at the same time! Our lack of knowledge about the position and velocity does not imply there is no actual position and velocity. There is no need to imagine some kind of "superposition" of states all of which simultaneously exist with probabilities. But that is what is presently said.

Quantum Entanglement
An important distinction to make in quantum mechanics is between the Heisenberg Indeterminacy Principle and the so-called quantum "entanglement phenomena". and John Bell's Theorem [7] as illuminated by N. D. Mermin [8] provide crucial insights into the nature of the mysterious entanglement phenomena of quantum mechanics. In one interpretation, trajectories and spin states of quantum par-Journal of Applied Mathematics and Physics ticles are influenced by certain energy waves discovered by Schrödinger [9] but later conceptually combined with the associated particles and called "wavicles" and more recently "strings". These later conceptions were designed to instantaneously bridge great distances without influences being conveyed by faster-than-light wave intermediation. Rather than imagining "a faster-than-light, (pre-mass) energy wave reaction to a particle's motion", contemporary theory imagines "a faster-than-light collapse of a space-extended particle-wave from all directions to the location of a measurement". Some kind of instantaneous influence across space is impossible to avoid.
Quantum ambiguities due to Heisenberg's Indeterminacy Principal added to these mysterious measurement correlations of entanglement [10]- [15] and resulted in quantum mechanical "physical states" becoming quantum probability distributions. Physical predictions morphed into probability statements about energy distributions. And that is pretty much where things now stand.

Particle Properties and Local Reality
But does not a particle have an actual position and velocity? According to the de Broglie-Bohm interpretation [12], [15] of Schrödinger's quantum waves, particles have local properties of spin, and the waves merely carry influences at speeds faster than light.
The interference patterns, incrementally assembled by individual particle trajectories through the 2-slit apparatus suggested that somehow each particle was going through both slits! But experiments later confirmed (See [4], pp. 1-7) that each particle indeed went through one but not both slits. Somehow those particles accumulated an interference pattern rather than an independent scatter-shot distribution centered behind each slit.
Combined with Heisenberg Indeterminacy, the ambiguities of entanglement posed a difficult modeling problem. But von J. Neumann knew the experiments so well that he and G. Birkhoff were able to do it with what is now called Hilbert space-a complete, normed, inner product space.
The indeterminacy ambiguity complicated by the entanglement phenomena led to the notion that quantum particles routinely somehow simultaneously occupy two or more mutually inconsistent states. This hypothetical physical state is called a "superposition", a combination of alternate but inconsistent states or trajectories. This prompted that famous question by Einstein et al. [16] about whether a certain cat was dead or alive, or both dead and alive.

Conditioning in Logic versus Probability
The mathematical modeling problem posed by these physical and measurement phenomena was exacerbated by the lack, both in logic and probability theory, of an adequate algebraic conditioning relation. B. Russell's [17] "material implication" over-simplified implication by assuming that a conditional statement that is not false must be true. Although that is adequate for doing 2-valued logic, Journal of Applied Mathematics and Physics probability theory clearly cannot count as true those instances for which the premise (condition) of a statement is false. A collection of alternate physical conditions each potentially leading to other specific states has no way of being algebraically expressed in standard Boolean logic nor as an event in standard probability theory. For instance, if A, B, C and D are uncertain probabilistic events, the construction "(A if B) or (C if D)" is neither a Boolean object nor a probabilistic event, but it certainly makes sense as an English statement.
In probability theory, the conditional probability P(A|B), of an event A given that an event B also occurs, is defined to be P(A and B)/P(B), and it measures the probability of A in the context of the occurrence of B. But the conditional event "A if B" is not an event in standard probability theory, and neither are combinations of such conditionals unless the conditions are equivalent. Therefore both standard Boolean logic and the standard algebra of probabilistic events are missing a 4th operation-conditioning.
Although constructions such as "(A if B) or (C if not B)" have been assigned probabilities in quantum logic, and elsewhere, the underlying algebraic structure has heretofore been incapable of supporting the calculation. So the idea of a "superposition" of mutually inconsistent events was invented as though a particle could somehow simultaneously be in some ambiguous "combination state" of two or more incompatible events, as though the hypothetical cat could be somewhat dead and somewhat alive.
Such mental acrobatics are no longer necessary. The de Broglie-Bohm interpretation of quantum mechanics allows particles to have definite local properties at the cost of including faster-than-light "space force interference reactions" to particle motions in space.
The main purpose of this paper is to show that the so-called superposition of two or more alternative initial conditions (states) can be represented in the author's relatively new algebraic system of "conditional events" [18] and that such constructions can be assigned a consistent probability.
Conditional events are fractions (order pairs) of probabilistic events or Boolean propositions that can consistently carry conditional probabilities. They can also be combined by "or", "and", "not" and "conditioning" like two numerical fractions can be added, multiplied, negated and divided one by the other to get an equivalent fraction. And this extension of Boolean algebra to non-Boolean "conditional events" can represent disjunctions (or) of alternative particle trajectories and assign them consistent probabilities. Thus as far as superposition's are concerned, there is no need to imagine anything more than alternative conditions, only one of which need apply, that is, be factually existent. Journal of Applied Mathematics and Physics correspond to "union", "intersection" and "complement" ( ∪ , ∩ , ') in probability.

A Framework for Logic and Probability
A model of a given logic is a realization of the axioms of the logic in which each proposition expressible in the logic is either true or false. For instance, a dog is a model (example) of a four-legged animal. A proposition "able to climb trees" may be true in one model and false in another just as a probabilistic event may occur in one instance and not occur in another. However, by the definition of a logical model [19] or probabilistic instance, every proposition is either true in the model or it is false in that model. A probabilistic event B either contains a specific instance (occurs), or it doesn't occur.

Conditional Events and Conditional Propositions
Analogous to how integer fractions are constructed, ordered pairs of events and associated propositions can be defined.
Let B be a Boolean algebra of propositions or events, and let (B|B) denote the set of ordered pairs, {(a|b): a, b in B }, called the set of conditionals, "a given b" of B. The proposition or event "b" is called the condition or given event, and the proposition or event "a" is called the consequent or conclusion, the proposition "a" in the context of b.

Equivalent Conditionals
Two conditional statements (a|b) and (c|d) are defined to be equivalent (=) pro- where juxtaposition, "ab", denotes " a b ∧ ", that is, "a and b".
In other words, two conditionals are equivalent when they have equivalent premises and their conclusions are equivalent assuming that common premise.

Truth-Values of Conditionals
Thus, in any instance a conditional (a|b) can have any one of 3 truth-values: (a|b) is true if a is true and b is true; (a|b) is false if a is false and b is true; Thus, (a|b) is true on a b ∧ , false on a b ′ ∧ , and inapplicable on b'. Note that (a|b) has the truth-value of "a" when condition b is true, but is inapplicable when b is false.
We frequently encounter such inapplicable conditional statements or questions in everyday life. Consider a questionnaire that asks, "If you served in the military then were you in the navy?" or "If you own a pet then do you feed table scraps?" These questions cannot be accurately answered "yes" or "no" if their premise (condition) is false any more than an animal lover can answer "yes" or "no" to the question, "Have you stopped beating your dog?" In such a case the answer must be "inapplicable".

Operations on Conditionals
Each of the three operations defined below agrees with the corresponding Boolean operation when applied to conditionals with equivalent conditions. Therefore they extend the Boolean operations.

Relative Negation (Not)
The relative negation of "a given b" is the "negation of a, given b". That is, (4) and the latter has probability 1 -P(a|b).

Disjunction (or)
The disjunction, "(a if b) or (c if d)" of two conditionals means "if either conditional is applicable, i.e. if ( b d ∨ ) is true, then at least one of the two conditionals is true, i.e. ( ab cd ∨ ) is true", thus, Journal of Applied Mathematics and Physics

Conjunction (and)
The conjunction, "a if b and c if d" means "if either conditional is applicable then one is true while the other is not false". That is, which also means "if either conditional is applicable then either they are both true or else one is true while the other is inapplicable."

Conditional Conditionals
In practice, adding a condition "c" to a conditional (a|b) merely means (a|bc).
That is, Therefore the iterated conditional because by the operations The order of preference of the operations 1 is negation (') before conjunction ( ∧ ), before disjunction ( ∨ ), before conditioning (|).
The algebra (B|B) of conditionals includes the original Boolean algebra B as those conditionals (a|Ω), where Ω is the universal event, and "a" is any member of B. In logical notation these are the conditionals (a|1) whose condition is certain.

Indicator Function Representation of Events
It is helpful to visualize events and conditional events as indicator functions; see The function q (dropping the subscript) is a "proposition" in the sense that for each ω ∈Ω , either q is true for ω, meaning q(ω) = 1, or else q is false for ω, meaning q(ω) = 0. L will denote the set of all propositions of P. Conversely, each measurable indicator function q defines a unique measurable subset B, B ∈ B by 1 These operations and the resulting not-altogether-Boolean algebra of conditional events are completely characterized in [18], p. 56. Journal of Applied Mathematics and Physics  ∈ Ω = (11) B is the measurable subset of cases (instances) for which q is true, and P(B) is the probability measure of the partial truth of q.

Indicator Function Representation of Events
Each ordered pair, (B|A) of measurable subsets B, A in B with corresponding indicator functions q, p, defines a unique domain-restricted measurable indicator function (q|p): A → {0, 1}, from A into the 2-element Boolean algebra as follows: where U means "undefined". This can be expressed in terms of the unconditioned propositions p and q by (q|p) is a "conditional proposition" in the sense that if p is true for ω then either (q|p) is true for ω or (q|p) is false for ω. On the other hand, we say that (q|p) "does not apply" (i.e., is undefined or inapplicable) for those ω for which p is false. Thus (q|p) has three truth states. (q|p) is simply q, restricted to p −1 (1), the However, in the quantum physical situation described above, starting from an initial condition d, the subsequent occurrence of an intermediate event b i usually makes additional subsequent events such as c independent of d, which can be expressed as ( ) ( ) This follows by substitution and since ( ) ( ) In the vernacular of quantum mechanics, (c|b i ) is the "projection" of c onto the Boolean subspace (B|b i ) and P(b i |d) is the relative probability of the Boolean subspace generated by b i given d.
Notice that in (B|B) so-called "superpositions" can be expressed as disjunctions of quantum events that have incompatible conditions. For instance, exists and has a consistent probability, namely There is no need to believe that this situation is any more mysterious than two conditional alternatives, only one of which applies.

Quantum Vectors and Linear Operator Language
The summation can be written as the inner product (•) of the two countable vectors (19) or two finite vectors in case {b i } is a finite partition of the universe of possibili- ties.
An inner product of two n-dimensional real vectors can be interpreted as the product of their lengths times the cosine of the angle between them, and the absolute value of this is the length of one vector times the length of the projection of the 2nd vector onto the first.
The first vector can be considered to be the result of the "projection operator"

Quantum Measurements Perturbations versus Passive Conditioning
In the above, P(d|d) represents the probability of a quantum state d that without further measurement perturbation will always be found in state d, and of course that probability is 1. But when, for instance, there is an assumed amplitude from a state d to each member of a complete set of orthogonal states {b i } and then another amplitude back to state d in a subsequent perturbation of the system, the probability P(not d|d) need not be 0 as it must if P(d|d) = 1. In this double , which need not be zero because the probability distribution (state) has changed. This illustrates why the designers of quantum logic decided to define a "state of the system" as a probability distribution on vectors, vectors built from atoms of complete assignments of values to variables. Every measurement of a variable in general produces a new state (condition) of the probability distribution for the system.
This situation is not yet covered by a theory of conditioning that only accumulates conditions and assumes there is no additional measurement disturbance but merely seeks to answer the probability questions of what else might be true given that the condition is true.
Nevertheless, even though the measurements are perturbation operators on Journal of Applied Mathematics and Physics the probability distribution being measured, the new post-disturbed probability distributions (quantum states) are still defined in (B|B) as sub-spaces (B|b) generated by alternative possible conditions b given to be true in the new state.

Conclusion
The so-called "superposition" of a quantum particle in two possibly mutually inconsistent quantum states B, D can be represented in the new extension algebra [18] of conditional events as the event A given condition B or event C given the alternate condition D. This non-Boolean object ( ) ( ) ( )