[논문 리뷰] Operations on Graphs Increasing Some Graph Parameters

Alexander Kelmans|arXiv (Cornell University)|2011. 09. 21.

Advanced Graph Theory Research참고 문헌 15인용 수 3

한 줄 요약

이 논문은 라플라시안 고유값, 신뢰성, 스패닝 트리 수와 같은 핵심 그래프 매개변수를 증가시키는 그래프 연산을 조사한다. 가중치가 부여된 그래프에 대해 특정 조건 하에서 이러한 매개변수를 유지하거나 향상시키는 대칭 연산을 도입하며, 이 연산이 이분 그래프에서 최대 라플라시안 고유값을 증가시켜 그래프 계열 전반에 걸쳐 신뢰성 및 스펙트럼 성질의 단조성(모노토닉리티)을 확립한다.

ABSTRACT

In this partly expository paper we discuss and describe some of our old and recent results on partial orders on the set (m,n)-graphs (i.e. graphs with n vertices and m edges) and some operations on graphs that are monotone with respect to these partial orders. The partial orders under consideration include those related with some Laplacian characteristics of graphs as well as with some probabilistic characteristics of graphs with randomly deleted edges. Section 2 provides some notions, notation, and simple observations. Section 3 contains some basic facts on the Laplacian polynomial of a graph. Section 4 describes various graph operation and their properties. In Section 5 we introduce some partial orders on the set of (m,n)-graphs related, in particular, with the graph Laplacian and the graph reliability (Laplacian posets and reliability posets}). Section 6 contains some old and recent results on the monotonicity of some graph operations with respect to Laplacian posets. Section 7 and 8 include some old and recent results on the monotonicity of some graph operations with respect to reliability posets and to some other parameters of graphs as well as some open problems. Section 9 contains some generalizations of the described results on weighted graphs. Keywords: graph, graph operations, graph posets, random graphs, decomposable graphs, threshold graphs, weighted graphs, spanning subgraphs, Laplacian polynomial and spectrum, adjacency polynomial and spectrum, graph reliability, trees, forests, Hamiltonian cycle and path, symmetric polynomials

연구 동기 및 목표

• 스패닝 트리 수, 신뢰성, 라플라시안 고유값과 같은 기본 그래프 매개변수를 증가시키는 그래프 연산을 연구하는 것.
• 고정된 정점 수와 간선 수를 가진 그래프에 대해 신뢰성 및 라플라시안 스펙트럼 성질 기반의 부분순서를 정의하고 분석하는 것.
• 비가중치 그래프에서의 그래프 연산 결과를 가중치가 부여된 그래프로 일반화하며, 특히 대칭 (v₁,v₂,ε)-연산에 초점을 맞추는 것.
• 모든 간선 장애 확률 p에 대해 독립적인 가장 신뢰성 있는 그래프 또는 가장 덜 신뢰성 있는 그래프가 존재하는지 여부와, 이러한 그래프가 유일한지 여부를 조사하는 것.
• 임계 그래프 개념을 가중치가 부여된 그래프로 확장하고, 대칭 간선-가중치 연산 하에서 스펙트럼 단조성(모노토닉리티)을 확립하는 것.

제안 방법

• 가중치가 부여된 그래프에 대해 두 정점 간의 간선 가중치를 재분배하면서 총 간선 가중치를 유지하는 대칭 (v₁,v₂,ε)-연산을 도입한다.
• 라플라시안 행렬의 최대 고유값 λ(Kʷ) 분석을 위해 페론-프로베니우스 정리와 코우런트-스워츠 최소-최대 원리(정리)를 적용한다.
• 스패닝 트리 수와 라플라시안 행렬 고유값 간의 관계를 밝히기 위해 매트릭스 트리 정리와 라플라시안 행렬 성질을 활용한다.
• 랜덤 부분그래프가 간선 유지 확률 p에서 연결되어 있는 확률로 정의된 신뢰성 R(p,G)를 정의하며, 모든 p ∈ [0,1]에 대해 R(p,G) ≥ R(p,F)일 경우 G ⪰ʳ F로 정의된 부분순서를 통해 그래프를 비교한다.
• 이분 가중치 그래프의 개념을 조건 bip(Kʷ) = odc(Kʷ) = n+1을 통해 정의하고, 이 조건 하에서 대칭 연산이 최대 라플라시안 고유값 λ(Kʷ)를 유지하거나 증가시킴을 증명한다.
• 모든 v ≠ x,y에 대해 w(xv) ≤ w(yv)일 때 x ⪯ y로 정의함으로써 임계 그래프를 가중치가 부여된 그래프로 일반화하고, 이러한 그래프에서 대칭 연산 하에 λ(Kʷ)의 단조성을 증명한다.

실험 결과

연구 질문

• RQ1 n개 정점과 m개 간선을 가진 모든 그래프 집합은 간선 장애 확률 p에 독립적인 가장 신뢰성 있는 그래프를 포함하는가?
• RQ2 결과 그래프가 이분 그래프일 경우, 가중치가 부여된 그래프에서 대칭 (v₁,v₂,ε)-연산이 최대 라플라시안 고유값을 증가시키는지 입증할 수 있는가?
• RQ3 대칭 (v₁,v₂,ε)-연산이 그래프의 스패닝 트리 수를 유지하거나 증가시키는 조건은 무엇인가?
• RQ4 신뢰성 순서 ⪰ʳ는 전순서인가, 아니면 Gₙᵐ 내에서 비교 불가능한 그래프가 존재하는가?
• RQ5 임계 그래프 개념을 가중치가 부여된 그래프로 확장할 수 있는가? 이 경우 대칭 연산이 스펙트럼 매개변수를 유지하거나 증가시키는가?

주요 결과

• 가중치가 부여된 그래프 Kʷ에 대해 대칭 (v₁,v₂,ε)-연산은 연산이 대칭이고, 공통 이웃 소속 모든 s에 대해 w(v₁s) ≥ w(v₂s) ≥ ε(s) ≥ 0를 만족할 경우, 인접행렬의 최대 고유값 β(Kʷ)를 증가시킨다.
• 이분 가중치 그래프 Kʷ에 대해, 대칭 (v₁,v₂,ε)-연산은 이분성 유지 조건 하에서 최대 라플라시안 고유값 λ(Kʷ)를 증가시킨다.
• G′이 G에서 대칭 Kₓᵧ-연산을 통해 얻어지고 G′이 이분 그래프일 경우, G ⪰ᶠ G′이 성립하여 이러한 연산 하에서 신뢰성 순서가 유지됨을 의미한다.
• 조건 bip(Kʷ) = odc(Kʷ) = n+1은 이분 가중치 그래프를 특성화하며, 이 조건 하에서 L(λ,Kʷ) = L⁺(λ,Kʷ)이 성립하여 라플라시안 행렬과 부호 없는 라플라시안 행렬의 특성다항식이 동일함을 보장한다.
• 가중치가 부여된 임계 그래프에서 대칭 (v₁,v₂,ε)-연산 하에 라플라시안 행렬의 최대 고유값 λ(Kʷ)은 증가한다. 이는 모든 정점 쌍에 대해 x ⪯ y 조건이 성립할 때 성립한다.
• 이 논문은 특정 (n,m) 쌍에 대해 Gₙᵐ 내에 ⪰ʳ-최대 그래프가 존재하지 않음을 증명하며, 이는 가장 신뢰성 있는 그래프가 p에 의존함을 의미하므로, 신뢰성 순서는 전순서가 아님을 시사한다.