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:0905.0596 · Journal of Physics A Mathematical and Theoretical

Sequential product on standard effect algebra {\cal E} (H)

Jun Shen, Junde Wu

Published Aug 6, 2009• 36 citations
arXivHTMLPDF

Abstract

A quantum effect is an operator $A$ on a complex Hilbert space $H$ that satisfies $0\leq A\leq I$, ${\cal E} (H)$ is the set of all quantum effects on $H$. In 2001, Professor Gudder and Nagy studied the sequential product $A\circ B=A^{1/2}BA^{1/2}$ of $A, B\in {\cal E}(H)$. In 2005, Professor Gudder asked: Is $A\circ B=A^{1/2}BA^{1/2}$ the only sequential product on ${\cal E} (H)$? Recently, Liu and Wu presented an example to show that the answer is negative. In this paper, firstly, we characterize some algebraic properties of the abstract sequential product on ${\cal E} (H)$; secondly, we present a general method for constructing sequential products on ${\cal E} (H)$; finally, we study some properties of the sequential products constructed by the method

DOI
10.1088/1751-8113/42/34/345203

Related papers

A uniqueness problem of the sequence product on operator effect algebra {\cal E}(H)

Weihua Liu, Wu Junde

A quantum effect is an operator on a complex Hilbert space H that satisfies 0 ⩽ A ⩽ I . We denote the set of all quantum effects by . In this paper we prove theorem 4.3, the theory of the sequential product on which shows, in fact, that there are sequential products on which are not of the generalized Lüders form. This result answers Gudder's open problem negatively.

arXiv:0812.0630•Journal of Physics A Mathematical and Theoretical•Apr 9, 2009•27 citations

Generalized infimum and sequential product of quantum effects

Yuan Li, Xiu-Hong Sun, Zhengli Chen

The quantum effects for a physical system can be described by the set E(H) of positive operators on a complex Hilbert space H that are bounded above by the identity operator I. For A, B∊E(H), the operation of sequential product A∘B=A1∕2BA1∕2 was proposed as a model for sequential quantum measurements. A nice investigation of properties of the sequential product has been carried over [Gudder, S. and Nagy, G., “Sequential quantum measurements,” J. Math. Phys. 42, 5212 (2001)]. In this note, we extend some results of this reference. In particular, a gap in the proof of Theorem 3.2 in this reference is overcome. In addition, some properties of generalized infimum A⨅B are studied.

Journal of Mathematical Physics•Oct 1, 2007•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

The Sequential Product of Quantum Effect

Chunfang Shao

For every A,B or A,B P(H),we defined the sequential product of A,B by AB= ABA.The main purpose of this article is to investigate some of the algebraic properties about the sequential product of quantum effect.Put some algebraic conditions on AB imply that A and B commute for the usual operator product.The result which S.Gudder got in(4),we give a wholely new proof by the technique of block operator matrix which makes the geometry structure of operators more clear.

Journal of Ankang University•Jan 1, 2009•2 citations

Sequential Products of Quantum Measurements

Stanley Gudder

Our basic structure is a finite-dimensional complex Hilbert space $H$. We point out that the set of effects on $H$ form a convex effect algebra. Although the set of operators on $H$ also form a convex effect algebra, they have a more detailed structure. W introduce sequential products of effect and operations. Although these have already been studied, we introduce the new concept of sequential products of effects with operations and operations with effects. We then consider various special types of operations. After developing properties of these concepts, the results are generalized to include observables and instruments. In particular, sequential products of observables with instruments and instruments with observables are developed. Finally, we consider conditioning and coexistence of observables and instruments.

arXiv:2108.07925•Jun 6, 2007•2 citations

The average value inequality in sequential effect algebras

Jun Shen, Junde Wu

A sequential effect algebra $(E,0,1, \oplus, \circ)$ is an effect algebra on which a sequential product $\circ$ with certain physics properties is defined, in particular, sequential effect algebra is an important model for studying quantum measurement theory. In 2005, Gudder asked the following problem: If $a, b\in (E,0,1,\oplus, \circ)$ and $a\bot b$ and $a\circ b\bot a\circ b$, is it the case that $2(a\circ b)\leq a^2\oplus b^2$ ? In this paper, we construct an example to answer the problem negatively.

arXiv:0903.5115•Mar 30, 2009•0 citations
A quantum effect is an operator AAA on a complex Hilbert space HHH that satisfies 0≤A≤I0\leq A\leq I0≤A≤I, E(H){\cal E} (H)E(H) is the set of all quantum effects on HHH. In 2001, Professor Gudder and Nagy studied the sequential product A∘B=A1/2BA1/2A\circ B=A^{1/2}BA^{1/2}A∘B=A1/2BA1/2 of A,B∈E(H)A, B\in {\cal E}(H)A,B∈E(H). In 2005, Professor Gudder asked: Is A∘B=A1/2BA1/2A\circ B=A^{1/2}BA^{1/2}A∘B=A1/2BA1/2 the only sequential product on E(H){\cal E} (H)E(H)? Recently, Liu and Wu presented an example to show that the answer is negative. In this paper, firstly, we characterize some algebraic properties of the abstract sequential product on E(H){\cal E} (H)E(H); secondly, we present a general method for constructing sequential products on E(H){\cal E} (H)E(H); finally, we study some properties of the sequential products constructed by the method
The quantum effects for a physical system can be described by the set E(H) of positive operators on a complex Hilbert space H that are bounded above by the identity operator I. For A, B∊E(H), the operation of sequential product A∘B=A1∕2BA1∕2 was proposed as a model for sequential quantum measurements. A nice investigation of properties of the sequential product has been carried over [Gudder, S. and Nagy, G., “Sequential quantum measurements,” J. Math. Phys. 42, 5212 (2001)]. In this note, we extend some results of this reference. In particular, a gap in the proof of Theorem 3.2 in this reference is overcome. In addition, some properties of generalized infimum A⨅B are studied.
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.
Our basic structure is a finite-dimensional complex Hilbert space HHH. We point out that the set of effects on HHH form a convex effect algebra. Although the set of operators on HHH also form a convex effect algebra, they have a more detailed structure. W introduce sequential products of effect and operations. Although these have already been studied, we introduce the new concept of sequential products of effects with operations and operations with effects. We then consider various special types of operations. After developing properties of these concepts, the results are generalized to include observables and instruments. In particular, sequential products of observables with instruments and instruments with observables are developed. Finally, we consider conditioning and coexistence of observables and instruments.
A sequential effect algebra (E,0,1,⊕,∘)(E,0,1, \oplus, \circ)(E,0,1,⊕,∘) is an effect algebra on which a sequential product ∘\circ∘ with certain physics properties is defined, in particular, sequential effect algebra is an important model for studying quantum measurement theory. In 2005, Gudder asked the following problem: If a,b∈(E,0,1,⊕,∘)a, b\in (E,0,1,\oplus, \circ)a,b∈(E,0,1,⊕,∘) and a⊥ba\bot ba⊥b and a∘b⊥a∘ba\circ b\bot a\circ ba∘b⊥a∘b, is it the case that 2(a∘b)≤a2⊕b22(a\circ b)\leq a^2\oplus b^22(a∘b)≤a2⊕b2 ? In this paper, we construct an example to answer the problem negatively.