A hidden analytic structure of the Rabi model

The Rabi model describes the simplest interaction between a cavity mode with a frequency ω_c${\omega }_c$ and a two-level system with a resonance frequency ω₀${\omega }_0$. It is shown here that the spectrum of the Rabi model coincides with the support of the discrete Stieltjes integral measure in the orthogonality relations of recently introduced orthogonal polynomials. The exactly solvable limit of the Rabi model corresponding to Δ=ω₀/(2ω_c)=0$\Delta ={\omega }_0/\left(2{\omega }_c\right)=0$, which describes a displaced harmonic oscillator, is characterized by the discrete Charlier polynomials in normalized energy ?$?$, which are orthogonal on an equidistant lattice. A non-zero value of Δ$\Delta$ leads to non-classical discrete orthogonal polynomials ?_k(?)${?}_k\left(?\right)$ and induces a deformation of the underlying equidistant lattice. The results provide a basis for a novel analytic method of solving the Rabi model. The number of ca. 1350 calculable energy levels per parity subspace obtained in double precision (cca 16 digits) by an elementary stepping algorithm is up to two orders of magnitude higher than is possible to obtain by Braak’s solution. Any first n$n$ eigenvalues of the Rabi model arranged in increasing order can be determined as zeros of ?_N(?)${?}_N\left(?\right)$ of at least the degree N=n+n_t$N=n+n_t$. The value of n_t>0$n_t>0$, which is slowly increasing with n$n$, depends on the required precision. For instance, n_t?26$n_t?26$ for n=1000$n=1000$ and dimensionless interaction constant κ=0.2$\kappa =0.2$, if double precision is required. Given that the sequence of the l$l$th zeros x_nl$x_{nl}$’s of ?_n(?)${?}_n\left(?\right)$’s defines a monotonically decreasing discrete flow with increasing n$n$, the Rabi model is indistinguishable from an algebraically solvable model in any finite precision. Although we can rigorously prove our results only for dimensionless interaction constant κ<1$\kappa <1$, numerics and exactly solvable example suggest that the main conclusions remain to be valid also for κ≥1$\kappa \ge 1$.