Anomalous Doppler effect in superfluid and supersolid atomic gases

Tomasz Zawiślak    Marija Šindik    Sandro Stringari    Alessio Recati Corresponding Author: [email protected] Pitaevskii BEC Center, CNR-INO and Dipartimento di Fisica, Università di Trento, Via Sommarive 14, 38123 Povo, Trento, Italy
Abstract

We investigate the Doppler effect at zero temperature in superfluids with broken Galilean invariance and hosting permanent currents, with special focus on atomic gas platforms. We consider the case when Galilean invariance is broken explicitly (by an external periodic potential) or spontaneously, as it happens in a supersolid. In the first case, the presence of a stationary current affects the propagation of sound (fourth sound) via an anomalous Doppler term proportional to the density derivative of the superfluid fraction. In supersolids, where, according to Goldstone theorem, distinct sounds of hybrid superfluid and crystal nature can propagate, the Doppler effect can be very different for each sound, including the possibility of being negative for the lower phonon branch. We obtain analytical predictions within the hydrodynamic theories for superfluids and supersolids, which are compared with the numerical results of time-dependent simulations for weakly interacting atomic Bose-Einstein condensates.

In a classical fluid, moving at a certain velocity vfsubscript𝑣𝑓v_{f}italic_v start_POSTSUBSCRIPT italic_f end_POSTSUBSCRIPT, the sound speed c0subscript𝑐0c_{0}italic_c start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT is modified by the kinematic Doppler shift as c=c0±vf𝑐plus-or-minussubscript𝑐0subscript𝑣𝑓c=c_{0}\pm v_{f}italic_c = italic_c start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ± italic_v start_POSTSUBSCRIPT italic_f end_POSTSUBSCRIPT, depending on whether the sound propagates parallel (+++) or antiparallel (--) to the velocity vfsubscript𝑣𝑓v_{f}italic_v start_POSTSUBSCRIPT italic_f end_POSTSUBSCRIPT.

The Doppler effect has been predicted to behave quite differently in a superfluid as a consequence of the fact that the normal and the superfluid components can move at different velocities. The problem was first addressed a long time ago by Khalatnikov [1] for superfluid helium at finite temperature, where the motion of the liquid is described by Landau’s two-fluid hydrodynamics. Stimulated by early experimental results on the Doppler effect in the propagation of fourth sound in Helium [2], further theoretical studies have pointed out the occurrence of non-trivial, anomalous Doppler shifts in 4He [3, 4, 5], 4He3superscript3-^{3}- start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPTHe mixture [6], as well as in superfluid 3He [7]. To our knowledge, however, a clear experimental confirmation of the novel theoretical predictions for the anomalous Doppler effect in liquid helium configurations is still missing. The availability of alternative platforms to investigate the effects of superfluidity, based on ultracold atomic gases [8, 9, 10], including the recent experimental observation of supersolidity [11, 12, 13, 14, 15] (see also [16] and references therein), is opening new perspectives in the field.

In this Letter, we focus on density modulated configurations, where the superfluid density can differ significantly from the total average density even at zero temperature. Density modulated phases in ultracold atomic gases can result from an external periodic potential (optical lattices [17]) or from the spontaneous breaking of translational symmetry, yielding supersolidity. The propagation of sound and the occurrence of collective oscillations, in the absence of steady currents, have already been the object of experimental investigations in both cases (see [18, 19] and [20, 21, 22], respectively). Furthermore, the Doppler effect was observed in a uniform Bose-Einstein condensed gas confined in a ring and used to measure the quanta of circulation characterizing the velocity of the superfluid flow [23].

In the presence of an external periodic potential the normal component of the fluid is locked, only the superfluid component being able to move. In this case sound is also called fourth sound [24, 25]. In supersolid configurations both the superfluid and the normal (crystal) components can instead move. As predicted in the seminal paper by Andreev and Lifshtz [26], Goldstone modes, of crystalline and superfluid nature, are expected to occur in a supersolid (see [27] for the counting of the modes in the supersolid phase). The different sounds are expected to react differently to the presence of relative motion between the two components. The purpose of our work is to determine the Doppler effect in both cases, comparing the predictions of hydrodynamic theory with the results of dynamic numerical simulations currently available in ultracold atomic gases.

For the sake of simplicity, we consider a linear tube geometry of length L𝐿Litalic_L, with periodic boundary conditions, where we can use one-dimensional hydrodynamic theories. In cold atomic gases, quasi-one-dimensional configurations hosting a permanent current can be experimentally realized using ring-shaped trapping potentials with sufficiently large radii.

Doppler shift of fourth sound.

Fourth sound characterizes the propagation of sound in a superfluid subject to an external potential locking the motion of the normal component. Experiments on fourth sound are available both in liquid helium, where the superfluid moves within a porous medium [25] and in ultracold atomic gases [19] where the pinning of the normal component is provided by an optical lattice.

Doppler effect in fourth sound was first observed in superfluid Helium [2, 28]. According to Landau’s theory the fluid velocity vfsubscript𝑣𝑓v_{f}italic_v start_POSTSUBSCRIPT italic_f end_POSTSUBSCRIPT – defined as the current divided by the mass density ρ𝜌\rhoitalic_ρ – is vf=vsρs/ρsubscript𝑣𝑓subscript𝑣𝑠subscript𝜌𝑠𝜌v_{f}=v_{s}\rho_{s}/\rhoitalic_v start_POSTSUBSCRIPT italic_f end_POSTSUBSCRIPT = italic_v start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT italic_ρ start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT / italic_ρ, with ρssubscript𝜌𝑠\rho_{s}italic_ρ start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT and vssubscript𝑣𝑠v_{s}italic_v start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT the superfluid density and the superfluid velocity, respectively. In the pioneering work [2] it was suggested that fourth sound is Doppler shifted by this amount. However, a more detailed analysis based on finite temperature two-fluid hydrodynamics has shown that this prediction is in general not correct [5].

Here we derive a straightforward result for the Doppler effect of fourth sound at zero temperature. Assuming that the stationary superfluid velocity is small, the energy density of the system, in the frame where the normal component is at rest, is given by the expansion ϵ(ρ,vs)=ϵ0(ρ)+(1/2)ρsvs2italic-ϵ𝜌subscript𝑣𝑠subscriptitalic-ϵ0𝜌12subscript𝜌𝑠subscriptsuperscript𝑣2𝑠\epsilon(\rho,v_{s})=\epsilon_{0}(\rho)+(1/2)\rho_{s}v^{2}_{s}italic_ϵ ( italic_ρ , italic_v start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT ) = italic_ϵ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ( italic_ρ ) + ( 1 / 2 ) italic_ρ start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT italic_v start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT. The superfluid velocity is irrotational and can be written as vs=xϕ/msubscript𝑣𝑠Planck-constant-over-2-pisubscript𝑥italic-ϕ𝑚v_{s}=\hbar\partial_{x}\phi/mitalic_v start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT = roman_ℏ ∂ start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT italic_ϕ / italic_m, where the macroscopic phase ϕitalic-ϕ\phiitalic_ϕ is canonically conjugated to the density 111While for Bose superfluids the mass m𝑚mitalic_m coincides with the atomic mass, for a Fermi superfluid m𝑚mitalic_m is twice the atomic mass.. The Hamiltonian equations of motion for ρ𝜌\rhoitalic_ρ and vssubscript𝑣𝑠v_{s}italic_v start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT then take the form of the following (collisionless) hydrodynamic (HD) equations:

tρ+x(ρsvs)subscript𝑡𝜌subscript𝑥subscript𝜌𝑠subscript𝑣𝑠\displaystyle\partial_{t}\rho+\partial_{x}(\rho_{s}v_{s})∂ start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT italic_ρ + ∂ start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT ( italic_ρ start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT italic_v start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT ) =\displaystyle== 00\displaystyle 0 (1)
tvs+x(μ0+12ρsρvs2)subscript𝑡subscript𝑣𝑠subscript𝑥subscript𝜇012subscript𝜌𝑠𝜌superscriptsubscript𝑣𝑠2\displaystyle\partial_{t}v_{s}+\partial_{x}\left({\mu_{0}}+\frac{1}{2}\frac{% \partial\rho_{s}}{\partial\rho}v_{s}^{2}\right)∂ start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT italic_v start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT + ∂ start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT ( italic_μ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT + divide start_ARG 1 end_ARG start_ARG 2 end_ARG divide start_ARG ∂ italic_ρ start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT end_ARG start_ARG ∂ italic_ρ end_ARG italic_v start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) =\displaystyle== 00\displaystyle 0 (2)

where μ0(ρ)=ϵ0/ρsubscript𝜇0𝜌subscriptitalic-ϵ0𝜌\mu_{0}(\rho)=\partial\epsilon_{0}/\partial\rhoitalic_μ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ( italic_ρ ) = ∂ italic_ϵ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT / ∂ italic_ρ is the chemical potential calculated at vs=0subscript𝑣𝑠0v_{s}=0italic_v start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT = 0. The two HD equations correspond to the atom number conservation and to the presence of the superfluid long-range order. It is worth noticing that the quantities entering the above equations are coarse grained and correspond to averages over distances larger than the period of the periodic potential, but, of course, smaller than the phonon wavelength.

Sound propagation – corresponding to the superfluid Goldstone mode – is described by linearizing the above equations around the uniform equilibrium values ρ0subscript𝜌0\rho_{0}italic_ρ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT and vs0superscriptsubscript𝑣𝑠0v_{s}^{0}italic_v start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 0 end_POSTSUPERSCRIPT as ρ(x,t)=ρ0+δρ(x,t)𝜌𝑥𝑡subscript𝜌0𝛿𝜌𝑥𝑡\rho(x,t)=\rho_{0}+\delta\rho(x,t)italic_ρ ( italic_x , italic_t ) = italic_ρ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT + italic_δ italic_ρ ( italic_x , italic_t ) and vs(x,t)=vs0+δvs(x,t)subscript𝑣𝑠𝑥𝑡superscriptsubscript𝑣𝑠0𝛿subscript𝑣𝑠𝑥𝑡v_{s}(x,t)=v_{s}^{0}+\delta v_{s}(x,t)italic_v start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT ( italic_x , italic_t ) = italic_v start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 0 end_POSTSUPERSCRIPT + italic_δ italic_v start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT ( italic_x , italic_t ). In this way we find that the excitations obey the phononic dispersion relation ω(q)=c|q|𝜔𝑞𝑐𝑞\omega(q)=c|q|italic_ω ( italic_q ) = italic_c | italic_q |, with q𝑞qitalic_q the wave vector of the sound wave and c𝑐citalic_c the speed of sound. The latter is given by c±=c0±Δcsuperscript𝑐plus-or-minusplus-or-minussubscript𝑐0Δ𝑐c^{\pm}=c_{0}\pm\Delta citalic_c start_POSTSUPERSCRIPT ± end_POSTSUPERSCRIPT = italic_c start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ± roman_Δ italic_c, where c0=fsκ1subscript𝑐0subscript𝑓𝑠superscript𝜅1c_{0}=\sqrt{f_{s}\kappa^{-1}}italic_c start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT = square-root start_ARG italic_f start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT italic_κ start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT end_ARG is the value of the sound velocity in absence of current, with fs=ρs/ρsubscript𝑓𝑠subscript𝜌𝑠𝜌f_{s}=\rho_{s}/\rhoitalic_f start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT = italic_ρ start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT / italic_ρ the superfluid fraction and κ1=ρρμ0superscript𝜅1𝜌subscript𝜌subscript𝜇0\kappa^{-1}=\rho\partial_{\rho}\mu_{0}italic_κ start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT = italic_ρ ∂ start_POSTSUBSCRIPT italic_ρ end_POSTSUBSCRIPT italic_μ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT the inverse compressibility. Finally, the Doppler shift reads

Δc=ρsρvs0=(fs+ρfsρ)vs0Δ𝑐subscript𝜌𝑠𝜌superscriptsubscript𝑣𝑠0subscript𝑓𝑠𝜌subscript𝑓𝑠𝜌superscriptsubscript𝑣𝑠0\Delta c=\frac{\partial\rho_{s}}{\partial\rho}v_{s}^{0}=\left(f_{s}+\rho\frac{% \partial f_{s}}{\partial\rho}\right)v_{s}^{0}roman_Δ italic_c = divide start_ARG ∂ italic_ρ start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT end_ARG start_ARG ∂ italic_ρ end_ARG italic_v start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 0 end_POSTSUPERSCRIPT = ( italic_f start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT + italic_ρ divide start_ARG ∂ italic_f start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT end_ARG start_ARG ∂ italic_ρ end_ARG ) italic_v start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 0 end_POSTSUPERSCRIPT (3)

The expressions given by Eqs. (1-3) hold for both Bose and Fermi superfluids at zero temperature, the Doppler shift (Eq.(3)) being in general different from the kinematic expectation fsvs0subscript𝑓𝑠superscriptsubscript𝑣𝑠0f_{s}v_{s}^{0}italic_f start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT italic_v start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 0 end_POSTSUPERSCRIPT as a consequence of the density dependence of the superfluid fraction. Similar results were obtained in [3] in the case of superleak helium configurations, with special focus on finite size effects, and in [30, 31] in the case of atomic Bose-Einstein condensates in optical lattices, after linearization of the time-dependent Gross-Pitaevskii equation (GPE). The superfluid fraction in these works has to be interpreted in terms of effective tunneling or effective mass, respectively.

The result Eq.(3) can be easily generalized to the case of an optical lattice moving with velocity vn0superscriptsubscript𝑣𝑛0v_{n}^{0}italic_v start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 0 end_POSTSUPERSCRIPT, by a simple Galilean transformation, i.e., Δc=vn0+(ρs/ρ)(vs0vn0)=(ρs/ρ)vs0+(ρn/ρ)vn0Δ𝑐superscriptsubscript𝑣𝑛0subscript𝜌𝑠𝜌superscriptsubscript𝑣𝑠0superscriptsubscript𝑣𝑛0subscript𝜌𝑠𝜌superscriptsubscript𝑣𝑠0subscript𝜌𝑛𝜌superscriptsubscript𝑣𝑛0\Delta c=v_{n}^{0}+(\partial\rho_{s}/\partial\rho)(v_{s}^{0}-v_{n}^{0})=(% \partial\rho_{s}/\partial\rho)v_{s}^{0}+(\partial\rho_{n}/\partial\rho)v_{n}^{0}roman_Δ italic_c = italic_v start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 0 end_POSTSUPERSCRIPT + ( ∂ italic_ρ start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT / ∂ italic_ρ ) ( italic_v start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 0 end_POSTSUPERSCRIPT - italic_v start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 0 end_POSTSUPERSCRIPT ) = ( ∂ italic_ρ start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT / ∂ italic_ρ ) italic_v start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 0 end_POSTSUPERSCRIPT + ( ∂ italic_ρ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT / ∂ italic_ρ ) italic_v start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 0 end_POSTSUPERSCRIPT, with ρn=ρρssubscript𝜌𝑛𝜌subscript𝜌𝑠\rho_{n}=\rho-\rho_{s}italic_ρ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT = italic_ρ - italic_ρ start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT.

Refer to caption
Figure 1: a) An example of transversely integrated fluid density held in an optical lattice of strength s=3𝑠3s=3italic_s = 3. b) Doppler shift relative to vssubscript𝑣𝑠v_{s}italic_v start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT of the fourth sound in an optical lattice as a function of the strength parameter s𝑠sitalic_s. Superfluid fraction fssubscript𝑓𝑠f_{s}italic_f start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT is estimated with Leggett’s upper bound [32] while the derivative ρs/ρsubscript𝜌𝑠𝜌\partial\rho_{s}/\partial\rho∂ italic_ρ start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT / ∂ italic_ρ is calculated numerically.

We verify the validity of the hydrodynamic result Eq.(3), when applied to a Bose-Einstein condensed gas, by numerically solving the time dependent Gross-Pitaevskii equation in presence of an optical lattice. We consider realistic parameters for a gas of N=2105𝑁2superscript105N=2\cdot 10^{5}italic_N = 2 ⋅ 10 start_POSTSUPERSCRIPT 5 end_POSTSUPERSCRIPT 87Rb atoms confined in a tube of length L=96μm𝐿96𝜇mL=96\mu\text{m}italic_L = 96 italic_μ m along x𝑥xitalic_x, subject to periodic boundary conditions, and radially confined by a harmonic potential of the form 1/2mω2r212𝑚superscriptsubscript𝜔perpendicular-to2superscript𝑟21/2m\omega_{\perp}^{2}r^{2}1 / 2 italic_m italic_ω start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_r start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT with r2=y2+z2superscript𝑟2superscript𝑦2superscript𝑧2r^{2}=y^{2}+z^{2}italic_r start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = italic_y start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_z start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT, ω=2π150subscript𝜔perpendicular-to2𝜋150\omega_{\perp}=2\pi\cdot 150italic_ω start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT = 2 italic_π ⋅ 150Hz, with /mωLmuch-less-thanPlanck-constant-over-2-pi𝑚subscript𝜔perpendicular-to𝐿\sqrt{\hbar/m\omega_{\perp}}\ll Lsquare-root start_ARG roman_ℏ / italic_m italic_ω start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT end_ARG ≪ italic_L. The gas is subject to an external periodic potential along x𝑥xitalic_x of the form Vext=sERcos(qx)subscript𝑉𝑒𝑥𝑡𝑠subscript𝐸𝑅𝑞𝑥V_{ext}=sE_{R}\cos(qx)italic_V start_POSTSUBSCRIPT italic_e italic_x italic_t end_POSTSUBSCRIPT = italic_s italic_E start_POSTSUBSCRIPT italic_R end_POSTSUBSCRIPT roman_cos ( start_ARG italic_q italic_x end_ARG ), where ER=2q2/2msubscript𝐸𝑅superscriptPlanck-constant-over-2-pi2superscript𝑞22𝑚E_{R}=\hbar^{2}q^{2}/2mitalic_E start_POSTSUBSCRIPT italic_R end_POSTSUBSCRIPT = roman_ℏ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_q start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT / 2 italic_m is the recoil energy, and the dimensionless parameter s𝑠sitalic_s gives the strength of the external potential. The gas at zero temperature forms a Bose-Einstein condensate, characterized by the healing length ξ=/(m2μ0)𝜉Planck-constant-over-2-pi𝑚2subscript𝜇0\xi=\hbar/(m\sqrt{2\mu_{0}})italic_ξ = roman_ℏ / ( italic_m square-root start_ARG 2 italic_μ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_ARG ), which represents the length scale on which the condensate can react to an external potential. We choose the period of the lattice d=2π/q=4μ𝑑2𝜋𝑞4𝜇d=2\pi/q=4\muitalic_d = 2 italic_π / italic_q = 4 italic_μm to be much larger than the healing length: d16.7ξ𝑑16.7𝜉d\approx 16.7\xiitalic_d ≈ 16.7 italic_ξ. In the opposite regime, dξmuch-less-than𝑑𝜉d\ll\xiitalic_d ≪ italic_ξ, the superfluid fraction becomes density independent and the kinematic Doppler shift is recovered [33]. An example of the transversely integrated GP ground state density ρGP(x)subscript𝜌𝐺𝑃𝑥{\rho_{GP}}(x)italic_ρ start_POSTSUBSCRIPT italic_G italic_P end_POSTSUBSCRIPT ( italic_x ) is reported in Fig.(1a). A permanent current providing the superfluid velocity vs0=47.8μm/ssuperscriptsubscript𝑣𝑠047.8𝜇m/sv_{s}^{0}=47.8\mu\text{m/s}italic_v start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 0 end_POSTSUPERSCRIPT = 47.8 italic_μ m/s, satisfying the proper boundary condition, is applied to the system. Following a previously proposed method for probing excitations [23, 34], the system is prepared in a stationary state in presence of a small additional potential λcos(kx)𝜆𝑘𝑥\lambda\cos(kx)italic_λ roman_cos ( start_ARG italic_k italic_x end_ARG ), which is suddenly removed. Since we are interested in the lowest energy modes we take the smallest possible value k=2π/L𝑘2𝜋𝐿k=2\pi/Litalic_k = 2 italic_π / italic_L, corresponding to a wavelength much larger than the transverse size of the gas. Within linear response theory, the time evolution of the average cos(kx)delimited-⟨⟩𝑘𝑥\langle\cos(kx)\rangle⟨ roman_cos ( start_ARG italic_k italic_x end_ARG ) ⟩ contains frequencies of the modes excited by the perturbation. In the absence of current, the signal contains a single frequency, ω𝜔\omegaitalic_ω from which the speed of sound is determined as c=ω/k𝑐𝜔𝑘c=\omega/kitalic_c = italic_ω / italic_k. The current induces a mode splitting, (ω+ωsuperscript𝜔superscript𝜔\omega^{+}\neq\omega^{-}italic_ω start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT ≠ italic_ω start_POSTSUPERSCRIPT - end_POSTSUPERSCRIPT), from which the Doppler shift 2Δc=(ω+ω)/k2Δ𝑐superscript𝜔superscript𝜔𝑘2\Delta c=(\omega^{+}-\omega^{-})/k2 roman_Δ italic_c = ( italic_ω start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT - italic_ω start_POSTSUPERSCRIPT - end_POSTSUPERSCRIPT ) / italic_k can be extracted.

In order to compare the numerical result with Eq.(3) we need the derivative of the superfluid density with respect to the average density ρ𝜌\rhoitalic_ρ. We obtain it by determining the ground state of the system for different atom number and extracting the superfluid density by means of the Leggett estimate [32, 35], which provides a very accurate estimate in the present configuration (see, e.g., [36]). In Fig.(1) we report the numerically obtained Doppler shift (dots) along with the HD prediction (solid line) and the kinematic Doppler shift (dashed line). The HD result perfectly accounts for the Doppler shift, while the kinematic expression significantly underestimates it. We emphasize that in our configuration the density ρ𝜌\rhoitalic_ρ corresponds to the transverse integrated coarse grained density and the inverse compressibility is the corresponding one dimensional value.

It is worth mentioning that an experimental verification of the hydrodynamic relation between c0subscript𝑐0c_{0}italic_c start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT and fssubscript𝑓𝑠f_{s}italic_f start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT has been very recently obtained in [19]. The measurement of the shift ΔcΔ𝑐\Delta croman_Δ italic_c will be an important proof of the existence of a zero temperature anomalous Doppler effect. In cold gases one could easily change the ratio d/ξ𝑑𝜉d/\xiitalic_d / italic_ξ in order to explore such an effect.

Doppler effect in a supersolid.

Supersolids are systems which present both superfluid and crystalline long-range order, which, consequently, show two classes of phononic (Nambu-Goldstone) modes [27], due to the simultaneous spontaneous breaking of U(1)𝑈1U(1)italic_U ( 1 ) symmetry and Galilean invariance. With respect to the case of fourth sound, the HD theory of supersolid includes additional equations for the current (following from momentum conservation) and for the lattice displacement uxxusubscript𝑢𝑥subscript𝑥𝑢u_{x}\coloneqq\partial_{x}uitalic_u start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT ≔ ∂ start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT italic_u, where u𝑢uitalic_u is the lattice dispacement (following from crystalline long range order), see, e.g., [37, 38, 39, 40]:

tρ+xjsubscript𝑡𝜌subscript𝑥𝑗\displaystyle\partial_{t}\rho+\partial_{x}j∂ start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT italic_ρ + ∂ start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT italic_j =\displaystyle== 00\displaystyle 0 (4)
tj+x(p+ρnvn2+ρsvs2)subscript𝑡𝑗subscript𝑥𝑝subscript𝜌𝑛superscriptsubscript𝑣𝑛2subscript𝜌𝑠superscriptsubscript𝑣𝑠2\displaystyle\partial_{t}j+\partial_{x}\left(p+\rho_{n}v_{n}^{2}+\rho_{s}v_{s}% ^{2}\right)∂ start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT italic_j + ∂ start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT ( italic_p + italic_ρ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT italic_v start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_ρ start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT italic_v start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) =\displaystyle== 00\displaystyle 0 (5)
tvs+x(vnvs+μ)subscript𝑡subscript𝑣𝑠subscript𝑥subscript𝑣𝑛subscript𝑣𝑠𝜇\displaystyle\partial_{t}v_{s}+\partial_{x}(v_{n}v_{s}+\mu)∂ start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT italic_v start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT + ∂ start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT ( italic_v start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT italic_v start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT + italic_μ ) =\displaystyle== 00\displaystyle 0 (6)
tux+x(vnuxvn)subscript𝑡subscript𝑢𝑥subscript𝑥subscript𝑣𝑛subscript𝑢𝑥subscript𝑣𝑛\displaystyle\partial_{t}u_{x}+\partial_{x}(v_{n}u_{x}-v_{n})∂ start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT italic_u start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT + ∂ start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT ( italic_v start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT italic_u start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT - italic_v start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ) =\displaystyle== 0,0\displaystyle 0,0 , (7)

where we remind that ρnsubscript𝜌𝑛\rho_{n}italic_ρ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT, vnsubscript𝑣𝑛v_{n}italic_v start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT (ρssubscript𝜌𝑠\rho_{s}italic_ρ start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT, vssubscript𝑣𝑠v_{s}italic_v start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT) are the normal (superfluid) density and velocity in a two fluid model, ρ=ρn+ρs𝜌subscript𝜌𝑛subscript𝜌𝑠\rho=\rho_{n}+\rho_{s}italic_ρ = italic_ρ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT + italic_ρ start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT is the total density and j=ρnvn+ρsvs𝑗subscript𝜌𝑛subscript𝑣𝑛subscript𝜌𝑠subscript𝑣𝑠j=\rho_{n}v_{n}+\rho_{s}v_{s}italic_j = italic_ρ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT italic_v start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT + italic_ρ start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT italic_v start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT is the total current. The quantities p𝑝pitalic_p and μ𝜇\muitalic_μ are the pressure and the chemical potential in the presence of a stationary flow222The chemical potential μ𝜇\muitalic_μ is defined in the laboratory frame, differently from other works, where the chemical potential is defined in the superfluid reference frame and the Eq.(6) takes a different form [1].. Since we are interested in the linear expansion of the HD equation the constitutive relations can be written as [42, 40]:

δμ𝛿𝜇\displaystyle\delta\muitalic_δ italic_μ =\displaystyle== 1ρκδρ+γux+ρs2δw212δvn2,1𝜌𝜅𝛿𝜌𝛾subscript𝑢𝑥superscriptsubscript𝜌𝑠2𝛿superscript𝑤212𝛿superscriptsubscript𝑣𝑛2\displaystyle{1\over{\rho\kappa}}\delta\rho+\gamma u_{x}+{\rho_{s}^{\prime}% \over 2}\delta w^{2}-{1\over 2}\delta v_{n}^{2},divide start_ARG 1 end_ARG start_ARG italic_ρ italic_κ end_ARG italic_δ italic_ρ + italic_γ italic_u start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT + divide start_ARG italic_ρ start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_ARG start_ARG 2 end_ARG italic_δ italic_w start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - divide start_ARG 1 end_ARG start_ARG 2 end_ARG italic_δ italic_v start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT , (8)
δp𝛿𝑝\displaystyle\delta pitalic_δ italic_p =\displaystyle== (1κγ)δρ+(γρλ)ux+ρnρρn2δw2,1𝜅𝛾𝛿𝜌𝛾𝜌𝜆subscript𝑢𝑥subscript𝜌𝑛𝜌superscriptsubscript𝜌𝑛2𝛿superscript𝑤2\displaystyle\left({1\over\kappa}-\gamma\right)\delta\rho+\left(\gamma\rho-% \lambda\right)u_{x}+\frac{\rho_{n}-\rho\rho_{n}^{\prime}}{2}\delta w^{2},( divide start_ARG 1 end_ARG start_ARG italic_κ end_ARG - italic_γ ) italic_δ italic_ρ + ( italic_γ italic_ρ - italic_λ ) italic_u start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT + divide start_ARG italic_ρ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT - italic_ρ italic_ρ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_ARG start_ARG 2 end_ARG italic_δ italic_w start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT , (9)
δρn𝛿subscript𝜌𝑛\displaystyle\delta\rho_{n}italic_δ italic_ρ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT =\displaystyle== ρnδρ+ρnuux,superscriptsubscript𝜌𝑛𝛿𝜌superscriptsubscript𝜌𝑛𝑢subscript𝑢𝑥\displaystyle\rho_{n}^{\prime}\delta\rho+\rho_{n}^{u}u_{x},italic_ρ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT italic_δ italic_ρ + italic_ρ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_u end_POSTSUPERSCRIPT italic_u start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT , (10)

where we introduce the relative velocity wvnvs𝑤subscript𝑣𝑛subscript𝑣𝑠w\equiv v_{n}-v_{s}italic_w ≡ italic_v start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT - italic_v start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT, γ𝛾\gammaitalic_γ the strain-density constant, λ𝜆\lambdaitalic_λ the elastic constant. For the sake of notation we define ρiρi/ρsuperscriptsubscript𝜌𝑖subscript𝜌𝑖𝜌\rho_{i}^{\prime}\coloneqq\partial\rho_{i}/\partial\rhoitalic_ρ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ≔ ∂ italic_ρ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT / ∂ italic_ρ, with i=n,s𝑖𝑛𝑠i=n,sitalic_i = italic_n , italic_s and ρnuρn/uxsuperscriptsubscript𝜌𝑛𝑢subscript𝜌𝑛subscript𝑢𝑥\rho_{n}^{u}\coloneqq\partial\rho_{n}/\partial u_{x}italic_ρ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_u end_POSTSUPERSCRIPT ≔ ∂ italic_ρ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT / ∂ italic_u start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT. The dependence of ρnsubscript𝜌𝑛\rho_{n}italic_ρ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT on the velocity difference w𝑤witalic_w is quadratic and can be consequently neglected at the linear order.

In order to calculate the speeds of sound we linearize Eqs. (4-7) around their stationary values {n0,vs0,vn0,ux0=0}superscript𝑛0superscriptsubscript𝑣𝑠0superscriptsubscript𝑣𝑛0superscriptsubscript𝑢𝑥00\{n^{0},v_{s}^{0},v_{n}^{0},u_{x}^{0}=0\}{ italic_n start_POSTSUPERSCRIPT 0 end_POSTSUPERSCRIPT , italic_v start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 0 end_POSTSUPERSCRIPT , italic_v start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 0 end_POSTSUPERSCRIPT , italic_u start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 0 end_POSTSUPERSCRIPT = 0 } and determine the dispersion relation to the lowest order in the stationary velocities. We find two phononic modes ω1,2=c1,2|q|subscript𝜔12subscript𝑐12𝑞\omega_{1,2}=c_{1,2}|q|italic_ω start_POSTSUBSCRIPT 1 , 2 end_POSTSUBSCRIPT = italic_c start_POSTSUBSCRIPT 1 , 2 end_POSTSUBSCRIPT | italic_q |, where the speeds of sound can be written as c1,2±=c1,20±(vs0+wδ1,2c_{1,2}^{\pm}=c^{0}_{1,2}\pm(v_{s}^{0}+w\delta_{1,2}italic_c start_POSTSUBSCRIPT 1 , 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ± end_POSTSUPERSCRIPT = italic_c start_POSTSUPERSCRIPT 0 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 1 , 2 end_POSTSUBSCRIPT ± ( italic_v start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 0 end_POSTSUPERSCRIPT + italic_w italic_δ start_POSTSUBSCRIPT 1 , 2 end_POSTSUBSCRIPT). The expressions for two speeds of sound at rest c1,20subscriptsuperscript𝑐012c^{0}_{1,2}italic_c start_POSTSUPERSCRIPT 0 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 1 , 2 end_POSTSUBSCRIPT in the supersolid phase have been already derived in a number of previous works [43, 40, 44, 45] (see below).

When w=0𝑤0w=0italic_w = 0, i.e., the superfluid and normal components move together as a single fluid. Both sounds are simply shifted by the Doppler kinematic effect, fixed by the fluid velocity vs0=vn0superscriptsubscript𝑣𝑠0superscriptsubscript𝑣𝑛0v_{s}^{0}=v_{n}^{0}italic_v start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 0 end_POSTSUPERSCRIPT = italic_v start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 0 end_POSTSUPERSCRIPT. When w0𝑤0w\neq 0italic_w ≠ 0 we instead find the additional contribution wδ1,2𝑤subscript𝛿12w\delta_{1,2}italic_w italic_δ start_POSTSUBSCRIPT 1 , 2 end_POSTSUBSCRIPT, with

δ1,2=ρnu2ρn[(c1,20)2cκ2+γ]+2(c1,20)2(1+fs)cκ2ρnβ+γ[1+ρnρn(ρ2ρn)]2(c1,20)2cκ2β,subscript𝛿12superscriptsubscript𝜌𝑛𝑢2subscript𝜌𝑛delimited-[]superscriptsubscriptsuperscript𝑐0122superscriptsubscript𝑐𝜅2𝛾2superscriptsuperscriptsubscript𝑐12021subscript𝑓𝑠superscriptsubscript𝑐𝜅2superscriptsubscript𝜌𝑛𝛽𝛾delimited-[]1subscriptsuperscript𝜌𝑛subscript𝜌𝑛𝜌2subscript𝜌𝑛2superscriptsubscriptsuperscript𝑐0122superscriptsubscript𝑐𝜅2𝛽\delta_{1,2}=\frac{\frac{\rho_{n}^{u}}{2\rho_{n}}\left[\left(c^{0}_{1,2}\right% )^{2}-c_{\kappa}^{2}+\gamma\right]+2(c_{1,2}^{0})^{2}-\left(1+f_{s}\right)c_{% \kappa}^{2}-\rho_{n}^{\prime}\beta+\gamma\left[1+\frac{\rho^{\prime}_{n}}{\rho% _{n}}(\rho-2\rho_{n})\right]}{2\left(c^{0}_{1,2}\right)^{2}-c_{\kappa}^{2}-% \beta},italic_δ start_POSTSUBSCRIPT 1 , 2 end_POSTSUBSCRIPT = divide start_ARG divide start_ARG italic_ρ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_u end_POSTSUPERSCRIPT end_ARG start_ARG 2 italic_ρ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT end_ARG [ ( italic_c start_POSTSUPERSCRIPT 0 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 1 , 2 end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - italic_c start_POSTSUBSCRIPT italic_κ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_γ ] + 2 ( italic_c start_POSTSUBSCRIPT 1 , 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 0 end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - ( 1 + italic_f start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT ) italic_c start_POSTSUBSCRIPT italic_κ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - italic_ρ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT italic_β + italic_γ [ 1 + divide start_ARG italic_ρ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT end_ARG start_ARG italic_ρ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT end_ARG ( italic_ρ - 2 italic_ρ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ) ] end_ARG start_ARG 2 ( italic_c start_POSTSUPERSCRIPT 0 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 1 , 2 end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - italic_c start_POSTSUBSCRIPT italic_κ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - italic_β end_ARG , (11)

where cκ=κ1/2subscript𝑐𝜅superscript𝜅12c_{\kappa}=\kappa^{-1/2}italic_c start_POSTSUBSCRIPT italic_κ end_POSTSUBSCRIPT = italic_κ start_POSTSUPERSCRIPT - 1 / 2 end_POSTSUPERSCRIPT and β=λ/ρn𝛽𝜆subscript𝜌𝑛\beta=\lambda/\rho_{n}italic_β = italic_λ / italic_ρ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT and the speeds of sound at rest are (c1,20)2=(A±A24B)/2superscriptsuperscriptsubscript𝑐1202plus-or-minus𝐴superscript𝐴24𝐵2(c_{1,2}^{0})^{2}=(A\pm\sqrt{A^{2}-4B})/2( italic_c start_POSTSUBSCRIPT 1 , 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 0 end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = ( italic_A ± square-root start_ARG italic_A start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - 4 italic_B end_ARG ) / 2 with A=cκ2+β2γ𝐴superscriptsubscript𝑐𝜅2𝛽2𝛾A=c_{\kappa}^{2}+\beta-2\gammaitalic_A = italic_c start_POSTSUBSCRIPT italic_κ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_β - 2 italic_γ, B=fs(βcκγ2)𝐵subscript𝑓𝑠𝛽subscript𝑐𝜅superscript𝛾2B=f_{s}(\beta c_{\kappa}-\gamma^{2})italic_B = italic_f start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT ( italic_β italic_c start_POSTSUBSCRIPT italic_κ end_POSTSUBSCRIPT - italic_γ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ). In the limit of an incompressible lattice, i.e. as β𝛽\beta\to\inftyitalic_β → ∞, the Doppler shift approaches the value ρsvs0+ρnvn0superscriptsubscript𝜌𝑠superscriptsubscript𝑣𝑠0subscriptsuperscript𝜌𝑛superscriptsubscript𝑣𝑛0\rho_{s}^{\prime}v_{s}^{0}+\rho^{\prime}_{n}v_{n}^{0}italic_ρ start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT italic_v start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 0 end_POSTSUPERSCRIPT + italic_ρ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT italic_v start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 0 end_POSTSUPERSCRIPT, which coincides with the result obtained above for fourth sound. Moreover, approaching the crystal phase, i.e., ρnρsubscript𝜌𝑛𝜌\rho_{n}\rightarrow\rhoitalic_ρ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT → italic_ρ (ρnu0,ρn1formulae-sequencesuperscriptsubscript𝜌𝑛𝑢0subscriptsuperscript𝜌𝑛1\rho_{n}^{u}\rightarrow 0,\;\rho^{\prime}_{n}\rightarrow 1italic_ρ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_u end_POSTSUPERSCRIPT → 0 , italic_ρ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT → 1), one finds δ1,21subscript𝛿121\delta_{1,2}\rightarrow 1italic_δ start_POSTSUBSCRIPT 1 , 2 end_POSTSUBSCRIPT → 1, confirming the intuitive result that in the crystal phase the sound speed simply feels a kinematic Doppler shift, given by the normal velocity vnsubscript𝑣𝑛v_{n}italic_v start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT.

In general Eq.(11) predicts that the Doppler effect affects differently the two sound speeds. The result corresponds to the zero temperature analogous of the predictions obtained for the first and second sound velocities in superfluid Helium-4 [1, 4].

We explore the HD prediction for the Doppler effect in the case of a Bose-Einstein condensed gas of atoms interacting with dipolar forces, where successful experimental achievements of supersolid configurations have been obtained in the last few years (see, e.g., [16] and references therein). Theoretically, the supersolid phase in such systems is stabilized by the inclusion of the so-called Lee-Huang-Yang correction to the mean-field approach, yielding an extended version of the Gross-Pitaevskii equation [46], which has been already employed to predict the sound velocities in the absence of persistent currents. Within such a formalism, the speeds of sound can be extracted following the protocol previously described for the fourth sound of a BEC in an optical lattice. In the absence of a persistent current, we already successfully applied the protocol to the supersolid phase of ultra-cold dipolar gases in [34].

In particular, we consider N=1.6105𝑁1.6superscript105N=1.6\cdot 10^{5}italic_N = 1.6 ⋅ 10 start_POSTSUPERSCRIPT 5 end_POSTSUPERSCRIPT 164Dy atoms confined, as before, in a tube of L=96μ𝐿96𝜇L=96\muitalic_L = 96 italic_μm length with periodic boundary conditions and with a transverse potential given by mω2r2/2𝑚superscriptsubscript𝜔perpendicular-to2superscript𝑟22m\omega_{\perp}^{2}r^{2}/2italic_m italic_ω start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_r start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT / 2, where ω=2π100Hzsubscript𝜔perpendicular-to2𝜋100Hz\omega_{\perp}=2\pi\cdot 100\text{Hz}italic_ω start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT = 2 italic_π ⋅ 100 Hz. Dipoles are aligned by an external magnetic field along the z𝑧zitalic_z direction. The system can be in a homogeneous superfluid phase, in a supersolid or in the independent cluster phase – in which the superfluid long-range order along x𝑥xitalic_x is lost – depending on the parameter ϵddsubscriptitalic-ϵ𝑑𝑑\epsilon_{dd}italic_ϵ start_POSTSUBSCRIPT italic_d italic_d end_POSTSUBSCRIPT, corresponding to the ratio between the dipolar and the contact 2-body interaction strength (see, e.g., [47, 13, 14, 15]).

An example of transversely integrated density ρGP(x)subscript𝜌𝐺𝑃𝑥\rho_{GP}(x)italic_ρ start_POSTSUBSCRIPT italic_G italic_P end_POSTSUBSCRIPT ( italic_x ) is shown in Fig.(2a). The density modulations look very similar to the ones obtained in an optical lattice (see Fig.(1a)), but their origin and dynamics are profoundly different. We prepare the initial state of the system by evolving it in imaginary time in the moving frame with velocity vnsubscript𝑣𝑛v_{n}italic_v start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT, by adding the term vnPxsubscript𝑣𝑛subscript𝑃𝑥-v_{n}P_{x}- italic_v start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT italic_P start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT to the extended Gross-Pitaevski equation for the order parameter, with Pxsubscript𝑃𝑥P_{x}italic_P start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT the momentum operator along x𝑥xitalic_x. The initial stationary state is characterised by a momentum Px=m(fnvn+fsvs)delimited-⟨⟩subscript𝑃𝑥𝑚subscript𝑓𝑛subscript𝑣𝑛subscript𝑓𝑠subscript𝑣𝑠\langle P_{x}\rangle=m(f_{n}v_{n}+f_{s}v_{s})⟨ italic_P start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT ⟩ = italic_m ( italic_f start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT italic_v start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT + italic_f start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT italic_v start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT ), with fn=ρn/ρsubscript𝑓𝑛subscript𝜌𝑛𝜌f_{n}=\rho_{n}/\rhoitalic_f start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT = italic_ρ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT / italic_ρ the normal fraction. The superfluid velocity is quantized in the tube and exhibits a first jump to a non-zero value at vncr=π/(mL)=12.7μm/ssuperscriptsubscript𝑣𝑛crPlanck-constant-over-2-pi𝜋𝑚𝐿12.7𝜇m/sv_{n}^{\text{cr}}=\hbar\pi/(mL)=12.7\mu\text{m/s}italic_v start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT start_POSTSUPERSCRIPT cr end_POSTSUPERSCRIPT = roman_ℏ italic_π / ( italic_m italic_L ) = 12.7 italic_μ m/s (see also [48, 49] for the current generation in a ring) as shown in Fig.(4a).

The supersolid phase at rest exhibits two phononic modes, each of the two split into two in the presence of a current. As a consequence, four different frequencies with linear dispersion ω=c|q|=c2π/L𝜔𝑐𝑞𝑐2𝜋𝐿\omega=c|q|=c\cdot 2\pi/Litalic_ω = italic_c | italic_q | = italic_c ⋅ 2 italic_π / italic_L are expected to occur, with respect to two frequencies occurring in the superfluid and in the crystal phase. An example of Doppler splitting of two sound modes in the supersolid phase is presented in Fig.(2b). Both sounds experience an abrupt change of their speed at vn/vncr=1subscript𝑣𝑛superscriptsubscript𝑣𝑛cr1v_{n}/v_{n}^{\text{cr}}=1italic_v start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT / italic_v start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT start_POSTSUPERSCRIPT cr end_POSTSUPERSCRIPT = 1, i.e., when the phase of the order parameter hosts a quantum of circulation.

Refer to caption
Figure 2: a) Transversely integrated density of a supersolid at ϵdd=1.398subscriptitalic-ϵ𝑑𝑑1.398\epsilon_{dd}=1.398italic_ϵ start_POSTSUBSCRIPT italic_d italic_d end_POSTSUBSCRIPT = 1.398. b) Splitting of the first (upper) and second sound (lower panel) into four phonon modes as a function of normal velocity vnsubscript𝑣𝑛v_{n}italic_v start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT for the system presented in a). Within the shaded area the Doppler shift of the second sound becomes negative.

In order to make a quantitative comparison between the GP simulation and the predictions of the linearized hydrodynamic equations we need to extract the parameters entering in Eq.(11). The superfluid velocity is extracted from the relation between Pxdelimited-⟨⟩subscript𝑃𝑥\langle P_{x}\rangle⟨ italic_P start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT ⟩ and the normal velocity, where the superfluid fraction fssubscript𝑓𝑠f_{s}italic_f start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT is estimated via the Leggett formula [35], while ρnsubscriptsuperscript𝜌𝑛\rho^{\prime}_{n}italic_ρ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT and ρssubscriptsuperscript𝜌𝑠\rho^{\prime}_{s}italic_ρ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT are determined numerically by marginally changing the total atom number N𝑁Nitalic_N. The strain-density coupling has been shown to be very small for the supersolid phase of a dipolar gas [45] and will be neglected in our analysis. Finally, the term ρnusuperscriptsubscript𝜌𝑛𝑢\rho_{n}^{u}italic_ρ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_u end_POSTSUPERSCRIPT is not easily estimated within the eGPE framework and will be used here as a free parameter. Finally, the most relevant parameter δisubscript𝛿𝑖\delta_{i}italic_δ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT, accounting for the anomalous Doppler effect, is extracted by fitting the Doppler shift 12(ci+ci)12superscriptsubscript𝑐𝑖superscriptsubscript𝑐𝑖\frac{1}{2}\left(c_{i}^{+}-c_{i}^{-}\right)divide start_ARG 1 end_ARG start_ARG 2 end_ARG ( italic_c start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT - italic_c start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT - end_POSTSUPERSCRIPT ), calculated in the dynamic simulation.

In Fig.(3) we show the comparisons between the HD prediction (lines) and the numerical results (symbols) within eGPE. The solid lines represents the HD prediction for ρnu=0superscriptsubscript𝜌𝑛𝑢0\rho_{n}^{u}=0italic_ρ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_u end_POSTSUPERSCRIPT = 0. The agreement is already reasonable. Furthermore Eq.(11) suggests that δ2subscript𝛿2\delta_{2}italic_δ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT is more sensitive than δ1subscript𝛿1\delta_{1}italic_δ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT to the value of ρnusuperscriptsubscript𝜌𝑛𝑢\rho_{n}^{u}italic_ρ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_u end_POSTSUPERSCRIPT, since, close to the transition to the superfluid phase, c10superscriptsubscript𝑐10c_{1}^{0}italic_c start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 0 end_POSTSUPERSCRIPT approaches cκsubscript𝑐𝜅c_{\kappa}italic_c start_POSTSUBSCRIPT italic_κ end_POSTSUBSCRIPT [44, 34, 50]. We therefore extract ρnusuperscriptsubscript𝜌𝑛𝑢\rho_{n}^{u}italic_ρ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_u end_POSTSUPERSCRIPT by fitting the quantity δ2subscript𝛿2\delta_{2}italic_δ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT using Eq.(11). By inserting the extracted values for ρnusuperscriptsubscript𝜌𝑛𝑢\rho_{n}^{u}italic_ρ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_u end_POSTSUPERSCRIPT in Eq.(11) we find an almost perfect match also for δ1subscript𝛿1\delta_{1}italic_δ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT (see the figure). In the inset we show the extracted value of ρnu=uxρnsuperscriptsubscript𝜌𝑛𝑢subscriptsubscript𝑢𝑥subscript𝜌𝑛\rho_{n}^{u}=\partial_{u_{x}}\rho_{n}italic_ρ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_u end_POSTSUPERSCRIPT = ∂ start_POSTSUBSCRIPT italic_u start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT end_POSTSUBSCRIPT italic_ρ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT, where for completeness we report also the value extracted by fitting δ1subscript𝛿1\delta_{1}italic_δ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT. We can therefore conclude that the such quantity is not negligible for a dipolar supersolid and can be estimated by inverting Eq.(11) using the numerically extracted values for the Doppler shifts. Our analysis also confirms that γ𝛾\gammaitalic_γ is not important for describing the supersolid phase of dipolar gases [45].

Refer to caption
Figure 3: Anomalous Doppler shift of first and second sound in the supersolid phase. Results of simulations (markers) are compared with hydrodynamic model (solid lines) where the unknown derivative ρnusuperscriptsubscript𝜌𝑛𝑢\rho_{n}^{u}italic_ρ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_u end_POSTSUPERSCRIPT and γ𝛾\gammaitalic_γ are set to 0. Dotted lines present the result of the hydrodynamic model with γ=0𝛾0\gamma=0italic_γ = 0 and ρnusuperscriptsubscript𝜌𝑛𝑢\rho_{n}^{u}italic_ρ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_u end_POSTSUPERSCRIPT extracted and fitted from δ1subscript𝛿1\delta_{1}italic_δ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT. The gray vertical line marks the superfluid-supersolid transition point. The inset presents values of ρnusuperscriptsubscript𝜌𝑛𝑢\rho_{n}^{u}italic_ρ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_u end_POSTSUPERSCRIPT calculated from GPE simulation and estimated with Eq.(11).

Already for Helium-4 it was predicted that within a certain temperature range such a phenomenon can occur[4, 6, 5, 1]. According to Eq.(11), the negative shift is possible for vn/vs<1(δi+ρn)1subscript𝑣𝑛subscript𝑣𝑠1superscriptsubscript𝛿𝑖subscriptsuperscript𝜌𝑛1v_{n}/v_{s}<1-(\delta_{i}+\rho^{\prime}_{n})^{-1}italic_v start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT / italic_v start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT < 1 - ( italic_δ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT + italic_ρ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT. As shown in Fig.(4b), for the lower branch (c2subscript𝑐2c_{2}italic_c start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT) there exists a parameter range for which the negative Doppler effect can be observed. In particular, since both currents have the same direction, a negative Doppler shift is possible only for values of vn>vncrsubscript𝑣𝑛superscriptsubscript𝑣𝑛𝑐𝑟v_{n}>v_{n}^{cr}italic_v start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT > italic_v start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_c italic_r end_POSTSUPERSCRIPT, corresponding to the presence of a quantized vortex in the case of a gas confined in a ring.

Refer to caption
Figure 4: a) Normal and superfluid velocities and their difference w𝑤witalic_w in a stationary state. Shapes of all three parameters are independent from ϵddsubscriptitalic-ϵ𝑑𝑑\epsilon_{dd}italic_ϵ start_POSTSUBSCRIPT italic_d italic_d end_POSTSUBSCRIPT. b) The region where the Doppler shift of c2subscript𝑐2c_{2}italic_c start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT is negative (see text). The shaded area in a) and the point on horizontal axis in b) represent the interaction parameters as used in Fig.(2a). The parameter space closer to the superfluid phase is numerically inaccessible using the dynamical method employed in this work.

Conclusions.

We have provided analytic and numerical predictions for the zero-temperature Doppler effect exhibited by ultracold atomic gases in the presence of density modulations caused by external periodic potentials, as well as by the spontaneous breaking of translational symmetry (supersolids). Analytic results are derived by linearizing the hydrodynamic theory of superfluids and supersolids and compared with dynamic simulations based on the numerical solution of the Gross-Pitaevskii equation. We have shown that in atomic gases anomalous Doppler effects are possible even at zero temperature provided the normal part is finite, which is possible thanks to the breaking of Galilean invariance. In the presence of an optical lattice only fourth sound can propagate and the Doppler effect takes a particularly simple form (see Eq.(3)), fixed by the density derivative of the superfluid density. For supersolids, where there exist sounds of hybrid superfluid and crystalline nature, the Doppler shifts exhibit highly non-trivial features and for certain values of the parameters the shift can have a negative sign. We have considered the case of very elongated configurations which could be experimentally implemented confining the atomic gas in a ring geometry and where one-dimensional hydrodynamic theory can be safely applied. The study of the precession phenomena caused by the Doppler effect and the identification of protocols to generate permanent currents in superfluids and supersolids will be the object of a future work.

Acknowledgement

We acknowledge useful discussions with Jean Dalibard, and William D. Phillips. Stimulating discussions with Giovanni Modugno and the Pisa Dysprosium Lab are also acknowledged. This work has been supported by the Provincia Autonoma di Trento, Q@TN (the joint lab between University of Trento, FBK-Fondazione Bruno Kessler, INFN-National Institute for Nuclear Physics and CNR-National Research Council), CINECA consortium through the award under the ISCRA initiative, DISI and Department of Mathematics of University of Trento through the availability of HPC resources.

References

  • [1] I. Khalatnikov, The propagation of sound in moving helium ii and the effect of a thermal current upon the propagation of second sound, Zh. Eksp. Teor. Fiz 30, 617 (1956) [Sov. Phys. JETP 3, 649 (1956)] .
  • Rudnick et al. [1969] I. Rudnick, H. Kojima, W. Veith, and R. S. Kagiwada, Observation of superfluid-helium persistent current by doppler-shifted splitting of fourth-sound resonance, Phys. Rev. Lett. 23, 1220 (1969).
  • Bergman et al. [1975] D. J. Bergman, B. I. Halperin, and P. C. Hohenberg, Hydrodynamic theory applied to fourth sound in a moving superfluid, Phys. Rev. B 11, 4253 (1975).
  • Nepomnyashchy [1993] Y. A. Nepomnyashchy, Unusual doppler effect in he ii, Phys. Rev. B 47, 905 (1993).
  • Nepomnyashchy and Revzen [1991] Y. Nepomnyashchy and M. Revzen, Curious doppler shift of fourth sound in the low temperature limit, Physics Letters A 161, 164 (1991).
  • Gov et al. [1993] N. Gov, A. Mann, Y. Nepomnyashchy, and M. Revzen, Unusual doppler shift of fourth sound in a 3He - 4He mixture, Physics Letters A 182, 149 (1993).
  • Kenis et al. [1999] A. M. Kenis, Y. A. Nepomnyashchy, A. Mann, and M. Revzen, Unusual doppler effect in the B𝐵\mathit{B}italic_B phase of superfluid 3He, Phys. Rev. Lett. 82, 584 (1999).
  • Società Italiana [1999] D. F. Società Italiana, Bose-Einstein condensation in atomic gases (IOS Press, Amsterdam, NY, 1999).
  • Bloch et al. [2008] I. Bloch, J. Dalibard, and W. Zwerger, Many-body physics with ultracold gases, Rev. Mod. Phys. 80, 885 (2008).
  • Pitaevskii and Stringari [2016] L. Pitaevskii and S. Stringari, Bose-Einstein condensation and superfluidity (Oxford University Press, 2016).
  • Léonard et al. [2017] J. Léonard, A. Morales, P. Zupancic, T. Esslinger, and T. Donner, Supersolid formation in a quantum gas breaking a continuous translational symmetry, Nature 543, 87 (2017).
  • Li et al. [2017] J.-R. Li, J. Lee, W. Huang, S. Burchesky, B. Shteynas, F. Top, A. O. Jamison, and W. Ketterle, A stripe phase with supersolid properties in spin–orbit-coupled Bose–Einstein condensates, Nature 543, 91 (2017).
  • Tanzi et al. [2019a] L. Tanzi, E. Lucioni, F. Famà, J. Catani, A. Fioretti, C. Gabbanini, R. N. Bisset, L. Santos, and G. Modugno, Observation of a dipolar quantum gas with metastable supersolid properties, Phys. Rev. Lett. 122, 130405 (2019a).
  • Chomaz et al. [2019] L. Chomaz, D. Petter, P. Ilzhöfer, G. Natale, A. Trautmann, C. Politi, G. Durastante, R. M. W. van Bijnen, A. Patscheider, M. Sohmen, M. J. Mark, and F. Ferlaino, Long-lived and transient supersolid behaviors in dipolar quantum gases, Phys. Rev. X 9, 021012 (2019).
  • Böttcher et al. [2019] F. Böttcher, J.-N. Schmidt, M. Wenzel, J. Hertkorn, M. Guo, T. Langen, and T. Pfau, Transient supersolid properties in an array of dipolar quantum droplets, Phys. Rev. X 9, 011051 (2019).
  • Recati and Stringari [2023] A. Recati and S. Stringari, Supersolidity in ultracold dipolar gases, Nature Reviews Physics 5, 735 (2023).
  • Lewenstein et al. [2016] M. Lewenstein, A. Sanpera, and V. Ahufinger, Ultracold Atoms in Optical Lattices (Oxford University Press, London, England, 2016).
  • Fort et al. [2003] C. Fort, F. S. Cataliotti, L. Fallani, F. Ferlaino, P. Maddaloni, and M. Inguscio, Collective excitations of a trapped Bose-Einstein condensate in the presence of a 1d optical lattice, Phys. Rev. Lett. 90, 140405 (2003).
  • Chauveau et al. [2023] G. Chauveau, C. Maury, F. Rabec, C. Heintze, G. Brochier, S. Nascimbene, J. Dalibard, J. Beugnon, S. M. Roccuzzo, and S. Stringari, Superfluid fraction in an interacting spatially modulated Bose-Einstein condensate, Phys. Rev. Lett. 130, 226003 (2023).
  • Tanzi et al. [2019b] L. Tanzi, S. M. Roccuzzo, E. Lucioni, F. Famà, A. Fioretti, C. Gabbanini, G. Modugno, A. Recati, and S. Stringari, Supersolid symmetry breaking from compressional oscillations in a dipolar quantum gas, Nature 574, 382 (2019b).
  • Natale et al. [2019] G. Natale, R. M. W. van Bijnen, A. Patscheider, D. Petter, M. J. Mark, L. Chomaz, and F. Ferlaino, Excitation spectrum of a trapped dipolar supersolid and its experimental evidence, Phys. Rev. Lett. 123, 050402 (2019).
  • Guo et al. [2019] M. Guo, F. Böttcher, J. Hertkorn, J.-N. Schmidt, M. Wenzel, H. P. Büchler, T. Langen, and T. Pfau, The low-energy Goldstone mode in a trapped dipolar supersolid, Nature 574, 386 (2019).
  • Kumar et al. [2016] A. Kumar, N. Anderson, W. D. Phillips, S. Eckel, G. K. Campbell, and S. Stringari, Minimally destructive, doppler measurement of a quantized flow in a ring-shaped Bose–Einstein condensate, New Journal of Physics 18, 025001 (2016).
  • Atkins [1959] K. R. Atkins, Third and fourth sound in liquid helium II, Phys. Rev. 113, 962 (1959).
  • Rudnick and Shapiro [1962] I. Rudnick and K. A. Shapiro, Fourth sound in he II, Phys. Rev. Lett. 9, 191 (1962).
  • Andreev and Lifshitz [1969] A. F. Andreev and I. M. Lifshitz, Quantum theory of defects in crystals, Sov. Phys. JETP 29, 1107 (1969).
  • Watanabe and Brauner [2012] H. Watanabe and T. c. v. Brauner, Spontaneous breaking of continuous translational invariance, Phys. Rev. D 85, 085010 (2012).
  • Kojima et al. [1971] H. Kojima, W. Veith, S. J. Putterman, E. Guyon, and I. Rudnick, Vortex-free Landau state in rotating superfluid helium, Phys. Rev. Lett. 27, 714 (1971).
  • Note [1] While for Bose superfluids the mass m𝑚mitalic_m coincides with the atomic mass, for a Fermi superfluid m𝑚mitalic_m is twice the atomic mass.
  • Smerzi and Trombettoni [2003] A. Smerzi and A. Trombettoni, Nonlinear tight-binding approximation for Bose-Einstein condensates in a lattice, Phys. Rev. A 68, 023613 (2003).
  • Taylor and Zaremba [2003] E. Taylor and E. Zaremba, Bogoliubov sound speed in periodically modulated Bose-Einstein condensates, Phys. Rev. A 68, 053611 (2003).
  • Leggett [1970] A. J. Leggett, Can a solid be ”superfluid”?, Phys. Rev. Lett. 25, 1543 (1970).
  • Smerzi et al. [2002] A. Smerzi, A. Trombettoni, P. G. Kevrekidis, and A. R. Bishop, Dynamical superfluid-insulator transition in a chain of weakly coupled Bose-Einstein condensates, Phys. Rev. Lett. 89, 170402 (2002).
  • Šindik et al. [2024] M. Šindik, T. Zawiślak, A. Recati, and S. Stringari, Sound, superfluidity, and layer compressibility in a ring dipolar supersolid, Phys. Rev. Lett. 132, 146001 (2024).
  • Leggett [1998] A. J. Leggett, On the superfluid fraction of an arbitrary many-body system at T=0𝑇0T=0italic_T = 0J. Stat. Phys. 93, 927 (1998).
  • Smith et al. [2023] J. C. Smith, D. Baillie, and P. B. Blakie, Supersolidity and crystallization of a dipolar Bose gas in an infinite tube, Phys. Rev. A 107, 033301 (2023).
  • Son [2005] D. T. Son, Effective lagrangian and topological interactions in supersolids, Phys. Rev. Lett. 94, 175301 (2005).
  • Liu [1978] M. Liu, Two possible types of superfluidity in crystals, Phys. Rev. B 18, 1165 (1978).
  • Saslow [1977] W. M. Saslow, Microscopic and hydrodynamic theory of superfluidity in periodic solids, Phys. Rev. B 15, 173 (1977).
  • Yoo and Dorsey [2010] C.-D. Yoo and A. T. Dorsey, Hydrodynamic theory of supersolids: Variational principle, effective lagrangian, and density-density correlation function, Phys. Rev. B 81, 134518 (2010).
  • Note [2] The chemical potential μ𝜇\muitalic_μ is defined in the laboratory frame, differently from other works, where the chemical potential is defined in the superfluid reference frame and the Eq.(6) takes a different form [1].
  • Liu [2023] M. Liu, Superfluid dynamics, equilibrium conditions, and centripetal forces, Journal of Statistical Mechanics: Theory and Experiment 2023, 033104 (2023).
  • Pomeau and Rica [1994] Y. Pomeau and S. Rica, Dynamics of a model of supersolid, Phys. Rev. Lett. 72, 2426 (1994).
  • Hofmann and Zwerger [2021] J. Hofmann and W. Zwerger, Hydrodynamics of a superfluid smectic, Journal of Statistical Mechanics: Theory and Experiment 2021, 033104 (2021).
  • Platt et al. [2024] L. M. Platt, D. Baillie, and P. B. Blakie, Sound waves and fluctuations in one-dimensional supersolids, Phys. Rev. A 110, 023320 (2024).
  • Wächtler and Santos [2016] F. Wächtler and L. Santos, Quantum filaments in dipolar Bose-Einstein condensates, Phys. Rev. A 93, 061603 (2016).
  • Roccuzzo and Ancilotto [2019] S. M. Roccuzzo and F. Ancilotto, Supersolid behavior of a dipolar Bose-Einstein condensate confined in a tube, Phys. Rev. A 99, 041601 (2019).
  • Tengstrand et al. [2021] M. N. Tengstrand, D. Boholm, R. Sachdeva, J. Bengtsson, and S. M. Reimann, Persistent currents in toroidal dipolar supersolids, Phys. Rev. A 103, 013313 (2021).
  • Nilsson Tengstrand et al. [2023] M. Nilsson Tengstrand, P. Stürmer, J. Ribbing, and S. M. Reimann, Toroidal dipolar supersolid with a rotating weak link, Phys. Rev. A 107, 063316 (2023).
  • Blakie et al. [2023] P. B. Blakie, L. Chomaz, D. Baillie, and F. Ferlaino, Compressibility and speeds of sound across the superfluid-to-supersolid phase transition of an elongated dipolar gas, Phys. Rev. Res. 5, 033161 (2023).