The Geometry of Gaussoids
- 50 Downloads
A gaussoid is a combinatorial structure that encodes independence in probability and statistics, just like matroids encode independence in linear algebra. The gaussoid axioms of Lněnička and Matúš are equivalent to compatibility with certain quadratic relations among principal and almost-principal minors of a symmetric matrix. We develop the geometric theory of gaussoids, based on the Lagrangian Grassmannian and its symmetries. We introduce oriented gaussoids and valuated gaussoids, thus connecting to real and tropical geometry. We classify small realizable and non-realizable gaussoids. Positive gaussoids are as nice as positroids: They are all realizable via graphical models.
KeywordsGaussoid Matroid Gaussian Lagrangian Grassmannian Minor Symmetric matrix
Mathematics Subject Classification15A15 60E05 14M15 13P10 62H20 17B10 14T05
We thank Moritz Firsching, Paul Görlach, Jon Hauenstein, Mateusz Michałek, Peter Nelson, Yue Ren, Caroline Uhler and Charles Wang for help with this project. Bernd Sturmfels was partially supported by the Einstein Foundation Berlin and the US National Science Foundation (DMS-1419018, DMS-1440140). Tobias Boege and Thomas Kahle were partially supported by the Deutsche Forschungsgemeinschaft (314838170, GRK 2297, “MathCoRe”).
- 2.M. Baker and N. Bowler: Matroids over partial hyperstructures, arXiv:1709.09707.
- 3.A. Björner, M. Las Vergnas, B. Sturmfels, N. White and G. Ziegler: Oriented Matroids, Cambridge University Press, 1993.Google Scholar
- 14.P. Görlach, Y. Ren and J. Sommars: Detecting tropical defects of polynomial equations, in preparation.Google Scholar
- 15.D. Grayson and M. Stillman: Macaulay2, a software system for research in algebraic geometry, available at www.math.uiuc.edu/Macaulay2/.
- 18.A. Iliev and K. Ranestad: Geometry of the Lagrangian Grassmannian \(LG(3,6)\) with applications to Brill–Noether loci, Michigan Math. J. 53(2) (2005) 383–417.Google Scholar
- 21.K. Kaveh and C. Manon: Khovanskii bases, higher rank valuations and tropical geometry, arXiv:1610.00298.
- 23.S. Lauritzen, C. Uhler and P. Zwiernik: Maximum likelihood estimation in Gaussian models under total positivity, Annals of Statistics, to appear.Google Scholar
- 26.S. J. Maher et al.: The SCIP Optimization Suite 4.0, Zuse Institute, Berlin.Google Scholar
- 28.D. Mayhew, M. Newman and G. Whittle: Yes, the “missing axiom” of matroid theory is lost forever, Transactions of the American Mathematical Society, to appear (2018)Google Scholar
- 30.L. Oeding: G-Varieties and the Principal Minors of Symmetric Matrices, PhD Dissertation, Texas A&M University, ProQuest LLC, Ann Arbor, MI, 2009.Google Scholar
- 33.SageMath, the Sage Mathematics Software System (Version 8.0), The Sage Developers, 2017, http://www.sagemath.org.
- 34.P. Šimeček: Gaussian representation of independence models over four random variables In: Proc. COMPSTAT 2006, World Conference on Computational Statistics 17 (A. Rizzi and M. Vichi, eds.), Rome 2006, pp. 1405–1412.Google Scholar
- 40.M. Thurley: sharpSAT - Counting models with advanced component caching and implicit BCP, Proc. 9th Int. Conf. Theory and Applications of Satisfiability Testing (SAT 2006), (2006) pp. 424–429.Google Scholar