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

초록

본 논문은 연산자 이론에서 자연스럽게 등장하는 평면 라벨링된 트리의 패턴 회피 개념을 정의하고, 이를 기존의 연속 패턴 회피(단어, 순열, 색칠된 순열)와 연결한다. ‘윌프 동등성’의 트리 버전을 도입해 작은 잎 수를 가진 트리들의 동등 클래스와 그 사이의 전단사들을 제시한다. 또한 정확한 열거식 결과와 골로드‑샤파레비치 기법을 이용한 점근적 추정, 그리고 생성함수의 대수적 성질을 논한다.

상세 분석

논문은 먼저 연산자(operad) 이론에서 발생하는 ‘연산의 다중 입력’ 구조를 모델링하기 위해, 내부 정점이 최소 두 개 이상의 자식을 갖는 평면 라벨링된 루트 트리를 정의한다. 라벨 집합 X는 차수별 부분집합 Xₙ 으로 분리되며, 내부 정점은 그 자식 수 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) 가능한 패턴들을 전부 열거하고, 동일한 윌프 동등성 클래스를 이루는 패턴군 사이의 명시적 전단사(예: 회전, 라벨 교환)를 제시한다. 이를 통해 작은 규모의 트리 회피 문제는 완전히 해석 가능함을 보여준다. 전체적으로 논문은 트리 구조와 라벨링을 동시에 고려한 새로운 패턴 회피 이론을 체계화하고, 기존의 연속 패턴 이론과 연산자 대수 사이의 교량 역할을 수행한다.