[논문 리뷰] Run Distribution Over Flattened Partitions

Olivia Nabawanda, Fanja Rakotondrajao외 1명|arXiv (Cornell University)|2020. 07. 07.

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

한 줄 요약

이 논문은 [n] 위의 평탄화된 분할에 대한 조합적 프레임워크를 제안하며, $ f_{n,k} $ 는 $ k $ 개의 런을 가진 그러한 분할의 수로 정의된다. 재귀 관계, 지수 생성 함수, 그리고 [n]의 집합 분할과 [n+1]의 평탄화된 분할 사이의 새로운 이항사상(bijection)을 확립한다. 이에 따라 분할의 크기가 1보다 큰 블록의 수가 그에 대응하는 평탄화된 분할의 런 수에서 1을 뺀 값과 같음을 증명함으로써, OEIS A124324에 대한 새로운 조합적 해석을 제공한다.

ABSTRACT

The study of flattened partitions is an active area of current research. In this paper, our study unexpectedly leads us to the OEIS numbers A124324. We provide a new combinatorial interpretation of these numbers. A combinatorial bijection between flattened partitions over $[n+1]$ and the partitions of $[n]$ is also given in a separate section. We introduce the numbers $f_{n, k}$ which count the number of flattened partitions over $[n]$ having $k$ runs. We give recurrence relations defining them, as well as their exponential generating function in differential form. It should be appreciated if its closed form is established. We extend the results to flattened partitions where the first $s$ integers belong to different runs. Combinatorial proofs are given.

연구 동기 및 목표

• 평탄화된 분할에서 런의 통계, 특히 $ k $ 개의 런을 가진 분할의 수인 $ f_{n,k} $ 를 정의하고 분석하는 것.
• 재귀 관계와 $ f_{n,k} $ 를 위한 지수 생성 함수를 확립하고, 그 미분형식을 탐구하는 것.
• 첫 $ s $ 개의 정수가 서로 다른 런에 속하는 평탄화된 분할로 이 프레임워크를 일반화하여 $ f_{n,k}^{(s)} $ 를 도입하는 것.
• 집합 분할 [n]과 평탄화된 분할 [n+1] 사이의 이항사상(구성 및 증명)을 통해 블록 크기 및 런 수와 같은 구조적 성질을 유지하는 것.
• OEIS 수열 A124324에 대한 새로운 조합적 해석을 제공하는 것 — 이는 크기가 1보다 큰 블록을 $ k $ 개 가진 [n]의 분할 수를 세는 것이다.

제안 방법

• 런이 증가하는 부분수열이며 첫 번째 원소들이 증가하는 순서로 되어 있을 때, $ f_{n,k} $ 는 [n] 위의 평탄화된 분할 중 $ k $ 개의 런을 가진 수로 정의한다.
• 가장 큰 원소 $ n $ 이 기존의 런에 삽입되거나 새로운 런으로 추가될 수 있는 조합적 논증을 사용하여 $ f_{n,k} $ 의 재귀 관계를 유도한다.
• 지수 생성 함수 $ F(x,u) = rac{1}{1 - x(e^u - 1)} $ 를 도입하며, 이는 미분 방정식 $ F_u = x(e^u - 1)F $ 를 만족하고, 닫힌 형태의 구조를 도출한다.
• 첫 $ s $ 개의 정수가 서로 다른 런에 속하는 평탄화된 분할을 고려하여 프레임워크를 일반화하고, 생성 함수 $ F^{[s]}(x,u) = (x(e^u - 1))^s F(x,u) $ 를 유도한다.
• 블록을 재정렬하여 최솟값을 끝에 두고 구분 기호를 제거하고, 모든 원소에 1을 더하고, 앞에 1을 추가함으로써 $ f: \text{Partitions of }[n] \to \text{Flattened partitions of }[n+1] $ 의 이항사상을 구성한다.
• 이 이항사상이 분할의 크기가 1보다 큰 블록의 수와 평탄화된 분할의 런 수를 유지함을 증명하여, 크기가 1보다 큰 블록이 $ k-1 $ 개인 것과 런 수가 $ k $ 개인 것 사이의 등가성을 확립한다.

실험 결과

연구 질문

• RQ1 평탄화된 분할의 조합적 구조는 어떻게 되며, $ k $ 개의 런을 가진 분할의 수인 $ f_{n,k} $ 는 어떻게 특징지을 수 있는가?
• RQ2 재귀 관계와 지수 생성 함수는 평탄화된 분할에서 런의 분포를 어떻게 묘사하는가?
• RQ3 평탄화된 분할에서 첫 $ s $ 개의 정수가 서로 다른 런에 속하는 것은 어떤 의미를 가지며, 이는 런 분포를 어떻게 일반화하는가?
• RQ4 집합 분할 [n]과 평탄화된 분할 [n+1] 사이에 크기와 런 수와 같은 구조적 불변량을 유지하는 이항사상을 구성할 수 있는가?
• RQ5 $ f_{n,k} $ 수열은 OEIS에서 알려진 정수 수열과 일치하는가, 그리고 A124324에 대한 새로운 조합적 해석을 제공할 수 있는가?

주요 결과

• 수 $ f_{n,k} $ 는 재귀 관계 $ f_{n,k} = (k-1)f_{n-1,k} + (n-k+1)f_{n-1,k-1} $ 를 만족하며, 초기 조건은 $ f_{n,1} = 1 $, $ f_{n,n} = 1 $, 그리고 $ k > n $ 일 때 $ f_{n,k} = 0 $ 이다.
• 수 $ f_{n,k} $ 를 위한 지수 생성 함수는 $ F(x,u) = rac{1}{1 - x(e^u - 1)} $ 이며, 이는 미분 방정식 $ F_u = x(e^u - 1)F $ 를 만족한다.
• 첫 $ s $ 개의 정수가 서로 다른 런에 속하는 일반화된 경우, 생성 함수는 $ F^{[s]}(x,u) = (x(e^u - 1))^s F(x,u) $ 이며, 재귀 관계는 $ s $-의존 항을 포함한다.
• 이항사상 $ f: \text{Partitions of }[n] \to \text{Flattened partitions of }[n+1] $ 는 잘 정의되어 있고 이항사상이며, 크기가 1보다 큰 블록의 수와 런 수를 유지한다.
• 분할 $ P $ 에서 크기가 1보다 큰 블록의 수가 $ k-1 $ 인 것은, 해당 평탄화된 분할 $ \tau = f(P) $ 가 $ k $ 개의 런을 가진 것과 동치이다.
• 수열 $ f_{n,k} $ 의 $ k=2 $ 일 때는 오일러 수열에 해당하며, 전체 배열 $ f_{n,k} $ 는 OEIS A124324와 일치하여, 이 수열을 [n]의 분할 중 크기가 1보다 큰 블록이 $ k $ 개인 것의 수로 보는 새로운 조합적 해석을 제공한다.