No Arabic abstract
Gleasons theorem asserts the equivalence of von Neumanns density operator formalism of quantum mechanics and frame functions, which are functions on the pure states that sum to 1 on any orthonormal basis of Hilbert space of dimension at least 3. The unentangled frame functions are initially only defined on unentangled (that is, product) states in a multi-partite system. The third authors Unentangled Gleasons Theorem shows that unentangled frame functions determine unique density operators if and only if each subsystem is at least 3-dimensional. In this paper, we determine the structure of unentangled frame functions in general. We first classify them for multi-qubit systems, and then extend the results to factors of varying dimensions including countably infinite dimensions (separable Hilbert spaces). A remarkable combinatorial structure emerges, suggesting possible fundamental interpretations.
An orthonormal basis consisting of unentangled (pure tensor) elements in a tensor product of Hilbert spaces is an Unentangled Orthogonal Basis (UOB). In general, for $n$ qubits, we prove that in its natural structure as a real variety, the space of UOB is a bouquet of products of Riemann spheres parametrized by a class of edge colorings of hypercubes. Its irreducible components of maximum dimension are products of $2^n-1$ two-spheres. Using a theorem of Walgate and Hardy, we observe that the UOB whose elements are distinguishable by local operations and classical communication (called locally distinguishable or LOCC distinguishable UOB) are exactly those in the maximum dimensional components. Bennett et al, in their in-depth study of quantum nonlocality without entanglement, include a specific 3 qubit example UOB which is not LOCC distinguishable; we construct certain generalized counterparts of this UOB in $n$ qubits.
With the advent of gravitational wave detectors employing squeezed light, quantum waveform estimation---estimating a time-dependent signal by means of a quantum-mechanical probe---is of increasing importance. As is well known, backaction of quantum measurement limits the precision with which the waveform can be estimated, though these limits can in principle be overcome by quantum nondemolition (QND) measurement setups found in the literature. Strictly speaking, however, their implementation would require infinite energy, as their mathematical description involves Hamiltonians unbounded from below. This raises the question of how well one may approximate nondemolition setups with finite energy or finite-dimensional realizations. Here we consider a finite-dimensional waveform estimation setup based on the quasi-ideal clock and show that the estimation errors due to approximating the QND condition decrease slowly, as a power law, with increasing dimension. As a result, we find that good QND approximations require large energy or dimensionality. We argue that this result can be expected to also hold for setups based on truncated oscillators or spin systems.
In this work, we establish the connection between the study of free spectrahedra and the compatibility of quantum measurements with an arbitrary number of outcomes. This generalizes previous results by the authors for measurements with two outcomes. Free spectrahedra arise from matricial relaxations of linear matrix inequalities. A particular free spectrahedron which we define in this work is the matrix jewel. We find that the compatibility of arbitrary measurements corresponds to the inclusion of the matrix jewel into a free spectrahedron defined by the effect operators of the measurements under study. We subsequently use this connection to bound the set of (asymmetric) inclusion constants for the matrix jewel using results from quantum information theory and symmetrization. The latter translate to new lower bounds on the compatibility of quantum measurements. Among the techniques we employ are approximate quantum cloning and mutually unbiased bases.
Incompatibility of quantum measurements is of fundamental importance in quantum mechanics. It is closely related to many nonclassical phenomena such as Bell nonlocality, quantum uncertainty relations, and quantum steering. We study the necessary and sufficient conditions of quantum compatibility for a given collection of $n$ measurements in $d$-dimensional space. From the compatibility criterion for two-qubit measurements, we compute the incompatibility probability of a pair of independent random measurements. For a pair of unbiased random qubit measurements, we derive that the incompatibility probability is exactly $frac35$. Detailed results are also presented in figures for pairs of general qubit measurements.
Local operations with classical communication (LOCC) and separable operations are two classes of quantum operations that play key roles in the study of quantum entanglement. Separable operations are strictly more powerful than LOCC, but no simple explanation of this phenomenon is known. We show that, in the case of von Neumann measurements, the ability to interpolate measurements is an operational principle that sets apart LOCC and separable operations.