[논문 리뷰] Universal Mixing of Quantum Walk on Graphs

William Carlson, A. Ford외 4명|ArXiv.org|2006. 08. 04.

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

한 줄 요약

이 논문은 간선 가중치가 부여된 그래프에서 연속시간 양자 산책의 보편적 혼합성에 대해 조사하며, 가중치가 부여된 완전 다중분할 그래프와 가중치가 부여된 발모(별) 그래프가 보편적 혼합성(즉, 가중치 조절을 통해 임의의 정점 분포에 도달할 수 있음)을 갖는다는 것을 증명한다. 주요 결과는 가중치가 부여된 발모 그래프 $K_{1,n}$가 보편적 혼합성 뿐 아니라 균일 혼합성까지 갖는다는 점으로, 이는 극히 드문 균일 혼합성을 달성하는 그래프의 새로운 가족을 추가한다.

ABSTRACT

We study the set of probability distributions visited by a continuous-time quantum walk on graphs. An edge-weighted graph G is universal mixing if the instantaneous or average probability distribution of the quantum walk on G ranges over all probability distributions on the vertices as the weights are varied over non-negative reals. The graph is uniform mixing if it visits the uniform distribution. Our results include the following: (a) All weighted complete multipartite graphs are instantaneous universal mixing. This is in contrast to the fact that no unweighted complete multipartite graphs are uniform mixing (except for the four-cycle). (b) The weighted claw or star graph is a minimally connected instantaneous universal mixing graph. In fact, as a corollary, the unweighted claw is instantaneous uniform mixing. This adds a new family of uniform mixing graphs to a list that so far contains only the hypercubes. (c) Any weighted graph is average almost-uniform mixing unless its spectral type is sublinear in the size of the graph. This provides a nearly tight characterization for average uniform mixing on circulant graphs. (d) No weighted graphs are average universal mixing. This shows that weights do not help to achieve average universal mixing, unlike the instantaneous case. Our proofs exploit the spectra of the underlying weighted graphs and path collapsing arguments.

연구 동기 및 목표

• 간선 가중치 조절을 통해 정점에 대한 임의의 확률 분포에 도달할 수 있는 그래프를 특성화하는 것.
• 비가중치 그래프와 비교해 가중치가 부여된 그래프가 보편적 혼합성(순간적 또는 평균적)을 달성할 수 있는지 여부를 규명하는 것.
• 기존의 균일 혼합성 결과(예: 초입방체)를 확장하여 이 성질을 달성하는 새로운 그래프 가족을 규명하는 것.
• 평균 거의 균일 혼합성의 스펙트럼적 특성화를 제공하고, 가중치가 부여된 그래프에서 평균 보편적 혼합성이 불가능함을 보이는 것.

제안 방법

• 가중치가 부여된 그래프의 스펙트럼 분석을 통해 양자 산책의 확률 진폭과 분포의 진화를 연구하는 것.
• 문헌 [7]에서 제안한 경로 압축 기법을 일반화하여 완전 다중분할 그래프와 발모 그래프에서의 보편적 혼합성을 증명하는 것.
• 시간 평균 전이 확률의 극한을 이용해 시간에 따른 평균 확률 분포를 분석하는 것.
• 그래프의 인접행렬의 서로 다른 고유값의 수인 스펙트럼 유형 $\tau(G)$를 정의하여 혼합 행동을 특성화하는 것.
• 등식 $\overline{p}_0 = \sum_{\lambda \in \text{Sp}(G)} B_\lambda^2$를 적용하여 평균 확률에 대한 경계를 유도하는 것, 여기서 $B_\lambda = \sum_{j:\lambda_j = \lambda} \beta_j$.
• 등식 $\overline{p}_0 \geq 1/\tau(G)$를 이용해 $\tau(G)$가 $n$에 대해 비선형일 경우 평균 보편적 혼합성이 불가능함을 보이는 것.

실험 결과

연구 질문

• RQ1 어떤 간선 가중치가 부여된 그래프에서 연속시간 양자 산책이 정점에 대한 임의의 확률 분포에 도달할 수 있는가?
• RQ2 가중치가 부여된 그래프는 평균 보편적 혼합성을 달성할 수 있으며, 그렇지 않은 경우 그 이유는 무엇인가?
• RQ3 초입방체를 초월한 새로운 그래프 가족 중 균일 혼합성을 달성하는 것은 존재하는가?
• RQ4 어떤 스펙트럼 조건이 평균 거의 균일 혼합성을 보장하는가?
• RQ5 가중치가 부여된 경로 $P_n$ ($n \geq 4$)는 보편적 혼합성을 갖는가? 이는 가중치가 부여된 트리에 어떤 영향을 미치는가?

주요 결과

• 모든 가중치가 부여된 완전 다중분할 그래프는 순간적 양자 산책에서 보편적 혼합성을 갖는다. 반면 비가중치 버전은 $K_{2,2}$를 제외하고는 균일 혼합성이 아니다.
• 가중치가 부여된 발모 그래프 $K_{1,n}$는 최소 연결성을 갖는 동시에 보편적 혼합성을 갖는다. 이를 통해 비가중치 $K_{1,n}$는 순순히 균일 혼합성임을 유추할 수 있다.
• 순환 그래프의 경우, 스펙트럼 유형 $\tau(G)$가 $O(n)$이면 평균 거의 균일 혼합성이 성립하며, 이 조건은 거의 날카로운 경계이다.
• 모든 가중치가 부여된 그래프는 평균 보편적 혼합성이 불가능하다. 왜냐하면 임의의 정점의 평균 확률이 $1/\tau(G)$로 아래bound되어 있으며, 이 값은 0에서 멀리 떨어져 있기 때문이다.
• 평균 거의 균일 혼합성을 갖기 위해서는 스펙트럼 유형 $\tau(G)$가 $\Omega(n)$이어야 하며, 이는 거의 날카로운 특성화를 제공한다.
• 공통된 혼합 시간을 갖는 두 개의 균일 혼합성 그래프의 카르테시안 곱은 또한 균일 혼합성을 갖는다. 이는 초입방체와 발모 그래프와 같이 알려진 균일 혼합성 그래프로부터 새로운 균일 혼합성 그래프를 구성할 수 있음을 의미한다.