[논문 리뷰] Ehrhart series and lattice triangulations

Sam Payne|ArXiv.org|2007. 02. 02.

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

한 줄 요약

이 논문은 단순형 분할에서 비유니모듈라 얼굴의 국소 기여와 다변수 h다항식을 사용하여 유리 다면체 콘의 에르하르트 다항식에 대한 공식을 개발한다. 두 개의 정리에서 격자 점의 생성함수를 이러한 구성 요소로 표현하며, 반사 다면체의 비단조화 h*-벡터를 계산하는 데 적용되며, 차원 6, 7, 8, 10, 11에서 새로운 예제를 포함한다.

ABSTRACT

We express the generating function for lattice points in a rational polyhedral cone with a simplicial subdivision in terms of multivariate analogues of the h-polynomials of the subdivision and "local contributions" of the links of its nonunimodular faces. We also compute new examples of nonunimodal h^*-vectors of reflexive polytopes.

연구 동기 및 목표

• 유리 다면체 콘에 대해 단순형 분할이 있는 격자 점의 생성함수에 대한 일반 공식 유도.
• 상자 다항식과 링크 h다항식을 통해 비유니모듈라 얼굴의 국소 기여를 통합함으로써 기존 에르하르트 이론을 확장.
• 단조성의 추측에 도전하기 위해 비단조화 h*-벡터를 가진 반사 다면체의 명시적 예제를 구성.
• 이전의 특수 단체에 대한 결과를 일반화하여 더 넓은 범위의 특수 콘 클래스를 도입.
• 새로운 공식이 반사 다면체의 가족에 대한 에르하르트 다항식과 h*-다항식을 계산하는 데 유용함을 보여줌.

제안 방법

• 모든 면에 속한 반사와 속하지 않은 반사에 대해 $ x^{v_i} $ 와 $ (1 - x^{v_j}) $ 의 곱을 사용하여 콘 $ \tau $ 의 단순형 분할 $ \triangle $ 에 대해 h다항식의 다변수 버전 $ H_{\triangle} $ 정의.
• 비유니모듈라 콘에서 분수 부분을 포괄하는 열린 평행육면체 $ \mathrm{Box}(\tau) = \{ \sum a_i v_i \mid 0 < a_i < 1 \} $ 에 대한 격자 점의 생성함수로 상자 다항식 $ B_{\tau} $ 정의.
• 면 $ \tau $ 의 링크 $ \mathrm{lk} \tau $ 정의하고, 이에 대응하는 다변수 h다항식 $ H_{\mathrm{lk} \tau} $ 구성.
• 정리 1.1 수립: 생성함수 $ G_{\sigma} $ 는 $ (1 - x^{v_1}) \cdots (1 - x^{v_s}) \cdot G_{\sigma} = H_{\triangle} + \sum_{\tau \in \triangle^{\mathrm{sing}}} \left( B_{\tau} \cdot H_{\mathrm{lk} \tau} \cdot \prod_{v_i \not\in \mathrm{Star} \tau} (1 - x^{v_i}) \right) $ 를 만족함.
• 모든 최대 콘에 포함되는 특수 콘 $ \lambda $ 를 도입하여 정리 1.2로 일반화. 상대 상자 다항식 $ B_{\tau, \lambda} $ 정의하고, $ H_{\mathrm{lk} \lambda} $ 와 $ \tau \succeq \lambda $ 에서의 기여를 포함하는 공식 유도.
• 특수화를 통해 격자 다면체에 공식 적용. 브라운의 자유 합 공식을 사용하여 큰 비단조화 h*-벡터를 가진 예제를 구성함.

실험 결과

연구 질문

• RQ1 단순형 분할이 있는 유리 콘의 에르하르트 다항식은 다변수 h다항식과 비유니모듈라 얼굴의 국소 기여로 표현될 수 있는가?
• RQ2 모든 최대 콘에 포함되는 특수 콘 $ \lambda $ 는 격자 점의 생성함수 공식을 정교화하는 데 어떤 역할을 하는가?
• RQ3 모든 차원 $ d \geq 6 $ 에서 비단조화 h*-벡터를 가진 반사 다면체가 존재하는가? (다만 $ d = 7, 8, 11 $ 는 제외될 수 있음.)
• RQ4 반사 다면체의 h*-벡터가 매클로이 벡터가 아닐 수 있으며, 만약 그렇다면 어떤 조건에서 그러한 일이 발생하는가?
• RQ5 반사 다면체의 자유 합은 연속된 h*-벡터 항목 간의 차이가 임의로 크게 설정된 예제를 구성하는 데 어떻게 활용될 수 있는가?

주요 결과

• 정리 1.1은 다변수 h다항식 $ H_{\triangle} $ 와 $ B_{\tau} $, $ H_{\mathrm{lk} \tau} $ 를 통한 비유니모듈라 얼굴의 기여를 사용하여 유리 콘 $ \sigma $ 에서 격자 점의 생성함수 $ G_{\sigma} $ 의 완전한 분해를 제공한다.
• 정리 1.2는 특수 콘 $ \lambda $ 를 통합함으로써 정리 1.1을 일반화하며, $ H_{\mathrm{lk} \lambda} $ 와 상대 상자 다항식 $ B_{\tau, \lambda} $ 를 포함하는 공식을 유도한다. $ \lambda = 0 $ 일 때 정리 1.1을 복원한다.
• 예제 4.3은 차원 6의 반사 단체를 구성하며 $ h^*(P) = (1,2,6,5,5,6,2,1) $ 로 비단조화임을 확인하여 차원 6에서의 비단조화성 확인.
• 예제 4.4는 차원 11의 반사 단체를 구성하며 $ h^*(P) = (1,1,4,6,4,6,6,4,6,4,1,1) $ 로 비단조화임을 확인하여 $ d = 11 $ 의 경우 해결.
• 예제 4.2에서 $ b \geq 3 $ 이고 $ k > r+1 $ 일 때 h*-벡터는 비단조화이며, 이는 $ d \geq 6 $ 의 모든 차원에서 그러한 예제를 제공하며, $ d = 7,8,11 $ 는 명시적 구성으로 커버됨.
• 정리 1.6는 연속된 h*-벡터 항목 간의 차이가 임의로 크게 설정된 반사 다면체를 구성한다: 임의의 $ n $ 에 대해, $ h^*_{i_\ell} - h^*_{j_\ell} \geq n $ 인 다수의 $ \ell $ 에 대해 성립하는 반사 다면체 $ P $ 가 존재하며, 차원 $ \dim P = O(m \log \log n) $ 이다.