-
The Möbius game and other Bell tests for relativity
Authors:
Eleftherios-Ermis Tselentis,
Ämin Baumeler
Abstract:
We derive multiparty games that, if the winning chance exceeds a certain limit, prove the incompatibility of the parties' causal relations with any partial order. This, in turn, means that the parties exert a back-action on the causal relations; the causal relations are dynamical. The games turn out to be representable by directed graphs, for instance by an orientation of the Möbius ladder. We dis…
▽ More
We derive multiparty games that, if the winning chance exceeds a certain limit, prove the incompatibility of the parties' causal relations with any partial order. This, in turn, means that the parties exert a back-action on the causal relations; the causal relations are dynamical. The games turn out to be representable by directed graphs, for instance by an orientation of the Möbius ladder. We discuss these games as device-independent tests of spacetime's dynamical nature in general relativity. To do so, we design a relativistic setting where, in the Minkowski spacetime, the winning chance is bound to the limits. In contrast, we find otherwise tame processes with classical control of causal order that win the games deterministically. These suggest a violation of the bounds in gravitational implementations. We obtain these games by uncovering a "pairwise central symmetry" of the correlations in question. This symmetry allows us to recycle the facets of the acyclic subgraph polytope studied by Grötschel, Jünger, and Reinelt in the mid-80s for combinatorial optimization. In addition, we derive multiparty games in a scenario where the polytope dimension grows only linearly in the number of parties. Here, exceeding the limits not only proves the dynamical nature of the causal relations, but also that the correlations are incompatible with any global causal order.
△ Less
Submitted 27 September, 2023;
originally announced September 2023.
-
Admissible Causal Structures and Correlations
Authors:
Eleftherios-Ermis Tselentis,
Ämin Baumeler
Abstract:
It is well-known that if one assumes quantum theory to hold locally, then processes with indefinite causal order and cyclic causal structures become feasible. Here, we study qualitative limitations on causal structures and correlations imposed by local quantum theory. For one, we find a necessary graph theoretic criterion--the "siblings-on-cycles" property--for a causal structure to be admissible:…
▽ More
It is well-known that if one assumes quantum theory to hold locally, then processes with indefinite causal order and cyclic causal structures become feasible. Here, we study qualitative limitations on causal structures and correlations imposed by local quantum theory. For one, we find a necessary graph theoretic criterion--the "siblings-on-cycles" property--for a causal structure to be admissible: Only such causal structures admit a realization consistent with local quantum theory. We conjecture that this property is moreover sufficient. This conjecture is motivated by an explicit construction of quantum causal models, and supported by numerical calculations. We show that these causal models, in a restricted setting, are indeed consistent. For another, we identify two sets of causal structures that, in the classical-deterministic case, give rise to causal and non-causal correlations respectively.
△ Less
Submitted 16 September, 2023; v1 submitted 23 October, 2022;
originally announced October 2022.
-
Equivalence of Grandfather and Information Antinomy Under Intervention
Authors:
Ämin Baumeler,
Eleftherios Tselentis
Abstract:
Causal loops, e.g., in time travel, come with two main problems. Most prominently, the grandfather antinomy describes the potentiality to inconsistencies: a problem of logical nature. The other problem is called information antinomy and is lesser known. Yet, it describes a variant of the former: There are not too few consistent solutions -- namely none -- but too many. At a first glance, the infor…
▽ More
Causal loops, e.g., in time travel, come with two main problems. Most prominently, the grandfather antinomy describes the potentiality to inconsistencies: a problem of logical nature. The other problem is called information antinomy and is lesser known. Yet, it describes a variant of the former: There are not too few consistent solutions -- namely none -- but too many. At a first glance, the information antinomy does not seem as problematic as the grandfather antinomy, because there is no apparent logical contradiction. In this work we show that, however, both problems are equivalent under interventions: If parties can intervene in such a way that the information antinomy arises, then they can also intervene to generate a contradiction, and vice versa.
△ Less
Submitted 5 September, 2021; v1 submitted 27 April, 2020;
originally announced April 2020.
