English
Related papers

Related papers: Rota's program on algebraic operators, rewriting s…

200 papers

We describe a recently developed algebraic framework for proving first-order statements about linear operators by computations with noncommutative polynomials. Furthermore, we present our new SageMath package operator_gb, which offers…

Symbolic Computation · Computer Science 2023-06-28 Klara Bernauer , Clemens Hofstadler , Georg Regensburger

This paper considers averaging operators on various algebraic structures and studies the induced structures. We first introduce the notion of an averaging operator on a group $G$ and show that it induces a rack structure. Moreover, the…

Rings and Algebras · Mathematics 2024-03-12 Apurba Das

In this note devoted to some aspects of the inverse problem of representation theory the attention is concentrated on the interrelations between various algebraic structures (algebras with operators) unraveled by different solutions of the…

q-alg · Mathematics 2008-02-03 Denis V. Juriev

We continue our study of operator algebras with and contractive approximate identities (cais). In earlier papers we have introduced and studied a new notion of positivity in operator algebras, with an eye to extending certain C*-algebraic…

Operator Algebras · Mathematics 2014-07-08 David P. Blecher , Charles John Read

Rota-Baxter operators have been paid much attention in the last few decades as they have many applications in mathematics and physics. In this paper, our object of study is modified Rota-Baxter operators on Leibniz algebras. We investigate…

Rings and Algebras · Mathematics 2023-11-23 Bibhash Mondal , Ripan Saha

We introduce the notion of syzygy for a set of reduction operators and relate it to the notion of syzygy for presentations of algebras. We give a method for constructing a linear basis of the space of syzygies for a set of reduction…

Rings and Algebras · Mathematics 2018-04-10 Cyrille Chenavier

This survey describes probabilistic algorithms for linear algebra computations, such as factorizing matrices and solving linear systems. It focuses on techniques that have a proven track record for real-world problem instances. The paper…

Numerical Analysis · Mathematics 2021-03-17 Per-Gunnar Martinsson , Joel Tropp

We provide here a computational interpretation of first-order logic based on a constructive interpretation of satisfiability w.r.t. a fixed but arbitrary interpretation. In this approach the formulas themselves are programs. This contrasts…

Logic in Computer Science · Computer Science 2007-05-23 Krzysztof R. Apt , Marc Bezem

We develop the connection between Rota-Baxter operators arisen from algebra and mathematical physics and Bernoulli polynomials. We state that a trivial property of Rota-Baxter operators implies the symmetry of the power sum polynomials and…

Number Theory · Mathematics 2022-01-25 Vsevolod Gubarev

Data processing systems roughly group into families such as relational, array, graph, and key-value. Many data processing tasks exceed the capabilities of any one family, require data stored across families, or run faster when partitioned…

Databases · Computer Science 2016-04-14 Dylan Hutchison , Bill Howe , Dan Suciu

In this paper, we introduce the cohomology theory of relative Rota-Baxter operators on Leibniz triple systems. We use the cohomological approach to study linear and formal deformations of relative Rota-Baxter operators. In particular,…

Rings and Algebras · Mathematics 2022-10-11 Xueru Wu , Yao Ma , Liangyun Chen

An algebra $\cal{R}$ is called an extension of the algebra $M$ by $B$ if $M^2=0$, $M$ is an ideal of $\cal{R}$ and $\cal{R}$$/M\cong B$ as algebras. In this paper, by using the Gr\"{o}bner-Shirshov bases, we characterize completely the…

Rings and Algebras · Mathematics 2009-03-04 Yuqun Chen

In this paper we introduce the concepts of a Rota-Baxter operator and a differential operator with weights on an $n$-algebra. We then focus on Rota-Baxter 3-Lie algebras and show that they can be derived from Rota-Baxter Lie algebras and…

Mathematical Physics · Physics 2013-06-11 Ruipu Bai , Li Guo , Jianqian Li , Yong Wu

In the setting of modern mathematical logic and model theory, classification theory has been one of the landmark achievements of the field. Likewise, the classification of UHF-algebras and AF-algebras were substantial contributions to the…

Operator Algebras · Mathematics 2019-07-15 Patrick Fraser

In this paper, we introduce the concepts of endomorphism operator, left averaging operator, differential operator and Rota-Baxter Operator, and we construct examples of these linear maps on associative algebras with a left identity, a…

Rings and Algebras · Mathematics 2024-02-21 Wilson Arley Martinez , Samin Ingrith Ceron

In this survey, we formulate the Gr\"{o}bner-Shirshov bases theory for associative algebras and Lie algebras. Some new Composition-Diamond lemmas and applications are mentioned.

Rings and Algebras · Mathematics 2016-01-28 L. A. Bokut , Yuqun Chen

Parametric Gr\"obner bases have been studied for more than 15 years and are now a further developed subject. Here we propose a general study of parametric standard bases, that is with local orders. We mainly focus on the commutative case…

Commutative Algebra · Mathematics 2007-05-23 Rouchdi Bahloul

The aim of this paper is to inter-relate several algebraic and analytic objects, such as real-type algebraic curves, quadrature domains, functions on them and rational matrix functions with special properties, and some objects from Operator…

Spectral Theory · Mathematics 2010-12-10 Dmitry V. Yakubovich

Foundational material on complex Lie supergroups and their radial operators is presented. In particular, Berezin's recursion formula for describing the radial parts of fundamental operators in general linear and ortho-symplectic cases is…

Mathematical Physics · Physics 2010-12-24 Alan Huckleberry , Matthias Kalus

The rise of multi-paradigm languages challenges traditional classification methods, leading to practical software engineering issues like interoperability defects. This systematic literature review (SLR) maps the formal foundations of…

Programming Languages · Computer Science 2025-08-04 Mikel Vandeloise