Greechie diagrams, nonexistence of measures in quantum logics, and KochenSpecker-type constructions
J. Math. Phys. 37, 5380 (1996); doi:10.1063/1.531710
Issue Date: November 1996
You are not logged in to this journal. Log in
We use Greechie diagrams to construct finite orthomodular lattices ``realizable'' in the orthomodular lattice of subspaces in a three-dimensional Hilbert space such that the set of two-valued states is not ``large'' (i.e., full, separating, unital, nonempty, resp.). We discuss the number of elements of such orthomodular lattices, of their sets of (ortho)generators and of their subsets that do not admit a ``large'' set of two-valued states. We show connections with other results of this type. ©1996 American Institute of Physics.
| History: | Received 4 December 1995; accepted 2 April 1996 |
| Permalink: |
http://link.aip.org/link/?JMAPAQ/37/5380/1 |
KEYWORDS and PACS
QUANTUM MECHANICS,
MATHEMATICAL LOGIC,
HILBERT SPACE,
GEOMETRY,
QUANTUM OPERATORS,
QUANTUM LOGICS,
OBSERVABLES
- 03.65.Bz
Classical and quantum physics: mechanics and fields Quantum mechanics Foundations, theory of measurement, miscellaneous theories (including Aharonov
Bohm effect, Bell inequalities, Berry's phase)
- 02.10.-v
Mathematical methods in physics Logic, set theory, and algebra - 02.40.-k
Mathematical methods in physics Geometry, differential geometry, and topology - YEAR: 1996
RELATED DATABASES
PUBLICATION DATA
0022-2488 (print)
1089-7658 (online)
REFERENCES (32)
For access to fully linked references, you need to log in.
For access to fully linked references, you need to Log in.
- G. Birkhoff and J. von Neumann,
Ann. Math. 37, 823 (1936 ). - E. Specker, Dialectica 14, 175 (1960), reprinted in Ref. 27, pp. 175182.
- S. Kochen and E. P. Specker, in Proceedings of the 1964 International Congress for Logic, Methodology and Philosophy of Science, Jerusalem (North-Holland, Amsterdam, 1965), pp. 4557.
- S. Kochen and E. P. Specker, in Symposium on the Theory of Models, Proceedings of the 1963 International Symposium at Berkeley (North-Holland, Amsterdam, 1965), pp. 177189.
- A. Peres, in Microphysical Reality and Quantum Formalism, edited by A. van der Merwe (Kluwer Academic, Dordrecht, 1988), pp. 115123.
- A. Peres,
J. Phys. A 24, L175 (1991 ). - N. D. Mermin, Rev. Mod. Phys. 65, 803 (1993).
- K. Schütte, letter to Professor E. P. Specker, dated April 22nd, 1965; cf. Ref. 28.
- M. Navara and V. Rogalewicz, Math. Nachr. 154, 157 (1991).
- P. Pták and S. Pulmannová, Orthomodular Structures as Quantum Logics (Kluwer Academic, Dordrecht, 1991).
- K. Svozil, Randomness & Undecidability in Physics (World Scientific, Singapore, 1993).
- M. Schaller and K. Svozil, Nuovo Cimento B 109, 167 (1994).
- M. Schaller and K. Svozil,
Int. J. Theor. Phys. 34, 1741 (1995 ). - M. Schaller and K. Svozil,
Int. J. Theor. Phys. 35, 911 (1996 ). - G. Kalmbach, Orthomodular Lattices (Academic, New York, 1983).
- A. Gleason, J. Math. Mech. 6, 883 (1957).
- S. Kochen and E. P. Specker,
J. Math. Mech. 17, 59 (1967 ), reprinted in Ref. 27, pp. 235263. - K. Svozil, in The Foundational Debate, Complexity and Constructivity in Mathematics and Physics, edited by W. D. Schimanovich, E. Köhler, and F. Stadler (Kluwer, Dordrecht, 1995), pp. 6588, cf. Ref. 29.
- V. Alda, Appl. Mat. 25, 373 (1980).
- H. R. Brown, in Bell's Theorem and the Foundations of Modern Physics, edited by A. van der Merwe, F. Selleri, and G. Tarozzi (World Scientific, Singapore, 1992), pp. 104116.
- A. Peres, Quantum Theory: Concepts and Methods (Kluwer Academic, Dordrecht, 1993).
- A. Einstein, B. Podolsky, and N. Rosen,
Phys. Rev. 47, 777 (1935 ), reprinted in Ref. 30, pp. 138141. - M. Reck, A. Zeilinger, H. J. Bernstein, and P. Bertani, Phys. Rev. Lett. 73, 58 (1994); also see Ref. 31.
- A. Peres,
Am. J. Phys. 46, 745 (1978 ). - D. M. Greenberger, M. A. Horne, and A. Zeilinger, in Bell's Theorem, Quantum Theory, and Conceptions of the Universe, edited by M. Kafatos (Kluwer Academic, Dordrecht, 1989), pp. 7376; also see Ref. 32.
- G. Coray, Commun. Math. Helv. 45, 49 (1970).
- E. Specker, Selecta (Birkhäuser-Verlag, Basel, 1990).
- E. Clavadetscher-Seeberger, Ph.D. thesis, ETH-Zürich, Zürich, 1983.
- K. Svozil, Complexity 1, 43 (1996).
- J. A. Wheeler and W. H. Zurek, Quantum Theory and Measurement (Princeton University, Princeton, 1983).
- F. D. Murnaghan, The Unitary and Rotation Groups (Spartan Books, Washington, DC, 1962).
- D. M. Greenberger, M. A. Horne, A. Shimony, and A. Zeilinger,
Am. J. Phys. 58, 1131 (1990 ).







