
2
FIG. 1. Phase diagram of the model Eq. 1at unit bosonic
and fermionic half filling with all hopping amplitudes set to
1, as obtained from quantum Monte Carlo simulations for
V= 1,2,3,4,5,6 and 8. Lines are a guide to the eye. Left
(bosons): The red area demarcates the area of bosonic super-
fluidity; the green area is the uniform bosonic Mott inslulator,
and phase separation is shown in light red. For comparison
with the right panel, we show the blue dashed line which
corresponds to ηCDW = 1.0 (i.e., the exponent controlling
the (fermionic) charge density wave (CDW) correlation func-
tion) on a length scale L= 70, with lower values than 1
above the line. Right (fermions): Dominant superconduct-
ing fluctuations (SC) are found in the yellow area. The dot-
ted green line is the crossover on our length scales towards
quasi free fermionic behavior (purple area). In the white area
Luttinger liquid behavior is seen with dominant charge cor-
relations above the blue dashed line. The dotted and lower
dashed black lines are estimates for phase separation; the up-
per dashed line is a leading order strong coupling argument
separating uniform systems from ones with charge density
waves. Those lines are only informative, but are approached
asymptotically for larger values of V. The cyan dotted line
is where the numerically observed boundary of phase separa-
tion. Further explanations are given in a separate paragraph
in Sec. II in the text.
and set as the energy unit, tB=tF=t= 1. We work
at unit filling for the soft-core bosons and half filling for
the hard-core bosons. The on-site density-density inter-
actions are constant over the lattice. Its amplitude for
the intra-species soft-core bosonic interaction is U > 0,
and the amplitude for the inter-species interactions is V,
whose sign is irrelevant at half filling. There is no bare
intra-species interaction between the hard-core bosons.
The lattice spacing is set to one, a= 1, and the length
of the chain is L. The Jordan-Wigner transformation
between hard-core bosons and fermions requires an odd
number of fermions if we use periodic boundary condi-
tions; we will use the language of bosons and fermions in
this sense below. The model is simulated using a straight-
forward extension of the worm algorithm [46] presented
in Ref. [47,48].
The parameters are chosen such that there is no
apparent small parameter, i.e., in a regime where
numerics are necessary. Contemporary Density Matrix
Renormalization Group (DMRG) studies put a strong
cutoff on the bosonic occupation number in order to
keep the local Hilbert space tractable and focused on
superfluid-insulator transitions [49–51]. Our main result
is summarized in the phase diagram shown in Fig. 1,
valid in the thermodynamic limit. However, monitoring
the competing instabilities that develop on length scales
consisting of hundreds of sites can not be read off in full
from this phase diagram. This competition is explained
in the detailed analysis in the sections below. As we
will see, the simulations are notoriously hard, and, in
certain cases, autocorrelation times that exceed one
million Monte Carlo steps are observed, indicative of
strong metastabilities and competing phases, perhaps
in the vicinity of first order transitions. This inevitably
leads to a few uncertainties in the phase diagram, which
can only be resolved if better algorithms are devised and
better computer hardware is available.
To set the ideas, we briefly explain the phase diagram
shown in Fig. 1. The phase diagram is dominated by two
big areas: for VUthe system separates into a bosonic
and a fermionic system, and for UVthe bosons form
a uniform n= 1 Mott insulator above which the fermions
are quasi free. We focus on the channel-like region in be-
tween. The red solid line demarcates the area of uniform
bosonic superfluidity. It extends to remarkably large val-
ues of Uand Vand probably closes in a cuspy way for
a value of Vclose to V= 6. Mesoscopic superflow is
found for V= 8, U = 14 as well but, extrapolating our
results, it vanishes around L≈500. In the tip of this
region, the bosonic superfluid is marginal with a den-
sity matrix decaying faster than what is allowed for the
pure bosonic system. We found no indications of bosonic
supersolid behavior (i.e., concomitant bosonic superflu-
idity and density waves breaking the lattice symmetry).
The dotted black line is the weak coupling argument for
phase separation (see Sec. III A), which is found to exist
everywhere in the lower parts of the phase diagram. The
dashed black lines are the leading order strong coupling
predictions (see Sec. III B) separating phase separation,
a structure with density wave character, and a uniform
system. We suspect that phase separation extends up to
the black and cyan dotted lines. In the fermionic sec-
tor, the fermions are insulating below the full green line
and show pair flow above and to the left of it, at least
up to the system sizes that we can simulate. Above (be-
low) the dashed blue line the decay of the charge density
wave (CDW) correlations is slower (faster) than for free
fermions. Whether the charge density waves can sponta-
neously break the lattice symmetry is impossible to say
based on our system sizes for V≤6, but for V= 8
we see some strong indications of that for U= 13. The
green dotted line indicates a crossover scale where, on
our length scales, the up and down particles are so weakly
coupled on top of a uniform bosonic Mott insulator that
they can be considered quasi-free. For exponentially low
temperatures, pair flow is expected everywhere in the
upper part of the phase diagram.
The remainder of the paper is structured as follows.
In Sec. III we present analytical arguments in the limit-
ing cases of the phase diagram such as weak and strong
inter-species coupling, arguments based on bosonization,