[논문 리뷰] Combinatorial models for Schubert polynomials

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

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

한 줄 요약

이 논문은 키 다항식과 기본 슬라이드 다항식과 같은 기존 프레임워크를 명시적 이분사 사상들을 통해 통합함으로써 슈부르트 다항식에 대한 새로운 조합적 모델을 제안한다. 균형 잡힌 표를 통해 감소 표현과의 이분사적 증명을 제공하고, 코른베르트의 알고리즘에 대한 직접적인 조합적 해석을 제시하며, 에델만-그린 공 insertion 알고리즘을 일반화하여 슈부르트 다항식 전개를 감소 표현에 기반한 공식으로 유도한다.

ABSTRACT

Schubert polynomials are a basis for the polynomial ring that represent Schubert classes for the flag manifold. In this paper, we introduce and develop several new combinatorial models for Schubert polynomials that relate them to other known bases including key polynomials and fundamental slide polynomials. We unify these and existing models by giving simple bijections between the combinatorial objects indexing each. In particular, we give a simple bijective proof that the balanced tableaux of Edelman and Greene enumerate reduced expressions and a direct combinatorial proof of Kohnert's algorithm for computing Schubert polynomials. Further, we generalize the insertion algorithm of Edelman and Greene to give a bijection between reduced expressions and pairs of tableaux of the same key diagram shape and use this to give a simple formula, directly in terms of reduced expressions, for the key polynomial expansion of a Schubert polynomial.

연구 동기 및 목표

• 슈부르트 다항식을 키 다항식과 기본 슬라이드 다항식과 통합하는 새로운 조합적 모델을 개발하기 위해.
• 다른 다항식 기저를 색인하는 조합적 대상 간의 간단한 이분사 사상을 수립하기 위해.
• 에델만과 그린의 균형 잡힌 표가 대칭군 내 감소 표현을 세는 데 사용된다는 이분사적 증명을 제공하기 위해.
• 슈부르트 다항식을 계산하는 코른베르트의 알고리즘에 대한 직접적인 조합적 해석을 제공하기 위해.
• 감소 표현과 동일한 키 다이어그램 형상을 가진 표의 쌍 사이의 이분사 사상을 유도하기 위해, 에델만-그린 공 insertion 알고리즘의 일반화를 수행하기 위해.

제안 방법

• 슈부르트 다항식, 키 다항식, 기본 슬라이드 다항식을 색인하는 조합적 대상 간의 명시적 이분사 사상을 구성하기 위해.
• 감소 표현과 다항식 기저 사이를 연결하는 다리로 균형 잡힌 표를 사용하기 위해.
• 코른베르트의 알고리즘을 직접적인 조합적 해석을 통해 적용하여 슈부르트 다항식을 계산하기 위해.
• 감소 표현을 동일한 키 다이어그램 형상을 가진 표의 쌍으로 매핑하기 위해 에델만-그린 공 insertion 알고리즘을 확장하기 위해.
• 중간 단계의 조합적 대상 없이 감소 표현에서 직접적으로 키 다항식 전개를 유도하는 공식을 유도하기 위해.
• 모든 이러한 모델들이 단순하고 명시적인 이분사 사상들을 통해 상호 연결되는 통합 프레임워크를 수립하기 위해.

실험 결과

연구 질문

• RQ1 슈부르트 다항식을 어떻게 체계적으로 키 다항식과 기본 슬라이드 다항식과 조합적 모델을 통해 연결할 수 있는가?
• RQ2 균형 잡힌 표와 대칭군 내 감소 표현 사이의 정확한 조합적 대응 관계는 무엇인가?
• RQ3 슈부르트 다항식을 계산하는 코른베르트의 알고리즘에 직접적인 이분사적 해석을 부여할 수 있는가?
• RQ4 에델만-그린 공 insertion 알고리즘은 어떻게 일반화되어 감소 표현과 동일한 키 다이어그램 형상을 가진 표의 쌍 사이의 이분사 사상으로 이어질 수 있는가?
• RQ5 감소 표현으로만 표현된 슈부르트 다항식의 키 다항식 전개에 대한 직접적인 공식은 무엇인가?

주요 결과

• 에델만과 그린의 균형 잡힌 표가 대칭군 내 감소 표현을 세는 데 사용된다는 이분사적 증명이 확립되었다.
• 코른베르트의 알고리즘에 대한 직접적인 조합적 해석이 제공되어 슈부르트 다항식의 구성과 명시적으로 연결되었다.
• 에델만-그린 공 insertion 알고리즘이 일반화되어 감소 표현과 동일한 키 다이어그램 형상을 가진 표의 쌍 사이의 이분사 사상으로 이어졌다.
• 감소 표현에서 직접적으로 유도된 새로운 공식을 통해 슈부르트 다항식의 키 다항식 전개가 유도되었으며, 중간 단계의 조합적 대상 없이 이루어졌다.
• 슈부르트 다항식을 색인하는 주요 조합적 모델들 사이에 간단한 이분사 사상이 구성되었으며, 이는 키 다항식, 기본 슬라이드 다항식, 균형 잡힌 표를 기반으로 한 모델을 포함한다.
• 명시적인 이분사 사상들을 통해 이러한 모델들이 통합되어, 다양한 조합적 실현 방식에서 슈부르트 다항식의 구조를 이해하는 데 통합된 프레임워크를 제공한다.