# Unknown quantum state with promise of classical data

I am trying to solve a problem in the measurement and identification of quantum states with a promise as to what states it could be. Here is the problem. Imagine a system that produces qubits in one of four states $S = \{a,b,c,d \}$, evenly distributed. In one shot, I can receive $K$ copies of a state in $S$. However, a random unitary, evenly distributed in $SU(2)$ has been applied, so, at the detectors I receive $S^{\prime} = \{Ha,Hb,Hc,Hd \}$. I have a detector system that includes $2M$ detectors and they represent the projection operators onto any pair of basis vectors in any basis (thus we can choose which $M$ bases we want to use the detectors in). All I want to do is decide if the state is $a,b,c,$ or $d$. How many copies of the state do I need (ie what is a minimum for $K$)? What is the smallest $M$?

Another, more general question is this: what should I use to represent the state before I do a measurement? Should it not be a density matrix which is an integral over all states? Since there is a random unitary applied, that means that I can receive, in a fixed basis, any state with equal probability. What would be the update rule for this density matrix after the $j^{th}$ measurement result?

I realize there are pieces missing in my question. I will revise it this post this evening, but hopefully it will give the general idea.

-
I don't understand the problem. Once the state is randomly rotated there is no way to tell if it was $a$,$b$,$c$ or $d$. – Piotr Migdal Feb 28 '12 at 16:51
I'm not quite sure I understand: If $H$ is chosen randomly then $Ha$ is uncorrelated with $a$. Averaging over $H$ you get $\rho = \sum_H p(H) (H a)^{\otimes K} = \sum_H p(H) (H b)^{\otimes K} = \sum_H p(H) (H c)^{\otimes K} = \sum_H p(H) (H d)^{\otimes K}$, so no matter how many copies you have you can't distinguish the initial state, since these states are related by unitary operators (and you've just applied a random unitary). – Joe Fitzsimons Feb 28 '12 at 16:53
@PiotrMigdal: Looks like we were typing at the same time about the same thing! – Joe Fitzsimons Feb 28 '12 at 16:54
I guess I should have paid more attention in QInformation class.... :(....let me see if I can make this an interesting question. – Ben Sprott Feb 28 '12 at 17:18
What if instead of receiving $K$ copies of a state, you can receive $k$ copies of $N$ states chosen randomly from $S$. That is to say, you receive a string of qubits, and you get $K$ copies of each qubit. Given some setup, you will accumulate 4 different probability distributions because you are also allowed to know when a qubit has been passed. Can you not then use this added information to decide on which distribution corresponds to which original state? There is certainly information embedded in the promise of 4 different distributions and I guess I am trying to squeeze that out. – Ben Sprott Feb 28 '12 at 18:23