New summary. I have a better idea what they meant now.
Definition: A property of the system is a pair (D,d) (where D denotes a measuring device and d denotes one of its possible results) such that the theory predicts that if we perform a measurement with the device D, the result will certainly be d.
Note that this is a theory-independent definition in the sense that it explains what the word "property" means in every theory.
Assumption: There's a theory that's at least as good as QM, in which a set \lambda=\{(D_i,d_i)|i\in I\} contains all the properties of the system.
By calling this a "theory", we are implicitly assuming that it's possible to obtain useful information about the value of λ. (If it's not, then the "theory" isn't falsifiable in any sense of the word, and shouldn't be called a theory). So we are implicitly assuming that we can at least determine a probability distribution of values of λ.
By saying that this theory is at least as good as QM, we are implicitly assuming that the set \{D_i|i\in I\} contains all the measuring devices that QM makes predictions about.
I will call this theory the super-awesome classical theory (SACT). It has to be considered a classical theory, because it assigns no probabilities other than "certainty" to results of measurements on pure states. (A system is said to be in a
pure state if the value of λ is known, and is said to be in a
mixed state if a probability measure on the set of values of λ is known. The simplest kind of mixed state is a system such that all but a finite number of values of λ can be ruled out with certainty, and the remaining values are all associated with a number in [0,1] to be interpreted as the probability that the system is in the pure state λ).
OK, that concludes my comments about the stuff I believe I understand. The stuff below this line are comments about things I don't understand, so don't expect them to make as much sense as the stuff above.
__________________________________________________
I still can't make sense of what two ideas they are comparing. If the above is what they meant when then said that λ corresponds to a complete list of properties of the system, then they appear to be comparing the following two ideas:
- A state vector corresponds to a subset of the set λ defined by the SACT.
- A state vector corresponds to a mixed state in the SACT.
But how are we to make sense of 1? If we only know a proper subset of λ, then aren't we still talking about a mixed state? Should we assume that the subset corresponding to the state vector contains the property that determines the result of the specific measurement we're going to make? Should we assume that it doesn't?
The fact that we're even talking about mixed states suggests that what they really want to compare are the following two ideas:
- The probabilities in QM have nothing to do with ignorance about properties of the system.
- The probabilities in QM are a result of our ignorance about the properties of the system.
But I have never thought of either of these as contradicting the statistical view.
What they actually end up comparing is of course the following two ideas:
- The state vector is always determined by λ.
- The state vector is not always determined by λ.
If a state vector corresponds to a mixed state (option 2 in the first list in this post), then this option 2 is just saying that a pure state isn't always determined by the mixed state it's a part of. These two clearly follow from the items on the first list in this post, but it's not clear to me how they are connected to more interesting statements like the ones on the second list or the ones on my original list:
- A state vector represents the properties of the system.
- A state vector represents the properties of an ensemble of identically prepared systems, and does not also represent the properties of a single system.
(I deleted the word "statistical" because I think it's more likely to confuse than to clarify).
I need to get something to eat and watch Fringe. Maybe Walter Bishop can inspire me to figure this out. I'll be back in a couple of hours.