[논문 리뷰] Quantum structures from association schemes

Radhakrishnan Balu|arXiv (Cornell University)|2019. 02. 22.

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

한 줄 요약

이 논문은 유한군에서 유도된 조합적 구조에서 얻어진 연관 스킴을 기반으로 양자 마르코프 체인(QMCs)과 상호작용하는 포크 공간(IFS)을 구성한다. 이는 보세-메스너 대수와 교차 수를 사용하며, 얽힌 QMCs를 도입하고 그라스만 스킴에 대한 양자 중심극한정리(QCLT)를 수립하여 명시적인 渐近 파rameter를 가진 곱 측도로 수렴함을 보여준다.

ABSTRACT

Starting from an association scheme induced by a finite group and the corresponding Bose-Mesner algebra we construct quantum Markov chains (QMC), their entangled versions, and interacting Fock spaces (IFS) using the quantum probabilistic approach. Our constructions are based on the intersection numbers and their duals Krien parameters of the schemes with examples focused on regular (distance-regular and distance-transitive) graphs.

연구 동기 및 목표

• 유한군에서 유도된 연관 스킴의 이중 하이퍼군 위에 양자 마르코프 체인(QMCs)을 개발하기 위해.
• 창조, 소멸, 유지 연산자(CAPs)를 통해 고전 마르코프 체인을 자연스럽게 통합하는 얽힌 버전의 QMCs로 확장하기 위해.
• 거리 정규 그래프의 보세-메스너 대수를 기반으로 일반화된 자코비 매개변수를 사용하여 상호작용하는 포크 공간(IFS)을 구성하기 위해.
• 그라스만 스킴에 대해 양자 중심극한정리(QCLT)를 수립하여 개별 모드 측도가 한계에서 곱 측도로 수렴함을 보장하기 위해.
• 다중 모드, 계층 기반 자유도를 갖는 성장하는 그래프 위에서 양자 정보 및 시뮬레이션 응용을 위한 양자 워크 모델을 가능하게 하기 위해.

제안 방법

• 연관 스킴의 보세-메스너 대수를 행렬 곱셈에 대해 닫혀 있는 *-대수로 사용하며, 기저 행렬이 인접 관계에 대응한다.
• 교차 수 $p^n_{j;1,n}$ 와 이중 크라이엔 매개변수를 사용하여 창조, 소멸, 유지 연산자(CAPs)를 대수 위에서 정의한다.
• 공진 상태 $\Phi_0 = 1_{\mathcal{P}}$ 와 창조 연산자 $\Phi_{j,n} = a^{+}_{jn} \cdots a^{+}_{j1} \Phi_0$ 를 이용한 반복적 상태 생성을 통해, 모드 상태의 곱 벡터로 생성된 전히르베르트 공간으로서 IFS를 구성한다.
• 그라스만 스킴 $J_q(n,d)$ 에서 개별 모드 측도의 수렴을 보여주기 위해 양자 중심극한정리(QCLT)를 적용한다.
• 명시적인 渐近 파rameter 유도: $p^{n-1}_{j;1,n} = (2-n)(v-n)$, $p^n_{j;1,n} = n(v-2)$, $p^n_{j;1,n} = n(v-2n)$, 그리고 $p^0_{1,1} = d(n-d)$ for $n \leq \min\{d, v-d\}$.
• IFS의 반복적 구조를 정의하기 위해 자코비 관계 $B_j P_n = P_{n+1} B_j P_n + P_n B_j P_n + P_{n-1} B_j P_n$ 수립.

실험 결과

연구 질문

• RQ1 유한군에서 유도된 연관 스킴의 이중 하이퍼군에서 양자 마르코프 체인을 어떻게 구성할 수 있는가?
• RQ2 교차 수와 크라이엔 매개변수는 양자 확률 프레임워크에서 창조, 소멸, 유지 연산자를 정의하는 데 어떤 역할을 하는가?
• RQ3 고전 마르코프 체인을 유지하면서 양자 상관관계를 보존하는 동시에, QMCs의 얽힌 버전을 체계적으로 어떻게 구성할 수 있는가?
• RQ4 상호작용하는 포크 공간(IFS)은 다중 모드 그래프 위의 양자 힘의 움직임을 위한 양자 조화 진동자 포크 공간을 어떻게 일반화하는가?
• RQ5 특히 그라스만 스킴에서 큰 그래프의 극한에서 어떤 渐近 행동이 나타나며, 양자 중심극한정리는 어떻게 적용되는가?

주요 결과

• 연관 스킴의 이중 하이퍼군 위에 QMCs를 구성함으로써, 고전 마르코프 체인이 교환자 부분대수에 제한된 경우에 나타나는 양자 확률적 프레임워크를 수립한다.
• 얽힌 QMCs는 교차 수에서 유도된 CAP 연산자를 사용하여 고전 체인을 비가환 대수적 구조에 자연스럽게 통합함으로써 실현된다.
• IFS는 보세-메스너 대수에서 반복적으로 구성되며, 공진 상태 $\Phi_0 = 1_{\mathcal{P}}$ 에 창조 연산자가 작용하여 상태 벡터가 생성된다.
• 그라스만 스킴 $J_q(n,d)$ 에서 IFS의 渐近 파rameter는 명시적으로 유도된다: $p^{n-1}_{j;1,n} = (2-n)(v-n)$, $p^n_{j;1,n} = n(v-2)$, $p^n_{j;1,n} = n(v-2n)$ for $n \leq \min\{d, v-d\}$.
• 양자 중심극한정리(QCLT)는 개별 모드의 곱 측도가 한계 상태로 수렴함을 보장하며, 기저 상태 매개변수로 $p^0_{1,1} = d(n-d)$ 를 제공한다.
• 이 프레임워크는 양자 조화 진동자 포크 상태와 유사하게, 슈뢰딩거 고양이 상태 및 압축 상태와 같은 비고전적 양자 상태를 IFS 위에서 구성하는 데 기여한다.