[논문 리뷰] Another combinatorial proof of a result of Zagier and Stanley

Ricky X. F. Chen, Christian M. Reidys|arXiv (Cornell University)|2015. 02. 26.

Genome Rearrangement Algorithms참고 문헌 34인용 수 3

한 줄 요약

이 논문은 제이지와 스탠리가 제시한 결과에 대한 새로운 조합적 증명을 제시한다. $n$-순열 $\omega$ 중에서 $\omega(12\cdots n)$의 순환 수가 정확히 $k$개인 경우의 수에 대해, $n-k$가 홀수일 경우는 0이고, 그렇지 않을 경우 $\frac{2C(n+1,k)}{n(n+1)}$임을 보여준다. 여기서 $C(n,k)$는 제1종 무부호 스타링 수이다. 증명은 평면 순열(plane permutations)을 도입하고, 전치 작용을 통해 초월수(예외 수)를 분석하며, 한 면을 가진 하이퍼맵의 재귀관계를 반사 원리(reflection principle)를 통해 정교화한다.

ABSTRACT

In this paper, we present another combinatorial proof for the result of Zagier and Stanley, that the number of $n$-cycles $\omega$, for which $\omega(12\cdots n)$ has exactly $k$ cycles is $0$, if $n-k$ is odd and $\frac{2C(n+1,k)}{n(n+1)}$, otherwise, where $C(n,k)$ is the unsigned Stirling number of the first kind. To this end, we generalize permutations to plane permutations and study exceedances via a natural transposition action on plane permutations. Furthermore, based on a reflection principle argument, we give a refinement of a recurrence satisfied by the numbers counting one-face hypermaps which was recently obtained by Chapuy by counting bipartite unicellular maps.

연구 동기 및 목표

• 기존의 순환 수 결과에 대한 대체 조합적 증명을 제공한다.
• 초월수의 분석을 용이하게 하기 위해 순열을 평면 순열로 일반화한다.
• 참조 원리를 적용하여 찰프의 최근 결과를 확장하여 한 면을 가진 하이퍼맵의 재귀관계를 정교화한다.
• 평면 순열에서의 전치 작용과 순열 곱의 순환 구조 사이의 연결 고리를 설정한다.

제안 방법

• 표준 순열의 일반화로 평면 순열의 개념을 도입한다.
• 초월수와 그 분포를 연구하기 위해 평면 순열에 전치 작용을 정의한다.
• 반사 원리를 적용하여 한 면을 가진 하이퍼맵의 수에 대한 정교화된 재귀관계를 유도한다.
• 생성 함수와 조합 항등식을 사용하여 평면 순열과 제1종 스타링 수 사이의 관계를 규명한다.
• 순열 곱 $\omega(12\cdots n)$의 구조를 활용하여 조합적 대칭성을 통해 순환 수를 분석한다.
• 전치 역학의 이중적 구조를 통해 $n-k$가 홀수일 경우의 0이 되는 조건을 증명한다.

실험 결과

연구 질문

• RQ1 순열 곱 $\omega(12\cdots n)$에서 $n-k$가 홀수일 경우 순환 수가 0이 되는 데 배경이 되는 조합적 구조는 무엇인가?
• RQ2 평면 순열은 순열 곱에서의 초월수를 어떻게 모델링하고 분석할 수 있는가?
• RQ3 최근 찰프에 의해 유도된 한 면을 가진 하이퍼맵의 재귀관계를 반사 원리를 적용하여 정교화할 수 있는가?
• RQ4 순환 수 공식에서 인자 $\frac{2C(n+1,k)}{n(n+1)}$의 정확한 조합적 해석은 무엇인가?
• RQ5 평면 순열에서의 전치 작용은 $\omega(12\cdots n)$의 순환 구조에 어떤 정보를 담고 있는가?

주요 결과

• 순열 곱 $\omega(12\cdots n)$의 순환 수가 정확히 $k$개인 $n$-순열 $\omega$의 수는 $n-k$가 홀수일 경우 0이다.
• 일반적으로 $n-k$가 짝수일 경우, 그러한 $\omega$의 수는 $\frac{2C(n+1,k)}{n(n+1)}$이며, 여기서 $C(n+1,k)$는 제1종 무부호 스타링 수이다.
• 평면 순열의 도입은 전치 작용을 통한 초월수 분석을 위한 새로운 프레임워크를 제공한다.
• 반사 원리를 활용하여 찰프의 결과를 확장한 한 면을 가진 하이퍼맵의 정교화된 재귀관계가 도출되었다.
• 평면 순열에서의 전치 작용은 $n-k$가 홀수일 경우의 0이 되는 조건을 설명하는 구조적 대칭성을 드러낸다.
• 증명은 평면 순열과 곱 $\omega(12\cdots n)$의 순환 지수 사이의 직접적인 조합적 연결 고리를 확립한다.