[论文解读] Private network parameter estimation with quantum sensors

Nathan Shettell, M. Hassani+1 more|arXiv (Cornell University)|Jul 29, 2022

Quantum Information and Cryptography被引用 4

一句话总结

本文提出了一种量子协议，用于在量子传感器网络中对参数的线性函数进行私密估计，确保仅揭示全局函数值，而不暴露单个参数。通过使用经认证的GHZ态和验证技术，该协议在面对恶意节点、不可信信道及协同攻击时，保证了估计的完整性与隐私性，安全性通过量子费舍尔信息进行量化。

ABSTRACT

Networks of quantum sensors are a central application of burgeoning quantum networks. A key question for the use of such networks will be their security, particularly against malicious participants of the network. We introduce a protocol to securely evaluate linear functions of parameters over a network of quantum sensors, ensuring that all parties only have access to the function value, and no access to the individual parameters. This has application to secure networks of clocks and opens the door to more general applications of secure multiparty computing to networks of quantum sensors.

研究动机与目标

• 解决量子传感器网络中的安全挑战，防止恶意节点访问敏感的本地参数。
• 确保仅揭示参数全局线性函数的值，保护单个传感器数据的隐私。
• 提供一种实用协议，在包括不可信源和信道在内的对抗性条件下，仍能保持估计精度（完整性）和隐私性。
• 将安全多方计算原理扩展至量子传感器网络，支持如安全时钟同步等应用。
• 利用量子费舍尔信息量化隐私，确保攻击者无法提取超出函数值的信息。

提出的方法

• 该协议使用Greenberger-Horne-Zeilinger（GHZ）态作为资源态，其编码了所有节点间局部相位的平均值。
• 每个传感器节点对其量子比特施加局部酉操作 $ e^{i\theta_i Z} $，将本地参数 $ \theta_i $ 编码进态中。
• 应用验证协议以认证资源态的完整性，确保其在潜在攻击下仍保持为有效的GHZ态。
• 该协议利用量子费舍尔信息（QFI）的连续性来量化隐私，限制不同参数值下态的可区分性。
• 对于一般线性函数 $ f(\Theta) = M\sum_i k_i \theta_i $，协议通过分组量子比特并施加Pauli-X操作来编码系数 $ k_i $，同时保持安全性和效率。
• 安全分析仅考虑诚实参与方，隐私定义为任何攻击者（包括串通的不可信源和信道）无法在函数值之外推断出单个 $ \theta_i $。

实验结果

研究问题

• RQ1 在不暴露单个值的情况下，量子传感器网络能否安全估计本地参数的全局函数？
• RQ2 在攻击者可能控制源、信道和部分节点的量子网络环境中，如何对隐私进行形式化量化？
• RQ3 哪些协议能确保在恶意行为者存在时，既实现准确估计（完整性），又防止单个参数泄露（隐私）？
• RQ4 现有量子验证技术能否被适配以确保大规模量子传感器网络中的安全性？
• RQ5 该协议的安全性如何随网络规模和诚实节点数量而扩展？

主要发现

• 该协议在概率至少为 $ 1 - n^{1 - \frac{2mc}{3}} $ 的条件下，保证了 $ \varepsilon = \frac{24}{\tilde{n}} \sqrt{ \frac{2\sqrt{c}}{n} - 2nf } $-隐私，其中 $ \tilde{n} $ 为诚实参与方的数量。
• 该协议确保了对平均相位 $ \bar{\theta} = \frac{1}{n} \sum_i \theta_i $ 的精确估计，通过GHZ态编码实现最优精度。
• 即使所有不可信组件（源、信道）和恶意节点协同攻击，隐私仍能维持，归因于GHZ态的信息擦除特性。
• 通过分组量子比特并施加Pauli-X操作以编码系数，该安全框架可扩展至一般线性函数 $ f(\Theta) = M\sum_i k_i \theta_i $。
• 该协议在光学设置中具有实验可行性，因为类似验证协议已在类似系统中得到验证。
• 该方法可适配至其他资源态和验证技术，包括基于经典复杂性假设的非纠缠场景下的方法。