Universal Uncertainty Principle in the Measurement Operator Formalism
Masanao Ozawa
备注：
11 pages. Based on the author's invited talk at the 9th International Conference on Squeezed States and Uncertainty Relations (ICSSUR'2005), Besancon, France, May 2-6, 2005
发表信息：
J. Opt. B: Quantum Semiclass. Opt. 7, S672-S681 (2005)
Heisenberg's uncertainty principle has been understood to set a limitation on measurements; however, the long-standing mathematical formulation established by Heisenberg, Kennard, and Robertson does not allow such an interpretation. Recently, a new relation was found to give a universally valid relation between noise and disturbance in general quantum measurements, and it has become clear that the new relation plays a role of the first principle to derive various quantum limits on measurement and information processing in a unified treatment. This paper examines the above development on the noise-disturbance uncertainty principle in the model-independent approach based on the measurement operator formalism, which is widely accepted to describe a class of generalized measurements in the field of quantum information. We obtain explicit formulas for the noise and disturbance of measurements given by the measurement operators, and show that projective measurements do not satisfy the Heisenberg-type noise-disturbance relation that is typical in the gamma-ray microscope thought experiments. We also show that the disturbance on a Pauli operator of a projective measurement of another Pauli operator constantly equals the square root of 2, and examine how this measurement violates the Heisenberg-type relation but satisfies the new noise-disturbance relation.
Entropic uncertainty relations express the quantum mechanical uncertainty principle by quantifying uncertainty in terms of entropy. Central questions include the derivation of lower bounds on the total uncertainty for given observables, the characterization of observables that allow strong uncertainty relations, and the construction of such relations for the case of several observables. We demonstrate how the stabilizer formalism can be applied to these questions. We show that the Maassen-Uffink entropic uncertainty relation is tight for the measurement in any pair of stabilizer bases. We comp…
Time evolution is an indivisible part in any physics theory. Usually, people are accustomed to think that the universe is a fixed background and the system itself evolves step by step in time. However, Yakir Aharonov challenges this view using his two-vector formalism. In this paper, using the entangled history formalism, we attain three achievements.
This paper deduces universal uncertainty principle in different quantum theories after about one century of proposing uncertainty principle by Heisenberg, i.e., new universal uncertainty principle of any orders of physical quantities in quantum physics, overcomes the difficulty that current quantum computer, quantum communication, quantum control, quantum mechanics and so on theories cannot give exact values of general uncertainty of any orders of physical quantities, further gives all relevant different expressions of the universal uncertainty principle and their applications. In fact, our st…
In this comment we show that the experimental results for a universally valid uncertainty relation in ref.[J. Erhart et al. Nat. Phys.(2012)10.1038/nphys2194]cannot be justified. The experiments cannot be recognized to establish a violation of the Heisenberg-type uncertainty relation suggested by Ozawa[Phys. Lett. A318(2003)21, Phys. Rev. A67(2003)042105].
We present a new geometric formulation of uncertainty relation valid for any quantum measurements of statistical nature. Owing to its simplicity and tangibility, our relation is universally valid and experimentally viable. Although our relation violates the na{ï}ve non-commutativity bound $\hbar/2$ for the measurement of position and momentum, the spirit of the uncertainty principle still stands strong. Our relation entails, among others, the Ozawa relation as a corollary, and also reduces seamlessly to the standard Kennard-Robertson relation when the measurement is non-informative.
Characterization and certification of nonlocal correlations is one of the the central topics in quantum information theory. In this work, we develop the detection methods of entanglement and steering based on the universal uncertainty relations and fine-grained uncertainty relations. In the course of our study, the uncertainty relations are formulated in majorization form, and the uncertainty quantifier can be chosen as any convex Schur concave functions, this leads to a large set of inequalities, including all existing criteria based on entropies. We address the question that if all steerable…
We study universal uncertainty relations and present a method called joint probability distribution diagram to improve the majorization bounds constructed independently in [Phys. Rev. Lett. 111, 230401 (2013)] and [J. Phys. A. 46, 272002 (2013)]. The results give rise to state independent uncertainty relations satisfied by any nonnegative Schur-concave functions. On the other hand, a remarkable recent result of entropic uncertainty relation is the direct-sum majorization relation. In this paper, we illustrate our bounds by showing how they provide a complement to that in [Phys. Rev. A. 89, 052…
We study the diffraction of two maximally entangled qubits encoded into spatial modes of light with orbital angular momenta $\pm \hbar l_0$, on angular apertures. Exploiting the uncertainty relation between angular position and momentum, we quantify the diffraction-induced entanglement loss, for different $l_0$, as a function of the angular uncertainty $Δϕ$ induced by the apertures. We demonstrate that the degradation of entanglement follows a universal law parametrised by the product $l_0Δϕ$ alone.} {We study the diffraction of two photonic qubits, which are initially maximally entangled in t…
A general theory of preparational uncertainty relations for a quantum particle in one spatial dimension is developed. We derive conditions which determine whether a given smooth function of the particle's variances and its covariance is bounded from below. Whenever a global minimum exists, an uncertainty relation has been obtained. The squeezed number states of a harmonic oscillator are found to be universal: no other pure or mixed states will saturate any such relation. Geometrically, we identify a convex uncertainty region in the space of second moments which is bounded by the inequality der…
Uncertainty relations are a distinctive characteristic of quantum theory that impose intrinsic limitations on the precision with which physical properties can be simultaneously determined. The modern work on uncertainty relations employs \emph{entropic measures} to quantify the lack of knowledge associated with measuring non-commuting observables. However, there is no fundamental reason for using entropies as quantifiers; any functional relation that characterizes the uncertainty of the measurement outcomes defines an uncertainty relation. Starting from a very reasonable assumption of invarian…
Based on the statistical concept of the median, we propose a quantum uncertainty relation between semi-interquartile ranges of the position and momentum distributions of arbitrary quantum states. The relation is universal, unlike that based on the mean and standard deviation, as the latter may become non-existent or ineffective in certain cases. We show that the median-based one is not saturated for Gaussian distributions in position. Instead, the Cauchy-Lorentz distributions in position turn out to be the one with the minimal uncertainty, among the states inspected, implying that the minimum-…
A universal formulation of uncertainty relations for quantum measurements is presented with additional focus on the representability of quantum observables by classical observables over a given state. Owing to the simplicity and operational tangibility of the framework, the resultant general relations admit natural operational interpretations and characterisations, and are thus also experimentally verifiable. In view of the universal formulation, Heisenberg's philosophy of the uncertainty principle is also revisited; it is reformulated and restated as a refined no-go theorem, albeit perhaps in…
We derive a new memory-assisted entropic uncertainty relation for non-degenerate Hermitian observables where both quantum correlations, in the form of conditional von Neumann entropy, and quantum discord between system and memory play an explicit role. Our relation is `universal', in the sense that it does not depend on the specific observable, but only on properties of the quantum state. We contrast such an uncertainty relation with previously known memory-assisted relations based on entanglement and correlations. Further, we present a detailed comparative study of entanglement- and discord-a…
Historically, the element of uncertainty in quantum mechanics has been expressed through mathematical identities called uncertainty relations, a great many of which continue to be discovered. These relations use diverse measures to quantify uncertainty (and joint uncertainty). In this paper we use operational information-theoretic principles to identify the common essence of all such measures, thereby defining measure-independent notions of uncertainty and joint uncertainty. We find that most existing entropic uncertainty relations use measures of joint uncertainty that yield themselves to a s…
A universal formulation of the quantum uncertainty regarding quantum indeterminacy, quantum measurement, and its inevitable observer effect is presented with additional focus on the representability of quantum observables over a given state. The operational tangibility of the framework assures that the resultant general relations admit natural operational interpretations and characterisations, and thereby perhaps most importantly, their experimental verifiability. In view of the universal formulation, Heisenberg's original philosophy of the uncertainty principle, most typically exemplified in …
Employing the lattice theory on majorization, we investigate the universal quantum uncertainty relation for any number observables and general measurement. We find: 1. The least bounds of the universal uncertainty relations can only be properly defined in the lattice theory; 2. Contrary to variance and entropy, the metric induced by the majorization lattice implies an intrinsic structure of the quantum uncertainty; 3. The lattice theory correlates the optimization of uncertainty relation with the entanglement transformation under local quantum operation and classical communication. Interesting…
We propose a new generalised formalism for estimating the quantum phase uncertainty of pure and mixed continuous-variable quantum states and compare this with the phase uncertainty given by the quantum Fisher information. In order to preserve the Hermiticity of the operators, we use the Heisenberg and Schroedinger uncertainty relations to derive expressions for the phase uncertainty from generalised Susskind-Glogower operators. This formalism not only offers the possibility of directly measuring quantum phase uncertainties in a cavity-QED experiment but also gives a significant computational s…
Uncertainty relations describe the lower bound of product of standard deviations of observables. By revealing a connection between standard deviations of quantum observables and numerical radius of operators, we establish a universal uncertainty relation for any $k$ observables, of which the formulation depends on the even or odd quality of $k$. This universal uncertainty relation is tight at least for the cases $k=2n$ and $k=3$. For two observables, the uncertainty relation is exactly a simpler reformulation of Schrödinger's uncertainty principle.
Which quantum states minimise the unavoidable uncertainty arising from the non-commutativity of two observables? The immediate answer to such a question is: it depends. Due to the plethora of uncertainty measures there are many answers. Here, instead of restricting our study to a particular measure, we present plausible axioms for the set $\mathcal{F}$ of bona-fide information-theoretic uncertainty functions. Then, we discuss the existence of states minimising uncertainty with respect to all members of $\mathcal{F}$, i.e., universal minimum uncertainty states (MUS). We prove that such states d…
In the recent paper, Ref. 1, the l-waves Schrödinger equation for the Cornell's potential is solved in quantum mechanics with a generalized uncertainty principle by following Ref. 2. It is showed here that the approach of Ref. 2 can only be used for the s-waves, and then the solution given in Ref. 1 would be true only in the special case l=0. Furthermore, it is highlighted that the abstract and the conclusion of Ref. 1 do not accurately reflect the results of the paper.
We establish uncertainty relations between information loss in general open quantum systems and the amount of non-ergodicity of the corresponding dynamics. The relations hold for arbitrary quantum systems interacting with an arbitrary quantum environment. The elements of the uncertainty relations are quantified via distance measures on the space of quantum density matrices. The relations hold for arbitrary distance measures satisfying a set of intuitively satisfactory axioms. The relations show that as the non-ergodicity of the dynamics increases, the lower bound on information loss decreases,…
Heisenberg's uncertainty principle, which imposes intrinsic restrictions on our ability to predict the outcomes of incompatible quantum measurements to arbitrary precision, demonstrates one of the key differences between classical and quantum mechanics. The physical systems considered in the uncertainty principle are static in nature and described mathematically with a quantum state in a Hilbert space. However, many physical systems are dynamic in nature and described with the formalism of a quantum channel. In this paper, we show that the uncertainty principle can be reformulated to include p…
Heisenberg's uncertainty principle, exemplified by the gamma ray thought experiment, suggests that any finite precision measurement disturbs any observables noncommuting with the measured observable. Here, it is shown that this statement contradicts the limit of the accuracy of measurements under conservation laws originally found by Wigner in 1950s, and should be modified to correctly derive the unavoidable noise caused by the conservation law induced decoherence. The obtained accuracy limit leads to an interesting conclusion that a widely accepted, but rather naive, physical encoding of qubi…
The uncertainty principle generally prohibits determination of certain pairs of quantum mechanical observables with arbitrary precision and forms the basis of indeterminacy in quantum mechanics. It was Heisenberg who used the famous gamma-ray microscope thought experiment to illustrate this indeterminacy. A lower bound was set for the product of the measurement error of an observable and the disturbance caused by the measurement. Later on, the uncertainty relation was reformulated in terms of standard deviations, which focuses solely on indeterminacy of predictions and neglects unavoidable rec…
The d-level or qudit one-way quantum computer (d1WQC) is described using the valence bond solid formalism and the generalised Pauli group. This formalism provides a transparent means of deriving measurement patterns for the implementation of quantum gates in the computational model. We introduce a new universal set of qudit gates and use it to give a constructive proof of the universality of d1WQC. We characterise the set of gates that can be performed in one parallel time step in this model.
In recent years, the non-relativistic quantum dynamics derived from three assumptions; i) probability current conservation, ii) average energy conservation, and iii) an epistemic momentum uncertainty [A. Budiyono and D. Rohrlich, \href{https://doi.org/10.1038/s41467-017-01375-w}{Nat. Commun 8, 1306 (2017)}]. Here we show that, these assumptions can be derived from a natural extension of classical statistical mechanics.
A universally valid uncertainty relation proposed by Ozawa is re-investigated under for the generalized equation of motion with some boundary condition. Necessary conditions for violation (lessening) of the Heisenberg-type uncertainty relation is discussed in detail. An experimental test of lessening of the generalized uncertainty relation due to the boundary condition is shown by re-analyzing the data measuring electron densities of hydrogen molecule encapsulated in a cage of fullerene C60.
In spite of enormous theoretical and experimental progresses in quantum uncertainty relations, the experimental investigation of most current, and universal formalism of uncertainty relations, namely majorization uncertainty relations (MURs), has not been implemented yet. A significant problem is that previous studies on the classification of MURs only focus on their mathematical expressions, while the physical difference between various forms remains unknown. First, we use a guessing game formalism to study the MURs, which helps us disclosing their physical nature, and distinguishing the esse…
The quantum formalism is a ``measurement'' formalism--a phenomenological formalism describing certain macroscopic regularities. We argue that it can be regarded, and best be understood, as arising from Bohmian mechanics, which is what emerges from Schrödinger's equation for a system of particles when we merely insist that ``particles'' means particles. While distinctly non-Newtonian, Bohmian mechanics is a fully deterministic theory of particles in motion, a motion choreographed by the wave function. We find that a Bohmian universe, though deterministic, evolves in such a manner that an {\it a…
The Heisenberg uncertainty principle states that the product of the noise in a position measurement and the momentum disturbance caused by that measurement should be no less than the limit set by Planck's constant, hbar/2, as demonstrated by Heisenberg's thought experiment using a gamma-ray microscope. Here I show that this common assumption is false: a universally valid trade-off relation between the noise and the disturbance has an additional correlation term, which is redundant when the intervention brought by the measurement is independent of the measured object, but which allows the noise…
A universally valid Heisenberg uncertainty relation is proposed by combining the universally valid error-disturbance uncertainty relation of Ozawa with the relation of Robertson. This form of the uncertainty relation, which is defined with the same mathematical rigor as the relations of Kennard and Robertson, incorporates both of the intrinsic quantum fluctuations and measurement effects.
We formulate and prove a new, universally valid uncertainty relation for the necessary errors bar widths in any approximate joint measurement of position and momentum.
In the conventional formulation, it is broadly accepted that simultaneous measurability and commutativity of observables are equivalent. However, several objections have been claimed that there are cases in which even nowhere commuting observables can be measured simultaneously. Here, we outline a new theory of simultaneous measurements based on a state-dependent formulation, in which nowhere commuting observables are shown to have simultaneous measurements in some states, so that the known objections to the conventional theory are theoretically justified. We also discuss new results on the re…
Heisenberg's uncertainty principle was originally posed for the limit of the accuracy of simultaneous measurement of non-commuting observables as stating that canonically conjugate observables can be measured simultaneously only with the constraint that the product of their mean errors should be no less than a limit set by Planck's constant. However, Heisenberg with the subsequent completion by Kennard has long been credited only with a constraint for state preparation represented by the product of the standard deviations. Here, we show that Heisenberg actually proved the constraint for the ac…
Starting with the first-order singular Lagrangian describing the dynamical system with 2nd-class constraints, the noncommutative quantum mechanics on a curved space is investigated by the constraint star-product quantization formalism of the projection operator method. Imposing the additional constraints to eliminate the reduntant degrees of freedom, it is shown that the resultant noncommutative quantum system on the curved space is represented with two kinds of the constrained quantum systems, which are equivalent with each other. Then, it is shown that the resultant Hamiltonians contain the …
In this article we develop, step by step, the framework for universal dynamical control of two-level systems (TLS) or qubits experiencing amplitude- or phase-noise (AN or PN) due to coupling to a thermal bath. A comprehensive arsenal of modulation schemes is introduced and applied to either AN or PN, resulting in completely analogous formulae for the decoherence rates, thus underscoring the unified nature of this universal formalism. We then address the extension of this formalism to multipartite decoherence control, where symmetries are exploited to overcome decoherence.
The causality issues concerning the localization of relativistic quantum systems, as evidenced by Hegerfeld's paradox, are addressed through a proper-time formalism of single-particle operators. Starting from the premise that physical variables associated to the proper-time gauge have a prominent role in the specification of position, since they do not depend on classical parameters connected to an external observer, we obtain a single-particle formalism in which localization is described by explicitly covariant four-vector operators associated with POVM measurements parametrized by the system…
The uncertainty principle being a cornerstone of quantum mechanics, it is surprising that in nearly 90 years there have been no direct tests of measurement uncertainty relations. This lacuna was due to the absence of two essential ingredients: appropriate measures of measurement error (and disturbance), and precise formulations of such relations that are {\em universally valid}and {\em directly testable}. We formulate two distinct forms of direct tests, based on different measures of error. We present a prototype protocol for a direct test of measurement uncertainty relations in terms of {\em …
Inertial effects in non-inertial reference frames are compared with quantum properties of tests objects. The real space-time and perfect inertial reference frame can be compared accurate to the uncertainty relation. Complexities if describing micro-object in non-inertial reference-frames are avoidable using Ostrogradski's Canonical Formalism.
The theories of quantum mechanics and relativity dramatically altered our understanding of the universe ushering in the era of modern physics. Quantum theory deals with objects probabilistically at small scales, whereas relativity deals classically with motion in space and time. We show here that the mathematical structures of quantum theory and of relativity follow together from pure thought, defined and uniquely constrained by the same elementary "combining and sequencing" symmetries that underlie standard arithmetic and probability. The key is uncertainty, which inevitably accompanies obser…
A numerical illustration of a universally valid Heisenberg uncertainty relation, which was proposed recently, is presented by using the experimental data on spin-measurements by J. Erhart, et al.[ Nature Phys. {\bf 8}, 185 (2012)]. This uncertainty relation is closely related to a modified form of the Arthurs-Kelly uncertainty relation which is also tested by the spin-measurements. The universally valid Heisenberg uncertainty relation always holds, but both the modified Arthurs-Kelly uncertainty relation and Heisenberg's error-disturbance relation proposed by Ozawa, which was analyzed in the o…
Using virtual spin formalism it is shown that a quantum particle with eight energy levels can store three qubits. The formalism allows to realize a universal set of quantum gates. Feasible formalism implementation is suggested which uses nuclear spin-7/2 as a storage medium and radio frequency pulses as the gates. One pulse realization of all universal gates has been found, including three-qubit Toffoli gate.
Following a proposal of Vaidman, Sebens and Carroll have argued that in Everettian (i.e. purely unitary) quantum theory, observers are uncertain, before they complete their observation, about which Everettian branch they are on. They argue further that this solves the problem of making sense of probabilities within Everettian quantum theory, even though the theory itself is deterministic. We note some problems with these arguments.
Implementing a qubit quantum computer in continuous-variable systems conventionally requires the engineering of specific interactions according to the encoding basis states. In this work, we present a unified formalism to conduct universal quantum computation with a fixed set of operations but arbitrary encoding. By storing a qubit in the parity of two or four qumodes, all computing processes can be implemented by basis state preparations, continuous-variable exponential-swap operations, and swap-tests. Our formalism inherits the advantages that the quantum information is decoupled from collec…
The classical and quantum evolution of a generic probability distribution is analyzed. To that end, a formalism based on the decomposition of the distribution in terms of its statistical moments is used, which makes explicit the differences between the classical and quantum dynamics. In particular, there are two different sources of quantum effects. Distributional effects, which are also present in the classical evolution of an extended distribution, are due to the fact that all moments can not be vanishing because of the Heisenberg uncertainty principle. In addition, the non-commutativity of …
We study universally valid uncertainty relations in general quantum systems described by general $σ$-finite von Neumann algebras to foster developing quantitative analysis in quantum systems with infinite degrees of freedom such as quantum fields. We obtain the most stringent measurement-disturbance relation ever, applicable to systems with infinite degrees of freedom, by refining the proofs given by Branciard and one of the authors (MO) for systems with finite degrees of freedom. In our proof the theory of the standard form of von Neumann algebras plays a crucial role, incorporating with meas…
One of the limitations to the quantum computing capability of a continuous-variable system is determined by our ability to cool it to the ground state, because pure logical states, in which we accurately encode quantum information, are conventionally pure physical states that are constructed from the ground state. In this work, we present an alternative quantum computing formalism that encodes logical quantum information in mixed physical states. We introduce a class of mixed-state protocols that are based on a parity encoding, and propose an implementation of the universal logic gates by usin…
Universally valid uncertainty relations are proven in a model independent formulation for inherent and unavoidable extra noises in arbitrary joint measurements on single systems, from which Heisenber's original uncertainty relation is proven valid for any joint measurements with statistically independent noises.
The evaluation of uncertainties in quantum measurements is problematic since the correct value of an observable between state preparation and measurement is experimentally inaccessible. In Ozawa's formulation of uncertainty relations for quantum measurements, the correct value of an observable is represented by the operator of that observable. Here, I consider the implications of this operator-based assignment of values to individual systems and discuss the relation with weak values and weak measurement statistics.
Noncommutativity lies in the heart of quantum theory and provides rich set of interesting questions in physics and mathematics. In this work I present some of them through the concept of Joint Numerical Range (JNR) - the set of simultaneously attainable averages of quantum observables, which in general need not commute. Full description of JNR geometry quickly becomes complex as the dimensionality of quantum system grows. In this thesis I present already existing results in the theory of JNR, generalizations of the formalism and applications of JNR in the theory of phase transitions and uncert…
So-called quantum limits and their achievement are important themes in physics. Heisenberg's uncertainty relations are the most famous of them but are not universally valid and violated in general. In recent years, the reformulation of uncertainty relations is actively studied, and several universally valid uncertainty relations are derived. On the other hand, several measuring models, in particular, spin-1/2 measurements, are constructed and quantitatively examined. However, there are not so many studies on simultaneous measurements of position and momentum despite their importance. Here we s…
