Its not an experimental matter - its got to do with the foundational principles of QM which many different experiments, and much thought about their implications, led to.
Conceptually its tied up the necessity of continuous transformations between pure states to model physical systems.
Suppose we have a system in 2 states represented by the vectors [0,1] and [1,0]. These states are called pure. These can be randomly presented for observation and you get the vector [p1, p2] where p1 and p2 give the probabilities of observing the pure state. Such states are called mixed. Now consider the matrix A that say after 1 second transforms one pure state to another with rows [0, 1] and [1, 0]. But what happens when A is applied for half a second. Well that would be a matrix U^2 = A. You can work this out and low and behold U is complex. Apply it to a pure state and you get a complex vector. This is something new. Its not a mixed state - but you are forced to it if you want continuous transformations between pure states.
QM is basically the theory that makes sense out of pure states that are complex numbers. It is this that allows for interference effects - these can't be explained via classical probability theory.
A more detailed account of that approach can be found here:
http://arxiv.org/pdf/quantph/0101012.pdf
If you want to see an axiomatic approach from a single axiom see post 137:
https://www.physicsforums.com/threads/the-born-rule-in-many-worlds.763139/page-7
The following from the above link explains how eigenvalues come into it:
'To derive Ballentine's two axioms we need to define what is called a resolution of the identity which is POVM that is disjoint. Such are called Von Neumann observations. We know from the Spectral theorem Hermitian operators, H, can be uniquely decomposed into resolutions of the idenity H = ∑ yi Ei. So what we do is given any observation based on a resolution of the identity Ei we can associate a real number yi with each outcome and uniquely define a Hermitian operator O = ∑ yi Ei, called the observable of the observation.'
The key thing is the mapping of outcomes to resolutions of the identity. Eigenvalues come into it via the Spectral Theorem.
Thanks
Bill