Related papers: Quantum logic and weak values
Weak measurement is a standard measuring procedure with two changes: it is performed on pre- and post-selected quantum systems and the coupling to the measuring device is weakened. The outcomes of weak measurements, ``weak values'' are very…
We study the outcomes in a general measurement with postselection, and derive upper bounds for the pointer readings in weak measurement. Using the idea of weak measurement, we study Hardy's gedanken experiment and show how the "negative…
According to quantum mechanics, statements about the future made by sentient beings like us are, in general, neither true nor false; they must satisfy a many-valued logic. I propose that the truth value of such a statement should be…
Originally introduced as the difference between two possible forms of quantum mutual information, quantum discord has posteriorly been shown to admit a formulation according to which it measures a distance between the state under scrutiny…
Non-destructive weak measurements (WM) made on a quantum particle allow to extract information as the particle evolves from a prepared state to a finally detected state. The physical meaning of this information has been open to debate,…
Aharonov-Albert-Vaidman's weak values are investigated by a semiclassical method. Examples of the semiclassical calculation that reproduces "anomalous" weak values are shown. Furthermore, a complex extension of Ehrenfest's quantum-classical…
We extend the definition of quantum discord as a quantifier of nonClassical correlations in a quantum state to the case where weak measurements are performed on subsystem $A$ of a bipartite system $AB$. The properties of weak discord are…
Weak measurements may result in extra quantity of quantumness of correlations compared with standard projective measurement on a bipartite quantum state. We show that the quantumness of correlations by weak measurements can be consumed for…
We analyse the quantum Cheshire cat using contextuality theory, to see if this can tell us anything about how best to interpret this paradox. We show that this scenario can be analysed using the relation between three different…
The quantum mechanical weak value $A_w=\left\langle \phi|A|\psi \right \rangle / \left\langle \phi | \psi \right\rangle$ of an observable $A$ is a measurable quantity associated with an observable $A$ and pre- and post-selected states…
Quantum mechanics does not permit joint measurements of non-commuting observables. However, it is possible to measure the weak value of a projection operator, followed by the precise measurement of a different property. The results can be…
The weak equivalence principle of gravity is examined at the quantum level in two ways. First, the position detection probabilities of particles described by a non-Gaussian wave-packet projected upwards against gravity around the classical…
The time evolution of the two-time conditional probability of the classical stochastic process is described in an analogous form of the quantum mechanical wave equations. By using it, we emulate the same strange behaviors as those of the…
Constructing an ontology for quantum theory is challenging, in part due to unavoidable measurement back-action. The Aharonov-Albert-Vaidman weak measurement formalism provides a method to predict measurement results (weak values) in a…
Propositional logics in general, considered as a set of sentences, can be undecidable even if they have "nice" representations, e.g., are given by a calculus. Even decidable propositional logics can be computationally complex (e.g., already…
Weak measurements performed between quantum state preparation and post-selection result in complex values for self-adjoint operators, corresponding to complex conditional probabilities for the projections on specific eigenstates. In this…
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…
In a recent paper [e-print quant-ph/0101012], Hardy has given a derivation of "quantum theory from five reasonable axioms." Here we show that Hardy's first axiom, which identifies probability with limiting frequency in an ensemble, is not…
Logical nonlocality is completely characterized by Hardy's "paradox" in (2,2,l) and (2,k,2) scenarios. We consider a variety of consequences and applications of this fact. (i) Polynomial algorithms may be given for deciding logical…
This paper investigates the logical strength of completeness theorems for modal propositional logic within second-order arithmetic. We demonstrate that the weak completeness theorem for modal propositional logic is provable in…