[논문 리뷰] Edgewise subdivisions, local $h$-polynomials and excedances in the wreath product $\ZZ_r \wr \mathfrak{S}_n$

Christos A. Athanasiadis|arXiv (Cornell University)|2013. 10. 01.

Advanced Combinatorial Mathematics참고 문헌 23인용 수 5

한 줄 요약

이 논문은 단체의 barycentric 분할의 r번째 edgewise 분할과 wreath 곱 ℤ_r ≀ 𝔖_n에서의 플래그 초월 수치를 연결함으로써, 단순 체계 분할에서 국소 h다항식의 조합론적 해석을 일반화한다. 국소 h다항식이 γ-비음수임을 증명하고, 균형 잡힌 데랑주멘과 플래그 초월 수치 통계를 통해 γ계수의 조합론적 해석을 제공함으로써, 대칭군에서의 데랑주멘과 초월 수치에 대한 고전 결과를 확장한다.

ABSTRACT

The coefficients of the local $h$-polynomial of the barycentric subdivision of the simplex with $n$ vertices are known to count derangements in the symmetric group $\mathfrak{S}_n$ by the number of excedances. A generalization of this interpretation is given for the local $h$-polynomial of the $r$th edgewise subdivision of the barycentric subdivision of the simplex. This polynomial is shown to be $γ$-nonnegative and a combinatorial interpretation to the corresponding $γ$-coefficients is provided. The new combinatorial interpretations involve the notions of flag excedance and descent in the wreath product $\ZZ_r \wr \mathfrak{S}_n$. A related result on the derangement polynomial for $\ZZ_r \wr \mathfrak{S}_n$, studied by Chow and Mansour, is also derived from results of Linusson, Shareshian and Wachs on the homology of Rees products of posets.

연구 동기 및 목표

• barycentric 분할에서 계수들이 초월 수치에 따라 데랑주멘을 세는 고전적 국소 h다항식의 해석을 고차원 edgewise 분할으로 확장한다.
• barycentric 분할의 (n−1)-단체의 r번째 edgewise 분할의 국소 h다항식에 대한 조합론적 해석을 확립한다.
• 이 국소 h다항식이 γ-비음수임을 증명하고, wreath 곱 ℤ_r ≀ 𝔖_n에서의 플래그 초월 수치와 균형 잡힌 원소를 이용한 γ계수의 조합론적 해석을 제공한다.
• ℤ_r ≀ 𝔖_n에서의 데랑주멘 다항식 d_n^r(x)를 순서 집합의 Rees 곱의 호모로지와 연결하고, Chow와 Mansour의 결과를 Linusson, Shareshian, Wachs의 방법으로 복원한다.

제안 방법

• 논문은 얼굴 제약 조건에 대한 포함-배제 원리를 통해 국소 h다항식을 정의한다: ℓ_V(Γ,x) = ∑_{F⊆V} (−1)^{n−|F|} h(Γ_F,x).
• Rees 곱의 순서 집합 이론 결과(Linusson, Shareshian, Wachs)를 적용하여 r번째 edgewise 분할의 h다항식의 생성함수를 유도한다.
• ℤ_r ≀ 𝔖_n에서의 플래그 초월 수치 fexc(w)를 r·exc_A(w) + csum(w)로 정의한다. 여기서 exc_A는 색이 0인 위치에서의 초월 수치를 세고, csum는 색의 합을 의미한다.
• 데랑주멘 다항식 d_n^r(x)를 대칭 및 반대칭 부분 f_n^r,+(x)와 f_n^r,-(x)로 분해하고, 이들이 대칭성을 반영하는 함수 방정식을 만족함을 보인다.
• 국소 h다항식을 γ기저로 표현함으로써 γ-비음수성을 증명한다: ℓ_V(Γ,x) = ∑_{i=0}^{⌊n/2⌋} ξ_{n,r,i} x^i (1+x)^{n−2i}, 여기서 ξ_{n,r,i}는 단일 원소 런이 없는 i개의 내림차순 런을 가진 순열을 세는 수이다.
• 포함-배제 원리와 생성함수 조작을 통해 r번째 edgewise 분할의 h다항식을 ℤ_r ≀ 𝔖_k에서의 균형 잡힌 원소 위에서의 플래그 초월 수치 생성함수와 연결한다.

실험 결과

연구 질문

• RQ1 barycentric 분할의 단체의 r번째 edgewise 분할의 국소 h다항식은 어떻게 조합론적으로 해석할 수 있는가?
• RQ2 이 국소 h다항식의 γ전개에서 γ계수의 조합론적 의미는 무엇인가?
• RQ3 wreath 곱 ℤ_r ≀ 𝔖_n에서의 플래그 초월 수치는 edgewise 분할과 국소 h다항식의 구조와 어떻게 관련되는가?
• RQ4 ℤ_r ≀ 𝔖_n에서의 데랑주멘 다항식 d_n^r(x)는 순서 집합의 호모로지 관점에서 어떻게 해석될 수 있으며, 이는 그의 단조성과 실근성에 어떤 함의를 갖는가?
• RQ5 r번째 edgewise 분할의 국소 h다항식은 실근성을 만족하며, γ-비음수성도 갖는가?

주요 결과

• barycentric 분할의 (n−1)-단체의 r번째 edgewise 분할의 국소 h다항식은 ℓ_V(Γ,x) = ∑_{w∈(𝒟_n^r)^b} x^{fexc(w)/r}로 주어지며, 여기서 (𝒟_n^r)^b는 ℤ_r ≀ 𝔖_n에서의 균형 잡힌 데랑주멘의 집합이다.
• 국소 h다항식은 γ-비음수이며, 계수 ξ_{n,r,i}는 ℤ_r ≀ 𝔖_n에서 i개의 내림차순 런과 단일 원소 런이 없는 순열을 세는 수이다.
• γ전개 ℓ_V(Γ,x) = ∑_{i=0}^{⌊n/2⌋} ξ_{n,r,i} x^i (1+x)^{n−2i}는 플래그 초월 수치와 내림차순 통계를 통해 γ계수의 조합론적 해석을 제공한다.
• 데랑주멘 다항식 d_n^r(x)는 정점이 ⌊(n+1)/2⌋에 위치한 단조성을 보이며, f_n^r,+(x) + f_n^r,-(x)의 분해와 대칭성 특성을 통해 실근성이 확인된다.
• r번째 edgewise 분할의 h다항식 생성함수는 h(sd(2^F)^⟨r⟩,x) = E_r(∑_{w∈ℤ_r≀𝔖_k} x^{fexc(w)}) = ∑_{w∈(ℤ_r≀𝔖_k)^b} x^{fexc(w)/r}로 주어지며, 이는 균형 잡힌 원소와 연결된다.
• 논문은 d_n^r(x)가 실근성과 단조성을 갖는다는 것을 확인하고, γ전개와 ξ_{n,r,i}의 조합론적 해석을 통해 단조성에 대한 새로운 투명한 증명을 제공한다.