English
Related papers

Related papers: Buchberger-Weispfenning Theory for Effective Assoc…

200 papers

Given a finite set of closed rational points of affine space over a field, we give a Gr\"obner basis for the lexicographic ordering of the ideal of polynomials which vanish at all given points. Our method is an alternative to the…

Commutative Algebra · Mathematics 2007-05-23 Mathias Lederer

We present basic properties of Gr\"obner bases of submodules of a free module of finite rank over a polynomial ring $R$ with coefficients in a graded truncated discrete valuations ring $A$. As an application, we give a criterion for a…

Commutative Algebra · Mathematics 2009-04-27 Toshiro Hiranouchi , Yuichiro Taguchi

We study the relationship between certain Groebner bases for zero dimensional ideals, and the interpolation condition functionals of ideal interpolation. Ideal interpolation is defined by a linear idempotent projector whose kernel is a…

Symbolic Computation · Computer Science 2024-01-17 Yihe Gong , Xue Jiang

Border bases are a generalization of Gr\"obner bases for zero-dimensional ideals in polynomial rings. In this article, we introduce border bases for a non-commutative ring of linear differential operators, namely the rational Weyl algebra.…

Algebraic Geometry · Mathematics 2026-02-13 Carlos Rodriguez , Anna-Laura Sattelberger

We show how to use Groebner bases for operads to prove various freeness theorems: freeness of certain operads as nonsymmetric operads, freeness of an operad Q as a P-module for an inclusion P into Q, freeness of a suboperad. This gives new…

Rings and Algebras · Mathematics 2010-01-20 Vladimir Dotsenko

In this paper, the tropical differential Gr\"obner basis is studied, which is a natural generalization of the tropical Gr\"obner basis to the recently introduced tropical differential algebra. Like the differential Gr\"obner basis, the…

Symbolic Computation · Computer Science 2019-04-05 Youren Hu , Xiao-Shan Gao

We provide a new foundation for combinatorial commutative algebra and Stanley-Reisner theory using the partition complex introduced in [Adi18]. One of the main advantages is that it is entirely self-contained, using only a minimal knowledge…

Combinatorics · Mathematics 2021-01-26 Karim Adiprasito , Geva Yashfe

In this paper, we provide a diagrammatic approach to study the branching rules for cell modules on a sequence of walled Brauer algebras. This also allows us to calculate the structure constants of multiplication over the Grothendieck ring…

Representation Theory · Mathematics 2020-12-22 Pei Wang , Yanbo Li

We detail a procedure for the computation of the polynomial form of an electronic combinational circuit from the design equations in a truth table. The method uses the Buchberger algorithm rather than current traditional methods based on…

Hardware Architecture · Computer Science 2007-05-23 Germain Drolet

We apply the theory of Groebner bases to the computation of free resolutions over a polynomial ring, the defining equations of a canonically embedded curve, and the unirationality of the moduli space of curves of a fixed genus.

Commutative Algebra · Mathematics 2014-09-11 Christine Berkesch , Frank-Olaf Schreyer

Signature-based algorithms have become a standard approach for Gr\"obner basis computations for polynomial systems over fields, but how to extend these techniques to coefficients in general rings is not yet as well understood. In this…

Symbolic Computation · Computer Science 2019-05-28 Maria Francis , Thibaut Verron

Tate algebras are fundamental objects in the context of analytic geometry over the p-adics. Roughly speaking, they play the same role as polynomial algebras play in classical algebraic geometry. In the present article, we develop the…

Algebraic Geometry · Mathematics 2019-01-29 Xavier Caruso , Tristan Vaccon , Thibaut Verron

We introduce the concept of a Gr\"obner nice pair of ideals in a polynomial ring and we present some applications.

Commutative Algebra · Mathematics 2021-01-22 Mircea Cimpoeaş , Dumitru I. Stamate

In this paper, we suggest a new efficient algorithm in order to compute S-polynomial reduction rapidly in the known algorithm for computing Grobner bases, and compare the complexity with others.

Symbolic Computation · Computer Science 2015-07-14 Yong-Jin Kim , Hyon-Song Paek , Nam-Chol Kim , Chong-Il Byon

We study the boundedness on the Wiener amalgam spaces $W^{p,q}_s$ of Fourier multipliers with symbols of the type $e^{i\mu(\xi)}$, for some real-valued functions $\mu(\xi)$ whose prototype is $|\xi|^{\beta}$ with $\beta\in (0,2]$. Under…

Classical Analysis and ODEs · Mathematics 2018-10-17 Weichao Guo , Guoping Zhao

In this paper we state and explain techniques useful for the computation of strong Gr\"obner and standard bases over Euclidean domains: First we investigate several strategies for creating the pair set using an idea by Lichtblau. Then we…

Commutative Algebra · Mathematics 2018-11-15 Christian Eder , Gerhard Pfister , Adrian Popescu

We present an implementation of the algorithm for computing Groebner bases for operads due to the first author and A. Khoroshkin. We discuss the actual algorithms, the choices made for the implementation platform and the data…

Symbolic Computation · Computer Science 2010-08-27 Vladimir Dotsenko , Mikael Vejdemo-Johansson

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

A complete system of pairwise orthogonal minimal idempotents for Birman-Murakami-Wenzl algebras is obtained by a consecutive evaluation of a rational function in several variables on sequences of quantum contents of up-down tableaux. A…

Representation Theory · Mathematics 2011-11-11 A. P. Isaev , A. I. Molev , O. V. Ogievetsky

Let $F$ be a non-negatively graded free module over a polynomial ring $\mathbb{K}[x_1,\dots,x_n]$ generated by $m$ basis elements. Let $M$ be a submodule of $F$ generated by elements in $F$ with degrees bounded by $D$ and dim $F/M$=$r$. We…

Commutative Algebra · Mathematics 2022-04-22 Yihui Liang