[논문 리뷰] On a gap in the proof of the generalised quantum Stein's lemma and its consequences for the reversibility of quantum resources

Mario Berta, Fernando G. S. L. Brandão외 5명|arXiv (Cornell University)|2022. 05. 05.

Quantum Information and Cryptography인용 수 8

한 줄 요약

이 논문은 일반화된 양자 스텐의 렘마(BP10a) 증명에서 심각한 격차를 밝혀내어, 주요 타당성 결과를 무효화하고, 점점 더 생성하지 않는 연산 하에서 양자 entanglement와 일반 양자 자원의 가역성을 주장한 바를 뒤엎는다. 저자들은 페츠–레니 지표의 극한과 블록 기반 가설 검정과 같은 대안적 접근법을 제안하여 더 약한 형태의 가역성을 회복하고자 하며, 원래의 주장이 복원될 수 있는 열린 문제들을 제기한다.

ABSTRACT

We show that the proof of the generalised quantum Stein's lemma [Brandão & Plenio, Commun. Math. Phys. 295, 791 (2010)] is not correct due to a gap in the argument leading to Lemma III.9. Hence, the main achievability result of Brandão & Plenio is not known to hold. This puts into question a number of established results in the literature, in particular the reversibility of quantum entanglement [Brandão & Plenio, Commun. Math. Phys. 295, 829 (2010); Nat. Phys. 4, 873 (2008)] and of general quantum resources [Brandão & Gour, Phys. Rev. Lett. 115, 070503 (2015)] under asymptotically resource non-generating operations. We discuss potential ways to recover variants of the newly unsettled results using other approaches.

연구 동기 및 목표

• 일반화된 양자 스텐의 렘마 증명의 레이마 III.9에서 발생한 심각한 오류를 특정하고 진단하며, 이로 인해 주요 타당성 결과가 무효화됨을 밝힘.
• 이 오류가 양자 자원 이론의 기초 결과, 특히 점점 더 생성하지 않는 연산 하에서 엔트랑글먼트와 일반 양자 자원의 가역성 주장에 미치는 영향을 평가함.
• 페츠–레니 지표의 극한과 블록 기반 가설 검정과 같은 대안 전략을 제안하여, 추가적인 가정 하에 원래 결과를 회복할 수 있는지 탐색함.
• 이 오류로 인해 문헌에서 어떤 결과가 이제 불확실해졌는지, 어떤 결과는 BP10a의 정확성과 무관하게 여전히 유효한지 명확히 함.
• 원래의 점근적 가역성 프레임워크를 복원할 수 있는 열린 추측과 연구 문제들을 수립함.

제안 방법

• 복합 양자 가설 검정에서 오용된 이중성 원리의 잘못된 적용에 기반한 BP10a의 레이마 III.9에서의 오류를 규명함.
• 상태와 상태의 볼록 집합 사이의 구분 가능성 분석을 위해 중심 도구로 가설 검정 상대 엔트로피 $ D_H^\beta(\rho\big\bracevert\tau) $ 를 사용함.
• 점근적 등가성, 특히 $ \beta \to 1^- $ 근처에서 가설 검정 상대 엔트로피가 페츠–레니 지표 $ D_\beta(\rho\big\bracevert\tau) $ 와 어떻게 연결되는지 분석하여 양자 상대 엔트로피를 복원함.
• 점근적 분석에서 $ \frac{1}{n} \min_{\sigma_n \in \mathcal{M}_n} D_H^{1-\varepsilon}(\rho^{\otimes n} \| \sigma_n) $ 의 극한 순서 교환을 정당화하기 위해 최소-최대 원리를 적용함.
• ‘가짜 엔트랑글먼트’를 사용하여 복합 상태를 모델링하고, $ \lim_{\varepsilon \to 0} \liminf_{k \to \infty} \liminf_{n \to \infty} \frac{1}{nk} D_H^\varepsilon(\rho^{\otimes nk} \| \sigma) $ 의 극한 순서 교환 가능성을 검토하는 블록 기반 접근법을 도입함.
• BHLP(20) 및 BBH(21)의 복합 양자 스텐의 렘마의 대안적 변형을 활용하여 자원 이론에서 더 약하지만 여전히 의미 있는 가역성 결과를 유도함.

실험 결과

연구 질문

• RQ1 BP10a의 레이마 III.9에서 발생한 오류의 정확한 성격은 무엇이며, 이로 인해 일반화된 양자 스텐의 렘마의 주요 타당성 결과가 어떻게 무효화되는가?
• RQ2 점점 더 생성하지 않는 연산 하에서 엔트랑글먼트와 일반 양자 자원의 점근적 가역성 결과가 일반화된 양자 스텐의 렘마의 정확성에 얼마나 의존하는가?
• RQ3 극한 순서 교환이 정당화된다면, $ \lim_{\alpha \to 1^-} \liminf_{n \to \infty} \frac{1}{n} \min_{\sigma_n \in \mathcal{M}_n} D_\alpha(\rho^{\otimes n} \| \sigma_n) = D^\infty_M(\rho) $ 를 통해 점근적 속도 $ D^\infty_M(\rho) $ 를 회복할 수 있는가?
• RQ4 블록 기반 구성에서 가설 검정 상대 엔트로피가 블록의 텐서 곱 상태에서 평가될 때, 자원 이론에서의 가역성을 확립하는 것이 가능한가?
• RQ5 원래 BP(08); BP10b; BG(15)의 프레임워크를 복원할 수 있는 최소한의 가정은 무엇이며, 추측의 부정적 해결이 양자 자원 이론에 어떤 영향을 미칠 것인가?

주요 결과

• BP10a의 레이마 III.9 증명에는 심각한 격차가 존재하며, 이는 일반화된 양자 스텐의 렘마의 주요 타당성 결과를 무효화하고, 직접 부분인 제안 III.1의 증명이 불가능하게 만든다.
• 제안 III.1의 역방향 부분과 코로나리언 III.3는 여전히 유효하며, 이는 오류가 있는 레이마 III.9에 의존하지 않기 때문이다.
• 점점 더 생성하지 않는 연산 하에서 엔트랑글먼트와 일반 양자 자원의 가역성 주장—BP(08); BP10b; BG(15)의 핵심 주장—은 이제 의심스러워졌으며, 기본 레이마의 무효화로 인해 위태로워졌다.
• 페츠–레니 지표의 극한 $ \lim_{\alpha \to 1^-} \liminf_{n \to \infty} \frac{1}{n} \min_{\sigma_n \in \mathcal{M}_n} D_\alpha(\rho^{\otimes n} \| \sigma_n) = D^\infty_M(\rho) $ 을 통한 대안적 접근법이 극한 순서 교환이 정당화된다면 원래 결과를 회복할 수 있다.
• 블록 기반 가설 검정 접근법은 $ D_H^\varepsilon $ 가 $ nk $-부분 상태 블록에서 평가되는 방식으로, $ \varepsilon $, $ k $, $ n $ 의 극한 순서 교환이 가능하다면 회복의 잠재적 길을 열어준다.
• 식 (85), (87), (88)에서 제안된 극한 순서 교환의 해결이 이루어진다면, 일반화된 양자 스텐의 렘마가 복원되고, 양자 자원 이론에서 점근적 가역성의 프레임워크가 재설립된다.