arXiv subjects

Anthony Chefles

Publications and source records attributed to Anthony Chefles.

At least 19 recordsLinked to original sources

arXiv2009

The Quantum Blackwell Theorem and Minimum Error State Discrimination

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.

quant-ph↗

arXiv2007

Unambiguous discrimination among oracle operators

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.

quant-ph↗

arXiv2007

Distributed implementation of standard oracle operators

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.

quant-ph↗

arXiv2007

Quantum protocols for anonymous voting and surveying

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.

quant-ph↗

arXiv2006

Entanglement quantification with Fisher information

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.

quant-ph↗

arXiv2006

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

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.

quant-ph↗

arXiv2005

Entangling capacity and distinguishability of two-qubit unitary operators

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.

quant-ph↗

arXiv2004

Local copying of orthogonal entangled quantum states

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.

quant-ph↗

arXiv2004

Condition for unambiguous state discrimination with local operations and classical communication

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.

quant-ph↗

arXiv2004

Unambiguous comparison of the states of multiple quantum systems

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.

quant-ph↗

arXiv2003

On the existence of physical transformations between sets of quantum states

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.

quant-ph↗

arXiv2003

Comparing the states of many quantum systems

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.

quant-ph↗

arXiv2002

Comparison of two unknown pure quantum states

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.

quant-ph↗

arXiv2002

Distinguishability Measures and Ensemble Orderings

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.

quant-ph↗

arXiv2002

Retrodiction of Generalised Measurement Outcomes

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.

quant-ph↗

arXiv2001

Quantum Operations, State Transformations and Probabilities

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.

quant-ph↗

arXiv2001

Unambiguous Discrimination Between Linearly Dependent States with Multiple Copies

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.

quant-ph↗

arXiv2001

Experimental realization of optimal detection strategies for overcomplete states

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.

quant-ph↗