트리 패턴 회피와 연산자 이론: 라벨링된 평면 트리의 새로운 전개

본 논문은 연산자(operad) 이론에서 자연스럽게 등장하는 ‘다중 입력 연산’의 조합적 모델링을 위해, 평면 라벨링된 루트 트리의 새로운 패턴 회피 개념을 제시한다. 먼저, 라벨 집합 X 를 차수별 부분집합 Xₙ ( n≥2 )으로 분할하고, 내부 정점이 m 개의 자식을 가질 때 X_m 의 원소로 라벨링한다. 잎은 1부터 ℓ 까지의 정수로 일대일 대응되며, ‘지역 증가 조건’에 따라 각 내부 정점의 자식 정점에 할당된 최소 잎 번호가 왼쪽에서 오른쪽으로 증가하도록 제한한다. 이러한 제약은 트리와 라벨링을 동시에 고려한 연속 패턴 개념을 가능하게 한다. 패턴은 트리 T 의 한 내부 정점에서 시작하는 부분트리 S 를 표준화 st(S) 시켜 정의한다. 즉, S 의 잎 라벨을 1,2,…,ℓ 로 재배치하고, 내부 정점 라벨은 그대로 유지해 LT(X) 에 속하는 트리로 만든다. T 가 P∈LT(X) 를 포함한다는 것은 T 에 st(S)=P 인 S 가 존재함을 의미한다. ‘윌프 동등성’ (P∼_W P′)은 모든 잎 수 ℓ 에 대해 P‑회피 트리와 P′‑회피 트리의 개수가 동일함을 뜻한다. 강한 동등성 (P∼ P′)은 잎 수와 패턴 발생 횟수 k 까지 모두 일치하는 경우를 말한다. 이러한 동등성 개념은 기존 순열 패턴 이론의 윌프 동등성을 트리로 확장한 것으로, 동일한 생성함수를 공유하는 패턴군을 구분하는 데 유용하다. 열거 측면에서, 저자는 지수 생성함수 f_P(z)=∑_{ℓ≥1}|LT_{ℓ,no‑P}(X)| z^ℓ/ℓ! 을 사용한다. 핵심 명제 2는 두 패턴 집합 K, L에 대해, 루트에 K 패턴이 위치하고 그 하위 잎 서브트리가 모두 L 패턴으로 구성된 트리 집합 M의 생성함수가 f_M(z)=f_K(f_L(z)) 임을 보여준다. 이는 조합적 구조를 함수 합성으로 표현하는 강력한 도구이며, 연산자 이론에서 ‘삽입’ 연산과 직접적으로 대응한다. 특히 X=X₂(이진 트리)인 경우, 왼쪽 콤브는 순열의 연속 패턴, 오른쪽 콤브는 단어의 연속 패턴과 일대일 대응한다. 따라서 기존의 연속 순열·단어 회피 결과를 트리 회피 문제로 재해석할 수 있다. 저자는 또한 골로드‑샤파레비치 기법을 이용해 회피 트리 수의 점근적 성장률을 추정하고, ‘쉐플 정칙성’(shuffle regularity) 하에서는 생성함수가 비선형 미분 방정식을 만족하는 대수적 함수가 됨을 보인다. 연산적 측면에서는, 트리 패턴 회피가 ‘연산자와 모노미얼 관계’를 가진 대수 구조의 기저를 기술하는 데 사용될 수 있음을 언급한다. 특히, 연산자 그뢰버베이스 이론에서 ‘쉐플 연산자’가 등장하는데, 이는 현재 논문의 트리 패턴 정의와 일치한다. 논문의 마지막 부분에서는 잎 수가 작을 때(ℓ≤5) 가능한 모든 패턴을 전부 열거하고, 동일한 윌프 동등성 클래스를 이루는 패턴군 사이의 명시적 전단사(예: 회전, 라벨 교환)를 제시한다. 예를 들어, 두 개의 3‑잎 패턴이 서로 회전 대칭을 통해 변환될 경우 같은 회피 수열을 만든다. 이러한 사례는 작은 규모에서는 완전한 분류가 가능함을 보여준다. 전체적으로, 논문은 (1) 평면 라벨링된 트리의 정확한 정의와 패턴 회피 개념, (2) 윌프 동등성 및 강한 동등성의 확장, (3) 생성함수와 합성법칙을 통한 정확한 열거, (4) 골로드‑샤파레비치 기법을 이용한 점근적 분석, (5) ‘쉐플 정칙성’ 하에서의 대수적 생성함수 특성, (6) 작은 잎 수에 대한 완전 분류와 전단사 제공이라는 여섯 가지 주요 기여를 제시한다. 이로써 트리 패턴 회피 이론을 연산자 대수와 기존 연속 패턴 회피 연구 사이의 교량으로 자리매김하게 한다.