Spectral Automorphisms in Quantum Logics

In quantum mechanics, the Hilbert space formalism might be physically justified in terms of some axioms based on the orthomodular lattice (OML) mathematical structure (Piron in Foundations of Quantum Physics, Benjamin, Reading, 1976). We intend to investigate the extent to which some fundamental physical facts can be described in the more general framework of OMLs, without the support of Hilbert space-specific tools. We consider the study of lattice automorphisms properties as a “substitute” for Hilbert space techniques in investigating the spectral properties of observables. This is why we introduce the notion of spectral automorphism of an OML. Properties of spectral automorphisms and of their spectra are studied. We prove that the presence of nontrivial spectral automorphisms allow us to distinguish between classical and nonclassical theories. We also prove, for finite dimensional OMLs, that for every spectral automorphism there is a basis of invariant atoms. This is an analogue of the spectral theorem for unitary operators having purely point spectrum.