“国家量子计算机研究所小透明,人在机场,刚回国,正和导师赶往震旦大学途中。”
周默老师的这篇165页论文很牛皮。
简单的说,他一篇论文解决了物理学、应用数学、计算机学三大领域的多个重大难题。
80多年前,计算机从诞生之日就有一个基本设定即常说的“图灵停机问题”——始终存在某些计算机无法解决的特定问题。
在这个问题诞生的前一年,史上最伟大的物理学提出一个理论:当两个粒子互相纠缠时,实际上并不会互相影响——它们之间不存在因果关系。
在那之后,物理学家和数学家都在努力想要通过数学的方式来描述纠缠的真正含义。
但是努力的结果却有点混乱,科学家们为纠缠构想出了两个不同的数学模型。
1976年,应用数学领域产生了一个非常著名的猜想即科纳嵌入猜想——有可能使用有限维矩阵来近似很多无限维矩阵。
1986年,物理学领域产生了另一个著名的猜想即Tsirelson猜想:张量积纠缠模型和交换算子式纠缠模型是大致等价的。
而在本世纪初期,随着计算机技术高速发展以及网络科技广泛应用,计算机科学家开始思考:如果审问两个共享了纠缠粒子对的证明者,可验证问题的范围又将如何变化?
简单的说,这个问题是量子纠缠的关键一问。解决这个问题就等于知道了量子计算机技术最关键那把钥匙藏在了哪间房子里面。
计算机科学家和数学家门尝试了无数种办法试图找到这把钥匙,结果所有的尝试都失败了。
现在藏钥匙的房间被周默老师找到了。
周默老师的这篇论文通过与纠缠的量子证明者交互所能验证的问题类别(称为MIP*类别)其实就等于不难于停机问题的问题类别(称为RE类别)。
所以该论文的标题就简洁明了地说明了这一点:“MIP*=RE”
也就是说他在论文中证明:通过审问纠缠的证明者可以验证无法求解的问题的答案,顺便把停机问题、科纳嵌入猜想和Tsirelson猜想一起解决了。
用我导师的原话证明周默老师有多牛皮:
“过去长时间的研究都想要知道使用两个纠缠的量子证明者的验证流程有多强大,现在我们知道它有多强大了。故事也就到此为止。”
所以,我支持周默老师改选东序大学伏羲学院继续研究量子纠缠,帮助我国成为第一个进入量子计算时代的国家。
量子计算机具有模拟任意自然系统的能力,可以用来模拟生物化学合成物的成分,更加精确地研制药物和化学用品。
也就是说,量子计算机的诞生将改变目前生物化学比如纳米纤维素研究领域的研究方式,同时量子计算机也是发展人工智能的关键,其重要性无需多言。
我导师匆匆回国就是想劝说周默先生改变专业领域。
用导师原话作为结束吧。
如果把国家比作一栋大厦,那么周默致力于纳米纤维材料领域可能会成为承重柱之一,但他致力于量子计算机领域发展可能会成为大厦之基、立国之本。
支柱和地基都很重要,但两者相较孰轻孰重,请各位网友自己琢磨。
网友懂了。
还琢磨个屁,肯定选地基、选立国之本啦!
不知道谁发起的,网友们纷纷跑到了学教部、科学部、内阁、议会官网上请愿。
——请让周默去东序大学伏羲学院研究量子计算机!
注意到这股特别的动向,周默苦笑着连发两首歌。
所有人震旦大学致远学院还可以啊,都别闹,听歌!(链接)