Background
Let's say I know my experimentalist friend has been measuring the eigenvalues of a physical system. I can see the $M$ measurements are noted in a sheet of paper and I assume the dimensionality of the Hamiltonian to be $K$. I also note the dimensions of eigenvalues of that of energy. I see non-unique eigenvalues and (randomly) guess an eigen-operator $\hat O$ was measured in between the measurements ,i.e, a measurement of operator $\hat O$ was done after every eigenenergy measurement. I would like to guess the Hamiltonian of the system.
Question
Now, my question how to quantify this probability of a reasonable guess of the Hamiltonian (any strategy is allowed including the one given below) of it being particular dimension $K$ given $M$ measurements as correct ? I would prefer if one included degerate Hamiltonians in their calculations (if possible)?
Why it's a difficult problem
This only means to show the probabilistic nature of the problem. We will think of this in terms of eigen-energies primarily other formulation will require another layer of probability. Now:
Let, us write a variable Hamiltonian $H_j$ where $j$ is a counting system adopted which avoids redundancy . From the eigenvalue equation for energy:
$$ H_j |\lambda_i \rangle= \tilde \lambda_i|\lambda_i \rangle$$
From the spectral theorem I can reconstruct a particular Hamiltonian, see:
$$ H_j= \sum_{i} \tilde \lambda_i |\lambda_i \rangle \langle \lambda_i| $$
Now, if we include degeneracies in the argument after measuring $\tilde \lambda_\alpha$ one can conclude:
$$ \frac{\partial}{\partial \tilde \lambda_\alpha} H_j= \sum_{\kappa} |\lambda_\kappa \rangle \langle \lambda_\kappa| $$ How does one conclude this? When one measures a particular eigenvalue and assumes a degenerate $H_j$:
$$ \tilde \lambda_\alpha \to \sum_{\kappa}^M |\lambda_\kappa \rangle$$
Note: all degeneracies obey:
$$H_j |\lambda_\kappa \rangle= \tilde \lambda_\alpha|\lambda_\kappa \rangle $$
Non-uniqueness: given the same eigenvalue $\tilde \lambda_\alpha$ cannot one distinguish between $H_j$ from $H_\delta = H_j - |\tilde \lambda_\alpha \rangle \langle \tilde \lambda_\alpha |$