Showing 1–35 of 35 results for author: Leung, D W

The Universal Composable Security of Quantum Message Authentication with Key Recyling

Authors: Patrick Hayden, Debbie W. Leung, Dominic Mayers

Abstract: Barnum, Crepeau, Gottesman, Tapp, and Smith (quant-ph/0205128) proposed methods for authentication of quantum messages. The first method is an interactive protocol (TQA') based on teleportation. The second method is a noninteractive protocol (QA) in which the sender first encrypts the message using a protocol QEnc and then encodes the quantum ciphertext with an error correcting code chosen secretl… ▽ More Barnum, Crepeau, Gottesman, Tapp, and Smith (quant-ph/0205128) proposed methods for authentication of quantum messages. The first method is an interactive protocol (TQA') based on teleportation. The second method is a noninteractive protocol (QA) in which the sender first encrypts the message using a protocol QEnc and then encodes the quantum ciphertext with an error correcting code chosen secretly from a set (a purity test code (PTC)). Encryption was shown to be necessary for authentication. We augment the protocol QA with an extra step which recycles the entire encryption key provided QA accepts the message. We analyze the resulting integrated protocol for quantum authentication and key generation, which we call QA+KG. Our main result is a proof that QA+KG is universal composably (UC) secure in the Ben-Or-Mayers model (quant-ph/0409062). More specifically, this implies the UC-security of (a) QA, (b) recycling of the encryption key in QA, and (c) key-recycling of the encryption scheme QEnc by appending PTC. For an m-qubit message, encryption requires 2m bits of key; but PTC can be performed using only O(log m) + O(log e) bits of key for probability of failure e. Thus, we reduce the key required for both QA and QEnc, from linear to logarithmic net consumption, at the expense of one bit of back communication which can happen any time after the conclusion of QA and before reusing the key. UC-security of QA also extends security to settings not obvious from quant-ph/0205128. Our security proof structure is inspired by and similar to that of quant-ph/0205128, reducing the security of QA to that of TQA'. In the process, we define UC-secure entanglement, and prove the UC-security of the entanglement generating protocol given in quant-ph/0205128, which could be of independent interest. △ Less

Submitted 28 October, 2016; originally announced October 2016.

Comments: A revised version of our QCRYPT 2011 submission

Adaptive versus non-adaptive strategies for quantum channel discrimination

Authors: Aram W. Harrow, Avinatan Hassidim, Debbie W. Leung, John Watrous

Abstract: We provide a simple example that illustrates the advantage of adaptive over non-adaptive strategies for quantum channel discrimination. In particular, we give a pair of entanglement-breaking channels that can be perfectly discriminated by means of an adaptive strategy that requires just two channel evaluations, but for which no non-adaptive strategy can give a perfect discrimination using any fi… ▽ More We provide a simple example that illustrates the advantage of adaptive over non-adaptive strategies for quantum channel discrimination. In particular, we give a pair of entanglement-breaking channels that can be perfectly discriminated by means of an adaptive strategy that requires just two channel evaluations, but for which no non-adaptive strategy can give a perfect discrimination using any finite number of channel evaluations. △ Less

Submitted 1 September, 2009; originally announced September 2009.

Comments: 11 pages

Journal ref: Phys. Rev. A 81, 032339 (2010)

A communication-efficient nonlocal measurement with application to communication complexity and bipartite gate capacities

Authors: Aram W. Harrow, Debbie W. Leung

Abstract: Two dual questions in quantum information theory are to determine the communication cost of simulating a bipartite unitary gate, and to determine their communication capacities. We present a bipartite unitary gate with two surprising properties: 1) simulating it with the assistance of unlimited EPR pairs requires far more communication than with a better choice of entangled state, and 2) its commu… ▽ More Two dual questions in quantum information theory are to determine the communication cost of simulating a bipartite unitary gate, and to determine their communication capacities. We present a bipartite unitary gate with two surprising properties: 1) simulating it with the assistance of unlimited EPR pairs requires far more communication than with a better choice of entangled state, and 2) its communication capacity is far lower than its capacity to create entanglement. This suggests that 1) unlimited EPR pairs are not the most general model of entanglement assistance for two-party communication tasks, and 2) the entangling and communicating abilities of a unitary interaction can vary nearly independently. The technical contribution behind these results is a communication-efficient protocol for measuring whether an unknown shared state lies in a specified rank-one subspace or its orthogonal complement. △ Less

Submitted 3 March, 2011; v1 submitted 21 March, 2008; originally announced March 2008.

Comments: 6 pages

Journal ref: IEEE Trans. Info. Theory, Volume 57, Issue 8, pages 5504 - 5508 (Aug 2011)

Two-way quantum communication channels

Authors: Andrew M. Childs, Debbie W. Leung, Hoi-Kwong Lo

Abstract: We consider communication between two parties using a bipartite quantum operation, which constitutes the most general quantum mechanical model of two-party communication. We primarily focus on the simultaneous forward and backward communication of classical messages. For the case in which the two parties share unlimited prior entanglement, we give inner and outer bounds on the achievable rate re… ▽ More We consider communication between two parties using a bipartite quantum operation, which constitutes the most general quantum mechanical model of two-party communication. We primarily focus on the simultaneous forward and backward communication of classical messages. For the case in which the two parties share unlimited prior entanglement, we give inner and outer bounds on the achievable rate region that generalize classical results due to Shannon. In particular, using a protocol of Bennett, Harrow, Leung, and Smolin, we give a one-shot expression in terms of the Holevo information for the entanglement-assisted one-way capacity of a two-way quantum channel. As applications, we rederive two known additivity results for one-way channel capacities: the entanglement-assisted capacity of a general one-way channel, and the unassisted capacity of an entanglement-breaking one-way channel. △ Less

Submitted 5 June, 2005; originally announced June 2005.

Comments: 21 pages, 3 figures

Journal ref: International Journal of Quantum Information, Vol. 4, No. 1 (2006) 63-83

Simple proof of fault tolerance in the graph-state model

Authors: Panos Aliferis, Debbie W. Leung

Abstract: We consider the problem of fault tolerance in the graph-state model of quantum computation. Using the notion of composable simulations, we provide a simple proof for the existence of an accuracy threshold for graph-state computation by invoking the threshold theorem derived for quantum circuit computation. Lower bounds for the threshold in the graph-state model are then obtained from known bound… ▽ More We consider the problem of fault tolerance in the graph-state model of quantum computation. Using the notion of composable simulations, we provide a simple proof for the existence of an accuracy threshold for graph-state computation by invoking the threshold theorem derived for quantum circuit computation. Lower bounds for the threshold in the graph-state model are then obtained from known bounds in the circuit model under the same noise process. △ Less

Submitted 27 March, 2006; v1 submitted 15 March, 2005; originally announced March 2005.

Comments: 6 pages, 2 figures, REVTeX4. (v4): Minor revisions and new title; published version

Journal ref: Phys. Rev. A 73, 032308 (2006)

Bidirectional coherent classical communication

Authors: Aram W. Harrow, Debbie W. Leung

Abstract: A unitary interaction coupling two parties enables quantum communication in both the forward and backward directions. Each communication capacity can be thought of as a tradeoff between the achievable rates of specific types of forward and backward communication. Our first result shows that for any bipartite unitary gate, coherent classical communication is no more difficult than classical c… ▽ More A unitary interaction coupling two parties enables quantum communication in both the forward and backward directions. Each communication capacity can be thought of as a tradeoff between the achievable rates of specific types of forward and backward communication. Our first result shows that for any bipartite unitary gate, coherent classical communication is no more difficult than classical communication -- they have the same achievable rate regions. Previously this result was known only for the unidirectional capacities (i.e., the boundaries of the tradeoff). We then relate the tradeoff curve for two-way coherent communication to the tradeoff for two-way quantum communication and the tradeoff for coherent communiation in one direction and quantum communication in the other. △ Less

Submitted 12 May, 2005; v1 submitted 16 December, 2004; originally announced December 2004.

Comments: 11 pages, v2 extensive modification and rewriting of the main proof, v3 published version with only a few more changes

Journal ref: Quantum Information and Computation, vol. 5, no. 4-5, pp. 380-395 (2005)

The Universal Composable Security of Quantum Key Distribution

Authors: M. Ben-Or, Michal Horodecki, D. W. Leung, D. Mayers, J. Oppenheim

Abstract: The existing unconditional security definitions of quantum key distribution (QKD) do not apply to joint attacks over QKD and the subsequent use of the resulting key. In this paper, we close this potential security gap by using a universal composability theorem for the quantum setting. We first derive a composable security definition for QKD. We then prove that the usual security definition of QK… ▽ More The existing unconditional security definitions of quantum key distribution (QKD) do not apply to joint attacks over QKD and the subsequent use of the resulting key. In this paper, we close this potential security gap by using a universal composability theorem for the quantum setting. We first derive a composable security definition for QKD. We then prove that the usual security definition of QKD still implies the composable security definition. Thus, a key produced in any QKD protocol that is unconditionally secure in the usual definition can indeed be safely used, a property of QKD that is hitherto unproven. We propose two other useful sufficient conditions for composability. As a simple application of our result, we show that keys generated by repeated runs of QKD degrade slowly. △ Less

Submitted 13 September, 2004; originally announced September 2004.

Journal ref: Theory of Cryptography: Second Theory of Cryptography Conference, TCC 2005, J.Kilian (ed.) Springer Verlag 2005, vol. 3378 of Lecture Notes in Computer Science, pp. 386-406

Aspects of generic entanglement

Authors: Patrick Hayden, Debbie W. Leung, Andreas Winter

Abstract: We study entanglement and other correlation properties of random states in high-dimensional bipartite systems. These correlations are quantified by parameters that are subject to the "concentration of measure" phenomenon, meaning that on a large-probability set these parameters are close to their expectation. For the entropy of entanglement, this has the counterintuitive consequence that there e… ▽ More We study entanglement and other correlation properties of random states in high-dimensional bipartite systems. These correlations are quantified by parameters that are subject to the "concentration of measure" phenomenon, meaning that on a large-probability set these parameters are close to their expectation. For the entropy of entanglement, this has the counterintuitive consequence that there exist large subspaces in which all pure states are close to maximally entangled. This, in turn, implies the existence of mixed states with entanglement of formation near that of a maximally entangled state, but with negligible quantum mutual information and, therefore, negligible distillable entanglement, secret key, and common randomness. It also implies a very strong locking effect for the entanglement of formation: its value can jump from maximal to near zero by tracing over a number of qubits negligible compared to the size of total system. Furthermore, such properties are generic. Similar phenomena are observed for random multiparty states, leading us to speculate on the possibility that the theory of entanglement is much simplified when restricted to asymptotically generic states. Further consequences of our results include a complete derandomization of the protocol for universal superdense coding of quantum states. △ Less

Submitted 10 June, 2005; v1 submitted 7 July, 2004; originally announced July 2004.

Comments: 22 pages, 1 figure, 1 table

Journal ref: Comm. Math. Phys. Vol. 265, No. 1, pp. 95-117, 2006.

Unified derivations of measurement-based schemes for quantum computation

Authors: Andrew M. Childs, Debbie W. Leung, Michael A. Nielsen

Abstract: We present unified, systematic derivations of schemes in the two known measurement-based models of quantum computation. The first model (introduced by Raussendorf and Briegel [Phys. Rev. Lett., 86, 5188 (2001)]) uses a fixed entangled state, adaptive measurements on single qubits, and feedforward of the measurement results. The second model (proposed by Nielsen [Phys. Lett. A, 308, 96 (2003)] an… ▽ More We present unified, systematic derivations of schemes in the two known measurement-based models of quantum computation. The first model (introduced by Raussendorf and Briegel [Phys. Rev. Lett., 86, 5188 (2001)]) uses a fixed entangled state, adaptive measurements on single qubits, and feedforward of the measurement results. The second model (proposed by Nielsen [Phys. Lett. A, 308, 96 (2003)] and further simplified by Leung [Int. J. Quant. Inf., 2, 33 (2004)]) uses adaptive two-qubit measurements that can be applied to arbitrary pairs of qubits, and feedforward of the measurement results. The underlying principle of our derivations is a variant of teleportation introduced by Zhou, Leung, and Chuang [Phys. Rev. A, 62, 052316 (2000)]. Our derivations unify these two measurement-based models of quantum computation and provide significantly simpler schemes. △ Less

Submitted 28 June, 2004; v1 submitted 23 April, 2004; originally announced April 2004.

Comments: 14 pages

Journal ref: Phys. Rev. A 71, 032318 (2005)

Computation by measurements: a unifying picture

Authors: Panos Aliferis, Debbie W. Leung

Abstract: The ability to perform a universal set of quantum operations based solely on static resources and measurements presents us with a strikingly novel viewpoint for thinking about quantum computation and its powers. We consider the two major models for doing quantum computation by measurements that have hitherto appeared in the literature and show that they are conceptually closely related by demons… ▽ More The ability to perform a universal set of quantum operations based solely on static resources and measurements presents us with a strikingly novel viewpoint for thinking about quantum computation and its powers. We consider the two major models for doing quantum computation by measurements that have hitherto appeared in the literature and show that they are conceptually closely related by demonstrating a systematic local mapping between them. This way we effectively unify the two models, showing that they make use of interchangeable primitives. With the tools developed for this mapping, we then construct more resource-effective methods for performing computation within both models and propose schemes for the construction of arbitrary graph states employing two-qubit measurements alone. △ Less

Submitted 15 April, 2004; v1 submitted 13 April, 2004; originally announced April 2004.

Comments: 13 pages, 18 figures, REVTeX4

Journal ref: Phys. Rev. A 70, 062314 (2004)

An exact effective two-qubit gate in a chain of three spins

Authors: Man-Hong Yung, Debbie W. Leung, Sougato Bose

Abstract: We show that an effective two-qubit gate can be obtained from the free evolution of three spins in a chain with nearest neighbor XY coupling, without local manipulations. This gate acts on the two remote spins and leaves the mediating spin unchanged. It can be used to perfectly transfer an arbitrary quantum state from the first spin to the last spin or to simultaneously communicate one classical… ▽ More We show that an effective two-qubit gate can be obtained from the free evolution of three spins in a chain with nearest neighbor XY coupling, without local manipulations. This gate acts on the two remote spins and leaves the mediating spin unchanged. It can be used to perfectly transfer an arbitrary quantum state from the first spin to the last spin or to simultaneously communicate one classical bit in each direction. One ebit can be generated in half of the time for state transfer. For longer spin chains, we present methods to create or transfer entanglement between the two end spins in half of the time required for quantum state transfer, given tunable coupling strength and local magnetic field. We also examine imperfect state transfer through a homogeneous XY chain. △ Less

Submitted 11 December, 2003; originally announced December 2003.

Comments: RevTeX4, 7 pages, 4 figues

Journal ref: Quantum Information and Computation 4, 174 (2004)

Quantum computation by measurements

Authors: Debbie W. Leung

Abstract: We first consider various methods for the indirect implementation of unitary gates. We apply these methods to rederive the universality of 4-qubit measurements based on a scheme much simpler than Nielsen's original construction [quant-ph/0108020]. Then, we prove the universality of simple discrete sets of 2-qubit measurements, again using a scheme simplifying the initial construction [quant-ph/0… ▽ More We first consider various methods for the indirect implementation of unitary gates. We apply these methods to rederive the universality of 4-qubit measurements based on a scheme much simpler than Nielsen's original construction [quant-ph/0108020]. Then, we prove the universality of simple discrete sets of 2-qubit measurements, again using a scheme simplifying the initial construction [quant-ph/0111122]. Finally, we show how to use a single 4-qubit measurement to achieve universal quantum computation, and outline a proof for the universality of almost all maximally entangling 4-qubit measurements. △ Less

Submitted 26 February, 2004; v1 submitted 31 October, 2003; originally announced October 2003.

Comments: Based on a presentation at EQIS 03, Kyoto

Journal ref: IJQI, Vol. 2, No. 1 (2004) 33-43

Remote preparation of quantum states

Authors: Charles H. Bennett, Patrick Hayden, Debbie W. Leung, Peter W. Shor, Andreas Winter

Abstract: Remote state preparation is the variant of quantum state teleportation in which the sender knows the quantum state to be communicated. The original paper introducing teleportation established minimal requirements for classical communication and entanglement but the corresponding limits for remote state preparation have remained unknown until now: previous work has shown, however, that it not onl… ▽ More Remote state preparation is the variant of quantum state teleportation in which the sender knows the quantum state to be communicated. The original paper introducing teleportation established minimal requirements for classical communication and entanglement but the corresponding limits for remote state preparation have remained unknown until now: previous work has shown, however, that it not only requires less classical communication but also gives rise to a trade-off between these two resources in the appropriate setting. We discuss this problem from first principles, including the various choices one may follow in the definitions of the actual resources. Our main result is a general method of remote state preparation for arbitrary states of many qubits, at a cost of 1 bit of classical communication and 1 bit of entanglement per qubit sent. In this "universal" formulation, these ebit and cbit requirements are shown to be simultaneously optimal by exhibiting a dichotomy. Our protocol then yields the exact trade-off curve for arbitrary ensembles of pure states and pure entangled states (including the case of incomplete knowledge of the ensemble probabilities), based on the recently established quantum-classical trade-off for quantum data compression. The paper includes an extensive discussion of our results, including the impact of the choice of model on the resources, the topic of obliviousness, and an application to private quantum channels and quantum data hiding. △ Less

Submitted 2 June, 2004; v1 submitted 15 July, 2003; originally announced July 2003.

Comments: 21 pages plus 2 figures (eps), revtex4. v2 corrects some errors and adds obliviousness discussion. v3 has section VI C deleted and various minor oversights corrected

Journal ref: IEEE Trans. Inform. Theory, vol. 51, no. 1, pp 56-74, 2005.

Reversible simulation of bipartite product Hamiltonians

Authors: Andrew M. Childs, Debbie W. Leung, Guifre Vidal

Abstract: Consider two quantum systems A and B interacting according to a product Hamiltonian H = H_A x H_B. We show that any two such Hamiltonians can be used to simulate each other reversibly (i.e., without efficiency losses) with the help of local unitary operations and local ancillas. Accordingly, all non-local features of a product Hamiltonian -- including the rate at which it can be used to produce… ▽ More Consider two quantum systems A and B interacting according to a product Hamiltonian H = H_A x H_B. We show that any two such Hamiltonians can be used to simulate each other reversibly (i.e., without efficiency losses) with the help of local unitary operations and local ancillas. Accordingly, all non-local features of a product Hamiltonian -- including the rate at which it can be used to produce entanglement, transmit classical or quantum information, or simulate other Hamiltonians -- depend only upon a single parameter. We identify this parameter and use it to obtain an explicit expression for the entanglement capacity of all product Hamiltonians. Finally, we show how the notion of simulation leads to a natural formulation of measures of the strength of a nonlocal Hamiltonian. △ Less

Submitted 14 March, 2003; originally announced March 2003.

Comments: 10 pages

Report number: MIT-CTP #3347

Journal ref: IEEE Trans. Inf. Theory Vol. 50, No. 6, 1189-1197 (2004)

Asymptotic entanglement capacity of the Ising and anisotropic Heisenberg interactions

Authors: A. M. Childs, D. W. Leung, F. Verstraete, G. Vidal

Abstract: We compute the asymptotic entanglement capacity of the Ising interaction ZZ, the anisotropic Heisenberg interaction XX + YY, and more generally, any two-qubit Hamiltonian with canonical form K = a XX + b YY. We also describe an entanglement assisted classical communication protocol using the Hamiltonian K with rate equal to the asymptotic entanglement capacity. We compute the asymptotic entanglement capacity of the Ising interaction ZZ, the anisotropic Heisenberg interaction XX + YY, and more generally, any two-qubit Hamiltonian with canonical form K = a XX + b YY. We also describe an entanglement assisted classical communication protocol using the Hamiltonian K with rate equal to the asymptotic entanglement capacity. △ Less

Submitted 14 October, 2002; v1 submitted 10 July, 2002; originally announced July 2002.

Comments: 5 pages, 1 figure; minor corrections, conjecture added

Journal ref: Quantum Information and Computation 3, 97 (2003)

On the capacities of bipartite Hamiltonians and unitary gates

Authors: C. H. Bennett, A. W. Harrow, D. W. Leung, J. A. Smolin

Abstract: We consider interactions as bidirectional channels. We investigate the capacities for interaction Hamiltonians and nonlocal unitary gates to generate entanglement and transmit classical information. We give analytic expressions for the entanglement generating capacity and entanglement-assisted one-way classical communication capacity of interactions, and show that these quantities are additive,… ▽ More We consider interactions as bidirectional channels. We investigate the capacities for interaction Hamiltonians and nonlocal unitary gates to generate entanglement and transmit classical information. We give analytic expressions for the entanglement generating capacity and entanglement-assisted one-way classical communication capacity of interactions, and show that these quantities are additive, so that the asymptotic capacities equal the corresponding 1-shot capacities. We give general bounds on other capacities, discuss some examples, and conclude with some open questions. △ Less

Submitted 23 August, 2002; v1 submitted 10 May, 2002; originally announced May 2002.

Comments: V3: extensively rewritten. V4: a mistaken reference to a conjecture by Kraus and Cirac [quant-ph/0011050] removed and a mistake in the order of authors in Ref. [53] corrected

Journal ref: IEEE Trans. Inf. Theory, Vol. 49, No. 8, (2003) p.1895-1911

The entanglement of purification

Authors: Barbara M. Terhal, Michal Horodecki, Debbie W. Leung, David P. DiVincenzo

Abstract: We introduce a measure of both quantum as well as classical correlations in a quantum state, the entanglement of purification. We show that the (regularized) entanglement of purification is equal to the entanglement cost of creating a state $ρ$ asymptotically from maximally entangled states, with negligible communication. We prove that the classical mutual information and the quantum mutual info… ▽ More We introduce a measure of both quantum as well as classical correlations in a quantum state, the entanglement of purification. We show that the (regularized) entanglement of purification is equal to the entanglement cost of creating a state $ρ$ asymptotically from maximally entangled states, with negligible communication. We prove that the classical mutual information and the quantum mutual information divided by two are lower bounds for the regularized entanglement of purification. We present numerical results of the entanglement of purification for Werner states in ${\cal H}_2 \otimes {\cal H}_2$. △ Less

Submitted 1 May, 2002; v1 submitted 7 February, 2002; originally announced February 2002.

Comments: 12 pages RevTex, 1 figure, to appear in JMP special issue on quantum information. v3 contains additional references, motivation, and a small change in the figure

Journal ref: J. Math. Phys. 43, 4286--4298 (2002)

Choi's Proof and Quantum Process Tomography

Authors: D. W. Leung

Abstract: Quantum process tomography is a procedure by which an unknown quantum operation can be fully experimentally characterized. We reinterpret Choi's proof of the fact that any completely positive linear map has a Kraus representation [Lin. Alg. and App., 10, 1975] as a method for quantum process tomography. Furthermore, the analysis for obtaining the Kraus operators are particularly simple in this m… ▽ More Quantum process tomography is a procedure by which an unknown quantum operation can be fully experimentally characterized. We reinterpret Choi's proof of the fact that any completely positive linear map has a Kraus representation [Lin. Alg. and App., 10, 1975] as a method for quantum process tomography. Furthermore, the analysis for obtaining the Kraus operators are particularly simple in this method. △ Less

Submitted 25 January, 2002; originally announced January 2002.

Comments: submitted to special issue of JMP on QIT

Journal ref: J. Math. Phys., Vol. 44, No. 2 (2003) p. 528-33

Oblivious remote state preparation

Authors: D. W. Leung, P. W. Shor

Abstract: We consider remote state preparation protocols for a set of pure states whose projectors form a basis for operators acting on the input Hilbert space. If a protocol (1) uses only forward communication and entanglement, (2) deterministically prepares an exact copy of the state, and (3) does so obliviously -- without leaking further information about the state to the receiver -- then the protocol… ▽ More We consider remote state preparation protocols for a set of pure states whose projectors form a basis for operators acting on the input Hilbert space. If a protocol (1) uses only forward communication and entanglement, (2) deterministically prepares an exact copy of the state, and (3) does so obliviously -- without leaking further information about the state to the receiver -- then the protocol can be modified to require from the sender only a single specimen of the state. Furthermore, the original protocol and the modified protocol use the same amount of classical communication. Thus, under the three conditions stated, remote state preparation requires at least as much classical communication as teleportation, as Lo has conjectured [PRA 62 (2000) 012313], which is twice the expected classical communication cost of some existing nonoblivious protocols. △ Less

Submitted 3 January, 2002; originally announced January 2002.

Journal ref: Phys. Rev. Lett., Vol. 90 (2003) 127905

Two-qubit Projective Measurements are Universal for Quantum Computation

Authors: D. W. Leung

Abstract: Nielsen [quant-ph/0108020] showed that universal quantum computation is possible given quantum memory and the ability to perform projective measurements on up to 4-qubits. We describe an improved method that requires only 2-qubit measurements, which are both sufficient and necessary. We present a method to partially collapse the $C_k$-hierarchy in the indirect construction of unitary gates [Gott… ▽ More Nielsen [quant-ph/0108020] showed that universal quantum computation is possible given quantum memory and the ability to perform projective measurements on up to 4-qubits. We describe an improved method that requires only 2-qubit measurements, which are both sufficient and necessary. We present a method to partially collapse the $C_k$-hierarchy in the indirect construction of unitary gates [Gottesman and Chuang, Nature, {\bf 402} 309 (1999)], and apply the method to find discrete universal sets of 2-qubit measurements. △ Less

Submitted 9 April, 2002; v1 submitted 22 November, 2001; originally announced November 2001.

Comments: Results and discussed expanded, simple discrete universal sets of measurements presented

Report number: NSF-ITP-01-174

Simulation and reversal of n-qubit Hamiltonians using Hadamard matrices

Authors: D. W. Leung

Abstract: The ability to simulate one Hamiltonian with another is an important primitive in quantum information processing. In this paper, a simulation method for arbitrary $σ_z \otimes σ_z$ interaction based on Hadamard matrices (quant-ph/9904100) is generalized for any pairwise interaction. We describe two applications of the generalized framework. First, we obtain a class of protocols for selecting an… ▽ More The ability to simulate one Hamiltonian with another is an important primitive in quantum information processing. In this paper, a simulation method for arbitrary $σ_z \otimes σ_z$ interaction based on Hadamard matrices (quant-ph/9904100) is generalized for any pairwise interaction. We describe two applications of the generalized framework. First, we obtain a class of protocols for selecting an arbitrary interaction term in an n-qubit Hamiltonian. This class includes the scheme given in quant-ph/0106064v2. Second, we obtain a class of protocols for inverting an arbitrary, possibly unknown n-qubit Hamiltonian, generalizing the result in quant-ph/0106085v1. △ Less

Submitted 28 August, 2001; v1 submitted 6 July, 2001; originally announced July 2001.

Comments: Critical mistake corrected, conclusions essentially unchanged

Journal ref: J. Mod. Opt., Vol. 49, No. 8 (2002) p. 1199-1217

Optimal simulation of two-qubit Hamiltonians using general local operations

Authors: C. H. Bennett, J. I. Cirac, M. S. Leifer, D. W. Leung, N. Linden, S. Popescu, G. Vidal

Abstract: We consider the simulation of the dynamics of one nonlocal Hamiltonian by another, allowing arbitrary local resources but no entanglement nor classical communication. We characterize notions of simulation, and proceed to focus on deterministic simulation involving one copy of the system. More specifically, two otherwise isolated systems $A$ and $B$ interact by a nonlocal Hamiltonian… ▽ More We consider the simulation of the dynamics of one nonlocal Hamiltonian by another, allowing arbitrary local resources but no entanglement nor classical communication. We characterize notions of simulation, and proceed to focus on deterministic simulation involving one copy of the system. More specifically, two otherwise isolated systems $A$ and $B$ interact by a nonlocal Hamiltonian $H \neq H_A+H_B$. We consider the achievable space of Hamiltonians $H'$ such that the evolution $e^{-iH't}$ can be simulated by the interaction $H$ interspersed with local operations. For any dimensions of $A$ and $B$, and any nonlocal Hamiltonians $H$ and $H'$, there exists a scale factor $s$ such that for all times $t$ the evolution $e^{-iH'st}$ can be simulated by $H$ acting for time $t$ interspersed with local operations. For 2-qubit Hamiltonians $H$ and $H'$, we calculate the optimal $s$ and give protocols achieving it. The optimal protocols do not require local ancillas, and can be understood geometrically in terms of a polyhedron defined by a partial order on the set of 2-qubit Hamiltonians. △ Less

Submitted 17 October, 2001; v1 submitted 5 July, 2001; originally announced July 2001.

Comments: (1) References to related work, (2) protocol to simulate one two-qudit Hamiltonian with another, and (3) other related results added. Some proofs are simplified

Journal ref: Phys. Rev. A, 66 (2002) 012305

More Is Not Necessarily Easier

Authors: Debbie W. Leung, John A. Smolin

Abstract: In this brief comment, we consider the exact, deterministic, and nonasymptotic transformation of multiple copies of pure states under LOCC. It was conjectured in quant-ph/0103131 that, if $k$ copies of $|ψ\>$ can be transformed to $k$ copies of $|φ\>$, the same holds for all $r \geq k$. We present counterexamples to the above conjecture. In this brief comment, we consider the exact, deterministic, and nonasymptotic transformation of multiple copies of pure states under LOCC. It was conjectured in quant-ph/0103131 that, if $k$ copies of $|ψ\>$ can be transformed to $k$ copies of $|φ\>$, the same holds for all $r \geq k$. We present counterexamples to the above conjecture. △ Less

Submitted 5 July, 2001; v1 submitted 28 March, 2001; originally announced March 2001.

Comments: One reference corrected

Quantum Data Hiding

Authors: David P. DiVincenzo, Debbie W. Leung, Barbara M. Terhal

Abstract: We expand on our work on Quantum Data Hiding -- hiding classical data among parties who are restricted to performing only local quantum operations and classical communication (LOCC). We review our scheme that hides one bit between two parties using Bell states, and we derive upper and lower bounds on the secrecy of the hiding scheme. We provide an explicit bound showing that multiple bits can be… ▽ More We expand on our work on Quantum Data Hiding -- hiding classical data among parties who are restricted to performing only local quantum operations and classical communication (LOCC). We review our scheme that hides one bit between two parties using Bell states, and we derive upper and lower bounds on the secrecy of the hiding scheme. We provide an explicit bound showing that multiple bits can be hidden bitwise with our scheme. We give a preparation of the hiding states as an efficient quantum computation that uses at most one ebit of entanglement. A candidate data hiding scheme that does not use entanglement is presented. We show how our scheme for quantum data hiding can be used in a conditionally secure quantum bit commitment scheme. △ Less

Submitted 16 March, 2001; originally announced March 2001.

Comments: 19 pages, IEEE style, 8 figures, submitted to IEEE Transactions on Information Theory

Journal ref: IEEE Trans. Inf Theory Vol. 48. No. 3, 580-599 (2002)

Quantum Vernam Cipher

Authors: D. W. Leung

Abstract: We discuss aspects of secure quantum communication by proposing and analyzing a quantum analog of the Vernam cipher (one-time-pad). The quantum Vernam cipher uses entanglement as the key to encrypt quantum information sent through an insecure quantum channel. First, in sharp contrast with the classical Vernam cipher, the quantum key can be recycled securely. We show that key recycling is intrins… ▽ More We discuss aspects of secure quantum communication by proposing and analyzing a quantum analog of the Vernam cipher (one-time-pad). The quantum Vernam cipher uses entanglement as the key to encrypt quantum information sent through an insecure quantum channel. First, in sharp contrast with the classical Vernam cipher, the quantum key can be recycled securely. We show that key recycling is intrinsic to the quantum cipher-text, rather than using entanglement as the key. Second, the scheme detects and corrects for arbitrary transmission errors, and it does so using only local operations and classical communication (LOCC) between the sender and the receiver. The application to quantum message authentication is discussed. Quantum secret sharing schemes with similar properties are characterized. We also discuss two general issues, the relation between secret communication and secret sharing, the classification of secure communication protocols. △ Less

Submitted 9 October, 2001; v1 submitted 15 December, 2000; originally announced December 2000.

Comments: stronger security proof for recycling classical keys

Journal ref: Quantum Information and Computation Vol.2. No.1 p.14-34 (2002)

Realization of quantum process tomography in NMR

Authors: Andrew M. Childs, Isaac L. Chuang, Debbie W. Leung

Abstract: Quantum process tomography is a procedure by which the unknown dynamical evolution of an open quantum system can be fully experimentally characterized. We demonstrate explicitly how this procedure can be implemented with a nuclear magnetic resonance quantum computer. This allows us to measure the fidelity of a controlled-not logic gate and to experimentally investigate the error model for our co… ▽ More Quantum process tomography is a procedure by which the unknown dynamical evolution of an open quantum system can be fully experimentally characterized. We demonstrate explicitly how this procedure can be implemented with a nuclear magnetic resonance quantum computer. This allows us to measure the fidelity of a controlled-not logic gate and to experimentally investigate the error model for our computer. Based on the latter analysis, we test an important assumption underlying nearly all models of quantum error correction, the independence of errors on different qubits. △ Less

Submitted 6 December, 2000; originally announced December 2000.

Comments: 8 pages, 7 EPS figures, REVTeX

Journal ref: Phys. Rev. A 64, 012314 (2001)

Towards Robust Quantum Computation

Authors: Debbie W. Leung

Abstract: Quantum computation is a subject of much theoretical promise, but has not been realized in large scale, despite the discovery of fault-tolerant procedures to overcome decoherence. Part of the reason is that the theoretically modest requirements still present daunting experimental challenges. The goal of this Dissertation is to reduce various resources required for robust quantum computation, foc… ▽ More Quantum computation is a subject of much theoretical promise, but has not been realized in large scale, despite the discovery of fault-tolerant procedures to overcome decoherence. Part of the reason is that the theoretically modest requirements still present daunting experimental challenges. The goal of this Dissertation is to reduce various resources required for robust quantum computation, focusing on quantum error correcting codes and solution NMR quantum computation. A variety of techniques have been developed, including high rate quantum codes for amplitude damping, relaxed criteria for quantum error correction, systematic construction of fault-tolerant gates, recipes for quantum process tomography, techniques in bulk thermal state computation, and efficient decoupling techniques to implement selective coupled logic gates. A detailed experimental study of a quantum error correcting code in NMR is also presented. The Dissertation clarifies and extends results previously reported in quant-ph/9610043, quant-ph/9704002, quant-ph/9811068, quant-ph/9904100, quant-ph/9906112, quant-ph/0002039. Additionally, a procedure for quantum process tomography using maximally entangled states, and a review on NMR quantum computation are included. △ Less

Submitted 20 December, 2000; originally announced December 2000.

Comments: 243 pages, PhD Dissertation, Stanford University, July 2000

ACM Class: F.1.m

Hiding bits in Bell states

Authors: Barbara M. Terhal, David P. DiVincenzo, Debbie W. Leung

Abstract: We present a scheme for hiding bits in Bell states that is secure even when the sharers Alice and Bob are allowed to carry out local quantum operations and classical communication. We prove that the information that Alice and Bob can gain about a hidden bit is exponentially small in $n$, the number of qubits in each share, and can be made arbitrarily small for hiding multiple bits. We indicate a… ▽ More We present a scheme for hiding bits in Bell states that is secure even when the sharers Alice and Bob are allowed to carry out local quantum operations and classical communication. We prove that the information that Alice and Bob can gain about a hidden bit is exponentially small in $n$, the number of qubits in each share, and can be made arbitrarily small for hiding multiple bits. We indicate an alternative efficient low-entanglement method for preparing the shared quantum states. We discuss how our scheme can be implemented using present-day quantum optics. △ Less

Submitted 7 March, 2001; v1 submitted 10 November, 2000; originally announced November 2000.

Comments: 4 pages RevTex, 1 figure, various small changes and additional paragraph on optics implementation

Journal ref: Phys. Rev. Lett. 86, 5807--5810 (2001)

Universal simulation of Markovian quantum dynamics

Authors: Dave Bacon, Andrew M. Childs, Isaac L. Chuang, Julia Kempe, Debbie W. Leung, Xinlan Zhou

Abstract: Although the conditions for performing arbitrary unitary operations to simulate the dynamics of a closed quantum system are well understood, the same is not true of the more general class of quantum operations (also known as superoperators) corresponding to the dynamics of open quantum systems. We propose a framework for the generation of Markovian quantum dynamics and study the resources needed… ▽ More Although the conditions for performing arbitrary unitary operations to simulate the dynamics of a closed quantum system are well understood, the same is not true of the more general class of quantum operations (also known as superoperators) corresponding to the dynamics of open quantum systems. We propose a framework for the generation of Markovian quantum dynamics and study the resources needed for universality. For the case of a single qubit, we show that a single nonunitary process is necessary and sufficient to generate all unital Markovian quantum dynamics, whereas a set of processes parametrized by one continuous parameter is needed in general. We also obtain preliminary results for the unital case in higher dimensions. △ Less

Submitted 18 June, 2001; v1 submitted 15 August, 2000; originally announced August 2000.

Comments: 8 pages, REVTeX; added appendix on affine representation of generators

Journal ref: Phys. Rev. A 64, 062302 (2001)

Methodology for quantum logic gate constructions

Authors: Xinlan Zhou, Debbie W. Leung, Isaac L. Chuang

Abstract: We present a general method to construct fault-tolerant quantum logic gates with a simple primitive, which is an analog of quantum teleportation. The technique extends previous results based on traditional quantum teleportation (Gottesman and Chuang, Nature {\bf 402}, 390, 1999) and leads to straightforward and systematic construction of many fault-tolerant encoded operations, including the… ▽ More We present a general method to construct fault-tolerant quantum logic gates with a simple primitive, which is an analog of quantum teleportation. The technique extends previous results based on traditional quantum teleportation (Gottesman and Chuang, Nature {\bf 402}, 390, 1999) and leads to straightforward and systematic construction of many fault-tolerant encoded operations, including the $π/8$ and Toffoli gates. The technique can also be applied to the construction of remote quantum operations that cannot be directly performed. △ Less

Submitted 31 July, 2000; v1 submitted 14 February, 2000; originally announced February 2000.

Comments: 17 pages, mypsfig2, revtex. Revised with a different title, a new appendix for clarifying fault-tolerant preparation of quantum states, and various minor changes

Journal ref: Phys. Rev. A 62, 052316 (2000)

Quantum algorithms which accept hot qubit inputs

Authors: Xinlan Zhou, Debbie W. Leung, Isaac L. Chuang

Abstract: Realistic physical implementations of quantum computers can entail tradeoffs which depart from the ideal model of quantum computation. Although these tradeoffs have allowed successful demonstration of certain quantum algorithms, a crucial question is whether they fundamentally limit the computational capacity of such machines. We study the limitations of a quantum computation model in which only… ▽ More Realistic physical implementations of quantum computers can entail tradeoffs which depart from the ideal model of quantum computation. Although these tradeoffs have allowed successful demonstration of certain quantum algorithms, a crucial question is whether they fundamentally limit the computational capacity of such machines. We study the limitations of a quantum computation model in which only ensemble averages of measurement observables are accessible. Furthermore, we stipulate that input qubits may only be prepared in highly random, ``hot'' mixed states. In general, these limitations are believed to dramatically detract from the computational power of the system. However, we construct a class of algorithms for this limited model, which, surprisingly, are polynomially equivalent to the ideal case. This class includes the well known Deutsch-Jozsa algorithm. △ Less

Submitted 29 June, 1999; originally announced June 1999.

Comments: 4 pages, revtex, submitted June 29, 1999

Efficient implementation of selective recoupling in heteronuclear spin systems using Hadamard matrices

Authors: Debbie W. Leung, Isaac L. Chuang, Fumiko Yamaguchi, Yoshihisa Yamamoto

Abstract: We present an efficient scheme which couples any designated pair of spins in heteronuclear spin systems. The scheme is based on the existence of Hadamard matrices. For a system of $n$ spins with pairwise coupling, the scheme concatenates $cn$ intervals of system evolution and uses at most $c n^2$ pulses where $c \approx 1$. Our results demonstrate that, in many systems, selective recoupling is p… ▽ More We present an efficient scheme which couples any designated pair of spins in heteronuclear spin systems. The scheme is based on the existence of Hadamard matrices. For a system of $n$ spins with pairwise coupling, the scheme concatenates $cn$ intervals of system evolution and uses at most $c n^2$ pulses where $c \approx 1$. Our results demonstrate that, in many systems, selective recoupling is possible with linear overhead, contrary to common speculation that exponential effort is always required. △ Less

Submitted 28 April, 1999; originally announced April 1999.

Comments: 7 pages, 4 figures, mypsfig2, revtex, submitted April 27, 1999

Journal ref: Phys.Rev.A61:042310,2000

Experimental realization of a quantum algorithm

Authors: Isaac L. Chuang, Lieven M. K. Vandersypen, Xinlan Zhou, Debbie W. Leung, Seth Lloyd

Abstract: Nuclear magnetic resonance techniques are used to realize a quantum algorithm experimentally. The algorithm allows a simple NMR quantum computer to determine global properties of an unknown function requiring fewer function ``calls'' than is possible using a classical computer. Nuclear magnetic resonance techniques are used to realize a quantum algorithm experimentally. The algorithm allows a simple NMR quantum computer to determine global properties of an unknown function requiring fewer function ``calls'' than is possible using a classical computer. △ Less

Submitted 6 June, 1998; v1 submitted 19 January, 1998; originally announced January 1998.

Comments: 4 pages, 3 figures, mypsfig2, revtex, revised version (no major changes), published in Nature, 393, 143-146 (1998)

Approximate quantum error correction can lead to better codes

Authors: D. W. Leung, M. A. Nielsen, I. L. Chuang, Y. Yamamoto

Abstract: We present relaxed criteria for quantum error correction which are useful when the specific dominant noise process is known. These criteria have no classical analogue. As an example, we provide a four-bit code which corrects for a single amplitude damping error. This code violates the usual Hamming bound calculated for a Pauli description of the error process, and does not fit into the GF(4) cla… ▽ More We present relaxed criteria for quantum error correction which are useful when the specific dominant noise process is known. These criteria have no classical analogue. As an example, we provide a four-bit code which corrects for a single amplitude damping error. This code violates the usual Hamming bound calculated for a Pauli description of the error process, and does not fit into the GF(4) classification. △ Less

Submitted 2 April, 1997; originally announced April 1997.

Comments: 7 pages, 2 figures, submitted to Phys. Rev. A

Journal ref: Phys.Rev.A56:2567-2573,1997

Bosonic Quantum Codes for Amplitude Damping

Authors: I. L. Chuang, Debbie W. Leung, Yoshihisa Yamamoto

Abstract: Traditional quantum error correction involves the redundant encoding of k quantum bits using n quantum bits to allow the detection and correction of any t bit error. The smallest general t=1 code requires n=5 for k=1. However, the dominant error process in a physical system is often well known, thus inviting the question: given a specific error model, can more efficient codes be devised? We demo… ▽ More Traditional quantum error correction involves the redundant encoding of k quantum bits using n quantum bits to allow the detection and correction of any t bit error. The smallest general t=1 code requires n=5 for k=1. However, the dominant error process in a physical system is often well known, thus inviting the question: given a specific error model, can more efficient codes be devised? We demonstrate new codes which correct just amplitude damping errors which allow, for example, a t=1, k=1 code using effectively n=4.6. Our scheme is based on using bosonic states of photons in a finite number of optical modes. We present necessary and sufficient conditions for the codes, and describe construction algorithms, physical implementation, and performance bounds. △ Less

Submitted 29 October, 1996; originally announced October 1996.

Comments: 12 pages, 3 figures, psfig, revtex, submitted to Phys. Rev. A