EQUIVARIANT GROBNER BASES AND THE GAUSSIAN TWO-FACTOR MODEL

作者：Brouwer Andries E^*; Draisma Jan

来源：Mathematics of Computation, 2011, 80(274): 1123-1133.

DOI：10.1090/S0025-5718-2010-02415-9

• Equivariant Grobner bases
• algebraic factor analysis

Exploiting symmetry in Grobner basis computations is difficult when the symmetry takes the form of a group acting by automorphisms on monomials in finitely many variables. This is largely clue to the fact that the group elements, being invertible, cannot preserve a term order. By contrast, inspired by work of Aschenbrenner and Hi liar, we introduce the concept of eguivariant Grobner basis in a setting where a monoid acts by homomorphisms on monomials in potentially infinitely many variables. We require that the action be compatible with a term order, and under some further assumptions derive a Buchberger-type algorithm for computing equivariant Grobner bases.
Using this algorithm and the monoid of strictly increasing functions N -> N we prove that the kernel of the ring homomorphism
R[y(ij) | i, j is an element of N, i > j] -> R[s(i), t(i) | i is an element of N], y(ij) -> s(i)s(j) + t(i)t(j)
is generated by two types of polynomials: off-diagonal 3 x 3-minors and pentads. This confirms a conjecture by Drton, Sturmfels, and Sullivant on the Gaussian two-factor model from algebraic statistics.

• 出版日期2011-4