복합 양자 가설 검정의 샘플 복잡도

초록

본 논문은 두 불확실성 집합 중 어느 쪽에 미지의 양자 상태가 속하는지를 판별하는 대칭 복합 양자 가설 검정의 비대칭(비정상) 샘플 복잡도를 연구한다. 기존의 무한 복제에 대한 오류 지수 결과를 비대칭적으로 확장하여, 목표 오류 수준 δ 를 달성하기 위해 필요한 최소 복제 수 n*(δ) 에 대한 하한과 상한을 제시한다. 특히, 유한·무한 카드inality를 갖는 집합에 대해 최대 페이델리티 F_max 와 집합 크기 |D₁|·|D₂| 에 의존하는 Θ(·) 형태의 정확한 복잡도 식을 도출하고, 차등 프라이버시 제약 하에서도 동일한 차수의 복잡도를 얻는다.

상세 분석

논문은 먼저 기존의 단순 양자 가설 검정(simple QHT)에서 알려진 샘플 복잡도 n*(δ)=Θ(ln 1/δ − ln F(ρ₁,ρ₂)) 를 복합 상황(composite QHT)으로 일반화한다. 복합 가설 검정에서는 두 불확실성 집합 D₁, D₂ 내의 모든 상태쌍에 대해 최악의 오류를 고려해야 하므로, 최소‑최대(min‑max) 오류 확률 Pₑ, min 을 정의하고, 이를 집합의 볼록 껍질(convex hull) C₁,n, C₂,n 에 대한 트레이스 거리 형태로 변형한다(정리 5). 이 변형은 Sion의 최소‑최대 정리를 이용해 오류를 상태의 혼합에 대해 선형적으로 확장할 수 있음을 보여준다.

다음으로, 오류 확률이 복제 수 n 에 대해 비증가함을 보이는 보조 정리 6을 통해, 복제 수가 늘어날수록 오류가 감소한다는 직관을 정량화한다. 이후, 양자 체노프 경계와 페이델리티 관계를 이용해 상한식 (10)–(12)를 도출한다. 여기서 핵심은 복합 집합의 모든 혼합 상태에 대해 페이델리티 F(σ₁,n,σ₂,n) 의 최댓값을 구하면, 오류 상한이 p · (1‑p)·F 에 비례한다는 점이다.

하한 측면에서는, 복합 집합의 가장 구별하기 어려운 상태쌍(최소 페이델리티) F_max 을 사용해 기존 단순 QHT 하한을 그대로 적용한다(정리 8). 이는 “가장 어려운 쌍”이 전체 복합 문제의 난이도를 좌우한다는 직관과 일치한다.

상한을 구체화하기 위해 세 가지 경우를 분석한다. 첫째, 순수 상태 하나와 일반 집합 사이의 검증 문제(QSV)에서는 sup_{ρ∈D₂}⟨ψ|ρ|ψ⟩ 이라는 겹침(overlap) 값이 복잡도에 직접 등장한다(정리 9). 이는 복합 체노프 지수가 −ln sup⟨ψ|ρ|ψ⟩ 와 동일함을 보여준다. 둘째, 유한 카드inality |D₁|=m₁, |D₂|=m₂ 인 경우, 페이델리티의 서브어디티와 코시-슈바르츠 부등식을 이용해 F(σ₁,n,σ₂,n)≤√(m₁m₂)·F_maxⁿ 이라는 상한을 얻고, 이를 오류 상한에 대입해 샘플 복잡도 n*(δ)≤⌈ln(√(m₁m₂)/(δ))−ln F_max⌉ 를 얻는다(정리 11). 셋째, 무한 카드inality 집합에 대해서는 적절한 ε‑넷(covering net)과 연속성(continuity) 성질을 이용해 동일한 형태의 상한을 얻을 수 있음을 보인다(정리 12).

마지막으로 차등 프라이버시(local differential privacy) 제약을 도입한다. 프라이버시 채널 𝒩 이 각 복제에 적용된 후에도 위와 동일한 페이델리티 기반 하/상한이 유지된다는 것을 증명한다. 따라서 프라이버시 비용은 상수 계수에만 영향을 미치며, 샘플 복잡도 차수는 변하지 않는다.

전체적으로 논문은 복합 양자 가설 검정의 비대칭 샘플 복잡도를 정확히 Θ(·) 형태로 규정함으로써, 기존의 무한 복제 지수 결과를 실용적인 복제 수 설계에 직접 연결한다. 특히, 최대 페이델리티 F_max, 집합 크기 m₁·m₂, 그리고 프라이버시 파라미터가 복잡도에 미치는 영향을 명확히 구분함으로써, 실험 설계자와 알고리즘 개발자에게 구체적인 가이드라인을 제공한다.