오른쪽에서 성장하는 회피자: 연산자 이론 접근법

초록

본 논문은 클래식 퍼뮤테이션 패턴 회피 문제를 “오른쪽 삽입” 방식으로 전개하고, 부분 발생 위치(프론티어)를 추적해 만든 전이 연산자를 이중 가중 ℓ∞ 공간에 정의한다. 길이에 대한 2차 페널티를 도입해 연산자를 유계화하고, 그 쌍대 공간에서 Neumann 급수를 전개함으로써 성장 급수의 해석성을 확보한다. 결과적으로 모든 고정 패턴 v에 대해 회피 클래스 Av(v)의 원소 수가 지수적으로 제한됨을 새로운 연산자‑이론 틀 안에서 증명한다.

상세 분석

논문은 먼저 오른쪽 삽입(right‑insertion)이라는 전통적인 레머 코드와 동형인 삽입 과정을 정의한다. 삽입 시 새로운 원소는 가장 오른쪽에 추가되고, 그 값은 1부터 n+1까지의 “랭크” 중 하나로 선택된다. 이때 패턴 v를 완성시킬 위험이 있는 랭크들을 차단하기 위해 저자들은 (k‑1)‑partial occurrence, 즉 패턴 v의 앞부분 k‑1개의 원소가 현재 순열에 어떤 위치에 존재하는지를 기록한다. 각 부분 발생마다 새로운 원소가 어떤 랭크를 가질 때 전체 패턴 v가 완성되는지를 나타내는 정수 구간 J를 정의하고, 이 구간들의 합을 프론티어 블록(Forb)이라 부른다. 프론티어는 실제로는 “위험한” 랭크들의 집합이며, 삽입 가능한 랭크 A는 전체 랭크 집합에서 이를 제외한 나머지이다.

핵심 기술은 두 가지 난관을 해결하는 데 있다. 첫째, 프론티어는 단순히 순열 자체가 아니라 (k‑1)‑partial occurrence와 그에 대응하는 금지 구간을 함께 저장해야 하므로 상태 공간이 복잡해진다. 저자들은 이를 “데코레이트된 순열”이라는 쌍 (π, Fv(π)) 로 명시적으로 정의하고, 프론티어 크기 m(x)와 순열 길이 s(x)를 상태의 두 좌표로 삼는다. 둘째, 삽입 가능한 랭크의 수가 길이에 비례해 선형적으로 증가하기 때문에, 단순히 길이에 대한 1차 가중치만으로는 전이 연산자를 유계화할 수 없다. 이를 해결하기 위해 ℓ∞ 공간에 두 개의 가중치를 도입한다. 첫 번째 가중치는 프론티어 크기 m에 대해 지수형(예: 2^m)으로, 두 번째 가중치는 길이 s에 대해 2^{−cs^2} 형태의 2차 페널티를 부여한다. 이렇게 하면 삽입 연산자 T가 정의된 가중 ℓ∞ 공간에서 유계가 되며, 그 쌍대 공간은 가산 차원의 전형적인 전이 연산자 프레임워크와 일치한다.

유계성을 확보한 뒤, 저자들은 쌍대 공간에서 T의 Neumann 급수 Σ_{n≥0} (zT)^n 를 고려한다. 여기서 z는 복소수 변수이며, 2차 페널티 덕분에 |z|가 충분히 작을 때 급수가 수렴한다. 수렴 반경 안에서 이 급수는 성장 급수 G_v(z)=∑_{n≥0}|Av_n(v)|z^n 의 연산자 표현이 되며, 따라서 G_v(z)는 복소평면의 원판 내에서 해석적이다. 해석성은 곧 계수들의 지수적 성장 한계를 의미한다(코시-하디아드 정리 적용).

추가적으로, 저자들은 Ionescu Tulcea–Marinescu 핵심‑꼬리 분해와 Hennion의 정리를 이용해 T가 유한 차원 섭동을 가진 수축 연산자임을 보인다. 이는 T가 quasi‑compact함을 의미하며, 스펙트럼 이론을 통한 보다 정밀한 비주기적 성장률 분석의 가능성을 열어준다. 그러나 현재 논문에서는 이러한 정밀 스펙트럼 분석을 전개하지 않고, 오직 지수적 성장의 존재만을 증명한다.

전체적으로 이 작업은 기존의 마커스‑타르도스 증명에서 사용된 0‑1 행렬 방법을 완전히 배제하고, 전통적인 “오른쪽 성장”과 전이 연산자 기법을 결합한 새로운 증명 체계를 제시한다. 패턴‑특정 부분은 프론티어 정의와 그 단조성(Lemma 2.9)으로 한정되고, 나머지 분석은 전형적인 연산자‑이론 도구(가중 ℓ∞ 공간, 쌍대 Neumann 급수, quasi‑compactness)로 일반화된다. 이는 향후 더 복잡한 “오른쪽 가시성” 조건을 만족하는 패턴이나, 다른 조합 구조에도 동일한 틀을 적용할 수 있는 가능성을 보여준다.