[논문 리뷰] A Spectral Approach to Polytope Diameter

Hariharan Narayanan, Rikhav Shah외 1명|arXiv (Cornell University)|2021. 01. 28.

Point processes and geometric inequalities인용 수 1

한 줄 요약

이 논문은 슬랙 변수에서 다면체 부피의 로그-볼록성에 기반하여 슈뢰딩거 연산자와 마코프 체인의 고유값을 사용하여 다면체의 지름을 경계짓는 스펙트럼적 접근을 제안한다. 정수 제약 조건과 부분행렬식에 대한 개선된 최악의 경우 경계를 도출하고, 가우시안 노이즈 하에서 다항식 지름을 가진 '거대한 성분'이 존재할 확률이 높다는 스무딩 분석 결과를 제시한다. 이는 정점 샘플링에 평균 곡률 측도를 사용하여 도출된다.

ABSTRACT

We prove upper bounds on the graph diameters of polytopes in two settings. The first is a worst-case bound for integer polytopes in terms of the length of the description of the polytope (in bits) and the minimum angle between facets of its polar. The second is a smoothed analysis bound: given an appropriately normalized polytope, we add small Gaussian noise to each constraint. We consider a natural geometric measure on the vertices of the perturbed polytope (corresponding to the mean curvature measure of its polar) and show that with high probability there exists a "giant component" of vertices, with measure 1-o(1) and polynomial diameter. Both bounds rely on spectral gaps - of a certain Schrödinger operator in the first case, and a certain continuous time Markov chain in the second - which arise from the log-concavity of the volume of a simple polytope in terms of its slack variables.

연구 동기 및 목표

• 정수 제약 조건과 랜덤 편향 하에서 다면체 지름을 경계짓는 다항식 히어스 추측을 해결하기 위해.
• 이전의 조합적 확장 기법의 한계를 극복하기 위해 체비셰프 다항식을 통한 스펙트럼 확장 기법을 도입하기 위해.
• 스무딩 분석 결과로서, 높은 확률로 평균 곡률 측도 하에서 대부분의 정점(‘거대한 성분’)이 다항식 지름을 가지며 연결되어 있음을 보여주기 위해.
• 볼록 기하학, 브룬-민코프스키 이론, 그리고 랜덤 행렬 이론으로부터 기하학적, 스펙트럼적, 확률적 기법을 통합하기 위해.

제안 방법

• 다면체의 그래프와 슬랙 변수로부터 유도된 슈뢰딩거 연산자의 스펙트럼 간격을 사용한다.
• 간단한 다면체의 부피가 슬랙 변수에 대해 로그-볼록임을 이용하여 스펙트럼 간격을 도출한다.
• 정점에서의 연속 시간 마코프 체인을 도입하여 랜덤 워크를 모델링하고 혼합 행동을 분석한다.
• 스무딩 분석에서 '대부분의 정점'을 정의하기 위해 쌍대 다면체에 대한 기하 측도(평균 곡률 측도)를 도입한다.
• 제약 조건에 i.i.d. 가우시안 노이즈를 도입하여 잘 둥글게 된 상태와 반대집중성을 보장하기 위해 편향 이론을 적용한다.
• 집중 불등식과 기하 확률(예: 구와의 교차 확률)을 사용하여 정점 연결성을 경계한다.

실험 결과

연구 질문

• RQ1 조합적 확장 기법에 비해 스펙트럼 기법이 정수 제약 조건이 있는 다면체의 최악의 경우 지름 경계를 어떻게 향상시킬 수 있는가?
• RQ2 랜덤 다면체의 스무딩 분석에서 자연스러운 기하 측도 하에서 작은 지름을 가진 '거대한 성분'이 존재하는가?
• RQ3 부분행렬식과 제약 조건의 비트 복잡도는 유계 다면체의 지름에 어떤 영향을 미치는가?
• RQ4 스펙트럼 간격(스펙트럼 연산자에 의한 그래프 라플라스 연산자)을 사용하여 더 날카로운 지름 경계를 유도할 수 있는가?
• RQ5 슬랙 변수에서의 부피의 로그-볼록성이 스펙트럼 기반 지름 분석을 가능하게 하는 데 어떤 역할을 하는가?

주요 결과

• 논문은 정수 제약 조건이 있는 다면체에 대해 O(d²∆∥A∥∞ log(m∥A∥∞∥b∥∞∆)) 의 최악의 경우 지름 경계를 증명하며, 부분행렬식 의존성 측면에서 이전 결과를 향상시킨다.
• 이 경계는 비구성적이지만, 스펙트럼 기법과 체비셰프 다항식을 통해 조합적 방법에 비해 '제곱근 개선'을 달성한다.
• 스무딩 분석에서, χ₂(G) ≥ (1−ψ)χ₂(Ω) 를 만족하는 정점의 부분집합 G 가 높은 확률로 존재하며, 이들의 지름은 O(poly(m,d)/(σ⁴ψ)) 이다. 이는 다항식 지름을 가진 거대한 성분을 의미한다.
• 결과는 제약 조건이 i.i.d. 가우시안으로 편향되는 스무딩 단위 선형계획법 모델 하에서 성립하며, χ₂ 는 쌍대 다면체에서의 평균 곡률 측도에 대응한다.
• 분석은 브룬-민코프스키 이론에서 유래한 스펙트럼 간격, 특히 호지-라만 관계를 통해 정점 워크의 빠른 혼합을 보장한다.
• 핵심 기술적 단계로, 편향된 다면체가 높은 확률로 반지름 Ω(σm⁻⁵) 의 구를 포함함을 보여주며, 이는 스무딩 분석의 잘 둥글게 된 상태를 보장한다.