[논문 리뷰] Distance spectra and Distance energy of Integral Circulant Graphs

Aleksandar Ili ' c|arXiv (Cornell University)|2011. 04. 06.

Graph theory and applications참고 문헌 22인용 수 3

한 줄 요약

이 논문은 정수 순환 그래프(IGs)의 거리 스펙트럼과 거리 에너지를 특성화하며, 거리 행렬의 고유값이 정수임을 증명한다. 단위 카일리 그래프의 거리 에너지에 대한 정확한 공식을 유도하고, 약수와 라마누잔 합의 수론적 성질을 활용하여 두 가지 무한한 비동형 스펙트럼, 거리 등에너지 ICG를 구성한다—한 쪽 그래프가 다른 쪽의 부분그래프인 경우와 지름이 3인 경우—이다.

ABSTRACT

The distance energy of a graph $G$ is a recently developed energy-type invariant, defined as the sum of absolute values of the eigenvalues of the distance matrix of $G$. There was a vast research for the pairs and families of non-cospectral graphs having equal distance energy, and most of these constructions were based on the join of graphs. A graph is called circulant if it is Cayley graph on the circulant group, i.e. its adjacency matrix is circulant. A graph is called integral if all eigenvalues of its adjacency matrix are integers. Integral circulant graphs play an important role in modeling quantum spin networks supporting the perfect state transfer. In this paper, we characterize the distance spectra of integral circulant graphs and prove that these graphs have integral eigenvalues of distance matrix $D$. Furthermore, we calculate the distance spectra and distance energy of unitary Cayley graphs. In conclusion, we present two families of pairs $(G_1, G_2)$ of integral circulant graphs with equal distance energy -- in the first family $G_1$ is subgraph of $G_2$, while in the second family the diameter of both graphs is three.

연구 동기 및 목표

• 정수 순환 그래프(IGs)의 거리 스펙트럼을 특성화하고, 거리 고유값이 항상 정수임을 증명한다.
• 수론적 방법을 사용하여 단위 카일리 그래프의 거리 에너지를 계산한다.
• 그래프 곱이나 선 그래프에 의존하지 않는 무한한 비동형 스펙트럼, 거리 등에너지 ICG의 가족을 구성한다.
• 양자 스핀 네트워크와 완전 상태 전송과 관련된 ICG의 구조적 및 스펙트럼적 성질을 탐구한다.
• 약수 집합과 곱셈 함수에 기반한 새로운 구성 방식을 도입하여 기존의 등에너지 그래프 결과를 확장한다.

제안 방법

• n의 적절한 약수 집합 D를 사용하여 ICG_n(D)를 Z_n 위의 카일리 그래프로 정의한다. 여기서 간선은 gcd(a−b,n) ∈ D 를 만족한다.
• 거리 고유값 μ_r 를 덧셈 조합을 통해 계산하기 위해 라마누잔 합 c(r,n) = ∑_{d|gcd(r,n)} μ(d) · e^{2πi r/d} 를 적용한다.
• 거리 고유값을 라마누잔 합과 약수 구조로 표현하기 위해 공식 μ_r = ∑_{d∈D} c(r, n/d) 를 활용한다.
• Euler의 타우 함수 φ(n) 의 곱셈 성질과 n = 2^k·m 의 구조를 활용하여 경우를 분석하고 닫힌 형태의 표현식을 유도한다.
• 거리 에너지를 고유값의 절댓값의 합으로 계산하기 위해 스펙트럼 분해와 gcd(r,n) 기반의 중복도 계산을 수행한다.
• r 이 n 의 약수들에 대해 모듈로 분석을 통해 ICG_n(1) 및 ICG_n(1,p) 과 같은 특정 ICG의 거리 에너지 공식을 유도한다.

실험 결과

연구 질문

• RQ1 정수 순환 그래프의 거리 스펙트럼은 어떤 구조를 가지며, 거리 고유값은 항상 정수인가?
• RQ2 수론적 도구를 사용하여 단위 카일리 그래프의 거리 에너지에 대한 닫힌 형태의 공식을 도출할 수 있는가?
• RQ3 그래프 곱이나 선 그래프에 의존하지 않는 무한한 비동형 스펙트럼, 거리 등에너지 정수 순환 그래프의 가족이 존재하는가?
• RQ4 IGs의 지름이 거리 에너지에 미치는 영향은 무엇인가, 특히 지름이 3인 경우에 대해 어떻게 되는가?
• RQ5 어떤 수론적 조건에서 ICG_n(1) 과 ICG_n(1,p) 이 동일한 거리 에너지를 가지며, 이는 양자 네트워크 설계에 어떤 함의를 갖는가?

주요 결과

• 모든 정수 순환 그래프의 거리 행렬은 정수 고유값을 가지며, 이는 ICG가 D-정수임을 확인한다.
• 단위 카일리 그래프 ICG_n(1) 에 대해 거리 에너지는 DE(ICG_n(1)) = 6(φ(n)−1)·2 − n + 2(2−p)(2−q) 이며, n=pq 이면 6(p−1)(q−1) 으로 단순화된다.
• ICG_{3p}(1) 이 ICG_{3p}(1,p) 의 부분그래프이면서 두 그래프 모두 거리 에너지가 6(p−1)(2) 인 등에너지 ICG의 가족이 존재한다. (p>3)
• n=2pq 이고 p, q 가 서로 다른 홀수 소수일 경우, 그래프 ICG_{2pq}(1,p) 와 ICG_{2pq}(1,q) 는 비동형 스펙트럼이지만 등에너지이며, DE = 12pq − 4p − 4q − 4 이다.
• ICG_{2pq}(1,p) 와 ICG_{2pq}(1,q) 의 지름은 3이며, 이는 그래프 곱이나 반복 선 그래프에 기반하지 않은 첫 번째 등에너지 가족임을 나타낸다.
• 거리 고유값은 라마누잔 합을 통해 계산되며, gcd(r,n) 별로 그룹화되어 정확한 중복도 계산과 에너지 합산이 가능하다.