Clusters of repetition roots
| Project/Area Number |
19K11815
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research (C)
|
| Allocation Type | Multi-year Fund |
|---|
| Section | 一般 |
|---|
| Review Section |
Basic Section 60010:Theory of informatics-related
|
|---|
| Research Institution | Akita University |
|---|
Principal Investigator |
|
|---|
| Project Period (FY) |
2019-04-01 – 2024-03-31
|
| Project Status |
Completed (Fiscal Year 2023)
|
| Budget Amount *help |
¥4,030,000 (Direct Cost: ¥3,100,000、Indirect Cost: ¥930,000)
Fiscal Year 2021: ¥1,430,000 (Direct Cost: ¥1,100,000、Indirect Cost: ¥330,000)
Fiscal Year 2020: ¥1,300,000 (Direct Cost: ¥1,000,000、Indirect Cost: ¥300,000)
Fiscal Year 2019: ¥1,300,000 (Direct Cost: ¥1,000,000、Indirect Cost: ¥300,000)
|
|---|
| Keywords | repetitions in strings / distinct squares / upper bound / combinatorics on words / stringology / repetitions / squares / upper bounds / square network / distinguished positions / Repetitions / Squares / Combinatorics on words / Distinct repetitions |
|---|
| Outline of Research at the Start |
The main questions in this research project are: how many repetition occurrences and how many unique repetition types (distinct repetitions) can there be in a word (sequence)? I aim to improve existing bounds for distinct repetitions, in particular, tackling a famous conjecture by Fraenkel and Simpson on the number of squares. I propose a fresh approach to understand the structure of distinct repetitions through clusters of their roots, which is expected to lead to improvements in the bounds and provide an easy, visually informative way of presenting their proofs.
|
| Outline of Annual Research Achievements |
In the final year of the grant we worked on the extension of Brlek and Li's result concerning the upper bound on distinct repetitions in strings. They proved the upper bound equal to the length of the string divided by the exponent minus one, using an approach with Rauzy graphs.
We managed to extend the approach to prove our conjecture regarding the clusters of distinct repetition roots: the cluster of each root U is strictly larger than the number of distinct repetition roots that have U as a prefix. This is a stronger result, which implies the upper bound on the number of distinct repetitions proved by Brlek and Li. The method used is an extension of the Rauzy graph approach, introducing x-prefixed Rauzy graphs for each distinct root x.
The manuscript with the final results is in preparation.
Our result will open up new directions for investigating repetitions in strings by considering the nested cluster structures of the repetition roots, and studying what structures allow for high repetition density in the strings. We showed earlier that our lower bound on cluster sizes is optimal when the roots are linearly ordered by the prefix relation. An interesting question to pursue is whether the lower bound is optimal when the roots form a non-linear partial order under the prefix relation.
|
Report
(5 results)
Research Products
(14 results)
