利用张量积中稀疏性的量子错误缓解加速方法和加速器

    公开(公告)号:CN119831067A

    公开(公告)日:2025-04-15

    申请号:CN202510329503.1

    申请日:2025-03-20

    Applicant: 浙江大学

    Abstract: 本发明公开了一种利用张量积中稀疏性的量子错误缓解加速方法和加速器,属于量子计算技术领域,方法包括:建立量子错误缓解转换方程;将量子错误缓解转换方程分为矩阵‑向量乘法、张量积和乘法累加三步操作;基于输出稀疏性和输入稀疏性实现稀疏性加速;对张量积操作执行概率级和状态级并行计算实现基于稀疏性的并行性加速;对张量积操作在迭代轮次中交替执行行主序以及列主序生成操作实现基于稀疏性和并行性的操作融合加速。本发明能够提升量子读出错误缓解方法的计算效率与保真度,从而进一步推动量子计算技术的发展与应用。

    基于汉明稀疏性的快速量子读取错误校准软硬件协同方法

    公开(公告)号:CN119378701A

    公开(公告)日:2025-01-28

    申请号:CN202411949459.6

    申请日:2024-12-27

    Applicant: 浙江大学

    Abstract: 本发明公开了一种基于汉明稀疏性的快速量子读取错误校准软硬件协同方法,属于量子计算技术领域,包括以下步骤:基于汉明距离确定校准矩阵的结构化稀疏模式,提供了更高的稀疏度以及更高的保真度;根据结构化稀疏模式设计汉明距离行矩阵稀疏格式来存储对应校准矩阵中的非零值,达到了较高的压缩比率;根据汉明距离行矩阵稀疏格式和校准矩阵提出稀疏矩阵向量乘的计算流;基于计算流设计用于执行计算流的硬件架构,来加速量子读取错误校准。

    一种利用量子程序中的同构性以促进自信验证的方法和系统

    公开(公告)号:CN118333181B

    公开(公告)日:2024-09-13

    申请号:CN202410418927.0

    申请日:2024-04-09

    Applicant: 浙江大学

    Abstract: 本发明公开了一种利用量子程序中的同构性以促进自信验证的方法和系统,包括:断言语句:定义追踪点并通过追踪点标记量子程序在不同时间的量子比特状态,定义假设‑保证断言来指定单量子比特状态的范围及多量子定量子比特状态之间的关系;程序分析:依据量子演化同构性构建输入量子比特状态与追踪点的量子比特状态之间真实关系的近似函数;断言验证:将量子程序中的假设‑保证断言与构建的逼近函数打包成约束最大化问题来进行全局搜索和求解以验证量子程序的正确性,以解决现有断言方法在验证量子程序的整体正确性方面表现出较低的置信度的问题。

    一种基于同伦方法的量子程序自动化修复方法

    公开(公告)号:CN119807078A

    公开(公告)日:2025-04-11

    申请号:CN202510294538.6

    申请日:2025-03-13

    Applicant: 浙江大学

    Abstract: 本发明公开了一种基于同伦方法的量子程序自动化修复方法,属于量子程序修复技术领域,包括:断言构建:为有缺陷的量子程序构建断言,通过断言定义量子程序基于输入到输出的预期行为;测试用例生成:对于编码到量子比特状态和门参数中的输入空间,利用量子态和量子门的正交分解在输入空间中采样测试用例;在经典计算机上进行错误定位:在经典计算机上构建补丁,将补丁的搜索转化为一个MAX‑SMT问题以定位多位置补丁,将补丁中的通用量子门集合替换为Clifford门集合来近似量子程序;在量子计算机上进行错误修复:基于测试用例,利用量子门的可微性来修复错误。该方法在较低时间内实现量子程序的自动化修复,且能够提高修复成功率。

    一种基于有限元的量子读数校准方法和系统

    公开(公告)号:CN118070914A

    公开(公告)日:2024-05-24

    申请号:CN202410283895.8

    申请日:2024-03-13

    Applicant: 浙江大学

    Abstract: 本发明公开了一种基于有限元的量子读数校准方法和系统,包括多轮迭代校准,每轮迭代校准包括特征化流程和校准流程,特征化流程包括:基于基准电路在当前轮次的基准概率分布确定任意两个量子比特之间的权重并构建加权量子比特图,基于有限元思想将加权量子比特图中的量子比特划分组得到分组方案;校准流程包括:基于测量采集的量子比特合集、基准概率分布以及分组方案计算每个量子比特组对应的子噪声矩阵,得到子噪声矩阵集合,基于子噪声矩阵集合对上一轮的校准输出进行校准得到当前轮次的校准输出。这样将有限元法扩展到量子校准过程,并全面考虑量子比特相互作用特征,来提高量子读数校准的准确性和效率。

    一种基于有限元的量子读数校准方法和系统

    公开(公告)号:CN118070914B

    公开(公告)日:2024-11-15

    申请号:CN202410283895.8

    申请日:2024-03-13

    Applicant: 浙江大学

    Abstract: 本发明公开了一种基于有限元的量子读数校准方法和系统,包括多轮迭代校准,每轮迭代校准包括特征化流程和校准流程,特征化流程包括:基于基准电路在当前轮次的基准概率分布确定任意两个量子比特之间的权重并构建加权量子比特图,基于有限元思想将加权量子比特图中的量子比特划分组得到分组方案;校准流程包括:基于测量采集的量子比特合集、基准概率分布以及分组方案计算每个量子比特组对应的子噪声矩阵,得到子噪声矩阵集合,基于子噪声矩阵集合对上一轮的校准输出进行校准得到当前轮次的校准输出。这样将有限元法扩展到量子校准过程,并全面考虑量子比特相互作用特征,来提高量子读数校准的准确性和效率。

    一种利用量子程序中的同构性以促进自信验证的方法和系统

    公开(公告)号:CN118333181A

    公开(公告)日:2024-07-12

    申请号:CN202410418927.0

    申请日:2024-04-09

    Applicant: 浙江大学

    Abstract: 本发明公开了一种利用量子程序中的同构性以促进自信验证的方法和系统,包括:断言语句:定义追踪点并通过追踪点标记量子程序在不同时间的量子比特状态,定义假设‑保证断言来指定单量子比特状态的范围及多量子定量子比特状态之间的关系;程序分析:依据量子演化同构性构建输入量子比特状态与追踪点的量子比特状态之间真实关系的近似函数;断言验证:将量子程序中的假设‑保证断言与构建的逼近函数打包成约束最大化问题来进行全局搜索和求解以验证量子程序的正确性,以解决现有断言方法在验证量子程序的整体正确性方面表现出较低的置信度的问题。

Patent Agency Ranking