Industry map소프트웨어알고리즘
Definition
양자 게이트들을 순서대로 연결하여 양자 비트(큐비트)를 조작하는 계산 모델로, 고전 논리 회로의 양자 역학적 확장이다.
직관적 비유
고전 컴퓨터의 논리 회로(AND, OR, NOT 게이트 조합)처럼, 양자 회로는 큐비트를 입력으로 받아 일련의 양자 게이트를 순서대로 적용한 뒤 측정으로 결과를 출력하는 구조다. 악보에 비유하면, 각 줄(선)은 큐비트이고 음표 하나하나가 게이트에 해당한다.
엄밀한 정의
$n$개의 큐비트로 구성된 양자 회로는 $2^n$차원 힐베르트 공간 $\mathcal{H} = (\mathbb{C}^2)^{\otimes n}$ 위에서 동작하는 유니터리 변환들의 합성이다: $$U = U_d \cdots U_2 U_1$$ 각 $U_k$는 1~2큐비트에 작용하는 기본 양자 게이트(예: 하다마드 $H$, CNOT, $T$ 게이트)이며, 회로 끝단에서 계산 기저로 사영 측정을 수행한다. 임의의 유니터리 연산은 유한 개의 보편 게이트 집합으로 근사 가능하다(Solovay–Kitaev 정리).
중요성 및 응용
- 양자 컴퓨팅의 표준 모델: 쇼어 알고리즘, 그로버 알고리즘 등 대부분의 양자 알고리즘이 회로 모델로 기술된다.
- 오류 정정: 양자 오류 정정 부호(QEC)는 회로 수준에서 설계·분석된다.
- NISQ 시대 핵심: 변분 양자 고유값 분해(VQE), QAOA 등 근사 알고리즘은 얕은 깊이(shallow-depth) 회로를 활용한다.
- 회로 깊이(depth) 와 게이트 수는 실제 하드웨어 구현 가능성을 결정하는 핵심 지표다.
