It is shown that the full unknown state of a spin-1/2 system, S, which, within Born's statistical interpretation, is meant as the state of an ensamble of identically prepared systems, can be determined with a simultaneous measurement with the help of an "assistant" system A whose initial state is known. The idea is to let S and A interact with each other in a known way during a proper interaction time, to measure simultaneously two observables, one of S and one of A and their correlation.
One thus determines the three unknown components of the polarization vector of S by means of repeated experiments using a unique setting. In this way one can measure simultaneously all the non-commutative observables of S, which might seem prohibited in quantum mechanics.
Heisenberg uncertainty relation in quantum mechanics sets the limit on the measurement precision of non-commuting observables, which prevents us from measuring them accurately at the same time. In some applications, however, the information are embedded in two or more non-commuting observables. On the other hand, quantum entanglement allows us to infer through Einstein-Podolsky-Rosen correlations two conjugate observables with precision better than what is allowed by Heisenberg uncertainty relation. With the help of the newly developed SU(1,1) interferometer, we implement a scheme to measure j…
The fact that not all quantum observables are jointly measurable is one of the major differences between quantum and classical theory. In the former, non-commuting observables can only be simultaneously measured with limited precision. We report on an experimental implementation of such a simultaneous measurement of two non-commuting observables based on the framework of weak von Neumann measurements. We use a photonic setup where the polarisation degree of freedom acts as the system and the two components of the transversal position correspond to the pointers of the measurement apparatuses. I…
Considering the simultaneous measurement of non-commuting observables, we define a geometric measure for the degree of non-commuting behavior of quantum measurements coming from the initial and final states of the measurements. The rationality of our geometric measure is demonstrated and the application of it is presented. The connection between our measure and Heisenberg's uncertainty principle is discussed as well. Our work deepens the understanding of quantum non-commuting measurement.
Sequential weak measurements of non-commuting observables is not only fundamentally interesting in quantum measurement but also shown potential in various applications. The previous reported methods, however, can only realize limited sequential weak measurements experimentally. In this Letter, we propose the realization of sequential measurements of arbitrary observables and experimentally demonstrate for the first time the measurement of sequential weak values of three non-commuting Pauli observables by using genuine single photons. The results presented here will not only improve our underst…
Simultaneous measurement of several noncommuting observables is modeled by using semigroups of completely positive maps on an algebra with a non-trivial center. The resulting piecewise-deterministic dynamics leads to chaos and to nonlinear iterated function systems (quantum fractals) on complex projective spaces.
The problem of inferring the outcome of a simultaneous measurement of two non-commuting observables is addressed. We show that for certain pairs with dense spectra, precise inferences of the measurement outcomes are possible in pre-and post-selected ensembles, and if the selections involve entangled states with some other system. We show that the problem is related to the problem of assigning weak values to a continuous family of operators, and give explicit examples where this problem is solvable. Some foundational implications are briefly discussed.
In quantum mechanics, measurements cause wavefunction collapse that yields precise outcomes, for non-commuting observables such as position and momentum Heisenberg's uncertainty principle limits the intrinsic precision of a state. Although theoretical work has demonstrated the possibility to perform simultaneous non-commuting measurements and has revealed the limits on measurement outcomes, only recently has the dynamics of the quantum state been discussed. To realize this unexplored regime, we simultaneously apply two continuous quantum non-demolition probes of non-commuting observables to a …
We consider the state determination problem using Mutually Unbiased Bases(MUBs). For spin-1, spin-3/2 and spin-2 systems, analogous to Pauli operators of spin-1/2 system, which are experimentally implementable and correspond to the optimum measurement in characterizing the density matrix, we describe a procedure to construct an orthonormal set of operators from MUBs. The constructed operators are maximally commuting, can be physically realized, and correspond to physical observables. The method of construction is general enough to allow for extensions to higher-dimensional spin systems and arb…
Uncertainty relations lie at the very core of quantum mechanics, and form the cornerstone of essentially all quantum cryptographic applications. In particular, they play an important role in cryptographic protocols in the bounded-quantum-storage model, where proving the security of all existing protocols ultimately reduces to bounding such relations. Yet, very little is known about such uncertainty relations for more than two measurements. Here, we prove optimal entropic uncertainty relations for anti-commuting binary observables for the Shannon entropy, and nearly optimal relations for the co…
A formula for the commutator of tensor product matrices is used to shows that, for qubits, compatibility of quantum multiparty observables almost never implies local compatibility at each site and to predict when this happens/does not happen in a concise manner. In particular, it is shown that two ``fully nontrivial'' $n$-qubit observables are compatible locally and globally if and only if they are equal up to sign. In addition, the formula gives insight into the construction of new paradoxes of the type of the Kochen-Specker Theorem, which can then be easily rephrased into proposals for new n…
It is known that non-commuting observables in quantum mechanics do not have joint probability. This statement refers to the precise (additive) probability model. I show that the joint distribution of any non-commuting pair of variables can be quantified via upper and lower probabilities, i.e. the joint probability is described by an interval instead of a number (imprecise probability). I propose transparent axioms from which the upper and lower probability operators follow. They depend only on the non-commuting observables and revert to the usual expression for the commuting case.
The origin of non-classical correlations is difficult to identify since the uncertainty principle requires that information obtained about one observable invariably results in the disturbance of any other non-commuting observable. Here, this problem is addressed by investigating the uncertainty trade-off between measurement errors and disturbance for measurement interactions controlled by the state of a single qubit, where the measurement is described by a quantum coherent superposition of a fully projective measurement and the identity operation. It is shown that the measurement statistics ob…
In the study of Heisenberg's error-disturbance relation, it is commonly believed that the non-unitary change of states hinders us from deducing the information encoded in original states about subsequently measured observable. However, we find that the disturbance can be corrected iff the pre-measurement is non-projective. In this work, by analysing the effect of decoherence on statistics of the subsequential measurement, we find the acquired information from pre-measurement can be used to developed a correction strategy, and then the information about post-measured observable can be recovered…
Bell's theorem is a statement by which averages obtained from specific types of statistical distributions must conform to a family of inequalities. These models, in accordance with the EPR argument, provide for the simultaneous existence of quantum mechanically incompatible quantities. We first recall several contradictions arising between the assumption of a joint distribution for incompatible observables and the probability structure of quantum-mechanics, and conclude that Bell's theorem is not expected to be relevant to quantum phenomena described by non-commuting observables, irrespective …
In contrast to a projective quantum measurement in which the system is projected onto an eigenstate of the measured operator, in a weak measurement the system is only weakly perturbed while only partial information on the measured observable is obtained. A full description of such measurement should describe the measurement protocol and provide an explicit form of the measurement operator that transform the quantum state to its post measurement form. A simultaneous measurement of non-commuting observables cannot be projective, however the strongest possible such measurement can be defined as p…
Estimation of expectation values of incompatible observables is an essential practical task in quantum computing, especially for approximating energies of chemical and other many-body quantum systems. In this work we introduce a method for this purpose based on performing a single joint measurement that can be implemented locally and whose marginals yield noisy (unsharp) versions of the target set of non-commuting Pauli observables. We derive bounds on the number of experimental repetitions required to estimate energies up to a certain precision. We compare this strategy to the classical shado…
We analyze the continuous measurement of two non-commuting observables for a qubit, and investigate whether the simultaneously observed noisy signals are consistent with the evolution of an equivalent classical system. Following the approach outlined by Leggett and Garg, we show that the readouts violate macrorealistic inequalities for arbitrarily short temporal correlations. Moreover, the derived inequalities are manifestly violated even in the absence of Hamiltonian evolution, unlike for Leggett-Garg inequalities that use a single continuous measurement. Such a violation should indicate the …
In the operator formalism of quantum mechanics, the density operator describes the complete statistics of a quantum state in terms of d^2 independent elements, where d is the number of possible outcomes for a precise measurement of an observable. In principle, it is therefore possible to express the density operator by a joint probability of two observables that cannot actually be measured jointly because they do not have any common eigenstates. However, such joint probabilities do not refer to an actual measurement outcome, so their definition cannot be based on a set of possible events. Here…
We consider the temporal correlations of the quantum state of a qubit subject to simultaneous continuous measurement of two non-commuting qubit observables. Such qubit state correlators are defined for an ensemble of qubit trajectories, which has the same fixed initial state and can also be optionally constrained by a fixed final state. We develop a stochastic path integral description for the continuous quantum measurement and use it to calculate the considered correlators. Exact analytic results are possible in the case of ideal measurements of equal strength and are also shown to agree with…
According to Heisenberg's uncertainty relation, there is an ultimate limit to how precisely we may predict the outcome of position and momentum measurements on a quantum system. We show that this limit may be violated by an arbitrarily large factor if one aims, instead, to guess the unknown value of a past measurement. For experiments on a single quantum system, the precise assignment of past position and momentum measurement outcomes is accompanied by large uncertainty about their linear combinations, while we show that entanglement with an ancillary system permits accurate retrodiction of an…
We analyze the physical meaning of a possible experiment aimed at the simultaneous measurement of two non-commuting spin components. We demonstrate that switching of a strong spin-orbit interaction, e.g., in a solid state or a cold-atom system, for a short period of time simulates a simultaneous von Neumann measurement of spin components, $σ_x$ and $σ_y$. By mapping spin dynamics onto coordinate-space motion, such a measurement determines time averages of $σ_x$ and $σ_y$ which, unlike their instantaneous values, may be evaluated simultaneously to an arbitrary accuracy.
In this article, we revisit the century-old question of the minimal set of observables needed to identify a quantum state: here, we replace the natural coincidences in their spectra by effective ones, induced by an imperfect measurement. We show that if the detection error is smaller than the mean level spacing, then two observables with Poisson spectra will suffice, no matter how large the system is. The primary target of our findings is the integrable (i.e. exactly solvable) quantum systems whose spectra do obey the Poisson statistics. We also consider the implications of our findings for cl…
Quantum systems usually travel a multitude of different paths when evolving through time from an initial to a final state. In general, the possible paths will depend on the future and past boundary conditions, as well as the system's dynamics. We present a gedanken experiment where a single system apparently follows mutually exclusive paths simultaneously, each with probability one, depending on which measurement was performed. This experiment involves the measurement of observables that do not correspond to Hermitian operators. Our main result is a scheme for measuring these operators. The sc…
We show that every density matrix of an n-particle system prepared by a quantum network of constant depth is asymptotically commuting with the mean-field observables. We introduce certain pairs of hypersurfaces in the space of density matrices and give lower bounds for the depth of a network which prepares states lying outside those pairs. The measurement of an observable which is not asymptotically commuting with the mean-field observables requires a network of depth in the order of log n, if one demands the measurement to project the state into the eigenspace of the measured observable.
We consider the simultaneous and continuous measurement of qubit observables $σ_z$ and $σ_z\cosφ+ σ_x\sinφ$, focusing on the temporal correlations of the two output signals. Using quantum Bayesian theory, we derive analytical expressions for the correlators, which we find to be in very good agreement with experimentally measured output signals. We further discuss how the correlators can be applied to parameter estimation, and use them to infer a small residual qubit Hamiltonian arising from calibration inaccuracy in the experimental data.
For any pair of bounded observables $A$ and $B$ with pure point spectra, we construct an associated "joint observable" which gives rise to a notion of a joint (projective) measurement of $A$ and $B$, and which conforms to the intuition that one can measure non-commuting observables simultaneously, provided one is willing to give up arbitrary precision. As an application, we show how our notion of a joint observable naturally allows for a construction of a "functional calculus," so that for any pair of observables $A$ and $B$ as above, and any (Borel measurable) function $f: \mathbb{R}^2 \right…
We give an overview of joint unsharp measurements of non-commuting observables using positive operator valued measures (POVMs). We exemplify the role played by joint measurability of POVMs in entropic uncertainty relation for Alice's pair of non-commuting observables in the presence of Bob's entangled quantum memory. We show that Bob should record the outcomes of incompatible (non-jointly measurable) POVMs in his quantum memory so as to beat the entropic uncertainty bound. In other words, in addition to the presence of entangled Alice-Bob state, implementing incompatible POVMs at Bob's end is …
Bell-type experiments that test correlated observables typically involve measurements of spin or polarization on multi-particle systems in singlet states. These observables are all non-commuting and satisfy an uncertainty relation. Theoretically, the non-commuting nature should be independent of whether the singlet state consists of multiple particles or a single particle. Recent experiments in single neutron interferometry have in fact demonstrated this. In addition, if Bell-type inequalities can be found for experiments involving spin and polarization, the same should be true for experiments…
The possibility of performing simultaneous measurements in quantum mechanics is investigated in the context of the Curie-Weiss model for a projective measurement. Concretely, we consider a spin-$\frac{1}{2}$ system simultaneously interacting with two magnets, which act as measuring apparatuses of two different spin components. We work out the dynamics of this process and determine the final state of the measuring apparatuses, from which we can find the probabilities of the four possible outcomes of the measurements. The measurement is found to be non-ideal, as (i) the joint statistics do not c…
Sequential measurements of non-commuting observables produce order effects that are well-known in quantum physics. But their conceptual basis, a significant measurement interaction, is relevant for far more general situations. We argue that non-commutativity is ubiquitous in psychology where almost every interaction with a mental system changes that system in an uncontrollable fashion. Psychological order effects for sequential measurements are therefore to be expected as a rule. In this paper we focus on the theoretical basis of such effects. We classify several families of order effects theo…
Greenberger-Horne-Zeilinger (GHZ) theorem asserts that there is a set of mutually commuting nonlocal observables with a common eigenstate on which those observables assume values that refute the attempt to assign values only required to have them by the local realism of Einstein, Podolsky, and Rosen (EPR). It is known that for a three-qubit system there is only one form of the GHZ-Mermin-like argument with equivalence up to a local unitary transformation, which is exactly Mermin's version of the GHZ theorem. In this paper, however, for a four-qubit system which was originally studied by GHZ, w…
Enhanced measurements on quantum computers via the simultaneous probing of non-commuting Pauli operators
University of Exeter（埃克塞特大学）；Institute for Quantum Computing, University of Waterloo（滑铁卢大学量子计算研究所）；Department of Combinatorics & Optimization, University of Waterloo（滑铁卢大学组合优化系）
Many applications of practical interest rely on time evolution of Hamiltonians that are given by a sum of Pauli operators. Quantum circuits for exact time evolution of single Pauli operators are well known, and can be extended trivially to sums of commuting Paulis by concatenating the circuits of individual terms. In this paper we reduce the circuit complexity of Hamiltonian simulation by partitioning the Pauli operators into mutually commuting clusters and exponentiating the elements within each cluster after applying simultaneous diagonalization. We provide a practical algorithm for partitio…
Einstein, Podolski and Rosen (EPR) have shown that any wave function (subject to the Schrödinger equation) can describe the physical reality completely, and any two observables associated to two non-commuting operators can have simultaneous reality. In contrast, quantum theory claims that the wave function can capture the physical reality completely, and the physical quantities associated to two non-commuting operators cannot have simultaneous reality. The above contradiction is known as the EPR paradox. Here, we unambiguously expose that there is a hidden assumption made by EPR, which gives r…
Variational quantum eigensolver (VQE) is a promising algorithm suitable for near-term quantum machines. VQE aims to approximate the lowest eigenvalue of an exponentially sized matrix in polynomial time. It minimizes quantum resource requirements both by co-processing with a classical processor and by structuring computation into many subproblems. Each quantum subproblem involves a separate state preparation terminated by the measurement of one Pauli string. However, the number of such Pauli strings scales as $N^4$ for typical problems of interest--a daunting growth rate that poses a serious li…
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…
In constructing his theorem, Bell assumed that correlation functions among non-commuting variables are the same as those among commuting variables. However, in quantum mechanics, multiple data values exist simultaneously for commuting operations while for non-commuting operations data are conditional on prior outcomes, or may be predicted as alternative outcomes of the non-commuting operations. Given these qualitative differences, there is no reason why correlation functions among non-commuting variables should be the same as those among commuting variables, as assumed by Bell. When data for c…
We characterize a value of an observable by a `sum rule' for generally non-commuting observables and a `product rule' when restricted to a maximal commuting subalgebra of observables together with the requirement that the value is unity for the projection operator of the prepared state and the values are zero for the projection operators of the states which are orthogonal to the prepared state. The crucial requirement is that the expectation value and the variance of an observable should be independent of the way of measurement, i.e., the choice of the maximal commuting subalgebra of observabl…
We develop a general framework to investigate fluctuations of non-commuting observables. To this end, we consider the Keldysh quasi-probability distribution (KQPD). This distribution provides a measurement-independent description of the observables of interest and their time-evolution. Nevertheless, positive probability distributions for measurement outcomes can be obtained from the KQPD by taking into account the effect of measurement back-action and imprecision. Negativity in the KQPD can be linked to an interference effect and acts as an indicator for non-classical behavior. Notable example…
Although quantum metrology allows us to make precision measurement beyond the standard quantum limit, it mostly works on the measurement of only one observable due to Heisenberg uncertainty relation on the measurement precision of non-commuting observables for one system. In this paper, we study the schemes of joint measurement of multiple observables which do not commute with each other by using the quantum entanglement between two systems. We focus on analyzing the performance of newly developed SU(1,1) interferometer on fulfilling the task of joint measurement. The results show that the inf…
The recently established universal uncertainty principle revealed that two nowhere commuting observables can be measured simultaneously in some state, whereas they have no joint probability distribution in any state. Thus, one measuring apparatus can simultaneously measure two observables that have no simultaneous reality. In order to reconcile this discrepancy, an approach based on quantum logic is proposed to establish the relation between quantum reality and measurement. We provide a language speaking of values of observables independent of measurement based on quantum logic and we construc…
The existence of a real linear-space structure on the set of observables of a quantum system -- i.e., the requirement that the linear combination of two generally non-commuting observables $A,B$ is an observable as well -- is a fundamental postulate of the quantum theory yet before introducing any structure of algebra. However, it is by no means clear how to choose the measuring instrument of the composed observable $aA+bB$ ($a,b\in \mathbb{R}$) if such measuring instruments are given for the addends observables $A$ and $B$ when they are incompatible observables. A mathematical version of this…
Strong subadditivity goes beyond the tensored subsystem and commuting operator models. As previously noted by Petz and later by Araki and Moriya, two subalgebras of observables satisfy a generalized SSA-like inequality if they form a commuting square. We explore the interpretation and consequences in finite dimensions, connecting various entropic uncertainty relations for mutually unbiased bases with the positivity of a generalized conditional mutual information (CMI), and with inequalities on relative entropies of coherence and asymmetry. We obtain a bipartite resource theory of operations un…
In 1940 Naimark showed that if a set of quantum observables are positive semi-definite and sum to the identity then, on a larger space, they have a joint resolution as commuting projectors. In 1955 Sz.-Nagy showed that any set of observables could be so resolved, with the resolution respecting all linear sums. Crucially, both resolutions return the correct Born probabilities for the original observables. Here, an alternative proof of the Sz.-Nagy result is given using elementary inner product spaces. A version of the resolution is then shown to respect all products of observables on the base s…
We prove uncertainty relations that quantitatively express the impossibility of jointly sharp preparation of pre- and post-selected quantum states for measuring incompatible observables during the weak measurement. By defining a suitable operator whose average in the pre-selected quantum state gives the weak value, we show that one can have new uncertainty relations for variances of two such operators corresponding to two non-commuting observables. These generalize the recent stronger uncertainty relations that give non-trivial lower bounds for the sum of variances of two observables which ful…
How much of the uncertainty in predicting measurement outcomes for non-commuting quantum observables is genuinely quantum mechanical? We provide a natural decomposition of the total entropic uncertainty of two non-commuting observables into a classical component, and an intrinsically quantum mechanical component. We show that the total quantum component in a state is never lower or upper bounded by any state-independent quantities, but instead admits "purity-based" lower bounds that generalize entropic formulations such as the Maassen-Uffink relation. These relations reveal a non-trivial inter…
The uncertainty principle brings out intrinsic quantum bounds on the precision of measuring non-commuting observables. Statistical outcomes in the measurement of incompatible observables reveal a trade-off on the sum of corresponding entropies. Massen-Uffink entropic uncertainty relation (Phys. Rev. Lett. 60, 1103 (1988)) constrains the sum of entropies associated with incompatible measurements. The entropic uncertainty principle in the presence of quantum memory (Nature Phys. 6, 659 (2010)) brought about a fascinating twist by showing that quantum side information, enabled due to entanglement…
Quantum non-locality is normally defined via violations of Bell's inequalities that exclude certain classical hidden variable theories from explaining quantum correlations. Another definition of non-locality refers to the wave-function collapse thereby one can prepare a quantum state from arbitrary far away. In both cases one can debate on whether non-locality is a real physical phenomenon, e.g. one can employ formulations of quantum mechanics that does not use collapse, or one can simply refrain from explaining quantum correlations via classical hidden variables. Here we point out that there …
We propose a new measure of relative incompatibility for a quantum system with respect to two non-commuting observables, and call it quantumness of relative incompatibility. In case of a classical state, order of observation is inconsequential, hence probability distribution of outcomes of any observable remains undisturbed. We define relative entropy of the two marginal probability distributions as a measure of quantumness in the state, which is revealed only in presence of two non-commuting observables. Like all other measures, we show that the proposed measure satisfies some basic axioms. A…
If noncontextuality is defined as the robustness of a system's response to a measurement against other simultaneous measurements, then the Kochen-Specker arguments do not provide an algebraic proof for quantum contextuality. Namely, for the argument to be effective, (i) each operator must be uniquely associated with a measurement and (ii) commuting operators must represent simultaneous measurements. However, in all Kochen-Specker arguments discussed in the literature either (i) or (ii) is not met. Arguments meeting (i) contain at least one subset of mutually commuting operators which do not re…
