Closed timelike curves (CTCs) appear in many solutions of the Einstein equation, even with reasonable matter sources. These solutions appear to violate causality and so are considered problematic. Since CTCs reflect the global properties of a spacetime, one can attempt to extend a local CTC-free patch of such a spacetime in a way that does not give rise to CTCs. One such procedure is informally known as unwrapping. However, changes in global identifications tend to lead to local effects, (...) and unwrapping is no exception, as it introduces a special kind of singularity, called quasi-regular. This “unwrapping” singularity is similar to the string singularities. We define an unwrapping of a (locally) axisymmetric spacetime as the universal cover of the spacetime after one or more of the local axes of symmetry is removed. We give two examples of unwrapping of essentially 2+1 dimensional spacetimes with CTCs, the Gott spacetime and the Gödel spacetime. We show that the unwrapped Gott spacetime, while singular, is at least devoid of CTCs. In contrast, the unwrapped Gödel spacetime still contains CTCs through every point. A “multiple unwrapping” procedure is devised to remove the remaining circular CTCs. We conclude that, based on the given examples, CTCs appearing in the solutions of the Einstein equation are not simply a mathematical artifact of coordinate identifications. Alternative extensions of spacetimes with CTCs tend to lead to other pathologies, such as naked quasi-regular singularities. (shrink)

It is often thought that presentism is incompatible with time travel. I will argue that this common view is incorrect. Specifically, I will argue that presentism is compatible with some stories that involve closed timelike curves, and that some of these stories are time-travel stories.

Gödel’s contention that closed timelike curves (CTC’s) are a necessary consequence of the Einstein equations for his metric is challenged. It is seen that the imposition of periodicity in a timelike coordinate is the actual source of CTC’s rather than the physics of general relativity. This conclusion is supported by the creation of Gödel-like CTC’s in flat space by the correct choice of coordinate system and identifications. Thus, the indications are that the notion of a time machine (...) remains exclusively an aspect of science fiction fantasy. The element of the identification of spacetime points is also seen to be the essential factor in the modern creation of CTC’s in the Gott model of moving cosmic strings. (shrink)

Relativity allegedly contradicts presentism, the dynamic view of time and reality, according to which temporal passage is conceived of as an existentially distinguished ‘moving’ now. Against this common belief, the paper motivates a presentist interpretation of spacetime: It is argued that the fundamental concept of time—proper time—cannot be characterized by the earlier-later relation, i.e., not in the B-theoretical sense. Only the presentist can provide a temporal understanding of the twins’ paradox and of universes with closed timelike curves.

Proposed models of closed timelike curves have been shown to enable powerful information-processing protocols. We examine the simulation of models of CTCs both by other models of CTCs and by physical systems without access to CTCs. We prove that the recently proposed transition probability CTCs are physically equivalent to postselection CTCs, in the sense that one model can simulate the other with reasonable overhead. As a consequence, their information-processing capabilities are equivalent. We also describe a method for quantum (...) computers to simulate Deutschian CTCs. In cases for which the overhead is reasonable, it might be possible to perform the simulation in a table-top experiment. This approach has the benefit of resolving some ambiguities associated with the equivalent circuit model of Ralph et al. Furthermore, we provide an explicit form for the state of the CTC system such that it is a maximum-entropy state, as prescribed by Deutsch. (shrink)

There has been considerable recent interest in the consequences of closed timelike curves (CTCs) for the dynamics of quantum mechanical systems. A vast majority of research into this area makes use of the dynamical equations developed by Deutsch, which were developed from a consistency condition that assumes that mixed quantum states uniquely describe the physical state of a system. We criticize this choice of consistency condition from an epistemic perspective, i.e., a perspective in which the quantum state represents (...) a state of knowledge about a system. We demonstrate that directly applying Deutsch’s condition when mixed states are treated as representing an observer’s knowledge of a system can conceal time travel paradoxes from the observer, rather than resolving them. To shed further light on the appropriate dynamics for quantum systems traversing CTCs, we make use of a toy epistemic theory with a strictly classical ontology due to Spekkens and show that, in contrast to the results of Deutsch, many of the traditional paradoxical effects of time travel are present. (shrink)

Notoriously, the Einstein equations of general relativity have solutions in which closed timelike curves occur. On these curves time loops back onto itself, which has exotic consequences: for example, traveling back into one's own past becomes possible. However, in order to make time travel stories consistent constraints have to be satisfied, which prevents seemingly ordinary and plausible processes from occurring. This, and several other "unphysical" features, have motivated many authors to exclude solutions with CTCs from consideration, e.g. by (...) conjecturing a chronology protection law. In this contribution we shall investigate the nature of one particular class of exotic consequences of CTCs, namely those involving unexpected cases of indeterminism or determinism. Indeterminism arises even against the backdrop of the usual deterministic physical theories when CTCs do not cross spacelike hypersurfaces outside of a limited CTC-region|such hypersurfaces fail to be Cauchy surfaces. We shall compare this CTC-indeterminism with four other types of indeterminism that have been discussed in the philosophy of physics literature: quantum indeterminism, the indeterminism of the hole argument, non-uniqueness of solutions of differential equations and lack of predictability due to insuffcient data. By contrast, a certain kind of determinism appears to arise when an indeterministic theory is applied on a CTC: things cannot be different from what they already were. Again we shall make comparisons, this time with other cases of determination in physics. We shall argue that on further consideration both this indeterminism and determinism on CTCs turn out to possess analogues in other, familiar areas of physics. CTC- indeterminism is close to the epistemological indeterminism we know from statistical physics, while the "fixedness" typical of CTC-determinism is pervasive in physics. CTC- determinism and CTC-indeterminism therefore do not provide incontrovertible grounds for rejecting CTCs as conceptually inadmissible. (shrink)

It is claimed that unacceptable constraints on initial data are imposed by certain responses to paradoxes that threaten time travel, closed timelike curves (CTCs) and other backwards causation hypotheses. In this paper I argue against the following claims: to say “contradictions are impossible so something must prevent the paradox” commits in general to constraints on initial data, that for fixed point dynamics so-called grey state solutions explain why contradictions do not arise, and the latter have been proved to (...) avoid constraints on initial data. †To contact the author, please write to: Philosophy, University of Queensland, Brisbane, Queensland 4072, Australia; e-mail: [email protected]. (shrink)

Bennett and Schumacher’s postselected quantum teleportation is a model of closed timelike curves (CTCs) that leads to results physically different from Deutsch’s model. We show that even a single qubit passing through a postselected CTC (P-CTC) is sufficient to do any postselected quantum measurement with certainty, and we discuss an important difference between “Deutschian” CTCs (D-CTCs) and P-CTCs in which the future existence of a P-CTC might affect the present outcome of an experiment. Then, based on a suggestion (...) of Bennett and Smith, we explicitly show how a party assisted by P-CTCs can distinguish a set of linearly independent quantum states, and we prove that it is not possible for such a party to distinguish a set of linearly dependent states. The power of P-CTCs is thus weaker than that of D-CTCs because the Holevo bound still applies to circuits using them, regardless of their ability to conspire in violating the uncertainty principle. We then discuss how different notions of a quantum mixture that are indistinguishable in linear quantum mechanics lead to dramatically differing conclusions in a nonlinear quantum mechanics involving P-CTCs. Finally, we give explicit circuit constructions that can efficiently factor integers, efficiently solve any decision problem in the intersection of NP and coNP, and probabilistically solve any decision problem in NP. These circuits accomplish these tasks with just one qubit traveling back in time, and they exploit the ability of postselected closed timelike curves to create grandfather paradoxes for invalid answers. (shrink)

This chapter explores the concept of time itself, as physicists understand it. Einstein's special theory of relativity requires worldlines of physical objects to be timelike; the field equations of his general theory of relativity predict that massive bodies such as stars and black holes distort space‐time and bend worldlines. Suppose space‐time becomes so distorted that some worldlines form closed loops. If one tried to follow such a closed timelike curve (or CTC) exactly, all the way (...) around, one would bump into ones former selves and get pushed aside. But by following part of a CTC, we could return to the past and participate in events there. According to a recent calculation by J. Richard Gott of Princeton, a cosmic string passing rapidly by another would generate CTCs. The chapter concludes that if time travel is impossible, then the reason has yet to be discovered. (shrink)

I argue that Deutsch’s model for the behavior of systems traveling around closed timelike curves relies implicitly on a substantive metaphysical assumption. Deutsch is employing a version of quantum theory with a significantly supplemented ontology of parallel existent worlds, which differ in kind from the many worlds of the Everett interpretation. Standard Everett does not support the existence of multiple identical copies of the world, which the D-CTC model requires. This has been obscured because he often refers to (...) the branching structure of Everett as a “multiverse”, and describes quantum interference by reference to parallel interacting definite worlds. But he admits that this is only an approximation to Everett. The D-CTC model, however, relies crucially on the existence of a multiverse of parallel interacting worlds. Since his model is supplemented by structures that go significantly beyond quantum theory, and play an ineliminable role in its predictions and explanations, it does not represent a quantum solution to the paradoxes of time travel. (shrink)

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. (shrink)

This paper deals with those time travels mostly considered by physics, namely those in the form of the so-called closed timelike curves. Some authoritative scholars have raised doubts about the status of these journeys as proper time travels. By using David Lewis’ famous definition of time travels proposed in 1976, we show that this proper status may actually be recovered, at least in some cosmological contexts containing spacetime regions, such as those concerning black holes described by the Kerr–Newman (...) metric, that allow the formation of local closed curves. But, the mathematical incompatibility between ordinary black hole solutions to Einstein field equations and the cosmological solutions induces us to take into consideration the more general issue pertaining to the slippery interplay between models related to local and global aspects of the world, highlighting, in particular, the different notions of time that these domains inevitably imply. This leads us to think that time is not a univocal entity of the world, but is a scale-related characteristic which claims the adoption, when investigating its ontological status, of a sort of regional approach. We also briefly dwell upon the most appropriate form of realism that such a kind of dispute between local and global models may involve. (shrink)

I argue that David Lewis’s philosophically dominant conception of time travel cannot straightforwardly handle what we might call cases of relativistic time travel—that is, the sort of time travel which could only plausibly occur in a relativistic setting. I evaluate whether or not the Lewisian account can be successfully adapted such that it would able to analyse potential cases of relativistic time travel satisfactorily while still being employable in the analysis of those cases that make no mention of physics or (...) the structure of spacetime. This is primarily an analytical and explanatory exercise, rather than a polemical one. (shrink)

Recent years have seen a growing consensus in the philosophical community that the grandfather paradox and similar logical puzzles do not preclude the possibility of time travel scenarios that utilize spacetimes containing closed timelike curves. At the same time, physicists, who for half a century acknowledged that the general theory of relativity is compatible with such spacetimes, have intensely studied the question whether the operation of a time machine would be admissible in the context of the same theory (...) and of its quantum cousins. A time machine is a device which brings about closed timelike curves—and thus enables time travel—where none would have existed otherwise. The physics literature contains various no-go theorems for time machines, i.e., theorems which purport to establish that, under physically plausible assumptions, the operation of a time machine is impossible. We conclude that for the time being there exists no conclusive no-go theorem against time machines. The character of the material covered in this article makes it inevitable that its content is of a rather technical nature. We contend, however, that philosophers should nevertheless be interested in this literature for at least two reasons. First, the topic of time machines leads to a number of interesting foundations issues in classical and quantum theories of gravity; and second, philosophers can contribute to the topic by clarifying what it means for a device to count as a time machine, by relating the debate to other concerns such as Penrose's cosmic censorship conjecture and the fate of determinism in general relativity theory, and by eliminating a number of confusions regarding the status of the paradoxes of time travel. The present article addresses these ambitions in as non-technical a manner as possible, and the reader is referred to the relevant physics literature for details. (shrink)

Must space be a unity? This question, which exercised Aristotle, Descartes and Kant, is a specific instance of a more general one; namely, can the topology of physical space change with time? In this paper we show how the discussion of the unity of space has been altered but survives in contemporary research in theoretical physics. With a pedagogical review of the role played by the Euler characteristic in the mathematics of relativistic spacetimes, we explain how classical general relativity (modulo (...) considerations about energy conditions) allows virtually unrestrained spatial topology change in four dimensions. We also survey the situation in many other dimensions of interest. However, topology change comes with a cost: a famous theorem by Robert Geroch shows that, for many interesting types of such change, transitions of spatial topology imply the existence of closed timelike curves or temporal non-orientability. Ways of living with this theorem and of evading it are discussed. (shrink)

We discuss the possibility to build and operate a time machine, a device that produces closed timelike curves. We specify the spacetime structure needed to implement a time machine and assess attempted no-go results against time machines in classical general relativity, semi-classical quantum gravity, quantum field theory on curved spacetime, and in Euclidean quantum gravity. Such no-go theorems for time machines would show that, under physically reasonable conditions, CTCs cannot develop in spacetimes initially free of these pathologies. Our (...) review indicates that an investigation of the prospects of achieving no-go results has not been entirely successful in establishing such generality. At the same time, the pursuit of chronology protection results has proved to be a fruitful way to probe the foundations of classical GTR and the interface between general relativity and quantum field theory. (shrink)

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. (shrink)

The topic is time travel of the sort depicted in H. G. Wells’ classic novel, The Time Machine—Wellsian time travel. The range of proper applicability of the concept of Wellsian time travel is investigated. The results of this investigation are applied to provide a new argument against the metaphysical possibility of time travel in absolute time. Alternatively, the argument is against the possibility of Wellsian time travel relative to a single temporal frame of reference. The argument leaves open the prospect (...) that an object nontrivially moves relative to one temporal reference frame from one time to another relative to another temporal reference frame. The argument does not turn on closed timelike curves or “causal loops” of any kind. It does however invoke the prospect of backward causation—a consequence of backward time travel in conjunction with common sense—but it invokes this possibility only in the weak sense of mere logical consistency. (shrink)

Zygmunt Zawirski, a member of the Lwow-Warsaw Philosophical School, in 1927-28 published an extensive paper (in three parts) devoted to the critical examination of the eternal return hypothesis - the idea that the history of the universe is fundamentally a cyclic process. After presenting the development of this idea throughout the ages Zawirski discusses arguments on its behalf coming mainly from the second law of thermodynamics and from the Poincaré recurrence theorem. Zawirski's criticism is confronted with the present state of (...) art. in this domain. Three new theoretical inputs are taken into account: first, our present knowledge of the global structure of space-time geometries with closed timelike curves; second, some results of relativistic thermodynamics; third, Tipler's no-return theorem (relativistic counterpart of the Poincaré theorem). Our knowledge regarding the eternal return, although not less hypothetical, is more „formalized” and more sophisticated than it was in Zawirski's time. (shrink)

In this paper I argue that the consistency condition from the Deutsch's influential model for closed timelike curves differs significantly from the classical consistency condition found in Lewis and Novikov, as well as from the consistency condition found in the P-CTC model, the major rival to Deutsch's approach. Both the CCC and the P-CTC consistency condition are formulable in the context of a single history of the world. Deutsch's consistency condition relies on the existence of a structure of (...) parallel worlds. I argue that Deutsch's commitment to realism about parallel worlds puts his solutions to the information paradox in jeopardy. I argue that, because of Deutsch's commitment to this metaphysical picture, he is committed to the existence of physical situations that are in every way indistinguishable from the paradoxes he attempts to rule out by adopting the model in the first place. Deutsch's proposed solution to the Knowledge Paradox, in particular his commitment to the actuality of the many worlds of the Everett interpretation, guarantees the existence of worlds that are indistinguishable from worlds in which the genuine Knowledge Paradox arises. (shrink)

This paper is a survey of the theories of time travel in a perspective close to theories of time. In the last section we discuss the special ontology of the objects that exist on closed timelike curves. We simply assert that CTC need a new ontology and these objects are not simply impossible or unconcevaible.

I wish to discuss a supposed implication of one sort of time travel. The sort of time travel is time travel into one’s past along a closed timelike curve. The implication is that in spacetimes with CTCs there can be no temporal passage or “flow” of time. I will argue that the implication does not hold.

We introduce the Causal Compatibility Conjecture for the Events, Trees, Histories approach to Quantum Theory in the semi-classical setting. We then prove that under the assumptions of the conjecture, points on closed causal curves are physically indistinguishable in the context of the ETH approach to QT and thus the conjecture implies a compatibility of the causal structures even in presence of closed causal curves. As a consequence of this result there is no observation that could be made by (...) an observer to tell any two points on a closed causal curve apart. We thus conclude that closed causal curves have no physical significance in the context of the ETH approach to QT. This is an indication that time travel will not be possible in a full quantum theory of gravity and thus forever remain a fantasy. (shrink)

It has been suggested by Clark Glymour that the spatio-temporal structure of the universe might be underdetermined by all observational data that could ever, theoretically, be gathered. It is possible for two spacetimes to be observationally indistinguishable (OI) yet topologically distinct. David Malament extended the argument for the underdetermination of spacetime structure by showing that under quite general conditions (such as the absence of any closed timelike curves) a spacetime will always have an OI counterpart (at least in (...) weak sense). Because the plight of the cosmologist seemed to be so discouraging in this regard, Malament considered the relationship between global properties and OI spacetimes. This information is helpful to the cosmologist. It allows, in principle, one to reject some spacetime models based on observational evidence. In this paper, I consider the relationship between variants of geodesic incompleteness and different senses (some old and some new) of OI. In light of the findings, it seems that (for the most part) the predicament of the cosmologist is not good. Quite generally, versions of geodesic incompleteness are not conserved even under the strongest formulations of OI. (shrink)

Most approaches to quantum gravity suggest that relativistic spacetime is not fundamental, but instead emerges from some non-spatiotemporal structure. This paper investigates the implications of this suggestion for the possibility of time travel in the sense of the existence of closed timelike curves in some relativistic spacetimes. In short, will quantum gravity reverse or strengthen general relativity’s verdict that time travel is possible?

Causality violations are typically seen as unrealistic and undesirable features of a physical model. The following points out three reasons why causality violations, which Bonnor and Steadman identified even in solutions to the Einstein equation referring to ordinary laboratory situations, are not necessarily undesirable. First, a space-time in which every causal curve can be extended into a closed causal curve is singularity free—a necessary property of a globally applicable physical theory. Second, a causality-violating space-time exhibits a nontrivial (...) topology—no closed timelike curve (CTC) can be homotopic among CTCs to a point, or that point would not be causally well behaved—and nontrivial topology has been explored as a model of particles. Finally, if every causal curve in a given space-time passes through an event horizon, a property which can be called “causal censorship”, then that space-time with event horizons excised would still be causally well behaved. (shrink)

Here we provide a proof that there exist closed timelike curves in Gödel spacetime with total acceleration less than 2π(9 + 6√3)^1/2. This answers a question posed by David Malament.

Here, we hypothesize that a smooth nongeodesic closed timelike curve is never most efficient with respect to total acceleration if a kink is permitted at the initial point. We support our hypothesis in a variety of ways. Most notably, we show Malament's opposing conjecture concerning Gödel space-time to be false.

The physical possibility of spacetimes containing closed timelike curves (CTCs) challenges the philosophy of time in the way that temporal ordering is, at best, remarkably non-standard: events on CTCs precede themselves. Apparently, such universes do not possess a consistent time order but only a consistent time direction. Thus, temporal directionality seems to be more fundamental than ordering in earlier-later or past-present-future. I will argue that this favors presentism as the adequate ontology of spacetimes: only presentism consistently copes with (...) the idea that temporal ordering depends on empirical constraints. The presentist Now is fundamentally undivided and productively directed towards existence. Time order arises by extending the Now, which can fail and in fact fails in universes containing CTCs. (shrink)

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. (shrink)

The D-CTC condition, introduced by David Deutsch as a condition to be fulfilled by analogues for processes of quantum systems in the presence of closed timelike curves, is investigated for classical statistical bi-partite systems. It is shown that the D-CTC condition can generically be fulfilled in classical statistical systems, under very general, model-independent conditions. The central property used is the convexity and completeness of the state space that allows it to generalize Deutsch’s original proof for q-bit systems to (...) more general classes of statistically described systems. The results demonstrate that the D-CTC condition, or the conditions under which it can be fulfilled, is not characteristic of, or dependent on, the quantum nature of a bi-partite system. (shrink)

A recent paper from Brun et al. has argued that access to a closed timelike curve would allow for the possibility of perfectly distinguishing nonorthogonal quantum states. This result can be used to develop a protocol for instantaneous nonlocal signaling. Several commenters have argued that nonlocal signaling must fail in this and in similar cases, often citing consistency with relativity as the justification. I argue that this objection fails to rule out nonlocal signaling in the presence of (...) a CTC. I argue that the reason these authors are motivated to exclude the prediction of nonlocal signaling is because the No Signaling principle is considered to a fundamental part of the formulation of the quantum information approach. I draw out the relationship between nonlocal signaling, quantum information, and relativity, and argue that the principle theory formulation of quantum mechanics, which is at the foundation of the quantum information approach, is in tension with foundational assumptions of Deutsch’s D-CTC model, on which this protocol is based. (shrink)

We show that quantum interference can be interpreted in terms of a phase invariant quantity, not unlike the Berry’s phase. Under this interpretation, closed loops in time become fundamental quantum entities, and all quantum states become periodic. Decoherence is then seen to occur naturally as a consequence. This formalism, although counterintuitive, provides another useful way of assigning meaning to quantum probabilities and quasi-probabilities.

In 1949, Kurt Gödel found a solution to the field equations of general relativity that described a spacetime with some unusual properties. This “Gödel universe” permitted “closed timelike curves,” hence a kind of time travel, and it did not admit of decomposition into successive moments of time. In the same year, he published “A Remark about the Relationship between Relativity Theory and Idealistic Philosophy”, in which he used certain properties of this solution to argue for a kind of (...) temporal idealism, whereby “change [is] an illusion or an appearance due to our special mode of perception”. The paper is short and to the point, but the argument has usually been regarded as fatally flawed. In his Gödel Meets Einstein: Time Travel in the Gödel Universe, Palle Yourgrau makes a case for Gödel. (shrink)

We examine the time discontinuity in rotating space–times for which the topology of time is S1. A kinematic restriction is enforced that requires the discontinuity to be an integral number of the periodicity of time. Quantized radii emerge for which the associated tangential velocities are less than the speed of light. Using the de Broglie relationship, we show that quantum theory may determine the periodicity of time. A rotating Kerr–Newman black hole and a rigidly rotating disk of dust are also (...) considered; we find that the quantized radii do not lie in the regions that possess CTCs. (shrink)

We present a new way of constructing classical analogies of quantum interference. These analogies share one common factor: they treat closed loops as fundamental entities. Such analogies can be used to understand the difference between quantum and classical probability; they can also be used to illuminate the many worlds interpretation of quantum mechanics. An examination of these analogies suggests that closed loops (particularly closed loops in time) may have special significance in interpretations of quantum interference, because they (...) allow probabilities to remain classically additive. (shrink)

In 1949 the great logician Kurt Gödel constructed the first mathematical models of the universe in which travel into the past is, in theory at least, possible. Within the framework of Einstein’s general theory of relativity Gödel produced cosmological solutions to Einstein’s field equations which contain closed time-like curves, that is, curves in spacetime which, despite being closed, still represent possible paths of bodies. An object moving along such a path would travel back into its own past, to (...) the very moment at which it “began” the journey. More generally, Gödel showed that, in his “universe”, for any two points P and Q on a body’s track through spacetime, such that P temporally precedes Q, there is a timelike curve linking P and Q on which Q temporally precedes P. This means that, in principle at least, one could board a “time machine” and travel to any point of the past. Gödel inferred, in consonance with the views of Parmenides, Kant and the modern idealists, that under these circumstances there could be no such thing as an objective lapse of time, that time or, more generally, change, is an illusion arising from our special mode of perception. For consider an observer initially at point P. At point Q he boards a time machine and travels back to point P, taking time t′′ to do so. In that case, according to his own clock, t′ – t + t′′ > 0 seconds have elapsed, and yet an identical clock left at P would show that 0 seconds have elapsed. In short, there has been no “objective” lapse of time at all. Gödel remarks that in his universe this situation is typical: for every possible definition of an “objective” time one could travel into regions which are past according to that definition. He continues. (shrink)

In this work we will deal with ellipses and ovals, comparing them both from the geometric point of view and from the one of applications. There is a notable similarity between these curves so often it’s not possible to recognize which of the two figures is, unless we consider other elements to distinguish them. We will show the presence of both curves in architectural works and in treatises, motivating their use, when it’s possible, with geometric and technological considerations.

Much of scientific inference involves fitting numerical data with a curve, or functional relation. The received view is that the fittest curve is the curve which best balances the conflicting demands of simplicity and accuracy, where simplicity is measured by the number ofparameters in the curve. The problem with this view is that there is no commonly accepted justification for desiring simplicity. This paper presents a measure of the stability of equations. It is argued that the (...) fittest curve is the curve which best balances stability and accuracy. The received view is defended with a proof that simplicity corresponds to stability, for linear regression equations. 1This paper is based on part of my doctoral dissertation. My thanks go to my thesis supervisor Professor Alasdair Urquhart for his encouragement, constructive criticism, and for directing me to several relevant articles: to my advisor Professor Ian Hacking for reminding me to concentrate on results that might have some application in the real world; and to my friend Wendy Brandts for sharing her ideas on a closely related problem. My thanks also to an anonymous referee of The British Journal of the Philosophy of Science for several helpful comments, to my friends and family for unfailing support, and to the Social Sciences and Humanities Research Council (awards 452-86-5885 and 453-87-0513) and the University of Toronto for financial assistance. (shrink)

The Schwarzschild solution has played a fundamental conceptual role in general relativity, and beyond, for instance, regarding event horizons, spacetime singularities and aspects of quantum field theory in curved spacetimes. However, one still encounters the existence of misconceptions and a certain ambiguity inherent in the Schwarzschild solution in the literature. By taking into account the point of view of an observer in the interior of the event horizon, one verifies that new conceptual difficulties arise. In this work, besides providing a (...) very brief pedagogical review, we further analyze the interior Schwarzschild black hole solution. Firstly, by deducing the interior metric by considering time-dependent metric coefficients, the interior region is analyzed without the prejudices inherited from the exterior geometry. We also pay close attention to several respective cosmological interpretations, and briefly address some of the difficulties associated to spacetime singularities. Secondly, we deduce the conserved quantities of null and timelike geodesics, and discuss several particular cases in some detail. Thirdly, we examine the Eddington–Finkelstein and Kruskal coordinates directly from the interior solution. In concluding, it is important to emphasize that the interior structure of realistic black holes has not been satisfactorily determined, and is still open to considerable debate. (shrink)

Forster and Sober present a solution to the curve-fitting problem based on Akaike's Theorem. Their analysis shows that the curve with the best epistemic credentials need not always be the curve that most closely fits the data. However, their solution does not, without further argument, avoid the two difficulties that are traditionally associated with the curve-fitting problem: that there are infinitely many equally good candidate-curves relative to any given set of data, and that these best candidates (...) include curves with indefinitely many bumps. (shrink)

We present a formal derivation of the Mino–Sasaki–Tanaka–Quinn–Wald (MSTQW) equation describing the self-force on a (semi-) classical relativistic point mass moving under the influence of quantized linear metric perturbations on a curved background space–time. The curvature of the space–time implies that the dynamics of the particle and the field is history-dependent and as such requires a non-equilibrium formalism to ensure the consistent evolution of both particle and field, viz., the worldline influence functional and the closed- time-path (CTP) coarse-grained effective (...) action. In the spirit of effective field theory, we regularize the formally divergent self-force by smearing the local part of the retarded Green’s function and employing a quasi-local expansion. We derive the MSTQW–Langevin equations describing the perturbations of the particle’s worldline about its semi-classical trajectory resulting from interactions with the quantum fluctuations of the linear metric perturbations. Finally, we demonstrate that the quantum fluctuations of the field could, in principle, leave imprints on gravitational waveforms expected to be observed by gravitational interferometers, thereby encoding information about tree-level perturbative quantum gravity. (shrink)

Let R be a real closed field, and X⊆Rm\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${X\subseteq R^m}$$\end{document} semi-algebraic and 1-dimensional. We consider complete first-order theories of modules over the ring of continuous semi-algebraic functions X→R\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${X\to R}$$\end{document} definable with parameters in R. As a tool we introduce -piecewise vector bundles on X and show that the category of piecewise vector bundles on X is equivalent to the category of syzygies (...) of finitely generated submodules of free modules. We give an explicit method to determine the Baur–Monk invariants of free modules in terms of pre-piecewise vector bundles. When R is a recursive real closed field this yields the decidability of the theory of free modules. Where it makes sense, we address the same questions for continuous definable functions in o-minimal expansions of a real closed field. From the free module case we are able to deduce generalisations of some results to arbitrary modules over the ring. We present a geometrically motivated quantifier elimination result down to the level of positive primitive formulae with a certain block decomposition of the matrix of coefficients. (shrink)