if |psi> is a quantum state vector, we know that exp(ia)* |psi> is also a quantum state of the system, where exp(ia) is the global phase factor, and they are indistinguishable w.r.t the expectation value of any system observable or density matrix representation of the state.
my question is there any new developments in QM formalism that distinguishes |psi> and exp(ia)* |psi> ?
Also, is there any significance of the matrices of the form exp(ia)* |psi>