[논문 리뷰] Fixed points and excedances in restricted permutations

Sergi Elizalde|ArXiv.org|2002. 12. 16.

Advanced Combinatorial Mathematics참고 문헌 4인용 수 12

한 줄 요약

이 논문은 321-回避 및 132-回避 순열에서 고정점과 초월점의 이변량 등분포 결과를 수립하며, 모든 $ n, i, j $에 대해 321을 피하는 $ n $-순열 중 고정점이 $ i $개이고 초월점이 $ j $개인 수가 132를 피하는 순열에서 동일한 통계를 갖는다는 것을 증명한다. 증명은 비유리 생성함수의 대각선을 활용하는 새로운 기법과 패턴-피하는 순열 및 다이크 경로 사이의 전단사 사상에 기반하며, 이전에 고정점만 고려한 결과를 일반화한다.

ABSTRACT

In this paper we prove that among the permutations of length n with i fixed points and j excedances, the number of 321-avoiding ones equals the number of 132-avoiding ones, for all given i,j<=n. We use a new technique involving diagonals of non-rational generating functions. This theorem generalizes a recent result of Robertson, Saracino and Zeilberger, for which we also give another, more direct proof.

연구 동기 및 목표

• 321- 및 132-피하는 순열에서 고정점에 대한 알려진 등분포 결과를 초월점까지 확장하여 보다 정교하게 다루는 것.
• 321-피하는 순열과 132-피하는 순열 사이에서 고정점과 초월점의 이변량 등분포를 수립하는 것.
• 비유리 생성함수의 대각선을 기반으로 하는 새로운 방법을 개발하고, 순열 통계 분석에 적용하는 것.
• Robertson, Saracino, 및 Zeilberger의 이전 결과를 고정점 하나만 고려한 경우에서 고정점과 초월점의 이변량 경우로 일반화하는 것.

제안 방법

• 321-피하는 순열에서 고정점($ x $), 초월점($ q $), 순열 길이($ t $)를 추적하는 생성함수 $ F_{321}(x,q,t) $를 정의한다.
• 321-피하는 순열과 다이크 경로 사이의 전단사 사상 $ heta_{\text{corner}} $을 사용하여 순열 통계를 경로 통계로 변환한다.
• 생성함수를 유리 함수 형태로 표현한 후 대각선 기법을 적용하여 이변량 분포의 생성함수를 추출한다.
• 새로운 통계를 모델링하기 위해 추가 변수를 포함한 보조 생성함수를 도입하고, 이를 특징짓는 함수방정식을 유도한다.
• 유도된 생성함수가 132-피하는 순열에 대해 유도된 함수방정식과 일치함을 증명하여 등분포를 함의한다.
• 대수적 항등식과 잔여물 계산을 사용하여 생성함수의 닫힌형 표현을 추측하고 검증한다.

실험 결과

연구 질문

• RQ1 321- 및 132-피하는 순열에서 고정점의 등분포가 초월점까지 고려된 이변량 경우로 확장되는가?
• RQ2 비유리 대각선을 활용한 생성함수 접근법을 사용하여 패턴 회피 순열에서의 이변량 등분포를 증명할 수 있는가?
• RQ3 321- 및 132-피하는 순열 간 고정점과 초월점에서의 대칭성에 대한 구조적 이유가 존재하는가?
• RQ4 321-피하는 순열에서의 이변량 분포 생성함수를 명시적으로 계산하고, 132-피하는 순열의 생성함수와 일치시킬 수 있는가?

주요 결과

• 모든 $ n, i, j \≤ n $에 대해 321을 피하는 $ n $-순열 중 고정점이 $ i $개이고 초월점이 $ j $개인 수는 132를 피하는 순열에서 동일한 $ i $와 $ j $를 갖는 수와 같다.
• 321-피하는 순열에서 고정점, 초월점, 길이를 추적하는 변수를 포함한 생성함수 $ F_{321}(x,q,t) $는 132-피하는 순열에 대한 동일한 생성함수와 동일하다.
• 증명은 비유리 생성함수의 대각선 추출을 새로운 방식으로 적용한 데 기반하며, 이 기법은 이전에 이 맥락에서 사용된 바가 없다.
• 이변량 분포의 생성함수는 함수방정식을 통해 유도되었고 잔여물 계산과 대수적 변환을 통해 검증되었다.
• 이전에 Robertson, Saracino, 및 Zeilberger가 고정점 하나만 고려한 결과를 일반화하여 초월점을 두 번째 통계로 포함한 결과로 확장하였다.
• 저자들은 생성함수에 대한 닫힌형 표현을 추측하고, 이를 조건부 함수방정식과 일치시켜 검증하였다.