Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

arXiv:2302.12243

Dual Quantum Instruments and Sub-observables

Stanley Gudder

Published Feb 23, 2023• 0 citations
arXivHTMLPDF

Abstract

We introduce the concepts of dual instruments and sub-observables. We show that although a dual instruments measures a unique observable, it determines many sub-observables. We define a unique minimal extension of a sub-observable to an observable and consider sequential products and conditioning of sub-observables. Sub-observable effect algebras are characterized and studied. Moreover, the convexity of these effect algebras is considered. The sequential product of instruments is discussed. These concepts are illustrated with many examples of instruments. In particular, we discuss Lüders, Holero and constant state instruments. Various conjectures for future research are presented.

DOI
10.48550/arxiv.2302.12243

Related papers

Dual Instruments and Sequential Products of Observables

Stanley Gudder

We first show that every operation possesses an unique dual operation and measures an unique effect. If a and b are effects and J is an operation that measures a, we define the sequential product of a then b relative to J. Properties of the sequential product are derived and are illustrated in terms of Lüders and Holevo operations. We next extend this work to the theory of instruments and observables. We also define the concept of an instrument (observable) conditioned by another instrument (observable). Identity, state-constant and repeatable instruments are considered. Sequential products of finite observables relative to Lüders and Holevo instruments are studied. Quanta 2022; 11: 15–27.

arXiv:2208.07923•Quanta•Aug 30, 2022•3 citations

Finite Quantum Instruments

Stanley Gudder

This article considers quantum systems described by a finite-dimensional complex Hilbert space $H$. We first define the concept of a finite observable on $H$. We then discuss ways of combining observables in terms of convex combinations, post-processing and sequential products. We also define complementary and coexistent observables. We then introduce finite instruments and their related compatible observables. The previous combinations and relations for observables are extended to instruments and their properties are compared. We present four types of instruments; namely, identity, trivial, Lüders and Kraus instruments. These types are used to illustrate different ways that instruments can act. We next consider joint probabilities for observables and instruments. The article concludes with a discussion of measurement models and the instruments they measure.

arXiv:2005.13642•May 27, 2020•4 citations

Quantum Instruments and Conditioned Observables

Stanley Gudder

Observables and instruments have played significant roles in recent studies on the foundations of quantum mechanics. Sequential products of effects and conditioned observables have also been introduced. After an introduction in Section~1, we review these concepts in Section~2. Moreover, it is shown how these ideas can be unified within the framework of measurement models. In Section~3, we illustrate these concepts and their relationships for the simple example of a qubit Hilbert space. Conditioned observables and their distributions are studied in Section~4. Section~5 considers joint probabilities of observables. We introduce a definition for joint probabilities and discuss why we consider this to be superior to the standard definition.

arXiv:2005.08117•May 16, 2020•6 citations

Properties of Sequential Products

Stanley Gudder

Our basic concept is the set $\mathcal{E}(H)$ of effects on a finite dimensional complex Hilbert space $H$. If $a,b\in\mathcal{E}(H)$, we define the sequential product $a[\mathcal{I}]b$ of $a$ then $b$. The sequential product depends on the operation $\mathcal{I}$ used to measure $a$. We begin by studying the properties of this sequential product. It is observed that $b\mapsto a[\mathcal{I}]b$ is an additive, convex morphism and we show by examples that $a\mapsto a[\mathcal{I}]b$ enjoys very few conditions. This is because a measurement of $a$ can interfere with a later measurement of $b$. We study sequential products relative to Kraus, Lüders and Holevo operations and find properties that characterize these operations. We consider repeatable effects and conditions on $a[\mathcal{I}]b$ that imply commutativity. We introduce the concept of an effect $b$ given an effect $a$ and study its properties. We next extend the sequential product to observables and instruments and develop statistical properties of real-valued observables. This is accomplished by employing corresponding stochastic operators. Finally, we introduce an uncertainty principle for conditioned observables.

arXiv:2307.16327•Jul 30, 2023•0 citations

Quantum Channel Conditioning and Measurement Models

Stanley Gudder

If $H_1$ and $H_2$ are finite-dimensional Hilbert spaces, a channel from $H_1$ to $H_2$ is a completely positive, linear map $\mathcal{I}$ that takes the set of states $\mathcal{S}(H_1)$ for $H_1$ to the set of states $\mathcal{S}(H_2)$ for $H_2$. Corresponding to $\mathcal{I}$ there is a unique dual map $\mathcal{I}^*$ from the set of effects $\mathcal{E}(H_2)$ for $H_2$ to the set of effects $\mathcal{E}(H_1)$ for $H_1$. We call $\mathcal{I}^*(b)$ the effect $b$ conditioned by $\mathcal{I}$ and the set $\mathcal{I}^c = \mathcal{I}^*(\mathcal{E}(H_2))$ the conditioned set of $\mathcal{I}$. We point out that $\mathcal{I}^c$ is a convex subeffect algebra of the effect algebra $\mathcal{E}(H_1)$. We extend this definition to the conditioning $\mathcal{I}^*(B)$ for an observable $B$ on $H_2$ and say that an observable $A$ is in $\mathcal{I}^c$ if $A=\mathcal{I}^*(B)$ for some observable $B$. We show that $\mathcal{I}^c$ is closed under post-processing and taking parts. We also define the conditioning of instruments by channels. These concepts are illustrated using examples of Holevo instruments and channels. We next discuss measurement models and their corresponding observables and instruments. We show that calculations can be simplified by employing Kraus and Holevo separable channels. Such channels allow one to separate the components of a tensor product.

arXiv:2403.08126•Mar 12, 2024•0 citations

Multi-Observables and Multi-Instruments

Stanley Gudder

This article introduces the concepts of multi-observables and multi-instruments in quantum mechanics. A multi-observable $A$ (multi-instrument $\mathcal{I}$) has an outcome space of the form $Ω=Ω_1\times\cdots\timesΩ_n$ and is denoted by $A_{x_1\cdots x_n}$ ($\mathcal{I}_{x_1\cdots x_n}$) where $(x_1,\ldots ,x_n)\inΩ$. We also call $A$ ($\mathcal{I}$) an $n$-observable ($n$-instrument) and when $n=2$ we call $A$ ($\mathcal{I}$) a bi-observable (bi-instrument). We point out that bi-observables $A$ ($\mathcal{I}$) and bi-instruments have been considered in past literature, but the more general case appears to be new. In particular, two observables (instruments) have been defined to coexist or be compatible if they possess a joint bi-observable (bi-instrument). We extend this definition to $n$ observables and $n$ instruments by considering joint marginals of $n$-observables and joint reduced marginals of $n$-instruments. We show that a $n$-instrument measures a unique $n$-observable and if a finite umber of instruments coexist, then their measured observables coexist. We prove that there is a close relationship between a nontrivial $n$-observable and its parts. Moreover, a similar result holds for instruments. We next show that a natural definition for the tensor product of a finite number of instruments exist and possess reasonable properties. We then discuss sequential products of a finite number of observables and instruments. We present various examples such as Kraus, Holevo and Lüders instruments.

arXiv:2307.11223•Jul 20, 2023•0 citations
We introduce the concepts of dual instruments and sub-observables. We show that although a dual instruments measures a unique observable, it determines many sub-observables. We define a unique minimal extension of a sub-observable to an observable and consider sequential products and conditioning of sub-observables. Sub-observable effect algebras are characterized and studied. Moreover, the convexity of these effect algebras is considered. The sequential product of instruments is discussed. These concepts are illustrated with many examples of instruments. In particular, we discuss Lüders, Holero and constant state instruments. Various conjectures for future research are presented.
We first show that every operation possesses an unique dual operation and measures an unique effect. If a and b are effects and J is an operation that measures a, we define the sequential product of a then b relative to J. Properties of the sequential product are derived and are illustrated in terms of Lüders and Holevo operations. We next extend this work to the theory of instruments and observables. We also define the concept of an instrument (observable) conditioned by another instrument (observable). Identity, state-constant and repeatable instruments are considered. Sequential products of finite observables relative to Lüders and Holevo instruments are studied. Quanta 2022; 11: 15–27.
This article considers quantum systems described by a finite-dimensional complex Hilbert space HHH. We first define the concept of a finite observable on HHH. We then discuss ways of combining observables in terms of convex combinations, post-processing and sequential products. We also define complementary and coexistent observables. We then introduce finite instruments and their related compatible observables. The previous combinations and relations for observables are extended to instruments and their properties are compared. We present four types of instruments; namely, identity, trivial, Lüders and Kraus instruments. These types are used to illustrate different ways that instruments can act. We next consider joint probabilities for observables and instruments. The article concludes with a discussion of measurement models and the instruments they measure.
Observables and instruments have played significant roles in recent studies on the foundations of quantum mechanics. Sequential products of effects and conditioned observables have also been introduced. After an introduction in Section~1, we review these concepts in Section~2. Moreover, it is shown how these ideas can be unified within the framework of measurement models. In Section~3, we illustrate these concepts and their relationships for the simple example of a qubit Hilbert space. Conditioned observables and their distributions are studied in Section~4. Section~5 considers joint probabilities of observables. We introduce a definition for joint probabilities and discuss why we consider this to be superior to the standard definition.
Our basic concept is the set E(H)\mathcal{E}(H)E(H) of effects on a finite dimensional complex Hilbert space HHH. If a,b∈E(H)a,b\in\mathcal{E}(H)a,b∈E(H), we define the sequential product a[I]ba[\mathcal{I}]ba[I]b of aaa then bbb. The sequential product depends on the operation I\mathcal{I}I used to measure aaa. We begin by studying the properties of this sequential product. It is observed that b↦a[I]bb\mapsto a[\mathcal{I}]bb↦a[I]b is an additive, convex morphism and we show by examples that a↦a[I]ba\mapsto a[\mathcal{I}]ba↦a[I]b enjoys very few conditions. This is because a measurement of aaa can interfere with a later measurement of bbb. We study sequential products relative to Kraus, Lüders and Holevo operations and find properties that characterize these operations. We consider repeatable effects and conditions on a[I]ba[\mathcal{I}]ba[I]b that imply commutativity. We introduce the concept of an effect bbb given an effect aaa and study its properties. We next extend the sequential product to observables and instruments and develop statistical properties of real-valued observables. This is accomplished by employing corresponding stochastic operators. Finally, we introduce an uncertainty principle for conditioned observables.
If H1H_1H1​ and H2H_2H2​ are finite-dimensional Hilbert spaces, a channel from H1H_1H1​ to H2H_2H2​ is a completely positive, linear map I\mathcal{I}I that takes the set of states S(H1)\mathcal{S}(H_1)S(H1​) for H1H_1H1​ to the set of states S(H2)\mathcal{S}(H_2)S(H2​) for H2H_2H2​. Corresponding to I\mathcal{I}I there is a unique dual map I∗\mathcal{I}^*I∗ from the set of effects E(H2)\mathcal{E}(H_2)E(H2​) for H2H_2H2​ to the set of effects E(H1)\mathcal{E}(H_1)E(H1​) for H1H_1H1​. We call I∗(b)\mathcal{I}^*(b)I∗(b) the effect bbb conditioned by I\mathcal{I}I and the set Ic=I∗(E(H2))\mathcal{I}^c = \mathcal{I}^*(\mathcal{E}(H_2))Ic=I∗(E(H2​)) the conditioned set of I\mathcal{I}I. We point out that Ic\mathcal{I}^cIc is a convex subeffect algebra of the effect algebra E(H1)\mathcal{E}(H_1)E(H1​). We extend this definition to the conditioning I∗(B)\mathcal{I}^*(B)I∗(B) for an observable BBB on H2H_2H2​ and say that an observable AAA is in Ic\mathcal{I}^cIc if A=I∗(B)A=\mathcal{I}^*(B)A=I∗(B) for some observable BBB. We show that Ic\mathcal{I}^cIc is closed under post-processing and taking parts. We also define the conditioning of instruments by channels. These concepts are illustrated using examples of Holevo instruments and channels. We next discuss measurement models and their corresponding observables and instruments. We show that calculations can be simplified by employing Kraus and Holevo separable channels. Such channels allow one to separate the components of a tensor product.
This article introduces the concepts of multi-observables and multi-instruments in quantum mechanics. A multi-observable AAA (multi-instrument I\mathcal{I}I) has an outcome space of the form Ω=Ω1×⋯×ΩnΩ=Ω_1\times\cdots\timesΩ_nΩ=Ω1​×⋯×Ωn​ and is denoted by Ax1⋯xnA_{x_1\cdots x_n}Ax1​⋯xn​​ (Ix1⋯xn\mathcal{I}_{x_1\cdots x_n}Ix1​⋯xn​​) where (x1,…,xn)∈Ω(x_1,\ldots ,x_n)\inΩ(x1​,…,xn​)∈Ω. We also call AAA (I\mathcal{I}I) an nnn-observable (nnn-instrument) and when n=2n=2n=2 we call AAA (I\mathcal{I}I) a bi-observable (bi-instrument). We point out that bi-observables AAA (I\mathcal{I}I) and bi-instruments have been considered in past literature, but the more general case appears to be new. In particular, two observables (instruments) have been defined to coexist or be compatible if they possess a joint bi-observable (bi-instrument). We extend this definition to nnn observables and nnn instruments by considering joint marginals of nnn-observables and joint reduced marginals of nnn-instruments. We show that a nnn-instrument measures a unique nnn-observable and if a finite umber of instruments coexist, then their measured observables coexist. We prove that there is a close relationship between a nontrivial nnn-observable and its parts. Moreover, a similar result holds for instruments. We next show that a natural definition for the tensor product of a finite number of instruments exist and possess reasonable properties. We then discuss sequential products of a finite number of observables and instruments. We present various examples such as Kraus, Holevo and Lüders instruments.