根据定义,门 1/sqrt(5) (I + 2iZ) 应该作用于量子位a|0> + b|1>
以将其转换为,1/sqrt(5) ((1+2i)a|0> + (1-2i)b|1>)
但每个 RUS 步骤的转换执行以下操作 - 辅助首先处于 |+> 状态
- 起始形式:
1/sqrt(2) (a,b,a,b,a,b,a,b)
- CCNOT(辅助,输入):
1/sqrt(2) (a,b,a,b,a,b,b,a)
- S(输入):
1/sqrt(2) (a,ib,a,ib,a,ib,b,ia)
- CCNOT(辅助,输入):
1/sqrt(2) (a,ib,a,ib,a,ib,ia,b)
- Z(输入):
1/sqrt(2) (a,-ib,a,-ib,a,-ib,ia,-b)
现在,在 PauliX 基础上测量 ancillas 等效于将 H() 应用于状态后的 PauliZ 测量。现在我有两个困惑,我应该申请H x H x I
还是H x H x H
合并状态。同样,当两个测量值都为零时,这些转换都不等同于第一段中定义的 V 门。我哪里做错了?
参考:https ://github.com/microsoft/Quantum/blob/master/samples/diagnostics/unit-testing/RepeatUntilSuccessCircuits.qs (第一个示例代码)