[논문 리뷰] An optimal bound on the solution sets of one-variable word equations and its consequences

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

semigroups and automata theory인용 수 6

한 줄 요약

이 논문은 일변수 단어 방정식에 대해 최적의 상한값 3개의 해를 확립하며, 이러한 방정식은 해가 무한히 많거나 최대 3개임을 증명한다. 그 결과로, 비주기적 해를 가진 상수 없는 삼변수 단어 방정식의 독립적 시스템의 크기에 대해 처음으로 유한한 상한값 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.

연구 동기 및 목표

• 일변수 단어 방정식의 해 집합의 최대 유한 크기에 관한 오랫동안 미해결이었던 열린 문제를 해결하기 위해.
• 상수 없는 삼변수 단어 방정식의 독립적 시스템의 크기에 대해 처음으로 유한한 상한값을 설정하기 위해.
• 해가 비주기적일 경우, 이러한 시스템이 17개를 초과할 수 없음을 증명하기 위해.
• 일변수 방정식의 해 집합과 다변수 시스템의 구조 간의 관계를 강화하기 위해.
• 특히 삼변수 케이스에서 독립성의 한계를 이해하기 위한 기초 단계를 제공하기 위해.

제안 방법

• 이전 연구에서 개발된 단어 방정식 분석 기법, 특히 [18]에서 제시된 해 구조 분석 기법을 응용한다.
• 길이를 유지하는 호모모르피즘 $ f = g \circ \mathrm{psw} $ 를 적용하여 방정식을 변환하고 해 집합을 분석하면서 핵심적인 구조적 성질을 유지한다.
• 단어 방정식에서의 제로합 수열과 접두사-접미사 관계 개념을 사용하여 해의 길이와 주기성을 제약한다.
• 레마 6.1을 활용하여 고정 길이의 알파벳으로 사상하는 호모모르피즘 $ h $ 를 통해 방정식을 단순화하고 해의 다중성 분석을 가능하게 한다.
• 레마 6.9를 적용하여 특정 변환된 방정식이 빈 해를 가짐을 보여주며, 최소성 가정 하에 모순을 이끌어낸다.
• 정리 2.6(무한 해 집합)과 레마 2.7(해 집합 크기 제약)의 결과를 통합하여 유한성과 크기 제약 조건을 도출한다.

실험 결과

연구 질문

• RQ1 상수를 포함한 일변수 단어 방정식이 가질 수 있는 최대 유한 해의 수는 얼마인가?
• RQ2 비주기적 해를 가진 상수 없는 삼변수 단어 방정식의 독립적 시스템이 17개를 초과하는 방정식을 가질 수 있는가?
• RQ3 상수 없는 삼변수 단어 방정식의 독립적 시스템의 크기에 대해 유한한 상한값이 존재하는가?
• RQ4 일변수 방정식의 해 집합 크기는 다변수 시스템의 독립성과 크기와 어떻게 관련이 있는가?
• RQ5 삼변수 시스템에 대해 17의 상한값을 개선할 수 있는가, 아니면 이것이 최적인가?

주요 결과

• 상수를 포함한 일변수 단어 방정식은 해가 무한히 많거나 최대 3개이며, 이 3개의 상한값은 최적이다.
• 일변수 방정식의 해 집합 크기에 대해 유한한 상한값이 존재한다는 것은, 상수 없는 삼변수 방정식의 독립적 시스템의 크기에 대해서도 유한한 상한값이 존재함을 의미한다.
• 비주기적 해를 가진 상수 없는 삼변수 방정식의 독립적 시스템은 최대 17개의 방정식을 가진다.
• 해가 비주기적일 필요가 없는 경우 최대 크기는 18까지 가능하지만, 비주기적 해가 존재할 경우 상한값은 17로 제한된다.
• 해의 길이와 주기성을 제약하는 구조 레마와 호모모르피즘 기반 변환을 통한 모순 증명에 기반한다.
• 이 결과는 삼변수 방정식의 독립적 시스템 크기에 대해 처음으로 유한한 상한값을 확립하지만, 추측된 상한값 2는 여전히 미해결 상태이다.