Operator-valued Measures Research Articles

Entanglement criteria based on quantum Fisher information

To optimize the entanglement detection, we formulate the metrologically operational entanglement condition in quantum Fisher information by maximizing the QFI on the measurement orbit. Specifically, we consider two classes of typical local observables, i.e. the local orthonormal observables and symmetric informationally complete positive operator-valued measures. Result shows that the symmetric informationally complete positive operator-valued measures are superior to local orthonormal observables in entanglement detection, which in some sense hints the yet unconfirmed generally superiority of symmetric informationally complete positive operator-valued measures in quantum information processing.

Discrete dynamics in the set of quantum measurements

Abstract A quantum measurement, often referred to as positive operator-valued measurement, is a set of positive operators P j = P j † ⩾ 0 summing to identity, ∑ j P j = 𝟙 . This can be seen as a generalization of a probability distribution of positive real numbers summing to unity, whose evolution is given by a stochastic matrix. We describe transformations in the set of quantum measurements by blockwise stochastic matrices, composed of positive blocks that sum columnwise to identity, and the notion of sequential product of matrices. We show that such transformations correspond to a sequence of quantum measurements. Imposing additionally the dual condition that the sum of blocks in each row is equal to identity we arrive at blockwise bistochastic matrices (also called quantum magic squares). Analyzing their dynamical properties, we formulate a quantum analog of the Ostrowski description of the classical Birkhoff polytope and introduce the notion of majorization between quantum measurements. Our framework provides a dynamical characterization of the set of blockwise bistochastic matrices and establishes a resource theory in the set of quantum measurements.

Tight conic approximation of testing regions for quantum statistical models and measurements

Quantum statistical models (i.e., families of normalized density matrices) and quantum measurements (i.e., positive operator-valued measures) can be regarded as linear maps: the former, mapping the space of effects to the space of probability distributions; the latter, mapping the space of states to the space of probability distributions. The images of such linear maps are called the testing regions of the corresponding model or measurement. Testing regions are notoriously impractical to treat analytically in the quantum case. Our first result is to provide an implicit outer approximation of the testing region of any given quantum statistical model or measurement in any finite dimension: namely, a region in probability space that contains the desired image, but is defined implicitly, using a formula that depends only on the given model or measurement. The outer approximation that we construct is minimal among all such outer approximations, and close, in the sense that it becomes the maximal inner approximation up to a constant scaling factor. Finally, we apply our approximation to provide sufficient conditions, that can be tested in a semi-device-independent way, for the ability to transform one quantum statistical model or measurement into another.

Estimating Molecular Thermal Averages with the Quantum Equation of Motion and Informationally Complete Measurements.

By leveraging the Variational Quantum Eigensolver (VQE), the "quantum equation of motion" (qEOM) method established itself as a promising tool for quantum chemistry on near-term quantum computers and has been used extensively to estimate molecular excited states. Here, we explore a novel application of this method, employing it to compute thermal averages of quantum systems, specifically molecules like ethylene and butadiene. A drawback of qEOM is that it requires measuring the expectation values of a large number of observables on the ground state of the system, and the number of necessary measurements can become a bottleneck of the method. In this work, we focus on measurements through informationally complete positive operator-valued measures (IC-POVMs) to achieve a reduction in the measurement overheads by estimating different observables of interest through the measurement of a single set of POVMs. We show with numerical simulations that the qEOM combined with IC-POVM measurements ensures satisfactory accuracy in the reconstruction of the thermal state with a reasonable number of shots.

A New Method Based on Locally Optimal Step Length in Accelerated Gradient Descent for Quantum State Tomography.

Quantum state tomography (QST) is one of the key steps in determining the state of the quantum system, which is essential for understanding and controlling it. With statistical data from measurements and Positive Operator-Valued Measures (POVMs), the goal of QST is to find a density operator that best fits the measurement data. Several optimization-based methods have been proposed for QST, and one of the most successful approaches is based on Accelerated Gradient Descent (AGD) with fixed step length. While AGD with fixed step size is easy to implement, it is computationally inefficient when the computational time required to calculate the gradient is high. In this paper, we propose a new optimal method for step-length adaptation, which results in a much faster version of AGD for QST. Numerical results confirm that the proposed method is much more time-efficient than other similar methods due to the optimized step size.

Quantum tomography of a photon-number-resolving detector based on continuous time multiplexing: memory effect

We address the characterization of a photon-number-resolving detector based on continuous time multiplexing. We develop and verify a mathematical model of this detector and explore various approaches to its quantum tomography. Additionally, we encounter a memory effect and discuss the feasibility of describing this type of detector using a transfer matrix or positive operator-valued measure (POVM) decomposition.

Informationally overcomplete measurements from generalized equiangular tight frames

Informationally overcomplete measurements find important applications in quantum tomography and quantum state estimation. The most popular are maximal sets of mutually unbiased bases, for which trace relations between measurement operators are well known. In this paper, we introduce a more general class of informationally overcomplete positive, operator-valued measure (POVMs) that are generated by equiangular tight frames of arbitrary rank. This class provides a generalization of equiangular measurements to non-projective POVMs, which include rescaled mutually unbiased measurements and bases. We provide a method of their construction, analyze their symmetry properties, and provide examples for highly symmetric cases. In particular, we find a wide class of generalized equiangular measurements that are conical two-designs, which allows us to derive the index of coincidence. Our results show benefits of considering a single informationally overcomplete measurement over informationally complete collections of POVMs.

High-Fidelity, Multiqubit Generalized Measurements with Dynamic Circuits

Generalized measurements, also called positive operator-valued measures (POVMs), can offer advantages over projective measurements in various quantum information tasks. Here, we realize a generalized measurement of one and two superconducting qubits with high fidelity and in a single experimental setting. To do so, we propose a hybrid method, the “Naimark-terminated binary tree,” based on a hybridization of Naimark’s dilation and binary tree techniques that leverages emerging hardware capabilities for midcircuit measurements and feed-forward control. Furthermore, we showcase a highly effective use of approximate compiling to enhance POVM fidelity in noisy conditions. We argue that our hybrid method scales better toward larger system sizes than its constituent methods and demonstrate its advantage by performing detector tomography of symmetric, informationally complete POVM (SIC POVM). Detector fidelity is further improved through a composite error-mitigation strategy that incorporates twirling and a newly devised conditional readout error mitigation. Looking forward, we expect improvements in approximate compilation and hardware noise for dynamic circuits to enable generalized measurements of larger multiqubit POVMs on superconducting qubits. Published by the American Physical Society 2024

Performance of entanglement purification including maximally entangled mixed states

Entanglement between distant quantum systems is a critical resource for implementing quantum communication. This property is affected by external agents and can be restored by employing efficient entanglement purification protocols. In this work, we propose an entanglement purification protocol based on two entangling two-qubit operations that replace the usual controlled-NOT (CNOT) gate. These operations arise from a generalised quantum measurement and can be understood as measurement operators in a positive operator-valued measure. Furthermore, two variants of the core protocol are introduced and their performances are studied in terms of the overall success probability of reaching a Bell state and the number of purifiable states. Based on rank-two states, we can obtain analytical expressions for the success probability that we extend and refine using numerical calculations to the case of maximally entangled states. We also consider more general rank-three states to show that our procedure is in general more convenient compared to purification protocols based on Bell diagonal states. Finally, we test the protocols using initial random states. In all cases, we find a better performance and a larger amount of purifiable states using our schemes compared to the CNOT-based protocol.

Group theoretical classification of SIC-POVMs

The Symmetric Informationally Complete Positive Operator-Valued Measures (SIC-POVMs) are known to exist in all dimensions ⩽ 151 and many larger dimensions as high as 39604 . All known solutions with the exception of the Hoggar solutions are covariant with respect to the Weyl-Heisenberg group and in the case of dimension 3, it has been proven that all SIC-POVMs are Weyl-Heisenberg group covariant. In this work, we explore this by SIC-POVMs in dimensions 4–7 without the assumption of group covariance. We introduce two functions with which SIC-POVM Gram matrices can be generated without the group covariance constraint, and analytically show that the SIC-POVM Gram matrices exist on critical points of the surfaces defined by the two functions on a subspace of Hermitian matrices. In dimensions 4–7, all known SIC-POVM Gram matrices lie in disjoint continuous sets of solution. Thus, we define an equivalent class that relates Gram matrices based on the trivial symmetries of the two functions. In dimensions 4–7, we generated {1.7×106,1.1×105,169,50} Gram matrices, respectively. For each of the Gram matrices, we generate the symmetry group of their respective disjoint sets. In all cases, the symmetry group was isomorphic to a subgroup of the Clifford group containing the Weyl-Heisenberg group matrices and the order-3 unitaries. In dimensions 4–6, All constructed solutions belonged to a single equivalence class of Gram matrices whereas in dimension 7, we find two distinct families of SIC-POVMs. In dimensions 4 and 5, the absence of new classes of SIC-POVM strongly suggests that the functions do not have a non-trivial symmetry. Furthermore, in all the dimensions tested, the only equivalence classes found correspond to the distinct stabilizers of fiducial vectors of each dimension.

Families of Schmidt-number witnesses for high dimensional quantum states

Higher dimensional entangled states demonstrate significant advantages in quantum information processing tasks. The Schmidt number is a quantity of the entanglement dimension of a bipartite state. Here we build families of k-positive maps from the symmetric information complete positive operator-valued measurements and mutually unbiased bases, and we also present the Schmidt number witnesses, correspondingly. At last, based on the witnesses obtained from mutually unbiased bases, we show the distance between a bipartite state and the set of states with a Schmidt number less than k.

Relative Entropy of Coherence Quantifies Performance in Bayesian Metrology

The ability of quantum states to be in superposition is one of the key features that sets them apart from the classical world. This “coherence” is rigorously quantified by resource theories, which aim to understand how such properties may be exploited in quantum technologies. There has been much research on what the resource theory of coherence can reveal about quantum metrology, almost all of which has been from the viewpoint of Fisher information. We prove, however, that the relative entropy of coherence, and its recent generalization to positive operator-valued measures (POVMs), naturally quantify the performance of Bayesian metrology. In particular, we show how a coherence measure can be applied to an ensemble of states. We then prove that during parameter estimation, the ensemble relative entropy of coherence (C) is equal to the difference between the optimal Holevo information (X), and the mutual information attained by a measurement (I). We call this relation the CXI equality. The ensemble coherence lets us visualize how much information is locked away in superposition and hence is inaccessible with a given measurement scheme and quantifies the advantage that would be gained by using a joint measurement on multiple states. Our results hold regardless of how the parameter is encoded in the state, encompassing unitary, dissipative, and discrete settings. We consider both projective measurements and general POVMs. This work suggests new directions for research in coherence, provides a novel operation interpretation for the relative entropy of coherence and its POVM generalization, and introduces a new tool to study the role of quantum features in metrology. Published by the American Physical Society 2024

Compatibility of Generalized Noisy Qubit Measurements.

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.

Exact Steering Bound for Two-Qubit Werner States.

Whether positive operator-valued measures (POVMs) provide advantages in demonstrating Bell nonlocality has remained unknown, even in the simple scenario of Einstein-Podolsky-Rosen steering with noisy singlet state, known as Werner states. Here we resolve this long-standing open problem by constructing a local hidden state model for Werner states with any visibility r≤1/2 under general POVMs, thereby closing the so-called Werner gap. This construction is based on an exact measurement compatibility model for the set of all noisy POVMs and also provides a local hidden variable model for a larger range of Werner states than previously known.

Dual-frame optimization for informationally complete quantum measurements

Randomized measurement protocols such as classical shadows represent powerful resources for quantum technologies, with applications ranging from quantum state characterization and process tomography to machine learning and error mitigation. Recently, the notion of measurement dual frames, in which classical shadows are generalized to dual operators of positive operator-valued measure (POVM) effects, resurfaced in the literature. This brought attention to additional degrees of freedom in the postprocessing stage of randomized measurements that are often neglected by established techniques. In this work, we leverage dual frames to construct improved observable estimators from informationally complete measurement samples. We introduce novel classes of parametrized frame superoperators and optimization-free dual frames based on empirical frequencies, which offer advantages over their canonical counterparts while retaining computational efficiency. Remarkably, this comes at almost no quantum or classical cost, thus rendering dual frame optimization a valuable addition to the randomized measurement toolbox. Published by the American Physical Society 2024

Hybrid quantum-classical systems: Quasi-free Markovian dynamics

In the case of a quantum-classical hybrid system with a finite number of degrees of freedom, the problem of characterizing the most general dynamical semigroup is solved, under the restriction of being quasi-free. This is a generalization of a Gaussian dynamics, and it is defined by the property of sending (hybrid) Weyl operators into Weyl operators in the Heisenberg description. The result is a quantum generalization of the Lévy–Khintchine formula; Gaussian and jump contributions are included. As a byproduct, the most general quasi-free quantum-dynamical semigroup is obtained; on the classical side the Liouville equation and the Kolmogorov–Fokker–Planck equation are included. As a classical subsystem can be observed, in principle, without perturbing it, information can be extracted from the quantum system, even in continuous time; indeed, the whole construction is related to the theory of quantum measurements in continuous time. While the dynamics is formulated to give the hybrid state at a generic time [Formula: see text], we show how to extract multi-time probabilities and how to connect them to the quantum notions of positive operator-valued measure and instrument. The structure of the generator of the dynamical semigroup is analyzed, in order to understand how to go on to non-quasi-free cases and to understand the possible classical-quantum interactions; in particular, all the interaction terms which allow to extract information from the quantum system necessarily vanish if no dissipation is present in the dynamics of the quantum component. A concrete example is given, showing how a classical component can input noise into a quantum one and how the classical system can extract information on the behavior of the quantum one.

Towards minimal self-testing of qubit states and measurements in prepare-and-measure scenarios

Self-testing is a promising approach to certifying quantum states or measurements. Originally, it relied solely on the outcome statistics of the measurements involved in a device-independent (DI) setup. Extra physical assumptions about the system make the setup semi-DI. In the latter approach, we consider a prepare-and-measure scenario in which the dimension of the mediating particle is assumed to be two. In a setup involving four (three) preparations and three (two) projective measurements in addition to the target, we exemplify how to self-test any four- (three-) outcome extremal positive operator-valued measure using a linear witness. One of our constructions also achieves self-testing of any number of states with the help of as many projective measurements as the dimensionality of the space spanned by the corresponding Bloch vectors. These constructions are conjectured to be minimal in terms of the number of preparations and measurements required. In addition, we implement one of our prepare-and-measure constructionson IBM and IonQ quantum processors and certify the existence of a complex qubit Hilbert space based on the data obtained from these experiments.

SICs and the Triangle Group (3,3,3)

The problem of existence of symmetric informationally-complete positive operator-valued measures (SICs for short) in every dimension is known as Zauner's conjecture and remains open to this day. Most of the known SIC examples are constructed as an orbit of the Weyl-Heisenberg group action. It appears that in these cases SICs are invariant under the so-called canonical order-three unitaries, which define automorphisms of the Weyl-Heisenberg group. In this note, we show that those order-three unitaries appear in projective unitary representations of the triangle group $(3,3,3)$. We give a full description of such representations and show how it can be used to obtain results about the structure of canonical order-three unitaries. In particular, we present an alternative way of proving the fact that any canonical order-three unitary is conjugate to Zauner's unitary if the dimension $d>3$ is prime.

Empirical Sample Complexity of Neural Network Mixed State Reconstruction

Quantum state reconstruction using Neural Quantum States has been proposed as a viable tool to reduce quantum shot complexity in practical applications, and its advantage over competing techniques has been shown in numerical experiments focusing mainly on the noiseless case. In this work, we numerically investigate the performance of different quantum state reconstruction techniques for mixed states: the finite-temperature Ising model. We show how to systematically reduce the quantum resource requirement of the algorithms by applying variance reduction techniques. Then, we compare the two leading neural quantum state encodings of the state, namely, the Neural Density Operator and the positive operator-valued measurement representation, and illustrate their different performance as the mixedness of the target state varies. We find that certain encodings are more efficient in different regimes of mixedness and point out the need for designing more efficient encodings in terms of both classical and quantum resources.

A characterization of nuclear operators on spaces of vector-valued continuous functions with the strict topology

Let X X be a completely regular Hausdorff space, let E E and F F denote Banach spaces. Let C b ( X , E ) C_b(X,E) denote the space of E E -valued bounded continuous functions on X X and let β \beta be the strict topology on this space. We establish the relationship between nuclear operators T : C b ( X , E ) → F T:C_b(X,E)\rightarrow F between the locally convex space ( C b ( X , E ) , β ) (C_b(X,E),\beta ) and the Banach space F F and their representing operator-valued Borel measures.