Categorical Tensor-Graph Semantics for Quantum Algorithms
本文利用范畴 FHilb 中的范畴张量图语义,为包括 Bernstein-Vazirani、Simon、广义 Deutsch-Jozsa 和 Grover 在内的多种量子算法以及纠缠生成,提供了一种拓扑重释与图形化形式化方法,并最终提供了一个用于自动化电路优化的可组合图表工具包。
2656 篇论文
数学物理领域致力于用严谨的数学工具来探索宇宙最深层的运行规律,从基本粒子的相互作用到时空的弯曲结构,这里充满了连接抽象理论与物理现实的迷人桥梁。在 Gist.Science,我们深知这些前沿研究的复杂性,因此专门从 arXiv 预印本服务器中筛选该领域的最新成果。
我们不仅收录论文,更对每一份新发布的预印本进行深度加工,提供通俗易懂的科普解读与详尽的技术摘要,让不同背景的读者都能轻松把握核心思想。无论您是专业研究者还是科学爱好者,都能在这里找到理解复杂理论的钥匙。
以下为您呈现数学物理类别中最新上架的预印本论文及其解读。
本文利用范畴 FHilb 中的范畴张量图语义,为包括 Bernstein-Vazirani、Simon、广义 Deutsch-Jozsa 和 Grover 在内的多种量子算法以及纠缠生成,提供了一种拓扑重释与图形化形式化方法,并最终提供了一个用于自动化电路优化的可组合图表工具包。
本文表明,驱动量子结(尤其是双比特架构)能够实现对熵输运的可编程控制,并具有更高的效率以及诸如共振相干贡献和负微分电导等独特的量子效应,从而为量子反馈和制冷提供了新的途径。
本文证明了在恒定磁场下,任何无限凸平面扇区内的磁性诺依曼拉普拉斯算子的谱底严格低于半平面阈值,从而使其具有离散基态特征值。
本文提出了一种将吸引-排斥空间动力学与 Deffuant 型观点动力学相结合的模型,旨在展示置信阈值和依赖于观点的吸引强度如何支配观点簇的形成及其空间组织,并最终推导出实现完全共识时的稳态集群半径。
本文研究了将辛流形或复流形上向量丛的形变量子化向高阶进行延拓的问题,证明了特定阻碍类的消失是此类延拓的必要条件,并证明了当目标阶数不超过 时,该条件也是充分的。
本文确立了使用 维辅助系统精确模拟噪声量子参考系上测量的能力,等价于信道因子的 -正性,并通过推导去极化信道的显式相图与亏损公式,量化了辅助受限统计模拟与单信道实现之间的区别。
本文确立了有限群的酉表示的完备性是将最优量子后处理噪声缓解简化为经典卷积的充分必要条件,同时也量化了在不满足该条件时精确的性能差距与辅助比特需求。
本文证明了作用于质量粒子自旋的固定洛伦兹增益会严格收缩所有成对迹距离,但并不会使生成的量子信道在通过完全正保迹(CPTP)后处理后变得具有可比性,从而证明了状态可区分性的排序并不一定意味着量子统计后处理的排序。
本文通过一种创新的框架,将这些节点的稳定性与相交节点流形及其相关能隙的环绕数联系起来,从而克服了包围球面的障碍,建立了仅由 Altland-Zirnbauer 对称性保护的泛型多重能带简并性的拓扑特征描述。
本文提出了一种基于 ResBlock U-Net 的深度学习算法,用于有效地对部分径向设置下的光声断层扫描中的循环拉东变换进行反演,克服了传统截断奇异值分解方法所存在的严重伪影和局限性。