[논문 리뷰] Continuous Time Quantum Walks on Graphs: Group State Transfer

Luke C. Brown, William J. Martin외 1명|arXiv (Cornell University)|2021. 03. 16.

Quantum Computing Algorithms and Architecture인용 수 4

한 줄 요약

이 논문은 그래프에서 연속시간 양자 산책에 대해 군 상태 전송(GST)을 도입하며, 단일 정점 간 전송을 일반화하여 한 정점 집합에서 다른 정점 집합으로 양자 상태를 전송할 수 있도록 한다. 주요 기여는 이중성 GST가 단독성이며 희귀함을 보여주는 구조 정리로, 대칭 이중성 별, 정수 고유값을 가진 이분 그래프, 그리고 카르테시안 곱을 통한 그래프 합성에서 비자명한 예가 존재함을 밝힌다.

ABSTRACT

We introduce the concept of group state transfer on graphs, summarize its relationship to other concepts in the theory of quantum walks, set up a basic theory, and discuss examples. Let $X$ be a graph with adjacency matrix $A$ and consider quantum walks on the vertex set $V(X)$ governed by the continuous time-dependent unitary transition operator $U(t)= \exp(itA)$. For $S,T\subseteq V(X)$, we says $X$ admits "group state transfer" from $S$ to $T$ at time $τ$ if the submatrix of $U(τ)$ obtained by restricting to columns in $S$ and rows not in $T$ is the all-zero matrix. As a generalization of perfect state transfer, fractional revival and periodicity, group state transfer satisfies natural monotonicity and transitivity properties. Yet non-trivial group state transfer is still rare; using a compactness argument, we prove that bijective group state transfer (the optimal case where $|S|=|T|$) is absent for almost all $t$. Focusing on this bijective case, we obtain a structure theorem, prove that bijective group state transfer is "monogamous", and study the relationship between the projections of $S$ and $T$ into each eigenspace of the graph. Group state transfer is obviously preserved by graph automorphisms and this gives us information about the relationship between the setwise stabilizer of $S\subseteq V(X)$ and the stabilizers of naturally defined subsets obtained by spreading $S$ out over time and crudely reversing this process. These operations are sufficiently well-behaved to give us a topology on $V(X)$ which is likely to be simply the topology of subsets for which bijective group state transfer occurs at that time. We illustrate non-trivial group state transfer in bipartite graphs with integer eigenvalues, in joins of graphs, and in symmetric double stars. The Cartesian product allows us to build new examples from old ones.

연구 동기 및 목표

• 단일 정점 전송을 초월해 정점 집합 간 전송으로 상태 전송 개념을 체계화하고 일반화하기.
• 정점 부분집합 간 양자 상태 전송 조건을 조사하며, 이를 군 상태 전송(GST)이라 칭한다.
• GST의 구조적 및 위상적 성질을 수립하며, 단조성, 추이성 및 비자명한 이중성 GST의 희귀성 등을 포함한다.
• 그래프의 인접행렬 고유구조와 GST 발생 조건 간의 관계를 탐구하며, 특히 대칭 및 이분 그래프에서의 경우를 중심으로 분석한다.
• 합성 및 카르테시안 곱을 포함한 그래프 연산을 통해 새로운 GST 예를 구성하고, 스펙트럼 성질을 분석한다.

제안 방법

• 시간 $\tau$ 에서 집합 $S$ 에서 집합 $T$ 로의 GST를 정의하며, $U(\tau) = \exp(itA)$ 의 행이 $T$ 에 속하지 않고 열이 $S$ 에 속하는 부분행렬이 0이 되는 조건으로 정의한다.
• 인접행렬 $A$ 의 스펙트럼 분해를 사용하여 $U(\tau)$ 를 고유공간에 대한 사영으로 표현한다.
• 콤���트성 추론을 적용하여, 임의의 구간 내에서 이중성 GST(즉, $|S| = |T|$) 가 발생하는 시간 $t$ 는 유한 개 뿐임을 증명한다.
• 이중성 GST가 단독성임을 증명한다: 집합 $S$ 는 같은 크기의 다른 집합 $T$ 로 전송될 수 없으며, 이는 비자명한 경우에 국한된다.
• 그래프의 자동형사상과 고유공간 사영을 활용하여 GST 구성의 대칭성과 불변성을 유도한다.
• 대칭 이중성 별, 그래프 합성, 카르테시안 곱을 사용하여 구체적인 예를 구성하며, 고유값 및 사영 분석을 통해 GST 를 검증한다.

실험 결과

연구 질문

• RQ1 어떤 그래프 곱이 군 상태 전송를 유지하는가? 기존 예에서 체계적으로 새로운 GST 예를 구성할 수 있는가?
• RQ2 경로 그래프의 경우, 모든 이중성 GST를 갖는 정점 부분집합 쌍 $S, T$ 는 완전히 분류될 수 있는가?
• RQ3 모든 $t$-닫힘 정점 부분집합은 이중성 GST 로부터 유도되는가? 이러한 집합의 위상적 구조는 어떠한가?
• RQ4 가중치가 부여된 몫 그래프가 GST 구성으로부터 완벽한 상태 전송를 상속받는 조건은 무엇인가?
• RQ5 집합 $S$ 와 $T$ 사이에 최소 거리 $\delta$ 가 있는 그래프에서, GST 가 존재하는 정점 수는 $\delta$ 와 함께 지수적으로 증가하는가?

주요 결과

• 이중성 군 상태 전송는 단독성이다: 비자명한 경우를 제외하고 집합 $S$ 는 같은 크기의 다른 집합 $T$ 로 전송될 수 없다.
• 콤팩트성 추론을 통해, 임의의 유한 구간 내에서 유한 개를 제외한 모든 $t$ 에 대해, 최대한의 GST 쌍 $(\emptyset,\emptyset)$ 과 $(V(X),V(X))$ 만 존재한다.
• 도우블 스타 그래프에서 $m$ 개의 차수 1 정점을 가지며, $S = \{1,2\}$ 일 때, $\tau = 2\pi / \sqrt{4k+1}$ 에서 $(S,S)$-GST 가 발생하며, 고유값 및 사영 분석을 통해 검증된다.
• 완전 그래프 $K_m$ 두 개의 합성에서 $m \geq 3$ 일 경우, 비자명한 GST 가 시간 $\tau = 2\pi / \sqrt{4k+1}$ 에서 발생하며, $S$ 와 $T$ 는 두 정점 집합이다.
• 그래프의 카르테시안 곱은 GST 를 유지하며, 기존 예를 바탕으로 새로운 예를 구성할 수 있다.
• 정수 고유값을 가진 이분 그래프에서는 비자명한 GST 가 가능하며, 고유값 구조는 특정 시간에 일부 사영 항이 사라지게 하여 GST 를 가능하게 한다.