Dowling 수와 연결된 B형 집합 분할의 새로운 계통

초록

본 논문은 영(0) 블록을 허용하지 않는 B형 집합 분할을 연구한다. 병합 자유와 분리된 분할을 각각 정의하고, 이 두 클래스를 Dowling 수와 연결시킨다. 또한 이들의 교집합에 대해 블록 생성 다항식이 실근을 갖는 것을 보이며, 평탄화된 순열에 대한 내림차순 통계가 γ‑양성임을 밸리‑호핑 작용을 이용해 증명한다. 마지막으로 내림차순 통계가 균등 평균을 갖는다는 동동성(homomesy) 결과도 제시한다.

상세 분석

논문은 먼저 ⟨n⟩={0,±1,…,±n} 위의 B형 집합 분할을 표준형으로 정의하고, 영 블록을 제외한 경우의 전체 집합을 Π₀ⁿ이라 둔다. 이때 Dowling 수 Dₙ이 전체 B형 분할의 수임을 이용해, 영 블록이 없는 분할 수 wₙ을 Dₙ의 이항 변환으로 표현한다(wₙ=∑_{j=0}^n (−1)^{n−j}C(n,j)D_j). 또한 wₙ을 2^{n−k}·S(n,k)와 같은 형태로 전개함으로써 기존 Stirling 수와의 관계를 명확히 한다.

다음으로 병합 블록(Merging block)과 연속 블록(Succession)의 두 통계 mb와 suc를 도입한다. 병합 자유(merging‑free) 분할은 mb=0인 경우이며, 분리된(separated) 분할은 suc=0인 경우이다. 저자들은 “swap” 연산과 두 개의 변환 µ_a, ρ_a를 정의해 mb와 suc를 서로 교환하는 전단사 ψ_{R,S}를 구성한다. 이를 통해 (mb,suc)의 q‑t 대칭, 즉 X_{π∈Π₀ⁿ} q^{mb(π)}t^{suc(π)}=X_{π∈Π₀ⁿ} t^{mb(π)}q^{suc(π)}를 증명한다.

병합 자유와 분리된 분할 각각에 대해 블록 수 생성 다항식 T_n(x)=∑{k≥0}w{n,k}x^k를 정의하고, 재귀식 T_n(x)=xT_{n−1}(x)+2xT’_{n−1}(x) 를 이용해 실근성을 확보한다. 또한 두 클래스를 동시에 만족하는 교집합(병합 자유이면서 분리된) 역시 동일한 실근성을 갖는 다항식으로 기술된다.

섹션 4에서는 B형 병합 자유 분할을 “평탄화”하여 Stirling 순열(정수 순열)로 변환하는 bijection을 제시한다. 섹션 5에서는 부호가 붙은 순열(RB_n)로의 평탄화를 다루며, 내림차순 통계 des(σ)를 조사한다. 저자들은 valley‑hopping이라는 그룹 작용을 정의하고, 이 작용이 RB_n을 궤도로 분할하면서 각 궤도 내에서 des의 평균이 일정함을 보인다(동동성). 더 나아가 궤도 대표 원소들의 des 분포 다항식이 γ‑양성임을 증명하고, γ‑계수를 “valley”와 “peak”의 개수에 대한 조합적 해석으로 제시한다.

전체적으로 논문은 B형 집합 분할의 새로운 부분군을 Dowling 수와 연결시키고, 실근성, γ‑양성, 동동성이라는 현대 조합론의 핵심 주제들을 한데 모아 풍부한 구조적 결과를 제공한다.