[논문 리뷰] Quantum walks on regular uniform hypergraphs

Ying Liu, Jiabin Yuan외 2명|arXiv (Cornell University)|2017. 09. 15.

Quantum Computing Algorithms and Architecture인용 수 4

한 줄 요약

이 논문은 정규 균일 초그래프와 이분 그래프 사이의 일대일 대응을 설정하여, 이분 그래프 상에서 Szegedy의 양자 산책 프레임워크를 적용할 수 있도록 하는 모델을 제안한다. 이 방법은 고전적 랜덤 워크보다 제곱근 속도 향상을 달성하며, 두 파artition의 크기가 다를 경우에도 전이 행렬의 스펙트럼 성질을 유도하여 초그래프 기반 양자 알고리즘의 기초를 마련한다.

ABSTRACT

Quantum walks on graphs have shown prioritized benefits and applications in wide areas. In some scenarios, however, it may be more natural and accurate to mandate high-order relationships for hypergraphs, due to the density of information stored inherently. Therefore, we can explore the potential of quantum walks on hypergraphs. In this paper, by presenting the one-to-one correspondence between regular uniform hypergraphs and bipartite graphs, we construct a model for quantum walks on bipartite graphs of regular uniform hypergraphs with Szegedy's quantum walks, which gives rise to a quadratic speed-up. Furthermore, we deliver spectral properties of the transition matrix, given that the cardinalities of the two disjoint sets are different in the bipartite graph. Our model provides the foundation for building quantum algorithms on the strength of quantum walks, suah as quantum walks search, quantized Google's PageRank and quantum machine learning, based on hypergraphs.

연구 동기 및 목표

• 표준 그래프보다 고차원 관계를 더 잘 반영하는 정규 균일 초그래프에서의 양자 산책 모델을 개발하기 위해.
• 정규 균일 초그래프와 이분 그래프 사이의 일대일 대응을 설정하여 Szegedy의 양자 산책 프레임워크의 적용을 가능하게 하기 위해.
• 이분 그래프의 두 부분의 기수(크기)가 다를 경우에도 Szegedy의 양자 산책을 일반화하기 위해.
• 양자 산책 연산자의 전이 행렬의 스펙트럼 성질을 도출하여, 역학적 동역학과 성능 분석에 필수적인 요소를 확보하기 위해.
• 초그래프 구조의 데이터에 대한 검색, PageRank, 기계학습 등의 양자 알고리즘 설계를 위한 기초를 마련하기 위해.

제안 방법

• 정규 균일 초그래프를 한 쪽은 정점, 다른 쪽은 초모서리를 나타내는 이분 그래프로 매핑하기.
• 정점에서 초모서리로, 그리고 초모서리에서 정점으로의 전이 행렬을 정의하여 초그래프 상에서의 고전적 랜덤 워크 정의하기.
• 이분 그래프 상의 반사 연산자를 기반으로 하여 Szegedy의 방법을 사용해 유니터리 진동 연산자 구성하기.
• 이분 그래프의 두 파artition의 크기가 다를 경우를 다룰 수 있도록 Szegedy의 형식을 확장하고, 수정된 스펙트럼 분석 수행하기.
• 전이 행렬의 특이값 $ \sigma_k = \cos \theta_k $ 를 통해 산책 연산자의 고유값 유도하기.
• 고유공간 분석: $ nd - (m+n) $ 개의 고유값 1, $ n - m $ 개의 고유값 -1, 그리고 $ 2m $ 개의 고유값 $ e^{\pm 2i\theta_k} $.

실험 결과

연구 질문

• RQ1 정규 균일 초그래프에서의 이산 시간 양자 산책이 Szegedy의 양자 산책 모델과 호환되는 프레임워크로 어떻게 매핑될 수 있는가?
• RQ2 이분 그래프의 두 파artition의 크기가 다를 경우 전이 행렬에서 나타나는 스펙트럼 성질은 무엇인가?
• RQ3 이분 그래프 표현을 통해 초그래프로 일반화할 경우, Szegedy의 양자 산책의 제곱근 속도 향상이 유지되는가?
• RQ4 파artition 크기가 다를 경우 양자 산책 연산자의 고유구조는 어떻게 분해될 수 있는가?
• RQ5 전이 행렬의 특이값이 양자 산책의 동역학을 결정하는 데 어떤 역할을 하는가?

주요 결과

• 정규 균일 초그래프와 이분 그래프 사이의 일대일 대응이 확립되어, Szegedy의 양자 산책 프레임워크의 적용이 가능해졌다.
• 양자 산책 모델은 고전적 랜덤 워크보다 제곱근 속도 향상을 달성하였으며, Szegedy의 원래 결과와 일관된다.
• 유니터리 진동 연산자 $ W $ 는 $ nd - (m + n) $ 개의 고유값 1과 $ n - m $ 개의 고유값 -1을 각각 일차원 불변 부분공간에 가진다.
• 남은 $ 2m $ 개의 고유값은 $ \lambda_k = e^{\pm 2i\theta_k} $ 로 표현되며, $ \theta_k \in (0, \pi/2) $ 이고 특이값 $ \sigma_k = \cos \theta_k $ 로부터 도출된다.
• 고유벡터는 $ |k\rangle = \frac{A|\mu_k\rangle - e^{\pm i\theta_k} B|\nu_k\rangle}{\sqrt{2} \sin \theta_k} $ 로 명시적으로 구성되며, 이는 산책의 동역학을 초그래프의 구조와 연결한다.
• 스펙트럼 분해를 통해 산책 연산자의 완전한 특성화가 이루어졌으며, 이는 양자 알고리즘에서 도달 시간 분석과 확률 증폭 분석을 가능하게 한다.