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.Comment: 12 Pages RevTeX 4, 1 EPS figur

Optimal phase estimation and square root measurement

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.Comment: Latex, 5 figure

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.Comment: 4.4 pages, Revtex 4. Submitted to Physical Review Letter

Minimum-error discrimination between mixed quantum states

We derive a general lower bound on the minimum-error probability for {\it ambiguous discrimination} between arbitrary $m$ mixed quantum states with given prior probabilities. When $m=2$, this bound is precisely the well-known Helstrom limit. Also, we give a general lower bound on the minimum-error probability for discriminating quantum operations. Then we further analyze how this lower bound is attainable for ambiguous discrimination of mixed quantum states by presenting necessary and sufficient conditions related to it. Furthermore, with a restricted condition, we work out a upper bound on the minimum-error probability for ambiguous discrimination of mixed quantum states. Therefore, some sufficient conditions are obtained for the minimum-error probability attaining this bound. Finally, under the condition of the minimum-error probability attaining this bound, we compare the minimum-error probability for {\it ambiguously} discriminating arbitrary $m$ mixed quantum states with the optimal failure probability for {\it unambiguously} discriminating the same states.Comment: A further revised version, and some results have been adde

Finding optimal strategies for minimum-error quantum-state discrimination

We propose a numerical algorithm for finding optimal measurements for quantum-state discrimination. The theory of the semidefinite programming provides a simple check of the optimality of the numerically obtained results.Comment: 4 pages, 2 figure

Unambiguous quantum state filtering

In this paper, we consider the generalized measurement where one particular quantum signal is unambiguously extracted from a set of non-commutative quantum signals and the other signals are filtered out. Simple expressions for the maximum detection probability and its POVM are derived. We applyl such unambiguous quantum state filtering to evaluation of the sensing of decoherence channels. The bounds of the precision limit for a given quantum state of probes and possible device implementations are discussed.Comment: 7 pages, 5 figure

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.Comment: To appear in Physical Review

A new quantum version of f-divergence

This paper proposes and studies new quantum version of $f$-divergences, a class of convex functionals of a pair of probability distributions including Kullback-Leibler divergence, Rnyi-type relative entropy and so on. There are several quantum versions so far, including the one by Petz. We introduce another quantum version ($\mathrm{D}_{f}^{\max}$, below), defined as the solution to an optimization problem, or the minimum classical $f$- divergence necessary to generate a given pair of quantum states. It turns out to be the largest quantum $f$-divergence. The closed formula of $\mathrm{D}_{f}^{\max}$ is given either if $f$ is operator convex, or if one of the state is a pure state. Also, concise representation of $\mathrm{D}_{f}^{\max}$ as a pointwise supremum of linear functionals is given and used for the clarification of various properties of the quality. Using the closed formula of $\mathrm{D}_{f}^{\max}$, we show: Suppose $f$ is operator convex. Then the\ maximum $f\,$- divergence of the probability distributions of a measurement under the state $\rho$ and $\sigma$ is strictly less than $\mathrm{D}_{f}^{\max}\left( \rho\Vert\sigma\right)$. This statement may seem intuitively trivial, but when $f$ is not operator convex, this is not always true. A counter example is $f\left( \lambda\right) =\left\vert 1-\lambda\right\vert$, which corresponds to total variation distance. We mostly work on finite dimensional Hilbert space, but some results are extended to infinite dimensional case.Comment: The proof of dual representation of the former version was misstated. An alternative proof is presente

Optimal minimum-cost quantum measurements for imperfect detection

Knowledge of optimal quantum measurements is important for a wide range of situations, including quantum communication and quantum metrology. Quantum measurements are usually optimised with an ideal experimental realisation in mind. Real devices and detectors are, however, imperfect. This has to be taken into account when optimising quantum measurements. In this paper, we derive the optimal minimum-cost and minimum-error measurements for a general model of imperfect detection.Comment: 5 page

Discrimination of two mixed quantum states with maximum confidence and minimum probability of inconclusive results

We study an optimized measurement that discriminates two mixed quantum states with maximum confidence for each conclusive result, thereby keeping the overall probability of inconclusive results as small as possible. When the rank of the detection operators associated with the two different conclusive outcomes does not exceed unity we obtain a general solution. As an application, we consider the discrimination of two mixed qubit states. Moreover, for the case of higher-rank detection operators we give a solution for particular states. The relation of the optimized measurement to other discrimination schemes is also discussed.Comment: 7 pages, 1 figure, accepted for publication in Phys. Rev.