We study the problem of quantum-state tomography under the assumption that the state of the system is close to pure. In this context, an efficient measurements that one typically formulates uniquely identify a pure state from within the set of other pure states. In general such measurements are not robust in the presence of measurement noise and other imperfections, and therefore are less practical for tomography. We argue here that state tomography experiments should instead be done using measurements that can distinguish a pure state from {\em any} other quantum state, of any rank. We show that such nontrivial measurements follows from the physical constraint that the density matrix is positive semidefinite and prove that these measurements yield a robust estimation of the state. We assert that one can implement such tomography relatively simply by measuring only a few random orthonormal bases; our conjecture is supported by numerical evidence. These results are generalized for estimation of states close to bounded-rank.
We study the problem of quantum-state tomography under the assumption that the state of the system is close to pure. In this context, an efficient measurements that one typically formulates uniquely identify a pure state from within the set of other pure states. In general such measurements are not robust in the presence of measurement noise and other imperfections, and therefore are less practical for tomography. We argue here that state tomography experiments should instead be done using measurements that can distinguish a pure state from {\em any} other quantum state, of any rank. We show that such nontrivial measurements follows from the physical constraint that the density matrix is positive semidefinite and prove that these measurements yield a robust estimation of the state. We assert that one can implement such tomography relatively simply by measuring only a few random orthonormal bases; our conjecture is supported by numerical evidence. These results are generalized for estimation of states close to bounded-rank.
We consider the problem of quantum-state tomography under the assumption that the state is pure, and more generally that its rank is bounded by a given value r. In this scenario two notions of informationally complete measurements emerge: rank-r-complete measurements and rank-r strictly-complete measurements. Whereas in the first notion, a rank-r state is uniquely identified from within the set of rank-r states, in the second notion the same state is uniquely identified from within the set of all physical states, of any rank. We argue, therefore, that strictly-complete measurements are compatible with convex optimization, and we prove that they allow robust quantum-state estimation in the presence of experimental noise. We also show that rank-r strictly-complete measurements are as efficient as rank-r-complete measurements. We construct examples of strictly-complete measurements and give a complete description of their structure in the context of matrix completion. Moreover, we numerically show that a few random bases form such measurements. We demonstrate the efficiency-robustness property for different strictly-complete measurements with numerical experiments. We thus conclude that only strictly-complete measurements are useful for practical tomography.
The development of large-scale platforms for quantum information requires new methods for verification and validation of quantum behavior. Quantum tomography (QT) is the standard tool for diagnosing quantum states, process, and readout devices by providing complete information. However, QT is limited since it is expensive to not only implement experimentally, but also requires heavy classical post-processing of data. In this dissertation, we introduce new methods for QT that are more efficient to implement and robust to noise and errors, thereby making QT a more practical tool for current quantum information experiments. The crucial detail that makes these new, efficient, and robust methods possible is prior information about the quantum system. This prior information is prompted by the goals of most experiments in quantum information, which require pure states, unitary processes, and rank-1 POVM operators. Therefore, most experiments are designed to operate near this ideal regime. We show that when this is the case, QT can be accomplished with significantly fewer resources, and produce a robust estimate in the presence of noise and errors. Moreover, the estimate is also robust if the state is not exactly pure, the process is not exactly unitary, or the POVM is not exactly rank-1. Such compelling methods are only made possible by the positivity constraint on quantum states, processes, and POVMs. This requirement is an inherent feature of quantum mechanics, but has powerful consequences to QT. Since QT is necessarily an experimental tool, we discuss a test of these new methods in an experimental setting. The physical system is an ensemble of laser-cooled cesium atoms in the laboratory of Prof. Poul Jessen. Experiments were conducted by Hector Sosa-Martinez et al. to demonstrate different QT protocols. We compare the results, and conclude that the new methods are effective.
For any finite-dimensional Hilbert space, we construct explicitly five orthonormal bases such that the corresponding measurements allow for efficient tomography of an arbitrary pure quantum state. This means that such measurements can be used to distinguish an arbitrary pure state from any other state, pure or mixed, and the pure state can be reconstructed from the outcome distribution in a feasible way. The set of measurements we construct is independent of the unknown state, and therefore our results provide a fixed scheme for pure state tomography, as opposed to the adaptive (state-dependent) scheme proposed by Goyeneche et al. ( Phys. Rev. Lett. , 115 (2015) 090401). We show that our scheme is robust with respect to noise, in the sense that any measurement scheme which approximates these measurements well enough is equally suitable for pure state tomography. Finally, we present two convex programs which can be used to reconstruct the unknown pure state from the measurement outcome distributions.
Compressed sensing (CS) is a technique to faithfully estimate an unknown signal from relatively few data points when the measurement samples satisfy a restricted isometry property (RIP). Recently, this technique has been ported to quantum information science to perform tomography with a substantially reduced number of measurement settings. In this work we show that the constraint that a physical density matrix is positive semidefinite provides a rigorous connection between the RIP and the informational completeness of a POVM used for state tomography. This enables us to construct informationally complete measurements that are robust to noise using tools provided by the CS methodology. The exact recovery no longer hinges on a particular convex optimization program; solving any optimization, constrained to the cone of positive semidefinite matrices, effectively results in a CS estimation of the state. From a practical point of view, we can therefore employ fast algorithms developed to handle large dimensional matrices for efficient tomography of quantum states of a large dimensional Hilbert space.
We establish methods for quantum state tomography based on compressed sensing. These methods are specialized for quantum states that are fairly pure, and they offer a significant performance improvement on large quantum systems. In particular, they are able to reconstruct an unknown density matrix of dimension d and rank r using O(rdlog²d) measurement settings, compared to standard methods that require d² settings. Our methods have several features that make them amenable to experimental implementation: they require only simple Pauli measurements, use fast convex optimization, are stable against noise, and can be applied to states that are only approximately low rank. The acquired data can be used to certify that the state is indeed close to pure, so no a priori assumptions are needed.
Abstract Characterising complex quantum systems is a vital task in quantum information science. Quantum tomography, the standard tool used for this purpose, uses a well-designed measurement record to reconstruct quantum states and processes. It is, however, notoriously inefficient. Recently, the classical signal reconstruction technique known as ‘compressed sensing’ has been ported to quantum information science to overcome this challenge: accurate tomography can be achieved with substantially fewer measurement settings, thereby greatly enhancing the efficiency of quantum tomography. Here we show that compressed sensing tomography of quantum systems is essentially guaranteed by a special property of quantum mechanics itself—that the mathematical objects that describe the system in quantum mechanics are matrices with non-negative eigenvalues. This result has an impact on the way quantum tomography is understood and implemented. In particular, it implies that the information obtained about a quantum system through compressed sensing methods exhibits a new sense of ‘informational completeness.’ This has important consequences on the efficiency of the data taking for quantum tomography, and enables us to construct informationally complete measurements that are robust to noise and modelling errors. Moreover, our result shows that one can expand the numerical tool-box used in quantum tomography and employ highly efficient algorithms developed to handle large dimensional matrices on a large dimensional Hilbert space. Although we mainly present our results in the context of quantum tomography, they apply to the general case of positive semidefinite matrix recovery.