[논문 리뷰] On Ehrhart positivity of Tesler polytopes and their deformations

Yonggyu Lee, Fu Liu|arXiv (Cornell University)|2019. 11. 14.

Advanced Combinatorial Mathematics참고 문헌 16인용 수 1

한 줄 요약

이 논문은 3차 및 4차 계수의 Ehrhart 다항식에 대한 Ehrhart 양성성을 입증한다. 이는 unimodular 복사본을 분석하고, 그 면들에 Berline-Vergne 함수를 적용하여 달성된다. Reduction Theorem을 사용하여 결과는 $ es_n(1,\dots,1) $의 모든 변형으로 확장되며, 이는 $ \mathbf{a} \in \mathbb{R}_{\geq 0}^n $에 대해 $ es_n(\mathbf{a}) $를 포함한다. 또한 이러한 변형들이 어떤 흐름 다면체인지를 규명한다.

ABSTRACT

For $\ba \in \R_{\geq 0}^{n}$, the Tesler polytope $ es_{n}(\ba)$ is the set of upper triangular matrices with non-negative entries whose hook sum vector is $\ba$. Recently, Morales conjectured that $ es_{n}(1,\dots,1)$ and $ es_{n}(1,0,\dots,0)$ are Ehrhart positive for any positive integer $n$. In this paper, we consider a certain unimodular copy of $ es_{n}(\ba)$ and show that the majority of the faces of this unimodular copy have positive values under a function constructed by Berline-Vergne. As a consequence, we prove that the 3rd and 4th coefficients of the Ehrhart polynomial of $ es_{n}(1,\dots,1)$ are positive for any $n$. Using the Reduction Theorem by Castillo and the second author, this result generalizes to any deformations of $ es_{n}(1,\dots,1)$ which includes $ es_{n}(\ba)$ for all $\ba \in \R_{\geq0}^{n}$. Furthermore, we give a characterization of which flow polytopes are deformations of $ es_{n}(1,\dots,1)$.

연구 동기 및 목표

• Morales가 제안한 바와 같이, Tesler 다면체 $ es_n(\mathbf{a}) $의 Ehrhart 양성성을 조사한다. 특히 $ \mathbf{a} = (1,\dots,1) $ 및 $ \mathbf{a} = (1,0,\dots,0) $의 경우를 중심으로 한다.
• Berline-Vergne 함수를 사용하여 unimodular 복사본의 면 구조를 분석함으로써 Ehrhart 계수의 양성성을 평가한다.
• Reduction Theorem을 활용하여, $ es_n(1,\dots,1) $에서의 3차 및 4차 Ehrhart 계수의 양성성 결과를 이 다면체의 모든 변형으로 확장한다.
• 어느 흐름 다면체가 $ es_n(1,\dots,1) $의 변형으로 나타나는지 규명하며, 이를 완전한 구조적 분류로 제공한다.

제안 방법

• Ehrhart 이론의 불변량을 유지하면서 면 분석을 단순화하기 위해 Tesler 다면체 $ es_n(\mathbf{a}) $의 unimodular 복사본을 구성한다.
• 이 unimodular 복사본의 면들에 Berline-Vergne 함수를 적용하여, 대부분의 면이 이 함수에 대해 양수 값을 갖는다는 것을 보인다.
• 대부분의 면에서 Berline-Vergne 함수의 양성성을 활용하여, $ es_n(1,\dots,1) $의 Ehrhart 다항식의 3차 및 4차 계수의 양성성을 유도한다.
• Castillo와 제2 저자의 Reduction Theorem을 활용하여, $ es_n(1,\dots,1) $에서의 양성성 결과를 이 다면체의 모든 변형으로 확장한다.
• 그들의 조합적 및 기하적 구조를 분석함으로써, $ es_n(1,\dots,1) $의 변형으로 나타나는 흐름 다면체의 집합을 특성화한다.
• Tesler 다면체를 정의하는 후크 합 벡터 조건을 활용하여, 변형들이 원래 $ es_n(1,\dots,1) $의 구조와 어떻게 관련되어 있는지 규명한다.

실험 결과

연구 질문

• RQ1 모든 $ n \geq 1 $에 대해 $ es_n(1,\dots,1) $의 Ehrhart 다항식의 3차 및 4차 계수는 양수인가?
• RQ2 $ es_n(1,\dots,1) $의 Ehrhart 양성성은 이 다면체의 모든 변형으로 확장될 수 있는가?
• RQ3 어느 흐름 다면체가 $ es_n(1,\dots,1) $의 변형인가? 그리고 그것들을 어떻게 특성화할 수 있는가?
• RQ4 unimodular 복사본의 면들에 대해 Berline-Vergne 함수는 어떻게 행동하는가? 그리고 이는 Ehrhart 계수에 어떤 함의를 갖는가?
• RQ5 Reduction Theorem은 $ es_n(1,\dots,1) $에서의 양성성 결과를 더 넓은 범위의 Tesler 다면체로 일반화하는 데 어떤 역할을 하는가?

주요 결과

• $ es_n(1,\dots,1) $의 Ehrhart 다항식의 3차 및 4차 계수는 모든 양의 정수 $ n $에 대해 양수이며, 이는 unimodular 복사본의 면 분석을 통해 입증된다.
• 이 계수의 양성성은 $ es_n(1,\dots,1) $의 모든 변형, 즉 $ \mathbf{a} \in \mathbb{R}_{\geq 0}^n $에 대해 $ es_n(\mathbf{a}) $까지도 확장되며, 이는 Reduction Theorem 덕분이다.
• unimodular 복사본의 대부분의 면들이 Berline-Vergne 함수에 대해 양수 값을 갖는다는 것은 Ehrhart 계수의 양성성을 뒷받침한다.
• 조합적 및 기하적 성질을 바탕으로, $ es_n(1,\dots,1) $의 변형으로 나타나는 흐름 다면체의 집합에 대해 완전한 특성화가 제공된다.
• 이 연구는 원래의 추측을 초월하여, 특히 3차 및 4차 계수에 대해 $ es_n(1,\dots,1) $ 및 그 변형들의 Ehrhart 양성성을 확인한다.
• 결과적으로, Tesler 다면체와 그 변형들의 구조는 unimodular 변환 하에서도 핵심적인 Ehrhart 이론적 성질을 유지할 정도로 충분히 강건함을 보여준다.