Continuous measurement-based holonomic quantum computation

기술 요약: 연속 측정 기반 홀로노믹 양자 컴퓨팅

문제 정의
강건한 범용 양자 컴퓨팅을 위해서는 환경적 결맞음으로부터 계산 자유도를 격리하는 것과 정밀한 동역학적 제어를 수행하는 것 사이의 균형을 맞추는 것이 필수적이다. 전통적인 회로 기반 양자 컴퓨팅(CQC)은 종종 오류를 전파할 수 있는 다중 큐비트 상호작annya에 의존하며, 이는 복잡한 결함 허용 설계를 필요로 한다. 가로형 게이트(transversal gates)는 결함 허용성을 갖지만, 이스틴-크니스(Eastin-Knill) 정리는 이들의 범용성을 제한한다. 기하학적 접근 방식인 홀로노믹 양자 컴퓨팅(HQC)은 매개변수화된 코드 공간 내에서 경로를 순회하며 획득하는 기하학적 위상(홀로노미)을 활용함으로써 범용 결함 허용 컴퓨팅으로 가는 경로를 제공한다. 전통적으로 HQC는 축퇴된 해밀토니안의 단열 진화(adiabatic evolution)에 의존한다. 그러나 단열 진화는 퇴화성을 유지하기 위한 유일한 메커니즘은 아니며, 양자 제노 효과(Quantum Zeno effect)와 밀접하게 연관되어 있다. 본 논문은 임의의 홀로노미를 순수하게 측정을 통해 생성하는 문제를 다루며, 빈번한 측정이 양자 안정기 코드(stabilizer codes) 상에 논리적 유니터리 연산을 유도하기 위해 해밀토니안 단열 진화를 대체할 수 있는지 탐구한다.

방법론
저자들은 회전된 안정기 생성자들을 연속적으로 측정함으로써 양자 오류 수정 코드 공간을 단열적으로 회전시키는 프레임워크를 제안한다. 핵심 메커니즘은 양자 제노 효과에 기초한다: 만약 안정기의 회전이 측정 빈도에 비해 충분히 느리다면, 시스템 상태는 즉각적인 코드 공간 내에 갇혀 있게 된다. 만약 회전이 폐곡선을 완성하면, 상태는 홀로노미—즉, 논리적 유니터리 변환—를 경험하게 된다.

본 논문은 두 가지 영역을 분석한다:

1. 이산 경로 홀로노미(Discrete-path holonomy): 코드 공간을 작은 증분($\delta\phi$)만큼 회전시킨 후, 회전된 안정기에 대한 투영 측정을 수행한다.
2. 연속 경로 홀로노미(Continuous-path holonomy): 안정기들이 회전 속도 $\omega$로 연속적으로 회전하는 동안 강도 $\kappa$를 가진 연속 약한 측정을 수행한다.

저자들은 코드 공간 투영 연산자 $P(t)$를 기술하기 위해 주 번들(principal bundles)과 그라스만 다양체(Grassmannian manifold)의 형식을 활용한다. 이들은 상태가 코드 공간에 머무르는 조건과 직교하는 오류 공간으로 점프하는 조건을 유도한다. 결정적으로, 비단열적 회전으로 인해 상태가 오류 부분 공간으로 투영되는 "점프(jump)" 사건을 분석한다.

주요 기여

1. 측정 기반 홀로노미 프레임워크: 저자들은 해밀토니안 단열 진화 없이 홀로노미를 생성하기 위해, 투영 측정 및 약한 측정의 시퀀스를 사용하여 연속 경로 홀로노미를 생성하는 방법을 도입한다.
2. 성공 확률의 해석적 유도: 저자들은 이산 및 연속 측정 방식 모두에 대해 상태가 원하는 고유 공간에 머물 확률을 해석적으로 유도한다. 이산 단계의 경우, 성공 확률은 $1 - p_{jump} \approx \exp[-\frac{\delta\phi}{2\pi}(\frac{\theta^2}{2} + 4\pi^2)]$이다. 연속 측정의 경우, 점프가 발생하지 않을 확률은 회전 속도 $\omega$와 측정 강도 $\kappa$의 함수로 유도된다.
3. 측정 유도 오류에 대한 동적 경로 수정: 측정 유도 점프를 처리하는 방법은 중요한 기여이다. 만약 점프가 발생하여(상태가 직교하는 오류 공간으로 투영되면), 저자들은 회전된 관측량의 경로를 동적으로 조절하는 방법을 보여준다. 경로 파라미터(특히 각도 $\tilde{\theta}$와 루프의 지속 시간)를 변경함으로써, 시스템을 다음 중 하나로 유도할 수 있다:
   • 원하는 홀로노미를 가진 원래의 코드 공간.
   • "모사된(emulated)" 홀로노미를 가진 원래의 오류 공간, 이를 통해 이후의 계산이 오류 프레임 내에서 계속 진행될 수 있도록 함.
4. 회전된 코드에 대한 오류 수정 조건: 저자들은 회전된 코드의 즉각적인 상태가 루프 전반에 걸쳐 Knill-Laflamme 오류 수정 조건을 만족시키기 위한 충분 조건을 확립한다. 이 조건들은 회전 연산자 $X$를 논리 연산자 $H$ 및 교정 가능한 오류 집합 $\mathcal{E}$에 대해 선택할 때 제약을 가한다. 구체적으로, $X$의 해밍 가중치(Hamming weight)는 $d-1$보다 커야 하며, $X$, $H$, 그리고 특정 해밍 거리 내의 오류들 사이에 특정한 교환/반교환 관계가 성립해야 한다.
5. 코드 증강 전략: 이러한 조건을 충족하지 못하는 코드(예: 완벽한 [[5,1,3]] 코드)를 위해, 저자들은 코드를 앤실라(ancilla) 큐비트로 증강하는 방법을 제안한다. 이는 신드롬 공간을 증가시켜 조건을 충족하게 하고, 원래의 오류 집합의 교정 가능성을 보존한다.

결과

• 이산 vs. 연속: 본 논문은 이산적 접근 방식과 연속적 접근 방식 사이에서 코드 공간에 머물 확률이 다름을 발견했다. 연속 극한에서 성공 확률은 $\omega/\kappa$의 비율에 따라 달라진다.
• 경로 변조를 통한 결함 허용성: [[3,1,3]] 비트 플립 코드에 대한 수치 시뮬레이션 결과, 단일 점프 이후 경로를 동적으로 변경하는 것이 일정한 경로를 유지하는 것보다 논리 게이트를 성공적으로 적용할 확률을 유의미하게 높임을 입증했다.
• 코드 적용성: 유도된 조건은 Shor [[9,1,3]] 코드는 만족하지만, 본래 형태의 완벽한 [[5,1,3]] 또는 Steane [[7,1,3]] 코드는 만족하지 않는다. 그러나 저자들은 앤실라 큐비트를 추가함으로써(예: [[5,1,3]] 코드를 두 개의 앤실라를 가진 [[7,1,3]] 코드로 변환) 프로토콜이 작동할 수 있음을 보여준다.
• 점프 탐지: 측정 전류와 평균된 전류에 대한 가설 검정을 사용하여 실시간으로 점프를 탐지하는 방법이 제안되었으며, 이를 통해 즉각적인 경로 수정 전략을 적용할 수 있다.

의의 및 주장
저자들은 이 연구가 양자 제노 효과를 활용하여 해밀토니안 기반 HQC의 실행 가능한 대안을 제공한다고 주장한다. 주요 의의는 시스템 상태에 대한 부분적인 정보를 본질적으로 제공하는 측정을 통해 논리 연산을 수행할 수 있다는 점에 있다. 이는 오류(점프)를 완전히 방해하지 않으면서 오류를 식별할 수 있게 하여, 기존 해밀토니안 기반 HQC에서는 불가능한 실시간 수정 전략을 가능하게 한다.

논문은 이 방식이 측정 유도 점프에 대한 암묵적 결함 허용성을 확립하지만, 외부 환경 노이즈(마르코프 또는 비마르코프)는 아직 다루지 않는다는 점을 겸허히 명시한다. 저자들은 제노 효과가 비마르코프 노이즈를 억제할 수 있지만, 마르코프 오류를 제거하려면 표준적인 오류 수정이 필요하다고 언급한다. 또한 경로 변조 기술이 향후 외부 오류를 처리하는 데 확장될 수 있다고 가정한다. 제안된 스킴은 데이터 큐비트와 앤실라 큐비트 사이의 시간 의존적 해밀토니안을 설계하고 앤실라를 연속 측정하는 방식으로 물리적으로 구현될 수 있다.