相关论文: Generalised quantum weakest preconditions
It is well-known in quantum information theory that a positive operator valued measure (POVM) is the most general kind of quantum measurement. Mathematically, a quantum probability is a normalised POVM, namely a function on certain subsets…
The article of the title attempts to prove a "General theorem" (GT) giving sufficient conditions under which a previously introduced "general conditioned average" "converges uniquely to the quantum weak value in the minimal disturbance…
The most general type of measurement in quantum physics is modeled by a positive operator-valued measure (POVM). Mathematically, a POVM is a generalization of a measure, whose values are not real numbers, but positive operators on a Hilbert…
It is commonly believed that the most general type of a quantum-mechanical measurement is one described by a positive-operator valued measure (POVM). In the present paper, this statement is proven for any measurements on quantum systems…
In quantum theory general measurements are described by so-called Positive Operator-Valued Measures (POVMs). We show that in $d$-dimensional quantum systems an application of depolarizing noise with constant (independent of $d$) visibility…
We generalize the concept of a weak value of a quantum observable to cover arbitrary real positive operator measures. We show that the definition is operationally meaningful in the sense that it can be understood within the quantum theory…
In this report, we present a framework for implementing an arbitrary $n$-outcome generalized quantum measurement (POVM) on an $m$-qubit register as a sequence of two-outcome measurements requiring only single ancillary qubit. Our procedure…
In many a traditional physics textbook, a quantum measurement is defined as a projective measurement represented by a Hermitian operator. In quantum information theory, however, the concept of a measurement is dealt with in complete…
It is the purpose of the present contribution to demonstrate that the generalization of the concept of a quantum mechanical observable from the Hermitian operator of standard quantum mechanics to a positive operator-valued measure is not a…
We develop a notion of predicate transformer and, in particular, the weakest precondition, appropriate for quantum computation. We show that there is a Stone-type duality between the usual state-transformer semantics and the weakest…
The objective of this work is to develop a recursive, discrete time quantum filtering equation for a system that interacts with a probe, on which measurements are performed according to the Positive Operator Valued Measures (POVMs)…
Born's rule in its conventional textbook form applies to the small class of projective measurements only. It is well-known that a generalization of Born's rule to realistic experiments must be phrased in terms of positive operator valued…
We apply the notion of quantum predicate proposed by D'Hondt and Panangaden to analyze a purely quantum language fragment which describes the quantum part of a future quantum computer in Knill's architecture. The denotational semantics,…
Quantum coherence is a fundamental feature of quantum physics and plays a significant role in quantum information processing. By generalizing the resource theory of coherence from von Neumann measurements to positive operator-valued…
We present a correspondence between positive operator valued measures (POVMs) and sets of generalized coherent states. Positive operator valued measures describe quantum observables and, similarly to quantum states, also quantum observables…
Determining the conditions under which positive operator-valued measures (POVMs), the most general class of quantum measurements, outperform projective measurements remains a challenging and largely unresolved problem. Of particular…
Quantum measurements can be generalized to include complex quantities. It is possible to relate the quantum weak values of projection operators to the third order Bargmann invariants. The argument of the weak value becomes, up to a sign,…
In this paper we shall introduce the mathematical framework for the description of measurements of quantum processes. Using this framework the process estimation problems can be treated in the similar way as the state estimation problems,…
Positive Operator Value Measures (POVMs) are the most general class of quantum measurements. We propose a setup in which all possible POVMs of a single photon polarization state (corresponding to all possible sets of two-dimensional Kraus…
A solution to the second measurement problem, determining what prior microscopic properties can be inferred from measurement outcomes ("pointer positions"), is worked out for projective and generalized (POVM) measurements, using consistent…