C*-Algebras and States
A C*-algebra $A$ is a complex Banach algebra with involution $a a^*$ satisfying \[ \|a^* a\| = \|a\|^2. \]
A linear functional $ : A {C}$ is positive if \[ (a^*a) 0 a A. \]
A state on a unital C*-algebra $A$ is a positive linear functional $$ satisfying \[ (1) = 1. \] The set of states is denoted $S(A)$.
$S(A)$ is convex.
If $_1,_2 S(A)$ and $t$, define \[ = t_1 + (1-t)_2. \] Linearity is immediate. Positivity: \[ (a^*a)=t_1(a^*a)+(1-t)_2(a^*a)0. \] Normalization: \[ (1)=t+(1-t)=1. \]
Pure States and Extremality
A state $$ is pure if it is an extreme point of $S(A)$.
A state is pure if and only if it cannot be written as a nontrivial convex combination of distinct states.
Classical Probability Simplices
Let $$ be a compact Hausdorff space. The set of Borel probability measures ${Prob}()$ is called a probability simplex.
${Prob}()$ is a simplex: every element admits a unique decomposition into extreme points (Dirac measures).
By the Choquet theorem and the fact that extreme points are Dirac measures $_$, each probability measure decomposes uniquely into these.
Finite-Dimensional Quantum Example
Let $A=M_2({C})$.
States correspond to density matrices: \[ = {1}{2}(I + r ), | r| 1. \]
The state space is the Bloch ball.
Pure states correspond to $| r|=1$.
The maximally mixed state $_*=12 I$ has infinitely many distinct convex decompositions into pure states.
For any orthonormal basis ${_1,_2}$: \[ _*=12|_1_1|+12|_2_2|. \] Different bases yield different decompositions.
Failure of Simplex Structure
If $A$ is noncommutative, then $S(A)$ is not a simplex.
If $S(A)$ were a simplex, each state would admit unique pure decomposition. The Bloch ball counterexample shows non-uniqueness. Therefore $S(A)$ is not a simplex.
There is no affine isomorphism between $S(A)$ and ${Prob}()$ for any measurable space $$.
Interpretation
The failure of simplex structure is purely algebraic, arising from noncommutativity. This convex-geometric rigidity will underlie the structural obstruction developed in Part II.
Tensor Products of C*-Algebras
Let $A,B$ be C*-algebras.
Their minimal tensor product $A B$ encodes independent systems.
A product state is \[ (_1_2)(a b)=_1(a)_2(b). \]
Preparation Independence
Assume existence of an ontic space $$.
Each pure quantum state $$ corresponds to a probability distribution $_$ on $$.
Preparation independence: \[ _{}=_ _. \]
Structural Conflict
Suppose distinct pure states $_1,_2$ correspond to overlapping measures.
Then $_{_1}_{_2}$ has positive measure.
By preparation independence, \[ _{_i_j} \] overlap for all $i,j$.
Quantum Distinguishing Measurement
In $A A$, there exist projectors distinguishing \[ _1_1,\, _1_2,\, _2_1,\, _2_2. \]
This contradicts overlapping classical supports.
Structural Theorem
Let $A$ be noncommutative. Then $S(A)$ cannot be affinely embedded into ${Prob}()$ in a manner preserving tensor product structure and preparation independence.
Non-simplex structure (Part I) forbids classical convex embedding. Tensor-product distinguishability produces contradiction with overlapping supports.
Conclusion
The obstruction exploited in the PBR theorem is rooted in:
Noncommutativity
Non-simplex convex geometry
Tensor product structure
GNS does not assume hidden variables, but its convex-geometric framework contains the rigidity that makes $$-epistemic models structurally unstable.
Bibliography
I. M. Gelfand and M. A. Naimark, On the embedding of normed rings into the ring of operators in Hilbert space, Mat. Sbornik, 1943.
R. V. Kadison and J. R. Ringrose, Fundamentals of the Theory of Operator Algebras, AMS.
G. Murphy, C*-Algebras and Operator Theory, Academic Press.
M. Pusey, J. Barrett, T. Rudolph, On the reality of the quantum state, Nature Physics, 2012.
E. Schr\"odinger, Discussion of probability relations between separated systems, Proc. Cambridge Phil. Soc., 1935.
J. Bell, On the Einstein-Podolsky-Rosen paradox, Physics, 1964.