[논문 리뷰] Set-Valued Tableaux & Generalized Catalan Numbers

Paul Drube|arXiv (Cornell University)|2016. 07. 25.

Advanced Combinatorial Mathematics참고 문헌 15인용 수 1

한 줄 요약

이 논문은 두 행의 표준 집합 값 유사 양 타블로우를 사용하여 일반화된 카탈란 수—예를 들어 푸스-카탈란, 유리수 카탈란, 테니스 볼 문제의 해—에 대한 새로운 조합적 해석을 수립한다. 이는 이러한 타블로우와 최대 경로 아래에 위치한 격자 경로 사이의 전단사 사상(비둘기집 원리)을 제안하며, 임의의 두 행 밀도에 대해 명시적인 수식을 도출하고, 이러한 타블로우의 수가 유일하게 정의된 최대 경로 아래에 위치한 격자 경로의 수와 같음을 증명함으로써 이 클래스에 대한 수량 문제를 해결한다.

ABSTRACT

Standard set-valued Young tableaux are a generalization of standard Young tableaux in which cells may contain more than one integer, with the added conditions that every integer at position (i, j) must be smaller than every integer at positions (i, j + 1) and (i+ 1, j). This paper explores the combinatorics of standard setvalued Young tableaux with two-rows, and how those tableaux may be used to provide new combinatorial interpretations of generalized Catalan numbers. New combinatorial interpretations are provided for the two-parameter Fuss-Catalan numbers (Raney numbers), the rational Catalan numbers, and the solution to the so-called “generalized tennis ball problem”. Methodologies are then introduced for the enumeration of standard set-valued Young tableaux, prompting explicit formulas for the general two-row case. The paper closes by drawing a bijection between arbitrary classes of two-row standard set-valued Young tableaux and collections of two-dimensional lattice paths that lie weakly below a unique maximal path.

연구 동기 및 목표

• 표준 집합 값 유사 양 타블로우를 사용하여 일반화된 카탈란 수에 대한 새로운 조합적 해석을 제공한다.
• 임의의 셀 밀도를 갖는 두 행의 표준 집합 값 유사 양 타블로우를 수량화하기 위한 방법론을 개발한다.
• 두 행의 표준 집합 값 유사 양 타블로우와 최대 경로 아래에 위치한 격자 경로 사이의 전단사 사상을 수립한다.
• 임의의 행 밀도 하에서 이러한 타블로우의 수에 대한 명시적 폐쇄형 수식을 유도한다.
• 두 행의 경우에 대한 표준 집합 값 유사 양 타블로우의 수량 문제를 해결하며, 일반적인 후크 길이 공식의 부재로 인해 생긴 빈자리(공백)를 메운다.

제안 방법

• 각 셀이 순서 제약 조건을 만족하는 정수 집합을 포함하는 표준 집합 값 유사 양 타블로우를 정의하며, 이는 행과 열의 표준성 조건을 만족한다.
• 표준 타블로우에서 첫 번째 행의 항목은 동쪽 이동(East steps)으로, 두 번째 행의 항목은 북쪽 이동(North steps)으로 대응되는 사상 ψρ를 도입한다.
• 격자 경로의 부분순서 집합(poset)에서 약한 지배 관계 기반의 부분순서를 사용하여 ψρ의 상(image)을 순서 이상으로 특성화한다.
• ψρ의 상이 최대 경로 Pmax = Ea1Nb1...EanNbn에 의해 생성되는 순서 이상임을 증명하며, 이는 열 기준으로 정렬된 타블로우에 대응한다.
• 레마 4.1을 사용하여, 만약 경로 P1 ≥ P2 이고 P1이 상에 속해 있다면 P2 역시 상에 속함을 보여, 상이 하향 폐쇄임을 보장한다.
• S(λ, ρ)와 Pmax 아래에 위치한 격자 경로의 집합 사이의 전단사 사상을 수립함으로써, 정리 4.2를 증명한다.

실험 결과

연구 질문

• RQ1 두 행의 직사각형 형태의 표준 집합 값 유사 양 타블로우는 일반화된 카탈란 수를 어떻게 해석할 수 있는가?
• RQ2 두 행의 집합 값 유사 양 타블로우에서 주어진 밀도에 대응하는 격자 경로 집합의 구조는 어떠한가?
• RQ3 임의의 두 행 밀도를 갖는 표준 집합 값 유사 양 타블로우의 수에 대해 폐쇄형 수식을 도출할 수 있는가?
• RQ4 모든 유효한 격자 경로 이미지가 ψρ 사상 하에서 자연스럽게 상한을 이루는 최대 경로가 존재하는가?
• RQ5 결과로 얻어진 경로 집합은 유리수 다익스 경로 및 푸스-카탈란 경로와 같은 알려진 조합적 대상과 어떻게 관련이 있는가?

주요 결과

• 형태 (n²)의 표준 집합 값 유사 양 타블로우 중에서 행 상수 밀도 ρ1,j = k−1 및 ρ2,j = 1을 갖는 경우의 수는 k-카탈란 수 Ck_n과 같다.
• 서로소인 a,b에 대해, 형태 (a²)의 표준 집합 값 유사 양 타블로우 중에서 ρ1,j = 1 및 ρ2,j = ⌊bj/a⌋ − ⌊b(j−1)/a⌋을 갖는 경우의 수는 유리수 카탈란 수 C(a,b) = (1/(a+b)) × C(a+b,a)와 같다.
• (s,t)-테니스 볼 문제의 해는 형태 (n+1)²의 표준 집합 값 유사 양 타블로우 중에서 ρ1,j = t 및 ρ2,j = s−t를 갖는 경우의 수로 조합적으로 해석된다.
• 표준 타블로우에서 격자 경로로의 사상 ψρ는 단사적이며, 그 상은 최대 경로 Pmax = Ea1Nb1...EanNbn 아래에 위치한 모든 경로의 순서 이상이다.
• 이러한 타블로우의 수는 Pmax 아래에 위치한 격자 경로의 수와 같으며, 이는 완전한 조합적 특성화를 제공한다.
• 최대 타블로우 Tmax는 각 열이 증가하고 열들이 증가하는 순서로 정렬된 경우이며, Pmax로 사상되며, 모든 유효한 타블로우는 이 아래의 경로에 대응한다.