推荐这篇日记的豆列
&&&&&&&&&&&&3,240被浏览311,195分享邀请回答journals.plos.org/plosbiology/article/asset?id=10.1371/journal.pbio.1001745.PDF1061 条评论分享收藏感谢收起1K91 条评论分享收藏感谢收起当前位置：
&【讨论，区刊征稿】有感于当今中国量子化学主流研究现状
【讨论，区刊征稿】有感于当今中国量子化学主流研究现状
作者 yjcmwgk
欢迎大家加入本次讨论
此次讨论将整理后发表在咱们的区刊第三期上
我们很期待您的声音
中国有没有人搞算法和编程呢？有，但是太少。
前几天宏剑公司到北京科技大学搞讲座，说他们公司最近搞了一个支持本土量子化学和材料计算模拟软件自主研发的项目。我在台下冷笑。如果宏剑公司真的支持本土创新，他的软件卖给谁？
中国当今主流的量化研究，大抵上已经形成了相当完善的买办式产业链。首先由宏剑（ADF、VASP等软件的大陆代理商）、源资（Gaussian、GaussView等软件的大陆代理商）等公司引进国外著名软件的销售代理权。各大学和研究所从宏剑等代理公司手里，或者直接从Accelrys等原创公司手里买来版权。然后想idea，计算，分析，发paper，完事。代码是人家的，软件是人家的，我们只是使用者。
有人会问：“这样不是很好吗？即使是实验化学工作者，难道他们的仪器就都是自己造的？”很遗憾，中国主流化学实验其实也是如此龌龊不堪。我所在的实验室是一个实验为主，但是养了几个人专做量化、为实验化学提供支持的实验室。看看他们实验人的仪器吧。核磁仪、质谱仪、红外仪，都是买Bruker公司的；紫外仪买了岛津公司的；拉膜机是NIMA公司的；唯一国产的东西就只有压片机那个铁疙瘩而已。按说玻璃瓶子国产没问题吧，从国外买的旋蒸仪，不小心摔了个瓶子，重新配了个国产的瓶子，结果密封度大大下降，只能抽到0.3个大气压。为啥？瓶口不够圆！
我们的核心技术在哪里？这样我们根本不是做科研，只是在浪费国家的钱财。举个例子吧，我们要建设强大的空军，我们怎么办？如果我们是东方阵营选手，买一堆苏、米格、卡、图、安和伊尔？或者如果我们是西方阵营选手，买一堆F22、B52、幻影、阿帕奇和银河？这种军队也许看起来很强大，但是却会处处受制。我们国家自主研发强、歼、直、运，其实就是为了独立自主，掌握核心技术，不受外人摆布。可是，我们的量子化学和材料计算，核心技术在哪里？
宏剑公司那个讲座也说了，他们公司搞的那个支持本土量子化学和材料计算模拟软件自主研发的项目，其实主要专家顾问是海外华人。国内的量化人呢？也许在他们眼中，不过是初级量化技工、中级量化技工和高级量化技工而已。咱们坛子上有许多初级量化技工，其实小卒我自己也是初级量化技工而已。
在我们中国，把高斯源代码搞过来，在里面加一段代码，也算一个成就。这样算的话，高斯公司、ADF公司、Qchem公司、维也纳大学的VASP课题组、波恩大学的ORCA课题组、等等量化软件研发公司，他们算是什么？超级大神吗？中外科技水平，可不像论文数量的差异那样小。别忘了，中国现在不过是科技论文灌水世界第一而已。
我觉得中国应该大大增加对化学研究核心技术的投入，支持中国本土化学“重工业”的发展。如果要分的话，我觉得化学研究可以分为两部分，一部分是以现成的工具（仪器设备、计算软件等）为基础，进行直接的化学研究，我称它为化学研究的“轻工业”；一部分是为直接的化学研究服务，自主研发仪器设备和计算软件，我称它为化学研究的“重工业”。中国化学研究“轻工业”发展貌似欣欣向荣了，但还是在国外的“重工业”支撑下。为了中华民族的复兴，我们确实有极大的必要，加大对本土的化学研究“重工业”的支持。
有价值的回帖奖励10-100金币。但是不许灌水哟，灌水扣钱哈。实在手痒想灌水，请做好捐献50BB的心理准备，嘿嘿
[ Last edited by yjcmwgk on
at 14:48 ]
这个主要跟国内的科研环境有关，国内大学的考核制度，
就逼着你在短时间内出成果，否则项目没有，学生不能毕业，
所以对于搞量子化学计算的，也是搞算法和编程的很少，
相应做应用的很多，相对来说做起来简单点。
基于第一原理的代码或软件 国内自主搞的还是罕见
主要是国内的研究组普遍建立时间短 没有足够的时间和精力去开发自己的代码
当然相当一部分人也不愿意去做费力不讨好的事情
不过要想成为一流的课题组 有自己核心的东西是必须的 比如自己的代码 经过十年左右的持续努力 打磨 应该有小成
基于经验势的一些MD代码国内还是有的 不过影响力不大 也没有开源 商业化的就更稀少
更大尺度的有限元等还是有一些 做得也不错
目前国内量子化学的现状就是这个样子，我们把软件当做一种不需要维护的仪器设备，我们只要有idea，就能算出来发paper。这也使得很多的科研人员主动的转到这个方向上来，使我们的量子计算看上去是这么的欣欣向荣。
相比之下，原子分子物理专业似乎都是在自己编程，我很喜欢。
一般来说能做到熟练使用软件 明白各种软件的优势与限制 进而针对这些不足之处编写更高级的外围或补充程序 已经是很高的要求了
认识一个FHI的高手自己写了计算范德瓦尔斯力的程序 博士六七年了没发文章 老板还是让毕业了
我一个师兄也在搞这个 今年应该能出成果了 也是第六年了
我现在的主要研究工作就是写代码和推公式，个人对于当下的量化情况有所了解，也知道几个国内正在自己开发程序的小组。
个人认为， 好的科研，应该是知根知底的科研， 只有这样，才能够在前人的基础上做出新的突破。 对于量化软件而言，需要有一个中国人自己开发的程序包， 否则最核心的程序代码都掌握在别人手里， 这对于长久发展非常不利。
量化的核心是什么？ 实际上，就是量子力学， 就是解多体薛定谔方程（近似）。 其本质还是跳不出这个框架，但是算法的推陈出新，却不是那么容易做到的。 更多的时候，研究人员只是直接考虑量化工具的使用，而不考虑工具的内涵以及工具的改进。
尽管当下的量化已经发展到了一个相对成熟的阶段，但是还是有许多未知领域等待着人们去探索， 或许从头到尾开发一款量化软件已经显得没有必要，但是在现有基础上，开发全新的功能以及应用领域（各种各样的插件，例如量化软件的GPU加速插件，量化软件在高精度电子光谱预测方面的应用，线性scaling等），却是极其现实的一个问题。
或许不久的将来，就能够在现有量化软件上，看到中国人自己开发的优秀插件，这样独辟蹊径的开发，可以让中国人在量化某些领域独领风骚。
当然，如果有研究组能够从头开发一款软件，能够整合现有各个量化程序的优势，那么这样的软件，将会成为推动中国量化进步的主要力粒
量子力学！！
我觉得，这个问题的讨论还要上升到国人的思维上来。
我觉得，咱们崇洋媚外的心态一直以来就没有完全改变，只能说是在慢慢好转，当然这需要时间的问题。
写一套程序，当然没有问题。可是推广使用呢？
中国人喜欢窝里斗，别说是不用你的软件，内心里根本就不信你的软件，连你相关的计算方法的文章都不会引用。
再说，买软件那就买啦，国家每年拨的科研经费也花不完，到时候还得突击花钱。用一些比较生疏的新软件，新代码，审稿人会提问很多额外的问题，也没有必要自己惹麻烦。
另外，写自主创新的代码可以，但是很少人喜欢这样付出，是需要很大魄力的，这是一个追求高效的年代。基金项目的评审都要多少多少文章，如果三两年集中精力做代码，到头来自己什么都没有，项目都结不了题。说的再进一步，这样的项目估计都根本过不了评审。没有钱，啥都干不了。
24小时热帖
下载小木虫APP
与700万科研达人随时交流有关2016年约翰霍普金斯大学暑期生物科研项目的报名通知
时间：浏览量：次
为了给我校同学提供赴世界一流大学交流学习的机会，我校与SAF海外学习基金会联合组织2016年暑期约翰霍普金斯大学生物科研项目。本项目为暑期研究项目，学生将在2016年暑期赴美国约翰霍普金斯大学进行为期6周的科研工作。学生将由约翰霍普金斯大学教授指导，分别进行噬菌体、蛋白质和化学手性实验研究。项目没有传统的课程学习，全部为学术研究。项目结束后会获得2个约翰霍普金斯大学的正式学分。该项目是一个极高性价比的学术科研暑期项目。
1. 项目优势：
? 纯学术科研项目
对于学术基础较好的学生，将直接进入科研环节。对学生后续的学生发展，具有巨大的提升意义。
? 项目层次高
约翰霍普金斯大学为美国顶尖高校，其中生物、医学又是该校的顶尖排名专业。
? 官方正式本科生学分
项目所获的2个学分为约翰霍普金斯大学的官方正式本科生学分。学分含金量极高。
? 没有科研经历的限制
该项目不要求学生以往有从事过科研的相关经验。只要学生的学术水平（即GPA）达到要求即可。
? 项目安全可靠
学生将正式注册在约翰霍普金斯大学，大学提供DS2019表格，学生将持J1签证出行。学生在整个项目期间住在约翰霍普金斯大学自己的学生公寓内。
? 项目性价比高
该项目的项目费用非常低，考虑到在约翰霍普金斯大学的排名、其生物医学的排名，以及6周的项目期时长，该项目具有极高的性价比。
? 与中国学生学制不冲突
项目时间和中国大学暑假大致匹配，并和做灵活安排，不影响中国学生正常学期的学习。
? 助力学生后续海外申研申博
海外名校在研究生及博士招生中，及其看重学生的科研水平和经历。参加过该项目的学生，在后续海外申研申博中将会被海外名校所垂青。
2. 研究方向/实验室
学生可以从以下三个研究方向中选择一个进行实验研究，每个研究方向限5人。
? 噬菌体（Phage）:学生将使用现代分子生物技术从环境中分离细菌噬菌体并对新的细菌噬菌体进行定性。
? 蛋白质工程和生物化学（Protein Engineering and Biochemistry）：学生将使用蛋白质工程和生物化学技术修改蛋白质以给予他们新结构或物理属性。 项目过程中，学生将熟悉标准的生物化学实验室操作以及蛋白质科学、进行定向位点突变实验、蛋白质净化、以及对生物大分子机构及物理属性的定性。
? 手性（化学）Chirality (Chemistry)：学生将通过侧重于化学手性的实验项目，学习有机化学实验室中的技巧，包括净化方法、隔离、合成以及分析。
? 说明：学生将进行每周20小时的实验室研究，同时学生也会就计算机应用进行学习。这些应用程序在自然科学、社会科学、人文学科以及工程领域都有应用。学生也会学习UNIX操作系统、并熟悉在该系统上运行的UNIX指令、Shell脚本、Python编程语言、图形软件、数字及统计程序（如Mathematic或Matlab）。
3. 项目结果
1) 学生将获得约翰霍普金斯大学官方成绩单、并获得2个本科生正式学分。
2) 学生可获得指导老师的推荐信及Research科研经历证明。
4. 项目时间
日 - 7月29日，为期6周
5. 项目费用
预估项目费用约为8000美元左右。
费用说明：
1) 海外大学先还未确认最终费用，上述费用仅为参考费用，包含校方的学费、校属学生公寓住宿费用、项目期间的医疗保险及应急保险、项目运行的管理服务费用、学生的行前指导培训及签证指导费用、学生所获得海外应急服务的费用、学生在由机场到学校的交通费用。2016年具体项目费用将在海外大学确认后，进行公布。
2) 该项目费用包含2个正式学分，学生无需额外支付额外学费相关费用。
3) 项目费用不包括签证费用、个人零花费用及国际机票费用。
约翰霍普金斯大学将提供标准校内住宿。学生公寓为约翰霍普金斯大学自己产权并由约翰霍普金斯大学官方管理。学生的住宿标准为双人间，如果学生需要申请单人住宿、需额外提出申请并额外支付单人间费用。
1) 报名条件
? 中国高校相关专业的在读本科生或研究生（申请人需要已经完成了两年本科课程学习；优选专业为生物、分子生物、细胞生物、量子物理、量子化学、基因工程和食品专业。）
? GPA 需达到4分制的3.0或5分制的3.75（研一的同学可使用本科成绩GPA）。
? 英语：托福IBT 90分
2) 报名截止日期：4月1日
3) 人数限制：每个研究方向限5人
4) 申请材料：
? 网申表格（）
? 英语成绩
? 由中国母校开具二份官方英文成绩单，一份官方中文成绩单，无需另行公证。
? 有效护照复印件；
? 6 张近半年内拍摄的2寸照片；
? 一份有效期为3个月的银行存款证明和经济担保。
? 需要写一份Statement of purpose，介绍自己国内所在大学、专业、科研背景、学术目标、为什么要参加该项目、希望进行的研究方向；
? 一份师长推荐信；
? 项目报名费和保证金：报名费100美元及定金900美元。
8. 项目联系人：
1) 中国高校：
湖南大学国际合作交流处（校办公楼227办公室）
联系人：刘老师
联系电话：80
2) 约翰霍普金斯大学暑期生物Research科研项目注册中心
SAF国际项目广州办公室
地址：广东省广州市荔湾区西湾路149号之二财富公馆B2栋1912室，510160
电话：(020)
广州咨询QQ：
9. 约翰霍普金斯大学简介
约翰o霍普金斯大学（The Johns Hopkins University），简称为Hopkins 或 JHU，成立于1876年，是美国第一所研究型大学，也是美国大学协会的14所创始校之一，是一所世界顶级的著名私立大学。美国国家科学基金会连续33年将该校列为全美科研经费开支最高的大学。截止目前，学校的教员与职工共有36人获得过诺贝尔奖。2014年《美国新闻与世界报道》世界大学排名将其列为世界第11，美国第9；英国《泰晤士报》高等教育增刊将其列为世界第15。
霍普金斯大学不仅拥有全球顶级的医学院、公共卫生学院、国际关系学院，其生物工程、空间科学、社会与人文科学，音乐艺术等领域的卓越成就也名扬世界。该校医学院的教学研究单位约翰o霍普金斯医院（JHH）连续21年被评为全美最佳医院。其尼采高级国际研究学院（SAIS）培养出美国国务卿奥尔布赖特、财政部长盖特纳、世界银行行长埃因霍、中国驻美大使崔天凯、冰岛总理哈尔德、荷兰外交部长柯恩德、财政部长霍格沃斯等一大批杰出校友。该校的应用物理实验室（APL）是美国近代物理学人才的摇篮，同时也是美国国防部的合同商，哈勃空间望远镜和詹姆斯o韦伯太空望远镜的地面控制中心。在摩根财团创始人的资助下，霍普金斯诞生了美国第一所且最负盛名的音乐学院。霍普金斯主校区位于美国马里兰州巴尔的摩市，分校区位于美国首都华盛顿特区，并在中国南京、意大利博洛尼亚设有教学校区。
-- 引自百度百科机器之心原创
作者：樊晓芳
「相信会有量子计算机，相信量子计算机会以非常棒的方式进入我们生活，相信我们会有一个新的量子技术的生态环境，也相信量子技术会让计算更加安全。」阿里巴巴量子技术首席科学家施尧耘在 10 月 12 日的云栖大会量子技术峰会上如是说道。
此次阿里巴巴量子技术峰会以「量子 IT 展望」为主题，邀请了来自苏黎世联邦理工学院（ETH Zürich）、荷兰代尔夫特理工大学（TU Delft）、悉尼科技大学（UTS）、加拿大圭尔夫大学和滑铁卢大学量子计算研究所（IQC）、荷兰国家数学和计算机科学研究中心（CWI）、中科大等国际知名量子技术研究机构的 9 位教授参会分享，分别就各自在量子信息理论、量子编程语言、量子计算软件、量子算法及计算复杂性、量子计算云平台、量子互联网、量子通信等量子信息技术研究方向介绍了各自的工作成果和见解。
这次量子峰会也是自 2013 年姚期智教授在清华大学交叉信息研究院和 2015 年应明生教授在悉尼科技大学举办量子信息处理国际会议（QIP）后，华人举办的学界嘉宾参与度最高的一次国际性量子信息科学研讨会。
就在量子峰会的前一天、云栖大会的首日，施尧耘与中科院潘建伟院士共同推出了由阿里云与「中国科学院-阿里巴巴量子计算实验室」联合开发的「量子计算云平台」。这也是自阿里巴巴在今年 3 月云栖大会深圳峰会上公布全球首个云上量子通信商用服务之后在量子信息技术业务上的又一新动作。据悉，阿里巴巴自 2014 年开始就陆续在量子密钥分发、数据传输、基于云环境的加密系统、电子处方等量子保密通信业务领域申请了多项专利。
展开剩余93%
「我其实觉得很惭愧，阿里巴巴在量子通信和量子计算云平台上的众多工作，是在我加入之前就有了，靠团队多年的沉淀积累和努力。我刚加入并没有贡献太多，但还是上台参加了发布仪式。现在我加入后，会更系统地规划考虑。」施尧耘说道，「跟中科院和中科大的合作更多是从硬件层面，如量子器件和量子计算云平台基础设施。未来会继续加深合作，也可以让阿里的人去科大学习他们的实验，开展互补的合作。同时谢崇进谢博士在量子通信方向的工作，也会更加的支持，与谢博士一起努力。」
「量子计算的成功不仅需要量子处理器，还有其他软件、算法、应用三个关键部分。阿里巴巴要重点发展量子计算软件、算法、应用这三个方面，同时和实验团队合作开发处理器。」施尧耘与机器之心强调。
施尧耘似乎更明白，阿里巴巴在 IT 基础设施和算法工程上拥有的多年开发经验及庞大的互联网业务应用场景对开展量子计算软件和应用业务研究具备先天优势。
当谈及阿里云量子实验室（AQL）未来在量子信息技术方向的战略规划时，施尧耘告诉机器之心，「工作重点有四个环节。首先是硬件，阿里巴巴已经和潘建伟教授合作，未来也会和更多研究所合作，包括量子器件、量子控制、量子计算机设计等。再往上是量子软件，应明生教授是这方面的专家。再往上一个层次是量子算法，可与 Andris Ambainis、Mario Szegedy 教授合作。最上层是应用，模拟量子系统。我们希望越早行动越好，做到行业最高水平。」
「同时我们希望被看成是个学术研究机构，把科学问题研究好。在人员上，我们希望与学界一起培养博士生，正式人员多做访问和教育。因此我们不仅会招直接可以工作的人才，更希望从学生开始培养，促进他们思考，增加他们对阿里的感受，等学生学成之后，也会更匹配阿里的战略发展。」
「我还想做『量子猫』！」此时的施尧耘尤其兴奋。「Quantum Cat」他再次重复道，「这可不是薛定谔的猫。你们有听说过谷歌那个很有名的『找猫』项目吗？谷歌通过发展了大规模机器学习实现了『识别什么是猫』这个任务。找猫的结果并不重要，但是找猫的技术可以解决很多的其他领域的应用问题。找到一个很重要的应用场景，并简化这个技术，用它来解决其他的关键问题。」
自今年 9 月份正式加入阿里巴巴，施尧耘已迅速投入组建阿里云量子实验室（AQL）的工作中。本次量子峰会上受邀参会的嘉宾均为施尧耘从拜访过的国内外量子科学学术和研究机构中邀请的学术代表。据施尧耘透露，未来阿里巴巴也将陆续与这些教授和机构展开更深入的学术交流和人才联合培养的合作。
结合其自身在量子算法和复杂性、量子系统和量子计算模拟等领域的学术背景，施尧耘选择聚焦自己更擅长但国内学界关注度较弱、人才欠缺的量子计算软件、算法和应用研究领域，无疑是能同时借助企业优势发力，满足企业研发需求，并直接促进国内量子计算行业发展的最好方式。
量子软件是量子计算机的灵魂
「量子计算机要发展起来，也要重视量子软件的发展」，现任中国科学院软件研究所副所长、清华大学和悉尼科技大学教授应明生在会上表示。作为量子计算程序理论和语言构造方向最杰出的领军学者之一，应教授早在 2008 年就呼吁：「一旦量子计算机研制成功，量子软件的开发将变成真正发挥量子计算机作用的关键[1]。」
量子计算机软件和经典计算机软件一样，是用户与计算机硬件进行交流和控制的接口界面，其包括量子编程、量子算法、量子计算模型与复杂性等研究领域。
「量子计算机非常难构建，同时也非常难进行编程，现在已有许多人正在关注量子计算硬件研发，我们是时候应该多关注量子编程软件及学习如何控制和使用量子计算机，甚至量子计算机科学。」荷兰国家数学和计算机科学研究中心（CWI）Harry Buhrman 教授在会上提出。
但由于量子物理系统与经典物理体系相比有很多诸如量子叠加态、相干性、纠缠等根本性不同的特征，现有已知的例如带随机存储（RAM）的量子图灵机、量子线路模型、绝热量子计算、拓扑量子计算等主流量子计算模型也都与经典计算机在较多层面上有不同程度的差异。量子计算软件很大程度上不能直接使用经典计算软件的理论、方法和技术，这也让量子软件的开发变得十分困难且备具挑战。
「我的工作是开发量子软件，在不考虑量子计算机硬件的研发情况下增加量子计算机的算力。」来自苏黎世联邦理工学院博士在读生、开源量子软件框架 Project Q 团队的核心成员之一 Damian Steiger 说道。其团队希望通过搭建一个统一的量子计算软件框架，使用接入的量子计算机或超级计算机模拟的量子计算机仿真环境来测试算法的速度和正确性，以便更好地降低传统经典计算机开发者设计和开发量子软件的门槛。该软件可通过 www.projectq.ch 下载和安装，直接对接 5 量子比特的 IBM Q 量子计算商用系统。研发者只需懂 Python 即可操作，并可以调用其自带的资料库 FermiLib 以解决例如从分子立体结构到使用汉密尔顿函数的量子门的研发等相关费米子问题，或在模拟环境中验证自己的量子算法是否可行，以及进行量子算法、量子编程、控制量子计算机运作能力甚至量子游戏的开发。
量子编程语言研究保障量子软件工程
「若在量子语言广泛传播之前没有一个扎实的语义基础研究，会对这领域的软件工程造成巨大灾难[2]。」应教授在演讲中引用英国格拉斯哥大学计算机科学学院研究量子计算、通讯和加密方向的 Simon Gay 教授在 2006 年发布的一项研究中的观点，也意在提出，在量子计算硬件存在之前就开始设计和准备量子编程语言，也是一种合理的思路。
1996 年，美国洛斯阿拉莫斯国家实验室（LANL）提出了第一个理论上可通过经典计算对量子计算进行预处理来获得量子系统测量结果的主从式量子计算机体系结构「量子随机存储机（QRAM）」以及适合在其体系上实现的量子程序设计伪代码语言[3]，对量子寄存器的应用和引入方法、量子寄存器与传统寄存器之间如何对接转换等问题做出了详细建议，为当时量子编程语言设计领域提供了重要的构想基础和设计启发。
随后的 10 年间，基于 QRAM 体系或结合经典 C 语言等新思考后的一些简单的量子程序设计语言 QCL、qGCL、QPL 被陆续提出。但该领域真正的研究热情和工作还是在美国情报先进研究计划署（IARPA）于 2010 年开启量子计算科学项目之后被激发。至今比较受关注的量子编程语言包括受 IARPA 支持的 Peter Selinger 组的 Quipper、普林斯顿大学等单位合作实现的 Scaffold，企业界代表微软的 LIQUi|& 和量子计算创业公司新秀 Rigetti 的 Quil，以及学界代表 ETH 的 Project Q 等。
「编程工作是经常容易出错的，且相比在经典物理世界，人类在经典世界中获得的常规思维方式和直觉更难适应并理解量子世界，因此在量子计算机上编程更容易出错。」应教授解释道。根据这个思考逻辑，应教授认为在量子程序设计中十分有必要添加验证功能。具体可从其命令式量子程序中的核心语言出发，将合适的验证逻辑结构嵌入量子程序的分析当中。「最有意思的是量子化的『if statement』和『while』这两个结构，他们在量子程序中的验证分析问题都得到了解决。」应教授指着自己的演示文稿有兴许激动，「这样程序就会根据认证结果输出选择后的结果，并选择性地执行循环，用于检验量子程序的完全正确性或部分正确性。」
同时基于对量子编程语言多年的研究基础，应教授也希望在未来重点发展其 Q|SI&量子程序设计环境，具体包含 1）量子程序设计语言，例如在其他编程语言中没有出现过的量子「while」循环；2) 量子编译器qCompiler，将量子编程语言写成的程序编译成例如IBM QASM 2.0 等底层的量子汇编语言；3)量子模拟器 qSimulator，现在正进行 45 个量子比特的量子程序的模拟；4）量子程序认证工具 qVerifier；5）量子程序终止分析工具 qTerminator。
应教授表示其未来的工作重点将更多关注其语言逻辑在比如对量子加密协议和量子关系 Hoare 逻辑的验证上的应用，以及开发更多带有纠正功能算法来进行程序验证。同时，在如增加量子控制、量子递归等角度提出更多程序构念，通过在平行、并发、分布式量子编程上更多的研究工作来实现 49-50 个量子比特/「Quantum Supremacy」的分布式量子计算系统、不同进程中的纠缠状况、并行量子计算机内存模型，以及对量子网络进行编程。
量子算法可实现指数级加速
「这是我们再熟悉不过的 Peter Shor」，罗格斯大学计算机科学系教授 Mario Szegedy 笑着介绍道，「左边是他发明 Shor 算法时的样子，右边是他现在的样子」。Szegedy 教授作为 PCP 定理和流算法的证明者和贡献者之一，曾两次获得理论计算机领域最高荣誉奖 G?del Prize，其工作对量子算法和计算复杂性以及量子通信密码学和工程研究提供了非常重要的理论基础。同样 Peter Shor 教授也因开发了可用于因数分解的 Shor 算法获得1999 年的 G?del Prize[4]。
Mario Szegedy 教授的演示文稿中的插图
Shor 算法最明显的用途就是对使用大因数分解方式、依赖计算复杂性制造的 RSA 加密算法进行破译。一个 1024 比特的 RSA 算法需要 1 百万个 CPU 来解决，但现在即使使用最小数量量子比特的量子计算机上运行 Shor 算法，也只需要约 10 小时。随着量子计算机上的量子比特数量逐个增加，其计算能力呈指数级增长。
与 Shor 算法齐名的另一种量子算法是 Grover 搜索算法。Grover 算法的存在让针对搜索问题尝试的次数降到根号级别，花费的时间成根号级数缩短。「量子搜索对大规模数量搜索应用的作用非常大，比如在优化问题中找到最佳路线和规划、破译密码中减少穷尽式尝试密钥所需要的次数、目标事件发生概率预测情况下减少测试数量等解决复杂的统计问题。」拉脱维亚大学物理和数学系教授 Andris Ambainis 表示。Ambainis 教授是该大学计算系量子计算研究组的负责人，其工作重点集中在量子搜索算法、计算复杂性、量子通信和密码学等量子信息理论研究工作。其最近的研究方向是通过使用回溯、量子漫步、Quantum Query 等原理针对可被等价为规模可知但结构未知的搜索树的计算任务来设计对应可进行加速计算的量子算法。
大多数计算机科学视角中的量子计算是指能实现指数级加速的量子算法。现今已知的量子算法大体上可以分为以上提到的以Shor 为代表的用于因数分解以及解决隐含子群问题（HSP）的算法、以 Grover 为代表的用于非结构化搜索和优化的算法、以 D-Wave 使用的量子退火算法为代表的用于解决量子组合优化问题的量子绝热算法、用于模拟量子化学、超导、材料学和超能物理等量子系统的量子模拟算法、求解线性系统的量子 Harrow-Hassdim-Lloyd（HHL）算法，以及量子漫步等算法[5]。量子算法的优化能使整个量子计算机系统拥有较高的总体效用。
「有很长一段时间，量子计算领域只有 Shor 算法和 Grover 算法两个常被提及的量子算法，但近年情况有所好转。研究者正在发展和构建诸多量子算法设计框架，为针对各种问题的量子算法设计赋能。」悉尼科技大学教授季铮锋在演讲中说道。除了设计量子算法框架，量子算法面临的挑战还包括如何将这些量子算法框架应用到现实问题中，比如用到机器学习、材料科学、量子化学等领域。
量子计算复杂性研究助力算法设计和问题求解
季教授师从应明生教授，多年来的学术研究方向主要在量子计算复杂性。量子计算复杂性主要研究不同计算模型在量子物理的新视角下其计算能力和性质的变化，其领域包括 1）类比经典可计算性理论的量子线路模型、量子图灵机、量子图灵机和量子线路模型等价性、BQP（量子计算机多项式时间能处理的判定问题对应的复杂度类）、Oracle Separation；2）量子黑盒复杂性；3）Quantum Supremacy 和其背后的复杂性理论支持，例如后选择效应（Postselection）、与多项式阶层相关的问题等等。量子复杂性理论中另一个获得长足发展的领域是对应经典计算复杂性理论中证明验证的量子推广。这个领域研究包括 QMA（量子计算版本的 NP 类）、量子 Cook-Levin 理论、哈密顿复杂性等其他与凝聚态物理的相关性，以及量子交互式证明和对量子 PCP 猜想的探索等。
同时，季教授又提及量子复杂性面临的挑战，需要首先更好理解 BQP 类在经典计算与量子计算之间的关系，以及证明或证伪量子 PCP 猜想（其结果也会帮助人们更好理解量子纠缠的原理和纠缠证明的能力）。这些复杂性理论上的进展有望应用在量子计算的委托问题上，也就是将来量子计算能力放至云端后，我们需要考虑如何可信地把我们的计算问题委托给云端的量子计算机来处理。
量子计算云平台加速算法开发及应用
在当今量子计算机还没有商业化应用之前，量子程序设计仍需要在传统经典计算机上进行，但毕竟经典计算体系和量子计算体系在设备的物理原理上存在的根本差异会造成一定的算法设计偏差和验证困难。量子计算云平台的出现为广大研究人员和开发者提供了一个更好的量子程序设计和应用开发环境。
在量子峰会召开的前一天，中科大潘建伟教授牵头的中科大-阿里巴巴量子计算实验室、清华大学物理系龙桂鲁教授与加拿大圭尔夫大学数学系和滑铁卢大学量子计算研究所（IQC）的曾蓓教授共同带领的实验组、中科大郭光灿院士的本源量子公司同时发布了基于不同物理体系量子计算机的量子计算云平台，也意味着中国在量子计算云平台的工作上迈出了崭新的一步。
「NMRCloudQ 是国际上首个基于核磁共振的量子云计算平台项目。暂时还是初步测试版本，但在上线后的一天内已经收到近 100 个递交的计算任务。」曾蓓教授在会上重点介绍了该项目。「我们参与这个项目的清华团队成员们也都来到了现场，大家有什么技术问题可以直接问他们。」曾蓓教授多次在会上激动地介绍她「可爱的」同学和合作者们。
据了解，NMRCloudQ 对接的核磁共振量子计算机是曾蓓教授在本科时期科研训练方向的老师龙桂鲁教授制作的，包含四个量子比特，但是逻辑门保真度超过 98%，可以完成很多步复杂的逻辑门[6]。同时，该项目将核磁共振量子计算体系的控制层也开发给用户，用户可从实践中对量子计算机体系结构和运行方式有更深度的理解，自行开展量子计算和量子操控的研究。
曾蓓教授介绍 NMRCloudQ 团队
曾蓓教授在核磁共振量子模拟器上的研究还包括使用基于测量量子反馈控制（MQFC）的优化方式制造了一个由 12 量子比特核磁共振量子处理器设计的拥有必要控制脉冲的 12 个相干态，以便通过使用量子处理器最大化其控制能力和精确性[7]。因为 MQFC 也容易迁移应用到其他技术体系的通用量子信息处理器上，为进行更大规模和更精确地控制量子系统提出了一条新思路，也有助于更进一步实现「Quantum Supremacy」的展示。
产研结合让量子计算成为可能
「今天英特尔公布了 17 个量子比特的超导量子计算机芯片，这个芯片就是与我们 QuTech 研究所合作完成的。」，来自荷兰代尔夫特理工大学（TU Delft）的 Stephanie Wehner 教授在演讲时激动地表示。QuTech 是由被誉为「欧洲麻省理工」的荷兰代尔夫特理工大学（TU Delft）和荷兰国家应用科学研究院（TNO）合作的针对实现量子计算和量子互联网成立的高等研究中心。其量子计算实验室分为拓扑量子计算和容错量子计算两大方向，分别与微软量子计算研究 Station Q 在拓扑量子计算方面、与英特尔在超导量子体系路线上有深度合作。
Stephanie Wehner 教授演讲中关于 QuTech 工作架构的介绍
QuTech 有多个物理体系的量子计算硬件平台，包括超导量子电路系统、半导体量子点电子自旋量子比特系统、金刚石 NV（氮-空位）电子自旋和核自旋量子比特系统、超导-半导体体系中拓扑马约拉纳量子比特系统。因为对于做量子计算软件系统的研究者来说了解硬件平台的优缺点来说很有必要，有的系统拥有较快量子门电路速度但其量子比特的寿命较短或相干性维持时间较短，取决于该系统的应用场景是计算还是长距离通信。同时，QuTech 具备整套量子硬件和软件研发环境，并拥有 QuTech Academy 学院来培养未来更多的量子工程师。
Qutech 量子计算硬件平台介绍
由 QuTech 提出的电路模型可编程量子计算机构架 [8]
「我们于 2015 年创办了 QuSoft 学术研究院，专注解决量子软件问题。」来自 CWI 的 Harry Buhrman 教授同样激动地表示。
「量子软件是任何量子计算机的核心，但最直接的挑战是现有量子计算机拥有的量子比特数量远小于 100。不过，我们可以先考虑在仅有 10-50 或更小数量量子比特的量子计算机系统上可以开发何种应用，特别是在这群量子比特还比较脆弱及不稳定的环境下。其次，在现有小规模量子网络的基础上，如何实现量子密码分布式系统、通过长距离量子中继器上的量子对纠缠。再之，需要考虑纠错机制。」Harry Buhrman 教授详细地介绍了 QuSoft 研究院未来的研究方向。
QuSoft 研究院研究方向介绍
迈向「量子霸权」？
自 2011 年加州理工学院物理学家 John Preskill 教授提出「Quantum Supremacy」[9]的概念以来，业界对提出该词这个行为本身的意义、对该词的理解是否存在偏差或过分解读的情况、学术界短期追逐创造更高数量量子比特的量子计算机的利与弊等话题都充满了讨论。
「我不是很喜欢 Quantum Supremacy 这个词。」当机器之心问及 Buhrman 教授时，他回答道，「因为现有一些还没开发出应用价值的算法即使实现了 Quantum Supremacy，也仅仅是运用量子处理器在解决某一运算任务上的成绩比较好，但其没法去模拟经典计算机能处理的问题。但也算是下一步比较好的研发方向。」
Ambainis 教授则表示，「我认为 Quantum Supremacy 在短期还是非常重要的目标，表示大家在争取实现一些量子优势。玻色采样算法是个很有意思的例子，因为针对量子算法的商用价值，你还需要其他各种资源、更先进的量子设备、对应用场景更清楚地理解来进行研究。」
Buhrman 教授又笑着向机器之心解释说，「通常人们需要先对量子计算机在计算何种问题上比经典计算机计算得快的想法，然后才会去尝试考虑运算的实用性和具体应用领域。所以我们首先是要先尽力寻找量子计算机能在做什么任务时速度可超越经典计算机的运算。即使暂时还没看到这些算法的具体应用，也要坚持去做，有些算法现在看起来没用，但可能算法在变体后就有用。正如第一个量子算法是由 David Deutsch提出[10]，能很好展示量子计算确实能够在某些问题的计算能力上远超经典计算机，但在当时看来其算法都是没有应用价值的。但后来Peter Shor 突然发现可以利用 David Deutsch 的这些想法来分解数字，于是提出了现在最有应用价值的算法之一『Shor』，这样一个无用的算法瞬间变成特别有用。这些成果在事先都是没法预测的，只要跟随个人的好奇心，一定会有意想不到的成绩出现。」
[1] 量子程序理论及相关问题研究. 冯元, 段润尧,季铮锋, 应明生. 中国计算机学会通讯.2008.07
[2] S.Gay, Quantum Programming Languages: Survey and Bibliography (MathematicalStructures in Computer Science 16(4), 2006)
[3] E. H.Knill, Conventions for quantum pseudocode. Technical Report LAUR-96-2724, LosAlamos National Laboratory, 1996
[4] G?delPrize http://eatcs.org/index.php/goedel-prize
[5] A.Montanaro, Quantum algorithms: an overview. arXiv: v2. 17 Dec 2015
[6]NMRCloudQ: A Quantum Cloud Experience on a Nuclear Magnetic Resonance QuantumComputer. arXiv: v1. 10 Oct 2017
[7] DaweiLu, Keren Li, Jun Li, Hemant Katiyar, Annie Jihyun Park, Guanru Feng, Tao Xin,Hang Li, GuiLu Long, Aharon Brodutch, Jonathan Baugh, Bei Zeng, RaymondLaflamme (2017). Towards quantum supremacy: enhancing quantum control by bootstrappinga quantum processor. arXiv: v1. 5 Jan 2017
[8] X.Fu, L. Riesebos, L. Lao, C. Almudever, F. Sebastiano, R. Versluis, E. Charbon,and K. Bertels, “A heterogeneous quantum computer architecture,” in Proceedings of the ACM International Conference on Computing Frontiers. ACM,2016, pp. 323–330
[9] J.Preskill, “Quantum computing and the entanglement frontier,” arXiv:
[10] David Deutsch and Richard Jozsa (1992). "Rapid solutions of problems by quantum computation". Proceedingsof the Royal Society of London A. 439: 553.
本文为机器之心原创，转载请联系本公众号获得授权。
声明：本文由入驻搜狐号作者撰写，除搜狐官方账号外，观点仅代表作者本人，不代表搜狐立场。