Finite Orthoalgebras without Two-valued Probability Measures
- Faculteit Ingenieurswetenschappen, Vrije Universiteit Brussel, Pleinlaan 2, B-1050 Brussel (Belgium)
The Kochen-Specker theorem in quantum mechanics motivates the following combinatorial problem: how to construct a finite orthoalgebra which does not admit a two-valued probability measure? For example, the so-called 'Penrose's dodecahedron' (a projective configuration in C4) generates such an orthoalgebra. In this report one describes a new infinite family of examples of atomic coherent orthoalgebras with the mentioned properties which is intimately related to the geometry of the group's E8. The important features of the construction are the following: (1) the atomic elements are naturally indexed by the elements of a disjoint union of linear manifolds of codimension 1 of an N-dimensional vector space over F2; (2) the description of the orthogonality relation involves a pair of Z/2Z-valued functions on Z/4Z; (3) the symmetry of the construction is described in terms of an extension of GL(N, F2); (4) the whole construction works only if N is divisible by 4 (a phenomenon of periodicity)
- OSTI ID:
- 21054918
- Journal Information:
- AIP Conference Proceedings, Vol. 889, Issue 1; Conference: 4. international conference on foundations of probability and physics, Vaexjoe (Sweden), 4-9 Jun 2006; Other Information: DOI: 10.1063/1.2713487; (c) 2007 American Institute of Physics; Country of input: International Atomic Energy Agency (IAEA); ISSN 0094-243X
- Country of Publication:
- United States
- Language:
- English
Similar Records
Saturated Kochen-Specker-type configuration of 120 projective lines in eight-dimensional space and its group of symmetry
Black hole entropy and finite geometry