[논문 리뷰] Exploiting non-quantum entanglement to widen applicability of limited-entanglement classical simulations of quantum systems

N. Ratanje, S. Virmani|arXiv (Cornell University)|2012. 01. 03.

Quantum Computing Algorithms and Architecture인용 수 3

한 줄 요약

이 논문은 양자 분리 가능성 이상의 일반화된 엔트로피 개념을 사용할 경우, 안정자 기반 양자 컴퓨터의 고전적 시뮬레이션 범위를 크게 확장할 수 있음을 보여준다. 제한된 측정 집합에 대해 분리 가능성의 정의를 재정의함으로써, Harrow-Nielsen 시뮬레이션 알고리즘은 CNOT 게이트에 대해 최대 56%의 공동 쇄도 노이즈를 가진 마법 상태 양자 컴퓨터를 효율적으로 고전적으로 시뮬레이션할 수 있으며, 이는 기존의 표준 양자 엔트로피 기준을 사용했을 때의 66% 이론보다 향상된 성능이다.

ABSTRACT

It is known that if the quantum gates in a proposed quantum computer are so noisy that they are incapable of generating entanglement, then the device can be efficiently simulated classically. If the measurements and single particle operations are restricted, then the same statement can be true for generalised non-quantum notions of entanglement. Here we show that this can improve the applicability of limited-entanglement simulation algorithms. In particular, we show that by using a non-quantum notion of separability a classical simulation algorithm of Harrow & Nielsen can efficiently simulate magic state quantum computers with noisy CNOTs (but otherwise ideal) for joint depolarising strengths of 272/489 ~ 56%, in comparison to noise levels of 2/3 ~ 66% required if the algorithm uses quantum notions of separability. This suggests that quantum entanglement may not be the most appropriate notion of entanglement to use when discussing the power of stabilizer based quantum computers.

연구 동기 및 목표

• 표준 양자 분리 가능성 이외의 다른 엔트로피 개념이 고전적 시뮬레이션 알고리즘의 적용 범위를 향상시킬 수 있는지 조사하기 위해.
• 안정자 기반 양자 계산에서 일반화된 엔트로피 기준 하에서 Harrow-Nielsen 시뮬레이션 알고리즘이 적용 가능한지 평가하기 위해.
• 마법 상태 등의 비안정자 자원이 비양자 엔트로피 측정법과 조합될 경우 고전적으로 취급될 수 있는지 확인하기 위해.
• 일반화된 분리 가능성 하에서 효율적인 고전적 시뮬레이션을 허용하는 CNOT 게이트의 최소 노이즈 수준을 특정하기 위해.
• 블로흐 구상에서의 잘린 입방체가 이러한 시뮬레이션에서 최대 노이즈 내성 달성을 위한 최적의 집합 C인지 탐색하기 위해.

제안 방법

• C가 단일 입자 상태의 볼록 집합이며 단일 큐비트 연산에 대해 닫혀 있을 때, 양자 분리 가능성 대신 C-분리 가능성으로 Harrow-Nielsen 고전적 시뮬레이션 알고리즘을 수정한다.
• 측정 집합 M의 쌍대를 사용하여 C-분리 가능성을 정의함으로써, 시뮬레이션 중 측정 확률이 음수가 되지 않도록 보장한다.
• 단일 큐비트 연산이 클리포드 게이트이고 측정이 파울리 기저로 제한된 마법 상태 양자 계산에 일반화된 분리 가능성 프레임워크를 적용한다.
• 공동 쇄도 노이즈 하에서 노이즈가 있는 제어-Z(CZ) 게이트의 동작을 분석하며, 출력 상태를 잘린 입방체 집합 C의 제품 상태 혼합으로 모델링한다.
• 특히 X 및 Y 기저의 확률에 중점을 두어, 분리 가능성에 필요한 부등식을 유도한다.
• 해석적 및 수치적 방법을 사용하여 출력 상태가 여전히 C-분리 가능해지는 최소 노이즈 매개변수 λ를 계산하며, r는 잘린 입방체를 매개변수화한다.

실험 결과

연구 질문

• RQ1 비양자 엔트로피 개념이 표준 양자 엔트로피를 초월해 고전적 시뮬레이션의 적용 범위를 확장할 수 있는가?
• RQ2 일반화된 분리 가능성 하에서 마법 상태 양자 컴퓨터의 CNOT 게이트에 대해 효율적인 고전적 시뮬레이션을 허용하는 최대 노이즈 수준은 얼마인가?
• RQ3 일반화된 엔트로피 기준을 사용할 경우, 표준 양자 분리 가능성 조건 대비 시뮬레이션 임계값이 향상되는가?
• RQ4 블로흐 구상에서의 잘린 입방체가 이러한 시뮬레이션에서 노이즈 내성 최대화를 위한 최적의 집합 C인가?
• RQ5 특정 매개변수 영역에서 요구되는 노이즈 수준에 대한 해석적 경계를 유도하고, 그 경계가 날카로운지 입증할 수 있는가?

주요 결과

• Harrow-Nielsen 시뮬레이션 알고리즘은 일반화된 C-분리 가능성 하에서도 적용 가능하며, 비양자 엔트로피를 포함한 안정자 기반 양자 회로의 고전적 시뮬레이션을 가능하게 한다.
• 마법 상태 양자 컴퓨터의 경우, 알고리즘이 CNOT 게이트에 대해 최대 56%의 공동 쇄도 노이즈까지 효율적으로 고전적으로 시뮬레이션할 수 있으며, 이는 표준 양자 분리 가능성 기준에서의 66% 이론 대비 향상된 성능이다.
• r = 1/2일 때, 최소 노이즈 임계값 λ = 272/489 ≈ 0.5562는 해석적으로 달성 가능하며, 이 값은 거의 날카로운 하한(필요 조건 하한 5/9 ≈ 0.5556)에 가깝다.
• r = 1/2일 때, 분석의 케이스 2, 3, 4 모두 각각의 해석적 하한과 일치하며, 이는 유도된 노이즈 임계값이 이 케이스에 대해 최적이 됨을 시사한다.
• 케이스 1은 아직 해석적으로 해결되지 않았지만, 수치적 증거는 이 주변에서도 동일한 임계값이 달성 가능하다고 시사한다.
• 결과는 고장 내성 양자 계산에서 양자 엔트로피가 비고전성의 가장 적절한 측정법이 아닐 수 있으며, 일반화된 엔트로피가 고전적 시뮬레이션 가능성에 대해 더 뛰어난 예측력을 제공할 수 있음을 시사한다.