Related papers: On the Gr\"obner complexity of matrices

Let A,B be complex n,n complex matrices such that AB-BA and A commute. We show that, if n=2 then A,B are simultaneously triangularizable and if n>=3 then there exists such a couple A,B such that the pair (A,B) has not property L of…

Let $G$ be an abelian group and $\mathbb{K}$ an algebraically closed field of characteristic zero. A. Valenti and M. Zaicev described the $G$-gradings on upper block-triangular matrix algebras provided that $G$ is finite. We prove that…

We consider fine G-gradings on M_n(C) (i.e. gradings of the matrix algebra over the complex numbers where each component is 1 dimensional). Groups which provide such a grading are known to be solvable. We consider the T-ideal of G-graded…

We determine a Groebner basis for the secant ideal of the toric ideal associated to the second hypersimplex, with respect to any circular term order. The Groebner basis of the secant ideal requires polynomials of odd degree up to n. This…

The Gowers U^3 norm is one of a sequence of norms used in the study of arithmetic progressions. If G is an abelian group and A is a subset of G then the U^3(G) of the characteristic function 1_A is useful in the study of progressions of…

An algebra $\mathcal{A}$ of $n\times n$ complex matrices is said to be \textit{idempotent compressible} if $E\mathcal{A}E$ is an algebra for all idempotents $E\in\mathbb{M}_n(\mathbb{C})$. Analogously, $\mathcal{A}$ is said to be…

An ideal I is robust if its universal Gr\"obner basis is a minimal generating set for this ideal. In this paper, we generalize the meaning of robust ideals. An ideal is defined as generalized robust if its universal Gr\"obner basis is equal…

Gerstenhaber proved in 1961 that the unital algebra generated by a pair of commuting $d\times d$ matrices over a field has dimension at most $d$. It is an open problem whether the analogous statement is true for triples of matrices which…

We study an inductive method of computing initial ideals and Gr\"obner bases for families of ideals in a polynomial ring. This method starts from a given set of pairs $(I,J)$ where $I$ is any ideal and $J$ is a monomial ideal contained in…

We investigate the complexity of counting Eulerian tours ({\sc #ET}) and its variations from two perspectives---the complexity of exact counting and the complexity w.r.t. approximation-preserving reductions (AP-reductions \cite{MR2044886}).…

A simple cubic matrix model is presented, which has truncations that, it is argued, lead at the classical level to a variety of theories of gauge fields and gravity. These include Chern-Simons theory in d=3, and BF theory and general…

A fundamental problem in program verification concerns the termination of simple linear loops of the form x := u ; while Bx >= b do {x := Ax + a} where x is a vector of variables, u, a, and c are integer vectors, and A and B are integer…

The main objective of this paper is to connect the theory of $Gr\"obner$ bases to concepts of homological algebra. $Gr\"obner$ bases, an important tool in algebraic system and in linear algebra help us to understand the structure of an…

We demonstrate the relevance of an algorithm called generalized iterative scaling (GIS) or simultaneous multiplicative algebraic reconstruction technique (SMART) and its rescaled block-iterative version (RBI-SMART) in the field of optimal…

For the ideal $I = \langle y_1 + \dots + y_n, y^2_1, \dots , y^2_n \rangle$ in $R = {\mathbb F}[y_1, \dots , y_n]$ with char($\mathbb F$) = 0, we show that the reduced Gr\"obner basis with lex-order consists of polynomials $g_\alpha$ that…

For a simple algebraic group G in characteristic p, a triple (a,b,c) of positive integers is said to be rigid for G if the dimensions of the subvarieties of G of elements of order dividing a,b,c sum to 2dim G. In this paper we complete the…

Let $A \in \mathbb{R}^{n \times n}$ be the adjacency matrix of an Erd\H{o}s R\'enyi graph $G(n, d/n)$ for $d = \omega(1)$ and $d \leq 3\log(n)$. We show that as $n$ goes to infinity, with probability that goes to $1$, the adjacency matrix…

Evidences have suggested that counting representations are sometimes tractable even when the corresponding classification problem is almost impossible, or "wild" in a precise sense. Such counting problems are directly related to matrix…

We give a criterion for a collection of polynomials to be a universal Gr\"{o}bner basis for an ideal in terms of the multidegree of the closure of the corresponding affine variety in $(\mathbb{P}^1)^N$. This criterion can be used to give…

Classical r-matrices with carriers g_c containing the Borel subalgebra b(+,g) of simple Lie algebra g are studied. Using the graphycal presentation of the dual Lie algebra g#(r) we show that such solutions of the CYBE always exist. To…