"Contextual weak values" of quantum measurements with positive measurement operators are not limited to the traditional weak value
Stephen Parrott
备注：
32 pages, LaTeX. Version 4 has a new title and abstract. It consist of an essentially unaltered Version 3 with the addition of a counterexample to one of the main results of [J. Dressel, S. Agarwal, and A. N. Jordan, Phys. Rev. Lett. 104, 240401 (2010)]. Version 5 is mathematically identical except that a major typo in equation (133) has been corrected. Version 6 corrects minor typos
A recent Letter in Physical Review Letters, "Contextual Values of Observables in Quantum Measurements", by J. Dressel, S. Agarwal, and A. N. Jordan (abbreviated DAJ below), introduces the concept of "contextual values" and claims that they lead to "a natural definition of a general conditioned average that converges uniquely to the quantum weak value in the minimal disturbance limit". However, they do not define "minimal disturbance limit". The present paper is in part the saga of my search for a definition of "minimal disturbance limit" under which this claim could be proved. The search finally ended in what is probably a definitive counterexample to the claim.
By analyzing the concept of contextuality (Bell-Kochen-Specker) in terms of pre-and-post-selection (PPS), it is possible to assign definite values to observables in a new and surprising way. Physical reasons are presented for restrictions on these assignments. When measurements are performed which do not disturb the pre- and post-selection (i.e. weak measurements), then novel experimental aspects of contextuality can be demonstrated including a proof that every PPS-paradox with definite predictions implies contextuality. Certain results of these measurements (eccentric weak values with e.g. ne…
Weak value measurements have recently given rise to a large interest for both the possibility of measurement amplification and the chance of further quantum mechanics foundations investigation. In particular, a question emerged about weak values being proof of the incompatibility between Quantum Mechanics and Non-Contextual Hidden Variables Theories (NCHVT). A test to provide a conclusive answer to this question was given in [M. Pusey, Phys. Rev. Lett. 113, 200401 (2014)], where a theorem was derived showing the NCHVT incompatibility with the observation of anomalous weak values under specific…
The average result of a weak measurement of some observable $A$ can, under post-selection of the measured quantum system, exceed the largest eigenvalue of $A$. The nature of weak measurements, as well as the presence of post-selection and hence possible contribution of measurement-disturbance, has led to a long-running debate about whether or not this is surprising. Here, it is shown that such "anomalous weak values" are non-classical in a precise sense: a sufficiently weak measurement of one constitutes a proof of contextuality. This clarifies, for example, which features must be present (and…
Weak values are quantities accessed through quantum experiments involving weak measurements and post-selection. It has been shown that 'anomalous' weak values (those lying beyond the eigenvalue range of the corresponding operator) defy classical explanation in the sense of requiring contextuality [M. F. Pusey, Phys. Rev. Lett. 113, 200401, arXiv:1409.1535]. Here we elaborate on and extend that result in several directions. Firstly, the original theorem requires certain perfect correlations that can never be realised in any actual experiment. Hence, we provide new theorems that allow for a nois…
The structural connections between the Kochen-Specker (KS) theorem, pre- and post-selection (PPS) paradoxes, and anomalous weak values are explored in detail. All PPS paradoxes, such as the 3-box paradox, the Quantum Cheshire Cat, and the Quantum Pigeonhole principle, construct a particular type of ontological model that assigns an eigenvalue to each observable (independent of context) of a system such that these assignments are consistent with the PPS. It is shown that such an ontological model must be explicitly contextual in the sense of the KS theorem, or otherwise implies either a restric…
The quantum fluctuations of a physical property can be observed in the measurement statistics of any measurement that is at least partially sensitive to that physical property. Quantum theory indicates that the effective distribution of values taken by the physical property depends on the specific measurement context based on which these values are determined and weak values have been identified as the contextual values describing this dependence of quantum fluctuations on the measurement context. Here, the relation between classical statistics and quantum contextuality is explored by consider…
This paper deals with three traditional ways of defining contextuality: (C1) in terms of (non)existence of certain joint distributions involving measurements made in several mutually exclusive contexts; (C2) in terms of relationship between factual measurements in a given context and counterfactual measurements that could be made if one used other contexts; and (C3) in terms of (non)existence of ``hidden variables'' that determine the outcomes of all factually performed measurements. It is generally believed that the three meanings are equivalent, but the issues involved are not entirely trans…
The presence of contextuality in quantum theory was first highlighted by Bell, Kochen and Specker, who discovered that for quantum systems of three or more dimensions, measurements cannot be viewed as revealing pre-existing properties of the system. More precisely, no model can assign deterministic outcomes to the projectors of a quantum measurement in a way that depends only on the projector and not the context (the full set of projectors) in which it appeared, despite the fact that the Born rule probabilities associated with projectors are independent of the context. A more general, operatio…
We introduce contextual values as a generalization of the eigenvalues of an observable that takes into account both the system observable and a general measurement procedure. This technique leads to a natural definition of a general conditioned average that converges uniquely to the quantum weak value in the minimal disturbance limit. As such, we address the controversy in the literature regarding the theoretical consistency of the quantum weak value by providing a more general theoretical framework and giving several examples of how that framework relates to existing experimental and theoreti…
If a quantum system is prepared and later post-selected in certain states, "paradoxical" predictions for intermediate measurements can be obtained. This is the case both when the intermediate measurement is strong, i.e. a projective measurement with Luders-von Neumann update rule, or with weak measurements where they show up in anomalous weak values. Leifer and Spekkens [quant-ph/0412178] identified a striking class of such paradoxes, known as logical pre- and post-selection paradoxes, and showed that they are indirectly connected with contextuality. By analysing the measurement-disturbance re…
Postselection following weak measurements has long been investigated for its peculiar manifestation of quantum signatures. In particular, the postselected events can give rise to anomalous values lying outside the spectrum of the measured quantity, and may provide enhanced Fisher information. Furthermore, the Pusey inequality highlights that, for extremely weak measurements, non-contextual models can account for the outcome probabilities. It is then interesting to investigate whether these are linked in a unified framework. Here we discuss on the existence of a possible connection in the case …
Realist interpretations of quantum mechanics presuppose the existence of elements of reality that are independent of the actions used to reveal them. Such a view is challenged by several no-go theorems that show quantum correlations cannot be explained by non-contextual ontological models, where physical properties are assumed to exist prior to and independently of the act of measurement. However, all such contextuality proofs assume a traditional notion of causal structure, where causal influence flows from past to future according to ordinary dynamical laws. This leaves open the question of …
The contextual subspace variational quantum eigensolver (CS-VQE) is a hybrid quantum-classical algorithm that approximates the ground-state energy of a given qubit Hamiltonian. It achieves this by separating the Hamiltonian into contextual and noncontextual parts. The ground-state energy is approximated by classically solving the noncontextual problem, followed by solving the contextual problem using VQE, constrained by the noncontextual solution. In general, computation of the contextual correction needs fewer qubits and measurements compared with solving the full Hamiltonian via traditional …
We construct a non-contextual hidden variable model consistent with all the kinematic predictions of quantum mechanics (QM). The famous Bell-KS theorem shows that non-contextual models which satisfy a further reasonable restriction are inconsistent with QM. In our construction, we define a weaker variant of this restriction which captures its essence while still allowing a non-contextual description of QM. This is in contrast to the contextual hidden variable toy models, such as the one by Bell, and brings out an interesting alternate way of looking at QM. The results also relate to the Bohmia…
In this article we present a new prepare and measure quantum key distribution protocol that uses an experimentally accessible measure of single qubit contextuality to warranty the security of the quantum channel. The definition of contextuality used is that due to Spekkens in which any underlying hidden variable model of the physical system is noncontextual if the probability distribution of the model's hidden variables is independent of the preparation and measurement context. Under this more general definition of noncontextuality the measurement outcomes of a single qubit can be shown to req…
We show that three unsharp binary qubit measurements are enough to violate a generalized noncontextuality inequality, the LSW inequality, in a state-dependent manner. For the case of trine spin axes we calculate the optimal quantum violation of this inequality. Besides, we show that unsharp qubit measurements do not allow a state-independent violation of this inequality. We thus provide a minimal state-dependent proof of measurement contextuality requiring one qubit and three unsharp measurements. Our result rules out generalized noncontextual models of these measurements which were previously…
A theory is universal contextual if its prediction cannot be reproduced by an ontological model satisfying both preparation and measurement noncontextuality assumptions. In this report, we first generalize the logical proofs of quantum preparation and measurement contextuality for qubit system for any odd number of preparations and measurements. Based on the logical proof, we derive testable universally non-contextual inequalities violated by quantum theory. We then propose a class of two-party communication games and show that the average success probability of winning such games is solely li…
The non-classicality of single quantum systems can be formalised using the notion of contextuality. But can contextuality be convincingly demonstrated in an experiment, without reference to the quantum formalism? The operational approach to contextuality due to Spekkens requires finding operationally equivalent preparation procedures. Previously these have been obtained by demanding indistinguishability under a set of measurements taken to be tomographically complete. In the language of generalised probability theories, this requires the ability to explore all the dimensions of the system's st…
We review and clarify the sufficient conditions for uniquely defining the generalized weak value as the weak limit of a conditioned average using the contextual values formalism introduced in Dressel J, Agarwal S and Jordan A N 2010 Phys. Rev. Lett. 104, 240401. We also respond to criticism of our work in [arXiv:1105.4188v1] concerning a proposed counter-example to the uniqueness of the definition of the generalized weak value. The counter-example does not satisfy our prescription in the case of an underspecified measurement context. We show that when the contextual values formalism is properl…
The abstract of "Contextual Values of Observables in Quantum Measurements" by J. Dressel, S. Agarwal, and A. N. Jordan [Phys. Rev. Lett. 104 240401 (2010)] (called DAJ below), states: "We introduce contextual values as a generalization of the eigenvalues of an observable that takes into account both the system observable and a general measurement procedure. This technique leads to a natural definition of a general conditioned average that converges uniquely to the quantum weak value in the minimal disturbance limit." A counterexample to the claim of the last sentence was presented in Version 1…
The two state vector formalism (TSVF) was proposed by Aharonov, Bergmann, and Lebowitz (ABL) to provide a way for the counterfactual assignment of the probabilities of outcomes of contemplated but unperformed measurements on quantum systems. This formalism underlies various aspects of foundations of quantum theory and has been used significantly in the development of weak values and several proofs of quantum contextuality. We consider the application of TSVF, with pre- and post-selection (PPS) and the corresponding ABL rule, as a means to unearth quantum contextuality. We use the principle of …
We discuss the role of contextuality within quantum fluctuation theorems, in the light of a recent no-go result by Perarnau \emph{et al}. We show that any fluctuation theorem reproducing the two-point-measurement scheme for classical states either admits a notion of work quasi-probability or fails to describe protocols exhibiting contextuality. Conversely, we describe a protocol that smoothly interpolates between the two-point measurement work distribution for projective measurements and Allahverdyan's work quasi-probability for weak measurements, and show that the negativity of the latter is …
There exist several phenomena (systems) breaking the classical probability laws. Such systems are contextual dependent adaptive systems. In this paper, we present a new mathematical formula to compute the probability in those systems by using the concepts of the adaptive dynamics and quantum information theory -- quantum channels and the lifting. The basic examples of the contextual dependent phenomena can be found in quantum physics. And recently similar examples were found in biological and psychological sciences. Our novel approach is motivated by traditional quantum probability, but it is …
The data of a physical experiment can be represented as a presheaf of probability distributions. A striking feature of quantum theory is that those probability distributions obtained in quantum mechanical experiments do not always admit a joint probability distribution, a celebrated observation due to Bell. Such distributions are called contextual. Simplicial distributions are combinatorial models that extend presheaves of probability distributions by elevating sets of measurements and outcomes to spaces. Contextuality can be defined in this generalized setting. This paper introduces the notio…
The object of contextuality analysis is a set of random variables each of which is uniquely labeled by a content and a context. In the measurement terminology, the content is that which the random variable measures, whereas the context describes the conditions under which this content is measured (in particular, the set of other contents being measured "together" with this one). Such a set of random variables is deemed noncontextual or contextual depending on whether the distributions of the context-sharing random variables are or are not compatible with certain distributions imposed on the co…
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…
