Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

arXiv:2605.04571

Causal-Order Identification of Memoryless Sequential Quantum Processes from Restricted Projective Data

Masahito Hayashi

quant-phSubmitted May 6, 2026• Announced May 7, 2026• 0 citations• Revised Sep 30, 2026 (v4)
v1 · May 6, 2026v2 · May 30, 2026v3 · Sep 16, 2026v4 · Sep 30, 2026
arXivHTMLPDF

Abstract

Identifying causal order from restricted projective data is generally nontrivial. When two quantum players interact only through an unobserved environment, the available local measurement statistics are typically not tomographically complete, so the underlying process cannot in general be reconstructed exactly from the observed distribution. As a result, causal direction can be statistically identifiable in some cases but fundamentally indistinguishable in others. In this work, we determine necessary and sufficient conditions for deciding when an observed distribution is compatible with a memoryless sequential quantum process in a fixed direction. We show that directional conditional-independence structure and the positivity criterion based on the pseudo-density matrix, as developed in recent work by We show that directional conditional-independence structure and PDM-based positivity criteria are not sufficient by themselves. We then specialize to the two-qubit Pauli setting, where the problem remains non-tomographic but becomes explicitly tractable. In this regime, we characterize when the two sequential directions are statistically indistinguishable, and we show by example that positivity alone does not exclude more general memoryful strategies, whereas the additional algebraic consistency requirement does.

Comments
Minor errors were corrected

Related papers

Characterization-free classification and identification of the environment between two quantum players

Masahito Hayashi, Longyang Cao, Baichu Yu +1 more

Identifying the causal structure of quantum channels is essential for verifying quantum networks and certifying quantum resources. We introduce a characterization-free protocol enabling two isolated players, Alice and Bob, to identify the definite-order strategy adopted by an unknown environment mediating their channels. Without assuming knowledge of their devices or the environment, the players infer the causal order solely from input-output statistics by testing Markovian conditions that we prove are necessary and sufficient for each strategy class. Remarkably, we prove that, under an explicit generic-sampling condition, a randomly selected binary measure-and-prepare setting retains exact-distribution identifiability with probability one. In the optical experiment, we use a reduced-randomness construction in which several preparation states are kept fixed. Nevertheless, the Markov-condition-based procedure yields the expected causal-order and memory-presence classification for every tested process realization and setting. This observation suggests that the randomization assumptions of the general theorem may be relaxed. Our results provide an operational framework for causal inference in quantum networks.

quant-pharXiv:2602.20997•Feb 25, 2026•0 citations

Characterization-free identification of the environment between two quantum players

Masahito Hayashi, Longyang Cao, Baichu Yu +1 more

Abstract Identifying the causal structure of quantum channels is essential for verifying quantum networks and certifying quantum resources. We introduce a characterization-free protocol enabling two isolated players, Alice and Bob, to identify the definite-order strategy adopted by an unknown environment mediating their channels. Without assuming knowledge of their devices or the environment, the players infer the causal order solely from input-output statistics by testing Markovian conditions that we prove are necessary and sufficient for each strategy class. Remarkably, we prove that even with a minimal random channel consisting of two-outcome POVMs and two-state preparations, the protocol retains full performance with probability one. We experimentally demonstrate the protocol on an optical platform, reliably distinguishing between several strategies. Our results provide a strong and robust tool for causal inference in quantum networks.

•May 19, 2026•0 citations

Identification of causal influences in quantum processes

Isaac Friend, Aleks Kissinger

Recent years have seen great interest in extending causal inference concepts developed in the context of classical statistical models to quantum theory. So far, this program has only barely addressed causal identification, a type of causal inference problem concerned with recovering from observational data and qualitative assumptions the causal relationships generating the data, and hence the effects of hypothetical interventions. 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,” as any means of extracting data at a locus will almost certainly disturb the system. One might think that quantum measurements are already too much like interventions, so that the problem of causal identification is trivialized. This is not the case: when we fix a limited class of quantum measurement instruments (namely, the class of all projective measurements) to play the role of “observations,” there exist scenarios for which causal identification is impossible. In this paper, we present a framework, based on process theories (also known as strict symmetric monoidal categories), for studying quantum causal identification scenarios on the same footing as their classical counterparts. Within this framework, we present sufficient conditions for quantum causal identification in networks with unobserved confounding systems, including quantum analogs of the well-known “back-door” and “front-door” criteria. These results arise from a type of causal model designed to facilitate the transfer of inference techniques from the classical to the quantum setting. Published by the American Physical Society 2024

Physical Review A•Apr 29, 2024•2 citations

Identification of Causal Influences in Quantum Processes

Isaac Friend, Aleks Kissinger

Though the topic of causal inference is typically considered in the context of classical statistical models, recent years have seen great interest in extending causal inference techniques to quantum and generalized theories. Causal identification is a type of causal inference problem concerned with recovering from observational data and qualitative assumptions the causal mechanisms generating the data, and hence the effects of hypothetical interventions. 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," as any means of extracting data at a certain locus will almost certainly disturb the system. Hence, one might think a priori that quantum measurements are already too much like interventions, so that the problem of causal identification trivializes. This is not the case. Fixing a limited class of quantum instruments (namely the class of all projective measurements) to play the role of "observations," we note that as in the classical setting, there exist scenarios for which causal identification is not possible. We then present sufficient conditions for quantum causal identification, starting with a quantum analogue of the well-known "front-door criterion" and finishing with a broader class of scenarios for which the effect of a single intervention is identifiable. These results emerge from generalizing the process-theoretic account of classical causal inference due to Jacobs, Kissinger, and Zanasi beyond the setting of Markov categories, and thereby treating the classical and quantum problems uniformly.

arXiv:2311.08882•Electronic Proceedings in Theoretical Computer Science•Nov 14, 2023•0 citations

Bipartite quantum states admitting a causal explanation

Min-Jeong Song, Arthur J. Parzygnat

The statistics of local measurements of joint quantum systems can sometimes be used to distinguish the spatiotemporal structure in which they were measured. We first prove that every bipartite separable density matrix is temporally compatible with direct causal influence for arbitrary finite-dimensional quantum systems and measurements of a tomographically complete class of observables, which includes all Pauli observables in the case of multi-qubit systems. Equivalently, if a bipartite density matrix is not temporally compatible with direct causal influence, then it must be entangled. We also provide an operational meaning for the two temporal evolutions consistent with such correlations in terms of generalized dephasing channels and pretty good measurements. The two temporal evolutions are Bayesian inverses of each other, which is different from them being Petz recovery maps of each other. Finally, we prove necessary and sufficient conditions for an arbitrary bipartite quantum state to be temporally compatible, thereby providing a temporal analogue of the positive partial transpose criterion valid for quantum systems of any dimension.

arXiv:2507.14278•AVS Quantum Science•Dec 1, 2025•1 citation

Causal Order Cannot Be An Observable

Declan Maguire, Fabio Costa

Recent developments in the formalisation of quantum causal structures have made it possible to test and compare hypotheses about causal structure empirically, rather than being a-priori assumptions. Such differences in causal structure may be leveraged to distinguish between the processes they belong to, akin to distinguishing between quantum states known to belong to different eigenspaces of an observable. So how far this analogy can be pushed? Can causal order be interpreted as a kind of observable? Can it be measured? To this end we construct a completely operational definition of observables in terms of `discrimination tasks'. This begins with some base set of classes (analogous to a quantum observable's eigenspaces) before we impose three conditions on how these classes relate under discrimination tasks. These conditions recover the properties of a standard observable, letting us apply this definition to non-state entities such as quantum processes, which naturally encode causal structure. These conditions can be described in plain language as (1) `members of any class are perfectly distinguishable from members of any other' (i.e. our classes are `sharp'), (2) `entities perfectly distinguishable pairwise are all perfectly distinguishable by a joint intervention', and (3) `if all members of a class are perfectly distinguishable from an entity, then the whole class is perfectly distinguishable from it jointly'. By analysing classes of quantum processes having strict causal orders, we find causal classes which are sharp but violate condition 2, and classes which violate condition 3. This implies that causal order cannot be an observable. We note cases in the literature which claim to prove the opposite, and discuss them. We find their analyses presume special circumstances equivalent to conditions (2) and (3), and so do not contradict our own findings.

quant-pharXiv:2605.25302•Classical and Quantum Gravity•May 26, 2026•0 citations
Identifying causal order from restricted projective data is generally nontrivial. When two quantum players interact only through an unobserved environment, the available local measurement statistics are typically not tomographically complete, so the underlying process cannot in general be reconstructed exactly from the observed distribution. As a result, causal direction can be statistically identifiable in some cases but fundamentally indistinguishable in others.
In this work, we determine necessary and sufficient conditions for deciding when an observed distribution is compatible with a memoryless sequential quantum process in a fixed direction. We show that directional conditional-independence structure and the positivity criterion based on the pseudo-density matrix, as developed in recent work by We show that directional conditional-independence structure and PDM-based positivity criteria are not sufficient by themselves. We then specialize to the two-qubit Pauli setting, where the problem remains non-tomographic but becomes explicitly tractable. In this regime, we characterize when the two sequential directions are statistically indistinguishable, and we show by example that positivity alone does not exclude more general memoryful strategies, whereas the additional algebraic consistency requirement does.
Identifying the causal structure of quantum channels is essential for verifying quantum networks and certifying quantum resources. We introduce a characterization-free protocol enabling two isolated players, Alice and Bob, to identify the definite-order strategy adopted by an unknown environment mediating their channels. Without assuming knowledge of their devices or the environment, the players infer the causal order solely from input-output statistics by testing Markovian conditions that we prove are necessary and sufficient for each strategy class. Remarkably, we prove that, under an explicit generic-sampling condition, a randomly selected binary measure-and-prepare setting retains exact-distribution identifiability with probability one. In the optical experiment, we use a reduced-randomness construction in which several preparation states are kept fixed. Nevertheless, the Markov-condition-based procedure yields the expected causal-order and memory-presence classification for every tested process realization and setting. This observation suggests that the randomization assumptions of the general theorem may be relaxed. Our results provide an operational framework for causal inference in quantum networks.
Abstract Identifying the causal structure of quantum channels is essential for verifying quantum networks and certifying quantum resources. We introduce a characterization-free protocol enabling two isolated players, Alice and Bob, to identify the definite-order strategy adopted by an unknown environment mediating their channels. Without assuming knowledge of their devices or the environment, the players infer the causal order solely from input-output statistics by testing Markovian conditions that we prove are necessary and sufficient for each strategy class. Remarkably, we prove that even with a minimal random channel consisting of two-outcome POVMs and two-state preparations, the protocol retains full performance with probability one. We experimentally demonstrate the protocol on an optical platform, reliably distinguishing between several strategies. Our results provide a strong and robust tool for causal inference in quantum networks.
Recent years have seen great interest in extending causal inference concepts developed in the context of classical statistical models to quantum theory. So far, this program has only barely addressed causal identification, a type of causal inference problem concerned with recovering from observational data and qualitative assumptions the causal relationships generating the data, and hence the effects of hypothetical interventions. 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,” as any means of extracting data at a locus will almost certainly disturb the system. One might think that quantum measurements are already too much like interventions, so that the problem of causal identification is trivialized. This is not the case: when we fix a limited class of quantum measurement instruments (namely, the class of all projective measurements) to play the role of “observations,” there exist scenarios for which causal identification is impossible. In this paper, we present a framework, based on process theories (also known as strict symmetric monoidal categories), for studying quantum causal identification scenarios on the same footing as their classical counterparts. Within this framework, we present sufficient conditions for quantum causal identification in networks with unobserved confounding systems, including quantum analogs of the well-known “back-door” and “front-door” criteria. These results arise from a type of causal model designed to facilitate the transfer of inference techniques from the classical to the quantum setting. Published by the American Physical Society 2024
Though the topic of causal inference is typically considered in the context of classical statistical models, recent years have seen great interest in extending causal inference techniques to quantum and generalized theories. Causal identification is a type of causal inference problem concerned with recovering from observational data and qualitative assumptions the causal mechanisms generating the data, and hence the effects of hypothetical interventions. 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," as any means of extracting data at a certain locus will almost certainly disturb the system. Hence, one might think a priori that quantum measurements are already too much like interventions, so that the problem of causal identification trivializes. This is not the case. Fixing a limited class of quantum instruments (namely the class of all projective measurements) to play the role of "observations," we note that as in the classical setting, there exist scenarios for which causal identification is not possible. We then present sufficient conditions for quantum causal identification, starting with a quantum analogue of the well-known "front-door criterion" and finishing with a broader class of scenarios for which the effect of a single intervention is identifiable. These results emerge from generalizing the process-theoretic account of classical causal inference due to Jacobs, Kissinger, and Zanasi beyond the setting of Markov categories, and thereby treating the classical and quantum problems uniformly.
The statistics of local measurements of joint quantum systems can sometimes be used to distinguish the spatiotemporal structure in which they were measured. We first prove that every bipartite separable density matrix is temporally compatible with direct causal influence for arbitrary finite-dimensional quantum systems and measurements of a tomographically complete class of observables, which includes all Pauli observables in the case of multi-qubit systems. Equivalently, if a bipartite density matrix is not temporally compatible with direct causal influence, then it must be entangled. We also provide an operational meaning for the two temporal evolutions consistent with such correlations in terms of generalized dephasing channels and pretty good measurements. The two temporal evolutions are Bayesian inverses of each other, which is different from them being Petz recovery maps of each other. Finally, we prove necessary and sufficient conditions for an arbitrary bipartite quantum state to be temporally compatible, thereby providing a temporal analogue of the positive partial transpose criterion valid for quantum systems of any dimension.
Recent developments in the formalisation of quantum causal structures have made it possible to test and compare hypotheses about causal structure empirically, rather than being a-priori assumptions. Such differences in causal structure may be leveraged to distinguish between the processes they belong to, akin to distinguishing between quantum states known to belong to different eigenspaces of an observable. So how far this analogy can be pushed? Can causal order be interpreted as a kind of observable? Can it be measured? To this end we construct a completely operational definition of observables in terms of `discrimination tasks'. This begins with some base set of classes (analogous to a quantum observable's eigenspaces) before we impose three conditions on how these classes relate under discrimination tasks. These conditions recover the properties of a standard observable, letting us apply this definition to non-state entities such as quantum processes, which naturally encode causal structure. These conditions can be described in plain language as (1) `members of any class are perfectly distinguishable from members of any other' (i.e. our classes are `sharp'), (2) `entities perfectly distinguishable pairwise are all perfectly distinguishable by a joint intervention', and (3) `if all members of a class are perfectly distinguishable from an entity, then the whole class is perfectly distinguishable from it jointly'. By analysing classes of quantum processes having strict causal orders, we find causal classes which are sharp but violate condition 2, and classes which violate condition 3. This implies that causal order cannot be an observable. We note cases in the literature which claim to prove the opposite, and discuss them. We find their analyses presume special circumstances equivalent to conditions (2) and (3), and so do not contradict our own findings.