[논문 리뷰] Optimal Homologous Cycles, Total Unimodularity, and Linear Programming

Tamal K. Dey, Anil N. Hirani외 1명|arXiv (Cornell University)|2010. 01. 02.

Topological and Geometric Data Analysis참고 문헌 20인용 수 16

한 줄 요약

이 논문은 단순 복합체에서 정수 계수를 가진 최적의 동치 사이클을 계산하는 것이 경계 행렬이 전적으로 단순형일 경우 다항식 시간 내에 해결 가능하다는 것을 입증한다. 이는 정확히 모든 상대 호모로지 군이 토르션 자유일 때 발생한다. 주요 기여는 호모로지 조건을 통한 전적으로 단순형의 위상적 특성화이며, 이러한 복합체에서는 정수 프로그래밍 대신 선형 프로그래밍을 사용할 수 있게 한다.

ABSTRACT

Given a simplicial complex with weights on its simplices, and a nontrivial cycle on it, we are interested in finding the cycle with minimal weight which is homologous to the given one. Assuming that the homology is defined with integer coefficients, we show the following : For a finite simplicial complex $K$ of dimension greater than $p$, the boundary matrix $[\partial_{p+1}]$ is totally unimodular if and only if $H_p(L, L_0)$ is torsion-free, for all pure subcomplexes $L_0, L$ in $K$ of dimensions $p$ and $p+1$ respectively, where $L_0$ is a subset of $L$. Because of the total unimodularity of the boundary matrix, we can solve the optimization problem, which is inherently an integer programming problem, as a linear program and obtain integer solution. Thus the problem of finding optimal cycles in a given homology class can be solved in polynomial time. This result is surprising in the backdrop of a recent result which says that the problem is NP-hard under $\mathbb{Z}_2$ coefficients which, being a field, is in general easier to deal with. One consequence of our result, among others, is that one can compute in polynomial time an optimal 2-cycle in a given homology class for any finite simplicial complex embedded in $\mathbb{R}^3$. Our optimization approach can also be used for various related problems, such as finding an optimal chain homologous to a given one when these are not cycles.

연구 동기 및 목표

• 주어진 호모로지 클래스 내에서 최소 가중 1-노름 사이클인 최적의 동치 사이클을 찾는 문제의 다항식 시간 해법이 가능한 위상적 조건을 규명하는 것.
• Z₂에서 NP-난이도이지만 Z에서는 다항식 시간 내에 해결 가능하므로, Z가 체보다 덜 구조화되어 있음에도 불구하고 이 문제의 해법 가능성을 설명하는 데서 발생하는 명백한 역설을 해결하는 것.
• 상대 호모로지 군의 상대 토르션 부재를 통해 전적으로 단순형의 위상적 특성화를 제공하는 것.
• 특히 다차원 다양체와 R^d에 통합된 복합체에서 최적의 사이클과 체인을 효율적으로 계산하는 데 기여하는 것.
• 정수 제약 조건이 있는 최적화 문제에 선형 프로그래밍의 적용 범위를 확장하여, 정수 프로그래밍이 필요 없이도 해가 정수로 유지되는 경우를 식별하는 것.

제안 방법

• 정수 제약 조건을 완화하여 최적의 동치 사이클 문제(OHCP)를 선형 프로그래밍 문제로 재구성하고, 경계 행렬의 전적으로 단순형 성질에 기반해 정수 해를 보장한다.
• 모든 순수 부분복합체 L₀ ⊂ L(각각 차원 p와 p+1)에 대해 H_p(L, L₀)가 토르션 자유일 때이고 그때서만 경계 행렬 ∂_{p+1}이 전적으로 단순형임을 증명한다.
• 전적으로 단순형과 선형 프로그래밍 해의 정수성 간의 등가성을 이용하여, OHCP의 정수 프로그래밍 공식을 선형 프로그래밍 문제로 감소시킨다.
• 선형 프로그래밍 공식을 사용하여 삼각분할된 d-다양체와 R^d에 통합된 유한 단순 복합체에서 최적의 (d−1)-사이클을 계산한다.
• 계수를 {−1, 0, 1}로 제약하는 추가 조건을 포함한 선형 프로그래밍의 변형을 도입하여 기하학적으로 의미 있는 결과를 보장한다.
• 2차원 토러스와 3차원 고체 애너룰에서 실험적으로 방법을 검증하여, 계수가 ±1인 최적의 사이클이 자주 도출됨을 보였다.

실험 결과

연구 질문

• RQ1 정수 계수에서 최적의 동치 사이클 문제는 어떤 위상적 조건에서 다항식 시간 내에 해결 가능한가?
• RQ2 Z는 체가 아니지만 Z₂에서 NP-난이도인 문제가 Z에서는 해결 가능한 이유는 무엇인가? (Z는 덜 구조화되어 있음에도 불구하고)
• RQ3 경계 행렬의 전적으로 단순형은 부분복합체의 호모로지에 대한 순수한 특성화로 기술될 수 있는가?
• RQ4 복합체가 상대 토르션을 가질 경우에도 선형 프로그래밍 공식이 여전히 정수 해를 도출할 수 있는가? 만약 그렇다면 어떤 조건에서인가?
• RQ5 이 틀은 사이클이 아닌 최적의 체인을 계산하거나 최적의 호모로지 기저를 계산하는 데로 확장될 수 있는가?

주요 결과

• 경계 행렬 ∂_{p+1}이 전적으로 단순형이 되는 것은, 모든 순수 부분복합체 L₀ ⊂ L(각각 차원 p와 p+1)에 대해 H_p(L, L₀)가 토르션 자유일 때이고 그때서만 해당된다.
• 경계 행렬이 전적으로 단순형일 경우 최적의 동치 사이클 문제는 선형 프로그래밍 문제로 해결 가능하며, 정수 프로그래밍이 필요 없이도 정수 해를 도출한다.
• 모든 삼각분할된 옹호적 컴act d-다양체 또는 R^d에 통합된 유한 단순 복합체에서 최적의 (d−1)-사이클을 계산하는 문제는 다항식 시간 내에 해결 가능하다.
• 실제로는 이론적으로 보장되지 않지만, 계수를 {−1, 0, 1}로 제약하는 추가 조건을 통해 선형 프로그래밍에 의해 계수 {−1, 0, 1}을 가진 해가 자주 도출된다.
• 복합체가 상대 토르션을 가질 경우에도 선형 프로그래밍이 여전히 정수 해를 도출할 수는 있지만, 이는 보장되지 않으며 입력 체인의 성격에 따라 달라진다.
• 이 결과는 전적으로 단순형의 위상적 특성화를 제공하며, 이는 상대 호모로지 군의 토르션 부재와 연결된다.