[논문 리뷰] On the Schur expansion of Jack polynomials

Per Alexandersson, James Haglund외 1명|arXiv (Cornell University)|2018. 05. 01.

Advanced Combinatorial Mathematics참고 문헌 9인용 수 3

한 줄 요약

이 논문은 수정된 잭 다항식 $\tilde{J}_{\mu}^{(\alpha)}$의 슈어 전개에 관한 두 개의 추측을 제안하고 이를 뒷받기하며, 계수들이 이항 기저 $\binom{\alpha+k}{n}$ 과 $\binom{\alpha}{k}k!$ 에서 비음이 아닌 정수임을 보이며, 생성 다항식이 실근을 가짐을 보여준다. 이러한 결과들은 오일러 수, 스틸링 수, 준야마우치 표준표, 룩 보드와 연결되며, 대칭 함수 이론 내에서 더 깊은 대수적 구조를 시사하는 새로운 조합적 해석을 제공한다.

ABSTRACT

We present positivity conjectures for the Schur expansion of Jack symmetric functions in two bases given by binomial coefficients. Partial results suggest that there are rich combinatorics to be found in these bases, including Eulerian numbers, Stirling numbers, quasi-Yamanouchi tableaux, and rook boards. These results also lead to further conjectures about the fundamental quasisymmetric expansions of these bases, which we prove for special cases.

연구 동기 및 목표

• 수정된 잭 다항식 $\tilde{J}_{\mu}^{(\alpha)}$ 의 슈어 전개를 $\alpha$ 를 포함하는 두 개의 이항 기저에서 조사한다.
• 이 전개의 계수들에 대한 조합적 양의 정합성을 확립하며, 이들이 항상 비음이 아닌 정수일 것이라 추측한다.
• 이 계수들과 오일러 수, 스틸링 수, 준야마우치 표준표, 룩 다항식 등의 조합적 대상 간의 관계를 탐구한다.
• 이 기저들에 대한 기본 퀀티티티스임프레시브 전개에 관한 추측을 제안하고 특수 케이스를 증명한다.
• 이 계수들과 관련된 생성 다항식의 실근성에 대한 증거나를 제공한다.

제안 방법

• $\alpha \to 1/\alpha$ 에서의 슈어 전개를 안정화하기 위해 $\tilde{J}_{\mu}^{(\alpha)}(X) = \alpha^n J_{\mu}^{(1/\alpha)}(X)$ 를 정의한다.
• 슈어 계수 $\langle \tilde{J}_{\mu}^{(\alpha)}, s_\lambda \rangle$ 를 기저 $\binom{\alpha+k}{n}$ 과 $\binom{\alpha}{k}k!$ 에서 표현한다.
• 잭 다항식의 단항 전개에 대한 콘과 사히의 조합 공식을 사용하여, 후크 모양의 경우 $\langle \tilde{J}_{\mu}^{(\alpha)}, s_\mu \rangle$ 의 표현식을 유도한다.
• 룩 다항식 이론을 페로스 보드에 적용하여, 히트 다항식과 룩 다항식이 모두 실근을 가짐을 보이며, 이는 계수의 생성 다항식이 실근을 가짐을 암시한다.
• 큐 → 1일 때 맥도널드 다항식의 극한과 유오의 결과를 활용하여, $\tilde{J}_{(n)}^{(\alpha)}$ 가 슈어 함수와 이항 계수로 표현되는 명시적 공식을 도출한다.
• 항등식 $\binom{\alpha+k}{n} = \sum_i \binom{\alpha}{i} \binom{k}{n-i}$ 를 활용하여 두 기저 간의 관계를 설정하고, 추측 1이 추측 2의 정수성을 암시함을 보여준다.

실험 결과

연구 질문

• RQ1 슈어 기저에서 전개된 $\tilde{J}_{\mu}^{(\alpha)}$ 의 계수들이 기저 $\binom{\alpha+k}{n}$ 에서 항상 비음이 아닌 정수인가?
• RQ2 이 계수들의 생성 다항식 $\sum_k a_k(\mu,\lambda) z^k$ 는 항상 실근을 가지는가?
• RQ3 기저 $\binom{\alpha}{k}k!$ 에서의 계수들은 조합적으로 해석될 수 있으며, 이 또한 비음이 아닌 정수인가?
• RQ4 슈어 전개 계수들과 준야마우치 표준표, 오일러 수, 룩 보드 등의 조합적 대상 간의 관계는 무엇인가?
• RQ5 이 기저들의 기본 퀀티티스임프레시브 전개는 특성화될 수 있으며, 슈어 양의 정합성을 지원하는가?

주요 결과

• $\mu = (n)$ 인 경우, 슈어 계수 $\langle \tilde{J}_{(n)}^{(\alpha)}, s_\lambda \rangle$ 는 $\sum_k K_{\lambda,1^n} h_k(B(c_1,\ldots,c_n)) \binom{\alpha+k}{n}$ 로 주어지며, 여기서 $h_k$ 는 룩 보드의 $k$-번째 기본 대칭 함수이다.
• 동일한 계수는 $\sum_k K_{\lambda,1^n} r_{n-k}(B(c_1,\ldots,c_n)) \binom{\alpha}{k}k!$ 로도 표현되며, 이는 룩 다항식 통계와 연결된다.
• 후크 모양인 $\mu = (n-\ell,1^\ell)$ 인 경우, 슈어 계수 $\langle \de{J}_{\mu}^{(\alpha)}, s_\mu \rangle$ 는 $\ell!$ 과 $\ell \cdot \ell!$ 을 포함하는 두 항의 합이며, 각각 특정한 셀 가중치를 가진 룩 보드의 대칭 함수에 곱해진다.
• 특수 케이스에서 생성 다항식 $\sum_k a_k(\mu,\lambda) z^k$ 과 $\sum_k b_{n-k}(\mu,\lambda) z^k$ 는 페로스 보드의 룩 다항식과 히트 다항식의 실근성에 의해 실근을 가짐을 보였다.
• $\mu = (n)$ 인 경우, 내용이 $1^n$ 인 표준표준형 $\lambda$ 의 수를 세는 계수 $K_{\lambda,1^n}$ 이 전개에서 곱셈 인자로 나타난다.
• 결과들은 룩 보드 해석과 표준표 해석 간의 잠재적 전단사가 $\binom{\alpha}{k}k!$ 기저에서 전체적인 조합적 해석을 이끌 수 있음을 시사한다.