[논문 리뷰] Padded Schubert polynomials and weighted enumeration of Bruhat chains

Christian Gaetz, Yibo Gao|arXiv (Cornell University)|2019. 04. 30.

Advanced Combinatorial Mathematics참고 문헌 10인용 수 1

한 줄 요약

이 논문은 대칭군의 강한 브하트 순서에서 최대 사슬의 가중 카운트에 대한 일-parameter 가중 카운팅 항등식을 증명하기 위해 패딩된 슈베르트 다항식을 사용하는 통합 프레임워크를 제안한다. Stembridge(셰바리에 가중치)의 고전적 결과와 Macdonald(기본 단어 항등식)의 결과를 일반화하여, 치환 행렬의 영역 기반 가중치 할당 조건 하에 항등치환에서 최장 치환 w₀로의 최대 사슬의 총 가중 카운트가 매개변수 z에 관계없이 항상 (n 선택 2)!임을 보여준다. 주요 기여는 코드 가중치 및 셰바리에 가중치 항등식의 공통 일반화이며, 가중 사슬 수가 매개변수 z에 독립적임을 입증한다.

ABSTRACT

We prove a common generalization of the fact that the weighted number of maximal chains in the strong Bruhat order on the symmetric group is ${n \choose 2}!$ for both the code weights and the Chevalley weights. We also define weights which give a one-parameter family of strong order analogues of Macdonald's reduced word identity for Schubert polynomials.

연구 동기 및 목표

• 강한 브하트 순서에서의 최대 사슬에 대한 Stembridge(셰바리에 가중치)와 Macdonald(기본 단어 항등식)의 고전적 가중 카운팅 결과를 통합하고 일반화한다.
• e에서 w₀로의 최대 사슬에 대한 코드 가중치와 셰바리에 가중치 카운팅이 모두 (n 선택 2)!이 되는 놀라운 일치를 설명한다.
• 강한 브하트 순서의 피복 관계에 대한 일파라미터 가중치 가족을 구성하여 코드 가중치와 셰바리에 가중치를 일반화한다.
• 새로운 가중치 정의 하에 항등치환 e에서 최장 치환 w₀로의 최대 사슬의 총 가중 카운트가 매개변수 z의 값에 관계없이 항상 (n 선택 2)!로 유지됨을 증명한다.

제안 방법

• 치환 행렬에서 전치 (i j) 주변의 네 영역(A, B, C, D)에 있는 점의 수 a, b, c, d를 사용하여 새로운 가중 함수 f(v ⋖ w) = 1 + a zA + b zB + c zC + d zD 를 도입한다.
• zA, zB, zC, zD 를 다중집합 {0, 0, z, 2−z}로 특수화하여 일파라미터 가중치 가족을 정의하고, 총 사슬 수 mwt(e, w₀) 가 z에 독립적임을 증명한다.
• 패딩된 슈베르트 다항식의 대수적 구조와 분할 차분 연산자의 작용을 사용하여 가중 사슬 수를 분석한다.
• Schubert 다항식에 M + zR 연산자를 적용하여, 가중 사슬의 생성함수를 유도한다. 여기서 M 은 셰바리에 가중치를, R 은 코드 가중치 유사 항을 코딩한다.
• 귀납법과 주요 전문화 기법을 사용하여 매개변수 z에 대한 가중 사슬 수의 불변성을 증명한다.
• 브하트 순서의 대칭성(예: 역순, w₀에 의한 좌우 곱셈)을 활용하여 증명에서 다뤄야 할 케이스 수를 줄인다.

실험 결과

연구 질문

• RQ1 왜 코드 가중치와 셰바리에 가중치 하에서 e에서 w₀로의 최대 사슬의 가중 카운트가 모두 (n 선택 2)!이 되는가?
• RQ2 코드 가중치와 셰바리에 가중치를 모두 일반화하는 단일 매개변수 가중치 가족을 구성할 수 있는가?
• RQ3 최대 사슬의 총 가중 카운트가 가중치의 일파라미터 변형에 대해 불변인가?
• RQ4 맥도날드의 기본 단어 항등식의 강한 순서 버전이 일파라미터 가중치 가족으로 확장되어 동일한 상수 값 (n 선택 2)!을 갖는가?
• RQ5 새로운 매개변수 가중치 가족에서 가중 사슬 수의 z-불변성을 보장하는 대수적 메커니즘은 무엇인가?

주요 결과

• 가중 함수 f(v ⋖ w) = 1 + a zA + b zB + c zC + d zD 에서 {zA, zB, zC, zD} = {0, 0, z, 2−z} 다중집합으로 특수화할 경우, 항등치환 e에서 최장 치환 w₀로의 최대 사슬 총 가중 수는 항상 (n 선택 2)!이다.
• wt(v ⋖ vtij) = αi + ... + αj−1 + (bv⋖w − dv⋖w)z 로 정의된 일파라미터 가중치 가족은 총 사슬 수 mwt(e, w₀) = (n 선택 2)! · ∏(k<ℓ)(αk + ... + αℓ−1)/(ℓ−k) 를 유도하며, 이는 z에 독립적이다.
• wt(v ⋖ w) = 1 + bv⋖w(2−z) + cv⋖w z 로 정의된 가중치에 대해 mwt(w, w₀) = ( (n 선택 2) − ℓ(w) )! · Sw(1, ..., 1) 가 성립함을 증명하여, 맥도날드의 기본 단어 항등식의 강한 순서 버전을 일반화한다.
• z = 0 으로 특수화하면 가중치 가족은 Stembridge의 셰바리에 가중치 결과를 회복하고, 맥도날드 유형 가중치 가족에서 z = 0 으로 특수화하면 코드 가중치 항등식을 회복한다.
• z-불변성의 증명은 (M + zR)^(n 선택 2) 에서 Sw₀ 의 계수가 z에 독립적임에 기반하며, 이는 R 연산자를 오른쪽으로 옮기고 상수 1에서 R 이 0이 되는 것을 이용한 조합적 증명으로 보여진다.