Qrisp高级量子编程框架中的反计算
量子物理
2023-07-24 v1
摘要
反计算是可逆计算的重要组成部分，并在量子计算中起着至关重要的作用。利用该技术，可以在不执行不可逆删除过程的情况下安全地释放内存资源。对于量子计算而言，若干算法依赖于此，因为它们在执行过程中需要解纠缠态。因此，反计算不仅关乎资源管理，从算法角度看也是必需的。然而，综合反计算电路繁琐且可自动化。在本文中，我们描述了在Qrisp框架中自动生成反计算电路的接口。我们在Qrisp中综合反计算电路的算法基于Paradis等人提出的“Unqomp”的改进版本。我们的论文还提出了对原始算法的一些改进，以使其适合高级编程框架的需求。Qrisp本身是一种用于基于门的量子计算机的全可编译高级编程语言/框架，其抽象了诸多底层硬件细节。Qrisp的目标是支持如经典软件开发中已知的的高级编程范式。
引用
@article{arxiv.2307.11417,
title = {Uncomputation in the Qrisp high-level Quantum Programming Framework},
author = {Raphael Seidel and Nikolay Tcholtchev and Sebastian Bock and Manfred Hauswirth},
journal= {arXiv preprint arXiv:2307.11417},
year = {2023}
}