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

Journal of Mathematical Physics

Generalized infimum and sequential product of quantum effects

Yuan Li, Xiu-Hong Sun, Zhengli Chen

Published Oct 1, 2007• 6 citations
Publisher

Abstract

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.

DOI
10.1063/1.2785109

Related papers

A note on the infimum problem of Hilbert space effects

Yuan Li, Hong-Ke Du

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. The infimum problem of Hilbert space effects is to find under what condition the infimum A∧B exists for two quantum effects A and B∊E(H). The problem has been studied in different contexts by Kadison, Gudder, Moreland, and Ando. In this Note, using the method of the spectral theory of operators, we give a affirmative answer of a conjecture of [S. Gudder, J. Math. Phys. 37, 2637–2642 (1996)]. In addition, some properties of generalized infimum A⨅B were considered.

Journal of Mathematical Physics•Oct 1, 2006•8 citations

Sequential quantum measurements

Stanley Gudder, Gabriel Nagy

A quantum effect is an operator A on a complex Hilbert space H that satisfies 0⩽A⩽I. We denote the set of quantum effects by E(H). The set of self-adjoint projection operators on H corresponds to sharp effects and is denoted by P(H). We define the sequential product of A,B∈E(H) by A∘B=A1/2BA1/2. The main purpose of this article is to study some of the algebraic properties of the sequential product. Many of our results show that algebraic conditions on A∘B imply that A and B commute for the usual operator product. For example, if A∘B satisfies certain distributive or associative laws, then AB=BA. Moreover, if A∘B∈P(H), then AB=BA and A∘B=B or B∘A=B if and only if AB=BA=B. A natural definition of stochastic independence is introduced and briefly studied.

Journal of Mathematical Physics•Nov 1, 2001•110 citations

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

Jun Shen, Junde Wu

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

arXiv:0905.0596•Journal of Physics A Mathematical and Theoretical•Aug 6, 2009•36 citations

On the infimum of quantum effects

Aurelian Gheondea, Stanley Gudder, Peter Jonas

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. While a general effect may be unsharp, the collection of sharp effects is described by the set of orthogonal projections P(H)⊆E(H). Under the natural order, E(H) becomes a partially ordered set that is not a lattice if dimH⩾2. A physically significant and useful characterization of the pairs A,B∊E(H) such that the infimum A∧B exists is called the infimum problem. We show that A∧P exists for all A∊E(H), P∊P(H) and give an explicit expression for A∧P. We also give a characterization of when A∧(I−A) exists in terms of the location of the spectrum of A. We present a counterexample which shows that a recent conjecture concerning the infimum problem is false. Finally, we compare our results with the work of Ando on the infimum problem.

Journal of Mathematical Physics•May 10, 2005•22 citations

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

Sequential product of quantum effects

Aurelian Gheondea, Stanley Gudder

Unsharp quantum measurements can be modelled by means of the class E ( H ) \mathcal {E}(\mathcal {H}) of positive contractions on a Hilbert space H \mathcal {H} , in brief, quantum effects. For A , B ∈ E ( H ) A,B\in \mathcal {E}(\mathcal {H}) the operation of sequential product A ∘ B = A 1 / 2 B A 1 / 2 A\circ B=A^{1/2}BA^{1/2} was proposed as a model for sequential quantum measurements. We continue these investigations on sequential product and answer positively the following question: the assumption A ∘ B ≥ B A\circ B\geq B implies A B = B A = B AB=BA=B . Then we propose a geometric approach of quantum effects and their sequential product by means of contractively contained Hilbert spaces and operator ranges. This framework leads us naturally to consider lattice properties of quantum effects, sums and intersections, and to prove that the sequential product is left distributive with respect to the intersection.

Proceedings of the American Mathematical Society•Jul 2, 2003•34 citations
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.
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. The infimum problem of Hilbert space effects is to find under what condition the infimum A∧B exists for two quantum effects A and B∊E(H). The problem has been studied in different contexts by Kadison, Gudder, Moreland, and Ando. In this Note, using the method of the spectral theory of operators, we give a affirmative answer of a conjecture of [S. Gudder, J. Math. Phys. 37, 2637–2642 (1996)]. In addition, some properties of generalized infimum A⨅B were considered.
A quantum effect is an operator A on a complex Hilbert space H that satisfies 0⩽A⩽I. We denote the set of quantum effects by E(H). The set of self-adjoint projection operators on H corresponds to sharp effects and is denoted by P(H). We define the sequential product of A,B∈E(H) by A∘B=A1/2BA1/2. The main purpose of this article is to study some of the algebraic properties of the sequential product. Many of our results show that algebraic conditions on A∘B imply that A and B commute for the usual operator product. For example, if A∘B satisfies certain distributive or associative laws, then AB=BA. Moreover, if A∘B∈P(H), then AB=BA and A∘B=B or B∘A=B if and only if AB=BA=B. A natural definition of stochastic independence is introduced and briefly studied.
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. While a general effect may be unsharp, the collection of sharp effects is described by the set of orthogonal projections P(H)⊆E(H). Under the natural order, E(H) becomes a partially ordered set that is not a lattice if dimH⩾2. A physically significant and useful characterization of the pairs A,B∊E(H) such that the infimum A∧B exists is called the infimum problem. We show that A∧P exists for all A∊E(H), P∊P(H) and give an explicit expression for A∧P. We also give a characterization of when A∧(I−A) exists in terms of the location of the spectrum of A. We present a counterexample which shows that a recent conjecture concerning the infimum problem is false. Finally, we compare our results with the work of Ando on the infimum problem.
Unsharp quantum measurements can be modelled by means of the class E ( H ) \mathcal {E}(\mathcal {H}) of positive contractions on a Hilbert space H \mathcal {H} , in brief, quantum effects. For A , B ∈ E ( H ) A,B\in \mathcal {E}(\mathcal {H}) the operation of sequential product A ∘ B = A 1 / 2 B A 1 / 2 A\circ B=A^{1/2}BA^{1/2} was proposed as a model for sequential quantum measurements. We continue these investigations on sequential product and answer positively the following question: the assumption A ∘ B ≥ B A\circ B\geq B implies A B = B A = B AB=BA=B . Then we propose a geometric approach of quantum effects and their sequential product by means of contractively contained Hilbert spaces and operator ranges. This framework leads us naturally to consider lattice properties of quantum effects, sums and intersections, and to prove that the sequential product is left distributive with respect to the intersection.