``Branching space-time'' is a simple blend of relativity and indeterminism. Postulates and definitions rigorously describe the ``causal order'' relation between possible point events. The key postulate is a version of ``everything has a causal origin''; key defined terms include ``history'' and ``choice point.'' Some elementary but helpful facts are proved. Application is made to the status of causal contemporaries of indeterministic events, to how ``splitting'' of histories happens, to indeterminism without choice, and to Einstein-Podolsky-Rosen distant correlations.
Branching space-time'' is a simple blend of relativity and indeterminism. Postulates and definitions rigorously describe the causal order'' relation between possible point events. The key postulate is a version of everything has a causal origin''; key defined terms include history'' and choice point.'' Some elementary but helpful facts are proved. Application is made to the status of causal contemporaries of indeterministic events, to how splitting'' of histories happens, to indeterminism without choice, and to Einstein-Podolsky-Rosen distant correlations.
This monograph presents the first detailed exposition of the formal theory of Branching Space-Times. The theory presented here by Nuel D. Belnap, Thomas Muller, and Tomasz Placek describes how real possibilities can play out in our spatio-temporal world. In our world, some things that are really possible in Cleveland are not really possible in San Francisco; other things were really possible in 1988 but are not really possible in 2021. The authors develop a rigorous, relativity-friendly theory of indeterminism as a local and modal concept, demonstrating that our world contains events with alternative possible outcomes. The book is divided into two parts. The first contains the exposition of the theory, including detailed proofs. The second contains three applications of Branching Space-Times in metaphysics and philosophy of science, focusing on the use of Branching Space-Times to represent pertinent forms of indeterminism in each area. Some specific applications include a formal analysis of modal correlations and of causation and a rigorous theory of objective single-case probabilities, intended to represent degrees of possibility. The authors link their theory to current physics, investigating how local and modal indeterminism relates to issues in the foundations of physics, particularly in quantum non-locality and spatio-temporal relativity. They also relate the theory to philosophy of time, showing how it may be used to explicate the dynamic concept of the past, present, and future based on local indeterminism. The Branching Space-Times theory has been in development over the past 25 years. This volume provides a much needed first systematic and comprehensive book-length exposition of both the theory and its applications.
Abstract This book develops a rigorous theory of indeterminism as a local and modal concept. Its crucial insight is that our world contains events or processes with alternative, really possible outcomes. The theory aims at clarifying what this assumption involves, and it does it in two ways. First, it provides a mathematically rigorous framework for local and modal indeterminism. Second, we support that theory by spelling out the philosophically relevant consequences of this formulation and by showing its fruitful applications in metaphysics. To this end, we offer a formal analysis of modal correlations and of causation, which is applicable in indeterministic and non-local contexts as well. We also propose a rigorous theory of objective single-case probabilities, intended to represent degrees of possibility. In a third step, we link our theory to current physics, investigating how local and modal indeterminism relates to issues in the foundations of physics, in particular, quantum non-locality and spatio-temporal relativity. The book also ventures into the philosophy of time, showing how the theory’s resources can be used to explicate the dynamic concept of the past, present, and future based on local indeterminism.
This book develops a rigorous theory of indeterminism as a local and modal concept. Its crucial insight is that our world contains events or processes with alternative, really possible outcomes. The theory aims at clarifying what this assumption involves, and it does it in two ways. First, it provides a mathematically rigorous framework for local and modal indeterminism. Second, we support that theory by spelling out the philosophically relevant consequences of this formulation and by showing its fruitful applications in metaphysics. To this end, we offer a formal analysis of modal correlations and of causation, which is applicable in indeterministic and non-local contexts as well. We also propose a rigorous theory of objective single-case probabilities, intended to represent degrees of possibility. In a third step, we link our theory to current physics, investigating how local and modal indeterminism relates to issues in the foundations of physics, in particular, quantum non-locality and spatio-temporal relativity. The book also ventures into the philosophy of time, showing how the theory’s resources can be used to explicate the dynamic concept of the past, present, and future based on local indeterminism.
Abstract The chapter shows how local indeterminism underlying BST combines with relativistic space-times. First it defines particular BST structures in which histories are isomorphic to Minkowski space-times. It further argues that many general relativistic space-times are one-history structures of BST. It introduces the notion of non-Hausdorff differential manifolds and investigates if they can be interpreted modally, as structures of BST with multiple histories. It investigates bifurcating curves in non-Hausdorff manifolds, which are natural representations of alternative evolutions of point-like objects. As the required bifurcating curves are unlikely in General Relativity, whereas there are cases of indeterministic general relativistic space-times, the chapter concludes that General Relativity is globally indeterministic, but locally deterministic.
Causal order The iron chains of causality link events together into a definite order: a cause always precedes its effect. If, however, there are distant events that do not influence each other, what decides their order? As noted above, time dilation implies that different sets of rulers and clocks moving relative to each other will assign different orders to distant events. Consider, for example, three events: event A, which causes event B, and a distant event, X. Since A and B are connected by some causal process, their order is fixed. But if event X is distant enough from both, then different clocks may register any of the three orders A, B, X or A, X, B or X, A, B That is, the distant event may follow both A and B, happen between them or precede both. According to the mainstream interpretation of special relativity, durations and other temporal intervals are not invariant, and are therefore not real. According to this view, there is no fact of the matter about which of the three orders above is real and physical. The events all occur and are all real, but there is no physical fact that makes X later or earlier than the others. Just as there are no unicorns or pink elephants, there is no order between distant events that do not influence each other. Consider another illustration. Suppose that there are two long queues leading into two doors at a club or music concert.
The idea that events are equipped with a partial causal order is central to our understanding of physics in the tested regimes: given two pointlike events A and B , either A is in the causal past of B , B is in the causal past of A , or A and B are space-like separated. Operationally, the meaning of these order relations corresponds to constraints on the possible correlations between experiments performed in the vicinities of the respective events: if A is in the causal past of B , an experimenter at A could signal to an experimenter at B but not the other way around, while if A and B are space-like separated, no signaling is possible in either direction. In the context of a concrete physical theory, the correlations compatible with a given causal configuration may obey further constraints. For instance, space-like correlations in quantum mechanics arise from local measurements on joint quantum states, while time-like correlations are established via quantum channels. Similarly to other variables, however, the causal order of a set of events could be random, and little is understood about the constraints that causality implies in this case. A main difficulty concerns the fact that the order of events can now generally depend on the operations performed at the locations of these events, since, for instance, an operation at A could influence the order in which B and C occur in A ’s future. So far, no formal theory of causality compatible with such dynamical causal order has been developed. Apart from being of fundamental interest in the context of inferring causal relations, such a theory is imperative for understanding recent suggestions that the causal order of events in quantum mechanics can be indefinite. Here, we develop such a theory in the general multipartite case. Starting from a background-independent definition of causality, we derive an iteratively formulated canonical decomposition of multipartite causal correlations. For a fixed number of settings and outcomes for each party, these correlations form a polytope whose facets define causal inequalities. The case of quantum correlations in this paradigm is captured by the process matrix formalism. We investigate the link between causality and the closely related notion of causal separability of quantum processes, which we here define rigorously in analogy with the link between Bell locality and separability of quantum states. We show that causality and causal separability are not equivalent in general by giving an example of a physically admissible tripartite quantum process that is causal but not causally separable. We also show that there are causally separable quantum processes that become non-causal if extended by supplying the parties with entangled ancillas. This motivates the concepts of extensibly causal and extensibly causally separable (ECS) processes, for which the respective property remains invariant under extension. We characterize the class of ECS quantum processes in the tripartite case via simple conditions on the form of the process matrix. We show that the processes realizable by classically controlled quantum circuits are ECS and conjecture that the reverse also holds.