종이접기 문자열에 무한한 아벨리안 멱 존재

초록

이 논문은 모든 종이접기 무한 문자열이 임의의 크기 m에 대해 아벨리안 m‑멱을 포함한다는 사실을 증명한다. 핵심은 종이접기 규칙을 수학적으로 모델링하고, 특정 구간의 −1(‘하이’) 발생 빈도를 계층적으로 분석하여 벡터 합산이 일정해지는 구성을 찾는 것이다.

상세 분석

논문은 먼저 종이접기 단어를 이진 알파벳 {1,−1} 로 표현하고, 접기 지시열 b₀b₁b₂…을 이용해 f₁f₂…을 정의한다. 각 위치 i에 대해 f_i = (−1)^{j} b_k 로 나타내며, 여기서 i = 2^{k}(2j+1) 이다. 아벨리안 m‑멱은 길이 d인 블록 w₀,w₁,…,w_{m−1}이 서로 순열 관계에 있을 때 성립한다. 이를 확인하기 위해 저자는 −1의 “order k” 발생 횟수 D_{k,b}(ℓ,n) 를 정의하고, D_{k,b}(ℓ,n)=⌊(n−ℓ)/2^{k+2}⌋+ε_{k,b}(ℓ,n) 형태의 근사식을 증명한다. ε는 구간 끝부분에 추가로 발생하는 −1을 0·1 값으로 표시한다.

핵심 아이디어는 Δ(s,d,m) 라는 벡터를 도입하는데, 이는 길이 d인 연속 블록 m개가 각각 갖는 ε값을 차원별로 합산한 결과이다. Δ가 상수 벡터가 되면 해당 구간은 아벨리안 m‑멱이 된다. 저자는 Lemma 3에서 두 Δ‑벡터의 가법성을 보여준다: 적절한 짝수 r와 조건 (5)를 만족하면 Δ(s,d,m)+Δ(s′,d′,m)=Δ(s+2^{r}s′, d+2^{r}d′, m) 가 성립한다. 이는 작은 Δ들을 반복적으로 합쳐 큰 Δ를 만들 수 있음을 의미한다.

다음으로 Lemma 4와 Lemma 6을 통해 “고차 −1이 없는” 구간 ℓ_t 를 구성한다. ℓ_t 는 b_t,…,b_{t+3} 의 값에 따라 정의되며, 길이 2^{t}+2−1 의 구간 안에는 order k≥t 인 −1이 전혀 존재하지 않는다. 이를 이용해 특정 (s,d) 쌍에 대해 E_{k,b}(s,d,m) 가 0이 되는 구간을 다수 확보한다.

Lemma 7은 이러한 구간들을 일정한 간격 u 로 이동시켜 Δ 벡터들의 합이 완전히 일정함을 보인다. 구체적으로 D = Σ_{p=0}^{2^{t−u}−1} Δ(ℓ_t−1+2up, 2u, 2t−u) 가 모든 좌표에서 동일한 값을 갖는다.

마지막으로 Theorem 8은 위 결과들을 조합한다. 임의의 m=2q 를 잡고, 충분히 큰 t와 u (t−u=q) 를 선택한다. b_u−1…b_{t+2} 가 무한히 반복되는 구간을 찾아 Lemma 3을 반복 적용해 s_j, d_j (j=1…m)를 구성한다. 각 단계에서 Δ(s_j,d_j,m) 은 이전 단계의 Δ에 Δ(ℓ_t−1+2u·p,2u,m) 를 더한 형태가 되며, Lemma 7에 의해 최종 Δ(s_m,d_m,m) 은 상수 벡터가 된다. 따라서 f_{s_m+1}…f_{s_m+md_m} 은 아벨리안 m‑멱을 이룬다.

전체 증명은 종이접기 문자열의 구조적 규칙성을 정밀히 파악하고, 모듈러 연산과 계층적 카운팅을 통해 복잡한 패턴을 선형 대수적 벡터 합으로 환원한 점이 혁신적이다. 특히 Δ‑벡터의 가법성을 이용해 작은 “빌딩 블록”을 무한히 확장하는 방법은 다른 자동수열에서도 유사한 아벨리안 멱 존재성을 탐구하는 데 유용한 틀을 제공한다.