[论文解读] Privacy amplification and decoupling without smoothing

Frédéric Dupuis|arXiv (Cornell University)|May 11, 2021

Stochastic Gradient Optimization Techniques被引用 6

一句话总结

本文提出了一种用于隐私放大和去耦合的新可达性界，采用参数 α ∈ (1,2] 的夹心式 Rényi 条件微分熵，避免了对光滑极小熵的依赖。通过在 α=2 和 α→1 之间利用范数插值，该方法将高维光滑化替换为关于 α 的单参数优化，从而实现更清晰的误差指数分析，并在单次量子信息理论应用中获得更紧致的界。

ABSTRACT

We prove an achievability result for privacy amplification and decoupling in terms of the sandwiched Rényi entropy of order $α\in (1,2]$; this extends previous results which worked for $α=2$. The fact that this proof works for $α$ close to 1 means that we can bypass the smooth min-entropy in the many applications where the bound comes from the fully quantum AEP or entropy accumulation, and carry out the whole proof using the Rényi entropy, thereby easily obtaining an error exponent for the final task. This effectively replaces smoothing, which is a difficult high-dimensional optimization problem, by an optimization problem over a single real parameter $α$.

研究动机与目标

• 通过使用 α∈(1,2] 阶的 Rényi 熵，消除单次隐私放大与去耦合中对光滑极小熵的依赖。
• 通过用关于 α 的单参数优化替代复杂的高维光滑化，简化量子协议中的误差分析。
• 为设备无关 QKD 和熵累积定理等场景提供统一的误差指数推导框架。
• 探索 Rényi 型熵是否能在单次量子信息理论中完全替代极小/极大熵以及光滑化处理。

提出的方法

• 该方法借鉴 Riesz-Thorin 定理的思想，利用范数插值，在已知的 α=2 情况与 α→1 极限之间进行插值。
• 建立了输出态与理想态之间迹距离的界，该界以 α 阶 Rényi 熵表示。
• 关键不等式为：E_h ||R^h(ρ_AE) - 1_C/|C| ⊗ ρ_E||_1 ≤ 2^(2/α - 1) · 2^((α-1)/α (log|C| - H_α(A|E)_ρ))，其中 α∈(1,2]。
• 证明利用了 α=2 情况已有充分理解，且 α→1 情况可给出平凡界这一事实。
• 通过一类通用的随机化通道，该方法同时适用于经典（隐私放大）与量子（去耦合）场景。
• 该方法通过直接使用更易于分析和数值处理的 Rényi 熵，避免了对 ε-光滑化的需要。

实验结果

研究问题

• RQ1 α∈(1,2] 阶的 Rényi 熵能否在单次隐私放大与去耦合界中替代光滑极小熵？
• RQ2 在量子协议中，使用 Rényi 熵替代光滑化处理是否能获得更紧致或更易分析的误差指数？
• RQ3 熵累积定理与全量子渐近均分性质能否在不使用光滑化的情况下，通过 Rényi 熵重新推导？
• RQ4 在单次量子信息理论中，是否存在一条通往完全基于 Rényi 熵的统一方法的理论路径，从而避免使用极小/极大熵与光滑化？
• RQ5 该方法能否推广至 α>2 的情形？若可，需要何种更强的通道随机化性质？

主要发现

• 本文建立了新的可达性界：E_h ||R^h(ρ_AE) - 1_C/|C| ⊗ ρ_E||_1 ≤ 2^(2/α - 1) · 2^((α-1)/α (log|C| - H_α(A|E)_ρ))，其中 α∈(1,2]。
• 该界通过直接使用 Rényi 熵替代了对光滑极小熵的需求，简化了分析过程，并避免了高维优化。
• 该方法实现了清晰的误差指数推导，其结果比传统光滑化方法获得的更紧致。
• 该方法适用于经典隐私放大与量子去耦合，对量子信道编码和设备无关 QKD 具有重要意义。
• 当与近期可计算的 SDP-Rényi 熵结合时，该框架可实现数值上的改进，支持完全基于 Rényi 熵的安全性证明。
• 该结果提示了一条潜在路径，即未来可构建完全基于 Rényi 熵的单次量子信息理论，无需依赖极小熵或光滑化处理。