Reply to "Comment on `Gleason-type theorem including qubits and projective measurements: the Born rule beyond quantum physics' ", by Michael J. W. Hall
It has recently been claimed by De Zela that Gleason's theorem, for probability measures on the lattice of projection operators, can be extended to qubits by adding assumptions related to continuity and the existence of 'eigenstates'. This amounts to a claim of the derivation of Born's rule for Hermitian qubit observables. I point out a simple counterexample, and the flaw in De Zela's derivation (these are equally applicable to the repetition of the derivation given in a recent Reply). I also briefly discuss a valid extension to qubits given by Busch.
We extend Gleason's theorem to the two-dimensional Hilbert space of a qubit by invoking the standard axiom that describes composite quantum systems. The tensor-product structure allows us to derive density matrices and Born's rule for d=2 from a simple requirement: the probabilities assigned to measurement outcomes must not depend on whether a system is considered on its own or as a subsystem of a larger one. In line with Gleason's original theorem, our approach assigns probabilities only to projection-valued measures, while other known extensions rely on considering more general classes of measurements. This extension of Gleason's theorem to two-dimensional systems is shown to remain valid for some foil theories of quantum theory.