[논문 리뷰] Enumeration of snakes and cycle-alternating permutations

Matthieu Josuat-Vergès|arXiv (Cornell University)|2010. 11. 03.

Advanced Combinatorial MathematicsMathematics참고 문헌 20인용 수 20

한 줄 요약

이 논문은 삼각함수와 관련된 도함수 다항식에 대한 조합적 해석을 제공하며, 이를 부호 있는 순열(스네이크), 사이클-교대 순열, 가중 치크 및 모츠킨 경로, 증가하는 트리/림으로 연결한다. 삼각급수와 J-분수를 통한 생성함수를 수립하고, q-해석을 도입하며, 정상 순서 문제와 미분방정식과의 연관성을 제시함으로써 스프링거 수 및 관련 수열에 대한 통합된 조합적 프레임워크를 제공한다.

ABSTRACT

Springer numbers are an analog of Euler numbers for the group of signed permutations. Arnol'd showed that they count some objects called snakes, that generalize alternating permutations. Hoffman established a link between Springer numbers, snakes, and some polynomials related with the successive derivatives of trigonometric functions. The goal of this article is to give further combinatorial properties of derivative polynomials, in terms of snakes and other objects: cycle-alternating permutations, weighted Dyck or Motzkin paths, increasing trees and forests. We obtain the generating functions, in terms of trigonometric functions for exponential ones and in terms of J-fractions for ordinary ones. We also define natural q-analogs, make a link with normal ordering problems and combinatorial theory of differential equations.

연구 동기 및 목표

• 스프링거 수 S_n의 기존 생성함수를 초월하여 다양한 조합적 대상과의 연관성을 통해 그 조합적 이해를 확장하기 위해.
• 읽기 단어와 잎의 위치 기반 부호 할당을 통한 증가 트리와 스네이크 사이의 이항사상과 함께, 도함수 다항식 P_n(t), Q_n^{(a)}(t), R_n(t)의 생성함수에 대한 이항 및 대수적 증명을 제공하기 위해.
• 이러한 다항식의 q-해석을 도입하고, 미분방정식의 맥락에서 연산자의 정상 순서 문제와 연결하기 위해.
• 스네이크, 사이클-교대 순열, 가중 격자 경로, 증가하는 트리 등 다양한 조합적 가족을 동일한 생성함수 프레임워크 아래 통합하기 위해.

제안 방법

• 미분 항등식과 삼각함수 전개를 이용하여 도함수 다항식 P_n(t), Q_n^{(a)}(t), R_n(t)의 재귀관계와 생성함수를 유도한다.
• 읽기 단어와 잎의 위치 기반 부호 할당을 통해 증가 트리와 스네이크 사이의 이항사상을 수립한다.
• Q_n^{(a)}(t)의 계수를 코딩하는 가중 치크 및 모츠킨 경로를 구성하며, 경로의 구조와 내림차순 패턴에서 유도된 가중치를 적용한다.
• J-분수 연속분수를 사용하여 일반 생성함수를 표현하고, 경로 분해를 통한 조합적 증명을 제시한다.
• 다항식의 q-해석을 도입하고, 미분방정식 맥락에서 연산자의 정상 순서 문제와 연결한다.
• 미분방정식의 조합론적 이론을 적용하여 다항식이 가중 트리와 숲을 세는 것으로 해석될 수 있음을 제시한다.

실험 결과

연구 질문

• RQ1 도함수 다항식 P_n(t)와 Q_n^{(a)}(t)는 부호 있는 순열과 격자 경로의 관점에서 어떻게 조합적으로 해석될 수 있는가?
• RQ2 스네이크와 사이클-교대 순열 맥락에서 매개변수 t의 조합적 의미는 무엇인가?
• RQ3 Q_n^{(a)}(t)의 생성함수는 이항적으로 J-분수(연속분수)를 통해 어떻게 해석될 수 있으며, 이는 기존의 해석적 결과와 어떻게 관련되는가?
• RQ4 스프링거 수와 도함수 다항식의 q-해석은 미분방정식의 정상 순서 문제에서 어떻게 유도되는가?
• RQ5 증가하는 트리, 숲, 그리고 스네이크, 사이클-교대 순열과 같은 다양한 순열 클래스 사이의 구조적 관계는 무엇인가?

주요 결과

• Q_n^{(a)}(t)의 지수 생성함수는 (cos z - t sin z)^{-a}로 주어지며, a=1일 때 알려진 결과를 일반화한다.
• Q_n^{(a)}(t)의 일반 생성함수는 J-분수(연속분수)로 표현되며, 고전적으로 알려진 해석적 항등식에 대한 조합적 해석을 제공한다.
• 읽기 단어에서 각 노드 이전의 빈 잎의 수에 따라 부호를 할당함으로써 증가 트리와 스네이크 사이의 이항사상이 구성된다.
• 다항식 R_n(t) = Q_n^{(2)}(t)는 R_n(1) = 2^n E_{n+1}를 만족하며, 오일러 수와 β-스네이크와 관련된다.
• 도함수 다항식의 q-해석이 정의되고 정상 순서 문제와 연결되며, 오일러 수의 기존 q-해석을 확장한다.
• 사이클-교대 순열이 포아타의 기본 변환에 의해 스네이크의 상(image)임을 보이며, 동일한 수열에 대한 새로운 조합적 모델을 제공한다.