Betti numbers of Stanley-Reisner rings determine hierarchical Markov degrees

DOI10.1007/S10801-012-0381-1zbMATH Open1272.13019arXiv0910.1610OpenAlexW2060449355MaRDI QIDQ2376294FDOQ2376294

Authors: Sonja Petrović, Erik Stokes 

Publication date: 21 June 2013

Published in: Journal of Algebraic Combinatorics (Search for Journal in Brave)

Abstract: There are two seemingly unrelated ideals associated with a simplicial complex Delta. One is the Stanley-Reisner ideal I_Delta, the monomial ideal generated by minimal non-faces of Delta, well-known in combinatorial commutative algebra. The other is the toric ideal I_{M(Delta)} of the facet subring of Delta, whose generators give a Markov basis for the hierarchical model defined by Delta, playing a prominent role in algebraic statistics. In this note we show that the complexity of the generators of I_{M(Delta)} is determined by the Betti numbers of I_Delta. The unexpected connection between the syzygies of the Stanley-Reisner ideal and degrees of minimal generators of the toric ideal provide a framework for further exploration of the connection between the model and its many relatives in algebra and combinatorics.

Full work available at URL: https://arxiv.org/abs/0910.1610

Recommendations

• Some results on Betti numbers of Stanley-Reisner rings
• scientific article; zbMATH DE number 1404278
• On the Hilbert coefficients and Betti numbers of the Stanley-Reisner ring of a matroid complex
• scientific article; zbMATH DE number 1278120
• Betti numbers of some semigroup rings
• Betti numbers of multigraded modules
• Hamming weights and Betti numbers of Stanley-Reisner rings associated to matroids
• Betti numbers of determinantal ideals
• Betti posets and the Stanley depth
• Betti numbers and degree bounds for some linked zero-schemes

zbMATH Keywords

Betti numbersMarkov basisStanley-Reisner idealMarkov widthtoric ideal generators

Mathematics Subject Classification ID

Multivariate analysis (62H99) Contingency tables (62H17) Toric varieties, Newton polyhedra, Okounkov bodies (14M25) Combinatorial aspects of simplicial complexes (05E45) Commutative rings defined by monomial ideals; Stanley-Reisner face rings; simplicial complexes (13F55)

Cites Work

• Using Algebraic Geometry
• Title not available (Why is that?)
• Algebraic algorithms for sampling from conditional distributions
• Markov bases of three-way tables are arbitrarily complicated
• Minimal Basis for a Connected Markov Chain over 3 x 3 x K Contingency Tables with Fixed Two-Dimensional Marginals
• The largest group of invariance for Markov bases and toric ideals

Cited In (6)

• Markov Bases: A 25 Year Update
• Simplicial complexes and minimal free resolution of monomial algebras
• Betti numbers of polynomial hierarchical models for experimental designs
• Subdivisions of toric complexes
• Multigraded commutative algebra of graph decompositions
• Title not available (Why is that?)

Uses Software

• Macaulay2
• 4ti2

This page was built for publication: Betti numbers of Stanley-Reisner rings determine hierarchical Markov degrees

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2376294)