English
Related papers

Related papers: A Variant of the Gr\"obner Basis Algorithm for Com…

200 papers

In this paper, a polynomial-time algorithm is given to compute the generalized Hermite normal form for a matrix F over Z[x], or equivalently, the reduced Groebner basis of the Z[x]-module generated by the column vectors of F. The algorithm…

Symbolic Computation · Computer Science 2016-07-22 Rui-Juan Jing , Chun-Ming Yuan , Xiao-Shan Gao

Analytical expressions for spectrum, eigenfunctions and dipole matrix elements of a square double quantum well (DQW) are presented for a general case when the potential in different regions of the DQW has different heights and effective…

Mathematical Physics · Physics 2015-05-28 A. Acus , A. Dargys

In this paper we present a Java implementation of the algorithm that computes Buchbereger's and reduced Groebner's basis step by step. The Java application enables graphical representation of the intersection of two surfaces in…

Mathematical Software · Computer Science 2010-06-29 Branko J. Malesevic , Ivana V. Jovovic , Milan Z. Campara

Solving zero-dimensional polynomial systems using Gr\"obner bases is usually done by, first, computing a Gr\"obner basis for the degree reverse lexicographic order, and next computing the lexicographic Gr\"obner basis with a change of order…

Symbolic Computation · Computer Science 2022-05-17 Jérémy Berthomieu , Vincent Neiger , Mohab Safey El Din

By employing the (de)homogenization technique in a relatively extensive setting, this note studies in detail the relation between non-homogeneous Gr\"obner bases and homogeneous Gr\"obner bases. As a consequence, a general principle of…

Rings and Algebras · Mathematics 2009-07-16 Huishi Li

Over the past decade, the Gr\"obner basis theory and automatic solver generation have lead to a large number of solutions to geometric vision problems. In practically all cases, the derived solvers apply a fixed elimination template to…

Computer Vision and Pattern Recognition · Computer Science 2024-01-18 Wanting Xu , Lan Hu , Manolis C. Tsakiris , Laurent Kneip

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

In this paper we present an algorithm for construction of minimal involutive polynomial bases which are Groebner bases of the special form. The most general involutive algorithms are based on the concept of involutive monomial division…

Commutative Algebra · Mathematics 2025-10-20 Vladimir P. Gerdt , Yuri A. Blinkov

Akin to the idea of complete sets of Mutually Unbiased Bases for prime dimensional Hilbert spaces, $\mathcal{H}_d$, we study its analogue for a $d$ dimensional subspace of $M (d,\mathbb{C})$, i.e. Mutually Unbiased Unitary Bases (MUUBs)…

Quantum Physics · Physics 2019-06-11 Rinie N. M. Nasir , Jesni Shamsul Shaari , Stefano Mancini

We investigate associativity of multiplications on chain complexes over commutative noetherian rings from two perspectives. First, we introduce a natural associator subcomplex and show how its homology can detect associativity. Second, we…

Commutative Algebra · Mathematics 2024-06-04 Michael Nelson

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 develop a new algorithm to compute a basis for $M_k(\Gamma_0(N))$, the space of weight $k$ holomorphic modular forms on $\Gamma_0(N)$, in the case when the graded algebra of modular forms over $\Gamma_0(N)$ is generated at weight two.…

Number Theory · Mathematics 2017-09-25 Michael Lam , Noah McClelland , Matthew Petty , John Webb

Border basis schemes are open subschemes of Hilbert schemes parametrizing 0-dimensional subschemes of $\mathbb{P}^n$ of given length. They yield open coverings and are easy to describe and to compute with. Our topic is to find re-embeddings…

Algebraic Geometry · Mathematics 2023-11-28 Martin Kreuzer , Le Ngoc Long , Lorenzo Robbiano

The efficiency of Gr\"obner basis computation, the standard engine for solving systems of polynomial equations, depends on the choice of monomial ordering. Despite a near-continuum of possible monomial orders, most implementations rely on…

Symbolic Computation · Computer Science 2026-02-04 R. Caleb Bunch , Alperen A. Ergür , Melika Golestani , Jessie Tong , Malia Walewski , Yunus E. Zeytuncu

We present an effective algorithm for computing the standard cohomology spaces of finitely generated Lie (super) algebras over a commutative field K of characteristic zero. In order to reach explicit representatives of some generators of…

Commutative Algebra · Mathematics 2011-04-29 Benyamin M. -Alizadeh , Joel Merker , Masoud Sabzevari

Proving statements about linear operators expressed in terms of identities often leads to finding elements of certain form in noncommutative polynomial ideals. We illustrate this by examples coming from actual operator statements and…

Symbolic Computation · Computer Science 2023-11-21 Clemens Hofstadler , Clemens G. Raab , Georg Regensburger

The MinRank problem is a simple linear algebra problem: given matrices with coefficients in a field, find a non trivial linear combination of the matrices that has a small rank. There are several algebraic modeling of the problem. The main…

Cryptography and Security · Computer Science 2025-07-22 Magali Bardet , Alban Gilard

Using a binary representation for basis elements of an algebra combined with a framework of multiplier and index functions, a connection has been established between the structure of a large class of algebras and the XOR componentwise…

Mathematical Physics · Physics 2025-09-30 Derek Courchesne , Sébastien Tremblay

A strong link between information geometry and algebraic statistics is made by investigating statistical manifolds which are algebraic varieties. In particular it it shown how first and second order efficient estimators can be constructed,…

Statistics Theory · Mathematics 2014-01-13 Kei Kobayashi , Henry P. Wynn

Solving multihomogeneous systems, as a wide range of structured algebraic systems occurring frequently in practical problems, is of first importance. Experimentally, solving these systems with Gr\"obner bases algorithms seems to be easier…

Symbolic Computation · Computer Science 2010-02-24 Jean-Charles Faugère , Mohab Safey El Din , Pierre-Jean Spaenlehauer