[논문 리뷰] Long and winding central paths

Xavier Allamigeon, Pascal Benchimol외 2명|arXiv (Cornell University)|2014. 05. 16.

Polynomial and algebraic computation참고 문헌 44인용 수 7

한 줄 요약

이 논문은 $3r+4$ 개의 제약 조건을 가진 $2r+2$ 차원 선형 계획 문제의 가족을 구성함으로써 연속적 Hirsch 추측의 연속적 해석을 반증한다. 이 경우 중심 경로의 총 곡률은 $\Omega(2^r)$에 해당한다. 저자들은 트로픽 기하학을 활용하여 고전적 중심 경로의 로그 극한을 분석하여, 트로픽 중심 경로가 핵심 기하적 특성을 반영하고 지수적 곡률을 보일 수 있음을 보이며, 심플렉스 방법의 최악의 경우 행동을 그대로 반영한다.

ABSTRACT

We disprove a continuous analogue of the Hirsch conjecture proposed by Deza, Terlaky and Zinchenko, by constructing a family of linear programs with $3r+4$ inequalities in dimension $2r+2$ where the central path has a total curvature in $\\Omega(2^r)$. Our method is to tropicalize the central path in linear programming. The tropical central path is the piecewise-linear limit of the central paths of parameterized families of classical linear programs viewed through logarithmic glasses. The lower bound for the classical curvature is obtained by developing a combinatorial concept of a tropical angle.

연구 동기 및 목표

• 연속적 Hirsch 추측을 반증하기 위해, 선형 계획 문제의 중심 경로 총 곡률이 제약 조건 수에 대해 선형적으로 유계leness을 가진다는 가정을 뒤집는 것.
• 로그 스케일링 하에서 고전적 중심 경로의 극한을 이용해 선형 계획 문제의 중심 경로를 분석하기 위한 트로픽 기하학적 프레임워크를 개발하는 것.
• 가용 영역의 반반 평면 표현에 독립적인 트로픽 중심 경로를 확보하고, 트로픽 바리센터를 통해 그 특성을 기술하는 것.
• 트로픽 중심 경로가 트로픽 심플렉스 방법의 경로와 일치하는 경향을 보이며, 최악의 경우 지수적 행동을 나타낼 수 있음을 보여주는 것.
• 트로픽 극한과 조합적 트로픽 각도를 통해 고전적 중심 경로의 곡률에 대한 구축적 하한을 제공하는 것.

제안 방법

• 저자들은 실수 값 함수의 점근적 동류 집합인 하디 체계 $\mathbb{K}$ 를 사용하여 비아르키메데스 체 위에서 선형 계획 문제를 정의함으로써, $t \to \infty$ 로 수렴하는 연속적인 실수 선형 계획 문제의 가족을 구성한다.
• 중심 경로에 대해 평가 함수 $\operatorname{val}(f) = \lim_{t \to \infty} \log_t |f(t)|$ 를 적용하여, 고전적 중심 경로의 로그 극한으로서 트로픽 중심 경로를 도출한다.
• 트로픽 중심 경로는 목적 함수에 의해 유도된 타입의 부분수준 집합과의 교차를 포함한 가용 영역의 트로픽 바리센터로 기하학적으로 기술된다.
• 트로픽 중심 경로의 방향 전환 각도를 수량화하기 위해 조합적 개념인 '트로픽 각도'를 개발하여 곡률 추정에 활용한다.
• 구성은 $3r+4$ 개의 부등식과 $2r+2$ 개의 변수를 가진 선형 계획 문제의 가족 $\mathbf{LP}_r(t)$ 를 사용하며, 이 경우 트로픽 중심 경로가 이산적인 점들에서 번갈아가며 최댓값을 보이도록 설계된다.
• 고전적 중심 경로가 트로픽 중심 경로로 수렴하는 균일 수렴성을 확립하고, 제약 행렬의 구조로부터 오차 한계를 도출한다.

실험 결과

연구 질문

• RQ1 연속적 Hirsch 추측 — 즉 중심 경로 곡률이 제약 조건 수에 대해 선형적으로 유계임을 주장하는 것 — 을 반증할 수 있는가?
• RQ2 트로픽 기하학은 선형 계획 문제에서 고전적 중심 경로의 점근적 행동을 어느 정도 반영하는가?
• RQ3 가용 영역의 반반 평면 표현에 독립적인 트로픽 중심 경로를 특성화할 수 있는가?
• RQ4 트로픽 중심 경로는 심플렉스 방법과 유사한 최악의 경우 행동을 보이는가?
• RQ5 고전적 중심 경로의 총 곡률을 하한으로 평가하기 위해 트로픽 극한과 함께 필요한 조합적 및 기하학적 도구는 무엇인가?

주요 결과

• 구성된 가족 $\mathbf{LP}_r(t)$ 에 대해 중심 경로의 총 곡률은 $\Omega(2^r)$ 에 속하며, 이는 연속적 Hirsch 추측을 반증한다.
• 트로픽 중심 경로의 총 곡률은 최소 $(2^{r-1} - 1)\frac{\pi}{2}$ 이며, $2^{r-1}$ 개의 이산적 점들에서 정확히 $\frac{\pi}{2}$ 의 전환 각도를 가진다.
• 트로픽 중심 경로는 가용 영역과 타입의 부분수준 집합의 교차에 대한 트로픽 바리센터이며, 다면체의 외부 표현에 독립적이다.
• 트로픽 중심 경로는 트로픽 심플렉스 방법의 경로와 일치하는 경향을 보이며, 잠재적으로 지수적 최악의 경우 행동을 나타낸다.
• 크기 $2^{\Omega(r^2 2^r)}$ 의 $t$ 에 대해 고전적 중심 경로는 $\Omega(2^r)$ 의 곡률을 달성하며, 이는 하한이 고전적 설정에서 실현 가능하다는 것을 확인한다.
• 이중 중심 경로 역시 수정된 선형 계획 문제에서 최소 $(2^r - 1)\frac{\pi}{2}$ 의 곡률을 보이며, 결과가 이중 경로로 확장됨을 보여준다.