Reliable and Robust Quantum Computing

可靠且强大的量子计算

• 批准号: EP/W032635/1
• 负责人: Thomas Melham
• 金额: $ 283.81万
• 依托单位: University of Oxford
• 依托单位国家: 英国
• 项目类别: Research Grant
• 财政年份: 2022
• 资助国家: 英国
• 起止时间: 2022 至 无数据
• 项目状态: 未结题
• 来源: https://gtr.ukri.org/projects?ref=EP%2FW032635%2F1
• 关键词: Reliable; Robust; Quantum; Computing

Over 60 years of work in computer science and engineering has defined and refined a tower of abstractions that constitute the solidfoundations of today's classical computer systems. Key challenges to reliability and correctness have been faced-and overcome-at dozens of levelsin the stack, and there is a wealth of insight and expertise in the diverse community of ICT researchers who work across it.In the last decade, progress on quantum computing has accelerated, and it is becoming an international industry in its own right.Nevertheless, quantum computing is still at the beginning of its journey. Small-scale prototype devices have demonstrated the potential forthis technology, and milestone experiments have demonstrated a quantum computer's capability to out perform classical hardware on speciallydesigned problems, but the construction of a reliable and robust large-scale quantum device capable of challenging the world's classicalsupercomputers for useful real world problems remains a huge challenge.We do not think that classical ICT has ready-made solutions to this challenge, but we believe that significant advances in the field willarise through a broad spectrum of genuinely cross-disciplinary exchange, allowing for close contact of quantum computing researchers with thescientific tools, methods and (especially) mindsets of the ICT research community - across a broad spread of the key classical computing stacks.This project will open up a dialogue between quantum computing and ICT research communities, particularly ICT researchers engaged in computersystems and architecture research, by creating a network of researchers who will co-design a research project to develop and advancesolutions for reliable and robust quantum computation, addressing key layers across the principal computing stacks.

60多年的计算机科学和工程工作定义并提炼了一座抽象之塔，这些抽象构成了当今经典计算机系统的坚实基础。可靠性和准确性方面的关键挑战已经在几十个层面上面临并克服了，在信息和通信技术研究人员的不同社区中，他们拥有丰富的洞察力和专业知识。在过去的十年里，量子计算的进展加快，它本身正在成为一个国际产业。然而，量子计算仍处于其旅程的开始。小规模的原型设备已经展示了这项技术的潜力，里程碑式的实验已经证明了量子计算机在特殊设计的问题上超越经典硬件的能力，但构建能够在有用的现实世界问题上挑战世界经典超级计算机的可靠和健壮的大规模量子设备仍然是一个巨大的挑战。我们不认为经典ICT已经为这一挑战提供了现成的解决方案，但我们相信，该领域的重大进展将通过广泛的真正跨学科交流而产生，允许量子计算研究人员与科学工具密切接触。这个项目将在量子计算和信通技术研究界之间开启对话，特别是从事计算机系统和体系结构研究的信通技术研究人员网络，他们将共同设计一个研究项目，以开发和推进可靠和可靠的量子计算解决方案，解决主要计算堆栈中的关键层问题。

项目成果

Quantum Error Mitigated Classical Shadows

• DOI: 10.1103/prxquantum.5.010324
• 发表时间: 2023-05
• 期刊: PRX Quantum
• 影响因子: 9.7
• 作者: Hamza Jnane;Jonathan Steinberg;Z. Cai;H. C. Nguyen;Bálint Koczor

A Lattice-Reduction Aided Vector Perturbation Precoder Relying On Quantum Annealing

一种基于量子退火的格约化辅助矢量扰动预编码器

• DOI: 10.1109/lwc.2024.3365874
• 发表时间: 2024
• 期刊: IEEE Wireless Communications Letters
• 影响因子: 6.3
• 作者: Winter S

Accelerating Finite State Machine-Based Testing using Reinforcement Learning

使用强化学习加速基于有限状态机的测试

• DOI: 10.1109/tse.2024.3358416
• 发表时间: 2024
• 期刊: IEEE Transactions on Software Engineering
• 影响因子: 7.4
• 作者: Türker U

Can shallow quantum circuits scramble local noise into global white noise?

• DOI: 10.1088/1751-8121/ad0ac7
• 发表时间: 2023-02
• 期刊: Journal of Physics A: Mathematical and Theoretical
• 作者: Jonathan Foldager;Bálint Koczor

On Specifying for Trustworthiness

• DOI: 10.1145/3624699
• 发表时间: 2022-06
• 期刊: Communications of the ACM
• 影响因子: 22.7
• 作者: Dhaminda B. Abeywickrama;A. Bennaceur;Greg Chance;Y. Demiris;Anastasia Kordoni;Mark Levine;Luke Moffat-Luke