Łukasiewicz 경로에서 면적‑깊이 대칭의 증명

초록

본 논문은 Łukasiewicz 경로와 평면 트리 사이의 고전적인 전단사(λ, τ)를 이용해 면적(area)과 깊이(depth) 통계량이 서로 교환되는 대칭성을 명확히 보인다. 이를 통해 Qu‑Zhang(2025)의 “첫 번째와 마지막 상승 단계 고정” 조건을 포함한 일반적인 경우에서도 q, t‑다항식 eCₐ, M, b(q,t) 가 q와 t를 교환해도 동일함을 증명한다.

상세 분석

논문은 먼저 Łukasiewicz 경로를 정의하고, 각 상승 단계 Uₖ를 ‘degree k’ 로 표기한다. 면적 통계는 각 상승 단계의 y‑좌표를 합한 값이며, 깊이 통계는 하강 단계와 매칭되는 상승 단계의 순서를 이용해 재귀적으로 정의된다. 이러한 정의는 기존 문헌의 “Filling tableau”와 “Ranking tableau”와 동형임을 논증한다. 핵심은 λ와 τ라는 전단사를 통해 Łukasiewicz 경로와 평면 트리를 일대일 대응시키는 것이다. 트리에서 내부 노드 u에 대해 왼쪽 가시(lthorn)와 오른쪽 가시(rthorn)를 정의하고, 각각 깊이와 면적에 대응시킨다. Proposition 3.3, 3.4는 면적이 rthorn, 깊이가 lthorn과 정확히 일치함을 증명하며, 이는 경로의 구조적 특성을 트리의 좌우 대칭으로 옮기는 기반이 된다. Proposition 4.1은 트리를 좌우 반사(mir)했을 때 lthorn과 rthorn이 서로 교환된다는 사실을 이용해 eCₐ, M(q,t)의 q‑t 대칭을 투명하게 만든다. 마지막으로, 첫 번째와 마지막 상승 단계가 각각 a, b 로 고정된 경우에는 mir에 더해 ‘lodestar swap’이라는 추가 변환을 도입한다. 이 변환은 오른쪽 lodestar(마지막 상승 단계에 해당)를 보존하면서 트리의 내부 구조를 바꾸어, λ∘swap∘mir∘τ가 원하는 불변량을 제공한다. 따라서 Theorem 1.1은 복합적인 고정 조건 하에서도 q와 t를 교환해도 동일한 다항식이 얻어진다는 것을 전단사적 증명으로 확립한다. 논문은 또한 프로파일별 생성함수 F(z,q,t; p₀,p₁,…)에 대한 재귀식(3)을 제시해, 면적‑깊이 통계의 조합적 구조를 심볼릭 방법으로 해석한다. 전체적으로 전단사와 트리 구조를 활용한 증명은 기존의 복잡한 대수적 접근을 대체하며, q,t‑Catalan 다항식의 대칭성에 대한 새로운 직관을 제공한다.