[논문 리뷰] The Kadison-Singer Problem for Strongly Rayleigh Measures and Applications to Asymmetric TSP

Nima Anari, Shayan Oveis Gharan|arXiv (Cornell University)|2014. 12. 03.

Stochastic processes and financial applications참고 문헌 13인용 수 17

한 줄 요약

이 논문은 마르쿠스-스피르만-스리바스타 바 풀이를 강한 레이블리안 측도로 확장하여, 유계 노름과 작은 마진 확률을 가진 등방향 벡터에 대해, 이차 형식 합의 스펙트럴 노름이 작은 부분집합이 존재함을 증명한다. 핵심 결과는 $4(\epsilon_1 + \epsilon_2) + 2(\epsilon_1 + \epsilon_2)^2$의 스펙트럴 경계를 확립하여, 비대칭 TSP 선형계획법 타협도에 대한 개선된 상계를 가능하게 한다.

ABSTRACT

Marcus, Spielman, and Srivastava in their seminal work \cite{MSS13} resolved the Kadison-Singer conjecture by proving that for any set of finitely supported independently distributed random vectors $v_1,\dots, v_n$ which have "small" expected squared norm and are in isotropic position (in expectation), there is a positive probability that the sum $\sum v_i v_i^\intercal$ has small spectral norm. Their proof crucially employs real stability of polynomials which is the natural generalization of real-rootedness to multivariate polynomials. Strongly Rayleigh distributions are families of probability distributions whose generating polynomials are real stable \cite{BBL09}. As independent distributions are just special cases of strongly Rayleigh measures, it is a natural question to see if the main theorem of \cite{MSS13} can be extended to families of vectors assigned to the elements of a strongly Rayleigh distribution. In this paper we answer this question affirmatively; we show that for any homogeneous strongly Rayleigh distribution where the marginal probabilities are upper bounded by $ε_1$ and any isotropic set of vectors assigned to the underlying elements whose norms are at most $\sqrt{ε_2}$, there is a set in the support of the distribution such that the spectral norm of the sum of the natural quadratic forms of the vectors assigned to the elements of the set is at most $O(ε_1+ε_2)$. We employ our theorem to provide a sufficient condition for the existence of spectrally thin trees. This, together with a recent work of the authors \cite{AO14}, provides an improved upper bound on the integrality gap of the natural LP relaxation of the Asymmetric Traveling Salesman Problem.

연구 동기 및 목표

• 카디슨-싱어 문제에 대한 마르쿠스-스피르만-스리바스타 정리의 독립적 분포에서 강한 레이블리안 분포로의 일반화를 목적으로 한다.
• 작은 마진 확률과 유계 벡터 노름을 가진 동차 강한 레이블리안 분포의 원소에 할당된 벡터의 이차 형식 합에 대한 스펙트럴 노름 경계를 확립한다.
• 주요 정리를 이용해 스펙트럴 두께가 얇은 트리의 존재성을 증명함으로써, 비대칭 TSP 선형계획법 타협도의 상한을 향상시킨다.
• 비알고리즘적이지만 존재 기반의 결과를 제공함으로써, 향후 비대칭 TSP에 대한 알고리즘적 발전의 길을 열어 놓는다.

제안 방법

• 실안정 다항식 이론과 혼합 특성 다항식을 활용하여 강한 레이블리안 측도 하에서 벡터 합의 이차 형식 스펙트럴 노름을 분석한다.
• 분포 $\mu$와 벡터 $v_1, \dots, v_m$과 관련된 혼합 특성 다항식의 개념을 사용하여 가장 큰 근을 경계함으로써, 이는 합의 스펙트럴 노름에 해당한다.
• 변수 증분 하에서 다항식 근의 진동을 제어하기 위해 다변수 장벽 방법을 적용하여 가장 큰 근이 유계로 유지되도록 보장한다.
• 벡터 분할 문제를 제품 측도 설정으로 줄이기 위해 리프팅 기법을 활용하여, 주요 정리를 r-분할 문제에 적용할 수 있도록 한다.
• 상호 끼워진 가족 프레임워크를 이용하여 $\mu$의 지지 집합 내 적어도 하나의 집합이 원하는 스펙트럴 경계를 달성함을 보여준다.
• 스펙트럴 노름을 $\epsilon_1 + \epsilon_2$를 통해 제어하기 위해 마진 확률과 벡터 노름에 대한 경계를 유도하며, 여기서 $\epsilon_1$은 최대 마진 확률, $\epsilon_2$는 최대 벡터 노름의 제곱이다.

실험 결과

연구 질문

• RQ1 독립적 인 벡터에 대한 마르쿠스-스피르만-스리바스타 스펙트럴 노름 경계를 강한 레이블리안 측도 하의 음의 상관관계가 있는 벡터로 확장할 수 있는가?
• RQ2 작은 마진 확률과 유계 노름을 가진 강한 레이블리안 분포의 원소에 할당된 벡터에 대해, 이차 형식 합의 스펙트럴 노름 경계는 무엇인가?
• RQ3 이 확장된 경계를 이용해 그래프에서 스펙트럴 두께가 얇은 트리의 존재성을 증명할 수 있으며, 이는 비대칭 TSP의 타협도 상한을 향상시킬 수 있는가?
• RQ4 다변수 장벽 방법은 비독립적 분포 하에서 근의 진동을 효과적으로 제어할 수 있으며, 향후 알고리즘 보장 확보를 위해 개선 가능할까?

주요 결과

• 논문은 임의의 동차 강한 레이블리안 분포에 대해, 마진 확률이 $\epsilon_1$ 이하이고 등방향 벡터의 노름 제곱 $\|v_i\|^2 \leq \epsilon_2$일 경우, 지지 집합 내에 집합 $S$가 존재하여 $\left\|\sum_{i \in S} v_i v_i^\top\right\| \leq 4(\epsilon_1 + \epsilon_2) + 2(\epsilon_1 + \epsilon_2)^2$임을 증명한다.
• 이 결과는 원래의 마르쿠스-스피르만-스리바스타 정리의 독립 분포에만 적용되던 것을 강한 레이블리안 측도의 더 넓은 클래스로 일반화하며, 결정식 측도 및 스패닝 트리 측도를 포함한다.
• 이 경계는 특정 조건 하에서 스펙트럴 두께가 얇은 트리의 존재성을 증명하는 데 응용되며, 이는 이전 연구와 결합하여 비대칭 TSP 선형계획법 타협도의 개선된 상한을 이끌어낸다.
• 논문은 비알고리즘적 존재 결과를 확립한다: 증명은 다항식 시간 알고리즘을 제공하지 않지만, 향후 비대칭 TSP에 대한 알고리즘적 발전을 위한 이론적 기반을 제공한다.
• 이 방법은 $r \geq 5$에 대해 위저의 KSr 추측을 증명함으로써 검증되었으며, 등방향 벡터 집합에 대해 $\|v_i\|^2 \leq \epsilon$일 경우, 각 부분이 스펙트럴 노름 최대 $4(1/r + \epsilon) + 2(1/r + \epsilon)^2$를 갖는 $r$-분할이 존재함을 보였다.
• 분석은 혼합 특성 다항식에 적용된 새로운 다변수 장벽 방법에 의존하며, 미분과 변수 증분 하에서 근의 진동을 철저히 제어한다.