[논문 리뷰] Block Structure and Spectrum of Zero-Divisor Graphs of Lipschitz Quaternion Rings Modulo \(n\)

Bilal Ahmad Rather|arXiv (Cornell University)|2026. 03. 21.

Graph theory and applications인용 수 0

한 줄 요약

본 논문은 Lipschitz quaternion rings modulo n으로부터의 zero-divisor graphs의 adjacency matrices를 분석하고, 홀수 소수에 대해 블록 구조의 행렬 모델과 정확한 스펙트럼 정보를 도출하며, 2의 거듭제곱(2-power) 경우에 대한 결과를 제시한다.

ABSTRACT

We investigate the adjacency matrices of zero-divisor graphs derived from Lipschitz quaternion rings modulo \(n\). For odd primes \(p\), utilizing the isomorphism \(\LL_p\cong M_2(\F_p)\), we categorize vertices by kernel-image type and demonstrate that the adjacency matrix possesses a block structure as a blow-up of a projective incidence matrix. This produces a reduced matrix on the class-constant subspace, with precise formula for the lower bound for the nullity and the multiplicity of the eigenvalue \(-1\), as well as a closed expression for the spectral radius through an equitable partition. For the two-adic family, we precisely ascertain the graph at \(n=2\) and demonstrate that for \(t\ge 2\), the graph \(G_{2^t}\) encompasses substantial cliques derived from the ideal filtering, which yield definitive lower bounds for the spectral radius. We also examine the implications for graph energy and provide a systematic construction of the adjacency matrix.

연구 동기 및 목표

• zero-divisor graphs arising from Lipschitz quaternion rings modulo n와 그 adjacency matrices의 연구 동기를 제시한다.
• n이 홀수 소수 p일 때의 인접 구조를 kernel–image 유형으로 분류하고 M2(Fp)와 연결해 모델링한다.
• 스펙트럼 분석을 용이하게 하는 블록 구조(적합한 equitable partition) 행렬 표현을 개발하고, nullity 및 스펙트럼 반경 결과를 포함한다.
• 두-아디계 가족(n = 2 및 n = 2^t)에 대한 분석을 확장하고, 클리크 구조를 확인하며, 스펙트럼 및 에너지에 대한 하한을 제시한다.
• adjacency 행렬을 구성하는 구성 방법을 제시하고 그래프 에너지에 대한 함의를 논의한다.

제안 방법

• Lipschitz quaternion ring L_n과 그 zero-divisor graph G_n를 인접 관계 a-xy=0 또는 yx=0로 식별한다.
• odd prime p에 대해서 L_p ≅ M2(F_p)로 비영 제곱 행렬을 kernel-image 쌍(L,M)으로 분류하고, 이는 투사 직교선으로부터 (p+1)^2 개의 클래스 형태의 타입 분할을 형성한다.
• A_p가 H_p ⊗ J_{p-1} − D_p ⊗ I_{p-1}와 동일한 순열 유사성을 가진다는 것을 보여주고, A_p의 블록 모델을 도출한다.
• L=M일 때 대각 블록은 J_{p-1}−I_{p-1}이고, 간선 조건에 따라 비대각 블록은 incidence에 따라 J_{p-1} 또는 O_{p-1}임을 입증한다.
• 클래스-상수 벡터로 구성된 불변 부분공간 U와 W_{L,M} 부분공간들을 구성하고, 간략화된 특성다항식 χ_{A_p}(λ) = χ_{B_p}(λ)·λ^{p(p+1)(p−2)}·(λ+1)^{(p+1)(p−2)}를 도출한다.

실험 결과

연구 질문

• RQ1 G_p(Lipschitz quaternions modulo p)의 인접 구조를 kernel-image 유형을 이용한 블록 분해로 어떻게 포착할 수 있는가?
• RQ2 odd primes p에 대해 A_p의 정확한 스펙트럼 특성(널성, 중복도, 스펙트럼 반경)은 무엇인가?
• RQ3 two-adic(n=2^t) 케이스가 구조적·스펙트룸적으로 홀수 소수 케이스와 어떻게 다른가, 그리고 스펙트럼과 에너지에 대한 하한은 무엇인가?
• RQ4 equitable partition이 A_p의 주된 스펙트럼 특징을 결정하는 축소 행렬로 이어질 수 있는가?
• RQ5 모든 특이 행렬을 열거하지 않고도 adjacency-구성 알고리즘을 완전히 제시할 수 있는가, 그리고 결과가 Γ(L_n)의 에너지를 n=2^t에 대해 어떻게 보여주는가?

주요 결과

• 홀수 소수 p에 대해 A_p는 H_p ⊗ J_{p-1} − D_p ⊗ I_{p-1}와 순열 유사하며, 커브 타입 분할에 의해 블록 구조가 결정된다.
• 타입 분할은 각각 크기가 p−1인 (p+1)^2개의 블록으로 구성되어 총 정점 수는 p^3 + p^2 − p − 1이다.
• G_p는 biregular하다: 대각형 타입의 정점(L=M)은 차수 2p^2 − p − 2이고, 비대각형 타입의 정점은 차수 2p^2 − p − 1이다.
• 스펙트럼은 클래스-상수 부분공간 U에서 강제된 구성요소를 포함하며, χ_{A_p}(λ)=λ^{p(p+1)(p−2)}(λ+1)^{(p+1)(p−2)}χ_{B_p}(λ)이다.
• n=2에서의 그래프 전체 설명이 제공되며, t≥2인 경우 Γ(L_{2^t}) 내부의 대 클리크가 스펙트럴 반경과 에너지 고려에 대해 명시적 하한을 제공한다.
• A_p의 알고리즘적 구성이 제시되며, 수치 예제와 도해도 포함된다.