카탈란 수와 Kac 모듈의 최대 구성 길이

초록

본 논문은 정수선 위의 기호 ×와 · 배열을 이용해 비교차 호(캡) 다이어그램을 정의하고, 이를 통해 Kac 모듈의 구성 인자 집합 ♭ f 를 재귀적으로 셈한다. 주요 결과는 비정형도 r 에 대해 |♭ f| ≤ C_{r+1} 이며, 등호는 특정 표준 배열 p (즉 (2,4,…,2r))에 대해서만 성립한다는 점이다. 이는 이전에 제시된 “최대 구성 길이 = Catalan 수” 추측을 완전히 증명한다.

상세 분석

논문은 먼저 함수 f:ℤ→{×,·} 를 정의하고, f^{-1}(×) 의 원소들을 a₁<a₂<…<a_r 라 두어 비정형도 r=|f| 을 도입한다. 각 f에 대해 무게 다이어그램 D_{wt}(f)와 캡 다이어그램 D_{cap}(g) 를 겹쳐 보았을 때, 모든 × 기호가 정확히 하나의 캡에 의해 연결되는 경우를 ♭ f 의 원소로 정의한다. 이때 캡은 서로 교차하지 않으며, 캡의 시작점은 f 의 × 위치와 일치한다.

핵심 기술은 tally 함수 T_f 의 도입이다. T_f 는 정수선 위를 좌우 이동하면서 × 를 만나면 +1, · 를 만나면 −1을 누적하는 함수이며, 연속적인 정수 구간에 대해 선형 보간을 해 실수값 함수로 확장한다. T_f 의 영점은 잠재적 이동(potential move)의 시작점과 대응되며, 영점 사이의 구간이 “균형(balanced)”하면 해당 구간은 잠재적 이동이 가능하다. 그러나 실제로 캡을 삽입하려면 T_f 가 구간 전체에서 음수가 되지 않아야 하는 법적 이동(legal move) 조건을 만족해야 한다.

잠재적 이동 집합 PM f 와 법적 이동 집합 LM f 를 정의하고, PM* f = PM f ∪ {½} 를 도입함으로써 ♭ f 를 다음과 같이 분해한다.
\