Composing Quantum Instruments

Alex Rice; Dominik Leichtle; Kim Worrall; Robert I. Booth

arxiv: 2606.28291 · v1 · pith:6IYSYFBUnew · submitted 2026-06-26 · 🪐 quant-ph · cs.LO· math-ph· math.CT· math.MP· math.OA

Composing Quantum Instruments

Robert I. Booth , Dominik Leichtle , Alex Rice , Kim Worrall This is my paper

Pith reviewed 2026-06-29 03:04 UTC · model grok-4.3

classification 🪐 quant-ph cs.LOmath-phmath.CTmath.MPmath.OA

keywords quantum instrumentscompositionmonadKleisli categoryquantum Markov kernelsvon Neumann tensor productnormal extensionHeisenberg picture

0 comments

The pith

An integral of channel-valued functions composes quantum instruments with continuous outcomes.

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

The paper defines composition of quantum instruments by integrating one against another when outcome spaces are continuous. This is achieved in the Heisenberg picture by extending the tensor product normally via the Okamura-Ozawa construction. The resulting operation recovers the familiar finite formula, keeps normal complete positivity and subunitality, and supplies the multiplication of a monad on instruments. The category of quantum Markov kernels is then identified as the Kleisli category of that monad.

Core claim

The composition of classically-controlled quantum instruments is realized by an integral of channel-valued functions constructed via the Okamura-Ozawa normal extension to the von Neumann tensor product; this integral preserves the required positivity and subunitality properties and equips the instruments with monad structure whose Kleisli category coincides with the category of quantum Markov kernels.

What carries the argument

The integral of quantum channel-valued functions with respect to a quantum instrument, obtained from the Okamura-Ozawa normal extension of the von Neumann tensor product and serving as monad multiplication.

Load-bearing premise

The Okamura-Ozawa normal extension to the von Neumann tensor product exists and interacts with the instrument so that the integral is well-defined, completely positive, and subunital for arbitrary continuous outcome spaces.

What would settle it

An explicit continuous-outcome instrument pair for which the constructed integral is not normal completely positive, or fails to reproduce the standard finite-sum composition when the outcome space is discretized, would falsify the construction.

read the original abstract

We study the composition of classically-controlled quantum instruments--the natural quantum analogue of Markov kernels. Classically, Markov kernels compose by integrating one kernel against another. Defining this composition for quantum instruments with continuous outcomes requires an integral of quantum channel-valued functions with respect to a quantum instrument. We construct this integral in the Heisenberg picture using the Okamura-Ozawa normal extension to a von Neumann tensor product. This integral recovers the expected finite formula, preserves normal complete positivity and subunitality, and provides the multiplication for a monad governing the composition of quantum instruments. As an immediate consequence, we identify the category of quantum Markov kernels as the Kleisli category of this monad.

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 supplies a workable integral for composing continuous-outcome quantum instruments via the Okamura-Ozawa extension, yielding a monad whose Kleisli category matches quantum Markov kernels.

read the letter

The new piece is the explicit integral of channel-valued functions against a quantum instrument with continuous outcomes, built in the Heisenberg picture by extending the instrument normally to a von Neumann tensor product. It recovers the finite-sum formula, keeps normal complete positivity and subunitality, and supplies the monad multiplication. That immediately gives the identification of quantum Markov kernels as the Kleisli category.

The construction looks technically careful on the points it addresses. The choice to work in the Heisenberg picture and to invoke the Okamura-Ozawa extension is reasonable for handling the continuous case, and the abstract states the preservation properties cleanly.

The remaining question is whether the extension produces a well-defined integral for arbitrary continuous outcome spaces without hidden regularity assumptions on the instrument or the measure space. The stress-test note correctly flags this interaction as the least-secured step; if the full text only asserts the properties without additional measurability hypotheses or explicit verification for non-discrete cases, the generality claim would need tightening. No other load-bearing gaps are visible from the given material.

This is the kind of targeted categorical result that belongs in a foundations or quantum-information category-theory venue. A reader already working on monads for instruments or on quantum Markov kernels will get direct value; others will find it narrow. It is coherent on its own terms and deserves a serious referee rather than a desk reject.

Referee Report

2 major / 1 minor

Summary. The paper constructs an integral of channel-valued functions with respect to a quantum instrument (in the Heisenberg picture) via the Okamura-Ozawa normal extension to a von Neumann tensor product. This integral is asserted to recover the expected finite-outcome formula, to preserve normal complete positivity and subunitality, to supply the multiplication of a monad on the category of quantum instruments, and thereby to identify the category of quantum Markov kernels with the Kleisli category of that monad.

Significance. If the construction is rigorously verified, the result supplies a categorical account of composition for quantum instruments with continuous outcome spaces, directly analogous to the classical theory of Markov kernels. The monadic formulation and the explicit identification of the Kleisli category would constitute a useful organizing principle for quantum probability and for the study of classically controlled quantum processes.

major comments (2)

[Abstract (and presumably §3–4 where the integral is defined)] The central claim that the Okamura-Ozawa normal extension yields a well-defined integral preserving normal complete positivity and subunitality for arbitrary continuous outcome spaces is load-bearing for both the monad construction and the Kleisli identification, yet the provided text supplies no explicit derivation, measurability hypotheses, or verification that the extension interacts correctly with an arbitrary instrument-valued integrand.
[Abstract] Recovery of the finite formula is stated but not demonstrated by direct comparison with the known discrete composition rule; an explicit check (e.g., when the outcome space is finite and the instrument is a POVM) is required to confirm that the general construction is consistent rather than merely asserted.

minor comments (1)

Notation for the von Neumann tensor product and the normal extension should be introduced with a brief reminder of the relevant definitions from Okamura-Ozawa to aid readers unfamiliar with the reference.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their careful reading and constructive comments on the manuscript. The points raised identify areas where additional detail will strengthen the exposition. We respond to each major comment below.

read point-by-point responses

Referee: [Abstract (and presumably §3–4 where the integral is defined)] The central claim that the Okamura-Ozawa normal extension yields a well-defined integral preserving normal complete positivity and subunitality for arbitrary continuous outcome spaces is load-bearing for both the monad construction and the Kleisli identification, yet the provided text supplies no explicit derivation, measurability hypotheses, or verification that the extension interacts correctly with an arbitrary instrument-valued integrand.

Authors: We agree that the current presentation would benefit from greater explicitness. In the revised manuscript we will expand §§3–4 to supply the full derivation of the integral via the Okamura-Ozawa normal extension, state the required measurability hypotheses on the integrand, and verify preservation of normal complete positivity and subunitality together with the correct interaction with instrument-valued functions. revision: yes
Referee: [Abstract] Recovery of the finite formula is stated but not demonstrated by direct comparison with the known discrete composition rule; an explicit check (e.g., when the outcome space is finite and the instrument is a POVM) is required to confirm that the general construction is consistent rather than merely asserted.

Authors: We accept that an explicit consistency check is needed. The revised version will contain a new proposition that directly compares the general integral with the standard discrete composition rule, including the special case in which the outcome space is finite and the instrument is given by a POVM. revision: yes

Circularity Check

0 steps flagged

No circularity: construction is an external definition that recovers known cases

full rationale

The paper defines the integral of channel-valued functions via the Okamura-Ozawa normal extension (an external cited construction) to the von Neumann tensor product in the Heisenberg picture. It then verifies that this definition recovers the finite-outcome formula, preserves normal complete positivity and subunitality, and induces a monad whose Kleisli category is the category of quantum Markov kernels. None of these steps reduce by construction to the paper's own inputs, fitted parameters, or self-citations; the central claim is the well-definedness of the extension-based integral for continuous spaces, which is presented as a theorem rather than an identity. The derivation is therefore self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The construction relies on the existence and properties of the Okamura-Ozawa normal extension and on the structure of von Neumann algebras and their tensor products; these are treated as background from prior literature rather than new postulates introduced here.

axioms (2)

domain assumption The Okamura-Ozawa normal extension exists and can be applied to the relevant von Neumann tensor product of algebras arising from quantum instruments.
Invoked to define the integral in the Heisenberg picture.
domain assumption The resulting integral preserves normal complete positivity and subunitality.
Stated as a property the construction must satisfy.

pith-pipeline@v0.9.1-grok · 5650 in / 1439 out tokens · 40336 ms · 2026-06-29T03:04:10.886451+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

3 extracted references · 1 canonical work pages

[1]

Parameterised notions of computation

[Atk09] Robert Atkey. “Parameterised notions of computation”. In:Journal of functional programming19.3-4 (2009), pp. 335–376. [Cho16] Kenta Cho. “Semantics for a quantum programming language by operator algebras”. In:New Generation Computing34.1 (2016), pp. 25–68. [DL70] E Brian Davies and John T Lewis. “An operational approach to quantum probability”. In...

Pith/arXiv arXiv 2009
[2]

A categorical approach to probability theory

[Gir82] Mich` ele Giry. “A categorical approach to probability theory”. In:Categorical Aspects of Topology and Analysis. Ed. by B. Banaschewski. Berlin, Heidelberg: Springer Berlin Heidelberg, 1982, pp. 68–85. [Hel06] A. Ya. Helemskii.Lectures and exercises on functional analysis. Trans. by S. Akbarov. Vol

1982
[3]

Notions of computation and monads

[Mog91] Eugenio Moggi. “Notions of computation and monads”. In:Information and computation93.1 (1991), pp. 55–92. [OO15] Kazuya Okamura and Masanao Ozawa. “Measurement theory in local quantum physics”. In:Journal of Mathematical Physics57.1 (Nov. 19, 2015), p. 015209.doi:10.1063/1.4935407. [Sak12] Shˆ oichirˆ o Sakai.C*-algebras and W*-algebras. Classics ...

work page doi:10.1063/1.4935407 1991

[1] [1]

Parameterised notions of computation

[Atk09] Robert Atkey. “Parameterised notions of computation”. In:Journal of functional programming19.3-4 (2009), pp. 335–376. [Cho16] Kenta Cho. “Semantics for a quantum programming language by operator algebras”. In:New Generation Computing34.1 (2016), pp. 25–68. [DL70] E Brian Davies and John T Lewis. “An operational approach to quantum probability”. In...

Pith/arXiv arXiv 2009

[2] [2]

A categorical approach to probability theory

[Gir82] Mich` ele Giry. “A categorical approach to probability theory”. In:Categorical Aspects of Topology and Analysis. Ed. by B. Banaschewski. Berlin, Heidelberg: Springer Berlin Heidelberg, 1982, pp. 68–85. [Hel06] A. Ya. Helemskii.Lectures and exercises on functional analysis. Trans. by S. Akbarov. Vol

1982

[3] [3]

Notions of computation and monads

[Mog91] Eugenio Moggi. “Notions of computation and monads”. In:Information and computation93.1 (1991), pp. 55–92. [OO15] Kazuya Okamura and Masanao Ozawa. “Measurement theory in local quantum physics”. In:Journal of Mathematical Physics57.1 (Nov. 19, 2015), p. 015209.doi:10.1063/1.4935407. [Sak12] Shˆ oichirˆ o Sakai.C*-algebras and W*-algebras. Classics ...

work page doi:10.1063/1.4935407 1991