[논문 리뷰] Some Schubert shenanigans

Richard P. Stanley|arXiv (Cornell University)|2017. 04. 04.

Musicology and Musical Analysis참고 문헌 6인용 수 16

한 줄 요약

이 논문은 대칭군 $S_n$ 의 약한 순서의 강한 Sperner 성질과 관련된, Schubert 다항식의 특수화 $\nu_w = \frak{S}_w(1,\dots,1)$ 를 성분으로 가지는 행렬 $\tilde{D}(n,k)$ 의 행렬식에 대한 추측 평가를 제안한다. 이 추측은 작은 $n$ 과 $k$ 에서 검증되었으며, 행렬식이 0이 아니면 $W_n$ 이 강한 Sperner 성질을 가짐을 시사하며, $k=1$ 의 경우에 대해 증명이 제공되고, 작은 값과 최대값에 대한 $\nu_w$ 의 성질이 탐구된다.

ABSTRACT

We give a conjectured evaluation of the determinant of a certain matrix $ ilde{D}(n,k)$. The entries of $ ilde{D}(n,k)$ are either 0 or specializations $\mathfrak{S}_w(1,\dots,1)$ of Schubert polynomials. The conjecture implies that the weak order of the symmetric group $S_n$ has the strong Sperner property. A number of peripheral results and problems are also discussed.

연구 동기 및 목표

• Schubert 다항식 특수화 $\nu_w = \frak{S}_w(1,\dots,1)$ 로 구성된 행렬 $\tilde{D}(n,k)$ 의 닫힌 형태 행렬식 평가를 추측하는 것.
• 만약 모든 $k < \frac{1}{2}\binom{n}{2}$ 에 대해 $\text{det} \tilde{D}(n,k) \neq 0$ 이면, 약한 순서 $W_n$ 이 강한 Sperner 성질을 가짐을 입증하는 것.
• $\nu_w = \frak{S}_w(1,\dots,1)$ 의 구조와 값, 특히 $\nu_w = 2$ 와 같은 작은 값에 대해 연구하고, 이러한 값을 갖는 순열을 특성화하는 것.
• $w \in S_n$ 에서의 최대값 $u(n) = \max_w \nu_w$ 와 $n \to \infty$ 일 때 이러한 최대화자들이 한없이 수렴하는 형태를 띄는지 탐구하는 것.

제안 방법

• $\tilde{D}(n,k)$ 를 $D(n,k)$ 의 정규화된 형태로 정의하며, $u \leq v$ 인 약한 순서에서의 항목은 $\nu_{vu^{-1}}$, 그 외에는 0이다.
• $\mathbb{Q}W_n$ 의 유리수 벡터 공간 위에서 $U(u) = \sum_{i: \ell(us_i)=\ell(u)+1} i \cdot us_i$ 로 정의된 순서 상승 연산자 $U$ 를 사용하여 $D(n,k)$ 를 $U$ 의 거듭제곱을 통해 생성한다.
• $U^j(u) = \left(\binom{n}{2}-2k\right)! \sum_v \nu_{vu^{-1}} v$ 와 같은 항등식을 적용하여 행렬 항목을 Schubert 다항식 계수와 연결한다.
• $\det \tilde{D}(n,k) = \pm \prod_{i=0}^{k-1} \left( \frac{\binom{n}{2} - (k+i)}{k-i} \right)^{\#(W_n)_i}$ 라는 추측을 제기하며, $n \leq 12$, $k \leq 5$ 와 일부 추가 케이스에서 검증하였다.
• $\mathcal{N}_n$ 의 nilCoxeter 대수를 사용하여 문제를 대수적으로 재구성하며, 그의 등급 구조와 곱셈 규칙을 활용한다.
• $\tilde{D}(n,1)$ 의 구조 분석을 위해 Smith 표준형(SNF)을 적용하며, 귀납법과 행 연산을 통해 $k=1$ 의 경우 추측을 증명한다.

실험 결과

연구 질문

• RQ1 모든 $0 \leq k < \frac{1}{2}\binom{n}{2}$ 에 대해 $\det \tilde{D}(n,k) \neq 0$ 인가? 이는 약한 순서 $W_n$ 이 강한 Sperner 성질을 가짐을 의미한다.
• RQ2 $\nu_w = \frak{S}_w(1,\dots,1) = 2$ 를 만족하는 순열 $w$ 의 정확한 특성은 무엇이며, 이 조건이 이러한 순열을 완전히 기술하는가?
• RQ3 $n \to \infty$ 일 때 $u(n) = \max_w \nu_w$ 의 점점 커지는 비율은 어떻게 되며, 최대화자 집합 $w$ 는 한없이 수렴하는 형태를 띄는가?
• RQ4 추측된 $\tilde{D}(n,k)$ 의 행렬식 공식은 일반적으로 증명될 수 있는가, 아니면 $k=1$ 과 같은 특수 케이스에서만 가능한가?
• RQ5 행렬식 공식에 나타나는 이항계수 유사 계수의 배경에 대해 조합적 또는 대수적 이유가 존재하는가?

주요 결과

• $\det \tilde{D}(n,k) = \pm \prod_{i=0}^{k-1} \left( \frac{\binom{n}{2} - (k+i)}{k-i} \right)^{\#(W_n)_i}$ 라는 추측된 행렬식 공식은 $n \leq 12$, $k \leq 5$ 와 몇몇 추가 케이스에서 성립한다.
• $k=1$ 의 경우 증명됨: $\det \tilde{D}(n,1) = (-1)^{\lfloor(n-2)/2\rfloor} \left( \binom{n}{2} - 1 \right)$, SNF 와 귀납법을 사용하였다.
• $k=1$ 에서 $\tilde{D}(n,1)$ 의 Smith 표준형은 대각항이 $1^{n-2}, \binom{n}{2}-1$ 으로 구성되어 있으며, 이는 행렬식과 행렬의 구조를 확인한다.
• 논문은 순열 $w$ 가 정확히 하나의 132 패턴을 가진다면 $\nu_w = 2$ 임을 증명하며, 이는 $\nu_w = 2$ 이면 정확히 하나의 132 패턴을 가진다는 추측을 뒷받침한다.
• $u(n)$ 의 최대값은 $\frac{1}{4} \leq \liminf \frac{\log_2 u(n)}{n^2} \leq \limsup \frac{\log_2 u(n)}{n^2} \leq \frac{1}{2}$ 를 만족하며, $n \leq 10$ 에서는 정확한 값을 계산하여 급격한 증가를 보였다.
• $n \leq 10$ 에서 최대값을 이루는 순열은 $132$ 뒤에 감소하는 수열이 오는 형태를 띠며, 이는 최대화자들의 잠재적 한계 형태를 시사한다.