Determining the fundamental limits of nonlinear functionals of quantum measurement statistics is a crucial yet generally intractable non-convex optimization problem. We introduce a generic support-function-based outer-approximation framework for solving concave-minimization (or convex-maximization) problems over the quantum state space. By mapping the problem onto a reduced $\mathcal{Z}$-space, we characterize the exact quantum boundary through supporting half-spaces derived from the largest eigenvalues of effective observables. This yields an effective method that produces tight bounds for general measurements in finite-dimensional quantum systems with preassigned numerical precision. As an initial application, we recover the exact variance-based uncertainty relations of [PRL \textbf{119}, 170404 (2017)] and efficiently compute optimal entropic uncertainty relations (EURs). Our results reveal that standard analytical and majorization-based EUR bounds are fundamentally loose for generic measurements, and we show that the resulting exact bounds directly enhance quantum steering detection under asymmetric settings. We further apply the framework to determine the maximal athermality resource certifiable from a restricted measurement scenario. Our method thus provides a universal computational tool for exploring the boundaries of quantum state space and the limits of quantum resources.
13 pages, 4 figures, revised version with reorganized presentation and improved structure; main results and conclusions remain unchanged, with one new application added
Determining the fundamental limits of nonlinear functionals of quantum measurement statistics is a crucial yet generally intractable non-convex optimization problem. We introduce a generic support-function-based outer-approximation framework for solving concave-minimization (or convex-maximization) problems over the quantum state space. By mapping the problem onto a reduced Z-space, we characterize the exact quantum boundary through supporting half-spaces derived from the largest eigenvalues of effective observables. This yields an effective method that produces tight bounds for general measurements in finite-dimensional quantum systems with preassigned numerical precision. As an initial application, we recover the exact variance-based uncertainty relations of [PRL \textbf{119}, 170404 (2017)] and efficiently compute optimal entropic uncertainty relations (EURs). Our results reveal that standard analytical and majorization-based EUR bounds are fundamentally loose for generic measurements, and we show that the resulting exact bounds directly enhance quantum steering detection under asymmetric settings. We further apply the framework to determine the maximal athermality resource certifiable from a restricted measurement scenario. Our method thus provides a universal computational tool for exploring the boundaries of quantum state space and the limits of quantum resources.
Resource theories provide a general framework for the characterization of properties of physical systems in quantum mechanics and beyond. Here we introduce methods for the quantification of resources in general probabilistic theories (GPTs), focusing in particular on the technical issues associated with infinite-dimensional state spaces. We define a universal resource quantifier based on the robustness measure, and show it to admit a direct operational meaning: in any GPT, it quantifies the advantage that a given resource state enables in channel discrimination tasks over all resourceless states. We show that the robustness acts as a faithful and strongly monotonic measure in any resource theory described by a convex and closed set of free states, and can be computed through a convex conic optimization problem. Specializing to continuous-variable quantum mechanics, we obtain additional bounds and relations, allowing an efficient computation of the measure and comparison with other monotones. We demonstrate applications of the robustness to several resources of physical relevance: optical nonclassicality, entanglement, genuine non-Gaussianity, and coherence. In particular, we establish exact expressions for various classes of states, including Fock states and squeezed states in the resource theory of nonclassicality and general pure states in the resource theory of entanglement, as well as tight bounds applicable in general cases.
Learning physical properties of a quantum system is essential for the developments of quantum technologies. However, Heisenberg’s uncertainty principle constrains the potential knowledge one can simultaneously have about a system in quantum theory. Aside from its fundamental significance, the mathematical characterization of this restriction, known as ‘uncertainty relation’, plays important roles in a wide range of applications, stimulating the formation of tighter uncertainty relations. In this work, we investigate the fundamental limitations of variance-based uncertainty relations, and introduce several ‘near optimal’ bounds for incompatible observables. Our results consist of two morphologically distinct phases: lower bounds that illustrate the uncertainties about measurement outcomes, and the upper bound that indicates the potential knowledge we can gain. Combining them together leads to an uncertainty interval, which captures the essence of uncertainties in quantum theory. Finally, we have detailed how to formulate lower bounds for product-form variance-based uncertainty relations by employing entropic uncertainty relations, and hence built a link between different forms of uncertainty relations.
Uncertainty relations are usually formulated as trade-offs between two or more observables. Yet the uncertainty of a single observable can already contain an intrinsically quantum contribution arising from its noncommutativity with the state. In the sense of Luo, such a contribution can be quantified by a quantum uncertainty Qρ(A), with prominent examples including the Wigner--Yanase and Wigner--Yanase--Dyson skew informations and the quantum Fisher information. Here we ask how strong such single-observable uncertainty relations can be when the quantum state is fixed.
We solve this fixed-state optimization problem by determining the largest coefficient copt(ρ) for which Vρ(A)≥copt(ρ)Qρ(A) holds for every observable A, and show that it depends only on the smallest and largest eigenvalues of ρ. The same optimization principle extends to a new power-commutator family 21∣[ρs,A]∣2(s≥1/2), providing a direct measure of state--observable noncommutativity beyond the standard quantum-uncertainty framework.
More importantly, the optimal noncommutative contribution can be combined with the maximal classical contribution compatible with the state, yielding a sharpened variance decomposition without weakening the optimal bound. For states with exactly two distinct eigenvalues, this relation becomes an identity for every observable; in particular, qubit variances decompose exactly into classical and noncommutative parts. Finally, the corresponding variance-product bounds are no weaker than the Robertson relation for qubit spin observables and can be strictly stronger, showing that a substantial part of the uncertainty usually expressed as a trade-off between distinct observables is already encoded in their individual noncommutativity with the state.
Uncertainty relations occupy a fundamental position in quantum mechanics. We propose stronger variance-based uncertainty relations for the product and sum of variances of two incompatible observables in a finite dimensional Hilbert space. It is shown that the new uncertainty relations provide near-optimal state-dependent bounds, which can be useful for quantum metrology, entanglement detection etc. in quantum information theory. It is further shown that the uncertainty relations are related to the spreads of the distribution of measurement outcomes caused by incompatible observables. Intuitively, this means that the ability of learning the distribution has both the upper and lower bounds. Combination of these bounds provides naturally an uncertainty interval which captures the essence of uncertainty in quantum theory. Finally, we explain how to employ entropic uncertainty relations to derive lower bounds for the product of variances of incompatible observables.
Quantifying quantum mechanical uncertainty is vital for the increasing number of experiments that reach the uncertainty limited regime. We present a method for computing tight variance uncertainty relations, i.e., the optimal state-independent lower bound for the sum of the variances for any set of two or more measurements. The bounds come with a guaranteed error estimate, so results of preassigned accuracy can be obtained straightforwardly. Our method also works for postive-operator-valued measurements. Therefore, it can be used for detecting entanglement in noisy environments, even in cases where conventional spin squeezing criteria fail because of detector noise.
Uncertainty relations are usually stated as bounds on selected combinations of variances, but the full covariance matrix contains substantially richer information about the geometry of quantum state space and about the operational capabilities of quantum systems. Here we characterize the covariance matrices attainable by a finite-dimensional canonical pair of observables related by the discrete Fourier transform, the natural analogue of position and momentum in a finite Hilbert space. We combine analytic arguments with convex-geometric and semidefinite-programming methods based on joint numerical ranges to describe the admissible region through unitary invariants, in particular the trace and determinant of the covariance matrix. This provides a systematic way to identify extremal states, generalizing the notion of minimum-uncertainty states, and to quantify how the discrete uncertainty geometry approaches its continuous counterpart with increasing dimension. We further show that the resulting covariance-matrix characterization has direct consequences for applications: it yields accuracy bounds for multi parameter estimation protocols and separability criteria for finite-dimensional bipartite systems, including discrete analogues of continuous-variable EPR-type witnesses. Our results establish a systematic and versatile platform for connecting uncertainty relations, convex quantum geometry, metrology, and entanglement detection in finite-dimensional systems.