In this work we study various notions of uncertainty for angular momentum in the spin-s representation of SU(2). We characterize the 'uncertainty regions' given by all vectors, whose components are specified by the variances of the three angular momentum components. A basic feature of this set is a lower bound for the sum of the three variances. We give a method for obtaining optimal lower bounds for uncertainty regions for general operator triples, and evaluate these for small s. Further lower bounds are derived by generalizing the technique by which Robertson obtained his state-dependent lower bound. These are optimal for large s, since they are saturated by states taken from the Holstein–Primakoff approximation. We show that, for all s, all variances are consistent with the so-called vector model, i.e., they can also be realized by a classical probability measure on a sphere of radius Entropic uncertainty relations can be discussed similarly, but are minimized by different states than those minimizing the variances for small s. For large s the Maassen–Uffink bound becomes sharp and we explicitly describe the extremalizing states. Measurement uncertainty, as recently discussed by Busch, Lahti and Werner for position and momentum, is introduced and a generalized observable (POVM) which minimizes the worst case measurement uncertainty of all angular momentum components is explicitly determined, along with the minimal uncertainty. The output vectors for the optimal measurement all have the same length where as

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.

The relations among a given set of observables on a quantum system are effectively captured by their so-called joint numerical range, which is the set of tuples of jointly attainable expectation values. Here we explore geometric properties of this construct for Pauli strings, whose pairwise commutation and anticommutation relations determine a graph $G$. We investigate the connection between the parameters of this graph and the structure of minimal ellipsoids encompassing the joint numerical range, and we develop this approach in different directions. As a consequence, we find counterexamples to a conjecture by de Gois et al. [Phys. Rev. A 107, 062211 (2023)], and answer an open question raised by Hastings and O’Donnell [STOC 2022: Proceedings of the 54th Annual ACM SIGACT Symposium on Theory of Computing, pp. 776–789], which implies a new graph parameter that we call “$\beta (G)$.” Furthermore, we provide new insights into the perennial problem of estimating the ground-state energy of a many-body Hamiltonian. Our methods give lower bounds on the ground-state energy, which are typically hard to come by, and might therefore be useful in a variety of related fields.

It is well known that the violation of a local uncertainty relation can be used as an indicator for the presence of entanglement. Unfortunately, the practical use of these nonlinear witnesses has been limited to few special cases in the past. However, new methods for computing uncertainty bounds have become available. Here we report on an experimental implementation of uncertainty-based entanglement witnesses, benchmarked in a regime dominated by strong local noise. We combine the new computational method with a local noise tomography in order to design noise-adapted entanglement witnesses. This proof-of-principle experiment shows that quantum noise can be successfully handled by a fully quantum model in order to enhance the ability to detect entanglement.

Measurement uncertainty relations are lower bounds on the errors of any approximate joint measurement of two or more quantum observables. The aim of this paper is to provide methods to compute optimal bounds of this type. The basic method is semidefinite programming, which we apply to arbitrary finite collections of projective observables on a finite dimensional Hilbert space. The quantification of errors is based on an arbitrary cost function, which assigns a penalty to getting result x rather than y, for any pair $(x,y)$ . This induces a notion of optimal transport cost for a pair of probability distributions, and we include an Appendix with a short summary of optimal transport theory as needed in our context. There are then different ways to form an overall figure of merit from the comparison of distributions. We consider three, which are related to different physical testing scenarios. The most thorough test compares the transport distances between the marginals of a joint measurement and the reference observables for every input state. Less demanding is a test just on the states for which a “true value” is known in the sense that the reference observable yields a definite outcome. Finally, we can measure a deviation as a single expectation value by comparing the two observables on the two parts of a maximally-entangled state. All three error quantities have the property that they vanish if and only if the tested observable is equal to the reference. The theory is illustrated with some characteristic examples.

Various theories that aim at unifying gravity with quantum mechanics suggest modifications of the Heisenberg algebra for position and momentum. From the perspective of quantum mechanics, such modifications lead to new uncertainty relations that are thought (but not proven) to imply the existence of a minimal observable length. Here we prove this statement in a framework of sufficient physical and structural assumptions. Moreover, we present a general method that allows us to formulate optimal and state-independent variance-based uncertainty relations. In addition, instead of variances, we make use of entropies as a measure of uncertainty and provide uncertainty relations in terms of min and Shannon entropies. We compute the corresponding entropic minimal lengths and find that the minimal length in terms of min entropy is exactly 1 bit.