[論文レビュー] Decoupling by local random unitaries without simultaneous smoothing, and applications to multi-user quantum information tasks

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

Quantum Computing Algorithms and Architecture被引用数 4

ひとこと要約

本稿では、局所的なランダムユニタリとテレスコピング和の技法を用いた新規な分離フレームワークを提示する。このフレームワークは、未解決の同時スムージング予想に依存せずに、複数の量子ユーザーに対する同時分離を達成する。ランダムチャネル係数の収縮性とテンソル化性を活用することで、滑らかな最小エントロピーおよびRényiエントロピーの観点から、タイトな1回限りおよび有限ブロック長の境界を確立する。これにより、ランダムネス抽出、支援付き量子もつれ、量子状態の統合、複数アクセスチャネル符号化といった複数ユーザー量子タスクの直接的かつ時間共有を伴わない達成可能性証明が可能となり、これらの問題に対する初めての厳密な1回限りおよび複合レートの公式が得られる。

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.

研究の動機と目的

• 未解決の同時スムージング予想に依存せずに、複数ユーザー量子情報タスクにおける同時分離の課題を解決すること。
• 局所的ランダムユニタリとチャネル収縮性のテンソル化を用いた、1回限りおよび有限ブロック長の分離フレームワークを構築すること。
• 複数の参加者に対して、滑らかな最小エントロピーおよびRényiエントロピーの観点から、分離誤差のタイトな境界を導出すること。
• 1回限りおよび漸近的領域における主要な量子情報タスク（特に時間共有を伴わない）の直接的かつ時間共有フリーの達成可能性結果を確立すること。
• ローカルランダムネス抽出、支援付きもつれ、量子状態の統合、量子複数アクセスチャネル符号化のための、初めての厳密な1回限りおよび複合レートの公式を証明すること。

提案手法

• 分離誤差を管理可能な項に分解するためのテレスコピング和のテクニックを用い、各項を三角不等式で評価する。
• ランダムチャネルの期待収縮係数とそのテンソル化性を用いて、各項を独立に制御する。
• 既存の手法（Dupuis et al. 2014）と新規手法（Dupuis 2021）を併用し、滑らかな最小エントロピーおよびRényiエントロピーの観点から分離誤差を評価する。
• 局所的ランダムユニタリプロトコルを構築し、その後に固定の完全正規化トレース保存（cptp）写像を適用することで、複数の部分系にわたる分離を達成する。
• 境界の1回限り性を活用して時間共有を回避し、最適なレート領域を直接達成する。
• 境界の頑健性を活用して、ソースやチャネルが完全には把握されていない複合設定でも達成可能性を証明する。

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 多パーティ量子系における分離誤差の、最もタイトな1回限りおよび有限ブロック長の境界は何か？
• RQ3 提案されたフレームワークは、時間共有を伴わず、複数アクセスチャネル符号化の直接的達成可能性結果をもたらすか？
• RQ4 ローカルランダムネス抽出および支援付きもつれのための1回限りおよび複合レートの公式は、証明的に最適か？
• RQ5 このフレームワークは、最小エントロピーが限られ、シードのランダムネスも小さい暗号的設定へ拡張可能か？

主な発見

• 本稿では、局所的ランダムユニタリを用いた一般化された1回限りの分離定理を確立し、同時にスムージング予想を仮定せず、滑らかな最小エントロピーおよびRényiエントロピーの観点から誤差境界を達成する。
• 量子複数アクセスチャネル符号化のための、初めての厳密な1回限りの達成可能性領域を証明し、既知の漸近的容量領域と一致し、量子同時デコーダーを用いて各点を直接達成する。
• 本フレームワークは、任意の数の協力的ユーザーにおけるローカルランダムネス抽出の最適な1回限りおよびi.i.d.レート領域を導出し、k=2の場合の先行結果を一般化する。
• 多パーティ支援付きもつれの場合一、本手法は、同時にスムージング予想を仮定せず、2-designを用いることで予想される最適なレート領域を証明する。
• 1回限りの境界は十分に頑健であり、4つのタスクすべての最適な複合レート公式を導出し、理想のソースやチャネルの近傍でも一様に良好に動作するプロトコルであることを示す。
• 本アプローチにより、漸近的符号化定理の直接的かつ時間共有フリーの証明が可能となり、従来の導出を簡略化しつつも最適性を維持する。

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}$ .