SOS와 역하이퍼컨트랙티브 부등식으로 보는 프랭클‑로드 그래프의 독립집합 한계

초록

본 논문은 SOS(합의 제곱) 증명 체계 안에서 역하이퍼컨트랙티브 부등식을 정식화하고 증명한다. 이를 이용해 임의의 상수 0 < γ ≤ 1/4에 대해 차수 4⌈1/(4γ)⌉ 의 SOS/라세르 SDP 계층이 프랭클‑로드 그래프 FRⁿ_γ의 최대 독립집합 크기가 o(1)임을 인증함을 보인다. 특히 γ=1/4인 경우 차수 4 SOS만으로도 색수 χ(FRⁿ_{1/4})가 무한히 커짐을 증명한다. 또한 짝수 q에 대해 일반화된 (2,q)‑하이퍼컨트랙티브 부등식의 SOS 증명을 제공한다.

상세 분석

이 논문은 두 가지 핵심 기여를 제시한다. 첫 번째는 역하이퍼컨트랙티브 부등식을 SOS 증명 체계에 맞게 재구성한 것이다. 기존의 역하이퍼컨트랙티브 부등식은 확률론적 방법이나 Fourier 분석을 통해 증명되었지만, SOS 체계는 다항식의 비음성(positivity)을 합의 제곱 형태로 표현해야 한다는 제약이 있다. 저자들은 다항식의 차수를 적절히 조절하고, 마진을 보존하면서도 차수 4 이상의 SOS 증명을 구성함으로써, 모든 짝수 q에 대해 (2,q)‑하이퍼컨트랙티브 부등식의 강력한 버전을 얻었다. 이 과정에서 중요한 기술은 “가중치 변환”과 “다항식 평균화” 기법을 결합해, 기존 부등식의 상수 계수를 SOS 형태로 변환하는 것이었다.

두 번째 기여는 이러한 역하이퍼컨트랙티브 부등식을 프랭클‑로드 그래프 FRⁿ_γ에 적용해, SOS/Lasserre 계층이 독립집합의 상한을 효율적으로 인증한다는 점이다. FRⁿ_γ는 정점이 n차원 이진 하이퍼큐브이며, 두 정점 사이의 해밍 거리 Δ(x,y) 가 (1‑γ)n 인 경우에만 연결되는 그래프이다. 기존 SDP는 γ=1/4일 때 색수 χ 를 3보다 크게 보장하지 못했지만, 저자들은 차수 4 SOS가 “χ(FRⁿ_{1/4}) = ω(1)” 즉, 색수가 무한히 커짐을 증명한다는 놀라운 결과를 얻었다. 이는 SOS가 고차원 다항식 제약을 활용해, 전통적인 SDP가 놓치는 구조적 정보를 포착한다는 것을 의미한다. 또한 γ에 따라 차수 4⌈1/(4γ)⌉ 의 SOS가 “최대 독립집합의 크기가 o(1)”임을 보이므로, γ가 작아질수록 더 낮은 차수의 SOS만으로도 강력한 독립집합 상한을 얻을 수 있다.

기술적으로는 프랭클‑로드 그래프의 인접 행렬을 라플라시안 형태로 표현하고, 그 스펙트럼을 역하이퍼컨트랙티브 부등식과 연결시켜 SOS 다항식의 기대값을 제한한다. 특히, 차수 4 SOS는 “4‑승 모멘트”를 이용해 그래프의 평균 해밍 거리와 변동성을 동시에 제어한다. 이때 사용된 “가우시안 대칭화”와 “다항식 압축” 기법은 Lasserre 계층의 일반적인 구조와 잘 맞아, 차수 d 의 SOS가 차수 2d 의 전통적인 SDP와 동등한 힘을 가짐을 보인다.

결과적으로, 이 논문은 SOS가 고전적인 SDP보다 더 강력한 증명 능력을 가질 수 있음을 구체적인 그래프 사례와 함께 입증한다. 또한 역하이퍼컨트랙티브 부등식의 SOS 증명은 다른 조합 최적화 문제, 예를 들어 코딩 이론이나 고차원 확산 과정에도 적용 가능성을 시사한다.