In quantum theory, general measurements are described by Positive Operator-Valued Measures (POVMs). We show that for anyd-dimensional system, applying depolarizing noise with constant visibility rendersanyPOVM simulable by a randomized implementation of projective measurements— without auxiliary systems. This constrains the asymptotic advantage of POVMs over projective measurements in tasks such as state discrimination, shadow tomography, and quantum metrology. We further improve known bounds on the visibility range for which noisy pure two-qudit states admit local hidden-variable models under general measurements. As a byproduct, we obtain asymptotically tight bounds on the critical visibility for joint measurability of all POVMs. Technically, we leverage recent results in POVM simulation, the Kadison–Singer problem, and introduce a “dimension-deficient” Naimark theorem. Additionally, we demonstrate that general2N-qubit circuits can be simulated via randomization over circuits onN +1qubits, with constant overhead, suggesting new avenues for circuit knitting in near-term quantum architectures.
In quantum theory, general measurements are described by Positive Operator-Valued Measures (POVMs). We show that for anyd-dimensional system, applying depolarizing noise with constant visibility rendersanyPOVM simulable by a randomized implementation of projective measurements— without auxiliary systems. This constrains the asymptotic advantage of POVMs over projective measurements in tasks such as state discrimination, shadow tomography, and quantum metrology. We further improve known bounds on the visibility range for which noisy pure two-qudit states admit local hidden-variable models under general measurements. As a byproduct, we obtain asymptotically tight bounds on the critical visibility for joint measurability of all POVMs. Technically, we leverage recent results in POVM simulation, the Kadison–Singer problem, and introduce a “dimension-deficient” Naimark theorem. Additionally, we demonstrate that general2N-qubit circuits can be simulated via randomization over circuits onN +1qubits, with constant overhead, suggesting new avenues for circuit knitting in near-term quantum architectures.
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 interest are projectively simulable POVMs, which can be realized through probabilistic mixtures of projective measurements, and therefore offer no advantage over projective schemes. Characterizing the boundary between simulable and non-simulable POVMs is, however, a difficult task, and existing tools either fail to scale efficiently, provide limited experimental feasibility or work only for specific POVMs. Here, we introduce and demonstrate a general method to certify non-simulability of a POVM by introducing a complete hierarchy of semidefinite programs. It provides upper bounds on the non-simulability measure of critical visibility of arbitrary POVMs which are tight in many cases and outperform previously known criteria. We experimentally certify the non-simulability of two- and three-dimensional POVMs using a trapped-ion qudit quantum processor by constructing non-simulability witnesses and introduce a modification of our framework that makes them robust against state preparation errors. Finally, we extend our results to the setting where an additional ancilla system is available.
Standard projective measurements (PMs) represent a subset of all possible measurements in quantum physics, defined by positive-operator-valued measures. We study what quantum measurements are projective simulable, that is, can be simulated by using projective measurements and classical randomness. We first prove that every measurement on a given quantum system can be realized by classical randomization of projective measurements on the system plus an ancilla of the same dimension. Then, given a general measurement in dimension two or three, we show that deciding whether it is PM simulable can be solved by means of semidefinite programming. We also establish conditions for the simulation of measurements using projective ones valid for any dimension. As an application of our formalism, we improve the range of visibilities for which two-qubit Werner states do not violate any Bell inequality for all measurements. From an implementation point of view, our work provides bounds on the amount of white noise a measurement tolerates before losing any advantage over projective ones.
It is a crucial feature of quantum mechanics that not all measurements are compatible with each other. However, if measurements suffer from noise they may lose their incompatibility. Here, we consider the effect of white noise and determine the critical visibility such that all qubit measurements, i.e., all positive operator-valued measures (POVMs), become compatible, i.e., jointly measurable. In addition, we apply our methods to quantum steering and Bell nonlocality. We obtain a tight local hidden state model for two-qubit Werner states of visibility 1/2. This determines the exact steering bound for two-qubit Werner states and also provides a local hidden variable model that improves on previously known models. Interestingly, this proves that POVMs are not more powerful than projective measurements to demonstrate quantum steering for these states.
Abstract We propose a scheme to implement general quantum measurements, also known as Positive Operator Valued Measures (POVMs) in dimension d using only classical resources and a single ancillary qubit. Our method is based on probabilistic implementation of d-outcome measurements which is followed by postselection of some of the received outcomes. We conjecture that success probability of our scheme is larger than a constant independent of d for all POVMs in dimension d. Crucially, this conjecture implies the possibility of realizing arbitrary nonadaptive quantum measurement protocol on d-dimensional system using a single auxiliary qubit with only a constant overhead in sampling complexity. We show that the conjecture holds for typical rank-one Haar-random POVMs in arbitrary dimensions. Furthermore, we carry out extensive numerical computations showing success probability above a constant for a variety of extremal POVMs, including SIC-POVMs in dimension up to 1299. Finally, we argue that our scheme can be favorable for experimental realization of POVMs, as noise compounding in circuits required by our scheme is typically substantially lower than in the standard scheme that directly uses Naimark’s dilation theorem.
Identifying whether a state family admits an irreducible quantum advantage is a fundamental task in quantum resource theory and quantum information processing. Here we study classically simulable state families, namely those residing within the convex hull of pairwise commuting families and therefore admitting a classical explanation. We develop a complete semidefinite-programming (SDP) hierarchy characterizing the set of classically simulable state families in arbitrary finite dimension. The key step is to reformulate classical simulability as a feasibility problem over deterministic response functions and auxiliary positive-operator-valued measures (POVMs) simulable by rank-one projective measurements. We establish a complete SDP hierarchy for rank-one projectively simulable POVMs and transfer the resulting characterization to state families, yielding both primal feasibility tests and dual affine witnesses certifying failure of classical simulability. Applying the hierarchy to state families mixed with depolarizing noise gives computable upper bounds on the critical classical visibility, which are matched by explicit classical simulations in several symmetric examples. These results provide a systematic convex-optimization framework for certifying classical simulability of quantum state families.
The projection postulate and spectral representation of observables remain central in quantum theory but describe only an idealized measurement limit. Realistic measurements may be inefficient, unsharp, weak, indirect, adaptive, destructive, or informationally incomplete. Positive-operator-valued measures (POVMs) provide the probability rule for processes, whereas quantum instruments specify state transformation. This review traces the hierarchy from von Neumann projective measurement to generalized measurement, emphasizing distinctions among effects, instruments, channels, and implementations. Naimark dilation realizes arbitrary POVMs through unitary coupling to an ancillary meter and projective readout. Stinespring dilation represents completely positive trace-preserving dynamics by unitary evolution on an enlarged system followed by partial trace. A qubit–ancilla interaction yields a partial-measurement instrument, its POVM effects, and its information–disturbance trade-off. It compares projective, generalized, and ancilla-mediated schemes; examines compatibility, instrument incompatibility, and disturbance; and surveys applications to state discrimination, tomography, control, and error correction. Recent developments in dynamic-circuit measurements and noisy-POVM compatibility are integrated with questions concerning measurement back-action and outcome definiteness. The review stresses that a POVM does not uniquely determine state update, dilation theorems establish realizability rather than unique mechanisms, and operational measurement theory does not settle definite outcomes, arguing quantum instruments provide a complete description of measurement.