Abstract
The indeterminacy of quantum mechanics was originally presented by Heisenberg through the tradeoff between the measuring error of the observable A and the consequential disturbance to the value of another observable B. This tradeoff now has become a popular interpretation of the uncertainty principle. However, the historic idea has never been exactly formulated previously and is recently called into question. A theory built upon operational and staterelevant definitions of error and disturbance is called for to rigorously reexamine the relationship. Here by putting forward such natural definitions, we demonstrate both theoretically and experimentally that there is no tradeoff if the outcome of measuring B is more uncertain than that of A. Otherwise, the tradeoff will be switched on and well characterized by the JensenShannon divergence. Our results reveal the hidden effect of the uncertain nature possessed by the measured state, and conclude that the staterelevant relation between error and disturbance is not almosteverywhere a tradeoff as people usually believe.
Introduction
Quantum uncertainty is conventionally explained through two sequential quantum measurements^{1,2}, the error of the first and its disturbance to the precision of the second are qualitatively claimed to have an essential tradeoff. The core effect in the relation between error and disturbance is the intrinsic back action of quantum measurements, as Dirac wrote “a measurement always causes the system to jump into an eigenstate of the dynamical variable that is being measured ”^{3}. Heisenberg only gave an intuitive and informal argument of the probable errordisturbance tradeoff. The famous uncertainty inequalities, Kennard’s^{4} Δ_{x}Δ_{p} ≥ ħ/2 (Δ is the standard deviation), Robertson’s^{5} and MaassenUffink’s^{6,7,8,9} entropic inequality all focus on limitations of legal states, but do not cover the characteristic backaction of quantum measurements.
To close the discrepancy between mathematical inequalities and physical interpretations, Ozawa firstly quantified the error and the disturbance, and analyzed their relationship. He proposed an inequality^{10}:
and claimed the incorrectness of the Heisenbergtype tradeoff ε_{A}η_{B} ≥ 〈ψ[A, B]ψ〉/2. There in, the error term, ε_{A}, is defined as the root mean squared of the difference between the observable really measured and A, the observable we aimed at. The disturbance to B, η_{B}, is defined in a similar manner. We shall not repeat the expressions of ε_{A} and η_{B} but emphasize that they are defined as being staterelevant, i.e., they are defined for each specific input state ψ〉.
The mathematical correctness of Eq. (1) has been verified extensively in qubit experiments^{11,12,13,14,15,16}. However, its physical exactness was questioned is triggering a heated debate on the errordisturbance tradeoff^{17,18,19,20,21,22,23,24,25,26,27}. The ε_{A} and η_{B} defined by Ozawa were criticized for violating the operational requirements for exact and faithful definitions of error and disturbance, which are explicitly suggested in ref. 27. They require

error to be nonzero if the outcome distribution produced in an actual measurement of A deviates from that predicted by Born’s rule;

disturbance to be nonzero if the backaction introduced by the actual measurement alters the original distribution with respect to B.
These requirements emphasize the probabilistic feature of quantum mechanics, and further imply that 〈ψ[A, B]ψ〉 should be excluded to appear alone on the right hand side of the inequalities that describe the tradeoff^{27}. This conclusion sharply conflicts with Eq. (1) and leaves an open problem as what can be there.
Meanwhile, Busch, Lahti and Werner (BLW) developed theories to support Heisenbergtype relations^{24,25}. In their inequalities, the relevance to states is erased by searching the extreme case over all possible inputs. The relevance to input state has not been well taken into account^{26}. These theories behave like benchmarking the quality of the measurement device. Unlike those staterelevant formalisms, they cannot describe the tradeoff in each particular experiment.
In spite of the intricate features, we notice the presence of Δ_{A} and Δ_{B}, characters of the quantum uncertainty, in Eq. (1). It inspires us to ask the question: does the quantum uncertainty possessed by the quantum state with respect to A and B play some hidden but intrinsic role in the errordisturbance tradeoff? Meanwhile, those stateirrelevant inequalities hint that the staterelevant relation may not be a pure tradeoff. In this paper, we will propose a staterelevant formalism of the errordisturbance relation with definitions of the error and the disturbance that obey the operational requirements. We demonstrate both theoretically and experimentally that a condition controlled by quantum uncertainty determines the existence of the errordisturbance tradeoff. We also give an inequality for the case where the tradeoff does exist.
Results
Error and disturbance
Suppose we measure observable A on a quantum system in state ψ〉 with an imperfect reallife device. In the process, the employed device (together with the environment) selects a preferred pointer basis in the system’s Hilbert space^{28}. As a result, the entire state evolves to be , where indexes s and a label the system and the apparatus (also the environment), and . The apparatus bridges the quantum system and the classical world we stay in. It returns an outcome from the set . Repetitive measurements generate the distribution with . By the logic of quantum mechanics, what we learn from quantum measurements is just this distribution. However, due to kinds of imperfections, is hard to be exactly the eigenstates of A, {a_{i}〉}. This mismatch, i.e., the error, is therefore embodied in the difference between P′ and , the distribution predicted theoretically by Born’s rule. Thus, we define the error, Err_{ψ}(A), to be specified below, to quantify the difference between P and P′ (see Fig. 1).
By the notation “ψ〉” and the specified process of measurements, we have assumed that the problem in consideration associates with purestate systems and the projective measurements that are maximally informative^{29}. In fact, all the quantum measurements can be modeled by tracing back to projective measurements performed on a complete system described by a pure state. The concepts of mixed states and positiveoperator valued measurements (POVM) emerge by statistically ignoring some subsystems and losing some classical information. We will discuss them at the end and here focus on the most underlying structure.
Now we define the disturbance. Statistically, the backaction of the reallife measurement maps the original state ψ〉 to . This is the disturbance. When referring to observable B, it means that the original distribution determined by Born’s rule, with , is disturbed to . Therein, {b_{j}〉} are eigenstates of B. If , the disturbance to the quantum state induced by the reallife measurement of A cannot be perceived from observing B. So we define the disturbance to B, Dis_{ψ}(B), by the divergence between and Q.
It can be seen that our definitions satisfy the operational requirements introduced above in a minimal way. That is, our definitions satisfy no additional requirements other than the operational requirements. Furthermore, the operational definitions will offer us a direct experimental implementation as illustrated in Fig. 2. With these preparations, we can now give one of the main results.
Quantum uncertainty and errordisturbance tradeoff
We find that a criterion for which quantum uncertainty completely determines the existence of the staterelevant errordisturbance tradeoff.
Theorem 1. For any ddimensional pure state ψ〉, there exists projective measurements such that Err_{ψ}(A) and Dis_{ψ}(B) vanish simultaneously, i.e., there is no tradeoff between the error of measuring A and the consequential disturbance to B, if and only if .
, read P majorizes Q, means that if sorting the elements from large to small, i.e., and , then for ^{30}. That means the occurrence probability of a topk highprobability outcome in the ideal measurement of A is no less than that of B, for all possible values of k. Thus, majorization gives a rigorous criterion for the partial order of certainty or uncertainty. Moreover, leads to H(P) ≤ H(Q), where is the Shannon entropy. As widely accepted, larger Shannon entropy means more uncertainty. So Theorem1 concludes that, if the outcome of measuring A is more certain than the outcome of measuring B, there will be no staterelevant errordisturbance tradeoff; otherwise, the tradeoff will be switched on and a positive lower bound of Err_{ψ}(A) + Dis_{ψ}(B) is expected.
The necessary part of Theorem 1 can be derived from a historic mathematical theorem^{31}. The necessary part says if P and Q are generated in sequential measurements, P must majorize Q. That is, measurement is a way of extracting information thus the entropy is generally increasing. The sufficient part is more technic and we leave the proof in Methods. Our proof sets up an algorithm to find generally 2^{d−1} different realizations of to close the tradeoff. There are two known extreme examples where there is no tradeoff. One is the case where ψ〉 is an eigenstate of A. Another case is the zeronoise and zerodisturbance (ZNZD) states defined in ref. 27. In the first example of eigenstates, P = {1, 0, … 0}; for ZNZD states, P and Q are both the uniform distribution . So P majorizes Q in both cases. Here by revealing the effect of quantum uncertainty behind the scene, Theorem 1 links these isolated pointlike examples together and extends the no tradeoff conclusion to extensive situations.
Theorem 1 does not conflict with the common sense that noncommuting observables are impossible to be precisely measured simultaneously with a stateindependent strategy, because the vanishing tradeoff between error and disturbance implied by Theorem 1 is conditioned on the input state. An inverse question may be interested: given the real life measurements along , how many input states share the merits of zeroerror and zerodisturbance? We leave it to the Discussion.
Quantification of the tradeoff
If , the errordisturbance tradeoff is switched on. To describe the tradeoff, we shall quantify Err_{ψ}(A) and Dis_{ψ}(B). Based on the above analysis, we can quantify them using any nonnegative functional D(·, ·) that vanishes only when the associated two probability distributions are identical. The relative entropy , a central concept in information theory with wide applications, is one such example. Explicitly, we quantify the error and the disturbance as
These informationtheoretical definitions are independent of the unessential eigenvalues of the relevant ovservables, like the entropic uncertainty relation^{6,7}. This is different from the Wasserstein 2deviation used in the works of BLW. In the following, we give the result for 2dimensional cases at first.
Theorem 2. When d = 2 and , let us label the outcomes so that p_{1} ≥ p_{2} and q_{1} ≥ q_{2} and quantify error and disturbance by the relative entropy as Err_{ψ}(A) = D(P ‖ P′) and . Then we have
where the JensenShannon divergence, (H is the Shannon entropy), is the distribution .
In Fig. 3, we illustrate both D_{JS}(P, Q) and the exact bound obtained by numerical calculations. D_{JS}(P, Q) is shown to be a valid lower bound which can be very close to the exact one. Theorem2 answers the open question asked in ref. 27 of what can serve on the right hand side of the staterelevant inequality. The JensenShannon divergence is also a distance function of probability distributions that has been applied in bioinformatics, machine learning and social science^{32}. Interestingly, the wellknown Holevo’s bound^{33}, the upper bound to the accessible information of a quantum state, is its quantum generalization.
Next we shall give the strategy for constructing the inequalities, and then generalize Theorem 2 to the case of higher dimensions.
Strategy for the lower bound
As coordinates, all pairs as defined above compose a set we call . We can release the specified definitions to view P′ and as free distributions. Then the pairs compose a 2(d − 1)dimensional submanifold of the 2ddimensional Euclid space ( and ). The exact bound of Err_{ψ}(A) + Dis_{ψ}(B) is the minima of over . An analytical solution seems complicated to approach and shapes terrible because of the involved geometry of embedding in . Instead, we define the set of pairs satisfying as . According to Horn’s theorem^{30}, we have and thus by logic. Moreover, the point is the unique extreme point of Err_{ψ}(A) + Dis_{ψ}(B) in such that its minima value over must be obtained at the surface of . This surface consists of many faces, especially those defined by majorization. The geometry of is much simpler and analytical solution becomes reachable. So the strategy is to find the minima over . An illustration of this strategy for the case d = 2 is given in Fig. 4. The strategy also works for many other quantifications of the difference between probability distributions, aside from relative entropy.
Physically speaking, the strategy is equivalent to replacing the ideal measurements of B (in the part of sequential measurements in Fig. 1) with an imprecise apparatus performing projective measurements in a random basis denoted by . Now should be redefined as . With the help of Horn’s theorem^{30}, the exact lower bound of is just the minima of the original Err_{ψ}(A) + Dis_{ψ}(B) over .
On the way to the bound, a new concept emerges as a natural extension of majorization.
Majorization by sections
If , we cannot conclude that P is more certain than Q in the global sense. However if only certain outcomes are considered, things will be different. Let us relabel the eigenstates so that and , then cut the subscript string 1 ~ d into short sections , . For each section, say the tth one, we find the probabilities according to the subscripts in this section and take their sum and (j_{0} = 1, j_{k+1} = d). Then we say P majorizes Q by sections if the relation
holds for all the short sections. (If some zerovalued probabilities vanish the denominator, take the limit from infinitesimal positive factors). Equation (4) says that P is relatively more certain than Q in each section. We use to denote this relation where the index labels this particular partition of the subscript string. In addition, and are two distributions coarsegrained from P and Q by this partition.
Next, let us find all the coarsest partitions under which P majorizes Q by sections. We say a partition is coarser than another if the latter can be obtained from the former by additional cutting such as cutting (2 ~ 9) into (2 ~ 4) (5 ~ 9). (“ Coarser” defined in such a way is a partial order, we cannot say (1 ~ 5) (5 ~ 9) is coarser than (1 ~ 4) (4 ~ 7) (7 ~ 9)). Let us denote the set of all the coarsest partitions upon which P majorizes Q by sections as . None of can be obtained by further cutting from another section in it. is never an empty set since P will always majorize Q by sections for the finest partition where each short section consists of only one subscript. Then according to each partition in (say, the one labeled by ), we coarsen P and Q to obtain distributions and in the way given above. With these preparations, now we can present our tradeoff relation.
Theorem 3. Label the outcomes such that and . Then if , Err_{ψ}(A) = D(P ‖ P′) and , there is a tradeoff relation
where is the JensenShannon divergence. Moreover, D_{JS}(P, Q) serves as the lower bound if and for any possible partition .
Experiment
Being based on operational definitions, our theory can be experimentally tested in a straightforward manner. To compare, the reported experimental tests of Ozawa’s inequality (qubit cases) require the three state method or the technology of weak measurement^{11,12,13,14,15,16}. These experimental configurations are out of the original physical picture thus not so direct^{34}.
For singlephoton experiments, a weak coherent state measured by single photon detectors is a good approximation to a true singlephoton source^{35}. Thus, as a photon source, we used a pulsed laser (with 788nm central wavelength, 120fs pulse width and 76MHz repetition rate; Coherent Verdi18/Mira900F) and highly attenuate its mean photon number to ~0.004 at each pulse. For measurements, we can measure σ_{z} by two singlephoton detectors after the polarizing beam splitter (PBS, extinction ratio >500), which transmits horizontal and reflects vertical polarizations (Fig. 2a). The σ_{x} measurement, which corresponds to the polarization measurement in the ±45° linear polarization basis, could be realized by inserting a halfwave plate (HWP) rotated at 22.5° before the PBS (Fig. 2b). The reallife measurements of A are actually measuring observables , the direction is a unit vector. They are realized by a PBS which performs σ_{z} measurement, and groups of HWP and quarterwave plate (QWP) that implement unitary rotations between the basis {H〉, V〉} and the eigenbasis of (Fig. 2c). The ratio of the counts of D1 + D1’ and the total counts determines , and is determined by the ratio of the counts of D1’ + D2 and the total counts. The distributions P′ and are thus obtained.
In the experiment, a polarizer was used to prepare the photons in the state with . Therein, H〉 and V〉, the horizontal and vertical polarization states, are viewed as the eigenstates of σ_{z}, i.e., σ_{z}H〉 = H〉 and σ_{z}V〉 = −V〉. We calculated the optimal directions so that the measurements of could reach the minimal sum of Err_{ψ}(A) and Dis_{ψ}(B), where . These directions are used to carry out the imprecise measurements of A of which the experimental results are illustrated in Fig. 3a. Theoretically, we have when and when . So there is no tradeoff in the first half θrange by Theorem 1 and Theorem 2 covers the rest. Experimental results show great agreements with the predictions of the two theorems (see Fig. 3a, where the closeness of D_{JS}(P, Q) is illustrated by comparing with the exact bound obtained by numerical calculations). The validity of the bound given by Theorem 2 is also tested with a randomly chosen state with parameter θ = 5/12π(75°). The reallife measurements of A are implemented by the measurements of . Thus Err_{ψ}(A) + Dis_{ψ}(B) varies as a function of ϕ. As shown in Fig. 3b, experimental data clearly supports the theory.
Discussion
If we focus on a subsystem of a purestate system, mixed input states must be taken into account. Now actually classical uncertainty is involved in. We show in the Methods that Theorem 2 and Theorem 3 are valid for all the mixed input states, and Theorem 1 is robust to depolarization noise, i.e., valid for at least the ensembles described by with 0 ≤ η ≤ 1), as well as for all qubit states, pure or mixed. The validity of Theorem 1 in more general situations is still an open question. Additionally, we considered only projective measurements. The more general POVMs are realized from projective measurements on the enlarged systems. Correlation between the measured system and the ancillary established in the implementation of POVM, and the consequent information flow between them make the problem more complicated^{27}. The statedependent relation between error and disturbance thus still have rich structures to be discovered.
For some state ψ〉, if we can find so that Err_{ψ}(A) = Dis_{ψ}(B) = 0. While, given this , how many input states, mixed or pure, ensure zeroerror and zerodisturbance? The ddimensional quantum state ρ can be parameterized using a vector so that
where the generators of the Liealgebra of group SU (d), , satisfy tr(λ_{i}λ_{j}) = 2δ_{ij}. should satisfy some conditions to make ρ positive. , a_{i}〉 and b_{j}〉 can also be represented in the same way (by , , and , respectively). Then zeroerror and zerodisturbance, i.e., and , are described by
This series contains 2(d − 1) independent equations while has d^{2} − 1 coordinates. Therefore, the solution set of has at most (d − 1)^{2} dimensions, and includes at least ψ〉 and the mixed states .
To conclude, we have revealed the hidden effect of quantum uncertainty on the errordisturbance tradeoff. Our results also shed new light on overcoming problems engendered by the backaction of quantum measurements in fields such as quantum control, quantum metrology and measurementbased quantum information protocols^{36}. We hope this work can inspire more research on quantum uncertainty and measurement.
Methods
Proof of theorem 1. The proposition that error and disturbance can be zero simultaneously is equivalent to the proposition that there is a unitary matrix which satisfies the following two conditions simultaneously:
Here we just need to show sufficiency. For B, we have the freedom to define the phases of its eigenstates so that the state ψ〉 can be written as
Then if satisfies the above two condition, we have
Then we will prove the existence of such a unitary with the premise by mathematical induction. (Horn’s theorem states that the first condition has solutions if and only if ). First, when d = 2, if (for convenience, we assume p_{1} > p_{2}, the case p_{1} = p_{2} is trivial), the following unitary results
Actually, we will get a second solution by taking −ϕ, −θ_{1} and −θ_{2} in the above matrix. Here, we do not require the normalization that . Then we assume the validity of the cases where the dimension equals to d − 1.
For ddimensional cases, the first condition can be written as
where we use Diag to denote the diagonal matrix and means a matrix whose diagonal elements are .
For convenience, we assume that and q_{1} is the largest one in Q. There exists a subscript j such that
Then we have
For the first, majorization is valid since . For the second majorization, when 2 ≤ k ≤ j − 1, since , we have ; when j ≤ k ≤ d − 1, we have . Since , the second majorization must be valid.
Then we have a unitary U_{1} that acts only on the subspace belonging to p_{1}, p_{j}, such that it changes the diagonal elements p_{1}, p_{j} to q_{1}, p_{1} + p_{j} − q_{1} and maps vector . Next, according to our induction assumption, we have another unitary U_{2} acting on the subspace belonging to p_{2,} that changes Diag to and maps vector to . Then U_{1}U_{2} is the unitary we want for the ddimensional cases.
Since we have two solutions when d = 2, it can be seen from the induction that generally 2^{d−1} solutions can be found.
Proof of Theorems 2 and 3. Theorem 2 is covered by Theorem 3, thus we give only the proof of the latter. For convenience, we make use of the freedom of relabeling to assume that and the same applies for distributions Q. Then P′ and , which are also labeled by such an order, will give the smallest value.
Lemma. If the probability distributions P and Q are sorted by the order that and , then among all ways of labeling the probabilities in P′ and , the one satisfying and gives the minima to . The proof is omitted here.
Without loss of generality, we assume that elements in P and Q are all positive. For possible problems caused by zero elements, we can take the limit from infinitesimal positive factors. Consider the geometric surface of in manifold . First, it is composed by (d!)^{2} symmetric components due to permutation. The above lemma tells us that we only need to consider the single component on which P′ and are labeled in decreasing order. Such a component looks like a polytope with many faces and we only need to take the faces associated with the definition of majorization into account. (Faces associated with equations like or points on them will give infinite value to the sum of error and disturbance, thus we do not need to care about them; other faces of the component associated with the decreasing order of labeling are not faces of ). Consider the following equations
Now we use n to denote the dimension of the manifold, i.e., n = 2(d − 1). An (n − j)dimension surfaces of is produced by j equations of the above equation string, accompanied with the restriction that .
Now let us consider the minimum value on an (n − k)dimension surface (j ranges from 1 to d − 1). The j equations cut the subscript string 1 ~ d into k + 1 sections that the sum of and the sum of within each subscriptsection are equal. We use S_{t} to denote the different sections and define notations
do the same for the distributions P, Q and . Then we use the Lagrange multiplier method to search for the extreme value:
where the equivalence in each section has already implies that . Simple calculation shows that the minima is obtained on the point
if the subscript “i” is in the tth section where λ_{p} = 2 and . To write down the minimum value, we define two distributions obtained from P, Q by coarse graining:
and an average of the two, with elements . Then the minimum value obtained from Eq. (18) is given by the JensenShannon divergence, .
Now we have to check whether this point is located on the (n − j)surface of , i.e., whether given by Eq. (18) satisfies the requirement that . Since , if and only if P and Q satisfy the condition that within any section, such as S_{t}. After renormalizing and to a common factor we must have in each section. More rigorously, suppose that section S_{t} has subscripts , then if and only if Eq. (4) is valid for all these sections. This is the conception of “majorization by sections” introduced above.
If the above condition is not satisfied, the point defined by Eq. (18) locates outside of so we should consider the edges of the (n − j)dimensional surface, i.e., we should add another equation in Eq. (15) and study the (n − j − 1)dimensional case. If the above condition is satisfied, a finer partition, i.e., adding extra equations in Eq. (15), will not bring a lower value.
So we have to find the family of all the coarsest partitions of the subscript string (anyone in this family is not a refinement of another one in it) under which P majorizes Q by sections. Then we calculate the JensenShannon divergence corresponding to the partitions and the minimum is just the minimum over . With the notations , the above analysis leads to Theorem 3.
One may wonder whether the solution given by Eq. (18) follows the order and . Actually, we do not need to care. This is because ensures such that the solution is in . Thus all the values derived from can be reached in , and meanwhile the real minima over must link with one partition in . So the minimizing over will always give the minima we want.
The second part of Theorem 3, which gives the sufficient condition for the situations when D_{JS}(P, Q) serves as the lower bound, can be checked straightforwardly. Theorem 2 is covered in this case.
Generalization to mixed input states
Mixed states emerge by statistically ignoring some subsystems and losing some classical information, i.e., including classical uncertainty in the scenario. Theorem 3, inequality for the tradeoff, is still valid because the relation holds for mixed input states. Actually one can do more analysis in to get a tighter bound, since P′ is also majorized by the string of eigenvalues of the input ρ. Other versions of Theorem 3 could be derived with other metrics of distance between probability distributions. The relative entropy could be infinity. One with finite upper bound can be utilized if someone wanted to derive a BLWtype theory from ours.
As to Theorem 1, let us give it another proof for qubits. The density matrix of the input state, A, B and the observable of the reallife measurement O_{A}, can be represented by four vectors , , and in Bloch sphere. The probability distributions have one to one correspondence with the inner products such as and . They can be assumed to be positive due to the freedom of relabeling the eigenstates of A and B. Suppose the angle between and is θ_{a} and the angle between and is θ_{b}. Now implies that θ_{a} ≤ θ_{b}. can be obtained by rotating around such that P′ = P. Thus the angle between and will range from θ_{b} − θ_{a} to θ_{a} + θ_{b}. Then there must be a case where we have , which then leads to . It can be seen from the proof that what important is not the norm of , but rather its direction and the interangles between the vectors representing ψ〉, and b_{j}〉.
For higher dimensions, projectors of pure states can also be represented by coherent vectors as
We have proved Theorem 1 for pure states. Drawing an analogy with the qubit case, we conclude that Theorem 1 is valid for mixed states in the form of , which have parallel but shorter coherent vectors compared with ψ〉. In other words, Theorem 1 is robust under depolarization decoherence. The validity of Theorem 1 for more general mixed states is still open.
Additional Information
How to cite this article: Zhang, Y.X. et al. Quantum uncertainty switches on or off the errordisturbance tradeoff. Sci. Rep. 6, 26798; doi: 10.1038/srep26798 (2016).
References
 1
Heisenberg, W. Über den anschaulichen inhalt der quantentheoretischen kinematik und mechanik. Z. Phys. 43, 172–198 (1927).
 2
Feynman, R. P., Leighton, R. B. & Sands, M. L. The Feynman Lectures on Physics (AddisonWesley, 1966).
 3
Dirac, P. A. M. The Principle of Quantum Mechanics (Oxford University Press, 1930).
 4
Kennard, E. H. Zur Quantenmechanik einfacher bewegungstypen. Z. Phys. 44, 326–352 (1927).
 5
Robertson, H. P. The uncertainty principle. Phys. Rev. 34, 163–164 (1929).
 6
Deutsch, D. Uncertainty in quantum measurements. Phys. Rev. Lett. 50, 631 (1983).
 7
Maassen, H. & Uffink, J. B. M. Generalized entropic uncertainty relations. Phys. Rev. Lett. 60, 1103 (1988).
 8
Wu, S., Yu, S. & Mølmer, K. Entropic uncertainty relation for mutually unbiased bases. Phys. Rev. A 79, 022104 (2009).
 9
Liu, S., Mu, L.Z. & Fan, H. Entropic uncertainty relations for multiple measurements. Phys. Rev. A 91, 042133 (2015).
 10
Ozawa, M. Universally valid reformulation of the Heisenberg uncertainty principle on noise and disturbance in measurement. Phys. Rev. A 67, 042105 (2003).
 11
Rozema, L. A. et al. Violation of Heisenberg’s measurementdisturbance relationship by weak measurements. Phys. Rev. Lett. 109, 100404 (2012).
 12
Erhart, J. et al. Experimental demonstration of a universally valid errordisturbance uncertainty relation in spin measurements. Nat. Phys. 8, 185–189 (2012).
 13
Ringbauer, M. et al. Experimental joint quantum measurements with minimum uncertainty. Phys. Rev. Lett. 112, 020401 (2014).
 14
Kaneda, F., Baek, S.Y., Ozawa, M. & Edamatsu, K. Experimental test of errordisturbance uncertainty relations by weak measurement. Phys. Rev. Lett. 112, 020402 (2014).
 15
Baek, S.Y., Kaneda, F., Ozawa, M. & Edamatsu, K. Experimental violation and reformulation of the Heisenberg’s errordisturbance. Sci. Rep. 3, 2221 (2013).
 16
Sulyok, G. et al. Violation of Heisenberg’s errordisturbance uncertainty relation in neutronspin measurements. Phys. Rev. A 88, 022110 (2013).
 17
Ozawa, M. Disproving heisenberg’s errordisturbance relation. arXiv: 1308.3540 [quantph].
 18
Rozema, L. A., Mahler, D. H., Hayat, A. & Steinberg, A. M. A note on different definitions of moment disturbance. arXiv: 1307.3604 [quantph].
 19
Dressel, J. & Nori, F. Certainty in Heisenberg’s uncertainty principle: revisting definitions for estimation errors and disturbance. Phys. Rev. A 89, 022106 (2014).
 20
Branciard, C. Errortradeoff and errordisturbance relations for incompatible quantum measurements. Proc. Natl. Acad. Sci. USA 110, 6742 (2013).
 21
Coles, P. J. & Furrer, F. Entropic formulation of heisenberg errordisturbance relation. arXiv: 1311. 7637 [quantph].
 22
Busch, P., Lahti, P. & Werner, R. F. Measurement uncertaintyreply to critics. arXiv: 1402.3102 [quantph].
 23
Busch, P., Lahti, P. & Werner, R. F. Noise operators and measures of RMS errors and disturbance in quantum mechanics. arXiv: 1312.4393 [quantph].
 24
Busch, P., Lahti, P. & Werner, R. F. Heisenberg uncertainty for qubit measurements. Phys. Rev. A 89, 012129 (2014).
 25
Busch, P., Lahti, P. & Werner, R. F. Proof of Heisenberg’s errordisturbance relation. Phys. Rev. Lett. 111, 160405 (2013).
 26
Buscemi, F., Hall, M. J. W., Ozawa, M. & Wilde, M. M. Noise and disturbance in quantum measurements: an informationtheoretic approach. Phys. Rev. Lett. 112, 050401 (2014).
 27
Korzekwa, K., Jennings, D. & Rudolph, T. Operational constraints on statedependent formulations of quantum errordisturbance tradeoff relations. Phys. Rev. A 89, 052108 (2014);
 28
Zurek, W. H. Pointer basis of quantum apparatus: into what mixture does the wave packet collapse? Phys. Rev. D 24, 1516 (1981).
 29
Girolami, D., Tufarelli, T. & Adesso, G. Characterizing nonclassical correlations via local quantum uncertainty. Phys. Rev. Lett. 110, 240402 (2012).
 30
Marshall, A. W., Ingram, O. & Arnold, B. C. Inequalities: Theory of Majorization and Its Applications, 2nd Edition, Springer Series in Statistics (Springer, New York, 2011).
 31
Hardy, G. H., Littlewood, J. E. & Polya, G. Some simple inequalities satisfied by convex functions. Messenger Math. 58, 145–152 (1929).
 32
Endres, D. M. & Schindelin, J. E. A new metric for probability distributions. IEEE Trans. Inf. Theory 49, 1858–1860 (2003).
 33
Holevo, A. S. Information theoretical aspects of quantum measurements. Prob. Inf. Transmission USSR 9, 177–183 (1973).
 34
Busch, P. & Stevens, N. Direct tests of measurement uncertainty relations: what it takes. Phys. Rev. Lett. 114, 070402 (2015).
 35
Kok, P. & Lovett, B. W. Introduction to Optical Quantum Information Processing (Cambridge Univ. Press, 2010).
 36
Wiseman, H. M. & Milburn, G. J. Quantum Measurements and Control (Cambridge Univ. Press, 2009).
Acknowledgements
We thank Zhihao Ma, Yutaka Shikano for discussions. This work was supported by the National Natural Science Foundation of China (Grants Nos 11305118, 11275181 and 61125502), the National Fundamental Research Program of China (Grant No. 2011CB921300), and the CAS.
Author information
Affiliations
Contributions
Y.X.Z., Z.E.S., X.Z., S.W. and Z.B.C. designed the research, discussed the results and analyzed the data. Y.X.Z. and X.Z. proved the theorems and did the theoretical analysis, Z.E.S. and Y.X.Z. performed the experiments and analyzed the experimental data. Y.X.Z., S.W. and Z.B.C. wrote the manuscript. All the authors reviewed the manuscript.
Corresponding authors
Ethics declarations
Competing interests
The authors declare no competing financial interests.
Rights and permissions
This work is licensed under a Creative Commons Attribution 4.0 International License. The images or other third party material in this article are included in the article’s Creative Commons license, unless indicated otherwise in the credit line; if the material is not included under the Creative Commons license, users will need to obtain permission from the license holder to reproduce the material. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/
About this article
Cite this article
Zhang, Y., Su, Z., Zhu, X. et al. Quantum uncertainty switches on or off the errordisturbance tradeoff. Sci Rep 6, 26798 (2016). https://doi.org/10.1038/srep26798
Received:
Accepted:
Published:
Further reading
Comments
By submitting a comment you agree to abide by our Terms and Community Guidelines. If you find something abusive or that does not comply with our terms or guidelines please flag it as inappropriate.