使用共轭伴随注释的自动量子程序优化

    公开(公告)号:CN114667500A

    公开(公告)日:2022-06-24

    申请号:CN202080074386.4

    申请日:2020-10-13

    Abstract: 现有的量子编程语言都没有为诸如条件伴随或共轭伴随等编程模式提供专门的支持。结果,这些语言的编译器无法利用本公开中提到的优化机会。此外,可用的量子编程语言都不支持将使用干净量子位的电路自动转换为使用空闲量子位的电路。因此,所得到的电路通常使用比所需要的更多的量子位。因此,本公开的技术的实施例允许人们在更小的量子设备上运行上述电路。先前的乘法电路使用(昂贵的)受控加法。本公开的技术的实施例采用使用条件伴随加法工作的乘法器,该乘法器在近期和大规模量子硬件上实现起来更廉价。对于大量量子位,电路深度节省了1.5到2倍。

    经由符号资源估计进行量子程序的自动准确度管理

    公开(公告)号:CN114585998A

    公开(公告)日:2022-06-03

    申请号:CN202080071887.7

    申请日:2020-10-15

    Abstract: 所公开的技术的实施例涉及将高级量子计算机程序变换成一个或多个符号表达式。因为该变换导致编译的代码中的符号表达式,所以人们可以提取这些符号表达式来获得用于量子程序的符号资源估计。在这些变换没有产生封闭形式的解决方案的情况下,它们仍然可以比可能使用其他资源估计工具快许多数量级地被评估。访问这种符号或近似符号表达式不仅大大提高了准确度管理和资源估计的性能,而且还可以更好地通知量子软件开发人员量子程序中可能存在的瓶颈。反过来,可以适当地改进底层量子计算机程序。

Patent Agency Ranking