[论文解读] Closed Systems of Invertible Maps

Tim Boykett|arXiv (Cornell University)|Dec 21, 2015

Quantum Computing Algorithms and Architecture参考文献 5被引用 6

一句话总结

该论文通过引入可逆映射的封闭系统，将托菲利的可逆计算框架推广至多值逻辑，证明对于奇数阶字母表，所有可逆映射均可由四个托菲利型门生成。该工作将克隆理论扩展至任意映射 $A^n \to A^m$，建立了可逆映射的闭包操作，并表明奇数字母表允许使用少于二进制系统中生成器的可逆通用计算。

ABSTRACT

We generalise clones, which are sets of functions $f:A^n ightarrow A$, to sets of mappings $f:A^n ightarrow A^m$. We formalise this and develop language that we can use to speak about it. We then look at bijective mappings, which have connections to reversible computation, which is important for physical (e.g. quantum computation) as well as engineering (e.g. heat dissipation) reasons. We generalise Toffoli's seminal work on reversible computation to arbitrary arity logics. In particular, we show that some restrictions he found for reversible computation on alphabets of order 2 do not apply for odd order alphabets. For $A$ odd, we can create all invertible mappings from the Toffoli 1- and 2-gates, demonstrating that we can realise all reversible mappings from four generators. We discuss various forms of closure, corresponding to various systems of permitted manipulations. These correspond, amongst other things, to discussions about ancilla bits in quantum computation.

研究动机与目标

• 将托菲利的可逆计算模型从二进制推广至多值逻辑，使用代数结构。
• 利用广义克隆理论和闭包操作，形式化可逆映射 $A^n \to A^m$ 的系统。
• 研究在有限集合上所有可逆映射可由一组少量基本门生成的条件。
• 阐明辅助位和闭包类型（如 $T_S(F)$ 和 $RC(F)$）在可逆计算中的作用，特别是在量子和物理计算背景中。
• 为可逆托菲利代数和多克隆格的建立基础，具有在量子逻辑设计中的潜在应用。

提出的方法

• 引入 $(n,m)$-映射的概念，并将 $M_{n,m}(A)$ 定义为所有函数 $A^n \to A^m$ 的集合，其中 $B_{n,m}(A)$ 表示双射的子集。
• 定义了一套闭包操作层次结构——$C(F)$、$T(F)$、$T_S(F)$、$K(F)$、$KC(F)$、$SC(F)$、$RC(F)$——以建模映射生成过程中不同的组合与结构约束。
• 应用诸如变量置换 ($\tau$, $\zeta$)、变量合并 ($\Delta$)、虚拟变量插入 ($\nabla$) 和复合 ($*$) 等操作，从基础集合 $F$ 生成新映射。
• 使用 $\kappa(i,a,f)$ 构造将映射嵌入更高阶系统，实现递归闭包，并证明 $KC_{\Delta} = C_{\Delta}K$。
• 将理论应用于证明：当 $|A|$ 为奇数时，托菲利 1- 和 2-门可生成所有可逆映射，且四个生成器足以实现通用性。
• 分析闭包不变性及映射集合与其闭包类之间的伽罗瓦连接，尤其关注可逆系统。

实验结果

研究问题

• RQ1 托菲利的可逆计算框架能否推广至二进制系统之外的多值逻辑？
• RQ2 哪些闭包操作是生成有限集合 $A$ 上所有可逆映射的必要且充分条件？
• RQ3 为何在二进制字母表上适用的可逆计算限制在奇数阶字母表上不成立？
• RQ4 辅助位和闭包类型（如 $T_S(F)$ 和 $RC(F)$）如何影响可逆映射的可实现性？
• RQ5 在给定集合上，多克隆格和可逆托菲利代数的底层代数结构是什么？

主要发现

• 对于奇数阶的有限集合 $A$，所有 $A^n$ 上的可逆映射均可由四个托菲利型门生成，证明了使用最少生成器的通用性。
• 闭包操作 $KC_{\Delta}(F)$（结合变量代换与合并）等价于 $C_{\Delta}K(F)$，确立了关键的代数对偶性。
• 与二进制系统相反，奇数阶字母表允许仅使用托菲利 1- 和 2-门实现可逆计算的完全通用性，无需额外控制机制。
• 对于 $F \subseteq B(A)$，闭包类 $RC(F)$、$RT(F)$ 和 $RT_S(F)$ 分别与 $C(F)$、$T(F)$ 和 $T_S(F)$ 重合，简化了可逆情况下的闭包格结构。
• 图1的包含图表明 $C(F) \subset T_S(F)$ 对于偶数 $|A|$ 成立，表明对称复合下的闭包严格强于标准闭包。
• 当 $F \subseteq B(A)$ 时，$SC(F) \cap KC(F) = C(F)$，揭示了可逆映射代数中的基本交集性质。