加载中…
We reformulate Pearl’s three rules of do-calculus in the language of completely positive (CP) trace-preserving maps, thereby extending them to quantum systems with entanglement. We prove that Rule~2 fails whenever the underlying process admits indefinite causal order, and we demonstrate this failure in a three-qubit ``quantum switch’’ circuit. Our analysis clarifies why the classical notions of surgical intervention, faithfulness, and counterfactual dependence must be revised in quantum information science. The CP-do()-calculus introduced here provides a common syntax for causal modelling across classical, definite-order quantum, and indefinite-order quantum regimes.

生成讲解博客的中文版本

生成AI智能校验的中文版本