Observation of a disordered bosonic insulator from weak to strong interactions
We employ ultracold atoms with controllable disorder and interaction to study the paradigmatic problem of disordered bosons in the full disorder-interaction plane. Combining measurements of coherence, transport and excitation spectra, we get evidence of an insulating regime extending from weak to strong interaction and surrounding a superfluid-like regime, in general agreement with the theory. For strong interaction, we reveal the presence of a strongly-correlated Bose glass coexisting with a Mott insulator.
pacs:64.70.P-; 03-75.Nt; 61.44.Fw
The interplay of disorder and interaction in quantum matter is an open problem in physics. A paradigmatic system explored in theory are bosons at =0 in one Giamarchi88 () or in higher dimensions Fisher (). While disorder alone leads to the celebrated Anderson localization Anderson (), a weak repulsive interaction can compete with disorder and progressively establish coherence, leading eventually to the formation of a superfluid. A stronger interaction brings however the superfluid into a strongly-correlated regime where disorder and interaction cooperate, leading to a new insulator. The overall phase diagram is therefore predicted to consist in a superfluid, surrounded by a reentrant insulator Giamarchi88 (). The two insulating regimes appearing at weak and strong interaction have been named Bose glass, due to the gapless nature of their excitations. There is an ongoing effort to establish whether they are two distinguishable quantum phases Cazalilla (); Risti (); Pollet (); Pielawa (). In lattices, the Bose glass at strong interaction is a distinct phase from the gapped Mott insulator appearing at commensurate densities and moderate disorder Fisher ().
An experimental observation of the reentrant insulator is still missing. Photonic systems and ultracold atoms with tunable weak nonlinearities have demonstrated the coherence effect of a weak interaction on Anderson insulators Lahini (); Deissler (). Magnetic systems with tunable density have provided evidence of the transition from a Mott insulator to a strongly-correlated Bose glass Hong (); Yamada (); Yu (), but they lack the possibility to control the interaction. An insulating regime at strong interaction and strong disorder has been detected also with ultracold atoms in tunable optical lattices Fallani (); Pasienski (); Gadway (). However, it was so far not possible to distinguish the Bose glass from the Mott insulator.
In this work we study the full problem of disordered interacting bosons in a one-dimensional lattice. We employ ultracold atoms with independently tunable disorder and interaction, which allow us to study systematically the whole disorder-interaction plane. We study several experimental observables and we make a close comparison with the theory. In particular, by means of coherence and transport measurements we identify an insulating regime extending from weak to strong interactions and surrounding a superfluid-like regime. Through a lattice modulation spectroscopy we observe a different interplay of disorder with weak or strong interactions, and in the latter regime we reveal spectral features that are consistent with a strongly-correlated Bose glass coexisting with a Mott insulator. The comparison with theory indicates that the strongly correlated regime is only weakly affected by the finite temperature in the experiment.
We employ an array of quasi-1D samples of K atoms subjected to a quasiperiodic optical lattice Fallani (); Roati08 (), which provide a realization of the interacting Aubry-André model Aubry (); Modugno (). To a good approximation Roux (); Roscilde (), the dynamics is controlled by the Hubbard Hamiltonian , which is characterized by three energy scales: the tunneling energy , the quasi-disorder strength and the interaction energy . A primary lattice with lattice constant /2=0.532m fixes (Hz). is essentially the depth of a secondary lattice with an incommensurate wavelength (==1.243). can be varied from about zero to large positive values thanks to a Feshbach resonance Roati07 (). The fourth term represents a harmonic potential, while , and are the creation, annihilation and number operators at site . For =0 all eigenstates are localized above a critical disorder strength =2 Roati08 (); Aubry (). Accurate phase diagrams for were obtained theoretically for homogeneous systems and =0 Roth (); Roscilde (); Deng (); Roux (). The unavoidable trapping in the experiment changes however the nature of the problem, transforming the quantum phases transitions into crossovers and leading to a coexistence of different phases. The 1D systems are populated from an initially three-dimensional Bose-Einstein condensate, which is split into several quasi-1D tubes by an additional 2D lattice. About 500 such systems are initially created at , then both and are slowly changed using almost isoentropic transformations suppl (). The mean site occupation, =2-7, depends on .
A first indication of the evolution of the system comes from a measurement of the momentum distribution , achieved through absorption imaging after a free flight. The root-mean-square width of is a measure of the coherence of the system. In the superfluid regime (SF) of moderate and no disorder, comparing to calculations suppl () allows us to estimate the system temperature , which is below the degeneracy temperature for 1D quasi-condensates Petrov (). Measurements of temperature or even of the presence of thermal equilibrium are instead not possible in the other regimes. The evolution of in the disorder-interaction plane in Fig.1(a) shows clearly a coherent regime (blue) for small and moderate and an incoherent regime with a reentrant shape from weak to strong (orange), separated by broad crossovers.
The insulating nature of the incoherent regions is confirmed by transport measurements. These are performed by applying a sudden shift to the harmonic confinement, and detecting the momentum accumulated in a fixed time interval of 0.9ms, which is essentially the mobility. Figure 1(b) shows for three different values of . In the clean case (=0) the motion is almost ballistic for small , while a substantial reduction of the mobility occurs for , indicating the progressive formation of an insulator. For finite disorder the mobility at small is strongly reduced; for increasing it however increases almost to the clean curve and finally decreases again. This behavior confirms the coherence measurement showing the presence of a disorder-driven insulator at small and of another insulating regime at large dominated by the interaction. An additional measurement at a larger , also shown in Fig.1(b), indicates that the mobility for intermediate is essentially -independent in the accessible range of temperatures.
The overall shape of the incoherent regime in Fig.1(a) is reminiscent of the Bose glass (BG) found in theory at =0 for homogeneous systems Giamarchi88 (); Fisher (). The prediction is indeed of a weakly-interacting BG appearing for vanishing and , which is turned into a SF when the interaction energy becomes comparable to the disorder strength, although there is not yet consensus on the exact shape of the phase transition Lugan (); Fontanesi (); Vosk (). A stronger interaction is instead expected to lead to a new insulating regime approximately when , i.e. when the interaction energy becomes larger than the kinetic energy available in the lattice band. Here, theory predicts a strongly-correlated BG for an incommensurate density (non-integer ) and a Mott insulator (MI) for a commensurate density (integer ). The latter can however survive in the disorder only up to approximately 2, since controls the MI gap, and the MI disappears for increasing , as shown in Fig.1(a). The opposite trend of the insulating region at large therefore suggests the appearance of a BG regime in addition to a MI.
To probe the nature of the insulating regimes, we perform a lattice modulation spectroscopy Stoferle (). This consists in measuring the energy absorbed by the system when the amplitude of the main lattice, and therefore , is modulated with a sinusoid of variable frequency . We start the discussion from the less intuitive large- regime, summarized in Fig.2. Here the absorption is measured as a decrease of the condensed fraction once the system is transferred back into a 3D trap; we show three characteristic spectra for =26J and increasing . In the clean case one notices the standard MI spectrum Stoferle (); Kollath () with a first excitation peak centered at that can be attributed to MI plateaus with =1-3. A second peak centered at indicates the coexistence of MI domains with different occupations. The MI domains are connected by incommensurate SF components, which show little response for Kollath ().
For finite disorder the spectrum changes radically. First, we observe a broadening of the MI peaks by approximately that indicates an inhomogeneous broadening of the Mott gap, as already observed in previous experiments at strong disorder Fallani (); Guarrera (); Gadway (). Second, we observe a striking extra peak appearing in the MI gap, around . This new observation cannot be explained in terms of MI physics, but agrees instead with the expected behavior of a strongly-correlated BG, which can be seen as a weakly-interacting fermionic insulator with a response at about the characteristic disorder energy Giamarchi88 (). As shown in Fig.2(d), the peak shape is indeed in good agreement with the excitation spectrum of the BG calculated with a fermionized-boson model Orso (); Pupillo (), using the same parameters of the experiment and the temperature measured for the SF. There is a systematic shift of the theory curve to larger frequencies, which might be due to the assumption in the model. Within its finite sensitivity, the experiment is compatible with the smooth decrease of the response towards zero frequency associated to the gapless nature of the BG as predicted by the theory. In the range where we can detect the extra peak, we observe that its center shifts linearly with , as expected in the fermionic picture Orso (). The peak is no longer detectable for 25 as it overlaps with the one at ; for very large the Mott plateaus are instead extending to most of the system, thus lowering the incommensurate fraction and the weight of the peak at suppl (). In the strong disorder limit, , we observe instead a very broad and essentially featureless spectral response, in agreement with previous experiments Fallani (); Guarrera (); Gadway ().
Such response at large contrasts with the one at small , as shown in Fig.3. Here the energy absorption is measured as an increase of the thermal width of the system. For vanishing , where the system is still globally insulating, we observe a weak excitation peak centered at , which is however already broader than the one predicted for non-interacting bosons suppl (), especially towards small . This suggests the formation of large coherent regions due to the coupling of single-particle states by the interaction, leading to the possibility of long-distance, small- excitations. This behavior recalls the prediction for the =0 weakly-interacting BG being composed by large, disconnected SF regions. A moderate increase of leads indeed to a rapid broadening of the response, with a strong enhancement for small . This behavior is in clear contrast with that of the strongly-interacting insulator, where the weak response at small- indicates a strong fragmentation. A further increase of eventually brings the system into a regime spectrally indistinguishable from a clean SF, confirming the delocalizing role of the interactions in this regime Deissler (); Tanzi ().
The temperature cannot be measured for finite , but we can still gain an insight in thermal effects by comparing the experimental to the exact =0 theory supplemented by a phenomenological account of a finite temperature. To do this, we apply a density-matrix renormalization group technique (DMRG) Schollwock (); McCulloch (); Roux () to simulate an ensemble of trapped systems with the same parameters of the experiment. Figure 4(a-d) show a few representative comparisons of the experimental and the theoretical ones at =0. In the low- region, the calculated is definitely narrower than the measured one, whereas in the strongly correlated region the broadening is less relevant. Assuming thermal equilibrium, we quantify this thermal broadening by convolving the calculated with a Lorentzian distribution corresponding to an exponential decay of the correlations with a thermal length , an approach known to be valid for the SF Giamarchibook (). The dashed red lines in Fig.4(a-d) are the best fit of the theory to the experiment with as the only fitting parameter. There is a good agreement in all regimes, except for the one at small and large (Fig.4(c)). For small , the thermal length is short (), revealing a relevant thermal excitation of both SF and insulating regimes. In the large- region, is instead large, suggesting that the strongly-correlated phases are only weakly affected by the finite .
An exact diagonalization of the Hamiltonian in Eq.1 for small homogeneous systems confirms the latter indication suppl (). Fig.4(e) shows that for large and the correlation length is only weakly dependent on at low temperatures and a relevant broadening appears only above a crossover temperature . This can be clearly seen not only for the MI, where a simple explanation in terms of the energy gap exists Gerbier (), but also for the gapless BG. This apparently surprising result is justified by the fact that the effective Fermi energy of the BG is of the order of , and therefore it should not be too sensitive to . A detailed study we performed shows that for the BG scales indeed linearly with ; for small it becomes negligible, justifying why the single- approach does not work in the regime of Fig.4c. In the experiment, a study of for the coexisting BG and disordered MI as a function of the entropy (Fig.4(e)) shows the existence of a plateau at low entropy, before a broadening sets in. These results suggest that the =0 quantum phases persist in the experiment for sufficiently large and .
An analogous study we performed for small confirms the presence of much larger thermal effects suppl (). It is however interesting to note that the broadening of is not accompanied by a change of the mobility (see Fig.1(b)). In the future, it will be interesting to study the possible relation of this persisting insulating behavior at finite with the proposed many-body localization Aleiner (); Michal ().
In conclusion, we have shown evidences of the reentrant insulator predicted for disordered bosons. The strongly-interacting regime shows excitation properties as predicted by the =0 theory for the Bose glass. It is possible to apply these techniques to further studies of disordered bosons, such as in the absence of a lattice, to study the Bose glass in one dimension without overlap with the Mott physics, or in lattices of higher dimensionality, where the superfluid is expected to be much more resistant to disorder Fisher (); Pollet09 ().
This work was supported in part by the ERC (grants 203479 and 247371), by the Italian MIUR (PRIN2009FBKLN and RBFR12NLNA) and by the Swiss NSF under MaNEP and Division II. G.R. was supported by grant ANR-2011-BS04-012-01 QuDec. I.MC. was supported by the ARC Centre of Excellence for Engineered Quantum Systems (grant CE110001013). The experimentalists in Florence acknowledge discussions with S. Chauduri, L. Fallani, C. Fort and M. Modugno, and contributions by A. Kumar. T.G. is grateful to the Harvard Physics Department and the MIT-Harvard Center for Ultracold Atoms for support and hospitality.
- (1) T. Giamarchi, H. J. Schulz, Phys. Rev. B 37, 325 (1988).
- (2) M. P. A. Fisher, P. B. Weichman, G. Grinstein, D. S. Fisher, Phys. Rev. B 40, 546 (1989).
- (3) P. W. Anderson, Phys. Rev. 109, 1492 (1958).
- (4) M. A. Cazalilla, R. Citro, T. Giamarchi, E. Orignac, M. Rigol, Rev. Mod. Phys. 83, 1405 (2011).
- (5) Z. Ristivojevic, A. Petković, P. Le Doussal, T. Giamarchi, Phys. Rev. Lett. 109, 026402 (2012).
- (6) L. Pollet, N. V. Prokof’ev, B. V. Svistunov, Phys. Rev. B 87, 144203 (2013).
- (7) S. Pielawa, E. Altman, Phys. Rev. B 88, 224201 (2013).
- (8) Y. Lahini, A. Avidan, F. Pozzi, M. Sorel, R. Morandotti, D. N. Christodoulides, and Y. Silberberg , Phys. Rev. Lett. 100, 013906 (2008).
- (9) B. Deissler, M. Zaccanti, G. Roati, C. D’Errico, M. Fattori, M. Modugno, G. Modugno and M. Inguscio, Nat. Phys. 6, 354 (2010).
- (10) T. Hong, A. Zheludev, H. Manaka, L. P. Regnault, Phys. Rev. B 81, 060410 (2010).
- (11) F. Yamada, H. Tanaka, T. Ono, and H. Nojiri, Phys. Rev. B 83, 020409 (2011).
- (12) R. Yu, L. Yin, N. S. Sullivan, J. S. Xia, C. Huan, A. Paduan-Filho, N. F. Oliveira Jr, S. Haas, A. Steppke, C. F. Miclea, F. Weickert, R. Movshovich, E.-D. Mun, B. L. Scott, V. S. Zapf, and T. Roscilde, Nature 489, 379 (2012).
- (13) L. Fallani, J. E. Lye, V. Guarrera, C. Fort, M. Inguscio, Phys. Rev. Lett. 98, 130404 (2007).
- (14) M. Pasienski, D. McKay, M. White, B. DeMarco, Nature Physics 6, 677 (2010).
- (15) B. Gadway, D. Pertot, J. Reeves, M. Vogt, D. Schneble, Phys. Rev. Lett. 107, 145306 (2011).
- (16) G. Roati, C. D’Errico, L. Fallani, M. Fattori, C. Fort, M. Zaccanti, G. Modugno, M. Modugno, and M. Inguscio, Nature 453, 895 (2008).
- (17) S. Aubry, G. André, Ann. Israel Phys. Soc. 3, 133 (1980).
- (18) M. Modugno, New J. Phys. 11, 033023 (2009).
- (19) G. Roux, T. Barthel, I. P. McCulloch, C. Kollath, U. Schollwöck, and T. Giamarchi, Phys. Rev. A 78, 023628 (2008).
- (20) G. Roati, M. Zaccanti, C. DErrico, J. Catani, M. Modugno, A. Simoni, M. Inguscio, and G. Modugno, Phys. Rev. Lett. 99, 010403 (2007).
- (21) R. Roth, K. Burnett, Phys. Rev. A 68, 023604 (2003).
- (22) T. Roscilde, Phys. Rev. A 77, 063605 (2008).
- (23) X. Deng, R. Citro, A. Minguzzi, E. Orignac, Phys. Rev. A 78, 013625 (2008).
- (24) See the Supplemental Material for details on the experimental methods and parameters, on the modulation spectra, on the comparison of the DMRG simulations to the experimental results, on the exact diagonalization studies, and on the temperature/entropy estimation.
- (25) D. S. Petrov, G. V. Shlyapnikov, J. T. M. Walraven, Phys. Rev. Lett. 85, 3745 (2000).
- (26) P. Lugan, D. Clément, P. Bouyer, A. Aspect, M. Lewenstein, and L. Sanchez-Palencia, Phys. Rev. Lett. 98, 170403 (2007).
- (27) L. Fontanesi, M. Wouters, V. Savona, Phys. Rev. Lett. 103, 030403 (2009).
- (28) R. Vosk and E. Altman, Phys. Rev. B 85, 024531 (2012).
- (29) T. Stöferle, H. Moritz, C. Schori, M. Köhl, T. Esslinger, Phys. Rev. Lett. 92, 130403 (2004).
- (30) C. Kollath, A. Iucci, T. Giamarchi, W. Hofstetter, U. Schollwöck, Phys. Rev. Lett. 97, 050402 (2006).
- (31) V. Guarrera, L. Fallani, J. E. Lye, C. Fort, M. Inguscio, New J. Phys. 9, 107 (2007).
- (32) G. Orso, A. Iucci, M. A. Cazalilla, T. Giamarchi, Phys. Rev. A 80, 033625 (2009).
- (33) G. Pupillo, A-M. Rey, C. J. Williams, C. W. Clark, New J. Phys. 8, 161 (2006).
- (34) L. Tanzi, E. Lucioni, S. Chaudhuri, L. Gori, A. Kumar, C. DâErrico, M. Inguscio, and G. Modugno, Phys. Rev. Lett. 111, 115301 (2013).
- (35) U. Schollwöck, Rev. Mod. Phys. 77, 259 (2005).
- (36) I.P. McCulloch, J. Stat. Mech.: Theor. Exp., P10014 (2007).
- (37) T. Giamarchi, Quantum physics in one dimension (Clarendon, Oxford, 2004).
- (38) F. Gerbier, Phys. Rev. Lett. 99, 120405 (2007).
- (39) I. L. Aleiner, B. L. Altshuler, G. V. Shlyapnikov, Nature Physics 6, 900 (2010).
- (40) V. Michal, B. L. Altshuler, G. V. Shlyapnikov, arXiv.1402.4796.
- (41) L. Pollet, N. V. Prokof’ev, B. V. Svistunov, M. Troyer, Phys. Rev. Lett. 103, 140402 (2009).
- (42) V. Dunjko, V. Lorent, M. Olshanii, Phys. Rev. Lett. 86, 5413 (2001).
- (43) T. Gericke, F. Gerbier, A. Widera, S. Fölling, O. Mandel, and I. Bloch, Journal of Modern Optics bf54, 735-743 (2007).
- (44) G. Roati, et al, Phys. Rev. Lett. 99, 010403 (2007).
- (45) N. Nessi, A. Iucci, Phys. Rev. A 84, 063614 (2011).
- (46) J. Sirker, A. Klumper, Phys. Rev. B 66, 245102 (2002).
- (47) J. Catani, G. Barontini, G. Lamporesi, F. Rabatti, G. Thalhammer, F. Minardi, S. Stringari, and M. Inguscio, Phys. Rev. Lett. 103, 140401 (2009).
System preparation. We prepare a Bose-Einstein condensate of K ground-state atoms in a 3D harmonic trap with mean frequency =280 Hz, at a scattering length =210. A strong 2D lattice with spacing =/2 is then slowly raised to a typical height of 30 recoil energies. The system gets split into about 500 elongated traps (tubes), with an overall Thomas-Fermi distribution. The estimated atom number distribution is , where and are the tube indexes, is the total atom number and is the atom number in the central tube. is in the range (2-4), depending on the specific dataset. From a simulation of the lattice loading procedure we estimate an upper limit of =96(20) for =3(1). The radial trapping frequency of each tube, =250 kHz, is larger than any other energy scale (including the axial trapping frequency, typically =2150 Hz), and tunneling between neighboring traps is suppressed on the timescale of the experiments (0.5 s). The mean atomic density for each 1D system is estimated as the largest of the mean field and the Tonks value Dunjko (). The mean site occupation n is then calculated by averaging over all subsystems.
A quasiperiodic lattice is also slowly applied along the tubes, consisting of a main lattice with spacing =/2 and a depth of about 9 recoil energies, which sets the tunneling energy (110 Hz), and a secondary lattice with ==856 nm, whose depth sets the quasi-disorder strength Modugno (). The mapping of the first band of such lattice onto the Hamiltonian in the main paper is not perfect, since there is in principle also a spatial modulation of the hoppings between neighboring sites Roux (). However, the modulation of we calculate is only 7% for the largest disorder strength in the experiment, and it is probably negligible at moderate disorder strengths.
The experimental sequence for the lattices preparation is summarized in Fig.S1. All the parameters have been optimized to have the most adiabatic loading Gericke (). Both and are calculated from the measured lattice depths. The 2D lattice is calibrated by means of Raman-Nath diffraction while the main and secondary lattices are calibrated with Bragg oscillations. The typical error on both 2D and main lattice depths is 2%. The typical error on the secondary lattice depth is 20%. This results in a typical error of 20% on . We found that the relative phase of the two lattices forming the quasiperiodic potential normally fluctuates in successive measurements. We employ this mechanism to provide averaging over the quasi-disorder. During the preparation, the interaction energy is slowly changed to the desired value by changing the 1D scattering length , via a change of the 3D scattering length at a Feshbach resonance Roati07 (). Here is the single-particle Wannier function and . The typical uncertainty on is 6%. A characteristic temperature for quantum degeneracy for one-dimensional bosons in the SF regime, can be estimated as =(3/16), where = is the lattice-renormalized axial frequency Petrov (). The typical value for the experimental parameters is =40(7) nK.
Excitation spectrum. The excitation spectrum is measured by modulating the depth of the main lattice as =, with 0.1. We checked that such modulation amplitude is small enough to stay in the linear response regime, see Fig.S2.
In order to have the maximum sensitivity at low frequency, we used the longest modulation time of 200 ms allowed by the background heating of the system. The absorbed energy is extracted from the temperature increase, which is measured after having retransferred the atoms back to the 3D trap. In the BEC regime, the temperature is estimated from the measured condensed fraction . Since 0.3 we use the first order approximation =- where is the unperturbed condensed fraction. In the thermal regime of , employed for the measurements at low in Fig.3, we use the thermal width : =, where is the expansion time and is the unperturbed width. The excitation spectrum of the strongly-correlated Bose glass has been modeled in the limit of non-interacting fermions. We employ the absorption rate derived in linear approximation Orso (): . Here is calculated over pairs of single-particle eigenstates of the quasiperiodic lattice, is the Fermi-Dirac distribution at finite , and the bar represents averaging over different realizations of the potential. We adapted the same model above to ideal bosons. In this case we replaced with the Bose-Einstein distribution . The spectra in Fig.2(d) and Fig.3 are calculated on a 200-sites lattice, with the same harmonic trap as in the experiment, and as measured in the SF region.
In the strongly-correlated regime, the fermionization approach requires an infinite repulsive interaction. To account for the finite in the experiment, which implies a site occupation 1, we have employed an extended-fermionization approach Pupillo (). The idea is to neglect the coupling between layers with different occupations (, , ), and to calculate their response independently, taking properly into account the larger kinetic energy of the excited bands of the fermionic model. This approach has been shown to work rather well already for relatively small , provided that the Mott gap is open. The spectrum shown in Fig.2(d) has been first calculated for individual tubes, and then averaged over the distribution of tubes in the experiment. We verified that the density distributions in individual tubes obtained with the extended-fermionization approach are very close to the ones calculated by DMRG. The vertical scale of the simulation has been rescaled to match the experimental observation, and a Gaussian background has been added, to take into account the first Mott peak.
A further comparison of theory and experiments for two different disorder strengths in the strongly correlated regime (=26) is shown in Fig.S3. Here we subtracted from the experimental data the Gaussian background of the MI peak, and we normalized the resulting peak response to unity. There is a clear shift and a broadening of the peak with increasing . The experimental data are slightly shifted to larger frequencies than the theory predictions. This might be due to the finite- in the experiment. However, the present uncertainties in the experimental parameters do not allow drawing any conclusion in this direction, since the uncertainty on reflects in an uncertainty on the peak position. A similar effect, although smaller, is also introduced by the total atom number and trap frequency uncertainties.
The evidence of a strongly-correlated BG from the -peak in the excitation spectrum can be gained only in a limited region of values, as shown for example in Fig.S4. Indeed, when is comparable with , the MI peak overlaps with the BG one (Fig.S4(a)). When instead is much larger than , the incommensurate density component that can form a BG is strongly reduced (Fig.S4(c)). This limited range of observation of the -peak is presumably the reason why it was not observed in previous experiments Fallani (); Gadway (); Guarrera ().
diagram from DMRG calculations. Zero-temperature DMRG calculations give access to all single-particle correlations = in the ground-state and to the density profiles. Also the =0 momentum distribution can be obtained using = , where is the Fourier transform of the numerically computed Wannier function, and averaging over all tubes. This calculation gives the blue curves in Fig.4(a-d). The change of the rms width of the calculated across the plane is shown in Fig.S5.
In Fig.S6 we show the calculated density profiles in tubes with =(20, 55, 96), for the clean case and for . By looking at the density profiles one can note that, adding disorder, the Mott regions progressively shrink and the smooth profiles of the incommensurate regions between the different Mott insulator shell are turned in strongly irregular ones, as expected in the case of a Bose glass. The dashed line in Fig.1(a) is obtained by looking at the presence of Mott insulating regions in the density profiles for these three representative tubes. Mott regions are defined by three consecutive sites with density almost equal to an integer filling. Notice that due to the trap, the value of required to stabilize Mott regions is larger than the homogeneous result for the average value of 2 atoms per site =3.3. The dash-dotted line in Fig.1(a) is instead calculated as =, where the offset 2 is put to tentatively take into account the finite disorder strength needed to localize the non-interacting particles Tanzi ().
A phenomenological account of the temperature effect is introduced by multiplying the above by with a thermal correlation length. For sake of simplicity, one can take the same for all distances and all tubes. This qualitatively amounts to convolve the =0 momentum distribution with a Lorentzian of width 1/. We fit the experimental profiles leaving as a free fitting parameter (red curves in Fig.4(a-d)). The fitting results across the diagram are shown in Fig.S7. As discussed in the manuscript one can clearly distinguish two regimes: when is small is short (red region of the diagram) while it increases significantly when is large (blue region). This indicates the fact that temperature strongly affects the correlation properties in the weakly-interacting regime while only slightly perturbs the strongly-correlated ones. The different impact of the finite temperature in the two regions is confirmed by exact diagonalization.
Correlation length from exact diagonalization at finite temperature. The exact diagonalization study is performed on small homogeneous systems with length up to =12 and mean site occupations up to =1. We perform calculation for one representative weak interaction (=2.3) and one representative strong one (=44). We calculate the temperature evolution of the correlation function for various disorder strengths and we extract the correlation length from an exponential fit of the tails. In Fig.S8 we report representative results for the small case. The inverse correlation length starts to increase already for very small temperatures, implying a non-negligible impact of thermal fluctuations on the =0 quantum phases and justifying the experimental observation of a rather short for weak interactions.
On the contrary, in the strongly-interacting case the calculated remains almost constant up to a finite crossover temperature , indicating that the thermal effect on the correlation of the system starts to appear only above (Fig.4(e)). We extract as the maximum of the first derivative of 1/. In Fig.S9 we show the evolution of with . For the commensurate density, at =0, =0.23(6), in agreement with the predicted melting temperature for the Mott insulator Gerbier (), while it decreases with increasing , consistently with a reduction of the gap due to the disorder. The BG does instead show a linear increase of the crossover temperature, . This result, already observed in numerical simulations at small disorder strength Nessi (), can be intuitively justified with the -scaling of the effective Fermi energy of the BG. The different crossover temperature in the incommensurate and commensurate cases for small disorder suggests why the fit of the momentum distribution with only one is not working properly in this regime (Fig.4(c)). For larger , the simulations indicate that is comparable with the temperature measured experimentally in the SF regime, supporting the large observed in this regime.
Temperature estimation in the superfluid regime. An important application of the exact diagonalization study is the estimation of the experimental temperature from the measured correlation length in the SF regime (=0, ). Finite-size effects prevent us from obtaining quantitative results for at low temperature, but we are able to determine the correct high- scaling of the correlation length for the clean SF. Fig.S10 shows more details of the derived scaling =, which fits the numerical results in the regime =(2-100) and 1 with =2.50(5). In this regime one can neglect the =0 correlation length and identify with . The results shown are for =2, but other calculations in the SF regime, suggest little or no dependence on . To our knowledge, this behavior was not found in previous studies of bosonic systems. A similar result, , was however found for spinless fermions in a lattice Sirker (), which represents the = bosonic limit. The weak logarithmic temperature dependence for can be attributed to the finite lattice bandwidth. For vanishing , eq.S1 tends instead to the usual linear scaling in of the Luttinger liquid theory, Giamarchibook (). The finite size of our simulations does not allow to study this regime, but the data in Fig.S10 suggest that it is reached only for .
To adapt these homogeneous results to the trapped systems we have employed a local-density approximation, and averaged the finite- momentum distribution, , over the zero- density distribution in the trap. The average correlation length is very close to the one calculated for the peak density in the trap, , where the numerical prefactor has a very weak dependence on density and temperature in the experimental range. An additional average over the tubes distribution as in the experiment confirms that the average correlation length is , where represents a single tube with the peak density equal to the mean peak densities of all the tubes. This suggests that one can treat the collection of tubes as if they had the same thermal correlation length and formally justifies the assumption of a single thermal correlation for the SF regime.
In the measurements shown in Fig.1, for =2.3, from the fitted =1.38(13), we obtain =3.1(4)(3). The first uncertainty is the statistical error on and , and the second one is the systematic error on the calibration of (50%). For lower interaction strengths we observe an increase of the temperature up to =5.4(8)(4) for =0.4. This suggests that the preparation of the system at small interactions is not fully adiabatic, as suggested also from the entropy measurement shown below (Fig.S11).
We observe a background heating of the SF component approximately linear with time, with a rate of 8.5(1.4) at =. This heating is presumably due to phase and amplitude fluctuations in the lattices, and might justify the lowest temperature we can achieve in the experiment. We exploited this mechanism to realize measurements at higher temperature/entropy (grey squares in Fig.1(b) and inset of Fig.4(e)).
Entropy estimation. An extensive study of other regions of the plane by exact diagonalization may in principle allow extracting a temperature from the experimental data also in presence of disorder, assuming thermal equilibrium. This is however a much more difficult problem, since in general there will be a coexistence of different phases, and even for a single phase one might expect a non-trivial dependence of the correlation length from all the parameters in the problem, =.
In the absence of a theory, we estimated a bound on the entropy of the system across the plane. The protocol is the following: we measure the initial entropy of the system in the 3D trap; we measure again the entropy after having transferred the system into the 1D tubes and back into the 3D trap; we take the mean value of the initial and final entropies as an indication of the entropy in the 1D tubes. In the BEC regime of , where is the critical temperature for condensation in 3D, we use the relation =4, where is the Riemann Zeta function Catani (). The reduced temperature is estimated from the measured condensed fraction by taking into account the finite interaction energy. In the thermal regime, , we use the relation =.
The entropy measurements are shown in Fig.S11. There is an overall increase of towards small , which is presumably due to a reduced adiabaticity in the preparation of the 1D systems at small interactions. For this reason the temperature estimated in the small- region can be an over estimation of the temperature in regions with larger .