[논문 리뷰] Gowers norms for automatic sequences

Jakub Byszewski, Jakub Konieczny외 1명|arXiv (Cornell University)|2020. 02. 21.

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

한 줄 요약

이 논문은 자동 수열을 구조적인(유리적 거의 주기적) 부분과 고우어스 균일 부분으로 더 정교하게 분해함으로써 산술 정규성 보조정리보다 크게 향상된 결과를 도출한다. 주기적 수열과 상관관계가 없는 자동 수열은 매우 고우어스 균일하며, 이를 응용하여 자동 집합 내에서 긴 등차수열의 수에 대한 비자명한 하한을 도출한다. 이러한 결과는 진폭이 5 이상일 경우 일반 집합에서는 성립하지 않음을 보여준다.

ABSTRACT

62 pages

연구 동기 및 목표

• 산술 정규성 보조정리가 보장하는 것보다 더 효율적으로 자동 수열의 구조적 부분과 균일 부분을 분리하여 분해를 정교화하는 것.
• 주기적 수열과 수직인 자동 수열가 매우 고우어스 균일함을 증명함으로써, 투-모르스 및 루딘-샤비어 수열에 대한 기존 결과를 확장하는 것.
• 균일성 결과를 응용하여 자동 집합 내 긴 등차수열의 수에 대한 정량적 하한을 도출하는 것.
• 진폭이 5 이상일 경우 일반 ℕ₀의 부분집합에서는 이러한 하한이 성립하지 않음을 보여주어 자동 수열의 특수한 구조를 부각하는 것.

제안 방법

• 유한 오토마타에 의해 생성되는 자동 수열에서 허위 무작위성의 정도를 측정하기 위해 고우어스 균일성 노름을 사용하는 것.
• 제한된 설정에서 고우어스 노름의 역정리를 적용함으로써, 오토마타의 구조를 활용해 전체 니르시퀀스 복잡성의 회피를 도모하는 것.
• 유리적 거의 주기적(RAP) 수열을 구조적 구성요소로 도입하고, 베식로비치 미터릭에서 주기적 수열에 의한 근사로 정의하는 것.
• 오토마타의 군 확장 프레임워크에서 특징 인자를 구성하는 것. 특히 가역 군 확장과 정규부군을 사용하여 균일 구성요소를 분리하는 것.
• 오토마타의 준말 구조와 단어 역학을 활용하여 상태와 레이블에 대한 수열의 작용을 분석하는 것. 특히 동기화 단어와 군 레이블을 활용하는 것.
• 반복적인 비구분 인자 구성과 군 확장 축소를 통한 증명을 통해, ℤ(m)과 동형이면서 m이 k−1를 나누는 특징 인자가 존재함을 보이는 것.

실험 결과

연구 질문

• RQ1 산술 정규성 보조정리가 보장하는 것보다 더 효율적으로 자동 수열을 구조적 부분과 고우어스 균일 부분으로 분해할 수 있는가?
• RQ2 어떤 조건에서 자동 수열이 매우 고우어스 균일한가, 특히 주기적 수열과의 상관관계와의 관계에서?
• RQ3 고우어스 균일성의 정량적 함의는 자동 집합 내 등차수열 분포에 어떤 영향을 미치는가?
• RQ4 왜 진폭이 5 이상일 경우 일반 ℕ₀의 부분집합에서는 등차수열 수에 대한 결과가 성립하지 않지만, 자동 집합에서는 성립하는가?

주요 결과

• 주기적 수열과 상관관계가 없는 모든 자동 수열은 매우 고우어스 균일하며, 이는 Gowers 균일성 노름이 N에 대해 다항적으로 감소함을 의미한다.
• 강한 연결성과 연장 가능성을 갖는 오토마타에 대해서는 자동 수열이 유리적 거의 주기적 부분과 매우 고우어스 균일한 부분으로 분해됨을 보장한다.
• 분해에서 구조적 구성요소는 유리적 거의 주기적이며, 이는 밀도적으로 주기적 수열에 의해 근사 가능한 수열의 클래스이다.
• 이 논문은 임의의 l ≥ 2에 대해 자동 집합 내 l항 등차수열의 수에 대한 비자명한 하한을 확립한다. 이 하한은 오토마타의 구조에 따라 달라진다.
• l ≥ 5일 경우 일반 ℕ₀의 부분집합에서는 이러한 하한이 성립하지 않음을 보여, 자동 수열의 특수한 허위 무작위성 성질을 입증한다.
• 효율적인 군 확장에서 자동 수열에 대해 ℤ(m)과 동형인 특징 인자가 존재함을 입증하였으며, m이 k−1를 나눈다는 점을 확인함으로써 구조적 강성(structural rigidity)을 확인한다.