Abstract Encoding and decoding quantum information in a multipartite quantum system are indispensable for quantum error correction and also play crucial roles in multiparty tasks in distributed quantum information processing such as quantum secret sharing. To quantitatively characterize nonlocal properties of multipartite quantum transformations for encoding and decoding, we analyze the entanglement costs of encoding and decoding quantum information in a multipartite quantum system distributed among spatially separated parties connected by a network. This analysis generalizes previous studies of entanglement costs for preparing bipartite and multipartite quantum states and implementing bipartite quantum transformations by entanglement‐assisted local operations and classical communication (LOCC). We identify conditions for the parties being able to encode or decode quantum information in the distributed quantum system deterministically and exactly, when inter‐party quantum communication is restricted to a tree‐topology network. In our analysis, we reduce the multiparty tasks of implementing the encoding and decoding to sequential applications of one‐shot zero‐error quantum state splitting and merging for two parties. While encoding and decoding are inverse tasks of each other, our results suggest that a quantitative difference in entanglement cost between encoding and decoding arises due to the difference between quantum state merging and splitting.
Abstract Encoding and decoding quantum information in a multipartite quantum system are indispensable for quantum error correction and also play crucial roles in multiparty tasks in distributed quantum information processing such as quantum secret sharing. To quantitatively characterize nonlocal properties of multipartite quantum transformations for encoding and decoding, we analyze the entanglement costs of encoding and decoding quantum information in a multipartite quantum system distributed among spatially separated parties connected by a network. This analysis generalizes previous studies of entanglement costs for preparing bipartite and multipartite quantum states and implementing bipartite quantum transformations by entanglement‐assisted local operations and classical communication (LOCC). We identify conditions for the parties being able to encode or decode quantum information in the distributed quantum system deterministically and exactly, when inter‐party quantum communication is restricted to a tree‐topology network. In our analysis, we reduce the multiparty tasks of implementing the encoding and decoding to sequential applications of one‐shot zero‐error quantum state splitting and merging for two parties. While encoding and decoding are inverse tasks of each other, our results suggest that a quantitative difference in entanglement cost between encoding and decoding arises due to the difference between quantum state merging and splitting.
Distributed quantum information processing is a promising platform for scaling up quantum information processing, where small- and intermediate-scale quantum devices are connected by a network of quantum channels for communicating quantum information, so as to cooperate in achieving larger-scale information processing. In such distributed settings, entangled states shared among the multiple devices serve as a resource for achieving nonlocal information processing tasks by local operations and classical communication (LOCC), where transformations of multipartite entangled states play central roles. This thesis analyzes properties of quantum entanglement in these small- and intermediate-scale settings and multipartite settings. The first part of this thesis investigates a communication task, quantum state merging, on the small and intermediate scales. The second part of this thesis analyzes multipartite entanglement in distributed quantum information processing. These analyses clarify fundamental limitations and potential applications of distributed quantum information processing to characterize properties of quantum entanglement in the small- and intermediate-scale settings and multipartite settings, providing a paradigm for investigating multipartite entanglement in distributed quantum information processing over networks beyond the state convertibility under LOCC.
We construct a protocol for extracting distributed single-qubit quantum information encoded in a stabilizer code of multiple qubits, only with single-qubit local operations and classical communication (LOCC) without global operations or entanglement resources. This protocol achieves efficient extraction within a polynomial time in terms of the number of physical qubits. We apply this protocol to a setting of quantum information splitting where a subset of spatially separated parties cooperate by classical communication to extract quantum information shared among all the parties. For this task, our LOCC extraction protocol allows designing hierarchical information access structures among the parties, where the minimum number of parties required to cooperate depends on the location of extracting the shared quantum information. Extraction of quantum information encoded in the stabilizer code appears widely in distributed quantum information processing, such as quantum secret sharing. Our results allow such distributed quantum information processing without entanglement costs.
Distributed quantum computation is a task in which many distant parties perform a large quantum computation in collaboration with each other, by using classical communication, quantum communication or shared entanglement as resources.In this thesis, we consider one of the simplest nontrivial task of distributed quantum computation, that is, implementation of bipartite unitary by LOCC (local operations and classical communication) assisted by shared entanglement.Here, two input states are distributed over two distant parties.Contrary to previous researches, we consider an asymptotic scenario in which the two parties perform the same bipartite unitary on infinitely many independent input pairs.We analyze the minimum amount of resources required for the task by exploiting concepts and techniques developed in the field of quantum Shannon theory, which has originally been developed to analyze quantum communication.As a tool for analyzing distributed quantum computation, we first introduce a task that we call Markovianization.Markovianization is a task in which a tripartite pure state is transformed to a state called quantum Markov chain, by a randomizing operation on one of the three subsystems.We derive the minimum cost of randomness required for Markovianization (Markovianizing cost) by exploiting a novel decomposition of a Hilbert space introduced in the context of quantum cryptography.We then apply the obtained result to distributed quantum computation.We mainly consider implementation of bipartite unitaries by entanglement-assisted LOCC protocols consisting of three steps, called one-round protocols.This is the first nontrivial case because it is not possible to implement bipartite unitaries by protocols consisting of only one or two steps.Our main result is that we derive the minimum costs of entanglement and classical communication.We show that the minimum costs are given by the Markovianizing cost of a tripartite state associated with the unitary.The result indicates that information about input states of computation is divided into three components: one of which only information of amplitude in a basis is required for computation (information of phase is not), another of which both amplitude and phase information are required, and the other of which no information is involved in computation.Our construction of a protocol that requires the smallest amount of resources is based on this decomposition.We also propose a method to compute the Markovianizing cost of a state associated with the unitary.We also consider two-round protocols, that is, protocols consisting of concatenation of two one-round protocols, for two-qubit controlled unitaries.We show that, for a particular class of two-qubit controlled unitaries, the minimum entanglement cost in two-round protocols is strictly smaller than that in one-round protocols.This result is the first reported case that indicates a property of a trade-off relation between entanglement requirement and the number of turns in entanglement-assisted LOCC tasks.The research in this thesis opens a possibility to build a new bridge between quantum computation theory and quantum communication theory, which are the two largest subfield of quantum information theory, by analyzing a problem in the former using concepts and techniques developed in the latter.
The novel ways in which correlations may be encoded non-locally in quantum mechanics have led to the promise of new technologies. This, in turn, has led to the first attempts at the development of quantum networks. Nonetheless, our understanding of quantum correlations and the limits of how we may process them over a quantum network remains nascent. This thesis studies the limits of processing quantum correlations between spatially separated parties in various settings and the mathematical tools necessary to determine such limits. To do so, this thesis studies three general problems in quantum network theory. The first problem is the minimum resources to prepare a quantum correlation between non-communicative receivers, which may be viewed as a star network. This study is separated into three pieces. The first piece is a near-tight one-shot quantum generalization of a problem introduced by Wyner, distributed source simulation. Establishing our one-shot bounds builds on recent work on soft-covering without smoothing and relies on establishing a variety of properties for one-shot entropic quantities, as well as improving our understanding of the smooth entropy framework in quantum network information theory. As distributed source simulation cannot be achieved to arbitrary error for sufficiently entangled states, the second piece characterizes the minimal error of converting one entangled state to another using zero communication. This relies on establishing new properties of the fidelity measure. The third piece establishes an entanglement-assisted version of the distributed source simulation task that can be achieved to arbitrary error for arbitrary quantum systems. This result builds on recent work on multipartite state splitting and establishing new properties of one-shot multipartite max mutual information quantities. The second problem is the extraction of perfect classical correlation from a multipartite quantum source where the receivers do not communicate. This may be seen as the reverse process of distributed source simulation. We establish that this is asymptotically possible in quantum mechanics for the first time and establish the asymptotic rate for classical-quantum states. The technical barrier in establishing the asymptotic rate is establishing a limit on how much noiseless correlation can be extracted without communication. Our major technical contribution is establishing such a limit by generalizing a technical lemma of Gács and Körner to classical-quantum states. The final problem is distributed state discrimination of quantum product states. This is motivated by its relevance to both understanding non-locality in quantum mechanics and developing quantum cryptographic schemes. Our study again breaks into three key pieces. First, we study the framework of local operations and simultaneous classical or quantum communication (LOSCC and LOSQC respectively) for product states, which is relevant to quantum cryptography. We establish the first separation between quantum and classical communication in the simultaneous communication model using only product state inputs. We also establish a new uncertainty relation that implies error bounds for discriminating product states using LOSQC. Second, we study state discrimination under local operations and classical communication (LOCC). We develop a new framework for zero-error state discrimination under LOCC. Our framework provides a simple proof of orthogonal product states that cannot be distinguished using LOCC--- a property introduced by Bennett et al. Finally, we study the thermodynamics of zero-error distributed state discrimination in the framework of Faist et al. This allows us to resolve an open problem from the aforementioned paper of Bennett et al.
We analyze implementations of bipartite unitaries in a distributed quantum computation setting using local operations and classical communication (LOCC) assisted by shared entanglement. We employ concepts and techniques developed in quantum Shannon theory to study an asymptotic scenario in which the two distant parties perform the same bipartite unitary on infinitely many pairs of input states generated by a completely random i.i.d. (independent and identically distributed) quantum information source. We analyze the minimum costs of resources of entanglement and classical communication per copy. For protocols consisting of two-round LOCC, we prove that an achievable rate tuple of costs of entanglement and classical communication is given by the “Markovianizing cost” of a tripartite state associated with the unitary, which is conjectured to be optimal as well. The Markovianizing cost can be computed by a finite-step algorithm.
We analyze implementations of bipartite unitaries by means of local operations and classical communication (LOCC) assisted by shared entanglement. We employ concepts and techniques developed in the quantum Shannon theory to study an asymptotic scenario, in which two distant parties perform the same bipartite unitary on infinitely many pairs of inputs. We analyze minimum cost of entanglement and classical communication per copy. For two-round LOCC protocols, we derive a single-letter formula for the minimum cost of entanglement and classical communication, under an additional requirement that the error converges to zero faster than 1/n4, where n is the number of input pairs. The formula is given by the “Markovianizing cost” of a tripartite state associated with the unitary, which can be computed by a finite-step algorithm. We also derive a lower bound on the minimum cost of resources, which applies for protocols with arbitrary number of rounds.