[논문 리뷰] Cuts in Cartesian Products of Graphs

Sushant Sachdeva, Madhur Tulsiani|arXiv (Cornell University)|2011. 05. 17.

Graph theory and applications참고 문헌 15인용 수 7

한 줄 요약

이 논문은 초입방체에서 부울 함수 분석의 기본 결과—특히 KKL 및 Friedgut 준타 정리—를 임의의 그래프의 카티esian 곱으로 일반화한다. $G^{\square k}$의 맥락에서 영향도와 분산 측도를 도입하여, 기본 그래프 $G$의 로그 소볼레프 상수 $\alpha$가 영향도 및 준타 근사의 강도를 제어함을 증명한다. 스펙트럼 및 함수 해석 기법을 사용하여 고전적 결과를 초입방체 설정을 넘어서 확장한다.

ABSTRACT

The k-fold Cartesian product of a graph G is defined as a graph on k-tuples of vertices, where two tuples are connected if they form an edge in one of the positions and are equal in the rest. Starting with G as a single edge gives G^k as a k-dimensional hypercube. We study the distributions of edges crossed by a cut in G^k across the copies of G in different positions. This is a generalization of the notion of influences for cuts on the hypercube. We show the analogues of results of Kahn, Kalai, and Linial (KKL Theorem [KahnKL88]) and that of Friedgut (Friedgut's Junta theorem [Friedgut98]), for the setting of Cartesian products of arbitrary graphs. Our proofs extend the arguments of Rossignol [Rossignol06] and of Falik and Samorodnitsky [FalikS07], to the case of arbitrary Cartesian products. We also extend the work on studying isoperimetric constants for these graphs [HoudreT96, ChungT98] to the value of semidefinite relaxations for edge-expansion. We connect the optimal values of the relaxations for computing expansion, given by various semidefinite hierarchies, for G and G^k.

연구 동기 및 목표

• 초입방체에서 KKL 정리와 Friedgut의 준타 정리를 임의의 그래프의 카티esian 곱으로 확장하기.
• 영향도, 분산, 간선 확장성의 개념을 $G^{\square k}$의 맥락에서 정의하고 분석하여 초입방체의 개념을 일반화하기.
• $G^{\square k}$에서 등면적 상수, 준정적 프로그래밍 근사, 확장성 간의 연결 고리 설정하기.
• 특히 $G^{\square k}$에서 로그-소볼레프 상수와 고유값의 행동을 특성화하기.

제안 방법

• 좌표 $j$에 따른 영향도를 $\mathbf{L}_j f$의 제약을 받는 라플라스 연산자 $\mathbf{L}_j$를 사용해 $\langle f, \mathbf{L}_j f \rangle$로 정의한다.
• 기본 그래프 $G$의 로그-소볼레프 상수 $\alpha$를 영향도 강도를 정량화하는 핵심 등면적 매개변수로 사용한다.
• Rossignol과 Falik–Samorodnitsky의 접근을 일반 그래프로 확장하여 일반화된 KKL 및 Friedgut 정리를 증명한다.
• 기본 그래프 $G$의 로그-소볼레프 상수와 $G^{\square k}$의 로그-소볼레프 상수 간의 관계를 분석하여, $\alpha/k$ 비율으로 스케일링됨을 보인다.
• 특히 Sherali-Adams 및 Lasserre 계열과 같은 계층적 구조에서, $G$와 $G^{\square k}$에서의 간선 확장성에 대한 준정적 프로그래밍 근사 간의 연결 고리 설정하기.
• 스펙트럼 분해 및 $G^{\square k}$의 고유함수 성질을 이용하여 영향도 및 분산에 대한 경계 유도하기.

실험 결과

연구 질문

• RQ1 로그-소볼레프 상수를 매개변수로 사용하여 KKL 정리를 초입방체에서 임의의 그래프의 카티esian 곱으로 일반화할 수 있는가?
• RQ2 Friedgut의 준타 정리는 $G^{\square k}$로 확장되는가? 이 경우 영향을 받는 좌표의 수는 $\mathbb{I}/\alpha$에 따라 달라지는가?
• RQ3 등면적 상수, 예를 들어 도전도와 로그-소볼레프 상수는 카티esian 곱에서 어떻게 행동하는가?
• RQ4 $G$와 $G^{\square k}$에서의 간선 확장성에 대한 준정적 프로그래밍 근사 간의 관계는 어떠한가?
• RQ5 $G^{\square k}$의 고유값과 고유함수는 $G$의 고유값과 고유함수와 어떻게 관련되는가?

주요 결과

• 일반화된 KKL 정리는 임의의 $f: V(G^{\square k}) \to \{-1,1\}$이 분산 $v$를 가질 경우, 어떤 좌표도 영향도 $\Omega(\alpha v \log k / k)$ 이상을 가지며, 여기서 $\alpha$는 그래프 $G$의 로그-소볼레프 상수이다.
• 일반화된 Friedgut 정리는 총 영향도 $\mathbb{I}$를 가진 모든 함수가 $\exp(O(\mathbb{I}/\alpha \varepsilon))$개의 좌표에 의존하는 함수로 $\varepsilon$-근사가 가능하다고 보여준다.
• $G^{\square k}$의 로그-소볼레프 상수는 $\alpha/k$이며, 여기서 $\alpha$는 $G$의 로그-소볼레프 상수이다. 이는 기능적 부등식에 대한 스케일링 법칙을 확립한다.
• $G^{\square k}$의 도전도 $\Phi(G^{\square k})$는 $\Phi(G)/k$ 이상임을 만족하며, 이는 제품 간 확장성 특성 간의 연결 고리를 제공한다.
• $G^{\square k}$에서의 간선 확장성에 대한 준정적 프로그래밍 근사는 $G$의 것과 관련이 있으며, Lasserre 및 Sherali-Adams 계열의 최적 값은 구조적 관계를 유지한다.
• $G^{\square k}$의 고유값은 $G$의 고유값의 합이며, 고유함수는 텐서 tích이므로, 영향도 및 분산의 스펙트럼 분석이 가능하다.