New Directions in Categorical Logic, for Classical, Probabilistic and Quantum Logic

Intuitionistic logic, in which the double negation law not-not-P = P fails, is dominant in categorical logic, notably in topos theory. This paper follows a different direction in which double negation does hold. The algebraic notions of effect algebra/module that emerged in theoretical physics form the cornerstone. It is shown that under mild conditions on a category, its maps of the form X -> 1+1 carry such effect module structure, and can be used as predicates. Predicates are identified in many different situations, and capture for instance ordinary subsets, fuzzy predicates in a probabilistic setting, idempotents in a ring, and effects (positive elements below the unit) in a C*-algebra or Hilbert space. In quantum foundations the duality between states and effects plays an important role. It appears here in the form of an adjunction, where we use maps 1 -> X as states. For such a state s and a predicate p, the validity probability s |= p is defined, as an abstract Born rule. It captures many forms of (Boolean or probabilistic) validity known from the literature. Measurement from quantum mechanics is formalised categorically in terms of `instruments', using L\"uders rule in the quantum case. These instruments are special maps associated with predicates (more generally, with tests), which perform the act of measurement and may have a side-effect that disturbs the system under observation. This abstract description of side-effects is one of the main achievements of the current approach. It is shown that in the special case of C*-algebras, side-effect appear exclusively in the non-commutative case. Also, these instruments are used for test operators in a dynamic logic that can be used for reasoning about quantum programs/protocols. The paper describes four successive assumptions, towards a categorical axiomatisation of quantitative logic for probabilistic and quantum systems

A topos for algebraic quantum theory

The aim of this paper is to relate algebraic quantum mechanics to topos theory, so as to construct new foundations for quantum logic and quantum spaces. Motivated by Bohr's idea that the empirical content of quantum physics is accessible only through classical physics, we show how a C*-algebra of observables A induces a topos T(A) in which the amalgamation of all of its commutative subalgebras comprises a single commutative C*-algebra. According to the constructive Gelfand duality theorem of Banaschewski and Mulvey, the latter has an internal spectrum S(A) in T(A), which in our approach plays the role of a quantum phase space of the system. Thus we associate a locale (which is the topos-theoretical notion of a space and which intrinsically carries the intuitionistic logical structure of a Heyting algebra) to a C*-algebra (which is the noncommutative notion of a space). In this setting, states on A become probability measures (more precisely, valuations) on S(A), and self-adjoint elements of A define continuous functions (more precisely, locale maps) from S(A) to Scott's interval domain. Noting that open subsets of S(A) correspond to propositions about the system, the pairing map that assigns a (generalized) truth value to a state and a proposition assumes an extremely simple categorical form. Formulated in this way, the quantum theory defined by A is essentially turned into a classical theory, internal to the topos T(A).Comment: 52 pages, final version, to appear in Communications in Mathematical Physic

Combinatorial Hopf algebras in quantum field theory I

This manuscript stands at the interface between combinatorial Hopf algebra theory and renormalization theory. Its plan is as follows: Section 1 is the introduction, and contains as well an elementary invitation to the subject. The rest of part I, comprising Sections 2-6, is devoted to the basics of Hopf algebra theory and examples, in ascending level of complexity. Part II turns around the all-important Faa di Bruno Hopf algebra. Section 7 contains a first, direct approach to it. Section 8 gives applications of the Faa di Bruno algebra to quantum field theory and Lagrange reversion. Section 9 rederives the related Connes-Moscovici algebras. In Part III we turn to the Connes-Kreimer Hopf algebras of Feynman graphs and, more generally, to incidence bialgebras. In Section10 we describe the first. Then in Section11 we give a simple derivation of (the properly combinatorial part of) Zimmermann's cancellation-free method, in its original diagrammatic form. In Section 12 general incidence algebras are introduced, and the Faa di Bruno bialgebras are described as incidence bialgebras. In Section 13, deeper lore on Rota's incidence algebras allows us to reinterpret Connes-Kreimer algebras in terms of distributive lattices. Next, the general algebraic-combinatorial proof of the cancellation-free formula for antipodes is ascertained; this is the heart of the paper. The structure results for commutative Hopf algebras are found in Sections 14 and 15. An outlook section very briefly reviews the coalgebraic aspects of quantization and the Rota-Baxter map in renormalization.Comment: 94 pages, LaTeX figures, precisions made, typos corrected, more references adde

Semidistrim Lattices

We introduce semidistrim lattices, a simultaneous generalization of semidistributive and trim lattices that preserves many of their common properties. We prove that the elements of a semidistrim lattice correspond to the independent sets in an associated graph called the Galois graph, that products and intervals of semidistrim lattices are semidistrim and that the order complex of a semidistrim lattice is either contractible or homotopy equivalent to a sphere

Noncommutative lattices

The extended study of non-commutative lattices was begun in 1949 by Ernst Pascual Jordan, a theoretical and mathematical physicist and co-worker of Max Born and Werner Karl Heisenberg. Jordan introduced noncommutative lattices as algebraic structures potentially suitable to encompass the logic of the quantum world. The modern theory of noncommutative lattices began 40 years later with Jonathan Leech\u27s 1989 paper "Skew lattices in rings." Recently, noncommutative generalizations of lattices and related structures have seen an upsurge in interest, with new ideas and applications emerging, from quasilattices to skew Heyting algebras. Much of this activity is derived in some way from the initiation, over thirty years ago, of Jonathan Leech\u27s program of research that studied noncommutative variations of lattices. The present book consists of seven chapters, mainly covering skew lattices, quasilattices and paralattices, skew lattices of idempotents in rings and skew Boolean algebras. As such, it is the first research monograph covering major results due to the renewed study of noncommutative lattices. It will serve as a valuable graduate textbook on the subject, as well as handy reference to researchers of noncommutative algebras