[논문 리뷰] k-shape poset and branching of k-Schur functions

Thomas Lam, Luc Lapointe외 2명|arXiv (Cornell University)|2010. 07. 29.

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

한 줄 요약

이 논문은 k-core와 (k+1)-core 사이를 조절하는 조합적 구조인 k-형태 포스셋(ks-shape poset)을 도입하여, 무중량 k-스체르 함수의 분해 계수에 대한 완전한 조합적 기술을 제공한다. 이는 k-Schur 함수를 (k+1)-Schur 함수로 전개할 때의 계수가 양수임을 증명하고, k-형태 포스셋 내의 경로 수세기 방법을 통해 이를 명시적으로 계산함으로써 오랫동안 남아있던 t=1일 때 분해 계수의 양수성에 대한 추측을 해결한다.

ABSTRACT

We give a combinatorial expansion of a Schubert homology class in the affine Grassmannian Gr_{SL_k} into Schubert homology classes in Gr_{SL_{k+1}}. This is achieved by studying the combinatorics of a new class of partitions called k-shapes, which interpolates between k-cores and k+1-cores. We define a symmetric function for each k-shape, and show that they expand positively in terms of dual k-Schur functions. We obtain an explicit combinatorial description of the expansion of an ungraded k-Schur function into k+1-Schur functions. As a corollary, we give a formula for the Schur expansion of an ungraded k-Schur function.

연구 동기 및 목표

• SL_k에서 SL_{k+1}로의 아핀 그라스만이안에 대한 무중량 k-스체르 함수의 분해를 조합적으로 기술하는 것.
• k-스체르 함수 전개에서 분해 계수의 양수성을 증명함으로써 t=1인 경우에 대한 추측 1을 해결하는 것.
• k-형태 포스셋을 도입하고, k-core와 (k+1)-core 사이를 조절하는 새로운 파artition의 가족을 연구하는 것.
• k-형태에 대한 대칭 함수를 정의하고, 이들이 쌍대 k-스체르 함수의 긍정적 전개를 가짐을 보이는 것.
• k-형태 포스셋 내의 경로에 대해 충전 통계량을 유지하는 동치 관계를 설정하여, 푸시아웃/풀백 알고리즘을 통해 역행 최대 스트립과 최대 스트립 사이의 이분기 함수를 수립하는 것.

제안 방법

• k-형태를 정의: k-경계가 행과 열 구성이 모두 파artition인 스케일형태를 이루는 파artition로 정의한다.
• 기본적인 내림 연산('moves')을 사용하여 k-형태 위에 부분순서 구조(poset)를 도입한다.
• 이동에 대한 충전 통계량을 정의하여 k-형태 포스셋 내 경로의 동치류를 분류한다.
• k-형태 포스셋 내 경로 수세기를 통해 k-스체르 함수의 분해 계수를 계산한다.
• 역행 최대 스트립과 최대 스트립 사이에 푸시아웃/풀백 알고리즘을 수립하고, 푸시아웃 후 풀백이 원래 쌍을 복원함을 보인다.
• μ에서 λ로 향하는 k-형태 포스셋 내 경로의 수를 충전 통계량으로 가중치를 부여하면, 분해 계수 b^{(k)}_{μλ}(1) = b^{(k)}_{μλ}가 된다는 것을 증명한다.

실험 결과

연구 질문

• RQ1 SL_k에서 SL_{k+1}로의 무중량 k-스체르 함수의 분해는 어떻게 조합적으로 기술할 수 있는가?
• RQ2 k-형태 포스셋의 구조는 무엇이며, k-core와 (k+1)-core 사이를 어떻게 조절하는가?
• RQ3 명확한 부분순서 집합 내에서 경로 수세기를 통해 분해 계수 b^{(k)}_{μλ}(1)을 계산할 수 있는가?
• RQ4 충전 통계량에 대해 경로 동치류를 유지하는, 역행 최대 스트립과 최대 스트립 사이의 이분기 함수가 존재하는가?
• RQ5 충전 통계량은 k-형태 포스셋 내 경로 동치류를 분류하는 데 어떤 역할을 하는가?

주요 결과

• 논문은 무중량 분해 계수 b^{(k)}_{μλ}가 μ에서 λ로 향하는 k-형태 포스셋 내 충전 동치류 경로의 수로 주어진다는 것을 증명한다.
• 각 k-형태에 대응하는 대칭 함수는 쌍대 k-스체르 함수의 긍정적 전개를 가진다.
• 무중량 k-스체르 함수를 (k+1)-스체르 함수로 전개하는 것은 k-형태 포스셋 내 경로 수세기를 통해 명시적으로 기술된다.
• 푸시아웃 및 풀백 알고리즘은 역행 최대 스트립과 최대 스트립 사이의 이분기 함수를 형성하며, 경로 동치류를 유지한다.
• 무중량 k-스체르 함수의 스체르 전개는 분해 전개의 극한으로 얻어지며, 스체르 계수의 양수성을 확인한다.
• 도수 6 이하의 파artition에 대해 분해 다항식 b^{(k)}_{μλ}(t)의 표를 명시적으로 계산하여 작은 경우에 추측을 검증한다.