研究課題/領域番号 |
19K11815
|
研究種目 |
基盤研究(C)
|
配分区分 | 基金 |
応募区分 | 一般 |
審査区分 |
小区分60010:情報学基礎論関連
|
研究機関 | 秋田大学 |
研究代表者 |
|
研究期間 (年度) |
2019-04-01 – 2024-03-31
|
研究課題ステータス |
交付 (2022年度)
|
配分額 *注記 |
4,030千円 (直接経費: 3,100千円、間接経費: 930千円)
2021年度: 1,430千円 (直接経費: 1,100千円、間接経費: 330千円)
2020年度: 1,300千円 (直接経費: 1,000千円、間接経費: 300千円)
2019年度: 1,300千円 (直接経費: 1,000千円、間接経費: 300千円)
|
キーワード | combinatorics on words / repetitions / squares / distinct squares / upper bounds / square network / distinguished positions / Repetitions / Squares / Combinatorics on words / Distinct repetitions |
研究開始時の研究の概要 |
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.
|
研究実績の概要 |
In the last year we managed to extend the technique of anchor positions to represent repetitions with exponents higher than 2. Using this, we showed that our cluster size conjecture holds for single chains of repetition roots with arbitrary integer exponent. We also showed that the bounds given for single chains are optimal by a constructive proof yielding sequences of clusters for any combination of cluster sizes allowed within the bounds. These results have been published in DCFS 2022. A big development from last year was the solution of the Fraenkel-Simpson conjecture by Li and Brlek using properties of Rauzy graphs. We tried to extend their arguments to so called extended Rauzy graphs to prove our clusters conjecture in the general case. The paper presenting those results is under work as of now.
|
現在までの達成度 (区分) |
現在までの達成度 (区分)
2: おおむね順調に進展している
理由
Due to the recent proof of the square conjecture by Li and Brlek, we changed strategy but the goal remains the same. Their Rauzy graph method is very powerful and it looks like we can employ it to prove our more general conjecture more easily than using the anchors directly.
|
今後の研究の推進方策 |
At the moment we are working on the details of extending the Rauzy graph concept and adapting Li and Brlek's method to that more general setting to finish the proof of the clusters conjecture in the general case. We will look into possible small improvements of the bound away from n. We will also investigate the optimality of the bounds given by the conjecture in the sense mentioned earlier for single chains: for arbitrary cluster sizes allowed within the bounds try to find a sequence of repetitions whose roots form clusters of those given sizes.
|