The purpose of this article is to introduce a class of distance-based iterated revision operators generated by minimizing the geodesic distance on a graph. Such operators correspond bijectively to metrics and have a simple finite presentation. As distance is generated by distinguishability, our framework is appropriate for modelling contexts where distance is generated by threshold, and therefore, when measurement is erroneous.

We pursue an account of merging through the use of geodesic semantics, the semantics based on the length of the shortest path on a graph. This approach has been fruitful in other areas of belief change such as revision and update. To this end, we introduce three binary merging operators of propositions defined on the graph of their valuations and we characterize them with a finite set of postulates.

It is often claimed that the geodesic principle can be recovered as a theorem in general relativity. Indeed, it is claimed that it is a consequence of Einstein's equation (or of the conservation principle that is, itself, a consequence of that equation). These claims are certainly correct, but it may be worth drawing attention to one small qualification. Though the geodesic principle can be recovered as theorem in general relativity, it is not a consequence of Einstein's equation (or the conservation (...) principle) alone. Other assumptions are needed to drive the theorems in question. One needs to put more in if one is to get the geodesic principle out. My goal in this short note is to make this claim precise (i.e., that other assumptions are needed). (shrink)

In this paper I critically review the long history of attempts to formulate and derive the geodesic principle, which claims that massive bodies follow geodesic paths in general relativity theory. I argue that if the principle is interpreted as a dynamical law of motion describing the actual evolution of gravitating bodies as endorsed by Einstein, then it is impossible to apply the law to massive bodies in a way that is coherent with his own field equations. Rejecting this canonical interpretation, (...) I propose an alternative interpretation of the geodesic principle as a type of universality thesis analogous to the universality behavior exhibited in thermal systems during phase transitions. (shrink)

According to recent arguments, the geodesic principle strictly interpreted is compatible with Einstein’s field equations only in pathologically unstable circumstances and, hence, cannot play a fundamental role in the theory. It is shown here that geodesic dynamics can still be coherently reinterpreted within contemporary relativity theory as a universality thesis. By developing an analysis of universality in physics, I argue that the widespread geodesic clustering of diverse free-fall massive bodies observed in nature qualifies as a universality phenomenon. I then show (...) how this near-geodetic clustering can be explained despite the pathologies associated with strict geodesic motion in Einstein’s theory. (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)

Wegner’s method of flow equations offers a useful tool for diagonalizing a given Hamiltonian and is widely used in various branches of quantum physics. Here, generalizing this method, a condition is derived, under which the corresponding flow of a quantum state becomes geodesic in a submanifold of the projective Hilbert space, independently of specific initial conditions. This implies the geometric optimality of the present method as an algorithm of generating stationary states. The result is illustrated by analyzing some physical examples.

A theorem due to Bob Geroch and Pong Soo Jang ["Motion of a Body in General Relativity." Journal of Mathematical Physics 16, ] provides a sense in which the geodesic principle has the status of a theorem in General Relativity. I have recently shown that a similar theorem holds in the context of geometrized Newtonian gravitation [Weatherall, J. O. "The Motion of a Body in Newtonian Theories." Journal of Mathematical Physics 52, ]. Here I compare the interpretations of these two (...) theorems. I argue that despite some apparent differences between the theorems, the status of the geodesic principle in geometrized Newtonian gravitation is, mutatis mutandis, strikingly similar to the relativistic case. (shrink)

Recent interest in maximal proper acceleration as a possible principle generalizing the theory of relativity can draw on the differential geometry of tangent bundles, pioneered by K. Yano, E. T. Davies, and S. Ishihara. The differential equations of geodesics of the spacetime tangent bundle are reduced and investigated in the special case of a Riemannian spacetime base manifold. Simple relations are described between the natural lift of ordinary spacetime geodesics and geodesics in the spacetime tangent bundle.

In 1962, Donald Caspar and Aaron Klug published their classic theory of virus structure. They developed their theory with an explicit analogy between spherical viruses and Buckminster Fuller's geodesic domes. In this paper, I use the spherical virus-geodesic dome case to develop an account of analogy and deductive analogical inference based on the notion of an isomorphism. I also consider under what conditions there is a good reason to claim an experimentally untested analogy is plausible.

Harvey Brown believes it is crucially important that the "geodesic principle" in general relativity is an immediate consequence of Einstein's equation and, for this reason, has a different status within the theory than other basic principles regarding, for example, the behavior of light rays and clocks, and the speed with which energy can propagate. He takes the geodesic principle to be an essential element of general relativity itself, while the latter are better seen as contingent facts about the particular matter (...) fields we happen to encounter. The situation seems much less clear and clean to me. There certainly is a sense in which the geodesic principle can be recovered as a theorem in general relativity. But one needs more than Einstein's equation to drive the theorems in question. Other assumptions are needed. One needs to put more in if one is to get the geodesic principle out. My goal in this note is to make this claim precise, i.e., that other assumptions are needed. (shrink)

The status of the geodesic principle in General Relativity has been a topic of some interest in the recent literature on the foundations of spacetime theories. Part of this discussion has focused on the role that a certain energy condition plays in the proof of a theorem due to Bob Geroch and Pong-Soo Jang [“Motion of a Body in General Relativity.” Journal of Mathematical Physics16(1) (1975)] that can be taken to make precise the claim that the geodesic principle is a (...) theorem, rather than a postulate, of General Relativity. In this brief note, I show, by explicit counterexample, that not only is a weaker energy condition than the one Geroch and Jang state insufficient to prove the theorem, but in fact a condition still stronger than the one that they assume is necessary. (shrink)

The purpose of this paper is to introduce a form of update based on the minimization of the geodesic distance on a graph. We provide a characterization of this class using set- theoretic operators and show that such operators bijectively correspond to geodesic metrics. As distance is generated by distinguishability, our framework is appropriate in contexts where distance is generated by threshold, and therefore, when measurement is erroneous.

In General Relativity (GR), it has been claimed that inertia receives a dynamical explanation. This is in contrast to the situation in other theories, such as Special Relativity, because the geodesic principle of GR can be derived from Einstein’s field equations. The claim can be challenged in different ways, all of which question whether the status of inertia in GR is physically different from its status in previous spacetime theories. In this paper I state the original argument for the claim (...) precisely, discuss the different objections to it and then propose a formulation that avoids the problems the original claim encounters. My conclusion is that one can say meaningfully that inertia is dynamically explained in GR. There are two senses in which the derivation of geodetic motion can be said to provide a (more) dynamical explanation of inertia in GR: it holds for any material test body that is a source of the gravitational field; and it is derivable without assuming inertial structures that are fixed independently of matter. (shrink)

This paper examines the theoretical and practical aspects of geodesic dome architecture in North America as part of an aesthetic of virtualization. Geodesic domes can be conceived of as virtual environments designed as alternatives to the contemporary world and its internal crises. They were originally a tool of the American counterculture of the 1960s to search for futuristic housing solutions which responded to ecological concerns. The contribution traces some of the most important phases of dome architecture, which crossed paths with (...) the emerging technoculture linked to the rise of virtual reality. Indeed, the idea of the dome as a means of imagining new virtual environments, as was the case of Biosphere 2, intersects with the career of VR pioneer Jaron Lanier. Today, virtual reality technologies have merged geodesic architecture with visualization devices, as happens in the case of “virtual domes”, offering a unique way to experience virtual reality and connect with others in a shared environment. (shrink)

I examine two claims that arise in Brown’s account of inertial motion. Brown claims there is something objectionable about the way in which the motions of free particles in Newtonian theory and special relativity are coordinated. Brown also claims that since a geodesic principle can be derived in Einsteinian gravitation, the objectionable feature is explained away. I argue that there is nothing objectionable about inertia and that while the theorems that motivate Brown’s second claim can be said to figure in (...) a deductive-nomological explanation, their main contribution lies in their explication rather than their explanation of inertial motion. (shrink)

This paper presents an axiomatization of a class of set-theoretic conditional operators using minimization of the geodesic distance defined as the shortest path generated by the accessibility relation on a frame. The objective of this modeling is to define conditioning based on a notion of similarity generated by degrees of indistinguishability.

This paper proposes a new classification algorithm for the partitioning of a conceptual space. All the algorithms which have been used until now have mostly been based on the theory of Voronoi diagrams. This paper proposes an approach based on potential theory, with the criteria for measuring similarities between objects in the conceptual space being based on the Newtonian potential function. The notion of a fuzzy prototype, which generalizes the previous definition of a prototype, is introduced. Furthermore, the necessary conditions (...) that a natural concept must meet are discussed. Instead of convexity, as proposed by Gärdenfors, the notion of geodesically convex sets is used. Thus, if a concept corresponds to a set which is geodesically convex, it is a natural concept. This definition applies, for example, if the conceptual space is an Euclidean space. As a by-product of the construction of the algorithm, an extension of the conceptual space to d-dimensional Riemannian manifolds is obtained. (shrink)

The geodesics and the curvature of a metric representing an isolated tachyon are investigated. It is argued that the properties are unphysical and inconsistent with observation, thus providing further evidence against the existence of tachyons.

1.1 Manifolds . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 1.2 Tangent Vectors . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . (...) . . . . . . . . . . . 7 1.3 Vector Fields, Integral Curves, and Flows . . . . . . . . . . . . . . . . . . . . . . . . . . . 15 1.4 Tensors and Tensor Fields on Manifolds . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21 1.5 The Action of Smooth Maps on Tensor Fields . . . . . . . . . . . . . . . . . . . . . . . . . 31 1.6 Lie Derivatives . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37 1.7 Derivative Operators and Geodesics . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43 1.8 Curvature . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59 1.9 Metrics . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 64 1.10 Hypersurfaces . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 81 1.11 Volume Elements . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 96.. (shrink)

Here, we clarify the relationship among three space-time conditions of interest: geodesic completeness, hole-freeness, and inextendibility. In addition, we introduce a related fourth condition: effective completeness.

I argue that, contrary to folklore, Einstein never really cared for geometrizing the gravitational or the electromagnetic field; indeed, he thought that the very statement that General Relativity geometrizes gravity "is not saying anything at all". Instead, I shall show that Einstein saw the "unification" of inertia and gravity as one of the major achievements of General Relativity. Interestingly, Einstein did not locate this unification in the field equations but in his interpretation of the geodesic equation, the law of motion (...) of test particles. (shrink)

A theorem due to Bob Geroch and Pong Soo Jang [“Motion of a Body in General Relativity.” Journal of Mathematical Physics 16, ] provides the sense in which the geodesic principle has the status of a theorem in General Relativity. Here we show that a similar theorem holds in the context of geometrized Newtonian gravitation. It follows that in Newtonian gravitation, as in GR, inertial motion can be derived from other central principles of the theory.

This paper develops and defends three related forms of relationism about spacetime against attacks by contemporary substantivalists. It clarifies Newton's globes argument to show that it does not bear on relations that fail to determine geodesic motions, since the inertial effects on which Newton relies are not simply correlated with affine structure, but must be understood in dynamical terms. It develops remarks by Sklar and van Fraassen into relational versions of Newtonian mechanics, and argues that Earman does not show them (...) to trivialize the debate. (shrink)

I discuss the debate between dynamical versus geometrical approaches to spacetime theories, in the context of both special and general relativity, arguing that the debate takes a substantially different form in the two cases; different versions of the geometrical approach—only some of which are viable—should be distinguished; in general relativity, there is no difference between the most viable version of the geometrical approach and the dynamical approach. In addition, I demonstrate that what have previously been dubbed two ‘miracles’ of general (...) relativity admit of no resolution from within general relativity, on either the dynamical or ‘qualified’ geometrical approaches, modulo some possible hints that the second ‘miracle’ may be resolved by appeal to recent results regarding the ‘geodesic principle’ in GR. (shrink)

I begin by reviewing some recent work on the status of the geodesic principle in general relativity and the geometrized formulation of Newtonian gravitation. I then turn to the question of whether either of these theories might be said to ``explain'' inertial motion. I argue that there is a sense in which both theories may be understood to explain inertial motion, but that the sense of ``explain'' is rather different from what one might have expected. This sense of explanation is (...) connected with a view of theories---I call it the ``puzzleball view''---on which the foundations of a physical theory are best understood as a network of mutually interdependent principles and assumptions. (shrink)

In recent times it has become fashionable to emphasize the role of conceptual change in the history of science. To judge from recent writers, every significant theoretical change in science is first and foremost a revolution in scientific concepts—a conceptual revolution. According to this view, every level of experience is affected by each fundamental theoretical change: physical theory, experimental practice and even perceptual experience. The Aristotelian patrician who watched the sun sink beneath the horizon not only had different beliefs about (...) the phenomenon but actually saw something different from the Newtonian gentleman who saw the horizon rise above his eye-sun line, and the Einsteinian professional who saw the sun's varying geometrical relations to the world light-geodesics on which successive temporal stages of his eye world-line lay. Moreover, such is the completeness of the conceptual-experiential shifts undergone in a fundamental scientific change that it is impossible to meaningfully discuss the one theory within the confines of the other or, indeed, to provide any systematic, cumulative comparison of successive theories. (shrink)

The Law of Inertia plays a key role in the scheme of constructive axioms for the General Theory of Relativity. A new formulation of this law which avoids the circularity problems inherent in previous formulations is presented. The empirical status of this law and the manner in which it provides a non-conventional foundation for the Law of Motion and the definition of physical forces is established. First, quite general path structures are discussed which are not defined at the outset in (...) terms of geodesic paths and which require for their description only the local differential topological structure. Secondly, a number of theorems are presented which serve as purely local differential topological criteria for singling out from among the general path structures the geodesic ones that represent the inertial structure of spacetime. (shrink)

The problem of motion in general relativity is about how exactly the gravitational field equations, the Einstein equations, are related to the equations of motion of material bodies subject to gravitational fields. This article compares two approaches to derive the geodesic motion of matter from the field equations: the ‘T approach’ and the ‘vacuum approach’. The latter approach has been dismissed by philosophers of physics because it apparently represents material bodies by singularities. I argue that a careful interpretation of the (...) approach shows that it does not depend on introducing singularities at all and that it holds at least as much promise as the T approach. (shrink)

The Riemannian manifold structure of the classical (i.e., Einsteinian) space-time is derived from the structure of an abstract infinite-dimensional separable Hilbert space S. For this S is first realized as a Hilbert space H of functions of abstract parameters. The space H is associated with the space of states of a macroscopic test-particle in the universe. The spatial localization of state of the particle through its interaction with the environment is associated with the selection of a submanifold M of realization (...) H. The submanifold M is then identified with the classical space (i.e., a space–like hypersurface in space-time). The mathematical formalism is developed which allows recovering of the usual Riemannian geometry on the classical space and, more generally, on space and time from the Hilbert structure on S. The specific functional realizations of S are capable of generating spacetimes of different geometry and topology. Variation of the length-type action functional on S is shown to produce both the equation of geodesics on M for macroscopic particles and the Schrödinger equation for microscopic particles. (shrink)

Recent work in the physics literature demonstrates that, in particular classes of rotating spacetimes, physical light rays in general do not traverse null geodesics. Having presented this result, we discuss its philosophical significance, both for the clock hypothesis (and, in particular, a recent purported proof thereof for light clocks), and for the operational meaning of the metric field. 1. Introduction2. Fletcher's Theorem2.1. Maudlin on the clock hypothesis in special relativity2.2. Fletcher’s result in special relativity2.3. Fletcher’s theorem in general relativity3. (...) Electromagnetism and the Geometrical-Optical Limit 3.1. Maxwell’s equations in curved spacetime3.2. The geometrical-optical limit3.3. Rotating spacetimes3.4. Aren’t Gödel spacetimes unphysical?4. The Clock Hypothesis and Chronogeometry 4.1. Natural and mathematical observations4.2. Clock registry discord4.3. Chronogeometry5. Conclusion. (shrink)

A classic problem in general relativity, long studied by both physicists and philosophers of physics, concerns whether the geodesic principle may be derived from other principles of the theory, or must be posited independently. In a recent paper [Geroch & Weatherall, "The Motion of Small Bodies in Space-Time", Comm. Math. Phys. ], Bob Geroch and I have introduced a new approach to this problem, based on a notion we call "tracking". In the present paper, I situate the main results of (...) that paper with respect to two other, related approaches, and then make some preliminary remarks on the interpretational significance of the new approach. My main suggestion is that "tracking" provides the resources for eliminating "point particles"---a problematic notion in general relativity---from the geodesic principle altogether. (shrink)

A geometric approach to quantum mechanics with unitary evolution and non-unitary collapse processes is developed. In this approach the Schrödinger evolution of a quantum system is a geodesic motion on the space of states of the system furnished with an appropriate Riemannian metric. The measuring device is modeled by a perturbation of the metric. The process of measurement is identified with a geodesic motion of state of the system in the perturbed metric. Under the assumption of random fluctuations of the (...) perturbed metric, the Born rule for probabilities of collapse is derived. The approach is applied to a two-level quantum system to obtain a simple geometric interpretation of quantum commutators, the uncertainty principle and Planck’s constant. In light of this, a lucid analysis of the double-slit experiment with collapse and an experiment on a pair of entangled particles is presented. (shrink)

The title of this book was chosen "to encourage and stimulate the broadest attitude toward thought... If, in imagination, all of the people of the world were to stand upon one another's shoulders, they would make nine complete chains between the earth and the moon. If it is not so far to the moon, then it is not so far to the limits - whatever, whenever, or wherever they may be." The only limits to our thinking, then, should be the (...) limits of the universe itself. In Nine Chains to the Moon R. Buckminster Fuller takes up his own challenge and brilliantly displays the unique daring of his ideas. In the course of his analysis he makes us question our commonly-accepted notions of Euclidian geometry, "good" architecture, classical solutions to economic problems, and even our use of words. It is this kind of courageous thinking that led Fuller to his invention of the Geodesic dome and the formulation of his comprehensive anticipatory design science. (shrink)

The universality, invariance, and elegance of principles governing the universe may be reflected in principles of the minds that have evolved in that universe – provided that the mental principles are formulated with respect to the abstract spaces appropriate for the representation of biologically significant objects and their properties. (1) Positions and motions of objects conserve their shapes in the geometrically fullest and simplest way when represented as points and connecting geodesic paths in the six-dimensional manifold jointly determined by the (...) Euclidean group of three-dimensional space and the symmetry group of each object. (2) Colors of objects attain constancy when represented as points in a three-dimensional vector space in which each variation in natural illumination is canceled by application of its inverse from the three-dimensional linear group of terrestrial transformations of the invariant solar source. (3) Kinds of objects support optimal generalization and categorization when represented, in an evolutionarily-shaped space of possible objects, as connected regions with associated weights determined by Bayesian revision of maximum-entropy priors. Key Words: apparent motion; Bayesian inference; cognition; color constancy; generalization; mental rotation; perception; psychological laws; psychological space; universal laws. (shrink)

This volume offers an integrated understanding of how the theory of general relativity gained momentum after Einstein had formulated it in 1915. Chapters focus on the early reception of the theory in physics and philosophy and on the systematic questions that emerged shortly after Einstein's momentous discovery. They are written by physicists, historians of science, and philosophers, and were originally presented at the conference titled Thinking About Space and Time: 100 Years of Applying and Interpreting General Relativity, held at the (...) University of Bern from September 12-14, 2017. By establishing the historical context first, and then moving into more philosophical chapters, this volume will provide readers with a more complete understanding of early applications of general relativity and of related philosophical issues. Because the chapters are often cross-disciplinary, they cover a wide variety of topics related to the general theory of relativity. These include: Heuristics used in the discovery of general relativity Mach's Principle The structure of Einstein's theory Cosmology and the Einstein world Stability of cosmological models The metaphysical nature of spacetime The relationship between spacetime and dynamics The Geodesic Principle Symmetries Thinking About Space and Time will be a valuable resource for historians of science and philosophers who seek a deeper knowledge of the uses of general relativity, as well as for physicists and mathematicians interested in exploring the wider historical and philosophical context of Einstein's theory. (shrink)

Motivated by the recent wave of investigations on plane domain wall spacetimes with nontrivial topologies, the present paper deals with (probably) the most simple source field configuration which can generate a spatially planary symmetric static spacetime, namely a minimally coupled massless scalar field that depends only upon a spacelike coordinate. z. It is shown that the corresponding exact solutions (ℳ. g±) are algebraically special, type D-[S-3T] (in11), and represent globally pathologic spacetimes with a G4-group of motion acting on R2 × (...) R orbits. In spite of the model simplicity, these Φ-generated worlds possess naked timelike singularities (reached within a finite universal time by normal nonspacelike geodesics). are completely free of Cauchy surfaces, and contain, in the t-leveled sections, points that cannot be joined by C1-trajectory images of oblique non-spacelike geodesies. Finally, we comment on the possibility of deriving from (ℳ, g±) two other physically interesting Φ-generated” spacetimes by appropriate joining conditions in the (z=0)-plane. (shrink)

Traditionally, there have been two methods of deriving the theorems of geometry: the analytic and the synthetic. While the analytical method is based on the introduction of numerical coordinates, and so on the theory of real numbers, the idea behind the synthetic approach is to furnish the subject of geometry with a purely geometric foundation in which the theorems are then deduced by purely logical means from an initial body of postulates. The most familiar examples of the synthetic geometry are (...) classical Euclidean geometry and the synthetic projective geometry introduced by Desargues in the 17th century and revived and developed by Carnot, Poncelet, Steiner and others during the 19th century. The power of analytic geometry derives very largely from the fact that it permits the methods of the calculus, and, more generally, of mathematical analysis, to be introduced into geometry, leading in particular to differential geometry (a term, by the way, introduced in 1894 by the Italian geometer Luigi Bianchi). That being the case, the idea of a “synthetic” differential geometry seems elusive: how can differential geometry be placed on a “purely geometric” or “axiomatic” foundation when the apparatus of the calculus seems inextricably involved? To my knowledge there have been two attempts to develop a synthetic differential geometry. The first was initiated by Herbert Busemann in the 1940s, building on earlier work of Paul Finsler. Here the idea was to build a differential geometry that, in its author’s words, “requires no derivatives”: the basic objects in Busemann’s approach are not differentiable manifolds, but metric spaces of a certain type in which the notion of a geodesic can be defined in an intrinsic manner. I shall not have anything more to say about this approach. The second approach, that with which I shall be concerned here, was originally proposed in the 1960s by F. W. Lawvere, who was in fact striving to fashion a decisive axiomatic framework for continuum mechanics.. (shrink)

Le Dépôt général de la Guerre, chargé de fournir les cartes nécessaires aux armées, connut sous la Révolution une période d'instabilité. La politique ambitieuse de Calon, son directeur, se heurta à la rivalité d'autres institutions civiles et militaires. Une période de lente reconstruction s'ouvrit avec le pouvoir napoléonien qui posa les bases rationnelles de la cartographie moderne et mit fin à la précarité du statut des ingénieurs-géographes en militarisant leur corps. La création simultanée d'une Ecole d'application des ingénieurs-geographes assura dès (...) lors une formation cohérente et de haut niveau dans le sillage de l'Ecole polytechnique, remplaçant les cours créés au Dépôt par Calon qui avaient jusqu'alors conservé jalousement leur autonomie. Puissant, qui y fut pendant vingt ans le professeur de mathématiques, introduisit l'analyse à l'école. Son oeuvre fut consacrée par son élection à l'Académie des Sciences au siège de Laplace et par le succès de la nouvelle carte de France au 1/80 000. L'ensemble de la période est marqué par la prise de conscience des enjeux de la géographie, par la mise en place des outils scientifiques de la cartographie et par la professionnalisation des ingénieurs-géographes. Disposant de son école et de son journal au même titre que les grands corps techniques, le Dépôt général de la Guerre était alors, entre l'Ecole polytechnique et le Bureau des Longitudes, une institution savante reconnue par la communauté scientifique.The Dépôt général de la Guerre, in charge of military mapping, experienced a period of change during the French Revolution. The new trends which then arose are explored here. Firstly, its director Calon failed in setting up an ambitious policy for geography, which challenged other civilian or military institutions. The courses he instituted to train surveyors collapsed. A time of slow reconstruction followed under Napoleonic rule, when the rational bases of modern cartography were laid as the ingénieurs-géographes were given a firm military status. In fact, a training school was created within the Ecole Polytechnique system, instead of the obsolete independent training courses. Henceforth, a high-level, coherent education was provided. Puissant, who was to teach mathematics there for twenty years, introduced analysis into the new school. His geodesic work was honoured by his succeeding Laplace at the Académie des Sciences, and by the success of the new 1:80 000 map of France. Eventually, the awareness of the importance of geography, the establishment of modern scientific tools in cartography, and the professionalization of the ingénieurs-géographes mark the whole period. The Dépôt général de la Guerre had its own school and journal, like any other corps of the technical Establishment. Thus it was a true scientific institution between the Ecole Polytechnique and the Bureau des Longitudes, and the scientific community recognized it as such. (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)

For [Formula: see text], the coarse similarity class of A, denoted by [Formula: see text], is the set of all [Formula: see text] such that the symmetric difference of A and B has asymptotic density 0. There is a natural metric [Formula: see text] on the space [Formula: see text] of coarse similarity classes defined by letting [Formula: see text] be the upper density of the symmetric difference of A and B. We study the metric space of coarse similarity classes (...) under this metric, and show in particular that between any two distinct points in this space there are continuum many geodesic paths. We also study subspaces of the form [Formula: see text] where [Formula: see text] is closed under Turing equivalence, and show that there is a tight connection between topological properties of such a space and computability-theoretic properties of [Formula: see text]. We then define a distance between Turing degrees based on Hausdorff distance in the metric space [Formula: see text]. We adapt a proof of Monin to show that the Hausdorff distances between Turing degrees that occur are exactly 0, [Formula: see text], and 1, and study which of these values occur most frequently in the senses of Lebesgue measure and Baire category. We define a degree a to be attractive if the class of all degrees at distance [Formula: see text] from a has measure 1, and dispersive otherwise. In particular, we study the distribution of attractive and dispersive degrees. We also study some properties of the metric space of Turing degrees under this Hausdorff distance, in particular the question of which countable metric spaces are isometrically embeddable in it, giving a graph-theoretic sufficient condition for embeddability. Motivated by a couple of issues arising in the above work, we also study the computability-theoretic and reverse-mathematical aspects of a Ramsey-theoretic theorem due to Mycielski, which in particular implies that there is a perfect set whose elements are mutually 1-random, as well as a perfect set whose elements are mutually 1-generic. Finally, we study the completeness of [Formula: see text] from the perspectives of computability theory and reverse mathematics. (shrink)

A naive introduction of a dependency of the mass of a black hole on the Schwarzschild time coordinate results in singular behavior of curvature invariants at the horizon, violating expectations from complementarity. If instead a temporal dependence is introduced in terms of a coordinate akin to the river time representation, the Ricci scalar is nowhere singular away from the origin. It is found that for a shrinking mass scale due to evaporation, the null radial geodesics that generate the horizon (...) are slightly displaced from the coordinate singularity. In addition, a changing horizon scale significantly alters the form of the coordinate singularity in diagonal (orthogonal) metric coordinates representing the space-time. A Penrose diagram describing the growth and evaporation of an example black hole is constructed to examine the evolution of the coordinate singularity. (shrink)

Recent work in the physics literature demonstrates that, in particular classes of rotating spacetimes, physical light rays in general do not traverse null geodesics. Having presented this result, we discuss its philosophical significance, both for the clock hypothesis (and, in particular, a recent purported proof thereof for light clocks), and for the operational meaning of the metric field. 1. Introduction2. Fletcher's Theorem2.1. Maudlin on the clock hypothesis in special relativity2.2. Fletcher’s result in special relativity2.3. Fletcher’s theorem in general relativity3. (...) Electromagnetism and the Geometrical-Optical Limit 3.1. Maxwell’s equations in curved spacetime3.2. The geometrical-optical limit3.3. Rotating spacetimes3.4. Aren’t Gödel spacetimes unphysical?4. The Clock Hypothesis and Chronogeometry 4.1. Natural and mathematical observations4.2. Clock registry discord4.3. Chronogeometry5. Conclusion. (shrink)

The various physical aspects of the general relativistic principles of covariance and strong equivalence are discussed, and their mathematical formulations are analyzed. All these aspects are shown to be present in classical general relativity, although no contemporary formulation of canonical or covariant quantum gravity has succeeded to incorporate them all. This has, in part, motivated the recent introduction of a geometro-stochastic framework for quantum general relativity, in which the classical frame bundles that underlie the formulation of parallel transport in classical (...) general relativity are replaced by quantum frame bundles. It is shown that quantum frames can take over the role played by complete sets of observables in conventional quantum theory, so that they can mediate the natural transference of the general covariance and the strong equivalence principles from the classical to the quantum general relativistic regime. This results in a geometrostochastic mode of quantum propagation in general relativistic quantum bundles, which is mathematically implemented by path integration methods based on parallel transport along horizontal lifts of geodesics for the vacuum expectation values of a quantum gravitational field in a quantum spacetime supermanifold. The covariance features of this field are embedded in a quantum gravitational supergroup, which incorporates Poincaré as well as diffeomorphism invariance, and resolves the issue of time in quantum gravity. (shrink)

The validity of the equivalence principle is examined. Since classical physics is not valid for point particles, and a mass density over a finite volume tends to collapse, stabilizing forces are necessary. These cause a deviation from geodesic motion. That deviation is discussed in the light of recent results which provide approximate expressions for the self-force of a finite size particle due to both its mass and its charge. The equivalence principle appears to be violated.

We consider the motion of small bodies in general relativity. The key result captures a sense in which such bodies follow timelike geodesics. This result clarifies the relationship between approaches that model such bodies as distributions supported on a curve, and those that employ smooth fields supported in small neighborhoods of a curve. This result also applies to "bodies" constructed from wave packets of Maxwell or Klein-Gordon fields. There follows a simple and precise formulation of the optical limit for (...) Maxwell fields. (shrink)

I discuss singular space-times in the context of the geometrized formulation of Newtonian gravitation. I argue first that geodesic incompleteness is a natural criterion for when a model of geometrized Newtonian gravitation is singular, and then I show that singularities in this sense arise naturally in classical physics by stating and proving a classical version of the Raychaudhuri-Komar singularity theorem.

It is shown that a notion of natural place is possible within modern physics. For Aristotle, the elements—the primary components of the world—follow to their natural places in the absence of forces. On the other hand, in general relativity, the so-called Carter–Penrose diagrams offer a notion of end for objects along the geodesics. Then, the notion of natural place in Aristotelian physics has an analog in the notion of conformal infinities in general relativity.