Abstract This article presents a novel sense in which theoretical structure has been preserved across the transition from classical to quantum physics. I import mathematical tools from category theory that have been used for structural comparisons in the context of theoretical equivalence and apply these tools to new situations involving theory change. The structural preservation takes the form of a categorical equivalence between categories of models of classical and quantum physics. I situate the significance of this structural preservation in terms of prospects for theory construction in quantum physics.
Abstract This article presents a novel sense in which theoretical structure has been preserved across the transition from classical to quantum physics. I import mathematical tools from category theory that have been used for structural comparisons in the context of theoretical equivalence and apply these tools to new situations involving theory change. The structural preservation takes the form of a categorical equivalence between categories of models of classical and quantum physics. I situate the significance of this structural preservation in terms of prospects for theory construction in quantum physics.
This paper takes up a suggestion that the structure associated with physical charge in quantum theories is best captured mathematically by the collection of charge representations of the quantum theory. In order to assess the evidence for this view, I investigate whether this charge structure has been preserved across theory change from classical to quantum physics. I show that one can analogously take charge structure in classical physics to be captured by the collection of charge representations of a classical theory. But one faces the potential problem that the collections of classical and quantum charge representations appear to not be isomorphic. I solve the problem by showing that if one attends carefully to more sophisticated category-theoretic tools for comparing structure, then one finds a precise and substantive sense in which charge structure is preserved from classical to quantum theories. I argue these results lead to greater understanding of inequivalent representations in quantum physics.
It is well known that classical and quantum theories carry distinct types of representations, each type of representation corresponding to possible values of generalized charges in the classical or quantum context. This paper demonstrates a sense in the structure of these representation theories is preserved from classical to quantum physics. To show this, I discuss distinct representation-theory preserving morphisms in the classical and quantum contexts. Specifically, I consider categories whose morphisms are Lagrangian relations in the classical context and Hilbert bimodules in the quantum context. These morphisms are significant because they give rise to induced representations of classical and quantum theories, respectively. I consider quantization and the classical limit as determining functors between these categories. I treat quantization via the strict deformation quantization of a Poisson algebra and the classical limit via the extension of a uniformly continuous bundle of C*-algebras. With these tools, I prove that the quantization and classical limit functors are "almost-inverse" to each other, thus establishing a categorical equivalence.
This Element provides an entry point for philosophical engagement with quantization and the classical limit. It introduces the mathematical tools of C*-algebras as they are used to compare classical and quantum physics. It then employs those tools to investigate philosophical issues surrounding theory change in physics. It discusses examples in which quantization bears on the topics of reduction, structural continuity, analogical reasoning, and theory construction. In doing so, it demonstrates that the precise mathematical tools of algebraic quantum theory can aid philosophers of science and philosophers of physics.
Categorical quantum mechanics is a way of formalising the structural features of quantum theory using category theory. It uses compound systems as the primitive notion, which is formalised by using symmetric monoidal categories. This leads to an elegant formalism for describing quantum protocols such as quantum teleportation. In particular, categorical quantum mechanics provides a graphical calculus that exposes the information flow of such protocols in an intuitive way. However, the graphical calculus also reveals surprising features of these protocols; for example, in the quantum teleportation protocol, information appears to flow `backwards-in-time'. This leads to question of how causal structure can be described within categorical quantum mechanics, and how this might lead to insight regarding the structural compatibility between quantum theory and relativity. This thesis is concerned with the project of formalising causal structure in categorical quantum mechanics. We begin by studying an abstract view of Bell-type experiments, as described by `no-signalling boxes', and we show that under time-reversal no-signalling boxes generically become signalling. This conflicts with the underlying symmetry of relativistic causal structure. This leads us to consider the framework of categorical quantum mechanics from the perspective of relativistic causal structure. We derive the properties that a symmetric monoidal category must satisfy in order to describe systems in such a background causal structure. We use these properties to define a new type of category, and this provides a formal framework for describing protocols in spacetime. We explore this new structure, showing how it leads to an understanding of the counter-intuitive information flow of protocols in categorical quantum mechanics. We then find that the formal properties of our new structure are naturally related to axioms for reconstructing quantum theory, and we show how a reconstruction scheme based on purification can be formalised using the structures of categorical quantum mechanics. Finally, we discuss the philosophical aspects of using category theory to describe fundamental physics. We consider a recent argument that category-theoretic formulations of physics, such as categorical quantum mechanics, can be used to support a variant of structural realism. We argue against this claim. The work of this thesis suggests instead that the philosophy of categorical quantum mechanics is subtler than either operationalism or realism.
Categorical quantum mechanics is a way of formalising the structural features of quantum theory using category theory. It uses compound systems as the primitive notion, which is formalised by using symmetric monoidal categories. This leads to an elegant formalism for describing quantum protocols such as quantum teleportation. In particular, categorical quantum mechanics provides a graphical calculus that exposes the information flow of such protocols in an intuitive way.
However, the graphical calculus also reveals surprising features of these protocols; for example, in the quantum teleportation protocol, information appears to flow `backwards-in-time'. This leads to question of how causal structure can be described within categorical quantum mechanics, and how this might lead to insight regarding the structural compatibility between quantum theory and relativity.
This thesis is concerned with the project of formalising causal structure in categorical quantum mechanics.
We begin by studying an abstract view of Bell-type experiments, as described by `no-signalling boxes', and we show that under time-reversal no-signalling boxes generically become signalling. This conflicts with the underlying symmetry of relativistic causal structure.
This leads us to consider the framework of categorical quantum mechanics from the perspective of relativistic causal structure. We derive the properties that a symmetric monoidal category must satisfy in order to describe systems in such a background causal structure.
We use these properties to define a new type of category, and this provides a formal framework for describing protocols in spacetime. We explore this new structure, showing how it leads to an understanding of the counter-intuitive information flow of protocols in categorical quantum mechanics. We then find that the formal properties of our new structure are naturally related to axioms for reconstructing quantum theory, and we show how a reconstruction scheme based on purification can be formalised using the structures of categorical quantum mechanics. Finally, we discuss the philosophical aspects of using category theory to describe fundamental physics. We consider a recent argument that category-theoretic formulations of physics, such as categorical quantum mechanics, can be used to support a variant of structural realism. We argue against this claim. The work of this thesis suggests instead that the philosophy of categorical quantum mechanics is subtler than either operationalism or realism.
We construct a sheaf-theoretic representation of quantum events structures, in terms of Boolean localization systems. These covering systems are constructed as ideals of structure-preserving morphisms of quantum event algebras from varying Boolean domains, identified with physical contexts of measurement. The modeling sheaf-theoretic scheme is based on the existence of a categorical adjunction between presheaves of Boolean event algebras and quantum event algebras. On the basis of this adjoint correspondence, we also prove the existence of an object of truth values in the category of quantum logics, characterized as subobject classifier. This classifying object plays the equivalent role that the two-valued Boolean truth values object plays in classical events structures. We construct the object of quantum truth values explicitly, and furthermore, demonstrate its functioning for the valuation of propositions in a typical quantum measurement situation.