[논문 리뷰] Multiplication of a Schubert polynomial by a Stanley symmetric polynomial

Sami Assaf|arXiv (Cornell University)|2017. 02. 01.

Advanced Combinatorial Mathematics참고 문헌 4인용 수 3

한 줄 요약

이 논문은 슈베르트 다항식과 슈어 다항식의 곱을 슈베르트 기저에서 전개할 때, 음이 아닌 정수 계수를 가지는 비음수 조합론적 규칙을 수립한다. 핵심 통찰은 슈베르트 다항식과 스탠리 대칭 다항식의 곱이 잘라낸 슈베르트 다항식이 되며, 몰크의 규칙과 적합한 순서열에 대한 새로운 전단사 사상(비유)을 이용해, 이 특수한 슈베르트 계산의 경우에 대해 구조 상수에 대한 구성적이고 양수적인 공식을 유도한다.

ABSTRACT

We prove, combinatorially, that the product of a Schubert polynomial by a Stanley symmetric polynomial is a truncated Schubert polynomial. Using Monk's rule, we derive a nonnegative combinatorial formula for the Schubert polynomial expansion of a truncated Schubert polynomial. Combining these results, we give a nonnegative combinatorial rule for the product of a Schubert and a Schur polynomial in the Schubert basis.

연구 동기 및 목표

• 슈베르트 다항식과 슈어 다항식의 곱의 슈베르트 전개에 대해 음이 아닌 조합론적 공식을 제공하는 것.
• 슈베르트 다항식과 스탠리 대칭 다항식의 곱이 잘라낸 슈베르트 다항식이 되는 것으로 이 결과를 일반화하는 것.
• 그라스만 대칭군 순열인 $ v $ 인 경우 슈베르트 계산에서 구조 상수 $ c^{w}_{u,v( ho,k)} $ 에 대해 구성적이고 양수적인 규칙을 확립하는 것.
• 기본 표현과 적합한 순서열을 이용해 이러한 구조 상수의 음이 아닌 성질을 조합론적으로 증명하는 것.

제안 방법

• 저자들은 마지막 변수를 0으로 설정하는 잘라내기 사상(맵)을 정의하여, $ frac{1}{x_k} o 0 $ 이 되면 특정 인접 전위치의 순서열을 통해 얻어진 순열로 인덱싱된 슈베르트 다항식의 합이 됨을 보였다.
• 기본 표현에 대한 적합한 순서열과 일정한 순열 체인 사이의 전단사를 도입하였으며, 최종 내림차순 위치와 최대 내림차순 위치의 구조를 활용하였다.
• 몰크의 규칙을 사용하여 잘라낸 슈베르트 다항식을 슈베르트 다항식의 음이 아닌 전개로 도출하였다.
• 슬라이드 다항식 이론과 적합한 순서열을 적용하여 슈베르트 다항식 공식을 압축하고 조합론적 분석을 용이하게 하였다.
• 이 방법은 각 단계가 길이를 유지하고 변수 잘라내기를 존중하는 전위치를 적용하는 재귀적 잘라내기 공식의 응용에 기반한다.
• 핵심 메커니즘은 $ ext{inv}(u) = ext{inv}(w) $ 를 만족하고, $ a_i eq b_i $, $ a_i eq b_i $, $ a_i o b_i $, $ b_i > k $ 를 만족하는 전위치 $ (a_i, b_i) $ 를 적용하여 얻어진 순열 $ u $ 를 구성하는 것이다.

실험 결과

연구 질문

• RQ1 슈베르트 다항식과 스탠리 대칭 다항식의 곱은 음이 아닌 계수를 가지는 슈베르트 다항식의 합으로 표현될 수 있는가?
• RQ2 만약 $ u $ 가 임의의 순열이고 $ ho $ 가 분할이라면, $ ancyscript{S}_u imes s_ ho $ 의 슈베르트 전개에 대해 조합론적 규칙이 존재하는가?
• RQ3 구조 상수 $ c^{w}_{u,v( ho,k)} $ 는 순열 체인의 관점에서 어떻게 조합론적으로 해석될 수 있는가?
• RQ4 슈베르트 다항식을 $ x_k = 0 $ 에서 잘라내면 음이 아닌 슈베르트 합이 되는가?
• RQ5 이 특수한 경우에서 구조 상수의 음이 아닌 성질을 구성적이고 조합론적인 전단사 사상으로 증명할 수 있는가?

주요 결과

• 슈베르트 다항식과 스탠리 대칭 다항식의 곱은 잘라낸 슈베르트 다항식이며, 항등식 $ ancyscript{S}_w(x_1,𝐴,x_k,0) = \text{sum of } \fancyscript{S}_u $ 을 통해 특정 순열 $ u $ 가 $ w $ 로부터 유도된 것으로 보여진다.
• 잘라내기 공식은 전위치 $ (a_i, k) $, $ a_i < k $ 를 적용하여 얻어진 순열과 적합한 순서열 사이의 전단사를 통해 증명되었으며, $ ext{inv}(u) = ext{inv}(w) $ 를 만족한다.
• 구조 상수 $ c^{w}_{u,v( ho,k)} $ 는 $ a_i \leq k < b_i $ 를 만족하고 $ ext{inv}(w) = \text{inv}(u) + n $ 인 체인 $ w = u(a_1,b_1)\ldots(a_n,b_n) $ 으로 수량화된다. 여기서 $ n = |\rho| $ 이다.
• $ \fancyscript{S}_u \times s_\rho(x_1,𝐴,x_k) $ 의 슈베르트 전개는 순열 $ wD_0U_0\ldots D_nU_n $ 에 대한 합으로 주어지며, 명시적인 전위치 시퀀스 $ D_i $ 와 $ U_i $, 그리고 적합한 $ a_{i,j} $ 값이 포함된다.
• 이 방법은 $ c^{w}_{u,v(\rho,k)} $ 를 계산하는 음이 아닌 구성적 규칙을 제공하며, 그들의 음이 아닌 성질에 대한 조합론적 증명을 제공한다.
• 이 결과는 이전의 피에리 유형 공식을 일반화하며, 슈베르트 계산에서 음수 없는 조합론적 규칙의 적용 범위를 새로운 종류의 곱으로 확장한다.