[论文解读] An optimal bound on the solution sets of one-variable word equations and its consequences

Dirk Nowotka, Aleksi Saarela|arXiv (Cornell University)|May 24, 2018

semigroups and automata theory被引用 6

一句话总结

本文確立了一個變數字串方程最多三組解的最優上界，證明此類方程或有無限多組解，或最多三組。作為結果，本文推導出常數-free 三變數字串方程獨立系統大小的首個有限上界——17，解決了字串組合數學中長期懸而未決的問題。

ABSTRACT

We solve two long-standing open problems on word equations. Firstly, we prove that a one-variable word equation with constants has either at most three or an infinite number of solutions. The existence of such a bound had been conjectured, and the bound three is optimal. Secondly, we consider independent systems of three-variable word equations without constants. If such a system has a nonperiodic solution, then this system of equations is at most of size 17. Although probably not optimal, this is the first finite bound found. However, the conjecture of that bound being actually two still remains open.

研究动机与目标

• 解決長期懸而未決的開放問題：一變數字串方程解集最大有限大小為何？
• 建立常數-free 三變數字串方程獨立系統大小的首個有限上界，且其解為非週期性。
• 證明若獨立系統具備非週期性解，則其方程數量不超過 17 組。
• 強化一變數方程解集與多變數方程系統結構之間的關聯。
• 為理解字串方程系統中獨立性的極限（特別是三變數情形）提供基礎步驟。

提出的方法

• 運用先前字串方程研究中的先進技術，特別是 [18] 所發展的解結構分析方法。
• 應用長度保持的同態 $ f = g \circ \mathrm{psw} $，轉換方程並分析解集，同時保留關鍵結構性質。
• 運用零和序列與字串方程中前綴-後綴關係的概念，以限制解的長度與週期性。
• 使用引理 6.1，透過同態 $ h $ 將方程映射至固定長度的字母表，進而分析解的重複性。
• 應用引理 6.9，證明某些轉換後的方程具有空解，進而於最小性假設下導致矛盾。
• 結合定理 2.6（無限解集）與引理 2.7（解集大小邊界）的結果，推導出解集的有限性與大小限制。

实验结果

研究问题

• RQ1 一變數字串方程（含常數）最多可有多少組有限解？
• RQ2 若一常數-free 三變數字串方程獨立系統具備非週期性解，是否可能超過 17 組方程？
• RQ3 是否存在常數-free 三變數字串方程獨立系統大小的有限上界，且其解為非週期性？
• RQ4 一變數方程的解集大小與多變數系統的獨立性及大小之間有何關聯？
• RQ5 三變數系統的 17 上界是否可改進，或此界是否為緊緻？

主要发现

• 含常數的一變數字串方程，其解集或為無限多組，或最多三組，且此三組的上界為最優。
• 一變數方程解集大小存在有限上界的事實，可推導出常數-free 三變數方程獨立系統大小的有限上界。
• 具備非週期性解的常數-free 三變數方程獨立系統，其方程數量最多為 17 組。
• 若系統不強制要求具備非週期性解，則最大大小不超過 18 組；但當存在非週期性解時，上界仍為 17。
• 證明過程依賴於同態轉換與結構性引理所導出的矛盾，進而限制解的長度與週期性。
• 此結果確立了三變數方程獨立系統大小的首個有限上界，儘管預期上界為 2 的猜測仍待證明。