Complexity functions of infinite sequences

We address the inverse problem for complexity functions of infinite words, which asks which functions can occur as complexity functions of infinite words. We survey our recent advances on this problem and several of its ramifications. We describe an asymptotic solution to the inverse problem, realizing every function satisfying two necessary conditions as the complexity function of an infinite word up to asymptotic equivalence. We then turn to phenomena beyond asymptotic equivalence, presenting constructions of infinite words with seemingly contradictory behavior of the discrete derivatives of their complexity functions. These lead to a solution of a 1995 problem of Cassaigne and to applications in symbolic dynamics, including the question of convergence of Rauzy graphs, as well as to the growth and asymptotic invariants of algebraic structures.

Authors

Institutions

Publication Details

Journal
Proceedings of the National Academy of Sciences
Published
2026-10-29
DOI
https://doi.org/10.1073/pnas.2627766123
Primary Topic
semigroups and automata theory
Type
article
Field-Weighted Citation Impact
0.00

Funders

Controls
|||
ALL TIME
JAN
FEB
MAR
APR
MAY
JUN
JUL
AUG
SEP
OCT
article

Complexity functions of infinite sequences

Be’eri Greenfeld, Paul-Henry Leemann, Efim Isaakovich Zel'manov, Carlos Gustavo Moreira
Proceedings of the National Academy of Sciences
semigroups and automata theory
article

Complexity functions of infinite sequences

Be’eri Greenfeld, Paul-Henry Leemann, Efim Isaakovich Zel'manov, Carlos Gustavo Moreira
article en

Abstract

We address the inverse problem for complexity functions of infinite words, which asks which functions can occur as complexity functions of infinite words. We survey our recent advances on this problem and several of its ramifications. We describe an asymptotic solution to the inverse problem, realizing every function satisfying two necessary conditions as the complexity function of an infinite word up to asymptotic equivalence. We then turn to phenomena beyond asymptotic equivalence, presenting constructions of infinite words with seemingly contradictory behavior of the discrete derivatives of their complexity functions. These lead to a solution of a 1995 problem of Cassaigne and to applications in symbolic dynamics, including the question of convergence of Rauzy graphs, as well as to the growth and asymptotic invariants of algebraic structures.

Proceedings of the National Academy of SciencesVol. 123(44)
Instituto Nacional de Matemática Pura e Aplicada (BR), City University of New York (US), Southern University of Science and Technology (CN), Hunter College (US), Xi’an Jiaotong-Liverpool University (CN)
Xi’an Jiaotong-Liverpool University, Data Center of Management Science, National Natural Science Foundation of China - Peking University, National Natural Science Foundation of China-Guangdong Joint Fund
Openalex Percentile: Top 14%
semigroups and automata theory
AI Navigator

Ask Laika to Summarize, Analyze, and Connect papers live on the map.

Summarize Papers & Methodologies

Extract key findings, datasets, and comparative methods across publications.

Benchmark Rankings & Visual Analytics

Rank top research institutions, authors, funders, topics, and journals by Field-Weighted Citation Impact (FWCI) and paper volume with instant charts.

Connect Distant Disciplines

Bridge topological clusters on the map to find hidden collaborative intersections.

Laika access coming soon
Complexity functions of infinite sequences — Be’eri Greenfeld, Paul-Henry Leemann, et al. · Proceedings of the National Academy of Sciences (2026) | TGRS Research Map | TGRS