[논문 리뷰] Square Partitions and Catalan Numbers

Matthew Bennett, Vyjayanthi Chari외 2명|arXiv (Cornell University)|2009. 12. 25.

Advanced Combinatorial Mathematics참고 문헌 9인용 수 3

한 줄 요약

이 논문은 최대 부분이 $k$이고 최소 부분이 1인 정사각형 분할을 반복 적용하여, 카탈란 수 $c_{\ell-k+1}$ 또는 그 두 배의 크기를 가진 분할 집합을 생성하는 새로운 알고리즘을 제안한다. 이 알고리즘은 비동형의 루트를 가진 트리 구조를 정의하며, 두 매개변수 가족을 통해 볼레트 수로 일반화된다. 이는 $\mathfrak{sl}_2$ 및 아핀 리 대수의 표현 이론에서의 대칭 함수 모듈에 대한 함의를 지닌다.

ABSTRACT

For each integer $k\ge 1$, we define an algorithm which associates to a partition whose maximal value is at most $k$ a certain subset of all partitions. In the case when we begin with a partition $λ$ which is square, i.e $λ=λ_1\ge...\geλ_k>0$, and $λ_1=k,λ_k=1$, then applying the algorithm $\ell$ times gives rise to a set whose cardinality is either the Catalan number $c_{\ell-k+1}$ (the self dual case) or twice the Catalan number. The algorithm defines a tree and we study the propagation of the tree, which is not in the isomorphism class of the usual Catalan tree. The algorithm can also be modified to produce a two--parameter family of sets and the resulting cardinalities of the sets are the ballot numbers. Finally, we give a conjecture on the rank of a particular module for the ring of symmetric functions in $2\ell+m$ variables.

연구 동기 및 목표

• 정사각형 분할을 카탈란 수와 관련된 크기를 가진 분할 집합으로 변환하는 알고리즘을 정의한다.
• 역치환 $\tau_k$를 사용하여 표준 카탈란 트리와 다를 바 있는 비동형의 루트를 가진 트리 구조를 분할 집합에 설정한다.
• 카탈란 사례를 일반화하여 볼레트 수 $b_{\ell,m}$와 같은 크기의 집합을 생성하는 알고리즘을 일반화한다.
• 특정 대칭 함수 모듈이 $2\ell + m$개 변수에서 자유로운 랭크 $b_{\ell,m-1}$을 가진다는 추측을 제기한다. 이는 조합론과 표현 이론을 연결한다.

제안 방법

• 부분이 $\leq k$인 분할에 대해 $\tau_k$를 정의하며, 이는 $n \times k$ 직사각형 내에서 분할의 여집합을 180도로 회전시킨다.
• 정사각형 분할 $\lambda$에 대해 반복적으로 알고리즘을 적용하여, $\lambda_1 = k$, $\lambda_k = 1$인 경우, 분할 트리를 생성한다.
• 조합적 이분형이 아닌 대수적 기법을 사용하여, $\ell$번 반복 후 집합의 크기가 $c_{\ell-k+1}$ 또는 $2c_{\ell-k+1}$임을 증명한다.
• 초기 조건를 수정하고 볼레트 수를 포함하는 재귀를 적용하여 알고리즘을 두 매개변수 가족으로 일반화한다.
• 볼레트 수에 대한 교대 항등식을 증명한다: $\sum_{j \geq 0} (-1)^j \binom{\ell - j}{j} b_{\ell - j, m} = \binom{m + \ell}{\ell}$.
• 대칭 함수 $\Lambda_r$ 위의 모듈 $\mathbf{M}(\ell,m)$를 $\mathbf{p}(\mu)$로 생성하며, 그 기저가 $\cal P^\ell(\Omega_m)$에 의해 인덱싱되는 자유성에 대한 추측을 제기한다.

실험 결과

연구 질문

• RQ1 정사각형 분할에 대해 알고리즘을 반복 적용하여 생성된 분할 집합의 구조는 어떠한가?
• RQ2 역치환 $\tau_k$는 분할 트리에서 어떤 방식으로 이중성을 유도하며, 그 결과 트리가 표준 카탈란 트리와 어떻게 다를까?
• RQ3 이 알고리즘은 볼레트 수 $b_{\ell,m}$와 같은 크기의 집합을 생성하도록 일반화될 수 있는가?
• RQ4 이 분할 집합의 조합론적 성질은 $\mathfrak{sl}_2$ 및 아핀 리 대수의 표현 이론과 어떤 관련이 있는가?
• RQ5 $\Lambda_r$-모듈 $\mathbf{M}(\ell,m)$이 추측한 바와 같이 랭크 $b_{\ell,m-1}$을 가진 자유 모듈인가?

주요 결과

• 정사각형 분할 $\lambda$에 대해 $\ell$번 알고리즘을 적용하면, 자가 이중성인 경우 크기가 $c_{\ell-k+1}$인 분할 집합을, 그 외의 경우 크기가 $2c_{\ell-k+1}$인 집합을 얻는다.
• 이 알고리즘은 비동형의 루트를 가진 순서가 있는 트리 구조를 분할 집합에 정의하며, 고전적인 카탈란 트리와는 이sovorphic하지 않다.
• 일반화된 알고리즘은 $m$개의 루트를 가진 순서 있는 트리를 생성하며, 생성된 분할 총 수는 볼레트 수 $b_{\ell,m}$이 된다.
• 볼레트 수에 대한 교대 항등식이 증명되었다: $\sum_{j \geq 0} (-1)^j \binom{\ell - j}{j} b_{\ell - j, m} = \binom{m + \ell}{\ell}$.
• 추측은 $\ell = 1,2$ 및 $\ell = 3,4$일 때 $m = 0,1,2$인 경우에 검증되었으며, 모듈 $\mathbf{M}(\ell,m)$의 자유성에 대한 근거를 제공한다.
• 모듈 $\mathbf{M}(\ell,m)$은 $2\ell + m$개 변수에서의 대칭 함수의 환 위에서 자유로운 랭크 $b_{\ell,m-1}$을 가진다는 것이 추측된다.