广告

麻省理工研究人员开发了一种用于量子计算的新语言

2022-01-28 14:02:08 麻省理工学院 阅读:
麻省理工学院计算机科学与人工智能 (CSAIL) 的科学家旨在通过创建自己的量子计算编程语言 Twist 来解开谜团。Twist 可以通过经典程序员可以理解的语言来描述和验证量子程序中纠缠了哪些数据。该语言使用了一个称为纯度的概念,它强制不存在纠缠并产生更直观的程序,理想情况下错误更少。例如,程序员可以使用 Twist 表示程序作为垃圾生成的临时数据不会与程序的答案纠缠在一起,从而可以安全地丢弃。

与使用比特的传统计算机不同,量子计算机使用量子比特将信息编码为 0 或 1,或两者同时编码。再加上来自量子物理学的各种力量,这些冰箱大小的机器可以处理大量信息——但它们远非完美无缺。就像我们的普通计算机一样,我们需要有正确的编程语言才能在量子计算机上正确计算。8WAednc

对量子计算机进行编程需要了解一种叫做“纠缠”的东西,这是一种用于各种量子比特的计算乘数,可以转化为强大的能量。当两个量子位纠缠在一起时,一个量子位上的动作可以改变另一个量子位的值,即使它们在物理上是分开的,这引起了爱因斯坦对“远距离幽灵动作”的描述。但这种效力同样是弱点的来源。在编程时,丢弃一个量子位而不注意它与另一个量子位的纠缠可能会破坏存储在另一个量子位中的数据,从而危及程序的正确性。8WAednc

麻省理工学院计算机科学与人工智能 (CSAIL) 的科学家旨在通过创建自己的量子计算编程语言 Twist 来解开谜团。Twist 可以通过经典程序员可以理解的语言来描述和验证量子程序中纠缠了哪些数据。该语言使用了一个称为纯度的概念,它强制不存在纠缠并产生更直观的程序,理想情况下错误更少。例如,程序员可以使用 Twist 表示程序作为垃圾生成的临时数据不会与程序的答案纠缠在一起,从而可以安全地丢弃。8WAednc

虽然新兴领域可能会让人感觉有点浮华和未来感,但脑海中浮现出巨大的金属机器的图像,但量子计算机具有在经典无法解决的任务中实现计算突破的潜力,例如密码学和通信协议、搜索以及计算物理和化学。计算科学的主要挑战之一是处理问题的复杂性和所需的计算量。经典的数字计算机需要非常大的指数位数才能处理这样的模拟,而量子计算机可能会使用非常少量的量子位来做到这一点——如果有正确的程序的话。8WAednc

“我们的语言Twist允许开发者编写更安全的量子程序,明确说明什么时候量子比特不能与另一个量子比特纠缠,” 麻省理工学院电子工程和计算机科学博士生,也是一篇关于 Twist 新论文的主要作者,Charles Yuan说,“因为理解量子程序需要理解纠缠,我们希望 Twist 为语言铺平道路,使程序员更容易应对量子计算的独特挑战。”8WAednc

Yuan与麻省理工学院电子研究实验室电子工程和计算机科学博士生Chris McNally,以及麻省理工学院助理教授Michael Carbin一起撰写了这篇论文。 他们在上周于费城举行的2022年编程原则研讨会上展示了这项研究。  8WAednc

解开量子纠缠

想象一个木箱,它的一侧伸出一千根电缆。您可以将任何电缆从包装盒中拉出,也可以将其完全推入。8WAednc

在你这样做一段时间后,电缆会形成一个位模式——零和一——取决于它们是在里面还是在外面。这个盒子代表了经典计算机的内存。该计算机的程序是关于何时以及如何拉电缆的一系列指令。8WAednc

现在想象第二个外观相同的盒子。这一次,你拉一根电缆,看到它出现时,其他几根电缆被拉回了里面。显然,在盒子内部,这些电缆不知何故相互纠缠在一起。8WAednc

第二个框是量子计算机的类比,理解量子程序的含义需要理解其数据中存在的纠缠。但是检测纠缠并不简单。你看不到木箱,所以你能做的最好的就是尝试拉动电缆并仔细推理哪些是纠缠的。同样,今天的量子程序员不得不手动推理纠缠。这就是 Twist 的设计有助于按摩其中一些交错部分的地方。8WAednc

科学家们设计的 Twist 具有足够的表现力,可以为著名的量子算法编写程序并识别其实现中的错误。为了评估 Twist 的设计,他们对程序进行了修改,以引入某种对于人类程序员来说相对不易察觉的错误,并表明 Twist 可以自动识别错误并拒绝程序。8WAednc

他们还测量了程序在运行时方面的实际执行情况,与现有的量子编程技术相比,它的开销不到 4%。8WAednc

对于那些担心量子在破解加密系统方面的“肮脏”名声的人来说,袁说,量子计算机在多大程度上能够在实践中实现其性能承诺,目前还不是很清楚。“在后量子密码学方面正在进行大量研究,这些研究之所以存在,是因为即使是量子计算也不是万能的。到目前为止,人们已经开发出一套非常具体的应用程序,其中量子计算机可以优于传统计算机。”8WAednc

重要的下一步是使用 Twist 创建更高级别的量子编程语言。今天的大多数量子编程语言仍然类似于汇编语言,将低级操作串在一起,没有注意数据类型和函数等东西,以及经典软件工程中的典型内容。8WAednc

“量子计算机容易出错且难以编程。通过引入和推理程序代码的‘纯度’,Twist 通过保证纯代码中的量子位不能被更改,朝着更容易量子编程迈出了一大步由代码中没有的位组成,”芝加哥大学计算机科学 Seymour Goodman 教授、Super.tech 首席科学家 Fred Chong 说。8WAednc

责编:Demi
  • 微信扫一扫
    一键转发
  • 最前沿的电子设计资讯
    请关注“电子技术设计微信公众号”
  • 高通推断:苹果成功自研5G基带芯片,明年见 高通CEO兼总裁克里斯蒂亚诺·阿蒙表示,苹果与高通至今尚未讨论过2024年的5G基带芯片订单一事,他推测这可能代表苹果打算在2024年推出的iPhone 16系列中,开始采用自家研发的5G基带芯片。
  • 谷歌支持LTE的Pixel Watch BoM 报告:成本123美元,三星占 据EDN电子技术设计报道,根据Counterpoint的材料清单报告显示,支持 LTE 的 Pixel Watch 的制造成本为123美元。此版本的Pixel Watch发售时售价为 399 美元,成本价格比零售价低约276 美元。
  • 晶圆厂联手封测厂,为供应链赋予新意 在半导体产业日益关注封装技术创新,以超越芯片微缩的困境之际,晶圆厂联手封测厂的合作伙伴关系将支撑起下一代封装技术,并彰显封装技术在半导体供应链的重要意义...
  • 称可超越ChatGPT,微软推出新人工智能模型——Kosmos-1 微软推出了 Kosmos-1,据称它是一种多模式大型语言模型 (MLLM),不仅可以对语言提示做出反应,还可以对视觉线索做出反应,可用于一系列任务,包括图像说明、视觉问题回答等等。
  • 风禾尽起!忆芯科技高端企业级主控芯片及方案全球首发! 忆芯科技在国产高端企业级SSD赛道上,再迎来新里程碑——“风禾尽起  忆芯科技高端企业级芯片及方案发布会”在合肥天鹅湖大酒店隆重举行,面向全球正式首发全新一代高端企业级SSD主控芯片及方案。
  • MWC 2023落下帷幕,盘点国产厂商的那些亮眼表现 MWC 2023(世界移动通信大会2023)于2月27日在巴塞罗那正式向全球移动产业伙伴开启,大会也于3月2日正式落下帷幕。展会持续五天,根据官方数据统计,2023年MWC有2000多家全球厂商参展,中国有以OPPO、荣耀为代表的共计28个国产厂商参展。本次展会,各大厂商纷纷拿出自己的看家本领,可谓是亮点多多,今天就带大家一起看看展会上国产厂商展现的那些亮眼技术吧~
  • 维持ChatGPT运行将需要超过3万块Nvidia显卡 据TrendForce的最新预测,人工智能(AI)将成为Nvidia的最大收入来源之一。该研究公司估计,OpenAI的ChatGPT最终将需要超过3万块Nvidia显卡的算力以维持运行。
  • IEC 61000-4-3标准的步进频率 本文重点在于讨论如何使用更简略的步骤进行IEC 61000-4-3标准的EMI/EMC测试,以加快产品开发时间...
  • 小米预研固态电池技术前景诱人,能量密度突破1000Wh/L 3月1日,小米又宣布预研固态电池技术,通过将电解液替换为固态电解质,不仅能量密度突破1000Wh/L,更大幅提升低温放电性能和安全性,称“有望一举解决手机电池三大痛点”。
  • Win11端Phone Link添加新支持,iPhone能在PC端接打电话 3月1日,微软宣布,为Win11平台上的Phone Link应用程序添加对iPhone的支持。用户通过该应用程序连接PC和iPhone之后,可以在PC端拨打和接听电话、发送和接收短信、直接在PC上查看iPhone的通知。预览版要求Phone Link应用程序版本1.23012.169.0或更高版本。
  • 用于GaN HEMT的超快速分立式短路保护 GaN HEMT的保护电路必须比硅基MOSFET中使用的传统短路和过流保护方法更快。
  • 【电驱变革深探】: 从测试角度看800V超充技术下的电驱 市场调研数据显示,超过80%的用户对电动汽车的充电速度和续航里程表示不满,虽然新能源汽车市场在近几年飞速变化,但距离满足消费者心理预期的更高使用需求,尚有较大提升空间。预测数据显示,到2025年,800V SiC的市场占比将达到15%左右;不过在电动汽车全球发展提速的大趋势下,这一预测节点也许会提前到来。
广告
热门推荐
广告
广告
EE直播间
在线研讨会
广告
广告
面包芯语
广告
向右滑动:上一篇 向左滑动:下一篇 我知道了