[논문 리뷰] The first term of plethysms

Kazuto Iijima|arXiv (Cornell University)|2011. 08. 24.

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

한 줄 요약

이 논문은 편태식(symmetric function)의 편태식 전개에서 계수 $ Y_{\lambda[\mu]}^{\nu} $ 를 단항식 대칭함수 $ m_\nu $ 를 통해 조합론적 공식으로 제시하고, 역 사전순서(reverse lexicographic order)에서의 첫 번째 항을 규명한다. 핵심 결과는 첫 번째 항이 최대 무게 표준표 구성과 대응하며, 계수는 1임을 보여주며, 대칭함수 이론에서 오랫동안 미해결인 문제에 대해 새로운 조합론적 접근을 제공한다.

ABSTRACT

Plethysm of two Schur functions can be expressed as a linear combination of Schur functions, and monomial symmetric functions. In this paper, we express the coefficients combinatorially in the case of monomial symmetric functions. And by using it, we determine the first term of the plethysm with respect to Schur functions under the reverse lexicographic order.

연구 동기 및 목표

• 편태식 $ s_\lambda[s_\mu] $ 의 단항식 대칭함수 전개에서 계수 $ Y_{\lambda[\mu]}^{\nu} $ 의 조합론적 기술을 제공하는 것.
• 분할의 역 사전순서에서 $ s_\lambda[s_\mu] $ 의 첫 번째 항을 규명하는 것.
• 닫힌 형태로 알려져 있지 않은 편태식 계수를 이해하기 위한 새로운 조합론적 프레임워크를 제공하는 것.
• Littlewood-Richardson 규칙에 유사한 부호 반전 인보리션(sign-reversing involution) 증명을 위한 기초를 마련하는 것.
• Kostka 계수와 마찬가지로 편태식 계수를 조합론적으로 표현하는 기본적인 미해결 문제를 다루는 것.

제안 방법

• 읽기 단어의 사전순서를 이용해 반표준표(semi-standard tableaux)에 전순서(total order)를 정의한다.
• $ \mathrm{SSTab}(\mu) $ 에서부터 사전순서의 단어 무게가 감소하는 표준표 $ T_1, T_2, \dots, T_l $ 의 수열을 구성한다.
• 최대 무게 구성 $ \nu_0 $ 는 $ \mathrm{wt}(T_1), \dots, \mathrm{wt}(T_l) $ 의 $ \lambda_i $ 개 복제의 합으로 정의되며, 이는 편태식의 첫 번째 항을 이룬다.
• Jacobi-Trudi 항등식과 내적 성질을 이용해 $ a_{\lambda[\mu]}^{\nu} $ 를 순열과 표준표를 통한 부호 합으로 표현한다.
• Kostka 계수를 통해 $ Y_{\lambda[\mu]}^{\nu} $ 와 $ a_{\lambda[\mu]}^{\nu} $ 간의 관계를 설정하고, $ Y_{\lambda[\mu]}^{\nu} \geq a_{\lambda[\mu]}^{\nu} $ 를 보여준다.
• 표준표와 순열의 집합 위에서 부호 반전 인보리션을 제안하여 올바른 편태식 계수를 도출할 수 있음을 제안한다.

실험 결과

연구 질문

• RQ1 편태식 $ s_\lambda[s_\mu] $ 의 단항식 대칭함수 전개에서 계수 $ Y_{\lambda[\mu]}^{\nu} $ 의 조합론적 구조는 무엇인가?
• RQ2 역 사전순서에서 $ s_\lambda[s_\mu] $ 의 첫 번째 항은 어떤 분할 $ \nu $ 인가?
• RQ3 표준표 집합 $ \mathrm{SSTab}(\lambda[\mu]; \nu) $ 에서 유일한 최대 무게 표준표 구성이 첫 번째 항을 특징짓는가?
• RQ4 Littlewood-Richardson 규칙에 유사한 조합론적 프레임워크가 편태식 계수에 존재하는가?
• RQ5 표준표와 순열의 집합 위에서 $ a_{\lambda[\mu]}^{\nu} $ 를 도출할 수 있는 부호 반전 인보리션을 구성할 수 있는가?

주요 결과

• 역 사전순서에서 $ s_\lambda[s_\mu] $ 의 첫 번째 항 $ \nu_0 $ 는 $ \nu_0 = (m\mu_1, m\mu_2, \dots, m(\mu_{l'}-1) + \lambda_1, \lambda_2, \dots, \lambda_l) $ 로 주어지며, 여기서 $ m = \ell(\lambda) $, $ l' = \ell(\mu) $, $ \mu_{l'} $ 는 $ \mu $ 의 마지막 양수 부분이다.
• 계수 $ Y_{\lambda[\mu]}^{\nu_0} = 1 $ 이며, 이는 단항식 대칭함수 $ m_{\nu_0} $ 가 전개에서 중복도 1로 나타남을 의미한다.
• 최대 무게 구성은 $ \mathrm{SSTab}(\mu) $ 에서 사전순서로 가장 큰 표준표 $ T_1, T_2, \dots $ 를 각각 $ \lambda_1, \lambda_2, \dots $ 개 복제함으로써 유도된다.
• 계수 $ a_{\lambda[\mu]}^{\nu} $ 는 $ Y_{\lambda[\mu]}^{\nu} \geq a_{\lambda[\mu]}^{\nu} $ 를 만족하며, 등호가 성립하는 것은 모든 $ \kappa > \nu $ 에 대해 $ a_{\lambda[\mu]}^{\kappa} > 0 $ 이면 Kostka 계수 $ K_{\kappa,\nu} $ 가 0임과 동치이다.
• Jacobi-Trudi 항등식과 내적 대칭성에 기반해 공식 $ a_{\lambda[\mu]}^{\nu} = \sum_{\pi \in S_l} \mathrm{sgn}(\pi) Y_{\lambda[\mu]}^{\pi*\nu} $ 가 유도된다.
• 예시 계산에서 $ a_{(2)[(2)]}^{(2,2)} = 1 $ 이며, 이는 $ Y_{(2)[(2)]}^{(2,2)} = 2 $, $ Y_{(2)[(2)]}^{(3,1)} = 1 $ 과 역 Kostka 계수를 사용한 공식과 일치한다.