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:0906.1028 · Journal of Mathematical Physics

Spectral representation of infimum of bounded quantum observables

Shen Jun, Junde Wu

Published Nov 1, 2009• 3 citations
arXivHTMLPDF

Abstract

In 2006, Gudder [Math. Slovaca 56, 573 (2006)] introduced a logic order ≼ on bounded quantum observable set S(H). In 2007, Pulmannova and Vincekova [Math Slovaca 57, 589 (2007)] proved that for each subset D of S(H), the infimum of D exists with respect to the logic order ≼. In 2008, Liu and Wu [J. Math. Phys. 49, 073521 (2008)] found a representation of the infimum A∧B for A,B∊S(H), and by using the limit methods, they gave out a representation for the infimum of D. But, that representation is complicated. In this paper, we present a simpler spectral representation for the infimum of D with respect to the logic order ≼.

DOI
10.1063/1.3253609

Related papers

A representation theorem of infimum of bounded quantum observables

Weihua Liu, Junde Wu

In 2006, Gudder introduced a logic order on the bounded quantum observable set S(H). In 2007, Pulmannova and Vincekova proved that for each subset D of S(H), the infimum of D exists with respect to this logic order. In this paper, we present a representation theorem for the infimum of D.

Journal of Mathematical Physics•Jul 1, 2008•15 citations

On the infimum of bounded quantum observables

Xiaoming Xu, Hong-Ke Du, Xiaochun Fang

The set of all bounded observables corresponding to a quantum system is usually represented by S(H), the set of all bounded linear self-adjoint operators on a Hilbert space H. In 2006, Gudder introduced a logic order on S(H). Given A, B∊S(H), let A∧B be the greatest lower bound (infimum) of A and B with respect to the Gudder order. In this paper, we characterize A∧B using the invariant subspaces of A and B.

Journal of Mathematical Physics•Sep 1, 2010•4 citations

An explicit expression of supremum of bounded quantum observables

Xiaoming Xu, Hong-Ke Du, Xiaochun Fang

Bounded observables corresponding to a quantum system are usually represented by S(H), the set of all bounded linear self-adjoint operators on a Hilbert space H. In 2006, Gudder introduced a logic order, ≼, on S(H). For A,B∊S(H), A≼B if and only if there exists C∊S(H) such that AC=0 and A+C=B. Given A,B∊S(H), let A∨B be the least upper bound (supremum) for A and B with respect to the Gudder order. In 2007, Pulmannová and Vincenková proved that A∨B exists if and only if A and B have an upper bound for the Gudder order. In this paper, we present some new necessary and sufficient conditions for which A∨B exists and give an explicit representation of A∨B (if A∨B exists).

Journal of Mathematical Physics•Mar 1, 2009•11 citations

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

A note on the logic of bounded quantum observables

Yuan Li, Xiu-Hong Sun

The set of bounded observables for a quantum system is represented by the set of bounded self-adjoint operators S(H) on a complex Hilbert space H, and the quantum effects for a physical system can be described by the set E(H) of positive contractive operators on a complex Hilbert space H. In this note, by the techniques of operator block and spectral, we give the simpler representation of A∧P and obtained the new necessary and sufficient conditions for A∨P, for A∊S(H) and P∊P(H), where P(H) is the set of all orthogonal projection operators on H. In particular, we get that if A∨P exists, then A∨P∊E(H) for A∊E(H) and P∊P(H). In addition, we consider the relations between the existence of A∨B, A−∨B−, and A+∨B+, where A+, B+, A−, and B− are the positive and negative parts of A,B∊S(H).

Journal of Mathematical Physics•Dec 1, 2009•6 citations

On supremum of bounded quantum observable ∗

Weihua Liu, Junde Wu

Abstract. In this paper, we present a new necessary and sufficient condition for which the supremum A ∨ B exists with respect to the logic order ≼. Moreover, we give out a new and much simpler representation of A ∨ B with respect to ≼, our results have nice physical meanings.

•Aug 4, 2013•6 citations
In 2006, Gudder [Math. Slovaca 56, 573 (2006)] introduced a logic order ≼ on bounded quantum observable set S(H). In 2007, Pulmannova and Vincekova [Math Slovaca 57, 589 (2007)] proved that for each subset D of S(H), the infimum of D exists with respect to the logic order ≼. In 2008, Liu and Wu [J. Math. Phys. 49, 073521 (2008)] found a representation of the infimum A∧B for A,B∊S(H), and by using the limit methods, they gave out a representation for the infimum of D. But, that representation is complicated. In this paper, we present a simpler spectral representation for the infimum of D with respect to the logic order ≼.
Bounded observables corresponding to a quantum system are usually represented by S(H), the set of all bounded linear self-adjoint operators on a Hilbert space H. In 2006, Gudder introduced a logic order, ≼, on S(H). For A,B∊S(H), A≼B if and only if there exists C∊S(H) such that AC=0 and A+C=B. Given A,B∊S(H), let A∨B be the least upper bound (supremum) for A and B with respect to the Gudder order. In 2007, Pulmannová and Vincenková proved that A∨B exists if and only if A and B have an upper bound for the Gudder order. In this paper, we present some new necessary and sufficient conditions for which A∨B exists and give an explicit representation of A∨B (if A∨B exists).
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.
The set of bounded observables for a quantum system is represented by the set of bounded self-adjoint operators S(H) on a complex Hilbert space H, and the quantum effects for a physical system can be described by the set E(H) of positive contractive operators on a complex Hilbert space H. In this note, by the techniques of operator block and spectral, we give the simpler representation of A∧P and obtained the new necessary and sufficient conditions for A∨P, for A∊S(H) and P∊P(H), where P(H) is the set of all orthogonal projection operators on H. In particular, we get that if A∨P exists, then A∨P∊E(H) for A∊E(H) and P∊P(H). In addition, we consider the relations between the existence of A∨B, A−∨B−, and A+∨B+, where A+, B+, A−, and B− are the positive and negative parts of A,B∊S(H).