English
Related papers

Related papers: Words Avoiding Reversed Factors, Revisited

200 papers

A word is \emph{square-free} if it does not contain non-empty factors of the form $XX$. In 1906 Thue proved that there exist arbitrarily long square-free words over $3$-letter alphabet. We consider a new type of square-free words. A…

Combinatorics · Mathematics 2019-10-15 Jarosław Grytczuk , Hubert Kordulewski , Artur Niewiadomski

The factor complexity of the infinite word $\ubeta$ canonically associated to a non-simple Parry number $\beta$ is studied. Our approach is based on the notion of special factors introduced by Berstel and Cassaigne. At first, we give a…

Combinatorics · Mathematics 2017-05-31 Karel Klouda , Edita Pelantová

An absent factor of a string $w$ is a string $u$ which does not occur as a contiguous substring (a.k.a. factor) inside $w$. We extend this well-studied notion and define absent subsequences: a string $u$ is an absent subsequence of a string…

Formal Languages and Automata Theory · Computer Science 2026-04-08 Maria Kosche , Tore Koß , Florin Manea , Stefan Siemer

Counterfactual explanations are a common approach to providing recourse to data subjects. However, current methodology can produce counterfactuals that cannot be achieved by the subject, making the use of counterfactuals for recourse…

Machine Learning · Computer Science 2024-03-04 Alexander Asemota , Giles Hooker

Let $S$ be one of $\{aba,bcb\}$ and $\{aba, aca\}$, and let $w$ be an infinite square-free word over $\Sigma=\{a,b,c\}$ with no factor in $S$. Suppose that $f:\Sigma\rightarrow T^*$ is a non-erasing morphism. Word $f(w)$ is square-free if…

Formal Languages and Automata Theory · Computer Science 2019-02-18 James D. Currie

Given an infinite linear group with a finite set of generators, we show that the shortest word length of an element of infinite order has an upper bound that depends only on the number of generators and the degree. This provides a…

Group Theory · Mathematics 2023-09-11 Junho Peter Whang

Computer algebra systems are really good at factoring polynomials, i.e. writing f as a product of irreducible factors. It is relatively easy to verify that we have a factorisation, but verifying that these factors are irreducible is a much…

Symbolic Computation · Computer Science 2024-09-17 James H. Davenport

Any finite word $w$ of length $n$ contains at most $n+1$ distinct palindromic factors. If the bound $n+1$ is reached, the word $w$ is called rich. The number of rich words of length $n$ over an alphabet of cardinality $q$ is denoted…

Combinatorics · Mathematics 2019-03-26 Josef Rukavicka

Partial words are sequences over a finite alphabet that may contain wildcard symbols, called holes, which match or are compatible with all letters; partial words without holes are said to be full words (or simply words). Given an infinite…

Discrete Mathematics · Computer Science 2011-08-19 Francine Blanchet-Sadri , Aleksandar Chakarov , Lucas Manuelli , Jarett Schwartz , Slater Stich

Let $w=w(x_1,\ldots,x_r)$ be a lower central word or a derived word. We show that the word $w(u_1,\ldots,u_r)$ is concise whenever $u_1,\ldots,u_r$ are non-commutator words in disjoint sets of variables, thus proving a generalized version…

Group Theory · Mathematics 2023-07-28 Gustavo A. Fernández-Alcober , Matteo Pintonello

A factor $u$ of a word $w$ is a cover of $w$ if every position in $w$ lies within some occurrence of $u$ in $w$. A word $w$ covered by $u$ thus generalizes the idea of a repetition, that is, a word composed of exact concatenations of $u$.…

Data Structures and Algorithms · Computer Science 2014-01-03 Tomasz Kociumaka , Jakub Radoszewski , Wojciech Rytter , Solon P. Pissis , Tomasz Waleń

In this paper, we consider pattern avoidance in a subset of words on $\{1,1,2,2,\dots,n,n\}$ called reverse double lists. In particular a reverse double list is a word formed by concatenating a permutation with its reversal. We enumerate…

Combinatorics · Mathematics 2023-06-22 Monica Anderson , Marika Diepenbroek , Lara Pudwell , Alex Stoll

We study the relation between the palindromic and factor complexity of infinite words. We show that for uniformly recurrent words one has P(n)+P(n+1) \leq \Delta C(n) + 2, for all n \in N. For a large class of words it is a better estimate…

Combinatorics · Mathematics 2007-05-23 Peter Baláži , Zuzana Masáková , Edita Pelantová

We present a new approach to proving non-termination of non-deterministic integer programs. Our technique is rather simple but efficient. It relies on a purely syntactic reversal of the program's transition system followed by a…

Programming Languages · Computer Science 2021-04-06 Krishnendu Chatterjee , Ehsan Kafshdar Goharshady , Petr Novotný , Đorđe Žikelić

In previous work, Currie and Rampersad showed that the growth of the number of binary words avoiding the pattern xxx^R was intermediate between polynomial and exponential. We now show that the same holds for the growth of the number of…

Combinatorics · Mathematics 2015-08-13 James D. Currie , Narad Rampersad

We study the Reverse algorithm, a multidimensional continued fraction algorithm, which is not unimodular. We show that the Reverse algorithm is ergodic and, by proving that its second Lyapunov exponent is negative, that it is a.e.…

Dynamical Systems · Mathematics 2026-02-17 Hiroaki Ito , Niels Langeveld , Jörg Thuswaldner

A non-empty word $w$ is a border of the word $u$ if $\vert w\vert<\vert u\vert$ and $w$ is both a prefix and a suffix of $u$. A word $u$ with the border $w$ is closed if $u$ has exactly two occurrences of $w$. A word $u$ is privileged if…

Discrete Mathematics · Computer Science 2020-01-22 Josef Rukavicka

Let $P$ be a partially ordered set and consider the free monoid $P^*$ of all words over $P$. If $w,w'\in P^*$ then $w'$ is a factor of $w$ if there are words $u,v$ with $w=uw'v$. Define generalized factor order on $P^*$ by letting $u\le w$…

Combinatorics · Mathematics 2008-06-24 Sergey Kitaev , Jeffrey Liese , Jeffrey Remmel , Bruce E. Sagan

If G is a finitely generated powerful pro-p group satisfying a certain law v=1, and if G can be generated by a normal subset T of finite width which satisfies a positive law, we prove that G is nilpotent. Furthermore, the nilpotency class…

Group Theory · Mathematics 2011-08-03 Cristina Acciarri , Gustavo A. Fernández-Alcober

In this paper, we intend to revisit Theorem 2 of [3] formulating it in a way that, weakening the hypotheses and, at the same time, highlighting the richer conclusion allowed by the proof, it can potentially be applicable to a broader range…

Functional Analysis · Mathematics 2013-10-30 Biagio Ricceri