bhobba said:
To understand the issue of proper and improper mixed states see the following:
http://philsci-archive.pitt.edu/5439/1/Decoherence_Essay_arXiv_version.pdf
As I said above, I agree with bhobba on physics, and at worst we only disagree on the interpretation of Ballentine. The linked article by Hansen is excellent, and as far as I can tell, I agree with it. Let me present Hansen's argument in a more mathematical way to make it clear that we have equations to discuss, and that the difference between proper and improper mixtures is not some vague interpretive thing.
First let's just assume unitary evolution and the Born rule, and no (the following are equivalent) collapse or state reduction or change from improper to proper mixtures. We have a quantum system and quantum ancilla. They start to interact at time=0, and finish interacting at time=t via unitary evolution. At time t, an observable A is measured on the ancilla and an observable B is measured on the system. Decoherence does not alter the picture for this argument, as it only restricts which observables A we can measure in a practical way. Since A and B are commuting observables that are measured at the same time, the Born rule gives P(A,B), and we can define the reduced density operator of the system by tracing over the ancilla, and we can define the conditional state or a posteriori state of the system using Bayes's rule. As long as we only calculate things derivable from P(A,B), the conditional state can be derived from unitary evolution and the Born rule alone, since it just amounts to writing Bayes's rule applied to P(A,B) in a different way. (See eg.
http://arxiv.org/abs/0810.3536, Eq 6.7, 6.8 and Section 6.2.3.)
But if we use the conditional state or a posteriori state to calculate P(B,C), where C is a measurement on the system at a later time t+dt, then we are using the conditional state in a way that goes beyond applying Bayes's rule to P(A,B), and amounts to a postulate beyond unitary evolution and the Born rule, and this is collapse or state reduction or a change from an improper to proper mixture.
There is also very interesting discussion of the issue by Ozawa in
http://arxiv.org/abs/quant-ph/9706027 and
http://arxiv.org/abs/quant-ph/9711006. But I reference those papers only to note that as late as 1997, he writes that the consensus is that "partial trace does not derive state reduction", which is the same issue that bhobba brings up about improper and proper mixtures. Other texts that explicitly consider the issue and agree with bhobba are Haag
https://www.amazon.com/dp/3540610499/?tag=pfamazon01-20 (1996, p301) and Haroche and Raimond
https://www.amazon.com/dp/0198509146/?tag=pfamazon01-20 (2006, p82).