We study an exact local compression of a quantum bipartite state; that is, applying local quantum operations to the state to reduce the dimensions of Hilbert spaces while perfectly maintaining the correlation. We provide a closed formula for calculating the minimal achievable dimensions, provided as a minimization of the Schmidt rank of a particular pure state constructed from the given state. Numerically more tractable upper and lower bounds of the rank are also obtained. Subsequently, we consider the exact compression of quantum channels as an application. Using this method, a post-processing step that can reduce the output dimensions while retaining information on the output of the original channel can be analyzed.
We study an exact local compression of a quantum bipartite state; that is, applying local quantum operations to the state to reduce the dimensions of Hilbert spaces while perfectly maintaining the correlation. We provide a closed formula for calculating the minimal achievable dimensions, provided as a minimization of the Schmidt rank of a particular pure state constructed from the given state. Numerically more tractable upper and lower bounds of the rank are also obtained. Subsequently, we consider the exact compression of quantum channels as an application. Using this method, a post-processing step that can reduce the output dimensions while retaining information on the output of the original channel can be analyzed.
It is well known that the Schmidt decomposition exists for all pure states of a two-party quantum system. We demonstrate that there are two ways to obtain an analogous decomposition for arbitrary rank-1 operators acting on states of a bipartite finite-dimensional Hilbert space. These methods amount to joint Schmidt-type decompositions of two pure states where the two sets of coefficients and local bases depend on the properties of either state, however, at the expense of the local bases not all being orthonormal and in one case the complex-valuedness of the coefficients. With these results we derive several generally valid purity-type formulas for one-party reductions of rank-1 operators, and we point out relevant relations between the Schmidt decomposition and the Bloch representation of bipartite pure states.
I consider the deterministic distinguishability of a set of orthogonal, bipartite states when only a single copy is available and the parties are restricted to local operations and classical communication, but with the additional requirement that entanglement must be preserved in the process. Several general theorems aimed at characterizing sets of states with which the parties can succeed in such a task are proven. These include (i) a maximum for the number of states when the Schmidt rank of every outcome must be at least a given minimum, (ii) an upper bound (equal to the dimension of Hilbert space if entanglement need not be preserved) for the sum over Schmidt ranks of the initial states when only one-way classical communication is allowed, and (iii) separately, a necessary and a sufficient condition on the states such that their original Schmidt ranks can always be preserved. Two additional theorems explicitly demonstrate a trade-off between the extent to which the set of states fill Hilbert space, as measured by their Schmidt ranks, and how refined the parties must make their measurements, an important factor in determining the Schmidt rank the state can retain after it has been identified. It is shown that our bound on the sum of Schmidt ranks can be exceeded if two-way communication is permitted, and this includes the case that entanglement need not be preserved, so that this sum can exceed the dimension of Hilbert space. Such questions, concerning how the various results are affected by the resources used by the parties (amount of classical communication and types of local operations), are addressed for each theorem. This subject is closely related to the problem of locally purifying an entangled state from a mixed state, which is of direct relevance to teleportation and dense coding using a mixed-state resource. In an appendix, I give an extremely simple and transparent proof of ``nonlocality without entanglement,'' a phenomenon originally discussed by Bennett and co-workers several years ago.
We propose a technique to investigate multipartite entanglement in the symmetric subspace. Our approach is to map an N -qubit symmetric state onto a bipartite symmetric state of higher local dimension. We show that this mapping preserves separability and allows to characterize the entanglement of the original multipartite state. In particular, we establish a connection between the border rank and the Schmidt rank, and derive lower bounds on entanglement measures. Finally, we reveal the existence of entangled symmetric subspaces, where all bipartite states are entangled.
The concepts of quantum correlation and communication complexity have been proposed to quantify the worst-case computational resources needed in generating bipartite classical distributions or bipartite quantum states in the single-shot setting by Zhang (Proc. 3rd Innov Theor Comput., pp. 39-59, 2012). The former characterizes the minimal size of the initial shared state needed if no communication is allowed, and the latter characterizes the minimal amount of communication needed if sharing nothing at the beginning. In this paper, we generalize these two concepts to approximate bipartite cases and various multipartite cases. 1. To generate a bipartite classical distribution P (x, y) approximately, we show that the minimal amount of quantum communication needed can be characterized completely by the approximate PSD-rank of P . This result is obtained based on the fact that the cost to approximate a bipartite quantum state equals that to approximate its exact purifications, which also implies a result for a general bipartite quantum state. 2. In the bipartite case, correlation complexity is always equivalent to communication complexity, but in multipartite cases, this is not true any more. For multipartite pure states, we show that both of them could be characterized by local ranks of subsystems. 3. For any bipartite quantum state, its correlation complexity is always equivalent to that of its optimal purification, while in multipartite cases the former could be smaller strictly than the latter. We characterize the relationship between them by giving upper and lower bounds. 4. For multipartite classical distributions, we show that the approximate correlation complexity could also be characterized by the generalized PSD-rank.
How much internal quantum memory is needed to reproduce a stationary stochastic process, and how does reducing that memory change the environmental resources required when output records are retained? This paper establishes exact quantum-source constructions and resource bounds under explicitly specified readout and retained-output conditions. A general completion theorem identifies the minimum Hilbert-space dimension for stationary triple data in the orthogonal-current-symbol source class: it equals the sum of the complex positive-semidefinite ranks of the middle-symbol slices. An attaining construction reproduces the entire canonical stationary order-two process. For the delayed trine process, the minimum classical hidden Markov model requires nine states at every non-independent parameter value. Quantum instruments reproduce the same complete output law using four-dimensional memory throughout the parameter range, with four dimensions proved necessary in a certified low-noise regime and three dimensions both sufficient and necessary on an explicit high-noise interval. The paper then separates reusable memory dimension from environmental dilation cost. On the certified high-noise interval, the exact one-step Pareto frontier consists of a three-dimensional source with recorded-channel Choi rank nine and a four-dimensional source with rank three. Here, Choi rank measures the minimum initially pure environmental remainder dimension for the channel retaining both the emitted classical symbol and final quantum memory. A separate mixed-support qutrit construction at noise parameter 0.99 improves complete-history costs and gives upper bounds close to universal lower bounds. These results show why optimizing a single step need not optimize a retained multi-step history. The analysis also distinguishes complete channels, fixed-input states and archive-only outputs, and demonstrates how access to a retained reference can distinguish generators with identical passive output statistics. Full-word proofs, algebraic complete-positivity certificates, a technical companion and reproducibility materials accompany the results. The exact intermediate memory boundary and complete-history optimum remain open. All results use standard quantum probabilities and apply to the stated operational resource models; they do not establish total hardware, energy or thermodynamic minima.
Quantum detection in an N-dimensional Hilbert space H involves quantum states and corresponding measure ment operators which span an r-dimensional subspace U of H, with r ≤ N. Quantum detection could be restricted to this subspace, but the operations in U are still redundant, since the kets have N components. By applying the singular-value decomposition to the state matrix, it is possible to perform a compression from the subspace U onto a "compressed" space U̅, where the redundancy is removed and kets are represented by r components. The detection can be perfectly reformulated in the "compressed" space, without loss of information, with a greatly reduced complexity. The compression is particularly attractive when r ≪ N, as shown with an example of application to quantum optical communications.