Orthomodular lattice in relativistic non-quantum mechanics

Norman D. Megill, Mladen Pavičić

Manjit Bhatia, P. Narayana Swamy

Martin Biehl

This work employs the empirical logic approach of D. Foulis and C. Randall to compare non-relativistic, conservative, non-compound physical systems (universes) in classical and quantum mechanics. We present definitions of test spaces, propositions, proposition logics, statistical states, observables, and dynamical systems. Then we try to identify their mathematical representatives for both, classical and quantum universes. Except for the case of the dynamical system, which is not defined for classical universes, the definitions prove to be general enough to apply to both cases. Necessary mathematical tools not generally known to physicists are also treated in a concise fashion. These include some basic theory of partially ordered sets (posets) and lattices, in particular boolean and orthomodular lattices.

Mark J Hadley

For the first time it is shown that the logic of quantum mechanics can be derived from Classical Physics. An orthomodular lattice of propositions, characteristic of quantum logic, is constructed for manifolds in Einstein's theory of general relativity. A particle is modelled by a topologically non-trivial 4-manifold with closed timelike curves - a 4-geon, rather than as an evolving 3-manifold. It is then possible for both the state preparation and measurement apparatus to constrain the results of experiments. It is shown that propositions about the results of measurements can satisfy a non-distributive logic rather than the Boolean logic of classical systems. Reasonable assumptions about the role of the measurement apparatus leads to an orthomodular lattice of propositions characteristic of quantum logic.

No author provided

For the first time it is shown that the logic of quantum mechanics can be derived from classical physics. An orthomodular lattice of propositions characteristic of quantum logic, is constructed for manifolds in Einstein's theory of general relativity. A particle is modelled by a topologically non-trivial 4-manifold with closed timelike curves--a 4-geon, rather than as an evolving 3-manifold. It is then possible for both the state preparation and measurement apparatus to constrain the results of experiments. It is shown that propositions about the results of measurements can satisfy a non-distributive logic rather than the Boolean logic of classical systems. Reasonable assumptions about the role of the measurement apparatus leads to an orthomodular lattice of propositions characteristic of quantum logic.