[논문 리뷰] Theorems, Problems and Conjectures

Tewodros Amdeberhan|arXiv (Cornell University)|2012. 07. 17.

Advanced Combinatorial Mathematics참고 문헌 10인용 수 33

한 줄 요약

이 논문은 오일러 다항식, 후크 길이, 양의 도형의 내용, 그리고 색이 칠해진 오버파트itions를 중심으로 한 추측, 정리, 열린 문제들의 집합을 제시한다. 특히 네크라소프-오쿠노프 및 스탠리 유형의 공식들에서 영감을 받은 조합 항등식과 생성 함수에 중점을 두고 있다. 주요 기여는 조지 앤드류스와 함께 색이 칠해진 오버파트itions에 대한 추측된 합동식을 증명하여 정리로 확립한 것이다. 즉, 모든 $ n \geq 0 $ 에 대해 $ \overline{p}_c(2^c n + 2^{c-1}) \equiv 0 \mod c^2 $ 임을 입증하였다. 또한 색이 칠해진 오버파트itions의 계수에 대한 무한한 로그-볼록성에 관한 새로운 추측도 제시하고 있다.

ABSTRACT

These notes are designed to offer some (perhaps new) codicils to related work, a list of problems and conjectures seeking (preferably) combinatorial proofs. The main items are Eulerian polynomials and hook/contents of Young diagram, mostly on the latter. We also have items on Frobenius theorem and multi-core partitions; most recently, some problems on (what we call) colored over-partitions. Formulas analogues to or in the spirit of works by Han, Nekrasov-Okounkov and Stanley are distributed throughout. Concluding remarks are provided at the end in hopes of directing the interested researcher, properly. The newly added problem is on chromatic polynomials

연구 동기 및 목표

• 생성 함수와 조합 구조를 활용하여 알려진 후크 길이 및 내용 기반 항등식을 통합하고 확장한다.
• 오일러 다항식, 다중 코어 분할, 색이 칠해진 오버파트itions를 포함하는 새로운 추측을 제안하고 조합적 증명을 제시한다.
• 색이 칠해진 다항식 계수의 로그-볼록성 및 무한한 로그-볼록성에 대해 연구한다.
• 분할 이론과 대칭 함수 항등식 분야에서 열린 문제들과 최근 진전 사항을 담은 동적인, 진화하는 자료집을 제공한다.

제안 방법

• 지수적 및 $ q $-생성 함수를 활용하여 순열 통계와 분할 항등식을 연결한다.
• $ q $-지수 함수와 가우스 이항계수를 적용하여 오일러 다항식과 벨 다항식을 일반화한다.
• 양의 도형의 대칭성과 이중성 성질을 활용하여 분할 항등식에서 후크 길이, 팔, 다리를 연결한다.
• 한, 네크라소프-오쿠노프, 스탠리의 기존 결과를 활용하여 새로운 항등식과 추측을 유도한다.
• 조합적 해석과 생성 함수 변환을 통해 색이 칠해진 오버파트itions 및 색이 칠해진 다항식에 대한 추측을 탐구한다.
• 암데베라한, 레벤, 양, 주우, 쑹즈, 나스의 최근 성과를 통합하여 이전의 추측을 갱신하고 해결한다.

실험 결과

연구 질문

• RQ1 추측 2.2(a)에서 제안한 바와 같이 다항식 $ P_n(t) = \sum_{\lambda \vdash n} \prod_{u \in \lambda} \frac{h_u^2 + t}{h_u^2} $ 는 단순한 음의 실근만을 가지는가?
• RQ2 추측 13.1에서 제안한 바와 같이 어떤 색이 칠해진 다항식의 계수 수열은 무한히 로그-볼록한가?
• RQ3 추측 12.2에서 서술한 lin $ \overline{p}_c(2^c n + 2^{c-1}) \equiv 0 \mod c^2 $ 는 모든 $ n \geq 0 $ 에 대해 성립하는가?
• RQ4 $ \alpha = a+b+1 $ 인 경우에 대칭 항등식 $ \binom{\alpha}{a}_q + \sum_k \binom{\alpha}{k}_q 2^{\alpha-k} B_{k,b}(q) = \binom{\alpha}{b}_q + \sum_k \binom{\alpha}{k}_q 2^{\alpha-k} B_{k,a}(q) $ 는 조합적으로 증명될 수 있는가?
• RQ5 추측 2.1에서 제기한 항등식 $ \sum_{\lambda \vdash n} \prod_{u \in \lambda} \frac{h_u + t}{h_u} = \sum_{\lambda \vdash n} \prod_{j \geq 1} \binom{k_j + t}{k_j} $ 의 조합적 해석은 무엇인가?

주요 결과

• 모든 $ n \geq 0 $ 에 대해 $ \overline{p}_c(2^c n + 2^{c-1}) \equiv 0 \mod c^2 $ 라는 추측은 조지 앤드류스와의 공동 연구를 통해 정리로 증명되었다.
• 색이 칠해진 오버파트itions의 수를 위한 생성 함수는 $ \sum_{n \geq 0} \overline{p}_c(n) q^n = \frac{((1-c)q; q)_\infty}{(q; q)_\infty} $ 로 주어지며, 이는 유한 직사각형 공식의 극한 케이스에서 유도되었다.
• 시험된 모든 그래프(순환, 나무, 완전 그래프, 부호가 있는 책 그래프 포함)의 색이 칠해진 다항식 계수는 모두 무한히 로그-볼록한 것으로 밝혀졌으며, 이는 추측 13.1를 지지한다.
• 이중성과 기존 결과에 기반하여 항등식 $ \sum_{\lambda \vdash n} \prod_{u \in \lambda} \frac{h_u^2 + t}{h_u^2} = \sum_{\lambda \vdash n} \prod_{j \geq 1} \binom{k_j + t}{k_j} $ 는 지지되지만, 완전한 조합적 증명은 아직 열려 있다.
• 문제 2.2는 $ n $ 의 분할에서 후크 길이가 1인 셀의 최대 개수를 다루며, $ k $-후크의 경우 [4]에서 일반화되고 해결되었다.
• $ B $ 유형의 $ q $-오일러 다항식은 대칭성 $ B_{n,k}(q) = B_{n,n-k}(q) $ 를 만족하며, 생성 함수 대입을 통해 증명되었다.