[논문 리뷰] Average mixing of continuous quantum walks

Chris Godsil|arXiv (Cornell University)|2011. 03. 14.

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

한 줄 요약

이 논문은 그래프에서 연속 양자 워크에 대해 평균 혼합 행렬 $\u02c7{M}_X$를 도입하고 분석한다. 이는 $H(t) = \exp(itA)$이고 $A$가 인접행렬인 바, 시계열의 스чу어 tích $H(t) \circ H(-t)$의 시간 평균으로 정의된다. 주요 기여는 $\u02c7{M}_X = \sum_r E_r^{\circ 2}$임을 증명하고, 이 행렬이 양의 준정적, 유리수, 그리고 경로와 가상순환 연관 체계에 대해 놀랍게 단순한 형태를 가짐을 보여주는 것이다.

ABSTRACT

If $X$ is a graph with adjacency matrix $A$, then we define $H(t)$ to be the operator $\exp(itA)$. The Schur (or entrywise) product $H(t)\circ H(-t)$ is a doubly stochastic matrix and, because of work related to quantum computing, we are concerned the extsl{average mixing matrix}. This can be defined as the limit of $C^{-1} \int_0^C H(t)\circ H(-t)\dt$ as $C o\infty$. We establish some of the basic properties of this matrix, showing that it is positive semidefinite and that its entries are always rational. We find that for paths and cycles this matrix takes on a surprisingly simple form, thus for the path it is a linear combination of $I$, $J$ (the all-ones matrix), and a permutation matrix.

연구 동기 및 목표

• 연속 양자 워크에 대해 평균 혼합 행렬 $\u02c7{M}_X$를 정의하고 연구한다. 이는 그래프에서 $H(t) \circ H(-t)$의 시간 평균으로 정의되며, $H(t) = \exp(itA)$이고 $A$는 인접행렬이다.
• $\u02c7{M}_X$의 기본 성질을 확립한다. 이는 양의 준정성, 유리성, 그리고 연결된 그래프에서의 엔트리의 엄밀한 양성이다.
• 경로와 가상순환 연관 체계에 속하는 특정 그래프 가족에 대해 $\u02c7{M}_X$의 명시적 닫힌 표현식을 유도한다.
• $\u02c7{M}_X$의 구조적 함의를 탐색한다. 특히, 정점의 공스펙트럴성과 행렬의 행들이 다를 경우 완전한 상태 전달이 존재하지 않는다는 점과의 관계를 다룬다.

제안 방법

• 그래프 $X$의 인접행렬 $A$에 대해 단위행렬 $H(t) = \exp(itA)$를 통해 연속 양자 워크를 정의한다.
• 전이행렬 $M_X(t) = H(t) \circ H(-t)$를 구성한다. 이는 이중 스토하스틱이며, 상태 전달에 대한 시간에 따른 확률 밀도를 기술한다.
• 평균 혼합 행렬을 $\u02c7{M}_X = \lim_{C \to \infty} \frac{1}{C} \int_0^C M_X(t) \, dt$로 정의하고, 스펙트럼 분해를 통해 $\u02c7{M}_X = \sum_r E_r^{\circ 2}$로 유도한다. 여기서 $E_r$는 $A$의 스펙트럼 프로젝터이다.
• 스펙트럼 분해와 스chu어 곱 이론을 활용하여 $\u02c7{M}_X$가 양의 준정적이고 유리수임을 증명한다. 이는 인접행렬의 특성다항식의 분할체에 대한 체의 자기동형사상 불변성을 활용한다.
• 특수한 그래프 가족을 분석한다. 경로의 경우 $\u02c7{M}_X = \frac{1}{2n+2}(2J + I + T)$이며, 홀수 순환 또는 가상순환 체계에 속한 그래프의 경우 $\u02c7{M}_X = \frac{n-m+1}{n^2}J + \frac{m-1}{n}I$이다. 여기서 $J$는 전부 1인 행렬이고 $T$는 교환 순열 행렬이다.
• 강한 공스펙트럴성의 특성화를 수립한다. 정점 $u$와 $v$가 강한 공스펙트럴일 필요충분조건은 $\u02c7{M}_X(e_u - e_v) = 0$임을 보여주며, 이는 스펙트럼 대칭성과 혼합 행동을 연결한다.

실험 결과

연구 질문

• RQ1 연속 양자 워크에 대해 그래프의 평균 혼합 행렬 $\u02c7{M}_X$의 기본 대수적 및 스펙트럼 성질은 무엇인가?
• RQ2 경로나 가상순환 연관 체계에 속하는 특정 그래프 가족에 대해 평균 혼합 행렬을 닫힌 표현식으로 표현할 수 있는가?
• RQ3 평균 혼합 행렬이 원래 그래프에 존재하지 않는 대칭성을 반영하는 조건은 무엇인가? 예를 들어 자명한 자기동형사상 군을 가진 그래프에서 그렇다.
• RQ4 강한 공스펙트럴성과 $\u02c7{M}_X$의 핵 사이에 구조적 관계가 존재하는가?
• RQ5 $\u02c7{M}_X$가 $I$와 $J$의 선형 조합임을 보장하는 조건은 무엇이며, 이러한 그래프는 얼마나 흔한가?

주요 결과

• 평균 혼합 행렬 $\u02c7{M}_X$는 항상 양의 준정적이다. 이는 인접행렬의 스펙트럼 분해에서 유도된 정규직교 프로젝터의 스chu어 제곱의 합이기 때문이다.
• 모든 연결된 그래프 $X$에 대해 $\u02c7{M}_X$의 모든 엔트리가 엄밀히 양수이며, 이는 워크 다이내믹스의 비가역성을 반영한다.
• $\u02c7{M}_X$는 유리수 값을 가진다. 이는 인접행렬의 특성다항식의 분할체에 대한 체의 자기동형사상 불변성 덕분이며, 고유값이 무리수일지라도 성립한다.
• 정점 수 $n$인 경로에 대해 $\u02c7{M}_X = \frac{1}{2n+2}(2J + I + T)$이다. 여기서 $T$는 중심을 기준으로 대칭적인 정점을 교환하는 순열 행렬이다.
• 홀수 순환 또는 $n$개의 정점과 $d$개의 계급, 각 계급의 가중치가 $m$인 가상순환 연관 체계에 속한 그래프에 대해 $\u02c7{M}_X = \frac{n-m+1}{n^2}J + \frac{m-1}{n}I$이다. 이는 그래프의 대칭성이 낮음에도 불구하고 혼합 행렬에 높은 대칭성을 보여준다.
• 정점 $u$와 $v$가 강한 공스펙트럴일 필요충분조건은 $\u02c7{M}_X(e_u - e_v) = 0$임을 보여주며, 이는 이 성질에 대한 스펙트럼 기준을 제공한다.