[논문 리뷰] $e$-Positivity Results and Conjectures

Adriano M. Garsia, James Haglund외 2명|arXiv (Cornell University)|2019. 04. 16.

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

한 줄 요약

이 논문은 t=1일 때 수정 맥도널드 다항식의 e-양성과 균형 잡힌 드락 경로 LLT 다항식의 e-양성을 증명하며, 유니셀룰러 및 컬럼 LLT 다항식과 같은 여러 대칭 함수 가닥에 대한 e-양성에 대한 추측을 제기한다. 드락 경로의 areaprime 알고리즘과 zeta 이미지 기반의 통합 프레임워크를 통해, 재귀적 무게 계산을 통한 e-기저 전개를 수립하여 핵심 케이스에 대한 e-양성을 확인하고, 더 넓은 범위의 검증을 위한 알고리즘을 제안한다.

ABSTRACT

In a 2016 ArXiv posting F. Bergeron listed a variety of symmetric functions $G[X;q]$ with the property that $G[X;1+q]$ is $e$-positive. A large subvariety of his examples could be explained by the conjecture that the Dyck path LLT polynomials exhibit the same phenomenon. In this paper we list the results of computer explorations which suggest that other examples exhibit the same phenomenon. We prove two of the resulting conjectures and propose algorithms that would prove several of our conjectures. In writing this paper we have learned that similar findings have been independently discovered by Per Alexandersson.

연구 동기 및 목표

• 수정 맥도널드 다항식 $\widetilde{H}_\mu[X;q,1]$의 e-양성을 증명하는 것, 즉 $\widetilde{H}_\mu[X;q,1]$이 e-양성임을 보이는 것.
• 조합적 및 대수적 기법을 통해 균형 잡힌 드락 경로 LLT 다항식 $B_p[X;q]$의 e-양성을 확립하는 것.
• 유니셀룰러 및 컬럼 LLT 다항식의 e-양성에 대한 추측과 알고리즘 프레임워크를 제안하는 것.
• zeta 이미지와 areaprime 구성 기반으로 고전적 드락 경로, 유니셀룰러, 컬럼 LLT 다항식을 통합적으로 다루는 것.
• e-양성 현상이 $\nabla C_p 1$, $\Delta_{e_k}e_n$, 및 $\nabla(-1)^{n-1}p_n$을 포함한 더 넓은 가닥으로 확장되는가를 탐색하는 것.

제안 방법

• 플레티즘 항등식과 재단 및 맥도널드 다항식의 알려진 특수화를 사용하여 $\widetilde{H}_\mu[X;q,1] = \prod_{i=1}^{\ell(\mu)} (q;q)_{\mu_i} h_{\mu_i}[X/(1-q)]$를 증명하는 것.
• 드락 경로 $D$의 zeta 이미지를 사용하여 $\zeta(D)$로 매핑함으로써 고전적 드락, 유니셀룰러, 컬럼 LLT 다항식을 통일적으로 다룰 수 있도록 하는 것.
• areaprime 알고리즘을 적용하여 $\zeta(D)$의 제거 가능한 역삼각형을 표시함으로써 LLT 다항식을 재귀적으로 계산하고, 모서리 추가에 따른 $q$-요소로 무게를 결정하는 것.
• 대각선 셀의 부분집합 $S$에 대해 $weight_S(q)$를 정의하며, 이는 최종 내림집합의 구조를 변경하지 않도록 확장하는 선택에서 유래한 $q$-요소를 포함한다.
• $areaprime_{Z,T}[X,q] = \sum_{S \in \text{possible}_{Z,T}} e_{|S|}[X] \cdot \text{weight}_S(q) \cdot areaprime_{Z(S),T(S)}[X,q]$를 통한 재귀적 전개를 구성하며, $Z(S)$와 $T(S)$는 대각선 셀에서 행과 열을 삭제하여 유도된다.
• 조합적 한계를 초월하는 대규모 예제를 검증하기 위해 칼슨-멜리트 빠른 알고리즘을 활용하여 추측된 e-전개의 타당성을 입증하는 것.

실험 결과

연구 질문

• RQ1 수정 맥도널드 다항식 $\widetilde{H}_\mu[X;q,1]$은 모든 분할 $\mu$에 대해 e-양성인가?
• RQ2 균형 잡힌 드락 경로 LLT 다항식 $B_p[X;q]$는 모든 구성 $p$에 대해 e-양성인가?
• RQ3 e-양성 현상은 모든 유니셀룰러 LLT 다항식으로까지 확장되는가?
• RQ4 고전적 드락, 유니셀룰러, 컬럼 LLT 다항식의 e-전개를 계산하는 데 통일된 알고리즘을 구축할 수 있는가?
• RQ5 $\nabla C_p 1$, $\Delta_{e_k}e_n$, 및 $\nabla(-1)^{n-1}p_n$ 다항식은 e-양성인가?

주요 결과

• 논문은 모든 분할 $\mu$에 대해 $\widetilde{H}_\mu[X;q,1]$가 e-양성임을 증명하며, 전개 $\widetilde{H}_\mu[X;q,1] = \prod_{i=1}^{\ell(\mu)} (q;q)_{\mu_i} h_{\mu_i}[X/(1-q)]$를 제시한다.
• 균형 잡힌 드락 경로 LLT 다항식 $B_p[X;q]$는 e-양성임이 입증되었으며, areaprime 구성에서 유도된 명시적 e-기저 전개가 제공된다.
• 유니셀룰러 LLT $Unicell_{[1,4,3,2]}[X;1+q]$의 e-양성은 확인되었으며, $q^2 e_3 e_1 + 2q e_2 e_1^2 + e_1^4$로 전개된다.
• 드락 경로 LLT $LLT(4,3,[0,1,2])[X;1+q]$는 $(q^3+2q^2)e_3 + (q^2+3q)e_2 e_1 + e_1^3$로 전개되어 e-양성이 확인된다.
• 작성자들은 $areaprime_{Z,T}[X,q]$와 부분집합의 무게 부여를 통한 재귀적 알고리즘을 구성하여 고전적 드락, 유니셀룰러, 컬럼 LLT 다항식의 e-전개를 도출한다.
• 유니셀룰러 및 컬럼 LLT 다항식의 수는 zeta 이미지 구성 덕분에 카탈란 수와 하위 슈뢰더 수를 각각 상한으로 가지게 된다.