关于不同基矢双量子比特控制门的问询：底部量子比特输出态求解

首先得给你点个赞，你对顶部量子比特的推导完全正确！通过分量展开或者矩阵乘法得到输出是 -|+> 的思路非常扎实。下面我来给你拆解底部量子比特输出态的推导方法，其实和你分析顶部的思路是相通的，只是要结合它的具体操作场景来：

核心逻辑是：先明确底部量子比特经历的所有门操作（是单量子比特门、和顶部关联的受控门，还是其他双量子比特门？），再用两种通用方法推导：

方法1：分量展开法（和你分析顶部的思路一致） #

假设初始时两个量子比特的态是直积态或纠缠态，比如初始态为 |ψ₁ψ₂⟩ = |-> ⊗ |φ⟩（|φ⟩ 是底部量子比特的初始态，比如 |0⟩、|1⟩ 或叠加态）。推导步骤如下：

1. 把初始态拆分为分量形式：|-> ⊗ |φ⟩ = (1/√2)(|0⟩ - |1⟩) ⊗ |φ⟩ = (1/√2)(|0φ⟩ - |1φ⟩)
2. 对每个双量子比特分量应用对应的门操作：
   • 如果是独立单量子比特门：直接对底部比特的分量单独应用门变换
   • 如果是受控门（比如CNOT，顶部为控制位）：根据控制位的状态决定是否翻转底部比特
3. 将变换后的分量重新组合，化简为标准狄拉克符号形式

举个具体例子：假设底部初始态是 |0⟩，电路是顶部先过X门再过Z门，顶部和底部之间有CNOT门（顶部为控制位）：

• 初始态：(1/√2)(|00⟩ - |10⟩)
• 顶部应用X门：X|0⟩=|1⟩，X|1⟩=|0⟩，态变为 (1/√2)(|10⟩ - |00⟩)
• 顶部应用Z门：Z|1⟩=-|1⟩，Z|0⟩=|0⟩，态变为 (1/√2)(-|10⟩ - |00⟩)
• 应用CNOT门：CNOT|10⟩=|11⟩，CNOT|00⟩=|00⟩，最终态为 (1/√2)(-|11⟩ - |00⟩) = - (1/√2)(|00⟩ + |11⟩)
  此时底部量子比特的边缘态（对顶部比特求迹）是混合态 (1/2)(|0⟩⟨0| + |1⟩⟨1|)

方法2：矩阵乘法法（适合复杂电路） #

对于双量子比特系统，所有门操作都可表示为4×4矩阵（单量子比特门扩展为张量积形式）：

• 顶部的XZ门对应的双量子比特矩阵是 (XZ) ⊗ I（I 是底部比特的单位矩阵）
• CNOT门的矩阵为 [[1,0,0,0],[0,1,0,0],[0,0,0,1],[0,0,1,0]]

推导步骤：

1. 将初始态转化为列向量形式，比如 |-> ⊗ |0⟩ 的列向量是 (1/√2)[1, -1, 0, 0]^T
2. 用所有门的矩阵依次左乘该列向量，得到最终态的列向量
3. 将列向量重新转化为狄拉克符号表示

关键提示 #

如果底部量子比特和顶部是纠缠状态，单独讨论它的输出态时需要计算边缘态（对顶部比特求迹），因为此时它是混合态而非纯态；如果底部只经历独立的单量子比特门，直接对其初始态应用这些门即可，和顶部比特的变换无关。

如果你能补充电路的具体结构（比如底部比特经过了哪些门，和顶部有什么双量子比特门），我可以给你更精准的推导！

内容的提问来源于stack exchange，提问作者Nick Nagy