매칭과 순열을 잇는 오일러형 다항식의 새로운 전개와 e‑양성

초록

본 논문은 매칭의 네 가지 통계량을 순열의 (excedance, drop, fixed point, cycle) 네 통계량과 일대일 대응시키고, ‘매칭 순열’ 개념을 도입해 5변수 이웃 다항식의 대칭 전개를 얻는다. 이를 통해 NCA‑다항식의 e‑양성을 증명하고, 이 다항식과 3변수 2차 오일러형 다항식 사이의 관계를 밝힌다. 또한, 생성함수와 문법 기반 증명을 제공한다.

상세 분석

논문은 먼저 매칭 M∈Mₙ에 대해 다섯 종류의 블록(고정 블록, 짝수·홀수 큰·작은 블록 등)과 trace 지표를 정의하고, 이를 통해 (elblock, olblock, fixb, trace) 네 통계량을 만든다. 이 네 통계량의 가중합을 ∑_{M∈Mₙ} x^{elblock(M)} y^{olblock(M)} s^{fixb(M)} t^{trace(M)} 로 두면, 이는 순열 π∈Sₙ에 대한 (2x)^{exc(π)} (2y)^{drop(π)} (2s)^{fix(π)} (2t)^{cyc(π)} 와 정확히 일치한다는 식 (2)를 증명한다. 이는 매칭과 순열 사이의 새로운 사중 통계 대응을 제공한다는 점에서 의미가 크다.

다음으로 ‘매칭 순열(matching permutations)’이라는 새로운 구조를 도입한다. 매칭을 순열의 한 종류로 해석함으로써, 기존에 정의된 왼쪽 중첩(left‑nesting), 왼쪽 교차(left‑crossing), 이웃 정렬(neighbor alignment) 등 세 가지 통계량을 동시에 추적할 수 있는 5변수 이웃 다항식 Nₙ(x,y,s,t,u)를 정의한다. 핵심 정리 3에서는 이 다항식이 (2y)ⁿ·Aₙ(xy, s y, t·2) 형태로 전개됨을 보이며, 여기서 Aₙ은 (p,q)‑오일러형 다항식이다. 따라서 Nₙ은 Aₙ의 대칭성에 의해 x와 y를 교환해도 동일하고, 이는 매칭의 왼쪽‑중첩, 왼쪽‑교차, 이웃 정렬이 서로 대칭적으로 분포한다는 사실을 즉시 얻는다.

특히, NCA‑다항식(NCA‑polynomials)은 왼쪽‑중첩, 왼쪽‑교차, 이웃 정렬을 각각 변수로 넣은 특수 경우이며, 논문은 이를 e‑양성(e‑positivity)임을 증명한다. e‑양성은 다항식이 기본 대칭 함수 e_λ(·)의 비음이 아닌 선형 결합으로 전개될 수 있음을 의미한다. 이를 통해 NCA‑다항식이 Schur‑양성보다 강한 대칭성을 가진다는 결론을 얻는다.

또한, 5변수 이웃 다항식과 3변수 2차 오일러형 다항식(Trivariate second‑order Eulerian polynomials) 사이의 직접적인 변환 관계를 제시한다. 이를 통해 Claesson‑Linusson, Cameron‑Killpatrick, Chen‑Fu 등 이전 연구들의 결과를 일반화한다. 생성함수 관점에서는 식 (7)과 (4)를 결합해 ∑_{n≥0} Mₙ(x,y,s,t) zⁿ/n! = ((y−x) e^{2sz} e^{2xz} − x e^{2yz})^{t²} 형태의 닫힌 형태를 얻는다.

증명 기법으로는 Chen의 문법(Grammar) 방법을 활용한다. 두 개의 문법 G와 G₁을 정의하고, 각각이 순열 통계와 매칭 통계에 대응하도록 설계한다. Dⁿ_G와 Dⁿ_{G₁}의 작용을 통해 원하는 다항식이 생성됨을 보이며, 이는 전통적인 bijective 증명보다 구조적 이해를 돕는다. 또한, Stirling 수와 signless Stirling 수를 이용해 trace 통계의 모멘트를 명시적으로 계산한다.

전체적으로 논문은 매칭과 순열 사이의 통계적 동형성을 새롭게 정립하고, 이를 바탕으로 다변수 다항식의 대칭·e‑양성 특성을 폭넓게 확장한다는 점에서 조합론·대칭함수 이론에 중요한 기여를 한다.