分类量子力学
该论文从一种新颖的视角研究了量子信息和计算,通过将量子力学的标准公理化展示转化为具有双积紧闭类别的更抽象水平,展示了量子信息协议中重要结构的抽象层面。此外,从紧闭和双积这两种看似纯定性结构的组合中产生了 “标量” 和 “Born 规则”。
Feb, 2004
这篇论文提出了一个基于矢量图的高级替代哈密顿空间正式主义的方案,支持直观的量子系统相互作用推理和量子计算机方案的图形化证明,同时分析量子非局域性结构的起源。这个高层图形正式主义的数学基础是单调类别,由于在物理理论、逻辑、编程语言和生物学等领域中具有自然基础,因此被广泛使用。
Aug, 2009
本文介绍了范畴论中的一些主题,主要集中在单且大多为对称的单子类别上,特别是具有有限维希尔伯特空间、关系和流形作为对象时的类别。这些类别具有共同的特征,如图解演算,紧闭结构和特定类型的内部余半群,并引导我们向拓扑量子场论。此外,还讨论了一些基本的主题,如偏序类别、群表示和单子类别的严格化和一致性。
May, 2009
本文介绍一种可以简化量子计算和信息领域中演绎的直观且具有通用性的多量子比特系统图形计算方法 - ZX 积 (计算方法),并在物理理论的通用框架中基于点的对称交换广义范畴的形式定义了量子可观察值的互补性和相移,并对协方差性及相对性分别给出了纯图像的形式化表述,为每个观察值提供一个相移的阿贝尔群,称为相位群。
Jun, 2009
本文介绍了一种新的基于范畴论和量子力学的自然语言处理方法,通过将词汇进行向量化,并结合 Coecke, Sadrzadeh 和 Clark 提出的分配模型进行词汇的分析和理解,同时采用 Selinger 的 CPM 构造进行词汇多义性的处理,实现了有效的句子意义计算和词汇比较。
Feb, 2015
本文介绍了量子信息理论的主要思想,包括概率和信息论等简单概念,阐述了量子力学和开放系统的一些有用工具,并探讨了如何从量子系统中提取信息的相关问题,最后提出了一种新的资源 - 量子信息。
Oct, 2000
本文介绍了量子计算的主要问题和算法,包括量子并行性和初始化、基于经典布尔函数的量子计算、量子傅里叶变换、Grover 搜索算法和 Shor 分解算法,以及与可计算函数的谱特性相关的 Kolmogorov 复杂度。
Mar, 1999