Publications (70)211.02 Total impact
 [Show abstract] [Hide abstract]
ABSTRACT: We introduce a notion of the entanglement transformation rate to characterize the asymptotic comparability of two multipartite pure entangled states under stochastic local operations and classical communication (SLOCC). For two well known SLOCC inequivalent threequbit states GHZ⟩=(1/2)(000⟩+111⟩) and W⟩=(1/3)(100⟩+010⟩+001⟩), we show that the entanglement transformation rate from GHZ⟩ to W⟩ is exactly 1. That means that we can obtain one copy of the W state from one copy of the GreenbergHorneZeilinger (GHZ) state by SLOCC, asymptotically. We then apply similar techniques to obtain a lower bound on the entanglement transformation rates from an Npartite GHZ state to a class of Dicke states, and prove the tightness of this bound for some special cases which naturally generalize the W⟩ state. A new lower bound on the tensor rank of the matrix permanent is also obtained by evaluating the tensor rank of Dicke states.Physical Review Letters 04/2014; 112(16):160401. · 7.73 Impact Factor  [Show abstract] [Hide abstract]
ABSTRACT: We introduce a notion of the entanglement transformation rate to characterize the asymptotic comparability of two multipartite pure entangled states under stochastic local operations and classical communication (SLOCC). For two well known SLOCC inequivalent threequbit states GHZ⟩=(1/√2 )(000⟩+111⟩) and W⟩=(1/√3 )(100⟩+010⟩+001⟩), we show that the entanglement transformation rate from GHZ⟩ to W⟩ is exactly 1. That means that we can obtain one copy of the W state from one copy of the GreenbergHorneZeilinger (GHZ) state by SLOCC, asymptotically. We then apply similar techniques to obtain a lower bound on the entanglement transformation rates from an Npartite GHZ state to a class of Dicke states, and prove the tightness of this bound for some special cases which naturally generalize the W⟩ state. A new lower bound on the tensor rank of the matrix permanent is also obtained by evaluating the tensor rank of Dicke states.Physical Review Letters 03/2014; 112(16). · 7.73 Impact Factor  [Show abstract] [Hide abstract]
ABSTRACT: In this paper, we study the entanglement transformation rate between multipartite states under stochastic local operations and classical communication (SLOCC). Firstly, we show that the entanglement transformation rate from $\ket{GHZ}=\tfrac{1}{\sqrt{2}}(\ket{000}+\ket{111})$ to $\ket{W}=\tfrac{1}{\sqrt{3}}(\ket{100}+\ket{010}+\ket{001})$ is 1, that is, one can obtain 1 copy of $W$state, from 1 copy of $GHZ$state by SLOCC, asymptotically. We then generalize this result to a lower bound on the rate that from $N$partite $GHZ$state to Dicke states. For some special cases, the optimality of this bound is proved. We then discuss the tensor rank of matrix permanent by evaluating the the tensor rank of Dicke state.09/2013; 
Article: When do Local Operations and Classical Communication Suffice for TwoQubit State Discrimination?
[Show abstract] [Hide abstract]
ABSTRACT: In this paper we consider the conditions under which a given ensemble of twoqubit states can be optimally distinguished by local operations and classical communication (LOCC). We begin by completing the \emph{perfect} distinguishability problem of twoqubit ensembles  both for separable operations and LOCC  by providing necessary and sufficient conditions for the perfect discrimination of one pure and one mixed state. Then for the wellknown task of minimum error discrimination, it is shown that \textit{almost all} twoqubit ensembles consisting of three pure states cannot be optimally discriminated using LOCC. This is surprising considering that \textit{any} two pure states can be distinguished optimally by LOCC. Special attention is given to ensembles that lack entanglement, and we prove an easy sufficient condition for when a set of three product states cannot be optimally distinguished by LOCC, thus providing new examples of the phenomenon known as "nonlocality without entanglement". We next consider an example of $N$ parties who each share the same state but who are ignorant of its identity. The state is drawn from the rotationally invariant "trine ensemble", and we establish a tight connection between the $N$copy ensemble and Shor's "lifted" singlecopy ensemble. For any finite $N$, we prove that optimal identification of the states cannot be achieved by LOCC; however as $N\to\infty$, LOCC can indeed discriminate the states optimally. This is the first result of its kind. Finally, we turn to the task of unambiguous discrimination and derive new lower bounds on the LOCC inconclusive probability for symmetric states. When applied to the double trine ensemble, this leads to a rather different distinguishability character than when the minimumerror probability is considered.IEEE Transactions on Information Theory 08/2013; 60(3). · 2.65 Impact Factor 
Article: ZeroError Communication via Quantum Channels, Noncommutative Graphs, and a Quantum Lovász Number
[Show abstract] [Hide abstract]
ABSTRACT: We study the quantum channel version of Shannon's zeroerror capacity problem. Motivated by recent progress on this question, we propose to consider a certain subspace of operators (socalled operator systems) as the quantum generalization of the adjacency matrix, in terms of which the zeroerror capacity of a quantum channel, as well as the quantum and entanglementassisted zeroerror capacities can be formulated, and for which we show some new basic properties. Most importantly, we define a quantum version of Lovász' famous ϑ function on general operator systems, as the normcompletion (or stabilization) of a “naive” generalization of ϑ. We go on to show that this function upper bounds the number of entanglementassisted zeroerror messages, that it is given by a semidefinite program, whose dual we write down explicitly, and that it is multiplicative with respect to the tensor product of operator systems (corresponding to the tensor product of channels). We explore various other properties of the new quantity, which reduces to Lovász' original ϑ in the classical case, give several applications, and propose to study the operator systems associated with channels as “noncommutative graphs,” using the language of Hilbert modules.IEEE Transactions on Information Theory 02/2013; 59(2):11641174. · 2.65 Impact Factor  [Show abstract] [Hide abstract]
ABSTRACT: In this paper, we settle the longstanding open problem of the minimum cost of twoqubit gates for simulating a Toffoli gate. More precisely, we show that five twoqubit gates are necessary. Before our work, it is known that five gates are sufficient and only numerical evidences have been gathered, indicating that the fivegate implementation is necessary. The idea introduced here can also be used to solve the problem of optimal simulation of threequbit control phase introduced by Deutsch in 1989.Physical Review A 01/2013; · 2.99 Impact Factor  [Show abstract] [Hide abstract]
ABSTRACT: We study the distinguishability of bipartite quantum states by Positive OperatorValued Measures with positive partial transpose (PPT POVM). The contributions of this paper include: (1). We give a negative answer to an open problem of [M. Horodecki $et. al$, Phys. Rev. Lett. 90, 047902(2003)] showing a limitation of their method for detecting nondistinguishability. (2). We show that a maximally entangled state and its orthogonal complement, no matter how many copies are supplied, can not be distinguished by PPT POVMs, even unambiguously. This result is much stronger than the previously known ones. (3). We study the entanglement cost of distinguishing quantum states. It is proved that entanglement $\sqrt{2/3}\ket{00}+\sqrt{1/3}\ket{11}$ is sufficient and necessary for distinguishing three Bell states by PPT POVMs. An upper bound of entanglement cost for distinguishing a $d\otimes d$ pure state and its orthogonal complement is obtained for separable operations. Based on this bound, we are able to construct two orthogonal quantum states which cannot be distinguished unambiguously by separable POVMs, but finite copies would make them perfectly distinguishable by LOCC. We further observe that a twoqubit maximally entangled state is always enough for distinguishing a $d\otimes d$ pure state and its orthogonal complement by PPT POVMs, no matter the value of $d$. In sharp contrast, an entangled state with Schmidt number at least $d$ is always needed for distinguishing such two states by separable POVMs. As an application, we show that the entanglement cost of distinguishing a $d\otimes d$ maximally entangled state and its orthogonal complement must be a maximally entangled state for $d=2$, which implies that teleportation is optimal; and in general, it could be chosen as $\mathcal{O}(\frac{\log d}{d})$.IEEE Transactions on Information Theory 09/2012; · 2.65 Impact Factor  [Show abstract] [Hide abstract]
ABSTRACT: We explicitly exhibit a set of four ququadququad orthogonal maximally entangled states that cannot be perfectly distinguished by means of local operations and classical communication. Before our work, it was unknown whether there is a set of d locally indistinguishable d⊗d orthogonal maximally entangled states for some positive integer d. We further show that a 2⊗2 maximally entangled state can be used to locally distinguish this set of states without being consumed, thus demonstrate a novel phenomenon of entanglement discrimination catalysis. Based on this set of states, we construct a new set K consisting of four locally indistinguishable states such that K^{⊗m} (with 4^{m} members) is locally distinguishable for some m greater than one. As an immediate application, we construct a noisy quantum channel with one sender and two receivers whose local zeroerror classical capacity can achieve the full dimension of the input space but only with a multishot protocol.Physical Review Letters 07/2012; 109(2):020506. · 7.73 Impact Factor  [Show abstract] [Hide abstract]
ABSTRACT: This paper surveys the new field of programming methodology and techniques for future quantum computers, including design of sequential and concurrent quantum programming languages, their semantics and implementations. Several verification methods for quantum programs and communication protocols are also reviewed. The potential applications of programming techniques and related formal methods in quantum engineering are pointed out.Chinese Science Bulletin 06/2012; 57(16). · 1.37 Impact Factor  [Show abstract] [Hide abstract]
ABSTRACT: Motivated by the recent resolution of Asymptotic Quantum Birkhoff Conjecture (AQBC), we attempt to estimate the distance between a given unital quantum channel and the convex hull of unitary channels. We provide two lower bounds on this distance by employing techniques from quantum information and operator algebras, respectively. We then show how to apply these results to construct some explicit counterexamples to AQBC. We also point out an interesting connection between the Grothendieck's inequality and AQBC.01/2012; 
Article: Some bounds on the minimum number of queries required for quantum channel perfect discrimination
[Show abstract] [Hide abstract]
ABSTRACT: We prove a lower bound on the qmaximal fidelities between two quantum channels E0 and E1 and an upper bound on the qmaximal fidelities between a quantum channel E and an identity I. Then we apply these two bounds to provide a simple sufficient and necessary condition for sequential perfect distinguishability between E and I and provide both a lower bound and an upper bound on the minimum number of queries required to sequentially perfectly discriminating E and I. Interestingly, in the 2dimensional case, both bounds coincide. Based on the optimal perfect discrimination protocol presented in [20], we can further generalize the lower bound and upper bound to the minimum number of queries to perfectly discriminating E and I over all possible discrimination schemes. Finally the two lower bounds are shown remain working for perfectly discriminating general two quantum channels E0 and E1 in sequential scheme and over all possible discrimination schemes respectively.Quantum information & computation 01/2012; 12(12):138148. · 1.63 Impact Factor  [Show abstract] [Hide abstract]
ABSTRACT: A subspace of a multipartite Hilbert space is said to be locally indistinguishable if any orthonormal basis of this subspace cannot be perfectly distinguished by local operations and classical communication. Previously it was shown that any m⊗n bipartite system with m>2 and n>2 has a locally indistinguishable subspace. However, it has been an open problem since 2005 whether there is a locally indistinguishable bipartite subspace with a qubit subsystem. We settle this problem in negative by showing that any 2⊗n bipartite subspace contains a basis that is locally distinguishable. As an interesting application, we show that any quantum channel with two Kraus operators has optimal environmentassisted classical capacity.Physical Review A 07/2011; 84. · 2.99 Impact Factor 
Article: Verification of Quantum Programs
[Show abstract] [Hide abstract]
ABSTRACT: This paper develops verification methodology for quantum programs, and the contribution of the paper is twofold: 1. Sharir, Pnueli and Hart [SIAM J. Comput. 13(1984)292314] presented a general method for proving properties of probabilistic programs, in which a probabilistic program is modeled by a Markov chain and an assertion on the output distribution is extended into an invariant assertion on all intermediate distributions. Their method is essentially a probabilistic generalization of the classical Floyd inductive assertion method. In this paper, we consider quantum programs modeled by quantum Markov chains which are defined by superoperators. It is shown that the SharirPnueliHart method can be elegantly generalized to quantum programs by exploiting the Schr\"odingerHeisenberg duality between quantum states and observables. In particular, a completeness theorem for the SharirPnueliHart verification method of quantum programs is established. 2. As indicated by the completeness theorem, the SharirPnueliHart method is in principle effective for verifying all properties of quantum programs that can be expressed in terms of Hermitian operators (observables). But it is not feasible for many practical applications because of the complicated calculation involved in the verification. For the case of finitedimensional state spaces, we find a method for verification of quantum programs much simpler than the SharirPnueliHart method by employing the matrix representation of superoperators and Jordan decomposition of matrices. In particular, this method enables us to compute easily the average running time and even to analyze some interesting longrun behaviors of quantum programs in a finitedimensional state space.Science of Computer Programming 06/2011; · 0.55 Impact Factor  [Show abstract] [Hide abstract]
ABSTRACT: We study the quantum channel version of Shannon's zeroerror capacity problem. Motivated by recent progress on this question, we propose to consider a certain linear space operators as the quantum generalisation of the adjacency matrix, in terms of which the plain, quantum and entanglementassisted capacity can be formulated, and for which we show some new basic properties. Most importantly, we define a quantum version of Lovász' famous υ function, as the normcompletion (or stabilisation) of a “naive” generalisation of υ. We go on to show that this function upper bounds the number of entanglementassisted zeroerror messages, that it is given by a semidefinite programme, whose dual we write down explicitly, and that it is multiplicative with respect to the natural (strong) graph product. We explore various other properties of the new quantity, which reduces to Lovász' original υ in the classical case, give several applications, and propose to study the linear spaces of operators associated to channels as “noncommutative graphs”, using the language of operator systems and Hilbert modules.01/2011;  [Show abstract] [Hide abstract]
ABSTRACT: Multipartite quantum states that cannot be uniquely determined by their reduced states of all proper subsets of the parties exhibit some inherit `highorder' correlation. This paper elaborates this issue by giving necessary and sufficient conditions for a pure multipartite state to be locally undetermined, and moreover, characterizing precisely all the pure states sharing the same set of reduced states with it. Interestingly, local determinability of pure states is closely related to a generalized notion of Schmidt decomposition. Furthermore, we find that locally undetermined states have some applications to the wellknown consensus problem in distributed computation. To be specific, given some physically separated agents, when communication between them, either classical or quantum, is unreliable and they are not allowed to use local ancillary quantum systems, then there exists a totally correct and completely faulttolerant protocol for them to reach a consensus if and only if they share a priori a locally undetermined quantum state.Quantum information & computation 01/2011; 9:9971012. · 1.63 Impact Factor  [Show abstract] [Hide abstract]
ABSTRACT: In order to better understand the class of quantum operations that preserve the positivity of partial transpose (PPT operations) and its relation to the widely used class of local operations and classical communication (LOCC), we study the problem of distinguishing orthogonal maximally entangled states (MES) by PPT operations. Firstly, we outline a rather simple proof to show that the number of $d\otimes d$ PPT distinguishable MES is at most $d$, which slightly generalizes existing results on this problem. Secondly, we construct 4 MES in $4\otimes 4$ state space that cannot be distinguished by PPT operations. Before our work, it was unknown whether there exists $d$ MES in $d\otimes d$ state space that are locally indistinguishable. This example leads us to a novel phenomenon of "Entanglement Catalysis Discrimination". Moreover, we find there exists a set of locally indistinguishable states $K$ such that $K^{\otimes m}$ is locally distinguishable for some finite $m$. As an interesting application, we exhibit a quantum channel with one sender and two receivers, whose oneshot zeroerror local capacity is not optimal, but multiuse would enhance the capacity to achieve the full output dimension even without entangled input. Finally, we consider the entanglement cost of distinguishing three Bell states and a $2\otimes 2$ entangled basis. In the former case a bipartite pure entangled state with the largest Schmidt coefficient at most 2/3 is necessary and sufficient, while in the latter case an additional Bell state, or one ebit, should be supplied.01/2011;  [Show abstract] [Hide abstract]
ABSTRACT: The tensor rank (also known as generalized Schmidt rank) of multipartite pure states plays an important role in the study of entanglement classifications and transformations. We employ powerful tools from the theory of homogeneous polynomials to investigate the tensor rank of symmetric states such as the tripartite state W3>=1/√3(100> + 010> + 001>) and its Npartite generalization W(N)>. Previous tensor rank estimates are dramatically improved and we show that (i) three copies of W3> have a rank of either 15 or 16, (ii) two copies of W(N)> have a rank of 3N  2, and (iii) n copies of W(N)> have a rank of O(N). A remarkable consequence of these results is that certain multipartite transformations, impossible even probabilistically, can become possible when performed in multiplecopy bunches or when assisted by some catalyzing state. This effect is impossible for bipartite pure states.Physical Review Letters 11/2010; 105(20):200501. · 7.73 Impact Factor  [Show abstract] [Hide abstract]
ABSTRACT: We study optimal perfect distinguishability between a unitary and a general quantum operation. In 2dimensional case we provide a simple sufficient and necessary condition for sequential perfect distinguishability and an analytical formula of optimal query time. We extend the sequential condition to general ddimensional case. Meanwhile, we provide an upper bound and a lower bound for optimal sequential query time. In the process a new iterative method is given, the most notable innovation of which is its independence to auxiliary systems or entanglement. Following the idea, we further obtain an upper bound and a lower bound of (entanglementassisted) qmaximal fidelities between a unitary and a quantum operation. Thus by the recursion in [1] an upper bound and a lower bound for optimal general perfect discrimination are achieved. Finally our lower bound result can be extended to the case of arbitrary two quantum operations. Comment: 11 pages, 0 figures. Comments are welcome10/2010; 
Conference Paper: Multierrorcorrecting amplitude damping codes
[Show abstract] [Hide abstract]
ABSTRACT: We construct new families of multierrorcorrecting quantum codes for the amplitude damping channel. Our key observation is that, with proper encoding, two uses of the amplitude damping channel simulate a quantum erasure channel. This allows us to use concatenated codes with quantum erasurecorrecting codes as outer codes for correcting multiple amplitude damping errors. Our new codes are degenerate stabilizer codes and have parameters which are better than the amplitude damping codes obtained by any previously known construction.Information Theory Proceedings (ISIT), 2010 IEEE International Symposium on; 07/2010 
Article: Bisimulation for quantum processes
[Show abstract] [Hide abstract]
ABSTRACT: In this paper we introduce a novel notion of probabilistic bisimulation for quantum processes and prove that it is congruent with respect to various process algebra combinators including parallel composition even when both classical and quantum communications are present. We also establish some basic algebraic laws for this bisimulation. In particular, we prove uniqueness of the solutions to recursive equations of quantum processes, which provides a powerful proof technique for verifying complex quantum protocols. Comment: All results remain unchanged. Typos corrected and presentation improved according to reviewers' comments. Transition rule for quantum measurement modified to avoid undefinedness in some special cases. Weak transitions redefined without introducing the notion of adversaryACM SIGPLAN Notices 07/2010; · 0.62 Impact Factor
Publication Stats
540  Citations  
211.02  Total Impact Points  
Top Journals
Institutions

2009–2013

University of Technology Sydney
 Centre for Quantum Computation and Intelligent Systems (QCIS)
Sydney, New South Wales, Australia


2003–2013

Tsinghua University
 Department of Computer Science and Technology
Peping, Beijing, China


2010

Massachusetts Institute of Technology
 Department of Physics
Cambridge, MA, United States 
National University of Singapore
 Centre for Quantum Technologies
Singapore, Singapore


2008–2009

University of Michigan
 Department of Physics
Ann Arbor, MI, United States 
Northeast Institute of Geography and Agroecology
 State Key Laboratory of Computer Science
Beijing, Beijing Shi, China
