[논문 리뷰] Distributive Lattices, Polyhedra, and Generalized Flow

Stefan Felsner, Kolja Knauer|ArXiv.org|2008. 11. 10.

Advanced Graph Theory Research참고 문헌 12인용 수 4

한 줄 요약

이 논문은 성분별 최댓값과 최솟값에 대해 닫혀 있는 다면체인 D-다면체를 소개하며, 경계 초평면을 통해 이를 특성화하고, 화살표 매개변수화된 방향 그래프에서의 정점 잠재력과 일반화된 흐름 사이의 이중성을 확립한다. 주요 기여는 평면적 균형 방향 그래프에서 일반화된 흐름에 대한 분배 격자 구조를 제안하여 기존의 흐름, 방향, 결합에 대한 알려진 격자 구조를 통합하고 확장하는 것이다.

ABSTRACT

A D-polyhedron is a polyhedron $P$ such that if $x,y$ are in $P$ then so are their componentwise max and min. In other words, the point set of a D-polyhedron forms a distributive lattice with the dominance order. We provide a full characterization of the bounding hyperplanes of D-polyhedra. Aside from being a nice combination of geometric and order theoretic concepts, D-polyhedra are a unifying generalization of several distributive lattices which arise from graphs. In fact every D-polyhedron corresponds to a directed graph with arc-parameters, such that every point in the polyhedron corresponds to a vertex potential on the graph. Alternatively, an edge-based description of the point set can be given. The objects in this model are dual to generalized flows, i.e., dual to flows with gains and losses. These models can be specialized to yield some cases of distributive lattices that have been studied previously. Particular specializations are: lattices of flows of planar digraphs (Khuller, Naor and Klein), of $α$-orientations of planar graphs (Felsner), of c-orientations (Propp) and of $Δ$-bonds of digraphs (Felsner and Knauer). As an additional application we exhibit a distributive lattice structure on generalized flow of breakeven planar digraphs.

연구 동기 및 목표

• 성분별 최댓값과 최솟값에 대해 닫혀 있는 다면체로 D-다면체를 기하학적으로 특성화하는 것.
• 기하학적 구조를 공유하는 다면체 프레임워크를 통해 기존의 조합적 대상(예: 흐름, 방향, 결합)에 대한 알려진 분배 격자 구조를 통합하는 것.
• 화살표 매개변수화된 방향 그래프에서의 정점 잠재력과 일반화된 흐름 사이의 이중성을 확립하여, 후자의 경우에 분배 격자 구조를 드러내는 것.
• 일반화된 흐름 이론을 평면적 균형 방향 그래프로 확장하여, 이러한 흐름에 대한 새로운 분배 격자 구조를 증명하는 것.
• 정수 일반화된 결합이 분배 격자를 이룬다는 조건을 규명하여 이전의 정수 $Δ$-결합 결과를 일반화하는 것.

제안 방법

• 성분별 최댓값과 최솟값에 대해 닫혀 있는 다면체로 D-다면체를 정의하고, 지배 순서 하에서 분배 격자 구조를 형성하는 것.
• D-다면체를 그들의 H-표현(반평면의 교차)을 통해 특성화하여 기하학과 순서 이론을 연결하는 것.
• 다음과 같은 방식으로 D-다면체의 점을 화살표 매개변수화된 방향 그래프의 정점 잠재력으로 표현하는 것: 네트워크 행렬을 사용해 제약 조건을 인코딩하는 것.
• 간 기반 일반화된 흐름(이득/손실 포함)과 정점 잠재력 사이의 이중성을 확립하여, 잠재력에서의 격자 구조가 흐름으로까지 승격됨을 보이는 것.
• 평면적 균형 방향 그래프의 경우, 용량 제약 조건에 의해 제한되는 일반화된 흐름의 집합이 $Δ$-결합 다면체와의 동형사상 덕분에 분배 격자를 이룬다는 것을 증명하는 것.
• 화살표 매개변수화의 로그 변환을 사용해 $Ø$-결합에서 균형 매개변수화를 구성함으로써 일반화된 흐름에 대한 격자 구조를 가능하게 하는 것.

실험 결과

연구 질문

• RQ1 D-다면체의 완전한 H-표현(경계 초평면)은 무엇이며, 이를 통해 알려진 다면체 가족들이 어떻게 통합되는가?
• RQ2 화살표 매개변수화된 방향 그래프에서의 정점 잠재력은 D-다면체의 정수 점을 어떻게 기술할 수 있는가?
• RQ3 정수 일반화된 결합의 집합이 분배 격자를 이룰 수 있도록 하는 조건은 무엇인가?
• RQ4 일반화된 흐름에 대해 평면적 방향 그래프에서 이득과 손실이 존재하는 경우(즉, 균형 방향 그래프에서) 분배 격자 구조를 확립할 수 있는가?
• RQ5 D-다면체 $P$의 정점 격자 $L(P)$와 다면체 $P$의 기하학적 구조 사이의 관계는 무엇인가?

주요 결과

• 모든 D-다면체는 지배 순서와 성분별 연산에서 유도된 부등식을 포함하는 특정 H-표현으로 특성화된다.
• 화살표 용량과 사이클 균형 제약 조건을 가진 방향 그래프의 정수 $Δ$-결합 집합은 분배 격자를 이룬다.
• 정수 $Δ$-결합과 정수 정점 잠재력 사이에 일대일 대응이 존재하며, 이는 $c_{ε} \leq N^\top p \leq c_u$ 및 $p_i = 0$ (고정된 정점 $i$에 대해) 를 만족하는 조건을 갖는다.
• 평면적 균형 방향 그래프의 경우, 용량 제약 조건에 의해 제한되는 일반화된 흐름의 집합은 $Δ$-결합 다면체와의 동형사상 덕분에 분배 격자를 이룬다.
• 일반화된 흐름에 대한 격자 구조는 양의 화살표 매개변수화 하에서도 유지되며, $Ø$-결합의 로그 변환을 통한 구성은 일반적인 방법을 제공한다.
• D-다면체 $P$의 정점 격자 $L(P)$는 본질적인 기하학적 및 조합적 정보를 담고 있으며, 그 원소들은 특정한 구조적 성질을 가진 일반화된 결합에 대응한다.