Abstract: The concept of fractionability or decomposability in parts of a physical system has its mathematical counterpart in the lattice–theoretic concept of orthomodularity. Systems with a finite number of degrees of freedom can be decomposed in different ways, corresponding to different groupings of the degrees of freedom. The orthomodular structure of these simple systems is trivially manifest. The problem then arises as to whether the same property is shared by physical systems with an infinite number of degrees of freedom, in particular by the quantum relativistic ones. The latter case was approached several years ago by Haag and Schroer (1962; Haag, 1992) who started from noting that the causally complete sets of Minkowski spacetime form an orthomodular lattice and posed the question of whether the subalgebras of local observables, with topological supports on such subsets, form themselves a corresponding orthomodular lattice. Were it so, the way would be paved to interpreting spacetime as an intrinsic property of a local quantum field algebra. Surprisingly enough, however, the hoped property does not hold for local algebras of free fields with superselection rules. The possibility seems to be instead open if the local currents that govern the superselection rules are driven by gauge fields. Thus, in the framework of local quantum physics, the request for algebraic orthomodularity seems to imply physical interactions! Despite its charm, however, such a request appears plagued by ambiguities and criticities that make of it an ill–posed problem. The proposers themselves, indeed, concluded that the orthomodular correspondence hypothesis is too strong for having a chance of being practicable. Thus, neither the idea was taken seriously by the proposers nor further investigated
Abstract: The concept of fractionability or decomposability in parts of a physical system has its mathematical counterpart in the lattice–theoretic concept of orthomodularity. Systems with a finite number of degrees of freedom can be decomposed in different ways, corresponding to different groupings of the degrees of freedom. The orthomodular structure of these simple systems is trivially manifest. The problem then arises as to whether the same property is shared by physical systems with an infinite number of degrees of freedom, in particular by the quantum relativistic ones. The latter case was approached several years ago by Haag and Schroer (1962; Haag, 1992) who started from noting that the causally complete sets of Minkowski spacetime form an orthomodular lattice and posed the question of whether the subalgebras of local observables, with topological supports on such subsets, form themselves a corresponding orthomodular lattice. Were it so, the way would be paved to interpreting spacetime as an intrinsic property of a local quantum field algebra. Surprisingly enough, however, the hoped property does not hold for local algebras of free fields with superselection rules. The possibility seems to be instead open if the local currents that govern the superselection rules are driven by gauge fields. Thus, in the framework of local quantum physics, the request for algebraic orthomodularity seems to imply physical interactions! Despite its charm, however, such a request appears plagued by ambiguities and criticities that make of it an ill–posed problem. The proposers themselves, indeed, concluded that the orthomodular correspondence hypothesis is too strong for having a chance of being practicable. Thus, neither the idea was taken seriously by the proposers nor further investigated
Earman and Ruetsche ([2005]) have cast their gaze upon existing no-go theorems for relativistic modal interpretations, and have found them inconclusive. They suggest that it would be more fruitful to investigate modal interpretations proposed for ‘really relativistic theories,’ that is, algebraic relativistic quantum field theories. They investigate the proposal of (Clifton [2000]), and extend Clifton's result that, for a host of states, his proposal yields no definite observables other than multiples of the identity. This leads Earman and Ruetsche to a suspicion that troubles for modal interpretations of such relativistic theories ‘are due less to the Poincaré invariance of relativistic QFT vs. the Galilean invariance of ordinary nonrelativistic QM than to the infinite number of degrees of freedom of former vs. the finite number of degrees of freedom of the latter’ (pp. 577–8). I am skeptical of this suggestion. Though there are troubles for modal interpretations of relativistic quantum field theory that are due to its being a field theory—that is, due to infinitude of the degrees of freedom—they are not the only troubles faced by modal interpretations of quantum theories set in relativistic spacetime; there are also troubles traceable to relativistic causal structure. 1. Introduction 2. Relativity and Causal Structure 3. The Theorems Purified 4. Evolving States in a Relativistic Context
The axiomatic formulation of an Algebraic Relativistic Quantum Field Theory leads naturally -via the Haag-Kastler axioms- to the fact that operators representing observables generate a von Neumann algebra localized in a space-time region in which said observations are made. I present and explain the axioms, as well as the mathematical preliminaries needed to understand them and apply them to the so-called causal diamond and Fermi's Two-Atom System. The latter shows the importance of formulating axioms concerning causality that try to make compatible the requirement from Special Relativity according to which no causal influence can travel faster than the speed of light and the quantum mechanical theory of measurement and preparability of states. For a relativistic field-theoretic setting, these concepts must be re-formulated, and this reasoning suggests that the operator algebra must be a type III von Neumann factor. I also introduce some philosophical problems concerning our usual notion of causality from Hume to contemporary theories of counterfactual causation and show how the algebraic structure of the theory is deeply related to the causal one and how this theory can be extended if we change the way we think about causality, measurements, and local preparability of states.
The Causal Set hypothesis for Quantum Gravity asserts that the smooth Lorentzian spacetime manifold of General Relativity is only an approximation to a fundamental microscopic discrete structure: a locally-finite partially-ordered set. The points of this set are akin to the point-events of the spacetime manifold, and the order-relations among these points are akin to the causal-relations among these point-events. The local-finiteness condition implies a fundamental discreteness and provides an important [conformal] factor needed for the continuum approximations. In this dissertation, we address two aspects toward the formulation of a quantum dynamics for causal sets. The first aspect concerns the dynamics of a zero-mass classical scalar field on a background causal set, Poisson-sampled from an Alexandrov interval in (1 + 1)-dimensional Minkowski spacetime. Our numerical simulations suggest that actions can be defined for such a scalar field, expressed solely in terms of the causal set and the scalar field, which approximates the corresponding classical action on the continuum Minkowski spacetime. This result may help us describe matter and gauge fields in a local and Lorentz-invariant way on a causal set, a discrete structure now being considered as the arena for spacetime physics. More importantly, it may help us formulate an action for the causal set itself, which would be used in a sum-over-histories approach to describe the quantum dynamics of causal sets. The second aspect concerns Quantum Measure Theory, a new approach to quantum dynamics inspired by the sum-over-histories approach, which is better suited to formulating the dynamics of causal sets and of other alternative structures for spacetime. To better understand the mathematical structure underlying this new approach, we derive some algebraic identities involving the sum-rules of the Quantum Measure and its generalizations. We conclude with a discussion on possible applications and open problems concerning these aspects.
Quasi-set theory was proposed as a mathematical context to investigate collections of indistinguishable objects. After presenting an outline of this theory, we define an algebra that has most of the standard properties of an orthocomplete orthomodular lattice, which is the lattice of the closed subspaces of a Hilbert space. We call the mathematical structure so obtained I-lattice. After discussing, in a preliminary form, some aspects of such a structure, we indicate the next problem of axiomatizing the corresponding logic, that is, a logic which has I-lattices as its algebraic models. We suggest that the intuitions that the `logic of quantum mechanics' would be not classical logic (with its Boolean algebra), is consonant with the idea of considering indistinguishability right from the start, that is, as a primitive concept. In other words, indiscernibility seems to lead `directly' to I-lattices. In the first sections, we present the main motivations and a `classical' situation which mirrors that one we focus on the last part of the paper. This paper is our first study of the algebraic structure of indiscernibility within quasi-set theory.
Quantum field theory is the study of quantum systems with an infinite number of degrees of freedom. The simplest quantum field theories are the free bose fields, which are essentially assemblies of an infinite number of coupled oscillators. Examples include the quantized electromagnetic field, lattice vibrations in solid state physics, and the Klein-Gordon field, some of which are relativistic while others are not. Particles show up in quantum field theory as “field quanta.” As we will see, these do not quite have all the properties of the usual particles of Newtonian physics or of Schrödinger quantum mechanics. I will in particular show (Section 3) that the quanta of free bose fields, relativistic or not, can not be perfectly localized in a bounded subset of space. This, in my opinion, shows conclusively that the difficulties encountered when attempting to define a position observable for the field quanta of relativistic fields, that continue to be the source of regular debate in the literature [20] [21] [22] [3] [10] [15] [18] [19] [48] [47], do not find their origin in any form of causality violation, as seems to be generally thought. Instead, they result from an understandable but ill-fated attempt to force too stringent a particle interpretation on the states of the quantum field containing a finite number of quanta.
Abstract States of quantum systems correspond to vectors in a Hilbert space and observations to closed subspaces. Hence, this logic corresponds to the algebra of closed subspaces of a Hilbert space. This can be considered as a complete lattice with orthocomplementation, but it is not distributive. It satisfies a weaker condition, the so-called orthomodularity. Later on, it was recognized that joins in this structure need not exist provided the subspaces are not orthogonal. Hence, the resulting structure need not be a lattice but a so-called orthomodular poset, more generally an orthoposet only. For orthoposets, we introduce a binary relation Δ and a binary operator d(x,y) that are generalizations of the binary relation C and the commutator c(x,y), respectively, known for orthomodular lattices. We characterize orthomodular posets among orthogonal posets. Moreover, we describe connections between the relations Δ and ↔ (the latter was introduced by P. Pták and S. Pulmannová) and the operator d(x,y). In addition, we investigate certain orthomodular posets of subsets of a finite set. In particular, we describe maximal orthomodular sublattices and Boolean subalgebras of such orthomodular posets. Finally, we study properties of Δ-blocks with respect to Boolean subalgebras and distributive subposets they include.