English
Related papers

Related papers: A Polynomial-time Algorithm to Compute Generalized…

200 papers

We consider the problem of computing a grevlex Gr\"obner basis for the set $F_r(M)$ of minors of size $r$ of an $n\times n$ matrix $M$ of generic linear forms over a field of characteristic zero or large enough. Such sets are not regular…

Symbolic Computation · Computer Science 2023-06-16 Sriram Gopalakrishnan , Vincent Neiger , Mohab Safey El Din

A coherent state representation of the expectation value of an arbitrary (but still polynomial) normal ordered quantum operator is discussed. This serves as a basis for developing a fast and easy-to-handle algorithm, based on series of…

Optics · Physics 2012-08-31 Marco Ornigotti , Andrea Aiello , Gerd Leuchs

Ihe first author presented an efficient algorithm for computing involutive (and reduced Groebner) bases. In this paper, we consider a modification of this algorithm which simplifies matters to understand it and to implement. We prove…

Rings and Algebras · Mathematics 2011-08-17 Vladimir P. Gerdt , Amir Hashemi , Benyamin M. -Alizadeh

In this paper, we study the complexity of solving generic over-determined bilinear systems over a finite field $\mathbb{F}$. Given a generic bilinear sequence $B \in \mathbb{F}[\mathbf{x},\mathbf{y}]$, with respect to a partition of…

Symbolic Computation · Computer Science 2020-06-18 John B. Baena , Daniel Cabarcas , Javier Verbel

We present a new closed form for the interpolating polynomial of the general univariate Hermite interpolation that requires only calculation of polynomial derivatives, instead of derivatives of rational functions. This result is used to…

Hilbert schemes of zero-dimensional ideals in a polynomial ring can be covered with suitable affine open subschemes whose construction is achieved using border bases. Moreover, border bases have proved to be an excellent tool for describing…

Commutative Algebra · Mathematics 2008-06-26 Lorenzo Robbiano

Let T(x) in k[x] be a monic non-constant polynomial and write R=k[x] / (T) the quotient ring. Consider two bivariate polynomials a(x, y), b(x, y) in R[y]. In a first part, T = p^e is assumed to be the power of an irreducible polynomial p. A…

Commutative Algebra · Mathematics 2021-09-30 Xavier Dahan

Polynomial system solving is a classical problem in mathematics with a wide range of applications. This makes its complexity a fundamental problem in computer science. Depending on the context, solving has different meanings. In order to…

Symbolic Computation · Computer Science 2013-07-16 Jean-Charles Faugère , Pierrick Gaudry , Louise Huot , Guénaël Renault

Given a zero-dimensional ideal I in K[x1,...,xn] of degree D, the transformation of the ordering of its Groebner basis from DRL to LEX is a key step in polynomial system solving and turns out to be the bottleneck of the whole solving…

Symbolic Computation · Computer Science 2017-03-01 Jean-Charles Faugère , Chenqi Mou

We present an algorithm that computes the Hasse-Witt matrix of given hyperelliptic curve over Q at all primes of good reduction up to a given bound N. It is simpler and faster than the previous algorithm developed by the authors.

Number Theory · Mathematics 2017-01-03 David Harvey , Andrew V. Sutherland

A generalized criterion for signature-based algorithms to compute Gr\"obner bases is proposed in this paper. This criterion is named by "generalized criterion", because it can be specialized to almost all existing criteria for…

Symbolic Computation · Computer Science 2011-06-27 Yao Sun , Dingkang Wang

In this paper, we characterized the relationship between Groebner bases and u-bases: any minimal Groebner basis of the syzygy module for n univariate polynomials with respect to the term-over-position monomial order is its u-basis.…

Symbolic Computation · Computer Science 2021-01-01 Dingkang Wang , Hesong Wang , Fanghui Xiao

In this paper, we make a contribution to the computation of Gr\"obner bases. For polynomial reduction, instead of choosing the leading monomial of a polynomial as the monomial with respect to which the reduction process is carried out, we…

Symbolic Computation · Computer Science 2019-09-05 Georgiana Şurlea , Adrian Crăciun

We consider the problem of finding the isolated common roots of a set of polynomial functions defining a zero-dimensional ideal I in a ring R of polynomials over C. Normal form algorithms provide an algebraic approach to solve this problem.…

Algebraic Geometry · Mathematics 2018-12-10 Bernard Mourrain , Simon Telen , Marc Van Barel

Generalized quasi-cyclic (GQC) codes form a wide and useful class of linear codes that includes thoroughly quasi-cyclic codes, finite geometry (FG) low density parity check (LDPC) codes, and Hermitian codes. Although it is known that the…

Information Theory · Computer Science 2008-11-26 Vo Tam Van , Hajime Matsui , Seiichi Mita

We describe a version of the FGLM algorithm that can be used to compute generic fibers of positive-dimensional polynomial ideals. It combines the FGLM algorithm with a Hensel lifting strategy. In analogy with Hensel lifting, we show that…

Symbolic Computation · Computer Science 2024-09-20 Jérémy Berthomieu , Rafael Mohr

Gr\"obner bases can be used for computing the Hilbert basis of a numerical submonoid. By using these techniques, we provide an algorithm that calculates a basis of a subspace of a finite-dimensional vector space over a finite prime field…

Algebraic Geometry · Mathematics 2013-03-27 Natalia Dück , Karl-Heinz Zimmermann

This paper is concerned with linear algebra based methods for solving exactly polynomial systems through so-called Gr\"obner bases, which allow one to compute modulo the polynomial ideal generated by the input equations. This is a topical…

Symbolic Computation · Computer Science 2023-07-28 Jérémy Berthomieu , Christian Eder , Mohab Safey El Din

Recently Hashemi and Kapur published an algorithm [1] for Groebner basis conversion by truncating polynomials according to a source and a target monomial order. Here we present a counterexample to this algorithm.

Symbolic Computation · Computer Science 2025-10-08 Anna Nymann Heisel , Niels Lauritzen

We present algorithms to compute the Smith Normal Form of matrices over two families of local rings. The algorithms use the \emph{black-box} model which is suitable for sparse and structured matrices. The algorithms depend on a number of…

Symbolic Computation · Computer Science 2012-05-01 Mustafa Elsheikh , Mark Giesbrecht , Andy Novocin , B. David Saunders