[논문 리뷰] Eulerian-type polynomials over matchings and matching permutations

Shi-Mei Ma, Sergey Kitaev외 2명|arXiv (Cornell University)|2026. 01. 28.

Advanced Combinatorial Mathematics인용 수 0

한 줄 요약

이 논문은 매칭과 순열 사이의 깊은 연관성을 확립하여 매칭에 대한 사사건수( quadruple statistic )가 순열의 exc, drop, fix, cyc 통계에 대응함을 보이고, 매칭에 대한 대칭 5변수 이웃 다항식 및 e-positivity 및 2차 순차 Eulerian 다항식과의 관계를 연구한다.

ABSTRACT

Claesson and Linusson [Proc. Am. Math. Soc., 139 (2011), 435-449] observed that there are n! matchings on [2n] with no left-nestings. Inspired by this result, this paper is devoted to exploring a deeper connection between matchings and permutations. We first discover that a quadruple statistic over matchings corresponds to the well known quadruple statistic (exc,drop,fix,cyc) over permutations, where exc, drop, fix and cyc are the excedance, drop, fixed point and cycle statistics, respectively. By introducing matching permutations, we provide a symmetric expansion of a five-variable neighbor polynomial of matchings, which encodes a great deal of neighbor information. As an application, we discover the e-positivity of NCA-polynomials, which implies that the left-nesting number, the left-crossing number and the neighbor alignment number are distributed symmetrically over all matchings on [2n]. We also establish the relationship between the five-variable neighbor polynomials and the trivariate second-order Eulerian polynomials, which generalizes the related results of Claesson and Linusson, Cameron and Killpatrick as well as Chen and Fu.

연구 동기 및 목표

• 매칭과 순열 간의 대응 관계를 매칭 통계 및 생성 다항식을 통해 동기화하고 형식화한다.
• Rich한 이웃 정보를 인코딩하기 위해 매칭-순열과 다섯 변수 이웃 다항식을 도입한다.
• 이웃 관련 매칭 통계에 대한 대칭성 및 e-positivity 결과를 증명한다.
• 세 변종 두 번째 차수 Eulerian 다항식 및 type B 유사체와 다섯 변수 이웃 다항식을 관계시킨다.
• 매칭 프레임워크 내에서 Eulerian 다항식 및 derangement-like 수량에 대한 알려진 결과를 확장한다.

제안 방법

• 매칭에 대해 네 가지 통계량의 quadruple 통계를 정의하고 연구하여 이를 순열의 (exc, drop, fix, cyc) 네 가지에 대응시킨다.
• 매칭-순열의 개념을 도입하고 대칭 확장을 증명한다: 2^n A_n(x/p, s/p, t/2) 표현은 elblock, olblock, fixb, trace 와 관련된다.
• Chen의 문법(맥락 자유 문법)과 그 형식 미분을 이용해 매칭 통계의 생성 함수를 도출한다.
• 다섯 변수 이웃 다항식 M_n(x,y,s,t) 를 유도하고 분석하며 Theorem 3 을 표준 Eulerian 다항식과 연결한다.
• p,q-Eulerian 다항식, q-derangement 다항식, type B 유사체를 일반 프레임워크의 특수화로 탐구한다.
• 이웃 다항식을 삼변수의 2차 순차 Eulerian 다항식과 연결하고 e-positivity 및 대칭성에 관한 다양한 결과를 도출한다.

실험 결과

연구 질문

• RQ1 매칭 통계(elblock, olblock, fixb, trace)가 순열 통계(exc, drop, fix, cyc) 를 어떻게 부호화하는가?
• RQ2 매칭의 이웃 다항식에 대한 대칭 확장을 얻고 이를 Eulerian 다항식과 연결할 수 있는가?
• RQ3 다섯 변수 이웃 다항식은 e-positivity를 보이는가, 그리고 이것이 왼쪽 중첩(left-nesting), 왼쪽 교차(left-crossing), 이웃 정렬(neighbor alignment) 간의 대칭성과 어떤 관련이 있는가?
• RQ4 다섯 변수 이웃 다항식과 삼변수의 2차 순차 Eulerian 다항식 간의 관계는 여러 특수화에서 어떻게 나타나는가(특히 type B 포함)?
• RQ5 표준 Eulerian 타입 다항식은 매칭 프레임워크의 특수 사례(p,q-Eulerian, q-derangements, r-colored Eulerian)로 어떻게 도출되는가?

주요 결과

• 매칭에 대한 네 가지 통계가 순열의 네 가지 통계(exc, drop, fix, cyc)와 대응한다.
• 매칭의 다섯 변수 이웃 다항식에 대한 대칭 확장을 얻어 풍부한 이웃 정보를 인코딩한다.
• NCA-다항식의 e-positivity를 적용으로 확립하여 [2n]의 모든 매칭에 대해 왼쪽 중첩, 왼쪽 교차, 이웃 정렬 분포의 대칭성을 시사한다.
• 다섯 변수 이웃 다항식과 삼변수의 2차 순차 Eulerian 다항식 간의 직접적인 연결을 보여주며, Claesson–Linusson, Cameron–Killpatrick, Chen–Fu 의 선행 결과를 일반화한다.
• 일부 특수화를 표현하는 명제와 보충정리는: type B derangement 다항식과 매칭 기반 생성 함수를 통한 type B Eulerian 다항식의 컨볼루션과의 연결을 포함한다.
• 이 연구는 매칭을 더 넓은 Eulerian 다항식 지형에 포함시켜, 역함수와 그 곱이 순열 통계와 매칭 구조를 통해 어떻게 관계하는지 보여준다.