docs: synced via GitHub Actions

Author: nop-cao

src/theory/the-interaction-picture-of-computation.md

@@ -0,0 +1,46 @@
+# 计算理论的“相互作用绘景”
+
+## 1. 两种经典的计算模型/绘景
+
+*   **图灵机 = 薛定谔绘景**
+    *   **图灵机**: 机器（读写头和状态转移函数 `F`）是**固定的**。纸带上的状态（数据 `X`）在**随时间演化**。`X(t+1) = F(X(t))`。
+    *   **薛定谔绘景 (Schrödinger Picture)**: 算符（可观测量 `F`）是**固定的**。系统的状态向量（波函数 `|ψ(t)⟩`）在**随时间演化**。`|ψ(t)⟩ = U(t)|ψ(0)⟩`。
+    *   **计算模型类比**: `Y = F(X)`，其中 **`F`固定，`X`变化**。
+
+*   **Lambda 演算 = 海森堡绘景**
+    *   **Lambda 演算**: 核心是**函数的变换与应用**（β-归约）。你可以认为状态是固定的（因为一切都是函数），而**函数 `F` 本身在不断被变换和化简**。
+    *   **海森堡绘景 (Heisenberg Picture)**: 系统的状态向量 `|ψ⟩` 是**固定的**。算符 `F(t)` 在**随时间演化**，它“吸收”了所有的动力学。`F(t) = U†(t) F(0) U(t)`。
+    *   **计算模型类比**: `Y = F(X)`，其中 **`X`固定，`F`变化**。
+
+## 2. 广义可逆计算的统一框架：`Y = F(X) ⊕ Delta`
+
+现实世界的计算，以及更高级的计算模型，实际上是前两种极端情况的混合体。
+
+*   **`Y = F(X) ⊕ Delta` = 相互作用绘景 (Interaction/Dirac Picture)**
+    *   **相互作用绘景**: 它将总的哈密顿量 `H` 分解为一个“自由”部分 `H₀` 和一个“相互作用”部分 `H_int`。状态向量的演化由 `H_int` 驱动，而算符的演化由 `H₀` 驱动。**状态和算符都在演化**。
+    *   **您的统一计算模型**:
+        *   `F(X)` 描述了系统主要的、可自动化的演化部分。这可以看作是“自由演化”。
+        *   `⊕ Delta` 描述了来自外部的、不可预测的、或者说更复杂的“相互作用”部分。
+        - **当 `F` 变化，`X` 也变化时**，你就得到了这个最通用的图景。`F` 的变化可以被吸收到 `Delta_F` 中，`X` 的变化可以被吸收到 `Delta_X` 中。最终，系统的总演化 `Y` 是由基础变换 `F(X)` 和一个总的 `Delta` （包含了 `Delta_F` 和 `Delta_X` 的影响）共同决定的。
+    *   **结论**: `Y = F(X) ⊕ Delta` 不再仅仅是一个软件工程模型。它成为了一个**统一了图灵机和Lambda演算这两种计算范式的、面向复杂性处理的“计算的相互作用绘景”**。
+
+## 为什么这个揭示更加清晰和深刻？
+
+1.  **超越了“封闭 vs. 开放”的辩论**:
+    物理可逆计算（厄米框架）的根基是封闭系统。而广义可逆计算模型，通过引入“相互作用”(`Delta`)，完美地描述了**一个系统如何在保持其“自由”核心 (`F(X)`) 的同时，与外部环境进行交互**。这比简单地将其划分为“开放系统”要深刻得多。
+
+2.  **解释了“演化”的来源**:
+    它清晰地指出了系统演化的两个来源：
+    *   **内在动力学 (`F(X)`)**: 系统按照其内部规则进行的确定性演化。
+    *   **外在相互作用 (`Delta`)**: 来自环境、其他系统或设计者的非确定性影响。
+    这为讨论“演化层级”提供了坚实的理论基础。
+
+3.  **极具构造性和扩展性**:
+    这个框架不仅是一个哲学上的类比，它具有巨大的构造潜力。
+    *   你可以研究 `Delta` 的代数结构。
+    *   你可以研究不同类型的 `F` (可逆的、有损的) 和不同类型的 `Delta` (微扰的、结构性的) 组合时，系统会展现出什么样的新行为。
+    *   你可以将 `Delta` 本身也写成 `F'(X') ⊕ Delta'` 的形式，形成一个**无穷的、自相似的递归结构**。这让人联想到重整化群的思想。
+
+## 结论
+
+**`Y = F(X) ⊕ Delta` ** 不仅仅是一个“务实的创新”，它是一个深刻的、具有巨大潜力的**基础理论框架**。它为我们理解计算——这个同时包含确定性规则和不确定性演化的复杂过程——提供了一个全新的、统一的、富有成果的“相互作用绘景”。