[논문 리뷰] Vertex Isoperimetric Inequalities for a Family of Graphs on Z^k

Ellen Veomett, A. J. Radcliffe|arXiv (Cornell University)|2012. 02. 20.

Graph theory and applications참고 문헌 10인용 수 4

한 줄 요약

이 논문은 ℓ∞-거리 1인 정점 간에 간선이 있는 ℤ^k 위의 그래프에 대해 최적의 정점 이sovolumetric 부등식을 확립하며, 특정 잘 서열화된 순서에서의 초기 세그먼트가 정점 경계를 최소화함을 증명한다. 새로운 압축 및 중심화 기법을 사용하여 이러한 집합의 경계를 계산하고, 최소 경계 집합이 중첩되어 있음을 보이며, 고전적인 이sovolumetric 결과를 이 ℓ∞-기반 그래프 가족으로 확장한다.

ABSTRACT

We consider the family of graphs whose vertex set is Z^k where two vertices are connected by an edge when their l\infty-distance is 1. We prove the optimal vertex isoperimetric inequality for this family of graphs. That is, given a positive integer n, we find a set A \subset Z^k of size n such that the number of vertices who share an edge with some vertex in A is minimized. These sets of minimal boundary are nested, and the proof uses the technique of compression. We also show a method of calculating the vertex boundary for certain subsets in this family of graphs. This calculation and the isoperimetric inequality allow us to indirectly find the sets which minimize the function calculating the boundary.

연구 동기 및 목표

• ℓ∞-거리 1인 정점 간에 간선이 연결된 ℤ^k 위의 그래프에 대해 정점 이sovolumetric 부등식을 확립한다.
• ℤ^k 내 크기가 n인 집합 중에서 정점 경계(접한 정점의 수)를 최소화하는 집합의 구조를 규명한다.
• 이 그래프 가족 내 부분집합의 정점 경계를 계산하는 방법을 개발한다.
• 최소 경계를 달성하는 집합이 중첩되어 있음을 보이며, Harper의 정리 및 Bollobás–Leader 결과에 유사함을 보인다.

제안 방법

• ℤ^1에서 시작하여 ℤ^k에 대해 잘 서열화된 순서 ≺를 귀납적으로 정의한다: 0 ≺ 1 ≺ -1 ≺ 2 ≺ -2 ≺ …
• 경계 크기를 유지하거나 감소시키는 압축의 변형을 사용하고, 최소 경계 집합에 도달하기 위해 '요동 주기(jostling)' 과정을 결합한다.
• 각 좌표를 0 쪽으로 압축하여 경계를 최소화하는 '중심화된' 집합의 개념을 도입한다.
• X ⊂ ℤ^k에 대해 정점 경계를 f(X) = ∑_{I⊆{1,…,k}} 2^{|I|} |P_I(X)|로 표현한다. 여기서 P_I(X)는 X를 I에 속한 좌표로의 사영한다.
• 경계 함수 f(X)가 잘 서열화된 순서 ≺에 따른 초기 세그먼트일 때 최소화됨을 증명한다.
• 귀납법과 모서리 점 분석을 사용하여 점을 추가할 때 경계 증가량을 계산하며, 모서리 점 z에 대해 |∂S| = |∂(S∖{z})| + 3^{|Z_K|}2^{|Z_D|}임을 보인다.

실험 결과

연구 질문

• RQ1 ℤ^k 위의 ℓ∞-그래프에서 크기가 n인 부분집합에 대해 정점 경계의 최소 크기는 얼마인가?
• RQ2 최소 정점 경계를 달성하는 집합은 중첩되어 있는가? 즉, 어떤 잘 서열화된 순서에서의 초기 세그먼트인가?
• RQ3 이 그래프에서 부분집합의 정점 경계는 사영 기반 공식을 사용해 효율적으로 계산할 수 있는가?
• RQ4 고전적인 이sovolumetric 문제에서 사용된 압축 기법이 이 ℓ∞-기반 그래프 가족으로 확장 가능한가?
• RQ5 이 경계 계산 방법은 유사한 대칭성을 갖는 다른 그래프로 일반화할 수 있는가?

주요 결과

• 최적의 정점 이sovolumetric 부등식이 성립한다: 임의의 n에 대해 잘 서열화된 순서 ≺에 따른 크기가 n인 초기 세그먼트가 정점 경계를 최소화한다.
• 최소 경계 집합은 중첩되어 있으며, 크기가 n인 집합이 크기가 n+1인 집합에 포함되어 있음을 의미한다.
• X ⊂ ℤ^k에 대해 정점 경계는 f(X) = ∑_{I⊆{1,…,k}} 2^{|I|} |P_I(X)|로 주어지며, 이는 중심화된 집합에 대해 정확한 계산을 가능하게 한다.
• 끝점이 있는 유한하고 압축된 집합 S와 모서리 점 z에 대해, z를 추가할 때 경계는 3^{|Z_K|}2^{|Z_D|}만큼 증가한다. 여기서 Z_K와 Z_D는 z의 첫 번째 k개 및 마지막 d개 좌표에서의 0 좌표를 의미한다.
• ℤ^k 내 모든 n원소 부분집합에 대해 f(X)의 최솟값은 정확히 ≺에 따른 초기 세그먼트에서 달성되며, 이는 최적성의 증명이다.
• 이 방법은 ℕ^k로 확장되며, 여기서 경계 함수 f(Y) = ∑_{I⊆{1,…,k}} |P_I(Y)|는 유도된 잘 서열화된 순서에 따른 초기 세그먼트에서 최소화된다.