양자 그래프 이론의 구체적 사례와 파라메트릭 가족

본 논문은 양자 그래프 이론의 실용적 확장을 목표로, 고전적인 행렬군의 작용에 불변인 양자 그래프들을 체계적으로 구성하고 분석한다. 서론에서는 양자 그래프가 고전적인 그래프 이론을 비가환적 환경으로 일반화한 개념임을 설명하고, 기존 연구가 주로 추상적 구조와 제한된 사례에 머물렀던 반면, 구체적인 파라메트릭 가족이 부족했음을 지적한다. 2장에서는 양자 집합을 유한 차원 C\(^*\)-대수로 정의하고, Musto‑Reutter‑Verdon이 제시한 문자열 다이어그램을 통해 양자 그래프를 “인접 연산자”라는 형태로 시각화한다. 이때 †‑Frobenius 모노이드를 이용해 복소수 선형 연산을 그래픽적으로 표현함으로써 복잡한 연산자 관계를 직관적으로 다룰 수 있다. 3장에서는 고전적인 행렬군 \(U(n), O(n), \text{Hyp}(n), D_U(n), D_O(n)\) 에 대한 불변성을 차례로 고려한다. 전체 유니터리군 \(U(n)\) 에 대해 불변인 양자 그래프는 완전 그래프 \(K_n\) 와 무엣지 그래프 \(K_n^c\) 뿐이며, 이는 고전적인 경우와 동일하다. 정규 직교군 \(O(n)\) 를 고려하면 대칭 그래프 \(G_{\text{sym}}\) 와 반대칭 그래프 \(G_{\text{asym}}\) 가 새롭게 등장한다. 가장 작은 대각군 \(D_U(n), D_O(n)\) 에서는 불변 양자 그래프가 크게 풍부해지며, 이들 그래프는 세 개의 행렬 \((A,B,C)\) 로 완전하게 파라미터화된다(정리 3.10). 여기서 \(A\)와 \(C\)는 대각 원소가 일치하는 행렬이며, \(B\)는 직교 투영행렬이다. 행렬들의 조건을 상세히 분석하면, \(B\) 가 투영행렬이어야 하고, 모든 서로 다른 인덱스 \(i\neq j\) 에 대해 2×2 블록 \(\begin{pmatrix}A_{ij}&C_{ij}\\C_{ji}&A_{ji}\end{pmatrix}\) 가 역시 투영행렬이어야 함을 알 수 있다. 이 조건은 양자 그래프가 반사적이고 대칭적인 구조를 유지하도록 보장한다. 4장에서는 이러한 파라메트릭 양자 그래프에 대해 네 가지 핵심 그래프 이론 파라미터를 계산한다. 1. **연결성**: \(n\ge3\) 에서는 양자 그래프 \(X_{A,B,C}\) 가 연결되려면 ‘이상한 그래프’ \(G(A,C)\) 가 연결되어야 한다(정리 4.15). \(n=2\) 에서는 위상 \(\pi\) 를 갖는 이상한 엣지가 추가적인 연결 성분을 만든다(정리 4.13). 2. **색칠수**: 완전 양자 그래프 \(K_n\) 와 대칭 양자 그래프 \(G_{\text{sym}}\) ( \(n\ge3\) ) 는 고전적인 색칠이 불가능하지만, 순수 양자형 \(X_{\text{diag}B,B}\) 는 언제나 \(n\)-색칠 가능하다(정리 4.19). 이는 색칠의 장애가 \(A\)와 \(C\) 사이의 상호작용에 있음을 보여준다. 3. **독립집합**: \(X_{A,\text{diag}A,C}\) 의 독립집합 크기는 이상한 그래프의 독립집합 크기와 동일하다(정리 4.27). 순수 양자형 \(X_{\text{diag}B,B}\) 에 대해서는 \(\alpha\) 가 \(\operatorname{rank}B\) 와 같은 선형 대수적 양에 의해 상·하한이 잡히며, 특히 행렬 \(B\) 의 동일 행 개수(EqRows) 가 하한을 제공한다(정리 4.30). 4. **클리크 수**: 고전적인 완전 이분 그래프는 양자 그래프에서 클리크 수가 \(\Omega(n)\) 로 크게 증가하고, 완전 그래프는 오히려 \(\omega(K_n)-1\) 로 감소한다(정리 4.43, 4.44). 대칭·반대칭 그래프는 \(\lceil n/2\rceil\) 라는 일정한 클리크 수를 가진다(정리 4.45). 또한 \(B\) 의 랭크가 클리크 수를 제한함을 보여주는 \(\omega(X_{\text{diag}B,B})\le\sqrt{\operatorname{rank}B}+1\) 와 같은 부등식이 제시된다(정리 4.39). 이 모든 결과는 ‘분할 원리’(Proposition 4.5 등)를 통해 \( (A,C) \) 부분과 \(B\) 부분을 독립적으로 다루어 복잡한 양자 그래프 문제를 고전적인 그래프 문제와 선형 대수 문제로 분해할 수 있음을 강조한다. 5장에서는 연구 결과를 정리하고, 현재의 제한점(예: \(M_n\) 에 국한, 무한 차원 일반화 미비)과 향후 연구 과제(색칠수와 독립집합 상한·하한 정밀화, 양자 동형사상 분류, 다른 카테고리적 접근) 등을 제시한다. 전체적으로 이 논문은 양자 그래프 이론에 구체적이고 풍부한 파라메트릭 예시를 제공함으로써, 이론적 연구뿐 아니라 양자 정보·통신 분야에서의 응용 가능성을 크게 확장한다.