[논문 리뷰] There are More Than 2**(n/17) n-Letter Ternary Square-Free Words

Doron Zeilberger|ArXiv.org|1998. 09. 23.

semigroups and automata theory참고 문헌 2인용 수 3

한 줄 요약

이 논문은 n글자의 삼진 제곱 없는 단어의 수가 2^(n/17)를 초과함을 증명하여 삼진 제곱 없는 단어의 연결 상수에 대한 새로운 하한을 설정한다. 더 정교한 조합적 구성 방법을 사용하여 도른 지일버거는 브링크하우스와 브란두버그가 이전에 제시한 하한을 향상시켰으며, 1983년 이후로 처음으로 중요한 진전을 이룩했고, 이전에 알려진 바보다 더 높은 기저를 가진 지수적 성장을 보여주었다.

ABSTRACT

We prove that the `connective constant' for ternary square-free words is at least $2^{1/17} = 1.0416 ... $, improving on Brinkhuis and Brandenburg's lower bounds of $2^{1/24}=1.0293 ...$ and $2^{1/22}=1.032 ...$ respectively. This is the first improvement since 1983.

연구 동기 및 목표

• n글자의 삼진 제곱 없는 단어의 수에 대해 더 강력한 하한을 확립하기 위해.
• 브링크하우스와 브란두버그가 이전에 제시한 연결 상수 추정치를 향상시키기 위해.
• 조합론적 단어 이론에서 오랫동안 미해결된 문제를 해결하기 위해, 더 날카로운 지수적 하한을 제공하기 위해.
• 삼진 제곱 없는 단어의 성장률이 글자당 2^(1/17)를 초과함을 보여주기 위해.

제안 방법

• 저자는 삼진 제곱 없는 단어의 대량을 생성하기 위해 구성적 방법을 사용한다.
• 특정 치환 체계가 제곱 없는 성질을 보장하면서도 단어 수를 최대화하도록 설계된다.
• 유효한 단어의 수를 제한하기 위해 재귀적 수세기 기법을 사용하여 구성법을 분석한다.
• 삼진 알파벳에서 제곱 없는 단어의 구조적 성질을 식별하고 이를 활용하는 데 의존한다.
• 이 증명은 이러한 단어의 수가 적어도 2^(n/17)만큼 증가함을 보여주는 조합적 추론을 사용한다.
• 금지된 제곱 패턴을 피하는 새로운 재귀적 치환 규칙의 적용을 통해 결과가 도출된다.

실험 결과

연구 질문

• RQ1 n글자의 삼진 제곱 없는 단어의 수에 대해 가능한 최선의 하한은 무엇인가?
• RQ2 삼진 제곱 없는 단어의 연결 상수는 이전 추정치를 넘어서 개선될 수 있는가?
• RQ3 큰 n에 대해 2^(n/24)개 이상의 이러한 단어를 생성할 수 있는 구성적 방법이 존재하는가?
• RQ4 삼진 제곱 없는 단어의 성장률에 대해 2^(1/22)보다 더 높은 지수적 기저가 존재하는가?
• RQ5 새로운 조합적 구성법이 이 분야에서 1983년대 기준 하한을 뛰어넘을 수 있는가?

주요 결과

• n글자의 삼진 제곱 없는 단어의 수는 2^(n/17)를 초과하며, 이는 새로운 하한을 설정한다.
• 삼진 제곱 없는 단어의 연결 상수는 최소 2^(1/17) ≈ 1.0416이다.
• 이 결과는 브링크하우스의 하한 2^(1/24) ≈ 1.0293과 브란두버그의 하한 2^(1/22) ≈ 1.032를 향상시킨다.
• 이 개선은 1983년 이후로 이 문제에 대해 처음으로 이루어진 진전이다.
• 이 구성법은 이러한 단어의 성장률이 이전에 확립된 바보다 훨씬 높다는 것을 보여준다.
• 이 방법은 지수적 성장을 보이는 대량의 제곱 없는 단어를 생성할 수 있는 구체적이고 명시적인 방법을 제공한다.