2023/08/03 by Mathias Drton, Drton, Mathias, Benjamin Hollering +3 · 1 citation
Computer Science · #05B35 #62A09 #62H22 #62R01 #Bayesian Modeling and Causal Inference #Combinatorics (math.CO) #Computational Drug Discovery Methods #FOS: Mathematics #Formal Methods in Verification #Statistics Theory (math.ST)
paper · pdf · doi:10.48550/arxiv.2308.01821
openalex publication_date 2023/08/03 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
We consider structural equation models (SEMs), in which every variable is a function of a subset of the other variables and a stochastic error. Each such SEM is naturally associated with a directed graph describing the relationships between variables. When the errors are homoscedastic, recent work has proposed methods for inferring the graph from observational data under the assumption that the graph is acyclic (i.e., the SEM is recursive). In this work, we study the setting of homoscedastic errors but allow the graph to be cyclic (i.e., the SEM to be non-recursive). Using an algebraic approach that compares matroids derived from the parameterizations of the models, we derive sufficient conditions for when two simple directed graphs generate different distributions generically. Based on these conditions, we exhibit subclasses of graphs that allow for directed cycles, yet are generically identifiable. We also conjecture a strengthening of our graphical criterion which can be used to distinguish many more non-complete graphs.