공변량 양자 회로의 확률적 표현과 표현력 분석

초록

이 논문은 서로 교환 가능한 파울리 연산자들로 구성된 파라메트릭 양자 회로(PQC)의 표현력을, 무작위 보행의 재귀 확률과 특성 함수로 연결한다. 기존에 Z‑연산자에만 적용되던 방법을 일반 파울리 집합으로 확장하고, 클리퍼드 군의 유니터리를 이용해 동시에 대각화한 뒤, 안정자(stabilizer) 상태와 테이블루를 활용해 확률 분포와 공분산 행렬을 효율적으로 계산한다. 이를 통해 대규모 회로에서도 프레임 포텐셜을 추정할 수 있는 스케일러블한 전략을 제시한다.

상세 분석

논문은 먼저 교환 가능한 파라메트릭 양자 회로를 U(θ)=∏_{j=1}^{N}e^{iθ_j H_j} 형태로 정의하고, 여기서 H_j는 파울리 문자열이며 모두 서로 교환한다는 점에 주목한다. 교환성 덕분에 페어와이즈 피델리티 F_U(θ,θ′)=|⟨0^{⊗n}|U(θ)†U(θ′)|0^{⊗n}⟩|^2 를 f_U(θ−θ′)의 절댓값 제곱으로 변환할 수 있다. Bochner 정리를 이용하면 f_U는 어떤 이산 확률 변수 K의 특성 함수와 동일함을 보이며, K는 대각화된 파울리 연산자 Λ_j의 대각 원소를 이용해 정의된다. 여기서 핵심은 Λ_j가 모두 Z와 I만을 포함하는 대각 형태가 되도록 Clifford 유니터리 W를 찾는 것이다. 논문은 van den Berg‑Temme 알고리즘을 활용해 tableau 표현으로 W를 효율적으로 구성하고, 이를 통해 |ψ_0⟩=W|0^{⊗n} 를 안정자 상태로 만든다.

다음 단계에서는 |ψ_0⟩의 컴퓨테이션 베이스 전개 계수를 이용해 K의 확률 질량 함수를 정확히 구한다. 안정자 상태는 이진 행렬 R, 벡터 t, 대칭 행렬 Q 로 표현될 수 있으며, 이때 |⟨ψ_0|u_x⟩|^2 은 2^{-r} (r은 R의 랭크) 로 일정하게 나타난다. 따라서 X라는 무작위 변수는 2^r개의 컴퓨테이션 베이스 중 균등하게 선택되며, K=Au_X 로 표현되는 행렬 A는 각 파울리 문자열에서 Z가 등장하는 위치를 1로 표시한다. 결과적으로 K는 {−1,+1}^N 의 부분집합에 속하고, 그 확률은 A·R의 랭크와 연관된 2^{-rank(AR)} 로 결정된다.

이 확률 모델을 무작위 보행 W_t에 적용하면, 프레임 포텐셜 F_U(t) 은 W_t가 원점에 복귀할 확률과 동일함을 보인다. 중심극한정리를 이용해 큰 t에서 F_U(t)≈V_U/(4πt)^{n/2}·det(Cov(K))^{-1/2} 로 근사할 수 있다. 여기서 V_U는 보행이 생성하는 격자 부피이며, Cov(K)는 앞서 구한 평균과 공분산 행렬이다. 특히 Z‑전용 경우와 달리 일반 파울리 집합에서는 K의 성분이 독립이 아니지만, tableau 기반 알고리즘을 통해 AR의 구조를 효율적으로 계산함으로써 전체 복잡도가 다항 시간에 머무른다.

마지막으로 저자들은 이론적 결과를 3‑쿼빗 예시와 시뮬레이션을 통해 검증하고, 향후 모든 파울리 집합(비교가능하지 않은 경우 포함)으로 확장할 가능성을 논의한다. 전체적으로 이 작업은 파라메트릭 양자 회로의 표현력을 정량화하는 새로운 확률적 프레임워크를 제공하며, 특히 대규모 시스템에서 프레임 포텐셜을 실용적으로 추정할 수 있는 길을 열었다.