Hi Jenny. First, thanks for appreciating that QM still says that not only is there that which nobody can find out, there are also kinds of information that some people can know, and others can't find out (or so we think!) There are two classes of "observers," and this has not been widely appreciated. To recap: I can create a photon in a specific state of polarization that *I know.* OTOH, you can't find out what that state is, you have to guess. The (conventional) measurement gives only binary probabilities of it being such and such, and ruins the photon, too.
I have come up with a few ways to get around that. Previously, I had the idea of using repeated interactions to build up angular momentum in a HWP along a range of values. That could reveal whether a single photon was L or R circular, or elliptical, or linear.
My current proposal pertains to your point #2 (best put not as "states" with the same DM, but rather ensembles with the same DM. After all, does a single state really and truly "have" a DM itself? It is more a way of talking about them as a whole, in relation, and the chances of finding one or another etc.) I truly think my method could distinguish e.g. R and L mix from H and V mix, etc. Sadly, it would be very difficult in practice due to need for the enormous number of "runs" of improbable detection sequences, to get enough angular momentum to detect. Well it is still of great theoretical interests since supposedly there is no way in principle to distinguish such mixtures. Note that this impotence principle is based on traditional kinds of measurement and assuming "typical" outcomes!
I will check more of that paper (most directly at http://arxiv.org/abs/quant-ph/0408079), am looking at abstract right now. Yes it sounds a lot like my idea and note this:
"We show that differently constructed ensembles having the same density matrix may be physically distinguished by observing fluctuations of some observables. An explicit expression for fluctuations of an observable in an ensemble is given. This result challenges Peres's fundamental postulate and seems to be contrary to the widely-spread belief that ensembles with the same density matrix are physically identical...."
Yep, bingo. I will need to send them my paper and share ideas. Perhaps you can show mine to some of the profs in your group. I'll take another look at your essay, too and have some comments when I have a good point to make. (BTW, well "of course" the test letter was "Q" ...
Regards.