用于量子程序设计与验证的阴影缠结（扩展摘要）

我们给出了一种将阴影缠结解释为量子程序的方案，其性质为同痕缠结产生等价程序。我们以这种方式分析了许多已知的量子程序——包括纠缠操纵和纠错——并在每种情况下给出完全拓扑的形式化验证，在若干情况下对程序工作原理提供了实质性的新见解。我们还使用我们的方法确定了若干新的或泛化的过程。