量子程序设计研究的近期进展.PDFVIP

量子程序设计研究的近期 进展 应 明生(University of Technology Sydney, 清华大学) 一． 引言 八年前，我与冯元、段润尧、季铮锋三位老师一起在本刊发表 过一篇量子程序理论研究的综述［1］。这些年，这个领域有了比较 大的进展，我自己对于一些问题的理解也有所不同。因此，非常高 兴得到吴俊杰教授邀请在他主编的专辑中再写一篇这方面的文章。 量子计算机硬件的研制这几年有较大的进展，但目前离 实用化 还有很大的距离（想必其他老师会在本专辑详加论述）。因此，这 篇文章面 临的第一个问题是：我们现在研究量子程序是不是太早了？ 其实这个 问题我回答不好，但为 了把这篇文章继续写下去，请允许 我谈两件事情。首先，早在 1996 年 Knill 已经开始考虑量子程序设 计的问题，此后 20 年这方面已经有大量的研究工作发表。第二件事 情则扯得有点远。我国正在大力提倡原始创新，而原始创新只有在 新领域机会多一点，在成熟的领域则机会很少。量子程序恰好是一 个正在兴起的新领域，希望有更多的年轻人参与研究。 当然，量子程序设计研究的是：如何为将来的量子计算机设 计程序？文章写到这里则面临第二个问题：既然我们 目前并没有实 用化的量子计算机，那怎样研究量子程序？惭愧的是这个问题我也 回答不好，但本文中我将较为全面地介绍近年来的一些进展。等读 者耐心读完本文后，您自己一定能够根据已有的研究工作（以及您 认为应该研究而还没有得到研究的问题） ，比我更好地回答这个问 题。 由于已有文［1］，本文主要讨论 2008 年以后的工作。 总的来说，到目前为止关于量子程序的研究主要围绕以下两个 主题开展 ［2 ］ ： （1）过去为经典计算机发展的程序设计理论、方 法和技术如何扩展到量子计算机上？（2 ）什么样的新程序设计模型、 方法和技术能够更有效地发挥量子计算机特有的优势？ 由于量子系 统的一些新特性（体现在量子程序中，如量子数据不可克隆、进程 之间的纠缠、量子程序变元可观测量的非交换性），已有的一些程 序设计的理论、方法和技术不适用于量子程序，而需要引入一系列 全新思想。 二． 量子程序设计语 言及其实现 早期的量子程序研究集中在量子程序设计语言的设计及初步的 实现。早在 1990 年代及 2000 年代初就已经提出了几个高级量子程 序设计语言，这方面的简单介绍可参见［1］。 最近这几年，由于受到量子计算硬件进展的刺激以及 2010 年 IARPA 设立的量子计算机科学项目的推动，量子程序设计语言的设 计与实现方面有很大的进展，主要包括：（1）Microsoft 的 LIQUi| ［3］。最近他们与 ETH Zurich 合作进一步地提出了量子程序编译 和优化的可扩展软件设计流［4］; (2) Selinger 组的 Quipper ［5］; (3) Princeton 、UCSB 等单位的 Scaffold ［6, 7］。(4) Raytheon BBN Technologies 等的 QuaFL[8, 9] 。特别值得指出的是，为了更好地实 现其编译器，Microsoft 与 Selinger 两个研究组在量子电路的优化方 面做出了一些非常好的工作，较好地解决了单个量子比特电路优化 问题，但多个量子比特电路的优化进展不大。量子电路的优化远较 经典电路优化困难得多，经典电路的优化方法完全不适用，而需要 一些很不一样的思路，比如单量子比特情形采用了一些初等代数数 论工具。随便提及，布尔代数为经典电路的分析与综合提供一种很 好 的代数语言。文 ［10］曾为量子电路定义了一种代数语言 ，以便 对量子电路进行代数操作与推理。 在国内，南京大学徐家福、宋方敏、吴楠教授研究组在量子 程序设计语言及其实现方面做了大量的工作，在［11］第 8 节有一 个很好的介绍。文［12 ］也曾定义了一个量子 flowchart 语言。 三．量子程序的语义 程序设计语言的形式语义为程序提供了严格的数学描述。这样 的描述对于量子程序尤为重要，因为量子系统的一些特征违反人们 的直觉，理解起来很容易出错，而对于量子力学可能缺乏 系统训练 的程序员则尤其如此。 量子程序语