English
Related papers

Related papers: The palindromization map

200 papers

A word $w$ of letters on edges of underlying graph $\Gamma$ of deterministic finite automaton (DFA) is called synchronizing if $w$ sends all states of the automaton to a unique state. J. \v{C}erny discovered in 1964 a sequence of $n$-state…

Formal Languages and Automata Theory · Computer Science 2019-11-12 A. N. Trahtman

Let L be an infinite regular language on a totally ordered alphabet (A,<). Feeding a finite deterministic automaton (with output) with the words of L enumerated lexicographically with respect to < leads to an infinite sequence over the…

Computational Complexity · Computer Science 2007-05-23 Michel Rigo

We introduce a new geometric approach to Sturmian words by means of a mapping that associates certain lines in the n x n -grid and sets of finite Sturmian words of length n. Using this mapping, we give new proofs of the formulas enumerating…

Discrete Mathematics · Computer Science 2012-01-24 Kaisa Matomäki , Kalle Saari

We introduce and study natural derivatives for Christoffel and finite standard words, as well as for characteristic Sturmian words. These derivatives, which are realized as inverse images under suitable morphisms, preserve the…

Discrete Mathematics · Computer Science 2016-02-11 Alma D'Aniello , Aldo de Luca , Alessandro De Luca

This article analyses some paragraphs of the Dissertatio de Arte Combinatoria (1666) where G.W. Leibniz considers the syntax of a language with a given number of primitive terms. We propose a new formulation which generalizes the…

History and Overview · Mathematics 2014-11-13 Godofredo Iommi Amunategui

We regard a finite word $u=u_1u_2\cdots u_n$ up to word isomorphism as an equivalence relation on $\{1,2,\ldots, n\}$ where $i$ is equivalent to $j$ if and only if $x_i=x_j.$ Some finite words (in particular all binary words) are generated…

Combinatorics · Mathematics 2014-04-04 Tero Harju , Mari Huova , L. Q. Zamboni

We study those automatic sequences which are produced by an automaton whose underlying graph is the Cayley graph of a finite group. For $2$-automatic sequences, we find a characterization in terms of what we call homogeneity, and among…

Combinatorics · Mathematics 2015-10-29 Pierre Guillot

Tandem duplication is an evolutionary process whereby a segment of DNA is replicated and proximally inserted. The different configurations that can arise from this process give rise to some interesting combinatorial questions. Firstly, we…

Combinatorics · Mathematics 2016-11-25 L Penso-Dolfin , CD Greenman

We give a brief survey of recent results on word maps on simple groups and polynomial maps on simple associative and Lie algebras. Our focus is on parallelism between these theories, allowing one to state many new open problems and giving…

Group Theory · Mathematics 2013-04-19 Alexey Kanel-Belov , Boris Kunyavskii , Eugene Plotkin

We associate in a canonical way a substitution to any abstract numeration system built on a regular language. In relationship with the growth order of the letters, we define the notion of two independent substitutions. Our main result is…

Combinatorics · Mathematics 2009-07-28 Fabien Durand , Michel Rigo

We extend many known results for harmonic maps from the 2-sphere into a Grassmannian to harmonic maps of finite uniton number from an arbitrary Riemann surface. Our method relies on a new theory of nilpotent cycles arising from the diagrams…

Differential Geometry · Mathematics 2022-09-13 Rui Pacheco , John C. Wood

Generalizing the notion of the boundary sequence introduced by Chen and Wen, the $n$th term of the $\ell$-boundary sequence of an infinite word is the finite set of pairs $(u,v)$ of prefixes and suffixes of length $\ell$ appearing in…

Combinatorics · Mathematics 2022-12-09 Michel Rigo , Manon Stipulanti , Markus A. Whiteland

Let $\mathcal{L}$ be a finite-dimensional semisimple Lie algebra of rank $N$ over an algebraically closed field of characteristic $0$. Associated to $\mathcal{L}$ is a family of polynomial folding maps…

Dynamical Systems · Mathematics 2024-10-22 Jospeh H. Silverman

The automatic complexity of a finite word (string) is an analogue for finite automata of Sipser's distinguishing complexity (1983) and was introduced by Shallit and Wang (2001). For a finite alphabet $\Sigma$ of at least two elements, we…

Formal Languages and Automata Theory · Computer Science 2025-10-10 Joey Chen , Bjørn Kjos-Hanssen , Ivan Koswara , Linus Richter , Frank Stephan

We construct non-power words which have small image in SL(2; 22n) for each n. In particular, the corresponding word maps are non-surjective. We also use this to construct word maps whose values are precisely the identity and a single…

Group Theory · Mathematics 2012-06-07 Matthew Levy

In this paper, we study combinatorial and structural properties of a new class of finite and infinite words that are 'rich' in palindromes in the utmost sense. A characteristic property of so-called "rich words" is that all complete returns…

Combinatorics · Mathematics 2010-03-16 Amy Glen , Jacques Justin , Steve Widmer , Luca Q. Zamboni

Palindromes are those reduced words of free products of groups that coincide with their reverse words. We prove that a free product of groups $G$ has infinite palindromic width, provided that $G$ is not the free product of two cyclic groups…

Group Theory · Mathematics 2007-05-23 Valery Bardakov , Vladimir Tolstykh

Given a set $F$ of words, one associates to each word $w$ in $F$ an undirected graph, called its extension graph, and which describes the possible extensions of $w$ on the left and on the right. We investigate the family of sets of words…

The notion of a two-dimensional word arises naturally in the study of combinatorics on words, while the iterative construction of pedal triangles results in a rich dynamical system in the study of geometry. At first, these two classes of…

Dynamical Systems · Mathematics 2026-04-30 Taylor J. Smith

The automorphism group of a finitely generated free group is the normal closure of a single element of order 2. If $m$ is less than $n$ then a homomorphism $Aut(F_n)\to Aut(F_m)$ can have cardinality at most 2. More generally, this is true…

Group Theory · Mathematics 2007-05-23 Martin R Bridson , Karen Vogtmann