Bell and contextuality scenarios are unified within the Acín-Fritz-Leverrier-Sainz hypergraph formalism, in which measurements are hyperedges. Multipartite measurements are obtained from product rules that combine independent contextuality scenarios into a single hypergraph. Several such rules exist: they are structurally distinct, yet yield the same classical, quantum, and boxworld correlations. Here, we show that this difference is not incidental, unveiling an unexpected connection. The measurements of composite Bell scenarios are exactly the process functions, the deterministic classical communication protocols that may be non-causal, i.e., lack a definite causal order without generating paradoxes. Validity of a hyperedge and logical consistency of a process function are thus one and the same condition. This allows us to characterize process functions by normalization and no-signaling alone, providing transformations that generate non-causal process functions from no-communication ones. The product rules, in turn, order process functions by causal structure, from no-communication to non-causality, which yields a graphical criterion for the latter: a process function is non-causal precisely when its hyperedge is generated by the disjunctive but not the maximal product. We thereby obtain the first joint hypergraph representation of (non-causal) process functions and (nonlocal-without-entanglement) measurements, recasting classical non-causality as a non-standard way of composing black boxes.
Bell and contextuality scenarios are unified within the Acín-Fritz-Leverrier-Sainz hypergraph formalism, in which measurements are hyperedges. Multipartite measurements are obtained from product rules that combine independent contextuality scenarios into a single hypergraph. Several such rules exist: they are structurally distinct, yet yield the same classical, quantum, and boxworld correlations. Here, we show that this difference is not incidental, unveiling an unexpected connection. The measurements of composite Bell scenarios are exactly the process functions, the deterministic classical communication protocols that may be non-causal, i.e., lack a definite causal order without generating paradoxes. Validity of a hyperedge and logical consistency of a process function are thus one and the same condition. This allows us to characterize process functions by normalization and no-signaling alone, providing transformations that generate non-causal process functions from no-communication ones. The product rules, in turn, order process functions by causal structure, from no-communication to non-causality, which yields a graphical criterion for the latter: a process function is non-causal precisely when its hyperedge is generated by the disjunctive but not the maximal product. We thereby obtain the first joint hypergraph representation of (non-causal) process functions and (nonlocal-without-entanglement) measurements, recasting classical non-causality as a non-standard way of composing black boxes.
Closed timelike curves (CTCs) challenge our conception of causality by allowing information to loop back into its own past. Any consistent description of such scenarios must avoid time-travel paradoxes while respecting the no-new-physics principle, which requires that the set of operations available within any local spacetime region remain unchanged, irrespective of whether CTCs exist elsewhere. Within an information-theoretic framework, this leads to process functions: deterministic classical communication structures that remain logically consistent under arbitrary local operations, yet can exhibit correlations incompatible with any definite causal order - a phenomenon known as non-causality. In this work, we establish a correspondence between process functions and unambiguous complete product bases, i.e. product bases in which every local state belongs to a unique local basis. This equivalence implies that non-causality of process functions is exactly mirrored by quantum nonlocality without entanglement (QNLWE) - the impossibility of perfectly distinguishing separable states using local operations and causal classical communication - for such bases. Our results generalize previous special cases to arbitrary local dimensions and any number of parties, enable systematic constructions of non-causal process functions and unambiguous QNLWE bases, and implies, inter alia, that bipartite unambiguous QNLWE bases do not exist. Finally, this work reveals an unexpected connection between causal and non-signaling inequalities: every process function both maximally violates an associated causal inequality and yields a corresponding Bell inequality that admits no violation.
Bell scenarios are multipartite scenarios that exclude any signalling between parties. This leads to a strict hierarchy of classical, quantum, and non-signalling correlations in such scenarios. Here we consider a minimal relaxation of non-signalling: each party is allowed to receive a system once, implement any local intervention on it, and send out the resulting system once. Crucially, unlike Bell, we make no global assumption about causal relations between parties, e.g., they could be embedded in some exotic spacetime with indefinite causal order. We do make a causal assumption local to each party, i.e., the input received by it causally precedes the output it sends out. We then ask: Can we device-independently certify the nonclassicality of multipartite correlations in such scenarios, just as Bell inequality violations do so in Bell scenarios? A priori, this is not clear: without some assumptions on the underlying physics (e.g., non-signalling), parties can realize arbitrary correlations. We therefore make a minimal assumption of logical consistency on the underlying physics, i.e., it must be free of time-travel antinomies without imposing any restrictions on local interventions of the parties. We then define antinomicity as a device-independent notion of nonclassicality and prove a strict hierarchy between correlation sets based on their antinomicity. An antinomic correlation cannot be explained by a classical physical theory compatible with free local interventions on pain of logical contradictions in the theory. On the other hand, parties exchanging quantum systems can witness antinomicity while respecting logical consistency. Antinomicity reduces to Bell nonlocality for non-signalling parties. It also resolves a conceptual puzzle, namely, the failure of causal inequalities as witnesses of nonclassicality: antinomicity implies causal inequality violations, but not conversely.
The characterization of quantum correlations in terms of information-theoretic resource has been a fruitful approach to understand the power of quantum correlations as a resource. While bipartite entanglement and Bell inequality violation in this setting have been extensively studied, relatively little is known about their multipartite counterpart. In this paper, we apply and adapt the recently proposed definitions of multipartite nonlocality (Bancal et al 2013 Phys. Rev. A 88 014102) to the three- and four-partite scenarios to gain new insight on the resource aspect of multipartite nonlocal quantum correlations. Specifically, we show that reproducing certain tripartite quantum correlations requires mixtures of classical resources—be it the ability to change the groupings or the time orderings of measurements. Thus, when seen from the perspective of biseparable one-way classical signaling resources, certain tripartite quantum correlations do not admit a definite causal order. In the four-partite scenario, we obtain a superset description of the set of biseparable correlations which can be produced by allowing two groups of bipartite non-signaling resources. Quantum violation of the resulting Bell-like inequalities is investigated. As a byproduct, we obtain some new examples of device-independent witnesses for genuine four-partite entanglement, and also device-independent witnesses that allow one to infer the structure of the underlying multipartite entanglement. This article is part of a special issue of Journal of Physics A: Mathematical and Theoretical devoted to '50 years of Bell's theorem'.
Nonlocality and contextuality are at the root of conceptual puzzles in quantum mechanics, and are key resources for quantum advantage in information-processing tasks. Bell nonlocality is best understood as the incompatibility between quantum correlations and the classical theory of causality, applied to relativistic causal structure. Contextuality, on the other hand, is on a more controversial foundation. In this work, I provide a common conceptual ground between nonlocality and contextuality as violations of classical causality. First, I show that Bell inequalities can be derived solely from the assumptions of no-signalling and no-fine-tuning of the causal model. This removes two extra assumptions from a recent result from Wood and Spekkens, and remarkably, does not require any assumption related to independence of measurement settings -- unlike all other derivations of Bell inequalities. I then introduce a formalism to represent contextuality scenarios within causal models and show that all classical causal models for violations of a Kochen-Specker inequality require fine-tuning. Thus the quantum violation of classical causality goes beyond the case of space-like separated systems, and manifests already in scenarios involving single systems.
Quantum mechanics allows only certain sets of experimental results (or ``probabilistic models'') for Bell-type quantum nonlocality experiments. A derivation of this set from simple physical or information theoretic principles would represent an important step forward in our understanding of quantum mechanics, and this problem has been intensely investigated in recent years. ``Macroscopic locality,'' which requires the recovery of locality in the limit of large numbers of trials, is one of several principles discussed in the literature that place a bound on the set of quantum probabilistic models. A similar question can also be asked about probabilistic models for the more general class of quantum contextuality experiments. Here, we extend the macroscopic locality principle to this more general setting, using the hypergraph approach of Ac\'{\i}n, Fritz, Leverrier, and Sainz [Comm. Math. Phys. 334(2), 533--628 (2015)], which provides a framework to study both phenomena of nonlocality and contextuality in a unified manner. We find that the set of probabilistic models allowed by our macroscopic noncontextuality principle is equivalent to an important and previously studied set in this formalism, which is slightly larger than the quantum set. In the particular case of Bell scenarios, this set is equivalent to the set of ``almost-quantum'' models, which is of particular interest since the latter was recently shown to satisfy all but one of the principles that have been proposed to bound quantum probabilistic models, without being implied by any of them (or even their conjunction). Our condition is the first characterization of the almost-quantum set from a simple physical principle.
The no-signalling principle lies at the heart of Bell-type experiments involving spacelike-separated parties. Although not all no-signalling correlations can be realized within quantum theory, the no-sinalling principle itself remains fundamental even for post-quantum theories, since its violation would imply superluminal signalling. In the spirit of device independent nature of the Bell inequalities, there has recently been growing interest in causal inequalities, which identify correlations admitting no causal explanation. Such correlations have been rigorously studied within the process-matrix formalism, which is built upon a constraint analogous to spacelike separation in Bell scenarios. We refer to this constraint as the single-interaction constraint, whereby each party interacts with the environment only once. Despite considerable effort, no fundamental guiding principle is currently known that characterizes the restrictions this constraint imposes on the correlations generated by Process Matrices. In this work, we address this gap by proposing a generalized causality principle for the bipartite case. We show that for certain cases, the generalised causality principle defines a strict subset of the set of all signalling correlations. This principle thus provides a fundamental limit on quantum and even post-quantum theories subject to the single-interaction constraint. By analogy with no-signalling, whose violation excludes certain causal structures among the parties, a violation of the generalised causality principle rules out a corresponding class of causal structures(causal structures with the single interaction constraint). More broadly, our techniques provide a general framework for deriving generalised causal constraints, applicable to a wide class of indefinite-causal-order scenarios.