[论文解读] Bounds on the frequency of 1 in the Kolakoski word

Elizabeth J. Kupin, Eric Rowland|ArXiv.org|Sep 16, 2008

Linguistics and language evolution参考文献 3被引用 3

一句话总结

本文應用Goulden–Jackson聚集方法，於假設極限定義存在的前提下，對Kolakoski字串中1的極限頻率進行界限估算。研究建立了一個嚴謹的界限：|freq₁(K) − 1/2| ≤ 17/762 ≈ 0.0223，以及一個半嚴謹的界限：≤ 1/46 ≈ 0.0217，支持長期以來的猜想，即頻率恰好為1/2。

ABSTRACT

We use a method of Goulden and Jackson to bound freq_1(K), the limiting frequency of 1 in the Kolakoski word K. We prove that |freq_1(K) - 1/2| <= 17/762, assuming the limit exists, and establish the semi-rigorous bound |freq_1(K) - 1/2| <= 1/46.

研究动机与目标

• 嚴謹界定Kolakoski字串中1的極限頻率，此頻率被猜想為1/2。
• 應用追蹤字母頻率的Goulden–Jackson聚集方法，分析Kolakoski序列中的禁止子字串。
• 透過遞迴擴展禁止子字串集合（使用對稱的樹狀結構），逐步產生更緊緻的界限。
• 探討隨著更多禁止子字串的加入，所觀察到的界限是否趨近於猜想的1/2值。

提出的方法

• 將Goulden–Jackson聚集方法擴展，透過以x₁^{|w|₁}x₂^{|w|₂}t^{|w|}加權的生成函數追蹤字母頻率，其中x₁與x₂分別追蹤1與2的數量。
• 利用自相似的游程長度性質系統性地產生禁止子字串：若某字串的游程長度序列包含禁止子字串，則該字串亦為禁止。
• 透過遞迴的樹狀結構，將已知的禁止子字串以1或2補齊，確保其游程長度序列包含禁止模式。
• 該方法計算生成函數權重(W)為有理函數，分母中x₁次數與總次數的最小比例，即為freq₁(K)的界限。
• 對於較大的集合S_d，透過截斷至N項的級數展開近似生成函數，並使用x₁次數與長度的最小比例以推導界限。
• 對最小次數序列的漸近分析揭示線性擬多項式結構，進而可估算最小比例的極限，從而得出freq₁(K)的界限。

实验结果

研究问题

• RQ1 在極限定義存在的前提下，Kolakoski字串中1的極限頻率的最緊緻界限為何？
• RQ2 隨著更多禁止子字串的加入，追蹤頻率的Goulden–Jackson聚集方法能否產生越來越緊緻的界限？
• RQ3 x₁次數與字串長度的最小比例序列是否收斂至某極限，且該極限所對應的界限接近1/2？
• RQ4 禁止子字串集合中的對稱性是否被保留？該對稱性是否確保界限對稱於1/2？
• RQ5 對級數係數的實驗分析，能否導出優於分母所得嚴謹界限的半嚴謹界限？

主要发现

• 本文建立了一個嚴謹界限：|freq₁(K) − 1/2| ≤ 17/762 ≈ 0.0223097，此結果來自d=5個禁止子字串之生成函數的級數展開。
• 透過外推d=5時最小比例序列的漸近行為，獲得一個半嚴謹界限：|freq₁(K) − 1/2| ≤ 1/46 ≈ 0.0217391。
• 當d=5時，最優界限出現在n=762，此時x₁次數與長度的最小比例為33/69，因此ε = 1/2 − 33/69 = 17/762。
• 對於d=5，pₙ(x₁,x₂)中x₁的最小次數遵循模69的線性擬多項式結構，且最大值在n=69m+3（m≥3）處出現。
• d=5時最小比例序列的極限為33/69 = 11/23，暗示真正界限可能為1/46，此值比嚴謹界限17/762更緊緻。
• 對於d=6，前600項的級數顯示與d=5相同的最小比例模式，顯示相同的擬多項式結構很可能成立，支持半嚴謹界限1/46。