[논문 리뷰] Stabilisation of Quantum Computations by Symmetrisation

Adriano Barenco, André Berthiaume외 4명|ArXiv.org|1996. 04. 25.

Quantum Computing Algorithms and Architecture참고 문헌 1인용 수 21

한 줄 요약

이 논문은 R개의 부가적인 큐비트 복제본에 대한 대칭 부분공간에 투영함으로써 대칭화를 통한 양자 오류 안정화 방법을 제안한다. 여러 개의 양자 상태 복제본을 대칭 부분공간에 투영함으로써 하드웨어의 정밀도 부족으로 인한 유니터리 오류와 환경의 디코herence로 인한 비유니터리 오류를 억제하며, 부가성 R이 증가함에 따라 오류 억제가 지수적으로 향상되지만, 이는 다항시간의 양자 연산이 필요하고 이를 빠르게 수행해야 하므로 대규모 계산에 대한 확장성에 제약이 있다.

ABSTRACT

We propose a method for the stabilisation of quantum computations (including quantum state storage). The method is based on the operation of projection into $\cal SYM$, the symmetric subspace of the full state space of $R$ redundant copies of the computer. We describe an efficient algorithm and quantum network effecting $\cal SYM$--projection and discuss the stabilising effect of the proposed method in the context of unitary errors generated by hardware imprecision, and nonunitary errors arising from external environmental interaction. Finally, limitations of the method are discussed.

연구 동기 및 목표

• 양자역학의 노클로닝 정리와 노측정 정리로 인해 고전적 다수결정 방식을 적용할 수 없는 점을 감안해, 고전적 다수결정 방식의 한계를 피하는 양자역학적 안정화 방법을 개발하는 것.
• 하드웨어 정밀도 부족과 환경 디코herence로 인한 불안정성 요인을 다루며, 이는 입력 크기 증가에 따라 성공 확률이 지수적으로 감소하게 만든다.
• 고전적 측정이나 상태 준비 없이 오직 양자 연산만을 사용하여 양자 계산을 안정화시키는 방법을 제공함으로써, 초위상과 위상 일관성을 유지하는 것.
• 대칭화 기반 오류 보정의 실현 가능성과 한계를 분석하며, 특히 자원 스케일링과 물리적 구현 속도 측면에서 고려한다.

제안 방법

• R개의 부가적 복제본을 대칭 부분공간 $\mathcal{SYM}$ 에 투영함으로써, 이는 복제본의 순열에 대해 불변이므로 순열 대칭성을 깨는 오류를 억제한다.
• 제어된-SWAP (프레드킨) 게이트와 보조 큐비트를 사용하여 $\mathcal{SYM}$-투영을 효율적으로 구현하는 양자 네트워크를 구성하며, 이 네트워크는 $O(R^2)$개의 게이트와 $O(R \log R)$개의 보조 큐비트를 필요로 한다.
• 오류가 시간이 지남에 따라 누적되는 동안 계산 중에 주기적으로 투영 과정을 적용하여 오류를 수정하며, 이로 인해 오류 확률은 부가성 R에 따라 지수적으로 감소한다.
• 대칭 상태는 국소적 오류에 덜 민감하며, $R \to \infty$일 때 대칭화된 상태 $\tilde{\rho}$가 원래의 손상되지 않은 상태 $\rho_0$에 수렴함으로써 순수성이 향상됨을 활용한다.
• 분석은 출력 상태의 피어스티 및 순수성에 기반하며, 대칭화된 상태의 순수성은 $\mathrm{Tr}(\tilde{\rho}^2) = 1 + \frac{2}{R}\mathrm{Tr}(\rho_0\tilde{\sigma})$로 주어지며, 원래 상태보다 순수성이 향상됨을 보여준다.

실험 결과

연구 질문

• RQ1 오직 양자 연산만을 사용하고 고전적 측정이나 복제 없이, 유니터리 및 비유니터리 오류에 대해 양자 계산을 안정화시킬 수 있는가?
• RQ2 대칭 부분공간 투영에서 부가적 복제 수 R이 증가함에 따라 오류 억제는 어떻게 스케일링되는가?
• RQ3 실제 구현에서 대칭화 기반 오류 보정을 구현하기 위한 물리적 및 계산 자원 요구 조건은 무엇인가?
• RQ4 대칭화가 디코herence로 인해 성공 확률이 지수적으로 감소하는 양자 알고리즘을 안정화시킬 수 있는가?

주요 결과

• 대칭화 방법은 부가적 복제 수 R에 따라 양자 계산의 오류 확률을 지수적으로 감소시키며, 유니터리 오류의 경우 $\exp(-\eta^2 R / 6)$의 순서로 억제되며, 고전적 다수결정과 유사하지만 양자 호환 방식이다.
• 환경 상호작용으로 인한 비유니터리 오류의 경우, 대칭화된 상태 $\tilde{\rho}$는 원래 상태보다 더 높은 순수성을 가지며, $R$이 증가함에 따라 $\mathrm{Tr}(\tilde{\rho}^2)$는 1에 수렴하여 상태의 정밀도가 향상됨을 나타낸다.
• 입력 크기 $L$에 대해 $R \sim L$개의 부가적 복제본이 필요한 선형 시간 양자 계산을 안정화하는 데 효과적이지만, 이는 $L$에 비례하는 속도로 대칭화 연산을 수행해야 하므로 물리적 병목 현상이 발생한다.
• 오류 보정 과정 자체에도 오류가 발생할 수 있으며, 보정 장치는 $O(R^2)$개의 큐비트를 필요로 하므로 $R \sim L$일 경우 보정 대상 시스템과 비슷한 크기의 자원을 요구하게 되어 자기 일관성 문제를 야기한다.
• 보정 과정의 오류율이 높더라도, 원리적으로는 방법이 효과적이며, 시계 비유를 통해 설명할 수 있다: 보정이 오류보다 정확도가 낮더라도 누적 오류는 유한하게 유지된다.
• 이 방법은 점근적으로는 지수적으로 효율적이지 않으며, 필요한 대칭화 속도가 입력 크기와 선형적으로 증가하므로, 가속도 요인에 따라 자원이 지수적으로 증가하게 되어 대규모 양자 계산의 확장성에 제약이 있다.