How well can multiple incompatible observables be implemented by a single measurement? This is a fundamental problem in quantum mechanics with wide implications for the performance optimization of numerous tasks in quantum information science. While existing studies have been mostly focusing on the approximation of two observables with a single measurement, in practice multiple observables are often encountered, for which the errors of the approximations are little understood. Here we provide a framework to study the implementation of an arbitrary finite number of observables with a single measurement. Our methodology yields novel analytical bounds on the errors of these implementations, significantly advancing our understanding of this fundamental problem. Additionally, we introduce a more stringent bound utilizing semi-definite programming that, in the context of two observables, generates an analytical bound tighter than previously known bounds. The derived bounds have direct applications in assessing the trade-off between the precision of estimating multiple parameters in quantum metrology, an area with crucial theoretical and practical implications. To validate the validity of our findings, we conducted experimental verification using a superconducting quantum processor. This experimental validation not only confirms the theoretical results but also effectively bridges the gap between the derived bounds and empirical data obtained from real-world experiments. Our work paves the way for optimizing various tasks in quantum information science that involve multiple noncommutative observables.
Read full abstract