[논문 리뷰] Fundamentals of fractional revival in graphs

Ada Chan, Gabriel Coutinho외 7명|arXiv (Cornell University)|2020. 04. 02.

Quantum Computing Algorithms and Architecture인용 수 4

한 줄 요약

이 논문은 그래프 위의 양자 스핀 네트워크에서 분수 복귀(fractional revival)를 분석하기 위한 스펙트럼 프레임워크를 개발한다. 이는 코스펙트럴리티(cospectrality)를 임의의 정점 부분집합으로 일반화하고, 강한 분수 코스펙트럴리티(strong fractional cospectrality)를 필수 조건으로 도입한다. 논문은 분수 복귀가 비단독성(non-monogamous)임을 입증함으로써 열려 있는 질문들을 해결한다—세 개 이상의 정점이 상호 복귀를 나타낼 수 있으며, 주어진 $K$-분수 복귀를 갖는 그래프를 구성하는 데 유용한 구축 방법을 제공한다. 이 프레임워크를 통해 특정 시간에 지정된 전이 행렬을 갖는 가중치가 부여된 그래프를 설계할 수 있다.

ABSTRACT

We develop a general spectral framework to analyze quantum fractional revival in quantum spin networks. In particular, we introduce generalizations of the notions of cospectral and strongly cospectral vertices to arbitrary subsets of vertices, and give various examples. This work resolves two open questions of Chan et.~al. ["Quantum Fractional Revival on graphs". Discrete Applied Math, 269:86-98, 2019.]

연구 동기 및 목표

• 완전한 상태 전달에서 사용되는 스펙트럼 도구를 분수 복귀의 더 넓은 맥락인 양자 스핀 네트워크로 일반화하기 위해.
• 두 가지 열린 질문을 해결하기 위해: 분수 복귀가 비코스펙트럴 정점 간에 발생할 수 있는가, 그리고 세 개 이상의 정점 간에 상호 비단독성일 수 있는가.
• 임의의 정점 부분집합 $K$에 대해 $K$-분수 복귀를 특성화하는 일반적인 스펙트럼 프레임워크를 개발하기 위해.
• 지정된 시간에 특정한 정점 집합 간에 분수 복귀를 나타내는 가중치가 부여된 그래프를 구축하는 데 유용한 방법을 제공하기 위해.
• $K$-분수 복귀가 발생하기 위한 필수 조건인 분해 가능성(decomposability)과 강한 분수 코스펙트럴리티(strong fractional cospectrality)를 확립하기 위해.

제안 방법

• 완전한 상태 전달에서 유래한 개념을 일반화하여, 임의의 정점 부분집합 $K$에 대해 코스펙트럴리티와 강한 코스펙트럴리티의 일반화된 개념을 도입한다.
• $U(t)e_a$ 가 모든 $a \in K$ 에 대해 $K$ 에만 지지되는 조건을 통해 $K$-분수 복귀를 정의한다. 여기서 $U(t) = e^{-itA}$ 는 양자 워크 진동의 진화이다.
• 스펙트럼 분해 $A = \sum_r \theta_r E_r$ 를 사용하여 $U(t) = \sum_r e^{-it\theta_r} E_r$ 를 표현하고, 고유공간 위의 사영 연산자의 구조를 분석한다.
• 고유값 $\theta_1, \dots, \theta_n$ 과 실수 고유벡터의 orthonormal 기저를 행렬 $P$ 를 통해 지정함으로써 그래프를 구성하고, $A = PDP^T$ 를 정의한다.
• 최소 사영 연산자 $P_{\min}^K$ 가 고유값 간 비율 조건을 만족하도록 보장하여 분수 복귀를 보장한다. 이를 위해 정수 $\sigma, \omega$ 를 이용한 고유값 이동을 사용한다.
• 임의의 $|K| \times |K|$ 대칭 유니터리 행렬 $H$ 와 시간 $\tau$ 에 대해, $\widetilde{U(\tau)} = H$ 가 $K$ 에서 성립하도록 가중치가 부여된 그래프를 구성할 수 있음을 보여준다.

실험 결과

연구 질문

• RQ1 코스펙트럴리티 개념을 두 정점 이외의 경우로 일반화할 때, $K$-분수 복귀가 발생하기 위한 스펙트럼 조건은 무엇인가?
• RQ2 비코스펙트럴 정점 간에 분수 복귀가 발생할 수 있는가, 그리고 만약 가능하면 어떤 조건에서 가능할까?
• RQ3 분수 복귀는 단독성인가? 즉, 한 번에 한 쌍의 정점만 복귀를 나타내는가, 아니면 여러 쌍이 동시에 존재할 수 있는가?
• RQ4 크기가 2 이상인 부분집합 $K$ 에 대해, $K$ 내 모든 정점 쌍이 복귀를 나타내는 그래프를 구성할 수 있는가?
• RQ5 지정된 전이 행렬 $H$ 를 실현하기 위해 고유값과 고유공간에 어떤 구조적 제약 조건이 필요한가?

주요 결과

• 논문은 비코스펙트럴 분수 복귀에 대한 열린 질문을 해결하여, 강한 분수 코스펙트럴리티가 비록 전통적인 의미에서 코스펙트럴이 아니더라도 필수 조건임을 입증한다.
• 분수 복귀가 비단독성임을 증명한다—크기가 3 이상인 부분집합 $K$ 의 모든 정점 쌍이 상호 분수 복귀를 나타내는 그래프가 존재한다.
• 임의의 $K \geq 2$ 에 대해, 목표 시간 $\tau$ 와 $|K| \times |K|$ 대칭 유니터리 행렬 $H$ 가 주어지면, $K$-분수 복귀를 갖는 가중치가 부여된 그래프를 구성하는 데 유용한 방법을 제공한다.
• 프레임워크는 고유값이 산술적 진행이 아닐 경우에도 $K$-분수 복귀가 가능함을 보여주며, 이는 이전의 가정을 초월한다.
• 임의의 $\tau > 0$ 과 비대각 대칭 유니터리 행렬 $H$ 에 대해, $\widetilde{U(\tau)} = H$ 가 $K$ 에서 성립하도록 명시적으로 가중치가 부여된 그래프 $X$ 를 구성할 수 있다. 여기서 $U(\tau)$ 는 블록 대각 행렬이다.
• 최소 사영 연산자 $P_{\min}^K$ 에서 비율 조건을 만족시키기 위해 정수 $\sigma, \omega$ 를 이용한 고유값 이동을 사용함으로써, 분수 복귀의 스펙트럼 기준을 충족하는 그래프를 구성한다.