Circuit Optimization for Universality Transformation

기술 요약: 보편성 변환을 위한 회로 최적화

문제 정의
양자 게이트 세트는 두 가지 뚜렷한 보편성 개념으로 분류된다: *엄격한 보편성(strict universality)*과 *계산적 보편성(computational universality)*이다. 엄격하게 보편적인 세트는 임의의 $m \ge m_0$에 대해 $SU(2^m)$에서 조밀한 부분군을 생성하여, 모든 유니터리 행렬을 생성할 수 있다. 계산적으로 보편적인 세트는 임의의 출력 확률 분포를 효율적으로 생성하기에는 충분하지만, 모든 유니터리 행렬을 생성할 수는 없다. 엄격하게 보편적인 세트의 전형적인 예는 $\{H, \Lambda(S)\}$ (Hadamard 및 controlled-$S$)인 반면, $\{H, CCZ\}$ (Hadamard 및 controlled-controlled-$Z$)는 계산적으로 보편적이다.

본 논문은 이러한 두 정의 사이의 간극을 조사함으로써, 계산적으로 보편적인 세트 $\{H, CCZ\}$를 엄격하게 보편적인 세트 $\{H, \Lambda(S)\}$로 어떻게 변환할 것인지 연구하여 이 문제를 다룬다. 이전 연구에서는 이 변환을 위해 최대 허수 자원 상태인 $|+i\rangle = (|0\rangle + i|1\rangle)/\sqrt{2}$와 비허수 보조 큐비트(일반적으로 $|0\rangle$ 또는 $|1\rangle$)가 필요함을 확립했다. 그러나 이전 연구에서 도출된 회로는 많은 수의 $CCZ$ 게이트와 보조 자원을 요구하므로 최적화되지 않았다. 여기서 다루는 구체적인 문제는 비허수 보조 큐비트를 제거하고 게이트 수를 줄이는 것을 목표로 하는 이 변환의 회로 최적화이다.

방법론
저자들은 가용 자원(실수 직교 행렬(구체적으로 $\{H, CCZ\}$), 최대 허수 상태 $|+i\rangle$, 그리고 잠재적으로 비허수 보조 큐비트)을 사용하여 회전 연산자와 특정 게이트($S$ 및 $\Lambda(S)$)의 구성을 분석함으로써 문제에 접근한다.

1. $R_z(\theta)$의 이론적 구성: 저자들은 먼저 $z$-축에 대한 회전 연산자인 $R_z(\theta)$를 고려하며, $S$ 게이트는 $\theta = \pi/2$인 특수한 경우임을 주목한다. 그들은 일반적으로 허수를 포함하는 $R_z(\theta)$가 $|+i\rangle$ 상태에 작용하는 실수 비로컬 행렬 $\Lambda(R_y(-2\theta))$에 의해 생성될 수 있음을 입증한다.
2. 촉매적 변환(Catalytic Transformation): 저자들은 자원 상태 $|+i\rangle$가 촉매 역할을 하여, 연산 후에도 변하지 않거나(또는 $|-i\rangle$로 변함으로써) 특정 게이트 생성 시 비허수 보조 큐비트가 필요하지 않도록 하는 촉매적 변환 프레임워크를 채택한다.
3. 게이트 분해: $\theta$에 대한 특정 값을 설정하고 제어 큐비트의 수를 늘림으로써, 저자들은 $S$ 게이트와 $\Lambda(S)$ 게이트에 대한 구성을 도출한다. 그들은 복소 유니터리 요구 사항을 허수 자원 상태로 보강된 실수 요구 사항으로 대체하기 위해 실수 직교 행렬과 제어 연산 사이의 관계를 활용한다.

주요 기여 및 결과

• 보조 큐비트가 없는 $\Lambda(S)$ 생성: 주요 결과는 $\Lambda(S)$ 게이트가 $\{H, CCZ\}$와 상태 $|+i\rangle$만을 사용하여 생성될 수 있음을 보여주는 것이며, 이는 비허수 보조 큐비트의 필요성을 완전히 제거한다. 이는 실수 직교 행렬 $U = I \otimes (I^{\otimes 2} - |11\rangle\langle 11|) + iY \otimes |11\rangle\langle 11|$를 통해 달성된다.
• 회로 최적화: 저자들은 $\Lambda(S)$를 생성하기 위해 두 개의 $CCZ$ 게이트를 사용하는 새로운 회로(그림 1d)를 제시한다. 이는 이전 방식(보조 큐비트를 포함한 다단계 과정을 통해 $S$ 게이트를 생성하는 데 18개의 $CCZ$가 필요했던 방식)과 비교했을 때 $CCZ$ 게이트 수를 최소 75% 감소시킨 것이다. 새로운 방법은 $S$ 게이트를 생성하는 데 단 14개의 $CCZ$만을 필요로 한다.
• 연속 파라미터를 통한 $SU(2^m)$의 정확한 생성: 이산 게이트 결과의 확장을 통해, 저자들은 다음을 사용하여 임의의 유니터리 행렬 $SU(2^m)$을 정확하게 생성할 수 있음을 보여준다:
  • $O(2)$로부터의 실수 단일 큐비트 유니터리 게이트 (단일 연속 파라미터를 포함, 예: $R_y(\theta)$).
  • $CCZ$ 게이트.
  • 하나의 비허수 보조 큐비트 $|0\rangle$.
  • 하나의 최대 허수 상태 큐비트 $|+i\rangle$.
    이 결과는 카디널리티(cardinality) 문제를 해결하며, 유한한 이산 게이트 세트와 단일 연속 파라미터 소스(실수 단일 큐비트 회전) 및 특정 자원 상태가 결합될 때 정확한 보편성을 달성할 수 있음을 보여준다.

의의
본 논문은 다음 두 가지 주요 분야에서 의의를 갖는다:

1. 자원 효율성: 비허수 보조 큐비트의 요구 사항을 제거하고 $CCZ$ 게이트 수를 최소 75% 이상 줄임으로써, 제안된 회로는 계산적 보편성으로부터 엄격한 보편성을 달성하기 위한 더 효율적인 경로를 제공한다. 이러한 회로 깊이의 감소는 양자 회로 실행 시간에 직접적인 영향을 미친다.
2. 보편성에 대한 이론적 이해: 본 연구는 계산적 보편성을 엄격한 보편성으로 변환하기 위한 구조적 요구 사항을 명확히 한다. 이는 엄격한 보편성에 필요한 "허수" 성질이 추가적인 비허수 보조 큐비트 없이도 단 하나의 최대 허수 상태에 의해 완전히 공급될 수 있음을 입증하며, 이러한 자원들과 결합될 때 최소한의 연속 파라미터 세트로 $SU(2^m)$의 정확한 생성이 가능하다는 것을 보여준다.

저자들은 실수 단일 큐비트 유니터리, $CCZ$ 게이트, 그리고 특정 자원 상태 $|0\rangle$ 및 $|+i\rangle$의 조합이 임의의 다중 큐비트 유니터리 행렬을 생성하기에 충분하며, 결과적으로 최적화된 회로 자원을 통해 계산적 보편성과 엄격한 보편성 사이의 간극을 효과적으로 메운다고 결론짓는다.