Search arXiv⌕ Search

arXiv · 2610.04298

Exact Net-Occurrence Counts in Purely Morphic Regular Epistandard Words

Abstract

Finite Fibonacci words have recently been shown to contain exactly three net occurrences---occurrences of repeated factors whose one-letter left and right extensions are unique. This unexpectedly small constant raises a natural question: is it peculiar to the Fibonacci recurrence, or part of a broader morphic phenomenon? We study a family over the alphabet $\{0,1,\ldots,d-1\}$ determined by positive integers $e_0,\ldots,e_{d-1}$. For each letter $a$, let $L_a$ be the morphism that fixes $a$ and maps every other letter $b$ to $ab$; we consider the finite approximants $S_m=μ^m(0)$ generated by $μ=L_0^{e_0}\cdots L_{d-1}^{e_{d-1}}$. These words are the period-aligned finite approximants of the purely morphic regular epistandard family considered here. We prove a sharp dichotomy: for every $m\ge2$, $S_m$ has exactly three net occurrences when $e_{d-1}=1$, and exactly two when $e_{d-1}\ge2$; the initial approximant is also completely classified. The proof combines palindromic prefixes, return-word factorizations, and overlapping net-occurrence covers. As a consequence, when all exponents are equal to one---the standard $d$-bonacci case---every noninitial period-aligned finite approximant has exactly three net occurrences, placing the Fibonacci phenomenon in a wider epistandard framework.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Simone Faro, Arianna Pavone. 2026-10-03. Exact Net-Occurrence Counts in Purely Morphic Regular Epistandard Words. https://arxiv.org/abs/2610.04298

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

KEEP EXPLORING

Related papers

Complexity of decision problems for hyperedge replacement grammars

This paper investigates complexity of various decision problems for hyperedge replacement grammars, starting with the uniform membership problem. It turns out that the complexity of the latter problem depends on how one defines a hypergraph. There are two commonly used definitions in the field, which differ in whether repetitions of attachment nodes of a hyperedge are allowed in a hypergraph or not. We show that, for arbitrary grammars, the problem under consideration is EXPTIME-complete, even for string-generating hyperedge replacement grammars, but it is NP-complete if repetitions are not allowed. We extend the developed proof techniques in order to prove a general EXPTIME-hardness result that covers a lot of decision problems concerning hyperedge replacement grammars. In particular, checking whether a grammar generates some graph satisfying a property that cannot be recovered from its multiset of hyperedge labels is EXPTIME-hard. We call such properties non-Parikh. They include such well-known graph-theoretic properties as e.g.~connectedness, Eulerianity, Hamiltonianity, acyclicity. A tight upper bound is established for EXPTIME-compatible properties via the Filter Theorem.

cs.FL↗

On the probability of being synchronizable

We prove that a random binary automaton with $n$ states is synchronizing with high probability and the asymptotic is exactly $1-Θ(\frac{1}{n})$ as conjectured in [Cameron, 2011]. We also present a deterministic algorithm which decides whether a given random automaton is synchronizing in expected time linear in $n$ and prove that it is optimal. This is an expanded and heavily revised version of the conference paper [Berlinkov, 2016] with an addition of the algorithmic result described above.

cs.FL↗