In quantum theory, tomography addresses the problem of identifying an unknown state from the probabilities assigned to measurement outcomes. Understanding how much measurement data is needed for state identification is a fundamental question in tomography, and the answer depends on both the allowed state model and the allowed measurement structure. In multipartite systems, it was not known whether a constant number of local product bases suffices to distinguish all algebraic n-qubit pure states. We show the more general result that every fixed countable family of n-qubit states can be separated by one suitably chosen local product basis. Thus informational completeness for algebraic states admits a stronger local form than previously known. The result shows that for separation of algebraic or otherwise countable state models, locality by itself is not an obstruction.
In quantum theory, tomography addresses the problem of identifying an unknown state from the probabilities assigned to measurement outcomes. Understanding how much measurement data is needed for state identification is a fundamental question in tomography, and the answer depends on both the allowed state model and the allowed measurement structure. In multipartite systems, it was not known whether a constant number of local product bases suffices to distinguish all algebraic n-qubit pure states. We show the more general result that every fixed countable family of n-qubit states can be separated by one suitably chosen local product basis. Thus informational completeness for algebraic states admits a stronger local form than previously known. The result shows that for separation of algebraic or otherwise countable state models, locality by itself is not an obstruction.
One of the fundamental questions in quantum information theory is to find how many measurement bases are required to obtain the full information of a quantum state. While a minimum of four measurement bases is typically required to determine an arbitrary pure state, we prove that for any states generated by finite-depth Clifford + T circuits, just two measurement bases are sufficient. More generally, we prove that two measurement bases are informationally complete for determining algebraic pure states whose state-vector elements represented in the computational basis are algebraic numbers. Since any pure state can be asymptotically approximated by a sequence of algebraic states with arbitrarily high precision, our scheme is referred to as asymptotically informationally complete for pure state tomography. Furthermore, existing works mostly construct the measurements using entangled bases. So far, the best result requires O(n) local measurement bases for n-qubit pure-state tomography. Here, we show that two measurement bases that involve polynomial elementary gates are sufficient for uniquely determining sparse algebraic states. Moreover, we prove that two local measurement bases, involving single-qubit local operations only, are informationally complete for certain algebraic states, such as GHZ-like and W-like states. Besides, our two-measurement-bases scheme remains valid for mixed states with certain types of noises. We numerically test the uniqueness of the reconstructed states under two (local) measurement bases with and without measurement and depolarising types of noise. Our scheme provides a theoretical guarantee for pure state tomography in the fault-tolerant quantum computing regime.
In this paper, we focus on two-qubit pure state tomography. For an arbitrary unknown two-qubit pure state, separable or entangled, it has been found that the measurement probabilities of 16 projections onto the tensor products of Pauli eigenstates are enough to uniquely determine the state. Moreover, these corresponding product states are arranged into five orthonormal bases. We design five quantum circuits, which are decomposed into the common gates in universal quantum computation, to simulate the five projective measurements onto these bases. At the end of each circuit, we measure each qubit with the projective measurement {|0⟩⟨0|,|1⟩⟨1|}. Then, we consider the open problem whether three orthonormal bases are enough to distinguish all two-qubit pure states. A necessary condition is given. Suppose that there are three orthonormal bases { B 1 , B 2 , B 3 } . Denote the unitary transition matrices from B 1 to { B 2 , B 3 } as U 1 and U 2 . All 32 elements of matrices U 1 and U 2 should not be zero. If not, these three bases cannot distinguish all two-qubit pure states.
Quantum state tomography (QST) remains the gold standard for benchmarking and verification of near-term quantum devices. While QST for a generic quantum many-body state requires an exponentially large amount of resources, most physical quantum states are structured and can often be represented by a much smaller number of parameters, making efficient QST potentially possible. A prominent example is a matrix product state (MPS) or a matrix product density operator (MPDO), which is believed to represent most physical states generated by one-dimensional (1D) quantum devices. We study whether a general MPS/MPDO state can be recovered with bounded errors using only a number of state copies polynomial in the number of qubits, which is necessary for efficient QST. To make this question practically interesting, we assume only local measurements of qubits directly on the target state. By using a local symmetric informationally complete positive operator-valued measurement (SIC-POVM), we provide a positive answer to the above question for a variety of common many-body quantum states, including typical short-range entangled states, random MPS/MPDO states, and thermal states of one-dimensional Hamiltonians. In addition, we also provide an affirmative no answer for certain long-range entangled states such as a family of generalized GHZ states, but with the exception of target states that are known to have real-valued wavefunctions. Our answers are supported by a near-perfect agreement between an efficient calculation of the Cramer-Rao bound that rigorously bounds the sample complexity and numerical optimization results using a machine learning assisted maximal likelihood estimation (MLE) algorithm. This agreement also leads to an optimal QST protocol using local SIC-POVM that can be practically implemented on current quantum hardware and is highly efficient for most 1D physical states.
It is known that there exist sets of pure orthogonal product states which cannot be perfectly distinguished by local operations and classical communication (LOCC). Such sets are nonlocal sets which exhibit nonlocality without entanglement. These nonlocal sets can be completable or uncompletable. In this work both completable and uncompletable small nonlocal sets of multipartite orthogonal product states are constructed. Apart from nonlocality, these sets have other interesting properties. In particular, the completable sets lead to the construction of a class of complete orthogonal product bases with the property that if such a basis is given then no state can be eliminated from that basis by performing orthogonality-preserving measurements. On the other hand, an uncompletable set of the present kind contains several Shifts unextendible product bases (UPBs) that belong to qubit subspaces. Identifying these subspace UPBs, it is possible to obtain a class of high-dimensional multipartite bound entangled states. Finally, it is shown that a two-qubit maximally entangled Bell state shared between any two parties is sufficient as a resource to distinguish the states of any completable set (of the above kind) perfectly by LOCC. This constitutes an example where the amount of entanglement, sufficient to accomplish the aforesaid task, depends neither on the dimension of the individual subsystems nor on the number of parties.
Nonlocality without entanglement is an interesting field. A manifestation of quantum nonlocality without entanglement is the possible local indistinguishability of orthogonal product states. In this paper we analyze the character of operators to distinguish the elements of a full product basis set in a multipartite system, and show that distinguishing perfectly these product bases needs only local projective measurements and classical communication, and these measurements cannot damage each product basis. Employing these conclusions one can discuss local distinguishability of the elements of any full product basis set easily. Finally we discuss the generalization of these results to the locally distinguishability of the elements of incomplete product basis set.
In this paper, we study the distinguishability of multipartite quantum states by separable operations. We first present a necessary and sufficient condition for a finite set of orthogonal quantum states to be distinguishable by separable operations. An analytical version of this condition is derived for the case of(D-1) pure states, whereDis the total dimension of the state space under consideration. A number of interesting consequences of this result are then carefully investigated. Remarkably, we show there exists a large class of 2 otimes 2 separable operations not being realizable by local operations and classical communication. Before our work, only a class of 3 otimes 3 nonlocal separable operations was known [Bennett , Phys. Rev. A 59, 1070 (1999)]. We also show that any basis of the orthogonal complement of a multipartite pure state is indistinguishable by separable operations if and only if this state cannot be a superposition of one or two orthogonal product states, i.e., has an orthogonal Schmidt number not less than three, thus generalize the recent work about indistinguishable bipartite subspaces [Watrous, Phys. Rev. Lett. 95, 080505 (2005)]. Notably, we obtain an explicit construction of indistinguishable subspaces of dimension 7 (or 6) by considering a composite quantum system consisting of two qutrits (resp., three qubits), which is slightly better than the previously known indistinguishable bipartite subspace with dimension 8.