Classical correlations without predefined causal order arise from processes where parties manipulate random variables, and where the order of these interactions is not predefined. No assumption on the causal order of the parties is made, but the processes are restricted to be logically consistent under any choice of the parties' operations. It is known that for three parties or more, this set of processes is larger than the set of processes achievable in a predefined ordering of the parties. Here, we model all classical processes without predefined causal order geometrically and find that the set of such processes forms a polytope. Additionally, we model a smaller polytope-the deterministic-extrema polytope-where all extremal points represent deterministic processes. This polytope excludes probabilistic processes that must be-quite unnaturally-fine-tuned, because any variation of the weights in a decomposition into deterministic processes leads to a logical inconsistency.
Motivation and main resultAn assumption often made in physical theories, sometimes implicitly, is the existence of a global time. In particular, quantum theory is formulated with time as an intrinsic parameter. If one relaxes this assumption by requiring local validity of some theory and logical consistency only, then a larger set of correlations can be obtained, called correlations without predefined causal order. The processes that lead to such correlations are called processes without predefined causal order. Two motivations to study such correlations are quantum gravity and quantum non-locality. Quantum gravity motivates this research in the sense that on the one hand, relativity is a deterministic theory equipped with a dynamic spacetime; on the other hand, quantum theory is a probabilistic theory embedded in a fixed spacetime. This suggests that quantum gravity is relaxed in both aspects, i.e.,it is a probabilistic theory equipped with a dynamic spacetime [1]. Quantum non-local correlations [2][3][4] motivate this study since the possibility of a satisfactory causal explanation [5] for such correlations is questionable [3,[6][7][8][9][10][11][12][13]. Dropping the notion of a global time or of an a priori spacetime-as has been suggested from different fields of research[14-23]-dissolves this paradox. This can be achieved by defining causal relations based on free randomness (see figure 1) as opposed to defining free randomness based on causal relations [24,25]. Such an approach gives a dynamic character to causality; causal connections are not predefined but are derived from the observed correlations.Relaxations of quantum theory where the assumption of a global time is dropped have recently been studied widely [1, 26-45] (see [46] for a review). Our work follows the spirit of an operational quantum framework for such correlations developed by Oreshkov et al [31]. Some correlations appearing in their quantum framework -for two parties or more-cannot be simulated by assuming a predefined causal order of the parties. Such correlations ar...