A. Neumaier said:
I haven't yet understood what Fröhlich means with his nonequivalence claim
He's basically referring to the fact that his interpretation has "constant collapse" for lack of a better word.
So Fröhlich says that at time ##t## we have the algebra of observables located times ##\geq t##. This is denoted ##\mathcal{E}_{\geq t}##. An event is a particular set of projectors, ##\{\pi_{E,t}\}##, summing to unity. An event is then said to occur at ##t## if its projectors commute with all other observables in ##\mathcal{E}_{\geq t}## under the state ##\omega##:
$$\omega\left(\left[\pi_{E},A\right]\right) = 0$$
This is meant to be a purely mathematical condition with no need for observation as a primitive. In a given state ##\omega## and given a particular time ##t## and its associated observables ##\mathcal{E}_{\geq t}## there will be such a set of projectors. Thus there is always some event that occurs. After that event has occurred one should use the state ##\omega_{E,t}## given by the conventional state reduction rule.
However imagine I am an experimenter in a lab. I have performed a measurement and updated to ##\omega_{E,t}##. Fröhlich's point is that there will then be, under a proper mathematical analysis, some event ##\{\pi_{E^\prime,t^\prime}\}## that via his condition will occur. This will then cause an update to the state ##\omega_{E^\prime,t^\prime}##. However under conventional QM the experimenter, since he has not made a measurement, continues to use ##\omega_{E,t}##. In the ETH-interpretation he has made an error by restricting the events that occur to be solely his measurement events. Thus his state is incorrect.
Fröhlich discusses why usually it is almost completely accurate. Essentially because the event that follows at ##t^\prime## (under certain assumptions about the Hamiltonian) has projectors that almost overlap with those of the event that occurred at ##t##.
This results in the ETH-interpretation having slightly different predictions from standard QM.
Operators evolve under the Heisenberg equations of motion, but states between measurements do not exactly follow Schrödinger evolution. Thus the inequivalence.