[논문 리뷰] Counting genus one partitions and permutations

Robert Cori, Gábor Hetyei|arXiv (Cornell University)|2013. 06. 19.

Advanced Combinatorial Mathematics참고 문헌 19인용 수 11

한 줄 요약

이 논문은 M. Yip의 추측을 증명한다. 즉, n개의 원소와 k개의 부분으로 이루어진 종수 1 분할의 수는 n−1개의 원소와 k−1개의 순환으로 이루어진 종수 1 순열의 수와 같다. 새로운 네 가지 색상이 있는 비교행 분할 표현을 통해, 저자들은 감소한 종수 1 순열에 대한 전단사 관계를 구축하고, 첨수 이동을 통한 추측의 확인을 위한 생성 함수를 유도한다.

ABSTRACT

We prove the conjecture by M. Yip stating that counting genus one partitions by the number of their elements and parts yields, up to a shift of indices, the same array of numbers as counting genus one rooted hypermonopoles. Our proof involves representing each genus one permutation by a four-colored noncrossing partition. This representation may be selected in a unique way for permutations containing no trivial cycles. The conclusion follows from a general generating function formula that holds for any class of permutations that is closed under the removal and reinsertion of trivial cycles. Our method also provides a new way to count rooted hypermonopoles of genus one, and puts the spotlight on a class of genus one permutations that is invariant under an obvious extension of the Kreweras duality map to genus one permutations.

연구 동기 및 목표

• 첨수를 이동시켰을 때 종수 1 분할과 종수 1 순열이 동일한 세기 배열을 갖는다는 M. Yip의 추측을 해결하기.
• 네 가지 색상이 있는 비교행 분할을 통해 종수 1 순열의 조합적 표현을 개발하기.
• 비자명한 순환(즉, 연속된 원소로 이루어진 순환)이 없는 감소한 종수 1 순열에 대한 표준 표현을 확립하여 유일한 세기 계산을 가능하게 하기.
• 비자명한 순환 삽입/제거에 대해 닫혀 있는 성질을 활용하여 종수 1 순열과 분할의 생성 함수를 도출하기.
• 종수 1 조합론과 타입 B 비교행 분할, 볼록 폴리오미노, 자카비 구성과 같은 다른 구조 간의 관계를 드러내기.

제안 방법

• 종수 1 순열을 네 가지 색상이 있는 비교행 분할로 표현하며, 색상은 종수를 유지하는 레이블링 규칙을 나타낸다.
• 비자명한 순환을 포함하지 않는 감소한 종수 1 순열에 대한 표준 표현을 도입하여 유일성을 보장한다.
• 생성 함수를 사용하여 비자명한 순환 연산에 대해 닫혀 있는 순열의 집합을 모델링하고, 세기 결과의 이행을 가능하게 한다.
• 종수 1 분할과 순열의 생성 함수를 유도하며, 두 함수가 오직 $xy$ 요인의 차이만 있음을 보여 추측의 첨수 이동 등가성을 확인한다.
• 나라야나 수, 카탈란 수, 레지앙드 다항식에 대한 알려진 결과를 활용하여 계수를 해석하고, 타입 B 비교행 분할과 연결한다.
• 겔세르와 슈트레흐의 볼록 폴리오미노 및 자카비 구성에 대한 결과를 적용하여 생성 함수 계수의 조합론적 의미를 해석한다.

실험 결과

연구 질문

• RQ1 n개의 원소와 k개의 부분으로 이루어진 종수 1 분할의 수는 n−1개의 원소와 k−1개의 순환으로 이루어진 종수 1 순열의 수와 같은가?
• RQ2 비자명한 순환이 없는 경우, 종수 1 순열은 네 가지 색상이 있는 비교행 분할을 통해 유일하게 표현될 수 있는가?
• RQ3 비자명한 순환 삽입 및 제거에 대해 닫혀 있는 성질을 고려할 때, 생성 함수는 종수 1 순열과 분할을 어떻게 세는 데 사용될 수 있는가?
• RQ4 종수 1 구조와 타입 B 비교행 분할, 볼록 폴리오미노 등의 대상 간에 더 깊은 조합론적 연결 고리가 존재하는가?
• RQ5 종수 1 분할의 생성 함수는 레지앙드 다항식이나 자카비 구성과 같은 알려진 조합론적 모델을 통해 해석될 수 있는가?

주요 결과

• M. Yip의 추측이 확인되었다: n개의 원소와 k개의 부분으로 이루어진 종수 1 분할의 수는 n−1개의 원소와 k−1개의 순환으로 이루어진 종수 1 순열의 수와 같다.
• 비자명한 순환을 포함하지 않는 감소한 종수 1 순열에 대해 표준 네 가지 색상이 있는 비교행 분할 표현이 존재하며, 이는 고유한 세기 계산을 가능하게 한다.
• 종수 1 순열과 분할의 생성 함수는 오직 $xy$ 요인의 차이만 있으며, 이는 첨수 이동 등가성을 증명한다.
• 생성 함수의 계수는 겔세르와 슈트레흐의 결과에 따라 타입 B 비교행 분할, 볼록 폴리오미노, 자카비 구성과 연결되어 있다.
• 정확히 한 개의 백포인트를 가진 종수 1 순열의 수는 $p_1(n,k) = inom{n}{3} N(n-2,k-1)$ 로 주어지며, 여기서 $N(n-2,k-1)$ 는 나라야나 수이다.
• 생성 함수 $ (1 - 2(1+y)x + x^2(1-y)^2)^{-(2m+1)/2} $ 는 $m=0$ 일 때 A008459의 계수를 생성하며, 이는 이항계수의 제곱과 타입 B 비교행 분할에 해당한다.