[論文レビュー] Eulerian-type polynomials over matchings and matching permutations

Shi-Mei Ma, Sergey Kitaev+2 more|arXiv (Cornell University)|Jan 28, 2026

Advanced Combinatorial Mathematics被引用数 0

ひとこと要約

この論文は、マッチングと置換の深い関係を確立し、マッチングの四重統計が置換の exc, drop, fix, cyc 統計に対応することを示し、マッチングの対称的な五変数隣接多項式を導出し、e-positivity と二階 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.

研究の動機と目的

• matched statistics と generating polynomials を通じたマッチングと置換の対応づけを動機づけ formalize する。
• rich な隣接情報をエンコードする五変数隣接多項式と matching permutations を導入する。
• neighbor 関連統計 の対称性と e-positivity を証明する。
• five-variable neighbor polynomials を三変数の second-order Eulerian 多項式および type B 類比と関連づける。
• matching フレームワーク内で Eulerian-type 多項式および derangement風量の既知結果を拡張する。

提案手法

• matchings における quadruple 統計を定義し、それが permutations の quadruple (exc, drop, fix, cyc) に写像されることを研究する。
• matching permutations の概念を導入し、対称展開を証明する：2^n A_n(x/p, s/p, t/2) 表現は elblock, olblock, fixb, trace に関連する。
• Chen の文法（文脈自由文法）とその形式微分を用いて、matching 統計の生成関数を導出する。
• 五変数隣接多項式 M_n(x,y,s,t) を導出・分析し、標準 Eulerian 多項式へ結びつく定理 3 を証明する。
• p,q-Eulerian 多項式、q-derangement 多項式、type B 類推を一般フレームワークの特化として探索する。
• 隣接多項式を三変数 second-order Eulerian 多項式へ結びつけ、e-positivity と対称性に関する系小定理を導く。

実験結果

リサーチクエスチョン

• RQ1 matching statistics (elblock, olblock, fixb, trace) は permuta tion statistics (exc, drop, fix, cyc) をどうエンコードするのか。
• RQ2 neighbor 多項式の対称展開を得て、それを Eulerian 多項式へ結びつけられるか。
• RQ3 five-variable neighbor 多項式は e-positivity を示すか、左巣 nesting、左クロス、neighbor alignment の対称性とどう関連するか。
• RQ4 five-variable neighbor 多項式と三変数 second-order Eulerian 多項式は様々な特化形（type B を含む）でどう関係するか。
• RQ5 標準的な Eulerian-type 多項式はマッチングフレームワークの特例としてどのように現れるか（p,q-Eulerian、q-derangements、r-colored Eulerian）。

主な発見

• マッチングの四重統計は置換の quadruple exc, drop, fix, cyc に対応する。
• マッチングの五変数隣接多項式の対称展開を得て、豊かな隣接情報をエンコードする。
• NCA-多項式の e-positivity を適用として確立し、[2n] におけるすべてのマッチングの左巣 nesting、左クロス、neighbor alignment の分布の対称性を含意する。
• 五変数隣接多項式と三変数 second-order Eulerian 多項式との直接的な結びつきを示し、Claesson–Linusson、Cameron–Killpatrick、Chen–Fu の既往結果を一般化する。
• 命題と系は、type B の derangement 多項式との結びつき、並びに matching を用いた生成関数を介した type B Eulerian 多項式の畳み込みを表現する特定例を示す。
• 本研究はマッチングをより広い Eulerian 多項式の領域へ包含し、 involution とそれらの積が permutation statistics にどのように結びつくかを matching 構造を通じて示す。