무작위 그래프를 완전히 구분하는 ‘자연 그래프 스펙트럼’의 탄생

초록

이 논문은 인접 행렬에 고정된 연산열(선형 결합, 행렬곱, 하다마드 곱)을 적용해 얻는 자연 그래프 행렬을 정의하고, 그 스펙트럼이 거의 모든 Erdős‑Rényi 무작위 그래프 G(n,½)를 동형 여부까지 완전히 결정한다는 새로운 정리를 제시한다. 핵심 도구는 두 개의 곱을 갖는 이중 대수(double algebra) 이론이며, 이론을 통해 “모든 ◦‑아이디엠포턴트가 생성하는 전역 기저”가 존재함을 보이고, 이를 이용해 충분조건을 만든다. 마지막으로, 무작위 그래프의 이중 대수가 전부 전사적(=전체 행렬 대수)임을 확률론적으로 증명해 메인 결과를 얻는다.

상세 분석

논문은 먼저 “감각적인(sensible) 행렬”이라는 개념을 형식화한다. 여기서 감각적이란, 모든 n‑정점 그래프에 대해 동일한 연산 순서를 적용해 얻는 행렬을 의미한다. 구체적으로는 인접 행렬 A_G에 대해 (1) 선형 결합, (2) 일반 행렬 곱(·), (3) 하다마드 곱(∘)을 차례대로 적용한다. 이 세 연산은 각각 스펙트럼이 다항식 형태로 전달되는 성질과 계산 효율성을 보장한다. 기존에 널리 쓰이는 인접 행렬, 라플라시안, 시델 행렬, 거리 행렬 등이 모두 이 정의에 포함된다.

핵심 이론적 도구는 이중 대수이다. 이중 대수 R은 같은 벡터 공간 위에 두 개의 곱 •와 ∘를 동시에 정의한 구조이며, 각각은 연관된 대수(R·, R∘)를 만든다. 특히 R∘는 교환적이고 완전 분해 반단순(semisimple)인 경우, ◦‑아이디엠포턴트(∘‑idempotent)들의 기저가 존재한다는 Wedderburn‑Artin 정리를 활용한다. 논문은 자유 이중 대수 F⟨⟨x⟩⟩를 도입해 “고정된 연산열”을 다항식 형태로 모델링하고, 평가 사상 ev_a를 통해 실제 그래프 행렬에 대입한다.

가장 중요한 결과는 **보편적 ◦‑아이디엠포턴트 기저(universal ◦‑idempotent basis)**의 존재이다. 이는 어떤 유한한 가족 {R_a}의 서브대수에 대해, 동일한 이중 다항식 집합 B⊂F⟨⟨x⟩⟩가 각 R_a에 대해 서로 다른 비영 아이디엠포턴트를 생성하고, 그 집합이 각 R_a의 ◦‑아이디엠포턴트 기저가 되게 함을 의미한다. 이 기저를 이용하면, 특정 자연 그래프 스펙트럼 Spec : G↦Spec_◦(P(A_G)) (여기서 P는 고정 연산열을 나타내는 이중 다항식) 가 완전 결정적임을 보일 수 있다. 즉, Spec (G)=Spec (H)이면 G와 H는 동형이다.

그 다음 단계는 이 충분조건이 무작위 그래프에 거의 확률적으로 만족한다는 것을 보이는 것이다. Erdős‑Rényi G(n,½)에 대해, 인접 행렬 A_G가 생성하는 이중 대수 ⟨⟨A_G⟩⟩가 전체 행렬 대수 M_n(F)와 동형임을 증명한다. 이는 A_G가 거의 모든 행렬을 선형 결합·곱·∘ 연산으로 생성한다는 의미이며, 확률론적 방법(특히, 고유값의 분포와 행렬식 비특이성에 대한 고전적 결과)을 통해 n→∞일 때 확률이 1에 수렴함을 보인다.

따라서 Theorem 1.1은 “자연 그래프 스펙트럼이 존재한다”는 존재론적 진술을 넘어서, 실제로 임의의 큰 그래프에 대해 그 스펙트럼만으로 동형 여부를 판별할 수 있음을 보인다. 이는 기존의 DS(Determined by Spectrum) 문제에 대한 긍정적 답변이며, 그래프 동형성 검증을 스펙트럼 비교로 단순화할 수 있는 새로운 이론적 기반을 제공한다. 또한, 이중 대수라는 새로운 대수적 프레임워크가 그래프 이론, 코딩 이론, 설계 이론 등 다양한 분야에 적용될 가능성을 열어준다.