arXiv subjects

Hans Halvorson

Publications and source records attributed to Hans Halvorson.

At least 19 recordsLinked to original sources

arXiv2025

Determinism and Asymmetry in General Relativity

This paper concerns the question of which collections of general relativistic spacetimes are deterministic relative to which definitions. We begin by considering a series of three definitions of increasing strength due to Belot (1995). The strongest of these definitions is particularly interesting for spacetime theories because it involves an asymmetry condition called ``rigidity'' that has been studied previously in a different context (Geroch 1969; Halvorson and Manchak 2022; Dewar 2024). We go on to explore other (stronger) asymmetry conditions that give rise to other (stronger) forms of determinism. We introduce a number of definitions of this type and clarify the relationships between them and the three considered by Belot. We go on to show that there are collections of general relativistic spacetimes that satisfy much stronger forms of determinism than previously known. We also highlight a number of open questions.

physics.hist-ph↗

arXiv2025

Deterministic Theories

Determinism is (roughly) the thesis that the past determines the future. But efforts to define it precisely have exposed deep methodological disagreements. Standard possible-worlds formulations of determinism presuppose an "agreement" relation between worlds,but this relation can be understood in multiple ways, none of which is particularly clear. We critically examine the proliferation of definitions of determinism in the recent literature, arguing that these definitions fail to deliver clear verdicts about actual scientific theories. We advocate a return to a formal approach, in the logical tradition of Carnap, that treats determinism as a property of scientific theories, rather than an elusive metaphysical doctrine. We highlight two key distinctions: (1) the difference between qualitative and "full" determinism, as emphasized in recent discussions of physics and metaphysics, and (2) the distinction between weak and strong formal conditions on the uniqueness of world extensions. We argue that defining determinism in terms of metaphysical notions such as haecceities is unhelpful, whereas rigorous formal criteria such as Belot's D1 and D3 offer a tractable and scientifically relevant account. By clarifying what it means for a theory to be deterministic, we set the stage for a fruitful interaction between physics and metaphysics.

physics.hist-ph↗

arXiv2021

John Bell on 'Subject and Object': an Exchange

This three-part paper comprises: (i) a critique by Halvorson of Bell's (1973) paper "Subject and Object"; (ii) a comment by Butterfield; (iii) a reply by Halvorson. An Appendix gives the passage from Bell that is the focus of Halvorson's critique.

quant-ph↗

arXiv2015

Morita Equivalence

Logicians and philosophers of science have proposed various formal criteria for theoretical equivalence. In this paper, we examine two such proposals: definitional equivalence and categorical equivalence. In order to show precisely how these two well-known criteria are related to one another, we investigate an intermediate criterion called Morita equivalence.

math.LO↗

arXiv2013

Independence Conditions for Nets of Local Algebras as Sheaf Conditions

We apply constructions from topos-theoretic approaches to quantum theory to algebraic quantum field theory. Thus a net of operator algebras is reformulated as a functor that maps regions of spacetime into a category of ringed topoi. We ask whether this functor is a sheaf, a question which is related to the net satisfying certain kinematical independence conditions. In addition, we consider a C*-algebraic version of Nuiten's recent sheaf condition, and demonstrate how it relates to C*-independence of the underlying net of operator algebras.

math-ph↗

arXiv2011

How is spontaneous symmetry breaking possible?

We pose and resolve a seeming paradox about spontaneous symmetry breaking in the quantum theory of infinite systems. For a symmetry to be spontaneously broken, it must not be implementable by a unitary operator. But Wigner's theorem guarantees that every symmetry is implemented by a unitary operator that preserves transition probabilities between pure states. We show how it is possible for a unitary operator of this sort to connect the folia of unitarily inequivalent representations. This result undermines interpretations of quantum theory that hold unitary equivalence to be necessary for physical equivalence.

quant-ph↗

arXiv2006

Algebraic Quantum Field Theory

Algebraic quantum field theory provides a general, mathematically precise description of the structure of quantum field theories, and then draws out consequences of this structure by means of various mathematical tools -- the theory of operator algebras, category theory, etc.. Given the rigor and generality of AQFT, it is a particularly apt tool for studying the foundations of QFT. This paper is a survey of AQFT, with an orientation towards foundational topics. In addition to covering the basics of the theory, we discuss issues related to nonlocality, the particle concept, the field concept, and inequivalent representations. We also provide a detailed account of the analysis of superselection rules by S. Doplicher, R. Haag, and J. E. Roberts (DHR); and we give an alternative proof of Doplicher and Roberts' reconstruction of fields and gauge group from the category of physical representations of the observable algebra. The latter is based on unpublished ideas due to Roberts and the abstract duality theorem for symmetric tensor *-categories, a self-contained proof of which is given in the appendix.

math-ph↗

arXiv2004

Remote preparation of arbitrary ensembles and quantum bit commitment

The Hughston-Jozsa-Wootters theorem shows that any finite ensemble of quantum states can be prepared "at a distance", and it has been used to demonstrate the insecurity of all bit commitment protocols based on finite quantum systems without superselection rules. In this paper, we prove a generalized HJW theorem for arbitrary ensembles of states on a C*-algebra. We then use this result to demonstrate the insecurity of bit commitment protocols based on infinite quantum systems, and quantum systems with Abelian superselection rules.

quant-ph↗

arXiv2003

A note on information theoretic characterizations of physical theories

Clifton, Bub, and Halvorson [Foundations of Physics 33, 1561 (2003)] have recently argued that quantum theory is characterized by its satisfaction of three information-theoretic axioms. However, it is not difficult to construct apparent counterexamples to the CBH characterization theorem. In this paper, we discuss the limits of the characterization theorem, and we provide some technical tools for checking whether a theory (specified in terms of the convex structure of its state space) falls within these limits.

quant-ph↗

arXiv2003

Can quantum cryptography imply quantum mechanics? Reply to Smolin

Clifton, Bub, and Halvorson (CBH) have argued that quantum mechanics can be derived from three cryptographic, or broadly information-theoretic, axioms. But Smolin disagrees, and he has given a toy theory that he claims is a counterexample. Here we show that Smolin's toy theory violates an independence condition for spacelike separated systems that was assumed in the CBH argument. We then argue that any acceptable physical theory should satisfy this independence condition.

quant-ph↗

arXiv2003

Characterizing quantum theory in terms of information-theoretic constraints

We show that three fundamental information-theoretic constraints--the impossibility of superluminal information transfer between two physical systems by performing measurements on one of them, the impossibility of broadcasting the information contained in an unknown physical state, and the impossibility of unconditionally secure bit commitment--suffice to entail that the observables and state space of a physical theory are quantum-mechanical. We demonstrate the converse derivation in part, and consider the implications of alternative answers to a remaining open question about nonlocality and bit commitment.

quant-ph↗

arXiv2001

Reconsidering Bohr's reply to EPR

Although Bohr's reply to the EPR argument is supposed to be a watershed moment in the development of his philosophy of quantum theory, it is difficult to find a clear statement of the reply's philosophical point. Moreover, some have claimed that the point is simply that Bohr is a radical positivist. In this paper, we show that such claims are unfounded. In particular, we give a mathematically rigorous reconstruction of Bohr's reply to the \emph{original} EPR argument that clarifies its logical structure, and which shows that it does not rest on questionable philosophical assumptions. Rather, Bohr's reply is dictated by his commitment to provide "classical" and "objective" descriptions of experimental phenomena.

quant-ph↗

arXiv2001

Complementarity of representations in quantum mechanics

We show that Bohr's principle of complementarity between position and momentum descriptions can be formulated rigorously as a claim about the existence of representations of the CCRs. In particular, in any representation where the position operator has eigenstates, there is no momentum operator, and vice versa. Equivalently, if there are nonzero projections corresponding to sharp position values, all spectral projections of the momentum operator map onto the zero element.

quant-ph↗

arXiv2001

No place for particles in relativistic quantum theories?

Several recent arguments purport to show that there can be no relativistic, quantum-mechanical theory of localizable particles and, thus, that relativity and quantum mechanics can be reconciled only in the context of quantum field theory. We point out some loopholes in the existing arguments, and we provide two no-go theorems to close these loopholes. However, even with these loopholes closed, it does not yet follow that relativity plus quantum mechanics exclusively requires a field ontology, since relativistic quantum field theory itself might permit an ontology of localizable particles supervenient on the fundamental fields. Thus, we provide another no-go theorem to rule out this possibility. Finally, we allay potential worries about this conclusion by arguing that relativistic quantum field theory can nevertheless explain the possibility of "particle detections," as well as the pragmatic utility of "particle talk."

quant-ph↗

arXiv2000

The Einstein-Podolsky-Rosen state maximally violates Bell's inequalities

In their well-known argument against the completeness of quantum theory, Einstein, Podolsky, and Rosen (EPR) made use of a state that strictly correlates the positions and momenta of two particles. We prove the existence and uniqueness of the EPR state as a normalized, positive linear functional of the Weyl algebra for two degrees of freedom. We then show that the EPR state maximally violates Bell's inequalities.

quant-ph↗

arXiv2000

Are Rindler Quanta Real? Inequivalent particle concepts in quantum field theory

Philosophical reflection on quantum field theory has tended to focus on how it revises our conception of what a particle is. However, there has been relatively little discussion of the threat to the "reality" of particles posed by the possibility of inequivalent quantizations of a classical field theory, i.e., inequivalent representations of the algebra of observables of the field in terms of operators on a Hilbert space. The threat is that each representation embodies its own distinctive conception of what a particle is, and how a "particle" will respond to a suitably operated detector. Our main goal is to clarify the subtle relationship between inequivalent representations of a field theory and their associated particle concepts. We also have a particular interest in the Minkowski versus Rindler quantizations of a free Boson field, because they respectively entail two radically different descriptions of the particle content of the field in the very same region of spacetime. We shall defend the idea that these representations provide complementary descriptions of the same state of the field against the claim that they embody completely incommensurable theories of the field.

quant-ph↗

arXiv2000

Reeh-Schlieder Defeats Newton-Wigner: On alternative localization schemes in relativistic quantum field theory

Many of the "counterintuitive" features of relativistic quantum field theory have their formal root in the Reeh-Schlieder theorem, which in particular entails that local operations applied to the vacuum state can produce any state of the entire field. It is of great interest, then, that I.E. Segal and, more recently, G. Fleming (in a paper entitled "Reeh-Schlieder Meets Newton-Wigner") have proposed an alternative "Newton-Wigner" localization scheme that avoids the Reeh-Schlieder theorem. In this paper, I reconstruct the Newton-Wigner localization scheme and clarify the limited extent to which it avoids the counterintuitive consequences of the Reeh-Schlieder theorem. I also argue that neither Segal nor Fleming has provided a coherent account of the physical meaning of Newton-Wigner localization.

quant-ph↗

arXiv2000

On the nature of continuous physical quantities in classical and quantum mechanics

Within the traditional Hilbert space formalism of quantum mechanics, it is not possible to describe a particle as possessing, simultaneously, a sharp position value and a sharp momentum value. Is it possible, though, to describe a particle as possessing just a sharp position value (or just a sharp momentum value)? Some, such as Teller (Journal of Philosophy, 1979), have thought that the answer to this question is No -- that the status of individual continuous quantities is very different in quantum mechanics than in classical mechanics. On the contrary, I shall show that the same subtle issues arise with respect to continuous quantities in classical and quantum mechanics; and that it is, after all, possible to describe a particle as possessing a sharp position value without altering the standard formalism of quantum mechanics.

quant-ph↗