L O ] 2 8 Ju l 2 01 9 Causal Inference by String Diagram Surgery

Extracting causal relationships from observed correlations is a growing area in probabilistic reasoning, originating with the seminal work of Pearl and others from the early 1990s. This paper develops a new, categorically oriented view based on a clear distinction between syntax (string diagrams) and semantics (stochastic matrices), connected via interpretations as structure-preserving functors. A key notion in the identification of causal effects is that of an intervention, whereby a variable is forcefully set to a particular value independent of any prior dependencies. We represent the effect of such an intervention as an endofunctor which performs ‘string diagram surgery’ within the syntactic category of string diagrams. This diagram surgery in turn yields a new, interventional distribution via the interpretation functor. While in general there is no way to compute interventional distributions purely from observed data, we show that this is possible in certain special cases using a calculational tool called comb disintegration. We demonstrate the use of this technique on a well-known toy example, where we predict the causal effect of smoking on cancer in the presence of a confounding common cause. After developing this specific example, we show this technique provides simple sufficient conditions for computing interventions which apply to a wide variety of situations considered in the causal inference literature.

[1]  Bart Jacobs,et al.  Disintegration and Bayesian Inversion, Both Abstractly and Concretely , 2017, ArXiv.

[2]  F. William Lawvere,et al.  Ordinal sums and equational doctrines , 1969 .

[3]  Robert W. Spekkens,et al.  Picturing classical and quantum Bayesian inference , 2011, Synthese.

[4]  Jin Tian,et al.  A general identification condition for causal effects , 2002, AAAI/IAAI.

[5]  J. Pearl Causality: Models, Reasoning and Inference , 2000 .

[6]  Vincent Danos,et al.  Pointless Learning , 2017, FoSSaCS.

[7]  Paolo Perinotti,et al.  Causal Structures and the Classification of Higher Order Quantum Computations , 2016, 1612.05099.

[8]  W. Wootters,et al.  A single quantum cannot be cloned , 1982, Nature.

[9]  Č. Brukner,et al.  A graph-separation theorem for quantum causal models , 2014, 1406.0430.

[10]  Fabio Costa,et al.  Quantum causal modelling , 2015, 1512.07106.

[11]  Bart Jacobs,et al.  A Predicate/State Transformer Semantics for Bayesian Learning , 2016, MFPS.

[12]  Bart Jacobs,et al.  The Logical Essentials of Bayesian Reasoning , 2018, Foundations of Probabilistic Programming.

[13]  Judea Pearl,et al.  Identification of Joint Interventional Distributions in Recursive Semi-Markovian Causal Models , 2006, AAAI.

[14]  Matthew F Pusey,et al.  Theory-independent limits on correlations from generalized Bayesian networks , 2014, 1405.2572.

[15]  Aleks Kissinger,et al.  A categorical semantics for causal structure , 2017, 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).

[16]  F. W. Lawvere,et al.  FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES. , 1963, Proceedings of the National Academy of Sciences of the United States of America.

[17]  D. Janzing,et al.  A quantum advantage for inferring causal structure , 2015, Nature Physics.

[18]  P. Selinger A Survey of Graphical Languages for Monoidal Categories , 2009, 0908.3347.

[19]  G Chiribella,et al.  Quantum circuit architecture. , 2007, Physical review letters.

[20]  Filippo Bonchi,et al.  Deconstructing Lawvere with distributive laws , 2018, J. Log. Algebraic Methods Program..

[21]  Brendan Fong,et al.  Causal Theories: A Categorical Perspective on Bayesian Networks , 2013, 1301.6201.

[22]  R. Spekkens,et al.  Towards a formulation of quantum theory as a causally neutral theory of Bayesian inference , 2011, 1107.5849.

[23]  Marco Valtorta,et al.  Pearl's Calculus of Intervention Is Complete , 2006, UAI.

[24]  Gus Gutoski,et al.  Toward a general theory of quantum games , 2006, STOC '07.

[25]  R. Spekkens,et al.  Quantum common causes and quantum causal models , 2016, 1609.09487.