[논문 리뷰] Encoded universality from a single physical interaction

Julia Kempe, Dave Bacon외 2명|arXiv (Cornell University)|2001. 12. 01.

Quantum Computing Algorithms and Architecture참고 문헌 11인용 수 45

한 줄 요약

이 논문은 단일 물리적 상호작용, 특히 비등방성 교환(XY) 상호작용를 사용하여 양자 계산에서 인코딩된 보편성을 위한 조건을 수립한다. 리 대수적 분석과 고차원 시스템에 대한 큐디트의 인코딩을 활용하여, 저자들은 보편성이 큐비트가 아닌 큐트리트를 사용하여 달성될 수 있음을 보여주며, 이는 이소트ropic(헤이젠베르크) 교환에 대한 이전 결과를 확장하고, 인코딩된 시스템에서의 고장내성 및 누설 문제를 다룬다.

ABSTRACT

We present a theoretical analysis of the paradigm of encoded universality, using a Lie algebraic analysis to derive specific conditions under which physical interactions can provide universality. We discuss the significance of the tensor product structure in the quantum circuit model and use this to define the conjoining of encoded qudits. The construction of encoded gates between conjoined qudits is discussed in detail. We illustrate the general procedures with several examples from exchange-only quantum computation. In particular, we extend our earlier results showing universality with the isotropic exchange interaction to the derivation of encoded universality with the anisotropic exchange interaction, i.e., to the XY model. In this case the minimal encoding for universality is into qutrits rather than into qubits as was the case for isotropic (Heisenberg) exchange. We also address issues of fault-tolerance, leakage and correction of encoded qudits.

연구 동기 및 목표

• 단일 물리적 상호작용이 인코딩된 큐디트를 통해 보편적 양자 계산을 가능하게 하는 조건을 규명하는 것.
• 이소트ropic(헤이젠베르크) 교환에 대한 이전 결과를 비등방성(XY) 교환 상호작용으로 확장하는 것.
• XY 모델에서 보편성의 최소 인코딩으로 큐비트가 아닌 큐트리트가 사용된다는 것을 입증하는 것.
• 텐서 곱 구조를 활용하여 연결된 큐디트 간의 인코딩된 게이트를 구성하는 프레임워크를 개발하는 것.
• 인코딩된 큐디트 시스템에서의 고장내성, 누설 및 오류 수정 문제를 다루는 것.

제안 방법

• 단일 상호작용 해밀토니안에서 보편성 조건을 유도하기 위해 리 대수적 분석을 사용하는 것.
• 양자 회로 모델의 텐서 곱 구조를 통해 인코딩된 큐디트의 연결을 정의하는 것.
• 상호작용의 대수적 성질을 활용하여 연결된 큐디트 간의 인코딩된 양자 게이트를 구성하는 것.
• 특히 XY 모델을 활용하여 교환 전용 양자 계산에 프레임워크를 적용하는 것.
• 유도된 인코딩 체계를 사용하여 인코딩된 큐디트 시스템에서의 고장내성 및 누설을 분석하는 것.
• 대수적 및 인코딩 기법을 통해 이소트ropic 교환에 대한 이전 결과를 비등방성 교환 상호작용으로 확장하는 것.

실험 결과

연구 질문

• RQ1 XY 상호작용과 같은 단일 물리적 상호작용이 인코딩되었을 때, 어떤 조건에서 보편적 양자 계산이 가능해지는가?
• RQ2 왜 XY 모델에서 보편성의 최소 인코딩은 큐비트가 아니라 큐트리트인가?
• RQ3 텐서 곱 구조를 사용하여 연결된 큐디트 간의 인코딩된 게이트를 체계적으로 어떻게 구성할 수 있는가?
• RQ4 교환 전용 양자 계산에서 인코딩된 큐디트를 사용할 경우 고장내성 및 누설 보정에 어떤 영향을 미치는가?
• RQ5 리 대수적 프레임워크는 단일 상호작용에서 보편성 조건을 유도하는 데 어떻게 기여하는가?

주요 결과

• XY 모델에서 보편성은 이소트ropic(헤이젠베르크) 교환과 마찬가지로 큐비트가 아니라 큐트리트로 인코딩함으로써 달성 가능하다.
• 리 대수적 프레임워크는 단일 물리적 상호작용에서 인코딩된 보편성 조건을 유도하는 일반적인 방법을 제공한다.
• 양자 회로 모델의 텐서 곱 구조를 활용하여 연결된 큐디트 간의 인코딩된 게이트를 체계적으로 구성할 수 있다.
• 프레임워크는 인코딩된 큐디트 시스템에 누설 및 오류 수정 메커니즘을 통합함으로써 고장내성 양자 계산을 가능하게 한다.
• 이전의 이소트ropic 교환에 대한 결과를 비등방성 교환으로 확장하여, 인코딩된 큐디트를 통해 XY 모델에서의 보편성을 입증한다.
• XY 모델에서 보편성의 최소 인코딩 차원은 상호작용의 대수적 구조에 기인하여 3이며, 이는 큐트리트에 해당한다.