[논문 리뷰] There are no iterated morphisms that define the Arshon sequence and the $σ$-sequence

Sergey Kitaev|ArXiv.org|2002. 05. 20.

semigroups and automata theory참고 문헌 14인용 수 6

한 줄 요약

이 논문은 아르쇼프 수열과 σ-수열이 그들 각자의 재귀적 구성에도 불구하고 단일 모르피즘의 반복에 의해 생성될 수 없다는 것을 증명한다. 문자 위치와 블록 구조에 대한 직접적인 조합론적 추론을 통해, 모르피즘 기반 생성이 수열의 정의적 성질과 모순됨을 보이며, 특히 홀수 위치에서 1과 3의 분포 및 배수 연산에 대한 행동과 관련하여 그러한 모순이 발생한다.

ABSTRACT

Berstel proved that the Arshon sequence cannot be obtained by iteration of a morphism. An alternative proof of this fact is given here. The $σ$-sequence was constructed by Evdokimov in order to construct chains of maximal length in the n-dimensional unit cube. It turns out that the $σ$-sequence has a close connection to the Dragon curve. We prove that the $σ$-sequence can not be defined by iteration of a morphism.

연구 동기 및 목표

• 위치 기반 치환 규칙에 의해 정의된 아르쇼프 수열이 단일 모르피즘의 반복에 의해 생성될 수 있는지 여부를 규명하는 것.
• 자연수의 2-진 값매김과 관련된 드래곤 커브와 연결된 σ-수열이 모르피즘 반복을 통해 정의 가능할 수 있는지 조사하는 것.
• 코브함의 정리와 같은 고급 도구를 사용하지 않고도 이러한 모르피즘 생성이 불가능함을 직접적이고 초등적인 증명으로 제시하는 것.
• 특히 교대된 기수 규칙이나 2-진 값매김으로부터 유도되는 복잡한 위치 의존성 구조를 가진 수열을 포괄하는 모르피즘 수열의 구조적 한계를 명확히 하는 것.

제안 방법

• 아르쇼프 수열 w에 대해 f(w) = w를 만족하는 모르피즘이 존재한다고 가정하고, 초기 기호 1의 이미지에 미치는 영향을 분석한다.
• 아르쇼프 수열을 3-블록으로 분해한 구조를 활용하여, |f(1)| = 4, 5 및 기타 작은 값들에 대해 모르피즘 생성을 가정했을 때 발생하는 모순을 도출한다.
• 이미지 단어의 길이에 대해 모듈로 3 산술을 적용하여 문자의 위치 배치를 분석하고, 아르쇼프 방법의 치환 규칙과의 일관성 결여를 탐지한다.
• σ-수열의 경우, 그러한 모르피즘이 생성하는 데 있어 1의 이미지가 길이가 4의 배수여야 한다는 것을 증명한다. 이는 홀수 위치에서 1과 3이 교대되는 패턴 때문이므로.
• f²(1)의 이미지를 분석하여, f²(1) 내에서 두 번째 X의 위치가 이중화 및 2-진 값매김에 의해 결정된 위치에서 서로 충돌하는 문자 값(1과 3)을 포함해야 한다는 것을 보여준다.
• 레마 13을 사용하여, 형태 2^t(4s+1) 또는 2^t(4s+3)인 두 수의 곱이 모듈로 4에서 σ-값을 유지함을 보이고, 이를 f²(1)의 6t번째 위치에 적용했을 때 모순이 발생함을 밝힌다.

실험 결과

연구 질문

• RQ1 위치 기반 치환 규칙에 의해 {1,2,3}에서 구성된 아르쇼프 수열이 단일 모르피즘의 고정점으로 생성될 수 있는가?
• RQ2 자연수의 2-진 값매김에 의해 정의되고 드래곤 커브와 연결된 σ-수열이 반복을 통해 모르피즘적으로 생성될 수 있는가?
• RQ3 코브함의 정리와 같은 고급 정리에 의존하지 않고도 이러한 수열의 모르피즘 생성이 불가능함을 직접적이고 초등적인 증명으로 구성할 수 있는가?
• RQ4 홀수 위치에 1과 3이 교대되도록 하는 수열을 생성할 수 있는 모르피즘에 어떤 구조적 제약 조건이 존재하는가?
• RQ5 예를 들어 n → 2n와 같은 색인에 대한 배수 연산의 행동이 2-진 성질에 의해 정의된 수열에서 모르피즘 생성의 일관성에 어떤 영향을 미치는가?

주요 결과

• 모든 가능한 길이 |f(1)| = 4 및 |f(1)| = 5에 대해 모순을 통해 아르쇼프 수열에 대해 f(w) = w를 만족하는 모르피즘 f가 존재하지 않음을 보였다.
• 아르쇼프 수열이 모르피즘의 고정점임을 가정했을 때, 모르피즘 반복 하에서 4번째 및 5번째 블록을 분석함으로써 문자 배치에 모순이 발생함을 보였다.
• σ-수열은 모르피즘의 반복에 의해 생성될 수 없으며, 이는 1의 이미지 길이가 4의 배수여야 하므로 f²(1)의 6t번째 위치에서 충돌하는 문자 값(1과 3)이 발생하기 때문이다.
• σ-수열의 홀수 위치에서의 부분수열은 엄밀히 1과 3이 교대되며, 이 성질은 모르피즘이 수열을 생성할 경우 위배된다.
• 이 모순은 f²(1)의 6t번째 위치가 2-진 구조와 모르피즘 이미지 일관성에 의해 동시에 1과 3을 포함해야 하므로 발생하며, 이는 홀수 위치의 교대 패턴을 위반한다.
• 코브함의 정리와 같은 고급 도구를 회피하여, 위치 분석과 모듈로 산술에 기반한 자가 일관된 초등적 추론을 제공한다.