Robust certification of non-projective measurements: theory and experiment
Raphael Brinster, Peter Tirler, Shishir Khandelwal, Michael Meth, Hermann Kampermann, Dagmar Bruß, Rainer Blatt, Martin Ringbauer, Armin Tavakoli, Nikolai Wyderka
quant-phSubmitted Nov 6, 2025• Announced Nov 7, 2025• 0 citations• Revised Jul 8, 2026 (v2)
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.
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.
In the heart of every physical theory lies measurement theory. While classical measurements are passive probes, QMs can be viewed as active physical processes that shape the available information. Depending on the measurement type, different aspects of the information about a system are retrieved. All possible measurements in quantum physics are described by mathematical objects called Positive Operator-Valued Measures (POVMs). The most familiar standard measurements are called Projective-Valued Measures (PVMs) and make up a subset of POVMs. The complementary subset of POVMs is non-projective. However, some non-projective POVMs can be expressed as a probabilistic mixture of PVMs. Such POVMs are called projectively simulable, while non-simulable POVMs are genuinely non-projective. These can be made projectively simulable by adding noise to the measurements. If a genuinely non-projective POVM requires a large amount of noise before it becomes projectively simulable, it is more non-projective than a POVM that requires less noise. Hence, the degree of non-projectiveness is determined by the required noise strength. The act of measuring a quantum system changes the quantum state. While quantum measurements only take into account the readable classical output value, quantum instruments account for both the classical outcome and the post-measurement state. Hence, instruments are associated with measurements, and in an analogous way, projective and projectively simulable instruments can be defined. For many purposes, non-projective POVMs are more useful than PVMs, and the more non-projective a POVM is, the greater the advantage of using them over PVMs. Therefore, the aim of the thesis is to investigate the genuinely non-projective POVMs. More precisely, the degree of non-projectiveness in qubit POVMs is studied. This is done by convex optimization, specifically by solving semidefinite programs. Furthermore, the thesis addresses the open problem of finding the most non-projective qubit quantum instrument by a witness-based see-saw algorithm.
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.
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.
We introduce an operational measure of nonclassicality for qubit systems based on the violation of Kolmogorov consistency conditions in sequential measurements. In contrast to previous work by Milz et al.~\cite{Milz-2020}, who characterized classicality via NCGD maps, and Sakuldee et al.~\cite{Sakuldee-2022a, Sakuldee-2022b}, who studied quantum correlations under measurement disturbance, our witness explicitly quantifies nonclassicality in terms of the POVM unsharpness parameter az. For projective measurements on an initially diagonal state, the witness vanishes identically, showing that such measurements cannot reveal nonclassicality. However, by generalizing to positive operator-valued measures (POVMs), we find that non-projective measurements can reveal nonclassicality even for diagonal initial states. We derive explicit expressions for the witness for general initial states, including coherences, and show that its maximum value is 1/4, which is a new result achieved for unbiased POVMs, maximal dephasing, and equal initial populations. Our results connect Kolmogorov consistency, Leggett-Garg inequalities, and POVMs, providing an experimentally accessible tool for detecting nonclassicality in qubit systems with potential applications in quantum technology certification.
Quantifying non-Markovianity is a fundamental problem in the theory of open quantum systems, as it is essential for exploiting environmental memory as a resource in quantum technologies. Existing resource-theoretic and operational quantifiers, however, generally require complete knowledge of the intermediate dynamical map and are therefore experimentally demanding. Here, we develop a witness-based framework for the quantification of non-Markovianity that bypasses complete reconstruction of the Choi state associated with the intermediate dynamical map. We first show that every non-Markovianity witness provides a certifiable lower bound on the geometric resource measure of non-Markovianity and identify the necessary and sufficient conditions under which this bound is tight. Motivated by the fact that non-positive-semidefinite witnesses are generally difficult to measure in real experimental scenario, we then focus on positive-semidefinite witnesses, which admit a natural implementation as positive operator valued measure (POVM) elements. We prove that every positive witness yields a certified lower bound on the Rivas--Huelga--Plenio (RHP) measure, thereby establishing a complete hierarchy connecting witness-based quantification, the RHP measure, and the geometric distance measure. Applying our framework to amplitude-damping and general Pauli dynamics, we find that the optimal positive witnesses reduce to simple Bell-parity projectors. Furthermore, we show that the resulting witness values can be obtained directly from a small number of experimentally accessible correlation measurements, thereby eliminating the need for complete Choi-state reconstruction and providing an efficient and experimentally feasible approach for the quantification of non-Markovianity in open quantum systems.
Standard quantum measurements are projective. However, the full scope of quantum measurements is represented by positive operator-valued measures (POVMs) and many of these break the limitations of projective measurements as resources in quantum information. It is therefore natural to consider how accurately an experimenter with access only to projective measurements and classical processing can simulate POVMs. The most well-known class of nonprojective measurements is called symmetric informationally complete (SIC). Such measurements are both ubiquitous in the broader scope of quantum information theory and known to be the most strongly nonprojective measurements in qubit systems. Here, we show that beyond qubit systems, the SIC property is in general not associated with the most nonprojective measurement. For this, we put forward a semidefinite programming criterion for detecting genuinely nonprojective measurements. This method allows us to determine quantitative simulability thresholds for generic POVMs and to put forward a conjecture on which qutrit and ququart measurements are most strongly nonprojective.