Gr\"obner bases and critical values: The asymptotic combinatorics of determinantal systems

TL;DR

This paper analyzes the complexity of the Sparse-FGLM algorithm when applied to determinantal systems, providing new bounds and formulas for the parameter m that influence computational efficiency.

Contribution

It introduces a new complexity bound for Sparse-FGLM on determinantal systems and derives explicit formulas for key parameters under generic conditions.

Findings

New bound on Sparse-FGLM complexity for determinantal systems

Explicit formula for m when d=2 and n≫p

Asymptotic formula for m when d≥3 as n→∞

Abstract

We consider ideals involving the maximal minors of a polynomial matrix. For example, those arising in the computation of the critical values of a polynomial restricted to a variety for polynomial optimisation. Gr\"obner bases are a classical tool for solving polynomial systems. For practical computations, this consists of two stages. First, a Gr\"obner basis is computed with respect to a DRL (degree reverse lexicographic) ordering. Then, a change of ordering algorithm, such as \textsf{Sparse-FGLM}, designed by Faug\`ere and Mou, is used to find a Gr\"obner basis of the same ideal but with respect to a lexicographic ordering. The complexity of this latter step, in terms of arithmetic operations, is $O(mD^2)$, where $D$ is the degree of the ideal and $m$ is the number of non-trivial columns of a certain $D \times D$ matrix. While asymptotic estimates are known for $m$ for generic polynomial systems, thus far, the complexity of \textsf{Sparse-FGLM} was unknown for determinantal systems. By assuming Fr\"oberg's conjecture we expand the work of Moreno-Soc\'ias by detailing the structure of the DRL staircase in the determinantal setting. Then we study the asymptotics of the quantity $m$ by relating it to the coefficients of these Hilbert series. Consequently, we arrive at a new bound on the complexity of the \textsf{Sparse-FGLM} algorithm for generic determinantal systems and for generic critical point systems. We consider the ideal in the polynomial ring $\mathbb{K}[x_1, \dots, x_n]$, where $\mathbb{K}$ is some infinite field, generated by $p$ generic polynomials of degree $d$ and the maximal minors of a $p \times (n-1)$ polynomial matrix with generic entries of degree $d-1$. Then for the case $d=2$ and for $n \gg p$ we give an exact formula for $m$ in terms of $n$ and $p$. Moreover, for $d \geq 3$, we give an asymptotic formula, as $n \to \infty$, for $m$ in terms of $n,p$ and $d$.