[논문 리뷰] The number of intervals in the m-Tamari lattices

Mireille Bousquet‐Mélou, Éric Fusy외 1명|arXiv (Cornell University)|2011. 06. 08.

Mathematical Dynamics and Fractals참고 문헌 28인용 수 4

한 줄 요약

이 논문은 $m$-Tamari 격자, 즉 고전적 Tamari 격자를 $m$-백도우 경로로 일반화한 것에 대해 간격 수에 대한 폐쇄형 공식을 수립한다. 간격의 재귀적 분해와 촉매 변수를 가진 함수방정식을 사용하여 저자들은 대수적 생성함수를 유도하고, 간격 수가 $\frac{m+1}{n(mn+1)}\binom{(m+1)^2n + m}{n-1}$ 임을 증명하며, 대각선 코인바리언트 공간과 관련된 F. 버거론의 추측을 확인한다.

ABSTRACT

An m-ballot path of size n is a path on the square grid consisting of north and east 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, which generalizes the usual Tamari lattice obtained when m=1. We prove that the number of intervals in this lattice is $$ \frac {m+1}{n(mn+1)} {(m+1)^2 n+m\choose n-1}. $$ This formula was recently conjectured by Bergeron in connection with the study of coinvariant spaces. The case m=1 was proved a few years ago by Chapoton. Our proof is based on a recursive description of intervals, which translates into a functional equation satisfied by the associated generating function. The solution of this equation is an algebraic series, obtained by a guess-and-check approach. Finding a bijective proof remains an open problem.

연구 동기 및 목표

• $m$-ballot 경로로 일반화된 고전적 Tamari 격자인 $m$-Tamari 격자 $\mathcal{T}_n^{(m)}$에서의 간격 수를 세는 것.
• 대각선 코인바리언트 공간 연구에서 발생한 F. 버거론의 $m$-Tamari 격자에서의 간격 수에 대한 추측을 해결하는 것.
• $\mathcal{T}_n^{(m)}$에서의 간격에 대한 재귀적 구조를 개발하여, 선 $x = my$와의 접촉 수를 추적하는 촉매 변수를 가진 함수방정식으로 번역하는 것.
• 간격의 생성함수를 체계적으로 계산하고 그 대수성(알제브라성)을 증명함으로써 폐쇄형 표현식을 도출하는 체계적인 방법을 제공하는 것.

제안 방법

• 저자들은 $m$-ballot 경로 위에서의 커버링 관계의 전이 폐쇄로 $m$-Tamari 격자 $\mathcal{T}_n^{(m)}$를 정의하며, 여기서는 동쪽 단위 이동 뒤에 북쪽 단위 이동이 오는 경우를 최소한의 $m$-ballot 경로 요소로 바꾸는 방식이다.
• 하위 경로가 선 $x = my$와의 비초기 접촉 수를 추적함으로써 $\mathcal{T}_n^{(m)}$에서의 간격에 대한 재귀적 분해를 수립하고, 생성함수에 촉매 변수를 도입한다.
• 재귀적 구조는 생성함수 $F(t; x, y)$에 대한 함수방정식을 이끌어내며, 여기서 $x$는 촉매 변수를, $y$는 상부 경로의 초기 상승을 추적한다.
• 일반적인 대수적 생성함수 이론을 사용하여 해가 대수적임을 증명하고, 추측-검증 접근법을 적용하여 일반 $m$에 대한 폐쇄형 생성함수를 도출한다.
• 상부 경로의 초기 상승을 추적함으로써 추론을 풍부화하고, 하위 경로의 비초기 접촉 수와 이 파라미터의 공동 분포에 놀라운 대칭성을 발견한다.
• 최종 공식은 함수방정식을 해결하고 다항식 표현에서의 약수 조건을 검증함으로써 유도되며, 이는 $f_n^{(m)}$에 대한 폐쇄형 표현식으로 이어진다.

실험 결과

연구 질문

• RQ1 일반적인 $m$과 $n$에 대해 $m$-Tamari 격자 $\mathcal{T}_n^{(m)}$에서의 간격 수는 정확히 얼마인가?
• RQ2 대각선 코인바리언트 공간 이론에서 유래된 $m$-Tamari 격자에서의 간격 수에 대한 추측 공식을 엄밀하게 증명할 수 있는가?
• RQ3 $m$-Tamari 간격과 삼등분 또는 모빌과 같은 조합 구조 사이에 이중 대응 관계가 존재하는가? 이는 $m=1$일 때 알려진 이중 대응의 일반화이다.
• RQ4 왜 하위 경로의 비초기 접촉 수와 상부 경로의 초기 상승 수의 공동 분포가 대칭성을 보이며, 그 조합론적 의미는 무엇인가?
• RQ5 $m$-Tamari 간격 수의 $q$-해석은 무엇이며, 이는 간격 내 최장 체인 길이와 어떻게 관련이 있는가?

주요 결과

• $m$-Tamari 격자 $\mathcal{T}_n^{(m)}$에서의 간격 수는 폐쇄형 공식 $f_n^{(m)} = \frac{m+1}{n(mn+1)}\binom{(m+1)^2n + m}{n-1}$로 주어진다.
• 이 공식은 $m=1$일 때 채포톤의 결과를 일반화하며, 이 경우 $\mathcal{T}_n$에서의 간격 수는 $\frac{2}{n(n+1)}\binom{4n+1}{n-1}$이다.
• 간격의 생성함수는 촉매 변수를 가진 함수방정식 이론에 의해 보장되는 바와 같이 대수적이다.
• 상부 경로의 초기 상승과 하위 경로의 비초기 접촉 수의 공동 분포에 대칭성이 발견되었지만, 그 조합론적 기원은 아직 설명되지 않았다.
• 유도 과정에 등장하는 다항식 표현식들이 $i(i-1)$로 나누어떨어짐을 검증하여 최종 공식의 유리성(유리수 표현 가능성)을 확보하였다.
• 결과적으로 F. 버거론이 제기한, 대각선 코인바리언트 공간과 관련된 특정 군의 차수에 대한 추측을 확인하였다.