Quantum oracles give an advantage for identifying classical counterfactuals

• URL: http://arxiv.org/abs/2512.13692v1
• Date: Mon, 15 Dec 2025 18:59:58 GMT
• Title: Quantum oracles give an advantage for identifying classical counterfactuals
• Authors: Ciarán M. Gilligan-Lee, Yìlè Yīng, Jonathan Richens, David Schmid,
• Abstract summary: We show that quantum oracles provide an advantage over classical oracles for answering classical counterfactual questions.<n>In structural causal models with discrete classical variables, observational data and even ideal interventions fail to answer all counterfactual questions.
• Score: 3.665142050911422
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: We show that quantum oracles provide an advantage over classical oracles for answering classical counterfactual questions in causal models, or equivalently, for identifying unknown causal parameters such as distributions over functional dependences. In structural causal models with discrete classical variables, observational data and even ideal interventions generally fail to answer all counterfactual questions, since different causal parameters can reproduce the same observational and interventional data while disagreeing on counterfactuals. Using a simple binary example, we demonstrate that if the classical variables of interest are encoded in quantum systems and the causal dependence among them is encoded in a quantum oracle, coherently querying the oracle enables the identification of all causal parameters -- hence all classical counterfactuals. We generalize this to arbitrary finite cardinalities and prove that coherent probing 1) allows the identification of all two-way joint counterfactuals p(Y_x=y, Y_{x'}=y'), which is not possible with any number of queries to a classical oracle, and 2) provides tighter bounds on higher-order multi-way counterfactuals than with a classical oracle. This work can also be viewed as an extension to traditional quantum oracle problems such as Deutsch--Jozsa to identifying more causal parameters beyond just, e.g., whether a function is constant or balanced. Finally, we raise the question of whether this quantum advantage relies on uniquely non-classical features like contextuality. We provide some evidence against this by showing that in the binary case, oracles in some classically-explainable theories like Spekkens' toy theory also give rise to a counterfactual identifiability advantage over strictly classical oracles.

Related papers

• On the Significance of Intermediate Latents: Distinguishing Quantum Causal Scenarios with Indistinguishable Classical Analogs [1.03590082373586]
  We consider directed acyclic graphs each of which contains both nodes representing observed variables as well as nodes representing latent or hidden variables.<n>We highlight how the change to a quantum interpretation of the latent nodes induces distinctions between causal scenarios that would be classically indistinguishable.
  arXiv  Detail & Related papers  (2024-12-13T16:08:30Z)
• Kochen-Specker for many qubits and the classical limit [55.2480439325792]
  It is shown that quantum and classical predictions converge as the number of qubits is increases to the macroscopic scale.<n>This way to explain the classical limit concurs with, and improves, a result previously reported for GHZ states.
  arXiv  Detail & Related papers  (2024-11-26T22:30:58Z)
• Quantum Non-classicality from Causal Data Fusion [0.8437187555622164]
  Bell's theorem shows that quantum correlations are incompatible with a classical theory of cause and effect. We investigate the problem of causal data fusion that aims to piece together data tables collected under heterogeneous conditions. We demonstrate the existence of quantum non-classicality resulting from data fusion, even in scenarios where achieving standard Bell non-classicality is impossible.
  arXiv  Detail & Related papers  (2024-05-29T16:35:59Z)
• Identification of Causal Influences in Quantum Processes [0.0]
  A major obstacle to a theory of causal identification in the quantum setting is the question of what should play the role of "observational data" We present sufficient conditions for quantum causal identification, starting with a quantum analogue of the well-known "front-door criterion" Results emerge from generalizing the process-theoretic account of classical causal inference due to Jacobs, Kissinger, and Zanasi.
  arXiv  Detail & Related papers  (2023-11-15T11:41:18Z)
• A Semantics for Counterfactuals in Quantum Causal Models [0.0]
  We introduce a formalism for the evaluation of counterfactual queries in the framework of quantum causal models. We define a suitable extension of Pearl's notion of a 'classical structural causal model' We show that every classical (probabilistic) structural causal model can be extended to a quantum structural causal model.
  arXiv  Detail & Related papers  (2023-02-23T05:00:14Z)
• Witnessing Non-Classicality in a Simple Causal Structure with Three Observable Variables [0.7036032466145112]
  We analyze the Evans scenario, akin to the causal structure underlying the entanglement-swapping experiment. We prove that post-quantum correlations, analogous to the paradigmatic Popescu-Rohrlich box, do violate the constraints imposed by a classical description of Evans causal structure.
  arXiv  Detail & Related papers  (2022-11-23T23:29:35Z)
• The role of fluctuations in quantum and classical time crystals [58.720142291102135]
  We study the role of fluctuations on the stability of the system and find no distinction between quantum and classical DTCs. This allows us to probe the fluctuations in an experiment using two strongly coupled parametric resonators subject to classical noise.
  arXiv  Detail & Related papers  (2022-03-10T19:00:01Z)
• Why we should interpret density matrices as moment matrices: the case of (in)distinguishable particles and the emergence of classical reality [69.62715388742298]
  We introduce a formulation of quantum theory (QT) as a general probabilistic theory but expressed via quasi-expectation operators (QEOs) We will show that QT for both distinguishable and indistinguishable particles can be formulated in this way. We will show that finitely exchangeable probabilities for a classical dice are as weird as QT.
  arXiv  Detail & Related papers  (2022-03-08T14:47:39Z)
• Oracle separations of hybrid quantum-classical circuits [68.96380145211093]
  Two models of quantum computation: CQ_d and QC_d. CQ_d captures the scenario of a d-depth quantum computer many times; QC_d is more analogous to measurement-based quantum computation. We show that, despite the similarities between CQ_d and QC_d, the two models are intrinsically, i.e. CQ_d $nsubseteq$ QC_d and QC_d $nsubseteq$ CQ_d relative to an oracle.
  arXiv  Detail & Related papers  (2022-01-06T03:10:53Z)
• Experimental violations of Leggett-Garg's inequalities on a quantum computer [77.34726150561087]
  We experimentally observe the violations of Leggett-Garg-Bell's inequalities on single and multi-qubit systems. Our analysis highlights the limits of nowadays quantum platforms, showing that the above-mentioned correlation functions deviate from theoretical prediction as the number of qubits and the depth of the circuit grow.
  arXiv  Detail & Related papers  (2021-09-06T14:35:15Z)
• Emergence of classical behavior in the early universe [68.8204255655161]
  Three notions are often assumed to be essentially equivalent, representing different facets of the same phenomenon. We analyze them in general Friedmann-Lemaitre- Robertson-Walker space-times through the lens of geometric structures on the classical phase space. The analysis shows that: (i) inflation does not play an essential role; classical behavior can emerge much more generally; (ii) the three notions are conceptually distinct; classicality can emerge in one sense but not in another.
  arXiv  Detail & Related papers  (2020-04-22T16:38:25Z)

This list is automatically generated from the titles and abstracts of the papers in this site.

This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.