[논문 리뷰] Exact distance graphs of product graphs

Bre\v{s}ar, Bo\v{s}tjan, Nicolas Gastineau외 2명|arXiv (Cornell University)|2018. 10. 24.

Advanced Graph Theory Research참고 문헌 22인용 수 8

한 줄 요약

이 논문은 카르테시안, 강한, 사전순서형, 직접 곱과 같은 네 가지 표준 그래프 곱에 대한 정확한 거리-p 그래프의 구조를 정확한 공식으로 제시하며, 그들의 연결성과 색칠 성질을 분석하는 체계적인 프레임워크를 수립한다. 초입자 큐브 Qₙ의 정확한 거리-p 그래프의 색칠 수에 대한 날카운 상한을 도출하여, p = n−2, n−3, n−4일 때 각각 χ(Q[♮n−2]ₙ) ≤ 8, χ(Q[♮n−3]ₙ) ≤ 15, χ(Q[♮n−4]ₙ) ≤ 26임을 보여준다.

ABSTRACT

Given a graph $G$, the exact distance-$p$ graph $G^{[ atural p]}$ has $V(G)$ as its vertex set, and two vertices are adjacent whenever the distance between them in $G$ equals $p$. We present formulas describing the structure of exact distance-$p$ graphs of the Cartesian, the strong, and the lexicographic product. We prove such formulas for the exact distance-$2$ graphs of direct products of graphs. We also consider infinite grids and some other product structures. We characterize the products of graphs of which exact distance graphs are connected. The exact distance-$p$ graphs of hypercubes $Q_n$ are also studied. As these graphs contain generalized Johnson graphs as induced subgraphs, we use some known and find some new constructions of their colorings. These constructions are applied for colorings of the exact distance-$p$ graphs of hypercubes with the focus on the chromatic number of $Q_{n}^{[ atural p]}$ for $p\in \{n-2,n-3,n-4\}$.

연구 동기 및 목표

• 카르테시안, 강한, 사전순서형, 직접 곱과 같은 네 가지 표준 그래프 곱에 대한 정확한 거리-p 그래프의 정확한 구조 공식을 유도하는 것.
• 이 곱의 정확한 거리-p 그래프가 연결되는 조건을 규명하는 것.
• 특히 p = n−2, n−3, n−4일 때 초입자 큐브 Qₙ의 정확한 거리-p 그래프의 색칠 수를 분석하는 것.
• 일반화된 조던 그래프와 케네저 그래프를 포함한 유도 부분그래프를 활용하여 Q[♮p]ₙ의 색칠 수에 대한 날카운 상한을 수립하는 것.
• 제품 그래프 이론을 통해 알려진 큐브 유사 그래프와 정확한 거리 그래프에 대한 결과를 통합하고 확장하는 것.

제안 방법

• 원래 그래프 내의 거리 기반의 인접 규칙과 함께 V(G) × V(H)를 정점 집합으로 사용하여 그래프 곱의 정확한 거리-p 그래프에 대한 명시적 구조 공식을 유도한다.
• 초입자 큐브의 정확한 거리-p 그래프 내에서 일반화된 조던 그래프 J(n,k,t)를 유도 부분그래프로 적용한다.
• 일반화된 조던 그래프와 케네저 그래프의 기존 및 신규 색칠 구성 기법을 활용하여 색칠 수를 상한으로 제한한다.
• 초입자 큐브에서 대칭성과 거리 분할(해밍 무게 기반)을 적용하여 정점을 레이어 L_i로 그룹화하고 레이어 간 인접성을 분석한다.
• 대칭 레이어(예: L_i와 L_{n−i}) 간에 색을 재사용하여 총 색칠 수를 최소화한다.
• 그래프 곱 이론의 결과를 스펙트럼 및 조합 기법과 융합하여 χ(Q[♮p]ₙ)의 상한을 도출한다.

실험 결과

연구 질문

• RQ1 두 그래프의 카르테시안, 강한, 사전순서형, 직접 곱의 정확한 거리-p 그래프의 정확한 구조는 무엇인가?
• RQ2 어떤 그래프 곱과 p 값에 대해 정확한 거리-p 그래프가 연결되는가?
• RQ3 p가 n에 가까울 때 초입자 큐브 Qₙ의 정확한 거리-p 그래프의 색칠 수는 어떻게 상한을 구할 수 있는가?
• RQ4 일반화된 조던 그래프는 초입자 큐브의 정확한 거리-p 그래프 내에서 어떤 역할을 하는가?
• RQ5 일반화된 조던 그래프의 색칠을 확장하거나 적응시켜 초입자 큐브의 정확한 거리 그래프의 색칠 수를 상한으로 제한할 수 있는가?

주요 결과

• 삼각형이 없는 두 그래프의 직접 곱의 정확한 거리-2 그래프는 (G × H)[♮2] = G[♮2] ⊠ H[♮2]를 만족한다.
• n ≥ 4이면서 짝수일 때, Q[♮n−2]ₙ의 색칠 수는 8 이하이며, 특히 χ(Q[♮6]₈) ≤ 7이다.
• n ≥ 5이면서 홀수일 때, Q[♮n−3]ₙ의 색칠 수는 15 이하이다.
• n ≥ 6이면서 짝수일 때, Q[♮n−4]ₙ의 색칠 수는 26 이하이며, 이는 2χ(J(n,(n−4)/2,0)) + χ(J(n,n/2,2))와 2χ(J(n,(n−2)/2,1)) + 2로부터 유도된다.
• 초입자 큐브의 정확한 거리-(n−1) 그래프는 Q[♮n−1]ₙ ≅ Qₙ를 만족하며, 이는 구조적 대칭성을 확인한다.
• 일반화된 조던 그래프 J(n,k,t)의 색칠 수는 Q[♮p]ₙ의 색칠 수 상한을 구하는 데 핵심적인 구성 요소로 사용된다.