Related papers: Strings in abstract root systems
Let $F$ be a field of characteristic zero and $W$ be an associative affine $F$-algebra satisfying a polynomial identity (PI). The codimension sequence associated to $W$, $c_n(W)$, is known to be of the form $\Theta (c n^t d^n)$, where $d$…
We give a definition of associative schemes, schemes of associative rings, over a field $k,$ using the definition of completion of an associative $k$-algebra in a finite set of simple modules. We start by giving a weaker but sufficient…
Stratifying systems, which have been defined for module, triangulated and exact categories previously, were developed to produce examples of standardly stratified algebras. A stratifying system $\Phi$ is a finite set of objects satisfying…
We define an S function as the sum of the asymptotic error terms of digamma function of an arithmetic series, $S(a) \equiv \sum_{n=1}^\infty \left[\ln\frac{n}{a} - \frac{a}{2n}-\psi\left(\frac{n}{a}\right)\right]$, and show a few properties…
This article is about Pi Formulas, infinite series of fractions which sum to multiples of Pi. Each such one can be associated with a unique set $S_k$ of rough numbers, where $k$ is a prime number. Given $S_k$ for any prime $k$, the set…
The continued fraction expansion of an irrational number $\alpha$ is eventually periodic if and only if $\alpha$ is a quadratic irrationality. However, very little is known regarding the size of the partial quotients of algebraic real…
Let $\mathcal{A}$ be a sequence of $rk$ terms which is made up of $k$ distinct integers each appearing exactly $r$ times in $\mathcal{A}$. The sum of all terms of a subsequence of $\mathcal{A}$ is called a subsequence sum of $\mathcal{A}$.…
Arithmetic root systems are invariants of Nichols algebras of diagonal type with a certain finiteness property. They can also be considered as generalizations of ordinary root systems with rich structure and many new examples. On the other…
We prove that any incomplete system of complex exponentials $\{e^{i\lambda_n t}\}$ in $L^2(-\pi,\pi)$ is a subset of some complete and minimal system of exponentials. In addition, we prove analogous statement for systems of reproducing…
String covers are a powerful tool for analyzing the quasi-periodicity of 1-dimensional data and find applications in automata theory, computational biology, coding and the analysis of transactional data. A \emph{cover} of a string $T$ is a…
This paper proposes {\pi}, a formal semantic framework for compiler construction together with program validation. {\pi} is comprised by {\pi} Lib, a set of programming languages constructs inspired by Peter Mosses' Component-Based…
Given the set of paths through a digraph, the result of uniformly deleting some vertices and identifying others along each path is coherent in such a way as to yield the set of paths through another digraph, called a \emph{path abstraction}…
Given a (finite or infinite) subset $X$ of the free monoid $A^*$ over a finite alphabet $A$, the rank of $X$ is the minimal cardinality of a set $F$ such that $X \subseteq F^*$. A submonoid $M$ generated by $k$ elements of $A^*$ is…
Splint of root system of simple Lie algebra appears naturally in the study of (regular) embeddings of reductive subalgebras. It can be used to derive branching rules. Application of splint properties drastically simplifies calculations of…
In data languages the positions of strings and trees carry a label from a finite alphabet and a data value from an infinite alphabet. Extensions of automata and logics over finite alphabets have been defined to recognize data languages,…
Common meadows are commutative and associative algebraic structures with two operations (addition and multiplication) with additive and multiplicative identities and for which inverses are total. The inverse of zero is an error term…
A rooted planar map is a connected graph embedded in the 2-sphere, with one edge marked and assigned an orientation. A term of the pure lambda calculus is said to be linear if every variable is used exactly once, normal if it contains no…
Let $\mathbb{F}$ be a field of characteristic zero and let $\mathfrak{g}$ be a non-zero finite-dimensional split semisimple Lie algebra with root system $\Delta$. Let $\Gamma$ be a finite set of integral weights of $\mathfrak{g}$ containing…
Quasi-trees generalize trees in that the unique "path" between two nodes may be infinite and have any countable order type. They are used to define the rank-width of a countable graph in such a way that it is equal to the least upper-bound…
We derive the spectrum in the broken phase of a $\lambda\phi^4$ theory, in the limit $\lambda\to\infty$, showing that this goes as even integers of a renormalized mass in agreement with recent lattice computations.