원형 슈퍼패턴과 지그재그 구조의 새로운 접근

초록

본 논문은 순환 등가성을 고려한 원형 k‑슈퍼패턴을 정의하고, 선형 (k‑1)‑슈퍼패턴을 한 원소만 추가해 원형 k‑슈퍼패턴으로 전환하는 간단한 구성법과 그 길이에 대한 상한을 제시한다. 또한 Engen‑Vatter의 지그재그 단어를 원형 환경에 맞게 변형한 점수 함수와 패리티 분석을 도입하여, k가 홀수일 때 지그재그 구조가 원형 슈퍼패턴을 생성할 수 있음을 제안하고, 작은 k에 대한 컴퓨터 실험으로 검증한다.

상세 분석

이 논문은 기존의 선형 슈퍼패턴 연구를 원형(permutation on a circle)이라는 새로운 차원으로 확장한다. 먼저, 순환 회전(rotation)으로 서로 동등한 패턴을 하나의 등가 클래스로 묶는 ‘circular containment’ 개념을 정의하고, 이를 만족하는 최소 길이 L_circ(k)를 연구한다. 핵심 정리 3.1은 임의의 선형 (k‑1)‑슈퍼패턴 π에 앞에 최대값 L+1을 삽입한 새로운 순열 γ가 모든 k‑길이 순열의 회전 대표를 포함함을 증명한다. 따라서 L_circ(k) ≤ L(k‑1)+1이라는 상한을 얻으며, Engen‑Vatter가 제시한 L(k‑1) ≤ ⌈(k‑1)²/2⌉+½ 를 대입하면 L_circ(k) ≤ ⌈k²/2⌉‑k+2 가 된다. 이 상한은 k=4,5에 대해 실제 최적값과 근접함을 예시로 보여준다.

다음으로, Engen‑Vatter의 ‘zigzag’ 단어 zz(m,q)를 원형 상황에 맞게 재해석한다. 각 원소의 짝수·홀수 패리티를 p_x 로 두고, 두 원소 x, y 사이에 필요한 추가 런(run)의 수를 C_xy 로 정의한다. 식 (4.1)에서 제시된 C_xy는 패리티와 순서에 따라 -1,0,1 값을 갖는다. 이를 이용해 순열 σ의 ‘score’ S(σ)=k‑1∑C_{σ_i,σ_{i+1}}+C_{·,σ_1} 를 정의하고, ‘lift identity’ S(σ)+S(σ+)=1 을 증명한다.

원형 버전에서는 C_{·,σ(1)} 를 마지막 원소와의 연결로 바꾸어 ‘circular score’ S_c(σ)=∑{i=1}^k C{σ_i,σ_{i+1 (mod k)}} 를 도입한다. 여기서도 ‘circular lift identity’ S_c(σ)+S_c(σ+)=0 가 성립한다. 중요한 결과는 Lemma 4.8 로, k가 홀수이면 어떤 σ에 대해서도 S_c(σ)≠0 이므로 S_c(σ) 혹은 S_c(σ+) 가 음수가 된다. 이는 σ 혹은 σ+ 를 k‑1개의 런 안에 정확히 삽입할 수 있음을 의미하고, 따라서 zz(k‑1,k+1) 안에 회전 형태로 반드시 포함된다. 이를 바탕으로 Theorem 4.9 가 증명되어, 홀수 k에 대해 지그재그 구조가 원형 슈퍼패턴을 생성할 후보임을 제시한다.

짝수 k에 대해서는 대칭성이 깨져서 동일한 강력한 결과를 얻지 못하고, 대신 Theorem 4.10 에서 모든 k‑길이 패턴이 zz(k‑1,k+1) 안에 ‘order‑isomorphic’ 원형 부분수열로 포함된다는 약한 형태만을 보인다.

마지막으로, 저자들은 Engen‑Vatter의 ‘breaking ties’ 절차를 원형에 적용해 실제 순열을 구성하고, k가 홀수인 경우에만 이 순열이 원형 슈퍼패턴이 됨을 실험적으로 확인한다. k=3,5,7 등에 대해 완전 탐색을 수행해 제안된 지그재그 기반 구조가 최적에 가깝거나 최적임을 보여준다.

이 논문은 원형 슈퍼패턴이라는 새로운 개념을 정의하고, 기존 선형 결과를 활용한 간단한 상한 구축법과, 지그재그 구조를 원형에 맞게 변형한 점수 이론을 통해 홀수 길이에 대한 강력한 존재론적 결과를 제공한다. 또한, 패리티 기반 비용 모델을 도입함으로써 순열 삽입 문제를 정량적으로 분석하고, 향후 더 나은 상한이나 짝수 k에 대한 정확한 구조를 탐구할 수 있는 토대를 마련한다.