Related papers: Rota's program on algebraic operators, rewriting s…
We begin by defining Temperley-Lieb algebra, in two different ways: as a presented algebra or as a diagrammatic algebra. Next, we look for a basis algorithmically, using rewriting theory. Finally, we introduce a generalization of the…
Recent research has shown that the properties of overcomplete Gabor frames and frames arising from shift-invariant systems form a precise match with certain conditions that are necessary for a frame in $L^2(\mathbf R)$ to have a…
We set up an algebraic theory of multivariable integration, based on a hierarchy of Rota-Baxter operators and an action of the matrix monoid as linear substitutions. Given a suitable coefficient domain with a bialgebra structure, this…
Rota-Baxter systems are modified by the inclusion of a curvature term. It is shown that, subject to specific properties of the curvature form, curved Rota-Baxter systems $(A,R,S,\omega)$ induce associative and (left) pre-Lie products on the…
With the help of Rota-Baxter operators and the Groebner-Shirshov bases, we prove that any pre-Lie algebra injectively embeds into its universal enveloping preassociative algebra.
Families of operator identities appeared as a consequence of an existence of finite-dimensional representation of (super) Lie algebras of first-order differential operators and $q$-deformed (quantum) algebras of first-order…
Rota-Baxter operators, $\mathcal{O}$-operators on Lie algebras and their interconnected pre-Lie and post-Lie algebras are important algebraic structures with applications in mathematical physics. This paper introduces the notions of a…
In this paper, we examine the structure of systems that are weighted homogeneous for several systems of weights, and how it impacts the computation of Gr\"obner bases. We present several linear algebra algorithms for computing Gr\"obner…
The image of a given orthonormal basis for a separable Hilbert space $\mathcal{H}$ under a bijective, bounded, and linear operator acting on $\mathcal{H}$ is called a Riesz basis of $\mathcal{H}$. Contrary to what happens with Riesz bases…
In this paper, we compute the Gr\"obner-Shirshov bases for certain regular double extension algebras by means of an algorithm implemented in Matlab, which facilitates the underlying algebraic computations. Moreover, we establish that these…
We introduce the notion of a matching Rota-Baxter algebra motivated by the recent work on multiple pre-Lie algebras arising from the study of algebraic renormalization of regularity structures~[10,18]. This notion is also related to…
In this paper we present the first-ever computer formalization of the theory of Gr\"obner bases in reduction rings, which is an important theory in computational commutative algebra, in Theorema. Not only the formalization, but also the…
A new totally algebraic formalism based on general, abstract ladder operators has been proposed. This approach heavily grounds in the superoperator formalism of Primas. However it is necessary to introduce many improvements in his…
Recursive algebraic data types (term algebras, ADTs) are one of the most well-studied theories in logic, and find application in contexts including functional programming, modelling languages, proof assistants, and verification. At this…
In this paper, we establish some basic properties of certain operators (element of centroids, averaging operators, derivations, Nijenhuis operators, Rota-Baxter operators) on (compatible) ternary Leibniz algebras and give the classification…
Given a bounded linear operator $T$ on separable Hilbert space, we develop an approach allowing one to construct a matrix representation for $T$ having certain specified algebraic or asymptotic structure. We obtain matrix representations…
We review some important algebraic structures which appear in a priori remote areas of Mathematics, such as control theory, numerical methods for solving differential equations, and renormalization in Quantum Field Theory. Starting with…
We inductively construct an explicit (common) orthogonal eigenbasis for the elements of the Bose-Mesner algebra of the Grassmann scheme. The main step is a constructive, linear algebraic interpretation of the Goldman-Rota recurrence for the…
The main objective of this paper is to connect the theory of $Gr\"obner$ bases to concepts of homological algebra. $Gr\"obner$ bases, an important tool in algebraic system and in linear algebra help us to understand the structure of an…
Linear algebraic expressions are the essence of many computationally intensive problems, including scientific simulations and machine learning applications. However, translating high-level formulations of these expressions to efficient…