Variational approach for the two-body problem
in a multiband extended-Hubbard model

M. Iskin Department of Physics, Koç University, Rumelifeneri Yolu, 34450 Sarıyer, Istanbul, Türkiye
(May 2, 2024)
Abstract

Considering a spin-up and a spin-down fermion in a generic tight-binding lattice with a multi-site basis, here we study the two-body problem using a multiband extended-Hubbard model with arbitrary but finite-ranged hop** and interaction parameters. We derive a linear eigenvalue problem for the entire two-body spectrum, alongside a nonlinear eigenvalue problem for the bound states in the form of a self-consistency equation. Our results are based on an exact variational approach and their versatility offers practical applications in a broad range of lattice geometries. As an illustration, we apply them to the linear-chain model and demonstrate that the resultant spin singlet and triplet bound states are in perfect agreement with the existing literature.

I Introduction

Understanding the two-body problem lies at the heart of the BCS theory of superconductivity, offering key insights into the microscopic mechanisms underlying this phenomenon [1, 2]. For instance, it elucidates how a large number of Cooper pairs condense into a single quantum state, leading to the formation of an energy gap in the electronic density of states just below the Fermi energy and determining the critical temperature for pairing [3, 4, 5]. Moreover, recent investigations have highlighted the crucial role of the exactly solvable two-body problem in understanding quantum-geometric effects on some other superconducting properties, including those of multiband Hubbard lattices, flat-band superconductors and spin-orbit coupled Fermi superfluids. This includes the superfluid weight, superfluid density, velocity of the low-energy collective modes, and the kinetic coefficient of the Ginzburg-Landau theory but not limited to them [6, 7, 8, 9, 10]. Hence, the two-body problem still continues to provide a bottom-up approach for untangling the complexities of the many-body problem. There is no doubt that its further extensions to previously unexplored settings may also play fundamental roles [11], especially with the emergence of newly discovered superconductors.

In our previous study on generic tight-binding lattices with a multi-site basis [7], the focus was solely on the onsite interaction between a spin-up and a spin-down fermion. There, we derived a linear eigenvalue problem for the entire two-body spectrum and a nonlinear eigenvalue problem for the spin-singlet bound states in the form of a self-consistency relation. Our expressions were obtained through an exact variational approach in reciprocal space, and their application reproduced the results found in the literature on the Haldane model which uses exact diagonalization in real space [12, 13]. Our self-consistency relation was also derived in a subsequent work using an alternative method [14]. More recently, we investigated the evolution of the two-body Hofstadter-Hubbard butterfly as a function of interaction strength, and developed an efficient formulation for their Chern numbers by utilizing the eigenvectors of the nonlinear eigenvalue problem [15]. Motivated by the success of our previous results on the Hubbard model, here we extend the formalism and develop an exact variational approach for the two-body problem within the context of a multiband extended-Hubbard model with arbitrary but finite-ranged hop** and interaction parameters.

The remaining sections of this paper are structured as follows. In Sec. II, we introduce the extended-Hubbard model in real space and subsequently transform it into reciprocal space. In Sec. III, we employ an exact variational approach to derive a linear eigenvalue problem for the entire two-body spectrum and a nonlinear eigenvalue problem for its bound-state branches. In Sec. IV, we validate our approach by comparing it with the existing literature on the linear-chain model. Finally, In Sec. V, we provide a brief summary of our findings and offer an outlook for future research.

II Lattice Hamiltonian

For spin-1/2121/21 / 2 fermions with σ={,}𝜎\sigma=\{\uparrow,\downarrow\}italic_σ = { ↑ , ↓ } denoting the spin projections, the Hubbard Hamiltonian is typically written as =σσ+,subscript𝜎subscript𝜎subscriptabsent\mathcal{H}=\sum_{\sigma}\mathcal{H}_{\sigma}+\mathcal{H}_{\uparrow\downarrow},caligraphic_H = ∑ start_POSTSUBSCRIPT italic_σ end_POSTSUBSCRIPT caligraphic_H start_POSTSUBSCRIPT italic_σ end_POSTSUBSCRIPT + caligraphic_H start_POSTSUBSCRIPT ↑ ↓ end_POSTSUBSCRIPT , where σsubscript𝜎\mathcal{H}_{\sigma}caligraphic_H start_POSTSUBSCRIPT italic_σ end_POSTSUBSCRIPT terms describe the corresponding single-particle problem for each spin projection and subscriptabsent\mathcal{H}_{\uparrow\downarrow}caligraphic_H start_POSTSUBSCRIPT ↑ ↓ end_POSTSUBSCRIPT term describes the two-body interactions between spin-up and spin-down particles [16, 17]. Within the tight-binding approximation, and considering a generic sublattice structure in the lattice, these terms can be written in general as

σsubscript𝜎\displaystyle\mathcal{H}_{\sigma}caligraphic_H start_POSTSUBSCRIPT italic_σ end_POSTSUBSCRIPT =Si;SitSi;SiσcSiσcSiσ,absentsubscript𝑆𝑖superscript𝑆superscript𝑖superscriptsubscript𝑡𝑆𝑖superscript𝑆superscript𝑖𝜎superscriptsubscript𝑐𝑆𝑖𝜎subscript𝑐superscript𝑆superscript𝑖𝜎\displaystyle=-\sum_{Si;S^{\prime}i^{\prime}}t_{Si;S^{\prime}i^{\prime}}^{% \sigma}c_{Si\sigma}^{\dagger}c_{S^{\prime}i^{\prime}\sigma},= - ∑ start_POSTSUBSCRIPT italic_S italic_i ; italic_S start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT italic_i start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT italic_t start_POSTSUBSCRIPT italic_S italic_i ; italic_S start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT italic_i start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_σ end_POSTSUPERSCRIPT italic_c start_POSTSUBSCRIPT italic_S italic_i italic_σ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT italic_c start_POSTSUBSCRIPT italic_S start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT italic_i start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT italic_σ end_POSTSUBSCRIPT , (1)
subscriptabsent\displaystyle\mathcal{H}_{\uparrow\downarrow}caligraphic_H start_POSTSUBSCRIPT ↑ ↓ end_POSTSUBSCRIPT =Si;SiUSi;SicSicSicSicSi,absentsubscript𝑆𝑖superscript𝑆superscript𝑖subscript𝑈𝑆𝑖superscript𝑆superscript𝑖superscriptsubscript𝑐𝑆𝑖absentsuperscriptsubscript𝑐superscript𝑆superscript𝑖absentsubscript𝑐superscript𝑆superscript𝑖absentsubscript𝑐𝑆𝑖absent\displaystyle=\sum_{Si;S^{\prime}i^{\prime}}U_{Si;S^{\prime}i^{\prime}}c_{Si% \uparrow}^{\dagger}c_{S^{\prime}i^{\prime}\downarrow}^{\dagger}c_{S^{\prime}i^% {\prime}\downarrow}c_{Si\uparrow},= ∑ start_POSTSUBSCRIPT italic_S italic_i ; italic_S start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT italic_i start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT italic_U start_POSTSUBSCRIPT italic_S italic_i ; italic_S start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT italic_i start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT italic_c start_POSTSUBSCRIPT italic_S italic_i ↑ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT italic_c start_POSTSUBSCRIPT italic_S start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT italic_i start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ↓ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT italic_c start_POSTSUBSCRIPT italic_S start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT italic_i start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ↓ end_POSTSUBSCRIPT italic_c start_POSTSUBSCRIPT italic_S italic_i ↑ end_POSTSUBSCRIPT , (2)

where the hop** parameters tSi;Siσsuperscriptsubscript𝑡𝑆𝑖superscript𝑆superscript𝑖𝜎t_{Si;S^{\prime}i^{\prime}}^{\sigma}italic_t start_POSTSUBSCRIPT italic_S italic_i ; italic_S start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT italic_i start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_σ end_POSTSUPERSCRIPT describe tunneling of a spin-σ𝜎\sigmaitalic_σ particle from the sublattice site Ssuperscript𝑆S^{\prime}italic_S start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT in the unit cell isuperscript𝑖i^{\prime}italic_i start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT to the sublattice site S𝑆Sitalic_S in the unit cell i𝑖iitalic_i, and the interaction parameters USi;Sisubscript𝑈𝑆𝑖superscript𝑆superscript𝑖U_{Si;S^{\prime}i^{\prime}}italic_U start_POSTSUBSCRIPT italic_S italic_i ; italic_S start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT italic_i start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT describe the density-density interactions between a spin-\uparrow particle on site Si𝑆𝑖S\in iitalic_S ∈ italic_i and a spin-\downarrow particle on site Sisuperscript𝑆superscript𝑖S^{\prime}\in i^{\prime}italic_S start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ∈ italic_i start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT. The range of interactions is assumed to be finite here, i.e., we are interested in studying the effects of not only the onsite but also the nearest-neighbor, next-nearest-neighbor, etc., interactions on the formation of two-body bound states in a generic lattice. Any of these parameters can be attractive or repulsive.

Next we reexpress \mathcal{H}caligraphic_H in the reciprocal space through the canonical transformation [7] cSiσ=1Nc𝐤ei𝐤𝐫SicS𝐤σ,superscriptsubscript𝑐𝑆𝑖𝜎1subscript𝑁𝑐subscript𝐤superscript𝑒𝑖𝐤subscript𝐫𝑆𝑖superscriptsubscript𝑐𝑆𝐤𝜎c_{Si\sigma}^{\dagger}=\frac{1}{\sqrt{N_{c}}}\sum_{\mathbf{k}}e^{-i\mathbf{k}% \cdot\mathbf{r}_{Si}}c_{S\mathbf{k}\sigma}^{\dagger},italic_c start_POSTSUBSCRIPT italic_S italic_i italic_σ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT = divide start_ARG 1 end_ARG start_ARG square-root start_ARG italic_N start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT end_ARG end_ARG ∑ start_POSTSUBSCRIPT bold_k end_POSTSUBSCRIPT italic_e start_POSTSUPERSCRIPT - italic_i bold_k ⋅ bold_r start_POSTSUBSCRIPT italic_S italic_i end_POSTSUBSCRIPT end_POSTSUPERSCRIPT italic_c start_POSTSUBSCRIPT italic_S bold_k italic_σ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT , where Ncsubscript𝑁𝑐N_{c}italic_N start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT is the number of unit cells in the system, 𝐤𝐤\mathbf{k}bold_k is the crystal momentum (in units of 1Planck-constant-over-2-pi1\hbar\to 1roman_ℏ → 1 the Planck constant) in the first Brillouin zone, and 𝐫Sisubscript𝐫𝑆𝑖\mathbf{r}_{Si}bold_r start_POSTSUBSCRIPT italic_S italic_i end_POSTSUBSCRIPT is the position of site Si𝑆𝑖S\in iitalic_S ∈ italic_i. This leads to a generic Bloch Hamiltonian of the form σ=SS𝐤hSS𝐤σcS𝐤σcS𝐤σ,subscript𝜎subscript𝑆superscript𝑆𝐤superscriptsubscript𝑆superscript𝑆𝐤𝜎superscriptsubscript𝑐𝑆𝐤𝜎subscript𝑐superscript𝑆𝐤𝜎\mathcal{H}_{\sigma}=\sum_{SS^{\prime}\mathbf{k}}h_{SS^{\prime}\mathbf{k}}^{% \sigma}c_{S\mathbf{k}\sigma}^{\dagger}c_{S^{\prime}\mathbf{k}\sigma},caligraphic_H start_POSTSUBSCRIPT italic_σ end_POSTSUBSCRIPT = ∑ start_POSTSUBSCRIPT italic_S italic_S start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT bold_k end_POSTSUBSCRIPT italic_h start_POSTSUBSCRIPT italic_S italic_S start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT bold_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_σ end_POSTSUPERSCRIPT italic_c start_POSTSUBSCRIPT italic_S bold_k italic_σ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT italic_c start_POSTSUBSCRIPT italic_S start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT bold_k italic_σ end_POSTSUBSCRIPT , where the matrix elements hSS𝐤subscript𝑆superscript𝑆𝐤h_{SS^{\prime}\mathbf{k}}italic_h start_POSTSUBSCRIPT italic_S italic_S start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT bold_k end_POSTSUBSCRIPT are defined in the sublattice basis through the Fourier transform hSS𝐤σ=1NciitSi;Siσei𝐤𝐫Si;Sisuperscriptsubscript𝑆superscript𝑆𝐤𝜎1subscript𝑁𝑐subscript𝑖superscript𝑖superscriptsubscript𝑡𝑆𝑖superscript𝑆superscript𝑖𝜎superscript𝑒i𝐤subscript𝐫𝑆𝑖superscript𝑆superscript𝑖h_{SS^{\prime}\mathbf{k}}^{\sigma}=\frac{1}{N_{c}}\sum_{ii^{\prime}}t_{Si;S^{% \prime}i^{\prime}}^{\sigma}e^{\mathrm{i}\mathbf{k}\cdot\mathbf{r}_{Si;S^{% \prime}i^{\prime}}}italic_h start_POSTSUBSCRIPT italic_S italic_S start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT bold_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_σ end_POSTSUPERSCRIPT = divide start_ARG 1 end_ARG start_ARG italic_N start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT end_ARG ∑ start_POSTSUBSCRIPT italic_i italic_i start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT italic_t start_POSTSUBSCRIPT italic_S italic_i ; italic_S start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT italic_i start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_σ end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT roman_i bold_k ⋅ bold_r start_POSTSUBSCRIPT italic_S italic_i ; italic_S start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT italic_i start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT end_POSTSUPERSCRIPT with 𝐫Si;Si=𝐫Si𝐫Sisubscript𝐫𝑆𝑖superscript𝑆superscript𝑖subscript𝐫superscript𝑆superscript𝑖subscript𝐫𝑆𝑖\mathbf{r}_{Si;S^{\prime}i^{\prime}}=\mathbf{r}_{S^{\prime}i^{\prime}}-\mathbf% {r}_{Si}bold_r start_POSTSUBSCRIPT italic_S italic_i ; italic_S start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT italic_i start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT = bold_r start_POSTSUBSCRIPT italic_S start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT italic_i start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT - bold_r start_POSTSUBSCRIPT italic_S italic_i end_POSTSUBSCRIPT denoting the relative position. The resultant eigenvalue problem

ShSS𝐤σnS𝐤σ=εn𝐤σnS𝐤σsubscriptsuperscript𝑆superscriptsubscript𝑆superscript𝑆𝐤𝜎subscript𝑛superscript𝑆𝐤𝜎subscript𝜀𝑛𝐤𝜎subscript𝑛𝑆𝐤𝜎\displaystyle\sum_{S^{\prime}}h_{SS^{\prime}\mathbf{k}}^{\sigma}n_{S^{\prime}% \mathbf{k}\sigma}=\varepsilon_{n\mathbf{k}\sigma}n_{S\mathbf{k}\sigma}∑ start_POSTSUBSCRIPT italic_S start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT italic_h start_POSTSUBSCRIPT italic_S italic_S start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT bold_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_σ end_POSTSUPERSCRIPT italic_n start_POSTSUBSCRIPT italic_S start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT bold_k italic_σ end_POSTSUBSCRIPT = italic_ε start_POSTSUBSCRIPT italic_n bold_k italic_σ end_POSTSUBSCRIPT italic_n start_POSTSUBSCRIPT italic_S bold_k italic_σ end_POSTSUBSCRIPT (3)

determines the Bloch bands εn𝐤σsubscript𝜀𝑛𝐤𝜎\varepsilon_{n\mathbf{k}\sigma}italic_ε start_POSTSUBSCRIPT italic_n bold_k italic_σ end_POSTSUBSCRIPT, where nS𝐤σsubscript𝑛𝑆𝐤𝜎n_{S\mathbf{k}\sigma}italic_n start_POSTSUBSCRIPT italic_S bold_k italic_σ end_POSTSUBSCRIPT is the projection of the periodic part of the corresponding Bloch state onto sublattice S𝑆Sitalic_S. Similarly, the interaction term takes the generic form =1NcSS𝐤𝐤𝐪USS𝐤𝐤cS,𝐤+𝐪2cS,𝐤+𝐪2,cS,𝐤+𝐪2,cS,𝐤+𝐪2,,subscriptabsent1subscript𝑁𝑐subscript𝑆superscript𝑆superscript𝐤𝐤𝐪superscriptsubscript𝑈𝑆superscript𝑆𝐤superscript𝐤superscriptsubscript𝑐𝑆𝐤𝐪2absentsuperscriptsubscript𝑐superscript𝑆𝐤𝐪2subscript𝑐superscript𝑆superscript𝐤𝐪2subscript𝑐𝑆superscript𝐤𝐪2\mathcal{H}_{\uparrow\downarrow}=\frac{1}{N_{c}}\sum_{SS^{\prime}\mathbf{k}% \mathbf{k^{\prime}}\mathbf{q}}U_{SS^{\prime}}^{\mathbf{k}-\mathbf{k^{\prime}}}% c_{S,\mathbf{k}+\frac{\mathbf{q}}{2}\uparrow}^{\dagger}c_{S^{\prime},-\mathbf{% k}+\frac{\mathbf{q}}{2},\downarrow}^{\dagger}c_{S^{\prime},-\mathbf{k^{\prime}% }+\frac{\mathbf{q}}{2},\downarrow}c_{S,\mathbf{k^{\prime}}+\frac{\mathbf{q}}{2% },\uparrow},caligraphic_H start_POSTSUBSCRIPT ↑ ↓ end_POSTSUBSCRIPT = divide start_ARG 1 end_ARG start_ARG italic_N start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT end_ARG ∑ start_POSTSUBSCRIPT italic_S italic_S start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT bold_kk start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT bold_q end_POSTSUBSCRIPT italic_U start_POSTSUBSCRIPT italic_S italic_S start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT bold_k - bold_k start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT italic_c start_POSTSUBSCRIPT italic_S , bold_k + divide start_ARG bold_q end_ARG start_ARG 2 end_ARG ↑ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT italic_c start_POSTSUBSCRIPT italic_S start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT , - bold_k + divide start_ARG bold_q end_ARG start_ARG 2 end_ARG , ↓ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT italic_c start_POSTSUBSCRIPT italic_S start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT , - bold_k start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT + divide start_ARG bold_q end_ARG start_ARG 2 end_ARG , ↓ end_POSTSUBSCRIPT italic_c start_POSTSUBSCRIPT italic_S , bold_k start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT + divide start_ARG bold_q end_ARG start_ARG 2 end_ARG , ↑ end_POSTSUBSCRIPT , where the amplitudes USS𝐤𝐤superscriptsubscript𝑈𝑆superscript𝑆𝐤superscript𝐤U_{SS^{\prime}}^{\mathbf{k}-\mathbf{k^{\prime}}}italic_U start_POSTSUBSCRIPT italic_S italic_S start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT bold_k - bold_k start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT of the interactions depend on the exchanged momentum 𝐤𝐤𝐤superscript𝐤\mathbf{k}-\mathbf{k^{\prime}}bold_k - bold_k start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT through the Fourier transform USS𝐤𝐤=1NciiUSi;Siei(𝐤𝐤)𝐫Si;Si.superscriptsubscript𝑈𝑆superscript𝑆𝐤superscript𝐤1subscript𝑁𝑐subscript𝑖superscript𝑖subscript𝑈𝑆𝑖superscript𝑆superscript𝑖superscript𝑒i𝐤superscript𝐤subscript𝐫𝑆𝑖superscript𝑆superscript𝑖U_{SS^{\prime}}^{\mathbf{k}-\mathbf{k^{\prime}}}=\frac{1}{N_{c}}\sum_{ii^{% \prime}}U_{Si;S^{\prime}i^{\prime}}e^{\mathrm{i}(\mathbf{k}-\mathbf{k^{\prime}% })\cdot\mathbf{r}_{Si;S^{\prime}i^{\prime}}}.italic_U start_POSTSUBSCRIPT italic_S italic_S start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT bold_k - bold_k start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT = divide start_ARG 1 end_ARG start_ARG italic_N start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT end_ARG ∑ start_POSTSUBSCRIPT italic_i italic_i start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT italic_U start_POSTSUBSCRIPT italic_S italic_i ; italic_S start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT italic_i start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT italic_e start_POSTSUPERSCRIPT roman_i ( bold_k - bold_k start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ) ⋅ bold_r start_POSTSUBSCRIPT italic_S italic_i ; italic_S start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT italic_i start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT end_POSTSUPERSCRIPT . Here we note that USS𝐤𝐤=USS𝐤𝐤=(USS𝐤𝐤)superscriptsubscript𝑈𝑆superscript𝑆𝐤superscript𝐤superscriptsubscript𝑈superscript𝑆𝑆superscript𝐤𝐤superscriptsuperscriptsubscript𝑈𝑆superscript𝑆superscript𝐤𝐤U_{SS^{\prime}}^{\mathbf{k}-\mathbf{k^{\prime}}}=U_{S^{\prime}S}^{\mathbf{k^{% \prime}}-\mathbf{k}}=(U_{SS^{\prime}}^{\mathbf{k^{\prime}}-\mathbf{k}})^{*}italic_U start_POSTSUBSCRIPT italic_S italic_S start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT bold_k - bold_k start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT = italic_U start_POSTSUBSCRIPT italic_S start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT italic_S end_POSTSUBSCRIPT start_POSTSUPERSCRIPT bold_k start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT - bold_k end_POSTSUPERSCRIPT = ( italic_U start_POSTSUBSCRIPT italic_S italic_S start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT bold_k start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT - bold_k end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT must be satisfied by definition. Furthermore, upon transformation to the band basis through cS𝐤σ=nnS𝐤σcn𝐤σ,superscriptsubscript𝑐𝑆𝐤𝜎subscript𝑛superscriptsubscript𝑛𝑆𝐤𝜎superscriptsubscript𝑐𝑛𝐤𝜎c_{S\mathbf{k}\sigma}^{\dagger}=\sum_{n}n_{S\mathbf{k}\sigma}^{*}c_{n\mathbf{k% }\sigma}^{\dagger},italic_c start_POSTSUBSCRIPT italic_S bold_k italic_σ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT = ∑ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT italic_n start_POSTSUBSCRIPT italic_S bold_k italic_σ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT italic_c start_POSTSUBSCRIPT italic_n bold_k italic_σ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT , the 𝐤𝐤\mathbf{k}bold_k-space Hamiltonians can be written as [7]

σsubscript𝜎\displaystyle\mathcal{H}_{\sigma}caligraphic_H start_POSTSUBSCRIPT italic_σ end_POSTSUBSCRIPT =n𝐤εn𝐤σcn𝐤σcn𝐤σ,absentsubscript𝑛𝐤subscript𝜀𝑛𝐤𝜎superscriptsubscript𝑐𝑛𝐤𝜎subscript𝑐𝑛𝐤𝜎\displaystyle=\sum_{n\mathbf{k}}\varepsilon_{n\mathbf{k}\sigma}c_{n\mathbf{k}% \sigma}^{\dagger}c_{n\mathbf{k}\sigma},= ∑ start_POSTSUBSCRIPT italic_n bold_k end_POSTSUBSCRIPT italic_ε start_POSTSUBSCRIPT italic_n bold_k italic_σ end_POSTSUBSCRIPT italic_c start_POSTSUBSCRIPT italic_n bold_k italic_σ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT italic_c start_POSTSUBSCRIPT italic_n bold_k italic_σ end_POSTSUBSCRIPT , (4)
subscriptabsent\displaystyle\mathcal{H}_{\uparrow\downarrow}caligraphic_H start_POSTSUBSCRIPT ↑ ↓ end_POSTSUBSCRIPT =1Ncnmnm𝐤𝐤𝐪Vnm𝐤nm𝐤(𝐪)bnm(𝐤,𝐪)bnm(𝐤,𝐪),absent1subscript𝑁𝑐subscript𝑛𝑚superscript𝑛superscript𝑚superscript𝐤𝐤𝐪superscriptsubscript𝑉superscript𝑛superscript𝑚superscript𝐤𝑛𝑚𝐤𝐪superscriptsubscript𝑏𝑛𝑚𝐤𝐪subscript𝑏superscript𝑛superscript𝑚superscript𝐤𝐪\displaystyle=\frac{1}{N_{c}}\sum_{\begin{subarray}{c}nmn^{\prime}m^{\prime}\\ \mathbf{k}\mathbf{k^{\prime}}\mathbf{q}\end{subarray}}V_{n^{\prime}m^{\prime}% \mathbf{k^{\prime}}}^{nm\mathbf{k}}(\mathbf{q})b_{nm}^{\dagger}(\mathbf{k},% \mathbf{q})b_{n^{\prime}m^{\prime}}(\mathbf{k^{\prime}},\mathbf{q}),= divide start_ARG 1 end_ARG start_ARG italic_N start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT end_ARG ∑ start_POSTSUBSCRIPT start_ARG start_ROW start_CELL italic_n italic_m italic_n start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT italic_m start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_CELL end_ROW start_ROW start_CELL bold_kk start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT bold_q end_CELL end_ROW end_ARG end_POSTSUBSCRIPT italic_V start_POSTSUBSCRIPT italic_n start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT italic_m start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT bold_k start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_n italic_m bold_k end_POSTSUPERSCRIPT ( bold_q ) italic_b start_POSTSUBSCRIPT italic_n italic_m end_POSTSUBSCRIPT start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT ( bold_k , bold_q ) italic_b start_POSTSUBSCRIPT italic_n start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT italic_m start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT ( bold_k start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT , bold_q ) , (5)

where the amplitudes Vnm𝐤nm𝐤(𝐪)superscriptsubscript𝑉superscript𝑛superscript𝑚superscript𝐤𝑛𝑚𝐤𝐪V_{n^{\prime}m^{\prime}\mathbf{k^{\prime}}}^{nm\mathbf{k}}(\mathbf{q})italic_V start_POSTSUBSCRIPT italic_n start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT italic_m start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT bold_k start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_n italic_m bold_k end_POSTSUPERSCRIPT ( bold_q ) of the interactions are given in general by Vnm𝐤nm𝐤(𝐪)=SSUSS𝐤𝐤nS,𝐤+𝐪2,mS,𝐤+𝐪2,mS,𝐤+𝐪2,nS,𝐤+𝐪2,,superscriptsubscript𝑉superscript𝑛superscript𝑚superscript𝐤𝑛𝑚𝐤𝐪subscript𝑆superscript𝑆superscriptsubscript𝑈𝑆superscript𝑆𝐤superscript𝐤superscriptsubscript𝑛𝑆𝐤𝐪2superscriptsubscript𝑚superscript𝑆𝐤𝐪2subscriptsuperscript𝑚superscript𝑆superscript𝐤𝐪2subscriptsuperscript𝑛𝑆superscript𝐤𝐪2V_{n^{\prime}m^{\prime}\mathbf{k^{\prime}}}^{nm\mathbf{k}}(\mathbf{q})=\sum_{% SS^{\prime}}U_{SS^{\prime}}^{\mathbf{k}-\mathbf{k^{\prime}}}n_{S,\mathbf{k}+% \frac{\mathbf{q}}{2},\uparrow}^{*}m_{S^{\prime},-\mathbf{k}+\frac{\mathbf{q}}{% 2},\downarrow}^{*}{m^{\prime}}_{S^{\prime},-\mathbf{k^{\prime}}+\frac{\mathbf{% q}}{2},\downarrow}{n^{\prime}}_{S,\mathbf{k^{\prime}}+\frac{\mathbf{q}}{2},% \uparrow},italic_V start_POSTSUBSCRIPT italic_n start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT italic_m start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT bold_k start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_n italic_m bold_k end_POSTSUPERSCRIPT ( bold_q ) = ∑ start_POSTSUBSCRIPT italic_S italic_S start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT italic_U start_POSTSUBSCRIPT italic_S italic_S start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT bold_k - bold_k start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT italic_n start_POSTSUBSCRIPT italic_S , bold_k + divide start_ARG bold_q end_ARG start_ARG 2 end_ARG , ↑ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT italic_m start_POSTSUBSCRIPT italic_S start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT , - bold_k + divide start_ARG bold_q end_ARG start_ARG 2 end_ARG , ↓ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT italic_m start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_S start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT , - bold_k start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT + divide start_ARG bold_q end_ARG start_ARG 2 end_ARG , ↓ end_POSTSUBSCRIPT italic_n start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_S , bold_k start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT + divide start_ARG bold_q end_ARG start_ARG 2 end_ARG , ↑ end_POSTSUBSCRIPT , and the operator bnm(𝐤,𝐪)=cn,𝐤+𝐪2,cm,𝐤+𝐪2,superscriptsubscript𝑏𝑛𝑚𝐤𝐪superscriptsubscript𝑐𝑛𝐤𝐪2superscriptsubscript𝑐𝑚𝐤𝐪2b_{nm}^{\dagger}(\mathbf{k},\mathbf{q})=c_{n,\mathbf{k}+\frac{\mathbf{q}}{2},% \uparrow}^{\dagger}c_{m,-\mathbf{k}+\frac{\mathbf{q}}{2},\downarrow}^{\dagger}italic_b start_POSTSUBSCRIPT italic_n italic_m end_POSTSUBSCRIPT start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT ( bold_k , bold_q ) = italic_c start_POSTSUBSCRIPT italic_n , bold_k + divide start_ARG bold_q end_ARG start_ARG 2 end_ARG , ↑ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT italic_c start_POSTSUBSCRIPT italic_m , - bold_k + divide start_ARG bold_q end_ARG start_ARG 2 end_ARG , ↓ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT creates a pair of \uparrow and \downarrow particles in the corresponding Bloch bands with a relative momentum 𝐤𝐤\mathbf{k}bold_k and a total momentum 𝐪𝐪\mathbf{q}bold_q.

III Two-body problem

Having in mind a multiband lattice Hamiltonian that is invariant under discrete translations, the exact solutions for the two-body problem, i.e., for any given center-of-mass momentum 𝐪𝐪\mathbf{q}bold_q, can in general be obtained through the variational ansatz |Ψ(𝐪)=nm𝐤σσαnm𝐤σσ(𝐪)cn,𝐤+𝐪2,σcm,𝐤+𝐪2,σ|0,ketΨ𝐪subscript𝑛𝑚𝐤𝜎superscript𝜎superscriptsubscript𝛼𝑛𝑚𝐤𝜎superscript𝜎𝐪superscriptsubscript𝑐𝑛𝐤𝐪2𝜎superscriptsubscript𝑐𝑚𝐤𝐪2superscript𝜎ket0|\Psi(\mathbf{q})\rangle=\sum_{nm\mathbf{k}\sigma\sigma^{\prime}}\alpha_{nm% \mathbf{k}}^{\sigma\sigma^{\prime}}(\mathbf{q})c_{n,\mathbf{k}+\frac{\mathbf{q% }}{2},\sigma}^{\dagger}c_{m,-\mathbf{k}+\frac{\mathbf{q}}{2},\sigma^{\prime}}^% {\dagger}|0\rangle,| roman_Ψ ( bold_q ) ⟩ = ∑ start_POSTSUBSCRIPT italic_n italic_m bold_k italic_σ italic_σ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT italic_α start_POSTSUBSCRIPT italic_n italic_m bold_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_σ italic_σ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT ( bold_q ) italic_c start_POSTSUBSCRIPT italic_n , bold_k + divide start_ARG bold_q end_ARG start_ARG 2 end_ARG , italic_σ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT italic_c start_POSTSUBSCRIPT italic_m , - bold_k + divide start_ARG bold_q end_ARG start_ARG 2 end_ARG , italic_σ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT | 0 ⟩ , where |0ket0|0\rangle| 0 ⟩ represents the particle vacuum. Here the variational parameters must satisfy αnm𝐤σσ(𝐪)=αmn,𝐤σσ(𝐪)superscriptsubscript𝛼𝑛𝑚𝐤𝜎superscript𝜎𝐪superscriptsubscript𝛼𝑚𝑛𝐤superscript𝜎𝜎𝐪\alpha_{nm\mathbf{k}}^{\sigma\sigma^{\prime}}(\mathbf{q})=-\alpha_{mn,-\mathbf% {k}}^{\sigma^{\prime}\sigma}(\mathbf{q})italic_α start_POSTSUBSCRIPT italic_n italic_m bold_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_σ italic_σ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT ( bold_q ) = - italic_α start_POSTSUBSCRIPT italic_m italic_n , - bold_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_σ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT italic_σ end_POSTSUPERSCRIPT ( bold_q ) so that |Ψ(𝐪)ketΨ𝐪|\Psi(\mathbf{q})\rangle| roman_Ψ ( bold_q ) ⟩ is anti-symmetric under fermion exchange. Furthermore, given the absence of a spin-orbit coupling term in the single-particle Hamiltonian, they must satisfy αnm𝐤σσ(𝐪)=±αmn,𝐤σσ(𝐪)=αnm𝐤σσ(𝐪)superscriptsubscript𝛼𝑛𝑚𝐤𝜎superscript𝜎𝐪plus-or-minussuperscriptsubscript𝛼𝑚𝑛𝐤𝜎superscript𝜎𝐪minus-or-plussuperscriptsubscript𝛼𝑛𝑚𝐤superscript𝜎𝜎𝐪\alpha_{nm\mathbf{k}}^{\sigma\sigma^{\prime}}(\mathbf{q})=\pm\alpha_{mn,-% \mathbf{k}}^{\sigma\sigma^{\prime}}(\mathbf{q})=\mp\alpha_{nm\mathbf{k}}^{% \sigma^{\prime}\sigma}(\mathbf{q})italic_α start_POSTSUBSCRIPT italic_n italic_m bold_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_σ italic_σ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT ( bold_q ) = ± italic_α start_POSTSUBSCRIPT italic_m italic_n , - bold_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_σ italic_σ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT ( bold_q ) = ∓ italic_α start_POSTSUBSCRIPT italic_n italic_m bold_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_σ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT italic_σ end_POSTSUPERSCRIPT ( bold_q ) for the spin-singlet and spin-triplet states, respectively. These conditions guarantee that the singlet states are symmetric (anti-symmetric) but the triplet states are anti-symmetric (symmetric) under spatial (spin) exchange. For the simplicity of presentation, here we choose [7]

|ψ𝐪=nm𝐤αnm𝐤𝐪cn,𝐤+𝐪2,cm,𝐤+𝐪2,|0,ketsubscript𝜓𝐪subscript𝑛𝑚𝐤superscriptsubscript𝛼𝑛𝑚𝐤𝐪superscriptsubscript𝑐𝑛𝐤𝐪2superscriptsubscript𝑐𝑚𝐤𝐪2ket0\displaystyle|\psi_{\mathbf{q}}\rangle=\sum_{nm\mathbf{k}}\alpha_{nm\mathbf{k}% }^{\mathbf{q}}c_{n,\mathbf{k}+\frac{\mathbf{q}}{2},\uparrow}^{\dagger}c_{m,-% \mathbf{k}+\frac{\mathbf{q}}{2},\downarrow}^{\dagger}|0\rangle,| italic_ψ start_POSTSUBSCRIPT bold_q end_POSTSUBSCRIPT ⟩ = ∑ start_POSTSUBSCRIPT italic_n italic_m bold_k end_POSTSUBSCRIPT italic_α start_POSTSUBSCRIPT italic_n italic_m bold_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT bold_q end_POSTSUPERSCRIPT italic_c start_POSTSUBSCRIPT italic_n , bold_k + divide start_ARG bold_q end_ARG start_ARG 2 end_ARG , ↑ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT italic_c start_POSTSUBSCRIPT italic_m , - bold_k + divide start_ARG bold_q end_ARG start_ARG 2 end_ARG , ↓ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT | 0 ⟩ , (6)

where αnm𝐤𝐪αnm𝐤(𝐪)superscriptsubscript𝛼𝑛𝑚𝐤𝐪superscriptsubscript𝛼𝑛𝑚𝐤absent𝐪\alpha_{nm\mathbf{k}}^{\mathbf{q}}\equiv\alpha_{nm\mathbf{k}}^{\uparrow% \downarrow}(\mathbf{q})italic_α start_POSTSUBSCRIPT italic_n italic_m bold_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT bold_q end_POSTSUPERSCRIPT ≡ italic_α start_POSTSUBSCRIPT italic_n italic_m bold_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ↑ ↓ end_POSTSUPERSCRIPT ( bold_q ) parameters satisfy αnm𝐤𝐪=±αmn,𝐤𝐪superscriptsubscript𝛼𝑛𝑚𝐤𝐪plus-or-minussuperscriptsubscript𝛼𝑚𝑛𝐤𝐪\alpha_{nm\mathbf{k}}^{\mathbf{q}}=\pm\alpha_{mn,-\mathbf{k}}^{\mathbf{q}}italic_α start_POSTSUBSCRIPT italic_n italic_m bold_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT bold_q end_POSTSUPERSCRIPT = ± italic_α start_POSTSUBSCRIPT italic_m italic_n , - bold_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT bold_q end_POSTSUPERSCRIPT for the singlet and triplet states, respectively. They are in such a way that |ψ𝐪|ψ𝐪ketsubscript𝜓𝐪minus-or-plusketsubscript𝜓𝐪|\psi_{\mathbf{q}}\rangle\to\mp|\psi_{\mathbf{q}}\rangle| italic_ψ start_POSTSUBSCRIPT bold_q end_POSTSUBSCRIPT ⟩ → ∓ | italic_ψ start_POSTSUBSCRIPT bold_q end_POSTSUBSCRIPT ⟩ upon the transformation \uparrow\leftrightarrow\downarrow↑ ↔ ↓, corresponding, respectively, to an anti-symmetric and symmetric combination, i.e., ||2,\frac{|\uparrow\downarrow\rangle\mp|\downarrow\uparrow\rangle}{\sqrt{2}},divide start_ARG | ↑ ↓ ⟩ ∓ | ↓ ↑ ⟩ end_ARG start_ARG square-root start_ARG 2 end_ARG end_ARG , for the singlet and triplet states under spin exchange.

For any given 𝐪𝐪\mathbf{q}bold_q, the exact two-body energies E𝐪subscript𝐸𝐪E_{\mathbf{q}}italic_E start_POSTSUBSCRIPT bold_q end_POSTSUBSCRIPT are determined by minimizing the expectation value ψ𝐪|E𝐪|ψ𝐪quantum-operator-productsubscript𝜓𝐪subscript𝐸𝐪subscript𝜓𝐪\langle\psi_{\mathbf{q}}|\mathcal{H}-E_{\mathbf{q}}|\psi_{\mathbf{q}}\rangle⟨ italic_ψ start_POSTSUBSCRIPT bold_q end_POSTSUBSCRIPT | caligraphic_H - italic_E start_POSTSUBSCRIPT bold_q end_POSTSUBSCRIPT | italic_ψ start_POSTSUBSCRIPT bold_q end_POSTSUBSCRIPT ⟩ with respect to αnm𝐤𝐪superscriptsubscript𝛼𝑛𝑚𝐤𝐪\alpha_{nm\mathbf{k}}^{\mathbf{q}}italic_α start_POSTSUBSCRIPT italic_n italic_m bold_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT bold_q end_POSTSUPERSCRIPT [7]. This leads to a set of linear equations

(εn,𝐤+𝐪2,\displaystyle\big{(}\varepsilon_{n,\mathbf{k}+\frac{\mathbf{q}}{2},\uparrow}( italic_ε start_POSTSUBSCRIPT italic_n , bold_k + divide start_ARG bold_q end_ARG start_ARG 2 end_ARG , ↑ end_POSTSUBSCRIPT +εm,𝐤+𝐪2,E𝐪)αnm𝐤𝐪\displaystyle+\varepsilon_{m,-\mathbf{k}+\frac{\mathbf{q}}{2},\downarrow}-E_{% \mathbf{q}}\big{)}\alpha_{nm\mathbf{k}}^{\mathbf{q}}+ italic_ε start_POSTSUBSCRIPT italic_m , - bold_k + divide start_ARG bold_q end_ARG start_ARG 2 end_ARG , ↓ end_POSTSUBSCRIPT - italic_E start_POSTSUBSCRIPT bold_q end_POSTSUBSCRIPT ) italic_α start_POSTSUBSCRIPT italic_n italic_m bold_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT bold_q end_POSTSUPERSCRIPT
+1Ncnm𝐤Vnm𝐤nm𝐤(𝐪)αnm𝐤𝐪=0,1subscript𝑁𝑐subscriptsuperscript𝑛superscript𝑚superscript𝐤superscriptsubscript𝑉superscript𝑛superscript𝑚superscript𝐤𝑛𝑚𝐤𝐪superscriptsubscript𝛼superscript𝑛superscript𝑚superscript𝐤𝐪0\displaystyle+\frac{1}{N_{c}}\sum_{n^{\prime}m^{\prime}\mathbf{k^{\prime}}}V_{% n^{\prime}m^{\prime}\mathbf{k^{\prime}}}^{nm\mathbf{k}}(\mathbf{q})\alpha_{n^{% \prime}m^{\prime}\mathbf{k^{\prime}}}^{\mathbf{q}}=0,+ divide start_ARG 1 end_ARG start_ARG italic_N start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT end_ARG ∑ start_POSTSUBSCRIPT italic_n start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT italic_m start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT bold_k start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT italic_V start_POSTSUBSCRIPT italic_n start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT italic_m start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT bold_k start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_n italic_m bold_k end_POSTSUPERSCRIPT ( bold_q ) italic_α start_POSTSUBSCRIPT italic_n start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT italic_m start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT bold_k start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT bold_q end_POSTSUPERSCRIPT = 0 , (7)

from which E𝐪subscript𝐸𝐪E_{\mathbf{q}}italic_E start_POSTSUBSCRIPT bold_q end_POSTSUBSCRIPT can be determined as the eigenvalues of an Nb2Nc×Nb2Ncsuperscriptsubscript𝑁𝑏2subscript𝑁𝑐superscriptsubscript𝑁𝑏2subscript𝑁𝑐N_{b}^{2}N_{c}\times N_{b}^{2}N_{c}italic_N start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_N start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT × italic_N start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_N start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT matrix, where Nbsubscript𝑁𝑏N_{b}italic_N start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT is the number of sublattice sites in a unit cell, i.e., the total number of lattice sites in the system is NbNcsubscript𝑁𝑏subscript𝑁𝑐N_{b}N_{c}italic_N start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT italic_N start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT. Note that αnm𝐤𝐪±αnm,𝐤𝐪superscriptsubscript𝛼𝑛𝑚𝐤𝐪plus-or-minussuperscriptsubscript𝛼𝑛𝑚𝐤𝐪\alpha_{nm\mathbf{k}}^{\mathbf{q}}\to\pm\alpha_{nm,-\mathbf{k}}^{\mathbf{q}}italic_α start_POSTSUBSCRIPT italic_n italic_m bold_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT bold_q end_POSTSUPERSCRIPT → ± italic_α start_POSTSUBSCRIPT italic_n italic_m , - bold_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT bold_q end_POSTSUPERSCRIPT upon spin exchange when \uparrow\leftrightarrow\downarrow↑ ↔ ↓. Since the solutions of Eq. (7) give the entire two-body spectrum, it does not discriminate between the scattering (i.e., continuum) and the bound states. As an alternative description, we define a set of dressed parameters

βSS𝐤𝐪=nm𝐤USS𝐤𝐤nS,𝐤+𝐪2,mS,𝐤+𝐪2,αnm𝐤𝐪,superscriptsubscript𝛽𝑆superscript𝑆𝐤𝐪subscript𝑛𝑚superscript𝐤superscriptsubscript𝑈𝑆superscript𝑆𝐤superscript𝐤subscript𝑛𝑆superscript𝐤𝐪2subscript𝑚superscript𝑆superscript𝐤𝐪2superscriptsubscript𝛼𝑛𝑚superscript𝐤𝐪\displaystyle\beta_{SS^{\prime}\mathbf{k}}^{\mathbf{q}}=\sum_{nm\mathbf{k^{% \prime}}}U_{SS^{\prime}}^{\mathbf{k}-\mathbf{k^{\prime}}}{n}_{S,\mathbf{k^{% \prime}}+\frac{\mathbf{q}}{2},\uparrow}{m}_{S^{\prime},-\mathbf{k^{\prime}}+% \frac{\mathbf{q}}{2},\downarrow}\alpha_{nm\mathbf{k^{\prime}}}^{\mathbf{q}},italic_β start_POSTSUBSCRIPT italic_S italic_S start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT bold_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT bold_q end_POSTSUPERSCRIPT = ∑ start_POSTSUBSCRIPT italic_n italic_m bold_k start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT italic_U start_POSTSUBSCRIPT italic_S italic_S start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT bold_k - bold_k start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT italic_n start_POSTSUBSCRIPT italic_S , bold_k start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT + divide start_ARG bold_q end_ARG start_ARG 2 end_ARG , ↑ end_POSTSUBSCRIPT italic_m start_POSTSUBSCRIPT italic_S start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT , - bold_k start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT + divide start_ARG bold_q end_ARG start_ARG 2 end_ARG , ↓ end_POSTSUBSCRIPT italic_α start_POSTSUBSCRIPT italic_n italic_m bold_k start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT bold_q end_POSTSUPERSCRIPT , (8)

which are in such a way that βSS𝐤𝐪±βSS,𝐤𝐪superscriptsubscript𝛽𝑆superscript𝑆𝐤𝐪plus-or-minussuperscriptsubscript𝛽superscript𝑆𝑆𝐤𝐪\beta_{SS^{\prime}\mathbf{k}}^{\mathbf{q}}\to\pm\beta_{S^{\prime}S,-\mathbf{k}% }^{\mathbf{q}}italic_β start_POSTSUBSCRIPT italic_S italic_S start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT bold_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT bold_q end_POSTSUPERSCRIPT → ± italic_β start_POSTSUBSCRIPT italic_S start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT italic_S , - bold_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT bold_q end_POSTSUPERSCRIPT upon spin exchange when \uparrow\leftrightarrow\downarrow↑ ↔ ↓. It turns out these dressed parameters are non-zero only for the two-body bound states, i.e., they play the role of an order parameter for pairing. See the related discussion at the end of this section. In more general terms, one may define βSS𝐤σσ(𝐪)=nm𝐤USS𝐤𝐤nS,𝐤+𝐪2,σmS,𝐤+𝐪2,σαnm𝐤σσ(𝐪),superscriptsubscript𝛽𝑆superscript𝑆𝐤𝜎superscript𝜎𝐪subscript𝑛𝑚superscript𝐤superscriptsubscript𝑈𝑆superscript𝑆𝐤superscript𝐤subscript𝑛𝑆superscript𝐤𝐪2𝜎subscript𝑚superscript𝑆superscript𝐤𝐪2superscript𝜎superscriptsubscript𝛼𝑛𝑚superscript𝐤𝜎superscript𝜎𝐪\beta_{SS^{\prime}\mathbf{k}}^{\sigma\sigma^{\prime}}(\mathbf{q})=\sum_{nm% \mathbf{k^{\prime}}}U_{SS^{\prime}}^{\mathbf{k}-\mathbf{k^{\prime}}}{n}_{S,% \mathbf{k^{\prime}}+\frac{\mathbf{q}}{2},\sigma}{m}_{S^{\prime},-\mathbf{k^{% \prime}}+\frac{\mathbf{q}}{2},\sigma^{\prime}}\alpha_{nm\mathbf{k^{\prime}}}^{% \sigma\sigma^{\prime}}(\mathbf{q}),italic_β start_POSTSUBSCRIPT italic_S italic_S start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT bold_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_σ italic_σ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT ( bold_q ) = ∑ start_POSTSUBSCRIPT italic_n italic_m bold_k start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT italic_U start_POSTSUBSCRIPT italic_S italic_S start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT bold_k - bold_k start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT italic_n start_POSTSUBSCRIPT italic_S , bold_k start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT + divide start_ARG bold_q end_ARG start_ARG 2 end_ARG , italic_σ end_POSTSUBSCRIPT italic_m start_POSTSUBSCRIPT italic_S start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT , - bold_k start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT + divide start_ARG bold_q end_ARG start_ARG 2 end_ARG , italic_σ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT italic_α start_POSTSUBSCRIPT italic_n italic_m bold_k start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_σ italic_σ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT ( bold_q ) , where βSS𝐤𝐪βSS𝐤(𝐪)superscriptsubscript𝛽𝑆superscript𝑆𝐤𝐪superscriptsubscript𝛽𝑆superscript𝑆𝐤absent𝐪\beta_{SS^{\prime}\mathbf{k}}^{\mathbf{q}}\equiv\beta_{SS^{\prime}\mathbf{k}}^% {\uparrow\downarrow}(\mathbf{q})italic_β start_POSTSUBSCRIPT italic_S italic_S start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT bold_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT bold_q end_POSTSUPERSCRIPT ≡ italic_β start_POSTSUBSCRIPT italic_S italic_S start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT bold_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ↑ ↓ end_POSTSUPERSCRIPT ( bold_q ) is our dressed parameter. Given that they must satisfy βSS𝐤(𝐪)=βSS,𝐤(𝐪)superscriptsubscript𝛽𝑆superscript𝑆𝐤absent𝐪superscriptsubscript𝛽superscript𝑆𝑆𝐤absent𝐪\beta_{SS^{\prime}\mathbf{k}}^{\downarrow\uparrow}(\mathbf{q})=-\beta_{S^{% \prime}S,-\mathbf{k}}^{\uparrow\downarrow}(\mathbf{q})italic_β start_POSTSUBSCRIPT italic_S italic_S start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT bold_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ↓ ↑ end_POSTSUPERSCRIPT ( bold_q ) = - italic_β start_POSTSUBSCRIPT italic_S start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT italic_S , - bold_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ↑ ↓ end_POSTSUPERSCRIPT ( bold_q ) under fermion exchange, we require βSS𝐤𝐪=±βSS,𝐤𝐪superscriptsubscript𝛽𝑆superscript𝑆𝐤𝐪plus-or-minussuperscriptsubscript𝛽superscript𝑆𝑆𝐤𝐪\beta_{SS^{\prime}\mathbf{k}}^{\mathbf{q}}=\pm\beta_{S^{\prime}S,-\mathbf{k}}^% {\mathbf{q}}italic_β start_POSTSUBSCRIPT italic_S italic_S start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT bold_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT bold_q end_POSTSUPERSCRIPT = ± italic_β start_POSTSUBSCRIPT italic_S start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT italic_S , - bold_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT bold_q end_POSTSUPERSCRIPT for the singlet and triplet states, respectively. Note that, in the presence of onsite interactions only [7], i.e., when the interaction amplitudes USS𝐤𝐤=USδSSsuperscriptsubscript𝑈𝑆superscript𝑆𝐤superscript𝐤subscript𝑈𝑆subscript𝛿𝑆superscript𝑆U_{SS^{\prime}}^{\mathbf{k}-\mathbf{k^{\prime}}}=U_{S}\delta_{SS^{\prime}}italic_U start_POSTSUBSCRIPT italic_S italic_S start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT bold_k - bold_k start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT = italic_U start_POSTSUBSCRIPT italic_S end_POSTSUBSCRIPT italic_δ start_POSTSUBSCRIPT italic_S italic_S start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT are constants in 𝐤𝐤\mathbf{k}bold_k space for the intra-orbital interactions and vanish for the inter-orbital ones, only the singlet bound states are allowed since the order parameter for the triplet pairs βSS𝐤𝐪βS𝐪=βS𝐪superscriptsubscript𝛽𝑆superscript𝑆𝐤𝐪superscriptsubscript𝛽𝑆𝐪superscriptsubscript𝛽𝑆𝐪\beta_{SS^{\prime}\mathbf{k}}^{\mathbf{q}}\to\beta_{S}^{\mathbf{q}}=-\beta_{S}% ^{\mathbf{q}}italic_β start_POSTSUBSCRIPT italic_S italic_S start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT bold_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT bold_q end_POSTSUPERSCRIPT → italic_β start_POSTSUBSCRIPT italic_S end_POSTSUBSCRIPT start_POSTSUPERSCRIPT bold_q end_POSTSUPERSCRIPT = - italic_β start_POSTSUBSCRIPT italic_S end_POSTSUBSCRIPT start_POSTSUPERSCRIPT bold_q end_POSTSUPERSCRIPT must vanish by the symmetry requirement. Here δijsubscript𝛿𝑖𝑗\delta_{ij}italic_δ start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT is a Kronecker delta. With these definitions, Eq. (7) reduces to a set of coupled integral equations

βS¯S¯𝐤𝐪=1Ncnm𝐤SSsuperscriptsubscript𝛽¯𝑆superscript¯𝑆𝐤𝐪1subscript𝑁𝑐subscript𝑛𝑚superscript𝐤𝑆superscript𝑆\displaystyle\beta_{\bar{S}\bar{S}^{\prime}\mathbf{k}}^{\mathbf{q}}=-\frac{1}{% N_{c}}\sum_{nm\mathbf{k^{\prime}}SS^{\prime}}italic_β start_POSTSUBSCRIPT over¯ start_ARG italic_S end_ARG over¯ start_ARG italic_S end_ARG start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT bold_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT bold_q end_POSTSUPERSCRIPT = - divide start_ARG 1 end_ARG start_ARG italic_N start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT end_ARG ∑ start_POSTSUBSCRIPT italic_n italic_m bold_k start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT italic_S italic_S start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT US¯S¯𝐤𝐤mS¯,𝐤+𝐪2,nS¯,𝐤+𝐪2,εn,𝐤+𝐪2,+εm,𝐤+𝐪2,Ee𝐪superscriptsubscript𝑈¯𝑆superscript¯𝑆𝐤superscript𝐤subscript𝑚superscript¯𝑆superscript𝐤𝐪2subscript𝑛¯𝑆superscript𝐤𝐪2subscript𝜀𝑛superscript𝐤𝐪2subscript𝜀𝑚superscript𝐤𝐪2subscript𝐸𝑒𝐪\displaystyle\frac{U_{\bar{S}\bar{S}^{\prime}}^{\mathbf{k}-\mathbf{k^{\prime}}% }{m}_{\bar{S}^{\prime},-\mathbf{k^{\prime}}+\frac{\mathbf{q}}{2},\downarrow}{n% }_{\bar{S},\mathbf{k^{\prime}}+\frac{\mathbf{q}}{2},\uparrow}}{\varepsilon_{n,% \mathbf{k^{\prime}}+\frac{\mathbf{q}}{2},\uparrow}+\varepsilon_{m,-\mathbf{k^{% \prime}}+\frac{\mathbf{q}}{2},\downarrow}-E_{e\mathbf{q}}}divide start_ARG italic_U start_POSTSUBSCRIPT over¯ start_ARG italic_S end_ARG over¯ start_ARG italic_S end_ARG start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT bold_k - bold_k start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT italic_m start_POSTSUBSCRIPT over¯ start_ARG italic_S end_ARG start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT , - bold_k start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT + divide start_ARG bold_q end_ARG start_ARG 2 end_ARG , ↓ end_POSTSUBSCRIPT italic_n start_POSTSUBSCRIPT over¯ start_ARG italic_S end_ARG , bold_k start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT + divide start_ARG bold_q end_ARG start_ARG 2 end_ARG , ↑ end_POSTSUBSCRIPT end_ARG start_ARG italic_ε start_POSTSUBSCRIPT italic_n , bold_k start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT + divide start_ARG bold_q end_ARG start_ARG 2 end_ARG , ↑ end_POSTSUBSCRIPT + italic_ε start_POSTSUBSCRIPT italic_m , - bold_k start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT + divide start_ARG bold_q end_ARG start_ARG 2 end_ARG , ↓ end_POSTSUBSCRIPT - italic_E start_POSTSUBSCRIPT italic_e bold_q end_POSTSUBSCRIPT end_ARG
×\displaystyle\times× nS,𝐤+𝐪2,mS,𝐤+𝐪2,βSS𝐤𝐪,superscriptsubscript𝑛𝑆superscript𝐤𝐪2superscriptsubscript𝑚superscript𝑆superscript𝐤𝐪2superscriptsubscript𝛽𝑆superscript𝑆superscript𝐤𝐪\displaystyle n_{S,\mathbf{k^{\prime}}+\frac{\mathbf{q}}{2},\uparrow}^{*}m_{S^% {\prime},-\mathbf{k^{\prime}}+\frac{\mathbf{q}}{2},\downarrow}^{*}\beta_{SS^{% \prime}\mathbf{k^{\prime}}}^{\mathbf{q}},italic_n start_POSTSUBSCRIPT italic_S , bold_k start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT + divide start_ARG bold_q end_ARG start_ARG 2 end_ARG , ↑ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT italic_m start_POSTSUBSCRIPT italic_S start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT , - bold_k start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT + divide start_ARG bold_q end_ARG start_ARG 2 end_ARG , ↓ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT italic_β start_POSTSUBSCRIPT italic_S italic_S start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT bold_k start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT bold_q end_POSTSUPERSCRIPT , (9)

from which the bound-state energies Ee𝐪subscript𝐸𝑒𝐪E_{e\mathbf{q}}italic_E start_POSTSUBSCRIPT italic_e bold_q end_POSTSUBSCRIPT can be determined through heavy numerics. Note that Eq. (9) reduces to a self-consistency relation when USS𝐤𝐤superscriptsubscript𝑈𝑆superscript𝑆𝐤superscript𝐤U_{SS^{\prime}}^{\mathbf{k}-\mathbf{k^{\prime}}}italic_U start_POSTSUBSCRIPT italic_S italic_S start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT bold_k - bold_k start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT is independent of momentum, i.e., in the case of usual Hubbard model with onsite interactions [7].

In order to simplify Eq. (9) and make further analytical progress, next we express USS𝐤𝐤superscriptsubscript𝑈𝑆superscript𝑆𝐤superscript𝐤U_{SS^{\prime}}^{\mathbf{k}-\mathbf{k^{\prime}}}italic_U start_POSTSUBSCRIPT italic_S italic_S start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT bold_k - bold_k start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT as a linear combination of separable functions of 𝐤𝐤\mathbf{k}bold_k and 𝐤superscript𝐤\mathbf{k^{\prime}}bold_k start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT in the form

USS𝐤𝐤=CSS[ΓSS(𝐤)]ΓSS(𝐤),superscriptsubscript𝑈𝑆superscript𝑆𝐤superscript𝐤subscriptsuperscriptsubscript𝐶𝑆superscript𝑆superscriptdelimited-[]superscriptsubscriptΓ𝑆superscript𝑆𝐤superscriptsubscriptΓ𝑆superscript𝑆superscript𝐤\displaystyle U_{SS^{\prime}}^{\mathbf{k}-\mathbf{k^{\prime}}}=\sum_{\ell}C_{% SS^{\prime}}^{\ell}[\Gamma_{SS^{\prime}}^{\ell}(\mathbf{k})]^{*}\Gamma_{SS^{% \prime}}^{\ell}(\mathbf{k^{\prime}}),italic_U start_POSTSUBSCRIPT italic_S italic_S start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT bold_k - bold_k start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT = ∑ start_POSTSUBSCRIPT roman_ℓ end_POSTSUBSCRIPT italic_C start_POSTSUBSCRIPT italic_S italic_S start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_ℓ end_POSTSUPERSCRIPT [ roman_Γ start_POSTSUBSCRIPT italic_S italic_S start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_ℓ end_POSTSUPERSCRIPT ( bold_k ) ] start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT roman_Γ start_POSTSUBSCRIPT italic_S italic_S start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_ℓ end_POSTSUPERSCRIPT ( bold_k start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ) , (10)

where the momentum-independent coefficients CSSsuperscriptsubscript𝐶𝑆superscript𝑆C_{SS^{\prime}}^{\ell}italic_C start_POSTSUBSCRIPT italic_S italic_S start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_ℓ end_POSTSUPERSCRIPT are determined by the interaction parameters USi;Sisubscript𝑈𝑆𝑖superscript𝑆superscript𝑖U_{Si;S^{\prime}i^{\prime}}italic_U start_POSTSUBSCRIPT italic_S italic_i ; italic_S start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT italic_i start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT. For a given SS𝑆superscript𝑆SS^{\prime}italic_S italic_S start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT sector, it proves convenient to choose the symmetry functions ΓSS(𝐤)superscriptsubscriptΓ𝑆superscript𝑆𝐤\Gamma_{SS^{\prime}}^{\ell}(\mathbf{k})roman_Γ start_POSTSUBSCRIPT italic_S italic_S start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_ℓ end_POSTSUPERSCRIPT ( bold_k ) in such a way that they satisfy 𝐤[ΓSS(𝐤)]ΓSS(𝐤)=κSSδ,subscript𝐤superscriptdelimited-[]superscriptsubscriptΓ𝑆superscript𝑆𝐤superscriptsubscriptΓ𝑆superscript𝑆superscript𝐤superscriptsubscript𝜅𝑆superscript𝑆subscript𝛿superscript\sum_{\mathbf{k}}[\Gamma_{SS^{\prime}}^{\ell}(\mathbf{k})]^{*}\Gamma_{SS^{% \prime}}^{\ell^{\prime}}(\mathbf{k})=\kappa_{SS^{\prime}}^{\ell}\delta_{\ell% \ell^{\prime}},∑ start_POSTSUBSCRIPT bold_k end_POSTSUBSCRIPT [ roman_Γ start_POSTSUBSCRIPT italic_S italic_S start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_ℓ end_POSTSUPERSCRIPT ( bold_k ) ] start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT roman_Γ start_POSTSUBSCRIPT italic_S italic_S start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_ℓ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT ( bold_k ) = italic_κ start_POSTSUBSCRIPT italic_S italic_S start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_ℓ end_POSTSUPERSCRIPT italic_δ start_POSTSUBSCRIPT roman_ℓ roman_ℓ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT , i.e., they are linearly independent from each other. Note that the Hermiticity requirement =subscriptabsentsuperscriptsubscriptabsent\mathcal{H}_{\uparrow\downarrow}=\mathcal{H}_{\uparrow\downarrow}^{\dagger}caligraphic_H start_POSTSUBSCRIPT ↑ ↓ end_POSTSUBSCRIPT = caligraphic_H start_POSTSUBSCRIPT ↑ ↓ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT for the Hamiltonian under adjoint operation leads to Vnm𝐤nm𝐤(𝐪)=[Vnm𝐤nm𝐤(𝐪)],superscriptsubscript𝑉superscript𝑛superscript𝑚superscript𝐤𝑛𝑚𝐤𝐪superscriptdelimited-[]superscriptsubscript𝑉𝑛𝑚𝐤superscript𝑛superscript𝑚superscript𝐤𝐪V_{n^{\prime}m^{\prime}\mathbf{k^{\prime}}}^{nm\mathbf{k}}(\mathbf{q})=[V_{nm% \mathbf{k}}^{n^{\prime}m^{\prime}\mathbf{k^{\prime}}}(\mathbf{q})]^{*},italic_V start_POSTSUBSCRIPT italic_n start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT italic_m start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT bold_k start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_n italic_m bold_k end_POSTSUPERSCRIPT ( bold_q ) = [ italic_V start_POSTSUBSCRIPT italic_n italic_m bold_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_n start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT italic_m start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT bold_k start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT ( bold_q ) ] start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT , suggesting that CSS=(CSS)superscriptsubscript𝐶𝑆superscript𝑆superscriptsuperscriptsubscript𝐶𝑆superscript𝑆C_{SS^{\prime}}^{\ell}=(C_{SS^{\prime}}^{\ell})^{*}italic_C start_POSTSUBSCRIPT italic_S italic_S start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_ℓ end_POSTSUPERSCRIPT = ( italic_C start_POSTSUBSCRIPT italic_S italic_S start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_ℓ end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT is a real parameter. In addition, the invariance requirement =subscriptabsentsubscriptabsent\mathcal{H}_{\uparrow\downarrow}=\mathcal{H}_{\downarrow\uparrow}caligraphic_H start_POSTSUBSCRIPT ↑ ↓ end_POSTSUBSCRIPT = caligraphic_H start_POSTSUBSCRIPT ↓ ↑ end_POSTSUBSCRIPT for the Hamiltonian under spin exchange leads to Vnm𝐤nm𝐤(𝐪)=Vmn,𝐤mn,𝐤(𝐪),superscriptsubscript𝑉superscript𝑛superscript𝑚superscript𝐤𝑛𝑚𝐤𝐪superscriptsubscript𝑉superscript𝑚superscript𝑛superscript𝐤𝑚𝑛𝐤𝐪V_{n^{\prime}m^{\prime}\mathbf{k^{\prime}}}^{nm\mathbf{k}}(\mathbf{q})=V_{m^{% \prime}n^{\prime},-\mathbf{k^{\prime}}}^{mn,-\mathbf{k}}(\mathbf{q}),italic_V start_POSTSUBSCRIPT italic_n start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT italic_m start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT bold_k start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_n italic_m bold_k end_POSTSUPERSCRIPT ( bold_q ) = italic_V start_POSTSUBSCRIPT italic_m start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT italic_n start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT , - bold_k start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_m italic_n , - bold_k end_POSTSUPERSCRIPT ( bold_q ) , suggesting that USS𝐤𝐤=USS𝐤𝐤.superscriptsubscript𝑈𝑆superscript𝑆𝐤superscript𝐤superscriptsubscript𝑈superscript𝑆𝑆superscript𝐤𝐤U_{SS^{\prime}}^{\mathbf{k}-\mathbf{k^{\prime}}}=U_{S^{\prime}S}^{\mathbf{k^{% \prime}}-\mathbf{k}}.italic_U start_POSTSUBSCRIPT italic_S italic_S start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT bold_k - bold_k start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT = italic_U start_POSTSUBSCRIPT italic_S start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT italic_S end_POSTSUBSCRIPT start_POSTSUPERSCRIPT bold_k start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT - bold_k end_POSTSUPERSCRIPT . Given that CSS=CSSsuperscriptsubscript𝐶𝑆superscript𝑆superscriptsubscript𝐶superscript𝑆𝑆C_{SS^{\prime}}^{\ell}=C_{S^{\prime}S}^{\ell}italic_C start_POSTSUBSCRIPT italic_S italic_S start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_ℓ end_POSTSUPERSCRIPT = italic_C start_POSTSUBSCRIPT italic_S start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT italic_S end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_ℓ end_POSTSUPERSCRIPT parameters can always be chosen symmetrically under sublattice exchange, the latter condition allows two distinct solutions ΓSS(𝐤)=±ΓSS(𝐤),superscriptsubscriptΓ𝑆superscript𝑆𝐤plus-or-minussuperscriptsubscriptΓsuperscript𝑆𝑆𝐤\Gamma_{SS^{\prime}}^{\ell}(\mathbf{k})=\pm\Gamma_{S^{\prime}S}^{\ell}(-% \mathbf{k}),roman_Γ start_POSTSUBSCRIPT italic_S italic_S start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_ℓ end_POSTSUPERSCRIPT ( bold_k ) = ± roman_Γ start_POSTSUBSCRIPT italic_S start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT italic_S end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_ℓ end_POSTSUPERSCRIPT ( - bold_k ) , leading to κSS=κSSsuperscriptsubscript𝜅𝑆superscript𝑆superscriptsubscript𝜅superscript𝑆𝑆\kappa_{SS^{\prime}}^{\ell}=\kappa_{S^{\prime}S}^{\ell}italic_κ start_POSTSUBSCRIPT italic_S italic_S start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_ℓ end_POSTSUPERSCRIPT = italic_κ start_POSTSUBSCRIPT italic_S start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT italic_S end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_ℓ end_POSTSUPERSCRIPT as well. In terms of these symmetry functions, the dressed parameters can be reexpressed in general as

βSS𝐤𝐪=ΛSS𝐪[ΓSS(𝐤)],superscriptsubscript𝛽𝑆superscript𝑆𝐤𝐪subscriptsuperscriptsubscriptΛ𝑆superscript𝑆𝐪superscriptdelimited-[]superscriptsubscriptΓ𝑆superscript𝑆𝐤\displaystyle\beta_{SS^{\prime}\mathbf{k}}^{\mathbf{q}}=\sum_{\ell}\Lambda_{SS% ^{\prime}}^{\ell\mathbf{q}}[\Gamma_{SS^{\prime}}^{\ell}(\mathbf{k})]^{*},italic_β start_POSTSUBSCRIPT italic_S italic_S start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT bold_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT bold_q end_POSTSUPERSCRIPT = ∑ start_POSTSUBSCRIPT roman_ℓ end_POSTSUBSCRIPT roman_Λ start_POSTSUBSCRIPT italic_S italic_S start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_ℓ bold_q end_POSTSUPERSCRIPT [ roman_Γ start_POSTSUBSCRIPT italic_S italic_S start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_ℓ end_POSTSUPERSCRIPT ( bold_k ) ] start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT , (11)

where the 𝐤𝐤\mathbf{k}bold_k-independent prefactor can be written as ΛSS𝐪=CSSnm𝐤ΓSSnm(𝐤,𝐪)αnm𝐤𝐪superscriptsubscriptΛ𝑆superscript𝑆𝐪superscriptsubscript𝐶𝑆superscript𝑆subscript𝑛𝑚𝐤superscriptsubscriptΓ𝑆superscript𝑆𝑛𝑚𝐤𝐪superscriptsubscript𝛼𝑛𝑚𝐤𝐪\Lambda_{SS^{\prime}}^{\ell\mathbf{q}}=C_{SS^{\prime}}^{\ell}\sum_{nm\mathbf{k% }}\Gamma_{SS^{\prime}}^{\ell nm}(\mathbf{k},\mathbf{q})\alpha_{nm\mathbf{k}}^{% \mathbf{q}}roman_Λ start_POSTSUBSCRIPT italic_S italic_S start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_ℓ bold_q end_POSTSUPERSCRIPT = italic_C start_POSTSUBSCRIPT italic_S italic_S start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_ℓ end_POSTSUPERSCRIPT ∑ start_POSTSUBSCRIPT italic_n italic_m bold_k end_POSTSUBSCRIPT roman_Γ start_POSTSUBSCRIPT italic_S italic_S start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_ℓ italic_n italic_m end_POSTSUPERSCRIPT ( bold_k , bold_q ) italic_α start_POSTSUBSCRIPT italic_n italic_m bold_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT bold_q end_POSTSUPERSCRIPT with ΓSSnm(𝐤,𝐪)=ΓSS(𝐤)nS,𝐤+𝐪2,mS,𝐤+𝐪2,.superscriptsubscriptΓ𝑆superscript𝑆𝑛𝑚𝐤𝐪superscriptsubscriptΓ𝑆superscript𝑆𝐤subscript𝑛𝑆𝐤𝐪2subscript𝑚superscript𝑆𝐤𝐪2\Gamma_{SS^{\prime}}^{\ell nm}(\mathbf{k},\mathbf{q})=\Gamma_{SS^{\prime}}^{% \ell}(\mathbf{k}){n}_{S,\mathbf{k}+\frac{\mathbf{q}}{2},\uparrow}{m}_{S^{% \prime},-\mathbf{k}+\frac{\mathbf{q}}{2},\downarrow}.roman_Γ start_POSTSUBSCRIPT italic_S italic_S start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_ℓ italic_n italic_m end_POSTSUPERSCRIPT ( bold_k , bold_q ) = roman_Γ start_POSTSUBSCRIPT italic_S italic_S start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_ℓ end_POSTSUPERSCRIPT ( bold_k ) italic_n start_POSTSUBSCRIPT italic_S , bold_k + divide start_ARG bold_q end_ARG start_ARG 2 end_ARG , ↑ end_POSTSUBSCRIPT italic_m start_POSTSUBSCRIPT italic_S start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT , - bold_k + divide start_ARG bold_q end_ARG start_ARG 2 end_ARG , ↓ end_POSTSUBSCRIPT . Thus, Eq. (11) suggests that the singlet and triplet states are characterized by ΓSS(𝐤)=±ΓSS(𝐤),superscriptsubscriptΓ𝑆superscript𝑆𝐤plus-or-minussuperscriptsubscriptΓsuperscript𝑆𝑆𝐤\Gamma_{SS^{\prime}}^{\ell}(\mathbf{k})=\pm\Gamma_{S^{\prime}S}^{\ell}(-% \mathbf{k}),roman_Γ start_POSTSUBSCRIPT italic_S italic_S start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_ℓ end_POSTSUPERSCRIPT ( bold_k ) = ± roman_Γ start_POSTSUBSCRIPT italic_S start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT italic_S end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_ℓ end_POSTSUPERSCRIPT ( - bold_k ) , respectively, and ΛSS𝐪=ΛSS𝐪superscriptsubscriptΛ𝑆superscript𝑆𝐪superscriptsubscriptΛsuperscript𝑆𝑆𝐪\Lambda_{SS^{\prime}}^{\ell\mathbf{q}}=\Lambda_{S^{\prime}S}^{\ell\mathbf{q}}roman_Λ start_POSTSUBSCRIPT italic_S italic_S start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_ℓ bold_q end_POSTSUPERSCRIPT = roman_Λ start_POSTSUBSCRIPT italic_S start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT italic_S end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_ℓ bold_q end_POSTSUPERSCRIPT is symmetric under sublattice exchange. Furthermore, the requirement USS𝐤𝐤=(USS𝐤𝐤)superscriptsubscript𝑈𝑆superscript𝑆𝐤superscript𝐤superscriptsuperscriptsubscript𝑈superscript𝑆𝑆𝐤superscript𝐤U_{SS^{\prime}}^{\mathbf{k}-\mathbf{k^{\prime}}}=(U_{S^{\prime}S}^{\mathbf{k}-% \mathbf{k^{\prime}}})^{*}italic_U start_POSTSUBSCRIPT italic_S italic_S start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT bold_k - bold_k start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT = ( italic_U start_POSTSUBSCRIPT italic_S start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT italic_S end_POSTSUBSCRIPT start_POSTSUPERSCRIPT bold_k - bold_k start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT suggests that ΓSS(𝐤)=±[ΓSS(𝐤)]superscriptsubscriptΓ𝑆superscript𝑆𝐤plus-or-minussuperscriptdelimited-[]superscriptsubscriptΓ𝑆superscript𝑆𝐤\Gamma_{SS^{\prime}}^{\ell}(\mathbf{k})=\pm[\Gamma_{SS^{\prime}}^{\ell}(-% \mathbf{k})]^{*}roman_Γ start_POSTSUBSCRIPT italic_S italic_S start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_ℓ end_POSTSUPERSCRIPT ( bold_k ) = ± [ roman_Γ start_POSTSUBSCRIPT italic_S italic_S start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_ℓ end_POSTSUPERSCRIPT ( - bold_k ) ] start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT for the singlet and triplet states, respectively. By plugging Eq. (11) into Eq. (9), we find a set of nonlinear equations in the form of a self-consistency relation

ΛS¯S¯𝐪=CS¯S¯Ncnm𝐤SSΓS¯S¯nm(𝐤,𝐪)[ΓSSnm(𝐤,𝐪)]εn,𝐤+𝐪2,+εm,𝐤+𝐪2,Ee𝐪ΛSS𝐪,superscriptsubscriptΛ¯𝑆superscript¯𝑆𝐪superscriptsubscript𝐶¯𝑆superscript¯𝑆subscript𝑁𝑐subscript𝑛𝑚𝐤𝑆superscript𝑆superscriptsuperscriptsubscriptΓ¯𝑆superscript¯𝑆𝑛𝑚𝐤𝐪superscriptdelimited-[]superscriptsubscriptΓ𝑆superscript𝑆superscript𝑛𝑚𝐤𝐪subscript𝜀𝑛𝐤𝐪2subscript𝜀𝑚𝐤𝐪2subscript𝐸𝑒𝐪superscriptsubscriptΛ𝑆superscript𝑆superscript𝐪\displaystyle\Lambda_{\bar{S}\bar{S}^{\prime}}^{\ell\mathbf{q}}=-\frac{C_{\bar% {S}\bar{S}^{\prime}}^{\ell}}{N_{c}}\sum_{\begin{subarray}{c}nm\mathbf{k}\\ SS^{\prime}\ell^{\prime}\end{subarray}}\frac{\Gamma_{\bar{S}\bar{S}^{\prime}}^% {\ell nm}(\mathbf{k},\mathbf{q})[\Gamma_{SS^{\prime}}^{\ell^{\prime}nm}(% \mathbf{k},\mathbf{q})]^{*}}{\varepsilon_{n,\mathbf{k}+\frac{\mathbf{q}}{2},% \uparrow}+\varepsilon_{m,-\mathbf{k}+\frac{\mathbf{q}}{2},\downarrow}-E_{e% \mathbf{q}}}\Lambda_{SS^{\prime}}^{\ell^{\prime}\mathbf{q}},roman_Λ start_POSTSUBSCRIPT over¯ start_ARG italic_S end_ARG over¯ start_ARG italic_S end_ARG start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_ℓ bold_q end_POSTSUPERSCRIPT = - divide start_ARG italic_C start_POSTSUBSCRIPT over¯ start_ARG italic_S end_ARG over¯ start_ARG italic_S end_ARG start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_ℓ end_POSTSUPERSCRIPT end_ARG start_ARG italic_N start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT end_ARG ∑ start_POSTSUBSCRIPT start_ARG start_ROW start_CELL italic_n italic_m bold_k end_CELL end_ROW start_ROW start_CELL italic_S italic_S start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT roman_ℓ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_CELL end_ROW end_ARG end_POSTSUBSCRIPT divide start_ARG roman_Γ start_POSTSUBSCRIPT over¯ start_ARG italic_S end_ARG over¯ start_ARG italic_S end_ARG start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_ℓ italic_n italic_m end_POSTSUPERSCRIPT ( bold_k , bold_q ) [ roman_Γ start_POSTSUBSCRIPT italic_S italic_S start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_ℓ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT italic_n italic_m end_POSTSUPERSCRIPT ( bold_k , bold_q ) ] start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT end_ARG start_ARG italic_ε start_POSTSUBSCRIPT italic_n , bold_k + divide start_ARG bold_q end_ARG start_ARG 2 end_ARG , ↑ end_POSTSUBSCRIPT + italic_ε start_POSTSUBSCRIPT italic_m , - bold_k + divide start_ARG bold_q end_ARG start_ARG 2 end_ARG , ↓ end_POSTSUBSCRIPT - italic_E start_POSTSUBSCRIPT italic_e bold_q end_POSTSUBSCRIPT end_ARG roman_Λ start_POSTSUBSCRIPT italic_S italic_S start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_ℓ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT bold_q end_POSTSUPERSCRIPT , (12)

from which the bound-state energies Ee𝐪subscript𝐸𝑒𝐪E_{e\mathbf{q}}italic_E start_POSTSUBSCRIPT italic_e bold_q end_POSTSUBSCRIPT can be determined efficiently through low-cost numerics.

We note in passing that a suggestive way of expressing the interaction amplitude Vnm𝐤nm𝐤(𝐪)superscriptsubscript𝑉superscript𝑛superscript𝑚superscript𝐤𝑛𝑚𝐤𝐪V_{n^{\prime}m^{\prime}\mathbf{k^{\prime}}}^{nm\mathbf{k}}(\mathbf{q})italic_V start_POSTSUBSCRIPT italic_n start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT italic_m start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT bold_k start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_n italic_m bold_k end_POSTSUPERSCRIPT ( bold_q ) in the band basis is Vnm𝐤nm𝐤(𝐪)=SSCSS[ΓSSnm(𝐤,𝐪)]ΓSSnm(𝐤,𝐪).superscriptsubscript𝑉superscript𝑛superscript𝑚superscript𝐤𝑛𝑚𝐤𝐪subscript𝑆superscript𝑆superscriptsubscript𝐶𝑆superscript𝑆superscriptdelimited-[]superscriptsubscriptΓ𝑆superscript𝑆𝑛𝑚𝐤𝐪superscriptsubscriptΓ𝑆superscript𝑆superscript𝑛superscript𝑚superscript𝐤𝐪V_{n^{\prime}m^{\prime}\mathbf{k^{\prime}}}^{nm\mathbf{k}}(\mathbf{q})=\sum_{% SS^{\prime}\ell}C_{SS^{\prime}}^{\ell}[\Gamma_{SS^{\prime}}^{\ell nm}(\mathbf{% k},\mathbf{q})]^{*}\Gamma_{SS^{\prime}}^{\ell n^{\prime}m^{\prime}}(\mathbf{k^% {\prime}},\mathbf{q}).italic_V start_POSTSUBSCRIPT italic_n start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT italic_m start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT bold_k start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_n italic_m bold_k end_POSTSUPERSCRIPT ( bold_q ) = ∑ start_POSTSUBSCRIPT italic_S italic_S start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT roman_ℓ end_POSTSUBSCRIPT italic_C start_POSTSUBSCRIPT italic_S italic_S start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_ℓ end_POSTSUPERSCRIPT [ roman_Γ start_POSTSUBSCRIPT italic_S italic_S start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_ℓ italic_n italic_m end_POSTSUPERSCRIPT ( bold_k , bold_q ) ] start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT roman_Γ start_POSTSUBSCRIPT italic_S italic_S start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_ℓ italic_n start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT italic_m start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT ( bold_k start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT , bold_q ) . Then, Eq. (12) resembles the self-consistency equation that appears in the BCS theory of superconductivity. We also note that a suggestive way of expressing the dressed parameters is βSS𝐤(𝐪)=𝐤USS𝐤𝐤0|cS,𝐤+𝐪2,cS,𝐤+𝐪2,|ψ𝐪=βSS,𝐤(𝐪),superscriptsubscript𝛽𝑆superscript𝑆𝐤absent𝐪subscriptsuperscript𝐤superscriptsubscript𝑈𝑆superscript𝑆𝐤superscript𝐤quantum-operator-product0subscript𝑐𝑆superscript𝐤𝐪2subscript𝑐superscript𝑆superscript𝐤𝐪2subscript𝜓𝐪superscriptsubscript𝛽superscript𝑆𝑆𝐤absent𝐪\beta_{SS^{\prime}\mathbf{k}}^{\uparrow\downarrow}(\mathbf{q})=\sum_{\mathbf{k% ^{\prime}}}U_{SS^{\prime}}^{\mathbf{k}-\mathbf{k^{\prime}}}\langle 0|c_{S,% \mathbf{k^{\prime}}+\frac{\mathbf{q}}{2},\uparrow}c_{S^{\prime},-\mathbf{k^{% \prime}}+\frac{\mathbf{q}}{2},\downarrow}|\psi_{\mathbf{q}}\rangle=-\beta_{S^{% \prime}S,-\mathbf{k}}^{\downarrow\uparrow}(\mathbf{q}),italic_β start_POSTSUBSCRIPT italic_S italic_S start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT bold_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ↑ ↓ end_POSTSUPERSCRIPT ( bold_q ) = ∑ start_POSTSUBSCRIPT bold_k start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT italic_U start_POSTSUBSCRIPT italic_S italic_S start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT bold_k - bold_k start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT ⟨ 0 | italic_c start_POSTSUBSCRIPT italic_S , bold_k start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT + divide start_ARG bold_q end_ARG start_ARG 2 end_ARG , ↑ end_POSTSUBSCRIPT italic_c start_POSTSUBSCRIPT italic_S start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT , - bold_k start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT + divide start_ARG bold_q end_ARG start_ARG 2 end_ARG , ↓ end_POSTSUBSCRIPT | italic_ψ start_POSTSUBSCRIPT bold_q end_POSTSUBSCRIPT ⟩ = - italic_β start_POSTSUBSCRIPT italic_S start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT italic_S , - bold_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ↓ ↑ end_POSTSUPERSCRIPT ( bold_q ) , where |ψ𝐪ketsubscript𝜓𝐪|\psi_{\mathbf{q}}\rangle| italic_ψ start_POSTSUBSCRIPT bold_q end_POSTSUBSCRIPT ⟩ is the two-body ansatz given in Eq. (6). In comparison, considering stationary Cooper pairs with 𝐪=𝟎𝐪0\mathbf{q}=\mathbf{0}bold_q = bold_0, the BCS order parameters for the multi-sublattice Hamiltonian can be written as ΔSS𝐤(𝟎)=𝐤USS𝐤𝐤ψBCS|cS𝐤cS,𝐤,|ψBCS=ΔSS,𝐤(𝟎),superscriptsubscriptΔ𝑆superscript𝑆𝐤absent0subscriptsuperscript𝐤superscriptsubscript𝑈𝑆superscript𝑆𝐤superscript𝐤quantum-operator-productsubscript𝜓BCSsubscript𝑐𝑆superscript𝐤absentsubscript𝑐superscript𝑆superscript𝐤subscript𝜓BCSsuperscriptsubscriptΔsuperscript𝑆𝑆𝐤absent0\Delta_{SS^{\prime}\mathbf{k}}^{\uparrow\downarrow}(\mathbf{0})=\sum_{\mathbf{% k^{\prime}}}U_{SS^{\prime}}^{\mathbf{k}-\mathbf{k^{\prime}}}\langle\psi_{% \mathrm{BCS}}|c_{S\mathbf{k^{\prime}}\uparrow}c_{S^{\prime},-\mathbf{k^{\prime% }},\downarrow}|\psi_{\mathrm{BCS}}\rangle=-\Delta_{S^{\prime}S,-\mathbf{k}}^{% \downarrow\uparrow}(\mathbf{0}),roman_Δ start_POSTSUBSCRIPT italic_S italic_S start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT bold_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ↑ ↓ end_POSTSUPERSCRIPT ( bold_0 ) = ∑ start_POSTSUBSCRIPT bold_k start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT italic_U start_POSTSUBSCRIPT italic_S italic_S start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT bold_k - bold_k start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT ⟨ italic_ψ start_POSTSUBSCRIPT roman_BCS end_POSTSUBSCRIPT | italic_c start_POSTSUBSCRIPT italic_S bold_k start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ↑ end_POSTSUBSCRIPT italic_c start_POSTSUBSCRIPT italic_S start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT , - bold_k start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT , ↓ end_POSTSUBSCRIPT | italic_ψ start_POSTSUBSCRIPT roman_BCS end_POSTSUBSCRIPT ⟩ = - roman_Δ start_POSTSUBSCRIPT italic_S start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT italic_S , - bold_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ↓ ↑ end_POSTSUPERSCRIPT ( bold_0 ) , where |ψBCSketsubscript𝜓BCS|\psi_{\mathrm{BCS}}\rangle| italic_ψ start_POSTSUBSCRIPT roman_BCS end_POSTSUBSCRIPT ⟩ is the coherent BCS ground state [18]. Thus, the number conserving expectation value 0||ψ𝐪quantum-operator-product0subscript𝜓𝐪\langle 0|\cdots|\psi_{\mathbf{q}}\rangle⟨ 0 | ⋯ | italic_ψ start_POSTSUBSCRIPT bold_q end_POSTSUBSCRIPT ⟩ plays precisely the role of the so-called anomalous average ψBCS||ψBCSquantum-operator-productsubscript𝜓BCSsubscript𝜓BCS\langle\psi_{\mathrm{BCS}}|\cdots|\psi_{\mathrm{BCS}}\rangle⟨ italic_ψ start_POSTSUBSCRIPT roman_BCS end_POSTSUBSCRIPT | ⋯ | italic_ψ start_POSTSUBSCRIPT roman_BCS end_POSTSUBSCRIPT ⟩ in the BCS theory. In other words, our variational parameters αnm𝐤𝐪superscriptsubscript𝛼𝑛𝑚𝐤𝐪\alpha_{nm\mathbf{k}}^{\mathbf{q}}italic_α start_POSTSUBSCRIPT italic_n italic_m bold_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT bold_q end_POSTSUPERSCRIPT reduce to the Leggett’s number-conserving variational BCS parameter F𝐤α𝐤𝟎subscript𝐹𝐤superscriptsubscript𝛼𝐤0F_{\mathbf{k}}\equiv\alpha_{\mathbf{k}}^{\mathbf{0}}italic_F start_POSTSUBSCRIPT bold_k end_POSTSUBSCRIPT ≡ italic_α start_POSTSUBSCRIPT bold_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT bold_0 end_POSTSUPERSCRIPT in the case of a single-band continuum system [3].

IV Numerical Benchmark

To benchmark our approach with the existing literature [19, 20, 21], next we simulate the well-studied usual linear chain as a lattice with a two-point basis, i.e., with Nb=2subscript𝑁𝑏2N_{b}=2italic_N start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT = 2. This model is illustrated in Fig. 1, where the nearest-neighbor hop** parameter is taken as t>0𝑡0t>0italic_t > 0 uniformly across the lattice for both spin-up and spin-down particles, i.e., the lattice sites belonging to sublattices A𝐴Aitalic_A and B𝐵Bitalic_B are identical. Assuming periodic boundary conditions, the Bloch Hamiltonian is governed simply by the matrix elements hAB𝐤σ=hBA𝐤σ=2tcos(kxd)superscriptsubscript𝐴𝐵𝐤𝜎superscriptsubscript𝐵𝐴𝐤𝜎2𝑡subscript𝑘𝑥𝑑h_{AB\mathbf{k}}^{\sigma}=h_{BA\mathbf{k}}^{\sigma}=-2t\cos(k_{x}d)italic_h start_POSTSUBSCRIPT italic_A italic_B bold_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_σ end_POSTSUPERSCRIPT = italic_h start_POSTSUBSCRIPT italic_B italic_A bold_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_σ end_POSTSUPERSCRIPT = - 2 italic_t roman_cos ( italic_k start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT italic_d ) and hAA𝐤σ=hBB𝐤σ=0,superscriptsubscript𝐴𝐴𝐤𝜎superscriptsubscript𝐵𝐵𝐤𝜎0h_{AA\mathbf{k}}^{\sigma}=h_{BB\mathbf{k}}^{\sigma}=0,italic_h start_POSTSUBSCRIPT italic_A italic_A bold_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_σ end_POSTSUPERSCRIPT = italic_h start_POSTSUBSCRIPT italic_B italic_B bold_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_σ end_POSTSUPERSCRIPT = 0 , and the reduced first BZ is given by π2dkx<π2d,𝜋2𝑑subscript𝑘𝑥𝜋2𝑑-\frac{\pi}{2d}\leq k_{x}<\frac{\pi}{2d},- divide start_ARG italic_π end_ARG start_ARG 2 italic_d end_ARG ≤ italic_k start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT < divide start_ARG italic_π end_ARG start_ARG 2 italic_d end_ARG , where d𝑑ditalic_d is the lattice spacing. Since there are precisely Ncsubscript𝑁𝑐N_{c}italic_N start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT states in the BZ, the length L𝐿Litalic_L of the simulated lattice is in such a way that L/d=NbNc𝐿𝑑subscript𝑁𝑏subscript𝑁𝑐L/d=N_{b}N_{c}italic_L / italic_d = italic_N start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT italic_N start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT gives the total number of sites. Thus, a compact way to express the upper (s=+𝑠s=+italic_s = +) and lower (s=𝑠s=-italic_s = -) Bloch bands is εs𝐤σ=s2tcos(kxd),subscript𝜀𝑠𝐤𝜎𝑠2𝑡subscript𝑘𝑥𝑑\varepsilon_{s\mathbf{k}\sigma}=s2t\cos(k_{x}d),italic_ε start_POSTSUBSCRIPT italic_s bold_k italic_σ end_POSTSUBSCRIPT = italic_s 2 italic_t roman_cos ( italic_k start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT italic_d ) , where the projections sA𝐤σ=1/2subscript𝑠𝐴𝐤𝜎12s_{A\mathbf{k}\sigma}=1/\sqrt{2}italic_s start_POSTSUBSCRIPT italic_A bold_k italic_σ end_POSTSUBSCRIPT = 1 / square-root start_ARG 2 end_ARG and sB𝐤σ=s/2subscript𝑠𝐵𝐤𝜎𝑠2s_{B\mathbf{k}\sigma}=-s/\sqrt{2}italic_s start_POSTSUBSCRIPT italic_B bold_k italic_σ end_POSTSUBSCRIPT = - italic_s / square-root start_ARG 2 end_ARG determine the associated Bloch states.

Refer to caption
Figure 1: Simulation of the usual linear chain as a lattice with a two-point basis, where S=(A,B)𝑆𝐴𝐵S=(A,B)italic_S = ( italic_A , italic_B ) denotes the underlying sublattices, d𝑑ditalic_d is the lattice spacing and t>0𝑡0t>0italic_t > 0 is the nearest-neighbor hop** parameter. Note that the reduced first BZ π2dkx<π2d𝜋2𝑑subscript𝑘𝑥𝜋2𝑑-\frac{\pi}{2d}\leq k_{x}<\frac{\pi}{2d}- divide start_ARG italic_π end_ARG start_ARG 2 italic_d end_ARG ≤ italic_k start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT < divide start_ARG italic_π end_ARG start_ARG 2 italic_d end_ARG is folded into two in comparison to that of the usual linear chain.

Similar to the existing literature, here we consider only the onsite (U𝑈Uitalic_U) and nearest-neighbor (V𝑉Vitalic_V) interactions, leading to UAA𝐤𝐤=U=UBB𝐤𝐤superscriptsubscript𝑈𝐴𝐴𝐤superscript𝐤𝑈superscriptsubscript𝑈𝐵𝐵𝐤superscript𝐤U_{AA}^{\mathbf{k}-\mathbf{k^{\prime}}}=U=U_{BB}^{\mathbf{k}-\mathbf{k^{\prime% }}}italic_U start_POSTSUBSCRIPT italic_A italic_A end_POSTSUBSCRIPT start_POSTSUPERSCRIPT bold_k - bold_k start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT = italic_U = italic_U start_POSTSUBSCRIPT italic_B italic_B end_POSTSUBSCRIPT start_POSTSUPERSCRIPT bold_k - bold_k start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT contribution for the intra-sublattice interactions and UAB𝐤𝐤=2Vcos(kxdkxd)=UBA𝐤𝐤superscriptsubscript𝑈𝐴𝐵𝐤superscript𝐤2𝑉subscript𝑘𝑥𝑑superscriptsubscript𝑘𝑥𝑑superscriptsubscript𝑈𝐵𝐴𝐤superscript𝐤U_{AB}^{\mathbf{k}-\mathbf{k^{\prime}}}=2V\cos(k_{x}d-k_{x}^{\prime}d)=U_{BA}^% {\mathbf{k}-\mathbf{k^{\prime}}}italic_U start_POSTSUBSCRIPT italic_A italic_B end_POSTSUBSCRIPT start_POSTSUPERSCRIPT bold_k - bold_k start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT = 2 italic_V roman_cos ( italic_k start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT italic_d - italic_k start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT italic_d ) = italic_U start_POSTSUBSCRIPT italic_B italic_A end_POSTSUBSCRIPT start_POSTSUPERSCRIPT bold_k - bold_k start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT for the inter-sublattice ones. The two-body spectrum that is shown in gray color in Fig. 2 is obtained by plugging these expressions into Eq. (7) with U=V=6t𝑈𝑉6𝑡U=V=-6titalic_U = italic_V = - 6 italic_t, corresponding to attractive interactions. It is important to remark that, by construction, our approach produces exact results for any signs or strengths of U𝑈Uitalic_U and V𝑉Vitalic_V. In addition to a broad region of continuum states, there are six two-body bound-state branches in the folded BZ. To distinguish spin singlet branches from the triplet ones, next we construct the appropriate symmetry functions and employ them in Eq. (12). In accordance with the analysis given in Sec. III, ΓSS(𝐤)=±ΓSS(𝐤)=±[ΓSS(𝐤)]superscriptsubscriptΓ𝑆𝑆𝐤plus-or-minussuperscriptsubscriptΓ𝑆𝑆𝐤plus-or-minussuperscriptdelimited-[]superscriptsubscriptΓ𝑆𝑆𝐤\Gamma_{SS}^{\ell}(\mathbf{k})=\pm\Gamma_{SS}^{\ell}(-\mathbf{k})=\pm[\Gamma_{% SS}^{\ell}(-\mathbf{k})]^{*}roman_Γ start_POSTSUBSCRIPT italic_S italic_S end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_ℓ end_POSTSUPERSCRIPT ( bold_k ) = ± roman_Γ start_POSTSUBSCRIPT italic_S italic_S end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_ℓ end_POSTSUPERSCRIPT ( - bold_k ) = ± [ roman_Γ start_POSTSUBSCRIPT italic_S italic_S end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_ℓ end_POSTSUPERSCRIPT ( - bold_k ) ] start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT must be real for the intra-sublattice sectors and ΓSS(𝐤)=±ΓSS(𝐤)=±[ΓSS(𝐤)]superscriptsubscriptΓ𝑆superscript𝑆𝐤plus-or-minussuperscriptsubscriptΓsuperscript𝑆𝑆𝐤plus-or-minussuperscriptdelimited-[]superscriptsubscriptΓ𝑆superscript𝑆𝐤\Gamma_{S\neq S^{\prime}}^{\ell}(\mathbf{k})=\pm\Gamma_{S^{\prime}\neq S}^{% \ell}(-\mathbf{k})=\pm[\Gamma_{S\neq S^{\prime}}^{\ell}(-\mathbf{k})]^{*}roman_Γ start_POSTSUBSCRIPT italic_S ≠ italic_S start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_ℓ end_POSTSUPERSCRIPT ( bold_k ) = ± roman_Γ start_POSTSUBSCRIPT italic_S start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ≠ italic_S end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_ℓ end_POSTSUPERSCRIPT ( - bold_k ) = ± [ roman_Γ start_POSTSUBSCRIPT italic_S ≠ italic_S start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_ℓ end_POSTSUPERSCRIPT ( - bold_k ) ] start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT for the inter-sublattice sectors, where the upper and lower signs correspond, respectively, to the singlet and triplet states. Considering the singlet states, the appropriate linearly-independent symmetry functions can be chosen as ΓAAa(𝐤)=1=ΓBBa(𝐤)superscriptsubscriptΓ𝐴𝐴𝑎𝐤1superscriptsubscriptΓ𝐵𝐵𝑎𝐤\Gamma_{AA}^{a}(\mathbf{k})=1=\Gamma_{BB}^{a}(\mathbf{k})roman_Γ start_POSTSUBSCRIPT italic_A italic_A end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_a end_POSTSUPERSCRIPT ( bold_k ) = 1 = roman_Γ start_POSTSUBSCRIPT italic_B italic_B end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_a end_POSTSUPERSCRIPT ( bold_k ) with CAAa=U=CBBasuperscriptsubscript𝐶𝐴𝐴𝑎𝑈superscriptsubscript𝐶𝐵𝐵𝑎C_{AA}^{a}=U=C_{BB}^{a}italic_C start_POSTSUBSCRIPT italic_A italic_A end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_a end_POSTSUPERSCRIPT = italic_U = italic_C start_POSTSUBSCRIPT italic_B italic_B end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_a end_POSTSUPERSCRIPT for the intra-sublattice sectors, and ΓABa(𝐤)=2cos(kxd)=ΓBAa(𝐤)superscriptsubscriptΓ𝐴𝐵𝑎𝐤2subscript𝑘𝑥𝑑superscriptsubscriptΓ𝐵𝐴𝑎𝐤\Gamma_{AB}^{a}(\mathbf{k})=\sqrt{2}\cos(k_{x}d)=\Gamma_{BA}^{a}(-\mathbf{k})roman_Γ start_POSTSUBSCRIPT italic_A italic_B end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_a end_POSTSUPERSCRIPT ( bold_k ) = square-root start_ARG 2 end_ARG roman_cos ( italic_k start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT italic_d ) = roman_Γ start_POSTSUBSCRIPT italic_B italic_A end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_a end_POSTSUPERSCRIPT ( - bold_k ) and ΓABb(𝐤)=i2sin(kxd)=ΓBAb(𝐤)superscriptsubscriptΓ𝐴𝐵𝑏𝐤i2subscript𝑘𝑥𝑑superscriptsubscriptΓ𝐵𝐴𝑏𝐤\Gamma_{AB}^{b}(\mathbf{k})=\mathrm{i}\sqrt{2}\sin(k_{x}d)=\Gamma_{BA}^{b}(-% \mathbf{k})roman_Γ start_POSTSUBSCRIPT italic_A italic_B end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_b end_POSTSUPERSCRIPT ( bold_k ) = roman_i square-root start_ARG 2 end_ARG roman_sin ( italic_k start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT italic_d ) = roman_Γ start_POSTSUBSCRIPT italic_B italic_A end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_b end_POSTSUPERSCRIPT ( - bold_k ) with CABa=V=CBAasuperscriptsubscript𝐶𝐴𝐵𝑎𝑉superscriptsubscript𝐶𝐵𝐴𝑎C_{AB}^{a}=V=C_{BA}^{a}italic_C start_POSTSUBSCRIPT italic_A italic_B end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_a end_POSTSUPERSCRIPT = italic_V = italic_C start_POSTSUBSCRIPT italic_B italic_A end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_a end_POSTSUPERSCRIPT and CABb=V=CBAbsuperscriptsubscript𝐶𝐴𝐵𝑏𝑉superscriptsubscript𝐶𝐵𝐴𝑏C_{AB}^{b}=V=C_{BA}^{b}italic_C start_POSTSUBSCRIPT italic_A italic_B end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_b end_POSTSUPERSCRIPT = italic_V = italic_C start_POSTSUBSCRIPT italic_B italic_A end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_b end_POSTSUPERSCRIPT for the inter-sublattice sectors. Similarly, considering the triplet states, the appropriate linearly-independent symmetry functions can be chosen as ΓABa(𝐤)=2sin(kxd)=ΓBAa(𝐤)superscriptsubscriptΓ𝐴𝐵𝑎𝐤2subscript𝑘𝑥𝑑superscriptsubscriptΓ𝐵𝐴𝑎𝐤\Gamma_{AB}^{a}(\mathbf{k})=\sqrt{2}\sin(k_{x}d)=-\Gamma_{BA}^{a}(-\mathbf{k})roman_Γ start_POSTSUBSCRIPT italic_A italic_B end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_a end_POSTSUPERSCRIPT ( bold_k ) = square-root start_ARG 2 end_ARG roman_sin ( italic_k start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT italic_d ) = - roman_Γ start_POSTSUBSCRIPT italic_B italic_A end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_a end_POSTSUPERSCRIPT ( - bold_k ) and ΓABb(𝐤)=i2cos(kxd)=ΓBAb(𝐤)superscriptsubscriptΓ𝐴𝐵𝑏𝐤i2subscript𝑘𝑥𝑑superscriptsubscriptΓ𝐵𝐴𝑏𝐤\Gamma_{AB}^{b}(\mathbf{k})=\mathrm{i}\sqrt{2}\cos(k_{x}d)=-\Gamma_{BA}^{b}(-% \mathbf{k})roman_Γ start_POSTSUBSCRIPT italic_A italic_B end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_b end_POSTSUPERSCRIPT ( bold_k ) = roman_i square-root start_ARG 2 end_ARG roman_cos ( italic_k start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT italic_d ) = - roman_Γ start_POSTSUBSCRIPT italic_B italic_A end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_b end_POSTSUPERSCRIPT ( - bold_k ) with CABa=V=CBAasuperscriptsubscript𝐶𝐴𝐵𝑎𝑉superscriptsubscript𝐶𝐵𝐴𝑎C_{AB}^{a}=V=C_{BA}^{a}italic_C start_POSTSUBSCRIPT italic_A italic_B end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_a end_POSTSUPERSCRIPT = italic_V = italic_C start_POSTSUBSCRIPT italic_B italic_A end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_a end_POSTSUPERSCRIPT and CABb=V=CBAbsuperscriptsubscript𝐶𝐴𝐵𝑏𝑉superscriptsubscript𝐶𝐵𝐴𝑏C_{AB}^{b}=V=C_{BA}^{b}italic_C start_POSTSUBSCRIPT italic_A italic_B end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_b end_POSTSUPERSCRIPT = italic_V = italic_C start_POSTSUBSCRIPT italic_B italic_A end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_b end_POSTSUPERSCRIPT for the inter-sublattice sectors.

Refer to caption
Figure 2: Two-body spectrum Eqxsubscript𝐸subscript𝑞𝑥E_{q_{x}}italic_E start_POSTSUBSCRIPT italic_q start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT end_POSTSUBSCRIPT for the linear chain in the reduced BZ. Here U=V=6t𝑈𝑉6𝑡U=V=-6titalic_U = italic_V = - 6 italic_t for the onsite and nearest-neighbor interactions, respectively. Full spectrum follows from Eq. (7) with Nc=101subscript𝑁𝑐101N_{c}=101italic_N start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT = 101, and it is shown in gray. Singlet and triplet bound-state branches follow from Eq. (12) where eige𝑒eitalic_e refers to Ee𝐪subscript𝐸𝑒𝐪E_{e\mathbf{q}}italic_E start_POSTSUBSCRIPT italic_e bold_q end_POSTSUBSCRIPT. Note that the entire spectrum appears as folded into the BZ, e.g., there appears 4444 (2)2(2)( 2 ) instead of 2222 (1)1(1)( 1 ) singlet (triplet) branches.

Equation (12) is equivalent to a non-linear eigenvalue problem for Ee𝐪subscript𝐸𝑒𝐪E_{e\mathbf{q}}italic_E start_POSTSUBSCRIPT italic_e bold_q end_POSTSUBSCRIPT. After recasting it as 𝐆𝐪𝚲𝐪=0,subscript𝐆𝐪subscript𝚲𝐪0\mathbf{G}_{\mathbf{q}}\boldsymbol{\Lambda}_{\mathbf{q}}=0,bold_G start_POSTSUBSCRIPT bold_q end_POSTSUBSCRIPT bold_Λ start_POSTSUBSCRIPT bold_q end_POSTSUBSCRIPT = 0 , we determine its self-consistent solutions by setting the eigenvalues of 𝐆𝐪subscript𝐆𝐪\mathbf{G}_{\mathbf{q}}bold_G start_POSTSUBSCRIPT bold_q end_POSTSUBSCRIPT to zero one at a time. For instance, in the presence of two sublattices, i.e., S=(A,B)𝑆𝐴𝐵S=(A,B)italic_S = ( italic_A , italic_B ), and assuming =(a,{a,b},a)𝑎𝑎𝑏𝑎\ell=(a,\{a,b\},a)roman_ℓ = ( italic_a , { italic_a , italic_b } , italic_a ), respectively, for the SS=(AA,AB,BB)𝑆superscript𝑆𝐴𝐴𝐴𝐵𝐵𝐵SS^{\prime}=(AA,AB,BB)italic_S italic_S start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT = ( italic_A italic_A , italic_A italic_B , italic_B italic_B ) sectors as in the singlet case discussed above, the corresponding eigenvectors can be written as 𝚲𝐪=(ΛAAa𝐪,ΛABa𝐪,ΛABb𝐪,ΛBBa𝐪)T,subscript𝚲𝐪superscriptsuperscriptsubscriptΛ𝐴𝐴𝑎𝐪superscriptsubscriptΛ𝐴𝐵𝑎𝐪superscriptsubscriptΛ𝐴𝐵𝑏𝐪superscriptsubscriptΛ𝐵𝐵𝑎𝐪T\boldsymbol{\Lambda}_{\mathbf{q}}=(\Lambda_{AA}^{a\mathbf{q}},\Lambda_{AB}^{a% \mathbf{q}},\Lambda_{AB}^{b\mathbf{q}},\Lambda_{BB}^{a\mathbf{q}})^{\mathrm{T}},bold_Λ start_POSTSUBSCRIPT bold_q end_POSTSUBSCRIPT = ( roman_Λ start_POSTSUBSCRIPT italic_A italic_A end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_a bold_q end_POSTSUPERSCRIPT , roman_Λ start_POSTSUBSCRIPT italic_A italic_B end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_a bold_q end_POSTSUPERSCRIPT , roman_Λ start_POSTSUBSCRIPT italic_A italic_B end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_b bold_q end_POSTSUPERSCRIPT , roman_Λ start_POSTSUBSCRIPT italic_B italic_B end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_a bold_q end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT roman_T end_POSTSUPERSCRIPT , where TT\mathrm{T}roman_T is the transpose. Note that, since the matrix elements that involve ΛBA𝐪superscriptsubscriptΛ𝐵𝐴𝐪\Lambda_{BA}^{\ell\mathbf{q}}roman_Λ start_POSTSUBSCRIPT italic_B italic_A end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_ℓ bold_q end_POSTSUPERSCRIPT are not independent, they are absorbed into the self-consistency equations via substitution by ΛAB𝐪superscriptsubscriptΛ𝐴𝐵𝐪\Lambda_{AB}^{\ell\mathbf{q}}roman_Λ start_POSTSUBSCRIPT italic_A italic_B end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_ℓ bold_q end_POSTSUPERSCRIPT. As a result, for a given 𝐪𝐪\mathbf{q}bold_q, we choose to label the resultant self-consistency solutions as Ee𝐪subscript𝐸𝑒𝐪E_{e\mathbf{q}}italic_E start_POSTSUBSCRIPT italic_e bold_q end_POSTSUBSCRIPT, where the label e={1,2,3,4}𝑒1234e=\{1,2,3,4\}italic_e = { 1 , 2 , 3 , 4 } indicates which eigenvalue of 𝐆𝐪subscript𝐆𝐪\mathbf{G}_{\mathbf{q}}bold_G start_POSTSUBSCRIPT bold_q end_POSTSUBSCRIPT is set to 00 starting with the lowest one. Similarly, assuming ={a,b}𝑎𝑏\ell=\{a,b\}roman_ℓ = { italic_a , italic_b } for the AB𝐴𝐵ABitalic_A italic_B sector of the triplet case discussed above, the corresponding eigenvectors can be written as 𝚲𝐪=(ΛABa𝐪,ΛABb𝐪)T,subscript𝚲𝐪superscriptsuperscriptsubscriptΛ𝐴𝐵𝑎𝐪superscriptsubscriptΛ𝐴𝐵𝑏𝐪T\boldsymbol{\Lambda}_{\mathbf{q}}=(\Lambda_{AB}^{a\mathbf{q}},\Lambda_{AB}^{b% \mathbf{q}})^{\mathrm{T}},bold_Λ start_POSTSUBSCRIPT bold_q end_POSTSUBSCRIPT = ( roman_Λ start_POSTSUBSCRIPT italic_A italic_B end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_a bold_q end_POSTSUPERSCRIPT , roman_Λ start_POSTSUBSCRIPT italic_A italic_B end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_b bold_q end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT roman_T end_POSTSUPERSCRIPT , leading to Ee𝐪subscript𝐸𝑒𝐪E_{e\mathbf{q}}italic_E start_POSTSUBSCRIPT italic_e bold_q end_POSTSUBSCRIPT with e={1,2}𝑒12e=\{1,2\}italic_e = { 1 , 2 }. Thus, since the singlet (triplet) symmetry functions leads to a 4×4444\times 44 × 4 (2×2222\times 22 × 2) nonlinear eigenvalue problem, Eq. (12) gives rise to four (two) distinct singlet (triplet) branches. These six branches are shown in Fig. 2 with different symbols.

Our numerical benchmark shown in Fig. 2 clearly illustrates that bound-state solutions of Eq. (7) can be classified with respect to their exchange symmetry through the self-consistent solutions of Eq. (12). Furthermore, it is pleasing to see that these results are in perfect agreement with the existing literature [19, 20], with the caveat that the entire spectrum appears as folded into the BZ leading to the appearance of 4444 (2)2(2)( 2 ) instead of 2222 (1)1(1)( 1 ) singlet (triplet) branches. We also verified that the known analytical expression [19, 21] E𝐪triplet=V+4t2Vcos2(qxd/2)superscriptsubscript𝐸𝐪triplet𝑉4superscript𝑡2𝑉superscript2subscript𝑞𝑥𝑑2E_{\mathbf{q}}^{\mathrm{triplet}}=V+\frac{4t^{2}}{V}\cos^{2}(q_{x}d/2)italic_E start_POSTSUBSCRIPT bold_q end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_triplet end_POSTSUPERSCRIPT = italic_V + divide start_ARG 4 italic_t start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_V end_ARG roman_cos start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_q start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT italic_d / 2 ) for the triplet branch in the usual BZ πdqxπd𝜋𝑑subscript𝑞𝑥𝜋𝑑-\frac{\pi}{d}\leq q_{x}\leq\frac{\pi}{d}- divide start_ARG italic_π end_ARG start_ARG italic_d end_ARG ≤ italic_q start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT ≤ divide start_ARG italic_π end_ARG start_ARG italic_d end_ARG is in perfect agreement with our numerical results. This expression is valid only when the energy of the triplet states are outside of the two-body continuum, i.e., it is not valid in the V0𝑉0V\to 0italic_V → 0 limit for which the triplet states are not allowed.

V Conclusion

In summary, here we analyzed the two-body problem within a generic multiband extended-Hubbard model, including arbitrary but finite-ranged hop** and interaction parameters. In particular, we derived self-consistency relations for the two-body bound states using an exact variational approach, which can be easily applied to various lattice geometries. To validate their accuracy numerically, we compared our results to the existing literature on the linear-chain model. Our findings demonstrated perfect agreement between the spin singlet and triplet states obtained through our method and those reported in the literature. As an outlook, it would be intriguing to apply the recently proposed bulk-edge correspondence for the nonlinear eigenvalue problems to the two-body bound states by introducing their auxiliary eigenvalues [22]. Furthermore, one can also study the Chern numbers for the triplet bound states by following our recent work on singlet bound states for the onsite Hubbard model [15], i.e., by utilizing the eigenvectors 𝚲𝐪subscript𝚲𝐪\boldsymbol{\Lambda}_{\mathbf{q}}bold_Λ start_POSTSUBSCRIPT bold_q end_POSTSUBSCRIPT of the nonlinear eigenvalue problem. Finally, in the spinless case, the two-body bound states for the extended-Hubbard and extended-Bose-Hubbard models can be studied through our triplet and singlet solutions, respectively, by suppressing the spin labels.

Acknowledgements.
The author acknowledges funding from US Air Force Office of Scientific Research (AFOSR) Grant No. FA8655-24-1-7391.

References

  • Cooper [1956] L. N. Cooper, Bound electron pairs in a degenerate Fermi gas, Phys. Rev. 104, 1189 (1956).
  • Bardeen et al. [1957] J. Bardeen, L. N. Cooper, and J. R. Schrieffer, Theory of superconductivity, Phys. Rev. 108, 1175 (1957).
  • Leggett [2008] A. Leggett, Quantum Liquids: Bose condensation and Cooper pairing in condensed-matter systems (Oxford University Press, United Kingdom, 2008) publisher Copyright: © Oxford University Press, 2014.
  • Leggett [1980] A. J. Leggett, Cooper pairing in spin-polarized Fermi systems, Le Journal de Physique Colloques 41, C7 (1980).
  • Nozieres and Schmitt-Rink [1985] P. Nozieres and S. Schmitt-Rink, Bose condensation in an attractive fermion gas: From weak to strong coupling superconductivity, Journal of Low Temperature Physics 59, 195 (1985).
  • Törmä et al. [2018] P. Törmä, L. Liang, and S. Peotta, Quantum metric and effective mass of a two-body bound state in a flat band, Phys. Rev. B 98, 220511 (2018).
  • Iskin [2021] M. Iskin, Two-body problem in a multiband lattice and the role of quantum geometry, Phys. Rev. A 103, 053311 (2021).
  • Törmä et al. [2022] P. Törmä, S. Peotta, and B. A. Bernevig, Superconductivity, superfluidity and quantum geometry in twisted multilayer systems, Nature Reviews Physics 4, 528 (2022).
  • Törmä [2023] P. Törmä, Essay: Where can quantum geometry lead us?, Phys. Rev. Lett. 131, 240001 (2023).
  • Iskin [2024] M. Iskin, Cooper pairing, flat-band superconductivity and quantum geometry in the pyrochlore-Hubbard model, arXiv preprint arXiv:2403.04270  (2024).
  • Setty et al. [2023] C. Setty, J. Zhao, L. Fanfarillo, E. W. Huang, P. J. Hirschfeld, P. W. Phillips, and K. Yang, Exact solution for finite center-of-mass momentum Cooper pairing, Phys. Rev. B 108, 174506 (2023).
  • Salerno et al. [2018] G. Salerno, M. Di Liberto, C. Menotti, and I. Carusotto, Topological two-body bound states in the interacting Haldane model, Phys. Rev. A 97, 013637 (2018).
  • Iskin [2023] M. Iskin, Topological two-body bands in a multiband Hubbard model, Phys. Rev. A 107, 053323 (2023).
  • Orso and Singh [2022] G. Orso and M. Singh, Pairs, trimers, and BCS-BEC crossover near a flat band: Sawtooth lattice, Phys. Rev. B 106, 014504 (2022).
  • Alyuruk and Iskin [2024] D. C. Alyuruk and M. Iskin, Chern numbers for the two-body Hofstadter-Hubbard butterfly, Phys. Rev. B 109, 035149 (2024).
  • Arovas et al. [2022] D. P. Arovas, E. Berg, S. A. Kivelson, and S. Raghu, The Hubbard model, Annu. Rev. Conden. Ma. P. 13, 239 (2022).
  • Qin et al. [2022] M. Qin, T. Schäfer, S. Andergassen, P. Corboz, and E. Gull, The Hubbard model: A computational perspective, Annu. Rev. Conden. Ma. P. 13, 275 (2022).
  • Tsuneto [1998] T. Tsuneto, Superconductivity and Superfluidity, edited by M. Nakahara (Cambridge University Press, 1998).
  • Nguenang and Flach [2009] J.-P. Nguenang and S. Flach, Fermionic bound states on a one-dimensional lattice, Phys. Rev. A 80, 015601 (2009).
  • Valiente and Petrosyan [2009] M. Valiente and D. Petrosyan, Scattering resonances and two-particle bound states of the extended Hubbard model, Journal of Physics B: Atomic, Molecular and Optical Physics 42, 121001 (2009).
  • Kornilovitch [2024] P. E. Kornilovitch, Two-particle bound states on a lattice, Annals of Physics 460, 169574 (2024).
  • Isobe et al. [2024] T. Isobe, T. Yoshida, and Y. Hatsugai, Bulk-edge correspondence for nonlinear eigenvalue problems, Phys. Rev. Lett. 132, 126601 (2024).