In fact the decomposition where the p i sum to 1 and the |s i are mutually orthogonal is unique and is called the eigen decomposition.
b eig = {|s i } i constitutes an orthonormal base, ρ's so-called eigen base.