相关论文: Christoffel Words and Markoff Triples: An Algebrai…
Modularization is a cornerstone of computer science, abstracting complex functions into atomic building blocks. In this paper, we introduce a new level of modularization by abstracting generative models into atomic generative modules.…
Multiplier Hopf algebroids are algebraic versions of quantum groupoids that generalize Hopf algebroids to the non-unital case and weak (multiplier) Hopf algebras to non-separable base algebras. The main structure maps of a multiplier Hopf…
We use the geometric reformulation of Markov's uniqueness conjecture in terms of the simple length spectrum on the modular torus to rewrite the conjecture in combinatorial terms by explicitly describing this set of lengths.
The main goal of this work is to establish a bijection between Dyck words and a family of Eulerian digraphs. We do so by providing two algorithms implementing such bijection in both directions. The connection between Dyck words and Eulerian…
Strong typicality and the Markov lemma have been used in the proofs of several multiterminal source coding theorems. Since these two tools can be applied to finite alphabets only, the results proved by them are subject to the same…
We present a unified theory for formal mathematical systems including recursive systems closely related to formal grammars, including the predicate calculus as well as a formal induction principle. We introduce recursive systems generating…
This is a survey on the usage of the module theoretic notion of a "retractable module" in the study of algebras with actions. We explain how classical results can be interpreted using module theory and end the paper with some open…
P. Aluffi introduced in [1] a new graded algebra in order to conveniently express characteristic cycles in the theory of singular varieties. This algebra is attached to a surjective ring homomorphism $A\surjects B$ by taking a suitable…
We introduce two constructions of a coassociative comultiplication in the algebra of phrases in a given alphabet. As a preliminary step we give two constructions of a pre-Lie comultiplication in the module generated by words.
We introduce a new family of real simple modules over the quantum affine algebras, called the affine determinantial modules, which contains the Kirillov-Reshetikhin (KR)-modules as a special subfamily, and then prove T-systems among them…
We present a simple structure based model of how words are formed from morphemes. The model explains two major empirical facts: the typical distribution of word lengths and the appearance of Zipf like rank frequency curves. In contrast to…
Starting from involutive BE algebras, we redefine the orthomodular algebras, by introducing the notion of implicative-orthomodular algebras. We investigate properties of implicative-orthomodular algebras, and give characterizations of these…
We develop an algebraic language theory based on the notion of an Eilenberg--Moore algebra. In comparison to previous such frameworks the main contribution is the support for algebras with infinitely many sorts and the connection to logic…
We utilize the structure of quasiautomorphic forms over a Hecke triangle group to define a mapping from a quasiautomorphic form to a vector-valued automorphic form (vvaf). This kind of vvaf we call a Hecke vector-form. First we supply a…
Perfectly clustering words are one of many possible generalizations of Christoffel words. In this article, we propose a factorization of a perfectly clustering word on a $n$ letters alphabet into a product of $n-1$ palindromes with a letter…
For the quantum walled Brauer algebra, we construct its Specht modules and (for generic parameters of the algebra) seminormal modules. The latter construction yields the spectrum of a commuting family of Jucys--Murphy elements. We also…
We present a family of paraconsistent counterparts of the constructive modal logic CK. These logics aim to formalise reasoning about contradictory but non-trivial propositional attitudes like beliefs or obligations. We define their…
The Markoff group of transformations is a group $\Gamma$ of affine integral morphisms, which is known to act transitively on the set of all positive integer solutions to the equation $x^{2}+y^{2}+z^{2}=xyz$. The fundamental strong…
We consider conditional tests for non-negative discrete exponential families. We develop two Markov Chain Monte Carlo (MCMC) algorithms which allow us to sample from the conditional space and to perform approximated tests. The first…
We define a new cyclic module, dual to the Connes-Moscovici cyclic module, for Hopf algebras, and give a characteristric map for the coaction of Hopf algebras. We also compute the resulting cyclic homology for cocommutative Hopf algebras,…