[논문 리뷰] Poset edge densities, nearly reduced words, and barely set-valued tableaux

Victor Reiner, Bridget Eileen Tenner외 1명|arXiv (Cornell University)|2016. 03. 31.

Advanced Combinatorial Mathematics참고 문헌 35인용 수 9

한 줄 요약

이 논문은 특정 유한 포스셋—예를 들어 체인의 카르테시안 곱, 코x터 군에서의 약한 브루하트 순서, 양의 라티스에서의 하향 구간—이 일치하는 내림차수 기댓값(CDE)을 가지며, 이는 균일 분포와 체인 무게가 부여된 확률 분포 하에서 내림차수의 기댓값이 동일하다는 뜻이다. 주요 기여는 0-헤이크 대수 인수분해를 통한 통합적 프레임워크로, 특히 벡실라러스 순열과 직사각형 계단형태에 대해 내림차수 기댓값이 정확히 $(d-1)ab/(a+b)$임을 증명함으로써, 기약 단어의 조합론, 그로텐디크 다항식, 집합값 표편의 이론을 통합한다.

ABSTRACT

In certain finite posets, the expected down-degree of their elements is the same whether computed with respect to either the uniform distribution or the distribution weighting an element by the number of maximal chains passing through it. We show that this coincidence of expectations holds for Cartesian products of chains, connected minuscule posets, weak Bruhat orders on finite Coxeter groups, certain lower intervals in Young's lattice, and certain lower intervals in the weak Bruhat order below dominant permutations. Our tools involve formulas for counting nearly reduced factorizations in 0-Hecke algebras; that is, factorizations that are one letter longer than the Coxeter group length.

연구 동기 및 목표

• 유한 포스셋에서 균일 분포와 체인 무게가 부여된 분포 하에서 내림차수 기댓값이 동일한 경우를 조사한다.
• 이러한 일치(즉, CDE)가 다양한 포스셋에서 발생하는 조합론적 및 대수적 조건을 이해한다.
• 0-헤이크 대수 인수분해를 통해 양의 라티스, 약한 브루하트 순서, 미누스큘 포스셋의 간선 밀도 결과를 통합한다.
• 특히 직사각형 계단형 분할에 대해 공통된 내림차수 기댓값을 위한 공식을 제공한다.
• 0-헤이크 대수에서의 거의 기약 인수분해 이론을 확장하여 포스켓 간선 밀도에 대한 구조적 결과를 증명한다.

제안 방법

• 포스켓에서 균일 분포와 체인 무게가 부여된 분포 하에서 내림차수 기댓값이 동일한 성질을 CDE 성질로 정의한다.
• 0-헤이크 대수 인수분해를 사용하여, 코x터 길이보다 한 칸 긴 거의 기약 단어를 세며, 이를 그로텐디크 다항식과 연결한다.
• 지수 생성함수와 라이프니츠 법칙을 적용하여 인수분해 수의 생성함수에 대한 미분방정식을 유도한다.
• 플래그된 집합값 표편과 언크라딩 맵을 사용하여 0-헤이크 단어와 표편 통계량을 연결한다.
• 전이 공식과 그로텐디크 다항식의 성질을 활용하여 인수분해 수를 대칭함수 항등식과 연결한다.
• 생성함수 항등식과 스티르링 수 계수를 이용하여, 직사각형 계단형태 $\delta_d(b^a)$에 대해 내림차수 기댓값이 $(d-1)ab/(a+b)$임을 증명한다.

실험 결과

연구 질문

• RQ1 균일 분포와 체인 무게가 부여된 분포 하에서 포스켓의 내림차수 기댓값이 일치하는 조건은 무엇인가?
• RQ2 거의 기약 단어의 0-헤이크 대수 인수분해를 통해 포스켓의 간선 밀도를 어떻게 계산할 수 있는가?
• RQ3 직사각형 계단형태에 대해, 양의 라티스의 하향 구간과 약한 브루하트 순서에서 공통된 내림차수 기댓값의 정확한 값은 무엇인가?
• RQ4 약한 브루하트 순서나 미누스큘 라티스와 같은 일부 포스켓은 확률 측도가 다름에도 불구하고 CDE 성질을 보이는 이유는 무엇인가?
• RQ5 이러한 포스켓의 딜레이션에 대해 CDE 성질을 확장할 수 있으며, 그 조건은 무엇인가?

주요 결과

• 양의 라티스에서의 $[\varnothing, \lambda]$와 약한 브루하트 순서에서의 $[e, w]$는 임의의 벡실라러스 순열 $w$의 형상 $\lambda$에 대해, $w$가 도미넌트, 그라스만이안, 또는 역그라스만이안인지에 관계없이 동일한 $Y$-기댓값을 가진다.
• 그라스만이안 또는 역그라스만이안 $w$의 경우, $X$-기댓값(균일 분포)도 $[\varnothing, \lambda]$와 $[e, w]$ 사이에서 일치하므로 전체 CDE 성질이 성립한다.
• $\lambda = \delta_d(b^a)$가 직사각형 계단형태일 경우, 이 포스켓과 그들의 딜레이션 모두 CDE를 가지며, 공통된 내림차수 기댓값은 $(d-1)ab/(a+b)$이다.
• 이 증명은 $\mathfrak{G}^{(1)}_w(e^t - 1, \dots, e^t - 1)$를 포함하는 생성함수 항등식에 기반하며, 이는 플래그된 집합값 표편과 스티르링 수를 통해 0-헤이크 단어를 세는 데 사용된다.
• 내림차수 기댓값의 공식은 지수 생성함수와 항등식 $\left[\frac{t^L}{L!}\right](e^t - 1)^j = j! S(L,j)$를 사용하여 유도되며, 이는 인수분해 수와 스티르링 수를 연결한다.
• CDE 성질은 계단형 포스켓의 카르테시안 곱과 연결된 미누스큘 포스켓 및 그들의 분배 라티스 $J(P)$에서 유지된다.