English
Related papers

Related papers: Brik's sequence: a strange recursion

200 papers

Return words constitute a powerful tool for studying symbolic dynamical systems. They may be regarded as a discrete analogue of the first return map in dynamical systems. In this paper we investigate two abelian variants of the notion of…

Combinatorics · Mathematics 2012-04-27 Svetlana Puzynina , Luca Q. Zamboni

Each positive increasing integer sequence $\{a_n\}_{n\geq 0}$ can serve as a numeration system to represent each non-negative integer by means of suitable coefficient strings. We analyse the case of $k$-generalized Fibonacci sequences…

Combinatorics · Mathematics 2022-04-22 Elena Barcucci , Antonio Bernini , Renzo Pinzani

In this paper we propose an algorithm to generate binary words with no more 0's than 1's having a fixed number of 1's and avoiding the pattern $(10)^j1$ for any fixed $j \geq 1$. We will prove that this generation is exhaustive, that is,…

Discrete Mathematics · Computer Science 2012-10-30 Stefano Bilotta , Elisabetta Grazzini , Elisa Pergola , Renzo Pinzani

In this paper we examine a number of term rewriting system for integer number representations, building further upon the datatype defining systems described in [2]. In particular, we look at automated methods for proving confluence and…

Logic in Computer Science · Computer Science 2016-07-18 Boas Kluiving , Wijnand van Woerkom

Given a sequence of distinct positive integers $w_0 , w_1, w_2, \ldots$ and any positive integer $n$, we define the discriminator function $\mathcal{D}_{\bf w}(n)$ to be the smallest positive integer $m$ such that $w_0,\ldots, w_{n-1}$ are…

Number Theory · Mathematics 2020-12-01 A. de Clercq , F. Luca , L. Martirosyan , M. Matthis , P. Moree , M. A. Stoumen , M. Weiß

The (bitwise) complement $\overline{x}$ of a binary word $x$ is obtained by changing each $0$ in $x$ to $1$ and vice versa. An $\textit{antisquare}$ is a nonempty word of the form $x\, \overline{x}$. In this paper, we study infinite binary…

Combinatorics · Mathematics 2024-02-14 Aseem Baranwal , James Currie , Lucas Mol , Pascal Ochem , Narad Rampersad , Jeffrey Shallit

This paper proves that two differently defined rooted binary trees are isomorphic. The first tree is one associated to a version of Farey sequences where the vertices correspond to the open intervals formed by two successive terms in the…

Combinatorics · Mathematics 2025-12-16 Makoto Nagata , Yoshinori Takei

We investigate the behavior of the periods and border lengths of random words over a fixed alphabet. We show that the asymptotic probability that a random word has a given maximal border length $k$ is a constant, depending only on $k$ and…

Formal Languages and Automata Theory · Computer Science 2019-12-18 Štěpán Holub , Jeffrey Shallit

The complement $\overline{x}$ of a binary word $x$ is obtained by changing each $0$ in $x$ to $1$ and vice versa. We study infinite binary words $\bf w$ that avoid sufficiently large complementary factors; that is, if $x$ is a factor of…

A Barker sequence is a binary sequence for which all nontrivial aperiodic autocorrelations are at most 1 in magnitude. An old conjecture due to Turyn asserts that there is no Barker sequence of length greater than 13. In 1961, Turyn and…

Combinatorics · Mathematics 2015-01-27 Kai-Uwe Schmidt , Jürgen Willms

A prefix normal word is a binary word with the property that no substring has more 1s than the prefix of the same length. This class of words is important in the context of binary jumbled pattern matching. In this paper we present an…

Data Structures and Algorithms · Computer Science 2014-06-23 Péter Burcsi , Gabriele Fici , Zsuzsanna Lipták , Frank Ruskey , Joe Sawada

Originally introduced and studied by the third and fourth authors together with J. Justin and S. Widmer in arXiv:0801.1656, rich words constitute a new class of finite and infinite words characterized by containing the maximal number of…

Combinatorics · Mathematics 2010-03-16 Michelangelo Bucci , Alessandro De Luca , Amy Glen , Luca Q. Zamboni

We study ternary sequences associated with a multidimensional continued fraction algorithm introduced by the first author. The algorithm is defined by two matrices and we show that it is measurably isomorphic to the shift on the set…

Dynamical Systems · Mathematics 2022-11-30 Julien Cassaigne , Sébastien Labbé , Julien Leroy

Words are sequences of letters over a finite alphabet. We study two intimately related topics for this object: quasi-randomness and limit theory. With respect to the first topic we investigate the notion of uniform distribution of letters…

Combinatorics · Mathematics 2021-09-01 Hiêp Hàn , Marcos Kiwi , Matías Pavez-Signé

We define a family of natural decompositions of Sturmian words in Christoffel words, called *reversible Christoffel* (RC) factorizations. They arise from the observation that two Sturmian words with the same language have (almost always)…

Discrete Mathematics · Computer Science 2013-07-12 Michelangelo Bucci , Alessandro De Luca , Luca Q. Zamboni

We answer two questions of Kra, Moreira, Richter and Robertson regarding the existence of infinite sumsets of the form $B + C$ in dense and sparse sets of integers and the relation of sumsets to sets of recurrence. We then further…

Dynamical Systems · Mathematics 2025-10-16 Luke Hetzel

An $n$-length binary word is $q$-decreasing, $q\geq 1$, if every of its length maximal factor of the form $0^a1^b$ satisfies $a=0$ or $q\cdot a > b$.We show constructively that these words are in bijection with binary words having no…

Discrete Mathematics · Computer Science 2021-12-08 Jean-Luc Baril , Sergey Kirgizov , Vincent Vajnovszki

We study recurrence, and multiple recurrence, properties along the $k$-th powers of a given set of integers. We show that the property of recurrence for some given values of $k$ does not give any constraint on the recurrence for the other…

Dynamical Systems · Mathematics 2014-02-26 Nikos Frantzikinakis , Emmanuel Lesigne , Mate Wierdl

Suppose $A\subset \mathbb{R}$ of size $k$ has distinct consecutive $r$--differences, that is for $1 \leq i \leq k -r$, the $r$--tuples $$(a_{i+1} - a_i , \ldots , a_{i+r} - a_{i + r -1})$$ are distinct. Then for any finite $B \subset…

Number Theory · Mathematics 2018-06-06 Junxian Li , George Shakan

We study a recursively defined sequence which is constructed using the least common multiple. It has been conjectured that every term of that sequence is $1$ or a prime. In this paper we show that this claim is connected to a strong version…

Combinatorics · Mathematics 2016-10-25 Serafín Ruiz-Cabello