다중 고유값을 가진 양자 코인으로 구동되는 양자 보행

초록

본 논문은 각 정점의 코인 연산자가 두 개의 고유값 κ, κ′만을 갖고, 그 중 하나에 대한 고유공간 차원이 그래프 최소 차수 δ(G) 이하인 정수 p(1≤p≤δ(G))인 경우를 다룬다. 이러한 코인과 플립‑플롭 시프트를 이용해 양자 보행을 정의하고, 이를 ℓ²(V;ℂ^p) 위의 셀룰러 자동마톤으로 표현되는 자체에터 연산자 T와 나머지 부분으로 분해한다. T의 스펙트럼이 원래 양자 보행의 고유값(단위 원 위)과 고유공간을 어떻게 끌어올리는지 정리하고, 이를 이용해 이동 시프트를 갖는 ℤ^d 상의 Grover 보행의 고유다항식을 푸리에 공간에서 정확히 구한다.

상세 분석

이 연구는 기존 이하라 클래스(Ihara’s class)에서 요구되던 “각 코인 연산자의 고유값이 ±1이고, 1에 대한 고유공간 차원이 1”이라는 제한을 완전히 일반화한다. 저자들은 모든 정점 u에 대해 스펙트럼 Spec(C_u)⊂{κ,κ′} (|κ|=|κ′|=1, κ≠κ′)이며, ker(κ−C_u)의 차원이 동일한 정수 p(1≤p≤δ(G))인 경우를 고려한다. 이때 각 정점마다 p개의 정규 직교 고유벡터 {α_j(u)}_{j=1}^p를 선택하고, 이를 이용해 아크 a에 대한 p×p 행렬 가중치 W(a)=w(a)w(ā)^*을 정의한다. 여기서 w(a)는 α_j(t(a))의 복소켤레를 열벡터로 묶은 것이다.

플립‑플롭 시프트 S는 아크 a를 그 역 \bar a 로 매핑하고, 전체 시간 진화 연산자는 U=S C이다. 핵심은 K라는 경계 연산자를 도입해 ℓ²(V;ℂ^p)와 ℓ²(A) 사이를 연결하고, T=K^* S K라는 자체에터 연산자를 얻는 것이다. T는 그래프의 구조만을 반영하는 “판별 연산자(discriminant operator)”이며, 각 원소 T_{u,v}=∑_{a: o(a)=v, t(a)=u} W(a) 로 정의된다. p=1이면 T는 스칼라 가중치 그래프의 전이 행렬과 동일해 기존 이하라 클래스와 일치한다.

스펙트럼 매핑 정리는 크게 두 단계로 전개된다. 첫째, T의 고유값 λ∈