pith. sign in

arxiv: 0708.4392 · v1 · submitted 2007-08-31 · 🧮 math.AC · math.CO

On the Gr\"obner complexity of matrices

classification 🧮 math.AC math.CO
keywords timescomplexityobnerbasisgraveridealmatricessmallmatrix
0
0 comments X
read the original abstract

In this paper we show that if for an integer matrix A the universal Gr\"obner basis of the associated toric ideal \Ideal_A coincides with the Graver basis of A, then the Gr\"obner complexity u(A) and the Graver complexity g(A) of its higher Lawrence liftings agree, too. We conclude that for the matrices A_{3\times 3} and A_{3\times 4}, defining the 3\times 3 and 3\times 4 transportation problems, we have u(A_{3\times 3})=g(A_{3\times 3})=9 and u(A_{3\times 4})=g(A_{3\times 4})\geq 27. Moreover, we prove u(A_{a,b})=g(A_{a,b})=2(a+b)/\gcd(a,b) for positive integers a,b and A_{a,b}=(\begin{smallmatrix} 1 & 1 & 1 & 1 0 & a & b & a+b \end{smallmatrix}).

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.