XiaoMi-AI文件搜索系统
World File Search System演算
学术地图：工程物理（演算准备）
奖学金获得者：请注意您奖学金的资格标准。尤其要注意（1）每学期的注册要求，以支付您的奖学金，以及（2）每学期和/或年度需要续签奖学金的小时数和GPA。一些学术地图可能建议在您的奖学金支出所需的时间少的时间内入学。在这种情况下，与您的学术顾问一起调整时间表以最有效地满足要求。与（501）450-3140联系学生经济援助办公室，任何疑问都在您的奖学金的注册/更新要求方面联系。有关在线信息资源，请参见EndNote 1。
ZX 演算是一种用于表面代码格子手术的语言
可扩展量子计算的首选纠错方法是使用格手术的表面代码。基本的格手术操作，即逻辑量子位的合并和分裂，对逻辑状态的作用是非单一的，而且不容易被标准电路符号捕获。这就提出了一个问题：如何最好地设计、验证和优化使用格手术的协议，特别是在具有复杂资源管理问题的架构中。在本文中，我们证明了 ZX 演算（一种基于双代数的量子图解推理形式）的运算与格手术的运算完全匹配。红色和绿色“蜘蛛”节点匹配粗糙和平滑的合并和分裂，并遵循匕首特殊结合 Frobenius 代数的公理。一些格手术操作需要非平凡的校正操作，这些操作在使用 ZX 演算时以图集合的形式原生捕获。我们通过考虑两种操作（T 门和产生 CNOT）首次体验了微积分作为格手术语言的强大功能，并展示了 ZX 图重写规则如何为这些操作提供新颖、高效且高度可配置的格手术程序。
1 量子 Lambda 演算
20 世纪 30 年代，Church 和 Curry 开发了 lambda 演算，这是一种表达高阶函数的形式化方法。简而言之，高阶函数是一种输入或输出“黑箱”的函数，而黑箱本身也是一个 (可能是高阶的) 函数。高阶函数是一种计算能力强大的工具。事实上，纯无类型 lambda 演算具有与图灵机 (Turing, 1937) 相同的计算能力。同时，高阶函数对程序员来说是一种有用的抽象。它们构成了函数式编程语言的基础，例如 LISP (McCarthy, 1960)、Scheme (Sussman and Steele Jr, 1975)、ML (Milner, 1978) 和 Haskell (Hudak et al., 2007)。在本章中，我们将讨论如何将高阶函数与量子计算相结合。我们认为这是一个有趣的问题，原因有很多。首先，高阶函数与量子现象的结合带来了纠缠函数的前景。某些众所周知的量子现象可以自然地描述为