Does Kochen-Specker's theorem follow trivially from Gleason's one? In Kochen-Specker's theorem, as presented e.g. in (Rajan 2017) or (Breuer 2002), we consider maps $\nu:\mathrm{Herm}(\mathcal H)\to\mathbb R$ that are algebra homomorphisms on compatible observables, that is, such that $\nu(AB)=\nu(A)\nu(B)$ and $\nu(A+B)=\nu(A)+\nu(B)$ whenever $[A,B]=0$. Among other things, this implies that $\nu(P)\in\{0,1\}$ for any projection operator $P$, that $\nu(I)=1$, and more generally that $\nu(A)\in\sigma(A)$ for any $A\in\mathrm{Herm}(\mathcal H)$, where $\sigma(A)$ denotes the spectrum of $A$.
In the context of Gleason's theorem, as presented e.g. in (Busch 1999), one considers frame functions, which are functions $f:\mathrm{Eff}(\mathcal H)\to[0,1]$ such that $\sum_k f(E_k)=1$ whenever $\{E_k\}_k\subset\mathrm{Eff}(\mathcal H)$ satisfies $\sum_k E_k=I$. Here, $\mathrm{Eff}(\mathcal H)\subset\mathrm{Pos}(\mathcal H)$ is the set of effects, that is, of positive operators $E$ such that $0\le E\le I$.
The gist of Gleason's theorem is that frame functions extend uniquely to linear functionals $\mathrm{Lin}(\mathcal H)\to\mathbb C$, which are in bijection with quantum states via the standard isomorphism $\mathrm{Lin}(\mathcal H)^*\simeq \mathrm{Lin}(\mathcal H)$.
For the scope of this post, let me refer to the functions $\nu$ in Kochen-Specker's theorem as noncontextual assignments.
It seems clear that there are strong relations between noncontextual assignments and frame functions.
Indeed, one can also easily see that any frame function satisfies $\sum_k f(P_k)=1$ for any complete set of orthogonal projections $\{P_k\}$, which is a property shared with noncontextual assignments.
One major difference between the two is that noncontextual assignments are also required to preserve multiplication on compatible observables. This implies that we have, for any projection $P$, $\nu(P)\in\{0,1\}$, whereas frame functions need only satisfy $f(P)\in[0,1]$.
Is this the only difference between noncontextual assignments and frame functions, or am I missing something? Does this mean that one can think of noncontextual assignments as a subset of frame functions?
But if this is the case, why doesn't Kochen-Specker's theorem follow directly from Gleason's one?
Gleason's theorem characterises the set of frame functions. It tells us that any frame function $f$ has the form $f(A)=\mathrm{Tr}(\rho_f A)$ for some $\rho_f\in\mathrm{Herm}(\mathcal H)$.
But such an $f$ clearly isn't "sharp" in the sense of Kochen-Specker: if $f(P)=1$ for some projection $P$, then $\rho_f=P$, and thus $f(Q)\notin\{0,1\}$ for some other projection $Q$, hence $f$ not being a noncontextual assignment.
Is this argument valid, or am I missing something?
 A: There are many versions of the KS theorem, the one with linear and multiplicative functionals and the other with orthogonal projectors (there is no measure on the lattice of projectors taking only sharp values) are almost immediate essentially topological consequences of Gleason's theorem (the projection version is valid also in the infinite dimensional case without continuity requirements). This implication  was known to Bell in particular, who provided an alternative statement of KS theorem with a proof based on a weak version of Gleason's theorem. All that simultaneously (somebody says one year before) with the appearance of KS paper.
(The proof is as follows. Suppose there is a map associating every observable $A$ of $B(H)$ to a real number $\nu(A)$ and this map preserves the sum and the multiplication values (in obvious sense) of compatible observables. Restricting $\nu$ to the lattice $L(H)$ of orthoprojectors $P$, it turns out that (a) $\nu(P) \in \{0,1\}$ and (b) either it is the zero map (if $\nu(I)=0$) or it is a probability measure (if $\nu(I)=1$).
If $2<\dim(H)<\infty$, then the Gleason theorem implies  that this map (if it is not trivial) has the form $\nu(P) = tr(\rho P)$ for some operator $\rho$. Hence the map is continuous on the  sphere $S$ of unit vectors (defining one-dimensional orthoprojectors). As the map is continuous and the sphere is connected, its image is connected: either $\nu(S)=\{0\}$ or $\nu(S)=\{1\}$. In summary, $\nu(P)=0$ for all one-dimensional projectors or $\nu(P)=1$ for all one-dimensional projectors.
In the former case $\nu$ is trivial, in the latter case $\nu(I)>1$ that is impossible for probability measures.)
However this approach is not constructive. It does not show a (possibly minimal) set of observables where the non-contextual assignment of values is impossible, nor it point out how to determine this set.
It just says that this set has to exist for $\dim(H)>2$. The "elementary" combinatoric proofs as the original one by Kochen and Speker are instead explicitly constructive. There are also KS-like statements unrelated with Gleason's theorem, but constructive,  as the Milman-Peres magic square.
