Terminality implies non-signalling

Abstract

A 'process theory' is any theory of systems and processes which admits sequential and parallel composition. `Terminality' unifies normalisation of pure states, trace-preservation of CP-maps, and adding up to identity of positive operators in quantum theory, and generalises this to arbitrary process theories. We show that terminality and non-signalling coincide in any process theory, provided one makes causal structure explicit. In fact, making causal structure explicit is necessary to even make sense of non-signalling in process theories. We conclude that because of its much simpler mathematical form, terminality should be taken to be a more fundamental notion than non-signalling.

In Proceedings QPL 2014, arXiv:1412.8102

References in corpus (7)

• Informational derivation of Quantum Theory
• Probabilistic theories with purification
• The lesson of causal discovery algorithms for quantum correlations: Causal explanations of Bell-inequality violations require fine-tuning
• Beyond Bell's Theorem: Correlation Scenarios
• Causal categories: relativistically interacting processes
• Quantum causal histories in the light of quantum information
• Time-asymmetry of probabilities versus relativistic causal structure: an arrow of time

Cited by in corpus (28)

• Introduction to the book "Quantum Theory: Informational Foundations and Foils"
• The completeness of quantum theory for predicting measurement outcomes
• Quasi-quantization: classical statistical theories with an epistemic restriction
• Quantum from principles
• A synthetic approach to Markov kernels, conditional independence and theorems on sufficient statistics
• Beyond Bell's Theorem II: Scenarios with arbitrary causal structure
• Operational quantum theory without predefined time
• Operational formulation of time reversal in quantum theory
• Reconstructing quantum theory from diagrammatic postulates
• Dilation of states and processes in operational-probabilistic theories
• Ruling out higher-order interference from purity principles
• Leaks: quantum, classical, intermediate, and more
• How to make unforgeable money in generalised probabilistic theories
• Necessary and Sufficient Conditions on Measurements of Quantum Channels
• Operational Theories of Physics as Categories
• Integrated Information in Process Theories
• Operational locality in global theories
• The Sheaf-Theoretic Structure of Definite Causality
• Correlations constrained by composite measurements
• A computer scientist's reconstruction of quantum theory
• Every non-signalling channel is common-cause realizable
• A no-go theorem for theories that decohere to quantum mechanics
• Computation in a general physical setting
• Process-theoretic characterisation of the Hermitian adjoint
• Quantum de Finetti Theorems as Categorical Limits, and Limits of State Spaces of C*-algebras
• Quantum Theory from Principles, Quantum Software from Diagrams
• Fast tests for probing the causal structure of quantum processes
• A decompositional framework for process theories in spacetime