Closed-form solvability of the inverse Feshbach reconstruction for arbitrary finite dimension increase

Establish that, for every positive integer K, all matrix elements of a partially tridiagonalized full-space Hamiltonian H^(M+K) can be expressed as ratios of polynomial functions of the effective-Hamiltonian input data E_alpha and G_alpha, thereby proving closed-form solvability of the inverse Feshbach reconstruction beyond the explicitly verified cases.

Background

The paper studies the inverse Feshbach problem of reconstructing a finite-dimensional full-space Hamiltonian HM+K from the energy-dependent effective Hamiltonian H_effM(E). Under an enhanced tridiagonality assumption, the unknown diagonal entries a_j and off-diagonal products rho_j are determined implicitly by 2K+1 coupled polynomial equations involving sampled values of the effective-Hamiltonian function G(E).

For K=1, K=2, and K=3, the paper obtains exact rational-function solutions, although the expressions become increasingly complicated. The authors conjecture that the same rational-function solvability persists for every finite K; this remains unresolved in general because only finitely many cases are explicitly constructed.

References

It is conjectured (and, for a number of special cases, it is constructively demonstrated) that the “missing” matrix elements of H can be reconstructed and defined, in terms of the relevant matrix elements of H_eff(E), in closed form.

Inverse Feshbach's problem: Solvability and solutions  (2608.18600 - Znojil, 19 Aug 2026) in Conjecture 1, Section 4; reiterated in Section 5B and the Abstract

The “length” (i.e., the number of the components) of the forward-running recurrent definitions of the reconstructed Hamiltonian matrix H{(M+K)} initially grows with K but it ceases to grow at K= K_{stab}, with K_{stab}=2m+1 for a_m=a_m(\rho_{m-1},a_{m-1},\rho_{m-2}, \ldots), and with K_{stab}=2m+2 for \rho_m=\rho_m(a_m,\rho_{m-1},a_{m-1},\rho_{m-2}, \ldots).

Inverse Feshbach's problem: Solvability and solutions  (2608.18600 - Znojil, 19 Aug 2026) in Conjecture, Section 5C.1, immediately following Table 5