[논문 리뷰] A note on the discrete-time evolutions of quantum walk on a graph

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

Quantum Computing Algorithms and Architecture참고 문헌 21인용 수 7

한 줄 요약

이 논문은 가중치가 부여된 간선 및 정점 연산자를 사용하여 이산 시간 양자 보행의 진동 행렬의 특성다항식과 정점에서의 고전적 랜덤 워크 전이 행렬의 특성다항식을 연결하는 일반화된 스펙트럼 매핑 공식을 수립한다. 주요 기여는 둘레 조건(>4) 하에서 그로버 진동 행렬의 세제곱의 양의 지지집합이 그 양의 지지집합의 세제곱과 그 전치행렬의 합과 일치함을 증명한 것으로, 이는 새로운 등스펙트럼 그래프 분석을 가능하게 한다.

ABSTRACT

For a quantum walk on a graph, there exist many kinds of operators for the discrete-time evolution. We give a general relation between the characteristic polynomial of the evolution matrix of a quantum walk on edges and that of a kind of transition matrix of a classical random walk on vertices. Furthermore we determine the structure of the positive support of the cube of some evolution matrix, which is said to be useful for isospectral problem in graphs, under a certain condition.

연구 동기 및 목표

• 양자 보행 진동 행렬과 고전적 랜덤 워크 전이 행렬 간의 스펙트럼 관계를 일반화하기 위해.
• 특히 등스펙트럼 그래프가 동형이어야 하는지 여부를 포함한 양자 보행의 등스펙트럼 문제를 조사하기 위해.
• 특정 그래프 조건 하에서 그로버 진동 행렬의 세제곱의 양의 지지집합을 특성화하기 위해.
• 정규 그래프에 대한 기존 스펙트럼 결과를 임의의 간선 가중치와 실수 매개변수를 가진 일반적인 가중 그래프로 확장하기 위해.

제안 방법

• 고전적 랜덤 워크의 정점에서의 가중 전이 행렬 $\mathbf{S}^w$ 를 도입한다.
• 양자 보행의 정렬된 간선에서의 가중도 행렬 $\mathbf{D}^w$ 와 진동 행렬 $\mathbf{U}^{w,s}$ 를 정의한다.
• 행렬 $\mathbf{U}^{w,s}$ 와 $\mathbf{S}^w$, $\mathbf{D}^w$ 에 관한 다항식을 연결하는 일반적인 행렬식 항등식을 유도한다.
• 행렬 분해 $\mathbf{U}^{w,s} = \mathbf{Q} + \mathbf{P}$ 를 사용하여 $\mathbf{Q}$ 는 비역행 경로를, $\mathbf{P}$ 는 역행 경로를 각각 기록한다.
• $\mathbf{U}^3$ 의 양의 지지집합을 분석하기 위해 $({}^T\mathbf{U})^3$ 을 0~3회의 역행 경로를 포함하는 경로 유형으로 분해한다.
• 그래프의 둘레 조건 $g(G) > 4$ 를 적용하여 4사이클을 배제함으로써 $\mathbf{Q}^3$ 과 $\mathbf{P}\mathbf{Q}\mathbf{P}$ 의 비영항목이 겹치지 않으며 모두 1임을 보장한다.

실험 결과

연구 질문

• RQ1 이름의 그래프에서 이산 시간 양자 보행의 진동 행렬 스펙트럼은 어떻게 동일한 그래프에서의 고전적 랜덤 워크 전이 행렬 스펙트럼과 관련이 있는가?
• RQ2 그로버 진동 행렬의 세제곱의 양의 지지집합이 폐쇄형 표현을 갖는 조건은 무엇인가?
• RQ3 $({\bf U}^3)^+$ 의 구조는 $({\bf U}^+)^3$ 과 $^T{\bf U}^+$ 를 통해 완전히 특성화될 수 있는가?
• RQ4 그래프에 4사이클이 없으면 $\mathbf{U}^3$ 의 양의 지지집합이 $({\bf U}^+)^3$ 과 $^T{\bf U}^+$ 의 합과 일치하는가?
• RQ5 정리 1.1의 스펙트럼 매핑 공식은 정규 그래프에 대한 기존 결과를 어느 정도 일반화할 수 있는가?

주요 결과

• 양자 보행 진동 행렬 $\mathbf{U}^{w,s}$ 의 특성다항식은 $\det(\lambda\mathbf{I}_{2m} - \mathbf{U}^{w,s}) = (\lambda^2 - 1)^{m-n} \det\left((\lambda^2 - 1)\mathbf{I}_n - s\lambda\mathbf{S}^w + s\mathbf{D}^w\right)$ 로 주어지며, 이는 기존 결과를 일반화한다.
• 조건 $g(G) > 4$ 하에서 $\mathbf{U}^3$ 의 양의 지지집합은 $({\bf U}^3)^+ = ({\bf U}^+)^3 + {}^T{\bf U}^+$ 를 만족하며, 모든 비영항목은 1이다.
• $({\bf U}^+)^3$ 과 ${\bf P}{\bf U}^+{\bf P}$ 의 비영항목은 4사이클의 부재로 인해 겹치지 않으며, 이는 합이 잘 정의됨을 보장한다.
• 둘레 조건 하에서 $({\bf U}^3)^+$ 의 구조는 보행의 양의 지지집합과 그 전치행렬에 의해 완전히 결정된다.
• 이 결과는 양자 보행에서 등스펙트럼 그래프 문제를 위한 새로운 도구를 제공하며, $g(G) > 4$ 인 등스펙트럼 그래프는 그들의 $({\bf U}^3)^+$ 지지집합이 일치할 경우 반드시 동형이어야 한다는 것을 보여준다.
• 유도 과정은 $g(G) > 4$ 일 때 사이클 배제로 인해 경로 기여의 겹침이 발생하지 않아 $\mathbf{U}^3$ 의 양의 지지집합이 영향을 받지 않음을 확인한다.