[논문 리뷰] The Structure of Decoherence-free Subsystems

Ji Guan, Yuan Feng외 1명|arXiv (Cornell University)|2018. 02. 14.

Quantum Computing Algorithms and Architecture인용 수 4

한 줄 요약

이 논문은 개방 양자 시스템에서 비분해성 하위계의 포괄적인 구조 이론을 개발하여, 새로운 알고리즘을 통해 모든 최대 비분해성 하위계를 체계적으로 식별할 수 있도록 한다. 기존의 무소음 하위계 이론을 일반화함으로써, 힐베르트 공간의 분해를 통해 초연성 연산자가 비분해성 동역학을 어떻게 결정하는지 밝혀내며, 행렬 곱 상태와 양자 다체계에의 응용을 포함한다.

ABSTRACT

Decoherence-free subsystems have been successfully developed as a tool to preserve fragile quantum information against noises. In this letter, we develop a structure theory for decoherence-free subsystems. Based on it, we present an effective algorithm to construct a set of maximal decoherence-free subsystems in the sense that any other such subsystem is a subspace of one of them. As an application of these techniques in quantum many body systems, we propose a simple and numerically robust method to determine if two irreducible tensors are repeated, a key step in deciding if they are equivalent in generating matrix product states.

연구 동기 및 목표

• 비분해성 하위계에 대한 완전한 구조 이론을 수립하여, 무소음 하위계 이론을 일반화하는 것.
• 주어진 양자 연산(초연성 연산자)에 대해 모든 비분해성 하위계—특히 최대 하위계—를 체계적으로 식별할 수 있는 방법의 부재를 해결하는 것.
• 모든 최대 비분해성 하위계를 포함하는 집합을 구성할 수 있는 수치적으로 안정된 알고리즘을 제공하는 것.
• 행렬 곱 상태에 이 구조 이론을 적용하여 양자 다체계에서 기저 성분의 임의의 기저를 효율적으로 계산할 수 있도록 하는 것.

제안 방법

• 힐베르트 공간의 유일한 직교 분해를 도입: $\mathcal{H} = \bigoplus_{l=1}^{L} \mathcal{X}_l \oplus \mathcal{K}$, 여기서 각 $\mathcal{X}_l$ 은 연속적인 위상 일관성을 가지는 상호직교 최소 부분공간의 블록이다.
• 최소 부분공간 간의 연속적 위상 일관성을 대칭적이고 추이적인 관계로 정의하여 동치류로 묶어 $\mathcal{X}_l$ 블록을 형성한다.
• 초연성 연산자 $\mathcal{E}$ 의 크라우스 연산자를 단위 행렬의 위상 $U_l = \text{diag}(e^{i\theta_{l,p}})$ 를 반영한 블록 대각형으로 표현하여 각 $\mathcal{X}_l$ 내에서의 위상 일관성 진동을 반영한다.
• 고정점의 구조 $\text{fix}(\mathcal{E}) \simeq \bigoplus_l [\mathcal{L}(\mathbb{C}^{m_l}) \otimes \rho_l] \oplus 0_\mathcal{K}$ 를 이용하여 비분해성 하위계를 특성화한다.
• 고정점의 블록 $\mathcal{X}_l$ 을 식별하고, $\mathcal{X}_l \simeq \mathbb{C}^{m_l} \otimes \mathcal{B}_l$ 로 분해함으로써 알고리즘을 구성한다. 여기서 $\mathcal{B}_l$ 은 유효 채널 $\mathcal{E}_l$ 에 대해 비가역적이다.
• 행렬 곱 상태에 이 프레임워크를 적용하기 위해, 비가역 텐서가 반복되는지 여부를 판단하고, 유도된 기저를 사용해 동일한 상태를 생성하는지 테스트한다.

실험 결과

연구 질문

• RQ1 초연성 연산자에 기반하여 비분해성 하위계의 구조를 어떻게 체계적으로 특성화할 수 있는가?
• RQ2 최소 부분공간 간의 연속적 위상 일관성과 힐베르트 공간의 비분해성 블록으로의 분해 사이의 정확한 관계는 무엇인가?
• RQ3 주어진 초연성 연산자에 대해 모든 최대 비분해성 하위계를 찾는 완전한 알고리즘을 개발할 수 있는가?
• RQ4 이 구조 이론을 사용하여 행렬 곱 상태 구성에서 비가역 텐서의 동치성을 어떻게 판단할 수 있는가?
• RQ5 고정점 대수 $\text{fix}(\mathcal{E})$ 는 최대 비분해성 하위계를 식별하는 데 어떤 역할을 하는가?

주요 결과

• 논문은 고유한 직교 분해 $\mathcal{H} = \bigoplus_{l=1}^{L} \mathcal{X}_l \oplus \mathcal{K}$ 를 수립하여, 각 $\mathcal{X}_l$ 이 최대 비분해성 하위계에 대응함을 보였다.
• 각 $\mathcal{X}_l$ 은 $\mathcal{X}_l \simeq \mathbb{C}^{m_l} \otimes \mathcal{B}_l$ 로 분해되며, $\mathcal{B}_l$ 은 유효 채널 $\mathcal{E}_l$ 에 대해 비가역적이고, $\mathcal{E}$ 의 크라우스 연산자는 단위 행렬 위상 $U_l$ 을 반영한 블록 대각형의 구조를 띤다.
• 고정점 대수 $\text{fix}(\mathcal{E})$ 는 $\bigoplus_l [\mathcal{L}(\mathbb{C}^{m_l}) \otimes \rho_l] \oplus 0_\mathcal{K}$ 와 동형이며, 여기서 $\rho_l$ 은 $\mathcal{E}_l$ 의 유일한 정적 상태로, 무소음 하위계 이론이 특수한 경우임을 확인한다.
• 알고리즘은 모든 다른 비분해성 하위계가 그 중 하나의 부분공간이 되도록 최대 비분해성 하위계의 집합을 구성하여 완전한 분류를 제공한다.
• 이 방법은 행렬 곱 상태 구성에서 두 비가역 텐서가 반복되는지 여부를 수치적으로 안정적으로 판단할 수 있게 하며, 이는 텐서 동치성 테스트의 핵심 단계이다.
• 이 프레임워크는 무소음 하위계 이론을 일반화하고, 이산 및 연속 시간 양자 시스템 모두에서 비분해성 동역학을 식별하기 위한 선형대수학적이고 알고리즘 기반의 접근법을 제공한다.