[논문 리뷰] On partitions avoiding 3-crossings

Mireille Bousquet‐Mélou, Guoce Xin|arXiv (Cornell University)|2005. 06. 27.

Advanced Combinatorial Mathematics참고 문헌 22인용 수 44

한 줄 요약

이 논문은 [n]의 3-비교행 분할의 수가 P-재귀적임을 증명하며, 다항계수를 가진 선형 재귀식과 생성함수에 대한 미분방정식을 유도한다. 또한 점점 커지는 성장률 $ C_3(n) \sim \frac{3^9 \cdot 5}{2^5} \frac{\sqrt{3}}{\pi} \frac{9^n}{n^7} $를 확립하고, $ k \geq 4 $일 때 k-비교행 분할은 P-재귀적이지 않다는 추측을 제기한다.

ABSTRACT

A partition on $[n]$ has a crossing if there exists $i\_1<i></i>

연구 동기 및 목표

• 3-비교행 분할의 수가 $ k \geq 3 $에 대해 P-재귀인지 여부를 규명하는 것.
• 3-비교행 분할의 수에 대한 다항계수를 가진 선형 재귀식을 도출하는 것.
• 3-비교행 분할을 세는 수열의 점점 커지는 성장률을 확립하는 것.
• 강화된 3-교차와 3-중첩이 P-재귀 수열을 유도하는지 조사하는 것.
• $ k \geq 4 $일 때 k-비교행 분할이 P-재귀적이지 않다는 추측을 계산적이고 구조적 증거에 기반해 제기하는 것.

제안 방법

• 3-비교행 분할을 세는 문제를 높이가 제한된 표준형 표를 세는 문제로 옮기기 위해 분할과 공백 표 사이의 이분법을 사용한다.
• 세 변수의 걷기 모델에 커널 방법을 적용하여 3-비교행 분할의 생성함수에 대한 함수방정식을 도출한다.
• 함수방정식을 해결하기 위해 커널 방법을 적용하여 다항계수를 가진 두 번째 차수 선형 미분방정식을 유도한다.
• 사다리꼴 방법과 생성함수 기법을 사용한 점점 커지는 분석을 통해 수열의 주요 성장 항을 결정한다.
• Maple의 Gfun 패키지를 사용하여 초기 항을 계산하고 P-재귀성 여부를 검증하여 $ k=4 $에 대해 재귀식을 찾지 못함.
• 커널 방정식의 근 도표를 분석하여 생성함수가 D-유한(즉, P-재귀적)인지 여부를 추론하며, 무한한 도표는 비-유한성으로 이어진다는 결론을 이끌어냄.

실험 결과

연구 질문

• RQ1 3-비교행 분할의 수 $ C_3(n) $는 P-재귀적인가? 만약 그렇다면 다항계수를 가진 선형 재귀식을 명시적으로 도출할 수 있는가?
• RQ2 n이 무한으로 갈 때 3-비교행 분할의 수의 점점 커지는 성장률은 무엇인가?
• RQ3 강화된 3-교차 분할도 P-재귀적인가? 표준 3-비교행 분할과의 관계는 어떠한가?
• RQ4 k ≥ 4일 때 k-비교행 분할의 생성함수는 여전히 P-재귀적인가?
• RQ5 커널 방정식과 그 근 도표의 어떤 구조적 성질이 생성함수가 D-유한한지 여부를 나타내는가?

주요 결과

• 3-비교행 분할의 수 $ C_3(n) $는 다항계수를 가진 선형 재귀식을 만족한다: $ 9n(n+3)C_3(n) - 2(5n^2 + 32n + 42)C_3(n+1) + (n+7)(n+6)C_3(n+2) = 0 $.
• 생성함수 $ \mathcal{C}(t) = \sum_{n \geq 0} C_3(n) t^n $ 는 두 번째 차수 선형 미분방정식을 만족한다: $ t^2(1-9t)(1-t) \frac{d^2}{dt^2}\mathcal{C}(t) + 2t(5 - 27t + 18t^2) \frac{d}{dt}\mathcal{C}(t) + 10(2 - 3t)\mathcal{C}(t) - 20 = 0 $.
• 3-비교행 분할의 점점 커지는 성장률은 $ \sim \frac{3^9 \cdot 5}{2^5} \frac{\sqrt{3}}{\pi} \frac{9^n}{n^7} \approx 1695.6 \cdot \frac{9^n}{n^7} $이며, 큰 n에 대해 수치적으로 확인됨.
• 수열 $ C_3(n) $ 는 다음과 같이 시작한다: 1, 1, 2, 5, 15, 52, 202, 859, 3930, 19095, 97566, ..., 이 수열은 P-재귀적이다.
• 강화된 3-교차를 피하는 분할의 수 역시 P-재귀적이며, 그 점점 커지는 성장률은 $ 8^n / n $ 정도의 순서를 가지며, 유사한 성장 특성을 보인다.
• $ k \geq 4 $일 때는 P-재귀성에 대한 증거가 없음: 커널 방법은 무한한 근 도표를 유도하며, 4-비교행 수열의 첫 100항에 대해 재귀식을 찾지 못함.