NETWORK: Semantics of Quantum Computation

网络：量子计算的语义

• 批准号: EP/E00623X/1
• 负责人: Simon Gay
• 金额: $ 7.04万
• 依托单位: University of Glasgow
• 依托单位国家: 英国
• 项目类别: Research Grant
• 财政年份: 2006
• 资助国家: 英国
• 起止时间: 2006 至 无数据
• 项目状态: 已结题
• 来源: https://gtr.ukri.org/projects?ref=EP%2FE00623X%2F1
• 关键词: NETWORK; Semantics; Quantum; Computation

Quantum computation (more generally, quantum information processing)has become established as an exciting interdisciplinary research fieldat the intersection of physics, computer science and mathematics. Computing devices based on the laws of quantum physics have the potential to hugely increase our capabilities in both algorithmics and cryptography. The former concerns the design of efficient techniques for solving computational problems; it is possible that quantum computers will enable the solution of previously intractable problems. The latter is important for secure electronic communication; by harnessing quantum effects it is possible to devise absolutely secure cryptosystems, unbreakable even by quantum computers. Theoretical computer scientists have recently found several new and exciting ways to applytheir distinctive techniques to quantum computing; the emphasis is different from previous work on cryptography and algorithm design. Thisactivity includes the design and study of quantum programminglanguages, to support the development of reliable software for quantum computers; the development ofquantum logics to support verification of quantum programs; semanticstudies of the foundations of quantum mechanics; semantics-basedanalysis of information flow in quantum protocols; formalspecification and verification of quantum cryptographic systems. A substantial portion of this research is taking place in the UK. Thepurpose of this network is to build on the existing activity to establish a cohesive community that candevelop into a UK-led international research community.

量子计算（更一般地说，量子信息处理）已经成为物理学，计算机科学和数学交叉的一个令人兴奋的跨学科研究领域。基于量子物理定律的计算设备有可能极大地提高我们在算法和密码学方面的能力。前者涉及解决计算问题的有效技术的设计;量子计算机有可能解决以前难以解决的问题。后者对于安全的电子通信很重要;通过利用量子效应，有可能设计出绝对安全的密码系统，即使是量子计算机也无法破解。理论计算机科学家最近发现了几种新的令人兴奋的方法，将他们独特的技术应用于量子计算;重点与以前的密码学和算法设计工作不同。该活动包括量子编程语言的设计和研究，以支持量子计算机可靠软件的开发;量子逻辑的开发，以支持量子程序的验证;量子力学基础的语义研究;量子协议中基于语义的信息流分析;量子密码系统的形式规范和验证。这项研究的很大一部分在英国进行。这个网络的目的是建立在现有的活动，建立一个有凝聚力的社区，可以发展成为一个英国领导的国际研究社区。

项目成果

Formal Analysis of Quantum Systems using Process Calculus

• DOI: 10.4204/eptcs.59.9
• 发表时间: 2011-08
• 作者: T. A. Davidson;S. Gay;R. Nagarajan

Model Checking for Communicating Quantum Processes

• 发表时间: 2012
• 期刊: Int. J. Unconv. Comput.
• 作者: T. A. Davidson;S. Gay;Hynek Mlnarik;R. Nagarajan;N. Papanikolaou

QMC: A Model Checker for Quantum Systems

QMC：量子系统模型检查器

• DOI: 10.48550/arxiv.0704.3705
• 发表时间: 2007
• 作者: Gay S

Lossless Quantum Prefix Compression for Communication Channels that are Always Open

用于始终开放的通信通道的无损量子前缀压缩

• DOI: 10.48550/arxiv.0808.2003
• 发表时间: 2008
• 作者: Mueller M