Related papers: Some Results on Causal Modalities in General Space…
Causality is fundamental to science, but it appears in several different forms. One is relativistic causality, which is tied to a space-time structure and forbids signalling outside the future. A second is an operational notion of causation…
We consider the usual causal structure $(I^+,J^+)$ on a spacetime, and a number of alternatives based on Minguzzi's $D^+$ and Sorkin and Woolgar's $K^+$, in the case where the spacetime metric is continuous, but not necessarily smooth. We…
Causality is a non-obvious concept that is often considered to be related to temporality. In this paper we present a number of past and present approaches to the definition of temporality and causality from philosophical, physical, and…
A brief overview of some open questions in general relativity with important consequences for causality theory is presented, aiming to a better understanding of the causal structure of the spacetime. Special attention is accorded to the…
The interplay between process behaviour and spatial aspects of computation has become more and more relevant in Computer Science, especially in the field of collective adaptive systems, but also, more generally, when dealing with systems…
We develop causality theory for upper semi-continuous distributions of cones over manifolds generalizing results from mathematical relativity in two directions: non-round cones and non-regular differentiability assumptions. We prove the…
We investigate structure that describes physical data in gravitational systems that is, to one degree or another, independent of the metric and affine structure. We dub such structure surplus structure and seek to incorporate it into our…
Causality among events is widely recognized as a most fundamental structure of spacetime, and causal sets have been proposed as discrete models of the latter in the context of quantum gravity theories, notably in the Causal Set Programme.…
The difficulty of explaining non-local correlations in a fixed causal structure sheds new light on the old debate on whether space and time are to be seen as fundamental. Refraining from assuming space-time as given a priori has a number of…
The metric field of general relativity is almost fully determined by its causal structure. Yet, in spin-foam models for quantum gravity, the role played by the causal structure is still largely unexplored. The goal of this paper is to…
Spacetime must be foliable by spacelike surfaces for the quantum mechanics of matter fields to be formulated in terms of a unitarily evolving state vector defined on spacelike surfaces. When a spacetime cannot be foliated by spacelike…
After the heroic epoch of Causality Theory, problems concerning the smoothability of time functions and Cauchy hypersurfaces remained as unanswered folk questions. Just recently solved, our aim is to discuss the state of the art on this…
A general principle of `causal duality' for physical systems, lying at the base of representation theorems for both compound and evolving systems, is proved; formally it is encoded in a quantaloidal setting. Other particular examples of…
The causal structure of a strongly causal spacetime is particularly well endowed. Not only does it determine the conformal spacetime geometry when the spacetime dimension n >2, as shown by Malament and Hawking-King-McCarthy (MHKM), but also…
This is intended as an analysis of the global properties of static and stationary spacetimes with complete (timelike) Killing field, with particular attention to quotients by group actions. This is presented in terms of algebraic structures…
We provide five rearticulations of the thesis that the structure of spacetime is conventional, rather than empirically determined, based upon variation of the structures that are empirically underdetermined and modal contexts in which this…
There are several indications (from different approaches) that Spacetime at the Plank Scale could be discrete. One approach to Quantum Gravity that takes this most seriously is the Causal Sets Approach. In this approach spacetime is…
A mathematical definition of classical causality over discrete spacetime dynamics is formulated. The approach is background free and permits a definition of causality in a precise way whenever the spacetime dynamics permits. It gives a…
We prove that a globally hyperbolic spacetime with its causality relation is a bicontinuous poset whose interval topology is the manifold topology. This provides an abstract mathematical setting in which one can study causality independent…
Logical formalisms for reasoning about relations between spatial regions play a fundamental role in geographical information systems, spatial and constraint databases, and spatial reasoning in AI. In analogy with Halpern and Shoham's modal…