Improving initial-state-dependent quantum circuit optimization by introducing state labels

논문 요약: 상태 레이블 도입을 통한 초기 상태 의존적 양자 회로 최적화 개선

1. 문제 정의 (Problem)

• 양자 하드웨어의 한계: 현재 양자 컴퓨터는 하드웨어 노이즈와 기술적 제약으로 인해 양자 알고리즘 실행 시 오류가 발생하기 쉽습니다. 특히, 2-큐비트 게이트 (예: CNOT) 는 오류율이 높아 전체 회로의 충실도 (Fidelity) 를 저하시키는 주된 원인입니다.
• 기존 최적화의 비효율성: 전통적인 회로 최적화 기법은 모든 입력에 대해 회로의 동등성을 유지하려 하지만, 특정 초기 상태 (Initial State) 에서는 불필요한 제어 연산이 발생할 수 있습니다.
• 기존 Aqcel 의 한계: 저자들이 이전에 개발한 초기 상태 의존적 최적화 도구인 'Aqcel-v1'은 제어 큐비트의 상태를 측정하여 불필요한 게이트를 제거합니다. 그러나 이 방식은 다음과 같은 문제가 있었습니다.
  1. 과도한 측정: 동일한 큐비트 상태가 이미 알려져 있음에도 불구하고 매번 측정을 수행하여 실행 시간과 리소스를 낭비합니다.
  2. 잔여 게이트 제거 실패: 다중 제어 게이트를 분해 (Decomposition) 하는 과정에서 발생하는 불필요한 CX 게이트 쌍 (Redundant CX pairs) 을 제거하지 못해 회로 깊이가 불필요하게 증가합니다.

2. 방법론 (Methodology)

이 논문은 Aqcel 프로토콜을 개선한 Aqcel-v2를 제안하며, 두 가지 핵심 기능을 도입했습니다.

• 상태 레이블 관리자 (State Label Manager):

  • 개념: 큐비트의 상태를 추적하기 위해 5 가지 레이블 (0, 1, Bell, 0/1, unknown) 을 사용합니다.
    • 0, 1: 확정된 상태.
    • Bell: 다른 큐비트와 얽힌 상태 (Bell 상태) 를 나타내며, 패리티를 추적합니다.
    • 0/1: 중첩 상태이지만 Bell 그룹에 속하지 않음.
    • unknown: 상태가 불확실하여 측정이 필요한 상태.
  • 작동 원리: 초기에는 모든 큐비트를 0으로 설정합니다. 게이트가 적용될 때 레이블을 업데이트합니다. 만약 제어 큐비트의 상태가 레이블을 통해 이미 알려져 있다면 (예: 0 또는 1), 실제 측정을 생략하고 최적화 결정을 내립니다. 이를 통해 불필요한 측정을 방지하고 최적화 속도를 높입니다.
  • 역추적 (Reversion): 보조 큐비트 (Ancilla) 등이 원래 상태로 돌아갈 때 레이블을 되돌리는 로직을 포함하여, 이후의 게이트 최적화에 활용합니다.

• 불필요한 CX 쌍 제거 (CX-pair Removal):

  • 원리: Aqcel-v1 은 다중 제어 게이트를 RCCX (Relative Phase Toffoli) 게이트 쌍과 단일 제어 게이트로 분해합니다. 제어 연산이 제거되면 RCCX 쌍이 CX 게이트 쌍으로 남게 되는데, 이 중 목표 큐비트 (Target) 의 초기 상태가 |0⟩이고 상태 변화가 없다면 이 CX 쌍은 불필요합니다.
  • 실행: 상태 레이블 관리자를 통해 목표 큐비트의 상태가 |0⟩로 유지됨을 확인하면, 해당 CX 쌍을 회로에서 삭제하고 제어 게이트의 제어선을 이동시킵니다. 이는 회로 깊이를 줄이고 게이트 오류를 축적하는 것을 방지합니다.

3. 주요 기여 (Key Contributions)

1. 상태 레이블 관리자 도입: 반복적인 측정을 줄여 최적화 실행 시간을 단축하고 (약 1/7 수준), 측정 오차로 인한 잘못된 최적화 (Mis-optimization) 를 방지하여 결과의 안정성을 높였습니다.
2. CX 쌍 제거 알고리즘: 분해 과정에서 발생하는 불필요한 2-큐비트 게이트 쌍을 식별하고 제거하여, 기존 Aqcel-v1 보다 더 많은 게이트 수 감소를 달성했습니다.
3. 실제 하드웨어 검증: IBM 양자 컴퓨터 (ibm_fez, Heron r2 프로세서) 를 사용하여 개선된 Aqcel-v2 의 성능을 검증했습니다.

4. 실험 결과 (Results)

논문은 고에너지 물리학의 양자 파르톤 샤워 (Quantum Parton Shower, QPS) 알고리즘을 벤치마크로 사용하여 실험을 수행했습니다.

• 게이트 수 감소:
  • 1-스텝 QPS 회로: Aqcel-v1 대비 CX 게이트 수가 추가적으로 감소 (예: 23 개 $\to$ 11 개).
  • 2-스텝 QPS 회로: 이상적인 토폴로지 (All-to-all connectivity) 에서 2-큐비트 게이트 수가 최대 **54%**까지 감소했습니다.
• 충실도 (Fidelity) 향상:
  • 안정성: 상태 레이블 관리자 덕분에 낮은 노이즈 임계값 (Noise Threshold) 영역에서도 최적화 결과가 안정적으로 유지되었습니다.
  • 성능: 2-스텝 QPS 회로에서 Aqcel-v2 는 Aqcel-v1 및 Qiskit 기본 최적화보다 높은 Hellinger 충실도 (약 0.83) 를 달성했습니다. 특히 임계값 0.15 부근에서 게이트 오류 감소와 회로 동등성 유지 사이의 최적 균형을 보였습니다.
• 물리적 관측량 정확도: 실제 하드웨어에서 측정한 입자 방출 분포가 이상적인 시뮬레이션 결과와 가장 잘 일치했으며, 양자 간섭 효과까지도 소규모 프로세서에서 포착할 수 있음을 확인했습니다.

5. 의의 및 결론 (Significance)

• NISQ 시대의 최적화 전략: 현재와 같은 노이즈가 있는 중규모 양자 (NISQ) 장치에서 알고리즘 성능을 극대화하기 위해, 초기 상태 정보를 활용한 동적 최적화가 필수적임을 입증했습니다.
• 효율성과 정확도의 균형: 불필요한 측정을 줄이고 잔여 게이트를 제거함으로써, 하드웨어 노이즈를 최소화하면서도 알고리즘의 물리적 정확도를 유지하는 새로운 패러다임을 제시했습니다.
• 미래 전망: 현재는 계산 기저 상태 (Computational basis) 만을 처리하지만, X 기저 상태 ($|+\rangle, |-\rangle$) 및 더 복잡한 얽힘 상태를 처리할 수 있도록 확장한다면, Grover 알고리즘 등 더 다양한 양자 알고리즘에 적용 가능할 것으로 기대됩니다.

이 연구는 양자 하드웨어의 물리적 한계를 소프트웨어적 최적화 기법으로 극복하려는 노력의 중요한 사례이며, 향후 양자 컴퓨팅 기반의 고에너지 물리 시뮬레이션 및 기타 응용 분야에서 실용성을 높이는 데 기여할 것입니다.