[논문 리뷰] Polynomiality of some hook-content summations for doubled distinct and self-conjugate partitions

Guo-Niu Han, Huan Xiong|arXiv (Cornell University)|2016. 01. 17.

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

한 줄 요약

이 논문은 이중으로 distinct하고 self-conjugate인 정수 분할에 대한 후크 길이와 내용의 가중치 합이 다항식임을 증명하며, 후크 길이와 내용의 대칭 함수를 포함하는 가중치 합이 크기 매개변수 $ n $ 에 대한 다항식임을 보이며, 명시적인 차수 상한을 제시한다. 결과는 Nekrasov-Okounkov 유형의 공식을 일반화하고, 차분 연산자와 $ t $-core 구조를 사용하여 이 특수한 분할 클래스에 대해 Stanley의 다항성 프레임워크를 확장한다.

ABSTRACT

In 2009, the first author proved the Nekrasov-Okounkov formula on hook lengths for integer partitions by using an identity of Macdonald in the framework of type $\widetilde A$ affine root systems, and conjectured that some summations over the set of all partitions of size $n$ are always polynomials in $n$. This conjecture was generalized and proved by Stanley. Recently, Pétréolle derived two Nekrasov-Okounkov type formulas for $\widetilde C$ and $\widetilde C\,\check{}$ which involve doubled distinct and self-conjugate partitions. Inspired by all those previous works, we establish the polynomiality of some hook-content summations for doubled distinct and self-conjugate partitions.

연구 동기 및 목표

• 후크 길이와 내용의 대칭 함수에 대한 Stanley의 다항성 프레임워크를 이중으로 distinct하고 self-conjugate인 분할의 특수 클래스로 확장하기.
• 기본적인 Nekrasov-Okounkov 설정에서와 같이, $ (2t)^n n! $ 과 $ H_t(\theta) $ 로 정규화된 이러한 분할 클래스에 대한 가중치 합이 $ n $ 에 대해 다항식으로 남는지 조사하기.
• 대칭 함수 $ F_1 $ 과 $ F_2 $ 를 기반으로 결과 다항식의 명시적 차수 상한을 도출하기.
• 이 분할 유형의 맥락에서 $ \tilde{C} $ 와 $ \tilde{C}\check{} $ 루트 계열에 대한 Pétréolle의 Nekrasov-Okounkov 유형 공식을 복원하고 일반화하기.

제안 방법

• 분할 형태와 관련된 생성함수 $ G_\theta $ 에 작용하는 차분 연산자 $ D $ 를 사용하여 후크 길이와 내용의 대칭 함수 평균을 분석한다.
• 후크 길이가 $ t $ 모듈로 합동인 근거로, 이중으로 distinct하고 self-conjugate인 분할의 집합을 $ t $-core 분해를 통해 클래스로 분할한다.
• 이동된 양의 표준 표와 내용 후크 길이 항등식의 구조를 활용하여, 대칭 함수 합을 유리 함수와 차분 연산자로 표현한다.
• 연산자 미적분을 통해 재귀 관계와 미분 유사 항등식을 유도하여 특정 차수를 넘는 고차항의 소멸을 증명한다.
• $ D^k(G_\theta \times \text{대칭 함수}) $ 의 명시적 평가를 통해 다항식의 차수 상한을 결정한다.
• 예를 들어 $ \text{합 of } h^2 - c^2 = |\theta|^2 $ 와 같은 알려진 항등식을 적용하여 후크와 내용 합을 연결한다.

실험 결과

연구 질문

• RQ1 이중으로 distinct한 분할에 대해 후크 길이와 내용의 대칭 함수의 가중치 합이 $ (2t)^n n! H_t(\theta)^{-1} $ 로 정규화되었을 때, $ n $ 에 대해 다항식이 되는가?
• RQ2 자기 공액 분할에 대해서도 동일한 다항성은 성립하는가, 특히 $ t $ 가 짝수일 경우에?
• RQ3 결과 다항식의 차수는 $ F_1 $ 과 $ F_2 $ 의 차수에 따라 명시적으로 상한을 구할 수 있는가?
• RQ4 만약 $ F_1 $ 과 $ F_2 $ 가 상수 또는 선형 함수인 특수한 경우에 다항식에 대한 닫힌 표현식을 얻을 수 있는가?
• RQ5 이러한 분할 클래스 전반에 걸쳐 다항성을 설명하는 통일된 연산자 이론적 메커니즘—즉, 차분 연산자를 통한 것—이 존재하는가?

주요 결과

• 모든 대칭 함수 $ F_1 $ 과 $ F_2 $ 에 대해, $ t $ 가 홀수일 경우, $ (2t)^n n! \sum_{\lambda \in \mathcal{DD}, |\lambda|=2nt, \#\mathcal{H}_t(\lambda)=2n} \frac{F_1(h^2) F_2(c)}{H_t(\lambda)} $ 는 $ n $ 에 대한 다항식이다.
• 유사하게, 자기 공액 분할에 대한 해당 합은 $ t $ 가 짝수일 경우 동일한 정규화로 $ n $ 에 대한 다항식이다.
• 만약 $ F_1 = F_2 = 1 $ 이면, 합은 $ \frac{1}{(2t)^n n!} $ 으로 간소화되며, Pétréolle의 Nekrasov-Okounkov 공식을 복원한다.
• $ F_1 $ 이 후크 길이의 제곱의 합이고 $ F_2 = 1 $ 이면, $ t $ 가 홀수일 경우 다항식은 $ 6t^2 n^2 + \frac{1}{3}(t^2 - 6t + 2)t n $ 으로 평가된다.
• 다항식의 차수는 $ \sum_u (k_u + 1) + \sum_v \frac{k'_v + 2}{2} $ 를 상한으로 가지며, 여기서 $ k_u $ 와 $ k'_v $ 는 대칭 함수에 나타나는 지수이다.
• 세 번째 차수의 차분 연산자 $ D^3 $ 는 $ \sum c^2 $ 에 대해 0이 되므로, 다항식은 $ n $ 에 대해 이차함수임을 의미하며, 명시적 평가와 일치한다.