English
Related papers

Related papers: Implementing Gr\"obner bases for operads

200 papers

A new efficient algorithm is proposed for factoring polynomials over an algebraic extension field. The extension field is defined by a polynomial ring modulo a maximal ideal. If the maximal ideal is given by its Groebner basis, no extra…

Symbolic Computation · Computer Science 2010-10-04 Yao Sun , Dingkang Wang

Let K be a field equipped with a valuation. Tropical varieties over K can be defined with a theory of Gr{\"o}bner bases taking into account the valuation of K. While generalizing the classical theory of Gr{\"o}bner bases, it is not clear…

Symbolic Computation · Computer Science 2017-05-17 Tristan Vaccon , Kazuhiro Yokoyama

In this paper we revisit Rota's Classification Problem on classifying algebraic identities for linear operator. We reformulate Rota's Classification Problem in the contexts of rewriting systems and Gr\"obner-Shirshov bases, through which…

Rings and Algebras · Mathematics 2017-12-19 Xing Gao , Li Guo

Experiences with the implementation of strong Gr\"obner bases respectively standard bases for polynomial rings over principal ideal rings are explained: different strategies for creating the pair set, methods to avoid coefficient growth and…

Commutative Algebra · Mathematics 2016-09-15 Christian Eder , Gerhard Pfister , Adrian Popescu

The complexity of Gr\"{o}bner computations has inspired many improvements to Buchberger's algorithm over the years. Looking for further insights into the algorithm's performance, we offer a threaded implementation of classical Buchberger's…

Commutative Algebra · Mathematics 2022-03-09 Sonja Petrović , Shahrzad Jamshidi Zelenberg

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

In this paper we consider finite-dimensional constrained Hamiltonian systems of polynomial type. In order to compute the complete set of constraints and separate them into the first and second classes we apply the modern algorithmic methods…

Numerical Analysis · Mathematics 2025-10-20 Vladimir P. Gerdt , Soso A. Gogilidze

We generalize the list decoding algorithm for Hermitian codes proposed by Lee and O'Sullivan based on Gr\"obner bases to general one-point AG codes, under an assumption weaker than one used by Beelen and Brander. By using the same…

Information Theory · Computer Science 2012-10-09 Olav Geil , Ryutaroh Matsumoto , Diego Ruano

The essential parts of the operad algebra are concisely presented, which should be useful when confronting with the operadic physics. It is also clarified how the Gerstenhaber algebras can be associated with the linear pre-operads (comp…

Mathematical Physics · Physics 2009-11-07 E. Paal

In this paper we describe a combination of ideas to improve incremental signature-based Groebner basis algorithms having a big impact on their performance. Besides explaining how to combine already known optimizations to achieve more…

Commutative Algebra · Mathematics 2012-03-27 Christian Eder

An approach to compatibility analysis of systems of discrete relations is proposed. Unlike the Groebner basis technique, the proposed scheme is not based on the polynomial ring structure. It uses more primitive set-theoretic and topological…

Mathematical Physics · Physics 2007-05-23 Vladimir V. Kornyak

We introduce the theory of monoidal Groebner bases, a concept which generalizes the familiar notion in a polynomial ring and allows for a description of Groebner bases of ideals that are stable under the action of a monoid. The main…

Commutative Algebra · Mathematics 2011-08-25 Christopher J. Hillar , Seth Sullivant

We define a violator operator which captures the definition of a minimal Gr\"obner basis of an ideal. This construction places the problem of computing a Gr\"obner basis within the framework of violator spaces, introduced in 2008 by…

Commutative Algebra · Mathematics 2023-06-16 Shahrzad Jamshidi , Sonja Petrović

Shuffle operads were introduced to forget the symmetric group actions on symmetric operads while preserving all possible operadic compositions. Rewriting methods were then applied to symmetric operads via shuffle operads: in particular, a…

Category Theory · Mathematics 2022-08-05 Philippe Malbos , Isaac Ren

We use Giraudo's construction of combinatorial operads from monoids to offer a conceptual explanation of the origins of Hoffbeck's path sequences of shuffle trees, and use it to define new monomial orders of shuffle trees. One such order is…

Category Theory · Mathematics 2020-10-15 Vladimir Dotsenko

We review Grover's algorithm by means of a detailed geometrical interpretation and a worked out example. Some basic concepts of Quantum Mechanics and quantum circuits are also reviewed. This work is intended for non-specialists which have…

Quantum Physics · Physics 2007-05-23 C. Lavor , L. R. U. Manssur , R. Portugal

We provide an algorithm of computing Clebsch-Gordan coefficients for irreducible representations, with integer weights, of the rotation group SO(3) and demonstrate the convenience of this algorithm for constructing new (to our knowledge)…

Mathematical Physics · Physics 2013-05-14 Svetlana Selivanova

We review results of papers written on the topic of polynomial amoebas with an emphasis on computational aspects of the topic. The polynomial amoebas have a lot of applications in various domains of science. Computation of the amoeba for a…

Complex Variables · Mathematics 2022-11-18 Vitaly A. Krasikov

In this paper, we extend the idea of comprehensive Gr\"{o}bner bases given by Weispfenning (1992) to border bases for zero dimensional parametric polynomial ideals. For this, we introduce a notion of comprehensive border bases and border…

Symbolic Computation · Computer Science 2013-12-31 Abhishek Dubey , Ambedkar Dukkipati

The reduction of Feynman integrals to master integrals is an algebraic problem that requires algorithmic approaches at the modern level of calculations. Straightforward applications of the classical Buchberger algorithm to construct…

High Energy Physics - Phenomenology · Physics 2008-12-18 A. V. Smirnov , V. A. Smirnov
‹ Prev 1 8 9 10 Next ›