arXiv++ Combinatorics

Max-linear Bayesian networks (MLBNs) are a relatively recent class of structural equation models which arise when the random variables involved have heavy-tailed distributions. Unlike most directed graphical models, MLBNs are typically not faithful to d-separation and thus classical causal discovery algorithms such as the PC algorithm or greedy equivalence search can not be used to accurately recover the true graph structure. In this paper, we begin the study of constraint-based discovery algorithms for MLBNs given an oracle for testing conditional independence in the true, unknown graph. We show that if the oracle is given by the $\ast$-separation criteria in the true graph, then the PC algorithm remains consistent despite the presence of additional CI statements implied by $\ast$-separation. We also introduce a new causal discovery algorithm named "PCstar" which assumes faithfulness to $C^\ast$-separation and is able to orient additional edges which cannot be oriented with only d- or $\ast$-separation.

The conditional independence (CI) relation of a distribution in a max-linear Bayesian network depends on its weight matrix through the $C^\ast$-separation criterion. These CI~models, which we call maxoids, are compositional graphoids which are in general not representable by Gaussian random variables. We prove that every maxoid can be obtained from a transitively closed weighted DAG and show that the stratification of generic weight matrices by their maxoids yields a polyhedral~fan. We also use this connection to polyhedral geometry to develop an algorithm for solving the conditional independence implication problem for maxoids.

Computing Gröbner bases is known to have a very high upper bound on computation time with respect to input length. Due to the connection between polyhedral geometry and Gröbner bases through the Gröbner fan, one can attempt an incremental approach to compute Gröbner bases. First computing a Gröbner basis with respect to an `easy' term order and transforming that result to a Gröbner basis with respect to the desired term order by using information about this polyhedral fan is done by a family of algorithms termed as Gröbner walk. We implemented two variants of the Gröbner walk in the computer algebra system OSCAR and compared their performance with classical Gröbner basis methods already found in OSCAR.