[논문 리뷰] Spectrum Preserving Short Cycle Removal on Regular Graphs

Pedro Paredes|arXiv (Cornell University)|2020. 02. 17.

Graph theory and applications참고 문헌 24인용 수 2

한 줄 요약

이 논문은 정규 그래프에 대해 스펙트럼을 유지하면서 짧은 사이클을 제거하는 기법을 제안한다. 이 기법은 고리 길이(girth)를 증가시키면서도 스펙트럼 경계를 유지한다. 자전거 없는 성질(bicycle-freeness)과 새로운 2-리프트 기반의 비확률적 변환 기법을 활용하여, 고리 길이가 Ω(√log n)이고 고유값이 Ramanujan 경계 2√(d−1)에 ϵ 이내인 명시적이고 결정적인 d-정규 그래프를 구성한다. 이는 다항시간(poly(n) 시간) 내에 높은 확률로 ϵ-근접 Ramanujan 확산 성질을 달성한다.

ABSTRACT

We describe a new method to remove short cycles on regular graphs while maintaining spectral bounds (the nontrivial eigenvalues of the adjacency matrix), as long as the graphs have certain combinatorial properties. These combinatorial properties are related to the number and distance between short cycles and are known to happen with high probability in uniformly random regular graphs. Using this method we can show two results involving high girth spectral expander graphs. First, we show that given d ⩾ 3 and n, there exists an explicit distribution of d-regular Θ(n)-vertex graphs where with high probability its samples have girth Ω(log_{d-1} n) and are ε-near-Ramanujan; i.e., its eigenvalues are bounded in magnitude by 2√{d-1} + ε (excluding the single trivial eigenvalue of d). Then, for every constant d ⩾ 3 and ε > 0, we give a deterministic poly(n)-time algorithm that outputs a d-regular graph on Θ(n)-vertices that is ε-near-Ramanujan and has girth Ω(√{log n}), based on the work of [Mohanty et al., 2020].

연구 동기 및 목표

• 고리 길이가 높고 스펙트럼 확산 성능이 최적에 가까운 명시적, 결정적인 d-정규 그래프를 구성하기.
• 정규 그래프에서 짧은 사이클 제거 과정 동안 스펙트럼 경계(고유값 집중도)를 유지하기.
• [MOP19]의 비확률적 변환 프레임워크를 확장하여 고리 길이와 ϵ-근접 Ramanujan 스펙트럼 성질을 동시에 확보하기.
• 고리 길이와 근접 Ramanujan 확산 성질이 동시에 달성될 수 있음을 보장하기 위해 조합론적이고 스펙트럼을 유지하는 사이클 제거 과정을 수립하기.
• 고리 길이가 Ω(√log n)이고 λ(G) ≤ 2√(d−1) + ϵ인 d-정규 그래프를 다항시간 내에 결정적으로 생성하는 알고리즘 제공하기.

제안 방법

• 짧은 사이클을 제거하면서 스펙트럼 경계를 유지하는 새로운 2-리프트 기반 연산인 'fix'를 도입한다.
• 반경 r에서의 '자전거 없는 성질'을 사용하여, 서로소인 볼(disjoint ball) 분석을 통해 짧은 사이클의 수를 제한한다.
• 사이클 제거 과정에서 스펙트럼 유지 보장을 보장하기 위해 정리 1.8의 일반화된 버전을 적용한다.
• 반경에 따라 정의된 사이클 수 제한: |Cycr(G)| ≤ n/(d−1)^r. 이는 사이클 대표 원소 주변의 r-볼이 서로소임을 바탕으로 유도된다.
• 초기 그래프 생성 과정을 비확률적으로 변환하기 위해, 반경 (1/5)logd−1 n0에서 자전거 없는 성질을 보장하는 시드를 선택한다.
• [MOP19]의 첫 번째 단계를 수정하여, 원하는 고리 길이와 스펙트럼 성질을 갖는 스타터 그래프를 생성하기 위해 fix 연산과 조합한다.

실험 결과

연구 질문

• RQ1 정규 그래프에서 스펙트럼 확산 성능이 악화되지 않도록 짧은 사이클을 제거할 수 있는가?
• RQ2 다항시간 내에 결정적인 알고리즘이 고리 길이가 높고 ϵ-근접 Ramanujan 스펙트럼 성질을 갖는 d-정규 그래프를 생성할 수 있는가?
• RQ3 일정 반경에서 자전거 없는 성질이 사이클 제거 과정에서 스펙트럼 경계를 유지하는 데 보장이 되는가?
• RQ4 2-리프트를 통해 고리 길이를 체계적으로 증가시키면서도 스펙트럼 집중도를 유지할 수 있는가?
• RQ5 랜덤 정규 그래프 생성 과정을 비확률적으로 변환하여 고리 길이와 근접 최적 확산 성질을 동시에 확보할 수 있는가?

주요 결과

• 이 방법은 Θ(n)개 정점에서 구성된 d-정규 그래프를 다항시간 내에 결정적으로 생성하며, 고리 길이는 Ω(√log n)이고 λ(G) ≤ 2√(d−1) + ϵ를 만족한다.
• fix 연산은 스펙트럼 경계를 유지한다: λ(fix(G)) ≤ Λ + on(1) 이며, λ(G) = Λ인 그래프에 적용할 경우 성립한다.
• 반경 α logd−1 n에서 자전거 없는 그래프는 fix를 통해 고리 길이가 (α/3) logd−1 n인 그래프로 변환될 수 있다.
• 반경 (1/5)logd−1 n0에서 자전거 없는 그래프를 생성하는 시드의 비율은 1 − on(1)이며, 이는 효율적인 비확률적 변환을 가능하게 한다.
• 이 구성은 높은 확률로 ϵ-근접 Ramanujan 확산 성질을 달성하며, 균일하게 랜덤한 d-정규 그래프의 스펙트럼 성능과 동일하다.
• 이 접근법은 [MOP19]의 비확률적 변환 프레임워크를 고리 길이 제어까지 일반화하여, 명시적이고 고리 길이가 높으며 근접 최적 확산 성질을 갖는 그래프를 생성할 수 있게 한다.