Abstract:We introduce a formalism for the evaluation of counterfactual queries in the framework of quantum causal models, generalising Pearl's semantics for counterfactuals in classical causal models, thus completing the last rung in the quantum analogue of Pearl's "ladder of causation". To this end, we define a suitable extension of Pearl's notion of a 'classical structural causal model', which we denote analogously by 'quantum structural causal model', and a corresponding extension of Pearl's three-step procedure of abduction, action, and prediction. We show that every classical (probabilistic) structural causal model can be extended to a quantum structural causal model, and prove that counterfactual queries that can be formulated within a classical structural causal model agree with their corresponding queries in the quantum extension -- but the latter is more expressive. Counterfactuals in quantum causal models come in different forms: we distinguish between active and passive counterfactual queries, depending on whether or not an intervention is to be performed in the action step. This is in contrast to the classical case, where counterfactuals are always interpreted in the active sense. Another distinctive feature of our formalism is that it breaks the connection between causal and counterfactual dependence that exists in the classical case: quantum counterfactuals allow for counterfactual dependence without causal dependence. This distinction between classical and quantum causal models may shed light on how the latter can reproduce quantum correlations that violate Bell inequalities while being faithful to the relativistic causal structure.

Time-Symmetrized Counterfactuals in Quantum Theory

Discussion: Time-Symmetric Quantum Counterfactuals

Time-Symmetrized Quantum Theory

Time symmetry in quantum theories and beyond

"Counterfactual" quantum protocols

Consistent quantum counterfactuals

Weak Measurements and Counterfactual Computation

Time and event symmetry in quantum mechanics

A Semantics for Counterfactuals in Quantum Causal Models

Quantum mechanics is compatible with counterfactual definiteness

Uniqueness of quantum state over time function

Analysis of counterfactuality of counterfactual communication protocols

On unorthodox qubits, with an application to the closed timelike curve problem

Quantum Time: a novel resource for quantum information

Quantum state tomography on closed timelike curves using weak measurements

Reversibility and Irreversibility within the Quantum Formalism

A time-symmetric formulation of quantum entanglement

Time and Quantum Clocks: a review of recent developments

Measuring time with stationary quantum clocks

Treating Time Travel Quantum Mechanically

Quantum Theory Looks at Time Travel