Uncertainty relations in the product form
Huang Xiaofen1, Zhang Ting-Gui1, †, Jing Naihuan2, 3
School of Mathematics and Statistics, Hainan Normal University, Haikou 571158, China
School of Mathematics, South China University of Technology, Guangzhou 510640, China
Department of Mathematics, North Carolina State University, Raleigh, NC 27695, USA

 

† Corresponding author. E-mail: tinggui333@163.com

Project supported by the National Natural Science Foundation of China (Grant Nos. 11501153, 11461018, and 11531003) and the Simons Foundation (Grant No. 523868).

Abstract

We study the uncertainty relation in the product form of variances and obtain some new uncertainty relations with weight, which are shown to be tighter than those derived from the Cauchy–Schwarz inequality.

PACS: 03.65.-w
1. Introduction

The uncertainty relations have played a fundamental role in the development of quantum theory not only in the foundation but also in recent investigations of quantum information and quantum communication, in particular in the areas such as entanglement detection,[1,2] security analysis of quantum key distribution in quantum cryptography,[3] quantum metrology, and quantum speed limit.[46] Usually the uncertainty relations are expressed in terms of the product of variances of the measurement results of two incompatible observables. Other forms of the uncertainty relations include entropic uncertainty principle,[79] variance-based sum uncertainty relation,[1012] the skew information,[13,14] the majorization technique,[1517] and the recent weighted uncertainty relation.[18] Recently, several experimental investigations were also performed to check the corresponding relations.[19,20]

In 1927, Heisenberg[21] analyzed the observation of an individual electron with photons and obtained the famous uncertainty principle

where (ΔP)2 and (ΔQ)2 are the variances of the position P and momentum Q, respectively. The variance or standard deviation of the observable A with respect to the state ρ is defined by (ΔA)2 = ⟨A2⟩-⟨A2, where ⟨A⟩ = trρA is the mean value of the observable A.

The inequality (1) shows that the uncertainties in the position and momentum of a quantum particle are inversely proportional to each other: a particle’s position and momentum cannot be known simultaneously. Thus the accuracy of quantum measurement is limited by the uncertainty principle. This principle uncovers a fundamental and peculiar feature in the atomic world, and is considered as one of the cornerstones of quantum mechanics.

Robertson[22] formulated the uncertainty relation for arbitrary pair of non-commuting observables A and B (with bounded spectra) as follows:

where ⟨[A,B]⟩ = Trρ[A,B], the expectation value of the commutator [A,B] = ABBA.

Robertson’s uncertainty relation was further generalized by Schrödinger to be[3]

This relation is evidently stronger than Heisenberg’s uncertainty relation, and it also shows that the commutator reveals incompatibility while the anticommutator encodes correlation between observables A and B.

The goal of this note is to give a family of generalized Schrödinger uncertainty relations using a stronger Cauchy–Schwarz inequality.

2. Generalized uncertainty relations

We start with a quantum system in the quantum state ρ = |Ψ⟩⟨Ψ| on the Hilbert space with the inner product ⟨|⟩, where ⟨Ψ|Ψ⟩ = 1, and consider observables A and B. Define the operator associated with a given operator A.

Let {|φi⟩} be an orthonormal basis of the Hilbert space and write . , so that , where ⟨α|β⟩ is the usual inner product (linear in the second argument) for the vectors α = (α1, α2,...,αn) and β = (β1, β2,...,βn). We will not distinguish the two inner products as long as it is clear from the context.

The variance of observable A can be expressed as , thus

Until now we have considered only a pure state |Ψ⟩ of the system, this relation can be extended to the case of mixed states ρ = ∑pj|Ψj⟩⟨Ψj|, pj ≥ 0 and ∑j pj = 1. Since , , and we just need to consider the terms in the sum for both |αi|≠ 0 and |βi| ≠ 0, so we can rewrite inequality (4) as

where .

Since the mean value of observable A can be expressed in the form of trace, ⟨Ψ|A|Ψ⟩ = TrA|Ψ⟩⟨Ψ|, we rewrite the inequality above as

For each state |Ψj⟩, we have

where and are the variances calculated on |Ψj⟩. As the varicance of the observables is convex for the mixed state, that is, . By multiplying members by and summing over j, one can obtain the inequality based on the mixed state ρ
Therefore, we obtain the mixed-state extension of inequality (4)

We remark that our generalized uncertainty relation is stronger than Schrödinger’s uncertainty relation, as the generalized Cauchy inequality shows that |⟨α|β⟩| is smaller than the right-hand side of our uncertainty relation.

The uncertainty relation (4) can be tightened by optimizing over the sets of complete orthonormal bases. Then we can improve the uncertainty relation by the Callebaut inequality as in the proof of Theorem 1.

Both the Callebaut and Milne inequalities (5) and (12) are stronger than the usual Cauchy–Schwarz inequality, thus our uncertainty relations are tighter than those derived from the Cauchy–Schwaz inequality, for example, the Mondal–Bagchi–Pati’s uncertainty inequality in Ref. [26] about observables

where .

Fig. 1. (color online) The uncertainty relation for observables Lx and Ly at state |Ψ⟩: the blue curve is the lower bound in inequality (4) with the weight λ = 1/10, the red one is with the weight λ = 9/10, the black one stands for Mondal–Bagchi–Patis’ lower bound in inequality (14), and the green line denotes Schrödinger’ lower bound in inequality (3). As observed from the plot, the bound given by inequality (4) is one of the tightest bounds in the literature.
Fig. 2. (color online) The lower bound of the uncertainty relation (9) for observables Ax, By at mixed state ρiso, it is clear that the lower bound is bigger as the weight λ and parameter p increase.
3. Conclusion

The uncertainty relations play a central role in the current research in quantum theory and quantum information.[2830] We have derived a family of new product forms of variance-based uncertainty relations, which are expected to help further investigate the uncertainty relation.

Reference
[1] Gühne O 2004 Phys. Rev. Lett. 92 117903
[2] Hofmann H F Takeuchi S 2003 Phys. Rev. A 68 032103
[3] Fuchs C A Peres A 1996 Phys. Rev. A 53 2038
[4] Mandelstam L Tamm I G 1945 J. Phys. (Moscow) 9 249
[5] Mondal D Pati A K 2016 Phys. Lett. 380 1395
[6] Mondal D Datta C Sazim S 2016 Phys. Lett. 380 689
[7] Deutsch D 1983 Phys. Rev. Lett. 50 631
[8] Xiao Y Jing N Fei S M Li T Li-Jost X Ma T Wang Z D 2016 Phys. Rev. 93 042125
[9] Maassen H Uffink J B K 1988 Phys. Rev. Lett. 60 1103
[10] Song Q C Li J L Peng G X Qiao C F 2017 arXiv:1701.01072v3 [quant-ph] https://arxiv.org/abs/1701.01072v3
[11] Chen B Cao N P Fei S M Long G L 2016 Quan. Inf. Process. 15 3909
[12] Chen B Fei S M 2015 Sci. Rep. 5 14238
[13] Chen B Fei S M Long G L 2016 Quan. Inf. Pro. 15 2639
[14] Luo S Zhang Q 2004 IEEE Trans. Inf. Theory 50 1778
[15] Puchała Z Rudnicki Ł Życzkowski K 2013 J. Phys. A: Math. Theor. 46 272002
[16] Rudnicki Ł Puchala Z Życzkowski K 2014 Phys. Rev. 89 052115
[17] Rudnicki Ł 2015 Phys. Rev. 91 032123
[18] Xiao Y Jing N Li-Jost X Fei S M 2016 Sci. Rep. 6 23201
[19] Wang K Zhan X Bian Z Li J Zhang Y Xue P 2016 Phys. Rev. 93 052108
[20] Ma W Chen B Liu Y Wang M Ye X Kong F Shi F Fei S M Du J 2017 Phys. Rev. Lett. 118 180402
[21] Heisenberg W 1927 Z. Phys. 43 172
[22] Robertson H P 1929 Phys. Rev. 34 163
[23] Schrödinger E 1930 Ber. Kgl. Akad. Wiss. Berlin 19 296
[24] Callebaut D K 1965 J. Math. Anal. Appl. 12 491
[25] Milne E A 1925 Monthly Not. Roy. Astron. Soc. 85 979
[26] Mondai D Bagchi S Pati A 2017 Phys. Rev. 95 052117
[27] Horodecki M Horodecki P Horodecki R 1996 Phys. Lett. 223 1
[28] Dammeier L Schwonnek R Werner R F 2015 New J. Phys. 17 093046
[29] Abbott A A Alzieu P L Hall M J W Branciard C 2016 Mathematics 4 8
[30] Yao Y Xiao X Wang X Sun C P 2015 Phys. Rev. 91 062113