Operational time-reversal symmetry for unital qubit channels

James Fullwood; Ouyang Ting; Zhen Wu

arxiv: 2605.10375 · v1 · submitted 2026-05-11 · 🪐 quant-ph

Operational time-reversal symmetry for unital qubit channels

Ouyang Ting , James Fullwood , Zhen Wu This is my paper

Pith reviewed 2026-05-12 04:59 UTC · model grok-4.3

classification 🪐 quant-ph

keywords Bayesian inverseunital quantum channelstime-reversal symmetryqubitPauli channelsoperational time symmetrysequential measurementsopen quantum systems

0 comments

The pith

Unital qubit channels admit Bayesian inverses, and thus operational time-reversal symmetry, precisely when their reduced Pauli channels do.

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

This paper determines exactly when a Bayesian inverse exists for unital quantum channels acting on a single qubit. Such an inverse supplies a reverse channel that produces time-symmetric correlations in sequential measurements even though the system interacts with an environment. The central step is proving that any unital qubit channel reduces to a Pauli channel for the purpose of checking this property, without changing the relevant features of the reference state. This reduction yields an explicit classification of all cases where the symmetry is attainable under unital noise. A sympathetic reader would see the result as closing the general question for the simplest open-qubit setting.

Core claim

For unital qubit channels, the existence of a Bayesian inverse with respect to a reference state is equivalent to the existence of one for the corresponding Pauli channel obtained by reduction, thereby providing a complete description of when operational time-reversal symmetry holds for sequential measurements of a single qubit in the presence of unital noise.

What carries the argument

The reduction of an arbitrary unital qubit channel to a Pauli channel, which preserves the conditions for existence of a Bayesian inverse relative to a given reference state.

If this is right

Sequential measurements on a qubit under any unital noise admit time-symmetric correlations precisely when the reduced Pauli channel admits a Bayesian inverse.
The set of reference states that permit such inverses is now fully described for every unital qubit channel.
Operational time-reversal symmetry extends from unitary dynamics to the entire class of unital qubit evolutions.
Pauli channels serve as the canonical test cases for the symmetry condition in this setting.

Where Pith is reading between the lines

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

The same reduction approach could be tested on higher-dimensional unital channels to see whether a similar simplification occurs.
The characterization supplies a concrete criterion for selecting noise models that preserve measurable time symmetry in qubit experiments.
One could design forward and reverse measurement sequences on a physical qubit to verify the predicted symmetry thresholds.

Load-bearing premise

Any unital qubit channel can be reduced to a Pauli channel for the purpose of determining the existence of its Bayesian inverse without losing the relevant properties of the reference state.

What would settle it

A concrete unital qubit channel and reference state where a Bayesian inverse exists for the original channel but fails to exist for the reduced Pauli channel would falsify the claimed equivalence.

Figures

Figures reproduced from arXiv: 2605.10375 by James Fullwood, Ouyang Ting, Zhen Wu.

read the original abstract

The Bayesian inverse of a quantum channel $\mathcal{E}$ is a channel $\mathcal{F}$ in the reverse direction of $\mathcal{E}$ that yields time-symmetric correlations for sequential measurements performed on open quantum systems. Such an operational form of time-reversal symmetry for open quantum systems is quite remarkable, as the dynamics of open quantum systems are inherently irreversible due to system-environment interactions. Similar to the Petz map, a Bayesian inverse $\mathcal{F}$ is defined with respect to a fiducial reference state $\rho$ for the channel $\mathcal{E}$. However, Bayesian inverses do not always exist, and it is often a non-trivial task to determine the set of states $\rho$ for which a Bayesian inverse of $\mathcal{E}$ exists. In this work, we solve the general problem of quantum Bayesian inversion for unital channels acting on a single qubit. Our analysis is streamlined by demonstrating that finding a Bayesian inverse for a unital qubit channel may be reduced to finding a Bayesian inverse of a Pauli channel, which is simply a mixture of unitary channels associated with the Pauli matrices. As such, we provide a complete description of when operational time-reversal symmetry is attainable for sequential measurements of a single qubit in the presence of unital noise.

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 solves the Bayesian inverse problem for unital qubit channels by reducing them to Pauli channels and listing the admissible reference states.

read the letter

The main thing here is that the authors give a full characterization of when a Bayesian inverse exists for unital qubit channels. They reduce any such channel to a Pauli channel and then spell out the reference states that work. This is new because it closes the general case for single qubits. The reduction lets them handle all unital maps at once instead of case by case. The paper does this cleanly. It ties back to the standard definitions and uses the structure of qubit channels to simplify. The result is a concrete list of conditions rather than an existence proof that leaves the states unspecified. One place to look closely is whether the reduction preserves the exact correlation condition needed for the inverse. The conjugation changes both the channel and the state, so the paper must show that the inverse exists for the original if and only if it does for the reduced pair. That equivalence is what makes the complete description valid. The limitation to qubits and unital channels is obvious but worth noting, as it means the work does not yet address more general noise or larger systems. This is useful for anyone studying time symmetry in open quantum systems or trying to find reversible descriptions under noise. A reader who wants explicit criteria for one-qubit cases will find it directly applicable. The thinking is honest and the approach is direct. It deserves peer review to verify the reduction step and confirm the final conditions cover all cases without gaps. Recommendation: yes, send it out for review.

Referee Report

2 major / 2 minor

Summary. The manuscript claims to solve the general problem of determining the existence of Bayesian inverses for unital qubit channels, which characterize operational time-reversal symmetry for sequential measurements on open quantum systems. The central technical step is a reduction showing that the problem for arbitrary unital channels reduces to the case of Pauli channels (mixtures of Pauli unitaries), yielding an explicit characterization of the reference states ρ for which such inverses exist.

Significance. If the reduction and its invariance properties are rigorously established, the result would provide a complete, explicit solution for the single-qubit unital case. This is significant because unital channels model common noise processes, and concrete conditions for Bayesian inverses could inform the design of time-symmetric quantum information protocols and clarify the relationship between Petz recovery and operational time reversal.

major comments (2)

[reduction to Pauli channels] The reduction argument (presented as the streamlining step that maps any unital qubit channel to a Pauli channel via unitary conjugation) is load-bearing for the complete characterization. The defining correlation equality between the forward channel, reference state ρ, and Bayesian inverse must be shown to be invariant under this conjugation; without an explicit verification that existence for (ℰ, ρ) is equivalent to existence for (ℰ', ρ'), the claim that the general case reduces without loss of relevant properties remains unconfirmed.
[characterization of Bayesian inverses] The abstract states that the reduction preserves the existence question, but the manuscript must supply the explicit conditions on ρ' after conjugation and confirm that no additional constraints arise from the change of basis. This is necessary to ensure the final description of attainable time-reversal symmetry is free of gaps for arbitrary initial states.

minor comments (2)

[introduction] Notation for the reference state ρ and the correlation equality should be introduced with a self-contained definition early in the text, rather than assuming familiarity with prior Bayesian-inverse literature.
[discussion] A brief comparison table or paragraph contrasting the obtained conditions with the Petz recovery map would improve clarity, especially since the abstract mentions the Petz map as a related construction.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for identifying points that can strengthen the presentation of the reduction to Pauli channels. We address each major comment below and commit to revisions that make the invariance properties fully explicit.

read point-by-point responses

Referee: [reduction to Pauli channels] The reduction argument (presented as the streamlining step that maps any unital qubit channel to a Pauli channel via unitary conjugation) is load-bearing for the complete characterization. The defining correlation equality between the forward channel, reference state ρ, and Bayesian inverse must be shown to be invariant under this conjugation; without an explicit verification that existence for (ℰ, ρ) is equivalent to existence for (ℰ', ρ'), the claim that the general case reduces without loss of relevant properties remains unconfirmed.

Authors: We agree that an explicit verification of invariance strengthens the argument. The equivalence follows from the fact that unitary conjugation preserves the trace and the algebraic structure of the correlation equality: if ℰ' = Ad_U ∘ ℰ and ρ' = U ρ U†, then substituting into Tr[(ℰ(ρ) ⊗ I)(A ⊗ B)] = Tr[(ρ ⊗ I)(A ⊗ ℱ(B))] yields the corresponding equality for (ℰ', ρ') after cyclic permutation of the trace and the relation ℱ' = Ad_{U†} ∘ ℱ. This is used in the proof of Theorem 3.1, but we will add a dedicated lemma immediately after the reduction statement that spells out the transformation step by step and states the if-and-only-if equivalence of existence. revision: yes
Referee: [characterization of Bayesian inverses] The abstract states that the reduction preserves the existence question, but the manuscript must supply the explicit conditions on ρ' after conjugation and confirm that no additional constraints arise from the change of basis. This is necessary to ensure the final description of attainable time-reversal symmetry is free of gaps for arbitrary initial states.

Authors: We accept the suggestion to make the post-conjugation conditions fully explicit. After the reduction, the reference state becomes ρ' whose Bloch vector is the rotated version of that of ρ. Theorem 4.2 then gives the precise inequalities on the components of this Bloch vector that guarantee existence of the Bayesian inverse for the Pauli channel. Because the conjugation is a unitary change of basis, the conditions for the original ρ are recovered by applying the inverse rotation; no further restrictions are introduced. We will insert a short remark following Theorem 4.2 that states the conditions on ρ' explicitly and confirms that the change of basis adds no extra constraints. revision: yes

Circularity Check

0 steps flagged

No significant circularity; reduction to Pauli channels is a claimed mathematical demonstration, not a definitional or fitted equivalence

full rationale

The paper's central result is a complete characterization of Bayesian-inverse existence for unital qubit channels, obtained by reducing the general case to Pauli channels. The abstract presents this reduction as a streamlining demonstration derived from the definitions of unital channels and Bayesian inverses with respect to a reference state ρ. No load-bearing step reduces by construction to its own inputs: there are no self-definitional loops (e.g., defining the inverse via the same correlation it is supposed to satisfy), no fitted parameters renamed as predictions, and no uniqueness theorems imported solely via self-citation. The derivation chain remains self-contained against the external definitions of unital maps and Bayesian inverses; the reduction is asserted to preserve the relevant existence question, and nothing in the text forces the final characterization to be equivalent to the input assumptions by tautology.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The work rests on the standard definition of quantum channels and the Bayesian inverse with respect to a reference state; no new free parameters, ad-hoc axioms, or invented entities are introduced in the abstract.

axioms (2)

standard math Quantum channels are completely positive trace-preserving maps.
This is the foundational definition used to define unital channels and their inverses.
domain assumption The Bayesian inverse is defined relative to a fiducial reference state rho.
This is the standard operational definition invoked throughout the abstract.

pith-pipeline@v0.9.0 · 5514 in / 1316 out tokens · 71027 ms · 2026-05-12T04:59:45.071347+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/ArrowOfTime.lean arrow_from_z unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Our analysis is streamlined by demonstrating that finding a Bayesian inverse for a unital qubit channel may be reduced to finding a Bayesian inverse of a Pauli channel... Proposition 1. Suppose N and E are unitarily equivalent... Then F is a Bayesian inverse of E w.r.t. ρ iff M is a Bayesian inverse of N w.r.t. σ=V†(ρ)
IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

The unscathed condition (4) is a sufficient condition for the existence of a Bayesian inverse... Theorem 1. ... P†=P is a Bayesian inverse of P w.r.t. ρ iff ρ is unscathed w.r.t. P

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

17 extracted references · 17 canonical work pages

[1]

From time- reversal symmetry to quantum Bayes’ rules,

Arthur J. Parzygnat and James Fullwood, “From time- reversal symmetry to quantum Bayes’ rules,” PRX Quantum4, 020334 (2023), arXiv:2212.08088 [quant-ph]

work page arXiv 2023
[2]

Sufficiency of channels over von Neumann algebras,

D´ enes Petz, “Sufficiency of channels over von Neumann algebras,” Q. J. Math.39, 97–108 (1988)

work page 1988
[3]

Fluctuation theorems from Bayesian retrodiction,

Francesco Buscemi and Valerio Scarani, “Fluctuation theorems from Bayesian retrodiction,” Phys. Rev. E103, 052111 (2021), arXiv:2009.02849 [quant-ph]

work page arXiv 2021
[4]

Axioms for retrodiction: achieving time-reversal symmetry with a prior,

Arthur J. Parzygnat and Francesco Buscemi, “Axioms for retrodiction: achieving time-reversal symmetry with a prior,” Quantum7, 1013 (2023), arXiv:2210.13531 [quant-ph]

work page arXiv 2023
[5]

Quantum Bayesian inference in quasiprobability representations,

Aw Clive Cenxin, Kelvin Onggadinata, Dagomir Kaszlikowski, and Valerio Scarani, “Quantum Bayesian inference in quasiprobability representations,” PRX Quantum4, 020352 (2023)

work page 2023
[6]

Time- Symmetric Correlations for Open Quantum Systems,

Arthur J. Parzygnat and James Fullwood, “Time- Symmetric Correlations for Open Quantum Systems,” Annalen Phys.537, e00221 (2025), arXiv:2407.11123 [quant-ph]

work page arXiv 2025
[7]

Linear transformations which preserve trace and positive semidefiniteness of operators,

Andrzej Jamio lkowski, “Linear transformations which preserve trace and positive semidefiniteness of operators,” Rep. Math. Phys.3, 275–278 (1972)

work page 1972
[8]

Quantum correlations which imply causation,

Joseph F. Fitzsimons, Jonathan A. Jones, and Vlatko Vedral, “Quantum correlations which imply causation,” Sci. Rep.5, 18281 (2015), arXiv:1302.2731 [quant-ph]

work page arXiv 2015
[9]

Inferring the arrow of time in quantum spatiotemporal correlations,

Xiangjing Liu, Qian Chen, and Oscar Dahlsten, “Inferring the arrow of time in quantum spatiotemporal correlations,” Physical Review A109(2024), 10.1103/physreva.109.032219

work page doi:10.1103/physreva.109.032219 2024
[10]

Can a quantum state over time resemble a quantum state at a single time?

Dominic Horsman, Chris Heunen, Matthew F. Pusey, Jonathan Barrett, and Robert W. Spekkens, “Can a quantum state over time resemble a quantum state at a single time?” Proc. R. Soc. A473, 20170395 (2017), arXiv:1607.03637 [quant-ph]

work page arXiv 2017
[11]

On quantum states over time,

James Fullwood and Arthur J. Parzygnat, “On quantum states over time,” Proc. R. Soc. A478(2022), 10.1098/rspa.2022.0104, arXiv:2202.03607 [quant-ph]

work page doi:10.1098/rspa.2022.0104 2022
[12]

Quantum state over time is unique,

Seok Hyung Lie and Nelly H. Y. Ng, “Quantum state over time is unique,” Phys. Rev. Res.6, 033144 (2024), arXiv:2308.12752 [quant-ph]

work page arXiv 2024
[13]

An analysis of completely-positive trace- preserving maps onM 2,

Mary Beth Ruskai, Stanislaw Szarek, and Elisabeth Werner, “An analysis of completely-positive trace- preserving maps onM 2,” Linear Algebra Its Appl.347, 159–187 (2002)

work page 2002
[14]

Nielsen and Isaac L

Michael A. Nielsen and Isaac L. Chuang,Quantum computation and quantum information, 10th ed. (Cambridge University Press, Cambridge, 2011) pp. xxvi+676

work page 2011
[15]

One-to-one parametrization of quantum channels,

Akio Fujiwara and Paul Algoet, “One-to-one parametrization of quantum channels,” Phys. Rev. A59, 3290–3294 (1999)

work page 1999
[16]

Entangled bloch spheres: Bloch matrix and two-qubit state space,

Omar Gamel, “Entangled bloch spheres: Bloch matrix and two-qubit state space,” Physical Review A , 062320 (2016)

work page 2016
[17]

Quantum cryptography: Public key distribution and coin tossing,

Charles H. Bennett and Gilles Brassard, “Quantum cryptography: Public key distribution and coin tossing,” Theoretical Computer Science560, 7–11 (2014), theoretical Aspects of Quantum Cryptography – celebrating 30 years of BB84

work page 2014

[1] [1]

From time- reversal symmetry to quantum Bayes’ rules,

Arthur J. Parzygnat and James Fullwood, “From time- reversal symmetry to quantum Bayes’ rules,” PRX Quantum4, 020334 (2023), arXiv:2212.08088 [quant-ph]

work page arXiv 2023

[2] [2]

Sufficiency of channels over von Neumann algebras,

D´ enes Petz, “Sufficiency of channels over von Neumann algebras,” Q. J. Math.39, 97–108 (1988)

work page 1988

[3] [3]

Fluctuation theorems from Bayesian retrodiction,

Francesco Buscemi and Valerio Scarani, “Fluctuation theorems from Bayesian retrodiction,” Phys. Rev. E103, 052111 (2021), arXiv:2009.02849 [quant-ph]

work page arXiv 2021

[4] [4]

Axioms for retrodiction: achieving time-reversal symmetry with a prior,

Arthur J. Parzygnat and Francesco Buscemi, “Axioms for retrodiction: achieving time-reversal symmetry with a prior,” Quantum7, 1013 (2023), arXiv:2210.13531 [quant-ph]

work page arXiv 2023

[5] [5]

Quantum Bayesian inference in quasiprobability representations,

Aw Clive Cenxin, Kelvin Onggadinata, Dagomir Kaszlikowski, and Valerio Scarani, “Quantum Bayesian inference in quasiprobability representations,” PRX Quantum4, 020352 (2023)

work page 2023

[6] [6]

Time- Symmetric Correlations for Open Quantum Systems,

Arthur J. Parzygnat and James Fullwood, “Time- Symmetric Correlations for Open Quantum Systems,” Annalen Phys.537, e00221 (2025), arXiv:2407.11123 [quant-ph]

work page arXiv 2025

[7] [7]

Linear transformations which preserve trace and positive semidefiniteness of operators,

Andrzej Jamio lkowski, “Linear transformations which preserve trace and positive semidefiniteness of operators,” Rep. Math. Phys.3, 275–278 (1972)

work page 1972

[8] [8]

Quantum correlations which imply causation,

Joseph F. Fitzsimons, Jonathan A. Jones, and Vlatko Vedral, “Quantum correlations which imply causation,” Sci. Rep.5, 18281 (2015), arXiv:1302.2731 [quant-ph]

work page arXiv 2015

[9] [9]

Inferring the arrow of time in quantum spatiotemporal correlations,

Xiangjing Liu, Qian Chen, and Oscar Dahlsten, “Inferring the arrow of time in quantum spatiotemporal correlations,” Physical Review A109(2024), 10.1103/physreva.109.032219

work page doi:10.1103/physreva.109.032219 2024

[10] [10]

Can a quantum state over time resemble a quantum state at a single time?

Dominic Horsman, Chris Heunen, Matthew F. Pusey, Jonathan Barrett, and Robert W. Spekkens, “Can a quantum state over time resemble a quantum state at a single time?” Proc. R. Soc. A473, 20170395 (2017), arXiv:1607.03637 [quant-ph]

work page arXiv 2017

[11] [11]

On quantum states over time,

James Fullwood and Arthur J. Parzygnat, “On quantum states over time,” Proc. R. Soc. A478(2022), 10.1098/rspa.2022.0104, arXiv:2202.03607 [quant-ph]

work page doi:10.1098/rspa.2022.0104 2022

[12] [12]

Quantum state over time is unique,

Seok Hyung Lie and Nelly H. Y. Ng, “Quantum state over time is unique,” Phys. Rev. Res.6, 033144 (2024), arXiv:2308.12752 [quant-ph]

work page arXiv 2024

[13] [13]

An analysis of completely-positive trace- preserving maps onM 2,

Mary Beth Ruskai, Stanislaw Szarek, and Elisabeth Werner, “An analysis of completely-positive trace- preserving maps onM 2,” Linear Algebra Its Appl.347, 159–187 (2002)

work page 2002

[14] [14]

Nielsen and Isaac L

Michael A. Nielsen and Isaac L. Chuang,Quantum computation and quantum information, 10th ed. (Cambridge University Press, Cambridge, 2011) pp. xxvi+676

work page 2011

[15] [15]

One-to-one parametrization of quantum channels,

Akio Fujiwara and Paul Algoet, “One-to-one parametrization of quantum channels,” Phys. Rev. A59, 3290–3294 (1999)

work page 1999

[16] [16]

Entangled bloch spheres: Bloch matrix and two-qubit state space,

Omar Gamel, “Entangled bloch spheres: Bloch matrix and two-qubit state space,” Physical Review A , 062320 (2016)

work page 2016

[17] [17]

Quantum cryptography: Public key distribution and coin tossing,

Charles H. Bennett and Gilles Brassard, “Quantum cryptography: Public key distribution and coin tossing,” Theoretical Computer Science560, 7–11 (2014), theoretical Aspects of Quantum Cryptography – celebrating 30 years of BB84

work page 2014