[논문 리뷰] Products of characters of the symmetric group

Rosa Orellana, Mike Zabrocki|arXiv (Cornell University)|2017. 09. 23.

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

한 줄 요약

이 논문은 대칭 함수의 곱에 대한 조합론적 규칙을 새로운 기저 $\tilde{s}_\lambda$에서 제시한다. 이 기저는 대칭군 $S_n$의 기약 표현에 특수화된다. $\tilde{s}_\mu$, $\tilde{h}_\mu$, $h_\mu$를 포함한 곱에 대해 다중집합 및 집합 값을 가진 표와 격자 조건을 사용하여 명시적인 조합론적 해석을 제공하며, 이러한 곱들이 계층적인 부등식을 만족함을 증명하여 이전 결과들을 통합하고 안정적인 크로네커 계수를 계산하는 데 새로운 도구를 제공한다.

ABSTRACT

In a recent paper, the authors introduced a new basis of the ring of symmetric functions which evaluate to the irreducible characters of the symmetric group at roots of unity. The structure coefficients for this new basis are the stable Kronecker coefficients. In this paper we give combinatorial descriptions for several products that have as consequences several versions of the Pieri rule for this new basis of symmetric functions. In addition, we give several applications of the products studied in this paper.

연구 동기 및 목표

• 대칭군 $S_n$의 기약 표현에 특수화되는 새로운 기저 $\tilde{s}_\lambda$에서 대칭 함수 곱에 대한 조합론적 해석을 제공하는 것.
• 다중집합 및 집합 값을 가진 표를 사용한 단일 프레임워크를 도입하여 이전의 $\tilde{s}_\mu$-기저에 대한 결과들을 통합하고 일반화하는 것.
• $\tilde{s}_\mu$, $\tilde{h}_\mu$, $h_\mu$를 포함한 곱들 사이에 계층적인 부등식을 수립하여 복잡성과 구조의 증가를 반영하는 것.
• 표현 이론의 문제들, 특히 제약 문제와 양자 정보 이론에서의 크로네커 곱의 계수에 이러한 결과들을 적용하는 것.

제안 방법

• 저자들은 대칭군 $S_n$의 기약 표현에 특수화되는 새로운 기저 $\tilde{s}_\lambda$를 정의한다.
• Young 부분군 $S_\mu$의 자명 표현을 유도한 $\tilde{h}_\mu$를 도입하고, 이와 완전 동형 대칭 함수 $h_\mu$와의 관계를 규명한다.
• 기둥 엄격 표를 사용하여 $\tilde{s}_{\mu_1} \cdots \tilde{s}_{\mu_\ell} \tilde{s}_\lambda$, $\tilde{h}_{\mu_1} \cdots \tilde{h}_{\mu_\ell} \bar{s}_\lambda$, $\tilde{h}_\mu \tilde{s}_\lambda$, $h_\mu \tilde{s}_\lambda$의 곱에 대해 조합론적 해석을 제시한다. 이 표는 막대 기호가 있는 항과 없는 항을 포함한다.
• 표는 막대 기호가 있는 항과 없는 항의 상대적 순서에 기반한 격자 조건을 만족하며, 곱의 유형에 따라 추가 제약 조건이 적용된다: $h_\mu \tilde{s}_\lambda$의 경우 다중집합, $\tilde{h}_\mu \tilde{s}_\lambda$의 경우 집합, $\tilde{s}_\mu \tilde{s}_\lambda$의 경우 행 제약 조건이 적용된다.
• 표기법에 따라 $\tilde{s}_\lambda$ 기저가 정규직교가 되는 스칼라 곱을 정의함으로써 쌍대성과 내적 공식을 가능하게 한다.
• 결과들은 재귀적 정의와 격자 표 구성 방법을 통해 증명되며, 펠리즘과 크로네커 계수에의 적용이 포함된다.

실험 결과

연구 질문

• RQ1 기저 $\tilde{s}_\lambda$에서 대칭 함수 곱에 대한 조합론적 해석은 막대 기호가 있는 항과 없는 항을 포함한 표를 통해 어떻게 이루어지는가?
• RQ2 $\tilde{s}_\mu \tilde{s}_\lambda$, $\tilde{h}_\mu \tilde{s}_\lambda$, $h_\mu \tilde{s}_\lambda$의 곱들 사이의 조합론적 구조와 계수 간의 관계는 무엇인가?
• RQ3 계층적인 부등식 $\tilde{s}_{\mu_1} \cdots \tilde{s}_{\mu_\ell} \tilde{s}_\lambda \leq \tilde{h}_{\mu_1} \cdots \tilde{h}_{\mu_\ell} \tilde{s}_\lambda \leq h_\mu \tilde{s}_\lambda$는 통합된 표 모델을 통해 완전히 설명될 수 있는가?
• RQ4 이 곱들은 크로네커 계수와 표현 이론에서의 펠리즘 계산과 어떻게 관련되어 있는가?
• RQ5 새로운 기저와 그 곱 규칙를 사용하여 안정적인 크로네커 계수에 대해 양의 조합론적 해석을 제공할 수 있는가?

주요 결과

• $h_\mu \tilde{s}_\lambda$의 곱은 각 셀에 최대 한 개의 막대 기호가 있는 다중집합을 포함한 기둥 엄격 표를 통해 조합론적으로 해석되며, 막대 기호가 있는 항과 없는 항을 순서대로 읽을 때 격자 조건을 만족한다.
• $\tilde{h}_\mu \tilde{s}_\lambda$의 곱은 중복이 없는 비막대 기호를 포함한 집합 값을 가진 표를 통해 해석되며, 막대 기호가 있는 항에 대해서도 격자 조건이 적용된다.
• $\tilde{s}_\mu \tilde{s}_\lambda$의 곱은 추가로 첫 번째 행에 두 개 이상의 원소를 가진 집합만 허용되며, 격자 조건과 집합 조건을 모두 만족해야 한다.
• $\tilde{h}_\mu \tilde{s}_\lambda$의 곱은 $h_\mu \tilde{s}_\lambda$와 $\tilde{h}_\mu \tilde{s}_\lambda$의 제약 조건을 모두 통합하여, 각 셀에 최대 한 개의 막대 기호와 한 개의 비막대 기호가 존재하도록 한다.
• $({\tilde{h}}_d)^a({\tilde{h}}_{d-1})^{k-a}$의 $\tilde{s}_\nu$ 전개 계수는 형상 $(r)$의 집합 값을 가진 표의 수와 같으며, 이 표는 내용 ${\!\!\{}1^d, 2^d, \ldots, a^d, (a+1)^{d-1}, \ldots, k^{d-1}{\}\!\!\}$을 가진다. 이는 크로네커 곱 계수에 대한 새로운 공식을 제공한다.
• 논문은 $\tilde{s}_\lambda$ 기저가 $h_{\lambda_1} \tilde{s}_{\bar{\lambda}}$와 격자 표를 포함한 보정 항을 포함하는 재귀 공식을 통해 피에리 규칙을 만족함을 증명한다. 이 표의 형상은 $\overline{\lambda}$이며 크기는 $k$이다.