Showing 1–30 of 30 results for author: Chefles, A

The Quantum Blackwell Theorem and Minimum Error State Discrimination

Authors: Anthony Chefles

Abstract: A quantum analogue of the famous Blackwell Theorem in classical statistics has recently been proposed. Given two quantum channels A and B, a set of payoff functions have been proven to have values for B at least as high as they are for A if and only if there exists a quantum garbling channel E such that A=EB. When such a channel E exists, we can globally compare A and B in terms of their `noisin… ▽ More A quantum analogue of the famous Blackwell Theorem in classical statistics has recently been proposed. Given two quantum channels A and B, a set of payoff functions have been proven to have values for B at least as high as they are for A if and only if there exists a quantum garbling channel E such that A=EB. When such a channel E exists, we can globally compare A and B in terms of their `noisiness'. We show that this method of channel noise comparison is equivalent to one obtained by considering the degradation of the distinguishability of states. Here, the channel A is said to be at least as noisy as the channel B if any ensemble of states, fed into each channel and possibly entangled with ancillae, emerges no more distinguishable from A than it does from channel B, where distinguishability is quantified by the minimum error discrimination probability. We also provide a novel application to eavesdropper detection in quantum cryptography. △ Less

Submitted 22 July, 2009; v1 submitted 5 July, 2009; originally announced July 2009.

Comments: 4 pages, 2 eps figures. Couple of typos fixed and further references added

Distributed implementation of standard oracle operators

Authors: Anthony Chefles

Abstract: The standard oracle operator corresponding to a function f is a unitary operator that computes this function coherently, i.e. it maintains superpositions. This operator acts on a bipartite system, where the subsystems are the input and output registers. In distributed quantum computation, these subsystems may be spatially separated, in which case we will be interested in its classical and entang… ▽ More The standard oracle operator corresponding to a function f is a unitary operator that computes this function coherently, i.e. it maintains superpositions. This operator acts on a bipartite system, where the subsystems are the input and output registers. In distributed quantum computation, these subsystems may be spatially separated, in which case we will be interested in its classical and entangling capacities. For an arbitrary function f, we show that the unidirectional classical and entangling capacities of this operator are log_{2}(n_{f}) bits/ebits, where n_{f} is the number of different values this function can take. An optimal procedure for bidirectional classical communication with a standard oracle operator corresponding to a permutation on Z_{M} is given. The bidirectional classical capacity of such an operator is found to be 2log_{2}(M) bits. The proofs of these capacities are facilitated by an optimal distributed protocol for the implementation of an arbitrary standard oracle operator. △ Less

Submitted 7 July, 2007; v1 submitted 15 June, 2007; originally announced June 2007.

Comments: 4.4 pages, Revtex 4. Submitted to Physical Review Letters

Unambiguous discrimination among oracle operators

Authors: Anthony Chefles, Akira Kitagawa, Masahiro Takeoka, Masahide Sasaki, Jason Twamley

Abstract: We address the problem of unambiguous discrimination among oracle operators. The general theory of unambiguous discrimination among unitary operators is extended with this application in mind. We prove that entanglement with an ancilla cannot assist any discrimination strategy for commuting unitary operators. We also obtain a simple, practical test for the unambiguous distinguishability of an ar… ▽ More We address the problem of unambiguous discrimination among oracle operators. The general theory of unambiguous discrimination among unitary operators is extended with this application in mind. We prove that entanglement with an ancilla cannot assist any discrimination strategy for commuting unitary operators. We also obtain a simple, practical test for the unambiguous distinguishability of an arbitrary set of unitary operators on a given system. Using this result, we prove that the unambiguous distinguishability criterion is the same for both standard and minimal oracle operators. We then show that, except in certain trivial cases, unambiguous discrimination among all standard oracle operators corresponding to integer functions with fixed domain and range is impossible. However, we find that it is possible to unambiguously discriminate among the Grover oracle operators corresponding to an arbitrarily large unsorted database. The unambiguous distinguishability of standard oracle operators corresponding to totally indistinguishable functions, which possess a strong form of classical indistinguishability, is analysed. We prove that these operators are not unambiguously distinguishable for any finite set of totally indistinguishable functions on a Boolean domain and with arbitrary fixed range. Sets of such functions on a larger domain can have unambiguously distinguishable standard oracle operators and we provide a complete analysis of the simplest case, that of four functions. We also examine the possibility of unambiguous oracle operator discrimination with multiple parallel calls and investigate an intriguing unitary superoperator transformation between standard and entanglement-assisted minimal oracle operators. △ Less

Submitted 7 July, 2007; v1 submitted 26 February, 2007; originally announced February 2007.

Comments: 35 pages. Final version. To appear in J. Phys. A: Math. & Theor

Entanglement quantification with Fisher information

Authors: Akira kitagawa, Masahiro Takeoka, Masahide Sasaki, Anthony Chefles

Abstract: We show that the Fisher information associated with entanglement-assisted coding has a monotonic relationship with the logarithmic negativity, an important entanglement measure, for certain classes of continuous variable (CV) quantum states of practical significance. These are the two-mode squeezed states and the non-Gaussian states obtained from them by photon subtraction. This monotonic corres… ▽ More We show that the Fisher information associated with entanglement-assisted coding has a monotonic relationship with the logarithmic negativity, an important entanglement measure, for certain classes of continuous variable (CV) quantum states of practical significance. These are the two-mode squeezed states and the non-Gaussian states obtained from them by photon subtraction. This monotonic correspondence can be expressed analytically in the case of pure states. Numerical analysis shows that this relationship holds to a very good approximation even in the mixed state case of the photon-subtracted squeezed states. The Fisher information is evaluated by the CV Bell measurement in the limit of weak signal modulation. Our results suggest that the logarithmic negativity of certain sets of non-Gaussian mixed states can be experimentally accessed without homodyne tomography, leading to significant simplification of the experimental procedure. △ Less

Submitted 12 December, 2006; originally announced December 2006.

Comments: 4 pages, 4 figures

Entanglement evaluation of non-Gaussian states generated by photon subtraction from squeezed states

Authors: Akira Kitagawa, Masahiro Takeoka, Masahide Sasaki, Anthony Chefles

Abstract: We consider the problem of evaluating the entanglement of non-Gaussian mixed states generated by photon subtraction from entangled squeezed states. The entanglement measures we use are the negativity and the logarithmic negativity. These measures possess the unusual property of being computable with linear algebra packages even for high-dimensional quantum systems. We numerically evaluate these… ▽ More We consider the problem of evaluating the entanglement of non-Gaussian mixed states generated by photon subtraction from entangled squeezed states. The entanglement measures we use are the negativity and the logarithmic negativity. These measures possess the unusual property of being computable with linear algebra packages even for high-dimensional quantum systems. We numerically evaluate these measures for the non-Gaussian mixed states which are generated by photon subtraction with on/off photon detectors. The results are compared with the behavior of certain operational measures, namely the teleportation fidelity and the mutual information in the dense coding scheme. It is found that all of these results are mutually consistent, in the sense that whenever the enhancement is seen in terms of the operational measures, the negativity and the logarithmic negativity are also enhanced. △ Less

Submitted 22 February, 2006; v1 submitted 9 December, 2005; originally announced December 2005.

Comments: 13 pages, 11 figures

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

Quantum protocols for anonymous voting and surveying

Authors: J. A. Vaccaro, Joseph Spring, Anthony Chefles

Abstract: We describe quantum protocols for voting and surveying. A key feature of our schemes is the use of entangled states to ensure that the votes are anonymous and to allow the votes to be tallied. The entanglement is distributed over separated sites; the physical inaccessibility of any one site is sufficient to guarantee the anonymity of the votes. The security of these protocols with respect to var… ▽ More We describe quantum protocols for voting and surveying. A key feature of our schemes is the use of entangled states to ensure that the votes are anonymous and to allow the votes to be tallied. The entanglement is distributed over separated sites; the physical inaccessibility of any one site is sufficient to guarantee the anonymity of the votes. The security of these protocols with respect to various kinds of attack is discussed. We also discuss classical schemes and show that our quantum voting protocol represents a N-fold reduction in computational complexity, where N is the number of voters. △ Less

Submitted 3 June, 2007; v1 submitted 21 April, 2005; originally announced April 2005.

Comments: 8 pages. V2 includes the modifications made for the published version

Journal ref: Phys. Rev. A 75, 012333 (2007)

Entangling capacity and distinguishability of two-qubit unitary operators

Authors: Anthony Chefles

Abstract: We prove that the entangling capacity of a two-qubit unitary operator without local ancillas, both with and without the restriction to initial product states, as quantified by the maximum attainable concurrence, is directly related to the distinguishability of a closely related pair of two-qubit unitary operators. These operators are the original operator transformed into its canonical form and… ▽ More We prove that the entangling capacity of a two-qubit unitary operator without local ancillas, both with and without the restriction to initial product states, as quantified by the maximum attainable concurrence, is directly related to the distinguishability of a closely related pair of two-qubit unitary operators. These operators are the original operator transformed into its canonical form and the adjoint of this canonical form. The distinguishability of these operators is quantified by the minimum overlap of the output states over all possible input probe states. The entangling capacity of the original unitary operator is therefore directly related to the degree of non-Hermiticity of its canonical form, as quantified in an operationally satisfactory manner in terms of the extent to which it can be distinguished, by measurement, from its adjoint. Furthermore, the maximum entropy of entanglement, again without local ancillas, that a given two-qubit unitary operator can generate, is found to be closely related to the classical capacities of certain quantum channels. △ Less

Submitted 2 September, 2005; v1 submitted 14 February, 2005; originally announced February 2005.

Comments: 10 pages RevTeX 4, 5 figures. To appear in Physical Review A

Local copying of orthogonal entangled quantum states

Authors: Fabio Anselmi, Anthony Chefles, Martin B. Plenio

Abstract: In classical information theory one can, in principle, produce a perfect copy of any input state. In quantum information theory, the no cloning theorem prohibits exact copying of nonorthogonal states. Moreover, if we wish to copy multiparticle entangled states and can perform only local operations and classical communication (LOCC), then further restrictions apply. We investigate the problem of… ▽ More In classical information theory one can, in principle, produce a perfect copy of any input state. In quantum information theory, the no cloning theorem prohibits exact copying of nonorthogonal states. Moreover, if we wish to copy multiparticle entangled states and can perform only local operations and classical communication (LOCC), then further restrictions apply. We investigate the problem of copying orthogonal, entangled quantum states with an entangled blank state under the restriction to LOCC. Throughout, the subsystems have finite dimension D. We show that if all of the states to be copied are non-maximally entangled, then novel LOCC copying procedures based on entanglement catalysis are possible. We then study in detail the LOCC copying problem where both the blank state and at least one of the states to be copied are maximally entangled. For this to be possible, we find that all the states to be copied must be maximally entangled. We obtain a necessary and sufficient condition for LOCC copying under these conditions. For two orthogonal, maximally entangled states, we provide the general solution to this condition. We use it to show that for D=2,3, any pair of orthogonal, maximally entangled states can be locally copied using a maximally entangled blank state. However, we also show that for any D which is not prime, one can construct pairs of such states for which this is impossible. △ Less

Submitted 17 November, 2004; v1 submitted 21 July, 2004; originally announced July 2004.

Comments: 13 pages. Journal ref. New. J. Phys., Vol. 6, p. 164 (2004)

Unambiguous comparison of the states of multiple quantum systems

Authors: Anthony Chefles, Erika Andersson, Igor Jex

Abstract: We consider N quantum systems initially prepared in pure states and address the problem of unambiguously comparing them. One may ask whether or not all $N$ systems are in the same state. Alternatively, one may ask whether or not the states of all N systems are different. We investigate the possibility of unambiguously obtaining this kind of information. It is found that some unambiguous comparis… ▽ More We consider N quantum systems initially prepared in pure states and address the problem of unambiguously comparing them. One may ask whether or not all $N$ systems are in the same state. Alternatively, one may ask whether or not the states of all N systems are different. We investigate the possibility of unambiguously obtaining this kind of information. It is found that some unambiguous comparison tasks are possible only when certain linear independence conditions are satisfied. We also obtain measurement strategies for certain comparison tasks which are optimal under a broad range of circumstances, in particular when the states are completely unknown. Such strategies, which we call universal comparison strategies, are found to have intriguing connections with the problem of quantifying the distinguishability of a set of quantum states and also with unresolved conjectures in linear algebra. We finally investigate a potential generalisation of unambiguous state comparison, which we term unambiguous overlap filtering. △ Less

Submitted 21 July, 2004; v1 submitted 18 February, 2004; originally announced February 2004.

Comments: 20 pages, no figures

Journal ref: Journal of Physics A: Mathematical and General, Vol. 37, 7315, 2004

On the existence of physical transformations between sets of quantum states

Authors: Anthony Chefles, Richard Jozsa, Andreas Winter

Abstract: Let A = {rho_1,...,rho_n} be a given set of quantum states. We consider the problem of finding necessary and sufficient conditions on another set B = {sigma_1,...,sigma_n} that guarantee the existence of a physical transformation taking rho_i to sigma_i for all i. Uhlmann has given an elegant such condition when both sets comprise pure states. We give a simple proof of this condition and develop… ▽ More Let A = {rho_1,...,rho_n} be a given set of quantum states. We consider the problem of finding necessary and sufficient conditions on another set B = {sigma_1,...,sigma_n} that guarantee the existence of a physical transformation taking rho_i to sigma_i for all i. Uhlmann has given an elegant such condition when both sets comprise pure states. We give a simple proof of this condition and develop some consequences. Then we consider multi-probabilistic transformations between sets of pure states which leads to conditions for the problem of transformability between A and B when one set is pure and the other is arbitrary. △ Less

Submitted 30 July, 2003; originally announced July 2003.

Comments: Latex2e, 8 pages

Journal ref: Int. J. Quantum Information, vol. 2, no. 1, 11-21 (2004)

Comparing the states of many quantum systems

Authors: Igor Jex, Erika Andersson, Anthony Chefles

Abstract: We investigate how to determine whether the states of a set of quantum systems are identical or not. This paper treats both error-free comparison, and comparison where errors in the result are allowed. Error-free comparison means that we aim to obtain definite answers, which are known to be correct, as often as possible. In general, we will have to accept also inconclusive results, giving no inf… ▽ More We investigate how to determine whether the states of a set of quantum systems are identical or not. This paper treats both error-free comparison, and comparison where errors in the result are allowed. Error-free comparison means that we aim to obtain definite answers, which are known to be correct, as often as possible. In general, we will have to accept also inconclusive results, giving no information. To obtain a definite answer that the states of the systems are not identical is always possible, whereas, in the situation considered here, a definite answer that they are identical will not be possible. The optimal universal error-free comparison strategy is a projection onto the totally symmetric and the different non-symmetric subspaces, invariant under permutations and unitary transformations. We also show how to construct optimal comparison strategies when allowing for some errors in the result, minimising either the error probability, or the average cost of making an error. We point out that it is possible to realise universal error-free comparison strategies using only linear elements and particle detectors, albeit with less than ideal efficiency. Also minimum-error and minimum-cost strategies may sometimes be realised in this way. This is of great significance for practical applications of quantum comparison. △ Less

Submitted 25 September, 2003; v1 submitted 21 May, 2003; originally announced May 2003.

Comments: 13 pages, 2 figures. Corrected a misprint on p. 7 and added a few references. Accepted for publication in J Mod Opt

Condition for unambiguous state discrimination with local operations and classical communication

Authors: Anthony Chefles

Abstract: We obtain a necessary and sufficient condition for a finite set of states of a finite dimensional multiparticle quantum system to be amenable to unambiguous discrimination using local operations and classical communication. This condition is valid for states which may be be mixed, entangled or both. When the support of the set of states is the entire multiparticle Hilbert space, this condition i… ▽ More We obtain a necessary and sufficient condition for a finite set of states of a finite dimensional multiparticle quantum system to be amenable to unambiguous discrimination using local operations and classical communication. This condition is valid for states which may be be mixed, entangled or both. When the support of the set of states is the entire multiparticle Hilbert space, this condition is found to have an intriguing connection with the theory of entanglement witnesses. △ Less

Submitted 29 May, 2004; v1 submitted 10 February, 2003; originally announced February 2003.

Comments: 5 pages, Revtex4

Journal ref: Physical Review A, Vol. 69, 050307(R) (2004)

Retrodiction of Generalised Measurement Outcomes

Authors: Anthony Chefles, Masahide Sasaki

Abstract: If a generalised measurement is performed on a quantum system and we do not know the outcome, are we able to retrodict it with a second measurement? We obtain a necessary and sufficient condition for perfect retrodiction of the outcome of a known generalised measurement, given the final state, for an arbitrary initial state. From this, we deduce that, when the input and output Hilbert spaces hav… ▽ More If a generalised measurement is performed on a quantum system and we do not know the outcome, are we able to retrodict it with a second measurement? We obtain a necessary and sufficient condition for perfect retrodiction of the outcome of a known generalised measurement, given the final state, for an arbitrary initial state. From this, we deduce that, when the input and output Hilbert spaces have equal (finite) dimension, it is impossible to perfectly retrodict the outcome of any fine-grained measurement (where each POVM element corresponds to a single Kraus operator) for all initial states unless the measurement is unitarily equivalent to a projective measurement. It also enables us to show that every POVM can be realised in such a way that perfect outcome retrodiction is possible for an arbitrary initial state when the number of outcomes does not exceed the output Hilbert space dimension. We then consider the situation where the initial state is not arbitrary, though it may be entangled, and describe the conditions under which unambiguous outcome retrodiction is possible for a fine-grained generalised measurement. We find that this is possible for some state if the Kraus operators are linearly independent. This condition is also necessary when the Kraus operators are non-singular. From this, we deduce that every trace-preserving quantum operation is associated with a generalised measurement whose outcome is unambiguously retrodictable for some initial state, and also that a set of unitary operators can be unambiguously discriminated iff they are linearly independent. We then examine the issue of unambiguous outcome retrodiction without entanglement. This has important connections with the theory of locally linearly dependent and locally linearly independent operators. △ Less

Submitted 1 November, 2002; v1 submitted 15 May, 2002; originally announced May 2002.

Comments: To appear in Physical Review A

Comparison of two unknown pure quantum states

Authors: Stephen M. Barnett, Anthony Chefles, Igor Jex

Abstract: We investigate the extent to which we can establish whether or not two quantum systems have been prepared in the same state. We investigate the possibility of universal unambiguous state comparison. We show that it is impossible to conclusively identify two pure unknown states as being identical, and construct the optimal measurement for conclusively identifying them as being different. We then… ▽ More We investigate the extent to which we can establish whether or not two quantum systems have been prepared in the same state. We investigate the possibility of universal unambiguous state comparison. We show that it is impossible to conclusively identify two pure unknown states as being identical, and construct the optimal measurement for conclusively identifying them as being different. We then derive optimal strategies for state comparison when the state of each system is one of two known states. △ Less

Submitted 1 November, 2002; v1 submitted 15 February, 2002; originally announced February 2002.

Distinguishability Measures and Ensemble Orderings

Authors: Anthony Chefles

Abstract: It is shown that different distinguishability measures impose different orderings on ensembles of $N$ pure quantum states. This is demonstrated using ensembles of equally-probable, linearly independent, symmetrical pure states, with the maximum probabilities of correct hypothesis testing and unambiguous state discrimination being the distinguishability measures. This finding implies that there i… ▽ More It is shown that different distinguishability measures impose different orderings on ensembles of $N$ pure quantum states. This is demonstrated using ensembles of equally-probable, linearly independent, symmetrical pure states, with the maximum probabilities of correct hypothesis testing and unambiguous state discrimination being the distinguishability measures. This finding implies that there is no absolute scale for comparing the distinguishability of any two ensembles of $N$ quantum states, and that distinguishability comparison is necessarily relative to a particular discrimination strategy. △ Less

Submitted 1 November, 2002; v1 submitted 27 September, 2001; originally announced September 2001.

Comments: To appear in Physical Review A

Quantum Operations, State Transformations and Probabilities

Authors: Anthony Chefles

Abstract: In quantum operations, probabilities characterise both the degree of the success of a state transformation and, as density operator eigenvalues, the degree of mixedness of the final state. We give a unified treatment of pure-to-pure state transformations, covering both probabilistic and deterministic cases. We then discuss the role of majorization in describing the dynamics of mixing in quantum… ▽ More In quantum operations, probabilities characterise both the degree of the success of a state transformation and, as density operator eigenvalues, the degree of mixedness of the final state. We give a unified treatment of pure-to-pure state transformations, covering both probabilistic and deterministic cases. We then discuss the role of majorization in describing the dynamics of mixing in quantum operations. The conditions for mixing enhancement for all initial states are derived. We show that mixing is monotonically decreasing for deterministic pure-to-pure transformations, and discuss the relationship between these transformations and deterministic LOCC entanglement transformations. △ Less

Submitted 17 September, 2001; v1 submitted 13 September, 2001; originally announced September 2001.

Comments: 10 pages, RevTeX 4, Submitted to Phys. Rev. A

Unambiguous Discrimination Between Linearly Dependent States with Multiple Copies

Authors: Anthony Chefles

Abstract: A set of quantum states can be unambiguously discriminated if and only if they are linearly independent. However, for a linearly dependent set, if C copies of the state are available, then the resulting C particle states may form a linearly independent set, and be amenable to unambiguous discrimination. We obtain necessary and sufficient conditions for the possibility of unambiguous discriminati… ▽ More A set of quantum states can be unambiguously discriminated if and only if they are linearly independent. However, for a linearly dependent set, if C copies of the state are available, then the resulting C particle states may form a linearly independent set, and be amenable to unambiguous discrimination. We obtain necessary and sufficient conditions for the possibility of unambiguous discrimination between N states given that C copies are available and that the single copies span a D dimensional space. These conditions are found to be identical for qubits. We then examine in detail the linearly dependent trine ensemble. The set of C>1 copies of each state is a set of linearly independent lifted trine states. The maximum unambiguous discrimination probability is evaluated for all C>1 with equal a priori probabilities. △ Less

Submitted 29 August, 2001; v1 submitted 4 May, 2001; originally announced May 2001.

Comments: 12 Pages RevTeX 4, 1 EPS figure

Optimal phase estimation and square root measurement

Authors: M. Sasaki, A. Carlini, A. Chefles

Abstract: We present an optimal strategy having finite outcomes for estimating a single parameter of the displacement operator on an arbitrary finite dimensional system using a finite number of identical samples. Assuming the uniform {\it a priori} distribution for the displacement parameter, an optimal strategy can be constructed by making the {\it square root measurement} based on uniformly distributed… ▽ More We present an optimal strategy having finite outcomes for estimating a single parameter of the displacement operator on an arbitrary finite dimensional system using a finite number of identical samples. Assuming the uniform {\it a priori} distribution for the displacement parameter, an optimal strategy can be constructed by making the {\it square root measurement} based on uniformly distributed sample points. This type of measurement automatically ensures the global maximality of the figure of merit, that is, the so called average score or fidelity. Quantum circuit implementations for the optimal strategies are provided in the case of a two dimensional system. △ Less

Submitted 14 November, 2000; originally announced November 2000.

Comments: Latex, 5 figures

Quantum State Discrimination

Authors: Anthony Chefles

Abstract: There are fundamental limits to the accuracy with which one can determine the state of a quantum system. I give an overview of the main approaches to quantum state discrimination. Several strategies exist. In quantum hypothesis testing, a quantum system is prepared in a member of a known, finite set of states, and the aim is to guess which one with the minimum probability of error. Error free di… ▽ More There are fundamental limits to the accuracy with which one can determine the state of a quantum system. I give an overview of the main approaches to quantum state discrimination. Several strategies exist. In quantum hypothesis testing, a quantum system is prepared in a member of a known, finite set of states, and the aim is to guess which one with the minimum probability of error. Error free discrimination is also sometimes possible, if we allow for the possibility of obtaining inconclusive results. If no prior information about the state is provided, then it is impractical to try to determine it exactly, and it must be estimated instead. In addition to reviewing these various strategies, I describe connections between state discrimination, the manipulation of quantum entanglement, and quantum cloning. Recent experimental work is also discussed. △ Less

Submitted 31 October, 2000; originally announced October 2000.

Comments: Contemporary Physics 2000, in press

Experimental realization of optimal detection strategies for overcomplete states

Authors: Roger B. M. Clarke, Vivien M. Kendon, Anthony Chefles, Stephen M. Barnett, Erling Riis, Masahide Sasaki

Abstract: We present the results of generalized measurements of optical polarization designed to provide one of three or four distinct outcomes. This has allowed us to discriminate between nonorthogonal polarization states with an error probability that is close to the minimum allowed by quantum theory. Employing these optimal detection strategies on sets of three (trine) or four (tetrad) equiprobable sym… ▽ More We present the results of generalized measurements of optical polarization designed to provide one of three or four distinct outcomes. This has allowed us to discriminate between nonorthogonal polarization states with an error probability that is close to the minimum allowed by quantum theory. Employing these optimal detection strategies on sets of three (trine) or four (tetrad) equiprobable symmetric nonorthogonal polarization states, we obtain a mutual information that exceeds the maximum value attainable using conventional (von Neumann) polarization measurements. △ Less

Submitted 5 March, 2001; v1 submitted 4 August, 2000; originally announced August 2000.

Comments: RevTeX4, 14 pages, 10 figures (included as eps), submitted to Phys. Rev. A. Typos corrected, Sec II B rewritten, no changes to results or conclusions

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

Experimental Demonstration of Optimal Unambiguous State Discrimination

Authors: Roger B. M. Clarke, Anthony Chefles, Stephen M. Barnett, Erling Riis

Abstract: We present the first full demonstration of unambiguous state discrimination between non-orthogonal quantum states. Using a novel free space interferometer we have realised the optimum quantum measurement scheme for two non-orthogonal states of light, known as the Ivanovic-Dieks-Peres (IDP) measurement. We have for the first time gained access to all three possible outcomes of this measurement. A… ▽ More We present the first full demonstration of unambiguous state discrimination between non-orthogonal quantum states. Using a novel free space interferometer we have realised the optimum quantum measurement scheme for two non-orthogonal states of light, known as the Ivanovic-Dieks-Peres (IDP) measurement. We have for the first time gained access to all three possible outcomes of this measurement. All aspects of this generalised measurement scheme, including its superiority over a standard von Neumann measurement, have been demonstrated within 1.5% of the IDP predictions. △ Less

Submitted 19 July, 2000; originally announced July 2000.

Entanglement, Information and Multiparticle Quantum Operations

Authors: Anthony Chefles, Claire R. Gilson, Stephen M. Barnett

Abstract: Collective operations on a network of spatially-separated quantum systems can be carried out using local quantum (LQ) operations, classical communication (CC) and shared entanglement (SE). Such operations can also be used to communicate classical information and establish entanglement between distant parties. We show how these facts lead to measures of the inseparability of quantum operations, a… ▽ More Collective operations on a network of spatially-separated quantum systems can be carried out using local quantum (LQ) operations, classical communication (CC) and shared entanglement (SE). Such operations can also be used to communicate classical information and establish entanglement between distant parties. We show how these facts lead to measures of the inseparability of quantum operations, and argue that a maximally-inseparable operation on 2 qubits is the SWAP operation. The generalisation of our argument to N qubit operations leads to the conclusion that permutation operations are maximally-inseparable. For even N, we find the minimum SE and CC resources which are sufficient to perform an arbitrary collective operation. These minimum resources are 2(N-1) ebits and 4(N-1) bits, and these limits can be attained using a simple teleportation-based protocol. We also obtain lower bounds on the minimum resources for the odd case. For all $N{\geq}4$, we show that the SE/CC resources required to perform an arbitrary operation are strictly greater than those that any operation can establish/communicate. △ Less

Submitted 28 June, 2000; v1 submitted 23 June, 2000; originally announced June 2000.

Quantum remote control: Teleportation of unitary operations

Authors: S. F. Huelga, J. A. Vaccaro, A. Chefles, M. B. Plenio

Abstract: We consider the implementation of an arbitrary unitary operation U upon a distant quantum system. This teleportation of U can be viewed as a quantum remote control. We investigate protocols which achieve this using local operations, classical communication and shared entanglement (LOCCSE). Lower bounds on the necessary entanglement and classical communication are determined using causality and t… ▽ More We consider the implementation of an arbitrary unitary operation U upon a distant quantum system. This teleportation of U can be viewed as a quantum remote control. We investigate protocols which achieve this using local operations, classical communication and shared entanglement (LOCCSE). Lower bounds on the necessary entanglement and classical communication are determined using causality and the linearity of quantum mechanics. We examine in particular detail the resources required if the remote control is to be implemented as a classical black box. Under these circumstances, we prove that the required resources are, necessarily, those needed for implementation by bidirectional state teleportation. △ Less

Submitted 4 July, 2000; v1 submitted 16 May, 2000; originally announced May 2000.

Comments: 5 pages, 2 figures Typographical erros in formulas have been corrected. Conclusions unchanged

Journal ref: Phys.Rev. A 63, 042303 (2001)

Entanglement and Collective Quantum Operations

Authors: Anthony Chefles, Claire R. Gilson, Stephen M. Barnett

Abstract: We show how shared entanglement, together with classical communication and local quantum operations, can be used to perform an arbitrary collective quantum operation upon N spatially-separated qubits. A simple teleportation-based protocol for achieving this, which requires 2(N-1) ebits of shared, bipartite entanglement and 4(N-1) classical bits, is proposed. In terms of the total required entang… ▽ More We show how shared entanglement, together with classical communication and local quantum operations, can be used to perform an arbitrary collective quantum operation upon N spatially-separated qubits. A simple teleportation-based protocol for achieving this, which requires 2(N-1) ebits of shared, bipartite entanglement and 4(N-1) classical bits, is proposed. In terms of the total required entanglement, this protocol is shown to be optimal for even N in both the asymptotic limit and for `one-shot' applications. △ Less

Submitted 16 June, 2000; v1 submitted 16 March, 2000; originally announced March 2000.

Deterministic Quantum State Transformations

Authors: Anthony Chefles

Abstract: We derive a necessary condition for the existence of a completely-positive, linear, trace-preserving map which deterministically transforms one finite set of pure quantum states into another. This condition is also sufficient for linearly-independent initial states. We also examine the issue of quantum coherence, that is, when such operations maintain the purity of superpositions. If, in any det… ▽ More We derive a necessary condition for the existence of a completely-positive, linear, trace-preserving map which deterministically transforms one finite set of pure quantum states into another. This condition is also sufficient for linearly-independent initial states. We also examine the issue of quantum coherence, that is, when such operations maintain the purity of superpositions. If, in any deterministic transformation from one linearly-independent set to another, even a single, complete superposition of the initial states maintains its purity, the initial and final states are related by a unitary transformation. △ Less

Submitted 7 March, 2000; v1 submitted 19 November, 1999; originally announced November 1999.

Comments: Minor cosmetic changes

Strategies and Networks for State-Dependent Quantum Cloning

Authors: Anthony Chefles, Stephen M. Barnett

Abstract: State-dependent cloning machines that have so far been considered either deterministically copy a set of states approximately, or probablistically copy them exactly. In considering the case of two equiprobable pure states, we derive the maximum global fidelity of $N$ approximate clones given $M$ initial exact copies, where $N>M$. We also consider strategies which interpolate between approximate… ▽ More State-dependent cloning machines that have so far been considered either deterministically copy a set of states approximately, or probablistically copy them exactly. In considering the case of two equiprobable pure states, we derive the maximum global fidelity of $N$ approximate clones given $M$ initial exact copies, where $N>M$. We also consider strategies which interpolate between approximate and exact cloning. A tight inequality is obtained which expresses a trade-off between the global fidelity and success probability. This inequality is found to tend, in the limit as $N{\to}{\infty}$, to a known inequality which expresses the trade-off between error and inconclusive result probabilities for state-discrimination measurements. Quantum-computational networks are also constructed for the kinds of cloning machine we describe. For this purpose, we introduce two gates: the distinguishability transfer and state separation gates. Their key properties are described △ Less

Submitted 15 December, 1998; originally announced December 1998.

Comments: 12 pages, 6 eps figures, submitted to Phys. Rev. A

Quantum State Separation, Unambiguous Discrimination and Exact Cloning

Authors: Anthony Chefles, Stephen M. Barnett

Abstract: Unambiguous discrimination and exact cloning reduce the square-overlap between quantum states, exemplifying the more general type of procedure we term state separation. We obtain the maximum probability with which two equiprobable quantum states can be separated by an arbitrary degree, and find that the established bounds on the success probabilities for discrimination and cloning are special ca… ▽ More Unambiguous discrimination and exact cloning reduce the square-overlap between quantum states, exemplifying the more general type of procedure we term state separation. We obtain the maximum probability with which two equiprobable quantum states can be separated by an arbitrary degree, and find that the established bounds on the success probabilities for discrimination and cloning are special cases of this general bound. The latter also gives the maximum probability of successfully producing N exact copies of a quantum system whose state is chosen secretly from a known pair, given M initial realisations of the state, where N>M. We also discuss the relationship between this bound and that on unambiguous state discrimination. △ Less

Submitted 11 August, 1998; originally announced August 1998.

Comments: RevTeX, 5 pages postscript

Journal ref: J.Phys.A31:10097-10103,1998

Nonlocality Without Inequalities for all Pure Entangled States

Authors: Stephen M. Barnett, Anthony Chefles

Abstract: This paper has been withdrawn by the authors. This paper has been withdrawn by the authors. △ Less

Submitted 9 August, 1999; v1 submitted 31 July, 1998; originally announced July 1998.

Optimum Unambiguous Discrimination Between Linearly Independent Symmetric States

Authors: Anthony Chefles, Stephen M. Barnett

Abstract: The quantum formalism permits one to discriminate sometimes between any set of linearly-independent pure states with certainty. We obtain the maximum probability with which a set of equally-likely, symmetric, linearly-independent states can be discriminated. The form of this bound is examined for symmetric coherent states of a harmonic oscillator or field mode. The quantum formalism permits one to discriminate sometimes between any set of linearly-independent pure states with certainty. We obtain the maximum probability with which a set of equally-likely, symmetric, linearly-independent states can be discriminated. The form of this bound is examined for symmetric coherent states of a harmonic oscillator or field mode. △ Less

Submitted 8 July, 1998; originally announced July 1998.

Comments: 9 pages, 2 eps figures, submitted to Physics Letters A

Journal ref: Phys.Lett. A250 (1998) 223-229

Unambiguous Discrimination Between Linearly-Independent Quantum States

Authors: Anthony Chefles

Abstract: The theory of generalised measurements is used to examine the problem of discriminating unambiguously between non-orthogonal pure quantum states. Measurements of this type never give erroneous results, although, in general, there will be a non-zero probability of a result being inconclusive. It is shown that only linearly-independent states can be unambiguously discriminated. In addition to exam… ▽ More The theory of generalised measurements is used to examine the problem of discriminating unambiguously between non-orthogonal pure quantum states. Measurements of this type never give erroneous results, although, in general, there will be a non-zero probability of a result being inconclusive. It is shown that only linearly-independent states can be unambiguously discriminated. In addition to examining the general properties of such measurements, we discuss their application to entanglement concentration. △ Less

Submitted 8 July, 1998; originally announced July 1998.

Journal ref: Phys.Lett. A239 (1998) 339-347