[논문 리뷰] On the unbalanced cut problem and the generalized Sherrington-Kirkpatrick model

Aukosh Jagannath, Subhabrata Sen|arXiv (Cornell University)|2017. 07. 27.

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

한 줄 요약

이 논문은 희박한 Erdős-Rényi 무작위 그래프에서의 비균형 컷 문제에 대해 엄격한 점근적 부등식을 확립하여, 같은 평균 차수를 가진 무작위 정규 그래프보다 최대 컷 값이 엄격히 더 크다는 것을 보여준다. 이 차이는 $ \alpha < 1/2 $ 일 때 $ C(\alpha)\sqrt{d}N $ 의 비율로 척도가 조절된다. 이 결과는 일반화된 $ p $-스핀 거품 모델의 기저 상태 에너지의 변분 표현을 통해 도출되었으며, 감마 수렴과 보간 기법을 통해 조합 최적화와 통계역학을 연결한다.

ABSTRACT

We establish a strict asymptotic inequality between a class of graph partition problems on the sparse End\H{o]s-Rényi and random regular graph ensembles with the same average degree. Along the way, we establish a variational representation for the ground state energy for generalized mixed $p$-spin glasses and derive strict comparison inequalities for such models as the alphabet changes.

연구 동기 및 목표

• 희박한 Erdős-Rényi 그래프와 무작위 정규 그래프라는 두 가지 기준이 되는 무작위 그래프 집합 간의 비균형 컷 문제의 점근적 행동을 비교하는 것.
• 대수차수의 한계에서 이러한 집합 간의 최대 $ \alpha $-컷 간의 차이에 대해 엄격한 양의 하한을 확립하는 것.
• 조합 최적화 문제와 일반화된 Sherrington-Kirkpatrick 스플린 거품 모델의 기저 상태 에너지 간의 관계를 체계화하는 것.
• 시스템 알파벳이 변화할 때 일반화된 $ p $-스핀 거품 해밀토니안에 대한 변분 표현과 비교 부등식을 도출하는 것.
• 통계역학 및 확률적 분석 도구를 활용하여 그래프 컷 문제의 평균장 근사에 대한 엄밀한 기반을 마련하는 것.

제안 방법

• 다른 그래프 집합에서의 $ p $-스핀 거품 모델의 기저 상태 에너지를 비교하기 위해 보간 해밀토니안 프레임워크를 활용한다.
• 가우시안 적분 부분적 통합을 적용하여 자유 에너지에 대한 미분 부등식을 유도하고, 보간 매개변수 $ t \in [0,1] $ 에서의 단조성(증가 또는 감소)을 보여준다.
• 자기화 구간을 통한 정규화된 최대 에너지의 초수렴성(초수렴성)을 증명하기 위해 초수렴성의 성질을 활용한다.
• 커버링 추론과 가우시안 과정의 모멘트 유계를 통해 한계 자유 에너지 함수의 연속성과 볼록성(볼록성)을 확립한다.
• 감마 수렴과 변분 표현을 활용하여 그래프 컷 문제를 일반화된 $ p $-스핀 거품의 기저 상태 에너지와 연결한다.
• $ \eta \to 0 $ 의 극한 절차를 적용하여 한계 자유 에너지 $ G(a) $ 를 정의하며, 이는 $ [-1,1] $ 에서 연속적이고 볼록함수이다.

실험 결과

연구 질문

• RQ1 희박한 Erdős-Rényi 그래프에서의 최대 $ \alpha $-컷이 $ \alpha < 1/2 $ 일 때 무작위 정규 그래프의 것보다 초과하는가? 그리고 그 정도는 어느 정도인가?
• RQ2 비균형 컷 문제를 일반화된 $ p $-스핀 거품 모델의 기저 상태 에너지와 엄밀하게 연결할 수 있는가?
• RQ3 평균 차수 $ d \to \infty $ 일 때, Erdős-Rényi 그래프와 무작위 정규 그래프 간의 최대 컷 값의 점근적 행동은 어떻게 되는가?
• RQ4 두 집합 간의 최대 컷 값의 정규화된 차이에 대해 엄격한 양의 하한이 존재하는가?
• RQ5 시스템의 알파벳 또는 구성 공간이 변화할 때 일반화된 $ p $-스핀 거품 모델에 대해 변분 표현과 비교 부등식을 도출할 수 있는가?

주요 결과

• 모든 $ 0 < \alpha < 1/2 $ 에 대해 상수 $ C(\alpha) > 0 $ 가 존재하여, Erdős-Rényi 그래프와 무작위 정규 그래프 간의 최대 $ \alpha $-컷 간의 차이에 대해 엄격한 하한이 성립한다: \\n[ \varliminf_{d\to\infty}\varliminf_{N\to\infty}\frac{{\sf MCUT}_{\alpha}(G(N,\frac{d}{N})) - {\sf MCUT}_{\alpha}(G^{\rm Reg}(N,d))}{\sqrt{d}N} \geq C(\alpha) ] \\n거의 확실하게 성립한다.
• 대수차수의 한계에서 컷 값의 차이는 엄격히 양수이며, 이는 무작위 정규 그래프의 강성 때문에 비균형 컷 문제에서 최적 성능을 달성하지 못함을 시사한다.
• 일반화된 Sherrington-Kirkpatrick 모델의 기저 상태 에너지는 체계적인 비교 부등식을 허용하는 변분 표현을 갖는다. 이는 시스템의 알파벳이나 구성 공간이 변화할 때도 성립한다.
• 자기화 구간을 통한 정규화된 최대 에너지로 표현되는 한계 자유 에너지 함수 $ G(a) $ 는 $ [-1,1] $ 에서 연속적이고 볼록함수이며, $ \eta \to 0 $ 일 때 잘 정의된 점별 극한을 갖는다.
• 이 방법은 날카운 상수 $ C(\alpha) $ 에 대한 자연스러운 추측을 제공하며, 이는 특정 기능적 $ \mathcal{P}_{T} $ 의 최소화자와 관련이 있을 것으로 예상되나, 본 논문은 이것이 정확한 값임을 주장하지 않는다.
• 최소 $ \alpha $-컷 문제의 경우 이 결과는 반전되며, 동일한 기반 변분 구조에 따라 부등식 방향이 뒤집힌다.