Qiskit中UnitarySynthesis合成器忽略synth_gates参数的问题分析

问题背景

在量子电路编译过程中，Qiskit提供了UnitarySynthesis（酉矩阵合成）这一重要功能，它能够将量子门分解为特定的基础门集合。这一过程对于在真实量子硬件上执行电路至关重要，因为不同硬件平台支持的基础门集可能各不相同。

问题现象

在Qiskit 2.0.0版本中，UnitarySynthesis传递管理器存在一个关键缺陷：当用户通过synth_gates参数指定需要合成的特定门类型时（例如仅希望合成Rz门），该参数实际上被完全忽略。这意味着即使明确指定只合成某些类型的门，传递管理器仍会对所有门进行操作或者不进行任何操作。

技术细节分析

问题的核心在于UnitarySynthesis传递的实现逻辑。在判断是否应该对某个量子门节点进行合成时，当前代码错误地检查节点名称是否为"unitary"，而实际上应该检查节点名称是否在用户指定的synth_gates列表中。

这种实现错误导致以下不良影响：

1. 用户无法精确控制哪些门需要被合成
2. 可能造成不必要的门分解，增加电路深度
3. 在只想优化特定门类型时，无法实现预期效果

解决方案

正确的实现应该将条件判断修改为检查节点名称是否在self._synth_gates集合中。这样修改后：

• 用户可以精确控制需要合成的门类型
• 避免对不需要优化的门进行不必要的分解
• 保持与其他传递管理器的行为一致性

影响范围

这个问题主要影响以下使用场景：

1. 需要精确控制门分解策略的高级用户
2. 使用SK分解方法进行近似合成的场景
3. 需要针对特定门类型进行优化的电路编译流程

最佳实践建议

在使用UnitarySynthesis传递时，建议用户：

1. 明确指定需要合成的门类型列表
2. 验证输出电路是否符合预期
3. 对于关键电路，检查分解后的门序列是否正确

该问题的修复将显著提升Qiskit在量子电路编译过程中的精确控制能力，使用户能够更灵活地优化量子电路以适应不同的硬件约束和性能要求。