arXiv++ Combinatorics

The non-repetitive complexity $nr\mathcal{C}_{\bf u}$ and the initial non-repetitive complexity $inr\mathcal{C}_{\bf u}$ are functions which reflect the structure of the infinite word ${\bf u}$ with respect to the repetitions of factors of a given length. We determine $nr\mathcal{C}_{\bf u}$ for the Arnoux-Rauzy words and $inr\mathcal{C}_{\bf u}$ for the standard Arnoux-Rauzy words. Our main tools are $S$-adic representation of Arnoux-Rauzy words and description of return words to their factors. The formulas we obtain are then used to evaluate $nr\mathcal{C}_{\bf u}$ and $inr\mathcal{C}_{\bf u}$ for the $d$-bonacci word.

In this paper we introduce and study new notions of uniform recurrence in multidimensional words. A $d$-dimensional word is called \emph{uniformly recurrent} if for all $(s_1,\ldots,s_d)\in\mathbb{N}^d$ there exists $n\in\mathbb{N}$ such that each block of size $(n,\ldots,n)$ contains the prefix of size $(s_1,\ldots,s_d)$. We are interested in a modification of this property. Namely, we ask that for each rational direction $(q_1,\ldots,q_d)$, each rectangular prefix occurs along this direction in positions $\ell(q_1,\ldots,q_d)$ with bounded gaps. Such words are called \emph{uniformly recurrent along all directions}. We provide several constructions of multidimensional words satisfying this condition, and more generally, a series of four increasingly stronger conditions. In particular, we study the uniform recurrence along directions of multidimentional rotation words and of fixed points of square morphisms.

Over an alphabet of size 3 we construct an infinite balanced word with critical exponent 2+sqrt(2)/2. Over an alphabet of size 4 we construct an infinite balanced word with critical exponent (5+sqrt(5))/4. Over larger alphabets, we give some candidates for balanced words (found computationally) having small critical exponents. We also explore a method for proving these results using the automated theorem prover Walnut.

Given a simple graph $G$ with $n$ vertices and a natural number $i \leq n$, let $L_G(i)$ be the maximum number of leaves that can be realized by an induced subtree $T$ of $G$ with $i$ vertices. We introduce a problem that we call the \emph{leaf realization problem}, which consists in deciding whether, for a given sequence of $n+1$ natural numbers $(\ell_0, \ell_1, \ldots, \ell_n)$, there exists a simple graph $G$ with $n$ vertices such that $\ell_i = L_G(i)$ for $i = 0, 1, \ldots, n$. We present basic observations on the structure of these sequences for general graphs and trees. In the particular case where $G$ is a caterpillar graph, we exhibit a bijection between the set of the discrete derivatives of the form $(ΔL_G(i))_{1 \leq i \leq n - 3}$ and the set of prefix normal words.

Let $G$ be a simple graph on $n$ vertices. We consider the problem LIS of deciding whether there exists an induced subtree with exactly $i \leq n$ vertices and $\ell$ leaves in $G$. We study the associated optimization problem, that consists in computing the maximal number of leaves, denoted by $L_G(i)$, realized by an induced subtree with $i$ vertices, for $0 \le i \le n$. We begin by proving that the LIS problem is NP-complete in general and then we compute the values of the map $L_G$ for some classical families of graphs and in particular for the $d$-dimensional hypercubic graphs $Q_d$, for $2 \leq d \leq 6$. We also describe a nontrivial branch and bound algorithm that computes the function $L_G$ for any simple graph $G$. In the special case where $G$ is a tree of maximum degree $Δ$, we provide a $\mathcal{O}(n^3Δ)$ time and $\mathcal{O}(n^2)$ space algorithm to compute the function $L_G$.

We consider the problem of computing identifying codes of graphs and its fractional relaxation. The ratio between the size of optimal integer and fractional solutions is between 1 and 2 ln(|V|)+1 where V is the set of vertices of the graph. We focus on vertex-transitive graphs for which we can compute the exact fractional solution. There are known examples of vertex-transitive graphs that reach both bounds. We exhibit infinite families of vertex-transitive graphs with integer and fractional identifying codes of order |V|^a with a in {1/4,1/3,2/5}. These families are generalized quadrangles (strongly regular graphs based on finite geometries). They also provide examples for metric dimension of graphs.

We prove that a sequence satisfying a certain symmetry property is $2$-regular in the sense of Allouche and Shallit, i.e., the $\mathbb{Z}$-module generated by its $2$-kernel is finitely generated. We apply this theorem to develop a general approach for studying the $\ell$-abelian complexity of $2$-automatic sequences. In particular, we prove that the period-doubling word and the Thue--Morse word have $2$-abelian complexity sequences that are $2$-regular. Along the way, we also prove that the $2$-block codings of these two words have $1$-abelian complexity sequences that are $2$-regular.

We introduce the concept of constant $2$-labelling of a weighted graph and show how it can be used to obtain perfect weighted coverings. Roughly speaking, a constant $2$-labelling of a weighted graph is a $2$-colouring of its vertex set which preserves the sum of the weights of black vertices under some automorphisms. We study this problem on four types of weighted cycles. Our results on cycles allow us to determine $(r,a,b)$-codes in $\mathbb{Z}^2$ whenever $|a-b|>4$, $r\ge2$ and we give the precise values of $a$ and $b$. This is a refinement of Axenovich's theorem proved in 2003.