Search arXivSearch

arXiv · 2509.11172

New examples of words for which binomial complexities and subword complexity coincide

Abstract

The complexity of an infinite word can be measured in several ways, the two most common measures being the subword complexity and the abelian complexity. In 2015, Rigo and Salimov introduced a family of intermediate complexities indexed by $k\in\mathbb{N}_{>0}$: the $k$-binomial complexities. These complexities scale up from the abelian complexity, with which the $1$-binomial complexity coincides, to the subword complexity, to which they converge pointwise as $k$ tends to $+\infty$. In this article, we provide four classes of $d$-ary infinite words -- namely, $d$-ary $1$-balanced words, words with subword complexity $n\in\mathbb{N}_{>0}\mapsto n+(d-1)$ (which form a subclass of the so-called quasi-Sturmian words), hypercubic billiard words, and words constructed by repeated Sturmian colorings -- for which this scale ``collapses'', that is, all $k$-binomial complexities, for $k\geq 2$, coincide with the subword complexity. This work generalizes a result of Rigo and Salimov, established in their seminal paper from 2015, which asserts that the $k$-binomial complexity of any Sturmian word coincides with its subword complexity whenever $k\geq 2$.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Léo Vivion. 2026-02-26. New examples of words for which binomial complexities and subword complexity coincide. https://arxiv.org/abs/2509.11172

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Rooted Spider Embeddings and the Erd\H os-Sós Conjecture

Under a local density condition, we prove that every $k$-edge spider embeds at any prescribed center of degree at least $k$, unless all legs are even and the host graph has one of two specified structures. These structures contain complete bipartite subgraphs with prescribed neighborhoods. The proof uses path rerouting and three exchange lemmas that describe equality in neighborhood estimates. As a consequence, we recover the Erd\H os-Sós bound for all spiders.

math.CO

Generalized Goulden-Yong duals and signed minimal factorizations

In this paper, we give two combinatorial ways to study signed exceptional sequences. First, we show the equivalence between one-way reflections and relatively projective representations. Secondly, we construct generalized Goulden-Yong duals using reverse Garside element actions and folded chord diagrams. We then give two applications of the generalized Goulden-Yong duals: constructing generalized Prüfer codes and counting signed factorizations using the matrix-tree theorem.

math.CO

Explicit expressions for iterates of power series

We present several formulas for both the discrete and fractional iterates of an invertible power series $f$, using a new unifying approach based on umbral calculus. Known formulas are extended, and their proofs simplified, while new expressions are introduced. In particular, by employing $q$-calculus identities, we eliminate the requirement for $f'(0)$ to equal $1$ and the resulting general expressions for the iterative logarithm are obtained as well.

math.CO