English
Related papers

Related papers: Polynomial versus Exponential Growth in Repetition…

200 papers

A word is square-free if it does not contain nonempty factors of the form $XX$. In 1906 Thue proved that there exist arbitrarily long square-free words over a $3$-letter alphabet. It was proved recently [7] that among these words there are…

Combinatorics · Mathematics 2021-05-04 Jarosław Grytczuk , Hubert Kordulewski , Bartłomiej Pawlik

We prove that for any sequence of binary alphabets $\mathcal{A}_1,\mathcal{A}_2,\dots$, there exists a cube-free word $c_1c_2\dots$ so that $c_1\in\mathcal{A}_1,c_2\in\mathcal{A}_2,\dots$. In particular, for every $n$, there are at least…

Combinatorics · Mathematics 2025-12-04 Vuong Bui , Matthieu Rosenfeld

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

Two finite words $u,v$ are 2-binomially equivalent if, for all words $x$ of length at most 2, the number of occurrences of $x$ as a (scattered) subword of $u$ is equal to the number of occurrences of $x$ in $v$. This notion is a refinement…

Formal Languages and Automata Theory · Computer Science 2013-10-18 M. Rao , M. Rigo , P. Salimov

Let $R(n)$ denote the number of rich words of length $n$ over a given finite alphabet. In 2017 it was proved that $\lim_{n\rightarrow\infty} \sqrt[n]{R(n)}=1$; it means the number of rich words has a subexponential growth. However, up to…

Combinatorics · Mathematics 2025-11-17 Josef Rukavicka

In 2008, Kurosaki gave a new construction of a (bi-)infinite squarefree word over three letters. We show that in fact Kurosaki's word avoids 7/4+-powers, which, as shown by Dejean, is optimal over a 3-letter alphabet.

Combinatorics · Mathematics 2013-08-12 Serina Camungol , Narad Rampersad

In this paper we study an extension of the Polynomial Calculus proof system where we can introduce new variables and take a square root. We prove that an instance of the subset-sum principle, the binary value principle, requires refutations…

Computational Complexity · Computer Science 2020-10-13 Yaroslav Alekseev

This paper concerns the avoidability of abelian and additive powers in infinite rich words. In particular, we construct an infinite additive $5$-power-free rich word over $\{0,1\}$ and an infinite additive $4$-power-free rich word over…

Combinatorics · Mathematics 2025-02-18 Jonathan Andrade , Lucas Mol

We start by considering binary words containing the minimum possible numbers of squares and antisquares (where an antisquare is a word of the form $x \overline{x}$), and we completely classify which possibilities can occur. We consider…

Formal Languages and Automata Theory · Computer Science 2019-04-22 Tim Ng , Pascal Ochem , Narad Rampersad , Jeffrey Shallit

We prove that there is a gap between $\sqrt{2}$ and $(1+\sqrt{5})/2$ for the exponential growth rate of free products $G=A*B$ not isomorphic to the infinite dihedral group. For amalgamated products $G=A*_C B$ with $([A:C]-1)([B:C]-1)\geq2$,…

Group Theory · Mathematics 2012-09-19 Michelle Bucher , Alexey Talambutsa

The volume conjecture and its generalizations say that the colored Jones polynomial corresponding to the N-dimensional irreducible representation of sl(2;C) of a (hyperbolic) knot evaluated at exp(c/N) grows exponentially with respect to N…

Geometric Topology · Mathematics 2008-04-19 Kazuhiro Hikami , Hitoshi Murakami

We study the succinctness of the complement and intersection of regular expressions. In particular, we show that when constructing a regular expression defining the complement of a given regular expression, a double exponential size…

Computational Complexity · Computer Science 2008-02-21 Wouter Gelade , Frank Neven

In this paper we study the enumeration and the construction of particular binary words avoiding the pattern $1^{j+1}0^j$. By means of the theory of Riordan arrays, we solve the enumeration problem and we give a particular succession rule,…

Discrete Mathematics · Computer Science 2011-03-30 Stefano Bilotta , Donatella Merlini , Elisa Pergola , Renzo Pinzani

Expansive polynomials (whose roots are greater than 1 in modulus) often arise in dynamical systems and other computational problems. This paper examines the expansivity gap (the gap between 1 and the smallest modulus of the roots) of these…

Number Theory · Mathematics 2020-11-09 M. J. Uray

The maximum size of a binary code is studied as a function of its length N, minimum distance D, and minimum codeword weight W. This function B(N,D,W) is first characterized in terms of its exponential growth rate in the limit as N tends to…

Information Theory · Computer Science 2010-09-21 Christine Bachoc , Venkat Chandar , Gerard Cohen , Patrick Sole , Aslan Tchamkerten

We consider words $w$ over the alphabet $\Sigma=\{0,1,2\}$. It is shown that there are irreducibly square-free words of all lengths $n$ except 4,5,7 and 12. Such a word is square-free (i.e., it has no repetitions $uu$ as factors), but by…

Combinatorics · Mathematics 2020-07-06 Tero Harju

We show that the reciprocal of a partial sum with 2m terms of the alternating exponential series is the exponential generating function for permutations in which every increasing run has length congruent to 0 or 1 modulo 2m. More generally…

Combinatorics · Mathematics 2019-05-21 Ira M. Gessel

Consider a $q$-ary block code satisfying the property that no $l$-letters long codeword's prefix occurs as a suffix of any codeword for $l$ inside some interval. We determine a general upper bound on the maximum size of these codes and a…

Information Theory · Computer Science 2025-06-04 Lidija Stanovnik

In this paper, we give some counting results on integer polynomials of fixed degree and bounded height whose distinct non-zero roots are multiplicatively dependent. These include sharp lower bounds, upper bounds and asymptotic formulas for…

Number Theory · Mathematics 2018-02-06 Arturas Dubickas , Min Sha

We establish connections between the size of circuits and formulas computing monotone Boolean functions and the size of first-order and nonrecursive Datalog rewritings for conjunctive queries over OWL 2 QL ontologies. We use known lower…

Logic in Computer Science · Computer Science 2012-05-15 Stanislav Kikot , Roman Kontchakov , Vladimir Podolskii , Michael Zakharyaschev