[논문 리뷰] Sectoriality and essential spectrum of non symmetric graph Laplacians

Colette Anné, Marwa Balti외 1명|arXiv (Cornell University)|2018. 01. 05.

Spectral Theory in Mathematical Physics참고 문헌 23인용 수 7

한 줄 요약

이 논문은 방향성과 가중치가 부여된 그래프 위에서 비자기대칭 라플라스 연산자가 분할 가능하고 본질적 스펙트럼이 비어 있는 조건을 규명한다. 자기대칭화된 연산자와 루이스의 비교 정리를 도입함으로써, 무한远处에서 체거 상수가 양수이거나, 경계가 급격히 증가하는 간선 가중치 등의 기하학적 성장 조건이 자기대칭화된 연산자의 스펙트럼의 하한을 무한대로 이끌 경우, 비자기대칭 라플라스 연산자의 본질적 스펙트럼이 비어 있음을 증명한다.

ABSTRACT

We consider a non self-adjoint Laplacian on a directed graph with non symmetric edge weights. We give necessary conditions for this Laplacian to be sectorial. We introduce a special self-adjoint operator and compare its essential spectrum with that of the non self-adjoint Laplacian considered.

연구 동기 및 목표

• 비자기대칭 그래프 라플라스 연산자가 분할 가능해지기 위한 필요충분조건을 규명하는 것.
• 비자기대칭 라플라스 연산자의 본질적 스펙트럼을 그 실수부(자기대칭 연산자)의 본질적 스펙트럼과 비교하는 것.
• 이전에 본질적 스펙트럼이 없는 것으로 알려진 결과를 무한远处에서 체거 상수가 0인 그래프로 확장하는 것.
• 비대칭 라플라스 연산자의 스펙트럼 이산성에 대한 기하학적 기준(체거 상수와 가중치 성장)을 제공하는 것.
• 이전의 무거운 끝부분 그래프 및 급격히 분기하는 그래프에 대한 결과를 비대칭이고 가중치가 부여된 설정으로 일반화하는 것.

제안 방법

• 간선 가중치의 비대칭성에 대한 분할 가능성 조건(가정 γ)을 도입: 어떤 M > 0에 대해 ∑_y |b(x,y)−b(y,x)| ≤ M m(x)를 만족한다.
• 자기대칭이면서 아래로 유계인 연산자 S = (∆ + ∆*)/2를 정의한다.
• 각 정점에서 유입/유출 전도도가 동일한 조건인 가정 (β) 하에서 그린의 공식을 적용하여 ∆의 수치 범위와 실수부를 연결한다.
• 루이스의 비교 정리를 적용: 모든 f가 정의도메인에 속할 때 Re(∆f,f) ≥ (Sf,f)이면, σ_ess(∆) ⊆ {λ ∈ ℂ : Re(λ) ≥ inf σ_ess(S)}가 성립한다.
• 체거 유형 부등식을 수립: λ₁(S_D_Ω) ≥ h²(Ω)/(8M_Ω), 스펙트럼 간격과 체거 상수를 연결한다.
• h²(G_k\G_n)/(8M_{G_k\G_n}) ≥ c_n 이고 lim_n c_n = ∞ 이면, σ_ess(S) = ∅임을 증명하여 σ_ess(∆) = ∅임을 이끌어낸다.

실험 결과

연구 질문

• RQ1 비자기대칭 그래프 라플라스 연산자가 분할 가능해지기 위한 기하학적 조건은 무엇인가?
• RQ2 비자기대칭 그래프 라플라스 연산자의 본질적 스펙트럼이 언제 사라지는가?
• RQ3 비자기대칭 라플라스 연산자의 본질적 스펙트럼은 그 실수부의 본질적 스펙트럼과 어떻게 관련이 있는가?
• RQ4 무한远处에서 체거 상수가 0이어도 본질적 스펙트럼이 없는 것으로 보장될 수 있는가?
• RQ5 간선 가중치의 비대칭성은 그래프 라플라스 연산자의 스펙트럼 성질에 어떤 역할을 하는가?

주요 결과

• 가정 (γ)가 성립할 경우, 즉 정점 측도에 대해 총 비대칭성이 균일하게 유계이면 라플라스 연산자 ∆는 분할 가능하다.
• ∆의 수치 범위의 실수부는 아래로 유계이며, 허수부는 균일하게 유계이므로 분할 가능성이 보장된다.
• ∆의 본질적 스펙트럼은 S가 자기대칭화된 연산자일 때, {λ ∈ ℂ : Re(λ) ≥ inf σ_ess(S)}라는 반평면에 포함된다.
• S의 코패킷 서브그래프에서 스펙트럼의 하한이 무한대로 갈 경우(예: 급격히 증가하는 가중치로 인해), σ_ess(S) = ∅이다.
• h²(G_k\G_n)/(8M_{G_k\G_n}) ≥ c_n 이고 lim_n c_n = ∞ 이면, S와 ∆의 본질적 스펙트럼이 모두 비어 있다.
• 반례를 통해 가정 (γ)가 본질적 스펙트럼의 비어 있음을 보장하기 위해 필수적임을 보여주며, 이는 체거 상수가 0이어도 마찬가지이다.