[논문 리뷰] An Introduction to Schur Polynomials

Amritanshu Prasad|arXiv (Cornell University)|2018. 02. 16.

Advanced Combinatorial Mathematics참고 문헌 7인용 수 6

한 줄 요약

이 논문은 스체르 다항식에 대한 종합적인 소개를 제공하며, 그 대수적 기초, 조합적 해석, 그리고 대칭 함수, 표현 이론, 얀 타블로이와의 연결을 중점적으로 다룬다. 논문은 로빈슨-셰닝스테드-쿤스 대응과 플라틱 모노이드를 통해 리틀우드-리치아드슨 규칙을 수립하고, 타블로이와 삽입 알고리즘을 사용하여 비대칭 스체르 다항식과 코스타 수의 전개를 유도한다.

ABSTRACT

Notes from a course at the ATM Workshop on Schubert Varieties, held at The Institute of Mathematical Sciences, Chennai, in November 2017. Various expansions of Schur functions, the Lindström-Gessel-Viennot lemma, semistandard Young tableaux, Schensted's insertion algorithm, the plactic monoid, the RSK correspondence, and the Littlewood-Richardson rule are discussed.

연구 동기 및 목표

• 스체르 다항식과 그 대칭 함수 이론에서의 역할을 자세히 다룰 수 있는 자율적이고 교육적인 소개를 제공하는 것.
• 조합적 구성을 통해 스체르 다항식, 얀 타블로이, 플라틱 모노이드 간의 연결 고리를 확립하는 것.
• RSK 대응과 야마노우치 단어를 사용하여 리틀우드-리치아드슨 규칙을 유도하고 증명하는 것.
• 라벨이 부여된 아바쿠스와 린스트로움-게셀-비앙노 렘마를 통해 대수적 항등식(예: 자코비-트루디, 지암벨리)을 조합적 해석과 통합하는 것.
• 기존에 덜 알려진 또는 새로운 시각을 제시하는 것, 예를 들어 리틀우드-리치아드슨 규칙을 증명하기 위해 정수 행렬을 사용하는 방법과 RSK 및 그 쌍대형의 정의를 포함하는 것.

제안 방법

• 동차 대칭 다항식의 기저로 단항 대칭 다항식을 사용하고, 초월 다항식과 완전 대칭 다항식에 대한 전개를 유도한다.
• 대칭 다항식과 바르데모인 행렬식 이론을 적용하여 스체르 다항식을 대칭 다항식의 비율로 정의한다.
• 로빈슨-셰닝스테드-쿤스(RSK) 대응 및 그 쌍대형을 사용하여 단어, 타블로이, 스체르 다항식 간의 연결 고리를 맺는다.
• 플라틱 모노이드와 쿤스 동치를 도입하여 스체르 다항식을 단어의 동치류로 특성화한다.
• 린스트로움-게셀-비앙노(LGV) 렘마를 사용하여 자코비-트루디 항등식과 지암벨리 공식을 조합적으로 증명한다.
• 야마노우치 단어를 정의하고, 이를 사용하여 리틀우드-리치아드슨 계수를 읽기 순서가 야마노우치 단어인 반표준 타블로이의 수로 특성화한다.

실험 결과

연구 질문

• RQ1 스체르 다항식은 대칭 다항식과 대칭 다항식으로부터 체계적으로 어떻게 구성될 수 있는가?
• RQ2 비대칭 스체르 다항식 전개에서 리틀우드-리치아드슨 계수의 조합적 의미는 무엇인가?
• RQ3 RSK 대응과 플라틱 모노이드는 단어, 타블로이, 스체르 함수 사이의 다리를 어떻게 놓는가?
• RQ4 LGV 렘마는 자코비-트루디 항등식과 지암벨리의 공식을 증명하는 데 어떤 역할을 하는가?
• RQ5 정수 행렬과 쿤스 관계를 사용하면 리틀우드-리치아드슨 규칙에 대한 새로운 증명을 어떻게 얻을 수 있는가?

주요 결과

• 스체르 다항식 $ s_ u $ 는 대칭 다항식을 바르데모인 행렬식으로 나눈 비율로 정의되며, 대칭적이고 차수 $ | u| $ 의 동차 다항식이다.
• 리틀우드-리치아드슨 계수 $ c^{ u}_{eta heta} $ 는 비대칭 형상 $ u/eta $ 과 유형 $ heta $ 인 반표준 타블로이의 수이며, 그 독서 순서가 야마노우치 단어인 경우를 세는 것으로 정의된다.
• 곱 $ s_eta s_ heta $ 를 스체르 기저에서 전개하면 $ extstyle ext{sum}_{ u} c^{ u}_{eta heta} s_ u $ 로 주어지며, 계수는 조합적으로 결정된다.
• 비대칭 스체르 다항식 $ s_{ u/eta} $ 는 $ extstyle ext{sum}_{ heta} c^{ u}_{eta heta} s_ heta $ 로 전개되며, 이는 비대칭 형상에 대한 리틀우드-리치아드슨 규칙을 확인한다.
• 코스타 수 $ K_{ u/eta, heta} $ 는 재귀식 $ K_{ u/eta, heta} = extstyle ext{sum}_{ heta'} c^{ u}_{eta heta'} K_{ heta', heta} $ 를 만족하며, 비대칭 타블로이와 스체르 함수 사이의 연결 고리를 제공한다.
• 비음수 성분과 0-1 성분을 가진 정수 행렬을 사용하면 $ h_ u $ 와 $ e_ u $ 가 단항 대칭 기저에서 전개될 때의 조합적 해석을 얻을 수 있다.