2020/12/31 by Paolo Perinotti
Computer Science · Physics and Astronomy · #Causal model #Cellular Automata and Applications #Complex system #Context (archaeology) #Counterexample #Neighbourhood (mathematics) #Probabilistic logic #Quantum #Quantum Mechanics and Applications #Quantum many-body systems #Relation (database) #quant-ph
paper · pdf · doi:10.22331/q-2021-08-03-515
published as Quantum 5, 515 (2021) · 13 pages, no figures, many diagrams. Accepted for publication on "Quantum"
openalex created_date 2021/01/05 · arxiv created 2021/07/29 · openalex publication_date 2021/08/03 · arxiv updated 2021/08/04 · openalex updated_date 2026/08/05
We study the relation of causal influence between input systems of a reversible evolution and its output systems, in the context of operational probabilistic theories. We analyse two different definitions that are borrowed from the literature on quantum theory—where they are equivalent. One is the notion based on signalling, and the other one is the notion used to define the neighbourhood of a cell in a quantum cellular automaton. The latter definition, that we adopt in the general scenario, turns out to be strictly weaker than the former: it is possible for a system to have causal influence on another one without signalling to it. Remarkably, the counterexample comes from classical theory, where the proposed notion of causal influence determines a redefinition of the neighbourhood of a cell in cellular automata. We stress that, according to our definition, it is impossible anyway to have causal influence in the absence of an interaction, e.g. in a Bell-like scenario. We study various conditions for causal influence, and introduce the feature that we call <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"><mml:mrow class="MJX-TeXAtom-ORD"><mml:mtext class="MJX-tex-mathit" mathvariant="italic">no interaction without disturbance</mml:mtext></mml:mrow></mml:math>, under which we prove that signalling and causal influence coincide. The proposed definition has interesting consequences on the analysis of causal networks, and leads to a revision of the notion of neighbourhood for classical cellular automata, clarifying a puzzle regarding their quantisation that apparently makes the neighbourhood larger than the original one.