[논문 리뷰] Quantum Walks on Embeddings

Hanmeng Zhan|arXiv (Cornell University)|2017. 11. 23.

Quantum Computing Algorithms and Architecture참고 문헌 27인용 수 3

한 줄 요약

이 논문은 방향성 있는 그래프 임bedding에서 사용하는 화살표-면 및 화살표-꼬리 인cidenc 구조를 기반으로 정의된 새로운 이산 양자워크 모델인 정점-면 보행을 소개한다. 정규화된 인cidenc 행렬에 대한 반사들을 통해 유니터리 전이 행렬을 구성함으로써 저자들은 스펙트럼 상응성을 확립하고, 정점-면 구조가 부분 기하 설계를 이룰 경우 $U^2$의 주 로그가 방향성이 있는 그래프가 됨을 보여주며, 이는 양자 검색과 비고전적 동역학과의 연결 고리를 드러낸다.

ABSTRACT

We introduce a new type of discrete quantum walks, called vertex-face walks, based on orientable embeddings. We first establish a spectral correspondence between the transition matrix $U$ and the vertex-face incidence structure. Using the incidence graph, we derive a formula for the principal logarithm of $U^2$, and find conditions for its underlying digraph to be an oriented graph. In particular, we show this happens if the vertex-face incidence structure forms a partial geometric design. We also explore properties of vertex-face walks on the covers of a graph. Finally, we study a non-classical behavior of vertex-face walks.

연구 동기 및 목표

• 방향성 있는 그래프 임bedding을 기반으로 하는 새로운 이산 양자워크 모델인 정점-면 보행을 정의하기 위해.
• 전이 행렬 $U$와 정점-면 인cidenc 구조 사이의 스펙트럼 상응성을 확립하기 위해.
• 기저가 되는 $\log(U^2)$의 디그래프가 방향성이 있는 그래프가 되는 조건을 조사하고, 특히 이러한 조건이 부분 기하 설계와 어떻게 연결되는지 밝히기 위해.
• 그래프 커버에서의 정점-면 보행의 동역학을 탐구하고, 고전적 랜덤워크와 비교하기 위해.
• 그래프로 표현된 지도(GEMs)를 사용하여 비방향성 임bedding으로 모델을 확장하고, 그의 가역성과 플래그 그래프에서의 보행과의 동치성을 분석하기 위해.

제안 방법

• 방향성 있는 임bedding에서 면 경계의 일관된 방향성으로부터 화살표-면 인cidenc 행렬 $M$과 화살표-꼬리 인cidenc 행렬 $N$을 정의한다.
• 행렬 $M$과 $N$을 정규화하여 $\widehat{M}$과 $\widehat{N}$을 얻고, 유니터리 전이 행렬 $U = (2\widehat{M}\widehat{M}^T - I)(2\widehat{N}\widehat{N}^T - I)$를 구성한다.
• 정점-면 구조의 인cidenc 그래프를 사용하여 $U^2$의 주 로그에 대한 공식을 유도한다.
• 디그래프 $\log(U^2)$가 방향성이 있는 그래프가 되는 조건을 특성화하며, 이는 정점-면 구조가 부분 기하 설계를 이룰 경우에 성립함을 보여준다.
• 스펙트럼 및 조합 기법을 사용하여 그래프 커버에서의 정점-면 보행을 분석한다.
• 그래프로 표현된 지도(GEMs)를 통해 비방향성 임bedding으로 모델을 확장하며, 플래그가 정점으로 표현되고 보행이 3색으로 칠해진 삼차 정점 그래프 위에서 정의된다.

실험 결과

연구 질문

• RQ1 언제 $\log(U^2)$의 디그래프가 방향성이 있는 그래프가 되는가?
• RQ2 정점-면 보행의 스펙트럼 구조는 임bedding의 조합적 성질과 어떻게 관련되는가?
• RQ3 정점-면 보행과 연속 양자보행 사이의 관계는 무엇인가? 특히 $U = \exp(tS)$일 때, $S$가 반대칭 행렬인 경우에 대해.
• RQ4 정점-면 보행은 동역학 및 검색 효율성 측면에서 고전적 랜덤워크와 어떻게 비교되는가?
• RQ5 정점-면 보행 모델은 비방향성 임bedding으로 일반화될 수 있는가? 이러한 경우에 어떤 구조적 성질이 나타나는가?

주요 결과

• 정점-면 보행의 전이 행렬 $U$는 유니터리이며, 정규화된 화살표-면 인cidenc 행렬의 열공간에 대한 반사와 정규화된 화살표-꼬리 인cidenc 행렬의 열공간에 대한 반사의 곱으로 구성된다.
• 행렬 $U$와 정점-면 인cidenc 구조 사이의 스펙트럼 상응성이 확립되어 있으며, 이는 $U^2$의 주 로그에 대한 공식 유도를 가능하게 한다.
• 기저가 되는 $\log(U^2)$의 디그래프가 방향성이 있는 그래프인 것은 정점-면 인cidenc 구조가 부분 기하 설계를 이룰 때에만 성립한다.
• 정점-면 보행은 비고전적 행동을 보인다: 고전적 랜덤워크가 일반적으로 퍼져나가는 것과는 달리, 초기 상태 근처에 국한되어 있을 수 있다.
• 토로이드 격자 $C_n \square C_n$에서 정점-면 보행은 비어 있는 화살표를 반전시키는 보행보다 높은 성공 확률을 달성한다. 이는 한 번의 단계에서 인접하지 않은 화살표로의 전이가 가능하기 때문이다.
• 비방향성 임bedding의 경우, 정점-면 보행은 GEM(Graph-Encoded Map)의 거리-2 그래프의 한 성분의 정점에서의 양자보행과 동치이며, 원래 임bedding이 방향성 있는 경우에만 보행이 가역적이다.