Qiskit VQLS实现中control_fixed_ansatz电路的理解疑问

在Qiskit的VQLS实现中，control_fixed_ansatz的核心目标是构造矩阵Aₙ的受控版本，为Hadamard测试计算期望值提供支撑。你看到的CCX门，本质是用来实现Aₙ算子组合中的多控制条件操作，具体原因可以拆解为以下几点：

• Aₙ的算子结构：VQLS中的Aₙ通常由Pauli算子（X/Y/Z/I）的线性组合构成，比如常见的X⊗I、I⊗X或X⊗X这类多比特项。要将这些Pauli项转化为受控操作，就需要实现“仅当控制比特处于|1⟩态时，才对目标比特执行对应Pauli操作”的逻辑，而多比特Pauli项的受控执行依赖多控制门。

• CCX的落地实现：以Aₙ包含X⊗X项为例，其受控版本要求：控制比特为|1⟩时，对两个目标比特同时执行X门；控制比特为|0⟩时，执行恒等操作。在实际量子电路中，没有直接的“受控多比特Pauli门”基础组件，CCX（Toffoli门）正是用来构建这种逻辑的核心基础门——通过它可以实现双控制下的单比特翻转，配合其他基础门就能完成多比特Pauli算子的受控执行。

• 与抽象受控矩阵门的关联：你预期的“对应矩阵的受控版本门”是抽象层面的描述，而实际量子电路只能用基础门组合构造。CCX就是这种组合构造的关键组件，它间接实现了Aₙ矩阵的受控版本，满足Hadamard测试对受控操作的需求。

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