基于情景方法的量子电路障碍证书验证

近年来，探索了多种用于量子电路验证的技术，包括障碍证书的使用，这些证书能够证明此类系统的正确性。这些证书确保从初始状态开始并应用系统动力学后，系统将不会到达不需要的状态。在本文中，我们提出了一种用于量子电路合成此类证书的方法，基于情景方法，适用于有限和无限时间范围。此外，我们的方法能够处理初始状态和系统动力学中的不确定性。我们present了几个量子电路案例，比较了不同类型的障碍证书的性能，并分析了哪种证书最适合于每个案例。