Related papers: Freeness theorems for operads via Gr\"obner bases
This paper contains introductory material on Petri nets and Groebner basis theory and makes some observations on the relation between the two areas. The aim of the paper is to show how Groebner basis procedures can be applied to the problem…
Standard noncommutative Gr\"obner basis procedures are used for computing ideals of free noncommutative polynomial rings over fields. This paper describes Gr\"obner basis procedures for one-sided ideals in finitely presented noncommutative…
We show that modular operads are equivalent to modules over a certain simple properad which we call the Brauer properad. Furthermore, we show that, in this setting, the Feynman transform corresponds to the cobar construction for modules of…
This talk is organized as follows: First we explain some basic concepts in non-commutative probability theory in the frame of operator algebras. In Section 2, we discuss related topics in von Neumann algebras. Sections 3 and 4 contain some…
We propose a new unifying framework for Thompson-like groups using a well-known device called operads and category theory as language. We discuss examples of operad groups which have appeared in the literature before. As a first…
An Eggert-operad is a variant of Mac Lane's notion of a PROP, for which not only bijective maps, but all maps between standard finite sets, are part of the structure. We construct the free Eggert-operad and prove the universal property it…
A motivation to study Gr\"{o}bner theory for fields with valuations comes from tropical geometry, for example, they can be used to compute tropicalization of varieties \citep{maclagan2009introduction}. The computational aspect of this…
In this paper we give necessary and sufficient conditions for a bounded linear operator $T$ to be generalized Drazin-Riesz invertible or generalized Drazin-meromorphic invertible. Also, we study generalized Browder's theorem and generalized…
Let R be a commutative ring with unity and a let A be a not necessarily commutative R-algebra which is free as an R-module. If I is an ideal in A, one can ask when A/I is also free as an R-module. We show that if A has an admissible system…
Let $R$ be a graded ring. We introduce a class of graded $R$-modules called Gr\"obner-coherent modules. Roughly, these are graded $R$-modules that are coherent as ungraded modules because they admit an adequate theory of Gr\"obner bases.…
We describe a Grothendieck construction for non-symmetric operads with values in categories, and hence in groupoids and posets. The construction produces a 2-category which is operadically fibered over the category D of finite non-empty…
This paper is a detailed description of an algorithm based on a generalized Buchberger algorithm for constructing Groebner-type bases associated with polynomials of shift operators. The algorithm is used for calculating Feynman integrals…
We establish the Gr\"obner-Shirshov bases theory for differential Lie $\Omega$-algebras. As an application, we give a linear basis of a free differential Lie Rota-Baxter algebra on a set.
In this paper, new equivalence theorems for the boundedness of the composition of a quasilinear operator $T$ with the Hardy and Copson operators in weighted Lebesgue spaces are proved. The usefulness of the obtained results is illustrated…
In this paper we introduce a new and large family of configurations whose toric ideals possess quadratic Groebner bases. As an application, a generalization of algebras of Segre-Veronese type will be studied.
Modular operads are a special type of operad: in fact, they bear the same relationship to operads that graphs do to trees (i.e. simply connected graphs). One of the basic examples of a modular operad is the collection of…
We prove a variant of the so-called bilinear embedding theorem for operators in divergence form with complex coefficients and with nonnegative locally integrable potentials, subject to mixed boundary conditions, and acting on arbitrary open…
A Gr\"obner basis for the ideal determining mod 2 cohomology of Grassmannian G_{3,n} is obtained. This is used, along with the method of obstruction theory, to establish some new immersion results for these manifolds.
This paper explicitely constructs cofree coalgebras over operads in the category of DG-modules. Special cases are considered in which the general expression simplifies (such as the pointed, irreducible case). It is shown that the existence…
We prove that for some knot-like objects one can easily recognize non-equivalence w.r.t. all Reidemeister moves by studying some equivalence classes modulo only 2nd Reidemeister moves. There are applications to virtual knots, graph-links…