[논문 리뷰] Tamari lattices and parking functions: proof of a conjecture of F. Bergeron

Mireille Bousquet‐Mélou, Guillaume Chapuy외 1명|arXiv (Cornell University)|2011. 09. 12.

Advanced Combinatorial Mathematics참고 문헌 19인용 수 6

한 줄 요약

이 논문은 F. Bergeron이 제기한 $m$-Tamari 격자에서의 레이블이 붙은 구간의 수를 세는 추측을 증명하며, 크기가 $n$인 이러한 구간의 수가 $(m+1)^n (mn+1)^{n-2}$임을 확립한다. 증명은 구간의 재귀적 분해에 기반하여, 두 개의 보조 변수에 대한 도함수와 분할 차분을 포함하는 함수방정식을 도출하며, 고급 생성함수 기법을 통해 이를 해결한다. 다만 이에 대한 이분법적 증명은 아직 열려 있다.

ABSTRACT

An m-ballot path of size n is a path on the square grid consisting of north and east unit steps, starting at (0,0), ending at (mn,n), and never going below the line {x=my. The set of these paths can be equipped with a lattice structure, called the m-Tamari lattice and denoted by T_n^(m), which generalizes the usual Tamari lattice T_n obtained when m=1. This lattice was introduced by F. Bergeron in connection with the study of coinvariant spaces. He conjectured several intriguing formulas dealing with the enumeration of intervals in this lattice. One of them states that the number of intervals in T_n^(m) is $$ \frac {m+1}{n(mn+1)} {(m+1)^2 n+m\choose n-1}. $$ This conjecture was proved recently, but in a non-bijective way, while its form strongly suggests a connection with plane trees. Here, we prove another conjecture of Bergeron, which deals with the number of labelled, intervals. An interval [P,Q] of T_n^(m) is labelled, if the north steps of Q are labelled from 1 to n in such a way the labels increase along any sequence of consecutive north steps. We prove that the number of labelled intervals in T_n^(m) is $$ {(m+1)^n(mn+1)^{n-2}}. $$ The form of these numbers suggests a connection with parking functions, but our proof is non-bijective. It is based on a recursive description of intervals, which translates into a functional equation satisfied by the associated generating function. This equation involves a derivative and a divided difference, taken with respect to two additional variables. Solving this equation is the hardest part of the paper. Finding a bijective proof remains an open problem.

연구 동기 및 목표

• F. Bergeron이 제기한 $m$-Tamari 격자 $\mathcal{T}_n^{(m)}$에서의 레이블이 붙은 구간 수를 세는 문제에 대한 추측을 증명하는 것.
• 레이블이 붙은 이러한 구간의 수에 대한 닫힌 형식의 공식을 확립하며, 이는 세 개의 변수 집합에 대한 일반화된 다항식 환의 차원과 관련이 있다고 추측된다.
• 재귀적 구조와 생성함수를 기반으로 한 비이분법적 증명을 제공함으로써, 대수적 조합론 분야의 핵심 미해결 문제를 다루는 것.

제안 방법

• 특정 경로 조건 하에서 동서 및 남북 방향의 스텝을 바꾸는 커버링 관계에 기반하여 $\mathcal{T}_n^{(m)}$ 내의 구간에 대한 재귀적 기술을 유도한다.
• 크기와 레이블 구조를 추적하는 변수를 포함한 생성함수 $F(t;x,y)$를 정의하여 레이블이 붙은 구간의 수를 코딩한다.
• 재귀적 구조에서 유도된, 두 개의 보조 변수에 대한 도함수와 분할 차분을 포함하는 함수방정식을 수립한다.
• 방정식 $(1+u_i)^{m+1} = u_i^m v$의 근 $u_0, \dots, u_m$으로서 보조 변수 $u_0, \dots, u_m$을 도입하여 생성함수의 특이점을 매개변수화한다.
• 생성함수의 구조를 이용하여 $F(t;x,y)$를 $\Phi_k(v)$와 근 $u_i$의 대칭 함수로 표현함으로써 계수 추출이 가능하게 한다.
• 시리즈 전개와 대칭 함수 항등식(특히 단항 대칭 함수 $m_\lambda$를 포함)의 정교한 조작을 통해 함수방정식을 해결한다.

실험 결과

연구 질문

• RQ1 레이블이 붙은 구간의 수는 $m$-Tamari 격자 $\mathcal{T}_n^{(m)}$에서 크기가 $n$일 때 정확히 얼마인가, 특히 상부 경로에서 연속된 남북 방향 스텝을 따라 레이블이 증가하는가?
• RQ2 $m$-보트 경로의 구조와 그 구간 격자 구조는 세 개의 변수 집합에 대한 일반화된 동치환의 환과 어떻게 관련이 있는가?
• RQ3 구간의 재귀적 분해에서 유도된 함수방정식은 명시적으로 해를 구할 수 있는가, 생성함수에 대한 닫힌 형식의 표현을 도출할 수 있는가?
• RQ4 왜 레이블이 붙은 구간의 수가 $(m+1)^n (mn+1)^{n-2}$의 형태를 띄는가, 그리고 이러한 공식을 뒷받침하는 대수적 또는 조합적 구조는 무엇인가?
• RQ5 이 수의 공식에 대한 이분법적 해석은 존재하는가, 아니면 현재의 비이분법적 증명이 유일한 실현 가능한 접근인가?

주요 결과

• 레이블이 붙은 구간의 수는 $m$-Tamari 격자 $\mathcal{T}_n^{(m)}$에서 정확히 $(m+1)^n (mn+1)^{n-2}$이며, 이는 Bergeron의 추측을 확인한다.
• 레이블이 붙은 구간 수의 생성함수는 두 개의 보조 변수에 대한 도함수와 분할 차분을 포함하는 함수방정식을 만족한다.
• 함수방정식의 해는 보조 함수 $\Phi_k(v)$와 방정식 $(1+u_i)^{m+1} = u_i^m v$의 근 $u_i$의 대칭 함수를 통해 구성되며, 이는 유도 과정에서 중심적인 역할을 한다.
• 생성함수 $F(t;x,y)$는 $\Phi_k(v)$와 근 $u_i$의 대칭 함수의 합으로 표현되며, 잔여물 유사 연산을 통해 계수 추출이 가능하다.
• 공식 $(m+1)^n (mn+1)^{n-2}$는 $m=1$ (고전적 Tamari 격자) 및 $m=2$의 경우와 같은 알려진 사례들과 일치하며, Maple을 사용한 계산적 검증을 통과하였다.
• 함수방정식의 $q$-해석형이 제안되었으며, 이는 구간 내 최대 사슬의 길이를 추적하지만 계수들이 단순하게 인수분해되지 않아 정밀한 수세기의 복잡성을 시사한다.