Group representations in certain lattices of propositions

K. -E. Hellwig, D. Krausser

Robert Piziak

Pavlos Kazakopoulos, Georgios Regkas

We propose an interpretation for the meets and joins in the lattice of experimental propositions of a physical theory, answering a question of Birkhoff and von Neumann in [1]. When the lattice is atomistic, it is isomorphic to the lattice of definably closed sets of a finitary relational structure in First Order Logic. In terms of mapping experimental propositions to subsets of the atomic phase space, the meet corresponds to set intersection, while the join is the definable closure of set union. The relational structure is defined by the action of the lattice automorphism group on the atomic layer. Examining this correspondence between physical theories and infinite group actions, we show that the automorphism group must belong to a family of permutation groups known as geometric Jordan groups. We then use the classification theorem for Jordan groups to argue that the combined requirements of probability and atomicism leave uncountably infinite Steiner 2-systems (of which projective spaces are standard examples) as the sole class of options for generating the lattice of particle Quantum Mechanics.

Sadri Hassani

Hirokazu Nishimura

Andreas Döring, Christopher John Isham

This paper is the third in a series whose goal is to develop a fundamentally new way of viewing theories of physics. Our basic contention is that constructing a theory of physics is equivalent to finding a representation in a topos of a certain formal language that is attached to the system. In Paper II, we studied the topos representations of the propositional language PL(S) for the case of quantum theory, and in the present paper we do the same thing for the, more extensive, local language L(S). One of the main achievements is to find a topos representation for self-adjoint operators. This involves showing that, for any physical quantity A, there is an arrow δ̆o(A):Σ̱→R≽̱, where R≽̱ is the quantity-value object for this theory. The construction of δ̆o(Â) is an extension of the daseinisation of projection operators that was discussed in Paper II. The object R≽̱ is a monoid object only in the topos, τϕ=SetsV(H)op, of the theory, and to enhance the applicability of the formalism, we apply to R≽̱ a topos analog of the Grothendieck extension of a monoid to a group. The resulting object, k(R≽̱), is an abelian group object in τϕ. We also discuss another candidate, R↔̱, for the quantity-value object. In this presheaf, both inner and outer daseinisations are used in a symmetric way. Finally, there is a brief discussion of the role of unitary operators in the quantum topos scheme.