[논문 리뷰] Permutohedra, associahedra, and beyond

Alexander Postnikov|ArXiv.org|2005. 07. 07.

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

한 줄 요약

이 논문은 단체의 미니크로피 합으로 만들어진 일반화된 페르뮤토메드론의 부피 다항식과 에르하르트 다항식의 계수로 혼합 오일러 수를 도입한다. 이는 순열, 이진 트리, 혼합 부피를 통한 조합적 공식을 제공하며, 정수점 수를 보존하는 일반화된 페르뮤토메드론 간의 이중성과 함께, 루트 계열로 일반화된 카탈란 수와 오일러 수를 제시한다.

ABSTRACT

The volume and the number of lattice points of the permutohedron P_n are given by certain multivariate polynomials that have remarkable combinatorial properties. We give several different formulas for these polynomials. We also study a more general class of polytopes that includes the permutohedron, the associahedron, the cyclohedron, the Pitman-Stanley polytope, and various generalized associahedra related to wonderful compactifications of De Concini-Procesi. These polytopes are constructed as Minkowski sums of simplices. We calculate their volumes and describe their combinatorial structure. The coefficients of monomials in Vol P_n are certain positive integer numbers, which we call the mixed Eulerian numbers. These numbers are equal to the mixed volumes of hypersimplices. Various specializations of these numbers give the usual Eulerian numbers, the Catalan numbers, the numbers (n+1)^{n-1} of trees, the binomial coefficients, etc. We calculate the mixed Eulerian numbers using certain binary trees. Many results are extended to an arbitrary Weyl group.

연구 동기 및 목표

• 다변수 다항식을 사용하여 페르뮤토메드론 및 관련 다면체의 부피와 정수점 수를 계산하는 통합 프레임워크를 개발하기 위해.
• 초단체의 혼합 부피에서 유래하는 혼합 오일러 수를 통해 오일러 수와 카탈란 수를 일반화하기 위해.
• 형식 A 루트 계열의 결과를 일반화된 웨일 군으로 확장하고, 놀라운 컴actsification에서 유래한 일반화된 아소시아헤드론을 포함하기 위해.
• 정수점 수를 보존하는 일반화된 페르뮤토메드론 간의 이중성을 확립하기 위해.
• 케일리 기법과 에르하르트 이론을 통해 루트 다면체와 그들의 삼등분과 관련된 일반화된 페르뮤토메드론을 연결하기 위해.

제안 방법

• 정점에 대한 Brion 공식을 적용하여 페르뮤토메드론의 부피를 그 정점들에 대한 합으로 표현함으로써, 순열의 내림차순 집합을 포함하는 공식을 도출한다.
• 좌표 단체의 가중치가 부여된 미니크로피 합으로 페르뮤토메드론을 표현하고, 부분집합의 중첩된 가족을 통해 일반화된 페르뮤토메드론으로 일반화한다.
• 초단체의 혼합 부피에 대한 Bernstein 정리를 사용하여 일반화된 페르뮤토메드론의 부피와 에르하르트 다항식을 계산한다.
• 일반화된 페르뮤토메드론의 부피 다항식의 계수로 혼합 오일러 수를 도입하고, 가중치가 부여된 이진 트리를 통한 조합적 해석을 제공한다.
• 케일리 기법을 적용하여 루트 다면체(원점과 양의 루트의 볼록결합)의 부피를 관련된 일반화된 페르뮤토메드론의 정수점 수와 연결한다.
• 에르하르트 다항식과 부피 다항식을 연결하기 위해 토드 연산자 공식을 사용하며, 특히 변수 $ z_i $ 에 대한 미분 연산자를 통해 딜라잔 다면체에 대해 적용한다.

실험 결과

연구 질문

• RQ1 페르뮤토메드론의 부피와 에르하르트 다항식은 어떻게 다변수 다항식으로 표현될 수 있으며, 그 조합적 의미는 무엇인가요?
• RQ2 일반화된 페르뮤토메드론의 부피 다항식의 계수는 어떤 조합적 의미를 가지며, 오일러 수와 카탈란 수를 어떻게 일반화합니까?
• RQ3 초단체의 혼합 부피는 일반화된 페르뮤토메드론의 부피와 어떻게 관련되어 있으며, 그 결과로 유도된 혼합 오일러 수의 의미는 무엇입니까?
• RQ4 정수점 수를 보존하는 일반화된 페르뮤토메드론 간의 이중성은 무엇이며, 루트 다면체의 삼등분과 어떻게 연결됩니까?
• RQ5 케일리 기법과 에르하르트 이론을 어떻게 사용하여 루트 다면체를 일반화된 페르뮤토메드론과 그 정수점 수와 연결할 수 있습니까?

주요 결과

• 정규 페르뮤토메드론 $ P_n(n, n-1, \dots, 1) $ 의 부피는 $ n^{n-2} $ 와 같으며, 이는 $ n $ 개의 정점에서의 레이블이 부여된 트리의 수와 같다.
• $ P_n(n, n-1, \dots, 1) $ 의 정수점 수는 $ n $ 개의 레이블이 부여된 정점에서의 숲의 수와 같다.
• 초단체 $ \Delta_{k,n} $ 의 부피는 오일러 수 $ A(n-1, k-1) $ 를 $ (n-1)! $ 으로 나눈 값과 같으며, 이는 라플라스의 고전적 결과를 확인한다.
• 일반화된 페르뮤토메드론의 부피 다항식의 계수로 정의된 혼합 오일러 수는 오일러 수, 카탈란 수, 이항계수, 그리고 $ (n+1)^{n-1} $ 를 일반화한다.
• 일반화된 페르뮤토메드론의 에르하르트 다항식은 일반적인 단항식 거듭제곱을 상승계승계수로 바꾸어 부피 다항식에서 유도된다.
• 딜라잔 다면체의 경우, 에르하르트 다항식은 부피 다항식에 $ \prod_{i=1}^N \mathrm{Todd}\left(\frac{\partial}{\partial z_i}\right) $ 를 적용하여 얻어진다.