[논문 리뷰] Continued fractions for permutation statistics

Sergi Elizalde|arXiv (Cornell University)|2017. 03. 25.

Advanced Combinatorial Mathematics참고 문헌 17인용 수 7

한 줄 요약

이 논문은 고정점, 초월, 순환, 역전치 등의 순열 통계를 등가의 통계로 변환할 수 있는 시각적 프레임워크를 제안한다. 이는 색상이 칠해진 Motzkin 경로에 대한 연속 분수를 사용한 수량 세기 가능하게 한다. 주요 기여는 순환 순열 중 초월이 증가하는 경우가 벨 수로 세어지며, 이를 통해 기존의 순열 수량 결과를 조합적 이분형과 생성함수를 통해 확장하는 새로운 증명을 제공한다.

ABSTRACT

We explore a bijection between permutations and colored Motzkin paths that has been used in different forms by Foata and Zeilberger, Biane, and Corteel. By giving a visual representation of this bijection in terms of so-called cycle diagrams, we find simple translations of some statistics on permutations (and subsets of permutations) into statistics on colored Motzkin paths, which are amenable to the use of continued fractions. We obtain new enumeration formulas for subsets of permutations with respect to fixed points, excedances, double excedances, cycles, and inversions. In particular, we prove that cyclic permutations whose excedances are increasing are counted by the Bell numbers.

연구 동기 및 목표

• 순열의 통계를 색상이 칠해진 Motzkin 경로의 통계로 체계적으로 변환할 수 있는 시각적이고 체계적인 방법을 개발하기 위해.
• 색상이 칠해진 Motzkin 경로의 생성함수에 대한 연속 분수 프레임워크를 활용하여 특정 조합적 성질을 가진 순열의 부분집합을 수량 세기 위해.
• 초월, 순환, 고정점, 역전치와 관련된 기존의 순열 수량 결과를 복원하고 확장하기 위해.
• 초월이 증가하는 순환 순열이 벨 수로 수량 세어짐을 증명하기 위해, 이는 순열 통계의 맥락에서 새로운 중요한 결과이다.

제안 방법

• 논문은 순열의 순환 구조, 고정점, 초월을 원소와 대각선 사각형 간 기하적 연결을 통해 표현하는 사이클 다이어그램을 도입한다.
• 다이어그램 유형(고정점, 열림 괄호 등)의 대각선 순서를 올라가기, 내려가기, 수평 이동으로 매핑함으로써 순열과 색상이 칠해진 Motzkin 경로 사이의 이분형을 정의한다.
• Flajolet의 연속 분수 프레임워크를 활용하여 가중치가 부여된 Motzkin 경로의 생성함수를 사용해 경로 통계를 순열 통계의 생성함수로 변환한다.
• Motzkin 경로의 단계에 대해 가중치 체계를 도입하며, 높이에 따라 달라지는 가중치 d_h와 ℓ_h는 각 경로로 매핑되는 순열의 수를 나타내며, 이는 연속 분수를 통한 수량 세기 가능하게 한다.
• 이 방법은 패턴 회피(예: 321-피하기), 순환 구조(예: 순환 순열), 초월의 단조성과 같은 제약 조건을 도입하는 데 유용하다.
• d_h와 ℓ_h의 가중치 시퀀스를 분석함으로써 조합적 수열을 역으로 추론할 수 있는 메커니즘을 제공하며, 알려지지 않은 수열에 대해 더 단순한 공식을 추측할 수 있다.

실험 결과

연구 질문

• RQ1 초월, 고정점, 순환, 역전치 등의 순열 통계를 색상이 칠해진 Motzkin 경로의 통계로 체계적으로 변환할 수 있는가?
• RQ2 순환 순열에서 초월이 증가하는 경우의 생성함수는 무엇이며, 알려진 조합적 수열과 관련이 있는가?
• RQ3 연속 분수 프레임워크를 사용하여 순환 구조와 초월 조건을 갖는 순열의 부분집합을 수량 세울 수 있는가?
• RQ4 Motzkin 경로의 가중치 시퀀스 d_h와 ℓ_h는 알려지지 않은 조합적 수열의 닫힌 형태를 식별하거나 추측하는 데 어떻게 활용될 수 있는가?
• RQ5 벨 수와 초월이 증가하는 순환 순열 사이의 연결 고리는 무엇인가?

주요 결과

• 초월이 증가하는 순환 순열은 벨 수로 수량 세어지며, 이는 고전적인 이 수열에 대한 새로운 조합적 해석을 제공한다.
• 고정점, 초월, 이중 초월, 순환, 역전치에 대한 순열의 생성함수는 Motzkin 경로 대응을 통해 연속 분수로 표현될 수 있다.
• 이 방법은 기존의 순열 통계의 등분포 결과를 복원하고 확장하며, 이는 역전치와 약한 초월과 관련된 결과를 포함한다.
• 다양한 조합적 수열(예: 카탈란, Motzkin, 벨, 팩토리얼)에 대해 d_h와 ℓ_h의 가중치 시퀀스를 명시적으로 계산하고, 단순한 패턴을 따름을 보여준다.
• 이 프레임워크는 123 패턴을 피하는 등의 패턴 피하기 순열의 생성함수를 연속 분수 전개를 통해 식별할 수 있게 한다.
• d_h와 ℓ_h를 사용한 역으로 추론 메커니즘은 생성함수가 D-유한이 아니더라도, 초기 항만 알려진 수열에 대해 닫힌 형태를 추측하거나 발견하는 데 도움이 된다.