Christian Wüthrich

This paper is an enquiry into the logical, metaphysical, and physical possibility of time travel understood in the sense of the existence of closed worldlines that can be traced out by physical objects. We argue that none of the purported paradoxes rule out time travel either on grounds of logic or metaphysics. More relevantly, modern spacetime theories such as general relativity seem to permit models that feature closed worldlines. We discuss, in the context of Gödel's infamous argument for the ideality of time based on his eponymous spacetime, what this apparent physical possibility of time travel means. Furthermore, we review the recent literature on so-called time machines, i.e., of devices that produce closed worldlines where none would have existed otherwise. Finally, we investigate what the implications of the quantum behaviour of matter for the possibility of time travel might be and explicate in what sense time travel might be possible according to leading contenders for full quantum theories of gravity such as string theory and loop quantum gravity.

We address the question of whether it is possible to operate a time machine by manipulating matter and energy so as to manufacture closed timelike curves. This question has received a great deal of attention in the physics literature, with attempts to prove no- go theorems based on classical general relativity and various hybrid theories serving as steps along the way towards quantum gravity. Despite the effort put into these no-go theorems, there is no widely accepted definition of a time machine. We explain the conundrum that must be faced in providing a satisfactory definition and propose a resolution. Roughly, we require that all extensions of the time machine region contain closed timelike curves; the actions of the time machine operator are then sufficiently "potent" to guarantee that closed timelike curves appear. We then review no-go theorems based on classical general relativity, semi-classical quantum gravity, quantum field theory on curved spacetime, and Euclidean quantum gravity. Our verdict on the question of our title is that no result of sufficient generality to underwrite a confident "yes" has been proven. Our review of the no-go results does, however, highlight several foundational problems at the intersection of general relativity and quantum physics that lend substance to the search for an answer

The present volume collects essays on the philosophical foundations of quantum theories of gravity, such as loop quantum gravity and string theory. Central for philosophical concerns is quantum gravity's suggestion that space and time, or spacetime, may not exist fundamentally, but instead be a derivative entity emerging from non-spatiotemporal degrees of freedom. In the spirit of naturalised metaphysics, contributions to this volume consider the philosophical implications of this suggestion. In turn, philosophical methods and insights are brought to bear on the foundations of quantum gravity itself. For instance, the idea of functionalism, borrowed from the philosophy of mind and discussed by several essays, exemplifies this mutual interaction the collection seeks to foster.

Numerous approaches to a quantum theory of gravity posit fundamental ontologies that exclude spacetime, either partially or wholly. This situation raises deep questions about how such theories could relate to the empirical realm, since arguably only entities localized in spacetime can ever be observed. Are such entities even possible in a theory without fundamental spacetime? How might they be derived, formally speaking? Moreover, since by assumption the fundamental entities cannot be smaller than the derived and so cannot ‘compose’ them in any ordinary sense, would a formal derivation actually show the physical reality of localized entities? We address these questions via a survey of a range of theories of quantum gravity, and generally sketch how they may be answered positively.

This paper argues that recent arguments to the effect that the debate between presentism and eternalism lacks any metaphysical substance ultimately fail, although important lessons can be gleaned from them in how to formulate a non-vacuous version of presentism. It suggests that presentism can best be characterized in the context of spacetime theories. The resulting position is an ersatzist version of presentism that admits merely non-present entities as abstracta deprived of physical existence. Ersatzist presentism both escapes the charges of triviality and promises to offer a route to solving the grounding problem which befalls its more traditional cousins.

Defining ‘presentism’ in a way that saves it from being trivially false yet metaphysically substantively distinct from eternalism is no mean feat, as the first part of this collection testifies. In Wuthrich (forthcoming), I have offered an attempt to achieve just this, arguing that this is best done in the context of modern spacetime theories. Here, I shall refrain from going through all the motions again and simply state the characterization of an ersatzist version of presentism as it has emerged from considerations there. Any acceptable formulation of presentism should remain neutral among competing spacetime theories in order to enable the present project of assessing the compatibility of presentism with various theories of modern physics, including both spacetime theories and theories of physical processes situated in a spatiotemporal setting

Radical ontic structural realism (ROSR) asserts an ontological commitment to ‘free-standing’ physical structures understood solely in terms of fundamental relations, without any recourse to relata that stand in these relations. Bain ([2013], pp.1621–35) has recently defended ROSR against the common charge of incoherence by arguing that a reformulation of fundamental physical theories in category-theoretic terms (rather than the usual set-theoretic ones) offers a coherent and precise articulation of the commitments accepted by ROSR. In this essay, we argue that category theory does not offer a more hospitable environment to ROSR than set theory. We also show that the application of category-theoretic tools to topological quantum field theory and to algebraic generalizations of general relativity do not warrant the claim that these theories describe ‘object-free’ structures. We conclude that category theory offers little if any comfort to ROSR. 1 Introduction: Ridding Structures of Objects2 The Set-theoretic Peril for Radical Ontic Structural Realism3 Bain’s Categorial Strategy to Save Radical Ontic Structural Realism4 Throwing out the Relations with the Relata5 Categorial and Set-theoretical Structures6 Radical Suggestions from Topological Quantum Field Theory?7 Sheaves of Einstein Algebras as Radical Structures?8 Conclusions.

More often than not, recently popular structuralist interpretations of physical theories leave the central concept of a structure insufficiently precisified. The incipient causal sets approach to quantum gravity offers a paradigmatic case of a physical theory predestined to be interpreted in structuralist terms. It is shown how employing structuralism lends itself to a natural interpretation of the physical meaning of causal set theory. Conversely, the conceptually exceptionally clear case of causal sets is used as a foil to illustrate how a mathematically informed rigorous conceptualization of structure serves to identify structures in physical theories. Furthermore, a number of technical issues infesting structuralist interpretations of physical theories such as difficulties with grounding the identity of the places of highly symmetrical physical structures in their relational profile and what may resolve these difficulties can be vividly illustrated with causal sets

Does the need to find a quantum theory of gravity imply that the gravitational field must be quantized? Physicists working in quantum gravity routinely assume an affirmative answer, often without being aware of the metaphysical commitments that tend to underlie this assumption. The ambition of this article is to probe these commitments and to analyze some recently adduced arguments pertinent to the issue of quantization. While there exist good reasons to quantize gravity, as this analysis will show, alternative approaches to gravity challenge the received wisdom. These renegade approaches do not regard gravity as a fundamental force, but rather as effective, i.e. as merely supervening on fundamental physics. I will urge that these alternative accounts at least prove the tenability of an opposition to quantization.

This paper examines two cosmological models of quantum gravity to investigate the foundational and conceptual issues arising from quantum treatments of the big bang. While the classical singularity is erased, the quantum evolution that replaces it may not correspond to classical spacetime: it may instead be a non-spatiotemporal region, which somehow transitions to a spatiotemporal state. The different kinds of transition involved are partially characterized, the concept of a physical transition without time is investigated, and the problem of empirical incoherence for regions without spacetime is discussed.

This essay offers a reaction to the recent resurgence of presentism in the philosophy of time. What is of particular interest in this renaissance is that a number of recent arguments supporting presentism are crafted in an untypically naturalistic vein, breathing new life into a metaphysics of time with a bad track record of co-habitation with modern physics. Against this trend, the present essay argues that the pressure on presentism exerted by special relativity and its core lesson of Lorentz symmetry cannot easily be shirked. A categorization of presentist responses to this pressure is offered. As a case in point, I analyze a recent argument by Monton (2006) presenting a case for the compatibility of presentism with quantum gravity. Monton claims that this compatibility arises because there are quantum theories of gravity that use fixed foliations of spacetime and that such fixed foliations provide a natural home for a metaphysically robust notion of the present. A careful analysis leaves Monton's argument wanting. In sum, the prospects of presentism to be alleviated from the stress applied by fundamental physics are faint.

Structural realist interpretations of generally relativistic spacetimes have recently come to enjoy a remarkable degree of popularity among philosophers. I present a challenge to these structuralist interpretations that arises from considering cosmological models in general relativity. As a consequence of their high degree of spacetime symmetry, these models resist a structuralist interpretation. I then evaluate the various strategies available to the structuralist to react to this challenge. †To contact the author, please write to: Department of Philosophy, 9500 Gilman Drive, 0119, University of California, San Diego, La Jolla, CA 92093‐0119; e‐mail: [email protected].

ABSTRACT Unlike the relativity theory it seeks to replace, causal set theory has been interpreted to leave space for a substantive, though perhaps ‘localized’, form of ‘becoming’. The possibility of fundamental becoming is nourished by the fact that the analogue of Stein’s theorem from special relativity does not hold in CST. Despite this, we find that in many ways, the debate concerning becoming parallels the well-rehearsed lines it follows in the domain of relativity. We present, however, some new twists and challenges. In particular, we show that a novel and exotic notion of becoming is compatible with causal sets. In contrast to the localized becoming considered compatible with the dynamics of CST by its advocates, our novel kind of becoming, while not answering to the typical A-theoretic demands, is global and objective. _1_ Introduction _2_ The Basics of Causal Set Theory _3_ Facing the Same Dilemma? _4_ Taking Growth Seriously _5_ Conclusion

Theories of quantum gravity generically presuppose or predict that the reality underlying relativistic spacetimes they are describing is significantly non-spatiotemporal. On pain of empirical incoherence, approaches to quantum gravity must establish how relativistic spacetime emerges from their non-spatiotemporal structures. We argue that in order to secure this emergence, it is sufficient to establish that only those features of relativistic spacetimes functionally relevant in producing empirical evidence must be recovered. In order to complete this task, an account must be given of how the more fundamental structures instantiate these functional roles. We illustrate the general idea in the context of causal set theory and loop quantum gravity, two prominent approaches to quantum gravity.

Analogue experiments have attracted interest for their potential to shed light on inaccessible domains. For instance, ‘dumb holes’ in fluids and Bose–Einstein condensates, as analogues of black holes, have been promoted as means of confirming the existence of Hawking radiation in real black holes. We compare analogue experiments with other cases of experiment and simulation in physics. We argue—contra recent claims in the philosophical literature—that analogue experiments are not capable of confirming the existence of particular phenomena in inaccessible target systems. As they must assume the physical adequacy of the modelling framework used to describe the inaccessible target system, arguments to the conclusion that analogue experiments can yield confirmation for phenomena in those target systems, such as Hawking radiation in black holes, beg the question.

Research in quantum gravity strongly suggests that our world in not fundamentally spatiotemporal, but that spacetime may only emerge in some sense from a non-spatiotemporal structure, as this paper illustrates in the case of causal set theory and loop quantum gravity. This would raise philosophical concerns regarding the empirical coherence and general adequacy of theories in quantum gravity. If it can be established, however, that spacetime emerges in the appropriate circumstances and how all its relevant aspects are explained in fundamental non-spatiotemporal terms, then the challenge is fully met. It is argued that a form of spacetime functionalism offers the most promising template for this project.

There exists a growing literature on the so-called physical Church-Turing thesis in a relativistic spacetime setting. The physical Church-Turing thesis is the conjecture that no computing device that is physically realizable can exceed the computational barriers of a Turing machine. By suggesting a concrete implementation of a beyond-Turing computer in a spacetime setting, Istvan Nemeti and Gyula David have shown how an appreciation of the physical Church-Turing thesis necessitates the confluence of mathematical, computational, physical, and indeed cosmological ideas. In this essay, I will honour Istvan's seventieth birthday, as well as his longstanding interest in, and his seminal contributions to, this field going back to as early as 1987 by modestly proposing how the concrete implementation in Nemeti and D\'avid might be complemented by a quantum-information-theoretic communication protocol between the computing device and the logician who sets the beyond-Turing computer a task such as determining the consistency of Zermelo-Fraenkel set theory. This suggests that even the foundations of quantum theory and, ultimately, quantum gravity may play an important role in determining the validity of the physical Church-Turing thesis

We investigate Kerr–Newman black holes in which a rotating charged ring-shaped singularity induces a region which contains closed timelike curves (CTCs). Contrary to popular belief, it turns out that the time orientation of the CTC is oppo- site to the direction in which the singularity or the ergosphere rotates. In this sense, CTCs “counter-rotate” against the rotating black hole. We have similar results for all spacetimes sufficiently familiar to us in which rotation induces CTCs. This motivates our conjecture that perhaps this counter-rotation is not an accidental oddity particular to Kerr–Newman spacetimes, but instead there may be a general and intuitively comprehensible reason for this.

Information theory presupposes the notion of an epistemic agent, such as a scientist or an idealized human. Despite that, information theory is increasingly invoked by physicists concerned with fundamental physics, physics at very high energies, or generally with the physics of situations in which even idealized epistemic agents cannot exist. In this paper, I shall try to determine the extent to which the application of information theory in those contexts is legitimate. I will illustrate my considerations using the case of black hole thermodynamics and Bekenstein's celebrated argument for his formula for the entropy of black holes. This example is particularly pertinent to the theme of the present collection because it is widely accepted as `empirical data' in notoriously empirically deprived quantum gravity, even though the laws of black hole thermodynamics have so far evaded direct empirical confirmation.

In prior work, we have argued that spacetime functionalism provides tools for clarifying the conceptual difficulties specifically linked to the emergence of spacetime in certain approaches to quantum gravity. We argue in this article that spacetime functionalism in quantum gravity is radically different from other functionalist approaches that have been suggested in quantum mechanics and general relativity: in contrast to these latter cases, it does not compete with purely interpretative alternatives, but is rather intertwined with the physical theorizing itself at the level of quantum gravity. Spacetime functionalism allows one to articulate a coherent realist perspective in the context of quantum gravity, and to relate it to a straightforward realist understanding of general relativity.

Quantum gravity’s suggestion that spacetime may be emergent and so only exist contingently would force a radical reconception of extant analyses of laws of nature. Humeanism presupposes a spatiotemporal mosaic of particular matters of fact on which laws supervene; primitivism and dispositionalism conceive of the action of primitive laws or of dispositions as a process of ‘nomic production’ unfolding over time. We show how the Humean supervenience basis of non-modal facts and primitivist or dispositionalist accounts of nomic production can be reconceived, avoiding a reliance on fundamental spacetime. However, it is unclear that naturalistic forms of Humeanism can maintain their commitment to there being no necessary connections among distinct entities. Furthermore, non-temporal conceptions of production render this central concept more elusive than before. In fact, the challenges run so deep that the survival of the investigated analyses into the era of quantum gravity is questionable.