두 메시지 양자 인터랙티브 증명과 양자 분리 가능성 문제

초록

이 논문은 다항시간 혼합 상태 양자 회로가 생성하는 두 파티 사이의 양자 상태가 분리 가능한지, 아니면 얽혀 있는지를 판단하는 문제의 복잡성을 조사한다. 저자들은 약속 버전의 문제를 해결할 수 있는 두 메시지 양자 인터랙티브 증명(QIP(2)) 시스템을 제시하고, 이를 QSZK‑complete인 “양자 상태 구별” 문제로부터 Karp 감소를 통해 QSZK‑hard임을 보인다. 또한 Knill의 효율적인 회로 인코딩을 이용해 NP‑hardness (Cook 감소)를 증명한다. 변형 문제인 입력을 조절해 출력이 분리 가능한지를 묻는 경우는 QIP‑complete임을 보이며, 다중 파티 일반화도 두 메시지 증명으로 해결 가능함을 제시한다.

상세 분석

본 논문은 양자 회로가 생성하는 bipartite 상태의 separability 판단을 복합적인 복잡도 관점에서 조명한다. 먼저, 입력으로 주어지는 다항시간 혼합 상태 양자 회로를 통해 얻어지는 ρ_AB 를 대상으로 “ρ_AB 가 ε‑close to a separable state이거나, 최소한 δ‑멀리 떨어진 entangled state이다”라는 약속을 두고, 이를 결정하는 두 메시지 양자 인터랙티브 증명 시스템(QIP(2))을 설계한다. 증명자는 첫 번째 메시지로 회로의 설명과 함께 증명용 양자 레지스터를 보낸 뒤, 검증자는 이를 이용해 SWAP‑test와 멀티‑플라스틱 테스트를 수행해 separability 여부를 확률적으로 검증한다. 이 과정에서 완전성·음성성 오류는 각각 1/3 이하로 억제된다.

다음으로, QSZK‑hardness를 보이기 위해 QSZK‑complete인 Quantum State Distinguishability(QSD) 문제를 본 separability 문제로 Karp 감소한다. QSD는 두 회로 C0, C1이 생성하는 상태 σ0, σ1 사이의 trace distance가 크게 차이나는 경우와 거의 동일한 경우를 구분한다. 저자들은 σ0, σ1 를 각각 두 파티에 걸쳐 tensor product 형태로 삽입하고, 추가적인 ancilla와 controlled‑swap 연산을 이용해 새로운 회로를 만든다. 이 회로가 생성하는 상태가 separable이면 σ0와 σ1 가 구별 불가능함을, entangled이면 구별 가능함을 보임으로써 QSD ≤p K separability 문제임을 증명한다.

또한, Knill이 제시한 “matrix‑to‑circuit” 인코딩을 활용해, 임의의 density matrix ρ를 다항시간 양자 회로로 구현할 수 있음을 이용한다. 이를 통해 NP‑hard인 “separable‑state existence” 문제(주어진 ρ가 separable인지 여부)를 우리 약속 문제에 Cook 감소시켜 NP‑hardness를 확보한다. 즉, 입력 회로가 주어졌을 때 그 출력이 separable인지 판단하는 것이 NP‑hard임을 보인다.

변형 문제인 “입력 상태를 선택해 회로의 출력이 특정 bipartite cut에 대해 separable가 되도록 할 수 있는가?”는 QIP‑complete임을 증명한다. 여기서는 QIP의 일반적인 다라운드 증명 시스템을 이용해, 증명자가 원하는 입력을 양자 레지스터에 준비하고, 검증자는 회로를 실행한 뒤 두 파티에 대한 PPT(Positive Partial Transpose) 검사를 수행한다. 이 과정은 QIP의 정의와 일치하므로 문제는 QIP‑hard이며, 반대로 QIP의 모든 언어를 이 문제로 감소시킬 수 있음을 보인다.

마지막으로, 다중 파티(멀티파트) 상황으로 확장한 경우에도 동일한 두 메시지 증명 구조가 작동한다. 각 파티에 대한 레지스터를 적절히 배분하고, 전체 시스템에 대한 multipartite separability 테스트를 수행함으로써, 복잡도 등급이 변하지 않음을 확인한다. 전체적으로 이 연구는 양자 상태의 separability 판단이 양자 복잡도 이론에서 매우 풍부한 구조를 가지고 있음을 보여주며, 특히 두 메시지 QIP가 NP와 QSZK 양쪽 모두에 대해 하드한 약속 문제를 해결할 수 있는 첫 사례임을 강조한다.