量子科技中心_量科网

比特向量抽象化方法用于量子纠错检测与纠缠的形式化验证

参考来源 ➔ 下载PDF ➔

该研究团队提出了一种可扩展的量子相位估计(QPE)电路形式化验证方法。该方法采用基于无量词位向量逻辑的符号量子比特抽象，能捕捉叠加态、旋转和测量等关键量子现象。所提出的验证框架将量子电路功能行为从希尔伯特空间映射到位向量域，并开发了与该抽象模型相匹配的形式化属性以确保QPE电路功能正确性。该验证方法具有高效的可扩展性，在内存消耗低于3.5GB的情况下，可验证具有6个精度量子比特和1024个相位量子比特的QPE电路。

作者单位： VIP可见
提交arXiv： 2026-03-13 19:45
访客五签：
希尔伯特空间 纠缠 叠加态 量子相 相位估计

量科快讯

【Qblox与Riverlane深化合作 将联手打造实时纠错量子计算技术】量子控制电子设备开发商Qblox与量子纠错公司Riverlane日前宣布，双方将进一步推进战略合作，致力于在全球量子计算市场推广实时量子纠错…
5 小时前
【印度已批准在多个州的23所高校建立量子教学设施，以推进量子研究】印度政府在各科学部和部门联合会议上宣布，已批准在印度多个州的23所高校建立量子教学设施，以推动量子技术的科研与人才培养。作为国家量子计划的一…
6 小时前
【IBM量子开放计划推限时福利 达标用户可获全年180分钟量子计算运行时间】IBM量子开放计划是一项免费的入门级服务，用户每28天可获得最多10分钟的量子计算运行时间，用于在全球领先的量子计算机上进行真实实验。近日，…
8 小时前
【中德团队在120公里光纤演示首个基于电信波段量子点单光子源的time-bin量子密钥分发】来自德国和中国多所大学的国际研究团队最近演示了首个由按需发射的电信半导体量子点器件（单光子源）驱动的真正time-bin量子密钥分发（QKD…
8 小时前
【柏林研究团队开发出基于金刚石量子系统的新型单光子生成技术】德国柏林洪堡大学与费迪南德·布劳恩研究所的研究人员展示了一种在基于金刚石的量子系统中生成单光子的SUPER（量子发射体数量提升）方法。该方法…
9 小时前
【Xanadu与TELUS达成合作 将共建加拿大主权量子计算基础设施】加拿大光量子计算公司Xanadu与通信技术公司TELUS近日联合宣布，将合作推动加拿大主权量子计算基础设施建设，并探索建立一个与TELUS安…
9 小时前
【丹麦启动EarlyBIRDD项目 欲借助量子计算解决药物研发核心挑战】Kvantify、Atom Computing与丹麦奥胡斯大学化学系日前联合启动了EarlyBIRDD项目，旨在推动量子计算在解决关键科学问…
9 小时前
【SEALSQ宣布定向募资1.25亿美元 与多家机构投资者达成证券购买协议】SEALSQ公司近日宣布，它已与多家机构投资者达成证券购买协议。根据协议，投资者将以纳斯达克市场价格购买30,413,630股普通股或等值的…
10 小时前
【ORCA基于英伟达cuQuantum库推出经GPU加速的光子模拟器】高性能模拟对量子计算系统的开发与验证至关重要。针对现有工具多基于量子比特的模型而设计，缺乏对光量子系统支持的短板，ORCA公司宣布推出一款基…
10 小时前
【应对数字转型挑战：韩国与芬兰欲深化量子、AI及6G领域双边合作】韩国与芬兰政府官员日前在首尔举行会谈，重点探讨了双边如何拓展在量子计算、第六代移动通信(6G)及人工智能等尖端技术领域的合作。韩国科学技术信…
10 小时前
【我国科学家成功展示利用光学超表面结构单独捕获78400个中性原子】我国物理学家最近展示了一种光学超表面结构，可单独捕获多达78400个中性原子，这一成果为大规模量子计算机的实现带来新的可能。据研究人员介绍，…
10 小时前
【英国启动总额高达20亿英镑的量子投资计划 10亿英镑将采购量子计算机】英国科技大臣与财政大臣昨日宣布，该国政府将启动一项投资总额高达20亿英镑的开创性量子技术投资计划，旨在保持英国在量子技术领域的国际领先地位。…
10 小时前
【Infleqtion宣布向NQCC交付Sqale系统 英国迎来首台百物理比特量子计算机】由中性原子技术驱动的量子计算与传感先驱企业Infleqtion近日宣布，它已向英国国家量子计算中心（NQCC）交付该国唯一可运行的100物理…
11 小时前
【KEEQuant推出商用芯片级量子密钥分发技术】KEEQuant近日宣布推出商用级芯片化的量子密钥分发（QKD）技术，标志着其在量子安全通信领域取得一项重大突破。该技术通过光子集成取代了笨…
11 小时前
【先正达携手QuantumBasel 将探索用于农业领域的量子计算解决方案】在2026年世界农业科技创新峰会上，全球农业创新领导者Syngenta（先正达）宣布正探索量子计算技术如何帮助农民应对气候变化下日益增长的粮…
11 小时前
【韩国软件公司Hancom将推出基于人工智能和量子加密的安全解决方案】韩国软件公司Hancom WITH宣布将参加3月18日至21日在韩国高阳市KINTEX举行的第14届电子政务信息安全解决方案展（eGISEC…
11 小时前
【波兰政府完成量子技术发展政策文件更新，广纳238条业界建议】据外媒的消息，波兰数字化部已完成《量子技术发展政策设想》更新版的制定工作。该文件在广泛征求科学界、公共管理部门和私营部门代表意见后进行了补充…
12 小时前
【巴黎量子计算公司C12将采用QC Design的软件平台开发容错架构】总部位于巴黎的量子计算公司C12宣布采用QC Design公司的Plaquette软件，以加速其基于碳纳米管自旋量子比特的可扩展、通用量子计…
12 小时前
【Qolab联合多方设立共同“约翰·马蒂尼斯超导量子比特物理实验奖”】Qolab联合以色列量子计算中心（IQCC）和Quantum Machines公司共同设立了“约翰·马蒂尼斯超导量子比特物理实验奖”。该奖项…
12 小时前
【SEALSQ与Parrot扩大战略合作 将为后者的下一代无人机整合后量子密码学技术】后量子半导体安全公司SEALSQ宣布将与欧洲领先的商用微型无人机集团Parrot扩大长期战略合作，并将在Parrot下一代专业无人机中整合其…
1 天前
【贝恩公司与IBM达成合作：聚焦后量子密码学，帮助企业防范未来量子计算风险】贝恩（Bain）公司日前宣布将与IBM展开战略合作，为私募股权及企业客户提供后量子密码学（PQC）风险与应对策略的专业咨询。该战略合作整合了…
1 天前
【PsiQuantum携手日本国家癌症研究中心 将用量子计算加速医疗药物发现】PsiQuantum日前宣布与日本国家癌症研究中心签署一份合作研究协议，以推动实用规模级量子计算在肿瘤学和医疗健康领域的应用。在这一合作框架…
1 天前
【韩国仁川市将投入近20亿韩元以支持量子产业发展】韩国仁川市正加快推进量子产业集群建设，并推动人工智能转型。仁川市政府近日表示，该市今年已落实19.93亿韩元（约1056万元人民币）预算，用…
1 天前
【克利夫兰诊所与IBM联手 利用量子-经典计算方法预测蛋白质构象能量】克利夫兰诊所与IBM近期联合开展的一项研究展示了量子计算在科学研究中的应用前景。双方构建了一套以量子为中心的超级计算（QCSC）工作流程，通…
1 天前
【Maybell Quantum推出可扩展的低温制冷平台 助力量子计算走出实验室】专注于量子计算相关硬件和基础设施技术的Maybell Quantum公司宣布推出ColdCloud，这是全球首个可扩展的低温制冷平台，专为提…
1 天前
【科学家提出一种受热力学启发的新协议，有望提升量子机器学习效率】奥地利维也纳工业大学与韩国延世大学的研究人员提出了一种受热力学启发的新协议，有望提升量子机器学习技术的效率。据研究人员介绍，他们发现，通过将…
1 天前
【Fortanix携手Qrypt与Quantum Dice，为数据安全管理器注入量子熵】数据安全公司Fortanix宣布，其Fortanix数据安全管理器（DSM）新增多源量子熵功能，这使企业能够在信任源头实现加密密钥生成的多样…
1 天前
【Qblox宣布与舍布鲁克大学在量子研究领域建立合作】全球量子堆栈技术领军企业Qblox与加拿大舍布鲁克大学量子研究所宣布建立战略科研合作，以共同推动研究生和博士后层面的量子研究。根据合作协议，…
1 天前
【Multiverse Computing在巴塞罗那开设新办公室】西班牙领先的量子启发式算法与AI模型供应商Multiverse Computing日前宣布，它已在巴塞罗那开设新办公室，旨在深化本地布局、推…
1 天前
【中性原子技术公司Infleqtion任命Chris O'Brien执掌澳大利亚业务】中性原子量子计算与传感技术企业Infleqtion宣布任命Chris O'Brien为澳大利亚公司董事总经理，并立即生效。O'Brien将领…
1 天前

最新资讯