Betti numbers of Stanley-Reisner rings determine hierarchical Markov degrees

DOI10.1007/S10801-012-0381-1MaRDI QIDQ2376294zbMATH OpenOpenAlexFDO

Authors Sonja Petrović, Erik Stokes

Publication date 21 June 2013

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

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

zbMATH Keywords

Betti numbersMarkov basisMarkov widthStanley-Reisner idealtoric ideal generators

Mathematics Subject Classification ID

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

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.

Review text

To every simplicial complex \(\Delta\) on \(m\) vertices the following two ideals can be associated. The first one is the Stanley-Reisner ideal \(I_{\Delta} \subseteq K[x_1,\dots,x_m]\), i.e. the squarefree monomial ideal generated by the minimal non-faces of \(\Delta\). The other one is a binomial ideal which arise naturally in algebraic statistics. Namely 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\). The main result of this paper shows that the syzygies of \(I_{\Delta}\) predict degrees of minimal generators of \(I_{M(\Delta)}\). More precisely, it is proved that if the Betti diagram of the minimal free resolution of \(K[x_1,\dots,x_m]/I_{\Delta}\) has a non-zero entry in the \(j\)th row, then the toric ideal \(I_{M(\Delta)}\) has a minimal generator with degree \(2^{j}\).

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

Cites work

• Algebraic algorithms for sampling from conditional distributions
• scientific article; zbMATH DE number 482758 (Why is no real title available?)
• 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
• Using Algebraic Geometry

Cited in

(6)

• Betti numbers of polynomial hierarchical models for experimental designs
• Multigraded commutative algebra of graph decompositions
• Subdivisions of toric complexes
• scientific article; zbMATH DE number 1278120 (Why is no real title available?)
• Markov Bases: A 25 Year Update
• Simplicial complexes and minimal free resolution of monomial algebras

Describes a project that uses

Uses Software

• 4ti2
• Macaulay2

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)