Composing Quantum Instruments
📄 arXiv:2606.28291 · 📥 PDF · 2026-06-26 · quant-ph
Authors: Robert I. Booth [arXiv · scholar] , Dominik Leichtle [arXiv · scholar] , Alex Rice [arXiv · scholar] , Kim Worrall [arXiv · scholar]
🕰 Orloj analysis
Tento článek zkoumá skládání klasicky řízených kvantových instrumentů, které jsou kvantovým analogem Markovových jader. Autoři konstruují integrál pro kvantové instrumenty s kontinuálními výstupy v Heisenbergově obraze, využívající Okamura-Ozawovo normální rozšíření, čímž získávají očekávaný konečný vzorec a identifikují kategorii kvantových Markovových jader.
💡 Práce přináší novou matematickou konstrukci integrálu pro kvantové instrumenty a kategorizaci, což je cenný příspěvek k teoretickým základům kvantové informace.
✓ limit_reductions, modest_claims
📄 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.