[논문 리뷰] Quantum graph walks I: mapping to quantum walks

Yusuke Higuchi, Norio Konno외 2명|arXiv (Cornell University)|2012. 11. 05.

Quantum Computing Algorithms and Architecture참고 문헌 14인용 수 5

한 줄 요약

이 논문은 양자 그래프에서 유도된 양자 코인을 사용하는 새로운 종류의 코인형 양자 산책인 양자 그래프 산책을 제안한다. 양자 산책의 동역학을 양자 그래프 해밀토니안의 고유함수로 매핑함으로써, 산책의 정적 상태와 양자 그래프 슈뢰딩거 방정식의 해 사이에 일대일 대응을 수립하며, 구조화된 코인 연산자를 갖는 유닛리 변환에 기반한 방향성 있는 변에서의 단위 연산을 통한 양자 산책 프레임워크를 제공한다.

ABSTRACT

We clarify that coined quantum walk is determined by only the choice of local quantum coins. To do so, we characterize coined quantum walks on graph by disjoint Euler circles with respect to symmetric arcs. In this paper, we introduce a new class of coined quantum walk by a special choice of quantum coins determined by corresponding quantum graph, called quantum graph walk. We show that a stationary state of quantum graph walk describes the eigenfunction of the quantum graph.

연구 동기 및 목표

• 그래프의 물리적 매개변수에서 국소적 양자 코인을 유도하여, 양자 그래프를 기반으로 한 새로운 종류의 코인형 양자 산책, 즉 양자 그래프 산책을 체계적으로 정의한다.
• 양자 산책의 정적 상태와 양자 그래프 해밀토니안의 고유함수 사이의 대응 관계를 수립한다.
• 대칭적인 변의 구조와 방향성 있는 변에서의 유닛리 변환을 통해, 양자 그래프의 스펙트럼 특성을 어떻게 코딩할 수 있는지 명확히 한다.
• 이산 시간 양자 산책과 연속적인 양자 그래프를 연결하기 위해, 양자 산책의 시간 진화 연산자가 양자 그래프의 산란 및 전파 동역학을 재현함을 보여준다.

제안 방법

• 전체 힐베르트 공간을 $ \ell^2(D(G)) $로 정의하며, 이는 대칭적 인접변 집합 $ D(G) $ 위의 제곱summable 함수들의 공간으로, 각 변은 그래프의 방향성 간선에 대응한다.
• 시간 진화 연산자 $ U $ 를 유닛리 행렬로 정의하며, 이는 변 공간 위에서 작용한다. 각 변에 대해 양자 그래프의 매개변수 $ \boldsymbol{L}, \lambda, A $ 에 기반한 국소적 코인 연산자 $ W_{(u,v)} $ 를 할당한다.
• 산란 행렬 $ \widetilde{\mathcal{D}}_D $ 와 결합 전파 행렬 $ \mathcal{T}(k) $ 를 사용하여 양자 진화 매핑 $ \mathcal{U}_B(k) = \mathcal{T}(k)\mathcal{S}(k) $ 를 표현함으로써, 산책을 양자 그래프의 산란 체계와 연결한다.
• 조건 $ U^{(A)}_{\pi_{ff}}[H_j(k);j\in V]\boldsymbol{a}_*(k) = \boldsymbol{a}_*(k) $ 를 유도하여, 산책의 정적 상태가 양자 그래프의 고유값 문제의 해와 일치함을 보여준다.
• 유닛리 변환 $ S_{\pi_{ff}} $ 를 통해 A형 산책과 G형 산책 간의 동치성을 수립하며, 문헌에서 알려진 표준 양자 진화 매핑과의 연결을 확립한다.
• 스펙트럼 분해와 잔여 연산자 기법을 사용하여, 산책의 산란 진폭을 간선 길이 $ L_{\{ij\}} $, 결합 상수 $ \lambda_j $, 정점 산란 행렬 등 양자 그래프의 매개변수로 표현한다.

실험 결과

연구 질문

• RQ1 간선 길이 및 정점 결합과 같은 양자 그래프의 매개변수로부터 코인형 양자 산책을 체계적으로 구성할 수 있는 방법은 무엇인가?
• RQ2 양자 산책의 정적 상태와 양자 그래프 해밀토니안의 고유함수 사이의 정확한 관계는 무엇인가?
• RQ3 양자 산책 프레임워크는 양자 그래프의 산란 행렬과 전파 동역학을 재현할 수 있는가?
• RQ4 양자 산책 연산자가 단위성과 전류 보존 등의 물리적 일관성을 유지하는 조건은 무엇인가?
• RQ5 양자 그래프에서 유도된 국소적 양자 코인의 선택이 산책의 스펙트럼 및 동역학적 행동에 어떻게 영향을 주는가?

주요 결과

• 양자 그래프 산책의 정적 상태는 정확히 양자 그래프 해밀토니안의 고유함수이며, 양자 산책의 동역학과 양자 그래프 스펙트럼 사이에 직접적인 대응 관계를 수립한다.
• 시간 진화 연산자 $ U^{(A)}_{\pi_{ff}}[H_j(k);j\in V] $ 는 $ U^{(A)}_{\pi_{ff}}\boldsymbol{a}_*(k) = \boldsymbol{a}_*(k) $ 를 만족하며, 이는 산책의 고정점이 양자 그래프의 고유값 방정식의 해와 일치함을 증명한다.
• 양자 산책의 산란 진폭은 잔여 연산자 $ (I + tS\widetilde{\mathcal{D}}_D)^{-1} $ 를 통해 표현되며, 이는 간선 길이 및 결합 효과를 포함하는 $ \Delta_{\{ij\}}^{-1}(t) $ 의 명시적 항을 포함한다.
• G형 양자 산책 $ U^{(G)}_{\pi_{ff}}[H_j(k);j\in V] $ 는 이전 연구에서 사용된 양자 진화 매핑 $ \mathcal{U}_B(k) $ 와 동치이며, 기존의 양자 그래프 이론과의 일관성을 확인한다.
• 산책의 동역학은 간선 길이 $ L_{\{ij\}} $, 정점 결합 상수 $ \lambda_j $, 산란 행렬 $ \sigma_j $ 등 양자 그래프의 매개변수에 의해 완전히 결정되며, 이는 국소적 코인 연산자에 의해 코딩된다.
• 변환 $ \boldsymbol{b}_*(k) = S_{\pi_{ff}}\boldsymbol{a}_*(k) $ 는 산책의 정적 상태가 플립 대칭 연산에 대해 불변임을 보이며, 물리적 일관성을 유지함을 나타낸다.