相关论文: The Narayana Morphism and Related Words
A polynomial automorphism $F$ is called {\em shifted linearizable} if there exists a linear map $L$ such that $LF$ is linearizable. We prove that the Nagata automorphism $N:=(X-Y\Delta -Z\Delta^2,Y+Z\Delta, Z)$ where $\Delta=XZ+Y^2$ is…
This article is concerned with characteristic Sturmian words of slope $\alpha$ and $1-\alpha$ (denoted by $c_\alpha$ and $c_{1-\alpha}$ respectively), where $\alpha \in (0,1)$ is an irrational number such that $\alpha =…
We consider a certain abstract of RNA secondary structures, which is closely related to RNA shapes. The generating function counting the number of the abstract structures is obtained by means of Narayana numbers and 2-Motzkin paths, through…
This paper provides a coalgebraic approach to the language semantics of two types of non-deterministic automata over nominal sets: non-deterministic orbit-finite automata (NOFAs) and regular nominal non-deterministic automata (RNNAs), which…
Morphisms, structure preserving maps, are everywhere in Mathematics as useful tools for thinking and problem solving, or as objects to study. Here, we argue that the idea of operations being compatible across two domains goes beyond its…
We establish a tantalizing symmetry of certain numbers refining the Narayana numbers. In terms of Dyck paths, this symmetry is interpreted in the following way: if $w_{n,k,m}$ is the number of Dyck paths of semilength $n$ with $k$…
For the Fibonacci numbers $F_n$, we have the self-convolution formula $5 \sum_{i=0}^n F_i F_{n-i} = (2n)F_{n+1} - (n+1)F_n$. We find the corresponding self-convolution formula for the Narayana numbers $R_n$ which satisfy $R_n = R_{n-1} +…
A process algebra is proposed, whose semantics maps a term to a nondeterministic finite automaton (NFA, for short). We prove a representability theorem: for each NFA $N$, there exists a process algebraic term $p$ such that its semantics is…
The article focuses on word (or string) attractors, which are sets of positions related to the text compression efficiency of the underlying word. The article presents two combinatorial algorithms based on Suffix automata or Directed…
We introduce regular languages of morphisms in free monoidal categories, with their associated grammars and automata. These subsume the classical theory of regular languages of words and trees, but also open up a much wider class of…
We implement a decision procedure for answering questions about a class of infinite words that might be called (for lack of a better name) "Fibonacci-automatic". This class includes, for example, the famous Fibonacci word f = 01001010...,…
We describe an automated method for identifying classes of morphologically related words in an on-line dictionary, and for linking individual senses in the derived form to one or more senses in the base form by means of morphological…
Given a diffeomorphism of the plane, which has a periodic orbit, we show how Nielsen fixed point theory can be used to establish the existence of a fixed point which is linked with this periodic orbit.
We define what we call morphisms of Cartan connections. We generalize the main theorems on Cartan connections to theorems on morphisms. Many of the known constructions involving Cartan connections turn out to be examples of morphisms. We…
In this paper, we focus on Narayana numbers which can be written as a products of four repdigits in base $g$, where $g$ is an integer with $g\geq2$. We prove that for $g$ between $2$ and $12$, there are finitely many of these numbers.…
We revisit the notion of one-sided recognizability of morphisms and its relation to two-sided recognizability.
We study the computational and descriptional complexity of the following transformation: Given a one-counter automaton (OCA) A, construct a nondeterministic finite automaton (NFA) B that recognizes an abstraction of the language L(A): its…
This note contains some results related to the definitions of toroidal embeddings and toroidal morphisms over non-closed fields of characteristic zero.
Gamma-positivity appears frequently in finite geometries, combinatorics and number theory. Motivated by the recent work of Sagan and Tirrell (Adv. Math., 374 (2020), 107387), we study the relationships between gamma-positivity and…
In this paper we consider maps on the plane which are similar to quadratic maps in that they are degree 2 branched covers of the plane. In fact, consider for $\alpha$ fixed, maps $f_c$ which have the following form (in polar coordinates):…