Information-theoretic principle entails orthomodularity of a lattice

Quantum logical axiomatic systems for quantum theory usually include a postulate that a lattice under consideration is orthomodular. We propose a derivation of orthomodularity from an information-theoretic axiom. This provides conceptual clarity and removes a long-standing puzzle about the meaning of orthomodularity.Comment: Version prior to published, with slight modification

A Unified Conformal Field Theory Description of Paired Quantum Hall States

The wave functions of the Haldane-Rezayi paired Hall state have been previously described by a non-unitary conformal field theory with central charge c=-2. Moreover, a relation with the c=1 unitary Weyl fermion has been suggested. We construct the complete unitary theory and show that it consistently describes the edge excitations of the Haldane-Rezayi state. Actually, we show that the unitary (c=1) and non-unitary (c=-2) theories are related by a local map between the two sets of fields and by a suitable change of conjugation. The unitary theory of the Haldane-Rezayi state is found to be the same as that of the 331 paired Hall state. Furthermore, the analysis of modular invariant partition functions shows that no alternative unitary descriptions are possible for the Haldane-Rezayi state within the class of rational conformal field theories with abelian current algebra. Finally, the known c=3/2 conformal theory of the Pfaffian state is also obtained from the 331 theory by a reduction of degrees of freedom which can be physically realized in the double-layer Hall systems.Comment: Latex, 42 pages, 2 figures, 3 tables; minor corrections to text and reference

A Topological Study of Contextuality and Modality in Quantum Mechanics

Kochen-Specker theorem rules out the non-contextual assignment of values to physical magnitudes. Here we enrich the usual orthomodular structure of quantum mechanical propositions with modal operators. This enlargement allows to refer consistently to actual and possible properties of the system. By means of a topological argument, more precisely in terms of the existence of sections of sheaves, we give an extended version of Kochen-Specker theorem over this new structure. This allows us to prove that contextuality remains a central feature even in the enriched propositional system.Comment: 10 pages, no figures, submitted to I. J. Th. Phy

Towards MKM in the Large: Modular Representation and Scalable Software Architecture

MKM has been defined as the quest for technologies to manage mathematical knowledge. MKM "in the small" is well-studied, so the real problem is to scale up to large, highly interconnected corpora: "MKM in the large". We contend that advances in two areas are needed to reach this goal. We need representation languages that support incremental processing of all primitive MKM operations, and we need software architectures and implementations that implement these operations scalably on large knowledge bases. We present instances of both in this paper: the MMT framework for modular theory-graphs that integrates meta-logical foundations, which forms the base of the next OMDoc version; and TNTBase, a versioned storage system for XML-based document formats. TNTBase becomes an MMT database by instantiating it with special MKM operations for MMT.Comment: To appear in The 9th International Conference on Mathematical Knowledge Management: MKM 201

Non-classical measurement theory: a framework forbehavioral sciences

Instances of non-commutativity are pervasive in human behavior. In this paper, we suggest that psychological properties such as attitudes, values, preferences and beliefs may be suitably described in terms of the mathematical formalism of quantum mechanics. We expose the foundations of non-classical measurement theory building on a simple notion of orthospace and ortholattice (logic). Two axioms are formulated and the characteristic state-property duality is derived. A last axiom concerned with the impact of measurements on the state takes us with a leap toward the Hilbert space model of Quantum Mechanics. An application to behavioral sciences is proposed. First, we suggest an interpretation of the axioms and basic properties for human behavior. Then we explore an application to decision theory in an example of preference reversal. We conclude by formulating basic ingredients of a theory of actualized preferences based in non-classical measurement theory.non-classsical measurement ; orthospace ; state ; properties ; non-commutativity