[논문 리뷰] Another Proof of the Fact that Polyhedral Cones are Finitely Generated

Volker Kaibel|ArXiv.org|2009. 12. 15.

graph theory and CDMA systems참고 문헌 1인용 수 3

한 줄 요약

이 논문은 행렬 행렬식과 핵 차원 분석을 사용하여 모든 다면체 원뿔이 유한 생성임을 보이는 새로운 귀납적 증명을 제시한다. 생성자는 정의 부등식 행렬의 부분행렬식으로부터 명시적으로 구성되며, 이는 유리수성과 다항식 길이로 표현 가능함을 보장한다.

ABSTRACT

In this note, we work out a simple inductive proof showing that every polyhedral cone K is the conic hull of a finite set X of vectors. The base cases of the induction are linear subspaces and linear halfspaces of linear subspaces. The proof also shows that the components of the vectors in X can be chosen (up to their sign) to be quotients of subdeterminants of the coefficient matrix of any inequality system defining K.

연구 동기 및 목표

• 기하적 개념인 면이나 차원과 같은 개념에 의존하지 않고, 모든 다면체 원뿔이 유한 생성임을 단순하고 귀납적인 증명으로 보여주는 것.
• 다면체 원뿔의 생성자를 계수 행렬의 부분행렬식의 몫으로 명시적으로 구성할 수 있음을 확립하는 것.
• 이러한 생성자가 Δ(A)^n 안에 존재함을 보여, 유리수성과 다항식 길이로 표현 가능함을 보장하는 것.
• 불변 및 유계/무한대 경우를 모두 다루는 귀납적 접근을 통해 Weyl-Minkowski 정리가 전체적으로 확장됨을 보이는 것.
• 선형계획법의 다항식 해법과 정수계획법 타당성 문제의 NP-멤버십을 뒷받침하는 구조적이고 초등적인 증명을 제공하는 것.

제안 방법

• 다면체 원뿔을 정의하는 부등식의 수에 대한 귀납을 사용하며, 선형 부분공간과 반공간에서 시작한다.
• Lemma 1을 적용하여 두 경우를 다룬다: 핵의 교차가 높은 차원을 가질 경우(기저 벡터를 통해 유한 생성), 그리고 z가 존재하여 z, -z ∉ K일 경우.
• 후자의 경우, 부등식 행렬의 행 합 공간의 직교여부를 이용하여 such z를 찾는다. 여기서 직교성과 부호 조건을 활용한다.
• 한 부등식을 등식으로 설정하여 정의되는 낮은 차원의 부분공간과 원뿔의 교차를 통해 생성자를 구성한다. 이는 문제를 귀납적으로 축소한다.
• 원뿔에 속하는 임의의 점 x가 이러한 낮은 차원 원뿔들의 생성집합의 합집합에 속하는 점들의 콘 combination으로 표현될 수 있음을 보인다.
• x + λ*z ∈ K_i^* 이고, 마찬가지로 -z에 대해서도 λ* ≥ 0 가 존재함을 이용하여, x를 두 점의 콘 조합으로 표현한다.

실험 결과

연구 질문

• RQ1 기하적 개념인 면과 같은 개념에 의존하지 않고, 모든 다면체 원뿔이 유한 생성임을 단순하고 귀납적인 증명으로 구성할 수 있는가?
• RQ2 Ax ≤ 0 으로 정의된 다면체 원뿔의 유한 생성 집합의 명시적 구조는 무엇인가?
• RQ3 생성자의 성분은 계수 행렬 A의 부분행렬식에 대해 유 bounds 가 가능한가?
• RQ4 제약 행렬의 핵 차원은 유한 생성 집합의 존재에 어떤 영향을 미치는가?
• RQ5 z와 -z가 원뿔에 속하지 않는 벡터 z가 존재하는 조건은 무엇인가? 이 조건은 귀납적 구성에 필수적이다.

주요 결과

• Ax ≤ 0 로 정의된 모든 다면체 원뿔은 Δ(A)^n 내의 유한 집합 X의 콘 헐로 표현 가능하며, 여기서 Δ(A)는 A의 부분행렬식의 몫들로 구성된다.
• 증명은 생성자를 선택함에 있어 성분이 A의 부분행렬식의 몫(부호를 제외한)으로 표현될 수 있음을 보여준다.
• 귀납적 증명은 기하적 개념을 피하기 위해 부등식의 수에 기반하며, 기저 사례로 선형 부분공간과 선형 반공간을 사용한다.
• 핵의 교차가 dim(ker(C)) - 1 이상의 차원을 가질 경우, 원뿔은 핵의 기저로부터 유도된 유한 집합에 의해 생성된다.
• 이러한 높은 차원의 핵 교차가 존재하지 않을 경우, z, -z ∉ K 를 만족하는 벡터 z가 존재하여, 콘 조합을 통해 생성자를 구성할 수 있다.
• 이 구성은 원뿔에 속하는 임의의 점이 낮은 차원 원뿔들의 생성집합의 합집합에 속하는 점들의 콘 조합으로 표현될 수 있음을 보장하며, 이는 유한 생성성을 증명한다.