English
Related papers

Related papers: Efficient Gr\"obner Bases Computation over Princip…

200 papers

In this paper we investigate the parallelization of two modular algorithms. In fact, we consider the modular computation of Gr\"obner bases (resp. standard bases) and the modular computation of the associated primes of a zero-dimensional…

Commutative Algebra · Mathematics 2011-03-14 Nazeran Idrees , Gerhard Pfister , Stefan Steidel

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

This paper introduces the notion of an excellent quotient, which is stronger than a universal geometric quotient. The main result is that for an action of a connected solvable group $G$ on an affine scheme Spec$(R)$ there exists a…

Commutative Algebra · Mathematics 2017-12-12 Gregor Kemper

Computing Gr\"obner bases is known to have a very high upper bound on computation time with respect to input length. Due to the connection between polyhedral geometry and Gr\"obner bases through the Gr\"obner fan, one can attempt an…

Commutative Algebra · Mathematics 2026-05-27 Kamillo Ferry , Francesco Nowell

This paper presents an algorithm for computing Groebner bases based upon labeled polynomials and ideas from the algorithm F5. The main highlights of this algorithm compared with analogues are simplicity both of the algorithm and of the its…

Commutative Algebra · Mathematics 2012-05-29 Vasily Galkin

Let K be a field with a valuation and let S be the polynomial ring S:= K[x_1,..., x_n]. We discuss the extension of Groebner theory to ideals in S, taking the valuations of coefficients into account, and describe the Buchberger algorithm in…

Commutative Algebra · Mathematics 2017-09-04 Andrew J. Chan , Diane Maclagan

We discuss the problem of determining reduction number of a polynomial ideal I in n variables. We present two algorithms based on parametric computations. The first one determines the absolute reduction number of I and requires computation…

Commutative Algebra · Mathematics 2014-06-16 Amir Hashemi , Michael Schweinfurter , Werner M. Seiler

Factoring large integers using a quantum computer is an outstanding research problem that can illustrate true quantum advantage over classical computers. Exponential time order is required in order to find the prime factors of an integer by…

Quantum Physics · Physics 2018-07-13 Avinash Dash , Deepankar Sarmah , Bikash K. Behera , Prasanta K. Panigrahi

A universal Gr\"obner basis of an ideal is the union of all its reduced Gr\"obner bases. It is contained in the Graver basis, the set of all primitive elements. Obtaining an explicit description of either of these sets, or even a sharp…

Commutative Algebra · Mathematics 2007-11-22 Sonja Petrović

We present fast algorithms for computing rational first integrals with bounded degree of a planar polynomial vector field. Our approach is inspired by an idea of Ferragut and Giacomini. We improve upon their work by proving that rational…

Symbolic Computation · Computer Science 2013-10-11 Alin Bostan , Guillaume Chèze , Thomas Cluzeau , Jacques-Arthur Weil

We describe an algorithm for splitting permutation representations of finite group over fields of characteristic zero into irreducible components. The algorithm is based on the fact that the components of the invariant inner product in…

Representation Theory · Mathematics 2018-03-06 Vladimir V. Kornyak

The set of common roots of a finite set $I$ (it is an ideal) of homogeneous polynomials is known as projective algebraic set $V$. In this article I show how to dualize such projective algebraic sets $V$ by elimination of variables from a…

Algebraic Geometry · Mathematics 2011-01-14 Călin-Şerban Bărbat

We develop a theory of bicrystalline ideals, synthesizing Gr\"obner basis techniques and Kashiwara's crystal theory. This provides a unified algebraic, combinatorial, and computational approach that applies to ideals of interest, old and…

Representation Theory · Mathematics 2025-10-10 Abigail Price , Ada Stelzer , Alexander Yong

Dotsenko and Vallette discovered an extension to nonsymmetric operads of Buchberger's algorithm for Gr\"obner bases of polynomial ideals. In the free nonsymmetric operad with one ternary operation $({\ast}{\ast}{\ast})$, we compute a…

Rings and Algebras · Mathematics 2025-12-09 Fatemeh Bagherzadeh , Murray Bremner

When studying local properties of a polynomial ideal, one usually needs a theoretic technique called localization. For most cases, in spite of its importance, the computation in a localized ring cannot be algorithmically preformed. On the…

Symbolic Computation · Computer Science 2015-02-16 Ye Liang

Developed by Buchberger for commutative polynomial rings, Groebner Bases are frequently applied to solve algorithmic problems, such as the congruence problem for ideals. Until now, these ideas have been transmitted to different in part…

Rings and Algebras · Mathematics 2009-03-31 Birgit Reinert

Let $I$ be an ideal of the polynomial ring $A[x]=A[x_1,...,x_n]$ over the commutative, noetherian ring $A$. Geometrically $I$ defines a family of affine schemes over $\Spec(A)$: For $\p\in\Spec(A)$, the fibre over $\p$ is the closed…

Commutative Algebra · Mathematics 2007-05-23 Michael Wibmer

Gr\"obner bases are an important tool in computational algebra and, especially in cryptography, often serve as a boilerplate for solving systems of polynomial equations. Research regarding (efficient) algorithms for computing Gr\"obner…

Commutative Algebra · Mathematics 2022-08-02 Manuel Hauke , Lukas Lamster , Reinhard Lüftenegger , Christian Rechberger

The intersection of deep learning and symbolic mathematics has seen rapid progress in recent years, exemplified by the work of Lample and Charton. They demonstrated that effective training of machine learning models for solving mathematical…

Machine Learning · Computer Science 2025-04-18 Yuta Kambe , Yota Maeda , Tristan Vaccon

We consider the problem of determining Gr\"obner bases of binomial ideals associated with linear error correcting codes. Computation of Gr\"obner bases of linear codes have become a topic of interest to many researchers in coding theory…

Information Theory · Computer Science 2017-07-25 Arunkumar R. Patil , Nitin S. Darkunde