Reducibility Theory and Ergodic Theorems for Ergodic Quantum Processes

Jeffrey Schenker; Owen Ekblad

arxiv: 2406.10982 · v2 · submitted 2024-06-16 · 🪐 quant-ph · math-ph· math.MP

Reducibility Theory and Ergodic Theorems for Ergodic Quantum Processes

Owen Ekblad , Jeffrey Schenker This is my paper

Pith reviewed 2026-05-24 00:22 UTC · model grok-4.3

classification 🪐 quant-ph math-phmath.MP

keywords ergodic quantum processesquantum channelsPerron-Frobenius theoryrandom productsergodic theoremsirreducibilitystationary processes

0 comments

The pith

A Perron-Frobenius-type theory for products of random quantum channels holds when the generating process is stationary and ergodic.

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

The paper constructs a unifying framework for sequences of quantum channels drawn from any stationary ergodic stochastic process. It supplies multiple characterizations of irreducibility for these sequences and shows that each yields corresponding ergodic theorems on the long-term behavior of their products. The same framework recovers known results for i.i.d., Markov, periodic, and quasiperiodic cases as special instances. A reader would care because the approach supplies a single set of tools that applies across many models of random quantum evolution instead of treating each model separately.

Core claim

For products of random quantum channels sampled from a stationary ergodic process, irreducibility admits several equivalent characterizations; each characterization implies a general ergodic theorem asserting convergence of the products, and the theory specializes to give refined statements in the i.i.d. case.

What carries the argument

Ergodic quantum processes, defined as sequences of quantum channels drawn from a stationary and ergodic stochastic process, which carry the Perron-Frobenius-type irreducibility conditions and convergence results.

Load-bearing premise

The sequence of quantum channels must be generated by a stationary and ergodic stochastic process.

What would settle it

An explicit stationary ergodic process together with an irreducible sequence of channels for which the products fail to converge to a unique limit.

read the original abstract

We develop a Perron-Frobenius type theory for products of random quantum channels acting on finite-dimensional matrix algebras sampled from a stationary and ergodic stochastic process, which, in keeping with the literature, we call ergodic quantum processes. This serves as a unifying framework for many models, including i.i.d., Markovian, periodic, and quasiperiodic models. We establish various characterizations of irreducibility, from which we recover a number of general ergodic theorems. We then analyze some specific examples, and, in particular, give a refinement of our theory in the i.i.d. case.

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 sets up a Perron-Frobenius framework for products of quantum channels from stationary ergodic processes and recovers convergence results as special cases.

read the letter

The main advance is a general reducibility theory that treats products of random quantum channels drawn from any stationary ergodic process on finite-dimensional matrix algebras. It unifies the i.i.d., Markov, periodic, and quasiperiodic settings by giving irreducibility characterizations and then applying standard ergodic theorems to get convergence. The i.i.d. refinement at the end is a concrete addition that may tighten conditions in that case. The setup is clean and the logic follows directly from the ergodicity assumption without hidden steps. The stationarity-plus-ergodicity hypothesis is stated plainly as the enabling condition, which is fair. No circularity shows up in the structure. The main limitation is that the abstract and claim level leave the sharpness of the new characterizations unclear; whether they are strictly weaker than existing conditions or just rephrased needs the proofs and examples to settle. Citation overlap with prior random-channel work also needs checking to confirm the unification is genuinely broader. This is aimed at researchers who already work on long-time behavior of open quantum systems or random quantum maps. Someone who knows the i.i.d. results but wants a single set of tools for non-i.i.d. ergodic driving would get the most out of it. The paper shows clear thinking and honest engagement with the literature, so it deserves a serious referee even if the proofs turn out to need tightening.

Referee Report

0 major / 3 minor

Summary. The manuscript develops a Perron-Frobenius-type reducibility theory and associated ergodic theorems for products of random quantum channels acting on finite-dimensional matrix algebras, where the channels are sampled from a stationary and ergodic stochastic process (termed an ergodic quantum process). It provides characterizations of irreducibility that unify i.i.d., Markovian, periodic, and quasiperiodic models, recovers general ergodic theorems from these characterizations, analyzes specific examples, and refines the theory in the i.i.d. case.

Significance. If the characterizations and theorems hold, the work supplies a unifying framework that transfers standard ergodic-theory convergence results to the quantum-channel setting under explicit stationarity-plus-ergodicity assumptions. This extends classical Perron-Frobenius ideas to random products of completely positive trace-preserving maps and could serve as a reference for models in quantum information and open-system dynamics.

minor comments (3)

The abstract and introduction should explicitly state the dimension of the matrix algebras and whether the results require finite dimensionality throughout or only for the algebra on which the channels act.
Notation for the stochastic process (e.g., the probability space, the shift, and the channel-valued random variable) should be introduced once in a dedicated preliminary section and used consistently thereafter.
The i.i.d. refinement section would benefit from a direct comparison table or statement showing how the general ergodic theorems specialize when the process is i.i.d., including any simplifications in the irreducibility criteria.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the careful reading, positive assessment of the work, and recommendation of minor revision. The report provides no specific major comments to address.

Circularity Check

0 steps flagged

No significant circularity; derivation is self-contained

full rationale

The paper assumes a stationary ergodic stochastic process as input (standard in ergodic theory) and develops irreducibility characterizations to recover convergence theorems for products of quantum channels. This is a direct application of existing ergodic tools to the quantum setting, unifying known models without any reduction of outputs to fitted parameters, self-definitions, or load-bearing self-citations. The abstract and claim structure show an independent mathematical construction.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claim rests on the domain assumption that the channel sequence is generated by a stationary ergodic process; no free parameters or invented entities are visible in the abstract.

axioms (1)

domain assumption The stochastic process generating the quantum channels is stationary and ergodic.
Explicitly stated in the abstract as the setting that enables the Perron-Frobenius-type theory and ergodic theorems.

pith-pipeline@v0.9.0 · 5625 in / 1187 out tokens · 18210 ms · 2026-05-24T00:22:22.683331+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/RealityFromDistinction.lean reality_from_one_distinction unclear

?

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

We develop a Perron-Frobenius type theory for products of random quantum channels... characterizations of irreducibility... ergodic theorems... recurrent projection Pr = proj(E(I))
IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

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

Theorem 1... minimal reducing projection... unique stationary state ρeq... Cesàro mean convergence

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.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

Periodicity in Ergodic Quantum Processes
math-ph 2026-04 unverdicted novelty 5.0

Periodic properties of quantum channel sequences from ergodic processes are related to global spectral data via a Perron-Frobenius-type theorem.

Reference graph

Works this paper leans on

3 extracted references · 3 canonical work pages · cited by 1 Pith paper

[1]

Ergodic quantum processes on ﬁn ite von Neumann algebras

DOI: 10.1007/s00440-010-0323-6 . [NR24] B. Nelson and E. B. Roon. “Ergodic quantum processes on ﬁn ite von Neumann algebras”. In: Journal of Functional Analysis 287.4 (2024), p. 110485. issn: 0022-1236. DOI: https:// doi.org/10.1016/j.jfa.2024.110485. [Per07] O. Perron. “Zur Theorie der Matrices”. In: Mathematische Annalen 64 (1907), pp. 248– 263. [Pet38]...

work page doi:10.1007/s00440-010-0323-6 2024
[2]

Large Deviation for Disorder d, Repeated Quantum Mea- surements

DOI: 10.1063/5.0153483. [RR02] R. A. Ryan and R. a Ryan. Introduction to tensor products of Banach spaces . Vol. 73. Springer, 2002. isbn: 1852334371. [RS] R. Raqu´ epas and J. Schenker. “Large Deviation for Disorder d, Repeated Quantum Mea- surements”. [San+10] M. Sanz et al. “A Quantum Version of Wielandt’s Inequality”. In: IEEE Transactions on Informat...

work page doi:10.1063/5.0153483 2002
[3]

Quantum computation and quantum- state engineering driven by dissipation

isbn: 978-1-4612-7155-0. DOI: https://doi.org/10.1007/978-1-4612-1468-7 . [SZ20] S.-V. Stratila and L. Zsido. Lectures on von Neumann Algebras . Cambridge University Press, Oct. 2020. isbn: 9781108496841. DOI: 10.1017/9781108654975. [VO15] M. Viana and K. Oliveira. Foundations of Ergodic Theory . Cambridge University Press, Nov. 2015. isbn: 9781107126961....

work page doi:10.1007/978-1-4612-1468-7 2020

[1] [1]

Ergodic quantum processes on ﬁn ite von Neumann algebras

DOI: 10.1007/s00440-010-0323-6 . [NR24] B. Nelson and E. B. Roon. “Ergodic quantum processes on ﬁn ite von Neumann algebras”. In: Journal of Functional Analysis 287.4 (2024), p. 110485. issn: 0022-1236. DOI: https:// doi.org/10.1016/j.jfa.2024.110485. [Per07] O. Perron. “Zur Theorie der Matrices”. In: Mathematische Annalen 64 (1907), pp. 248– 263. [Pet38]...

work page doi:10.1007/s00440-010-0323-6 2024

[2] [2]

Large Deviation for Disorder d, Repeated Quantum Mea- surements

DOI: 10.1063/5.0153483. [RR02] R. A. Ryan and R. a Ryan. Introduction to tensor products of Banach spaces . Vol. 73. Springer, 2002. isbn: 1852334371. [RS] R. Raqu´ epas and J. Schenker. “Large Deviation for Disorder d, Repeated Quantum Mea- surements”. [San+10] M. Sanz et al. “A Quantum Version of Wielandt’s Inequality”. In: IEEE Transactions on Informat...

work page doi:10.1063/5.0153483 2002

[3] [3]

Quantum computation and quantum- state engineering driven by dissipation

isbn: 978-1-4612-7155-0. DOI: https://doi.org/10.1007/978-1-4612-1468-7 . [SZ20] S.-V. Stratila and L. Zsido. Lectures on von Neumann Algebras . Cambridge University Press, Oct. 2020. isbn: 9781108496841. DOI: 10.1017/9781108654975. [VO15] M. Viana and K. Oliveira. Foundations of Ergodic Theory . Cambridge University Press, Nov. 2015. isbn: 9781107126961....

work page doi:10.1007/978-1-4612-1468-7 2020