The asymptotic number of prefix normal words

Paul Balister,Stefanie Gerke

DOI: https://doi.org/10.48550/arXiv.1903.07957

2019-03-19

Abstract:We show that the number of prefix normal binary words of length $n$ is $2^{n-\Theta((\log n)^2)}$. We also show that the maximum number of binary words of length $n$ with a given fixed prefix normal form is $2^{n-O(\sqrt{n\log n})}$.

Combinatorics

What problem does this paper attempt to address?

On Infinite Prefix Normal Words

Ferdinando Cicalese,Zsuzsanna Lipták,Massimiliano Rossi

DOI: https://doi.org/10.1016/j.tcs.2021.01.015

2021-05-29

Abstract:Prefix normal words are binary words that have no factor with more $1$s than the prefix of the same length. Finite prefix normal words were introduced in [Fici and Lipták, DLT 2011]. In this paper, we study infinite prefix normal words and explore their relationship to some known classes of infinite binary words. In particular, we establish a connection between prefix normal words and Sturmian words, between prefix normal words and abelian complexity, and between prefix normality and lexicographic order.

Combinatorics,Formal Languages and Automata Theory
Weighted Prefix Normal Words: Mind the Gap

Yannik Eikmeier,Pamela Fleischmann,Mitja Kulczynski,Dirk Nowotka

DOI: https://doi.org/10.48550/arXiv.2005.09281

2021-04-19

Abstract:A prefix normal word is a binary word whose prefixes contain at least as many 1s as any of its factors of the same length. Introduced by Fici and Lipták in 2011 the notion of prefix normality is so far only defined for words over the binary alphabet. In this work we investigate a generalisation for finite words over arbitrary finite alphabets, namely weighted prefix normality. We prove that weighted prefix normality is more expressive than binary prefix normality. Furthermore, we investigate the existence of a weighted prefix normal form since weighted prefix normality comes with several new peculiarities that did not already occur in the binary case. We characterise these issues and finally present a standard technique to obtain a generalised prefix normal form for all words overarbitrary, finite alphabets.

Formal Languages and Automata Theory,Combinatorics
On Collapsing Prefix Normal Words

Pamela Fleischmann,Mitja Kulczynski,Dirk Nowotka

DOI: https://doi.org/10.48550/arXiv.1905.11847

2020-05-19

Abstract:Prefix normal words are binary words in which each prefix has at least the same number of $\so$s as any factor of the same length. Firstly introduced by Fici and Lipták in 2011, the problem of determining the index of the prefix equivalence relation is still open. In this paper, we investigate two aspects of the problem, namely prefix normal palindromes and so-called collapsing words (extending the notion of critical words). We prove characterizations for both the palindromes and the collapsing words and show their connection. Based on this, we show that still open problems regarding prefix normal words can be split into certain subproblems.

Formal Languages and Automata Theory,Combinatorics
Asymptotic bounds for the number of closed and privileged words

Daniel Gabric

2024-05-22

Abstract:A word~$w$ has a border $u$ if $u$ is a non-empty proper prefix and suffix of $u$. A word~$w$ is said to be \emph{closed} if $w$ is of length at most $1$ or if $w$ has a border that occurs exactly twice in $w$. A word~$w$ is said to be \emph{privileged} if $w$ is of length at most $1$ or if $w$ has a privileged border that occurs exactly twice in $w$. Let $C_k(n)$ (resp.~$P_k(n)$) be the number of length-$n$ closed (resp. privileged) words over a $k$-letter alphabet. In this paper, we improve existing upper and lower bounds on $C_k(n)$ and $P_k(n)$. We completely resolve the asymptotic behaviour of $C_k(n)$. We also nearly completely resolve the asymptotic behaviour of $P_k(n)$ by giving a family of upper and lower bounds that are separated by a factor that grows arbitrarily slowly.

Combinatorics,Discrete Mathematics,Formal Languages and Automata Theory
Optimal prefix-suffix queries with applications

Solon P. Pissis

2024-11-06

Abstract:We revisit the classic border tree data structure [Gu, Farach, Beigel, SODA 1994] that answers the following prefix-suffix queries on a string $T$ of length $n$ over an integer alphabet $\Sigma=[0,\sigma)$: for any $i,j \in [0,n)$ return all occurrences of $T$ in $T[0\mathinner{.\,.} i]T[j\mathinner{.\,.} n-1]$. The border tree of $T$ can be constructed in $\mathcal{O}(n)$ time and answers prefix-suffix queries in $\mathcal{O}(\log n + \textsf{Occ})$ time, where $\textsf{Occ}$ is the number of occurrences of $T$ in $T[0\mathinner{.\,.} i]T[j\mathinner{.\,.} n-1]$. Our contribution here is the following. We present a completely different and remarkably simple data structure that can be constructed in the optimal $\mathcal{O}(n/\log_\sigma n)$ time and supports queries in the optimal $\mathcal{O}(1)$ time. Our result is based on a new structural lemma that lets us encode the output of any query in constant time and space. We also show a new direct application of our result in pattern matching on node-labeled graphs.

Data Structures and Algorithms
Borders, Palindrome Prefixes, and Square Prefixes

Daniel Gabric,Jeffrey Shallit

DOI: https://doi.org/10.48550/arXiv.1906.03689

2020-06-04

Abstract:We show that the number of length-n words over a k-letter alphabet having no even palindromic prefix is the same as the number of length-n unbordered words, by constructing an explicit bijection between the two sets. A slightly different but analogous result holds for those words having no odd palindromic prefix. Using known results on borders, we get an asymptotic enumeration for the number of words having no even (resp., odd) palindromic prefix . We obtain an analogous result for words having no nontrivial palindromic prefix. Finally, we obtain similar results for words having no square prefix, thus proving a 2013 conjecture of Chaffin, Linderman, Sloane, and Wilks.

Discrete Mathematics,Formal Languages and Automata Theory,Combinatorics
Fast and Compact Prefix Codes

Travis Gagie,Gonzalo Navarro,Yakov Nekrich

DOI: https://doi.org/10.48550/arXiv.0905.3107

2009-05-19

Abstract:It is well-known that, given a probability distribution over $n$ characters, in the worst case it takes (\Theta (n \log n)) bits to store a prefix code with minimum expected codeword length. However, in this paper we first show that, for any $0<\epsilon<1/2$ with (1 / \epsilon = \Oh{\polylog{n}}), it takes $\Oh{n \log \log (1 / \epsilon)}$ bits to store a prefix code with expected codeword length within $\epsilon$ of the minimum. We then show that, for any constant (c > 1), it takes $\Oh{n^{1 / c} \log n}$ bits to store a prefix code with expected codeword length at most $c$ times the minimum. In both cases, our data structures allow us to encode and decode any character in $\Oh{1}$ time.

Data Structures and Algorithms
On monochromatic arithmetic progressions in binary words associated with pattern sequences

Bartosz Sobolewski

2023-07-18

Abstract:Let $e_v(n)$ denote the number of occurrences of a fixed pattern $v$ in the binary expansion of $n \in \mathbb{N}$. In this paper we study monochromatic arithmetic progressions in the class of binary words $(e_v(n) \bmod{2})_{n \geq 0}$, which includes the famous Thue--Morse word $\mathbf{t}$ and Rudin--Shapiro word $\mathbf{r}$. We prove that the length of a monochromatic arithmetic progression of difference $d \geq 3$ starting at $0$ in $\mathbf{r}$ is at most $(d+3)/2$, with equality for infinitely many $d$. Moreover, we compute the maximal length of a monochromatic arithmetic progression in $\mathbf{r}$ of difference $2^k-1$ and $2^k+1$. For a general pattern $v$ we provide an upper bound on the length of a monochromatic arithmetic progression of any difference $d$. We also prove other miscellaneous results and offer a number of related problems and conjectures.

Combinatorics,Number Theory
Antisquares and Critical Exponents

Aseem Baranwal,James Currie,Lucas Mol,Pascal Ochem,Narad Rampersad,Jeffrey Shallit

DOI: https://doi.org/10.46298/dmtcs.10063

2023-08-24

Abstract: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 words that do not contain arbitrarily large antisquares. For example, we show that the repetition threshold for the language of infinite binary words containing exactly two distinct antisquares is $(5+\sqrt{5})/2$. We also study repetition thresholds for related classes, where "two" in the previous sentence is replaced by a larger number. We say a binary word is $\textit{good}$ if the only antisquares it contains are $01$ and $10$. We characterize the minimal antisquares, that is, those words that are antisquares but all proper factors are good. We determine the growth rate of the number of good words of length $n$ and determine the repetition threshold between polynomial and exponential growth for the number of good words.

Combinatorics,Discrete Mathematics,Formal Languages and Automata Theory
Abelian maximal pattern complexity of words

TETURO KAMAE,STEVEN WIDMER,LUCA Q. ZAMBONI

DOI: https://doi.org/10.1017/etds.2013.51

2013-08-13

Ergodic Theory and Dynamical Systems

Abstract:Abstract In this paper, we study the maximal pattern complexity of infinite words up to Abelian equivalence. We compute a lower bound for the Abelian maximal pattern complexity of infinite words which are both recurrent and aperiodic by projection. We show that in the case of binary words, the bound is actually achieved and gives a characterization of recurrent aperiodic words.

mathematics, applied
On the Number of Closed Factors in a Word

Golnaz Badkobeh,Gabriele Fici,Zsuzsanna Lipták

DOI: https://doi.org/10.48550/arXiv.1305.6395

2014-12-01

Abstract:A closed word (a.k.a. periodic-like word or complete first return) is a word whose longest border does not have internal occurrences, or, equivalently, whose longest repeated prefix is not right special. We investigate the structure of closed factors of words. We show that a word of length $n$ contains at least $n+1$ distinct closed factors, and characterize those words having exactly $n+1$ closed factors. Furthermore, we show that a word of length $n$ can contain $\Theta(n^{2})$ many distinct closed factors.

Formal Languages and Automata Theory,Combinatorics
Words with the Maximum Number of Abelian Squares

Gabriele Fici,Filippo Mignosi

DOI: https://doi.org/10.48550/arXiv.1506.03562

2015-06-11

Abstract:An abelian square is the concatenation of two words that are anagrams of one another. A word of length $n$ can contain $\Theta(n^2)$ distinct factors that are abelian squares. We study infinite words such that the number of abelian square factors of length $n$ grows quadratically with $n$.

Discrete Mathematics,Formal Languages and Automata Theory,Combinatorics
A class of polynomial recurrences resulting in $(n/\log n, n/\log^2n)$-asymptotic normality

Paweł Hitczenko

2024-03-06

Abstract:We consider sequences of polynomials that satisfy differential-difference recurrences. Polynomials satisfying such recurrences frequently appear as generating polynomials of integer valued random variables that are of interest in discrete mathematics. It is, therefore, of interest to understand the properties of such polynomials and their probabilistic consequences. We identify a class of polynomial recurrences that lead to a normal law with the expected value and the variance proportional to $n/\log n$ and $n/\log^2n$, respectively. Examples include Stirling number of the second kind and other polynomials concerning set partitions as well as polynomials related to Whitney numbers of Dowling lattices.

Combinatorics,Probability
Asymptotic and non-asymptotic results for a binary additive problem involving Piatetski-Shapiro numbers

Yuuya Yoshida

2024-03-25

Abstract:For all $\alpha_1,\alpha_2\in(1,2)$ with $1/\alpha_1+1/\alpha_2>5/3$, we show that the number of pairs $(n_1,n_2)$ of positive integers with $N=\lfloor{n_1^{\alpha_1}}\rfloor+\lfloor{n_2^{\alpha_2}}\rfloor$ is equal to $\Gamma(1+1/\alpha_1)\Gamma(1+1/\alpha_2)\Gamma(1/\alpha_1+1/\alpha_2)^{-1}N^{1/\alpha_1+1/\alpha_2-1} + o(N^{1/\alpha_1+1/\alpha_2-1})$ as $N\to\infty$, where $\Gamma$ denotes the gamma function. Moreover, we show a non-asymptotic result for the same counting problem when $\alpha_1,\alpha_2\in(1,2)$ lie in a larger range than the above. Finally, we give some asymptotic formulas for similar counting problems in a heuristic way.

Number Theory
Improved Bounds For Some Asymptotic Formulas for Counting Words in Shift Spaces

Hamid Naderiyan

2024-09-15

Abstract:This paper studies a version of the counting problem in dynamical systems that is of interest, especially in conformal dynamical systems where the functions of the systems are angle preserving. Recently, M. Pollicott and M. Urbański published a result in this context for D-generic systems where the complex transfer operator behaves nicely on the critical line of the Poincaré series. Their result contains an asymptotic formula for the Apollonian circle packing. We lift the D-generic condition and conformality of the functions system in this paper to see how their asymptotic formula changes. We use some recent Tauberian theorem to show that the formula gets a form whose limit infimum and limit supremum bounds can be obtained in the sharpest sense. Further, we observed an asymptotic of length closely related to this counting problem. In fact, not only the number of words is subject to some formula, but also their length as well.

Dynamical Systems
On the number of return words in infinite words with complexity 2n+1

Laurent Vuillon

DOI: https://doi.org/10.48550/arXiv.math/0009094

2000-09-08

Combinatorics

Abstract:In this article, we count the number of return words in some infinite words with complexity 2n+1. We also consider some infinite words given by codings of rotation and interval exchange transformations on k intervals. We prove that the number of return words over a given word w for these infinite words is exactly k.
Counting Finite Languages by Total Word Length

Stefan Gerhold

DOI: https://doi.org/10.48550/arXiv.1001.4392

2010-01-25

Abstract:We investigate the number of sets of words that can be formed from a finite alphabet, counted by the total length of the words in the set. An explicit expression for the counting sequence is derived from the generating function, and asymptotics for large alphabet respectively large total word length are discussed. Moreover, we derive a Gaussian limit law for the number of words in a random finite language.

Combinatorics
Central limit theorems for additive functionals and fringe trees in tries

Svante Janson

DOI: https://doi.org/10.48550/arXiv.2003.02725

2020-03-05

Abstract:We give general theorems on asymptotic normality for additive functionals of random tries generated by a sequence of independent strings. These theorems are applied to show asymptotic normality of the distribution of random fringe trees in a random trie. Formulas for asymptotic mean and variance are given. In particular, the proportion of fringe trees of size $k$ (defined as number of keys) is asymptotically, ignoring oscillations, $c/(k(k-1))$ for $k\ge2$, where $c=1/(1+H)$ with $H$ the entropy of the digits. Another application gives asymptotic normality of the number of $k$-protected nodes in a random trie. For symmetric tries, it is shown that the asymptotic proportion of $k$-protected nodes (ignoring oscillations) decreases geometrically as $k\to\infty$.

Probability,Data Structures and Algorithms
Structure and growth of $\mathbb{R}$-bonacci words

Sergey Dovgal,Sergey Kirgizov

2024-01-12

Abstract:A binary word is called $q$-decreasing, for $q>0$, if every of its length maximal factors of the form $0^a1^b$, $a>0$, satisfies $q \cdot a > b$. We bijectively link $q$-decreasing words with certain prefixes of the cutting sequence of the line $y=qx$. We show that the number of $q$-decreasing words of length $n$ grows as $\Phi(q)^{n} C_q $ for some constant $C_q$ which depends on $q$ but not on $n$. We demonstrate that $\Phi(1)$ is the golden ratio, $\Phi(2)$ is equal to the tribonacci constant, $\Phi(k)$ is $(k+1)$-bonacci constant. Furthermore, we prove that the function $\Phi(q)$ is strictly increasing, discontinuous at every positive rational point, exhibits a fractal structure related to the Stern--Brocot tree and Minkowski's question mark function.

Combinatorics,Discrete Mathematics
Extremal Binary PFAs with Small Number of States

Stijn Cambie,Michiel de Bondt,Henk Don

DOI: https://doi.org/10.1142/S0129054122440038

2022-11-20

International Journal of Foundations of Computer Science

Abstract:The largest known reset thresholds for DFAs are equal to (n−1)2 , where n is the number of states. This is conjectured to be the maximum possible. PFAs (with partial transition function) can have exponentially large reset thresholds. This is still true if we restrict to binary PFAs. However, asymptotics do not give conclusions for fixed n . We prove that the maximal reset threshold for binary PFAs is strictly greater than (n−1)2 if and only if n≥6 . These results are mostly based on the analysis of synchronizing word lengths for a certain family of binary PFAs. This family has the following properties: it contains the well-known Černý automata; for n≤10 it contains a binary PFA with maximal possible reset threshold; for all n≥6 it contains a PFA with reset threshold larger than the maximum known for DFAs. Analysis of this family reveals remarkable patterns involving the Fibonacci numbers and related sequences such as the Padovan sequence. We derive explicit formulas for the reset thresholds in terms of these recurrent sequences. Asymptotically the Černý family gives reset thresholds of polynomial order. We prove that PFAs in the family are not extremal for n≥41 . For that purpose, we present an improvement of Martyugin's prime number construction of binary PFAs.

The asymptotic number of prefix normal words

On Infinite Prefix Normal Words

Weighted Prefix Normal Words: Mind the Gap

On Collapsing Prefix Normal Words

Asymptotic bounds for the number of closed and privileged words

Optimal prefix-suffix queries with applications

Borders, Palindrome Prefixes, and Square Prefixes

Fast and Compact Prefix Codes

On monochromatic arithmetic progressions in binary words associated with pattern sequences

Antisquares and Critical Exponents

Abelian maximal pattern complexity of words

On the Number of Closed Factors in a Word

Words with the Maximum Number of Abelian Squares

A class of polynomial recurrences resulting in $(n/\log n, n/\log^2n)$-asymptotic normality

Asymptotic and non-asymptotic results for a binary additive problem involving Piatetski-Shapiro numbers

Improved Bounds For Some Asymptotic Formulas for Counting Words in Shift Spaces

On the number of return words in infinite words with complexity 2n+1

Counting Finite Languages by Total Word Length

Central limit theorems for additive functionals and fringe trees in tries

Structure and growth of $\mathbb{R}$-bonacci words

Extremal Binary PFAs with Small Number of States