[논문 리뷰] Minimum Bounded Chains and Minimum Homologous Chains in Embedded Simplicial Complexes

Glencora Borradaile, William Maxwell외 1명|arXiv (Cornell University)|2020. 01. 01.

Topological and Geometric Data Analysis참고 문헌 30인용 수 3

한 줄 요약

이 논문은 R^{d+1}에 임bed된 d차원 단체 복합체에서 Z2 호몰로지에 대해 최소 유한 체인 문제와 최소 동치 체인 문제를 연구한다. 최소 유한 체인 문제에 대해 O(√log βd)-근사 알고리즘과 최소 동치 체인 문제에 대해 O(√log nd+1)-근사 알고리즘을 제시하며, 두 문제 모두 APX-난이도이며, 유일성 게임 추측 하에 어떤 상수 요인으로도 근사가 불가능하다는 것을 증명한다. 주요 기여는 최적 해의 크기로 매개변수화된 고정된-파rameter 트랙터블 정확 알고리즘이다.

ABSTRACT

We study two optimization problems on simplicial complexes with homology over ℤ₂, the minimum bounded chain problem: given a d-dimensional complex 𝒦 embedded in ℝ^(d+1) and a null-homologous (d-1)-cycle C in 𝒦, find the minimum d-chain with boundary C, and the minimum homologous chain problem: given a (d+1)-manifold ℳ and a d-chain D in ℳ, find the minimum d-chain homologous to D. We show strong hardness results for both problems even for small values of d; d = 2 for the former problem, and d=1 for the latter problem. We show that both problems are APX-hard, and hard to approximate within any constant factor assuming the unique games conjecture. On the positive side, we show that both problems are fixed-parameter tractable with respect to the size of the optimal solution. Moreover, we provide an O(√{log β_d})-approximation algorithm for the minimum bounded chain problem where β_d is the dth Betti number of 𝒦. Finally, we provide an O(√{log n_{d+1}})-approximation algorithm for the minimum homologous chain problem where n_{d+1} is the number of (d+1)-simplices in ℳ.

연구 동기 및 목표

• 임베디드 단체 복합체에서 경계가 0-호몰로지인 (d−1)-사이클로 둘러싸인 최소 d-체인을 찾는 문제의 계산 복잡도를 조사하는 것.
• 최소 유한 체인 문제와 최소 동치 체인 문제의 근사 난이도를 분석하는 것.
• 두 문제에 대한 근사 알고리즘과 고정된-파rameter 트랙터블 정확 알고리즘을 개발하는 것.
• 표준 복잡도 가정, 특히 유일성 게임 추측 하에 날카로운 근사 불가능성 결과를 확립하는 것.
• 2차원 복합체에서 최소 유한 체인에 대한 기존 결과를 고차원 및 더 일반적인 설정으로 확장하는 것.

제안 방법

• 최소 유한 체인 문제를 복합체 K로부터 구성된 수정된 이중 그래프 H에서의 최소 (v⁺_∞, v⁻_∞)-컷 문제로 감소시킨다.
• H를 구성하기 위해 무한점 정점(v∞)을 v⁺_∞와 v⁻_∞로 분할하고, 기준 d-체인 F(∂F = C를 만족)에 속하는지 여부에 따라 간선을 대체한다.
• Z2 호몰로지에서 사이클/컷 이중성 원리를 활용하여, 경계가 C인 d-체인과 H에서의 (v⁻_∞, v⁺_∞)-컷 사이의 일대일 대응을 확립한다.
• 최대 유량 알고리즘을 적용하여 H에서 최소 컷을 O(βd m) 시간 내에 계산한다. 여기서 m은 d-단체의 수이다.
• 외부 쉘과 0-호몰로지 사이클의 구조를 활용하여 이중 그래프 변환을 통한 최소 컷으로의 감소를 수행한다.
• 유일성 게임 추측을 활용하여, 낮은 차원 설정에서도 두 문제에 대해 강력한 근사 불가능성 한계를 증명한다.

실험 결과

연구 질문

• RQ1 R³에 임베디드된 2차원 단체 복합체에서 최적 해의 크기로 매개변수화된 최소 유한 체인 문제는 고정된-파rameter 트랙터블인가?
• RQ2 표준 복잡도 가정 하에 최소 유한 체인 문제에 대해 상수 요인 근사 알고리즘이 존재하는가?
• RQ3 최소 유한 체인 문제의 최적 근사 비율은 d번째 베티 수 βd에 대해 어떻게 되는가?
• RQ4 최소 동치 체인 문제의 복잡도는 (d+1)-다양체에서 최소 유한 체인 문제와 어떻게 비교되는가?
• RQ5 d-체인에 대해 최소 동치 체인 문제는 (d+1)-다양체에서 O(√log nd+1) 이내로 근사 가능한가?

주요 결과

• 최소 유한 체인 문제는 βd가 복합체의 d번째 베티 수일 때 O(√log βd)-근사 알고리즘을 갖는다.
• 최소 동치 체인 문제는 nd+1가 다양체 내 d-단체의 수일 때 O(√log nd+1)-근사 알고리즘을 갖는다.
• 두 문제 모두 APX-난이도이므로, P = NP가 아닐 경우 다항 시간 근사 스킴이 존재하지 않는다.
• 유일성 게임 추측 하에, 두 문제 모두 어떤 상수 요인으로도 근사가 불가능하다.
• 두 문제에 대한 정확 알고리즘은 최적 해의 크기 k와 d-단체의 수 n_d를 고려해 O(15^k · k · n³_d) 시간 내에 작동한다.
• 최소 유한 체인 문제의 경우, 입력 사이클 C가 R³ \ K의 유한 영역 경계 위에 있을 때조차도 근사가 어렵다는 것이 밝혀져 강력한 비가역성의 증거가 된다.