Digital-Analog Quantum Computing with Qudits

1. 연구 배경 및 문제 제기 (Problem)

• NISQ 시대의 한계: 현재의 양자 컴퓨팅 플랫폼은 잡음 중간 규모 양자 (NISQ) 영역에 속하며, 완전한 디지털 양자 컴퓨팅 (DQC) 은 오류 수정을 위해 막대한 물리적 큐비트 자원을 필요로 합니다. 반면, 아날로그 양자 컴퓨팅 (AQC) 은 잡음에 강하지만 범용성이 부족합니다.
• 디지털 - 아날로그 양자 컴퓨팅 (DAQC) 의 필요성: DAQC 는 시스템의 자연스러운 2-바디 해밀토니안을 엔탱글링 자원으로 활용하고, 단일 큐비트 게이트로 이를 변형 (conjugate) 하여 범용 연산을 수행하는 하이브리드 접근법입니다. 이는 잡음에 강하면서도 유연성을 제공합니다.
• 큐비트에서 큐디트로의 확장 필요성: 기존 DAQC 연구는 2-레벨 시스템 (큐비트) 에 국한되었습니다. 그러나 고차원 시스템 (d-레벨, 즉 큐디트) 은 더 적은 엔탱글링 연산으로 더 많은 정보를 인코딩할 수 있어, 고차원 스핀 현상 시뮬레이션 및 보손 시뮬레이션 등에 유리합니다.
• 기존 방법의 부족: 큐디트를 이용한 범용 양자 시뮬레이션이 이론적으로 가능하다는 것은 증명되었으나, 구체적인 구성 방법 (constructive method) 이 부재하거나, 기존 DAQC 프로토콜보다 회로 복잡도가 훨씬 높은 문제점이 있었습니다.

2. 제안된 방법론 (Methodology)

이 논문은 큐비트 기반 DAQC 프로토콜을 임의의 차원 $d$를 가진 큐디트 시스템으로 확장하는 새로운 프레임워크를 제시합니다.

• 웨일 - 하이젠베르크 (Weyl-Heisenberg) 기저 활용:
  • 큐비트 시스템의 파울리 행렬을 일반화한 웨일 - 하이젠베르크 연산자 기저 ($Z$와 $X$의 일반화된 형태) 를 사용하여 국소 단위 연산자 (local unitaries) 를 정의합니다.
  • 아날로그 해밀토니안 블록을 이 기저에서 선택된 단일 큐디트 게이트로 켤레 (conjugate) 하여 목표 해밀토니안을 생성합니다.
• 선형 시스템 구축 및 해:
  • 목표 해밀토니안 ($H_P$) 을 소스 해밀토니안 ($H_S$) 의 켤레된 버전들의 합으로 표현하기 위해 선형 방정식 시스템 ($M \vec{t} = T \vec{h}_P / \vec{h}_S$) 을 구성합니다.
  • 여기서 행렬 $M$은 각 켤레 연산이 해밀토니안의 결합 상수에 부여하는 위상 (phase) 을 인코딩하며, 벡터 $\vec{t}$는 각 아날로그 블록의 지속 시간을 결정합니다.
• 해의 존재성 증명:
  • 카라테오도리 (Carathéodory) 정리를 기반으로, $O(d^4 n^2)$개의 아날로그 블록을 사용하여 임의의 2-바디 해밀토니안을 시뮬레이션할 수 있음을 증명합니다.
  • 부록 A 와 B 에서 행렬 $M$의 부분행렬 $M[2]$의 행렬식이 0 이 아님을 증명하여 해의 존재성을 수학적으로 확립했습니다.
• 구체적 구현 시나리오:
  • 스핀 기반 해밀토니안: $SU(2)$스핀 연산자 기저를 사용하는 경우, 큐비트 경우와 동일한 행렬 구조를 적용할 수 있어 복잡도를$O(n^2)$로 줄일 수 있음을 보였습니다.
  • Banged-DAQC (bDAQC): 해밀토니안을 켜고 끄는 대신, 해밀토니안이 계속 작동하는 동안 단일 큐디트 게이트를 적용하는 방식 (실험적으로 더 실현 가능) 을 채택했습니다.

3. 주요 기여 (Key Contributions)

1. DAQC 프레임워크의 큐디트 일반화: 2-레벨 시스템에 국한되었던 DAQC 를 $d$-레벨 시스템으로 성공적으로 확장했습니다.
2. 구체적 구성 알고리즘 제시: 임의의 2-바디 큐디트 해밀토니안을 시뮬레이션하기 위한 구체적인 프로토콜을 제안하며, 기존 방법보다 단일 큐디트 게이트 적용 횟수를 다항식 수준으로 줄였습니다.
3. 고차원 스핀 시스템 시뮬레이션 가능성: 자기 사중극자 (magnetic quadrupolar) 항을 포함한 많은-body 스핀 해밀토니안을 시뮬레이션할 수 있음을 보였습니다.
4. 수학적 엄밀성: 해의 존재성과 양의 시간 (positive-time) 해의 존재성을 수학적으로 증명했습니다.

4. 실험 결과 및 성능 (Results)

• 시뮬레이션 대상: 스핀 $s=1$ (qutrit, $d=3$) 에 대한 등방성 2-선형 - 2-이차 (BLBQ) 아이징 (Ising) 유사 해밀토니안 ($H_P$) 을, 단순 아이징 해밀토니안 ($H_S$) 을 자원으로 사용하여 시뮬레이션했습니다.
• 성능 비교 (DAQC vs DQC):
  • 신뢰도 (Fidelity): $n=6$개의 큐디트와 다양한 각도 $\theta$에 대해 DAQC 와 디지털 양자 회로 (DQC) 를 비교했습니다.
  • 결과: $\theta < \pi/2$ 영역에서 bDAQC 가 더 높은 신뢰도를 보였습니다. 특히 $\theta=0$에서는 게이트가 필요 없어 거의 완벽한 신뢰도를 달성했습니다.
  • 오차 원인: $\theta$가 증가함에 따라 필요한 단일 큐디트 게이트 수가 증가하여 (최대 27 개) 신뢰도가 일시적으로 감소했으나, $\theta \approx \pi$ 근처에서는 짧은 블록이 제거되어 게이트 수가 줄어들면서 신뢰도가 다시 향상되었습니다.
• 자원 효율성: 디지털 방식의 맞춤형 게이트 세트와 비교했을 때 유사한 성능을 보였으며, 고차원 매핑이 필요한 보손 시뮬레이션 등에서 자원 절감 효과를 기대할 수 있음을 시사했습니다.

5. 의의 및 향후 전망 (Significance & Future Directions)

• NISQ 시대의 효율성: 게이트 수를 줄이고 고차원 시스템을 직접 활용함으로써, 잡음에 더 강건한 양자 알고리즘 구현을 가능하게 합니다.
• 새로운 물리 현상 연구: 고차원 스핀 현상, 게이지 이론 (gauge theories), 비아벨 (non-abelian) 게이지 이론 등을 시뮬레이션하는 데 필수적인 도구를 제공합니다.
• 실험적 실현 가능성: 초전도 회로, 트랩드 이온 (trapped-ion) 등 현재 가장 발전된 $d$-레벨 시스템 플랫폼에서 즉시 적용 가능한 프레임워크를 제공합니다.
• 향후 과제: 트로터 (Trotter) 오차가 큐디트 수뿐만 아니라 차원 ($d$) 에도 비례하여 증가하는 문제를 해결하기 위한 오차 완화 전략 개발이 필요합니다.

결론적으로, 이 논문은 디지털 - 아날로그 양자 컴퓨팅 패러다임을 큐디트로 확장하여, 고차원 양자 시스템의 시뮬레이션 효율성을 획기적으로 높이고 NISQ 시대의 실용적 양자 우위를 달성할 수 있는 강력한 이론적, 실험적 토대를 마련했습니다.