Abstract:We introduce and explore the notion of "spaces of input histories", a broad family of combinatorial objects which can be used to model input-dependent, dynamical causal order. We motivate our definition with reference to traditional partial order- and preorder-based notions of causal order, adopted by the majority of previous literature on the subject, and we proceed to explore the novel landscape of combinatorial complexity made available by our generalisation of those notions. In the process, we discover that the fine-grained structure of causality is significantly more complex than we might have previously believed: in the simplest case of binary inputs, the number of available "causally complete" spaces grows from 7 on 2 events, to 2644 on 3 events, to an unknown number on 4 events (likely around a billion). For perspective, previous literature on non-locality and contextuality used a single one of the 2644 available spaces on 3 events, work on definite causality used 19 spaces, derived from partial orders, and work on indefinite causality used only 6 more, for a grand total of 25. This paper is the first instalment in a trilogy: the sheaf-theoretic treatment of causal distributions is detailed in Part 2, "The Topology of Causality" [<a class="link-https" data-arxiv-id="2303.07148" href="https://arxiv.org/abs/2303.07148">arXiv:2303.07148</a>], while the polytopes formed by the associated empirical models are studied in Part 3, "The Geometry of Causality" [<a class="link-https" data-arxiv-id="2303.09017" href="https://arxiv.org/abs/2303.09017">arXiv:2303.09017</a>]. An exhaustive classification of the 2644 causally complete spaces on 3 events with binary inputs is provided in the supplementary work "Classification of causally complete spaces on 3 events with binary inputs", together with the algorithm used for the classification and partial results from the ongoing search on 4 events.

In a distinguishing spacetime the horismos relation generates the causal relation

K-causality coincides with stable causality

Causal Behaviour on Carter spacetime

Horizon Molecules in Causal Set Theory

Discrete Spacetime: a Web of Chains

Relativistic Chasles' theorem and the conjugacy classes of the inhomogeneous Lorentz group

THE TEMPORAL LOGIC OF TWO DIMENSIONAL MINKOWSKI SPACETIME IS DECIDABLE

Minimal Elements of the Causal Boundary with Applications to Spacetime Splitting

Quantum causality in $κ$-Minkowski and related constraints

Causal completion of a globally hyperbolic conformally flat spacetime

Causality in the maximally extended Reissner--Nordström spacetime with identifications

Admissible Causal Structures and Correlations

Synge's world function applied to causal diamonds and causal sets

Causality and skies: is non-refocussing necessary?

Emergence of Space-Time from Topologically Homogeneous Causal Networks

K-Causal Structure of Space-Time in General Relativity

In-in correlators and scattering amplitudes on a causal set

Spatio-temporally Graded Causality: A Model

Embedding cyclic information-theoretic structures in acyclic spacetimes: no-go results for indefinite causality

The Combinatorics of Causality