Insulating and metallic phases in the one-dimensional Hubbard-Su-Schrieffer-Heeger model: Insights from a backflow-inspired variational wave function

Davide Piccioni [email protected] Scuola Internazionale Superiore di Studi Avanzati (SISSA), Via Bonomea 265, I-34136, Trieste, Italy    Francesco Ferrari Institute for Theoretical Physics, Goethe University Frankfurt, Max-von-Laue-Straße 1, D-60438 Frankfurt am Main, Germany    Michele Fabrizio Scuola Internazionale Superiore di Studi Avanzati (SISSA), Via Bonomea 265, I-34136, Trieste, Italy    Federico Becca Dipartimento di Fisica, Università di Trieste, Strada Costiera 11, I-34151 Trieste, Italy
(July 3, 2024)
Abstract

The interplay between electron-electron and electron-phonon interactions is studied in a one-dimensional lattice model, by means of a variational Monte Carlo method based on generalized Jastrow-Slater wave functions. Here, the fermionic part is constructed by a pair-product state, which explicitly depends on the phonon configuration, thus including the electron-phonon coupling in a backflow-inspired way. We report the results for the Hubbard model in presence of the Su-Schrieffer-Heeger coupling to optical phonons, both at half-filling and upon hole do**. At half-filling, the ground state is either a translationally invariant Mott insulator, with gapless spin excitations, or a Peierls insulator, which breaks translations and has fully gapped excitations. Away from half-filling, the charge gap closes in both Mott and Peierls insulators, turning the former into a conventional Luttinger liquid (gapless in all excitation channels). The latter, instead, retains a finite spin gap that closes only above a threshold value of the do**. Even though consistent with the general theory of interacting electrons in one dimension, the existence of such a phase (with gapless charge but gapped spin excitations) has never been demonstrated in a model with repulsive interaction and with only two Fermi points. Since the spin-gapped metal represents the one-dimensional counterpart of a superconductor, our results furnish evidence that a true off-diagonal long-range order may exist in the two-dimensional case.

I Introduction

The electron-phonon interaction plays an important role in condensed-matter physics, as it often leads to stark modifications of the low-energy electronic properties, the most striking example being the insurgence of superconductivity in a variety of materials de Gennes (1966). In addition, it may favor lattice deformations, turning, e.g., a metallic system into a (Peierls) insulator Peierls (1955). In molecular solids, the electron-phonon coupling is at the origin of the Jahn-Teller effect, which can lead to orbital order and geometric distortions Khomskii (2014). In high-temperature (cuprate) superconductors, the interplay between electron pairing and charge-density waves (the so-called stripes) has been widely discussed in the past 30 years and represents a crucial aspect that must be elucidated in order to reach a definitive understanding of those materials Kivelson et al. (2003); Fradkin et al. (2015).

From a computational perspective, an ab-initio technique capable of accurately treating both electron-electron (e-e) and electron-phonon (e-ph) interactions is currently lacking, especially when effects beyond the Born-Oppenheimer approximation are relevant. In this respect, the definition of suitable low-energy models on a lattice may serve as a valuable framework for shedding light on the phenomena that emerge in this kind of problems. The single-band Hubbard model (or its strong-coupling version, the tJ𝑡𝐽t-Jitalic_t - italic_J model) serves as the simplest example to capture electron correlations Arovas et al. (2022); Qin et al. (2022). Within this approach, phonons can be included by adding harmonic oscillators on each lattice site, leading to acoustic and/or optical branches. Then, the e-ph coupling can be modeled by Fröhlich, Holstein, or Su-Schrieffer-Heeger (SSH) Hamiltonians Fröhlich (1954); Holstein (1959); Su et al. (1979, 1980); Hohenadler and Fehske (2018). The former two cases are suitable to describe polaron effects in dielectric crystals; the latter one has been introduced to characterize solitons in one-dimensional materials (such as Polyacetylene). Here, lattice vibrations are directly coupled to the electron hop**.

In one spatial dimension, whenever the electron band is half filled and in the absence of e-e interaction, the SSH model gives rise to a Peierls instability – a spontaneous dimerization of the chain, with alternating long and short bonds between nearest-neighbor sites – as obtained by earlier quantum Monte Carlo calculations and renormalization-group arguments Fradkin and Hirsch (1983). In the presence of an e-e interaction, such as the onsite Hubbard repulsion, the situation is more complicated. In the adiabatic limit (i.e., when taking an infinite ion mass and, therefore, no ion dynamics), lattice distortions appear for infinitesimal e-ph coupling Baeriswyl and Maki (1985), as also previously found in the strong-coupling (Heisenberg) model Cross and Fisher (1979). A full quantum mechanical treatment of the model, including both electron and ion dynamics, has been addressed in a relatively limited number of works. In Ref. Hirsch (1983), it has been argued that an on-site electron repulsion suppresses the Peierls distortions for large phonon frequencies. Later, a few works, mainly using Monte Carlo or density-matrix renormalization group (DMRG) techniques, analyzed a variety of models with both quantum lattice fluctuations and short-range e-e interactions Sengupta et al. (2003); Pearson et al. (2011); Weber et al. (2015). In particular, acoustic and optical phonons have been compared at half-filling (also considering different ways to couple lattice vibrations to the electronic hop**) Malkaruge Costa et al. (2023). The general outcome suggests that two phases can be stabilized: the Mott insulator (when the e-e interaction dominates), with no lattice distortions and gapless spin excitations, and the Peierls insulator (when the e-ph coupling dominates), characterized by lattice distortions, a two-fold degenerate ground state, and a fully gapped spectrum. The transition between them is described by the Kosterliz-Thouless universality class Giamarchi (2003), making its precise location extremely challenging.

Away from half-filling, a limited number of investigations have been attempted. Indeed, ground-state Monte Carlo techniques suffer from the sign problem, which prevents one from assessing large system sizes, and the DMRG accuracy is strongly affected by the large entanglement of the gapless (metallic) ground state. One interesting aspect is to understand whether a so-called Luther-Emery phase Luther and Emery (1974), namely a metal with gapped spin excitations, may ever emerge when do** the Peierls insulator. In this respect, analytic and numerical works demonstrated that the Luther-Emery liquid appears in the doped two-leg ladder Hubbard model (with no phonons) Fabrizio (1996); Daul and Noack (1998); Nishimoto et al. (2008); Balents and Fisher (1996); Shen et al. (2023). Its existence is triggered by the presence of multiple Fermi points in the non-interacting band structure, as discussed in weak-coupling approaches Fabrizio (1996); Balents and Fisher (1996). For example, in the one-dimensional Hubbard model with both nearest- (t𝑡titalic_t) and next-nearest-neighbor (tsuperscript𝑡t^{\prime}italic_t start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT) hop**, a metallic phase with gapped spin excitations emerges by lightly do** the dimerized insulator found at t>t/2superscript𝑡𝑡2t^{\prime}>t/2italic_t start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT > italic_t / 2 Fabrizio (1996); Daul and Noack (1998); Nishimoto et al. (2008). By analogy, one could expect that the same phase could appear upon do** the (dimerized) Peierls insulator stabilized by the electron-phonon interaction. An early work Yonemitsu and Imada (1996), based upon bosonization and renormalization-group methods, indeed showed that a spin-gapped metal emerges close to half-filling due to the phonon-assisted backward scattering. More recently, both static and dynamical properties have been addressed by DMRG Banerjee et al. (2023). However, a single electron density n𝑛nitalic_n has been considered, relatively far away from half-filling (i.e., n=0.75𝑛0.75n=0.75italic_n = 0.75), and Luttinger-liquid properties are observed, with gapless charge and spin degrees of freedom.

In this work, we study the one-dimensional Hubbard-SSH model by means of a variational Monte Carlo approach (VMC). We employ a variational wave function composed of three terms: the first one is a simple phonon condensate, which can give rise to a staggered (dimerized) pattern of the lattice displacements; the second one is a Bardeen-Cooper-Schrieffer (BCS) state; the last one is a Jastrow factor, which includes electron-electron, phonon-phonon, and electron-phonon correlations. The main novelty of the variational Ansatz resides in the inclusion of “backflow” correlations within the BCS wave function, through an auxiliary BCS Hamiltonian which explicitly depends upon the phonon coordinates. We present a detailed analysis of the SSH model in presence of a local Hubbard interaction, both at half-filling and for various hole do**. At half-filling, the ground state is either a Mott or a Peierls insulator, depending on the values of the e-e and e-ph couplings, in agreement with previous calculations Sengupta et al. (2003); Pearson et al. (2011); Weber et al. (2015). The central part of our work concerns the doped case, where metallic states appear. In fact, while do** a Mott insulator gives rise to a standard Luttinger liquid, similarly to what happens in the Hubbard model without phonons, in a lightly doped Peierls insulator the spin gap remains finite, thus stabilising a Luther-Emery liquid, which has never been noticed in this kind of coupled electron-phonon problems.

The rest of the paper is structured as follows. In Sec. II, we introduce the model and discuss the form of the variational Ansatz, with backflow correlations. In Sec. III, we give a benchmark for the accuracy of our wave function against DMRG results, then we show the results at half-filling and upon do**; finally, in Sec. IV, we draw our conclusions and perspectives for future works.

II Model and method

II.1 The electron-phonon Hamiltonian

We consider a one-dimensional electron-phonon system in which, besides the onsite Hubbard interaction, the electron hop** is modulated by the phonon displacements and harmonic oscillators are located on each site of the lattice (modeling optical phonons):

^^\displaystyle\hat{\cal H}over^ start_ARG caligraphic_H end_ARG =\displaystyle== ti,σ[1α(x^i+1x^i)]c^i,σc^i+1,σ+h.c.formulae-sequence𝑡subscript𝑖𝜎delimited-[]1𝛼subscript^𝑥𝑖1subscript^𝑥𝑖subscriptsuperscript^𝑐𝑖𝜎subscriptsuperscript^𝑐absent𝑖1𝜎hc\displaystyle-t\sum_{i,\sigma}\left[1-\alpha\left(\hat{x}_{i+1}-\hat{x}_{i}% \right)\right]\hat{c}^{\dagger}_{i,\sigma}\hat{c}^{\phantom{\dagger}}_{i+1,% \sigma}+{\rm h.c.}- italic_t ∑ start_POSTSUBSCRIPT italic_i , italic_σ end_POSTSUBSCRIPT [ 1 - italic_α ( over^ start_ARG italic_x end_ARG start_POSTSUBSCRIPT italic_i + 1 end_POSTSUBSCRIPT - over^ start_ARG italic_x end_ARG start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ) ] over^ start_ARG italic_c end_ARG start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i , italic_σ end_POSTSUBSCRIPT over^ start_ARG italic_c end_ARG start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i + 1 , italic_σ end_POSTSUBSCRIPT + roman_h . roman_c . (1)
+\displaystyle++ Uin^i,n^i,+i(p^i22m+12mω2x^i2).𝑈subscript𝑖subscript^𝑛𝑖subscript^𝑛𝑖subscript𝑖superscriptsubscript^𝑝𝑖22𝑚12𝑚superscript𝜔2superscriptsubscript^𝑥𝑖2\displaystyle U\sum_{i}\hat{n}_{i,\uparrow}\hat{n}_{i,\downarrow}+\sum_{i}% \left(\frac{\hat{p}_{i}^{2}}{2m}+\frac{1}{2}m\omega^{2}\hat{x}_{i}^{2}\right).italic_U ∑ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT over^ start_ARG italic_n end_ARG start_POSTSUBSCRIPT italic_i , ↑ end_POSTSUBSCRIPT over^ start_ARG italic_n end_ARG start_POSTSUBSCRIPT italic_i , ↓ end_POSTSUBSCRIPT + ∑ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ( divide start_ARG over^ start_ARG italic_p end_ARG start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 italic_m end_ARG + divide start_ARG 1 end_ARG start_ARG 2 end_ARG italic_m italic_ω start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT over^ start_ARG italic_x end_ARG start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) .

The operator c^i,σsubscriptsuperscript^𝑐𝑖𝜎\hat{c}^{\dagger}_{i,\sigma}over^ start_ARG italic_c end_ARG start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i , italic_σ end_POSTSUBSCRIPT (c^i,σsubscriptsuperscript^𝑐absent𝑖𝜎\hat{c}^{\phantom{\dagger}}_{i,\sigma}over^ start_ARG italic_c end_ARG start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i , italic_σ end_POSTSUBSCRIPT) creates (destroys) an electron on site i𝑖iitalic_i with spin σ𝜎\sigmaitalic_σ, n^i,σ=c^i,σc^i,σsubscript^𝑛𝑖𝜎subscriptsuperscript^𝑐𝑖𝜎subscriptsuperscript^𝑐absent𝑖𝜎\hat{n}_{i,\sigma}=\hat{c}^{\dagger}_{i,\sigma}\hat{c}^{\phantom{\dagger}}_{i,\sigma}over^ start_ARG italic_n end_ARG start_POSTSUBSCRIPT italic_i , italic_σ end_POSTSUBSCRIPT = over^ start_ARG italic_c end_ARG start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i , italic_σ end_POSTSUBSCRIPT over^ start_ARG italic_c end_ARG start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i , italic_σ end_POSTSUBSCRIPT is the density (per spin) at site i𝑖iitalic_i, and x^isubscript^𝑥𝑖\hat{x}_{i}over^ start_ARG italic_x end_ARG start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT and p^isubscript^𝑝𝑖\hat{p}_{i}over^ start_ARG italic_p end_ARG start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT are the position and momentum operators of the phonons, which satisfy the usual commutation relation:

[x^j,p^k]=iδjk.subscript^𝑥𝑗subscript^𝑝𝑘𝑖Planck-constant-over-2-pisubscript𝛿𝑗𝑘\left[\hat{x}_{j},\hat{p}_{k}\right]=i\hbar\delta_{jk}.[ over^ start_ARG italic_x end_ARG start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT , over^ start_ARG italic_p end_ARG start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ] = italic_i roman_ℏ italic_δ start_POSTSUBSCRIPT italic_j italic_k end_POSTSUBSCRIPT . (2)

Here, we define dimensionless displacement and momentum operators by the following canonical transformation:

X^i=mωx^iP^i=1mωp^i,formulae-sequencesubscript^𝑋𝑖𝑚𝜔Planck-constant-over-2-pisubscript^𝑥𝑖subscript^𝑃𝑖1𝑚𝜔Planck-constant-over-2-pisubscript^𝑝𝑖\hat{X}_{i}=\sqrt{\frac{m\omega}{\hbar}}\hat{x}_{i}\qquad\qquad\hat{P}_{i}=% \sqrt{\frac{1}{m\omega\hbar}}\hat{p}_{i},over^ start_ARG italic_X end_ARG start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT = square-root start_ARG divide start_ARG italic_m italic_ω end_ARG start_ARG roman_ℏ end_ARG end_ARG over^ start_ARG italic_x end_ARG start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT over^ start_ARG italic_P end_ARG start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT = square-root start_ARG divide start_ARG 1 end_ARG start_ARG italic_m italic_ω roman_ℏ end_ARG end_ARG over^ start_ARG italic_p end_ARG start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT , (3)

such that

[X^i,P^i]=i.subscript^𝑋𝑖subscript^𝑃𝑖𝑖\left[\hat{X}_{i},\hat{P}_{i}\right]=i.[ over^ start_ARG italic_X end_ARG start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT , over^ start_ARG italic_P end_ARG start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ] = italic_i . (4)

Therefore, the Hamiltonian becomes:

^^\displaystyle\hat{\cal H}over^ start_ARG caligraphic_H end_ARG =\displaystyle== ti,σ[1α~(X^i+1X^i)]c^i,σc^i+1,σ+h.c.formulae-sequence𝑡subscript𝑖𝜎delimited-[]1~𝛼subscript^𝑋𝑖1subscript^𝑋𝑖subscriptsuperscript^𝑐𝑖𝜎subscriptsuperscript^𝑐absent𝑖1𝜎hc\displaystyle-t\sum_{i,\sigma}\left[1-\tilde{\alpha}\left(\hat{X}_{i+1}-\hat{X% }_{i}\right)\right]\hat{c}^{\dagger}_{i,\sigma}\hat{c}^{\phantom{\dagger}}_{i+% 1,\sigma}+{\rm h.c.}- italic_t ∑ start_POSTSUBSCRIPT italic_i , italic_σ end_POSTSUBSCRIPT [ 1 - over~ start_ARG italic_α end_ARG ( over^ start_ARG italic_X end_ARG start_POSTSUBSCRIPT italic_i + 1 end_POSTSUBSCRIPT - over^ start_ARG italic_X end_ARG start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ) ] over^ start_ARG italic_c end_ARG start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i , italic_σ end_POSTSUBSCRIPT over^ start_ARG italic_c end_ARG start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i + 1 , italic_σ end_POSTSUBSCRIPT + roman_h . roman_c . (5)
+\displaystyle++ Uin^i,n^i,+ω2i[P^i2+X^i2],𝑈subscript𝑖subscript^𝑛𝑖subscript^𝑛𝑖Planck-constant-over-2-pi𝜔2subscript𝑖delimited-[]superscriptsubscript^𝑃𝑖2superscriptsubscript^𝑋𝑖2\displaystyle U\sum_{i}\hat{n}_{i,\uparrow}\hat{n}_{i,\downarrow}+\frac{\hbar% \omega}{2}\sum_{i}\left[\hat{P}_{i}^{2}+\hat{X}_{i}^{2}\right],italic_U ∑ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT over^ start_ARG italic_n end_ARG start_POSTSUBSCRIPT italic_i , ↑ end_POSTSUBSCRIPT over^ start_ARG italic_n end_ARG start_POSTSUBSCRIPT italic_i , ↓ end_POSTSUBSCRIPT + divide start_ARG roman_ℏ italic_ω end_ARG start_ARG 2 end_ARG ∑ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT [ over^ start_ARG italic_P end_ARG start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + over^ start_ARG italic_X end_ARG start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ] ,

where α~=αmω~𝛼𝛼Planck-constant-over-2-pi𝑚𝜔\tilde{\alpha}=\alpha\sqrt{\frac{\hbar}{m\omega}}over~ start_ARG italic_α end_ARG = italic_α square-root start_ARG divide start_ARG roman_ℏ end_ARG start_ARG italic_m italic_ω end_ARG end_ARG is the rescaled, dimensionless e-ph coupling. An important (dimensionless) parameter to quantify the e-ph interaction is

λ=tα2mω2=tα~2ω𝜆𝑡superscript𝛼2𝑚superscript𝜔2𝑡superscript~𝛼2Planck-constant-over-2-pi𝜔\lambda=\frac{\displaystyle t\alpha^{2}}{\displaystyle m\omega^{2}}=\frac{% \displaystyle t\tilde{\alpha}^{2}}{\displaystyle\hbar\omega}italic_λ = divide start_ARG italic_t italic_α start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_m italic_ω start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG = divide start_ARG italic_t over~ start_ARG italic_α end_ARG start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG roman_ℏ italic_ω end_ARG (6)

After this procedure, the mass of the phonons has been completely reabsorbed. In the following, we will take t𝑡titalic_t the energy scale and fix ω=tPlanck-constant-over-2-pi𝜔𝑡\hbar\omega=troman_ℏ italic_ω = italic_t. Different values of the phonon energy have also been considered, without affecting the qualitative results.

Refer to caption
Figure 1: Accuracy of the variational energy with respect to DMRG results ϵ=(EEDMRG)/|EDMRG|italic-ϵ𝐸subscript𝐸DMRGsubscript𝐸DMRG\epsilon=(E-E_{\rm DMRG})/|E_{\rm DMRG}|italic_ϵ = ( italic_E - italic_E start_POSTSUBSCRIPT roman_DMRG end_POSTSUBSCRIPT ) / | italic_E start_POSTSUBSCRIPT roman_DMRG end_POSTSUBSCRIPT | on L=50𝐿50L=50italic_L = 50 sites. The simplest wave function, for which the electronic part is obtained from the auxiliary Hamiltonian (11), is denoted by blue points; the best one with backflow correlations generated by Eq. (12), is denoted by orange points; an intermediate case, with backflow correlations, but without electron-phonon Jastrow factor 𝒥epsubscript𝒥ep{\cal J}_{\rm ep}caligraphic_J start_POSTSUBSCRIPT roman_ep end_POSTSUBSCRIPT, is also reported for comparison (green points). Results are shown for U/t=4𝑈𝑡4U/t=4italic_U / italic_t = 4 (upper panel) and U/t=10𝑈𝑡10U/t=10italic_U / italic_t = 10 (lower panel), as a function of λ𝜆\lambdaitalic_λ.

II.2 The variational wave function

In order to get insights into the ground-state properties of the Hubbard-SSH model of Eq. (5), we define a variational Ansatz that is the product of Jastrow factors (𝒥eesubscript𝒥ee{\cal J}_{\rm ee}caligraphic_J start_POSTSUBSCRIPT roman_ee end_POSTSUBSCRIPT, 𝒥ppsubscript𝒥pp{\cal J}_{\rm pp}caligraphic_J start_POSTSUBSCRIPT roman_pp end_POSTSUBSCRIPT, and 𝒥epsubscript𝒥𝑒𝑝{\cal J}_{ep}caligraphic_J start_POSTSUBSCRIPT italic_e italic_p end_POSTSUBSCRIPT), a phonon state (|ΨpketsubscriptΨp|\Psi_{\rm p}\rangle| roman_Ψ start_POSTSUBSCRIPT roman_p end_POSTSUBSCRIPT ⟩), and an electronic state that depends parametrically on the phonon displacements (|ΨeketsubscriptΨe|\Psi_{\rm e}\rangle| roman_Ψ start_POSTSUBSCRIPT roman_e end_POSTSUBSCRIPT ⟩):

|Ψvar=𝒥ee𝒥pp𝒥ep|Ψp|Ψe.ketsubscriptΨvartensor-productsubscript𝒥eesubscript𝒥ppsubscript𝒥epketsubscriptΨpketsubscriptΨe|\Psi_{\rm var}\rangle={\cal J}_{\rm ee}{\cal J}_{\rm pp}{\cal J}_{\rm ep}|% \Psi_{\rm p}\rangle\otimes|\Psi_{\rm e}\rangle.| roman_Ψ start_POSTSUBSCRIPT roman_var end_POSTSUBSCRIPT ⟩ = caligraphic_J start_POSTSUBSCRIPT roman_ee end_POSTSUBSCRIPT caligraphic_J start_POSTSUBSCRIPT roman_pp end_POSTSUBSCRIPT caligraphic_J start_POSTSUBSCRIPT roman_ep end_POSTSUBSCRIPT | roman_Ψ start_POSTSUBSCRIPT roman_p end_POSTSUBSCRIPT ⟩ ⊗ | roman_Ψ start_POSTSUBSCRIPT roman_e end_POSTSUBSCRIPT ⟩ . (7)

The variational energy Evarsubscript𝐸varE_{\rm var}italic_E start_POSTSUBSCRIPT roman_var end_POSTSUBSCRIPT is evaluated by performing a Markov chain in the Hilbert space with both electron and phonon configurations |X;nσ=|X|nσ=j|Xj|nj,σket𝑋subscript𝑛𝜎tensor-productket𝑋ketsubscript𝑛𝜎subscripttensor-product𝑗tensor-productketsubscript𝑋𝑗ketsubscript𝑛𝑗𝜎|X;n_{\sigma}\rangle=|X\rangle\otimes|n_{\sigma}\rangle=\bigotimes_{j}|X_{j}% \rangle\otimes|n_{j,\sigma}\rangle| italic_X ; italic_n start_POSTSUBSCRIPT italic_σ end_POSTSUBSCRIPT ⟩ = | italic_X ⟩ ⊗ | italic_n start_POSTSUBSCRIPT italic_σ end_POSTSUBSCRIPT ⟩ = ⨂ start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT | italic_X start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ⟩ ⊗ | italic_n start_POSTSUBSCRIPT italic_j , italic_σ end_POSTSUBSCRIPT ⟩, i.e., in the local eigenbasis of the X^jsubscript^𝑋𝑗\hat{X}_{j}over^ start_ARG italic_X end_ARG start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT (phonon) and n^j,σsubscript^𝑛𝑗𝜎\hat{n}_{j,\sigma}over^ start_ARG italic_n end_ARG start_POSTSUBSCRIPT italic_j , italic_σ end_POSTSUBSCRIPT operators on each lattice site j𝑗jitalic_j. Specifically,

Evarsubscript𝐸var\displaystyle E_{\rm var}italic_E start_POSTSUBSCRIPT roman_var end_POSTSUBSCRIPT =Ψvar|^|ΨvarΨvar|Ψvar=absentquantum-operator-productsubscriptΨvar^subscriptΨvarinner-productsubscriptΨvarsubscriptΨvarabsent\displaystyle=\frac{\langle\Psi_{\rm var}|\hat{\cal H}|\Psi_{\rm var}\rangle}{% \langle\Psi_{\rm var}|\Psi_{\rm var}\rangle}== divide start_ARG ⟨ roman_Ψ start_POSTSUBSCRIPT roman_var end_POSTSUBSCRIPT | over^ start_ARG caligraphic_H end_ARG | roman_Ψ start_POSTSUBSCRIPT roman_var end_POSTSUBSCRIPT ⟩ end_ARG start_ARG ⟨ roman_Ψ start_POSTSUBSCRIPT roman_var end_POSTSUBSCRIPT | roman_Ψ start_POSTSUBSCRIPT roman_var end_POSTSUBSCRIPT ⟩ end_ARG =
=nσ𝑑X|X;nσ|Ψvar|2Ψvar|Ψvar𝒫(X;nσ)X;nσ|^|ΨvarX;nσ|ΨvareL(X;nσ),absentsubscriptsubscript𝑛𝜎differential-d𝑋subscriptsuperscriptinner-product𝑋subscript𝑛𝜎subscriptΨvar2inner-productsubscriptΨvarsubscriptΨvar𝒫𝑋subscript𝑛𝜎subscriptquantum-operator-product𝑋subscript𝑛𝜎^subscriptΨvarinner-product𝑋subscript𝑛𝜎subscriptΨvarsubscript𝑒𝐿𝑋subscript𝑛𝜎\displaystyle=\sum_{n_{\sigma}}\int dX\,\underbrace{\frac{|\langle X;n_{\sigma% }|\Psi_{\rm var}\rangle|^{2}}{\langle\Psi_{\rm var}|\Psi_{\rm var}\rangle}}_{{% \cal P}(X;n_{\sigma})}\,\underbrace{\frac{\langle X;n_{\sigma}|\hat{\cal H}|% \Psi_{\rm var}\rangle}{\langle X;n_{\sigma}|\Psi_{\rm var}\rangle}}_{e_{L}(X;n% _{\sigma})}\;,= ∑ start_POSTSUBSCRIPT italic_n start_POSTSUBSCRIPT italic_σ end_POSTSUBSCRIPT end_POSTSUBSCRIPT ∫ italic_d italic_X under⏟ start_ARG divide start_ARG | ⟨ italic_X ; italic_n start_POSTSUBSCRIPT italic_σ end_POSTSUBSCRIPT | roman_Ψ start_POSTSUBSCRIPT roman_var end_POSTSUBSCRIPT ⟩ | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG ⟨ roman_Ψ start_POSTSUBSCRIPT roman_var end_POSTSUBSCRIPT | roman_Ψ start_POSTSUBSCRIPT roman_var end_POSTSUBSCRIPT ⟩ end_ARG end_ARG start_POSTSUBSCRIPT caligraphic_P ( italic_X ; italic_n start_POSTSUBSCRIPT italic_σ end_POSTSUBSCRIPT ) end_POSTSUBSCRIPT under⏟ start_ARG divide start_ARG ⟨ italic_X ; italic_n start_POSTSUBSCRIPT italic_σ end_POSTSUBSCRIPT | over^ start_ARG caligraphic_H end_ARG | roman_Ψ start_POSTSUBSCRIPT roman_var end_POSTSUBSCRIPT ⟩ end_ARG start_ARG ⟨ italic_X ; italic_n start_POSTSUBSCRIPT italic_σ end_POSTSUBSCRIPT | roman_Ψ start_POSTSUBSCRIPT roman_var end_POSTSUBSCRIPT ⟩ end_ARG end_ARG start_POSTSUBSCRIPT italic_e start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT ( italic_X ; italic_n start_POSTSUBSCRIPT italic_σ end_POSTSUBSCRIPT ) end_POSTSUBSCRIPT , (8)

where the sum extends over all electron configurations and the integral is over all phonon displacements. Along the Markov process, a set of configurations (X;nσ)msubscript𝑋subscript𝑛𝜎𝑚(X;n_{\sigma})_{m}( italic_X ; italic_n start_POSTSUBSCRIPT italic_σ end_POSTSUBSCRIPT ) start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT (with m=1,,M𝑚1𝑀m=1,\dots,Mitalic_m = 1 , … , italic_M) are drawn according to the probability 𝒫(X;nσ)𝒫𝑋subscript𝑛𝜎{\cal P}(X;n_{\sigma})caligraphic_P ( italic_X ; italic_n start_POSTSUBSCRIPT italic_σ end_POSTSUBSCRIPT ) by using the Metropolis algorithm, which allows us to estimate the variational energy as:

Evar1Mm=1MeL(X;nσ)m.subscript𝐸var1𝑀superscriptsubscript𝑚1𝑀subscript𝑒𝐿subscript𝑋subscript𝑛𝜎𝑚E_{\rm var}\approx\frac{1}{M}\sum_{m=1}^{M}e_{L}(X;n_{\sigma})_{m}.italic_E start_POSTSUBSCRIPT roman_var end_POSTSUBSCRIPT ≈ divide start_ARG 1 end_ARG start_ARG italic_M end_ARG ∑ start_POSTSUBSCRIPT italic_m = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_M end_POSTSUPERSCRIPT italic_e start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT ( italic_X ; italic_n start_POSTSUBSCRIPT italic_σ end_POSTSUBSCRIPT ) start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT . (9)

The Metropolis move includes either single or double (spin flip) electron hop** at nearest-neighbor sites and local updates of the displacements XjXj+Δmaps-tosubscript𝑋𝑗subscript𝑋𝑗ΔX_{j}\mapsto X_{j}+\Deltaitalic_X start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ↦ italic_X start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT + roman_Δ, with ΔΔ\Deltaroman_Δ uniformly distributed within the interval [Δmax,Δmax]subscriptΔmaxsubscriptΔmax[-\Delta_{\rm max},\Delta_{\rm max}][ - roman_Δ start_POSTSUBSCRIPT roman_max end_POSTSUBSCRIPT , roman_Δ start_POSTSUBSCRIPT roman_max end_POSTSUBSCRIPT ].

Let us now discuss the specific construction of the variational wave function that is used in this work. In previous works Watanabe et al. (2015); Karakuzu et al. (2017); Ferrari et al. (2024), the electronic part has been taken as a pair-product state:

|Ψe=exp(i,jfi,jc^i,c^j,)|0,ketsubscriptΨesubscript𝑖𝑗subscript𝑓𝑖𝑗superscriptsubscript^𝑐𝑖superscriptsubscript^𝑐𝑗ket0|\Psi_{\rm e}\rangle=\exp\left(\sum_{i,j}f_{i,j}\hat{c}_{i,\uparrow}^{\dagger}% \hat{c}_{j,\downarrow}^{\dagger}\right)|0\rangle,| roman_Ψ start_POSTSUBSCRIPT roman_e end_POSTSUBSCRIPT ⟩ = roman_exp ( ∑ start_POSTSUBSCRIPT italic_i , italic_j end_POSTSUBSCRIPT italic_f start_POSTSUBSCRIPT italic_i , italic_j end_POSTSUBSCRIPT over^ start_ARG italic_c end_ARG start_POSTSUBSCRIPT italic_i , ↑ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT over^ start_ARG italic_c end_ARG start_POSTSUBSCRIPT italic_j , ↓ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT ) | 0 ⟩ , (10)

which can be obtained from the ground state of an auxiliary BCS Hamiltonian:

^0subscript^0\displaystyle\hat{\cal H}_{0}over^ start_ARG caligraphic_H end_ARG start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT =\displaystyle== i,j,σtijc^i,σc^j,σ+μi,σc^i,σc^i,σsubscript𝑖𝑗𝜎subscript𝑡𝑖𝑗subscriptsuperscript^𝑐𝑖𝜎subscriptsuperscript^𝑐absent𝑗𝜎𝜇subscript𝑖𝜎subscriptsuperscript^𝑐𝑖𝜎subscriptsuperscript^𝑐absent𝑖𝜎\displaystyle\sum_{i,j,\sigma}t_{ij}\hat{c}^{\dagger}_{i,\sigma}\hat{c}^{% \phantom{\dagger}}_{j,\sigma}+\mu\sum_{i,\sigma}\hat{c}^{\dagger}_{i,\sigma}% \hat{c}^{\phantom{\dagger}}_{i,\sigma}∑ start_POSTSUBSCRIPT italic_i , italic_j , italic_σ end_POSTSUBSCRIPT italic_t start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT over^ start_ARG italic_c end_ARG start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i , italic_σ end_POSTSUBSCRIPT over^ start_ARG italic_c end_ARG start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_j , italic_σ end_POSTSUBSCRIPT + italic_μ ∑ start_POSTSUBSCRIPT italic_i , italic_σ end_POSTSUBSCRIPT over^ start_ARG italic_c end_ARG start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i , italic_σ end_POSTSUBSCRIPT over^ start_ARG italic_c end_ARG start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i , italic_σ end_POSTSUBSCRIPT (11)
+\displaystyle++ i,jΔijc^i,c^j,+h.c.,subscript𝑖𝑗subscriptΔ𝑖𝑗subscriptsuperscript^𝑐𝑖subscriptsuperscript^𝑐𝑗h.c.\displaystyle\sum_{i,j}\Delta_{ij}\hat{c}^{\dagger}_{i,\uparrow}\hat{c}^{% \dagger}_{j,\downarrow}+\textit{h.c.},∑ start_POSTSUBSCRIPT italic_i , italic_j end_POSTSUBSCRIPT roman_Δ start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT over^ start_ARG italic_c end_ARG start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i , ↑ end_POSTSUBSCRIPT over^ start_ARG italic_c end_ARG start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_j , ↓ end_POSTSUBSCRIPT + h.c. ,

where the hop** (tij=tjisubscript𝑡𝑖𝑗subscriptsuperscript𝑡𝑗𝑖t_{ij}=t^{*}_{ji}italic_t start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT = italic_t start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_j italic_i end_POSTSUBSCRIPT) and pairing (Δij=ΔjisubscriptΔ𝑖𝑗subscriptΔ𝑗𝑖\Delta_{ij}=\Delta_{ji}roman_Δ start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT = roman_Δ start_POSTSUBSCRIPT italic_j italic_i end_POSTSUBSCRIPT) amplitudes are variational parameters, as well as the chemical potential μ𝜇\muitalic_μ. Alternatively, it is possible to optimize directly the pairing function fi,jsubscript𝑓𝑖𝑗f_{i,j}italic_f start_POSTSUBSCRIPT italic_i , italic_j end_POSTSUBSCRIPT, without passing through the definition of the auxiliary Hamiltonian Ohgoe and Imada (2017). Within these approaches, the electronic wave function does not depend upon the phonon displacements, e.g., the pairing function does not change along the Markov chain, once the variational parameters are kept fixed.

Here, we generalize this construction, by taking an auxiliary Hamiltonian that parametrically depends upon the phonon displacements:

^epsubscript^ep\displaystyle\hat{\cal H}_{\rm ep}over^ start_ARG caligraphic_H end_ARG start_POSTSUBSCRIPT roman_ep end_POSTSUBSCRIPT =\displaystyle== ^0+i,m,σgm(Xi+mXi)c^i,σc^i+m,σsubscript^0subscript𝑖𝑚𝜎subscript𝑔𝑚subscript𝑋𝑖𝑚subscript𝑋𝑖subscriptsuperscript^𝑐𝑖𝜎subscriptsuperscript^𝑐absent𝑖𝑚𝜎\displaystyle\hat{\cal H}_{0}+\sum_{i,m,\sigma}g_{m}\left(X_{i+m}-X_{i}\right)% \hat{c}^{\dagger}_{i,\sigma}\hat{c}^{\phantom{\dagger}}_{i+m,\sigma}over^ start_ARG caligraphic_H end_ARG start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT + ∑ start_POSTSUBSCRIPT italic_i , italic_m , italic_σ end_POSTSUBSCRIPT italic_g start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT ( italic_X start_POSTSUBSCRIPT italic_i + italic_m end_POSTSUBSCRIPT - italic_X start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ) over^ start_ARG italic_c end_ARG start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i , italic_σ end_POSTSUBSCRIPT over^ start_ARG italic_c end_ARG start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i + italic_m , italic_σ end_POSTSUBSCRIPT (12)
+\displaystyle++ i,mhm(Xi+mXi)c^i,c^i+m,+h.c.,subscript𝑖𝑚subscript𝑚subscript𝑋𝑖𝑚subscript𝑋𝑖subscriptsuperscript^𝑐𝑖subscriptsuperscript^𝑐𝑖𝑚h.c.\displaystyle\sum_{i,m}h_{m}\left(X_{i+m}-X_{i}\right)\hat{c}^{\dagger}_{i,% \uparrow}\hat{c}^{\dagger}_{i+m,\downarrow}+\textit{h.c.},∑ start_POSTSUBSCRIPT italic_i , italic_m end_POSTSUBSCRIPT italic_h start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT ( italic_X start_POSTSUBSCRIPT italic_i + italic_m end_POSTSUBSCRIPT - italic_X start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ) over^ start_ARG italic_c end_ARG start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i , ↑ end_POSTSUBSCRIPT over^ start_ARG italic_c end_ARG start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i + italic_m , ↓ end_POSTSUBSCRIPT + h.c. ,

where gm=gmsubscript𝑔𝑚subscript𝑔𝑚g_{m}=g_{-m}italic_g start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT = italic_g start_POSTSUBSCRIPT - italic_m end_POSTSUBSCRIPT and hm=hmsubscript𝑚subscript𝑚h_{m}=-h_{-m}italic_h start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT = - italic_h start_POSTSUBSCRIPT - italic_m end_POSTSUBSCRIPT are variational parameters for m=±1𝑚plus-or-minus1m=\pm 1italic_m = ± 1 and ±3plus-or-minus3\pm 3± 3 (suitable for a possible bond dimerization) and {Xj}subscript𝑋𝑗\{X_{j}\}{ italic_X start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT } are the phonon displacements in the configuration |Xket𝑋|X\rangle| italic_X ⟩ visited along the Markov chain. In this way, X;nσ|Ψeinner-product𝑋subscript𝑛𝜎subscriptΨe\langle X;n_{\sigma}|\Psi_{\rm e}\rangle⟨ italic_X ; italic_n start_POSTSUBSCRIPT italic_σ end_POSTSUBSCRIPT | roman_Ψ start_POSTSUBSCRIPT roman_e end_POSTSUBSCRIPT ⟩ depends upon the actual phonon configuration. In this sense, a sort of “backflow” correlations are included in the electronic part of the variational wave function. In the standard case on the continuum, the effective position of every electron (from which the Slater determinant is constructed) depends on all the other ones Feynman and Cohen (1956); Lee et al. (1981); Schmidt et al. (1981); on the lattice, this approach has been extended by constructing single-particle orbitals or pairing functions that explicitly depend upon the many-body electron configuration Tocchio et al. (2008, 2011). Here, instead, backflow correlations involve electrons and phonons.

The phonon part has the same form as used in Ref. Ferrari et al. (2024):

X|Ψp=jexp{12[Xj(1)jz]2},inner-product𝑋subscriptΨpsubscriptproduct𝑗12superscriptdelimited-[]subscript𝑋𝑗superscript1𝑗𝑧2\langle X|\Psi_{\rm p}\rangle=\prod_{j}\exp{\left\{-\frac{1}{2}\left[X_{j}-(-1% )^{j}z\right]^{2}\right\}},⟨ italic_X | roman_Ψ start_POSTSUBSCRIPT roman_p end_POSTSUBSCRIPT ⟩ = ∏ start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT roman_exp { - divide start_ARG 1 end_ARG start_ARG 2 end_ARG [ italic_X start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT - ( - 1 ) start_POSTSUPERSCRIPT italic_j end_POSTSUPERSCRIPT italic_z ] start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT } , (13)

where the single variational parameter (z𝑧zitalic_z) determines the staggered phonon displacement.

Within the simple approach, where the electronic state is obtained from the BCS Hamiltonian (11) (i.e., without backflow correlations), the Peierls instability is also accompanied by a breaking of the translational symmetry in the hop** tijsubscript𝑡𝑖𝑗t_{ij}italic_t start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT and pairing ΔijsubscriptΔ𝑖𝑗\Delta_{ij}roman_Δ start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT parameters, which may give a considerable energy gain (with respect to the uniform case), when the phonon parameter z𝑧zitalic_z becomes finite. The staggered intensity of hop** (and pairing) is necessary to get the correct periodicity in the electronic correlations. By contrast, within the extended framework of the auxiliary Hamiltonian (12), it is not necessary to break the translational symmetry in the electronic part of the wave function to obtain accurate correlation functions.

Finally, the e-e and e-ph correlations are included by standard Jastrow factors Ohgoe and Imada (2017); Ferrari et al. (2024):

𝒥eesubscript𝒥ee\displaystyle{\cal J}_{\rm ee}caligraphic_J start_POSTSUBSCRIPT roman_ee end_POSTSUBSCRIPT =\displaystyle== exp{12i,jvij(ni1)(nj1)},12subscript𝑖𝑗subscript𝑣𝑖𝑗subscript𝑛𝑖1subscript𝑛𝑗1\displaystyle\exp{\left\{\frac{1}{2}\sum_{i,j}v_{ij}(n_{i}-1)(n_{j}-1)\right\}},roman_exp { divide start_ARG 1 end_ARG start_ARG 2 end_ARG ∑ start_POSTSUBSCRIPT italic_i , italic_j end_POSTSUBSCRIPT italic_v start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT ( italic_n start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT - 1 ) ( italic_n start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT - 1 ) } , (14)
𝒥ppsubscript𝒥pp\displaystyle{\cal J}_{\rm pp}caligraphic_J start_POSTSUBSCRIPT roman_pp end_POSTSUBSCRIPT =\displaystyle== exp{12i,juijXiXj},12subscript𝑖𝑗subscript𝑢𝑖𝑗subscript𝑋𝑖subscript𝑋𝑗\displaystyle\exp{\left\{\frac{1}{2}\sum_{i,j}u_{ij}X_{i}X_{j}\right\}},roman_exp { divide start_ARG 1 end_ARG start_ARG 2 end_ARG ∑ start_POSTSUBSCRIPT italic_i , italic_j end_POSTSUBSCRIPT italic_u start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT italic_X start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT italic_X start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT } , (15)
𝒥epsubscript𝒥ep\displaystyle{\cal J}_{\rm ep}caligraphic_J start_POSTSUBSCRIPT roman_ep end_POSTSUBSCRIPT =\displaystyle== exp{i,jwij(ni1)(nj1)(XiXj)},subscript𝑖𝑗subscript𝑤𝑖𝑗subscript𝑛𝑖1subscript𝑛𝑗1subscript𝑋𝑖subscript𝑋𝑗\displaystyle\exp{\left\{\sum_{i,j}w_{ij}(n_{i}-1)(n_{j}-1)(X_{i}-X_{j})\right% \}},\hskip 11.38092ptroman_exp { ∑ start_POSTSUBSCRIPT italic_i , italic_j end_POSTSUBSCRIPT italic_w start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT ( italic_n start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT - 1 ) ( italic_n start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT - 1 ) ( italic_X start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT - italic_X start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ) } , (16)

where the pseudo-potentials vijsubscript𝑣𝑖𝑗v_{ij}italic_v start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT, uijsubscript𝑢𝑖𝑗u_{ij}italic_u start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT, and wijsubscript𝑤𝑖𝑗w_{ij}italic_w start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT are treated as variational parameters. It turns out that the optimal energy is obtained by imposing both translation and reflection symmetries, with vji=vijsubscript𝑣𝑗𝑖subscript𝑣𝑖𝑗v_{ji}=v_{ij}italic_v start_POSTSUBSCRIPT italic_j italic_i end_POSTSUBSCRIPT = italic_v start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT, uji=uijsubscript𝑢𝑗𝑖subscript𝑢𝑖𝑗u_{ji}=u_{ij}italic_u start_POSTSUBSCRIPT italic_j italic_i end_POSTSUBSCRIPT = italic_u start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT, and wji=wijsubscript𝑤𝑗𝑖subscript𝑤𝑖𝑗w_{ji}=-w_{ij}italic_w start_POSTSUBSCRIPT italic_j italic_i end_POSTSUBSCRIPT = - italic_w start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT. The density-density Jastrow factor is particularly relevant to describe the Mott insulating phase, in which the Fourier transform of the pseudo-potential vq1/q2subscript𝑣𝑞1superscript𝑞2v_{q}\approx 1/q^{2}italic_v start_POSTSUBSCRIPT italic_q end_POSTSUBSCRIPT ≈ 1 / italic_q start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT for small momenta q𝑞qitalic_q Capello et al. (2005).

In the following, we consider clusters with L𝐿Litalic_L sites and periodic-boundary conditions. All the variational parameters of the variational wave function are optimized by using the stochastic reconfiguration approach Sorella (2005); Becca and Sorella (2017). Our variational wave function is implemented in a JAX-based code Bradbury et al. (2018) that runs on parallel CPUs thanks to mpi4jax Häfner and Vicentini (2021).

Refer to caption
Figure 2: Phase diagram at half-filling as a function of U/t𝑈𝑡U/titalic_U / italic_t and λ𝜆\lambdaitalic_λ with ω/t=1Planck-constant-over-2-pi𝜔𝑡1\hbar\omega/t=1roman_ℏ italic_ω / italic_t = 1. Calculations are performed on a chain with L=50𝐿50L=50italic_L = 50 sites on the points marked by filled circles. For U/t0𝑈𝑡0U/t\to 0italic_U / italic_t → 0 and λ0𝜆0\lambda\to 0italic_λ → 0, distinguishing between Mott and Peierls insulators becomes extremely difficult; this fact is denoted by the white region.
Refer to caption
Figure 3: Density, spin, and bond structure factors [denoted by N(q)𝑁𝑞N(q)italic_N ( italic_q ), S(q)𝑆𝑞S(q)italic_S ( italic_q ), and B(q)𝐵𝑞B(q)italic_B ( italic_q ), respectively] at half-filling for L=50𝐿50L=50italic_L = 50 sites for U/t=4𝑈𝑡4U/t=4italic_U / italic_t = 4 and λ=0.04𝜆0.04\lambda=0.04italic_λ = 0.04 (upper panels) and λ=0.25𝜆0.25\lambda=0.25italic_λ = 0.25 (lower panels). The phonon energy is taken ω/t=1Planck-constant-over-2-pi𝜔𝑡1\hbar\omega/t=1roman_ℏ italic_ω / italic_t = 1. In each panel, the variational results of the backflow wave function are compared to the one obtained by DMRG calculations (optimized for the Hamiltonian with periodic-boundary conditions).

III Results

III.1 Benchmarks with DMRG calculations

First, we would like to assess the accuracy of our approach and compare the variational energies to DMRG results at half-filling, for L=50𝐿50L=50italic_L = 50. In the DMRG calculations, periodic-boundary conditions are taken on the Hamiltonian, but a truncation in the phonon Hilbert space is necessary. Here, we fix a maximum occupancy of 10101010 bosons per site (which is always much larger than the average occupation). Then, the energy of the electron-phonon Hamiltonian is optimized for a matrix-product state (which, for computational efficiency, has no translational symmetry) by means of the DMRG algorithm implemented in the ITensor library Fishman et al. (2022). The accuracy of DMRG calculations is verified by evaluating the variance of the total energy, which is always below 0.007t20.007superscript𝑡20.007t^{2}0.007 italic_t start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT.

The results of the energy accuracy ϵ=(EVMCEDMRG)/|EDMRG|italic-ϵsubscript𝐸VMCsubscript𝐸DMRGsubscript𝐸DMRG\epsilon=(E_{\rm VMC}-E_{\rm DMRG})/|E_{\rm DMRG}|italic_ϵ = ( italic_E start_POSTSUBSCRIPT roman_VMC end_POSTSUBSCRIPT - italic_E start_POSTSUBSCRIPT roman_DMRG end_POSTSUBSCRIPT ) / | italic_E start_POSTSUBSCRIPT roman_DMRG end_POSTSUBSCRIPT | for U/t=4𝑈𝑡4U/t=4italic_U / italic_t = 4 and 10101010 are reported in Fig. 1, by varying the e-ph coupling λ𝜆\lambdaitalic_λ. The best wave function, with backflow correlations and Jastrow factors, reaches a rather high accuracy (ϵ0.01italic-ϵ0.01\epsilon\approx 0.01italic_ϵ ≈ 0.01 and 0.02absent0.02\approx 0.02≈ 0.02, for U/t=4𝑈𝑡4U/t=4italic_U / italic_t = 4 and 10101010, respectively), largely improving on the results obtained by the standard wave function without backflow terms. Remarkably, the e-ph Jastrow factor (16) plays an important role in the variational optimization, since a substantial worsening in the energy is detected when removing it (the accuracy of the backflow state without 𝒥epsubscript𝒥ep{\cal J}_{\rm ep}caligraphic_J start_POSTSUBSCRIPT roman_ep end_POSTSUBSCRIPT is similar to the one of the standard Ansatz with no backflow, but including 𝒥epsubscript𝒥ep{\cal J}_{\rm ep}caligraphic_J start_POSTSUBSCRIPT roman_ep end_POSTSUBSCRIPT).

Refer to caption
Figure 4: Density and spin structure factors for a chain with L=50𝐿50L=50italic_L = 50 sites at various do**s δ𝛿\deltaitalic_δ, for U/t=4𝑈𝑡4U/t=4italic_U / italic_t = 4 and λ=0.04𝜆0.04\lambda=0.04italic_λ = 0.04 (with ω/t=1Planck-constant-over-2-pi𝜔𝑡1\hbar\omega/t=1roman_ℏ italic_ω / italic_t = 1). At half-filling, i.e. δ=0𝛿0\delta=0italic_δ = 0, the ground state is a Mott insulator. The results obtained by using DMRG (optimized for the Hamiltonian with periodic-boundary conditions) are also shown for comparison.
Refer to caption
Figure 5: The same as in Fig. 4 but for U/t=4𝑈𝑡4U/t=4italic_U / italic_t = 4, λ=0.25𝜆0.25\lambda=0.25italic_λ = 0.25. At half-filling the ground state is a Peierls insulator.

III.2 Results at half-filling

Let us now discuss the results at half-filling by focusing on the best variational Ansatz with backflow correlations. By varying the e-e repulsion U𝑈Uitalic_U and the e-ph interaction λ𝜆\lambdaitalic_λ, the ground state is either a Mott (uniform) or a Peierls (dimerized) insulator Sengupta et al. (2003). Within our approach, the presence of a finite lattice distortion is signaled by the stabilization of a finite z𝑧zitalic_z parameter in Eq. (13), which gives a dimerized pattern around which the phonon displacements are distributed. In this case, the translational symmetry is explicitly broken in the variational wave function and dimerization can be also detected from the calculation of the bond-order parameter:

Be=1Lj=1Lσ(1)jc^j,σc^j+1,σ+c^j+1,σc^j,σ,subscript𝐵e1𝐿superscriptsubscript𝑗1𝐿subscript𝜎superscript1𝑗delimited-⟨⟩subscriptsuperscript^𝑐𝑗𝜎subscriptsuperscript^𝑐absent𝑗1𝜎subscriptsuperscript^𝑐𝑗1𝜎subscriptsuperscript^𝑐absent𝑗𝜎B_{\rm e}=\frac{1}{L}\sum_{j=1}^{L}\,\sum_{\sigma}\,(-1)^{j}\,\langle\,\hat{c}% ^{\dagger}_{j,\sigma}\hat{c}^{\phantom{\dagger}}_{j+1,\sigma}+\hat{c}^{\dagger% }_{j+1,\sigma}\hat{c}^{\phantom{\dagger}}_{j,\sigma}\,\rangle,italic_B start_POSTSUBSCRIPT roman_e end_POSTSUBSCRIPT = divide start_ARG 1 end_ARG start_ARG italic_L end_ARG ∑ start_POSTSUBSCRIPT italic_j = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_L end_POSTSUPERSCRIPT ∑ start_POSTSUBSCRIPT italic_σ end_POSTSUBSCRIPT ( - 1 ) start_POSTSUPERSCRIPT italic_j end_POSTSUPERSCRIPT ⟨ over^ start_ARG italic_c end_ARG start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_j , italic_σ end_POSTSUBSCRIPT over^ start_ARG italic_c end_ARG start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_j + 1 , italic_σ end_POSTSUBSCRIPT + over^ start_ARG italic_c end_ARG start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_j + 1 , italic_σ end_POSTSUBSCRIPT over^ start_ARG italic_c end_ARG start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_j , italic_σ end_POSTSUBSCRIPT ⟩ , (17)

where the expectation value is taken over the variational state |ΨvarketsubscriptΨvar|\Psi_{\rm var}\rangle| roman_Ψ start_POSTSUBSCRIPT roman_var end_POSTSUBSCRIPT ⟩.

The results are summarized in the phase diagram shown in Fig. 2, fixing ω/t=1Planck-constant-over-2-pi𝜔𝑡1\hbar\omega/t=1roman_ℏ italic_ω / italic_t = 1. Here, the trivial limits are λ=0𝜆0\lambda=0italic_λ = 0, which corresponds to the Mott insulator with no e-ph coupling, and U=0𝑈0U=0italic_U = 0, which corresponds to the Peierls insulator. The transition between these two phases is of the Kosterliz-Thouless type Giamarchi (2003). Therefore, it is extremely difficult to locate its actual location within numerical calculations, since the spin gap of the Peierls phase is exponentially small close to the transition. This is particularly relevant in the vicinity of the non-interacting limit U=λ=0𝑈𝜆0U=\lambda=0italic_U = italic_λ = 0, where large clusters become necessary to detect the presence of the tiny dimerization that exists for λ0𝜆0\lambda\to 0italic_λ → 0. Nevertheless, sufficiently away from the transition line (and the non-interacting limit), our variational approach can straightforwardly distinguish two different regimes, with and without bond order.

In addition, the nature of the ground state may be inferred from the equal-time correlation functions:

𝒢(q)=1Lm,neiq(mn)O^mO^n;𝒢𝑞1𝐿subscript𝑚𝑛superscripte𝑖𝑞𝑚𝑛delimited-⟨⟩subscript^𝑂𝑚subscript^𝑂𝑛\mathcal{G}(q)=\frac{1}{L}\sum_{m,n}\,\text{e}^{iq(m-n)}\;\langle\hat{O}_{m}% \hat{O}_{n}\rangle\,;caligraphic_G ( italic_q ) = divide start_ARG 1 end_ARG start_ARG italic_L end_ARG ∑ start_POSTSUBSCRIPT italic_m , italic_n end_POSTSUBSCRIPT e start_POSTSUPERSCRIPT italic_i italic_q ( italic_m - italic_n ) end_POSTSUPERSCRIPT ⟨ over^ start_ARG italic_O end_ARG start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT over^ start_ARG italic_O end_ARG start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ⟩ ; (18)

here, O^msubscript^𝑂𝑚\hat{O}_{m}over^ start_ARG italic_O end_ARG start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT stands for density, spin, or bond operators at site m𝑚mitalic_m:

n^msubscript^𝑛𝑚\displaystyle\hat{n}_{m}over^ start_ARG italic_n end_ARG start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT =\displaystyle== σc^m,σc^m,σ,subscript𝜎subscriptsuperscript^𝑐𝑚𝜎subscriptsuperscript^𝑐absent𝑚𝜎\displaystyle\sum_{\sigma}\hat{c}^{\dagger}_{m,\sigma}\hat{c}^{\phantom{% \dagger}}_{m,\sigma},∑ start_POSTSUBSCRIPT italic_σ end_POSTSUBSCRIPT over^ start_ARG italic_c end_ARG start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_m , italic_σ end_POSTSUBSCRIPT over^ start_ARG italic_c end_ARG start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_m , italic_σ end_POSTSUBSCRIPT , (19)
S^mzsubscriptsuperscript^𝑆𝑧𝑚\displaystyle\hat{S}^{z}_{m}over^ start_ARG italic_S end_ARG start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT =\displaystyle== σsσc^m,σc^m,σ,subscript𝜎subscript𝑠𝜎subscriptsuperscript^𝑐𝑚𝜎subscriptsuperscript^𝑐absent𝑚𝜎\displaystyle\sum_{\sigma}s_{\sigma}\hat{c}^{\dagger}_{m,\sigma}\hat{c}^{% \phantom{\dagger}}_{m,\sigma},∑ start_POSTSUBSCRIPT italic_σ end_POSTSUBSCRIPT italic_s start_POSTSUBSCRIPT italic_σ end_POSTSUBSCRIPT over^ start_ARG italic_c end_ARG start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_m , italic_σ end_POSTSUBSCRIPT over^ start_ARG italic_c end_ARG start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_m , italic_σ end_POSTSUBSCRIPT , (20)
b^msubscript^𝑏𝑚\displaystyle\hat{b}_{m}over^ start_ARG italic_b end_ARG start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT =\displaystyle== σ(c^m,σc^m+1,σ+h.c.),subscript𝜎subscriptsuperscript^𝑐𝑚𝜎subscriptsuperscript^𝑐absent𝑚1𝜎h.c.\displaystyle\sum_{\sigma}\left(\hat{c}^{\dagger}_{m,\sigma}\hat{c}^{\phantom{% \dagger}}_{m+1,\sigma}+\text{h.c.}\right),∑ start_POSTSUBSCRIPT italic_σ end_POSTSUBSCRIPT ( over^ start_ARG italic_c end_ARG start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_m , italic_σ end_POSTSUBSCRIPT over^ start_ARG italic_c end_ARG start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_m + 1 , italic_σ end_POSTSUBSCRIPT + h.c. ) , (21)

where sσ=1subscript𝑠𝜎1s_{\sigma}=1italic_s start_POSTSUBSCRIPT italic_σ end_POSTSUBSCRIPT = 1 for spin up and 11-1- 1 for spin down. In the following, the three structure factors will be denoted by 𝒢=N𝒢𝑁\mathcal{G}=Ncaligraphic_G = italic_N, S𝑆Sitalic_S, and B𝐵Bitalic_B (for density, spin, and bond operators, respectively). Power-law correlations in real space imply cusps in momentum space and the existence of gapless excitations in the corresponding sector; instead, an exponential decay gives a smooth behavior in momentum space and gapped excitations.

The results for U/t=4𝑈𝑡4U/t=4italic_U / italic_t = 4 are reported in Fig. 3 for two different regimes, i.e., λ=0.04𝜆0.04\lambda=0.04italic_λ = 0.04 (Mott insulator) and λ=0.25𝜆0.25\lambda=0.25italic_λ = 0.25 (Peierls insulator). The DMRG results (on the same cluster size, optimized for the Hamiltonian with periodic-boundary conditions) are also reported for comparison. First of all, the difference between Mott and Peierls states appears in the bond structure factor, which shows a huge peak at q=π𝑞𝜋q=\piitalic_q = italic_π (i.e., B(π)30𝐵𝜋30B(\pi)\approx 30italic_B ( italic_π ) ≈ 30) in the latter case; the presence of a true dimerization implies a divergence of B(π)𝐵𝜋B(\pi)italic_B ( italic_π ) with L𝐿Litalic_L. Within the variational approach, the huge peak at q=π𝑞𝜋q=\piitalic_q = italic_π comes from the stabilization of a finite phonon parameter z𝑧zitalic_z in Eq. (13), i.e. a finite lattice distortion. In other words, the existence of a Peierls phase can be more easily detected by looking at z𝑧zitalic_z [or equivalently at Besubscript𝐵eB_{\rm e}italic_B start_POSTSUBSCRIPT roman_e end_POSTSUBSCRIPT defined in Eq. (17)] than considering the bond structure factor B(q)𝐵𝑞B(q)italic_B ( italic_q ). Within the Mott state, instead, B(π)𝐵𝜋B(\pi)italic_B ( italic_π ) is much reduced, still having a cusp. Let us now turn to density and spin correlations. For both insulating phases, N(q)𝑁𝑞N(q)italic_N ( italic_q ) is smooth and shows a quadratic behavior (N(q)q2proportional-to𝑁𝑞superscript𝑞2N(q)\propto q^{2}italic_N ( italic_q ) ∝ italic_q start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT) for small q𝑞qitalic_q, indicating that the charge excitations are gapped Capello et al. (2005). Also the spin structure factor S(q)𝑆𝑞S(q)italic_S ( italic_q ) in the Peierls phase is smooth, signaling that also spin excitations are gapped. By contrast, in the Mott phase S(q)𝑆𝑞S(q)italic_S ( italic_q ) is linear for small q𝑞qitalic_q and has a peak at q=π𝑞𝜋q=\piitalic_q = italic_π, which is expected to diverge logarithmically with the system size and signals the presence of gapless spin excitations.

Refer to caption
Figure 6: Density, spin, and bond structure factors for a chain with L=50𝐿50L=50italic_L = 50 sites at δ=0.08𝛿0.08\delta=0.08italic_δ = 0.08, for U=0𝑈0U=0italic_U = 0 and λ=0.16𝜆0.16\lambda=0.16italic_λ = 0.16 (with ω/t=1Planck-constant-over-2-pi𝜔𝑡1\hbar\omega/t=1roman_ℏ italic_ω / italic_t = 1). The results obtained by using DMRG (optimized for the Hamiltonian with periodic-boundary conditions) are also shown for comparison.

III.3 Results away from half-filling

We now move to the most important part of this work and examine the behavior of the ground state in the doped regime, with a number of electrons Ne<Lsubscript𝑁e𝐿N_{\rm e}<Litalic_N start_POSTSUBSCRIPT roman_e end_POSTSUBSCRIPT < italic_L, and a do** defined by δ=1Ne/L𝛿1subscript𝑁e𝐿\delta=1-N_{\rm e}/Litalic_δ = 1 - italic_N start_POSTSUBSCRIPT roman_e end_POSTSUBSCRIPT / italic_L. We restrict our attention to the subspace where the total spin projection iS^iz=0subscript𝑖subscriptsuperscript^𝑆𝑧𝑖0\sum_{i}\hat{S}^{z}_{i}=0∑ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT over^ start_ARG italic_S end_ARG start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT = 0. Let us start by do** the Mott insulator. In the Hubbard model, with only nearest-neighbor hop** t𝑡titalic_t and without phonons, a Luttinger liquid is obtained, with gapless modes in both charge and spin sectors Giamarchi (2003). In turn, a power-law decay (in real space) and cusps at q=2kF𝑞2subscript𝑘𝐹q=2k_{F}italic_q = 2 italic_k start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT (in momentum space), where kF=π(1δ)/2subscript𝑘𝐹𝜋1𝛿2k_{F}=\pi(1-\delta)/2italic_k start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT = italic_π ( 1 - italic_δ ) / 2, are present in the ground-state correlations. These features are also observed in the presence of phonons, as long as the Mott insulator is stabilized at half-filling, see Fig. 4. Here, the cusps at q=2kF𝑞2subscript𝑘𝐹q=2k_{F}italic_q = 2 italic_k start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT are clearly visible in the variational calculations of N(q)𝑁𝑞N(q)italic_N ( italic_q ) and S(q)𝑆𝑞S(q)italic_S ( italic_q ). We notice that cusps are less evident in the density correlations within DMRG, especially when approaching half-filling. Although these singularities are less pronounced than in the backflow wave function, the linear behavior of N(q)𝑁𝑞N(q)italic_N ( italic_q ) for small values of q𝑞qitalic_q (indicating gapless charge modes for q0𝑞0q\to 0italic_q → 0) leaves no doubt on the metallic nature of the system. We notice that, in the doped case, DMRG calculations are much more demanding than in the half-filled regime; nevertheless, the variance of the total energy is always lower than 0.09t20.09superscript𝑡20.09t^{2}0.09 italic_t start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT.

The most interesting outcome appears when do** the Peierls insulator. In this case, a Luther-Emery liquid emerges at small values of the do**. Indeed, for δ>0𝛿0\delta>0italic_δ > 0 the system immediately turns into a metal, but the spin gap remains finite close to half-filling. By further increasing δ𝛿\deltaitalic_δ, the spin gap gradually decreases, eventually leading to a Luttinger liquid for sufficiently large values of δ𝛿\deltaitalic_δ. This fact is particularly interesting since the Luther-Emery state has been found in repulsive models with no phonons, emerging from a spin-gapped and dimerized insulator Fabrizio (1996); Daul and Noack (1998); Nishimoto et al. (2008); Balents and Fisher (1996); Shen et al. (2023), however, its stabilization has been argued to heavily rely on the existence of multiple Fermi points in the non-interacting band structure. By contrast, in the present case the band structure is trivial, with only two Fermi points, and the spin gap is opened by the e-ph coupling. The results of the density and spin structure factors are reported in Fig. 5, where a smooth S(q)𝑆𝑞S(q)italic_S ( italic_q ) persists in the doped system, before the insurgence of cusps at q=2kF𝑞2subscript𝑘𝐹q=2k_{F}italic_q = 2 italic_k start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT. The existence of a spin-gapped metal is confirmed by DMRG. Curiously, the Luther-Emery in the Hubbard-SSH model has not been detected before, even though its stability extends down to the U=0𝑈0U=0italic_U = 0 limit, where a finite e-ph interaction drives into a Peierls state at half-filling, see Fig. 2. The exemplification of this fact is shown for λ=0.16𝜆0.16\lambda=0.16italic_λ = 0.16 and δ=0.08𝛿0.08\delta=0.08italic_δ = 0.08 in Fig. 6. Even though a precise determination of the power-law decay of correlation functions is difficult (given their oscillatory behavior), we have evidence that the bond-bond correlations are the dominant ones in the Luther-Emery phase (not shown).

IV Conclusions

In conclusion, we showed that a variational Ansatz, which goes beyond the simple Jastrow-Slater approximation, can characterize the various phases of the one-dimensional Hubbard-Su-Schrieffer-Heeger model both at half-filling and in the hole-doped regime. Our results are in good agreement with DMRG calculations, confirming that the physical description of the system we are providing is accurate. In addition, we are able to convincingly show the presence of a spin-gapped metallic phase upon do** the Peierls insulator. Since the variational wave function we propose can be readily generalized in two dimensions and variational Monte Carlo methods do not suffer limitations from considering higher-dimensional models, our next step will be to study a two-dimensional Hubbard-Su-Schrieffer-Heeger model within the same framework. We are particularly interested in the doped regime, to investigate how the presence of phonons can favor various types of instabilities, such as stripe order or d𝑑ditalic_d-wave superconductivityWang et al. (2022). We remark that a one-dimensional band structure possesses nesting at 2kF2subscript𝑘𝐹2k_{F}2 italic_k start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT, which makes the superconducting fluctuations compete against the bond-order ones, with the latter dominant in the Hubbard-Su-Schrieffer-Heeger model. In higher dimensions, nesting is a rather exceptional circumstance, especially away from commensurate densities, suggesting that, should our findings extend beyond one dimension, superconductivity would be the dominant instability channel.

Acknowledgements

We thank L.L. Viteritti for his precious help regarding the JAX implementation of the variational Monte Carlo code. F.F. acknowledges support by the Deutsche Forschungsgemeinschaft (DFG, German Research Foundation) for funding through TRR 288 – 422213477.

References