Minimal primes of ideals arising from conditional independence statements

DOI10.1016/J.JALGEBRA.2013.05.019MaRDI QIDQ2438375zbMATH OpenOpenAlexFDO

Publication date 11 March 2014

Published in Journal of Algebra (Search for Journal in Brave)

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

binomial ideals conditional independence ideals graphical modules Gröbner bases primary decomposition

Ideals and multiplicative ideal theory in commutative rings (13A15) Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10)

Abstract: We consider ideals arising in the context of conditional independence models that generalize the class of ideals considered by Fink [7] in a way distinct from the generalizations of Herzog-Hibi-Hreinsdottir-Kahle-Rauh [13] and Ay-Rauh [1]. We introduce switchable sets to give a combinatorial description of the minimal prime ideals, and for some classes we describe the minimal components. We discuss many possible interpretations of the ideals we study, including as 2 imes 2 minors of generic hypermatrices. We also introduce a definition of diagonal monomial orders on generic hypermatrices and we compute some Groebner bases.

Review text

Let \(n, r_1, \dots, r_n\) be positive integers and set \(N=[r_1]\times \dots \times [r_n]\). Let \(R\) denote the polynomial ring over a field in variables \(x_a\) as \(a\) varies over \(N\). Let \(L\subseteq [n]\) and \(a, b \in N\). The switch function \(s(L,a,b)\) is an element of \(N\) whose \(i\)th component is \(s(L,a,b)_i=b_i\) if \(i\in L\) and \(s(L,a,b)_i=a_i\) otherwise. If \(L=\{j\}\), we simply write \(s(L,a,b)=s(j,a,b)\). For any two indices \(a, b\) in \(N\) we define the distance between them to be \[ d(a, b)=\# \{i: a_i\neq b_i\}. \] Also, for any \(L\subseteq [n]\) and \(i\in [n]\) we define: \[ f_{L, a, b}=x_ax_b-x_{s(L,a,b)}x_{s(L,b,a)}, \] \[ f_{i, a, b}=x_ax_b-x_{s(i,a,b)}x_{s(i,b,a)}. \] For any \(t\in [n]\), define \[ I^{\langle t \rangle}=\langle f_{i, a, b}: a, b \in N, d(a, b)=2, i\in [t]\rangle, \] \[ \widetilde{I^{\langle t \rangle}}=\langle f_{i, a, b}: a, b \in N, i\in [t]\rangle. \] A subset \(S\) of \(N\) is called \(t\)-switchable if for all \(a, b\in S\) with \(d(a, b)=2\), if \(i\in [t]\), then \(s(i,b,a)\in S\). Moreover, for a \(t\)-switchable subset \(S\) of \(N\), we define \[ \widetilde{I^{\langle t \rangle}}_S=\langle f_{i, a, b}: a, b\,\,\;\text{connected in}\, S \}, \,\,\, \mathrm{Var}^{\langle t \rangle}_S=\langle x_a: a\not\in S\rangle, \,\,\, \text{and}\,\,\, \widetilde{P^{\langle t \rangle}}_S=\mathrm{Var}^{\langle t \rangle}_S+\widetilde{I^{\langle t \rangle}}_S. \] Here two elements \(a, b\in S\) are connected in \(S\) if there is \[ a_0=a, a_1, \dots, a_{k-1}, a_k=b\in S, \] such that for all \(1\leq j\leq k\), \(a_{j-1}\) and \(a_j\) differ only in one component. We say that a \(t\)-switchable subset \(S\) of \(N\) is maximal if for all \(t\)-switchable subset \(T\) of \(N\) properly containing \(S\), \(P^{\langle t \rangle}_S\) and \(P^{\langle t \rangle}_T\) are incomparable. In this interesting paper, the authors by using a new combinatorial structure and \(t\)-switchable subsets, describe of the prime ideals minimal over \(I^{\langle t \rangle}\). More precisely, they prove that the set of prime ideals minimal over \(I^{\langle t \rangle}\) equals the set of ideals of the form \(P^{\langle t \rangle}_S\) as \(S\) varies over the maximal \(t\)-switchable subsets \(S\) of \(N\). Moreover, they prove that the minimal components of \(I^{\langle n \rangle}\) are prime ideals. Finally, the authors introduce a notion of diagonal orders for generic hypermatrices and they use these orders to give Gröbner basis for \(\widetilde{I^{\langle t \rangle}}\).

Recommendations

Cites work

Cited in

(8)

Describes a project that uses

Uses Software

This page was built for publication: Minimal primes of ideals arising from conditional independence statements

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