[논문 리뷰] Non-singular circulant graphs and digraphs

A. K. Lal, A. Satyanarayana Reddy|arXiv (Cornell University)|2011. 06. 04.

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

한 줄 요약

이 논문은 순환 행렬, 원분 다항식, 단위근의 성질을 이용하여 일반화된 순환 그래프 및 디그래프, 특히 $(r,s,t)$-디그래프와 $C_n^{i,j,k,l}$ 디그래프의 특이성에 대한 필수적이고 충분한 조건을 제공한다. 주요 기여는 $n$, $r$, $s$, $t$, $j$, $k$, $l$를 포함한 최대공약수 조건을 바탕으로 한 특이성의 정밀한 특성화로, 기존의 순환 행렬 고유값 및 행렬식 결과를 확장한다.

ABSTRACT

We give necessary and sufficient conditions for a few classes of known circulant graphs and/or digraphs to be singular. The above graph classes are generalized to $(r,s,t)$-digraphs for non-negative integers $r,s$ and $t$, and the digraph $C_n^{i,j,k,l}$, with certain restrictions. We also obtain a necessary and sufficient condition for the digraphs $C_n^{i,j,k,l}$ to be singular. Some necessary conditions are given under which the $(r,s,t)$-digraphs are singular.

연구 동기 및 목표

• 기존의 순환 그래프 및 디그래프 클래스에 대한 특이성에 대한 필요조건과 충분조건을 설정하는 것.
• 기존의 순환 그래프 가족을 $(r,s,t)$-디그래프와 $C_n^{i,j,k,l}$ 디그래프로 일반화하여 정의된 구조적 제약 조건을 도입하는 것.
• 대수적 수론과 행렬 이론을 활용하여 $C_n^{i,j,k,l}$ 디그래프의 특이성에 대한 정밀한 특성화를 도출하는 것.
• $(r,s,t)$-디그래프가 특이성이 되는 데 필요한 조건을 제공하여 부분적인 결과를 초월하는 것.
• 대표 다항식과 단위근을 통한 순환 행렬 행렬식 및 고유값에 관한 이전 결과들을 통합하고 확장하는 것.

제안 방법

• 일반화된 순환 그래프의 인접 행렬을 표현하기 위해 순환 행렬의 대표 다항식 $\gamma_A(x)$를 활용한다.
• 정리 1.4를 적용하여 행렬의 특이성과 $\gcd(\gamma_A(x), x^n - 1)$의 차수 사이의 관계를 설정하며, 특이성이 성립하려면 이 차수가 최소 1이어야 한다.
• 원분 다항식 $\Phi_d(x)$와 원시 단위근 $\zeta_n$의 성질을 활용하여 고유값과 영공간 차원을 분석한다.
• $C_n^{i,j,k,l}$의 대표 다항식을 $x^i \cdot \frac{x^{\ell+1}-1}{x-1} \cdot \frac{x^{(k+1)j}-1}{x^j-1}$로 유도하여 대수적 분석을 가능하게 한다.
• 대수적 수론을 활용하여 $\gamma_A(\zeta_n^{n/d}) = 0$ 인지 여부를 검증함으로써 영고유값이 존재함을 확인하고, 이는 특이성을 의미한다.
• $ (x-1)\gamma_A(x) = (x^r - 1) + x^{r+t}(x^s - 1)$ 식을 적용하여 루트를 분석하고 $(r,s,t)$-디그래프의 특이성 조건을 유도한다.

실험 결과

연구 질문

• RQ1 일반화된 $(r,s,t)$-디그래프가 특이성이 되는 조건은 무엇인가?
• RQ2 제약 조건이 $i,j,k,l,n$에 대해 주어진 순환 디그래프 $C_n^{i,j,k,l}$가 특이성이 되는 경우는 언제인가?
• RQ3 $n$, $r$, $s$, $t$, $j$, $k$, $\ell$에 대한 최대공약수 조건이 이 디그래프들의 특이성에 어떻게 영향을 미치는가?
• RQ4 $C_n^{i,j,k,l}$의 특이성은 원분 다항식의 나눗셈 조건을 통해 완전히 특성화할 수 있는가?
• RQ5 더 넓은 $(r,s,t)$-디그래프 클래스에서 특이성이 보장되기 위한 필수 조건은 무엇인가?

주요 결과

• $C_n^{i,j,k,l}$ 디그래프는 $\gcd(\ell+1, n) \geq 2$ 또는 $\gcd(k+1, \frac{n}{\gcd(n,j)}) \geq 2$일 때에만 특이성이 된다.
• 첫 번째 행이 $[r$ 번의 $a$, $s$ 번의 $b$, $t$ 번의 $c]$로 구성된 $(r,s,t)$-디그래프의 경우, $\gcd(s,n) > 1$이면 행렬이 특이성이 된다.
• $\gcd(n,r,s) > 1$이면 $(r,s,t)$-디그래프가 특이성이 되며, 이는 $\zeta_n^{n/k}$가 대표 다항식의 근이기 때문이다.
• $\gcd(n,s) = 1$ 이고 $d \geq 2$가 $t$를 나누며 $s = \ell r$ 이고 $\ell \equiv -1 \pmod{d}$ 이면, $\gamma_A(\zeta_n^{n/d}) = 0$ 이므로 디그래프는 특이성이 된다.
• $n = 2m$, $\gcd(n,s) = 1$, $d$가 짝수이며 $r+t$가 $d/2$의 홀수배이고 $s = \ell r$ 이며 $\ell \equiv 1 \pmod{d}$ 이면 $\gamma_A(\zeta_n^{n/d}) = 0$ 이며, 이는 특이성을 의미한다.
• 완전 그래프 $K_n$은 $n \geq 2$일 때 비특이적이며, 이는 $a=1$, $b=0$, $s=n-1$, $t=1$, $\gcd(s,n)=1$ 조건을 만족하는 정리 1.5에 의해 확인된다.