Fidelity is the standard measure for quantifying the similarity between two quantum states. It is equal to the square of the minimum Bhattacharyya coefficient between the probability distributions induced by quantum measurements on the two states. Though established for over thirty years, the structure of fidelity-optimal quantum measurements remains unclear when the two density operators are singular (not invertible). Here we address this gap, with a focus on minimal optimal measurements, which admit no nontrivial coarse graining that is still optimal. We show that there exists either a unique minimal optimal measurement or infinitely many inequivalent choices. Moreover, the first case holds if and only if the two density operators satisfy a weak commutativity condition. In addition, we provide a complete characterization of all minimal optimal measurements when one state is pure, leveraging geometric insights from the Bloch-sphere representation. The connections with quantum incompatibility, operator pencils, and geometric means are highlighted.
Comments
6+10 pages and 3 figures; comments and suggestions are very welcome!
Fidelity is the standard measure for quantifying the similarity between two quantum states. It is equal to the square of the minimum Bhattacharyya coefficient between the probability distributions induced by quantum measurements on the two states. Though established for over thirty years, the structure of fidelity-optimal quantum measurements remains unclear when the two density operators are singular (not invertible). Here we address this gap, with a focus on minimal optimal measurements, which admit no nontrivial coarse graining that is still optimal. We show that there exists either a unique minimal optimal measurement or infinitely many inequivalent choices. Moreover, the first case holds if and only if the two density operators satisfy a weak commutativity condition. In addition, we provide a complete characterization of all minimal optimal measurements when one state is pure, leveraging geometric insights from the Bloch-sphere representation. The connections with quantum incompatibility, operator pencils, and geometric means are highlighted.
The notion of fidelity for quantum states is a measure of how much two states overlap. In the matrix formalism of quantum mechanics, states are represented by density operators, i.e., positive semi-definite matrices with trace equal to 1 in a complex Euclidean space Mn(C). Felipe-Sosa and Felipe (2022) introduced the notion of quantum states on certain Krein spaces with indefinite metric induced by a fundamental symmetry J, calling these J-states. We define an analogous notion of measurement for J-states to the regular quantum theory and use it to show that a notion of fidelity holds in the Krein setting. We also show that an analogous result to the Fuchs-Caves measurement holds in this setting. Following the developments of Bag, Rohilla, and Trivedi (2024), we then extend this definition of fidelity to U-quantum states on S-spaces. We demonstrate that the analogous geometric motivation holds in the Krein and S-space setting, as holds for quantum fidelity and geometric means of operators.
This thesis is concerned with several topics related to concept of incompatibility of quan- tum observables. The operational description of quantum theory is given, in which incom- patibility is expressed in terms of joint measurability. A connection between symmetric informationally complete positive operator-valued measures and mutually unbiased bases is given, and examples of this connection holding based on investigations in Mathematica are presented. An extension of the Arthurs-Kelly measurement model is then given, where the measured observable is calculated, thereby generalising the results given previously in the literature. It is shown that in the case of prior correlations between measurement probes there exists the possibility that a measurement of both probes leads to marginal observables with smaller statistical spread than if measurements are performed on the individual probes. This concept is then highlighted by considering two probe states that allow for this reduction in spread, and the required conditions for success are given. Fi- nally, error-error relations for incompatible dichotomic qubit observables are considered in the case of state-dependent and independent error measures. Quantities that arise in the state-independent measures case, which were previously presented geometrically, have been given operational meaning, and optimal approximating schemes in both cases are compared. Limitations regarding the state-dependent optimal approximations, and experimental work built upon this construction are also discussed.
This work presents a minimal and fully explicit result showing that quantum coarse-graining procedures need not commute, even in the limit of arbitrarily fine resolution. Working entirely within the framework of completely positive trace-preserving (CPTP) maps, we construct two natural pinching (dephasing) channels acting on a two-dimensional effective subspace of an infinite-dimensional Hilbert space. These channels represent distinct coarse-graining operations corresponding to incompatible measurement bases. We prove that the order of these coarse-graining operations affects the final quantum state in trace norm, compute the exact optimal incompatibility over all input states, and show that this noncommutativity persists under CPTP refinements. The result is quantitative, stable, and operationally meaningful. The construction is minimal in dimension, requires no interpretational assumptions, and highlights a structural obstruction to the commutativity of coarse-graining procedures in quantum theory. It provides a concrete benchmark for discussions of decoherence, measurement order, and the emergence of effective classical descriptions from quantum systems. This result is part of the broader research program of Finite-Closure Geometry (FCG), which investigates how finite-resolution closure procedures give rise to effective descriptions and incompatible classical limits. The present work isolates a concrete and fully operational instance of this phenomenon within standard quantum information theory. Keywords quantum coarse-graining, CPTP maps, quantum channels, noncommutativity, pinching channels, trace norm, decoherence, quantum measurement, Bloch sphere, quantum foundations, operator algebras, information loss, dephasing, effective descriptions, quantum state space, incompatibility, refinement stability, mathematical physics, quantum information theory, finite-resolution limits
Quantum fidelity is a measure to quantify the closeness between two quantum states. In an operational sense, it is defined as the minimal overlap between the probability distributions of measurement outcomes and the minimum is taken over all possible positive-operator valued measures (POVMs). Quantum fidelity has been investigated in various scientific fields, but the identification of associated optimal measurements has often been overlooked despite its great importance both for fundamental interest and practical purposes. We find here the optimal POVMs for quantum fidelity between multimode Gaussian states in a closed analytical form. Our general finding is applied for selected single-mode Gaussian states of particular interest and we identify three types of optimal measurements: an excitation-number-resolving detection, a projection onto the eigenbasis of operator $\stackrel{\ifmmode \hat{}\else \^{}\fi{}}{x}\stackrel{\ifmmode \hat{}\else \^{}\fi{}}{p}+\stackrel{\ifmmode \hat{}\else \^{}\fi{}}{p}\stackrel{\ifmmode \hat{}\else \^{}\fi{}}{x}$, and a quadrature variable detection, each of which corresponds to distinct types of single-mode Gaussian states. We also show the equivalence between optimal measurements for quantum fidelity and those for quantum parameter estimation when two arbitrary states are infinitesimally close. It is applied for simplifying the derivations of quantum Fisher information and the associated optimal measurements, exemplified by displacement, phase, squeezing, and loss parameter estimation using Gaussian states.
A general prescription for the construction of quasi-joint-probability distributions intended to describe the "joint behaviour" of an arbitrary pair of (generally non-commuting) quantum observables, along with its application to the geometric/statistical interpretation of Aharonov's weak value and a proposal for new uncertainty relations, are presented.The introduction of such distributions is motivated by two complementary approaches: one from a bottom-up and strictly operational construction by carefully examining the mathematical framework of the conditioned measurement scheme, and the other from a top-down viewpoint by applying the results of spectral theorem for normal operators and its Fourier transforms.It is revealed that, for a pair of simultaneously measurable observables, the distribution reduces to the unique standard joint-probability distribution of the pair as expected, whereas for a non-commuting pair, there exists an inherent indefiniteness for the choice of such distributions, admitting a multitude of candidates that qualify to describe the "joint behaviour" of the pair.The L 2 structures induced by the quasi-joint-probability distributions are then found to provide statistical interpretation of the geometric structures that can be naturally introduced on the space of operators on the underlying Hilbert space.As possible applications of our findings, we focus on orthogonal projections and inner products of observables, and observe that such geometric concepts can respectively be given statistical interpretations as "conditionings" and "correlations".Incidentally, weak values A w are given a geometric/statistical interpretation as either the orthogonal projection of an observable A on the subspace generated by another observable B (or equivalently, as the conditioning of A given B with respect to the quasi-joint-probability distribution under consideration).Moreover, the Cauchy-Schwartz inequality applied on inner products of two observables (or equivalently, correlations between the pair) leads to novel inequalities interpreted as uncertainty relations for approximation/estimation, which entails the time-energy uncertainty relation as its special case.
Fidelity estimation is a necessary tool for evaluating noise in quantum measurement and quantum computation. The traditional fidelity estimation is to calculate the distance between two density matrices by employing direct fidelity estimation, which consumes too much copies of state. To reduce the number of copies of the state, we develop optimal fidelity estimation by proposing an optimal model. It calculates the minimum number of copies of state given a fixed value for the fidelity deviation. The result shows it saves a large number of copies of state compared with traditional approach (Direct Fidelity estimation) that is developed several years ago.The number of copies of the state employed increases slower than linear increase with increase of the dimension of density matrix when pauli measurement basis is applied. In addition, it consumes roughly a constant number of copies of the state with the increase of dimension of density matrix when the measurement bases are freely chosen.