강력한 SDP 계층의 다밀도 k 서브그래프에 대한 다항 적분성 격차

초록

**
이 논문은 Densest k‑Subgraph 문제에 대해 Sherali‑Adams와 Lasserre SDP 계층을 적용했을 때 발생하는 다항 수준의 적분성 격차를 증명한다. 특히, 로그 수준의 Sherali‑Adams 라운드에서는 Ω(n¹⁄⁴/log³ n) 의 격차가, 다항 라운드의 Lasserre 계층에서는 n^{2/53‑ε} 에 이르는 격차가 존재함을 보이며, 이러한 인스턴스는 Erdos‑Renyi 무작위 그래프에서 거의 확률적으로 발생한다는 점을 강조한다.

**

상세 분석

**
본 연구는 Densest k‑Subgraph(DkS) 문제의 근본적인 난이도를 SDP 계층 관점에서 조명한다. 먼저 저자들은 Sherali‑Adams(LP) 계층을 L ≤ (log n)/(10 log log n) 수준까지 적용했을 때, 적분성 격차가 Ω( n^{1/4} / L · log² n ) 로 하한을 가진다는 정리를 증명한다. 핵심 아이디어는 평균 차수가 Θ(√n / log n) 인 Erdos‑Renyi G(n,p) 그래프를 선택하고, k = √n 으로 설정한 뒤, 실제 최적 해의 밀도가 O(log² n) 수준에 머무는 반면, SA 라운드에서 구성 가능한 가상의 해는 각 정점에 대해 x_i ≈ n^{-1/2} 로 시작해, 집합 S에 대해 x_S = n^{-1/4·(st(S)+1)}·L^{-|S|} 와 같은 형태로 정의한다. 여기서 st(S) 는 S의 최소 스티어너 트리 크기이며, 이는 라운드 수가 증가함에 따라 “스팀프” 효과를 제공한다. 이러한 구성은 SA 제약식 (1)–(3)을 모두 만족하면서도 목표 밀도 d ≈ n^{1/4}/L 를 달성한다.

다음으로 Lasserre 계층에 대한 분석을 전개한다. 저자들은 두 단계로 나누어 격차를 만든다. (i) n^{Ω(ε)} 라운드(즉, 다항 라운드)에서는 Max‑CSP(대규모 도메인) 인스턴스를 무작위로 생성하고, 이를 DkS 문제로 감소시켜 n^{2/53‑ε} 수준의 적분성 격차를 얻는다. (ii) 거의 전체 라운드인 n^{1‑ε} 수준에서는 동일한 무작위 인스턴스를 이용해 n^{Ω(1)} 의 격차를 만든다. 핵심은 Lasserre 변수 U_S 를 각 정점 집합 S에 대해 정의하고, 스티어너 트리 길이에 비례하는 스케일링을 적용함으로써 제약식 (4) 를 만족시키면서도 실제 최적 해는 매우 낮은 밀도만을 가질 수 있다는 점이다.

특히, 이 논문은 기존에 알려진 NP‑hardness 기반의 적분성 격차와 달리, DkS 문제에 대해 현재 알려진 어떠한 하드니스 결과보다도 강력한 격차를 보여준다. 이는 “자연스러운” 무작위 그래프가 이미 Lasserre와 Sherali‑Adams 계층에서 큰 격차를 발생시킨다는 의미이며, 현재의 SDP‑기반 알고리즘이 n^{1/4}‑approximation 한계를 넘지 못하는 근본적인 이유를 설명한다. 또한, Small Set Expansion이나 Unique Games와 비교했을 때 DkS 가 다항 라운드 Lasserre에서도 더 어려운 문제임을 시사한다.

결과적으로, 이 연구는 (1) Sherali‑Adams 라운드가 로그 수준을 넘어가도 Ω(n^{1/4}) 격차가 남는다, (2) Lasserre 라운드가 거의 전체 수준에 이르러도 n^{Ω(1)} 격차가 존재한다는 두 가지 강력한 하한을 제공한다. 이는 현재 알려진 가장 강력한 SDP 계층조차 DkS 문제에 대해 다항 근사비를 달성하지 못함을 증명함으로써, 향후 알고리즘 설계가 완전히 새로운 아이디어를 필요로 함을 암시한다.

**