# Quantum state discrimination

The term quantum state discrimination collectively refers to quantum-informatics techniques, with the help of which, by performing a small number of measurements on a physical system, its specific quantum state can be identified . And this is provided that the set of states in which the system can be is known in advance, and we only need to determine which one it is. This assumption distinguishes such techniques from quantum tomography, which does not impose additional requirements on the state of the system, but requires many times more measurements.
If the set of states in which the investigated system can be is represented by orthogonal vectors, the situation is particularly simple. To unambiguously determine the state of the system, it is enough to perform a quantum measurement in the basis formed by these vectors. The given quantum state can then be flawlessly identified from the measured value. Moreover, it can be easily shown that if the individual states are not orthogonal to each other, there is no way to tell them apart with certainty. Therefore, in such a case, it is always necessary to take into account the possibility of incorrect or inconclusive determination of the state of the system. However, there are techniques that try to alleviate this deficiency. With exceptions, these techniques can be divided into two groups, namely those based on error minimization and then those that allow the state to be determined unambiguously in exchange for lower efficiency.
The first group of techniques is based on the works of Carl W. Helstrom from the 60s and 70s of the 20th century and in its basic form consists in the implementation of projective quantum measurement, where the measurement operators are projective representations. The second group is based on the conclusions of a scientific article published by ID Ivanovich in 1987 and requires the use of generalized measurement, in which the elements of the POVM set are taken as measurement operators. Both groups of techniques are currently the subject of active, primarily theoretical, research, and apart from a number of special cases, there is no general solution that would allow choosing measurement operators in the form of expressible analytical formula.
More precisely, in its standard formulation, the problem involves performing some POVM $(E_{i})_{i}$ on a given unknown state $\rho$, under the promise that the state received is an element of a collection of states $\{\sigma _{i}\}_{i}$, with $\sigma _{i}$ occurring with probability $p_{i}$, that is, $\rho =\sum _{i}p_{i}\sigma _{i}$. The task is then to find the probability of the POVM $(E_{i})_{i}$ correctly guessing which state was received. Since the probability of the POVM returning the $i$-th outcome when the given state was $\sigma _{j}$ has the form ${\text{Prob}}(i|j)=\operatorname {tr} (E_{i}\sigma _{j})$, it follows that the probability of successfully determining the correct state is $P_{\rm {success}}=\sum _{i}p_{i}\operatorname {tr} (\sigma _{i}E_{i})$.

## Helstrom Measurement

The discrimination of two states can be solved optimally using the Helstrom measurement. With two states $\{\sigma _{0},\sigma _{1}\}$ comes two probabilities $\{p_{0},p_{1}\}$ and POVMs $\{E_{0},E_{1}\}$. Since $\sum _{i}E_{i}=I$ for all POVMs, $E_{1}=I-E_{0}$. So the probability of success is:
    ${\begin{aligned}P_{\text{success}}&=p_{0}\operatorname {tr} (\sigma _{0}E_{0})+p_{1}\operatorname {tr} (\sigma _{1}E_{1})\\&=p_{0}\operatorname {tr} (\sigma _{0}E_{0})+p_{1}\operatorname {tr} (\sigma _{1}I-\sigma _{1}E_{0})\\&=p_{1}+\operatorname {tr} [(p_{0}\sigma _{0}-p_{1}\sigma _{1})E_{0}]\end{aligned}}$
To maximize the probability of success, the trace needs to be maximized. That's accomplished when $E_{0}$ is a projector on the positive eigenspace of $p_{0}\sigma _{0}-p_{1}\sigma _{1}$, and the maximal probability of success is given by
    $P_{\text{success}}={\frac {1}{2}}+{\frac {1}{2}}\|p_{0}\sigma _{0}-p_{1}\sigma _{1}\|_{1},$
where $\|\cdot \|_{1}$ denotes the trace norm.

## Discriminating between multiple states

If the task is to discriminate between more than two quantum states, there is no general formula for the optimal POVM and success probability. Nonetheless, the optimal success probability, for the task of discriminating between the elements of a given ensemble $\{(p_{i},\sigma _{i})\}_{i=1}^{N}$, can always be written as$P_{\rm {success}}=\max _{\{E_{i}\}}\sum _{i}p_{i}\operatorname {tr} (E_{i}\sigma _{i}).$This is obtained observing that $p_{i}$ is the a priori probability of getting the $i$-th state, and $\operatorname {tr} (E_{i}\sigma _{i})$ is the probability of (correctly) guessing the input to be $\sigma _{i}$, conditioned to having indeed received the state $\sigma _{i}$.
While this expression cannot be given an explicit form in the general case, it can be solved numerically via Semidefinite programming. An alternative approach to discriminate between a given ensemble of states is to the use the so-called Pretty Good Measurement (PGM), also known as the square root measurement. This is an alternative discrimination strategy that is not in general optimal, but can still be shown to work pretty well.