[논문 리뷰] Removahedral congruences versus permutree congruences

Doriann Albertin, Vincent Pilaud외 1명|arXiv (Cornell University)|2020. 05. 30.

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

한 줄 요약

이 논문은 약한 순서의 격자 준동형에 있어서 removahedron과 quotientope 사이의 날카로운 이분법을 설정한다: 오직 permutree 준동형만이 removahedron으로서 실현 가능한 팬을 생성한다. 이는 permutree 팬의 유형 원뿔의 조합적 기술을 통해 완전히 특성화되며, 이는 이 팬들의 모든 다면체 실현의 완전한 분류와 그 유형 원뿔이 단순체일 조건의 특성화로 이어진다.

ABSTRACT

The associahedron is classically constructed as a removahedron, i.e. by deleting inequalities in the facet description of the permutahedron. This removahedral construction extends to all permutreehedra (which interpolate between the permutahedron, the associahedron and the cube). Here, we investigate removahedra constructions for all quotientopes (which realize the lattice quotients of the weak order). On the one hand, we observe that the permutree fans are the only quotient fans realized by a removahedron. On the other hand, we show that any permutree fan can be realized by a removahedron constructed from any realization of the braid fan. Our results finally lead to a complete description of the type cone of the permutree fans.

연구 동기 및 목표

• 약한 순서의 격자 준동형 중에서 removahedron으로서의 다면체 실현이 가능한 것들에 대한 오랫동안 남아있던 질문을 해결하기 위해.
• 모든 permutree 팬에 대해 유형 원뿔의 완전한 조합적 기술을 제공함으로써, 이러한 팬들의 모든 다면체 실현의 완전한 분류를 가능하게 하기 위해.
• 강력한 이분법을 설정하기 위해: removahedron은 일반적인 quotientope가 아니라 오직 permutree 준동형만을 실현할 수 있다.
• permutree 팬의 유형 원뿔이 단순체일 조건을 특성화하기 위해, 이는 표준 Minkowski 분해와 운동학적 공간 실현과 연결된다.
• 이전의 단순형 다면체와 permutreehedra의 구성들을 통합하고 일반화하기 위해, 임의의 브레이드 팬 실현이 removahedron 구성의 기초로 사용될 수 있음을 보여주기 위해.

제안 방법

• 벽을 횡단하는 부등식을 이용한 팬의 모든 실현 방식의 공간으로서 팬의 유형 원뿔을 정의하고, 변형 원뿔의 프레임워크를 사용하여 분석한다.
• permutree의 장식 δ의 조합적 자료를 사용하여, [n]의 부분집합을 통해 δ-permutree 팬의 반사선을 기술한다. 이는 정리 32에 명시되어 있다.
• 부분집합에 대한 조합적 조건을 사용하여 팬 내의 교환 가능한 반사선 쌍을 특성화한다(정리 39). 이는 인접한 최대 콘의 식별에 사용된다.
• 벽을 횡단하는 부등식에 대응하는 부분집합 쌍을 사용하여, δ-permutree 팬의 유형 원뿔의 면을 유도한다(정리 45).
• 양의 벡터 u ∈ ℝF>0 에 따라 매개변수화된 다면체 Qδ(u)의 가족을 구성함으로써, δ-permutree 팬의 가능한 모든 실현 방식이 실현됨을 보여준다.
• 반사선과 면의 매개변수화를 사용하여, δ-permutree 팬의 유형 원뿔이 장식 δ에 의해 완전히 결정됨을 증명하고, 그 면의 수에 대한 합공식을 유도한다.

실험 결과

연구 질문

• RQ1 Sn에서의 약한 순서의 어떤 격자 준동형이 removahedron으로서 실현될 수 있는가?
• RQ2 모든 permutree 팬은 브레이드 팬의 임의의 실현으로부터 removahedron으로 실현될 수 있는가?
• RQ3 permutree 팬의 유형 원뿔의 완전한 조합적 구조는 무엇인가?
• RQ4 어떤 장식 δ에 대해 δ-permutree 팬의 유형 원뿔이 단순체일까?
• RQ5 유형 원뿔을 지배하는 벽을 횡단하는 부등식은 permutree의 조합론과 어떻게 관련이 있는가?

주요 결과

• 약한 순서의 격자 준동형이 removahedron으로 실현될 수 있는 것은 오직 그것이 permutree 준동형일 때에만 가능하며, 이는 날카로운 이분법을 설정한다(정리 1).
• 모든 permutree 팬은 고전적인 permutahedron 뿐 아니라, 브레이드 팬의 임의의 실현으로부터도 removahedron으로 실현될 수 있다.
• δ-permutree 팬의 반사선은 [n]의 부분집합에 대한 조합적 조건으로 완전히 기술되어 있으며, 이는 정리 32에 기재되어 있다.
• 서로 교환 가능한 반사선 쌍(즉, 인접한 최대 콘에 있는 반사선)은 정리 39에서 특정한 부분집합 쌍을 통해 특성화된다.
• δ-permutree 팬의 유형 원뿔의 면은 벽을 횡단하는 부등식에 대응하는 부분집합 쌍을 통해 완전히 기술되어 있으며, 이는 정리 45에 기재되어 있다.
• permutree 팬의 유형 원뿔이 단순체일 조건은 δ에 대한 특정한 조합적 조건을 만족할 때이며, 이는 모든 실현의 표준 Minkowski 합 분해로 이어진다(보조정리 54).