[논문 리뷰] The Delta square conjecture

Michele D’Adderio, Alessandro Iraci외 1명|arXiv (Cornell University)|2018. 08. 01.

Advanced Combinatorial Mathematics참고 문헌 15인용 수 4

한 줄 요약

이 논문은 장식된 부분적으로 라벨이 붙은 사각형 경로를 통해 대칭 함수 $\frac{[n-k]_t}{[n]_t}\Delta_{h_m}\Delta_{e_{n-k}}\omega(p_n)$ 의 일반화된 델타 제곱 추측을 제안한다. 이는 로엘러와 워링턴의 제곱 추측과 일반화된 델타 추측을 확장하며, 특수한 경우로는 $q=0$ 전문화와 슈뢰더 경우를 증명하여 $q,t$-제곱 정리의 일반화를 이룬다.

ABSTRACT

We conjecture a formula for the symmetric function $\frac{[n-k]_t}{[n]_t}Δ_{h_m}Δ_{e_{n-k}}ω(p_n)$ in terms of decorated partially labelled square paths. This can be seen as a generalization of the square conjecture of Loehr and Warrington (Loehr, Warrington 2007), recently proved by Sergel (Sergel 2017) after the breakthrough of Carlsson and Mellit (Carlsson, Mellit 2018). Moreover, it extends to the square case the combinatorics of the generalized Delta conjecture of Haglund, Remmel and Wilson (Haglund, Remmel, Wilson 2015), answering one of their questions. We support our conjecture by proving the specialization $m=q=0$, reducing it to the same case of the Delta conjecture, and the Schröder case, i.e. the case $\langle \cdot ,e_{n-d}h_d angle$. The latter provides a broad generalization of the $q,t$-square theorem of Can and Loehr (Can, Loehr 2006). We give also a combinatorial involution, which allows to establish a linear relation among our conjectures (as well as the generalized Delta conjectures) with fixed $m$ and $n$. Finally, in the appendix, we give a new proof of the Delta conjecture at $q=0$.

연구 동기 및 목표

• 로엘러와 워링턴의 제곱 추측을 대칭 함수와 장식된 사각형 경로를 포함하는 더 넓은 조합적 프레임워크로 확장하는 것.
• 하글룬드, 레멜, 워일슨의 일반화된 델타 추측을 사각형 경로 설정으로 일반화하는 것.
• [Haglund-Remmel-Wilson-2015]에서 제기된 일반화된 델타 추측의 조합론적 성질에 대한 열린 질문을 사각형 경로 모델에서 해결하는 것.
• 고정된 $m$과 $n$에 대해, 장식된 사각형 경로 위에 정의된 새로운 조합적 역치를 통해 추측들 사이의 선형 관계를 설정하는 것.
• 자기 포함적인 접근과 잠재적인 독립적 관심을 고려하여, 델타 추측의 $q=0$ 경우에 대한 새로운 증명을 제공하는 것.

제안 방법

• 장식된 부분적으로 라벨이 붙은 사각형 경로 위의 생성함수로 표현되는, $\frac{[n-k]_t}{[n]_t}$로 스케일링된 $\Delta_{h_m}\Delta_{e_{n-k}}\omega(p_n)$ 를 포함하는 새로운 대칭 함수 공식을 제안한다.
• 조합적 대상으로서 장식된 부분적으로 라벨이 붙은 사각형 경로를 도입하며, 면적, dinv, 라벨이 붙은 부분 등의 통계를 추적한다.
• 홀-리틀우드 다항식 $\widetilde{H}_\mu$, 피라미드 합 $p_n$, 그리고 역치 $\omega$ 를 포함하는 대칭 함수 항등식을 사용하여 대칭 함수 측면과 경로 통계 사이의 관계를 설정한다.
• 대칭 함수의 $q=0$ 전문화를 적용하여 일반화된 델타 제곱 추측을 기존의 $q=0$ 경우의 델타 추측으로 축소시키며, [Garsia-Haglund-Remmel-Yoo-2017]에서 알려진 결과를 활용한다.
• 칸과 로엘러의 $q,t$-제곱 정리를 일반화하여, 경로 분해와 생성함수 항등식을 사용하여 슈뢰더 경우 $\langle \cdot, e_{n-d}h_d \rangle$ 를 증명한다.
• 고정된 $m$과 $n$에 대해 장식된 부분적으로 라벨이 붙은 사각형 경로 위에 정의된 새로운 조합적 역치를 도입하며, 주요 통계를 유지하면서 추측들 사이의 선형 관계를 설정하고 대칭 함수 항등식과 연결한다.

실험 결과

연구 질문

• RQ1 일반화된 델타 추측은 델타 경로와 제곱 경로의 조합론을 통합하는 사각형 경로 모델으로 확장될 수 있는가?
• RQ2 일반화된 델타 제곱 추측은 $m=k=0$ 일 때 기존의 알려진 제곱 추측으로 축소되는가?
• RQ3 일반화된 델타 제곱 추측의 슈뢰더 경우 $\langle \cdot, e_{n-d}h_d \rangle$ 는 칸과 로엘러의 $q,t$-제곱 정리를 광범위하게 일반화하는가?
• RQ4 일반화된 델타 제곱 추측의 $q=0$ 전문화는 기존의 델타 추측의 $q=0$ 경우로 축소시켜 증명될 수 있는가?
• RQ5 고정된 $m$과 $n$에 대해 일반화된 델타 제곱 추측들 사이의 선형 관계를 뒷받침하는 조합적 구조는 무엇인가?

주요 결과

• 일반화된 델타 제곱 추측은 $m=k=0$ 일 때 로엘러와 워링턴의 제곱 추측으로 축소되며, 기존의 정리와의 일致성을 확인한다.
• 일반화된 델타 제곱 추측의 $q=0$ 전문화는 기존의 델타 추측의 $q=0$ 경우로 축소시켜 증명되었으며, 이는 이미 알려진 결과이다.
• 일반화된 델타 제곱 추측의 슈뢰더 경우 $\langle \cdot, e_{n-d}h_d \rangle$ 는 증명되었으며, 칸과 로엘러의 $q,t$-제곱 정리를 광범위하게 일반화한다.
• 장식된 부분적으로 라벨이 붙은 사각형 경로 위에 새로운 조합적 역치를 구성하였으며, 이는 고정된 $m$과 $n$에 대해 추측들 사이의 선형 관계를 설정하고 대칭 함수 항등식과 연결한다.
• 대칭 함수 항등식과 경로 통계를 사용하여 델타 추측의 $q=0$ 경우에 대한 새로운 증명을 제시하였으며, 이는 자기 포함적이며 잠재적으로 독립적인 관심을 가진다.
• 슈뢰더 경우의 증명은 경로 위의 생성함수에 대한 세부적인 분석을 포함하며, $t$-이항항등식과 홀-리틀우드 다항식의 성질을 활용하여 명시적인 $t$-이항계수의 일반화를 도출한다.