[논문 리뷰] Decoupling by local random unitaries without simultaneous smoothing, and applications to multi-user quantum information tasks

Colomer, Pau, Andreas Winter|arXiv (Cornell University)|2023. 04. 24.

Quantum Computing Algorithms and Architecture인용 수 4

한 줄 요약

이 논문은 동시 스무딩 추측이 해결되지 않은 상태에서도 다중 양자 사용자에 대한 동시 탈결합을 달성하기 위해 局소 무작변 유니타리와 타원형 합 기법을 사용하는 새로운 분리 프레임워크를 제안한다. 수축성과 랜덤 채널 계수의 텐서화 성질을 활용하여 부드러운 최소 및 리프니 엔트로피를 기반으로 한 엄밀한 한 번의 시행 및 유한 블록길이 경계를 확립함으로써, 무작위성 추출, 도우미 양자 entanglement, 양자 상태 병합, 다중 액세스 채널 부호화와 같은 다중 사용자 양자 작업에 대해 직접적이고 시간 공유 없이 실현 가능한 증명을 가능하게 한다. 이는 이러한 문제들에 대해 처음으로 엄밀한 한 번의 시행 및 복합 속도 공식을 제공한다.

ABSTRACT

We show that a simple telescoping sum trick, together with the triangle inequality and a tensorisation property of expected-contractive coefficients of random channels, allow us to achieve general simultaneous decoupling for multiple users via local actions. Employing both old [Dupuis et al. Commun. Math. Phys. 328:251-284 (2014)] and new methods [Dupuis, arXiv:2105.05342], we obtain bounds on the expected deviation from ideal decoupling either in the one-shot setting in terms of smooth min-entropies, or the finite block length setting in terms of Rényi entropies. These bounds are essentially optimal without the need to address the simultaneous smoothing conjecture, which remains unresolved. This leads to one-shot, finite block length, and asymptotic achievability results for several tasks in quantum Shannon theory, including local randomness extraction of multiple parties, multi-party assisted entanglement concentration, multi-party quantum state merging, and quantum coding for the quantum multiple access channel. Because of the one-shot nature of our protocols, we obtain achievability results without the need for time-sharing, which at the same time leads to easy proofs of the asymptotic coding theorems. We show that our one-shot decoupling bounds furthermore yield achievable rates (so far only conjectured) for all four tasks in compound settings, that is for only partially known i.i.d. source or channel, which are furthermore optimal for entanglement of assistance and state merging.

연구 동기 및 목표

• 미해결된 동시 스무딩 추측에 의존하지 않고 다중 사용자 양자 정보 작업에서 동시 탈결합 문제를 해결하기 위해.
• 지역 무작변 유니타리와 채널 수축성의 텐서화를 활용한 한 번의 시행 및 유한 블록길이 탈결합을 위한 일반적 프레임워크를 개발하기 위해.
• 여러 당사자에 대해 부드러운 최소 및 리프니 엔트로피 기반의 탈결합 오차에 대한 엄밀한 경계를 도출하기 위해.
• 한 번의 시행 및 점근적 영역 모두에서 핵심 양자 정보 작업에 대해 직접적이고 시간 공유 없이 실현 가능한 결과를 확립하기 위해.
• 지역 무작위성 추출, 도우미 양자 엔트로피, 양자 상태 병합, 양자 다중 액세스 채널 부호화에 대해 처음으로 엄밀한 한 번의 시행 및 복합 속도 공식을 증명하기 위해.

제안 방법

• 탈결합 오차를 다룰 수 있는 항들로 분해하기 위해 타원형 합 기법을 사용하며, 각 항을 삼각 부등식을 통해 경계한다.
• 랜덤 채널의 기대 수축 계수와 그 텐서화 성질을 활용하여 각 항을 독립적으로 제어한다.
• 기존 방법(Dupuis 등 2014)과 새로운 기법(Dupuis 2021)을 모두 적용하여 부드러운 최소 및 리프니 엔트로피 기반의 탈결합 오차를 경계한다.
• 다중 양자 부계열에서 탈결합을 달성하기 위해 지역 무작변 유니타리 프로토콜을 구축한 후 고정된 완전 양성 추적보존(CPTP) 매핑을 적용한다.
• 경계의 한 번의 시행 성격을 활용하여 시간 공유를 피하고 최적의 속도 영역을 직접 달성한다.
• 경계의 강건성을 활용하여 소스 또는 채널이 부분적으로만 알려진 복합 설정에서도 실현 가능성 증명을 한다.

Figure 1: Generalized decoupling via local random unitary transformations $\mathcal{U}_{i}$ acting locally on each system $A_{i}$ , followed by a fixed cptp map $\mathcal{T}_{A_{1}\dots A_{k}\rightarrow B}$ .

실험 결과

연구 질문

• RQ1 동시 스무딩 추측을 가정하지 않고 다중 양자 사용자에 대한 동시 탈결합을 달성할 수 있는가?
• RQ2 다자 양자 시스템에서 탈결합 오차에 대한 가장 엄밀한 한 번의 시행 및 유한 블록길이 경계는 무엇인가?
• RQ3 제안된 프레임워크는 시간 공유 없이 다중 액세스 채널 부호화에 대한 직접적 실현 가능 결과를 도출할 수 있는가?
• RQ4 지역 무작위성 추출 및 도우미 양자 엔트로피에 대해 한 번의 시행 및 복합 속도 공식이 엄밀하게 최적이 맞는가?
• RQ5 이 프레임워크는 최소 엔트로피가 제한되고 시드 랜덤니스가 작은 암호학적 환경으로 확장될 수 있는가?

주요 결과

• 논문은 동시 스무딩 추측을 요구하지 않고 지역 무작변 유니타리와 함께 다수 당사자에 대한 일반적인 한 번의 시행 탈결합 정리를 확립하며, 부드러운 최소 및 리프니 엔트로피 기반의 오차 경계를 도출한다.
• 논문은 양자 다중 액세스 채널 부호화에 대해 처음으로 엄밀한 한 번의 시행 실현 가능 영역을 증명하며, 알려진 점근적 용량 영역과 일치하고 각 점을 양자 동시 디코더를 통해 직접 달성한다.
• 이 프레임워크는 임의의 수의 협력 사용자에 대해 지역 무작위성 추출의 최적의 한 번의 시행 및 i.i.d. 속도 영역을 도출하며, 이는 이전의 k=2 결과를 일반화한다.
• 다자 양자 엔트로피 도우미의 경우, 동시 스무딩 추측을 가정하지 않고도 추측된 최적의 속도 영역을 증명하며, 보안을 위해 오직 2-디자인만을 사용한다.
• 한 번의 시행 경계는 충분히 강건하여 모든 네 가지 작업에 대해 최적의 복합 속도 공식을 도출하며, 이상적인 소스 또는 채널의 이웃 영역에서도 프로토콜이 균일하게 잘 작동함을 보여준다.
• 이 접근법은 점근적 부호화 정리의 직접적이고 시간 공유 없이 가능한 증명을 가능하게 하며, 이전 유도 과정을 단순화하면서도 최적성을 유지한다.

Figure 2: Multi-party decoupling via local random unitary transformations $\mathcal{U}_{i}$ followed by a fixed local cptp map $\mathcal{T}_{A_{i}\rightarrow B_{i}}$ on each of the systems $A_{i}$ .