[논문 리뷰] Computations for symbolic substitutions

D. M. Rust, Scott Balchin|arXiv (Cornell University)|2017. 05. 30.

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

한 줄 요약

이 논문은 기호 동역학에서의 기호 치환 분석을 위한 사용자 친화적인 계산 도구인 Grout을 제시한다. 주로 코homology와 강한 일치 추측의 검증을 포함한 위상적 불변량을 계산하는 데 초점을 맞추고 있다. 저자들은 단정적 알고리즘을 구현하여 고유값의 절댓값이 단위 원과의 상대 위치를 확인하고, 300,000개가 넘는 3글자 및 200,000개가 넘는 4글자 치환에 걸쳐 대규모 검색을 수행하여 강한 일치 추측의 반례를 발견하지 못했다.

ABSTRACT

We provide a survey of results from symbolic dynamics and algebraic topology relating to Grout, a new user-friendly program developed to calculate combinatorial properties and topological invariants of a large class of symbolic substitutions. We study their subshifts (and related spaces) with an emphasis on examples of computations. We implement a check to verify that no counterexample exists to the so-called "strong coincidence conjecture" for a large number of substitutions on three and four letters.

연구 동기 및 목표

• 기호 치환과 그 위상적 불변량을 분석하기 위한 사용자 우호적인 계산 도구인 Grout를 개발하는 것.
• 치환 행렬의 고유값이 단위 원 위, 안쪽, 또는 바깥쪽에 있는지를 확인하기 위한 강력하고 단정적인 알고리즘을 구현하는 것.
• 3글자 및 4글자 알파벳에 대한 기저가 불가약한 피조트 치환에 대해 강한 일치 추측의 반례를 찾기 위한 대규모 계산적 검색을 수행하는 것.
• 효율적인 추측 검증과 다이어그램 자동 생성을 통해 기호 동역학 및 타일링 이론의 이론적 연구를 지원하는 것.
• 연구자들이 치환 체계의 조합적 및 위상적 성질을 탐색할 수 있도록 확장 가능하고 접근 가능한 플랫폼을 제공하는 것.

제안 방법

• 표준 부동소수점 고유값 해법의 한계를 극복하기 위해 임계값 기반 수렴 방법을 사용하여 고유값 절댓값이 단위 원과 상대적으로 어디에 있는지를 단정적으로 수치적으로 확인하는 방법을 구현한다.
• 치환 규칙의 사전순 정렬(순열 및 반전을 고려하여)을 활용하여 3글자 및 4글자 알파벳에 대한 치환을系통적으로 열거한다.
• 표준 선형대수 기법을 사용하여 고유값을 계산하고, 치환 행렬의 ℤ 위에서의 불가약성을 확인한다.
• Anderson-Putnam 복합체 구성 방법을 활용하여 기저가 불가약한 치환과 관련된 타일링 공간의 Čech 코hom로지를 계산한다.
• 기본적으로 단정적인 알고리즘을 사용하여 원시적 치환에 대해 인식 가능성 검사를 수행하며, 수동 계산과 프로그래밍적 활용 모두에 적합하다.
• 위상 복합체의 TikZ 코드를 자동 생성하고 결과를 LaTeX로 내보내어 레이아웃을 구성함으로써 재현 가능성과 시각화를 향상시킨다.

실험 결과

연구 질문

• RQ1 기호 치환에 대해 높은 사용성으로 코homology 및 기타 불변량을 효율적으로 계산할 수 있는 계산 도구를 개발할 수 있는가?
• RQ2 기저가 불가약한 피조트 치환에 대해 3글자 및 4글자에서 강한 일치 추측이 항상 성립하는가?
• RQ3 고유값이 정확히 단위 원 위에 있을 경우의 경계 케이스에서 수치적 고유값 계산을 신뢰할 수 있도록 만들 수 있는가?
• RQ4 어떤 치환 체계에서도 강한 일치가 나타나기까지 필요한 반복 횟수에 유한한 상한이 존재하는가?
• RQ5 일치 형성에 소요되는 반복 횟수의 패턴이 무한히 많은 반복 횟수를 요구하는 치환의 무한한 가족 존재를 암시할 수 있는가?

주요 결과

• 기저가 불가약한 피조트 치환인 321,425,442개의 3글자 치환 중에서 강한 일치 추측의 반례는 발견되지 않았다.
• 기저가 불가약한 피조트 치환인 200,399개의 4글자 치환 중에서 강한 일치 추측의 반례는 발견되지 않았다.
• 모든 테스트된 치환에서 강한 일치를 달성하는 데 필요한 최대 반복 횟수는 11이었으며, 그 중 10회 반복을 요구한 치환은 오직 2개뿐이었다.
• 반복 횟수의 분포는 급격한 감소를 보였다: 1,921,144개의 치환은 1회 반복 만에 일치를 달성했고, 9회 반복을 요구한 치환은 오직 3개뿐이었다.
• 10회 반복을 요구한 두 치환은 명시적으로 나열되어 있다: 0↦2011, 1↦02, 2↦0 및 0↦212101, 1↦0, 2↦1.
• 반복 횟수가 가장 많은 치환들에서 명백한 패턴은 나타나지 않아, 임의로 많은 반복 횟수를 요구하는 무한한 가족을 구성하는 데에 도움이 되지 못했다.