고차원 양자 채널의 반장치‑독립 인증 방법

초록

**
본 논문은 시스템 차원만 알려진 반장치‑독립(semidevice‑independent) 상황에서, 관측된 준비‑측정 통계만으로 양자 채널의 엔트앱먼트 차원(스미스 수)과 엔트앱먼트 충실도(fidelity)를 인증하는 프레임워크를 제시한다. 채널을 챈-자이코프스키(CJ) 상태로 변환하고, 부분‑트레이스 제약을 명시적으로 포함한 SDP 계층을 이용해 스미스 수에 대한 상한을 수치적으로 구한다. 또한 로컬라이징 매트릭스 기반 SDP 계층을 통해 엔트앱먼트 충실도의 하한을 얻으며, 단일 위원값(witness)만으로도 인증이 가능함을 보인다. dephasing·depolarizing 잡음 채널에 대한 예시와 차원 d = 7까지의 수치 실험이 포함된다.

**

상세 분석

**
이 연구는 고차원 양자 통신에서 채널 품질을 검증하기 위해 ‘반장치‑독립’(SDI) 모델을 도입한 점이 가장 큰 혁신이다. 기존의 전통적인 양자 프로세스 톰그래피(QPT)는 모든 장치를 완전히 신뢰해야 하는데, 이는 실험실 환경에서 거의 불가능에 가깝다. 반면, SDI‑P&M(prepare‑and‑measure) 시나리오에서는 오직 시스템 차원 d 만을 사전 지식으로 가정하고, 나머지 준비·측정 장치는 블랙박스로 취급한다. 이렇게 하면 실험 장비의 교정 오류나 악의적 변조에 대한 강인성을 확보할 수 있다.

핵심 이론적 도구는 챈-자이코프스키(CJ) 동형사상이다. 채널 Λ를 bipartite 상태 Φ_Λ = (id ⊗ Λ)(|Φ⁺_d⟩⟨Φ⁺_d|) 로 매핑함으로써, 채널 특성을 상태 특성으로 전환한다. CJ 상태는 (i) 양의 반정합성, (ii) 정규화 Tr Φ_Λ = 1, (iii) 부분‑트레이스 제약 Tr_B Φ_Λ = I_A/d 를 반드시 만족한다. 특히 (iii) 조건은 기존의 스미스 수(SN) 인증 방법에서 누락된 중요한 구조적 제약으로, 이를 무시하면 물리적으로 불가능한 ‘순수’ CJ 상태가 허용될 위험이 있다. 논문은 이 제약을 명시적으로 포함함으로써 보다 엄격한 인증을 구현한다.

엔트앱먼트 차원(스미스 수) 인증은 ‘양자 랜덤 액세스 코드(RAC)’의 평균 성공 확률(ASP) α_{n,d} 를 이용한다. RAC는 입력 x 와 y 에 대해 출력 b 가 x_y 와 일치할 확률을 측정하는 통신 게임이며, 차원 d 와 입력 수 n 에 따라 고전 및 양자 한계가 알려져 있다. 논문은 스미스 수 상한 r 에 대해 최적 ASP β_{Q}^{n,d,r} 을 SDP 형태로 정의하고, 이를 초과하는 실험값이 관측되면 채널의 스미스 수가 r+1 이상임을 증명한다. 이 최적화는 CJ 상태, 준비 상태 ρ_x, 측정 연산 M_{b|y} 세 그룹을 교대로 고정·최적화하는 ‘alternating convex search’를 사용한다. 스미스 수 제약을 직접 구현하는 것이 NP‑hard에 가깝기 때문에, 두 가지 근사법을 도입한다. 첫 번째는 일반화된 Doherty‑Parrilo‑Spedalieri(DPS) 계층으로, S_r 집합에 대한 외부 근사(outer approximation)를 제공한다. 두 번째는 일반화된 감소 맵(GRM) 기준으로, SN ≤ r 조건을 만족해야 하는 연산자 부등식만 검증한다. DPS는 정확도가 높지만 계산량이 급증하고, GRM은 효율적이지만 다소 느슨한 경계다. 실험적으로는 두 방법이 거의 동일한 결과를 보였으며, 특히 차원 d ≤ 5 에서는 DPS와 GRM이 일치했다.

수치 실험에서는 n = 2 인 RAC를 기준으로 d = 3~7까지의 결과를 제시한다. r = 1(엔트앱먼트 파괴)과 r = d(완전 엔트앱먼트 보존) 경우는 기존 이론값과 거의 일치했으며, 중간 r에 대해서도 매우 타이트한 상한을 얻었다. 부분‑트레이스 제약을 제외하면 최적화가 무의미하게 1로 수렴해, 이 제약의 필수성을 명확히 보여준다. 또한, dephasing 및 depolarizing 잡음 채널에 대해 스미스 수와 잡음 파라미터 사이의 정량적 관계를 도출함으로써 실험적 적용 가능성을 검증했다.

엔트앱먼트 충실도(F) 인증은 스미스 수만으로는 채널이 얼마나 실제 엔트앱먼트를 보존하는지를 충분히 설명하지 못한다는 점에서 출발한다. 논문은 CJ 상태의 엔트앱먼트 충실도를 F(Φ_Λ) = max_Ξ ⟨Φ⁺| (id ⊗ Ξ)