Interaction-induced dissipative quantum phase transition
in a head-to-tail atomic Josephson junction

Koichiro Furutani [email protected] Department of Applied Physics, Nagoya University, Nagoya 464-8603, Japan Institute for Advanced Research, Nagoya University, Nagoya 464-8601, Japan    Luca Salasnich Dipartimento di Fisica e Astronomia ’Galileo Galilei’ and QTech Center, Università di Padova, via Marzolo 8, 35131 Padova, Italy Istituto Nazionale di Fisica Nucleare, Sezione di Padova, via Marzolo 8, 35131 Padova, Italy Istituto Nazionale di Ottica del Consiglio Nazionale delle Ricerche, via Carrara 2, 50019 Sesto Fiorentino, Italy
(July 3, 2024)
Abstract

We propose a dissipative phase transition in a head-to-tail Bose Josephson junction. The quantum phase transition has the same origin as the one in a resistively shunted Josephson junction, but the intrinsic momentum coupling between the Josephson mode and the bath modes enables us to observe the dissipative phase transition without any synthetic dissipation. We show that the inter-atomic interaction strength plays the role of the dam** parameter. Consequently, in contrast to a resistively shunted Josephson circuit, the Bose Josephson junction can exhibit an insulating phase in a wider parameter region by increasing the repulsive interaction strength, which is robust against nonperturbative effects. We argue that tight transverse confinement of the quasi-one-dimensional atomic gas allows us to reach the insulating phase.

Understanding the dissipative nature of quantum systems is increasing in importance for the manipulation of quantum devices. Particularly, a dissipative phase transition in a resistively shunted Josephson junction (RSJJ) proposed by Schmid and Bulgadaev 40 years ago has again attracted intense interest recently schmid1983 ; bulgadaev1984 . A RSJJ can be described by the Caldeira-Leggett (CL) model with a Josephson cosine potential caldeira1983 . The CL model, composed of a single particle subject to an external potential coupled with phonons of a thermal bath, is one of the most fundamental setups to analyze quantum dissipation in quantum many-body systems. In a RSJJ, the resistor causes thermal noise and friction, and the dam** parameter is determined by the resistance koch1980 ; kf2021 . Within the perturbative renormalization group (RG) analysis, the capacitive contribution was considered irrelevant and a dissipative phase transition exactly at the quantum resistance was predicted irrespective of the Josephson energy and the charging energy, which had, however, never been experimentally verified for a long time murani2020 . In contrast to the conventional understanding established by Schmid and Bulgadaev, in recent studies, the capacitive contribution turned out to be relevant in the nonperturbative regime and it crucially modifies the phase diagram suppressing the insulating phase dramatically masuki2022 ; yokota2023 . It implies that the effects of dissipation in the CL model require nonperturbative treatments to capture the quantum phase transition, which is theoretically tough and complicated to analyze. Even though these highly developed nonperturbative approaches are widely useful in general, they can also result in discrepancies among different approaches werner2007 ; murani2020 ; masuki2022 ; dupuis2023 ; snyman2023 ; masuki2023rep ; joyez2023 , which causes considerable difficulty in comprehensive interpretations. Then, a natural concern is whether we need to always examine the nonperturbative contributions to determine the ground state of these dissipative systems.

In this Letter, we answer this issue by proposing a physical system exhibiting the Schmid-Bulgadaev dissipative phase transition robust against nonperturbative effects: an atomic Bose Josephson junction (BJJ) in a head-to-tail configuration. The atomic Josephson junction is described by a CL-type model even without any extrinsic coupling with a reservoir and the relative phase obeys a generalized quantum Langevin equation minguzzi2018 ; binanti2021 . We call it an intrinsically-momentum-coupled CL (ICL) model. The ICL model hosts qualitatively distinct properties from the standard CL model. Within the ICL model, we point out that the dissipative phase diagram recovers the Schmid-Bulgadaev picture, which was originally derived by a perturbative approach, even beyond perturbative regime. It is owing that the ICL model with the Josephson coupling is equivalent to the boundary sine-Gordon model at any parameter region due to the intrinsic momentum coupling between the Josephson mode and the bath modes in contrast to the RSJJ. Based on the phase diagram, we predict a dissipative phase transition from the superfluid phase to the insulating phase, which is broadened rather than the one in the RSJJ. Any external dissipator such as a resistor in an electric circuit is no longer necessary in this dissipative phase transition, but the ground state is controlled by the inter-atomic interaction strength. In our head-to-tail BJJ, reaching the quantum phase transition turns out to require a large gas parameter. We argue that tight constrictions in the transverse directions to realize a quasi-one-dimensional BJJ have a possibility to observe the dissipative phase transition due to the renormalized interaction.

We start from a quasi-one-dimensional atomic BJJ in a head-to-tail configuration with the system size L𝐿Litalic_L described by

BJJsubscriptBJJ\displaystyle\mathscr{L}_{\rm BJJ}script_L start_POSTSUBSCRIPT roman_BJJ end_POSTSUBSCRIPT =a=1,2[iΨatΨa22m|xΨa|2g2|Ψa|4]absentsubscript𝑎12delimited-[]𝑖Planck-constant-over-2-pisuperscriptsubscriptΨ𝑎subscript𝑡subscriptΨ𝑎superscriptPlanck-constant-over-2-pi22𝑚superscriptsubscript𝑥subscriptΨ𝑎2𝑔2superscriptsubscriptΨ𝑎4\displaystyle=\sum_{a=1,2}\left[i\hbar\Psi_{a}^{*}\partial_{t}\Psi_{a}-\dfrac{% \hbar^{2}}{2m}\absolutevalue{\partial_{x}\Psi_{a}}^{2}-\frac{g}{2}% \absolutevalue{\Psi_{a}}^{4}\right]= ∑ start_POSTSUBSCRIPT italic_a = 1 , 2 end_POSTSUBSCRIPT [ italic_i roman_ℏ roman_Ψ start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT ∂ start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT roman_Ψ start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT - divide start_ARG roman_ℏ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 italic_m end_ARG | start_ARG ∂ start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT roman_Ψ start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT end_ARG | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - divide start_ARG italic_g end_ARG start_ARG 2 end_ARG | start_ARG roman_Ψ start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT end_ARG | start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT ] (1)
+J(x)2[Ψ1Ψ2+Ψ2Ψ1],𝐽𝑥2delimited-[]superscriptsubscriptΨ1subscriptΨ2superscriptsubscriptΨ2subscriptΨ1\displaystyle+\dfrac{J(x)}{2}\left[\Psi_{1}^{*}\Psi_{2}+\Psi_{2}^{*}\Psi_{1}% \right],+ divide start_ARG italic_J ( italic_x ) end_ARG start_ARG 2 end_ARG [ roman_Ψ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT roman_Ψ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT + roman_Ψ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT roman_Ψ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ] ,

where Ψa=1,2(x,t)=na(x,t)eiϕa(x,t)subscriptΨ𝑎12𝑥𝑡subscript𝑛𝑎𝑥𝑡superscript𝑒𝑖subscriptitalic-ϕ𝑎𝑥𝑡\Psi_{a=1,2}(x,t)=\sqrt{n_{a}(x,t)}e^{i\phi_{a}(x,t)}roman_Ψ start_POSTSUBSCRIPT italic_a = 1 , 2 end_POSTSUBSCRIPT ( italic_x , italic_t ) = square-root start_ARG italic_n start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT ( italic_x , italic_t ) end_ARG italic_e start_POSTSUPERSCRIPT italic_i italic_ϕ start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT ( italic_x , italic_t ) end_POSTSUPERSCRIPT is the complex Bose field of each tube, m𝑚mitalic_m is the atomic mass, g𝑔gitalic_g is the s𝑠sitalic_s-wave interaction strength, and J(x)=J0Lδ(x)𝐽𝑥subscript𝐽0𝐿𝛿𝑥J(x)=J_{0}L\delta(x)italic_J ( italic_x ) = italic_J start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT italic_L italic_δ ( italic_x ) is the Josephson coupling. The schematic picture of the system is depicted in Fig. 1.

Refer to caption
Figure 1: Bose Josephson junction in the head-to-tail configuration with J(x)=J0Lδ(x)𝐽𝑥subscript𝐽0𝐿𝛿𝑥J(x)=J_{0}L\delta(x)italic_J ( italic_x ) = italic_J start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT italic_L italic_δ ( italic_x ). Two quasi-one-dimensional Bose gases of system size L𝐿Litalic_L described by the complex Bose fields Ψ1,2(x,t)subscriptΨ12𝑥𝑡\Psi_{1,2}(x,t)roman_Ψ start_POSTSUBSCRIPT 1 , 2 end_POSTSUBSCRIPT ( italic_x , italic_t ) are coupled through the Josephson coupling J(x)𝐽𝑥J(x)italic_J ( italic_x ) at x=0𝑥0x=0italic_x = 0.

To analyze the relative dynamics, we introduce a relative phase ϕ=ϕ1ϕ2italic-ϕsubscriptitalic-ϕ1subscriptitalic-ϕ2\phi=\phi_{1}-\phi_{2}italic_ϕ = italic_ϕ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT - italic_ϕ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT and a population imbalance ζ=(n1n2)/(n1+n2)𝜁subscript𝑛1subscript𝑛2subscript𝑛1subscript𝑛2\zeta=(n_{1}-n_{2})/(n_{1}+n_{2})italic_ζ = ( italic_n start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT - italic_n start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) / ( italic_n start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT + italic_n start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ), and perform mode expansions as binanti2021

ϕ(x,t)=1Ln=0NΦn(x)qn(t),italic-ϕ𝑥𝑡1𝐿superscriptsubscript𝑛0𝑁subscriptΦ𝑛𝑥subscript𝑞𝑛𝑡\phi(x,t)=\dfrac{1}{\sqrt{L}}\sum_{n=0}^{N}\Phi_{n}(x)q_{n}(t),italic_ϕ ( italic_x , italic_t ) = divide start_ARG 1 end_ARG start_ARG square-root start_ARG italic_L end_ARG end_ARG ∑ start_POSTSUBSCRIPT italic_n = 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_N end_POSTSUPERSCRIPT roman_Φ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ( italic_x ) italic_q start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ( italic_t ) , (2)

with {Φn(x)}={cos((knx))}/LsubscriptΦ𝑛𝑥subscript𝑘𝑛𝑥𝐿\{\Phi_{n}(x)\}=\{\cos{(k_{n}x)}\}/\sqrt{L}{ roman_Φ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ( italic_x ) } = { roman_cos ( start_ARG ( italic_k start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT italic_x ) end_ARG ) } / square-root start_ARG italic_L end_ARG being the orthonormal basis and kn=nπ/Lsubscript𝑘𝑛𝑛𝜋𝐿k_{n}=n\pi/Litalic_k start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT = italic_n italic_π / italic_L with n=0,1,2,N𝑛012𝑁n=0,1,2,\cdots Nitalic_n = 0 , 1 , 2 , ⋯ italic_N. The mode number cutoff can be chosen to be the total number of atoms in atomic systems binanti2021 . One can then identify the Josephson mode ϕ0(t)=n=0Nqn(t)/Lsubscriptitalic-ϕ0𝑡superscriptsubscript𝑛0𝑁subscript𝑞𝑛𝑡𝐿\phi_{0}(t)=\sum_{n=0}^{N}q_{n}(t)/Litalic_ϕ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ( italic_t ) = ∑ start_POSTSUBSCRIPT italic_n = 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_N end_POSTSUPERSCRIPT italic_q start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ( italic_t ) / italic_L and the bath mode Qn(t)=qn(t)subscript𝑄𝑛𝑡subscript𝑞𝑛𝑡Q_{n}(t)=q_{n}(t)italic_Q start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ( italic_t ) = italic_q start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ( italic_t ) for n1𝑛1n\geq 1italic_n ≥ 1. Under this head-to-tail configuration and a small population imbalance |ζ|1much-less-than𝜁1\absolutevalue{\zeta}\ll 1| start_ARG italic_ζ end_ARG | ≪ 1, a canonical transformation maps the BJJ described by Eq. (1) to binanti2021

HICLsubscript𝐻ICL\displaystyle H_{\rm ICL}italic_H start_POSTSUBSCRIPT roman_ICL end_POSTSUBSCRIPT =P022MJ0Ln¯cos(ϕ0)absentsuperscriptsubscript𝑃022𝑀subscript𝐽0𝐿¯𝑛subscriptitalic-ϕ0\displaystyle=\frac{P_{0}^{2}}{2M}-J_{0}L\bar{n}\cos{\phi_{0}}= divide start_ARG italic_P start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 italic_M end_ARG - italic_J start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT italic_L over¯ start_ARG italic_n end_ARG roman_cos ( start_ARG italic_ϕ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_ARG ) (3)
+n=1N[(Pn+P0)22M+Mωn22Qn2],superscriptsubscript𝑛1𝑁delimited-[]superscriptsubscript𝑃𝑛subscript𝑃022𝑀𝑀superscriptsubscript𝜔𝑛22superscriptsubscript𝑄𝑛2\displaystyle+\sum_{n=1}^{N}\left[\frac{(P_{n}+P_{0})^{2}}{2M}+\frac{M\omega_{% n}^{2}}{2}Q_{n}^{2}\right],+ ∑ start_POSTSUBSCRIPT italic_n = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_N end_POSTSUPERSCRIPT [ divide start_ARG ( italic_P start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT + italic_P start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 italic_M end_ARG + divide start_ARG italic_M italic_ω start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 end_ARG italic_Q start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ] ,

where (Qn,Pn)subscript𝑄𝑛subscript𝑃𝑛(Q_{n},P_{n})( italic_Q start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT , italic_P start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ) (n1𝑛1n\geq 1italic_n ≥ 1) is a set of coordinate and canonical momentum of the bath modes, and (Lϕ0,P0)𝐿subscriptitalic-ϕ0subscript𝑃0(L\phi_{0},P_{0})( italic_L italic_ϕ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT , italic_P start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ) is the coordinate and canonical momentum of the Josephson mode with the effective mass M=2/2gL𝑀superscriptPlanck-constant-over-2-pi22𝑔𝐿M=\hbar^{2}/2gLitalic_M = roman_ℏ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT / 2 italic_g italic_L, n¯=(|Ψ1|2+|Ψ2|2)/2=N/L¯𝑛superscriptsubscriptΨ12superscriptsubscriptΨ222𝑁𝐿\bar{n}=(\absolutevalue{\Psi_{1}}^{2}+\absolutevalue{\Psi_{2}}^{2})/2=N/Lover¯ start_ARG italic_n end_ARG = ( | start_ARG roman_Ψ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_ARG | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + | start_ARG roman_Ψ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_ARG | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) / 2 = italic_N / italic_L, and ωn=cknsubscript𝜔𝑛𝑐subscript𝑘𝑛\omega_{n}=ck_{n}italic_ω start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT = italic_c italic_k start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT. The sound velocity is given by c=gn¯/m𝑐𝑔¯𝑛𝑚c=\sqrt{g\bar{n}/m}italic_c = square-root start_ARG italic_g over¯ start_ARG italic_n end_ARG / italic_m end_ARG. The Hamiltonian (3) describes a coherent Josephson mode coupled with incoherent Bogoliubov phonons, and they are coupled intrinsically through the canonical momentum. This intrinsic coupling between the Josephson mode and bath modes leads to dissipation and the Josephson mode obeys a generalized Langevin equation minguzzi2018 ; binanti2021 . We call Eq. (3) the ICL model. Second quantization with QnQ^n=i/2Mωn(b^nb^n)subscript𝑄𝑛subscript^𝑄𝑛𝑖Planck-constant-over-2-pi2𝑀subscript𝜔𝑛superscriptsubscript^𝑏𝑛subscript^𝑏𝑛Q_{n}\to\hat{Q}_{n}=i\sqrt{\hbar/2M\omega_{n}}\,(\hat{b}_{n}^{\dagger}-\hat{b}% _{n})italic_Q start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT → over^ start_ARG italic_Q end_ARG start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT = italic_i square-root start_ARG roman_ℏ / 2 italic_M italic_ω start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT end_ARG ( over^ start_ARG italic_b end_ARG start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT - over^ start_ARG italic_b end_ARG start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ) and PnP^n=iMωn/2(b^n+b^n)subscript𝑃𝑛subscript^𝑃𝑛𝑖Planck-constant-over-2-pi𝑀subscript𝜔𝑛2superscriptsubscript^𝑏𝑛subscript^𝑏𝑛P_{n}\to\hat{P}_{n}=-i\sqrt{\hbar M\omega_{n}/2}\,(\hat{b}_{n}^{\dagger}+\hat{% b}_{n})italic_P start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT → over^ start_ARG italic_P end_ARG start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT = - italic_i square-root start_ARG roman_ℏ italic_M italic_ω start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT / 2 end_ARG ( over^ start_ARG italic_b end_ARG start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT + over^ start_ARG italic_b end_ARG start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ) with b^nsuperscriptsubscript^𝑏𝑛\hat{b}_{n}^{\dagger}over^ start_ARG italic_b end_ARG start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT and b^nsubscript^𝑏𝑛\hat{b}_{n}over^ start_ARG italic_b end_ARG start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT being the creation and annihilation operators of the n𝑛nitalic_n-th bath modes, respectively, satisfying the commutation relation [b^n,b^m]=δnmsubscript^𝑏𝑛superscriptsubscript^𝑏𝑚subscript𝛿𝑛𝑚[\hat{b}_{n},\hat{b}_{m}^{\dagger}]=\delta_{nm}[ over^ start_ARG italic_b end_ARG start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT , over^ start_ARG italic_b end_ARG start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT ] = italic_δ start_POSTSUBSCRIPT italic_n italic_m end_POSTSUBSCRIPT, and N^0iϕ0=LP^0/subscript^𝑁0𝑖subscriptsubscriptitalic-ϕ0𝐿subscript^𝑃0Planck-constant-over-2-pi\hat{N}_{0}\equiv-i\partial_{\phi_{0}}=L\hat{P}_{0}/\hbarover^ start_ARG italic_N end_ARG start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ≡ - italic_i ∂ start_POSTSUBSCRIPT italic_ϕ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_POSTSUBSCRIPT = italic_L over^ start_ARG italic_P end_ARG start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT / roman_ℏ results in HICLH^ICL=H^J+H^B+H^JBsubscript𝐻ICLsubscript^𝐻ICLsubscript^𝐻Jsubscript^𝐻Bsubscript^𝐻JBH_{\rm ICL}\to\hat{H}_{\rm ICL}=\hat{H}_{\rm J}+\hat{H}_{\rm B}+\hat{H}_{\rm JB}italic_H start_POSTSUBSCRIPT roman_ICL end_POSTSUBSCRIPT → over^ start_ARG italic_H end_ARG start_POSTSUBSCRIPT roman_ICL end_POSTSUBSCRIPT = over^ start_ARG italic_H end_ARG start_POSTSUBSCRIPT roman_J end_POSTSUBSCRIPT + over^ start_ARG italic_H end_ARG start_POSTSUBSCRIPT roman_B end_POSTSUBSCRIPT + over^ start_ARG italic_H end_ARG start_POSTSUBSCRIPT roman_JB end_POSTSUBSCRIPT with

H^J=ECN^02EJcos(ϕ0),subscript^𝐻Jsubscript𝐸𝐶superscriptsubscript^𝑁02subscript𝐸𝐽subscriptitalic-ϕ0\hat{H}_{\rm J}=E_{C}\hat{N}_{0}^{2}-E_{J}\cos{\phi_{0}},over^ start_ARG italic_H end_ARG start_POSTSUBSCRIPT roman_J end_POSTSUBSCRIPT = italic_E start_POSTSUBSCRIPT italic_C end_POSTSUBSCRIPT over^ start_ARG italic_N end_ARG start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - italic_E start_POSTSUBSCRIPT italic_J end_POSTSUBSCRIPT roman_cos ( start_ARG italic_ϕ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_ARG ) , (4a)
H^B=n=1Nωnb^nb^n,subscript^𝐻Bsuperscriptsubscript𝑛1𝑁Planck-constant-over-2-pisubscript𝜔𝑛superscriptsubscript^𝑏𝑛subscript^𝑏𝑛\hat{H}_{\rm B}=\sum_{n=1}^{N}\hbar\omega_{n}\hat{b}_{n}^{\dagger}\hat{b}_{n},over^ start_ARG italic_H end_ARG start_POSTSUBSCRIPT roman_B end_POSTSUBSCRIPT = ∑ start_POSTSUBSCRIPT italic_n = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_N end_POSTSUPERSCRIPT roman_ℏ italic_ω start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT over^ start_ARG italic_b end_ARG start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT over^ start_ARG italic_b end_ARG start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT , (4b)
H^JB=N^0n=1Nκn(b^n+b^n),subscript^𝐻JBsubscript^𝑁0superscriptsubscript𝑛1𝑁Planck-constant-over-2-pisubscript𝜅𝑛superscriptsubscript^𝑏𝑛subscript^𝑏𝑛\hat{H}_{\rm JB}=-\hat{N}_{0}\sum_{n=1}^{N}\hbar\kappa_{n}\left(\hat{b}_{n}^{% \dagger}+\hat{b}_{n}\right),over^ start_ARG italic_H end_ARG start_POSTSUBSCRIPT roman_JB end_POSTSUBSCRIPT = - over^ start_ARG italic_N end_ARG start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ∑ start_POSTSUBSCRIPT italic_n = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_N end_POSTSUPERSCRIPT roman_ℏ italic_κ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ( over^ start_ARG italic_b end_ARG start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT + over^ start_ARG italic_b end_ARG start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ) , (4c)

with

EC=(1+N)22ML2,EJ=J0Ln¯,κn=ECωn1+N.formulae-sequencesubscript𝐸𝐶1𝑁superscriptPlanck-constant-over-2-pi22𝑀superscript𝐿2formulae-sequencesubscript𝐸𝐽subscript𝐽0𝐿¯𝑛Planck-constant-over-2-pisubscript𝜅𝑛subscript𝐸𝐶Planck-constant-over-2-pisubscript𝜔𝑛1𝑁E_{C}=\frac{(1+N)\hbar^{2}}{2ML^{2}},\quad E_{J}=J_{0}L\bar{n},\quad\hbar% \kappa_{n}=\sqrt{\frac{E_{C}\hbar\omega_{n}}{1+N}}.italic_E start_POSTSUBSCRIPT italic_C end_POSTSUBSCRIPT = divide start_ARG ( 1 + italic_N ) roman_ℏ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 italic_M italic_L start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG , italic_E start_POSTSUBSCRIPT italic_J end_POSTSUBSCRIPT = italic_J start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT italic_L over¯ start_ARG italic_n end_ARG , roman_ℏ italic_κ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT = square-root start_ARG divide start_ARG italic_E start_POSTSUBSCRIPT italic_C end_POSTSUBSCRIPT roman_ℏ italic_ω start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT end_ARG start_ARG 1 + italic_N end_ARG end_ARG . (5)

The system described by H^ICLsubscript^𝐻ICL\hat{H}_{\rm ICL}over^ start_ARG italic_H end_ARG start_POSTSUBSCRIPT roman_ICL end_POSTSUBSCRIPT with Eqs. (4c) is equivalent to a RSJJ masuki2022 . Note that, however, our BJJ model (4c) does not have any off-diagonal terms such as b^nb^msuperscriptsubscript^𝑏𝑛superscriptsubscript^𝑏𝑚\hat{b}_{n}^{\dagger}\hat{b}_{m}^{\dagger}over^ start_ARG italic_b end_ARG start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT over^ start_ARG italic_b end_ARG start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT in contrast to the RSJJ (see Eq. (1) in Ref. masuki2022 ). Consequently, we do not need any diagonalization and the coupling has a simpler form. Instead, the charging energy ECsubscript𝐸𝐶E_{C}italic_E start_POSTSUBSCRIPT italic_C end_POSTSUBSCRIPT involves the total number of atoms in each tube N𝑁Nitalic_N, which determines the cutoff frequency W=ωN=cπN/L𝑊subscript𝜔𝑁𝑐𝜋𝑁𝐿W=\omega_{N}=c\pi N/Litalic_W = italic_ω start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT = italic_c italic_π italic_N / italic_L. The form of the coupling with the bath in Eq. (5) in the BJJ yields a qualitative difference in the phase diagram from the RSJJ masuki2022 .

Refer to caption
Figure 2: Phase diagram of the ICL model with the Josephson coupling with respect to α=2π/g~𝛼2𝜋~𝑔\alpha=2\pi/\sqrt{\tilde{g}}italic_α = 2 italic_π / square-root start_ARG over~ start_ARG italic_g end_ARG end_ARG where g~=mg/n2~𝑔𝑚𝑔𝑛superscriptPlanck-constant-over-2-pi2\tilde{g}=mg/n\hbar^{2}over~ start_ARG italic_g end_ARG = italic_m italic_g / italic_n roman_ℏ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT is the gas parameter. The vertical axis represents the ratio between the Josephson energy and the charging energy EJ/ECsubscript𝐸𝐽subscript𝐸𝐶E_{J}/E_{C}italic_E start_POSTSUBSCRIPT italic_J end_POSTSUBSCRIPT / italic_E start_POSTSUBSCRIPT italic_C end_POSTSUBSCRIPT. The region α>1𝛼1\alpha>1italic_α > 1 corresponds to the superfluid state with the localized superfluid phase. The region α<1𝛼1\alpha<1italic_α < 1 corresponds to the insulating state with the delocalized phase.

To see that practically, we consider a canonical transformation of Eq. (3), or alternatively, a unitary transformation of Eq. (4c) as H^=U^H^ICLU^^𝐻superscript^𝑈subscript^𝐻ICL^𝑈\hat{H}=\hat{U}^{\dagger}\hat{H}_{\rm ICL}\hat{U}over^ start_ARG italic_H end_ARG = over^ start_ARG italic_U end_ARG start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT over^ start_ARG italic_H end_ARG start_POSTSUBSCRIPT roman_ICL end_POSTSUBSCRIPT over^ start_ARG italic_U end_ARG with U^exp[iN^0Ξ^]^𝑈expdelimited-[]𝑖subscript^𝑁0^Ξ\hat{U}\equiv\mathrm{exp}[-i\hat{N}_{0}\hat{\Xi}]over^ start_ARG italic_U end_ARG ≡ roman_exp [ - italic_i over^ start_ARG italic_N end_ARG start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT over^ start_ARG roman_Ξ end_ARG ] and Ξ^in=1Nκn(b^nb^n)/ωn^Ξ𝑖superscriptsubscript𝑛1𝑁subscript𝜅𝑛superscriptsubscript^𝑏𝑛subscript^𝑏𝑛subscript𝜔𝑛\hat{\Xi}\equiv i\sum_{n=1}^{N}\kappa_{n}(\hat{b}_{n}^{\dagger}-\hat{b}_{n})/% \omega_{n}over^ start_ARG roman_Ξ end_ARG ≡ italic_i ∑ start_POSTSUBSCRIPT italic_n = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_N end_POSTSUPERSCRIPT italic_κ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ( over^ start_ARG italic_b end_ARG start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT - over^ start_ARG italic_b end_ARG start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ) / italic_ω start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT masuki2022 ; ashida2021 . As a result, we can obtain the transformed Hamiltonian as masuki2022

H^=EJcos([ϕ0+1αφ^(0)])+c4π0Ldx[(xφ^)2+π^2],^𝐻subscript𝐸𝐽delimited-[]subscriptitalic-ϕ01𝛼^𝜑0Planck-constant-over-2-pi𝑐4𝜋subscriptsuperscript𝐿0𝑥delimited-[]superscriptsubscript𝑥^𝜑2superscript^𝜋2\hat{H}=-E_{J}\cos{\left[\phi_{0}+\frac{1}{\sqrt{\alpha}}\hat{\varphi}(0)% \right]}+\frac{\hbar c}{4\pi}\int^{L}_{0}\differential{x}\left[\left(\partial_% {x}\hat{\varphi}\right)^{2}+\hat{\pi}^{2}\right],over^ start_ARG italic_H end_ARG = - italic_E start_POSTSUBSCRIPT italic_J end_POSTSUBSCRIPT roman_cos ( start_ARG [ italic_ϕ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT + divide start_ARG 1 end_ARG start_ARG square-root start_ARG italic_α end_ARG end_ARG over^ start_ARG italic_φ end_ARG ( 0 ) ] end_ARG ) + divide start_ARG roman_ℏ italic_c end_ARG start_ARG 4 italic_π end_ARG ∫ start_POSTSUPERSCRIPT italic_L end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT roman_d start_ARG italic_x end_ARG [ ( ∂ start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT over^ start_ARG italic_φ end_ARG ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + over^ start_ARG italic_π end_ARG start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ] , (6)

with

φ^(x)n=1N2πknLi(b^nb^n)cos((knx)),^𝜑𝑥superscriptsubscript𝑛1𝑁2𝜋subscript𝑘𝑛𝐿𝑖superscriptsubscript^𝑏𝑛subscript^𝑏𝑛subscript𝑘𝑛𝑥\hat{\varphi}(x)\equiv\sum_{n=1}^{N}\sqrt{\frac{2\pi}{k_{n}L}}\,i\left(\hat{b}% _{n}^{\dagger}-\hat{b}_{n}\right)\cos{(k_{n}x)},over^ start_ARG italic_φ end_ARG ( italic_x ) ≡ ∑ start_POSTSUBSCRIPT italic_n = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_N end_POSTSUPERSCRIPT square-root start_ARG divide start_ARG 2 italic_π end_ARG start_ARG italic_k start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT italic_L end_ARG end_ARG italic_i ( over^ start_ARG italic_b end_ARG start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT - over^ start_ARG italic_b end_ARG start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ) roman_cos ( start_ARG ( italic_k start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT italic_x ) end_ARG ) , (7a)
π^(x)n=1N2πknL(b^n+b^n)sin((knx)).^𝜋𝑥superscriptsubscript𝑛1𝑁2𝜋subscript𝑘𝑛𝐿superscriptsubscript^𝑏𝑛subscript^𝑏𝑛subscript𝑘𝑛𝑥\hat{\pi}(x)\equiv\sum_{n=1}^{N}\sqrt{\frac{2\pi k_{n}}{L}}\,\left(\hat{b}_{n}% ^{\dagger}+\hat{b}_{n}\right)\sin{(k_{n}x)}.over^ start_ARG italic_π end_ARG ( italic_x ) ≡ ∑ start_POSTSUBSCRIPT italic_n = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_N end_POSTSUPERSCRIPT square-root start_ARG divide start_ARG 2 italic_π italic_k start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT end_ARG start_ARG italic_L end_ARG end_ARG ( over^ start_ARG italic_b end_ARG start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT + over^ start_ARG italic_b end_ARG start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ) roman_sin ( start_ARG ( italic_k start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT italic_x ) end_ARG ) . (7b)

We introduced a parameter

α=2πg~.𝛼2𝜋~𝑔\alpha=\frac{2\pi}{\sqrt{\tilde{g}}}.italic_α = divide start_ARG 2 italic_π end_ARG start_ARG square-root start_ARG over~ start_ARG italic_g end_ARG end_ARG end_ARG . (8)

where g~=mg/n¯2~𝑔𝑚𝑔¯𝑛superscriptPlanck-constant-over-2-pi2\tilde{g}=mg/\bar{n}\hbar^{2}over~ start_ARG italic_g end_ARG = italic_m italic_g / over¯ start_ARG italic_n end_ARG roman_ℏ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT is the gas parameter. Equation (6) is the boundary sine-Gordon model and the ground state is known to be classified as a superconducting state for α>1𝛼1\alpha>1italic_α > 1 or an insulating state for α<1𝛼1\alpha<1italic_α < 1 even beyond perturbative regime masuki2022 ; schmid1983 ; bulgadaev1984 ; muramatsu1985 ; zwerger1985 ; fisher1992 ; nagaosa1993 ; saleur1995 . The phase diagram at zero temperature is summarized in Fig. 2. Indeed, the RG flow of the Josephson energy in the boundary sine-Gordon model reads altlandsimons ; nagaosaQFT

ϵJ()=(11α)ϵJ(),subscriptsubscriptitalic-ϵ𝐽11𝛼subscriptitalic-ϵ𝐽\partial_{\ell}\epsilon_{J}(\ell)=\left(1-\dfrac{1}{\alpha}\right)\epsilon_{J}% (\ell),∂ start_POSTSUBSCRIPT roman_ℓ end_POSTSUBSCRIPT italic_ϵ start_POSTSUBSCRIPT italic_J end_POSTSUBSCRIPT ( roman_ℓ ) = ( 1 - divide start_ARG 1 end_ARG start_ARG italic_α end_ARG ) italic_ϵ start_POSTSUBSCRIPT italic_J end_POSTSUBSCRIPT ( roman_ℓ ) , (9)

at the lowest order with \ellroman_ℓ being the dimensionless RG scale and ϵJ=EJ/Wsubscriptitalic-ϵ𝐽subscript𝐸𝐽Planck-constant-over-2-pi𝑊\epsilon_{J}=E_{J}/\hbar Witalic_ϵ start_POSTSUBSCRIPT italic_J end_POSTSUBSCRIPT = italic_E start_POSTSUBSCRIPT italic_J end_POSTSUBSCRIPT / roman_ℏ italic_W. The RG cutoff scale can be determined by the frequency cutoff as max=ln((W/ω1))subscriptmax𝑊subscript𝜔1\ell_{\rm max}=\ln{(W/\omega_{1})}roman_ℓ start_POSTSUBSCRIPT roman_max end_POSTSUBSCRIPT = roman_ln ( start_ARG ( italic_W / italic_ω start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) end_ARG ). It is related to the total number of atoms N𝑁Nitalic_N in a cold atom setup binanti2021 .

Refer to caption
Refer to caption
Refer to caption
Figure 3: Phase coherence computed from the Langevin equation linearizing Eq. (10). (a) Coherence factor in the long-time limit plotted in terms of α=2πn2/mg𝛼2𝜋𝑛superscriptPlanck-constant-over-2-pi2𝑚𝑔\alpha=2\pi\sqrt{n\hbar^{2}/mg}italic_α = 2 italic_π square-root start_ARG italic_n roman_ℏ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT / italic_m italic_g end_ARG with g𝑔gitalic_g being the inter-atomic interaction strength under the initial energy ratio EJ/EC=0.20,1.00,100subscript𝐸𝐽subscript𝐸𝐶0.201.00100E_{J}/E_{C}=0.20,1.00,100italic_E start_POSTSUBSCRIPT italic_J end_POSTSUBSCRIPT / italic_E start_POSTSUBSCRIPT italic_C end_POSTSUBSCRIPT = 0.20 , 1.00 , 100. (b) Time evolution of the coherence factor scaled by the bare Josephson frequency Ω0subscriptΩ0\Omega_{0}roman_Ω start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT with α=1.50,1.20,0.99𝛼1.501.200.99\alpha=1.50,1.20,0.99italic_α = 1.50 , 1.20 , 0.99 under EJ/EC=100subscript𝐸𝐽subscript𝐸𝐶100E_{J}/E_{C}=100italic_E start_POSTSUBSCRIPT italic_J end_POSTSUBSCRIPT / italic_E start_POSTSUBSCRIPT italic_C end_POSTSUBSCRIPT = 100. (c) RG flow of the coherence factor under EJ/EC=100subscript𝐸𝐽subscript𝐸𝐶100E_{J}/E_{C}=100italic_E start_POSTSUBSCRIPT italic_J end_POSTSUBSCRIPT / italic_E start_POSTSUBSCRIPT italic_C end_POSTSUBSCRIPT = 100 with respect to the RG cutoff scale maxsubscriptmax\ell_{\rm max}roman_ℓ start_POSTSUBSCRIPT roman_max end_POSTSUBSCRIPT in the long-time limit.

The phase coherence factor cos(ϕ0)delimited-⟨⟩subscriptitalic-ϕ0\langle\cos{\phi_{0}}\rangle⟨ roman_cos ( start_ARG italic_ϕ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_ARG ) ⟩ is one of the quantities that characterize the superfluid-insulator transition fateev1997 . It is expected to vanish in the insulating phase while it remains nonzero in the superfluid phase. Reference binanti2021 derived a generalized Langevin equation for the Josephson mode as

22ECϕ¨0(t)superscriptPlanck-constant-over-2-pi22subscript𝐸𝐶subscript¨italic-ϕ0𝑡\displaystyle\dfrac{\hbar^{2}}{2E_{C}}\ddot{\phi}_{0}(t)divide start_ARG roman_ℏ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 italic_E start_POSTSUBSCRIPT italic_C end_POSTSUBSCRIPT end_ARG over¨ start_ARG italic_ϕ end_ARG start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ( italic_t ) +0tdsγ[ts;ϕ0(s)]ϕ˙0(s)superscriptsubscript0𝑡𝑠𝛾𝑡𝑠subscriptitalic-ϕ0𝑠subscript˙italic-ϕ0𝑠\displaystyle+\int_{0}^{t}\differential{s}\gamma[t-s;\phi_{0}(s)]\dot{\phi}_{0% }(s)+ ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_t end_POSTSUPERSCRIPT roman_d start_ARG italic_s end_ARG italic_γ [ italic_t - italic_s ; italic_ϕ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ( italic_s ) ] over˙ start_ARG italic_ϕ end_ARG start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ( italic_s ) (10)
+EJ1+Nsin(ϕ0(t))=ξ(t),subscript𝐸𝐽1𝑁subscriptitalic-ϕ0𝑡𝜉𝑡\displaystyle+\frac{E_{J}}{1+N}\sin{\phi_{0}(t)}=\xi(t),+ divide start_ARG italic_E start_POSTSUBSCRIPT italic_J end_POSTSUBSCRIPT end_ARG start_ARG 1 + italic_N end_ARG roman_sin ( start_ARG italic_ϕ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ( italic_t ) end_ARG ) = italic_ξ ( italic_t ) ,

with the Gaussian noise ξ(t)𝜉𝑡\xi(t)italic_ξ ( italic_t ) and EJsubscript𝐸𝐽E_{J}italic_E start_POSTSUBSCRIPT italic_J end_POSTSUBSCRIPT renormalized under Eq. (9) and a given initial value of EJ/ECsubscript𝐸𝐽subscript𝐸𝐶E_{J}/E_{C}italic_E start_POSTSUBSCRIPT italic_J end_POSTSUBSCRIPT / italic_E start_POSTSUBSCRIPT italic_C end_POSTSUBSCRIPT. The dam** kernel is given by γ[ts;ϕ0(s)]=EJn=1Ncos([ωn(ts)])cos(ϕ0(s))/(1+N)𝛾𝑡𝑠subscriptitalic-ϕ0𝑠subscript𝐸𝐽superscriptsubscript𝑛1𝑁delimited-[]subscript𝜔𝑛𝑡𝑠subscriptitalic-ϕ0𝑠1𝑁\gamma[t-s;\phi_{0}(s)]=E_{J}\sum_{n=1}^{N}\cos{[\omega_{n}(t-s)]}\cos{\phi_{0% }(s)}/(1+N)italic_γ [ italic_t - italic_s ; italic_ϕ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ( italic_s ) ] = italic_E start_POSTSUBSCRIPT italic_J end_POSTSUBSCRIPT ∑ start_POSTSUBSCRIPT italic_n = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_N end_POSTSUPERSCRIPT roman_cos ( start_ARG [ italic_ω start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ( italic_t - italic_s ) ] end_ARG ) roman_cos ( start_ARG italic_ϕ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ( italic_s ) end_ARG ) / ( 1 + italic_N ), which reduces to hEJ/(αEC)δ(ts)subscript𝐸𝐽𝛼subscript𝐸𝐶𝛿𝑡𝑠hE_{J}/(\alpha E_{C})\,\delta(t-s)italic_h italic_E start_POSTSUBSCRIPT italic_J end_POSTSUBSCRIPT / ( italic_α italic_E start_POSTSUBSCRIPT italic_C end_POSTSUBSCRIPT ) italic_δ ( italic_t - italic_s ) in the continuum limit at the lowest order in ϕ0subscriptitalic-ϕ0\phi_{0}italic_ϕ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT binanti2021 . The noise correlator at zero temperature is given by {ξ(t),ξ(0)}/2=WWdωχ(ω)eiωtdelimited-⟨⟩𝜉𝑡𝜉02superscriptsubscript𝑊𝑊𝜔𝜒𝜔superscript𝑒𝑖𝜔𝑡\langle\{\xi(t),\xi(0)\}\rangle/2=\int_{-W}^{W}\differential{\omega}\chi(% \omega)e^{i\omega t}⟨ { italic_ξ ( italic_t ) , italic_ξ ( 0 ) } ⟩ / 2 = ∫ start_POSTSUBSCRIPT - italic_W end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_W end_POSTSUPERSCRIPT roman_d start_ARG italic_ω end_ARG italic_χ ( italic_ω ) italic_e start_POSTSUPERSCRIPT italic_i italic_ω italic_t end_POSTSUPERSCRIPT with χ(ω)=(ω/EC)22|ω|/2α𝜒𝜔superscriptPlanck-constant-over-2-pi𝜔subscript𝐸𝐶2superscriptPlanck-constant-over-2-pi2𝜔2𝛼\chi(\omega)=(\hbar\omega/E_{C})^{2}\hbar^{2}\absolutevalue{\omega}/2\alphaitalic_χ ( italic_ω ) = ( roman_ℏ italic_ω / italic_E start_POSTSUBSCRIPT italic_C end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT roman_ℏ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT | start_ARG italic_ω end_ARG | / 2 italic_α. The cubic ω𝜔\omegaitalic_ω-dependence of χ(ω)𝜒𝜔\chi(\omega)italic_χ ( italic_ω ) instead of linear one reflects the intrinsic momentum coupling. One can compute the coherence factor as cos(ϕ0)=cos((ϕ0))eΔϕ02/2delimited-⟨⟩subscriptitalic-ϕ0delimited-⟨⟩subscriptitalic-ϕ0superscript𝑒Δsuperscriptsubscriptitalic-ϕ022\langle\cos{\phi_{0}}\rangle=\cos{(\langle\phi_{0}\rangle)}\,e^{-\Delta\phi_{0% }^{2}/2}⟨ roman_cos ( start_ARG italic_ϕ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_ARG ) ⟩ = roman_cos ( start_ARG ( ⟨ italic_ϕ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ⟩ ) end_ARG ) italic_e start_POSTSUPERSCRIPT - roman_Δ italic_ϕ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT / 2 end_POSTSUPERSCRIPT with Δϕ02Δsuperscriptsubscriptitalic-ϕ02\Delta\phi_{0}^{2}roman_Δ italic_ϕ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT being the variance of ϕ0subscriptitalic-ϕ0\phi_{0}italic_ϕ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT by using the Gaussian property. Figure 3 shows the phase coherence calculated by the linearized Langevin equation. A small relative phase justifies the linearization of Eq. (10) and we can confirm that it also captures the features of the dissipative phase transition as we shall see in Fig. 3(a)-(c). Figure 3(a) indicates that the coherence factor in the long-time limit grows for α>1𝛼1\alpha>1italic_α > 1. For α1much-greater-than𝛼1\alpha\gg 1italic_α ≫ 1, the coherence approaches unity for any EJ/ECsubscript𝐸𝐽subscript𝐸𝐶E_{J}/E_{C}italic_E start_POSTSUBSCRIPT italic_J end_POSTSUBSCRIPT / italic_E start_POSTSUBSCRIPT italic_C end_POSTSUBSCRIPT, but the quantitative behavior depends on the initial ratio of EJ/ECsubscript𝐸𝐽subscript𝐸𝐶E_{J}/E_{C}italic_E start_POSTSUBSCRIPT italic_J end_POSTSUBSCRIPT / italic_E start_POSTSUBSCRIPT italic_C end_POSTSUBSCRIPT and it saturates earlier with a larger ratio because the RG cutoff is chosen to be finite as max=ln(104)subscriptmaxsuperscript104\ell_{\rm max}=\ln{10^{4}}roman_ℓ start_POSTSUBSCRIPT roman_max end_POSTSUBSCRIPT = roman_ln ( start_ARG 10 start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT end_ARG ) based on realistic cold atom experiments pigneur2018 . With an infinitely large cutoff, the curve turns into a step function that discontinuously changes to unity at α=1𝛼1\alpha=1italic_α = 1 for any initial energy ratio. The growth dynamics of the coherence factor is displayed in Fig. 3(b) with three different values of α=1.50,1.20,0.99𝛼1.501.200.99\alpha=1.50,1.20,0.99italic_α = 1.50 , 1.20 , 0.99 and the time scaled by the bare Josephson frequency Ω0=2EJ(0)EC/(1+N)2subscriptΩ02subscript𝐸𝐽0subscript𝐸𝐶1𝑁superscriptPlanck-constant-over-2-pi2\Omega_{0}=\sqrt{2E_{J}(0)E_{C}/(1+N)\hbar^{2}}roman_Ω start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT = square-root start_ARG 2 italic_E start_POSTSUBSCRIPT italic_J end_POSTSUBSCRIPT ( 0 ) italic_E start_POSTSUBSCRIPT italic_C end_POSTSUBSCRIPT / ( 1 + italic_N ) roman_ℏ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG binanti2021 . It shows that the phase coherence prominently rises after a sufficiently long time around t103Ω01similar-to𝑡superscript103superscriptsubscriptΩ01t\sim 10^{3}\Omega_{0}^{-1}italic_t ∼ 10 start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT roman_Ω start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT for α>1𝛼1\alpha>1italic_α > 1. The RG flow under EJ/EC=100subscript𝐸𝐽subscript𝐸𝐶100E_{J}/E_{C}=100italic_E start_POSTSUBSCRIPT italic_J end_POSTSUBSCRIPT / italic_E start_POSTSUBSCRIPT italic_C end_POSTSUBSCRIPT = 100 in the long-time limit is plotted in Fig. 3(c), which clearly indicates increasing behavior for α>1𝛼1\alpha>1italic_α > 1 by incrementing the RG steps. Conversely, the phase coherence rapidly dwindles for α<1𝛼1\alpha<1italic_α < 1. The phase coherence represents an inductive supercurrent response carried by the ground state murani2020 ; joyez2011 . We expect that one can measure it by driving relative phase fluctuations to the junction to observe the I𝐼Iitalic_I-V𝑉Vitalic_V characteristics with ultracold atoms. Note that the BJJ (1) is mapped to the boundary sine-Gordon model at any parameter region of (g,J0,N)𝑔subscript𝐽0𝑁(g,J_{0},N)( italic_g , italic_J start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT , italic_N ). As a result, the Schmid-Bulgadaev phase diagram illustrated in Fig. 2 is recovered and turned out to be robust against nonperturbative effects in this BJJ.

Equation (8) implies that approaching the insulating phase requires g~>4π2~𝑔4superscript𝜋2\tilde{g}>4\pi^{2}over~ start_ARG italic_g end_ARG > 4 italic_π start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT. Although it looks too strong coupling, this condition is feasible in a quasi-one-dimensional atomic setup. A path to reach the insulator phase is the renormalization of interaction by tight confinement. The effective interaction strength in a quasi-one-dimensional atomic system confined by tight harmonic constrictions in transverse directions is scaled as gg3D/l2proportional-to𝑔subscript𝑔3Dsuperscriptsubscript𝑙perpendicular-to2g\propto g_{\rm 3D}/l_{\perp}^{2}italic_g ∝ italic_g start_POSTSUBSCRIPT 3 roman_D end_POSTSUBSCRIPT / italic_l start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT with g3Dsubscript𝑔3Dg_{\rm 3D}italic_g start_POSTSUBSCRIPT 3 roman_D end_POSTSUBSCRIPT being the 3D interaction strength and l=/mωsubscript𝑙perpendicular-toPlanck-constant-over-2-pi𝑚subscript𝜔perpendicular-tol_{\perp}=\sqrt{\hbar/m\omega_{\perp}}italic_l start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT = square-root start_ARG roman_ℏ / italic_m italic_ω start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT end_ARG being the oscillator lengths salasnich2002 ; nagy2015 ; demler2016 ; furutani2022 . Consequently, tight constrictions result in strong interaction allowing us to observe the superfluid-insulator dissipative phase transition by increasing the trap frequency ωsubscript𝜔perpendicular-to\omega_{\perp}italic_ω start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT as shown in Fig. 2.

In conclusion, we proposed a novel approach to observe the Schmid-Bulgadaev dissipative quantum phase transition with an atomic Josephson junction in a head-to-tail configuration described by the ICL model. It is driven by the inter-atomic interaction even without any synthetic dissipation. The crucial difference from the RSJJ is the robustness of the phase diagram against the nonperturbative effects in a head-to-tail BJJ because it can be mapped to a boundary sine-Gordon model in any parameter region in stark contrast to the RSJJ. Therefore, the strong suppression of the insulating phase in the RSJJ is absent. We also pointed out that tight constrictions in the transverse directions responsible for the renormalization of the interaction strength allow us to reach the phase transition. This head-to-tail atomic junction can be realized with an atomic two-terminal system, which has been rapidly developed recently demler2016 ; esslinger2015 ; brantut2017 ; esslinger2019 ; esslinger2019spin ; esslinger2023 . We expect that the two-terminal setup with neutral atoms offers another platform to investigate dissipative phases in quantum systems in addition to superconducting Josephson junctions kuzmin2023 ; ciuti2024 . An intriguing question remained as future work is the connection between the insulating phase and the macroscopic quantum self-trap** (MQST) shenoy1999 , which is peculiar to atomic Josephson junctions and pins the population imbalance throughout time evolution. Although the charge-localized insulating phase and the MQST are similar phenomena, they are not directly connected since our analysis neglects the nonlinearity responsible for the MQST by assuming a small population imbalance and the MQST is ruled out. The occurrence of the insulating phase we found has therefore distinct origin from the MQST. Moreover, while our analysis focused on a Josephson junction with single-component Bose gases, it is also fascinating to clarify the effects of internal degrees of freedom on the dissipative phase transition in a magnon junction nakata2014 or an atomic junction with spin degrees of freedom fromhold2013 , for instance, which would provide an insight into the interplay between dissipation and multicomponent character.

The authors thank Y. Kawaguchi for the useful comments. K.F. was supported by JSPS KAKENHI (Grant No. JP24K00557).

References

  • (1) A. Schmid, Diffusion and Localization in a Dissipative Quantum System, Phys. Rev. Lett. 51, 1506 (1983).
  • (2) S. Bulgadaev, Phase diagram of a dissipative quantum system, JETP Lett. 39, 264 (1984).
  • (3) A. O. Caldeira and A. J. Leggett, Quantum tunneling in a dissipative system, Ann. Phys. (N.Y.) 149, 374 (1983).
  • (4) R. H. Koch, D. J. Van Harlingen, and J. Clarke, Quantum-Noise Theory for the Resistively Shunted Josephson Junction, Phys. Rev. Lett. 45, 2132 (1980); Measurements of quantum noise in resistively shunted Josephson junctions, Phys. Rev. B 26, 74 (1982).
  • (5) K. Furutani and L. Salasnich, Quantum and thermal fluctuations in the dynamics of a resistively and capacitively shunted Josephson junction, Phys. Rev. B 104, 014519 (2021).
  • (6) A. Murani, N. Bourlet, H. le Sueur, F. Portier, C. Altimiras, D. Esteve, H. Grabert, J. Stockburger, J. Ankerhold, and P. Joyez, Absence of a Dissipative Quantum Phase Transition in Josephson Junctions, Phys. Rev. X 10, 021003 (2020).
  • (7) K. Masuki, H. Sudo, M. Oshikawa, and Y. Ashida, Absence versus Presence of Dissipative Quantum Phase Transition in Josephson Junctions, Phys. Rev. Lett. 129, 087001 (2022).
  • (8) T. Yokota, K. Masuki, and Y. Ashida, Functional-renormalization-group approach to circuit quantum electrodynamics, Phys. Rev. A 107, 043709 (2023).
  • (9) S. L. Lukyanov and P. Werner, Resistively shunted Josephson junctions: quantum field theory predictions versus Monte Carlo results, J. Stat. Mech.: Theory Exp. (2007) P06002.
  • (10) R. Daviet and N. Dupuis, Nature of the Schmid transition in a resistively shunted Josephson junction, Phys. Rev. B 108, 184514 (2023).
  • (11) T. Sépulcre, S. Florens, and I. Snyman, Comment on “Absence versus Presence of Dissipative Quantum Phase Transition in Josephson Junctions”, Phys. Rev. Lett. 131, 199701 (2023).
  • (12) K. Masuki, H. Sudo, M. Oshikawa, and Y. Ashida, Reply to ‘Comment on “Absence versus presence of dissipative quantum phase transition in Josephson junctions", Phys. Rev. Lett. 131, 199702 (2023).
  • (13) C. Altimiras, D. Esteve, Ç. Girit, H. le Sueur, and P. Joyez, Absence of a dissipative quantum phase transition in Josephson junctions: Theory, arXiv:2312.14754.
  • (14) J. Polo, V. Ahufinger, F. W. J. Hekking, and A. Minguzzi, Dam** of Josephson Oscillations in Strongly Correlated One-Dimensional Atomic Gases, Phys. Rev. Lett. 121, 090404 (2018).
  • (15) F. Binanti, K. Furutani, and L. Salasnich, Dissipation and fluctuations in elongated bosonic Josephson junctions, Phys. Rev. A 103, 063309 (2021).
  • (16) Y. Ashida, A. Imamoglu, and E. Demler, Cavity Quantum Electrodynamics at Arbitrary Light-Matter Coupling Strengths, Phys. Rev. Lett. 126, 153603 (2021); Nonperturbative waveguide quantum electrodynamics, Phys. Rev. Research 4, 023194 (2022).
  • (17) F. Guinea, V. Hakim, and A. Muramatsu, Diffusion and Localization of a Particle in a Periodic Potential Coupled to a Dissipative Environment, Phys. Rev. Lett. 54, 263 (1985).
  • (18) M. P. A. Fisher and W. Zwerger, Quantum Brownian motion in a periodic potential, Phys. Rev. B 32, 6190 (1985).
  • (19) C. L. Kane and M. P. A. Fisher, Transmission through barriers and resonant tunneling in an interacting one-dimensional electron gas, Phys. Rev. B 46, 15233 (1992).
  • (20) A. Furusaki and N. Nagaosa, Single-barrier problem and Anderson localization in a one-dimensional interacting electron system, Phys. Rev. B 47, 4631 (1993).
  • (21) P. Fendley, A. W. W. Ludwig, and H. Saleur, Exact Conductance through Point Contacts in the ν=1/3𝜈13\nu=1/3italic_ν = 1 / 3 Fractional Quantum Hall Effect, Phys. Rev. Lett. 74, 3005 (1995).
  • (22) A. Altland and B. Simons, Condensed Matter Field Theory (Cambridge University Press, Cambridge, 2010).
  • (23) N. Nagaosa, Quantum Field Theory in Condensed Matter Physics (Springer, 2013).
  • (24) V. Fateev, S. Lukyanov, A. Zamolodchikov, and A. Zamolodchikov, Expectation values of boundary fields in the boundary sine-Gordon model, Phys. Lett. B 406, 83 (1997).
  • (25) M. Pigneur, T. Berrada, M. Bonneau, T. Schumm, E. Demler, and J. Schmiedmayer, Relaxation to a Phase-Locked Equilibrium State in a One-Dimensional Bosonic Josephson Junction, Phys. Rev. Lett. 120, 173601 (2018).
  • (26) I. Safi and P. Joyez, Time-dependent theory of nonlinear response and current fluctuations, Phys. Rev. B 84, 205129 (2011).
  • (27) L. Salasnich, A. Parola, and L. Reatto, Effective wave equations for the dynamics of cigar-shaped and disk-shaped Bose condensates, Phys. Rev. A 65, 043614 (2002); Condensate bright solitons under transverse confinement, Phys. Rev. A 66, 043603 (2002).
  • (28) M. Kanász-Nagy, E. A. Demler, and G. Zaránd, Confinement-induced interlayer molecules: A route to strong interatomic interactions, Phys. Rev. A 91, 032704 (2015).
  • (29) M. Kanász-Nagy, L. Glazman, T. Esslinger, and E. A. Demler, Anomalous Conductances in an Ultracold Quantum Wire, Phys. Rev. Lett. 117, 255302 (2016).
  • (30) K. Furutani and L. Salasnich, Superfluid properties of bright solitons in a ring, Phys. Rev. A 105, 033320 (2022).
  • (31) S. Krinner, D. Stadler, D. Husmann, J.-P. Brantut, and T. Esslinger, Observation of quantized conductance in neutral matter, Nature 517, 64-67 (2015).
  • (32) S. Krinner, T. Esslinger, and J.-P. Brantut, Two-terminal transport measurements with cold atoms, J. Phys.: Condens. Matter 29, 343003 (2017).
  • (33) L. Corman, P. Fabritius, S. Häusler, J. Mohan, L. H. Dogra, D. Husmann, M. Lebrat, and T. Esslinger, Quantized conductance through a dissipative atomic point contact, Phys. Rev. A 100, 053605 (2019).
  • (34) M. Lebrat, S. Häusler, P. Fabritius, D. Husmann, L. Corman, and T. Esslinger, Quantized Conductance through a Spin-Selective Atomic Point Contact, Phys. Rev. Lett. 123, 193605 (2019).
  • (35) M.-Z. Huang, J. Mohan, A.-M. Visuri, P. Fabritius, M. Talebi, S. Wili, S. Uchino, T. Giamarchi, and T. Esslinger, Superfluid Signatures in a Dissipative Quantum Point Contact, Phys. Rev. Lett. 130, 200404 (2023).
  • (36) R. Kuzmin, N. Mehta, N. Grabon, R. A. Mencia, A. Burshtein, M. Goldstein, and V. E. Manucharyan, Observation of the Schmid-Bulgadaev dissipative quantum phase transition, arXiv:2304.05806.
  • (37) L. Giacomelli and C. Ciuti, Emergent quantum phase transition of a Josephson junction coupled to a high-impedance multimode resonator, Nat. Commun. 15, 5455 (2024).
  • (38) S. Raghavan, A. Smerzi, S. Fantoni, and S. R. Shenoy, Coherent oscillations between two weakly coupled Bose-Einstein condensates: Josephson effects, π𝜋\piitalic_π oscillations, and macroscopic quantum self-trap**, Phys. Rev. A 59, 620 (1999).
  • (39) K. Nakata, K. A. van Hoogdalem, P. Simon, and D. Loss, Josephson and persistent spin currents in Bose-Einstein condensates of magnons, Phys. Rev. B 90, 144419 (2014).
  • (40) T. W. A. Montgomery, W. Li, and T. M. Fromhold, Spin Josephson Vortices in Two Tunnel-Coupled Spinor Bose Gases, Phys. Rev. Lett. 111, 105302 (2013).