[논문 리뷰] On Degrees in the Hasse Diagram of the Strong Bruhat Order

Ron M. Adin, Yuval Roichman|ArXiv.org|2005. 05. 02.

Advanced Combinatorial Mathematics참고 문헌 11인용 수 13

한 줄 요약

이 논문은 대칭군 $S_n$ 상의 강한 브하트 순서의 하세 다이어그램에서의 도이 구조를 조사한다. 특히, 주어진 순열에 의해 덮여지는 순열의 수인 내림 차수(다운 디그리)와 상승 및 하강 차수의 합인 총 차수(타otal 디그리)에 초점을 맞춘다. 트라너 유형의 극적 그래프 이론을 사용하여, 최대 내림 차수가 $\lfloor n^2/4 \rfloor$임을 증명하며, 이는 특정 순열들에 의해 달성된다. 또한, 랜덤 순열의 기대 내림 차수와 총 차수에 대한 정확한 공식을 유도하며, 조화수를 포함한 점근적 행동을 분석한다.

ABSTRACT

For a permutation $π$ in the symmetric group $S_n$ let the {\it total degree} be its valency in the Hasse diagram of the strong Bruhat order on $S_n$, and let the {\it down degree} be the number of permutations which are covered by $π$ in the strong Bruhat order. The maxima of the total degree and the down degree and their values at a random permutation are computed. Proofs involve variants of a classical theorem of Turán from extremal graph theory.

연구 동기 및 목표

• 강한 브하트 순서에서 $S_n$ 상의 순열의 최대 가능한 내림 차수를 결정하는 것.
• 강한 브하트 순서 하에서 $S_n$ 상의 랜덤 순열의 기대 내림 차수와 총 차수를 계산하는 것.
• 내림 내림 집합의 개념을 $r$-번째 강한 내림 집합으로 일반화하고, 그들의 극값 성질을 분석하는 것.
• 강한 내림 그래프를 통해 순열의 차수 통계와 극적 그래프 이론 간의 연결 고리를 설정하는 것.

제안 방법

• 내림 차수 $d_{-}('\tau')$를 $\ell(t_{a,b}\tau) = \ell(\tau) - 1$를 만족하는 전치 $t_{a,b}$ 의 수로 정의하고, 상승 및 총 차수에 대해서도 동일하게 정의한다.
• 강한 내림 그래프 $\Gamma_{-}(\tau)$를 정의하며, 이는 $D_{-}(\tau)$에 속하는 전치와 대응하는 간선을 가진 그래프로, 삼각형을 포함하지 않음을 증명한다.
• 트라너의 정리(특히 $r=2$인 만델-트라너 케이스)를 적용하여 삼각형을 포함하지 않는 그래프의 간선 수 최댓값을 유 bounds 하여 내림 차수의 최댓값을 도출한다.
• 확률론적 방법과 지표 변수를 사용하여, $S_n$ 상의 균일하게 랜덤한 순열의 기대 총 차수와 내림 차수를 선형 기댓값의 성질을 활용해 계산한다.
• 내림 내림 집합의 일반화인 $r$-번째 강한 내림 집합 $D_{-}^{(r)}(\tau)$와 그에 대응하는 그래프 $\Gamma_{-}^{(r)}(\tau)$를 도입하고, $K_{r+2}$ 부분그래프를 포함하지 않음을 증명한다.
• 조화급수 항등식과 이중 합의 변환을 활용하여 기대 차수에 대한 정확한 공식과 점근적 공식을 유도한다.

실험 결과

연구 질문

• RQ1 강한 브하트 순서에서 $S_n$ 상의 어떤 순열이라도 가능한 최대 내림 차수는 얼마인가요?
• RQ2 강한 브하트 순서 하에서 $S_n$ 상의 균일하게 랜덤한 순열의 기대 내림 차수는 얼마인가요?
• RQ3 강한 브하트 순서 하에서 $S_n$ 상의 랜덤 순열의 기대 총 차수는 얼마인가요?
• RQ4 r-번째 강한 내림 집합은 고전적 내림 집합을 어떻게 일반화하며, 그들의 극값 성질은 무엇인가요?
• RQ5 n \to \infty 일 때 기대 총 차수와 내림 차수의 점근적 행동은 어떻게 되나요?

주요 결과

• 모든 $\pi \in S_n$ 에 대해 내림 차수의 최댓값은 $\lfloor n^2/4 \rfloor$이며, 이는 강한 내림 그래프가 가능한 한 균형 잡힌 완전 이분 그래프인 순열들에 의해 달성된다.
• 랜덤 순열의 기대 내림 차수는 $\sum_{i=2}^n \sum_{t=1}^{i-1} \sum_{r=1}^t \frac{1}{i \cdot r}$ 이며, 이는 $n H_n - 2n + H_n$ 으로 단순화되며, 여기서 $H_n$ 은 $n$-번째 조화수이다.
• 랜덤 순열의 기대 총 차수는 $n H_n - 2n + H_n$ 으로, 강한 브하트 순서의 대칭성으로 인해 기대 내림 차수와 일치한다.
• 점근적으로, 기대 내림 차수와 총 차수는 모두 $n \ln n - 2n + \ln n + O(1)$ 의 속도로 증가하며, 오차 항에 오일러의 상수가 나타난다.
• r-번째 강한 내림 집합의 최대 크기는 트라너 수 $t_{r+1}(n)$ 으로 유 bounds 되며, $r=1$ 과 $r=n-1$ 일 때 등호가 성립한다. 이는 각각 고전적 내림 집합과 역전치 내림 집합에 해당한다.
• r-번째 강한 내림 그래프 $\Gamma_{-}^{(r)}(\pi)$ 는 $K_{r+2}$--free이며, 이는 표준 강한 내림 그래프의 삼각형 없음 성질을 일반화한다.