English
Related papers

Related papers: Enumeration of Rota-Baxter Words

200 papers

Consider a random word $X^n=(X_1,\ldots ,X_n)$ in an alphabet consisting of $4$ letters, with the letters viewed either as $A$, $U$, $G$ and $C$ (i.e., nucleotides in an RNA sequence) or $\alpha$, $\bar{\alpha}$, $\beta$ and $\bar{\beta}$…

Group Theory · Mathematics 2022-01-20 Siddhartha Gadgil , Manjunath Krishnapur

In this document, we propose a description, via a Haskell implementation, of a generalization of the notion of regular expression allowing us to group the definitions and the methods of (tree or word) automata constructions over one generic…

Formal Languages and Automata Theory · Computer Science 2020-12-22 Ludovic Mignot

A Rota-Baxter operator on a Lie group $ G $ is a smooth map $ B : G \to G $ such that $ B(g)B(h) = B(gB(g)hB(g)^{-1}) $ for all $ g, h \in G $. This concept was introduced in 2021 by Guo, Lang and Sheng as a Lie group analogue of…

Group Theory · Mathematics 2025-06-18 Saveliy V. Skresanov

Additive composition (Foltz et al, 1998; Landauer and Dumais, 1997; Mitchell and Lapata, 2010) is a widely used method for computing meanings of phrases, which takes the average of vector representations of the constituent words. In this…

Computation and Language · Computer Science 2017-04-05 Ran Tian , Naoaki Okazaki , Kentaro Inui

A \emph{square} is a finite non-empty word consisting of two identical adjacent blocks. A word is \emph{square-free} if it does not contain a square as a factor. In any finite word one may delete the repeated block of a square, obtaining…

Combinatorics · Mathematics 2020-11-26 Jarosław Grytczuk , Szymon Stankiewicz

We investigate the orbits of automaton semigroups and groups to obtain algorithmic and structural results, both for general automata but also for some special subclasses. First, we show that a more general version of the finiteness problem…

Formal Languages and Automata Theory · Computer Science 2020-07-21 Daniele D'Angeli , Dominik Francoeur , Emanuele Rodaro , Jan Philipp Wächter

In recent years, algebraic studies of the differential calculus and integral calculus in the forms of differential algebra and Rota-Baxter algebra have been merged together to reflect the close relationship between the two calculi through…

Category Theory · Mathematics 2020-07-27 Li Guo , William Keigher , Shilong Zhang

When can $n$ given numbers be combined using arithmetic operators from a given subset of $\{+, -, \times, \div\}$ to obtain a given target number? We study three variations of this problem of Arithmetic Expression Construction: when the…

Consider the situation where a word is chosen probabilistically from a finite list. If an attacker knows the list and can inquire about each word in turn, then selecting the word via the uniform distribution maximizes the attacker's…

Information Theory · Computer Science 2013-05-14 Mark M. Christiansen , Ken R. Duffy , Flavio du Pin Calmon , Muriel Medard

This article explores Rota-Baxter operators on finite-dimensional $\omega$-Lie algebras over a field of characteristic not 2. We provide several methods for constructing left-symmetric algebras, $\omega$-Lie algebras, and Hom-Lie algebras…

Rings and Algebras · Mathematics 2026-02-23 Yin Chen , Shan Ren , Jiawen Shan , Runxuan Zhang

In his book A Practical Theory of Programming, Eric Hehner proposes and applies a remarkably radical reformulation of set theory, in which the collection and packaging of elements are seen as separate activities. This provides for…

Logic in Computer Science · Computer Science 2022-04-26 Bill Stoddart , Frank Zeyda , Steve Dunne

We give a ranker-based description using finite-index congruences for the variety $\boldsymbol{\mathrm{DAb}}$ of finite monoids whose regular $\mathcal{D}$-classes form Abelian groups. This combinatorial description yields a normal form for…

Formal Languages and Automata Theory · Computer Science 2024-11-15 Jorge Almeida , Manfred Kufleitner , Jan Philipp Wächter

We introduce the notion of multi-pattern, a combinatorial abstraction of polyphonic musical phrases. The interest of this approach lies in the fact that this offers a way to compose two multi-patterns in order to produce a longer one. This…

Sound · Computer Science 2021-04-27 Samuele Giraudo

Automata over infinite alphabets have emerged as a convenient computational model for processing structures involving data, such as nonces in cryptographic protocols or data values in XML documents. We introduce active learning methods for…

Formal Languages and Automata Theory · Computer Science 2026-03-27 Florian Frank , Stefan Milius , Jurriaan Rot , Henning Urbat

An \omega-grammar is a formal grammar used to generate \omega-words (i.e. infinite length words), while an \omega-automaton is an automaton used to recognize \omega-words. This paper gives clean and uniform definitions for \omega-grammars…

Formal Languages and Automata Theory · Computer Science 2013-08-22 Zhe Chen

Let K be a field of characteristic zero, and let m=(x_1,...,x_n)) be a maximal ideal of the polynomial ring K[x_1,...,x_n]. We classify all Rota--Baxter operators of weights zero and one on the truncated polynomial algebra…

Commutative Algebra · Mathematics 2026-05-18 Azhar Farooq

We introduce Topic Grouper as a complementary approach in the field of probabilistic topic modeling. Topic Grouper creates a disjunctive partitioning of the training vocabulary in a stepwise manner such that resulting partitions represent…

Information Retrieval · Computer Science 2019-04-16 Daniel Pfeifer , Jochen L. Leidner

The Rota-Baxter operator and the modified Rota-Baxter operator on various algebras are both important in mathematics and mathematical physics. The former is originated from the integration-by-parts formula and probability with applications…

Rings and Algebras · Mathematics 2024-01-26 Shanghua Zheng , Li Guo , Huizhen Qiu

Motivated by the concept of "generating operators" for a countable family of operators introduced in the recent paper (arXiv:2306.16800), we find a method to reconstruct the Rankin--Cohen brackets from a very simple multivariable contour…

Representation Theory · Mathematics 2025-06-16 Toshiyuki Kobayashi , Michael Pevzner

The paper counts the number of reduced quasigroup words of a particular length in a certain number of generators. Taking account of the relationship with the Catalan numbers, counting words in a free magma, we introduce the term…

Combinatorics · Mathematics 2019-10-23 Jonathan D. H. Smith , Stefanie G. Wang