[논문 리뷰] Perfect state transfer of quantum walks on quotient graphs

Rachel Elizabeth Bachman, Eric Fredette외 5명|arXiv (Cornell University)|2011. 08. 01.

Quantum Computing Algorithms and Architecture인용 수 1

한 줄 요약

이 논문은 동치 분할을 통한 몫 그래프에서 양자 워크의 완벽한 상태 전달이 유지됨을 입증하여, 비대칭 정점 간의 상태 전달이 가능함을 보여주며, 이를 통해 완벽한 상태 전달을 갖는 그래프를 구성할 수 있다. 또한, 몫 그래프의 카르테시안 곱이 원래 그래프의 카르테시안 곱의 몫과 동형임을 증명하여, 다보손 양자 워크 구축에 대한 대수적 기반을 제공한다.

ABSTRACT

We prove new results on perfect state transfer of quantum walks on quotient graphs. Since a graph $G$ has perfect state transfer if and only if its quotient $G/\pi$, under any equitable partition $\pi$, has perfect state transfer, we exhibit graphs with perfect state transfer between two vertices but which lack automorphism swapping them. This answers a question of Godsil (Discrete Mathematics 312(1):129-147, 2011). We also show that the Cartesian product of quotient graphs $\Box_{k} G_{k}/\pi_{k}$ is isomorphic to the quotient graph $\Box_{k} G_{k}/\pi$, for some equitable partition $\pi$. This provides an algebraic description of a construction due to Feder (Physical Review Letters 97, 180502, 2006) which is based on many-boson quantum walk.

연구 동기 및 목표

• Godsil(2011)이 제기한 질문에 대해, 어떤 자동형사상에 의해도 서로 교환되지 않는 정점 간에 완벽한 상태 전달이 존재하는가를 해결하는 것.
• 어떤 동치 분할에 대해서든 그래프의 완벽한 상태 전달과 그 몫 간의 대응 관계를 설정하는 것.
• 카르테시안 곱의 몫 그래프에 대한 대수적 특성화를 제공하여, 원래 그래프의 카르테시안 곱의 몫과 연결하는 것.
• Feder(2006)의 다보손 양자 워크 구축을 몰입 그래프를 사용하여 형식적인 대수적 기술로 제공하는 것.

제안 방법

• 그래프의 동치 분할 이론을 활용하여 몰입 그래프를 정의하고, 양자 워크에 관련된 스펙트럼 성질을 유지하는 것.
• 어떤 동치 분할에 대해서든 그래프와 그 몫 간의 완벽한 상태 전달의 등가성을 활용하여 스펙트럼 그래프 이론을 적용하는 것.
• 그래프의 카르테시안 곱의 구조를 활용하여, 적절한 동치 분할 $\pi$에 대해 $\Box_k G_k / \pi$ 가 $\Box_k (G_k / \pi_k)$ 와 동형임을 보이는 것.
• 행렬 대수와 고유값 분석을 사용하여 몰입 그래프의 인접 행렬이 원래 그래프의 동역학을 반영함을 보이는 것.
• 완벽한 상태 전달과 스펙트럼 분해에 대한 기존 결과에 기반하여, 몰입에 의한 성질의 불변성을 증명하는 것.
• 몰입 그래프의 대수적 구조를 물리적 양자 워크 모델, 특히 Feder의 연구에서 다루는 다보손 시스템과 연결하는 것.

실험 결과

연구 질문

• RQ1 완벽한 상태 전달이 어떤 자동형사상에 의해도 서로 교환되지 않는 정점 간에 발생할 수 있는가?
• RQ2 어떤 동치 분할에 대해서든 그래프에서의 완벽한 상태 전달이 그 몫 그래프에서의 완벽한 상태 전달을 의미하는가?
• RQ3 일관된 동치 분할 하에서, 몰입 그래프의 카르테시안 곱이 원래 그래프의 카르테시안 곱의 몫과 동형인가?
• RQ4 몰입 그래프를 통한 다보손 양자 워크 구축에 대해 대수적 특성화를 제공할 수 있는가?
• RQ5 양자 워크 동역학의 맥락에서 그래프의 스펙트럼 성질과 그 몫 간의 관계는 무엇인가?

주요 결과

• 논문은 자동형사상에 의해 서로 교환되지 않는 정점 간에도 완벽한 상태 전달이 발생할 수 있음을 확인하여, Godsil의 질문에 대해 긍정적인 답변을 제시한다.
• 어떤 동치 분할 $\pi$에 대해서든 그래프 $G$가 완벽한 상태 전달을 갖는다 하면, 그 몫 $G/\pi$ 역시 완벽한 상태 전달을 갖는다. 이를 바탕으로 필수 조건이 성립함을 증명한다.
• 특정한 동치 분할 $\pi$에 대해, 몰입 그래프의 카르테시안 곱 $\Box_k G_k / \pi_k$ 는 몰입 그래프 $\Box_k G_k / \pi$ 와 동형임을 보여주며, 이는 구조적 동치성을 확립한다.
• 이 동형성은 Feder의 다보손 양자 워크 구축에 대한 대수적 프레임워크를 제공하며, 이는 이전에 물리적 직관에 의존하여 기술된 바가 있다.
• 결과적으로, 동치 분할에 의해 보존되는 스펙트럼 성질에 의해 몰입 그래프에서의 양자 워크의 동역학이 완전히 결정됨을 보여준다.
• 이 프레임워크는 자동형사상으로 전이 정점들을 교환하지 않는 경우에도, 완벽한 상태 전달을 갖는 그래프를 체계적으로 구성할 수 있도록 한다.