[논문 리뷰] Deformation Cones of nested Braid fans

Federico Castillo, Fu Liu|arXiv (Cornell University)|2017. 10. 05.

Advanced Combinatorial Mathematics참고 문헌 13인용 수 3

한 줄 요약

이 논문은 브레드 팬의 세분화로서 내재된 브레드 팬을 도입하고, 이 팬의 정규 팬을 갖는 다면체로서 내재된 페르뮤토헤드론을 구성한다. 변형 콧뿔을 통해 일반화된 페르뮤토헤드론에 대한 하위모듈라리티 정리의 조합적 증명을 제공하며, 내재된 페르뮤토헤드론의 면과 순서화된 분할 포지트의 사슬 사이의 일대일 대응을 확립하고, 내재된 브레드 팬이 브레드 팬의 바리센트리 서브디비전임을 보여주며, $e_i + e_j - e_k - e_ ho$ 형태의 모서리 방향을 갖는 다면체를 연구하는 데 새로운 조합적 프레임워크를 제공한다. 주요 기여는 고정된 다면체의 변형 콧뿔을 계산하는 체계적인 방법을 제공하고, 일반화된 페르뮤토헤드론에 대한 결과를 내재된 설정으로 확장하는 것이다.

ABSTRACT

Generalized permutohedra are deformations of regular permutohedra, and arise in many different fields of mathematics. One important characterization of generalized permutohedra is the Submodular Theorem, which is related to the deformation cone of the Braid fan. We lay out general techniques for determining deformation cones of a fixed polytope and apply it to the Braid fan to obtain a natural combinatorial proof for the Submodular Theorem. We also consider a refinement of the Braid fan, called the nested Braid fan, and construct usual (respectively, generalized) nested permutohedra which have the nested Braid fan as (respectively, refining) their normal fan. We extend many results on generalized permutohedra to this new family of polytopes, including a one-to-one correspondence between faces of nested permutohedra and chains in ordered partition posets, and a theorem analogous to the Submodular Theorem. Finally, we show that the nested Braid fan is the barycentric subdivision of the Braid fan, which gives another way to construct this new combinatorial object.

연구 동기 및 목표

• 고정된 다면체의 변형 콧뿔을 계산하는 일반적인 기법을 개발하는 것, 특히 브레드 팬에 대해.
• 변형 콧뿔을 사용하여 일반화된 페르뮤토헤드론에 대한 하위모듈라리티 정리의 자연스러운 조합적 증명을 제공하는 것.
• 브레드 팬의 세분화로서 내재된 브레드 팬을 도입하고, 이 팬을 정규 팬으로 갖는 내재된 페르뮤토헤드론을 구성하는 것.
• 일반화된 페르뮤토헤드론에서의 결과—예를 들어 면-면 대응과 하위모듈라리티—를 새로운 내재된 페르뮤토헤드론의 가족으로 확장하는 것.
• 내재된 브레드 팬이 브레드 팬의 바리센트리 서브디비전임을 보여주며, 이 조합적 객체의 새로운 구성 방법을 제공하는 것.

제안 방법

• 다면체 P₀의 변형을 정점이 이동하지 않는 면 이동으로 정의하며, P₀의 정점이 변형된 다면체에서도 정점으로 남아 있도록 조건을 설정한다.
• 정규 팬의 세분화와 변형의 등가성을 사용하여, 다면체 {x ∈ V : Ax ≤ b}가 P₀의 변형이 되는 모든 벡터 b의 집합으로 변형 콧뿔을 특성화한다.
• 좌표의 상대적 순서와 첫 번째 차분을 기반으로 점들을 그룹화하여, 브레드 팬의 세분화로 내재된 브레드 팬 Br₂ᵈ를 정의한다.
• 순서화된 순열 쌍과 정수 벡터의 매개변수화를 사용하여, 내재된 브레드 팬을 정규 팬으로 갖는 일반 및 일반화된 내재된 페르뮤토헤드론을 구성한다.
• 일반화된 페르뮤토헤드론에 대해 알려진 결과를 일반화하여, 내재된 페르뮤토헤드론의 면과 순서화된 분할 포지트의 사슬 사이의 일대일 대응을 확립한다.
• 특정 순서로 스타르 서브디비전을 수행하여 내재된 브레드 팬이 바리센트리 서브디비전임을 보이며, 이 팬이 프로젝티브임을 검증한다.

실험 결과

연구 질문

• RQ1 일반 페르뮤토헤드론의 성질과 유사하게, 순서화된 순열 쌍에 대응하는 정점가 내재된 브레드 팬의 해당 면의 정규 콧뿔 안에 있는 일반 또는 일반화된 내재된 페르뮤토헤드론이 존재하는가?
• RQ2 퍼뮤토-아소시아헤드론은 정규 내재된 페르뮤토헤드론의 변형으로 실현될 수 있는가?
• RQ3 두 번째 차분을 사용하여 내재된 브레드 팬을 추가로 세분화한 팬이 프로젝티브인가? 그리고 이 팬은 조합적 해석을 갖는가?
• RQ4 단체의 정규 팬의 어떤 스타르 서브디비전 순서가 브레드 팬의 세분화를 유도하는가?
• RQ5 모든 튜플 (i,j,k,ℓ)에 대해 $x_i + x_j = x_k + x_\ell$로 정의된 초평면 배열의 구조는 어떠한가? 그리고 이 배열은 몇 개의 영역을 갖는가?

주요 결과

• 브레드 팬의 변형 콧뿔이 조합적으로 특성화되어 있으며, 이는 $f(\emptyset) = 0$ 조건을 만족하는 $2^{[d+1]}$ 위의 하위모듈라 함수와의 대응을 통해 일반화된 페르뮤토헤드론과 하위모듈라 함수 사이의 관계를 이용한 하위모듈라리티 정리의 새로운 증명을 제공한다.
• 내재된 브레드 팬 Br₂ᵈ는 브레드 팬 Brd의 바리센트리 서브디비전임을 보여주며, 이는 이 팬의 새로운 기하학적 및 조합적 구성 방법을 확립한다.
• 내재된 페르뮤토헤드론의 면과 순서화된 분할 포지트의 사슬 사이의 일대일 대응이 확립되었으며, 이는 일반화된 페르뮤토헤드론에 대한 알려진 면-면 대응을 일반화한 것이다.
• 논문은 일반화된 페르뮤토헤드론이 정확히 다각형 다면체의 이동임을 증명하고, 이 등가성에 대한 직접적인 조합적 증명을 제공한다.
• 일반 내재된 페르뮤토헤드론 Π²_d(M,N)의 정규 팬은 내재된 브레드 팬이며, 이 팬은 프로젝티브임을 확인하여, $e_i + e_j - e_k - e_\ell$ 형태의 모서리 방향을 갖는 잘 정의된 다면체의 가족이 존재함을 입증한다.
• 저자들은 브레드 팬의 변형 콧뿔이 정확히 $f(\emptyset) = 0$ 조건을 만족하는 $2^{[d+1]}$ 위의 하위모듈라 함수와 일대일 대응됨을 보이며, 이 대응이 이중적이므로 하위모듈라리티 정리를 순수히 조합적인 방식으로 증명한다.