Smallest String Attractors and Minimal Coverage Certificates of Thue--Morse Words P392PEVRAY

URI	`m2://res/P392PEVRAY`
Kind	preprint
Creators	Simone Faro, Francesco Pio Marino, Arianna Pavone
Date	2026-10-07
MSC	05-XX
Subjects	arxiv math.CO, arxiv cs.DS, arxiv cs.FL
Scope	in

Expressions

The mentions of the inventory that name this resource. Each name links to the card of its inventory row.

Item	Kind	Where	Source
Reflection	statement	lemma 5.3	arxiv
Exact certificate for arbitrary attractors	statement	corollary 6.8	arxiv
Canonical antichain	statement	lemma 6.6	arxiv
MUS lifting	statement	lemma 4.3	arxiv
Sixteen-witness lemma	statement	lemma 5.1	arxiv
Paired boundaries	statement	lemma 5.2	arxiv
Centered-occurrence property --- preview	statement	theorem 3.3	arxiv
Canonical irredundancy	statement	lemma 6.9	arxiv
Factor synchronization and critical descent	statement	lemma 6.3	arxiv
Two-sided frequency criticality	definition	definition 6.1	arxiv
Optimality of the three-generation depth	statement	proposition 5.7	arxiv
Complete stable characterization	statement	theorem 5.4	arxiv
The exceptional order four	statement	proposition 7.2	arxiv
Kishi et al.	statement	theorem 4.1	arxiv
Sixteen-factor certificate	statement	corollary 5.5	arxiv
String attractor	definition	definition 3.1	arxiv
Synchronization	statement	lemma 4.2	arxiv
Minimal factor coverages of Thue--Morse words	statement	theorem 6.7	arxiv
MUS coverage geometry	statement	lemma 6.5	arxiv
The exceptional order five	statement	proposition 7.1	arxiv
Critical representatives	statement	lemma 6.2	arxiv
Minimal-coverage reduction	statement	proposition 3.2	arxiv
Classification of possible minimal representatives	statement	lemma 6.4	arxiv
Three-generation MUS certificate	statement	corollary 5.6	arxiv