迹距离衡量敌手区分两个秘密的能力
论文追问的是：当每台设备根据其经典 Shamir 份额释放一个小型量子输出时，敌手能学到什么。每台设备收到一个份额，作用于初始量子资源中属于自己的寄存器，并发出一个量子比特。敌手收集所有发出的量子比特以及一个初始参考，并可联合处理它们。该资源与秘密和共享随机性无关，设备在泄露过程中不通信，也不接收敌手反馈。
安全性由敌手在两个选定秘密下所收到状态之间的迹距离的一半来衡量：Adv(ρ,σ) = ½‖ρ−σ‖₁。数值小意味着两个秘密难以区分。每条结论都针对每一对选定秘密和每一组合法的局部映射，因此该界不依赖于某个特定策略。
这一度量之所以重要，是因为它不同于 Shamir 共享的经典保密阈值。在原始方案中，少于 t 个份额不泄露任何信息，但这里每台设备会发出一个由其份额导出的量子比特，问题变成这些发出的量子比特加上任意有限参考能泄露多少。论文的正面结果针对的是该迹距离的指数衰减，而不是精确重构秘密。
原始转移信道使泄露指数衰减
主要正面结果覆盖转移信道为原始的固定量子记忆，即该信道会遗忘其初始状态。对每个具有该性质的固定有限维发射信道，存在常数 δ、c > 0 和 n₀，使得当 n ≥ n₀ 且 t/n ≥ 1−δ 时，任意两个秘密的泄露态迹距离至多为 2^(−cn)。这里 n 是设备数，t 是重构阈值。
这些常数对初始记忆状态、允许的局部映射、有限敌手参考、每个素数 p > n 以及互不相同的非零求值点都一致成立。敌手可以持有设备边缘分布的任何扩展，包括最终记忆和制备环境。同类保证也适用于满足上算子混合条件的固定平稳量子链的限制，而具有固定规范张量和原始转移信道的纯矩阵乘积态在两个开边界向量上一致继承该界。
原始性是一项实质性限制，而非技术上的便利。通常那种复制经典基标签的记忆可以生成 GHZ 资源并实现已知攻击，因此不能给出指数安全性。论文还展示了一族随份额数变化、保持常数泄露的二维原始记忆。因此正面记忆结果要求固定的过程或对其混合的一致控制，而不仅仅是每个系统规模上的原始性。
独立设备–参考对给出定量基础
后续所有比较的定量输入是独立设备–参考对的泄露界，此时初始资源按设备张量分解，每个参考寄存器由敌手持有。当初始资源如此分解时，单量子比特泄露在每个高于 τ_ref ≈ 0.9197212757 的重构率下以固定余量指数级小，经典比特泄露的充分率为 τ_cl ≈ 0.7172542188。两条结论都允许任意有限参考，包括每个初始对内部的纠缠。
这些速率是充分条件，论文并未声称它们在满阈值以下最优。Batra、Kitagawa、Nishimaki 和 Yamakawa 早期工作中对应的标量速率是：两个设备独立块为 0.9331803707，无外部量子参考的无纠缠单量子比特泄露为 0.7333927776。论文通过把相反傅里叶频率一起处理来收紧相关矩界，这正是充分速率得以改善的原因，但论文在满阈值以下不作最优性声明。
该界与参考维度无关。无界的敌手参考会阻碍对分析局部输出维度的直接界定，因此证明改用对份额值一致的单一参考态支配来替代。随后，受支配态的傅里叶估计与 Shamir 共享的对偶 MDS 码结合，控制所选集合上的泄露。
满阈值下最优底数取决于维度与 Schmidt 数
在满阈值 t = n 时，论文确定了最优指数底数如何依赖纠缠辅助。对于 d 维输出和 Schmidt 数至多为 r 的初始对，精确底数为 (dr/π) sin(π/(dr))，其中 d ≥ 2 且 1 ≤ r ≤ d。在无限制纠缠辅助下底数变为 (d²/π) sin(π/d²)，而在大小为 d 的经典输出字母表下为 (d/π) sin(π/d)，即使存在任意有限参考也是如此。
在量子比特情形下这给出 2√2/π，在经典比特情形下给出 2/π。最大泄露距离由对应底数的 n 次方的常数倍从上下两侧界定，且对域和求值点一致成立，而稠密编码构造对每一对给定的不同秘密都达到下界。混合态的 Schmidt 数是纯态分解中 Schmidt 秩的最小上界，因此它量化了初始对携带多少纠缠辅助。
区分这些底数之所以重要，是因为它们回答不同的问题。量子比特底数 2√2/π 适用于满阈值下独立设备–参考对的单量子比特泄露，而经典比特底数 2/π 适用于经典输出字母表。通用公式 (dr/π) sin(π/(dr)) 在输出维度和 Schmidt 数之间插值，因此读者在比较泄露率时，不应在未匹配输出类型和纠缠辅助的情况下用一种底数替代另一种。
乘积比较把界传递到关联资源
为了从独立对过渡到关联资源，论文把选定的设备边缘分布用乘积态的标量倍从上方界定。揭示互补份额会留下一个精确的更小 Shamir 实例，而利用 Christandl、König 和 Renner 的后选择机制对敌手参考进行滤波，会以相同的乘性因子传递独立设备–参考对的界。该论证允许与未选中设备和敌手之间存在任意关联。
该归约有两个依赖资源的输入：单设备傅里叶估计和选定边缘分布的界。傅里叶估计通过 Shamir 共享的对偶 MDS 码控制独立设备–参考对的泄露，随后边缘比较把该界传递到所研究的资源。因此每个结构性应用都归结为识别一个大的选定集合并控制其支配因子。
同一比较也为以其他方式描述的资源给出安全条件。在独立二分源网络中，一个独立顶点集在揭示互补寄存器和份额后留下独立的设备–参考对。对于图态，已知的约化态公式通过所选割上二元邻接矩阵的秩来表达比较代价，而合适的稠密图族在其一半顶点上具有乘积边缘分布。对于从 Haar 测度抽取的纯态，典型纠缠估计则给出在略少于一半量子比特上的近似乘积边缘分布。稠密图族和典型纯资源都在高于 (1 + τ_ref)/2 的速率下以固定余量给出指数安全性。
常数优势攻击需要对数级制备深度
制备深度对攻击所需关联给出互补限制。论文考虑从乘积设备边缘分布出发的电路，其层由作用于完整设备寄存器组的固定元数不相交门组成。所有因果影响都必须通过这些门，且不包含自由全局经典通信、自适应前馈或后选择。独立的局部辅助寄存器和局部信道可以包含在内。
在满阈值下，具有常数优势的攻击需要至少 log n 量级的深度，而已知的 GHZ 攻击可以在 log n 量级的深度下制备。因此在该制备模型中，对数深度对满阈值下的常数优势攻击在增长阶上既必要又充分。当一台设备可能包含任意多寄存器时，对完整组的限制对该结论至关重要，因为若每台设备寄存器数不受限，任意并行线门未必满足该假设。
深度障碍来自光锥打包论证。每个输出后向光锥至多包含 a^ℓ 个输入组，每个输入组至多属于 a^ℓ 个输出后向光锥，贪心选择给出至少 M = ⌈n/a^(2ℓ)⌉ 个具有不相交后向光锥的输出。它们的联合边缘分布是乘积，而残余阈值等于 M，因此独立设备–参考对的界无损传递。
保证止于非一致混合与满阈值以下
正面记忆结果要求固定的过程或对其混合的一致控制。记忆维度和每个系统规模上的原始性并不提供一致混合，正如那个依赖 n 的信道例子所示。论文还指出，原始记忆的充分率取决于把转移信道与重置信道比较所需的迭代次数，因此该速率并非仅由维度决定。
在满阈值以下，速率 τ_ref ≈ 0.9197212757 和 τ_cl ≈ 0.7172542188 是充分的，论文不作最优性声明。精确的满阈值指数底数仅在重构需要全部份额时成立。论文明确留下若干开放问题：满阈值以下指数安全的最优阈值率、固定原始记忆的最佳充分率能否直接由其信道得到，以及对数制备深度要求中的最优系数。
适用范围也很具体。这些保证对大于份额数的素数域和互不相同的非零求值点一致成立，并允许设备边缘分布的任意扩展作为敌手侧信息。它们不覆盖泄露期间通信或接收敌手反馈的设备，也不覆盖含自由全局经典通信、自适应前馈或后选择的制备模型。
先比较泄露底数，再比较安全声明
本文最具决策相关性的比较，是满阈值精确底数与满阈值以下充分率之间的比较。在满阈值下，对于 d 维输出和 Schmidt 数至多为 r 的情形，底数为 (dr/π) sin(π/(dr))，量子比特退化为 2√2/π，经典比特退化为 2/π。在满阈值以下，论文给出单量子比特泄露的充分率 τ_ref ≈ 0.9197212757 和经典比特泄露的充分率 τ_cl ≈ 0.7172542188，且不声称它们最优。
因此，评估某个关联资源是否安全的读者应首先问适用哪个区间。如果重构需要全部份额，精确底数及其对输出维度和 Schmidt 数的依赖就是正确的量。如果重构只需要很大一部分份额，充分率就是相关阈值，而与最优值的差距仍然开放。如果资源由固定原始记忆生成，保证在满阈值附近是指数级的，但复制经典基标签的记忆可以生成 GHZ 资源并实现已知攻击。
论文自身的重点正是这一归约：针对局部量子泄露的安全性可以从选定设备边缘分布与乘积态的比较中导出。独立设备–参考对的估计控制所选集合上的泄露，对互补份额的精确条件化保持域上的一致性，而边缘比较把界传递到关联资源。对于决定信任哪些资源的读者，实际阈值在于能否以很小代价把大的选定边缘分布与乘积比较，因为决定指数保证是否适用的正是这一比较，而不是记忆维度本身。
本文引用的文献
Quantum Leakage from Shamir Sharing with Correlated Resources
对于满足上算子混合条件的固定原始量子记忆和固定平稳链，一旦 t/n ≥ 1−δ，任意两个秘密的泄露态迹距离至多为 2^(−cn)；在满阈值下，对于 Schmidt 数至多为 r 的 d 维输出，最优指数底数为 (dr/π) sin(π/(dr))，量子比特给出 2√2/π，经典比特给出 2/π。