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

Masahito Hayashi

arxiv: 2605.04571 · v2 · pith:FGCF2INEnew · submitted 2026-05-06 · 🪐 quant-ph

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

Masahito Hayashi This is my paper

Pith reviewed 2026-06-30 23:59 UTC · model grok-4.3

classification 🪐 quant-ph

keywords causal order identificationmemoryless sequential processespseudo-density matrixprojective measurementsquantum causalityconditional independencealgebraic consistency

0 comments

The pith

An algebraic consistency requirement completes the criterion for identifying memoryless sequential quantum processes from local projective measurements.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper determines necessary and sufficient conditions for deciding when an observed distribution of local measurements is compatible with a memoryless sequential quantum process in one fixed causal direction. It shows that directional conditional independence plus positivity of the pseudo-density matrix are not enough on their own. An added algebraic consistency requirement closes the test and makes membership in the memoryless sequential class decidable even when the data is not tomographically complete. A reader would care because restricted projective statistics are the typical experimental output in distributed quantum settings, yet full process reconstruction is often impossible.

Core claim

The observed distribution is compatible with a memoryless sequential quantum process in a fixed direction precisely when it satisfies directional conditional independence, the positivity criterion based on the pseudo-density matrix, and an additional algebraic consistency requirement; together these three conditions are necessary and sufficient.

What carries the argument

The algebraic consistency requirement, which enforces that the process parameters inferred from different local measurement choices remain compatible with a single sequential memoryless evolution.

If this is right

In the two-qubit Pauli setting the criterion distinguishes the two possible sequential directions whenever they are statistically distinguishable.
Positivity of the pseudo-density matrix by itself permits some memoryful strategies, while the full set of three conditions excludes them.
The test works even though the available local projective data is not tomographically complete.
The same three conditions decide membership for any number of qubits provided the measurements remain projective and local.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The same style of algebraic consistency check may be needed when testing other restricted classes of quantum processes such as those with bounded memory.
Experimental setups with three or more parties could use the criterion to verify assumed causal order with only pairwise local measurements.
If the algebraic condition can be checked efficiently, it offers a practical way to certify causal direction before attempting full process tomography.

Load-bearing premise

The observed distribution is generated by a quantum process that is strictly memoryless and sequential in one fixed direction.

What would settle it

A concrete distribution that satisfies directional conditional independence, pseudo-density-matrix positivity, and the algebraic consistency requirement yet cannot be realized by any memoryless sequential process in the claimed direction would falsify the claimed completeness of the criterion.

Figures

Figures reproduced from arXiv: 2605.04571 by Masahito Hayashi.

**Figure 1.** Figure 1: FIG. 1: Individual (product) strategy: Charlie prepares two independent input states view at source ↗

**Figure 2.** Figure 2: FIG. 2: Parallel strategy: Charlie prepares a bipartite input state view at source ↗

**Figure 3.** Figure 3: FIG. 3: Sequential memoryless strategy (1 view at source ↗

**Figure 4.** Figure 4: FIG. 4: Sequential strategy with maximized spacing: view at source ↗

read the original 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 Liu, Qiu, Dahlsten, and Vedral, are not sufficient by themselves. The missing ingredient is an additional algebraic consistency requirement, and together these conditions yield a complete criterion for membership in the memoryless sequential class. 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.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

The paper adds an algebraic consistency requirement that completes the criterion for identifying memoryless sequential quantum processes from restricted projective data.

read the letter

The core advance here is showing that directional conditional independence plus the pseudo-density-matrix positivity condition from Liu et al. still leaves some distributions that could come from memoryful strategies. Adding an algebraic consistency requirement rules those out and gives a necessary-and-sufficient test for the memoryless sequential class in one fixed direction.

The two-qubit Pauli specialization is the part that feels most usable: the problem stays non-tomographic, but the authors can explicitly characterize when the two directions become statistically indistinguishable and give a concrete example where positivity alone fails to exclude memoryful processes. That moves the result from an abstract completeness claim to something one can check on actual measurement statistics.

The main limitation is that the abstract does not display the algebraic consistency condition itself or the supporting derivations, so it is hard to judge how independent it really is from the quantities already defined by the positivity step. If the full proofs are clean and the condition does not collapse into something already implied by the cited work, the result holds; otherwise the novelty shrinks. The modeling premise (strictly memoryless sequential processes) is stated clearly, so there is no hidden circularity on that front.

This is aimed at the small group working on quantum causal inference with incomplete local data. A reader already following the Liu-Qiu-Dahlsten-Vedral line will get the most out of the explicit Pauli characterization. It is worth sending to referees because the claim directly addresses a gap in the prior criterion and supplies a tractable case that can be checked.

Referee Report

2 major / 2 minor

Summary. The paper claims to determine necessary and sufficient conditions for an observed distribution to be compatible with a memoryless sequential quantum process in a fixed direction. Directional conditional-independence structure and the positivity criterion based on the pseudo-density matrix (from Liu, Qiu, Dahlsten, and Vedral) are shown to be insufficient by themselves. An additional algebraic consistency requirement is introduced, and the combination yields a complete criterion. The work then specializes to the two-qubit Pauli setting, where it characterizes statistical indistinguishability of the two sequential directions and provides examples showing that positivity alone does not exclude more general memoryful strategies.

Significance. If the central claim holds, the result supplies a complete, non-tomographic test for membership in the memoryless sequential class, extending prior positivity-based criteria with an explicit algebraic consistency condition. The two-qubit Pauli specialization renders the problem tractable while remaining non-tomographic, and the explicit counter-examples to positivity-only sufficiency are useful for distinguishing the memoryless sequential class from broader strategies. The modeling premise (strictly memoryless sequential processes in one fixed direction) is clearly stated as the target class.

major comments (2)

[Abstract] Abstract and §3 (presumed location of the main theorem): the claim that the algebraic consistency requirement is independent of the pseudo-density-matrix positivity criterion requires explicit verification that the new condition does not reduce to quantities already fixed by the fitted pseudo-density matrix or the cited Liu et al. objects; without the explicit algebraic statement or its derivation, independence cannot be confirmed from the provided text.
[§4] Two-qubit Pauli specialization (likely §4): the examples demonstrating that positivity alone fails to exclude memoryful strategies must be checked against the full algebraic consistency condition to ensure the distinction is load-bearing rather than an artifact of the restricted measurement set.

minor comments (2)

Notation for the algebraic consistency condition should be introduced with a numbered equation or definition box on first appearance to aid readability.
[Abstract] The abstract would benefit from a one-sentence statement of the algebraic consistency requirement (or its form in the Pauli case) to make the central advance immediately concrete.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their careful reading and constructive comments on the manuscript. We address each major comment below.

read point-by-point responses

Referee: [Abstract] Abstract and §3 (presumed location of the main theorem): the claim that the algebraic consistency requirement is independent of the pseudo-density-matrix positivity criterion requires explicit verification that the new condition does not reduce to quantities already fixed by the fitted pseudo-density matrix or the cited Liu et al. objects; without the explicit algebraic statement or its derivation, independence cannot be confirmed from the provided text.

Authors: We agree that an explicit verification of independence is required for the claim to be fully substantiated. The algebraic consistency condition is obtained from the requirement that the sequential application of the memoryless channel must preserve a specific algebraic relation among the observed marginals (arising from the composition of the process tensor with the fixed causal order), which is not implied by positivity of the pseudo-density matrix or the Liu et al. objects. In the revised manuscript we will add, in §3, the explicit algebraic statement together with a short derivation showing independence via a concrete low-dimensional counter-example in which positivity holds but the algebraic relation is violated. revision: yes
Referee: [§4] Two-qubit Pauli specialization (likely §4): the examples demonstrating that positivity alone fails to exclude memoryful strategies must be checked against the full algebraic consistency condition to ensure the distinction is load-bearing rather than an artifact of the restricted measurement set.

Authors: The examples in §4 are constructed so that they obey directional conditional independence and pseudo-density-matrix positivity yet violate the algebraic consistency requirement; this is already verified in the underlying calculations. To make the verification transparent and rule out any artifact of the restricted Pauli measurements, we will add, in the revised §4, the explicit evaluation of the algebraic consistency expressions for each example, confirming that the full criterion correctly excludes the memoryful strategies. revision: yes

Circularity Check

0 steps flagged

No significant circularity identified

full rationale

The paper's central claim is that directional conditional independence plus pseudo-density-matrix positivity (from Liu et al., distinct authors) is insufficient, and an additional algebraic consistency requirement completes the membership criterion for the memoryless sequential class. The modeling premise is explicitly flagged as the class under test rather than smuggled in. No self-citations by the present author appear load-bearing, no fitted parameters are renamed as predictions, and no equations reduce by construction to their inputs. The two-qubit Pauli specialization is presented as a non-tomographic but tractable case with explicit counter-examples. The derivation is therefore self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

Review performed on abstract only; ledger entries are therefore minimal and provisional.

axioms (2)

domain assumption The process belongs to the memoryless sequential class in a fixed direction.
This is the target class whose membership the criterion tests; invoked when stating compatibility conditions.
domain assumption Positivity criterion based on the pseudo-density matrix from Liu et al.
Cited as one of the two insufficient conditions that must be augmented.

pith-pipeline@v0.9.1-grok · 5730 in / 1258 out tokens · 25879 ms · 2026-06-30T23:59:48.954342+00:00 · methodology

Review history (2 revisions) →

discussion (0)

Reference graph

Works this paper leans on

1 extracted references · 1 canonical work pages · 1 internal anchor

[1]

Quantum correlations with no causal order

[1]J. Pearl,Causality: Models, Reasoning, and Inference, second edition ed. (Cambridge University Press, 2009). [2]J. Peters, D. Janzing, and B. Schölkopf,Elements of Causal Inference: Foundations and Learning Algorithms(MIT Press, 2017). [3]G. Chiribella, G. M. D’Ariano, and P . Perinotti, Theoretical framework for quantum networks, Physical Review A80, ...

work page internal anchor Pith review Pith/arXiv arXiv 2009

[1] [1]

Quantum correlations with no causal order

[1]J. Pearl,Causality: Models, Reasoning, and Inference, second edition ed. (Cambridge University Press, 2009). [2]J. Peters, D. Janzing, and B. Schölkopf,Elements of Causal Inference: Foundations and Learning Algorithms(MIT Press, 2017). [3]G. Chiribella, G. M. D’Ariano, and P . Perinotti, Theoretical framework for quantum networks, Physical Review A80, ...

work page internal anchor Pith review Pith/arXiv arXiv 2009