Lee Gunderson

We introduce a graphical algebra that streamlines the derivation of causal inequalities, alleviating (some of) the combinatorial explosion inherent in the method of inflation. Our approach is an application of the celebrated theory of flag algebras introduced by Razborov in 2007, which continues to be instrumental in the derivation of an impressive variety of new results in extremal combinatorics. We demonstrate the utility of this framework by providing succinct proofs of bounds on the joint distribution of observable variables for various causal scenarios relevant to quantum networks.