关于Deutsch-Jozsa预言机中y量子比特相关问题的技术问询

为什么最终不对y量子比特施加Hadamard门？ #

• 初始对y加Hadamard，是为了把它从|1⟩态转换成(|0⟩ - |1⟩)/√2，这个状态的核心作用是帮我们把f(x)的信息转化为x比特的相位翻转。
• 经过预言机后，y的状态会变成(-1)^f(x) * (|0⟩ - |1⟩)/√2，但我们的目标是判断f是常数函数还是平衡函数，只需要测量x比特的状态就行——x的相位信息已经包含了我们需要的结果，y的状态对这个判断没有影响。
• 如果最后给y加Hadamard，它会回到初始的|1⟩态，但这一步完全多余，因为我们根本不需要关心y的最终输出，所以没必要做。

y的作用仅为保证可逆性吗？ #

• 可逆性是基础要求：量子门必须是可逆操作，经典的f(x)（比如多个x对应同一个输出）是不可逆的，加入y作为辅助比特后，整个预言机操作|x⟩|y⟩ → |x⟩|y XOR f(x)⟩是可逆的（再运行一次就能还原y），满足量子门的硬性要求。
• 但更核心的作用是实现相位回踢：通过y的状态变化，把f(x)的信息转化为x比特的相位因子(-1)^f(x)。没有y的话，我们没法把f(x)的信息编码到x的相位里，只能像经典算法一样多次采样，也就没法实现量子加速。

为什么y的输出始终是y XOR f(x)？ #

• 这是Deutsch-Jozsa预言机里受控U_f门的定义，本质是一个量子可逆门：
  • 当f(x)=0时，y的状态不变（y XOR 0 = y）；
  • 当f(x)=1时，y的状态翻转（y XOR 1 = 1-y）。
• 这个设计天然可逆——如果你再把输出输入一次U_f门，y会变回原来的状态（(y XOR f(x)) XOR f(x) = y），符合量子门的可逆要求。
• 同时，当y处于(|0⟩ - |1⟩)/√2态时，这个操作会让y的状态带上(-1)^f(x)的相位，进而把这个相位转移给x的状态（相位回踢），这正是算法能一次性区分常数/平衡函数的关键。

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