[논문 리뷰] The peak statistics on simsun permutations

Shi-Mei Ma, Yeong‐Nan Yeh|arXiv (Cornell University)|2016. 01. 25.

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

한 줄 요약

이 논문은 시뮬런 순열에서 최댓값 통계—특히 왼쪽 최댓값, 내부 최댓값, 오르내림 구간—을 조사하며 생성함수, 재귀관계, 실근성과의 연결 고리를 밝혀낸다. 또한 제2종 시뮬런 순열을 도입하고, 이들이 앤드레 순열과 사이클-오르내림 구조와 연결되는 이변수 생성함수를 유도함으로써 지수 생성함수와 미분방정식을 통해 깊이 있는 조합적 대칭성을 드러낸다.

ABSTRACT

In this paper, we study the relationship among left peaks, interior peaks and up-down runs of simsun permutations. Properties of the generating polynomials, including the recurrence relation, generating function and real-rootedness are studied. Moreover, we introduce and study simsun permutations of the second kind.

연구 동기 및 목표

• 시뮬런 순열에서 왼쪽 최댓값, 내부 최댓값, 오르내림 구간의 분포를 분석한다.
• 시뮬런 순열에서 최댓값 통계에 대한 재귀관계와 생성함수를 수립한다.
• 제2종 시뮬런 순열을 도입하고, 이를 연구함으로써 조합적 프레임워크를 확장한다.
• 시뮬런 순열의 생성함수를 앤드레 순열과 사이클-오르내림 구조의 생성함수와 연결한다.
• 관련 다항식의 실근성과 구조적 성질을 조사한다.

제안 방법

• 삽입 기법을 활용하여 내부 최댓값이 주어진 수를 가진 순열과 시뮬런 순열을 구축적으로 연결한다.
• 생성 다항식 $ S_n(x) $ 에 대한 재귀관계를 유도: $ S_{n+1}(x) = (1 + nx)S_n(x) + x(1 - 2x)S_n'(x) $, $ S_0(x) = 1 $.
• 닫힌형 생성함수를 확립: $ S(x,z) = \left( \frac{\sqrt{2x-1}\sec(\frac{z}{2}\sqrt{2x-1})}{\sqrt{2x-1} - \tan(\frac{z}{2}\sqrt{2x-1})} \right)^2 $.
• 사이클 구조를 통해 제2종 시뮬런 순열을 도입하고, 이변수 생성함수 $ S(x,q;z) = S(x,z)^q $ 를 정의한다.
• 생성함수에 미분방정식을 적용하여 $ (1 - xz)S_z = qS + x(1 - 2x)S_x $ 를 도출함으로써 생성함수를 특성화한다.
• 조합적 전단사와 지수 생성함수를 활용하여 시뮬런 순열을 사이클-오르내림 순열과 앤드레 순열과 연결한다.

실험 결과

연구 질문

• RQ1 시뮬런 순열의 왼쪽 최댓값은 다른 순열 클래스의 내림과 최댓값 통계와 어떻게 관련이 있는가?
• RQ2 왼쪽 최댓값에 따라 시뮬런 순열의 수를 세는 생성함수는 무엇이며, 그 구조적 성질은 무엇인가?
• RQ3 시뮬런 순열에서 내부 최댓값 통계는 일반 순열의 그것과 어떻게 관련이 있는가?
• RQ4 오르내림 구간은 시뮬런 순열의 수를 세는 데 어떤 역할을 하는가?
• RQ5 제2종 시뮬런 순열의 조합적 및 대수적 성질은 무엇인가?

주요 결과

• 시뮬런 순열에서 왼쪽 최댓값에 대한 생성다항식 $ S_n(x) $ 는 재귀관계 $ S_{n+1}(x) = (1 + nx)S_n(x) + x(1 - 2x)S_n'(x) $ 를 만족하며, $ S_0(x) = 1 $ 이다.
• 지수 생성함수 $ S(x,z) $ 는 $ \left( \frac{\sqrt{2x-1}\sec(\frac{z}{2}\sqrt{2x-1})}{\sqrt{2x-1} - \tan(\frac{z}{2}\sqrt{2x-1})} \right)^2 $ 로 주어지며, 삼각함수와 연결됨을 보여준다.
• 제2종 시뮬런 순열의 생성함수는 $ S(x,q;z) = S(x,z)^q $ 를 만족하여 사이클-오르내림 순열과의 연결 고리를 확립한다.
• 모든 $ q > 0 $ 에 대해 다항식 $ S_n(x,q) $ 는 음이 아니고 단순한 영점을 가지며, 실근성을 나타낸다.
• 오일러 수 $ E_{n+1} $ 는 $ E_{n+1} = \frac{1}{2^n} \sum_{k=0}^n \binom{n}{k} S_k S_{n-k} $ 를 만족하며, 여기서 $ S_n $ 은 $ n $ 번째 스프링거 수이다.
• 생성함수 $ S(1,q;z) = \frac{1}{(1 - \sin z)^q} $ 는 사이클 수에 따라 사이클-오르내림 순열을 세며, 앤드레 순열과 깊은 연결 고리를 확인한다.