AF: Small: Theory and Applications of Untrusted Quantum Devices

AF：小：不可信量子设备的理论与应用

• 批准号: 1318070
• 负责人: Yaoyun Shi
• 金额: $ 41.68万
• 依托单位: Regents of the University of Michigan - Ann Arbor
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2013
• 资助国家: 美国
• 起止时间: 2013-09-01 至 2016-08-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1318070&HistoricalAwards=false
• 关键词: AF; Small; Theory; Applications; Untrusted

Imagine that you would like to make use of the powerful information processing capability of quantum devices but you are not yet equipped to implement the necessary quantum operations. You may purchase quantum devices that come with a classical interface. However, you may not necessarily trust the manufacturer's claim on the inner-working of the devices. Even if you do, the devices may be corrupted for many reasons. An important question thus arises: what can we do through classically interacting with quantum devices that may deviate from the ideal specification? To address this question, the researchers are developing a theory of untrusted quantum devices through this project. Such a theory would be supported by two pillars:(a) Robust self-testing of quantum states and quantum operations. That is, methods for pinning down the quantum device (its state and measurements) through classical interactions.(b) General principles for proving cryptographic properties of untrusted quantum devices.A successful theory will identify the power and limitations of classical interactions with quantum devices. In particular, it may provide new tools for designing and analyzing the security of cryptographic protocols that rely on untrusted quantum devices. This will bring the tremendous potential of quantum information processing closer to reality. The project also serves as a training program for both undergraduate and graduate students for cutting-edge research on quantum information processing.

想象一下，你想利用量子设备强大的信息处理能力，但你还没有能力实现必要的量子操作。 您可以购买带有经典接口的量子设备。 然而，你可能不一定相信制造商对设备内部工作的说法。 即使您这样做，设备也可能因多种原因而损坏。 因此，一个重要的问题出现了：我们可以通过与可能偏离理想规范的量子设备进行经典交互来做什么？为了解决这个问题，研究人员正在通过这个项目开发一种不可信量子设备的理论。这样的理论将由两个支柱支持：（a）量子态和量子操作的鲁棒自我测试。 也就是说，通过经典相互作用来固定量子设备（其状态和测量）的方法。(b)证明不可信量子设备的密码学性质的一般原则。一个成功的理论将识别与量子设备的经典相互作用的能力和局限性。 特别是，它可以为设计和分析依赖于不可信量子设备的加密协议的安全性提供新的工具。 这将使量子信息处理的巨大潜力更接近现实。 该项目还作为本科生和研究生的培训计划，用于量子信息处理的前沿研究。