[논문 리뷰] A symmetric unimodal decomposition of the derangement polynomial of type $B$

Christos A. Athanasiadis, Christina Savvidou|arXiv (Cornell University)|2013. 03. 10.

Advanced Combinatorial Mathematics참고 문헌 22인용 수 16

한 줄 요약

이 논문은 유형 B의 데랑주먼트 다항식 $d_n^B(x)$에 대한 새로운 조합적 공식을 제시하며, 중심 대칭이 반 단위 차이 나는 두 개의 대칭적이고 단조증가 다항식 $f_n^+(x)$와 $f_n^-(x)$로 분해한다. 이 분해는 단조증가성에 대한 투명한 증명을 제공하며, 바리센터릭 분할을 통한 기하학적 해석을 포함하여 국소 $h$-벡터와 유형 $A$의 오일러안 다항식과 연결된다. 이 분해는 $\gamma$-비음성성을 만족하며 재귀 관계를 따르며, 실근성 추측에 대한 증거를 제공한다.

ABSTRACT

The derangement polynomial $d_n (x)$ for the symmetric group enumerates derangements by the number of excedances. The derangement polynomial $d^B_n(x)$ for the hyperoctahedral group is a natural type $B$ analogue. A new combinatorial formula for this polynomial is given in this paper. This formula implies that $d^B_n (x)$ decomposes as a sum of two nonnegative, symmetric and unimodal polynomials whose centers of symmetry differ by a half and thus provides a new transparent proof of its unimodality. A geometric interpretation, analogous to Stanley's interpretation of $d_n (x)$ as the local $h$-polynomial of the barycentric subdivision of the simplex, is given to one of the summands of this decomposition. This interpretation leads to a unimodal decomposition and a new formula for the Eulerian polynomial of type $B$. The various decomposing polynomials introduced here are also studied in terms of recurrences, generating functions, combinatorial interpretations, expansions and real-rootedness.

연구 동기 및 목표

• 유형 B의 초월성 수를 기반으로 한 하이퍼오크타드럴 군 내 데랑주먼트의 수를 세는 다항식 $d_n^B(x)$에 대한 새로운 조합적 공식을 제공한다.
• $d_n^B(x)$를 중심 대칭이 반 단위 차이 나는 두 개의 대칭적이고 단조증가 다항식 $f_n^+(x)$와 $f_n^-(x)$로 분해하여, 단조증가성에 대한 투명한 증명을 제공한다.
• $f_n^+(x)$를 단체의 바리센터릭 분할의 국소 $h$-다항식으로 기하학적으로 해석하며, 이는 스탠리의 유형 A에 대한 해석과 유사하다.
• 분해된 다항식에 대한 재귀 관계, 생성함수, 실근성 성질을 확립하고, 이들을 유형 $A$의 오일러안 다항식과 연결한다.

제안 방법

• 주요 방법은 $n$으로 합이 되는 수열에 따라 인덱싱된 다항계수와 $d_{r_0}(x)$, $A_{r_i}(x)$, 그리고 $x$의 거듭제곱의 곱으로 표현된 $d_n^B(x)$에 대한 새로운 조합적 공식이다.
• $d_n^B(x)$는 $f_n^+(x)$와 $f_n^-(x)$로 유일하게 분해되며, $f_n^+(x) = x^n f_n^+(1/x)$와 $f_n^-(x) = x^{n+1} f_n^-(1/x)$를 만족하여 대칭성을 보장한다.
• 분해의 각 항이 $\gamma$-비음성임을 보이며, 이는 대칭적이고 단조증가하는 계수를 의미하며, 중심 대칭은 각각 $n/2$와 $(n+1)/2$이다.
• 기하학적 해석: $f_n^+(x)$는 $(n-1)$-단체의 바리센터릭 분할의 국소 $h$-다항식으로 해석되며, 단체 복합체와 조합적 위상수학과 연결된다.
• 생성함수와 미분 항등식을 기반으로 $B_k(x)$와 $d_n^B(x)$의 구조를 이용해 계수 $a_n^{+}(k)$와 $a_n^{-}(k)$에 대한 재귀 관계를 유도한다.
• 대칭 함수 항등식과 유형 $A$ 및 $B$의 오일러안 다항식의 성질을 사용하여 분해된 다항식을 기존의 조합적 수열과 연결하고, 실근성 추측을 뒷받침한다.

실험 결과

연구 질문

• RQ1 유형 B의 데랑주먼트 다항식 $d_n^B(x)$는 중심 대칭이 반 단위 차이 나는 두 개의 대칭적이고 단조증가 다항식의 합으로 표현될 수 있는가? 이는 단조증가성에 대한 새로운 증명을 제공하는가?
• RQ2 분해의 양의 부분인 $f_n^+(x)$의 기하학적 의미는 무엇이며, 바리센터릭 분할과 국소 $h$-벡터와 어떻게 관련되는가?
• RQ3 $f_n^+(x)$와 $f_n^-(x)$의 계수는 어떤 재귀 관계를 만족하는가? 이는 생성함수 또는 미분 방정식으로 유도될 수 있는가?
• RQ4 분해된 다항식 $f_n^+(x)$와 $f_n^-(x)$는 실근성을 가지는가? 이에 대한 증거는 무엇인가?
• RQ5 이 분해는 $\gamma$-벡터와 유형 $A$의 오일러안 다항식으로 어떻게 표현될 수 있으며, 이는 그들의 조합적 구조에 대해 어떤 함의를 갖는가?

주요 결과

• 데랑주먼트 다항식 $d_n^B(x)$는 $f_n^+(x)$와 $f_n^-(x)$로 대칭적이고 단조증가하는 분해를 갖는다. $f_n^+(x)$는 $n/2$를 중심으로 대칭이며, $f_n^-(x)$는 $(n+1)/2$를 중심으로 대칭하여 단조증가성을 투명하게 증명한다.
• $f_n^+(x)$는 $(n-1)$-단체의 바리센터릭 분할의 국소 $h$-다항식으로 기하학적으로 해석되며, 이는 스탠리의 유형 A 결과를 일반화한다.
• $f_n^+(x)$와 $f_n^-(x)$의 계수는 $\gamma$-비음성임이 증명되며, 이는 $x^i(1+x)^{n-2i}$의 비음성 조합으로 표현될 수 있음을 의미하여 대칭적이고 단조증가하는 계수를 확인한다.
• 명시적 재귀 관계가 유도되었다: $a_n^{+}(k) = (2k-1)a_{n-1}^{+}(k) + 2(n-k)a_{n-1}^{+}(k-1) + 2(n-1)a_{n-2}^{+}(k-1) + d_{n-1}^B(k)$, $a_n^{-}(k)$에 대해서는 유사한 공식이 존재하며, 생성함수와 미분 항등식을 기반으로 유도되었다.
• $f_n^+(x)$와 $f_n^-(x)$는 $n \geq 2$일 때 실근성을 갖는다고 추측되며, $n \leq 10$까지의 검증으로 이 추측에 대한 지원이 이루어졌다. 이는 더 깊은 구조적 성질을 시사한다.
• 이 분해를 통해 유형 $B$의 오일러안 다항식을 두 개의 단조증가 다항식의 합으로 표현할 수 있으며, 각각은 유형 $A$의 오일러안 다항식과 $d_{r_i}(x)$로 표현될 수 있어, 유형 $A$와 유형 $B$의 조합론 간의 새로운 연결 고리를 드러낸다.