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

CRC Press eBooks

Some Results on Invariant States for Quantum Markov Semigroups

Franco Fagnola, Rolando Rebolledo

Published Apr 5, 2002• 1 citation
Publisher

Abstract

Given a quantum Markov semigroup ( T t ) t ≥ 0 https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780203910177/0082baec-0164-4123-9297-401a14f7d1e0/content/eq1600.tif"/> on the algebra ℬ ( ℌ ) https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780203910177/0082baec-0164-4123-9297-401a14f7d1e0/content/eq1601.tif"/> of all bounded operators on a Hilbert space h we discuss some tools for studying its invariant states and the asymptotic behaviour.

DOI
10.1201/9780203910177-12

Related papers

Some Results on Invariant States for Quantum Markov Semigroups

Hisao Watanabe, Franco Fagnola

Lecture notes in pure and applied mathematics•Apr 5, 2002•0 citations

Direct Sums and Tensor Products of Hilbert Spaces and Operators

K. Kong Wan

Q24(1) Consider a three-dimensional Hilbert space ℋ → https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/ieq1209.tif"/> with a preferred decomposition as the direct sum of a complete orthogonal family of one-dimensional subspaces S → ( − ) https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/ieq1210.tif"/> , S → ( 0 ) https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/ieq1211.tif"/> and S → ( + ) https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/ieq1212.tif"/> , i.e., ℋ → = ℋ → ⊕ = S → ( − ) ⊕ S → ( 0 ) ⊕ S → ( + ) . https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/eqn0459.tif"/> Let η → ( − ) https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/ieq1213.tif"/> , η → ( 0 ) https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/ieq1214.tif"/> and η → ( + ) https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/ieq1215.tif"/> be unit vectors in S → ( − ) https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/ieq1216.tif"/> , S → ( 0 ) https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/ieq1217.tif"/> and S → ( + ) https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/ieq1218.tif"/> , respectively. 1 A vector in ℋ → ⊕ https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/ieq1219.tif"/> is of the form η → ⊕ = c − η → ( − ) ⊕ c 0 η → ( 0 ) ⊕ c + η → ( + ) = c − η → ( − ) ⊕ + c 0 η → ( 0 ) ⊕ + c + η → ( + ) ⊕ , https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/eqn0460.tif"/> where C − , c 0 , c + ∈ ℂ https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/ieq1220.tif"/> .

•Aug 27, 2020•0 citations

Selfadjoint Operators, Unit Vectors and Probability Distributions

K. Kong Wan

Q22(1) The commutation relation between the selfadjoint position and momentum operators x ^ = x https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/ieq1151.tif"/> and p ^ = − i ℏ d / d x https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/ieq1152.tif"/> in the Hilbert space L → 2 ( I R ) https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/ieq1153.tif"/> is often written as [ x ^ , p ^ ] = i ℏ . https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/eqn0444.tif"/> As pointed out in the discussion in §17.7 this relation should be expressed as an inequality, i.e., [ x ^ , p ^ ] ⊂ i ℏ I I ^ , https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/eqn0445.tif"/> or ∗ [ x ^ , p ^ ] ϕ → = i ℏ ϕ → https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/eqn0446.tif"/> for an appropriate set of vectors ϕ → https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/ieq1154.tif"/> in L → 2 ( I R ) https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/ieq1155.tif"/> . What are the conditions ϕ → https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/ieq1156.tif"/> must satisfy in order for the equality to hold?

•Aug 27, 2020•0 citations

ON THE CLASSIFICATION OF INVARIANT STATE OF GENERIC QUANTUM MARKOV SEMIGROUPS: THE GAUSSIAN GAUGE INVARIANT CASE

Skander Hachicha

•Jan 1, 2011•0 citations

A Survey on Invariance and Ergodicity of Quantum Markov Semigroups

Mou-Hsiung Chang

This article surveys recent results on invariances and ergodicity of general quantum Markov semigroups of bounded linear maps acting on C*- or von Neumann algebra . In particular, we consider existence and uniqueness of invariant (stationary) quantum states as well as ergodicity and mean ergodicity of quantum states via heavy usage of the GNS representation. This survey is made self-contained by also reviewing relevant concepts and results necessary for the subsequent developments.

Stochastic Analysis and Applications•Apr 28, 2014•2 citations

Commutation Rules and Uncertainty Relations

Steven A. Adelman

In this chapter, we develop results that will prove to be very important later. First, we show that if two observables A https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429155741/5d159368-dc20-4763-957b-88b0e101c959/content/C005_equ_0001.tif"/> and B https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429155741/5d159368-dc20-4763-957b-88b0e101c959/content/C005_equ_0002.tif"/> are compatible , that is, if their Hermitian operator representatives A ^ https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429155741/5d159368-dc20-4763-957b-88b0e101c959/content/C005_equ_0003.tif"/> and B ^ https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429155741/5d159368-dc20-4763-957b-88b0e101c959/content/C005_equ_0004.tif"/> commute, then these representatives have a complete orthonormal set of common eigenfunctions Ψ a n , b m ( r ) https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429155741/5d159368-dc20-4763-957b-88b0e101c959/content/C005_equ_0005.tif"/> which are the solutions of the simultaneous eigenvalue problem A ^ Ψ a n , b m ( r ) = a n Ψ a n , b m ( r ) https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429155741/5d159368-dc20-4763-957b-88b0e101c959/content/C005_equ_0006.tif"/> and B ^ Ψ a n , b m ( r ) = b n Ψ a n , b m ( r ) . https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429155741/5d159368-dc20-4763-957b-88b0e101c959/content/C005_equ_0007.tif"/> Consequently, from the discussion at the end of Section 4.5 , when the system is in a quantum state specified by one of the common eigenfunctions Ψ a n , b m ( r ) https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429155741/5d159368-dc20-4763-957b-88b0e101c959/content/C005_equ_0008.tif"/> , both A https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429155741/5d159368-dc20-4763-957b-88b0e101c959/content/C005_equ_0009.tif"/> and B https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429155741/5d159368-dc20-4763-957b-88b0e101c959/content/C005_equ_0010.tif"/> have definite values, a n https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429155741/5d159368-dc20-4763-957b-88b0e101c959/content/C005_equ_0011.tif"/> for A https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429155741/5d159368-dc20-4763-957b-88b0e101c959/content/C005_equ_0012.tif"/> and b m https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429155741/5d159368-dc20-4763-957b-88b0e101c959/content/C005_equ_0013.tif"/> for B . https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429155741/5d159368-dc20-4763-957b-88b0e101c959/content/C005_equ_0014.tif"/> In contrast, we show that if two observables A https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429155741/5d159368-dc20-4763-957b-88b0e101c959/content/C005_equ_0015.tif"/> and B https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429155741/5d159368-dc20-4763-957b-88b0e101c959/content/C005_equ_0016.tif"/> are incompatible , that is, if their representatives A ^ https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429155741/5d159368-dc20-4763-957b-88b0e101c959/content/C005_equ_0279.tif"/> and B ^ https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429155741/5d159368-dc20-4763-957b-88b0e101c959/content/C005_equ_0017.tif"/> do not commute, then these representatives have few if any common eigenfunctions. As a consequence rarely if ever can one find quantum states for which two incompatible observables A https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429155741/5d159368-dc20-4763-957b-88b0e101c959/content/C005_equ_0018.tif"/> and B https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429155741/5d159368-dc20-4763-957b-88b0e101c959/content/C005_equ_0019.tif"/> both have definite values rather than spreads of values. Therefore, two incompatible observables cannot (with rare exceptions) be simultaneously precisely measured. Rather, in analogy to the Heisenberg uncertainty relation Δ x Δ p x ≥ ℏ 2 https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429155741/5d159368-dc20-4763-957b-88b0e101c959/content/C005_equ_0020.tif"/> which exists between the incompatible position and momentum observables, a Heisenberg uncertainty relation exists between any pair of incompatible observables A https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429155741/5d159368-dc20-4763-957b-88b0e101c959/content/C005_equ_0021.tif"/> and B . https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429155741/5d159368-dc20-4763-957b-88b0e101c959/content/C005_equ_0022.tif"/>

CRC Press eBooks•May 31, 2021•0 citations
Given a quantum Markov semigroup ( T t ) t ≥ 0 https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780203910177/0082baec-0164-4123-9297-401a14f7d1e0/content/eq1600.tif"/> on the algebra ℬ ( ℌ ) https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780203910177/0082baec-0164-4123-9297-401a14f7d1e0/content/eq1601.tif"/> of all bounded operators on a Hilbert space h we discuss some tools for studying its invariant states and the asymptotic behaviour.
Q24(1) Consider a three-dimensional Hilbert space ℋ → https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/ieq1209.tif"/> with a preferred decomposition as the direct sum of a complete orthogonal family of one-dimensional subspaces S → ( − ) https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/ieq1210.tif"/> , S → ( 0 ) https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/ieq1211.tif"/> and S → ( + ) https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/ieq1212.tif"/> , i.e., ℋ → = ℋ → ⊕ = S → ( − ) ⊕ S → ( 0 ) ⊕ S → ( + ) . https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/eqn0459.tif"/> Let η → ( − ) https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/ieq1213.tif"/> , η → ( 0 ) https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/ieq1214.tif"/> and η → ( + ) https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/ieq1215.tif"/> be unit vectors in S → ( − ) https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/ieq1216.tif"/> , S → ( 0 ) https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/ieq1217.tif"/> and S → ( + ) https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/ieq1218.tif"/> , respectively. 1 A vector in ℋ → ⊕ https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/ieq1219.tif"/> is of the form η → ⊕ = c − η → ( − ) ⊕ c 0 η → ( 0 ) ⊕ c + η → ( + ) = c − η → ( − ) ⊕ + c 0 η → ( 0 ) ⊕ + c + η → ( + ) ⊕ , https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/eqn0460.tif"/> where C − , c 0 , c + ∈ ℂ https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/ieq1220.tif"/> .
Q22(1) The commutation relation between the selfadjoint position and momentum operators x ^ = x https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/ieq1151.tif"/> and p ^ = − i ℏ d / d x https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/ieq1152.tif"/> in the Hilbert space L → 2 ( I R ) https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/ieq1153.tif"/> is often written as [ x ^ , p ^ ] = i ℏ . https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/eqn0444.tif"/> As pointed out in the discussion in §17.7 this relation should be expressed as an inequality, i.e., [ x ^ , p ^ ] ⊂ i ℏ I I ^ , https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/eqn0445.tif"/> or ∗ [ x ^ , p ^ ] ϕ → = i ℏ ϕ → https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/eqn0446.tif"/> for an appropriate set of vectors ϕ → https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/ieq1154.tif"/> in L → 2 ( I R ) https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/ieq1155.tif"/> . What are the conditions ϕ → https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/ieq1156.tif"/> must satisfy in order for the equality to hold?
In this chapter, we develop results that will prove to be very important later. First, we show that if two observables A https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429155741/5d159368-dc20-4763-957b-88b0e101c959/content/C005_equ_0001.tif"/> and B https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429155741/5d159368-dc20-4763-957b-88b0e101c959/content/C005_equ_0002.tif"/> are compatible , that is, if their Hermitian operator representatives A ^ https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429155741/5d159368-dc20-4763-957b-88b0e101c959/content/C005_equ_0003.tif"/> and B ^ https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429155741/5d159368-dc20-4763-957b-88b0e101c959/content/C005_equ_0004.tif"/> commute, then these representatives have a complete orthonormal set of common eigenfunctions Ψ a n , b m ( r ) https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429155741/5d159368-dc20-4763-957b-88b0e101c959/content/C005_equ_0005.tif"/> which are the solutions of the simultaneous eigenvalue problem A ^ Ψ a n , b m ( r ) = a n Ψ a n , b m ( r ) https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429155741/5d159368-dc20-4763-957b-88b0e101c959/content/C005_equ_0006.tif"/> and B ^ Ψ a n , b m ( r ) = b n Ψ a n , b m ( r ) . https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429155741/5d159368-dc20-4763-957b-88b0e101c959/content/C005_equ_0007.tif"/> Consequently, from the discussion at the end of Section 4.5 , when the system is in a quantum state specified by one of the common eigenfunctions Ψ a n , b m ( r ) https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429155741/5d159368-dc20-4763-957b-88b0e101c959/content/C005_equ_0008.tif"/> , both A https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429155741/5d159368-dc20-4763-957b-88b0e101c959/content/C005_equ_0009.tif"/> and B https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429155741/5d159368-dc20-4763-957b-88b0e101c959/content/C005_equ_0010.tif"/> have definite values, a n https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429155741/5d159368-dc20-4763-957b-88b0e101c959/content/C005_equ_0011.tif"/> for A https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429155741/5d159368-dc20-4763-957b-88b0e101c959/content/C005_equ_0012.tif"/> and b m https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429155741/5d159368-dc20-4763-957b-88b0e101c959/content/C005_equ_0013.tif"/> for B . https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429155741/5d159368-dc20-4763-957b-88b0e101c959/content/C005_equ_0014.tif"/> In contrast, we show that if two observables A https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429155741/5d159368-dc20-4763-957b-88b0e101c959/content/C005_equ_0015.tif"/> and B https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429155741/5d159368-dc20-4763-957b-88b0e101c959/content/C005_equ_0016.tif"/> are incompatible , that is, if their representatives A ^ https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429155741/5d159368-dc20-4763-957b-88b0e101c959/content/C005_equ_0279.tif"/> and B ^ https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429155741/5d159368-dc20-4763-957b-88b0e101c959/content/C005_equ_0017.tif"/> do not commute, then these representatives have few if any common eigenfunctions. As a consequence rarely if ever can one find quantum states for which two incompatible observables A https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429155741/5d159368-dc20-4763-957b-88b0e101c959/content/C005_equ_0018.tif"/> and B https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429155741/5d159368-dc20-4763-957b-88b0e101c959/content/C005_equ_0019.tif"/> both have definite values rather than spreads of values. Therefore, two incompatible observables cannot (with rare exceptions) be simultaneously precisely measured. Rather, in analogy to the Heisenberg uncertainty relation Δ x Δ p x ≥ ℏ 2 https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429155741/5d159368-dc20-4763-957b-88b0e101c959/content/C005_equ_0020.tif"/> which exists between the incompatible position and momentum observables, a Heisenberg uncertainty relation exists between any pair of incompatible observables A https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429155741/5d159368-dc20-4763-957b-88b0e101c959/content/C005_equ_0021.tif"/> and B . https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429155741/5d159368-dc20-4763-957b-88b0e101c959/content/C005_equ_0022.tif"/>