Betti numbers of Stanley-Reisner rings determine hierarchical Markov degrees (Q2376294)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Betti numbers of Stanley-Reisner rings determine hierarchical Markov degrees |
scientific article |
Statements
Betti numbers of Stanley-Reisner rings determine hierarchical Markov degrees (English)
0 references
21 June 2013
0 references
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}\).
0 references
Stanley-Reisner ideal
0 references
Betti numbers
0 references
Markov basis
0 references
Markov width
0 references
toric ideal generators
0 references
0 references