Quantum Zeno Effect in Noisy Integrable Quantum Circuits for Impurity Models

Yicheng Tang [email protected] Department of Physics and Astronomy, Center for Materials Theory, Rutgers University, Piscataway, New Jersey 08854, United States of America    Pradip Kattel Department of Physics and Astronomy, Center for Materials Theory, Rutgers University, Piscataway, New Jersey 08854, United States of America    J. H. Pixley Department of Physics and Astronomy, Center for Materials Theory, Rutgers University, Piscataway, New Jersey 08854, United States of America Center for Computational Quantum Physics, Flatiron Institute, 162 5th Avenue, New York, NY 10010    Natan Andrei Department of Physics and Astronomy, Center for Materials Theory, Rutgers University, Piscataway, New Jersey 08854, United States of America
Abstract

We theoretically study the open quantum system dynamics (in the Trotterized limit) of integrable quantum circuits in the presence of onsite dephasing noise with a spin-1/2 “impurity” interacting at the edge. Using a combination of Bethe Ansatz (BA) and exact diagonalization (ED), we study the dynamics of both the bulk and the impurity for the XXX (Heisenberg) and the XX qubit chains in the presence and absence of bulk noise. In the absence of noise, we show that the impurity exhibits two distinct phases, the bound mode phase where the impurity keeps oscillating in time, and the Kondo phase where it decays with Kondo time tKsubscript𝑡𝐾t_{K}italic_t start_POSTSUBSCRIPT italic_K end_POSTSUBSCRIPT. Turning on the bulk dephasing noise, we find for the two models that in the long time limit in both regimes the quantum Zeno effect takes place where the dynamics of the impurity magnetization slows down as the noise strength γ𝛾\gammaitalic_γ increases. The impurity magnetization in the bound mode regime shows the opposite effect, decaying faster as the noise strength increases for short times (t1/γmuch-less-than𝑡1𝛾t\ll 1/\gammaitalic_t ≪ 1 / italic_γ). We show that the bulk KPZ dynamics of the XXX model is converted to diffusive dynamics as in the XX case studied before by V. Alba, driving both systems to the Zeno effect slowing down the impurity dynamics in the long time limit.

Introduction: The rise of noisy intermediate scale quantum (NISQ) [1, 2, 3] devices in a wide range of physical platforms including superconducting qubits [4, 5, 6], trapped ions [7, 8, 9, 10], neutral atoms [11, 12, 13], and circuit quantum electrodynamics [14, 15, 16, 17, 18], has made understanding the effects of noise on these devices and on quantum many-body systems (QMBS) in general a question of paramount importance [19, 20, 21, 22]. Simulating large generic QMBS on a classical computer is extremely difficult  [23, 24, 25] as the size of the Hilbert space grows exponentially with the size of the system. To circumvent this challenge, quantum computers can be utilized to study QMBS [24, 25] (as they are built to hold such an exponentially large Hilbert space). This can be achieved by Trotterizing the continuous time evolution of a QMBS as a quantum circuit [26, 27]. While, generically solving a quantum circuit remains an equally challenging problem, integrable quantum circuits [28, 29, 30, 31, 32, 33], in particular, based on the R𝑅Ritalic_R-matrices that solve the Yang-Baxter equation  [34, 35], can simulate the unitary evolution of initial states under integrable Hamiltonians [36, 37, 38, 39]. Integrability allows more control and insights into the behavior of these complex systems garnering significant attention recently  [40, 41, 42].

All quantum devices currently accessible are under a significant influence of noise [43, 44, 45, 46, 47, 48, 49, 50, 51, 52]. Noise affects the dynamics and transport properties of quantum circuits resulting in dramatic changes [19, 20, 21]. Interesting effects arise such as dynamical phase transitions [53, 54], the quantum Zeno effect (where increasing the strength of noise slows down quantum dynamics [55, 56]) and the quantum Mpemba effect (where non-equilibrium quantum systems relax faster when they are further from equilibrium [57, 58, 59, 60]). Thus, studying the effect of noise on quantum circuits is of crucial importance to understand the experiments performed on NISQ devices [61]. Here, we study a circuit that can be solved exactly in the presence of dephasing noise.

Models: To begin with, we construct an integrable quantum circuit that corresponds to a unitary operator

𝕌η(λ,d)=K0,1η(λ,d)j=1L/21Rˇ2j,2j+1η(λ)Rˇ2j1,2jη(λ),superscript𝕌𝜂𝜆𝑑superscriptsubscript𝐾01𝜂𝜆𝑑superscriptsubscriptproduct𝑗1𝐿21superscriptsubscriptˇ𝑅2𝑗2𝑗1𝜂𝜆superscriptsubscriptˇ𝑅2𝑗12𝑗𝜂𝜆\begin{split}\mathbb{U}^{\eta}(\lambda,d)&=K_{0,1}^{\eta}(\lambda,d)\prod_{j=1% }^{L/2-1}\check{R}_{2j,2j+1}^{\eta}(\lambda)\check{R}_{2j-1,2j}^{\eta}(\lambda% ),\end{split}start_ROW start_CELL blackboard_U start_POSTSUPERSCRIPT italic_η end_POSTSUPERSCRIPT ( italic_λ , italic_d ) end_CELL start_CELL = italic_K start_POSTSUBSCRIPT 0 , 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_η end_POSTSUPERSCRIPT ( italic_λ , italic_d ) ∏ start_POSTSUBSCRIPT italic_j = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_L / 2 - 1 end_POSTSUPERSCRIPT overroman_ˇ start_ARG italic_R end_ARG start_POSTSUBSCRIPT 2 italic_j , 2 italic_j + 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_η end_POSTSUPERSCRIPT ( italic_λ ) overroman_ˇ start_ARG italic_R end_ARG start_POSTSUBSCRIPT 2 italic_j - 1 , 2 italic_j end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_η end_POSTSUPERSCRIPT ( italic_λ ) , end_CELL end_ROW (1)

where L𝐿Litalic_L is the number of qubits, Rˇj,j+1subscriptˇ𝑅𝑗𝑗1\check{R}_{j,j+1}overroman_ˇ start_ARG italic_R end_ARG start_POSTSUBSCRIPT italic_j , italic_j + 1 end_POSTSUBSCRIPT given explicitly in [62] is the braid form of the trigonometric R𝑅Ritalic_R-matrix of the six-vertex model [63, 36] acting on the j𝑗jitalic_j and j+1𝑗1j+1italic_j + 1 qubits, K01η(λ,d)=Rˇ01η(d)Rˇ01η(λ+d)superscriptsubscript𝐾01𝜂𝜆𝑑superscriptsubscriptˇ𝑅01𝜂𝑑subscriptsuperscriptˇ𝑅𝜂01𝜆𝑑K_{01}^{\eta}(\lambda,d)=\check{R}_{01}^{\eta}(-d)\check{R}^{\eta}_{01}(% \lambda+d)italic_K start_POSTSUBSCRIPT 01 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_η end_POSTSUPERSCRIPT ( italic_λ , italic_d ) = overroman_ˇ start_ARG italic_R end_ARG start_POSTSUBSCRIPT 01 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_η end_POSTSUPERSCRIPT ( - italic_d ) overroman_ˇ start_ARG italic_R end_ARG start_POSTSUPERSCRIPT italic_η end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 01 end_POSTSUBSCRIPT ( italic_λ + italic_d ) is the boundary K𝐾Kitalic_K-matrix that solves the reflection algebra [64, 65, 66], and d𝑑ditalic_d, λ𝜆\lambdaitalic_λ and η𝜂\etaitalic_η are free parameters. In the Trotterziation limit [67, 68], choosing λ=iδtsinhη𝜆𝑖𝛿𝑡𝜂\lambda=-i\delta t\sinh\etaitalic_λ = - italic_i italic_δ italic_t roman_sinh italic_η, this quantum circuit simulates the unitary evolution exp(iHt)=limδt0𝕌(λ,d,η)tδt𝑖𝐻𝑡subscript𝛿𝑡0𝕌superscript𝜆𝑑𝜂𝑡𝛿𝑡\exp(-iHt)=\lim_{\delta t\to 0}\mathbb{U}(\lambda,d,\eta)^{\frac{t}{\delta t}}roman_exp ( - italic_i italic_H italic_t ) = roman_lim start_POSTSUBSCRIPT italic_δ italic_t → 0 end_POSTSUBSCRIPT blackboard_U ( italic_λ , italic_d , italic_η ) start_POSTSUPERSCRIPT divide start_ARG italic_t end_ARG start_ARG italic_δ italic_t end_ARG end_POSTSUPERSCRIPT  for an integrable Hamiltonian H𝐻Hitalic_H [25, 27, 69], where

H=j=1L112(σjxσj+1x+σjyσj+1y+Δσjzσj+1z)+J2(σ0xσ1x+σ0yσ1y+Δσ0zσ1z)𝐻superscriptsubscript𝑗1𝐿112superscriptsubscript𝜎𝑗𝑥superscriptsubscript𝜎𝑗1𝑥superscriptsubscript𝜎𝑗𝑦superscriptsubscript𝜎𝑗1𝑦Δsuperscriptsubscript𝜎𝑗𝑧superscriptsubscript𝜎𝑗1𝑧𝐽2superscriptsubscript𝜎0𝑥superscriptsubscript𝜎1𝑥superscriptsubscript𝜎0𝑦superscriptsubscript𝜎1𝑦superscriptΔsuperscriptsubscript𝜎0𝑧superscriptsubscript𝜎1𝑧\begin{split}H=&\sum_{j=1}^{L-1}\frac{1}{2}(\sigma_{j}^{x}\sigma_{j+1}^{x}+% \sigma_{j}^{y}\sigma_{j+1}^{y}+\Delta\sigma_{j}^{z}\sigma_{j+1}^{z})\\ &+\frac{J}{2}\left(\sigma_{0}^{x}\sigma_{1}^{x}+\sigma_{0}^{y}\sigma_{1}^{y}+% \Delta^{\prime}\sigma_{0}^{z}\sigma_{1}^{z}\right)\\ \end{split}start_ROW start_CELL italic_H = end_CELL start_CELL ∑ start_POSTSUBSCRIPT italic_j = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_L - 1 end_POSTSUPERSCRIPT divide start_ARG 1 end_ARG start_ARG 2 end_ARG ( italic_σ start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_x end_POSTSUPERSCRIPT italic_σ start_POSTSUBSCRIPT italic_j + 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_x end_POSTSUPERSCRIPT + italic_σ start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_y end_POSTSUPERSCRIPT italic_σ start_POSTSUBSCRIPT italic_j + 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_y end_POSTSUPERSCRIPT + roman_Δ italic_σ start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT italic_σ start_POSTSUBSCRIPT italic_j + 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT ) end_CELL end_ROW start_ROW start_CELL end_CELL start_CELL + divide start_ARG italic_J end_ARG start_ARG 2 end_ARG ( italic_σ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_x end_POSTSUPERSCRIPT italic_σ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_x end_POSTSUPERSCRIPT + italic_σ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_y end_POSTSUPERSCRIPT italic_σ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_y end_POSTSUPERSCRIPT + roman_Δ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT italic_σ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT italic_σ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT ) end_CELL end_ROW (2)

with Δ=cosh(η)Δ𝜂\Delta\mathord{=}\cosh(\eta)roman_Δ = roman_cosh ( italic_η ), J=sinh2(η)cosh(d)sinh2(η)sinh2(d)𝐽superscript2𝜂𝑑superscript2𝜂superscript2𝑑J\mathord{=}\frac{\sinh^{2}(\eta)\cosh(d)}{\sinh^{2}(\eta)-\sinh^{2}(d)}italic_J = divide start_ARG roman_sinh start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_η ) roman_cosh ( italic_d ) end_ARG start_ARG roman_sinh start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_η ) - roman_sinh start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_d ) end_ARG and Δ=cosh(η)cosh(d)superscriptΔ𝜂𝑑\Delta^{\prime}\mathord{=}\frac{\cosh(\eta)}{\cosh(d)}roman_Δ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT = divide start_ARG roman_cosh ( italic_η ) end_ARG start_ARG roman_cosh ( italic_d ) end_ARG. This Hamiltonian describes the XXZ𝑋𝑋𝑍XXZitalic_X italic_X italic_Z spin chain with a boundary impurity. At the isotropic XXX (Δ=Δ=1)\Delta\mathord{=}\Delta^{\prime}\mathord{=}1)roman_Δ = roman_Δ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT = 1 ) and the XX (Δ=Δ=0ΔsuperscriptΔ0\Delta\mathord{=}\Delta^{\prime}\mathord{=}0roman_Δ = roman_Δ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT = 0) points, the model is integrable for arbitrary boundary coupling J𝐽Jitalic_J. For generic ΔΔ\Deltaroman_Δ, the boundary coupling (J𝐽Jitalic_J) and the boundary anisotropy parameter (ΔsuperscriptΔ\Delta^{\prime}roman_Δ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT) are related and expressed in terms of a single free parameter d𝑑ditalic_d to maintain the integrability [70, 71, 72, 73, 74, 75, 76]. In the ground state, the impurity is screened due to the Kondo effect when d¯=d/η¯𝑑𝑑𝜂\bar{d}\mathord{=}d/\etaover¯ start_ARG italic_d end_ARG = italic_d / italic_η is purely imaginary or 0<d¯<120¯𝑑120<\bar{d}<\frac{1}{2}0 < over¯ start_ARG italic_d end_ARG < divide start_ARG 1 end_ARG start_ARG 2 end_ARG and it is screened by a bound mode exponenitially localized at the boundary when 1>d¯>121¯𝑑121>\bar{d}>\frac{1}{2}1 > over¯ start_ARG italic_d end_ARG > divide start_ARG 1 end_ARG start_ARG 2 end_ARG [70].

To study the effect of dephasing noise on the integrable quantum circuit, we solve the continuous-time dynamics of the noisy integrable Hamiltonian using the Gorini-Kossakowski-Sudarshan-Lindblad (GKSL) equation, [ρ(t)]=itρ(t)delimited-[]𝜌𝑡𝑖subscript𝑡𝜌𝑡\mathcal{L}[\rho(t)]=i\partial_{t}\rho(t)caligraphic_L [ italic_ρ ( italic_t ) ] = italic_i ∂ start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT italic_ρ ( italic_t ) [20, 19] that governs the dynamics of the density matrix ρ(t)𝜌𝑡\rho(t)italic_ρ ( italic_t ) with a Liouvillian [77, 78, 79, 80]

(ρ)=[ρ,H]+ij=1L1γ(LjρLj12{LjLj,ρ}),𝜌𝜌𝐻𝑖superscriptsubscript𝑗1𝐿1𝛾subscript𝐿𝑗𝜌superscriptsubscript𝐿𝑗12subscriptsuperscript𝐿𝑗subscript𝐿𝑗𝜌\mathcal{L}(\rho)=-\left[\rho,H\right]+i\sum_{j=1}^{L-1}\gamma\left(L_{j}\rho L% _{j}^{\dagger}-\frac{1}{2}\left\{L^{\dagger}_{j}L_{j},\rho\right\}\right),caligraphic_L ( italic_ρ ) = - [ italic_ρ , italic_H ] + italic_i ∑ start_POSTSUBSCRIPT italic_j = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_L - 1 end_POSTSUPERSCRIPT italic_γ ( italic_L start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT italic_ρ italic_L start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT - divide start_ARG 1 end_ARG start_ARG 2 end_ARG { italic_L start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT italic_L start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT , italic_ρ } ) , (3)

where the jump operators are Lj=σjzsubscript𝐿𝑗subscriptsuperscript𝜎𝑧𝑗L_{j}\mathord{=}\sigma^{z}_{j}italic_L start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT = italic_σ start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT, γ𝛾\gammaitalic_γ is the dephasing rate, H𝐻Hitalic_H is the Hamiltonian in Eq. (2), {A,B}𝐴𝐵\{A,B\}{ italic_A , italic_B } and [A,B]𝐴𝐵[A,B][ italic_A , italic_B ] denote the anticommutator and the commutator, respectively. In the following, we will evolve the system from two initial states, Néel state and domain wall state expressed as: ρN/D=(z𝒮N/Dσz+)|00|(z𝒮N/Dσz)subscript𝜌𝑁𝐷subscriptproduct𝑧subscript𝒮𝑁𝐷subscriptsuperscript𝜎𝑧ket0bra0subscriptproduct𝑧subscript𝒮𝑁𝐷subscriptsuperscript𝜎𝑧\rho_{N/D}=(\prod_{z\in\mathcal{S}_{N/D}}\sigma^{+}_{z})\ket{0}\bra{0}(\prod_{% z\in\mathcal{S}_{N/D}}\sigma^{-}_{z})italic_ρ start_POSTSUBSCRIPT italic_N / italic_D end_POSTSUBSCRIPT = ( ∏ start_POSTSUBSCRIPT italic_z ∈ caligraphic_S start_POSTSUBSCRIPT italic_N / italic_D end_POSTSUBSCRIPT end_POSTSUBSCRIPT italic_σ start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT ) | start_ARG 0 end_ARG ⟩ ⟨ start_ARG 0 end_ARG | ( ∏ start_POSTSUBSCRIPT italic_z ∈ caligraphic_S start_POSTSUBSCRIPT italic_N / italic_D end_POSTSUBSCRIPT end_POSTSUBSCRIPT italic_σ start_POSTSUPERSCRIPT - end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT ) where 𝒮N/Dsubscript𝒮𝑁𝐷\mathcal{S}_{N/D}caligraphic_S start_POSTSUBSCRIPT italic_N / italic_D end_POSTSUBSCRIPT denote the set of sites with z = 0,2,4,,L𝑧  024𝐿z\text{ }\mathord{=}\text{ }0,2,4,...,Litalic_z = 0 , 2 , 4 , … , italic_L for the Néel (N) state ρNsubscript𝜌𝑁\rho_{N}italic_ρ start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT, and z = 0,1,2,,L/2𝑧  012𝐿2z\text{ }\mathord{=}\text{ }0,1,2,...,L/2italic_z = 0 , 1 , 2 , … , italic_L / 2 for the domain wall (D) state ρDsubscript𝜌𝐷\rho_{D}italic_ρ start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT. Here, |0ket0\ket{0}| start_ARG 0 end_ARG ⟩ refers to the state with all spins down (qubits 00) state. In both cases, we compute the time-dependent expectation value of magnetization at site j𝑗jitalic_j, Sjz(t)=Tr{σjzρ(t)}subscriptsuperscript𝑆𝑧𝑗𝑡Trsubscriptsuperscript𝜎𝑧𝑗𝜌𝑡S^{z}_{j}(t)\mathord{=}\mathrm{Tr}\{\sigma^{z}_{j}\rho(t)\}italic_S start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ( italic_t ) = roman_Tr { italic_σ start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT italic_ρ ( italic_t ) }.

XX chain: Let us start from the XX point as it allows for a simpler treatment with similar phenomenology [71]. It is convenient to work in the fermionic language via a Jordan-Wigner transformation cj=σj+l<jσlzsubscriptsuperscript𝑐𝑗subscriptsuperscript𝜎𝑗subscriptproduct𝑙𝑗subscriptsuperscript𝜎𝑧𝑙c^{\dagger}_{j}\mathord{=}\sigma^{+}_{j}\prod_{l<j}\sigma^{z}_{l}italic_c start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT = italic_σ start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ∏ start_POSTSUBSCRIPT italic_l < italic_j end_POSTSUBSCRIPT italic_σ start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT. The magnetization is then related to the two-point correlator G(x,y;t)=Tr[cxcyρ(t)]𝐺𝑥𝑦𝑡Trdelimited-[]subscriptsuperscript𝑐𝑥subscript𝑐𝑦𝜌𝑡G(x,y;t)=\mathrm{Tr}[c^{\dagger}_{x}c_{y}\rho(t)]italic_G ( italic_x , italic_y ; italic_t ) = roman_Tr [ italic_c start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT italic_c start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT italic_ρ ( italic_t ) ] as Sjz(t)=2G(j,j;t)1subscriptsuperscript𝑆𝑧𝑗𝑡2𝐺𝑗𝑗𝑡1S^{z}_{j}(t)=2G(j,j;t)-1italic_S start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ( italic_t ) = 2 italic_G ( italic_j , italic_j ; italic_t ) - 1. A closed set of equations gives the dynamics of the two-point correlators because the Hamiltonian and the jump operators are both quadratic in fermions [81]. Therefore, the dynamics of the two-point correlation function in the noisy XX model can be mapped to a two-particle quantum mechanical problem [62]. The correlator can be vectorized as a state (see [62]) |G(t))L2|G(t))\in\mathbb{C}^{L^{2}}| italic_G ( italic_t ) ) ∈ blackboard_C start_POSTSUPERSCRIPT italic_L start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT where |G(t))=x,yG(x,y;t)|x,y)|G(t))=\sum_{x,y}G(x,y;t)|x,y)| italic_G ( italic_t ) ) = ∑ start_POSTSUBSCRIPT italic_x , italic_y end_POSTSUBSCRIPT italic_G ( italic_x , italic_y ; italic_t ) | italic_x , italic_y ) and |x,y)|x,y)| italic_x , italic_y ) forms an orthonormal basis in L2superscriptsuperscript𝐿2\mathbb{C}^{L^{2}}blackboard_C start_POSTSUPERSCRIPT italic_L start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT. Its evolution from an initial state |Gin)=x,yTr[G(x,y;0)ρN/D]|x,y)|G_{in})=\sum_{x,y}\mathrm{Tr}[G(x,y{;0})\rho_{N/D}]|x,y)| italic_G start_POSTSUBSCRIPT italic_i italic_n end_POSTSUBSCRIPT ) = ∑ start_POSTSUBSCRIPT italic_x , italic_y end_POSTSUBSCRIPT roman_Tr [ italic_G ( italic_x , italic_y ; 0 ) italic_ρ start_POSTSUBSCRIPT italic_N / italic_D end_POSTSUBSCRIPT ] | italic_x , italic_y ) reads |G(t))=eih^t|Gin)|G(t))=e^{-i\hat{h}t}|G_{in})| italic_G ( italic_t ) ) = italic_e start_POSTSUPERSCRIPT - italic_i over^ start_ARG italic_h end_ARG italic_t end_POSTSUPERSCRIPT | italic_G start_POSTSUBSCRIPT italic_i italic_n end_POSTSUBSCRIPT ) with Liouvillian h^=x,y,x,yhx,yx,y|x,y)(x,y|\hat{h}=\sum_{x,y,x^{\prime},y^{\prime}}h^{x,y}_{x^{\prime},y^{\prime}}|x,y)(x% ^{\prime},y^{\prime}|over^ start_ARG italic_h end_ARG = ∑ start_POSTSUBSCRIPT italic_x , italic_y , italic_x start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT , italic_y start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT italic_h start_POSTSUPERSCRIPT italic_x , italic_y end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_x start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT , italic_y start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT | italic_x , italic_y ) ( italic_x start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT , italic_y start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT | and

hx,yx,ysubscriptsuperscript𝑥𝑦superscript𝑥superscript𝑦\displaystyle h^{x,y}_{x^{\prime},y^{\prime}}italic_h start_POSTSUPERSCRIPT italic_x , italic_y end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_x start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT , italic_y start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT =Jx(δx,x+1+δx,x1)Jy(δy,y+1+δy,y1)absentsubscript𝐽𝑥subscript𝛿𝑥superscript𝑥1subscript𝛿𝑥superscript𝑥1subscript𝐽𝑦subscript𝛿𝑦superscript𝑦1subscript𝛿𝑦superscript𝑦1\displaystyle=J_{x}(\delta_{x,x^{\prime}+1}+\delta_{x,x^{\prime}-1})-J_{y}(% \delta_{y,y^{\prime}+1}+\delta_{y,y^{\prime}-1})= italic_J start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT ( italic_δ start_POSTSUBSCRIPT italic_x , italic_x start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT + 1 end_POSTSUBSCRIPT + italic_δ start_POSTSUBSCRIPT italic_x , italic_x start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT - 1 end_POSTSUBSCRIPT ) - italic_J start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT ( italic_δ start_POSTSUBSCRIPT italic_y , italic_y start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT + 1 end_POSTSUBSCRIPT + italic_δ start_POSTSUBSCRIPT italic_y , italic_y start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT - 1 end_POSTSUBSCRIPT ) (4)
+4iγ(δx,xδy,y1)+2iγ(δx,0+δy,0),4𝑖𝛾subscript𝛿𝑥superscript𝑥subscript𝛿𝑦superscript𝑦12𝑖𝛾subscript𝛿superscript𝑥0subscript𝛿superscript𝑦0\displaystyle+4i\gamma(\delta_{x,x^{\prime}}\delta_{y,y^{\prime}}-1)+2i\gamma(% \delta_{x^{\prime},0}+\delta_{y^{\prime},0}),+ 4 italic_i italic_γ ( italic_δ start_POSTSUBSCRIPT italic_x , italic_x start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT italic_δ start_POSTSUBSCRIPT italic_y , italic_y start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT - 1 ) + 2 italic_i italic_γ ( italic_δ start_POSTSUBSCRIPT italic_x start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT , 0 end_POSTSUBSCRIPT + italic_δ start_POSTSUBSCRIPT italic_y start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT , 0 end_POSTSUBSCRIPT ) ,

where Jx=1+δx,0(J1)subscript𝐽𝑥1subscript𝛿𝑥0𝐽1J_{x}=1+\delta_{x,0}(J-1)italic_J start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT = 1 + italic_δ start_POSTSUBSCRIPT italic_x , 0 end_POSTSUBSCRIPT ( italic_J - 1 ). The Liouvillian right eigenmodes |GE)=x,yGE(x,y)|x,y)|G_{E})=\sum_{x,y}G_{E}(x,y)|x,y)| italic_G start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT ) = ∑ start_POSTSUBSCRIPT italic_x , italic_y end_POSTSUBSCRIPT italic_G start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT ( italic_x , italic_y ) | italic_x , italic_y ) satisfy the stationary Schödinger equation h^|GE)=E|GE)\hat{h}|G_{E})=E|G_{E})over^ start_ARG italic_h end_ARG | italic_G start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT ) = italic_E | italic_G start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT ) with eigenvalue E𝐸Eitalic_E in terms of which we expand the time-dependent state |G(t))=E(G¯E|Gin)eiEt|GE)|G(t))=\sum_{E}(\bar{G}_{E}|G_{in})e^{-iEt}|G_{E})| italic_G ( italic_t ) ) = ∑ start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT ( over¯ start_ARG italic_G end_ARG start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT | italic_G start_POSTSUBSCRIPT italic_i italic_n end_POSTSUBSCRIPT ) italic_e start_POSTSUPERSCRIPT - italic_i italic_E italic_t end_POSTSUPERSCRIPT | italic_G start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT ). Here (G¯E|(\bar{G}_{E}|( over¯ start_ARG italic_G end_ARG start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT | is the left eigenmode of the Liouvillian satisfying (G¯E|h^=E(G¯E|(\bar{G}_{E}|\hat{h}^{\dagger}=E^{*}(\bar{G}_{E}|( over¯ start_ARG italic_G end_ARG start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT | over^ start_ARG italic_h end_ARG start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT = italic_E start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT ( over¯ start_ARG italic_G end_ARG start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT | and it forms a bi-orthognal basis with |GE)|G_{E})| italic_G start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT ) as E|GE)(G¯E|=𝕀\sum_{E}|G_{E})(\bar{G}_{E}|=\mathbb{I}∑ start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT | italic_G start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT ) ( over¯ start_ARG italic_G end_ARG start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT | = blackboard_I. The time-dependent impurity magnetization (at site j=0𝑗0j=0italic_j = 0) can be written as

S0z(t)=2EαEN/DeiEt1,subscriptsuperscript𝑆𝑧0𝑡2subscript𝐸superscriptsubscript𝛼𝐸𝑁𝐷superscript𝑒𝑖𝐸𝑡1S^{z}_{0}(t)=2\sum_{E}\alpha_{E}^{N/D}e^{-iEt}-1,italic_S start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ( italic_t ) = 2 ∑ start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT italic_α start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_N / italic_D end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT - italic_i italic_E italic_t end_POSTSUPERSCRIPT - 1 , (5)

where the amplitude αEN/D=GE(0,0)(G¯E|Gin)superscriptsubscript𝛼𝐸𝑁𝐷subscript𝐺𝐸00conditionalsubscript¯𝐺𝐸subscript𝐺𝑖𝑛\alpha_{E}^{N/D}=G_{E}(0,0)(\bar{G}_{E}|G_{in})italic_α start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_N / italic_D end_POSTSUPERSCRIPT = italic_G start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT ( 0 , 0 ) ( over¯ start_ARG italic_G end_ARG start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT | italic_G start_POSTSUBSCRIPT italic_i italic_n end_POSTSUBSCRIPT ) depends on the initial state ρin=ρN/Dsubscript𝜌𝑖𝑛subscript𝜌𝑁𝐷\rho_{in}=\rho_{N/D}italic_ρ start_POSTSUBSCRIPT italic_i italic_n end_POSTSUBSCRIPT = italic_ρ start_POSTSUBSCRIPT italic_N / italic_D end_POSTSUBSCRIPT as follows (G¯E|Gin)=z𝒮N/DG¯E(z,z)conditionalsubscript¯𝐺𝐸subscript𝐺𝑖𝑛subscript𝑧subscript𝒮𝑁𝐷subscript¯𝐺𝐸𝑧𝑧(\bar{G}_{E}|G_{in})=\sum_{z{\in\mathcal{S}_{N/D}}}\bar{G}_{E}(z,z)( over¯ start_ARG italic_G end_ARG start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT | italic_G start_POSTSUBSCRIPT italic_i italic_n end_POSTSUBSCRIPT ) = ∑ start_POSTSUBSCRIPT italic_z ∈ caligraphic_S start_POSTSUBSCRIPT italic_N / italic_D end_POSTSUBSCRIPT end_POSTSUBSCRIPT over¯ start_ARG italic_G end_ARG start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT ( italic_z , italic_z ). Thus, S0z(t)subscriptsuperscript𝑆𝑧0𝑡S^{z}_{0}(t)italic_S start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ( italic_t ) requires the knowledge of the Liouvillian spectrum E𝐸Eitalic_E and of the amplitude αEsubscript𝛼𝐸\alpha_{E}italic_α start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT which encodes the initial conditions.

Refer to caption
Figure 1: (a) The parameter space (J,γ)𝐽𝛾(J,\gamma)( italic_J , italic_γ ) is divided into two distinct regimes: the bound-mode regime, and the Kondo regime. The real part of the double-bound mode energy is computed for L=30𝐿30L=30italic_L = 30 is given in the heatmap. For large γ1𝛾much-greater-than1\gamma\mathord{\gg}1italic_γ ≫ 1, the boundary between two regimes is almost J=γ/2𝐽𝛾2J\mathord{=}\gamma/2italic_J = italic_γ / 2 as shown in the dashed line in (a). The Liouvillian spectrum and amplitude αE=GE(0,0)(G¯E|Gin)subscript𝛼𝐸subscript𝐺𝐸00conditionalsubscript¯𝐺𝐸subscript𝐺𝑖𝑛\alpha_{E}=G_{E}(0,0)(\bar{G}_{E}|G_{in})italic_α start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT = italic_G start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT ( 0 , 0 ) ( over¯ start_ARG italic_G end_ARG start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT | italic_G start_POSTSUBSCRIPT italic_i italic_n end_POSTSUBSCRIPT ) for Néel state in the two-particle sector with dephasing rate γ=0.25𝛾0.25\gamma=0.25italic_γ = 0.25 and impurity coupling J=0.5𝐽0.5J=0.5italic_J = 0.5 (b) in the Kondo regime, γ=2𝛾2\gamma=2italic_γ = 2, J=0.5𝐽0.5J=0.5italic_J = 0.5 (c) in the Kondo regime, and γ=2𝛾2\gamma=2italic_γ = 2, J=3𝐽3J=3italic_J = 3 (d) in the bound mode regime due to the existence of the double-bound mode. The data points labeled in the legend with different shapes and numbers represent four different kinds (respectively correspond to the four kinds of solutions solved analytically in the main text). The scattering color plots are numerical results solved with system size L=40𝐿40L=40italic_L = 40 where the heatmap shows absolute values of amplitude αENsuperscriptsubscript𝛼𝐸𝑁\alpha_{E}^{N}italic_α start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_N end_POSTSUPERSCRIPT for each eigenmode. The modes with larger αENsuperscriptsubscript𝛼𝐸𝑁\alpha_{E}^{N}italic_α start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_N end_POSTSUPERSCRIPT dominate the impurity dynamics: the double-bound mode in the bound mode regime (d), and the modes within the diffusive band in the Kondo regime (b, c). With a small noise γ<1𝛾1\gamma<1italic_γ < 1, the diffusive band is mixed with the other bands (b), and when γ>1𝛾1\gamma>1italic_γ > 1 the diffusive band is separated from the other bands (c,d).
Refer to caption
Figure 2: The dynamics of the XX and XXX impurity models evolving from a Néel initial state under a Lindbladian evolution with and without dephasing noise. Different colors represent different dephasing rates γ𝛾\gammaitalic_γ, solid lines for J=0.5𝐽0.5J=0.5italic_J = 0.5 in the Kondo regime, and dashed lines for J=3𝐽3J=3italic_J = 3 in the bound-mode regime. The upper panel shows the data for the XXX chain for L=10𝐿10L=10italic_L = 10 and the bottom panel for the XX chain for L=40𝐿40L=40italic_L = 40. For both XX and XXX chains, in the bound mode phase, the signal decays faster as the dephasing rate increases. However, in the Kondo phase, the impurity decay is slower as the dephasing rate increases. The insets in each panel show the data on a log-linear scale displaying the same power law decay independent of J𝐽Jitalic_J in the long-time limit.

We now proceed to solve for the spectrum E𝐸Eitalic_E of the Liouvillian h^^\hat{h}over^ start_ARG italic_h end_ARG defined in Eq. (4). In the absence of the impurity, this Liouvillian can be mapped to an integrable non-Hermitian Hubbard model after a unitary transformation [81, 82, 83, 84, 85], here we generalize it to include the impurity as discussed in [62]. The Liouvillian in Eq. (4) can thus be solved via the Bethe Ansatz (BA) [86, 87, 88]. It has eigenvalue E(k,q)=2cosk+2cosq4iγ𝐸𝑘𝑞2𝑘2𝑞4𝑖𝛾E(k,q)=2\cos k+2\cos q-4i\gammaitalic_E ( italic_k , italic_q ) = 2 roman_cos italic_k + 2 roman_cos italic_q - 4 italic_i italic_γ with the eigenmodes wavefunction taking the BA form

Gk,q(x,y)=(1)y𝒩𝒮σ,τ=±1Fσk,τq(x,y)eiσkx+iτqy,subscript𝐺𝑘𝑞𝑥𝑦superscript1𝑦𝒩𝒮subscript𝜎𝜏plus-or-minus1subscript𝐹𝜎𝑘𝜏𝑞𝑥𝑦superscript𝑒𝑖𝜎𝑘𝑥𝑖𝜏𝑞𝑦G_{k,q}(x,y)=\frac{(-1)^{y}}{\mathcal{N}}\mathcal{S}\sum_{\sigma,\tau=\pm 1}F_% {\sigma k,\tau q}(x,y)e^{i\sigma kx+i\tau qy},italic_G start_POSTSUBSCRIPT italic_k , italic_q end_POSTSUBSCRIPT ( italic_x , italic_y ) = divide start_ARG ( - 1 ) start_POSTSUPERSCRIPT italic_y end_POSTSUPERSCRIPT end_ARG start_ARG caligraphic_N end_ARG caligraphic_S ∑ start_POSTSUBSCRIPT italic_σ , italic_τ = ± 1 end_POSTSUBSCRIPT italic_F start_POSTSUBSCRIPT italic_σ italic_k , italic_τ italic_q end_POSTSUBSCRIPT ( italic_x , italic_y ) italic_e start_POSTSUPERSCRIPT italic_i italic_σ italic_k italic_x + italic_i italic_τ italic_q italic_y end_POSTSUPERSCRIPT , (6)

where Fσk,τq(x,y)=Aσk,τqθ(yx)+Bσk,τqθ(xy)subscript𝐹𝜎𝑘𝜏𝑞𝑥𝑦subscript𝐴𝜎𝑘𝜏𝑞𝜃𝑦𝑥subscript𝐵𝜎𝑘𝜏𝑞𝜃𝑥𝑦F_{\sigma k,\tau q}(x,y)=A_{\sigma k,\tau q}\theta(y-x)+B_{\sigma k,\tau q}% \theta(x-y)italic_F start_POSTSUBSCRIPT italic_σ italic_k , italic_τ italic_q end_POSTSUBSCRIPT ( italic_x , italic_y ) = italic_A start_POSTSUBSCRIPT italic_σ italic_k , italic_τ italic_q end_POSTSUBSCRIPT italic_θ ( italic_y - italic_x ) + italic_B start_POSTSUBSCRIPT italic_σ italic_k , italic_τ italic_q end_POSTSUBSCRIPT italic_θ ( italic_x - italic_y ), 𝒩𝒩\mathcal{N}caligraphic_N is the normalization factor such that |Gk,q|2=1superscriptsubscript𝐺𝑘𝑞21|G_{{k,q}}|^{2}=1| italic_G start_POSTSUBSCRIPT italic_k , italic_q end_POSTSUBSCRIPT | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = 1 and 𝒮𝒮\mathcal{S}caligraphic_S is the symmetrizer. The Liouvilian in Eq.(4) also has antisymmetrized eigenmodes [82], but only symmetrized eigenmodes participate in dynamics since the initial configuration is symmetric, i.e. G(x,y;0)=G(y,x;0)𝐺𝑥𝑦0𝐺𝑦𝑥0G(x,y;0)=G(y,x;0)italic_G ( italic_x , italic_y ; 0 ) = italic_G ( italic_y , italic_x ; 0 ). Here the amplitudes are related to the boundary scattering matrix K(k)𝐾𝑘K(k)italic_K ( italic_k ) and the bulk scattering matrix S(k,q)𝑆𝑘𝑞S(k,q)italic_S ( italic_k , italic_q ) as: Aσk,τq=S(σk,τq)Bσk,τqsubscript𝐴𝜎𝑘𝜏𝑞𝑆𝜎𝑘𝜏𝑞subscript𝐵𝜎𝑘𝜏𝑞A_{\sigma k,\tau q}=S(\sigma k,\tau q)B_{\sigma k,\tau q}italic_A start_POSTSUBSCRIPT italic_σ italic_k , italic_τ italic_q end_POSTSUBSCRIPT = italic_S ( italic_σ italic_k , italic_τ italic_q ) italic_B start_POSTSUBSCRIPT italic_σ italic_k , italic_τ italic_q end_POSTSUBSCRIPT and A+k,τq=K(k)Ak,τqsubscript𝐴𝑘𝜏𝑞𝐾𝑘subscript𝐴𝑘𝜏𝑞A_{+k,\tau q}=K(k)A_{-k,\tau q}italic_A start_POSTSUBSCRIPT + italic_k , italic_τ italic_q end_POSTSUBSCRIPT = italic_K ( italic_k ) italic_A start_POSTSUBSCRIPT - italic_k , italic_τ italic_q end_POSTSUBSCRIPT [81, 82, 83, 84] with

K(k)=eik+eik2iγJ2eikeik+eik2iγJ2eik,S(k,q)=sinksinq+2γsinksinq2γ.formulae-sequence𝐾𝑘superscript𝑒𝑖𝑘superscript𝑒𝑖𝑘2𝑖𝛾superscript𝐽2superscript𝑒𝑖𝑘superscript𝑒𝑖𝑘superscript𝑒𝑖𝑘2𝑖𝛾superscript𝐽2superscript𝑒𝑖𝑘𝑆𝑘𝑞𝑘𝑞2𝛾𝑘𝑞2𝛾\begin{split}&K(k)=-\frac{e^{ik}+e^{-ik}-2i\gamma-J^{2}e^{ik}}{e^{ik}+e^{-ik}-% 2i\gamma-J^{2}e^{-ik}},\\ &S(k,q)=\frac{\sin k-\sin q+2\gamma}{\sin k-\sin q-2\gamma}.\end{split}start_ROW start_CELL end_CELL start_CELL italic_K ( italic_k ) = - divide start_ARG italic_e start_POSTSUPERSCRIPT italic_i italic_k end_POSTSUPERSCRIPT + italic_e start_POSTSUPERSCRIPT - italic_i italic_k end_POSTSUPERSCRIPT - 2 italic_i italic_γ - italic_J start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT italic_i italic_k end_POSTSUPERSCRIPT end_ARG start_ARG italic_e start_POSTSUPERSCRIPT italic_i italic_k end_POSTSUPERSCRIPT + italic_e start_POSTSUPERSCRIPT - italic_i italic_k end_POSTSUPERSCRIPT - 2 italic_i italic_γ - italic_J start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT - italic_i italic_k end_POSTSUPERSCRIPT end_ARG , end_CELL end_ROW start_ROW start_CELL end_CELL start_CELL italic_S ( italic_k , italic_q ) = divide start_ARG roman_sin italic_k - roman_sin italic_q + 2 italic_γ end_ARG start_ARG roman_sin italic_k - roman_sin italic_q - 2 italic_γ end_ARG . end_CELL end_ROW (7)

The quantization condition for quasimomenta k𝑘kitalic_k and q𝑞qitalic_q are obtained from the Bethe Ansatz equations (BAE) [84]

e2ik(L+1)=K(k)S(k,q)S(k,q),e2iq(L+1)=K(q)S(q,k)S(q,k).formulae-sequencesuperscript𝑒2𝑖𝑘𝐿1𝐾𝑘𝑆𝑘𝑞𝑆𝑘𝑞superscript𝑒2𝑖𝑞𝐿1𝐾𝑞𝑆𝑞𝑘𝑆𝑞𝑘\begin{split}e^{2ik(L+1)}&=K(k)S(k,q)S(-k,q),\\ e^{2iq(L+1)}&=K(q)S(q,k)S(-q,k).\end{split}start_ROW start_CELL italic_e start_POSTSUPERSCRIPT 2 italic_i italic_k ( italic_L + 1 ) end_POSTSUPERSCRIPT end_CELL start_CELL = italic_K ( italic_k ) italic_S ( italic_k , italic_q ) italic_S ( - italic_k , italic_q ) , end_CELL end_ROW start_ROW start_CELL italic_e start_POSTSUPERSCRIPT 2 italic_i italic_q ( italic_L + 1 ) end_POSTSUPERSCRIPT end_CELL start_CELL = italic_K ( italic_q ) italic_S ( italic_q , italic_k ) italic_S ( - italic_q , italic_k ) . end_CELL end_ROW (8)

If (k,q)𝑘𝑞(k,q)( italic_k , italic_q ) is a solution of the BAE (8), then (±k+2π,±q+2π)plus-or-minus𝑘2𝜋plus-or-minus𝑞2𝜋(\pm k+2\pi,\pm q+2\pi)( ± italic_k + 2 italic_π , ± italic_q + 2 italic_π ) is also a solution. This allows us to restrict the Brillouin zone to k(0,π)𝑘0𝜋\Re k\in(0,\pi)roman_ℜ italic_k ∈ ( 0 , italic_π ) with k𝑘\Re kroman_ℜ italic_k (k𝑘\Im kroman_ℑ italic_k) as the real (imaginary) part of k𝑘kitalic_k. Furthermore, its complex conjugate (k,q)superscript𝑘superscript𝑞(k^{*},q^{*})( italic_k start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT , italic_q start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT ) also being a solution, indicates that if E𝐸Eitalic_E is a Liouvillian eigenvalue, then Esuperscript𝐸-E^{*}- italic_E start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT is also an eigenvalue [82]. The quasimomenta (k,q)𝑘𝑞(k,q)( italic_k , italic_q ) satisfying the BAEs fall into one of the following four cases in the limit L𝐿L\to\inftyitalic_L → ∞. Here, we briefly summarize the resuls and details can be found in [62].

1.Free band: When both S-matrices are regular S,K0,formulae-sequence𝑆𝐾0S,K\neq 0,\inftyitalic_S , italic_K ≠ 0 , ∞, the quasimomenta k𝑘kitalic_k and q𝑞qitalic_q are complex, with imaginary parts vanishing as 1Lsimilar-toabsent1𝐿\sim\frac{1}{L}∼ divide start_ARG 1 end_ARG start_ARG italic_L end_ARG, i.e k=πn1L+1+𝒪(L1)𝑘𝜋subscript𝑛1𝐿1𝒪superscript𝐿1k=\frac{\pi n_{1}}{L+1}+\mathcal{O}(L^{-1})italic_k = divide start_ARG italic_π italic_n start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_ARG start_ARG italic_L + 1 end_ARG + caligraphic_O ( italic_L start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT ) and q=πn2L+1+𝒪(L1)𝑞𝜋subscript𝑛2𝐿1𝒪superscript𝐿1q=\frac{\pi n_{2}}{L+1}+\mathcal{O}(L^{-1})italic_q = divide start_ARG italic_π italic_n start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_ARG start_ARG italic_L + 1 end_ARG + caligraphic_O ( italic_L start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT ), for n1,n2=1,,Lformulae-sequencesubscript𝑛1subscript𝑛21𝐿n_{1},n_{2}=1,\ldots,Litalic_n start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , italic_n start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT = 1 , … , italic_L. These solutions exist for all parameters.

2. Bound mode band: When K=𝐾K\mathord{=}\inftyitalic_K = ∞, quasimomenta are k±=ilog(±J21γ2iγJ21)subscript𝑘plus-or-minus𝑖plus-or-minussuperscript𝐽21superscript𝛾2𝑖𝛾superscript𝐽21k_{\pm}=i\log\left(\frac{\pm\sqrt{J^{2}-1-\gamma^{2}}-i\gamma}{J^{2}-1}\right)italic_k start_POSTSUBSCRIPT ± end_POSTSUBSCRIPT = italic_i roman_log ( divide start_ARG ± square-root start_ARG italic_J start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - 1 - italic_γ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG - italic_i italic_γ end_ARG start_ARG italic_J start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - 1 end_ARG ) and q=πnL+1+𝒪(L1)𝑞𝜋𝑛𝐿1𝒪superscript𝐿1q=\frac{\pi n}{L+1}+\mathcal{O}(L^{-1})italic_q = divide start_ARG italic_π italic_n end_ARG start_ARG italic_L + 1 end_ARG + caligraphic_O ( italic_L start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT ) for n=1,,L𝑛1𝐿n=1,\ldots,Litalic_n = 1 , … , italic_L. If k±<0subscript𝑘plus-or-minus0\Im k_{\pm}<0roman_ℑ italic_k start_POSTSUBSCRIPT ± end_POSTSUBSCRIPT < 0, it is a bound mode; otherwise, it is not a valid solution. When both k±<0subscript𝑘plus-or-minus0\Im k_{\pm}<0roman_ℑ italic_k start_POSTSUBSCRIPT ± end_POSTSUBSCRIPT < 0, another mode with E=2cosk++2cosk4iγ𝐸2subscript𝑘2subscript𝑘4𝑖𝛾E=2\cos k_{+}+2\cos k_{-}-4i\gammaitalic_E = 2 roman_cos italic_k start_POSTSUBSCRIPT + end_POSTSUBSCRIPT + 2 roman_cos italic_k start_POSTSUBSCRIPT - end_POSTSUBSCRIPT - 4 italic_i italic_γ exists.

3. Diffusive band: When S=𝑆S\mathord{=}\inftyitalic_S = ∞, the eigenspectra are En=4iγ2sin(πn2L)24iγ+𝒪(L3)E_{n}=4i\sqrt{\gamma^{2}-\sin\left(\frac{\pi n}{2L}\right)^{2}}-4i\gamma+% \mathcal{O}(L^{-3})italic_E start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT = 4 italic_i square-root start_ARG italic_γ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - roman_sin ( divide start_ARG italic_π italic_n end_ARG start_ARG 2 italic_L end_ARG ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG - 4 italic_i italic_γ + caligraphic_O ( italic_L start_POSTSUPERSCRIPT - 3 end_POSTSUPERSCRIPT ) with n=0,1,2,,L𝑛012𝐿n=0,1,2,\ldots,Litalic_n = 0 , 1 , 2 , … , italic_L. Gapless excitations with En=iπ2n22γL2+𝒪(L3)subscript𝐸𝑛𝑖superscript𝜋2superscript𝑛22𝛾superscript𝐿2𝒪superscript𝐿3E_{n}=-i\frac{\pi^{2}n^{2}}{2\gamma L^{2}}+\mathcal{O}(L^{-3})italic_E start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT = - italic_i divide start_ARG italic_π start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_n start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 italic_γ italic_L start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG + caligraphic_O ( italic_L start_POSTSUPERSCRIPT - 3 end_POSTSUPERSCRIPT ) [81, 82], dominate the late time dynamics. These solutions with En=0subscript𝐸𝑛0\Re E_{n}=0roman_ℜ italic_E start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT = 0 exist for all parameters.

4. Double-bound mode: There are two solutions where the particles are boundary-localized. When γ<1𝛾1\gamma\mathord{<}1italic_γ < 1, the eigenvalues can be solved perturbtively E±=4cosk±+4iγ[x=1L𝒩2ei4k±x+𝒩J21]+𝒪(γ2)subscript𝐸plus-or-minus4subscript𝑘plus-or-minus4𝑖𝛾delimited-[]superscriptsubscript𝑥1𝐿superscript𝒩2superscript𝑒𝑖4subscript𝑘plus-or-minus𝑥𝒩superscript𝐽21𝒪superscript𝛾2E_{\pm}=4\cos k_{\pm}+4i\gamma\left[\sum_{x=1}^{L}\mathcal{N}^{2}e^{i4k_{\pm}x% }+\frac{\mathcal{N}}{J^{2}}-1\right]+\mathcal{O}(\gamma^{2})italic_E start_POSTSUBSCRIPT ± end_POSTSUBSCRIPT = 4 roman_cos italic_k start_POSTSUBSCRIPT ± end_POSTSUBSCRIPT + 4 italic_i italic_γ [ ∑ start_POSTSUBSCRIPT italic_x = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_L end_POSTSUPERSCRIPT caligraphic_N start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT italic_i 4 italic_k start_POSTSUBSCRIPT ± end_POSTSUBSCRIPT italic_x end_POSTSUPERSCRIPT + divide start_ARG caligraphic_N end_ARG start_ARG italic_J start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG - 1 ] + caligraphic_O ( italic_γ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ), where k±=i2log(J21)+π/2±π/2subscript𝑘plus-or-minusplus-or-minus𝑖2superscript𝐽21𝜋2𝜋2k_{\pm}=\frac{i}{2}\log(J^{2}-1)+\pi/2\pm\pi/2italic_k start_POSTSUBSCRIPT ± end_POSTSUBSCRIPT = divide start_ARG italic_i end_ARG start_ARG 2 end_ARG roman_log ( italic_J start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - 1 ) + italic_π / 2 ± italic_π / 2 and 𝒩=1J2+e2ik±1e2ik±𝒩1superscript𝐽2superscript𝑒2𝑖subscript𝑘plus-or-minus1superscript𝑒2𝑖subscript𝑘plus-or-minus\mathcal{N}=\frac{1}{J^{2}}+\frac{e^{-2ik_{\pm}}}{1-e^{-2ik_{\pm}}}caligraphic_N = divide start_ARG 1 end_ARG start_ARG italic_J start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG + divide start_ARG italic_e start_POSTSUPERSCRIPT - 2 italic_i italic_k start_POSTSUBSCRIPT ± end_POSTSUBSCRIPT end_POSTSUPERSCRIPT end_ARG start_ARG 1 - italic_e start_POSTSUPERSCRIPT - 2 italic_i italic_k start_POSTSUBSCRIPT ± end_POSTSUBSCRIPT end_POSTSUPERSCRIPT end_ARG. When γ>1𝛾1\gamma>1italic_γ > 1, the eigenvalues solved with an effective two-site Liouvillian are E±=±4J2γ2iγsubscript𝐸plus-or-minusplus-or-minus4superscript𝐽2superscript𝛾2𝑖𝛾E_{\pm}=\pm\sqrt{4J^{2}-\gamma^{2}}-i\gammaitalic_E start_POSTSUBSCRIPT ± end_POSTSUBSCRIPT = ± square-root start_ARG 4 italic_J start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - italic_γ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG - italic_i italic_γ.

Fig. 1 shows the spectrum of the Liouvillian in the Kondo and bound regimes. We present the cross-over diagram that delineates these two regimes in Fig. 1(a) through the value of the real part of the Double bound mode EDBMsubscript𝐸𝐷𝐵𝑀\Re E_{DBM}roman_ℜ italic_E start_POSTSUBSCRIPT italic_D italic_B italic_M end_POSTSUBSCRIPT. A non-zero EDBMsubscript𝐸𝐷𝐵𝑀\Re E_{DBM}roman_ℜ italic_E start_POSTSUBSCRIPT italic_D italic_B italic_M end_POSTSUBSCRIPT signifies the bound mode regime, while a zero value indicates the Kondo regime. We further analyze the spectrum’s real and imaginary parts in the Kondo regime in Fig. 1(a) and (b) as well as the bound mode regime in Fig. 1 (c). We see the free band (spectrum 1; circles), the bound mode band (spectrum 2; crosses), and the diffusive band (spectrum 3; star) in the Kondo regime, where the majority of the weight in αENsuperscriptsubscript𝛼𝐸𝑁\alpha_{E}^{N}italic_α start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_N end_POSTSUPERSCRIPT lies in the diffusive band. In the bound mode regime, we also see the appearance of double bound modes (spectrum 4; diamonds) that have the largest weight in the coefficients αENsuperscriptsubscript𝛼𝐸𝑁\alpha_{E}^{N}italic_α start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_N end_POSTSUPERSCRIPT and hence they dominate the early-time impurity dynamics S0z(t)subscriptsuperscript𝑆𝑧0𝑡S^{z}_{0}(t)italic_S start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ( italic_t ).

In [71], we showed that at the XX point without noise, there is a boundary phase transition at J=2𝐽2J=\sqrt{2}italic_J = square-root start_ARG 2 end_ARG. When J<2𝐽2J<\sqrt{2}italic_J < square-root start_ARG 2 end_ARG, the impurity is screened by many-body Kondo effect whereas when J>2𝐽2J>\sqrt{2}italic_J > square-root start_ARG 2 end_ARG, the impurity is screened by single particle bound mode localized at the edge. Here, we turn to study the dynamical characterization of the boundary phases. In the bound mode phase (J>2𝐽2J>\sqrt{2}italic_J > square-root start_ARG 2 end_ARG), the time-dependent magnetization shows oscillatory behavior S0z(t)cos(J2J21t)similar-tosubscriptsuperscript𝑆𝑧0𝑡superscript𝐽2superscript𝐽21𝑡S^{z}_{0}(t)\sim\cos(\frac{J^{2}}{\sqrt{J^{2}-1}}t)italic_S start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ( italic_t ) ∼ roman_cos ( divide start_ARG italic_J start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG square-root start_ARG italic_J start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - 1 end_ARG end_ARG italic_t ) when t𝑡t\to\inftyitalic_t → ∞. However in the Kondo phase (J<2𝐽2J<\sqrt{2}italic_J < square-root start_ARG 2 end_ARG), the impurity magnetization leaks to the bulk with the time scale proportional to the Kondo time tK=|J21|/J2subscript𝑡𝐾superscript𝐽21superscript𝐽2t_{K}=\sqrt{|J^{2}-1|}/J^{2}italic_t start_POSTSUBSCRIPT italic_K end_POSTSUBSCRIPT = square-root start_ARG | italic_J start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - 1 | end_ARG / italic_J start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT. Detailed calculation showing this sharp phase transition in dynamical quantities is in [62].

When noise is introduced (γ>0𝛾0\gamma>0italic_γ > 0), there is no longer a sharp phase transition. Instead, the impurity magnetization S0z(t)subscriptsuperscript𝑆𝑧0𝑡S^{z}_{0}(t)italic_S start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ( italic_t ) decays similarly in both regimes at late times, exhibiting the Zeno effect, where the dynamics slows down as noise strength increases. This behavior is driven by the diffusive band as it has largest overlap αENsuperscriptsubscript𝛼𝐸𝑁\alpha_{E}^{N}italic_α start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_N end_POSTSUPERSCRIPT. The modes in the diffusive band have |E(γ)|γ1proportional-to𝐸𝛾superscript𝛾1|\Im E(\gamma)|\propto\gamma^{-1}| roman_ℑ italic_E ( italic_γ ) | ∝ italic_γ start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT, so the dynamics slows down as γ𝛾\gammaitalic_γ increases and exhibits the quantum Zeno effect. In contrast, the early-time dynamics differ between the two regimes. In the bound mode regime, the impurity dynamics is dominated by the double-bound mode which has the largest overlap αENsuperscriptsubscript𝛼𝐸𝑁\alpha_{E}^{N}italic_α start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_N end_POSTSUPERSCRIPT and |E(γ)|γproportional-to𝐸𝛾𝛾|\Im E(\gamma)|\propto\gamma| roman_ℑ italic_E ( italic_γ ) | ∝ italic_γ. Thus, the impurity decays faster as γ𝛾\gammaitalic_γ increases. However, in the Kondo regime, the early-time dynamics are also influenced by the diffusive band—similar to the long-time limit where the decay rate decreases with increasing noise, resulting the quantum Zeno effect. The model parameters J𝐽Jitalic_J and γ𝛾\gammaitalic_γ corresponding to these two regimes are shown in Fig. 1(a).

Numerical results for S0z(t)subscriptsuperscript𝑆𝑧0𝑡S^{z}_{0}(t)italic_S start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ( italic_t ) starting from the Néel state at the XX point are shown in the bottom panel of Fig. 2 with two situations when the system is in the Kondo regime J=0.5𝐽0.5J=0.5italic_J = 0.5 and in the bound-mode regime J=3𝐽3J=3italic_J = 3. As seen from the data, for the early time in the bound-mode regime, the noise adds a decaying envelope that is accelerated as the dephasing rate is increased. This is an expected result because the boundary mode is essentially a two-qubit state, and qubits subjected to dephasing noise decay faster as the decay rate increases. In the Kondo regime or after the double bound mode decays i.e. tγ1similar-to𝑡superscript𝛾1t\sim\gamma^{-1}italic_t ∼ italic_γ start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT, the noise slows the leakage of magnetization and leads to a quantum Zeno effect as the dephasing rate increases. In the long time limit, independent of the boundary coupling J𝐽Jitalic_J, the impurity magnetization falls off as S0z(t)et/τsimilar-tosubscriptsuperscript𝑆𝑧0𝑡superscript𝑒𝑡𝜏S^{z}_{0}(t)\sim e^{-t/\tau}italic_S start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ( italic_t ) ∼ italic_e start_POSTSUPERSCRIPT - italic_t / italic_τ end_POSTSUPERSCRIPT with τ1γL2proportional-to𝜏1𝛾superscript𝐿2\tau\propto\frac{1}{\gamma L^{2}}italic_τ ∝ divide start_ARG 1 end_ARG start_ARG italic_γ italic_L start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG in both regimes. This behavior of the impurity in the Kondo regime is consistent with the heating of the bulk induced by Hermitian Lindblad operators [89, 90, 91], driving the impurity to (asymptotically free) weak coupling behavior [92, 93, 94, 95].

Refer to caption
Figure 3: Data collapse for Sz(x,t)=Sz(ξ)superscript𝑆𝑧𝑥𝑡superscript𝑆𝑧𝜉S^{z}(x,t)=S^{z}(\xi)italic_S start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT ( italic_x , italic_t ) = italic_S start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT ( italic_ξ ) with ξ=xt12𝜉𝑥superscript𝑡12\xi=xt^{-\frac{1}{2}}italic_ξ = italic_x italic_t start_POSTSUPERSCRIPT - divide start_ARG 1 end_ARG start_ARG 2 end_ARG end_POSTSUPERSCRIPT in the XX case (filled markers, with system size L=40𝐿40L=40italic_L = 40) and XXX case (hollow markers, with system size L=10𝐿10L=10italic_L = 10) starting from a domain wall initial state (as shown in the color plot in the right inset for XX case with γ=2𝛾2\gamma=2italic_γ = 2) under various dephasing rates γ𝛾\gammaitalic_γ. Different marker shapes correspond to the spin configuration at different time slices, and different marker color refers to different dephasing rates. The left inset shows the dependence of the diffusion constant D𝐷Ditalic_D on γ𝛾\gammaitalic_γ (filled markers for XX case and hollow for XXX case) and the dashed lines are the analytical result for the noisy XX chain D=12γ𝐷12𝛾D=\frac{1}{2\gamma}italic_D = divide start_ARG 1 end_ARG start_ARG 2 italic_γ end_ARG.

Although no noise is applied at the impurity site, the Zeno effect on impurity is present in the Kondo regime at all times and at late times (t>γ1𝑡superscript𝛾1t>\gamma^{-1}italic_t > italic_γ start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT) in the bound mode phase, because noise changes the bulk transport property from ballistic when the system is at the XX point to diffusive [96] with diffusion constant D=12γ𝐷12𝛾D=\frac{1}{2\gamma}italic_D = divide start_ARG 1 end_ARG start_ARG 2 italic_γ end_ARG as shown in [82].

Heisenberg (XXX) chain: Next, we examine the Trotterized dynamics of the interacting circuit corresponding to the isotropic Heisenberg model (Δ=1Δ1\Delta=1roman_Δ = 1) with a boundary impurity. The equilibrium boundary phases have been studied in [72, 76, 97]. We show here that the bound mode and Kondo phases also exist dynamically, manifesting themselves in a similar way as in the XX case: the bound mode phase exists when J>4/3𝐽43J>4/3italic_J > 4 / 3 where the impurity magnetization oscillates in time, and the Kondo phase when J<4/3𝐽43J<4/3italic_J < 4 / 3 where it decays as shown in Fig. 2 in the noiseless case. The bulk transport properties in the noiseless case belong to the KPZ universality class as shown in [98, 99].

Turning on the noise we find that it impacts both the bulk and boundary dynamics similarly as in the XX case discussed above. To show the bulk dynamics is diffusive for XXX case, we prepare the system in a domain wall state where all sites on the left (right) half are up (down) and compute the magnetization Sjz(t)subscriptsuperscript𝑆𝑧𝑗𝑡S^{z}_{j}(t)italic_S start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ( italic_t ) as time evolves. When the system is diffusive, in the continuum limit as lattice spacing a0𝑎0a\to 0italic_a → 0 and system size L𝐿L\to\inftyitalic_L → ∞, the magnetization Sjz(t)Sz(x,t)subscriptsuperscript𝑆𝑧𝑗𝑡superscript𝑆𝑧𝑥𝑡S^{z}_{j}(t)\to S^{z}(x,t)italic_S start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ( italic_t ) → italic_S start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT ( italic_x , italic_t ) satisfies the diffusion equation i.e. (tDx2)Sz(x,t)=0subscript𝑡𝐷superscriptsubscript𝑥2superscript𝑆𝑧𝑥𝑡0(\partial_{t}-D\partial_{x}^{2})S^{z}(x,t)=0( ∂ start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT - italic_D ∂ start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) italic_S start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT ( italic_x , italic_t ) = 0, with initial condition Sz(x,t=0)=Sign(L/2x)superscript𝑆𝑧𝑥𝑡0Sign𝐿2𝑥S^{z}(x,t\mathord{=}0)=\mathrm{Sign}(L/2-x)italic_S start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT ( italic_x , italic_t = 0 ) = roman_Sign ( italic_L / 2 - italic_x ). The numerical results for the dynamics of both XX and XXX cases are shown in Fig. 3, where all the data collapses on the curve Sz(ξ)=Erf(ξ/D)superscript𝑆𝑧𝜉Erf𝜉𝐷S^{z}(\xi)=-\mathrm{Erf}(\xi/\sqrt{D})italic_S start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT ( italic_ξ ) = - roman_Erf ( italic_ξ / square-root start_ARG italic_D end_ARG ) with ξ=x/t𝜉𝑥𝑡\xi=x/\sqrt{t}italic_ξ = italic_x / square-root start_ARG italic_t end_ARG which is the solution of diffusion equation from the domain wall initial configuration. For large values of γ𝛾\gammaitalic_γ, we find clear numerical evidence that D=12γ𝐷12𝛾D=\frac{1}{2\gamma}italic_D = divide start_ARG 1 end_ARG start_ARG 2 italic_γ end_ARG as in the XX case, but for smaller values of γ𝛾\gammaitalic_γ, it deviates (as shown in the left inset in Fig. 3) due to finite size and time effects [62] and we therefore expect that the relation D=12γ𝐷12𝛾D=\frac{1}{2\gamma}italic_D = divide start_ARG 1 end_ARG start_ARG 2 italic_γ end_ARG holds for each value of γ𝛾\gammaitalic_γ considered. At the same time, the bulk diffusive dynamics reflects itself in the impurity dynamics as shown in the impurity magnetization dynamics from the initial Néel state with and without noise in the upper panel of Fig. 2. In the presence of noise, both Kondo and bound-mode regimes exist, and the impurity in each regime shows a similar behavior as in the free XX chain. In the bound mode regime, the impurity magnetization initially decays faster as the noise strength is increased, and after the bound modes vanish (t>γ1𝑡superscript𝛾1t>\gamma^{-1}italic_t > italic_γ start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT), the impurity experiences the quantum Zeno effect whereas in the Kondo regime, the impurity magnetization exhibits the Zeno effect in all time scales.

Conclusion: We found that dephasing noise affects impurity behavior differently in the Kondo and bound mode regimes. In the Kondo regime, increasing γ𝛾\gammaitalic_γ slows the impurity magnetization decay, leading to a quantum Zeno effect. In the bound mode regime, magnetization initially decays faster but eventually exhibits the Zeno effect, similar to the Kondo regime. Additionally, the KPZ dynamics [98, 99] in the isotropic Heisenberg model become diffusive when the diffusion rate is introduced [100, 101].

Acknowledgment: We thank T. Giamarchi, V. Alba, F. Essler, and D. Huse for useful discussions. J.H.P. is partially supported by the Army Research Office Grant No. W911NF-23-1-0144 and the Office of Naval Research grant No. N00014-23-1-2357 (J.H.P.).

References

  • Preskill [2018] J. Preskill, Quantum computing in the nisq era and beyond, Quantum 2, 79 (2018).
  • Lau et al. [2022] J. W. Z. Lau, K. H. Lim, H. Shrotriya, and L. C. Kwek, Nisq computing: where are we and where do we go?, AAPPS bulletin 32, 27 (2022).
  • Bharti et al. [2022] K. Bharti, A. Cervera-Lierta, T. H. Kyaw, T. Haug, S. Alperin-Lea, A. Anand, M. Degroote, H. Heimonen, J. S. Kottmann, T. Menke, et al., Noisy intermediate-scale quantum algorithms, Reviews of Modern Physics 94, 015004 (2022).
  • Krantz et al. [2019] P. Krantz, M. Kjaergaard, F. Yan, T. P. Orlando, S. Gustavsson, and W. D. Oliver, A quantum engineer’s guide to superconducting qubits, Applied physics reviews 6 (2019).
  • Devoret et al. [2004] M. H. Devoret, A. Wallraff, and J. M. Martinis, Superconducting qubits: A short review, arXiv preprint cond-mat/0411174  (2004).
  • Kjaergaard et al. [2020] M. Kjaergaard, M. E. Schwartz, J. Braumüller, P. Krantz, J. I.-J. Wang, S. Gustavsson, and W. D. Oliver, Superconducting qubits: Current state of play, Annual Review of Condensed Matter Physics 11, 369 (2020).
  • Blatt and Roos [2012a] R. Blatt and C. F. Roos, Quantum simulations with trapped ions, Nature Physics 8, 277 (2012a).
  • Bruzewicz et al. [2019] C. D. Bruzewicz, J. Chiaverini, R. McConnell, and J. M. Sage, Trapped-ion quantum computing: Progress and challenges, Applied Physics Reviews 6 (2019).
  • Leibfried et al. [2003] D. Leibfried, R. Blatt, C. Monroe, and D. Wineland, Quantum dynamics of single trapped ions, Reviews of Modern Physics 75, 281 (2003).
  • Singer et al. [2010] K. Singer, U. Poschinger, M. Murphy, P. Ivanov, F. Ziesel, T. Calarco, and F. Schmidt-Kaler, Colloquium: Trapped ions as quantum bits: Essential numerical tools, Reviews of Modern Physics 82, 2609 (2010).
  • Henriet et al. [2020] L. Henriet, L. Beguin, A. Signoles, T. Lahaye, A. Browaeys, G.-O. Reymond, and C. Jurczak, Quantum computing with neutral atoms, Quantum 4, 327 (2020).
  • Jessen et al. [2004] P. Jessen, I. Deutsch, and R. Stock, Quantum information processing with trapped neutral atoms, Quantum Information Processing 3, 91 (2004).
  • Wintersperger et al. [2023] K. Wintersperger, F. Dommert, T. Ehmer, A. Hoursanov, J. Klepsch, W. Mauerer, G. Reuber, T. Strohm, M. Yin, and S. Luber, Neutral atom quantum computing hardware: performance and end-user perspective, EPJ Quantum Technology 10, 32 (2023).
  • Blais et al. [2020] A. Blais, S. M. Girvin, and W. D. Oliver, Quantum information processing and quantum optics with circuit quantum electrodynamics, Nature Physics 16, 247 (2020).
  • Clerk et al. [2020] A. Clerk, K. Lehnert, P. Bertet, J. Petta, and Y. Nakamura, Hybrid quantum systems with circuit quantum electrodynamics, Nature Physics 16, 257 (2020).
  • Blais et al. [2021] A. Blais, A. L. Grimsmo, S. M. Girvin, and A. Wallraff, Circuit quantum electrodynamics, Reviews of Modern Physics 93, 025005 (2021).
  • Haroche et al. [2020] S. Haroche, M. Brune, and J. Raimond, From cavity to circuit quantum electrodynamics, Nature Physics 16, 243 (2020).
  • Schmidt and Koch [2013] S. Schmidt and J. Koch, Circuit qed lattices: Towards quantum simulation with superconducting circuits, Annalen der Physik 525, 395 (2013).
  • Breuer and Petruccione [2002] H.-P. Breuer and F. Petruccione, The theory of open quantum systems (Oxford University Press, USA, 2002).
  • Banerjee et al. [2018] S. Banerjee, S. Banerjee, and Ahmad, Open quantum systems (Springer, 2018).
  • Schaller [2014] G. Schaller, Open quantum systems far from equilibrium, Vol. 881 (Springer, 2014).
  • Mirrahimi and Rouchon [2015] M. Mirrahimi and P. Rouchon, Dynamics and control of open quantum systems, Lecture notes  (2015).
  • Manin [1980] Y. Manin, Computable and uncomputable, Sovetskoye Radio, Moscow 128, 28 (1980).
  • Feynman [2018] R. P. Feynman, Simulating physics with computers, in Feynman and computation (cRc Press, 2018) pp. 133–153.
  • Lloyd [1996] S. Lloyd, Universal quantum simulators, Science 273, 1073 (1996).
  • Williams [2010] C. P. Williams, Explorations in quantum computing (Springer Science & Business Media, 2010).
  • Nielsen and Chuang [2010] M. A. Nielsen and I. L. Chuang, Quantum computation and quantum information (Cambridge university press, 2010).
  • Ljubotina et al. [2019a] M. Ljubotina, L. Zadnik, and T. Prosen, Ballistic spin transport in a periodically driven integrable quantum system, Physical review letters 122, 150605 (2019a).
  • Paletta and Prosen [2024] C. Paletta and T. Prosen, Integrability of open boundary driven quantum circuits, arXiv preprint arXiv:2406.12695  (2024).
  • Hudomal et al. [2024] A. Hudomal, R. Smith, A. Hallam, and Z. Papić, Integrability breaking and bound states in google’s decorated xxz circuits, PRX Quantum 5, 010316 (2024).
  • Hutsalyuk et al. [2024a] A. Hutsalyuk, Y. Jiang, B. Pozsgay, H. Xu, and Y. Zhang, Exact spin correlators of integrable quantum circuits from algebraic geometry, arXiv preprint arXiv:2405.16070  (2024a).
  • Miao and Vernier [2023a] Y. Miao and E. Vernier, Integrable quantum circuits from the star-triangle relation, Quantum 7, 1160 (2023a).
  • Gombor and Pozsgay [2024] T. Gombor and B. Pozsgay, Integrable deformations of superintegrable quantum circuits, SciPost Physics 16, 114 (2024).
  • Perk and Au-Yang [2006] J. H. Perk and H. Au-Yang, Yang-baxter equations, arXiv preprint math-ph/0606053  (2006).
  • Jimbo [1994] M. Jimbo, Introduction to the Yang-Baxter equation, Vol. 17 (World Scientific River Edge, NJ, 1994).
  • Baxter [2007] R. J. Baxter, Exactly solved models in statistical mechanics (Courier Corporation, 2007).
  • Reshetikhin [2010] N. Reshetikhin, Lectures on the integrability of the six-vertex model, Exact methods in low-dimensional statistical physics and quantum computing , 197 (2010).
  • Jimbo and Miwa [1994] M. Jimbo and T. Miwa, Algebraic analysis of solvable lattice models, Vol. 85 (American Mathematical Soc., 1994).
  • [39] V. E. Korepin, V. E. Korepin, N. Bogoliubov, and A. Izergin, Quantum inverse scattering method and correlation functions,  .
  • Hutsalyuk et al. [2024b] A. Hutsalyuk, Y. Jiang, B. Pozsgay, H. Xu, and Y. Zhang, Exact spin correlators of integrable quantum circuits from algebraic geometry, arXiv preprint arXiv:2405.16070  (2024b).
  • Miao and Vernier [2023b] Y. Miao and E. Vernier, Integrable quantum circuits from the star-triangle relation, Quantum 7, 1160 (2023b).
  • Zhang et al. [2024] J. Zhang, G. Xia, C.-W. Wu, T. Chen, Q. Zhang, Y. Xie, W.-B. Su, W. Wu, C.-W. Qiu, P.-x. Chen, et al., Observation of quantum strong mpemba effect, arXiv preprint arXiv:2401.15951  (2024).
  • Monroe et al. [2021] C. Monroe, W. C. Campbell, L.-M. Duan, Z.-X. Gong, A. V. Gorshkov, P. W. Hess, R. Islam, K. Kim, N. M. Linke, G. Pagano, et al., Programmable quantum simulations of spin systems with trapped ions, Reviews of Modern Physics 93, 025001 (2021).
  • Aspuru-Guzik and Walther [2012] A. Aspuru-Guzik and P. Walther, Photonic quantum simulators, Nature physics 8, 285 (2012).
  • Bernien et al. [2017] H. Bernien, S. Schwartz, A. Keesling, H. Levine, A. Omran, H. Pichler, S. Choi, A. S. Zibrov, M. Endres, M. Greiner, et al., Probing many-body dynamics on a 51-atom quantum simulator, Nature 551, 579 (2017).
  • Blatt and Roos [2012b] R. Blatt and C. F. Roos, Quantum simulations with trapped ions, Nature Physics 8, 277 (2012b).
  • Bloch et al. [2012] I. Bloch, J. Dalibard, and S. Nascimbene, Quantum simulations with ultracold quantum gases, Nature Physics 8, 267 (2012).
  • Gross and Bloch [2017] C. Gross and I. Bloch, Quantum simulations with ultracold atoms in optical lattices, Science 357, 995 (2017).
  • Houck et al. [2012] A. A. Houck, H. E. Türeci, and J. Koch, On-chip quantum simulation with superconducting circuits, Nature Physics 8, 292 (2012).
  • Joshi et al. [2022] L. K. Joshi, A. Elben, A. Vikram, B. Vermersch, V. Galitski, and P. Zoller, Probing many-body quantum chaos with quantum simulators, Physical Review X 12, 011018 (2022).
  • Semeghini et al. [2021] G. Semeghini, H. Levine, A. Keesling, S. Ebadi, T. T. Wang, D. Bluvstein, R. Verresen, H. Pichler, M. Kalinowski, R. Samajdar, et al., Probing topological spin liquids on a programmable quantum simulator, Science 374, 1242 (2021).
  • Zhang et al. [2017] J. Zhang, G. Pagano, P. W. Hess, A. Kyprianidis, P. Becker, H. Kaplan, A. V. Gorshkov, Z.-X. Gong, and C. Monroe, Observation of a many-body dynamical phase transition with a 53-qubit quantum simulator, Nature 551, 601 (2017).
  • Kawabata et al. [2023a] K. Kawabata, A. Kulkarni, J. Li, T. Numasawa, and S. Ryu, Dynamical quantum phase transitions in sachdev-ye-kitaev lindbladians, Physical Review B 108, 075110 (2023a).
  • Kawabata et al. [2023b] K. Kawabata, A. Kulkarni, J. Li, T. Numasawa, and S. Ryu, Dynamical quantum phase transitions in sachdev-ye-kitaev lindbladians, Phys. Rev. B 108, 075110 (2023b).
  • Lerner [2018] L. Lerner, Quantum zeno effect at finite measurement strength and frequency, Physical Review A 98, 052132 (2018).
  • Vanhoecke and Schirò [2024] M. Vanhoecke and M. Schirò, Kondo-zeno crossover in the dynamics of a monitored quantum dot, arXiv preprint arXiv:2405.17348  (2024).
  • Wang and Wang [2024] X. Wang and J. Wang, Mpemba effects in nonequilibrium open quantum systems, arXiv preprint arXiv:2401.14259  (2024).
  • Chatterjee et al. [2023] A. K. Chatterjee, S. Takada, and H. Hayakawa, Quantum mpemba effect in a quantum dot with reservoirs, Physical Review Letters 131, 080402 (2023).
  • Rylands et al. [2024] C. Rylands, K. Klobas, F. Ares, P. Calabrese, S. Murciano, and B. Bertini, Microscopic origin of the quantum mpemba effect in integrable systems, Physical Review Letters 133, 010401 (2024).
  • Joshi et al. [2024] L. K. Joshi, J. Franke, A. Rath, F. Ares, S. Murciano, F. Kranzl, R. Blatt, P. Zoller, B. Vermersch, P. Calabrese, C. F. Roos, and M. K. Joshi, Observing the quantum mpemba effect in quantum simulations, Phys. Rev. Lett. 133, 010402 (2024).
  • Schlimgen et al. [2022] A. W. Schlimgen, K. Head-Marsden, L. M. Sager, P. Narang, and D. A. Mazziotti, Quantum simulation of the lindblad equation using a unitary decomposition of operators, Physical Review Research 4, 023216 (2022).
  • Tang et al. [2024] Y. Tang, P. Kattel, J. H. Pixley, and N. Andrei, Supplementary information of ‘quantum zeno effect in noisy integrable quantum circuits for impurity models’ (2024).
  • [63] B. Sutherland, Beautiful models: 70 years of exactly solved quantum many-body problems,  .
  • Cherednik [1984] I. V. Cherednik, Factorizing particles on a half-line and root systems, Teoreticheskaya i Matematicheskaya Fizika 61, 35 (1984).
  • Sklyanin [1988] E. K. Sklyanin, Boundary conditions for integrable quantum systems, Journal of Physics A: Mathematical and General 21, 2375 (1988).
  • Wang et al. [2015] Y. Wang, W.-L. Yang, J. Cao, and K. Shi, Off-diagonal Bethe ansatz for exactly solvable models (Springer, 2015).
  • Trotter [1959] H. F. Trotter, On the product of semi-groups of operators, Proceedings of the American Mathematical Society 10, 545 (1959).
  • Suzuki [1991] M. Suzuki, General theory of fractal path integrals with applications to many-body theories and statistical physics, Journal of mathematical physics 32, 400 (1991).
  • Whitfield et al. [2011] J. D. Whitfield, J. Biamonte, and A. Aspuru-Guzik, Simulation of electronic structure hamiltonians using quantum computers, Molecular Physics 109, 735 (2011).
  • Kattel et al [2024] P. Kattel et al, Integrable and non-integrable boundary defects in spin-1212\frac{1}{2}divide start_ARG 1 end_ARG start_ARG 2 end_ARG anisotropic heisenberg chain, in preparation  (2024).
  • Kattel et al. [2024a] P. Kattel, Y. Tang, J. H. Pixley, and N. Andrei, The kondo effect in the quantum xx spin chain, Journal of Physics A: Mathematical and Theoretical  (2024a).
  • Wang [1997] Y. Wang, Exact solution of the open heisenberg chain with two impurities, Physical Review B 56, 14045 (1997).
  • Furusaki and Hikihara [1998] A. Furusaki and T. Hikihara, Kondo effect in xxz spin chains, Physical Review B 58, 5529 (1998).
  • Hu and Pu [1998] Z.-N. Hu and F.-C. Pu, Two magnetic impurities in a spin chain, Physical Review B 58, R2925 (1998).
  • Laflorencie et al. [2008] N. Laflorencie, E. S. Sørensen, and I. Affleck, The kondo effect in spin chains, Journal of Statistical Mechanics: Theory and Experiment 2008, P02007 (2008).
  • Kattel et al. [2024b] P. Kattel, P. R. Pasnoori, J. H. Pixley, P. Azaria, and N. Andrei, Kondo effect in the isotropic heisenberg spin chain, Phys. Rev. B 109, 174416 (2024b).
  • Lindblad [1976] G. Lindblad, On the generators of quantum dynamical semigroups, Communications in Mathematical Physics 48, 119 (1976).
  • Gorini et al. [1976] V. Gorini, A. Kossakowski, and E. C. G. Sudarshan, Completely positive dynamical semigroups of n-level systems, Journal of Mathematical Physics 17, 821 (1976).
  • Sá et al. [2021] L. Sá, P. Ribeiro, and T. c. v. Prosen, Integrable nonunitary open quantum circuits, Phys. Rev. B 103, 115132 (2021).
  • Su and Martin [2022] L. Su and I. Martin, Integrable nonunitary quantum circuits, Physical Review B 106, 134312 (2022).
  • Medvedyeva et al. [2016a] M. V. Medvedyeva, F. H. L. Essler, and T. c. v. Prosen, Exact bethe ansatz spectrum of a tight-binding chain with dephasing noise, Phys. Rev. Lett. 117, 137202 (2016a).
  • Alba [2023] V. Alba, Free fermions with dephasing and boundary driving: Bethe ansatz results, arXiv preprint arXiv:2309.12978  (2023).
  • Ziolkowska and Essler [2020] A. A. Ziolkowska and F. Essler, Yang-baxter integrable lindblad equations, SciPost Physics 8, 044 (2020).
  • Karnaukhov and Egorov [2005] I. Karnaukhov and B. Egorov, Exact solution of the hubbard model with boundary hoppings and fields, Europhysics Letters 70, 218 (2005).
  • Prosen [2008] T. Prosen, Third quantization: a general method to solve master equations for quadratic open fermi systems, New Journal of Physics 10, 043026 (2008).
  • Faddeev [1996] L. Faddeev, How algebraic bethe ansatz works for integrable model, arXiv preprint hep-th/9605187  (1996).
  • Li et al. [2014] Y.-Y. Li, J. Cao, W.-L. Yang, K. Shi, and Y. Wang, Exact solution of the one-dimensional hubbard model with arbitrary boundary magnetic fields, Nuclear Physics B 879, 98 (2014).
  • Lieb and Wu [1968] E. H. Lieb and F.-Y. Wu, Absence of mott transition in an exact solution of the short-range, one-band model in one dimension, Physical Review Letters 20, 1445 (1968).
  • Medvedyeva et al. [2016b] M. V. Medvedyeva, T. c. v. Prosen, and M. Žnidarič, Influence of dephasing on many-body localization, Phys. Rev. B 93, 094205 (2016b).
  • Fischer et al. [2016] M. H. Fischer, M. Maksymenko, and E. Altman, Dynamics of a many-body-localized system coupled to a bath, Phys. Rev. Lett. 116, 160401 (2016).
  • Levi et al. [2016] E. Levi, M. Heyl, I. Lesanovsky, and J. P. Garrahan, Robustness of many-body localization in the presence of dissipation, Phys. Rev. Lett. 116, 237203 (2016).
  • Hewson [1997] A. C. Hewson, The Kondo problem to heavy fermions, 2 (Cambridge university press, 1997).
  • Kondo [2012] J. Kondo, The physics of dilute magnetic alloys (Cambridge University Press, 2012).
  • Andrei et al. [1983] N. Andrei, K. Furuya, and J. Lowenstein, Solution of the kondo problem, Reviews of modern physics 55, 331 (1983).
  • Tsvelick and Wiegmann [1983] A. Tsvelick and P. Wiegmann, Exact results in the theory of magnetic alloys, Advances in Physics 32, 453 (1983).
  • Jin et al. [2020] T. Jin, M. Filippone, and T. Giamarchi, Generic transport formula for a system driven by markovian reservoirs, Physical Review B 102, 205131 (2020).
  • Frahm and Zvyagin [1997] H. Frahm and A. A. Zvyagin, The open spin chain with impurity: an exact solution, Journal of Physics: Condensed Matter 9, 9939 (1997).
  • Ljubotina et al. [2019b] M. Ljubotina, M. Žnidarič, and T. Prosen, Kardar-parisi-zhang physics in the quantum heisenberg magnet, Physical review letters 122, 210602 (2019b).
  • Rosenberg et al. [2024] E. Rosenberg, T. Andersen, R. Samajdar, A. Petukhov, J. Hoke, D. Abanin, A. Bengtsson, I. Drozdov, C. Erickson, P. Klimov, et al., Dynamics of magnetization at infinite temperature in a heisenberg spin chain, Science 384, 48 (2024).
  • Esposito and Gaspard [2005] M. Esposito and P. Gaspard, Emergence of diffusion in finite quantum systems, Physical Review B—Condensed Matter and Materials Physics 71, 214302 (2005).
  • Eisler [2011] V. Eisler, Crossover between ballistic and diffusive transport: the quantum exclusion process, Journal of Statistical Mechanics: Theory and Experiment 2011, P06007 (2011).

Supplementary information of ‘Quantum Zeno Effect in Noisy Integrable Quantum Circuits for Impurity Models’
Yicheng Tang,1 Pradip Kattel,1 J. H. Pixley,1,2 and Natan Andrei1

1Department of Physics and Astronomy, Center for Material Theory, Rutgers University, Piscataway, New Jersey, 08854, United States of America
2Center for Computational Quantum Physics, Flatiron Institute, 162 5th Avenue, New York, NY 10010

In the supplementary material, we first map the circuit dynamics to the Lindbladian evolution. Then at the XX point, we show that the corresponding Lindbladian can be mapped to an integrable Hubbard Hamiltonian with imaginary onsite interaction in and boundary hopping defect in doubled Liouville-Fock space. We then solve the dynamics of the noiseless model with the free-fermion technique. After that, we solve the non-Hermition Hubbard model in the two-particle sector to discuss the dynamics in the presence of noise. We also discuss the derivation of the Bethe-Ansatz equations for the complex onsite Hubbard model in an arbitrary particle sector. In the final section, we show the details of numerical results.

I Mapping from Quantum circuits to Liouvillian dynamics

Consider the trigonometric six vertex R-matrix [36, 63]

R(u)=(10000sinh(u)sinh(u+η)sinh(η)sinh(u+η)00sinh(η)sinh(u+η)sinh(u)sinh(u+η)00001)𝑅𝑢10000𝑢𝑢𝜂𝜂𝑢𝜂00𝜂𝑢𝜂𝑢𝑢𝜂00001R(u)=\left(\begin{array}[]{cccc}1&0&0&0\\ 0&\frac{\sinh(u)}{\sinh(u+\eta)}&\frac{\sinh(\eta)}{\sinh(u+\eta)}&0\\ 0&\frac{\sinh(\eta)}{\sinh(u+\eta)}&\frac{\sinh(u)}{\sinh(u+\eta)}&0\\ 0&0&0&1\\ \end{array}\right)italic_R ( italic_u ) = ( start_ARRAY start_ROW start_CELL 1 end_CELL start_CELL 0 end_CELL start_CELL 0 end_CELL start_CELL 0 end_CELL end_ROW start_ROW start_CELL 0 end_CELL start_CELL divide start_ARG roman_sinh ( italic_u ) end_ARG start_ARG roman_sinh ( italic_u + italic_η ) end_ARG end_CELL start_CELL divide start_ARG roman_sinh ( italic_η ) end_ARG start_ARG roman_sinh ( italic_u + italic_η ) end_ARG end_CELL start_CELL 0 end_CELL end_ROW start_ROW start_CELL 0 end_CELL start_CELL divide start_ARG roman_sinh ( italic_η ) end_ARG start_ARG roman_sinh ( italic_u + italic_η ) end_ARG end_CELL start_CELL divide start_ARG roman_sinh ( italic_u ) end_ARG start_ARG roman_sinh ( italic_u + italic_η ) end_ARG end_CELL start_CELL 0 end_CELL end_ROW start_ROW start_CELL 0 end_CELL start_CELL 0 end_CELL start_CELL 0 end_CELL start_CELL 1 end_CELL end_ROW end_ARRAY ) (S.1)

which is a solution of the Yang-Baxter equation [86]

R12(uv)R13(u)R23(v)=R23(v)R13(u)R12(uv).subscript𝑅12𝑢𝑣subscript𝑅13𝑢subscript𝑅23𝑣subscript𝑅23𝑣subscript𝑅13𝑢subscript𝑅12𝑢𝑣R_{12}(u-v)R_{13}(u)R_{23}(v)=R_{23}(v)R_{13}(u)R_{12}(u-v).italic_R start_POSTSUBSCRIPT 12 end_POSTSUBSCRIPT ( italic_u - italic_v ) italic_R start_POSTSUBSCRIPT 13 end_POSTSUBSCRIPT ( italic_u ) italic_R start_POSTSUBSCRIPT 23 end_POSTSUBSCRIPT ( italic_v ) = italic_R start_POSTSUBSCRIPT 23 end_POSTSUBSCRIPT ( italic_v ) italic_R start_POSTSUBSCRIPT 13 end_POSTSUBSCRIPT ( italic_u ) italic_R start_POSTSUBSCRIPT 12 end_POSTSUBSCRIPT ( italic_u - italic_v ) . (S.2)

Notice that the Yang-Baxter equation remains satisfied if we shift uiuiθisubscript𝑢𝑖subscript𝑢𝑖subscript𝜃𝑖u_{i}\to u_{i}-\theta_{i}italic_u start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT → italic_u start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT - italic_θ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT where θisubscript𝜃𝑖\theta_{i}italic_θ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT are arbitrary inhomogeneous parameters.

Let us consider the following two single-row transfer matrices

TA(u)subscript𝑇𝐴𝑢\displaystyle T_{A}(u)italic_T start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT ( italic_u ) =RA,L(uθL)RA,L1(uθL1)RA,2(uθ2)RA,1(uθ1)absentsubscript𝑅𝐴𝐿𝑢subscript𝜃𝐿subscript𝑅𝐴𝐿1𝑢subscript𝜃𝐿1subscript𝑅𝐴2𝑢subscript𝜃2subscript𝑅𝐴1𝑢subscript𝜃1\displaystyle=R_{A,L}(u-\theta_{L})R_{A,L-1}(u-\theta_{L-1})\cdots R_{A,2}(u-% \theta_{2})R_{A,1}(u-\theta_{1})= italic_R start_POSTSUBSCRIPT italic_A , italic_L end_POSTSUBSCRIPT ( italic_u - italic_θ start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT ) italic_R start_POSTSUBSCRIPT italic_A , italic_L - 1 end_POSTSUBSCRIPT ( italic_u - italic_θ start_POSTSUBSCRIPT italic_L - 1 end_POSTSUBSCRIPT ) ⋯ italic_R start_POSTSUBSCRIPT italic_A , 2 end_POSTSUBSCRIPT ( italic_u - italic_θ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) italic_R start_POSTSUBSCRIPT italic_A , 1 end_POSTSUBSCRIPT ( italic_u - italic_θ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT )
T^A(u)subscript^𝑇𝐴𝑢\displaystyle\hat{T}_{A}(u)over^ start_ARG italic_T end_ARG start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT ( italic_u ) =RA,1(u+θ1)RA,2(u+θ2)RA,L1(u+θL1)RA,L(u+θL),absentsubscript𝑅𝐴1𝑢subscript𝜃1subscript𝑅𝐴2𝑢subscript𝜃2subscript𝑅𝐴𝐿1𝑢subscript𝜃𝐿1subscript𝑅𝐴𝐿𝑢subscript𝜃𝐿\displaystyle=R_{A,1}(u+\theta_{1})R_{A,2}(u+\theta_{2})\cdots R_{A,L-1}(u+% \theta_{L-1})R_{A,L}(u+\theta_{L}),= italic_R start_POSTSUBSCRIPT italic_A , 1 end_POSTSUBSCRIPT ( italic_u + italic_θ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) italic_R start_POSTSUBSCRIPT italic_A , 2 end_POSTSUBSCRIPT ( italic_u + italic_θ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) ⋯ italic_R start_POSTSUBSCRIPT italic_A , italic_L - 1 end_POSTSUBSCRIPT ( italic_u + italic_θ start_POSTSUBSCRIPT italic_L - 1 end_POSTSUBSCRIPT ) italic_R start_POSTSUBSCRIPT italic_A , italic_L end_POSTSUBSCRIPT ( italic_u + italic_θ start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT ) , (S.3)

where 1,2,,L12𝐿1,2,\ldots,L1 , 2 , … , italic_L are the labels for the physical space and A𝐴Aitalic_A is an auxiliary space.

Furthermore, denoting the physical space of impurity as 00, we define

KA(u)=RA,0(uθ0d)RA,0(u+θ0+d),subscript𝐾𝐴𝑢subscript𝑅𝐴0𝑢subscript𝜃0𝑑subscript𝑅𝐴0𝑢subscript𝜃0𝑑\displaystyle K_{A}(u)=R_{A,0}(u-\theta_{0}-d)R_{A,0}(u+\theta_{0}+d),italic_K start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT ( italic_u ) = italic_R start_POSTSUBSCRIPT italic_A , 0 end_POSTSUBSCRIPT ( italic_u - italic_θ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT - italic_d ) italic_R start_POSTSUBSCRIPT italic_A , 0 end_POSTSUBSCRIPT ( italic_u + italic_θ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT + italic_d ) , (S.4)

such that the K𝐾Kitalic_K matrices satisfy the reflection equations

Rij(λμ)KiA(λ)Rji(λ+μ)KjA(μ)=KjA(μ)Rij(λ+μ)KiA(λ)Rji(λμ).subscript𝑅𝑖𝑗𝜆𝜇subscript𝐾𝑖𝐴𝜆subscript𝑅𝑗𝑖𝜆𝜇subscript𝐾𝑗𝐴𝜇subscript𝐾𝑗𝐴𝜇subscript𝑅𝑖𝑗𝜆𝜇subscript𝐾𝑖𝐴𝜆subscript𝑅𝑗𝑖𝜆𝜇R_{ij}(\lambda-\mu)K_{iA}(\lambda)R_{ji}(\lambda+\mu)K_{jA}(\mu)=K_{jA}(\mu)R_% {ij}(\lambda+\mu)K_{iA}(\lambda)R_{ji}(\lambda-\mu).italic_R start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT ( italic_λ - italic_μ ) italic_K start_POSTSUBSCRIPT italic_i italic_A end_POSTSUBSCRIPT ( italic_λ ) italic_R start_POSTSUBSCRIPT italic_j italic_i end_POSTSUBSCRIPT ( italic_λ + italic_μ ) italic_K start_POSTSUBSCRIPT italic_j italic_A end_POSTSUBSCRIPT ( italic_μ ) = italic_K start_POSTSUBSCRIPT italic_j italic_A end_POSTSUBSCRIPT ( italic_μ ) italic_R start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT ( italic_λ + italic_μ ) italic_K start_POSTSUBSCRIPT italic_i italic_A end_POSTSUBSCRIPT ( italic_λ ) italic_R start_POSTSUBSCRIPT italic_j italic_i end_POSTSUBSCRIPT ( italic_λ - italic_μ ) . (S.5)

Now, we define the monodromy matrix

Ξ(u)=TA(u)KA(u)T^A(u).Ξ𝑢subscript𝑇𝐴𝑢subscript𝐾𝐴𝑢subscript^𝑇𝐴𝑢\Xi(u)=T_{A}(u)K_{A}(u)\hat{T}_{A}(u).roman_Ξ ( italic_u ) = italic_T start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT ( italic_u ) italic_K start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT ( italic_u ) over^ start_ARG italic_T end_ARG start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT ( italic_u ) . (S.6)

The trace of the monodromy matrix over the auxiliary space is defined as the double-row transfer matrix [66]

t(u)=trAΞ(u).𝑡𝑢subscripttr𝐴Ξ𝑢t(u)=\operatorname{tr}_{A}\Xi(u).italic_t ( italic_u ) = roman_tr start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT roman_Ξ ( italic_u ) . (S.7)

We fix the inhomogeneity parameters [28]

θ0=θ2=θ4==θL=λ2θ1=θ3=θ5==θL1=λ2.formulae-sequencesubscript𝜃0subscript𝜃2subscript𝜃4subscript𝜃𝐿𝜆2subscript𝜃1subscript𝜃3subscript𝜃5subscript𝜃𝐿1𝜆2\theta_{0}=\theta_{2}=\theta_{4}=\ldots=\theta_{L}=\frac{\lambda}{2}\quad\quad% \theta_{1}=\theta_{3}=\theta_{5}=\ldots=\theta_{L-1}=-\frac{\lambda}{2}.italic_θ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT = italic_θ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT = italic_θ start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT = … = italic_θ start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT = divide start_ARG italic_λ end_ARG start_ARG 2 end_ARG italic_θ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT = italic_θ start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT = italic_θ start_POSTSUBSCRIPT 5 end_POSTSUBSCRIPT = … = italic_θ start_POSTSUBSCRIPT italic_L - 1 end_POSTSUBSCRIPT = - divide start_ARG italic_λ end_ARG start_ARG 2 end_ARG . (S.8)

Such that when the transfer matrix Eq.(S.7) is evaluated at u=λ𝑢𝜆u=\lambdaitalic_u = italic_λ, we obtain

𝕌=t(k)=𝒰0,1U2,3U4,5UL1,LU1,2U3,4U5,6UL2,L,𝕌𝑡𝑘subscript𝒰01subscript𝑈23subscript𝑈45subscript𝑈𝐿1𝐿subscript𝑈12subscript𝑈34subscript𝑈56subscript𝑈𝐿2𝐿\mathbb{U}=t(k)=\mathcal{U}_{0,1}U_{2,3}U_{4,5}\ldots U_{L-1,L}U_{1,2}U_{3,4}U% _{5,6}\ldots U_{L-2,L},blackboard_U = italic_t ( italic_k ) = caligraphic_U start_POSTSUBSCRIPT 0 , 1 end_POSTSUBSCRIPT italic_U start_POSTSUBSCRIPT 2 , 3 end_POSTSUBSCRIPT italic_U start_POSTSUBSCRIPT 4 , 5 end_POSTSUBSCRIPT … italic_U start_POSTSUBSCRIPT italic_L - 1 , italic_L end_POSTSUBSCRIPT italic_U start_POSTSUBSCRIPT 1 , 2 end_POSTSUBSCRIPT italic_U start_POSTSUBSCRIPT 3 , 4 end_POSTSUBSCRIPT italic_U start_POSTSUBSCRIPT 5 , 6 end_POSTSUBSCRIPT … italic_U start_POSTSUBSCRIPT italic_L - 2 , italic_L end_POSTSUBSCRIPT , (S.9)

where

Uj,j+1subscript𝑈𝑗𝑗1\displaystyle U_{j,j+1}italic_U start_POSTSUBSCRIPT italic_j , italic_j + 1 end_POSTSUBSCRIPT =Rˇj,j+1(λ)=Pj,j+1Rj,j+1(λ),absentsubscriptˇ𝑅𝑗𝑗1𝜆subscript𝑃𝑗𝑗1subscript𝑅𝑗𝑗1𝜆\displaystyle=\check{R}_{j,j+1}(\lambda)=P_{j,j+1}R_{j,j+1}(\lambda),= overroman_ˇ start_ARG italic_R end_ARG start_POSTSUBSCRIPT italic_j , italic_j + 1 end_POSTSUBSCRIPT ( italic_λ ) = italic_P start_POSTSUBSCRIPT italic_j , italic_j + 1 end_POSTSUBSCRIPT italic_R start_POSTSUBSCRIPT italic_j , italic_j + 1 end_POSTSUBSCRIPT ( italic_λ ) ,
𝒰0,1subscript𝒰01\displaystyle\mathcal{U}_{0,1}caligraphic_U start_POSTSUBSCRIPT 0 , 1 end_POSTSUBSCRIPT =R0,1(d)R0,1(λ+d)=Rˇ0,1(d)Rˇ0,1(λ+d).absentsubscript𝑅01𝑑subscript𝑅01𝜆𝑑subscriptˇ𝑅01𝑑subscriptˇ𝑅01𝜆𝑑\displaystyle=R_{0,1}(-d)R_{0,1}(\lambda+d)=\check{R}_{0,1}(-d)\check{R}_{0,1}% (\lambda+d).= italic_R start_POSTSUBSCRIPT 0 , 1 end_POSTSUBSCRIPT ( - italic_d ) italic_R start_POSTSUBSCRIPT 0 , 1 end_POSTSUBSCRIPT ( italic_λ + italic_d ) = overroman_ˇ start_ARG italic_R end_ARG start_POSTSUBSCRIPT 0 , 1 end_POSTSUBSCRIPT ( - italic_d ) overroman_ˇ start_ARG italic_R end_ARG start_POSTSUBSCRIPT 0 , 1 end_POSTSUBSCRIPT ( italic_λ + italic_d ) . (S.10)

Here Pij=12(𝕀i,j+σixσjx+σiyσjy+σizσjz)subscript𝑃𝑖𝑗12subscript𝕀𝑖𝑗subscriptsuperscript𝜎𝑥𝑖subscriptsuperscript𝜎𝑥𝑗subscriptsuperscript𝜎𝑦𝑖subscriptsuperscript𝜎𝑦𝑗subscriptsuperscript𝜎𝑧𝑖subscriptsuperscript𝜎𝑧𝑗P_{ij}=\frac{1}{2}(\mathbb{I}_{i,j}+\sigma^{x}_{i}\sigma^{x}_{j}+\sigma^{y}_{i% }\sigma^{y}_{j}+\sigma^{z}_{i}\sigma^{z}_{j})italic_P start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT = divide start_ARG 1 end_ARG start_ARG 2 end_ARG ( blackboard_I start_POSTSUBSCRIPT italic_i , italic_j end_POSTSUBSCRIPT + italic_σ start_POSTSUPERSCRIPT italic_x end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT italic_σ start_POSTSUPERSCRIPT italic_x end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT + italic_σ start_POSTSUPERSCRIPT italic_y end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT italic_σ start_POSTSUPERSCRIPT italic_y end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT + italic_σ start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT italic_σ start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ) is the permutation matrix and explicit form of the Rˇˇ𝑅\check{R}overroman_ˇ start_ARG italic_R end_ARG matrix reads

Rˇi,jη(λ)=12(𝕀i,j+σizσjz)+sinh(λ)2sinh(η+λ)(σixσjx+σiyσjy)+sinh(η)2sinh(λ+η)(𝕀i,jσizσjz).subscriptsuperscriptˇ𝑅𝜂𝑖𝑗𝜆12subscript𝕀𝑖𝑗subscriptsuperscript𝜎𝑧𝑖subscriptsuperscript𝜎𝑧𝑗𝜆2𝜂𝜆subscriptsuperscript𝜎𝑥𝑖subscriptsuperscript𝜎𝑥𝑗subscriptsuperscript𝜎𝑦𝑖subscriptsuperscript𝜎𝑦𝑗𝜂2𝜆𝜂subscript𝕀𝑖𝑗subscriptsuperscript𝜎𝑧𝑖subscriptsuperscript𝜎𝑧𝑗\displaystyle\check{R}^{\eta}_{i,j}(\lambda)=\frac{1}{2}\left(\mathbb{I}_{i,j}% +\sigma^{z}_{i}\sigma^{z}_{j}\right)+\frac{\sinh(\lambda)}{2\sinh(\eta+\lambda% )}\left(\sigma^{x}_{i}\sigma^{x}_{j}+\sigma^{y}_{i}\sigma^{y}_{j}\right)+\frac% {\sinh(\eta)}{2\sinh(\lambda+\eta)}\left(\mathbb{I}_{i,j}-\sigma^{z}_{i}\sigma% ^{z}_{j}\right).overroman_ˇ start_ARG italic_R end_ARG start_POSTSUPERSCRIPT italic_η end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i , italic_j end_POSTSUBSCRIPT ( italic_λ ) = divide start_ARG 1 end_ARG start_ARG 2 end_ARG ( blackboard_I start_POSTSUBSCRIPT italic_i , italic_j end_POSTSUBSCRIPT + italic_σ start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT italic_σ start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ) + divide start_ARG roman_sinh ( italic_λ ) end_ARG start_ARG 2 roman_sinh ( italic_η + italic_λ ) end_ARG ( italic_σ start_POSTSUPERSCRIPT italic_x end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT italic_σ start_POSTSUPERSCRIPT italic_x end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT + italic_σ start_POSTSUPERSCRIPT italic_y end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT italic_σ start_POSTSUPERSCRIPT italic_y end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ) + divide start_ARG roman_sinh ( italic_η ) end_ARG start_ARG 2 roman_sinh ( italic_λ + italic_η ) end_ARG ( blackboard_I start_POSTSUBSCRIPT italic_i , italic_j end_POSTSUBSCRIPT - italic_σ start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT italic_σ start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ) . (S.11)

These local unitary can be written as

Uj,j+1subscript𝑈𝑗𝑗1\displaystyle U_{j,j+1}italic_U start_POSTSUBSCRIPT italic_j , italic_j + 1 end_POSTSUBSCRIPT =eiJ2δt(σjxσj+1x+σjyσj+1y+Δ(σjzσj+1z1)),absentsuperscript𝑒𝑖𝐽2𝛿𝑡subscriptsuperscript𝜎𝑥𝑗subscriptsuperscript𝜎𝑥𝑗1subscriptsuperscript𝜎𝑦𝑗subscriptsuperscript𝜎𝑦𝑗1Δsubscriptsuperscript𝜎𝑧𝑗subscriptsuperscript𝜎𝑧𝑗11\displaystyle=e^{-i\frac{J}{2}\delta t(\sigma^{x}_{j}\sigma^{x}_{j+1}+\sigma^{% y}_{j}\sigma^{y}_{j+1}+\Delta(\sigma^{z}_{j}\sigma^{z}_{j+1}-1))},= italic_e start_POSTSUPERSCRIPT - italic_i divide start_ARG italic_J end_ARG start_ARG 2 end_ARG italic_δ italic_t ( italic_σ start_POSTSUPERSCRIPT italic_x end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT italic_σ start_POSTSUPERSCRIPT italic_x end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_j + 1 end_POSTSUBSCRIPT + italic_σ start_POSTSUPERSCRIPT italic_y end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT italic_σ start_POSTSUPERSCRIPT italic_y end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_j + 1 end_POSTSUBSCRIPT + roman_Δ ( italic_σ start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT italic_σ start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_j + 1 end_POSTSUBSCRIPT - 1 ) ) end_POSTSUPERSCRIPT , (S.12)
𝒰0,1subscript𝒰01\displaystyle\mathcal{U}_{0,1}caligraphic_U start_POSTSUBSCRIPT 0 , 1 end_POSTSUBSCRIPT =eiJ2δt(σjxσj+1x+σjyσj+1y+Δ(σjzσj+1z1))absentsuperscript𝑒𝑖superscript𝐽2𝛿𝑡subscriptsuperscript𝜎𝑥𝑗subscriptsuperscript𝜎𝑥𝑗1subscriptsuperscript𝜎𝑦𝑗subscriptsuperscript𝜎𝑦𝑗1superscriptΔsubscriptsuperscript𝜎𝑧𝑗subscriptsuperscript𝜎𝑧𝑗11\displaystyle=e^{-i\frac{J^{\prime}}{2}\delta t(\sigma^{x}_{j}\sigma^{x}_{j+1}% +\sigma^{y}_{j}\sigma^{y}_{j+1}+\Delta^{\prime}(\sigma^{z}_{j}\sigma^{z}_{j+1}% -1))}= italic_e start_POSTSUPERSCRIPT - italic_i divide start_ARG italic_J start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_ARG start_ARG 2 end_ARG italic_δ italic_t ( italic_σ start_POSTSUPERSCRIPT italic_x end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT italic_σ start_POSTSUPERSCRIPT italic_x end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_j + 1 end_POSTSUBSCRIPT + italic_σ start_POSTSUPERSCRIPT italic_y end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT italic_σ start_POSTSUPERSCRIPT italic_y end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_j + 1 end_POSTSUBSCRIPT + roman_Δ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ( italic_σ start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT italic_σ start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_j + 1 end_POSTSUBSCRIPT - 1 ) ) end_POSTSUPERSCRIPT (S.13)

upon identifying

eiJδt(Δ1)=eη±eλeλ+η±1andeiJδt(Δ1)=(ed+η±1)(ed+λ±eη)(ed±eη)(ed+λ+η±1).formulae-sequencesuperscript𝑒𝑖𝐽𝛿𝑡minus-or-plusΔ1plus-or-minussuperscript𝑒𝜂superscript𝑒𝜆plus-or-minussuperscript𝑒𝜆𝜂1andsuperscript𝑒𝑖superscript𝐽𝛿𝑡minus-or-plussuperscriptΔ1plus-or-minussuperscript𝑒𝑑𝜂1plus-or-minussuperscript𝑒𝑑𝜆superscript𝑒𝜂plus-or-minussuperscript𝑒𝑑superscript𝑒𝜂plus-or-minussuperscript𝑒𝑑𝜆𝜂1e^{iJ\delta t(\Delta\mp 1)}=\frac{e^{\eta}\pm e^{\lambda}}{e^{\lambda+\eta}\pm 1% }\quad\quad\text{and}\quad\quad e^{iJ^{\prime}\delta t(\Delta^{\prime}\mp 1)}=% \frac{\left(e^{d+\eta}\pm 1\right)\left(e^{d+\lambda}\pm e^{\eta}\right)}{% \left(e^{d}\pm e^{\eta}\right)\left(e^{d+\lambda+\eta}\pm 1\right)}.italic_e start_POSTSUPERSCRIPT italic_i italic_J italic_δ italic_t ( roman_Δ ∓ 1 ) end_POSTSUPERSCRIPT = divide start_ARG italic_e start_POSTSUPERSCRIPT italic_η end_POSTSUPERSCRIPT ± italic_e start_POSTSUPERSCRIPT italic_λ end_POSTSUPERSCRIPT end_ARG start_ARG italic_e start_POSTSUPERSCRIPT italic_λ + italic_η end_POSTSUPERSCRIPT ± 1 end_ARG and italic_e start_POSTSUPERSCRIPT italic_i italic_J start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT italic_δ italic_t ( roman_Δ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ∓ 1 ) end_POSTSUPERSCRIPT = divide start_ARG ( italic_e start_POSTSUPERSCRIPT italic_d + italic_η end_POSTSUPERSCRIPT ± 1 ) ( italic_e start_POSTSUPERSCRIPT italic_d + italic_λ end_POSTSUPERSCRIPT ± italic_e start_POSTSUPERSCRIPT italic_η end_POSTSUPERSCRIPT ) end_ARG start_ARG ( italic_e start_POSTSUPERSCRIPT italic_d end_POSTSUPERSCRIPT ± italic_e start_POSTSUPERSCRIPT italic_η end_POSTSUPERSCRIPT ) ( italic_e start_POSTSUPERSCRIPT italic_d + italic_λ + italic_η end_POSTSUPERSCRIPT ± 1 ) end_ARG . (S.14)
Refer to caption
𝕌η(λ,d)superscript𝕌𝜂𝜆𝑑\mathbb{U}^{\eta}(\lambda,d)blackboard_U start_POSTSUPERSCRIPT italic_η end_POSTSUPERSCRIPT ( italic_λ , italic_d )
Figure S.1: Illustrations of an integrable quantum circuit with spin-1/2 qubits in an initial classical Néel state (empty circles are qubits in the up states and black filled circles are in the down qubit state). Each rectangle represents a local unitary matrix; blue ones are the braid form of the trigonometric six-vertex R-matrix Rˇ(λ)ˇ𝑅𝜆\check{R}(\lambda)overroman_ˇ start_ARG italic_R end_ARG ( italic_λ ) and red ones are the boundary reflection matrix K(λ,d)=Rˇ(d)Rˇ(λ+d)𝐾𝜆𝑑ˇ𝑅𝑑ˇ𝑅𝜆𝑑K(\lambda,d)=\check{R}(-d)\check{R}(\lambda+d)italic_K ( italic_λ , italic_d ) = overroman_ˇ start_ARG italic_R end_ARG ( - italic_d ) overroman_ˇ start_ARG italic_R end_ARG ( italic_λ + italic_d ). The dashed rectangle shows one layer of the time evolution operator 𝕌η(λ,d)superscript𝕌𝜂𝜆𝑑\mathbb{U}^{\eta}(\lambda,d)blackboard_U start_POSTSUPERSCRIPT italic_η end_POSTSUPERSCRIPT ( italic_λ , italic_d ) given by Eq.(1).

The circuit in Fig. S.1 corresponds to the unitary matrix of the following form

𝕌(δt)=𝒰0,1j2Uj,j+1j21Uj,j+1=1iHδt+𝒪(δt2),𝕌𝛿𝑡subscript𝒰01subscriptproduct𝑗2subscript𝑈𝑗𝑗1subscriptproduct𝑗21subscript𝑈𝑗𝑗11𝑖𝐻𝛿𝑡𝒪𝛿superscript𝑡2\begin{split}&\mathbb{U}(\delta t)=\mathcal{U}_{0,1}\prod_{j\in 2\mathbb{Z}}U_% {j,j+1}\prod_{j\in 2\mathbb{Z}-1}U_{j,j+1}=1-iH\delta t+\mathcal{O}(\delta t^{% 2}),\end{split}start_ROW start_CELL end_CELL start_CELL blackboard_U ( italic_δ italic_t ) = caligraphic_U start_POSTSUBSCRIPT 0 , 1 end_POSTSUBSCRIPT ∏ start_POSTSUBSCRIPT italic_j ∈ 2 blackboard_Z end_POSTSUBSCRIPT italic_U start_POSTSUBSCRIPT italic_j , italic_j + 1 end_POSTSUBSCRIPT ∏ start_POSTSUBSCRIPT italic_j ∈ 2 blackboard_Z - 1 end_POSTSUBSCRIPT italic_U start_POSTSUBSCRIPT italic_j , italic_j + 1 end_POSTSUBSCRIPT = 1 - italic_i italic_H italic_δ italic_t + caligraphic_O ( italic_δ italic_t start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) , end_CELL end_ROW (S.15)

where in the Trotterization limit, we obtain an integrable Hamiltonian with boundary impurity of the form

H=i=1L1J2(σixσi+1x+σiyσi+1y+Δ(σizσi+1z1))+J2(σ0xσ1x+σ0yσ1y+Δ(σ0zσ1z1)),𝐻superscriptsubscript𝑖1𝐿1𝐽2superscriptsubscript𝜎𝑖𝑥superscriptsubscript𝜎𝑖1𝑥superscriptsubscript𝜎𝑖𝑦superscriptsubscript𝜎𝑖1𝑦Δsuperscriptsubscript𝜎𝑖𝑧superscriptsubscript𝜎𝑖1𝑧1superscript𝐽2superscriptsubscript𝜎0𝑥superscriptsubscript𝜎1𝑥superscriptsubscript𝜎0𝑦superscriptsubscript𝜎1𝑦superscriptΔsuperscriptsubscript𝜎0𝑧superscriptsubscript𝜎1𝑧1\displaystyle H=\sum_{i=1}^{L-1}\frac{J}{2}(\sigma_{i}^{x}\sigma_{i+1}^{x}+% \sigma_{i}^{y}\sigma_{i+1}^{y}+\Delta(\sigma_{i}^{z}\sigma_{i+1}^{z}-1))+\frac% {J^{\prime}}{2}\left(\sigma_{0}^{x}\sigma_{1}^{x}+\sigma_{0}^{y}\sigma_{1}^{y}% +\Delta^{\prime}(\sigma_{0}^{z}\sigma_{1}^{z}-1)\right),italic_H = ∑ start_POSTSUBSCRIPT italic_i = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_L - 1 end_POSTSUPERSCRIPT divide start_ARG italic_J end_ARG start_ARG 2 end_ARG ( italic_σ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_x end_POSTSUPERSCRIPT italic_σ start_POSTSUBSCRIPT italic_i + 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_x end_POSTSUPERSCRIPT + italic_σ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_y end_POSTSUPERSCRIPT italic_σ start_POSTSUBSCRIPT italic_i + 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_y end_POSTSUPERSCRIPT + roman_Δ ( italic_σ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT italic_σ start_POSTSUBSCRIPT italic_i + 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT - 1 ) ) + divide start_ARG italic_J start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_ARG start_ARG 2 end_ARG ( italic_σ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_x end_POSTSUPERSCRIPT italic_σ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_x end_POSTSUPERSCRIPT + italic_σ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_y end_POSTSUPERSCRIPT italic_σ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_y end_POSTSUPERSCRIPT + roman_Δ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ( italic_σ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT italic_σ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT - 1 ) ) , (S.16)

where the parameters in two representations are related by Δ=cosh(η),Δ=cosh(η)cosh(d)formulae-sequenceΔ𝜂superscriptΔ𝜂𝑑\Delta=\cosh(\eta),\Delta^{\prime}=\frac{\cosh(\eta)}{\cosh(d)}roman_Δ = roman_cosh ( italic_η ) , roman_Δ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT = divide start_ARG roman_cosh ( italic_η ) end_ARG start_ARG roman_cosh ( italic_d ) end_ARG and J=Jsinh2(η)cosh(d)sinh2(η)sinh2(d)superscript𝐽𝐽superscript2𝜂𝑑superscript2𝜂superscript2𝑑J^{\prime}=J\frac{\sinh^{2}(\eta)\cosh(d)}{\sinh^{2}(\eta)-\sinh^{2}(d)}italic_J start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT = italic_J divide start_ARG roman_sinh start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_η ) roman_cosh ( italic_d ) end_ARG start_ARG roman_sinh start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_η ) - roman_sinh start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_d ) end_ARG.

Notice that both Jsuperscript𝐽J^{\prime}italic_J start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT and ΔsuperscriptΔ\Delta^{\prime}roman_Δ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT are expressed through a single free parameter d𝑑ditalic_d hence the model is not integrable for arbitrary ΔsuperscriptΔ\Delta^{\prime}roman_Δ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT and Jsuperscript𝐽J^{\prime}italic_J start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT. However, at the isotropic η=0𝜂0\eta=0italic_η = 0 [76, 72] and XX η=iπ2𝜂𝑖𝜋2\eta=i\frac{\pi}{2}italic_η = italic_i divide start_ARG italic_π end_ARG start_ARG 2 end_ARG [71] limit, the boundary and bulk anisotropy parameter becomes equal i.e. Δ=ΔsuperscriptΔΔ\Delta^{\prime}=\Deltaroman_Δ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT = roman_Δ and Jsuperscript𝐽J^{\prime}italic_J start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT becomes an arbitrary free parameter.

Taking into account the presence of noise while applying the gates, the density matrix of the qubits can be described by a discrete-time evolution as

ρ(t+δt)=jMjρ(t)Mj,𝜌𝑡𝛿𝑡subscript𝑗subscriptsuperscript𝑀𝑗𝜌𝑡subscript𝑀𝑗\rho(t+\delta t)=\sum_{j}M^{\dagger}_{j}\rho(t)M_{j},italic_ρ ( italic_t + italic_δ italic_t ) = ∑ start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT italic_M start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT italic_ρ ( italic_t ) italic_M start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT , (S.17)

with M0=1Δt(K+iH)subscript𝑀01Δ𝑡𝐾𝑖𝐻M_{0}=1-\Delta t(K+iH)italic_M start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT = 1 - roman_Δ italic_t ( italic_K + italic_i italic_H ), for j0𝑗0j\neq 0italic_j ≠ 0, Mj=δtLjsubscript𝑀𝑗𝛿𝑡subscript𝐿𝑗M_{j}=\sqrt{\delta t}L_{j}italic_M start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT = square-root start_ARG italic_δ italic_t end_ARG italic_L start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT and K=12jLjLjδt𝐾12subscript𝑗subscriptsuperscript𝐿𝑗subscript𝐿𝑗𝛿𝑡K=\frac{1}{2}\sum_{j}L^{\dagger}_{j}L_{j}\delta titalic_K = divide start_ARG 1 end_ARG start_ARG 2 end_ARG ∑ start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT italic_L start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT italic_L start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT italic_δ italic_t and Ljsubscript𝐿𝑗L_{j}italic_L start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT are the Lindbladian jump operators. Here, we will concentrate solely on the case where Lj=σjzsubscript𝐿𝑗subscriptsuperscript𝜎𝑧𝑗L_{j}=\sigma^{z}_{j}italic_L start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT = italic_σ start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT. Taking δt0𝛿𝑡0\delta t\to 0italic_δ italic_t → 0, we obtain the Lindbladian-master equation [19]

ddtρ(t)=(ρ),𝑑𝑑𝑡𝜌𝑡𝜌\frac{d}{dt}\rho(t)=\mathcal{L}(\rho),divide start_ARG italic_d end_ARG start_ARG italic_d italic_t end_ARG italic_ρ ( italic_t ) = caligraphic_L ( italic_ρ ) , (S.18)

where the Liouvillian operator can be written as

(ρ)=i[H,ρ]+γi[LiρLi12{LiLi,ρ}]𝜌𝑖𝐻𝜌𝛾subscript𝑖delimited-[]subscriptsuperscript𝐿𝑖𝜌subscript𝐿𝑖12subscriptsuperscript𝐿𝑖subscript𝐿𝑖𝜌\mathcal{L}(\rho)=-i\left[H,\rho\right]+\gamma\sum_{i}\left[L^{\dagger}_{i}% \rho L_{i}-\frac{1}{2}\left\{L^{\dagger}_{i}L_{i},\rho\right\}\right]caligraphic_L ( italic_ρ ) = - italic_i [ italic_H , italic_ρ ] + italic_γ ∑ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT [ italic_L start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT italic_ρ italic_L start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT - divide start_ARG 1 end_ARG start_ARG 2 end_ARG { italic_L start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT italic_L start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT , italic_ρ } ] (S.19)

with {A,B}=AB+BA𝐴𝐵𝐴𝐵𝐵𝐴\{A,B\}=AB+BA{ italic_A , italic_B } = italic_A italic_B + italic_B italic_A and [A,B]=ABBA𝐴𝐵𝐴𝐵𝐵𝐴[A,B]=AB-BA[ italic_A , italic_B ] = italic_A italic_B - italic_B italic_A being the anticommutator and the commutator, respectively.

II XX chain point of the Hamiltonian

At the XX chain point i.e when η=iπ/2𝜂𝑖𝜋2\eta=i\pi/2italic_η = italic_i italic_π / 2, we end up with a Hamiltonian of a XX chain with an XX impurity [71]

H=i=1L112(σixσi+1x+σiyσi+1y)+J2(σ0xσ1x+σ0yσ1y).𝐻superscriptsubscript𝑖1𝐿112subscriptsuperscript𝜎𝑥𝑖subscriptsuperscript𝜎𝑥𝑖1subscriptsuperscript𝜎𝑦𝑖subscriptsuperscript𝜎𝑦𝑖1𝐽2subscriptsuperscript𝜎𝑥0subscriptsuperscript𝜎𝑥1subscriptsuperscript𝜎𝑦0subscriptsuperscript𝜎𝑦1H=\sum_{i=1}^{L-1}\frac{1}{2}\left(\sigma^{x}_{i}\sigma^{x}_{i+1}+\sigma^{y}_{% i}\sigma^{y}_{i+1}\right)+\frac{J}{2}\left(\sigma^{x}_{0}\sigma^{x}_{1}+\sigma% ^{y}_{0}\sigma^{y}_{1}\right).italic_H = ∑ start_POSTSUBSCRIPT italic_i = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_L - 1 end_POSTSUPERSCRIPT divide start_ARG 1 end_ARG start_ARG 2 end_ARG ( italic_σ start_POSTSUPERSCRIPT italic_x end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT italic_σ start_POSTSUPERSCRIPT italic_x end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i + 1 end_POSTSUBSCRIPT + italic_σ start_POSTSUPERSCRIPT italic_y end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT italic_σ start_POSTSUPERSCRIPT italic_y end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i + 1 end_POSTSUBSCRIPT ) + divide start_ARG italic_J end_ARG start_ARG 2 end_ARG ( italic_σ start_POSTSUPERSCRIPT italic_x end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT italic_σ start_POSTSUPERSCRIPT italic_x end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT + italic_σ start_POSTSUPERSCRIPT italic_y end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT italic_σ start_POSTSUPERSCRIPT italic_y end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) . (S.20)

After performing the Jordan-Wigner transformation, one can write the model in terms of Fermionic operators i.e. the Hamiltonian becomes

H=i=0L1(cici+1+ci+1ci)+J(c0c1+c1c0),𝐻superscriptsubscript𝑖0𝐿1subscriptsuperscript𝑐𝑖subscript𝑐𝑖1subscriptsuperscript𝑐𝑖1subscript𝑐𝑖𝐽subscriptsuperscript𝑐0subscript𝑐1subscriptsuperscript𝑐1subscript𝑐0H=\sum_{i=0}^{L-1}\left(c^{\dagger}_{i}c_{i+1}+c^{\dagger}_{i+1}c_{i}\right)+J% \left(c^{\dagger}_{0}c_{1}+c^{\dagger}_{1}c_{0}\right),italic_H = ∑ start_POSTSUBSCRIPT italic_i = 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_L - 1 end_POSTSUPERSCRIPT ( italic_c start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT italic_c start_POSTSUBSCRIPT italic_i + 1 end_POSTSUBSCRIPT + italic_c start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i + 1 end_POSTSUBSCRIPT italic_c start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ) + italic_J ( italic_c start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT italic_c start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT + italic_c start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_c start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ) , (S.21)

and the Liouvillian operator takes the form

(ρ)=i[H,ρ]+4γi=1L1(ciciρcici12{ρ,cici}).𝜌𝑖𝐻𝜌4𝛾superscriptsubscript𝑖1𝐿1subscriptsuperscript𝑐𝑖subscript𝑐𝑖𝜌subscriptsuperscript𝑐𝑖subscript𝑐𝑖12𝜌subscriptsuperscript𝑐𝑖subscript𝑐𝑖\mathcal{L}(\rho)=-i\left[H,\rho\right]+4\gamma\sum_{i=1}^{L-1}\left(c^{% \dagger}_{i}c_{i}\rho c^{\dagger}_{i}c_{i}-\frac{1}{2}\{\rho,c^{\dagger}_{i}c_% {i}\}\right).caligraphic_L ( italic_ρ ) = - italic_i [ italic_H , italic_ρ ] + 4 italic_γ ∑ start_POSTSUBSCRIPT italic_i = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_L - 1 end_POSTSUPERSCRIPT ( italic_c start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT italic_c start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT italic_ρ italic_c start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT italic_c start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT - divide start_ARG 1 end_ARG start_ARG 2 end_ARG { italic_ρ , italic_c start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT italic_c start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT } ) . (S.22)

The density matrix ρ𝜌\rhoitalic_ρ is an operator defined in the 2Nsuperscript2𝑁2^{N}2 start_POSTSUPERSCRIPT italic_N end_POSTSUPERSCRIPT dimensional Hilbert space which can be written as ρ=m,nρmn|mn|𝜌subscript𝑚𝑛subscript𝜌𝑚𝑛ket𝑚bra𝑛\rho=\sum_{m,n}\rho_{mn}\ket{m}\bra{n}italic_ρ = ∑ start_POSTSUBSCRIPT italic_m , italic_n end_POSTSUBSCRIPT italic_ρ start_POSTSUBSCRIPT italic_m italic_n end_POSTSUBSCRIPT | start_ARG italic_m end_ARG ⟩ ⟨ start_ARG italic_n end_ARG |. We can rewrite it as a vector in a 4Nsuperscript4𝑁4^{N}4 start_POSTSUPERSCRIPT italic_N end_POSTSUPERSCRIPT dimensional Hilbert space, so-called the Liouville-Fock space, as |ρ=m,nρmn|n,m\ket{\rho}=\sum_{m,n}\rho_{mn}\ket{n,m}\rangle| start_ARG italic_ρ end_ARG ⟩ = ∑ start_POSTSUBSCRIPT italic_m , italic_n end_POSTSUBSCRIPT italic_ρ start_POSTSUBSCRIPT italic_m italic_n end_POSTSUBSCRIPT | start_ARG italic_n , italic_m end_ARG ⟩ ⟩ without losing information [85]. Then the Liouvillian operator acts as an operator in the enlarged vector space in the following way

|ρ=ddt|ρ,\mathcal{L}\ket{\rho}\rangle=\frac{d}{dt}\ket{\rho}\rangle,caligraphic_L | start_ARG italic_ρ end_ARG ⟩ ⟩ = divide start_ARG italic_d end_ARG start_ARG italic_d italic_t end_ARG | start_ARG italic_ρ end_ARG ⟩ ⟩ , (S.23)

with the Liouvillian as superoperator

=iH+iH~+4γi=1L1(cicic~ic~i12cici12c~ic~i).𝑖𝐻𝑖~𝐻4𝛾superscriptsubscript𝑖1𝐿1subscriptsuperscript𝑐𝑖subscript𝑐𝑖subscriptsuperscript~𝑐𝑖subscript~𝑐𝑖12subscriptsuperscript𝑐𝑖subscript𝑐𝑖12subscriptsuperscript~𝑐𝑖subscript~𝑐𝑖\mathcal{L}=-iH+i\tilde{H}+4\gamma\sum_{i=1}^{L-1}\left(c^{\dagger}_{i}c_{i}% \tilde{c}^{\dagger}_{i}\tilde{c}_{i}-\frac{1}{2}c^{\dagger}_{i}c_{i}-\frac{1}{% 2}\tilde{c}^{\dagger}_{i}\tilde{c}_{i}\right).caligraphic_L = - italic_i italic_H + italic_i over~ start_ARG italic_H end_ARG + 4 italic_γ ∑ start_POSTSUBSCRIPT italic_i = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_L - 1 end_POSTSUPERSCRIPT ( italic_c start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT italic_c start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT over~ start_ARG italic_c end_ARG start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT over~ start_ARG italic_c end_ARG start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT - divide start_ARG 1 end_ARG start_ARG 2 end_ARG italic_c start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT italic_c start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT - divide start_ARG 1 end_ARG start_ARG 2 end_ARG over~ start_ARG italic_c end_ARG start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT over~ start_ARG italic_c end_ARG start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ) . (S.24)

Here we introduce a new superoperator acting on the Liouville-Fock space in the following way:

ci|n,m=ci|nm|c~i|n,m=|nm|ci\begin{split}c^{\dagger}_{i}\ket{n,m}\rangle&=c^{\dagger}_{i}\ket{n}\bra{m}\\ \tilde{c}^{\dagger}_{i}\ket{n,m}\rangle&=\ket{n}\bra{m}c_{i}\end{split}start_ROW start_CELL italic_c start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT | start_ARG italic_n , italic_m end_ARG ⟩ ⟩ end_CELL start_CELL = italic_c start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT | start_ARG italic_n end_ARG ⟩ ⟨ start_ARG italic_m end_ARG | end_CELL end_ROW start_ROW start_CELL over~ start_ARG italic_c end_ARG start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT | start_ARG italic_n , italic_m end_ARG ⟩ ⟩ end_CELL start_CELL = | start_ARG italic_n end_ARG ⟩ ⟨ start_ARG italic_m end_ARG | italic_c start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT end_CELL end_ROW (S.25)

If we rename ci=ci,subscriptsuperscript𝑐𝑖subscriptsuperscript𝑐𝑖c^{\dagger}_{i}=c^{\dagger}_{i,\uparrow}italic_c start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT = italic_c start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i , ↑ end_POSTSUBSCRIPT and c~i=ci,subscriptsuperscript~𝑐𝑖subscriptsuperscript𝑐𝑖\tilde{c}^{\dagger}_{i}=c^{\dagger}_{i,\downarrow}over~ start_ARG italic_c end_ARG start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT = italic_c start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i , ↓ end_POSTSUBSCRIPT, and perform the unitary transformation

U=i=1N/2(12c~2ic~2i),𝑈superscriptsubscriptproduct𝑖1𝑁212subscriptsuperscript~𝑐2𝑖subscript~𝑐2𝑖U=\prod_{i=1}^{N/2}(1-2\tilde{c}^{\dagger}_{2i}\tilde{c}_{2i}),italic_U = ∏ start_POSTSUBSCRIPT italic_i = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_N / 2 end_POSTSUPERSCRIPT ( 1 - 2 over~ start_ARG italic_c end_ARG start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 2 italic_i end_POSTSUBSCRIPT over~ start_ARG italic_c end_ARG start_POSTSUBSCRIPT 2 italic_i end_POSTSUBSCRIPT ) , (S.26)

the Liouvillian operator becomes the Hubbard model with imaginary coupling [81]

=iJ(c0,σc1,σ+c1,σc0,σ)ii=1L1(ci,σci+1,σ+ci+1,σci,σ)+γi=1L(2ci,ci,1)(2ci,ci,1)γ(L1),𝑖𝐽subscriptsuperscript𝑐0𝜎subscript𝑐1𝜎subscriptsuperscript𝑐1𝜎subscript𝑐0𝜎𝑖superscriptsubscript𝑖1𝐿1subscriptsuperscript𝑐𝑖𝜎subscript𝑐𝑖1𝜎subscriptsuperscript𝑐𝑖1𝜎subscript𝑐𝑖𝜎𝛾superscriptsubscript𝑖1𝐿2subscriptsuperscript𝑐𝑖subscript𝑐𝑖12subscriptsuperscript𝑐𝑖subscript𝑐𝑖1𝛾𝐿1\mathcal{L}=-iJ(c^{\dagger}_{0,\sigma}c_{1,\sigma}+c^{\dagger}_{1,\sigma}c_{0,% \sigma})-i\sum_{i=1}^{L-1}(c^{\dagger}_{i,\sigma}c_{i+1,\sigma}+c^{\dagger}_{i% +1,\sigma}c_{i,\sigma})+\gamma\sum_{i=1}^{L}(2c^{\dagger}_{i,\uparrow}c_{i,% \uparrow}-1)(2c^{\dagger}_{i,\downarrow}c_{i,\downarrow}-1)-\gamma(L-1),caligraphic_L = - italic_i italic_J ( italic_c start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 0 , italic_σ end_POSTSUBSCRIPT italic_c start_POSTSUBSCRIPT 1 , italic_σ end_POSTSUBSCRIPT + italic_c start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 1 , italic_σ end_POSTSUBSCRIPT italic_c start_POSTSUBSCRIPT 0 , italic_σ end_POSTSUBSCRIPT ) - italic_i ∑ start_POSTSUBSCRIPT italic_i = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_L - 1 end_POSTSUPERSCRIPT ( italic_c start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i , italic_σ end_POSTSUBSCRIPT italic_c start_POSTSUBSCRIPT italic_i + 1 , italic_σ end_POSTSUBSCRIPT + italic_c start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i + 1 , italic_σ end_POSTSUBSCRIPT italic_c start_POSTSUBSCRIPT italic_i , italic_σ end_POSTSUBSCRIPT ) + italic_γ ∑ start_POSTSUBSCRIPT italic_i = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_L end_POSTSUPERSCRIPT ( 2 italic_c start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i , ↑ end_POSTSUBSCRIPT italic_c start_POSTSUBSCRIPT italic_i , ↑ end_POSTSUBSCRIPT - 1 ) ( 2 italic_c start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i , ↓ end_POSTSUBSCRIPT italic_c start_POSTSUBSCRIPT italic_i , ↓ end_POSTSUBSCRIPT - 1 ) - italic_γ ( italic_L - 1 ) , (S.27)

where {ci,σ,cj,σ}=δijδσσsubscriptsuperscript𝑐𝑖𝜎subscript𝑐𝑗superscript𝜎subscript𝛿𝑖𝑗subscript𝛿𝜎superscript𝜎\{c^{\dagger}_{i,\sigma},c_{j,\sigma^{\prime}}\}=\delta_{ij}\delta_{\sigma% \sigma^{\prime}}{ italic_c start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i , italic_σ end_POSTSUBSCRIPT , italic_c start_POSTSUBSCRIPT italic_j , italic_σ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT } = italic_δ start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT italic_δ start_POSTSUBSCRIPT italic_σ italic_σ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT, and all other combinations anti-commute. In this formalism, the Lindbladian-master equation becomes an eigenvalue problem

|ρn=En|ρn.\mathcal{L}\ket{\rho_{n}}\rangle=E_{n}\ket{\rho_{n}}\rangle.caligraphic_L | start_ARG italic_ρ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT end_ARG ⟩ ⟩ = italic_E start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT | start_ARG italic_ρ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT end_ARG ⟩ ⟩ . (S.28)

One thing worthy to mention is that the dynamics of 2k𝑘kitalic_k-point correlation function Gy1,,ykx1,,xk(t)=Tr{cx1cxkcy1cykρ(t)}subscriptsuperscript𝐺subscript𝑥1subscript𝑥𝑘subscript𝑦1subscript𝑦𝑘𝑡Trsubscriptsuperscript𝑐subscript𝑥1subscriptsuperscript𝑐subscript𝑥𝑘subscript𝑐subscript𝑦1subscript𝑐subscript𝑦𝑘𝜌𝑡G^{x_{1},...,x_{k}}_{y_{1},...,y_{k}}(t)=\text{Tr}\left\{c^{\dagger}_{x_{1}}..% .c^{\dagger}_{x_{k}}c_{y_{1}}...c_{y_{k}}\rho(t)\right\}italic_G start_POSTSUPERSCRIPT italic_x start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , … , italic_x start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_y start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , … , italic_y start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT end_POSTSUBSCRIPT ( italic_t ) = Tr { italic_c start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_x start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUBSCRIPT … italic_c start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_x start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT end_POSTSUBSCRIPT italic_c start_POSTSUBSCRIPT italic_y start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUBSCRIPT … italic_c start_POSTSUBSCRIPT italic_y start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT end_POSTSUBSCRIPT italic_ρ ( italic_t ) }, under this mapping, can be shown to be governed by the 2k𝑘kitalic_k-particle Schrodinger equation [81]. Particularly for the two-point correlation function we are interested in,

iddtG(x,y,t)=[JxΔx+JyΔy+4iγδx,y+2iγ(δx+δy2)]G(x,y,t),𝑖𝑑𝑑𝑡𝐺𝑥𝑦𝑡delimited-[]subscript𝐽𝑥subscriptΔ𝑥subscript𝐽𝑦subscriptΔ𝑦4𝑖𝛾subscript𝛿𝑥𝑦2𝑖𝛾subscript𝛿𝑥subscript𝛿𝑦2𝐺𝑥𝑦𝑡i\frac{d}{dt}G(x,y,t)=\left[J_{x}\Delta_{x}+J_{y}\Delta_{y}+4i\gamma\delta_{x,% y}+2i\gamma(\delta_{x}+\delta_{y}-2)\right]G(x,y,t),italic_i divide start_ARG italic_d end_ARG start_ARG italic_d italic_t end_ARG italic_G ( italic_x , italic_y , italic_t ) = [ italic_J start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT roman_Δ start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT + italic_J start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT roman_Δ start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT + 4 italic_i italic_γ italic_δ start_POSTSUBSCRIPT italic_x , italic_y end_POSTSUBSCRIPT + 2 italic_i italic_γ ( italic_δ start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT + italic_δ start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT - 2 ) ] italic_G ( italic_x , italic_y , italic_t ) , (S.29)

where we introduced a compact notation Jx=Jsubscript𝐽𝑥𝐽J_{x}\mathord{=}Jitalic_J start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT = italic_J when x=0𝑥0x\mathord{=}0italic_x = 0, Jx=1subscript𝐽𝑥1J_{x}\mathord{=}1italic_J start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT = 1 otherwise and Δf(x)=f(x1)+f(x+1)Δ𝑓𝑥𝑓𝑥1𝑓𝑥1\Delta f(x)=f(x-1)+f(x+1)roman_Δ italic_f ( italic_x ) = italic_f ( italic_x - 1 ) + italic_f ( italic_x + 1 ).

III Noiseless XX-impurity Quench

Let us first discuss the dynamics of the model in the absence of the noise. We consider the quench dynamics of the free model governed by a quantum mechanical Hamiltonian

h=j=0L1JjΔj,superscriptsubscript𝑗0𝐿1subscript𝐽𝑗subscriptΔ𝑗h=\sum_{j=0}^{L-1}J_{j}\Delta_{j},italic_h = ∑ start_POSTSUBSCRIPT italic_j = 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_L - 1 end_POSTSUPERSCRIPT italic_J start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT roman_Δ start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT , (S.30)

where Jx=Jsubscript𝐽𝑥𝐽J_{x}\mathord{=}Jitalic_J start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT = italic_J when x=0𝑥0x\mathord{=}0italic_x = 0, Jx=1subscript𝐽𝑥1J_{x}\mathord{=}1italic_J start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT = 1 other wise and Δjf(j)=f(j+1)+f(j1)subscriptΔ𝑗𝑓𝑗𝑓𝑗1𝑓𝑗1\Delta_{j}f(j)=f(j+1)+f(j-1)roman_Δ start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT italic_f ( italic_j ) = italic_f ( italic_j + 1 ) + italic_f ( italic_j - 1 ) is the discrete derivative. This first quantized Hamiltonian has eigenfunction

Fk(j)=1Jj(Aeikj+Beikj).subscript𝐹𝑘𝑗1subscript𝐽𝑗𝐴superscript𝑒𝑖𝑘𝑗𝐵superscript𝑒𝑖𝑘𝑗F_{k}(j)=\frac{1}{J_{j}}(Ae^{ikj}+Be^{-ikj}).italic_F start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ( italic_j ) = divide start_ARG 1 end_ARG start_ARG italic_J start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT end_ARG ( italic_A italic_e start_POSTSUPERSCRIPT italic_i italic_k italic_j end_POSTSUPERSCRIPT + italic_B italic_e start_POSTSUPERSCRIPT - italic_i italic_k italic_j end_POSTSUPERSCRIPT ) . (S.31)

The boundary condition when x=0𝑥0x=0italic_x = 0 gives  [71]

Sb(k)=BA=(J21)eikeik(J21)eikeiksubscript𝑆𝑏𝑘𝐵𝐴superscript𝐽21superscript𝑒𝑖𝑘superscript𝑒𝑖𝑘superscript𝐽21superscript𝑒𝑖𝑘superscript𝑒𝑖𝑘S_{b}(k)=\frac{B}{A}=-\frac{(J^{2}-1)e^{ik}-e^{-ik}}{(J^{2}-1)e^{-ik}-e^{ik}}italic_S start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT ( italic_k ) = divide start_ARG italic_B end_ARG start_ARG italic_A end_ARG = - divide start_ARG ( italic_J start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - 1 ) italic_e start_POSTSUPERSCRIPT italic_i italic_k end_POSTSUPERSCRIPT - italic_e start_POSTSUPERSCRIPT - italic_i italic_k end_POSTSUPERSCRIPT end_ARG start_ARG ( italic_J start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - 1 ) italic_e start_POSTSUPERSCRIPT - italic_i italic_k end_POSTSUPERSCRIPT - italic_e start_POSTSUPERSCRIPT italic_i italic_k end_POSTSUPERSCRIPT end_ARG (S.32)

and x=L𝑥𝐿x=Litalic_x = italic_L gives the quantization condition of k𝑘kitalic_k

(J21)eikeik(J21)eikeik=ei2(L+1)k.superscript𝐽21superscript𝑒𝑖𝑘superscript𝑒𝑖𝑘superscript𝐽21superscript𝑒𝑖𝑘superscript𝑒𝑖𝑘superscript𝑒𝑖2𝐿1𝑘\frac{(J^{2}-1)e^{ik}-e^{-ik}}{(J^{2}-1)e^{-ik}-e^{ik}}=e^{i2(L+1)k}.divide start_ARG ( italic_J start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - 1 ) italic_e start_POSTSUPERSCRIPT italic_i italic_k end_POSTSUPERSCRIPT - italic_e start_POSTSUPERSCRIPT - italic_i italic_k end_POSTSUPERSCRIPT end_ARG start_ARG ( italic_J start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - 1 ) italic_e start_POSTSUPERSCRIPT - italic_i italic_k end_POSTSUPERSCRIPT - italic_e start_POSTSUPERSCRIPT italic_i italic_k end_POSTSUPERSCRIPT end_ARG = italic_e start_POSTSUPERSCRIPT italic_i 2 ( italic_L + 1 ) italic_k end_POSTSUPERSCRIPT . (S.33)

There exists a bound mode with k>0𝑘0\Im k>0roman_ℑ italic_k > 0, described by B=0𝐵0B=0italic_B = 0 such that the wave function is normalizable in the thermodynamic limit, i.e. (J21)eikeik=0superscript𝐽21superscript𝑒𝑖𝑘superscript𝑒𝑖𝑘0(J^{2}-1)e^{ik}-e^{-ik}=0( italic_J start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - 1 ) italic_e start_POSTSUPERSCRIPT italic_i italic_k end_POSTSUPERSCRIPT - italic_e start_POSTSUPERSCRIPT - italic_i italic_k end_POSTSUPERSCRIPT = 0 which gives kBM=i2log(J21)subscript𝑘𝐵𝑀𝑖2superscript𝐽21k_{BM}=\frac{i}{2}\log(J^{2}-1)italic_k start_POSTSUBSCRIPT italic_B italic_M end_POSTSUBSCRIPT = divide start_ARG italic_i end_ARG start_ARG 2 end_ARG roman_log ( italic_J start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - 1 ) with bound mode energy E=2cosk=J2J21𝐸2𝑘superscript𝐽2superscript𝐽21E=2\cos k=\frac{J^{2}}{\sqrt{J^{2}-1}}italic_E = 2 roman_cos italic_k = divide start_ARG italic_J start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG square-root start_ARG italic_J start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - 1 end_ARG end_ARG and k>0𝑘0\Im k>0roman_ℑ italic_k > 0 gives J>2𝐽2J>\sqrt{2}italic_J > square-root start_ARG 2 end_ARG. Likewise, A=0𝐴0A=0italic_A = 0 gives kBM=i2log(J21)subscript𝑘𝐵𝑀𝑖2superscript𝐽21k_{BM}=-\frac{i}{2}\log(J^{2}-1)italic_k start_POSTSUBSCRIPT italic_B italic_M end_POSTSUBSCRIPT = - divide start_ARG italic_i end_ARG start_ARG 2 end_ARG roman_log ( italic_J start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - 1 ). After studying the spectrum and equilibrium physics, now we can study the quench dynamics of this problem. Since the model is non-interacting, we need to solve only the single-mode evolution and take the algebraic sum of each mode at the end of the calculation. We prepare the initial state as F(j,t=0)=F0(j)=δj,j0𝐹𝑗𝑡0subscript𝐹0𝑗subscript𝛿𝑗subscript𝑗0F(j,t=0)=F_{0}(j)=\delta_{j,j_{0}}italic_F ( italic_j , italic_t = 0 ) = italic_F start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ( italic_j ) = italic_δ start_POSTSUBSCRIPT italic_j , italic_j start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_POSTSUBSCRIPT, and we solve for F(j,t)𝐹𝑗𝑡F(j,t)italic_F ( italic_j , italic_t ). The dynamics of a wave function is given by the following equation

F(x,t)=,kFk()F0()Fk(j)eiϵkt=kFk(j0)Fk(j)eiϵkt.𝐹𝑥𝑡subscript𝑘subscriptsuperscript𝐹𝑘subscript𝐹0subscript𝐹𝑘𝑗superscript𝑒𝑖subscriptitalic-ϵ𝑘𝑡subscript𝑘subscriptsuperscript𝐹𝑘subscript𝑗0subscript𝐹𝑘𝑗superscript𝑒𝑖subscriptitalic-ϵ𝑘𝑡\begin{split}F(x,t)&=\sum_{\ell,k}F^{*}_{k}(\ell)F_{0}(\ell)F_{k}(j)e^{i% \epsilon_{k}t}\\ &=\sum_{k}F^{*}_{k}(j_{0})F_{k}(j)e^{i\epsilon_{k}t}.\end{split}start_ROW start_CELL italic_F ( italic_x , italic_t ) end_CELL start_CELL = ∑ start_POSTSUBSCRIPT roman_ℓ , italic_k end_POSTSUBSCRIPT italic_F start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ( roman_ℓ ) italic_F start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ( roman_ℓ ) italic_F start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ( italic_j ) italic_e start_POSTSUPERSCRIPT italic_i italic_ϵ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT italic_t end_POSTSUPERSCRIPT end_CELL end_ROW start_ROW start_CELL end_CELL start_CELL = ∑ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT italic_F start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ( italic_j start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ) italic_F start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ( italic_j ) italic_e start_POSTSUPERSCRIPT italic_i italic_ϵ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT italic_t end_POSTSUPERSCRIPT . end_CELL end_ROW (S.34)

Let us look at the simplest case where we prepare the fermion (spin flip) at the impurity site initial j0=0subscript𝑗00j_{0}=0italic_j start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT = 0 and ask how the fermion number (magnetization) changes as time evolves, In the Kondo phase J<2𝐽2J<\sqrt{2}italic_J < square-root start_ARG 2 end_ARG

n0(t)=F(0,t)2=(dkπJ2sin2(k)J44(J21)cos2(k)ei2tcosk)2,subscript𝑛0𝑡𝐹superscript0𝑡2superscript𝑑𝑘𝜋superscript𝐽2superscript2𝑘superscript𝐽44superscript𝐽21superscript2𝑘superscript𝑒𝑖2𝑡𝑘2n_{0}(t)=F(0,t)^{2}=\left(\int\frac{dk}{\pi}\frac{J^{2}\sin^{2}(k)}{J^{4}-4(J^% {2}-1)\cos^{2}(k)}e^{-i2t\cos k}\right)^{2},italic_n start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ( italic_t ) = italic_F ( 0 , italic_t ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = ( ∫ divide start_ARG italic_d italic_k end_ARG start_ARG italic_π end_ARG divide start_ARG italic_J start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT roman_sin start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_k ) end_ARG start_ARG italic_J start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT - 4 ( italic_J start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - 1 ) roman_cos start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_k ) end_ARG italic_e start_POSTSUPERSCRIPT - italic_i 2 italic_t roman_cos italic_k end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT , (S.35)

with |Fk(0)|2=1J2(A+B)2=J2sin2(k)J44(J21)cos2(k)superscriptsubscript𝐹𝑘021superscript𝐽2superscript𝐴𝐵2superscript𝐽2superscript2𝑘superscript𝐽44superscript𝐽21superscript2𝑘|F_{k}(0)|^{2}=\frac{1}{J^{2}}(A+B)^{2}=\frac{J^{2}\sin^{2}(k)}{J^{4}-4(J^{2}-% 1)\cos^{2}(k)}| italic_F start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ( 0 ) | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = divide start_ARG 1 end_ARG start_ARG italic_J start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ( italic_A + italic_B ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = divide start_ARG italic_J start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT roman_sin start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_k ) end_ARG start_ARG italic_J start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT - 4 ( italic_J start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - 1 ) roman_cos start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_k ) end_ARG. Changing the variable ϵ=2coskitalic-ϵ2𝑘\epsilon=2\cos kitalic_ϵ = 2 roman_cos italic_k, we obtain

FKondo(0,t)=12J2π22𝑑ϵ4ϵ21Sign(J21)tK2ϵ2eiϵt,subscript𝐹𝐾𝑜𝑛𝑑𝑜0𝑡12superscript𝐽2𝜋superscriptsubscript22differential-ditalic-ϵ4superscriptitalic-ϵ21Signsuperscript𝐽21superscriptsubscript𝑡𝐾2superscriptitalic-ϵ2superscript𝑒𝑖italic-ϵ𝑡F_{Kondo}(0,t)=\frac{1}{2J^{2}\pi}\int_{-2}^{2}d\epsilon\frac{\sqrt{4-\epsilon% ^{2}}}{1-\mathrm{Sign}(J^{2}-1)t_{K}^{2}\epsilon^{2}}e^{-i\epsilon t},italic_F start_POSTSUBSCRIPT italic_K italic_o italic_n italic_d italic_o end_POSTSUBSCRIPT ( 0 , italic_t ) = divide start_ARG 1 end_ARG start_ARG 2 italic_J start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_π end_ARG ∫ start_POSTSUBSCRIPT - 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_d italic_ϵ divide start_ARG square-root start_ARG 4 - italic_ϵ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG end_ARG start_ARG 1 - roman_Sign ( italic_J start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - 1 ) italic_t start_POSTSUBSCRIPT italic_K end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_ϵ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG italic_e start_POSTSUPERSCRIPT - italic_i italic_ϵ italic_t end_POSTSUPERSCRIPT , (S.36)

where the Kondo time tK=|J21|J2subscript𝑡𝐾superscript𝐽21superscript𝐽2t_{K}=\frac{\sqrt{|J^{2}-1|}}{J^{2}}italic_t start_POSTSUBSCRIPT italic_K end_POSTSUBSCRIPT = divide start_ARG square-root start_ARG | italic_J start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - 1 | end_ARG end_ARG start_ARG italic_J start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG is the only scale in this integral. We verify this result numerically as shown in Fig.S.2. In the Bound Mode Phase, the same quantity can be expressed as the following

FBM(0,t)=12J2π22𝑑ϵ4ϵ21Sign(J21)tK2ϵ2eiϵt+J22J21cos(Ebt).subscript𝐹𝐵𝑀0𝑡12superscript𝐽2𝜋superscriptsubscript22differential-ditalic-ϵ4superscriptitalic-ϵ21Signsuperscript𝐽21superscriptsubscript𝑡𝐾2superscriptitalic-ϵ2superscript𝑒𝑖italic-ϵ𝑡superscript𝐽22superscript𝐽21subscript𝐸𝑏𝑡F_{BM}(0,t)=\frac{1}{2J^{2}\pi}\int_{-2}^{2}d\epsilon\frac{\sqrt{4-\epsilon^{2% }}}{1-\mathrm{Sign}(J^{2}-1)t_{K}^{2}\epsilon^{2}}e^{-i\epsilon t}+\frac{J^{2}% -2}{J^{2}-1}\cos(E_{b}t).italic_F start_POSTSUBSCRIPT italic_B italic_M end_POSTSUBSCRIPT ( 0 , italic_t ) = divide start_ARG 1 end_ARG start_ARG 2 italic_J start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_π end_ARG ∫ start_POSTSUBSCRIPT - 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_d italic_ϵ divide start_ARG square-root start_ARG 4 - italic_ϵ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG end_ARG start_ARG 1 - roman_Sign ( italic_J start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - 1 ) italic_t start_POSTSUBSCRIPT italic_K end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_ϵ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG italic_e start_POSTSUPERSCRIPT - italic_i italic_ϵ italic_t end_POSTSUPERSCRIPT + divide start_ARG italic_J start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - 2 end_ARG start_ARG italic_J start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - 1 end_ARG roman_cos ( italic_E start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT italic_t ) . (S.37)

The last cosine term is from the bound mode with energy Eb=±J2J21subscript𝐸𝑏plus-or-minussuperscript𝐽2superscript𝐽21E_{b}=\pm\frac{J^{2}}{\sqrt{J^{2}-1}}italic_E start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT = ± divide start_ARG italic_J start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG square-root start_ARG italic_J start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - 1 end_ARG end_ARG.

Refer to caption
Figure S.2: Dynamics of the spin at the impurity site with initial Néel state. The system is in bound mode phase J=3𝐽3J=3italic_J = 3 (left panel) where the analytic curve of the time-dependent spin profile is given by Eq. (S.40) and numerical cure is calculated for L=40𝐿40L=40italic_L = 40 with exact diagonalization. The system is in the Kondo phase with J=0.5𝐽0.5J=0.5italic_J = 0.5 (right panel) where the analytic curve of time-dependent spin profile is given by Eq. (S.40) and numerical cure is calculated for L=40𝐿40L=40italic_L = 40 with exact diagonalization.

In the Kondo phase, the wavefunction at the \ellroman_ℓ spin, if we flip j𝑗jitalic_j initially, is given by

FK(j,,t)=0πdk2π1JJj(eikj+Sb(k)eikj)(eik+Sb(k)eik)ei2tcosk.subscript𝐹𝐾𝑗𝑡superscriptsubscript0𝜋𝑑𝑘2𝜋1subscript𝐽subscript𝐽𝑗superscript𝑒𝑖𝑘𝑗subscript𝑆𝑏𝑘superscript𝑒𝑖𝑘𝑗superscript𝑒𝑖𝑘subscript𝑆𝑏superscript𝑘superscript𝑒𝑖𝑘superscript𝑒𝑖2𝑡𝑘F_{K}(j,\ell,t)=\int_{0}^{\pi}\frac{dk}{2\pi}\frac{1}{J_{\ell}J_{j}}(e^{-ikj}+% S_{b}(k)e^{ikj})(e^{ik\ell}+S_{b}(k)^{*}e^{-ik\ell})e^{-i2t\cos k}.italic_F start_POSTSUBSCRIPT italic_K end_POSTSUBSCRIPT ( italic_j , roman_ℓ , italic_t ) = ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_π end_POSTSUPERSCRIPT divide start_ARG italic_d italic_k end_ARG start_ARG 2 italic_π end_ARG divide start_ARG 1 end_ARG start_ARG italic_J start_POSTSUBSCRIPT roman_ℓ end_POSTSUBSCRIPT italic_J start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT end_ARG ( italic_e start_POSTSUPERSCRIPT - italic_i italic_k italic_j end_POSTSUPERSCRIPT + italic_S start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT ( italic_k ) italic_e start_POSTSUPERSCRIPT italic_i italic_k italic_j end_POSTSUPERSCRIPT ) ( italic_e start_POSTSUPERSCRIPT italic_i italic_k roman_ℓ end_POSTSUPERSCRIPT + italic_S start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT ( italic_k ) start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT - italic_i italic_k roman_ℓ end_POSTSUPERSCRIPT ) italic_e start_POSTSUPERSCRIPT - italic_i 2 italic_t roman_cos italic_k end_POSTSUPERSCRIPT . (S.38)

In the bound mode phase,

FB(j,,t)=FK(j,,t)+J2JjJJ22J21[eiEBt(J21)j++eiEBt(J21)j+].subscript𝐹𝐵𝑗𝑡subscript𝐹𝐾𝑗𝑡superscript𝐽2subscript𝐽𝑗subscript𝐽superscript𝐽22superscript𝐽21delimited-[]superscript𝑒𝑖subscript𝐸𝐵𝑡superscriptsuperscript𝐽21𝑗superscript𝑒𝑖subscript𝐸𝐵𝑡superscriptsuperscript𝐽21𝑗F_{B}(j,\ell,t)=F_{K}(j,\ell,t)+\frac{J^{2}}{J_{j}J_{\ell}}\frac{J^{2}-2}{J^{2% }-1}\left[\frac{e^{-iE_{B}t}}{(\sqrt{J^{2}-1})^{j+\ell}}+\frac{e^{iE_{B}t}}{(-% \sqrt{J^{2}-1})^{j+\ell}}\right].italic_F start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT ( italic_j , roman_ℓ , italic_t ) = italic_F start_POSTSUBSCRIPT italic_K end_POSTSUBSCRIPT ( italic_j , roman_ℓ , italic_t ) + divide start_ARG italic_J start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_J start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT italic_J start_POSTSUBSCRIPT roman_ℓ end_POSTSUBSCRIPT end_ARG divide start_ARG italic_J start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - 2 end_ARG start_ARG italic_J start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - 1 end_ARG [ divide start_ARG italic_e start_POSTSUPERSCRIPT - italic_i italic_E start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT italic_t end_POSTSUPERSCRIPT end_ARG start_ARG ( square-root start_ARG italic_J start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - 1 end_ARG ) start_POSTSUPERSCRIPT italic_j + roman_ℓ end_POSTSUPERSCRIPT end_ARG + divide start_ARG italic_e start_POSTSUPERSCRIPT italic_i italic_E start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT italic_t end_POSTSUPERSCRIPT end_ARG start_ARG ( - square-root start_ARG italic_J start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - 1 end_ARG ) start_POSTSUPERSCRIPT italic_j + roman_ℓ end_POSTSUPERSCRIPT end_ARG ] . (S.39)

The magnetization at site \ellroman_ℓ with {jx}subscript𝑗𝑥\{j_{x}\}{ italic_j start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT } spin initially flipped is given by

Sz(,t)=2j{jx}|F(j,,t)|21.superscript𝑆𝑧𝑡2subscript𝑗subscript𝑗𝑥superscript𝐹𝑗𝑡21S^{z}(\ell,t)=2\sum_{j\in\{j_{x}\}}|F(j,\ell,t)|^{2}-1.italic_S start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT ( roman_ℓ , italic_t ) = 2 ∑ start_POSTSUBSCRIPT italic_j ∈ { italic_j start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT } end_POSTSUBSCRIPT | italic_F ( italic_j , roman_ℓ , italic_t ) | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - 1 . (S.40)

with F=FK𝐹subscript𝐹𝐾F=F_{K}italic_F = italic_F start_POSTSUBSCRIPT italic_K end_POSTSUBSCRIPT or F=FB𝐹subscript𝐹𝐵F=F_{B}italic_F = italic_F start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT depending on which phase the system is in.

IV Liouvillian Spectrum

In the previous section we solved XX-impurity Model quenched from an initial state with only some spins flipped, i.e. |ψ0=jxσjx+|,,\ket{\psi_{0}}=\prod_{j_{x}}\sigma^{+}_{j_{x}}|\downarrow,\downarrow,...\downarrow\rangle| start_ARG italic_ψ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_ARG ⟩ = ∏ start_POSTSUBSCRIPT italic_j start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT end_POSTSUBSCRIPT italic_σ start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_j start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT end_POSTSUBSCRIPT | ↓ , ↓ , … ↓ ⟩. Now we want to ask the question of how noise affects this model. Using Eq. (S.29), we need to study the two-particle sector of this model to solve for the dynamics of the two-point correlation function.

In the Liouville-Fock space, our initial state (initial condition of the correlation matrix) with spin-flip at site jxsubscript𝑗𝑥j_{x}italic_j start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT corresponds to the initial density matrix |ρ0=cjxcjx|0\ket{\rho_{0}}\rangle=c^{\dagger}_{j_{x}\uparrow}c^{\dagger}_{j_{x}\downarrow}% \ket{0}\rangle| start_ARG italic_ρ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_ARG ⟩ ⟩ = italic_c start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_j start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT ↑ end_POSTSUBSCRIPT italic_c start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_j start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT ↓ end_POSTSUBSCRIPT | start_ARG 0 end_ARG ⟩ ⟩. If we initially flip more spins, we just need to superpose them, i.e. |ρ0=xjcxjcxj|0\ket{\rho_{0}}\rangle=\sum_{x_{j}}c^{\dagger}_{x_{j}\uparrow}c^{\dagger}_{x_{j% }\downarrow}\ket{0}\rangle| start_ARG italic_ρ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_ARG ⟩ ⟩ = ∑ start_POSTSUBSCRIPT italic_x start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT end_POSTSUBSCRIPT italic_c start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_x start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ↑ end_POSTSUBSCRIPT italic_c start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_x start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ↓ end_POSTSUBSCRIPT | start_ARG 0 end_ARG ⟩ ⟩. Due to the U(1)×U(1)𝑈1𝑈1U(1)\times U(1)italic_U ( 1 ) × italic_U ( 1 ) symmetry of the Liouvillian operator, the number of fermions and total magnetization are conserved separately. Thus, we only need to diagonalize the eigenvalue problem in Eq. (S.28) in two particles N=2𝑁2N=2italic_N = 2 and one spin-flip M=1𝑀1M=1italic_M = 1 sector.

The time-independent Schrödinger equation read from Eq.(S.29) is

EG(x,y)=[JxΔx+JyΔy+4iγδx,y+2iγ(δx+δy2)]G(x,y),𝐸𝐺𝑥𝑦delimited-[]subscript𝐽𝑥subscriptΔ𝑥subscript𝐽𝑦subscriptΔ𝑦4𝑖𝛾subscript𝛿𝑥𝑦2𝑖𝛾subscript𝛿𝑥subscript𝛿𝑦2𝐺𝑥𝑦EG(x,y)=\left[J_{x}\Delta_{x}+J_{y}\Delta_{y}+4i\gamma\delta_{x,y}+2i\gamma(% \delta_{x}+\delta_{y}-2)\right]G(x,y),italic_E italic_G ( italic_x , italic_y ) = [ italic_J start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT roman_Δ start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT + italic_J start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT roman_Δ start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT + 4 italic_i italic_γ italic_δ start_POSTSUBSCRIPT italic_x , italic_y end_POSTSUBSCRIPT + 2 italic_i italic_γ ( italic_δ start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT + italic_δ start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT - 2 ) ] italic_G ( italic_x , italic_y ) , (S.41)

with eigenvector

Gk,q(x,y)=1𝒩𝒮α1,α2=±1eiα1kx+iα2qy[A(α1k,α2q)θ(xy)+B(α2q,α1k)θ(yx)],subscript𝐺𝑘𝑞𝑥𝑦1𝒩𝒮subscriptsubscript𝛼1subscript𝛼2plus-or-minus1superscript𝑒𝑖subscript𝛼1𝑘𝑥𝑖subscript𝛼2𝑞𝑦delimited-[]𝐴subscript𝛼1𝑘subscript𝛼2𝑞𝜃𝑥𝑦𝐵subscript𝛼2𝑞subscript𝛼1𝑘𝜃𝑦𝑥G_{k,q}(x,y)=\frac{1}{\mathcal{N}}\mathcal{S}\sum_{\alpha_{1},\alpha_{2}=\pm 1% }e^{i\alpha_{1}kx+i\alpha_{2}qy}\left[A(\alpha_{1}k,\alpha_{2}q)\theta(x-y)+B(% \alpha_{2}q,\alpha_{1}k)\theta(y-x)\right],italic_G start_POSTSUBSCRIPT italic_k , italic_q end_POSTSUBSCRIPT ( italic_x , italic_y ) = divide start_ARG 1 end_ARG start_ARG caligraphic_N end_ARG caligraphic_S ∑ start_POSTSUBSCRIPT italic_α start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , italic_α start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT = ± 1 end_POSTSUBSCRIPT italic_e start_POSTSUPERSCRIPT italic_i italic_α start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_k italic_x + italic_i italic_α start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT italic_q italic_y end_POSTSUPERSCRIPT [ italic_A ( italic_α start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_k , italic_α start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT italic_q ) italic_θ ( italic_x - italic_y ) + italic_B ( italic_α start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT italic_q , italic_α start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_k ) italic_θ ( italic_y - italic_x ) ] , (S.42)

where 𝒩𝒩\mathcal{N}caligraphic_N is the normalization factor such that 1=x,y|Gk,q(x,y)|21subscript𝑥𝑦superscriptsubscript𝐺𝑘𝑞𝑥𝑦21=\sum_{x,y}|G_{k,q}(x,y)|^{2}1 = ∑ start_POSTSUBSCRIPT italic_x , italic_y end_POSTSUBSCRIPT | italic_G start_POSTSUBSCRIPT italic_k , italic_q end_POSTSUBSCRIPT ( italic_x , italic_y ) | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT and 𝒮𝒮\mathcal{S}caligraphic_S is the symmetrizer. Note if the transformation in Eq.(S.26) is not performed, then there is a factor (1)ysuperscript1𝑦(-1)^{y}( - 1 ) start_POSTSUPERSCRIPT italic_y end_POSTSUPERSCRIPT multiplying the wavefunction shown in the main text. The amplitudes are related as follows:

A(k,q)=K(k)A(k,q),A(k,q)=K(q)A(k,q),A(k,q)=S(k,q)B(k,q),formulae-sequence𝐴𝑘𝑞𝐾𝑘𝐴𝑘𝑞formulae-sequence𝐴𝑘𝑞𝐾𝑞𝐴𝑘𝑞𝐴𝑘𝑞𝑆𝑘𝑞𝐵𝑘𝑞\begin{split}A(-k,q)&=K(k)A(k,q),\\ A(k,-q)&=K(q)A(k,q),\\ A(k,q)&=S(k,q)B(k,q),\end{split}start_ROW start_CELL italic_A ( - italic_k , italic_q ) end_CELL start_CELL = italic_K ( italic_k ) italic_A ( italic_k , italic_q ) , end_CELL end_ROW start_ROW start_CELL italic_A ( italic_k , - italic_q ) end_CELL start_CELL = italic_K ( italic_q ) italic_A ( italic_k , italic_q ) , end_CELL end_ROW start_ROW start_CELL italic_A ( italic_k , italic_q ) end_CELL start_CELL = italic_S ( italic_k , italic_q ) italic_B ( italic_k , italic_q ) , end_CELL end_ROW (S.43)

where K(k)𝐾𝑘K(k)italic_K ( italic_k ) is given by the boundary condition EF(0,x)=JF(1,x)+2iγF(0,x)𝐸𝐹0𝑥𝐽𝐹1𝑥2𝑖𝛾𝐹0𝑥EF(0,x)=JF(1,x)+2i\gamma F(0,x)italic_E italic_F ( 0 , italic_x ) = italic_J italic_F ( 1 , italic_x ) + 2 italic_i italic_γ italic_F ( 0 , italic_x ) which gives

K(k)=eik+eik2iγJ2eikeik+eik2iγJ2eik,𝐾𝑘superscript𝑒𝑖𝑘superscript𝑒𝑖𝑘2𝑖𝛾superscript𝐽2superscript𝑒𝑖𝑘superscript𝑒𝑖𝑘superscript𝑒𝑖𝑘2𝑖𝛾superscript𝐽2superscript𝑒𝑖𝑘K(k)=-\frac{e^{ik}+e^{-ik}-2i\gamma-J^{2}e^{ik}}{e^{ik}+e^{-ik}-2i\gamma-J^{2}% e^{-ik}},italic_K ( italic_k ) = - divide start_ARG italic_e start_POSTSUPERSCRIPT italic_i italic_k end_POSTSUPERSCRIPT + italic_e start_POSTSUPERSCRIPT - italic_i italic_k end_POSTSUPERSCRIPT - 2 italic_i italic_γ - italic_J start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT italic_i italic_k end_POSTSUPERSCRIPT end_ARG start_ARG italic_e start_POSTSUPERSCRIPT italic_i italic_k end_POSTSUPERSCRIPT + italic_e start_POSTSUPERSCRIPT - italic_i italic_k end_POSTSUPERSCRIPT - 2 italic_i italic_γ - italic_J start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT - italic_i italic_k end_POSTSUPERSCRIPT end_ARG , (S.44)

and the bulk interaction scattering matrix is that of Hubbard models given by

S(k,q)=sinksinq+2γsinksinq2γ.𝑆𝑘𝑞𝑘𝑞2𝛾𝑘𝑞2𝛾S(k,q)=\frac{\sin k-\sin q+2\gamma}{\sin k-\sin q-2\gamma}.italic_S ( italic_k , italic_q ) = divide start_ARG roman_sin italic_k - roman_sin italic_q + 2 italic_γ end_ARG start_ARG roman_sin italic_k - roman_sin italic_q - 2 italic_γ end_ARG . (S.45)

If we impose the boundary condition on a finite chain, then k𝑘kitalic_k and q𝑞qitalic_q are eigenstates if they satisfy the Bethe Ansatz equations

e2ik(L+1)superscript𝑒2𝑖𝑘𝐿1\displaystyle e^{2ik(L+1)}italic_e start_POSTSUPERSCRIPT 2 italic_i italic_k ( italic_L + 1 ) end_POSTSUPERSCRIPT =K(k)S(k,q)S(k,q)absent𝐾𝑘𝑆𝑘𝑞𝑆𝑘𝑞\displaystyle=K(k)S(k,q)S(-k,q)= italic_K ( italic_k ) italic_S ( italic_k , italic_q ) italic_S ( - italic_k , italic_q ) (S.46)
e2iq(L+1)superscript𝑒2𝑖𝑞𝐿1\displaystyle e^{2iq(L+1)}italic_e start_POSTSUPERSCRIPT 2 italic_i italic_q ( italic_L + 1 ) end_POSTSUPERSCRIPT =K(q)S(q,k)S(q,k),absent𝐾𝑞𝑆𝑞𝑘𝑆𝑞𝑘\displaystyle=K(q)S(q,k)S(-q,k),= italic_K ( italic_q ) italic_S ( italic_q , italic_k ) italic_S ( - italic_q , italic_k ) , (S.47)

which when written explicitly takes the form

2cosk2iγJ2eik2cosk2iγJ2eik(sinksinq+2γsinksinq2γ)(sink+sinq2γsink+sinq+2γ)=ei2(L+1)k2cosq2iγJ2eiq2cosq2iγJ2eiq(sinksinq2γsinksinq+2γ)(sink+sinq2γsink+sinq+2γ)=ei2(L+1)q.2𝑘2𝑖𝛾superscript𝐽2superscript𝑒𝑖𝑘2𝑘2𝑖𝛾superscript𝐽2superscript𝑒𝑖𝑘𝑘𝑞2𝛾𝑘𝑞2𝛾𝑘𝑞2𝛾𝑘𝑞2𝛾superscript𝑒𝑖2𝐿1𝑘2𝑞2𝑖𝛾superscript𝐽2superscript𝑒𝑖𝑞2𝑞2𝑖𝛾superscript𝐽2superscript𝑒𝑖𝑞𝑘𝑞2𝛾𝑘𝑞2𝛾𝑘𝑞2𝛾𝑘𝑞2𝛾superscript𝑒𝑖2𝐿1𝑞\begin{split}-\frac{2\cos k-2i\gamma-J^{2}e^{ik}}{2\cos k-2i\gamma-J^{2}e^{-ik% }}\left(\frac{\sin k-\sin q+2\gamma}{\sin k-\sin q-2\gamma}\right)\left(\frac{% \sin k+\sin q-2\gamma}{\sin k+\sin q+2\gamma}\right)&=e^{i2(L+1)k}\\ -\frac{2\cos q-2i\gamma-J^{2}e^{iq}}{2\cos q-2i\gamma-J^{2}e^{-iq}}\left(\frac% {\sin k-\sin q-2\gamma}{\sin k-\sin q+2\gamma}\right)\left(\frac{\sin k+\sin q% -2\gamma}{\sin k+\sin q+2\gamma}\right)&=e^{i2(L+1)q}.\end{split}start_ROW start_CELL - divide start_ARG 2 roman_cos italic_k - 2 italic_i italic_γ - italic_J start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT italic_i italic_k end_POSTSUPERSCRIPT end_ARG start_ARG 2 roman_cos italic_k - 2 italic_i italic_γ - italic_J start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT - italic_i italic_k end_POSTSUPERSCRIPT end_ARG ( divide start_ARG roman_sin italic_k - roman_sin italic_q + 2 italic_γ end_ARG start_ARG roman_sin italic_k - roman_sin italic_q - 2 italic_γ end_ARG ) ( divide start_ARG roman_sin italic_k + roman_sin italic_q - 2 italic_γ end_ARG start_ARG roman_sin italic_k + roman_sin italic_q + 2 italic_γ end_ARG ) end_CELL start_CELL = italic_e start_POSTSUPERSCRIPT italic_i 2 ( italic_L + 1 ) italic_k end_POSTSUPERSCRIPT end_CELL end_ROW start_ROW start_CELL - divide start_ARG 2 roman_cos italic_q - 2 italic_i italic_γ - italic_J start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT italic_i italic_q end_POSTSUPERSCRIPT end_ARG start_ARG 2 roman_cos italic_q - 2 italic_i italic_γ - italic_J start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT - italic_i italic_q end_POSTSUPERSCRIPT end_ARG ( divide start_ARG roman_sin italic_k - roman_sin italic_q - 2 italic_γ end_ARG start_ARG roman_sin italic_k - roman_sin italic_q + 2 italic_γ end_ARG ) ( divide start_ARG roman_sin italic_k + roman_sin italic_q - 2 italic_γ end_ARG start_ARG roman_sin italic_k + roman_sin italic_q + 2 italic_γ end_ARG ) end_CELL start_CELL = italic_e start_POSTSUPERSCRIPT italic_i 2 ( italic_L + 1 ) italic_q end_POSTSUPERSCRIPT . end_CELL end_ROW (S.48)

The solution of k𝑘kitalic_k and q𝑞qitalic_q can be written as k=kR+ikI𝑘superscript𝑘𝑅𝑖superscript𝑘𝐼k=k^{R}+ik^{I}italic_k = italic_k start_POSTSUPERSCRIPT italic_R end_POSTSUPERSCRIPT + italic_i italic_k start_POSTSUPERSCRIPT italic_I end_POSTSUPERSCRIPT and q=qR+iqI𝑞superscript𝑞𝑅𝑖superscript𝑞𝐼q=q^{R}+iq^{I}italic_q = italic_q start_POSTSUPERSCRIPT italic_R end_POSTSUPERSCRIPT + italic_i italic_q start_POSTSUPERSCRIPT italic_I end_POSTSUPERSCRIPT.

IV.1 1. The free band (Roots with vanishing Imaginary part)

By taking the norm of Eq. (S.48), it is easy to see that

kI=12(L+1)ln|Sb(k)S(k,q)S(k,q)|,superscript𝑘𝐼12𝐿1subscript𝑆𝑏𝑘𝑆𝑘𝑞𝑆𝑘𝑞k^{I}=-\frac{1}{2(L+1)}\ln\lvert S_{b}(k)S(k,q)S(-k,q)\rvert,italic_k start_POSTSUPERSCRIPT italic_I end_POSTSUPERSCRIPT = - divide start_ARG 1 end_ARG start_ARG 2 ( italic_L + 1 ) end_ARG roman_ln | italic_S start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT ( italic_k ) italic_S ( italic_k , italic_q ) italic_S ( - italic_k , italic_q ) | , (S.49)

and the same for kq𝑘𝑞k\to qitalic_k → italic_q. One can see that as long as the scattering matrix is not singular, the imaginary part of the Bethe roots vanishes in the thermodynamic limit, and results in a real band of quasimomenta. In the thermodynamic limit, the imaginary part of the roots is given by replacing k=πn1L+1+ikI𝑘𝜋subscript𝑛1𝐿1𝑖superscript𝑘𝐼k=\frac{\pi n_{1}}{L+1}+ik^{I}italic_k = divide start_ARG italic_π italic_n start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_ARG start_ARG italic_L + 1 end_ARG + italic_i italic_k start_POSTSUPERSCRIPT italic_I end_POSTSUPERSCRIPT and q=πn2L+1+iqI𝑞𝜋subscript𝑛2𝐿1𝑖superscript𝑞𝐼q=\frac{\pi n_{2}}{L+1}+iq^{I}italic_q = divide start_ARG italic_π italic_n start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_ARG start_ARG italic_L + 1 end_ARG + italic_i italic_q start_POSTSUPERSCRIPT italic_I end_POSTSUPERSCRIPT.

IV.2 Roots with Finite Imaginary Part

As mentioned earlier, when the scattering matrix is singular, the Bethe roots have a non-vanishing imaginary part in the thermodynamic limit. Now let us consider different situations with different parts of the S-matrix being singular.

Refer to caption
Figure S.3: The upper two panels show the Liouvillian spectrum (top-left) and amplitude for the wavefunction in the double-bound mode (top-right) for J=3𝐽3J=3italic_J = 3, γ=0.5𝛾0.5\gamma=0.5italic_γ = 0.5 and L=30𝐿30L=30italic_L = 30. The perturbative calculation matches the exact diagonalization result better since γ𝛾\gammaitalic_γ is small. The lower two panels show the Liouvillian spectrum (bottom-left) and amplitude for the wavefunction in the double-bound mode (bottom-right) for J=3𝐽3J=3italic_J = 3, γ=2𝛾2\gamma=2italic_γ = 2 and L=30𝐿30L=30italic_L = 30. The two-site Hamiltonian calculation matches the exact diagonalization result better since γ𝛾\gammaitalic_γ is big. Also, wavefunctions for the both cases show that the particles are localized at the boundary more strongly and when γ𝛾\gammaitalic_γ is bigger.

IV.3 2. Boundary Mode Band

In the case where the boundary Slimit-from𝑆S-italic_S -matrix K𝐾Kitalic_K is singular, the bound mode exists and the singular term can be written as

2cosk2iγJ2eik=0,2𝑘2𝑖𝛾superscript𝐽2superscript𝑒𝑖𝑘02\cos k-2i\gamma-J^{2}e^{ik}=0,2 roman_cos italic_k - 2 italic_i italic_γ - italic_J start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT italic_i italic_k end_POSTSUPERSCRIPT = 0 , (S.50)

which leads to the constraint k>0𝑘0\Im k>0roman_ℑ italic_k > 0. Changing the variable to eik=xsuperscript𝑒𝑖𝑘𝑥e^{ik}=xitalic_e start_POSTSUPERSCRIPT italic_i italic_k end_POSTSUPERSCRIPT = italic_x, the equation becomes

(1J2)x22iγx+1=0,1superscript𝐽2superscript𝑥22𝑖𝛾𝑥10(1-J^{2})x^{2}-2i\gamma x+1=0,( 1 - italic_J start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) italic_x start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - 2 italic_i italic_γ italic_x + 1 = 0 , (S.51)

which has a solution

eik=±J21γ2iγJ21:=eϕ,superscript𝑒𝑖𝑘plus-or-minussuperscript𝐽21superscript𝛾2𝑖𝛾superscript𝐽21assignsuperscript𝑒italic-ϕe^{ik}=\frac{\pm\sqrt{J^{2}-1-\gamma^{2}}-i\gamma}{J^{2}-1}:=e^{-\phi},italic_e start_POSTSUPERSCRIPT italic_i italic_k end_POSTSUPERSCRIPT = divide start_ARG ± square-root start_ARG italic_J start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - 1 - italic_γ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG - italic_i italic_γ end_ARG start_ARG italic_J start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - 1 end_ARG := italic_e start_POSTSUPERSCRIPT - italic_ϕ end_POSTSUPERSCRIPT , (S.52)

under the assumption |eik|>1superscript𝑒𝑖𝑘1|e^{ik}|>1| italic_e start_POSTSUPERSCRIPT italic_i italic_k end_POSTSUPERSCRIPT | > 1. Plugging in k𝑘kitalic_k into the other equation gives the solution of q𝑞qitalic_q as

2cosq2iγJ2eiq2cosq2iγJ2eiq(sinksinq2γsinksinq+2γ)(sink+sinq2γsink+sinq+2γ)=ei2(L+1)q.2𝑞2𝑖𝛾superscript𝐽2superscript𝑒𝑖𝑞2𝑞2𝑖𝛾superscript𝐽2superscript𝑒𝑖𝑞𝑘𝑞2𝛾𝑘𝑞2𝛾𝑘𝑞2𝛾𝑘𝑞2𝛾superscript𝑒𝑖2𝐿1𝑞-\frac{2\cos q-2i\gamma-J^{2}e^{iq}}{2\cos q-2i\gamma-J^{2}e^{-iq}}\left(\frac% {\sin k-\sin q-2\gamma}{\sin k-\sin q+2\gamma}\right)\left(\frac{\sin k+\sin q% -2\gamma}{\sin k+\sin q+2\gamma}\right)=e^{i2(L+1)q}.- divide start_ARG 2 roman_cos italic_q - 2 italic_i italic_γ - italic_J start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT italic_i italic_q end_POSTSUPERSCRIPT end_ARG start_ARG 2 roman_cos italic_q - 2 italic_i italic_γ - italic_J start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT - italic_i italic_q end_POSTSUPERSCRIPT end_ARG ( divide start_ARG roman_sin italic_k - roman_sin italic_q - 2 italic_γ end_ARG start_ARG roman_sin italic_k - roman_sin italic_q + 2 italic_γ end_ARG ) ( divide start_ARG roman_sin italic_k + roman_sin italic_q - 2 italic_γ end_ARG start_ARG roman_sin italic_k + roman_sin italic_q + 2 italic_γ end_ARG ) = italic_e start_POSTSUPERSCRIPT italic_i 2 ( italic_L + 1 ) italic_q end_POSTSUPERSCRIPT . (S.53)

In the thermodynamic limit, q=n2πL+1𝑞subscript𝑛2𝜋𝐿1q=\frac{n_{2}\pi}{L+1}italic_q = divide start_ARG italic_n start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT italic_π end_ARG start_ARG italic_L + 1 end_ARG and q=iϕ𝑞𝑖italic-ϕq=i\phiitalic_q = italic_i italic_ϕ.

IV.4 3. Diffusive Band

In the L𝐿L\to\inftyitalic_L → ∞ limit, without lack of generality, we choose k1<0subscript𝑘10\Im k_{1}<0roman_ℑ italic_k start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT < 0. Then the bulk scattering matrix being singular indicates the solutions satisfy the string hypothesis in the way k2=k1+πsubscript𝑘2superscriptsubscript𝑘1𝜋k_{2}=k_{1}^{*}+\piitalic_k start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT = italic_k start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT + italic_π. These solutions form a band of solutions whose corresponding eigenvalues have a vanishing real part. Now we define k=k+ik𝑘𝑘𝑖𝑘k=\Re k+i\Im kitalic_k = roman_ℜ italic_k + italic_i roman_ℑ italic_k, then the S-matrix being singular also gives the relationship between k𝑘\Re kroman_ℜ italic_k and k𝑘\Im kroman_ℑ italic_k as

k=πarcsinγcoshk.𝑘𝜋𝛾𝑘\Re k=\pi-\arcsin\frac{\gamma}{\cosh\Im k}.roman_ℜ italic_k = italic_π - roman_arcsin divide start_ARG italic_γ end_ARG start_ARG roman_cosh roman_ℑ italic_k end_ARG . (S.54)

As a result, the eigenenergy is E=2itanhk4iγ𝐸2𝑖𝑘4𝑖𝛾E=2i\tanh\Im k-4i\gammaitalic_E = 2 italic_i roman_tanh roman_ℑ italic_k - 4 italic_i italic_γ, and the Bethe Ansatz equation can be written as the form of a Bethe-Gaudin-Takahashi (BGT) equation [82] as following

(2coskcoshki2sinksinhk2iγJ2ei(kk)2coskcoshki2sinksinhk2iγJ2ei(kk))2(2isinhkcosk+2γ2isinhkcosk2γ)2=ei4(L+1)k.superscript2𝑘𝑘𝑖2𝑘𝑘2𝑖𝛾superscript𝐽2superscript𝑒𝑖𝑘𝑘2𝑘𝑘𝑖2𝑘𝑘2𝑖𝛾superscript𝐽2superscript𝑒𝑖𝑘𝑘2superscript2𝑖𝑘𝑘2𝛾2𝑖𝑘𝑘2𝛾2superscript𝑒𝑖4𝐿1𝑘\left(\frac{2\cos\Re k\cosh\Im k-i2\sin\Re k\sinh\Im k-2i\gamma-J^{2}e^{i(\Re k% -\Im k)}}{2\cos\Re k\cosh\Im k-i2\sin\Re k\sinh\Im k-2i\gamma-J^{2}e^{-i(\Re k% -\Im k)}}\right)^{2}\left(\frac{2i\sinh\Im k\cos\Re k+2\gamma}{2i\sinh\Im k% \cos\Re k-2\gamma}\right)^{2}=e^{-i4(L+1)\Re k}.( divide start_ARG 2 roman_cos roman_ℜ italic_k roman_cosh roman_ℑ italic_k - italic_i 2 roman_sin roman_ℜ italic_k roman_sinh roman_ℑ italic_k - 2 italic_i italic_γ - italic_J start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT italic_i ( roman_ℜ italic_k - roman_ℑ italic_k ) end_POSTSUPERSCRIPT end_ARG start_ARG 2 roman_cos roman_ℜ italic_k roman_cosh roman_ℑ italic_k - italic_i 2 roman_sin roman_ℜ italic_k roman_sinh roman_ℑ italic_k - 2 italic_i italic_γ - italic_J start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT - italic_i ( roman_ℜ italic_k - roman_ℑ italic_k ) end_POSTSUPERSCRIPT end_ARG ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( divide start_ARG 2 italic_i roman_sinh roman_ℑ italic_k roman_cos roman_ℜ italic_k + 2 italic_γ end_ARG start_ARG 2 italic_i roman_sinh roman_ℑ italic_k roman_cos roman_ℜ italic_k - 2 italic_γ end_ARG ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = italic_e start_POSTSUPERSCRIPT - italic_i 4 ( italic_L + 1 ) roman_ℜ italic_k end_POSTSUPERSCRIPT . (S.55)

To solve this equation, it is easier to change the variable k=arccoshγz𝑘arccosh𝛾𝑧\Im k=\mathrm{arccosh}\frac{\gamma}{z}roman_ℑ italic_k = roman_arccosh divide start_ARG italic_γ end_ARG start_ARG italic_z end_ARG and take the logarithm on both sides of the equation which gives

2arcsin(zn)+𝒪(L1)=πnL2subscript𝑧𝑛𝒪superscript𝐿1𝜋𝑛𝐿2\arcsin(z_{n})+\mathcal{O}(L^{-1})=-\pi\frac{n}{L}2 roman_arcsin ( italic_z start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ) + caligraphic_O ( italic_L start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT ) = - italic_π divide start_ARG italic_n end_ARG start_ARG italic_L end_ARG (S.56)

with n=0,1,2,,L2𝑛012𝐿2n=0,1,2,...,L-2italic_n = 0 , 1 , 2 , … , italic_L - 2. This equation which look extremely simple gives the spectrum En=4iγ2sin(nπ2L)24iγ+𝒪(L3)E_{n}=4i\sqrt{\gamma^{2}-\sin\left(\frac{n\pi}{2L}\right)^{2}}-4i\gamma+% \mathcal{O}(L^{3})italic_E start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT = 4 italic_i square-root start_ARG italic_γ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - roman_sin ( divide start_ARG italic_n italic_π end_ARG start_ARG 2 italic_L end_ARG ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG - 4 italic_i italic_γ + caligraphic_O ( italic_L start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT ), which match the numerical solution extremely well as shown in Fig. S.3. This figure shows that the analytical calculation fits the exact diagonalization reasonably well when γ>1𝛾1\gamma>1italic_γ > 1 which the system is experiencing a true diffusive bulk. However, when γ<1𝛾1\gamma<1italic_γ < 1, the diffusive band mixes with the free band and results in a worse but reasonable prediction because we are not taking care about the contribution from the impurity.

Noticing k<0𝑘0\Im k<0roman_ℑ italic_k < 0 gives the constraint E>4γ𝐸4𝛾\Im E>-4\gammaroman_ℑ italic_E > - 4 italic_γ, and all solutions beyond this limit are not physical and should be dropped. Since coshk>1𝑘1\cosh\Im k>1roman_cosh roman_ℑ italic_k > 1, the largest imaginary energy is when k=0𝑘0\Im k=0roman_ℑ italic_k = 0, which gives k=πarcsinγ𝑘𝜋𝛾\Re k=\pi-\arcsin\gammaroman_ℜ italic_k = italic_π - roman_arcsin italic_γ and thus resulting the energy Emax=4iγ214iγsubscript𝐸𝑚𝑎𝑥4𝑖superscript𝛾214𝑖𝛾E_{max}=4i\sqrt{\gamma^{2}-1}-4i\gammaitalic_E start_POSTSUBSCRIPT italic_m italic_a italic_x end_POSTSUBSCRIPT = 4 italic_i square-root start_ARG italic_γ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - 1 end_ARG - 4 italic_i italic_γ. This is the lower bound of the dissipation band, and when |Emax|>4γsubscript𝐸𝑚𝑎𝑥4𝛾|E_{max}|>4\gamma| italic_E start_POSTSUBSCRIPT italic_m italic_a italic_x end_POSTSUBSCRIPT | > 4 italic_γ which can only happen when γ<1𝛾1\gamma<1italic_γ < 1 the dissipation band mixes with the free band.

IV.5 4. Double-Boundary Modes

As discussed in the main text, there is another solution when both the boundary S-matrix and the bulk S-matrix are singular. Such a mode physically describes two particles (in the imaginary Hubbard model) that are both exponentially localized at the of the chain and they experience a strong imaginary Hubbard interaction. The existence of these two states is discussed in the main text with a phase diagram in Fig.1(d). However, we are not able to separate these two singularities, so we treat them in two limits. When γ<1𝛾1\gamma<1italic_γ < 1, the double-bound mode is perturbatively connected to the case when both particles form a noiseless bound mode, which means that

Gk0,k0(x,y)=𝒩1Jxeik0x1Jyeik0ysubscript𝐺subscript𝑘0subscript𝑘0𝑥𝑦𝒩1subscript𝐽𝑥superscript𝑒𝑖subscript𝑘0𝑥1subscript𝐽𝑦superscript𝑒𝑖subscript𝑘0𝑦G_{k_{0},k_{0}}(x,y)=\mathcal{N}\frac{1}{J_{x}}e^{-ik_{0}x}\frac{1}{J_{y}}e^{-% ik_{0}y}italic_G start_POSTSUBSCRIPT italic_k start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT , italic_k start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_POSTSUBSCRIPT ( italic_x , italic_y ) = caligraphic_N divide start_ARG 1 end_ARG start_ARG italic_J start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT end_ARG italic_e start_POSTSUPERSCRIPT - italic_i italic_k start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT italic_x end_POSTSUPERSCRIPT divide start_ARG 1 end_ARG start_ARG italic_J start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT end_ARG italic_e start_POSTSUPERSCRIPT - italic_i italic_k start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT italic_y end_POSTSUPERSCRIPT (S.57)

with k0=i2log(J21)+πsubscript𝑘0𝑖2superscript𝐽21𝜋k_{0}=\frac{i}{2}\log(J^{2}-1)+\piitalic_k start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT = divide start_ARG italic_i end_ARG start_ARG 2 end_ARG roman_log ( italic_J start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - 1 ) + italic_π or k0=i2log(J21)subscript𝑘0𝑖2superscript𝐽21k_{0}=\frac{i}{2}\log(J^{2}-1)italic_k start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT = divide start_ARG italic_i end_ARG start_ARG 2 end_ARG roman_log ( italic_J start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - 1 ) and 𝒩=1J2+e2ik01e2ik0𝒩1superscript𝐽2superscript𝑒2𝑖subscript𝑘01superscript𝑒2𝑖subscript𝑘0\mathcal{N}=\frac{1}{J^{2}}+\frac{e^{-2ik_{0}}}{1-e^{-2ik_{0}}}caligraphic_N = divide start_ARG 1 end_ARG start_ARG italic_J start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG + divide start_ARG italic_e start_POSTSUPERSCRIPT - 2 italic_i italic_k start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_POSTSUPERSCRIPT end_ARG start_ARG 1 - italic_e start_POSTSUPERSCRIPT - 2 italic_i italic_k start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_POSTSUPERSCRIPT end_ARG being the normalization factor. Then the eigenvalue of this double-bound mode reads

E=4cosk04iγ+4iγ[x=1LGk0,k0(x,x)2+Gk0,k0(0,0)]+𝒪(γ2),𝐸4subscript𝑘04𝑖𝛾4𝑖𝛾delimited-[]superscriptsubscript𝑥1𝐿subscript𝐺subscript𝑘0subscript𝑘0superscript𝑥𝑥2subscript𝐺subscript𝑘0subscript𝑘000𝒪superscript𝛾2E=4\cos k_{0}-4i\gamma+4i\gamma\left[\sum_{x=1}^{L}G_{k_{0},k_{0}}(x,x)^{2}+G_% {k_{0},k_{0}}(0,0)\right]+\mathcal{O}(\gamma^{2}),italic_E = 4 roman_cos italic_k start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT - 4 italic_i italic_γ + 4 italic_i italic_γ [ ∑ start_POSTSUBSCRIPT italic_x = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_L end_POSTSUPERSCRIPT italic_G start_POSTSUBSCRIPT italic_k start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT , italic_k start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_POSTSUBSCRIPT ( italic_x , italic_x ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_G start_POSTSUBSCRIPT italic_k start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT , italic_k start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_POSTSUBSCRIPT ( 0 , 0 ) ] + caligraphic_O ( italic_γ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) , (S.58)

and when γ>1𝛾1\gamma>1italic_γ > 1, the bound mode is more localized on the boundary (decays faster) as one can see from the single boundary bound mode. Then we can treat it by solving a two-site Hamiltonian (L=2𝐿2L=2italic_L = 2) as

h=(0JJ0J2iγ0JJ02iγJ0JJ0),matrix0𝐽𝐽0𝐽2𝑖𝛾0𝐽𝐽02𝑖𝛾𝐽0𝐽𝐽0h=\begin{pmatrix}0&-J&-J&0\\ -J&-2i\gamma&0&-J\\ -J&0&-2i\gamma&-J\\ 0&-J&-J&0\end{pmatrix},italic_h = ( start_ARG start_ROW start_CELL 0 end_CELL start_CELL - italic_J end_CELL start_CELL - italic_J end_CELL start_CELL 0 end_CELL end_ROW start_ROW start_CELL - italic_J end_CELL start_CELL - 2 italic_i italic_γ end_CELL start_CELL 0 end_CELL start_CELL - italic_J end_CELL end_ROW start_ROW start_CELL - italic_J end_CELL start_CELL 0 end_CELL start_CELL - 2 italic_i italic_γ end_CELL start_CELL - italic_J end_CELL end_ROW start_ROW start_CELL 0 end_CELL start_CELL - italic_J end_CELL start_CELL - italic_J end_CELL start_CELL 0 end_CELL end_ROW end_ARG ) , (S.59)

which has two boundary bound mode with energy E±=iγ±4J2γ2subscript𝐸plus-or-minusplus-or-minus𝑖𝛾4superscript𝐽2superscript𝛾2E_{\pm}=-i\gamma\pm\sqrt{4J^{2}-\gamma^{2}}italic_E start_POSTSUBSCRIPT ± end_POSTSUBSCRIPT = - italic_i italic_γ ± square-root start_ARG 4 italic_J start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - italic_γ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG. It is a double-bound mode only when E0𝐸0\Re E\neq 0roman_ℜ italic_E ≠ 0 which gives the boundary between the Kondo phase and the bound mode phase at the large limit γ𝛾\gammaitalic_γ as J=γ/2𝐽𝛾2J=\gamma/2italic_J = italic_γ / 2.

V N-particle Bethe Ansatz

As mentioned earlier, the XX chain with boundary impurity maps to the open boundary condition Hubbard model with boundary impurity given by

H=j=1L1σ=,(cj,σcj+1,σ+cj+1,σcj,σ)+J(c0,σc1,σ+c1,σc0,σ)+4iγj=1Lnj,nj,2iγj=1Lσ=,nj,σ.𝐻superscriptsubscript𝑗1𝐿1subscript𝜎subscriptsuperscript𝑐𝑗𝜎subscript𝑐𝑗1𝜎subscriptsuperscript𝑐𝑗1𝜎subscript𝑐𝑗𝜎𝐽subscriptsuperscript𝑐0𝜎subscript𝑐1𝜎subscriptsuperscript𝑐1𝜎subscript𝑐0𝜎4𝑖𝛾superscriptsubscript𝑗1𝐿subscript𝑛𝑗subscript𝑛𝑗2𝑖𝛾superscriptsubscript𝑗1𝐿subscript𝜎subscript𝑛𝑗𝜎H=\sum_{j=1}^{L-1}\sum_{\sigma=\uparrow,\downarrow}(c^{\dagger}_{j,\sigma}c_{j% +1,\sigma}+c^{\dagger}_{j+1,\sigma}c_{j,\sigma})+J(c^{\dagger}_{0,\sigma}c_{1,% \sigma}+c^{\dagger}_{1,\sigma}c_{0,\sigma})+4i\gamma\sum_{j=1}^{L}n_{j,% \uparrow}n_{j,\downarrow}-2i\gamma\sum_{j=1}^{L}\sum_{\sigma=\uparrow,% \downarrow}n_{j,\sigma}.italic_H = ∑ start_POSTSUBSCRIPT italic_j = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_L - 1 end_POSTSUPERSCRIPT ∑ start_POSTSUBSCRIPT italic_σ = ↑ , ↓ end_POSTSUBSCRIPT ( italic_c start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_j , italic_σ end_POSTSUBSCRIPT italic_c start_POSTSUBSCRIPT italic_j + 1 , italic_σ end_POSTSUBSCRIPT + italic_c start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_j + 1 , italic_σ end_POSTSUBSCRIPT italic_c start_POSTSUBSCRIPT italic_j , italic_σ end_POSTSUBSCRIPT ) + italic_J ( italic_c start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 0 , italic_σ end_POSTSUBSCRIPT italic_c start_POSTSUBSCRIPT 1 , italic_σ end_POSTSUBSCRIPT + italic_c start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 1 , italic_σ end_POSTSUBSCRIPT italic_c start_POSTSUBSCRIPT 0 , italic_σ end_POSTSUBSCRIPT ) + 4 italic_i italic_γ ∑ start_POSTSUBSCRIPT italic_j = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_L end_POSTSUPERSCRIPT italic_n start_POSTSUBSCRIPT italic_j , ↑ end_POSTSUBSCRIPT italic_n start_POSTSUBSCRIPT italic_j , ↓ end_POSTSUBSCRIPT - 2 italic_i italic_γ ∑ start_POSTSUBSCRIPT italic_j = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_L end_POSTSUPERSCRIPT ∑ start_POSTSUBSCRIPT italic_σ = ↑ , ↓ end_POSTSUBSCRIPT italic_n start_POSTSUBSCRIPT italic_j , italic_σ end_POSTSUBSCRIPT . (S.60)

As shown in [71], the boundary scattering matrix is

Sbj(k)=e2ikjJ2+e2ikj+1J2+(1+e2ikj)=e2ikJ2cos(kj)iJ2sin(kj)J2cos(kj)2cos(kj)+iJ2sin(kj)J2cos(kj),subscript𝑆subscript𝑏𝑗𝑘superscript𝑒2𝑖subscript𝑘𝑗superscript𝐽2superscript𝑒2𝑖subscript𝑘𝑗1superscript𝐽21superscript𝑒2𝑖subscript𝑘𝑗superscript𝑒2𝑖subscript𝑘𝐽2subscript𝑘𝑗𝑖superscript𝐽2subscript𝑘𝑗superscript𝐽2subscript𝑘𝑗2subscript𝑘𝑗𝑖superscript𝐽2subscript𝑘𝑗superscript𝐽2subscript𝑘𝑗S_{b_{j}}(k)=\frac{-e^{2ik_{j}}J^{2}+e^{2ik_{j}}+1}{-J^{2}+\left(1+e^{2ik_{j}}% \right)}=e^{2ik_{J}}\frac{2\cos(k_{j})-iJ^{2}\sin(k_{j})-J^{2}\cos(k_{j})}{2% \cos(k_{j})+iJ^{2}\sin(k_{j})-J^{2}\cos(k_{j})},italic_S start_POSTSUBSCRIPT italic_b start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT end_POSTSUBSCRIPT ( italic_k ) = divide start_ARG - italic_e start_POSTSUPERSCRIPT 2 italic_i italic_k start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT end_POSTSUPERSCRIPT italic_J start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_e start_POSTSUPERSCRIPT 2 italic_i italic_k start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT end_POSTSUPERSCRIPT + 1 end_ARG start_ARG - italic_J start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + ( 1 + italic_e start_POSTSUPERSCRIPT 2 italic_i italic_k start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT end_POSTSUPERSCRIPT ) end_ARG = italic_e start_POSTSUPERSCRIPT 2 italic_i italic_k start_POSTSUBSCRIPT italic_J end_POSTSUBSCRIPT end_POSTSUPERSCRIPT divide start_ARG 2 roman_cos ( italic_k start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ) - italic_i italic_J start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT roman_sin ( italic_k start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ) - italic_J start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT roman_cos ( italic_k start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ) end_ARG start_ARG 2 roman_cos ( italic_k start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ) + italic_i italic_J start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT roman_sin ( italic_k start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ) - italic_J start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT roman_cos ( italic_k start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ) end_ARG , (S.61)

and the Bulk S-matrix, as first calculated by Lieb and Wu for real values of U, is given by

Sj,l=sin(kj)sin(kl)2γPj,lsin(kj)sin(kl)2γ,subscript𝑆𝑗𝑙subscript𝑘𝑗subscript𝑘𝑙2𝛾subscript𝑃𝑗𝑙subscript𝑘𝑗subscript𝑘𝑙2𝛾S_{j,l}=\frac{\sin(k_{j})-\sin(k_{l})-2\gamma P_{j,l}}{\sin(k_{j})-\sin(k_{l})% -2\gamma},italic_S start_POSTSUBSCRIPT italic_j , italic_l end_POSTSUBSCRIPT = divide start_ARG roman_sin ( italic_k start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ) - roman_sin ( italic_k start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT ) - 2 italic_γ italic_P start_POSTSUBSCRIPT italic_j , italic_l end_POSTSUBSCRIPT end_ARG start_ARG roman_sin ( italic_k start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ) - roman_sin ( italic_k start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT ) - 2 italic_γ end_ARG , (S.62)

where Pj,lsubscript𝑃𝑗𝑙P_{j,l}italic_P start_POSTSUBSCRIPT italic_j , italic_l end_POSTSUBSCRIPT is the permutation operator.

Now, the usual Bethe Ansatz routine can be employed. It is very important to notice that the boundary Slimit-from𝑆S-italic_S -matrix does not depend on the spin variable but the bulk Slimit-from𝑆S-italic_S -matrix depends on the spin variable (through the permutation operator). The Yang-Baxter equation is therefore trivially satisfied, thereby proving that the model is integrable.

Following [87, 66], we construct the N-particle Bethe Ansatz of the model using the functional Bethe Ansatz method. Let us consider the rational solution of the six-vertex model

Rij(u)=u+ηPij,subscript𝑅𝑖𝑗𝑢𝑢𝜂subscript𝑃𝑖𝑗R_{ij}(u)=u+\eta P_{ij},italic_R start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT ( italic_u ) = italic_u + italic_η italic_P start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT , (S.63)

where we will consider the crossing parameter η=2γ𝜂2𝛾\eta=-2\gammaitalic_η = - 2 italic_γ.

Then for the open boundary condition, we consider the double-row transfer matrix

T0(λ)subscript𝑇0𝜆\displaystyle T_{0}(\lambda)italic_T start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ( italic_λ ) =R0,N(λsin(kN))R0,N1(λsin(kN1))R0,2(λsin(k2))R0,1(λsin(k1))absentsubscript𝑅0𝑁𝜆subscript𝑘𝑁subscript𝑅0𝑁1𝜆subscript𝑘subscript𝑁1subscript𝑅02𝜆subscript𝑘2subscript𝑅01𝜆subscript𝑘1\displaystyle=R_{0,N}(\lambda-\sin(k_{N}))R_{0,N-1}(\lambda-\sin(k_{N_{1}}))% \cdots R_{0,2}(\lambda-\sin(k_{2}))R_{0,1}(\lambda-\sin(k_{1}))= italic_R start_POSTSUBSCRIPT 0 , italic_N end_POSTSUBSCRIPT ( italic_λ - roman_sin ( italic_k start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT ) ) italic_R start_POSTSUBSCRIPT 0 , italic_N - 1 end_POSTSUBSCRIPT ( italic_λ - roman_sin ( italic_k start_POSTSUBSCRIPT italic_N start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUBSCRIPT ) ) ⋯ italic_R start_POSTSUBSCRIPT 0 , 2 end_POSTSUBSCRIPT ( italic_λ - roman_sin ( italic_k start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) ) italic_R start_POSTSUBSCRIPT 0 , 1 end_POSTSUBSCRIPT ( italic_λ - roman_sin ( italic_k start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) )
T^0(λ)subscript^𝑇0𝜆\displaystyle\hat{T}_{0}(\lambda)over^ start_ARG italic_T end_ARG start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ( italic_λ ) =R0,1(λ+sin(k1))R0,2(λ+sin(k2))R0,N1(λ+sin(kN1))R0,N(λ+sin(kN))absentsubscript𝑅01𝜆subscript𝑘1subscript𝑅02𝜆subscript𝑘2subscript𝑅0𝑁1𝜆subscript𝑘subscript𝑁1subscript𝑅0𝑁𝜆subscript𝑘𝑁\displaystyle=R_{0,1}(\lambda+\sin(k_{1}))R_{0,2}(\lambda+\sin(k_{2}))\cdots R% _{0,N-1}(\lambda+\sin(k_{N_{1}}))R_{0,N}(\lambda+\sin(k_{N}))= italic_R start_POSTSUBSCRIPT 0 , 1 end_POSTSUBSCRIPT ( italic_λ + roman_sin ( italic_k start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) ) italic_R start_POSTSUBSCRIPT 0 , 2 end_POSTSUBSCRIPT ( italic_λ + roman_sin ( italic_k start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) ) ⋯ italic_R start_POSTSUBSCRIPT 0 , italic_N - 1 end_POSTSUBSCRIPT ( italic_λ + roman_sin ( italic_k start_POSTSUBSCRIPT italic_N start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUBSCRIPT ) ) italic_R start_POSTSUBSCRIPT 0 , italic_N end_POSTSUBSCRIPT ( italic_λ + roman_sin ( italic_k start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT ) )

Now, we define the monodromy matrix

Ξ(λ)=T0(λ)T^(λ).Ξ𝜆subscript𝑇0𝜆^𝑇𝜆\Xi(\lambda)=T_{0}(\lambda)\hat{T}(\lambda).roman_Ξ ( italic_λ ) = italic_T start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ( italic_λ ) over^ start_ARG italic_T end_ARG ( italic_λ ) . (S.64)

The trace of the monodromy matrix over the auxiliary space is defined as the double-row transfer matrix

t(λ)=tr0Ξ(λ).𝑡𝜆subscripttr0Ξ𝜆t(\lambda)=\operatorname{tr}_{0}\Xi(\lambda).italic_t ( italic_λ ) = roman_tr start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT roman_Ξ ( italic_λ ) . (S.65)

It is quite easy to see that the transfer matrix forms a one-parameter family of commuting operators i.e.

[t(λ),t(ρ)]=0.𝑡𝜆𝑡𝜌0[t(\lambda),t(\rho)]=0.[ italic_t ( italic_λ ) , italic_t ( italic_ρ ) ] = 0 . (S.66)

First notice that using coordinate Bethe Ansatz, one can immediately construct the eigenvalue problem for the transfer matrix

τj=subscript𝜏𝑗absent\displaystyle\tau_{j}=italic_τ start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT = Sj1,j(kj1,kj)S1,j(k1,kj)Sbj(kj)Sj,1(kj,k1)Sj,j1(kj,kj1)subscript𝑆𝑗1𝑗subscript𝑘𝑗1subscript𝑘𝑗subscript𝑆1𝑗subscript𝑘1subscript𝑘𝑗subscript𝑆subscript𝑏𝑗subscript𝑘𝑗subscript𝑆𝑗1subscript𝑘𝑗subscript𝑘1subscript𝑆𝑗𝑗1subscript𝑘𝑗subscript𝑘𝑗1\displaystyle S_{j-1,j}\left(k_{j-1},k_{j}\right)\cdots S_{1,j}\left(k_{1},k_{% j}\right){S_{b_{j}}}\left(k_{j}\right)S_{j,1}\left(-k_{j},k_{1}\right)S_{j,j-1% }\left(-k_{j},k_{j-1}\right)italic_S start_POSTSUBSCRIPT italic_j - 1 , italic_j end_POSTSUBSCRIPT ( italic_k start_POSTSUBSCRIPT italic_j - 1 end_POSTSUBSCRIPT , italic_k start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ) ⋯ italic_S start_POSTSUBSCRIPT 1 , italic_j end_POSTSUBSCRIPT ( italic_k start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , italic_k start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ) italic_S start_POSTSUBSCRIPT italic_b start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT end_POSTSUBSCRIPT ( italic_k start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ) italic_S start_POSTSUBSCRIPT italic_j , 1 end_POSTSUBSCRIPT ( - italic_k start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT , italic_k start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) italic_S start_POSTSUBSCRIPT italic_j , italic_j - 1 end_POSTSUBSCRIPT ( - italic_k start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT , italic_k start_POSTSUBSCRIPT italic_j - 1 end_POSTSUBSCRIPT ) (S.67)
Sj,j+1(kj,kj+1)Sj,N(kj,kN)SN,j(kN,kj)Sj+1,j(kj+1,kj).subscript𝑆𝑗𝑗1subscript𝑘𝑗subscript𝑘𝑗1subscript𝑆𝑗𝑁subscript𝑘𝑗subscript𝑘𝑁subscript𝑆𝑁𝑗subscript𝑘𝑁subscript𝑘𝑗subscript𝑆𝑗1𝑗subscript𝑘𝑗1subscript𝑘𝑗\displaystyle S_{j,j+1}\left(-k_{j},k_{j+1}\right)\cdots S_{j,N}\left(-k_{j},k% _{N}\right)S_{N,j}\left(k_{N},k_{j}\right)\cdots S_{j+1,j}\left(k_{j+1},k_{j}% \right).italic_S start_POSTSUBSCRIPT italic_j , italic_j + 1 end_POSTSUBSCRIPT ( - italic_k start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT , italic_k start_POSTSUBSCRIPT italic_j + 1 end_POSTSUBSCRIPT ) ⋯ italic_S start_POSTSUBSCRIPT italic_j , italic_N end_POSTSUBSCRIPT ( - italic_k start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT , italic_k start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT ) italic_S start_POSTSUBSCRIPT italic_N , italic_j end_POSTSUBSCRIPT ( italic_k start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT , italic_k start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ) ⋯ italic_S start_POSTSUBSCRIPT italic_j + 1 , italic_j end_POSTSUBSCRIPT ( italic_k start_POSTSUBSCRIPT italic_j + 1 end_POSTSUBSCRIPT , italic_k start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ) .

Upon identification of the relation between the spectral parameter valued double-row transfer matrix t(λ)𝑡𝜆t(\lambda)italic_t ( italic_λ ) and the transfer matrix obtained from the coordinate Bethe Ansatz τjsubscript𝜏𝑗\tau_{j}italic_τ start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT via

τj/Sbj(kj)=t(sin(kj))η(sin(kj)η)ljN(sin(kj)sin(kl)η)(sin(kj)+sin(kl)η)subscript𝜏𝑗subscript𝑆subscript𝑏𝑗subscript𝑘𝑗𝑡subscript𝑘𝑗𝜂subscript𝑘𝑗𝜂superscriptsubscriptproduct𝑙𝑗𝑁subscript𝑘𝑗subscript𝑘𝑙𝜂subscript𝑘𝑗subscript𝑘𝑙𝜂\tau_{j}/S_{b_{j}}(k_{j})=\frac{t(-\sin(k_{j}))}{\eta(\sin(k_{j})-\eta)\prod_{% l\neq j}^{N}(\sin(k_{j})-\sin(k_{l})-\eta)(\sin(k_{j})+\sin(k_{l})-\eta)}italic_τ start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT / italic_S start_POSTSUBSCRIPT italic_b start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT end_POSTSUBSCRIPT ( italic_k start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ) = divide start_ARG italic_t ( - roman_sin ( italic_k start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ) ) end_ARG start_ARG italic_η ( roman_sin ( italic_k start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ) - italic_η ) ∏ start_POSTSUBSCRIPT italic_l ≠ italic_j end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_N end_POSTSUPERSCRIPT ( roman_sin ( italic_k start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ) - roman_sin ( italic_k start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT ) - italic_η ) ( roman_sin ( italic_k start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ) + roman_sin ( italic_k start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT ) - italic_η ) end_ARG (S.68)

Once again, the boundary Slimit-from𝑆S-italic_S -matrix Sbjsubscript𝑆subscript𝑏𝑗S_{b_{j}}italic_S start_POSTSUBSCRIPT italic_b start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT end_POSTSUBSCRIPT is independent of a spin variable; it is just a phase that trivially commutes with bulk Slimit-from𝑆S-italic_S -matrices.

The eigenvalue of the transfer matrix satisfies the TQ𝑇𝑄T-Qitalic_T - italic_Q relation

Λ(λ)Λ𝜆\displaystyle\Lambda(\lambda)roman_Λ ( italic_λ ) =j=1N2λ+2η2λ+η(λsinkj+η)(λ+sinkj+η)Q(λη)Q(λ)absentsuperscriptsubscriptproduct𝑗1𝑁2𝜆2𝜂2𝜆𝜂𝜆subscript𝑘𝑗𝜂𝜆subscript𝑘𝑗𝜂𝑄𝜆𝜂𝑄𝜆\displaystyle=\prod_{j=1}^{N}\frac{2\lambda+2\eta}{2\lambda+\eta}\left(\lambda% -\sin k_{j}+\eta\right)\left(\lambda+\sin k_{j}+\eta\right)\frac{Q(\lambda-% \eta)}{Q(\lambda)}= ∏ start_POSTSUBSCRIPT italic_j = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_N end_POSTSUPERSCRIPT divide start_ARG 2 italic_λ + 2 italic_η end_ARG start_ARG 2 italic_λ + italic_η end_ARG ( italic_λ - roman_sin italic_k start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT + italic_η ) ( italic_λ + roman_sin italic_k start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT + italic_η ) divide start_ARG italic_Q ( italic_λ - italic_η ) end_ARG start_ARG italic_Q ( italic_λ ) end_ARG
+j=1N2λ2λ+η(λsinkj)(λ+sinkj)Q(λ+η)Q(λ),superscriptsubscriptproduct𝑗1𝑁2𝜆2𝜆𝜂𝜆subscript𝑘𝑗𝜆subscript𝑘𝑗𝑄𝜆𝜂𝑄𝜆\displaystyle\quad+\prod_{j=1}^{N}\frac{2\lambda}{2\lambda+\eta}\left(\lambda-% \sin k_{j}\right)\left(\lambda+\sin k_{j}\right)\frac{Q(\lambda+\eta)}{Q(% \lambda)},+ ∏ start_POSTSUBSCRIPT italic_j = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_N end_POSTSUPERSCRIPT divide start_ARG 2 italic_λ end_ARG start_ARG 2 italic_λ + italic_η end_ARG ( italic_λ - roman_sin italic_k start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ) ( italic_λ + roman_sin italic_k start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ) divide start_ARG italic_Q ( italic_λ + italic_η ) end_ARG start_ARG italic_Q ( italic_λ ) end_ARG , (S.69)

where the Q𝑄Qitalic_Q function is

Q(λ)=l=1M(λλl)(λ+λl+η).𝑄𝜆superscriptsubscriptproduct𝑙1𝑀𝜆subscript𝜆𝑙𝜆subscript𝜆𝑙𝜂Q(\lambda)=\prod_{l=1}^{M}(\lambda-\lambda_{l})(\lambda+\lambda_{l}+\eta).italic_Q ( italic_λ ) = ∏ start_POSTSUBSCRIPT italic_l = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_M end_POSTSUPERSCRIPT ( italic_λ - italic_λ start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT ) ( italic_λ + italic_λ start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT + italic_η ) . (S.70)

Imposing the regularity condition of the TQ𝑇𝑄T-Qitalic_T - italic_Q relation immediately gives the Bethe equation

λj+ηλjj=1Nλjsin(kj)+ηλjsin(kj)λj+sin(kj)+ηλj+sin(kj)=l=1Mλjλl+ηλjλlηλj+λl+2ηλj+λl.subscript𝜆𝑗𝜂subscript𝜆𝑗superscriptsubscriptproduct𝑗1𝑁subscript𝜆𝑗subscript𝑘𝑗𝜂subscript𝜆𝑗subscript𝑘𝑗subscript𝜆𝑗subscript𝑘𝑗𝜂subscript𝜆𝑗subscript𝑘𝑗superscriptsubscriptproduct𝑙1𝑀subscript𝜆𝑗subscript𝜆𝑙𝜂subscript𝜆𝑗subscript𝜆𝑙𝜂subscript𝜆𝑗subscript𝜆𝑙2𝜂subscript𝜆𝑗subscript𝜆𝑙\frac{\lambda_{j}+\eta}{\lambda_{j}}\prod_{j=1}^{N}\frac{\lambda_{j}-\sin(k_{j% })+\eta}{\lambda_{j}-\sin(k_{j})}\frac{\lambda_{j}+\sin(k_{j})+\eta}{\lambda_{% j}+\sin(k_{j})}=-\prod_{l=1}^{M}\frac{\lambda_{j}-\lambda_{l}+\eta}{\lambda_{j% }-\lambda_{l}-\eta}\frac{\lambda_{j}+\lambda_{l}+2\eta}{\lambda_{j}+\lambda_{l% }}.divide start_ARG italic_λ start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT + italic_η end_ARG start_ARG italic_λ start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT end_ARG ∏ start_POSTSUBSCRIPT italic_j = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_N end_POSTSUPERSCRIPT divide start_ARG italic_λ start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT - roman_sin ( italic_k start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ) + italic_η end_ARG start_ARG italic_λ start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT - roman_sin ( italic_k start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ) end_ARG divide start_ARG italic_λ start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT + roman_sin ( italic_k start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ) + italic_η end_ARG start_ARG italic_λ start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT + roman_sin ( italic_k start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ) end_ARG = - ∏ start_POSTSUBSCRIPT italic_l = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_M end_POSTSUPERSCRIPT divide start_ARG italic_λ start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT - italic_λ start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT + italic_η end_ARG start_ARG italic_λ start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT - italic_λ start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT - italic_η end_ARG divide start_ARG italic_λ start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT + italic_λ start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT + 2 italic_η end_ARG start_ARG italic_λ start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT + italic_λ start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT end_ARG . (S.71)

To make the equations more symmetric, we change the variable λλη/2𝜆𝜆𝜂2\lambda\to\lambda-\eta/2italic_λ → italic_λ - italic_η / 2, such that the Bethe equations becomes

λj+η2λjη2j=1Nλjsin(kj)+η2λjsin(kj)η2λj+sin(kj)+η2λj+sin(kj)η2=l=1Mλjλl+ηλjλlηλj+λl+ηλj+λlη.subscript𝜆𝑗𝜂2subscript𝜆𝑗𝜂2superscriptsubscriptproduct𝑗1𝑁subscript𝜆𝑗subscript𝑘𝑗𝜂2subscript𝜆𝑗subscript𝑘𝑗𝜂2subscript𝜆𝑗subscript𝑘𝑗𝜂2subscript𝜆𝑗subscript𝑘𝑗𝜂2superscriptsubscriptproduct𝑙1𝑀subscript𝜆𝑗subscript𝜆𝑙𝜂subscript𝜆𝑗subscript𝜆𝑙𝜂subscript𝜆𝑗subscript𝜆𝑙𝜂subscript𝜆𝑗subscript𝜆𝑙𝜂\frac{\lambda_{j}+\frac{\eta}{2}}{\lambda_{j}-\frac{\eta}{2}}\prod_{j=1}^{N}% \frac{\lambda_{j}-\sin(k_{j})+\frac{\eta}{2}}{\lambda_{j}-\sin(k_{j})-\frac{% \eta}{2}}\frac{\lambda_{j}+\sin(k_{j})+\frac{\eta}{2}}{\lambda_{j}+\sin(k_{j})% -\frac{\eta}{2}}=-\prod_{l=1}^{M}\frac{\lambda_{j}-\lambda_{l}+\eta}{\lambda_{% j}-\lambda_{l}-\eta}\frac{\lambda_{j}+\lambda_{l}+\eta}{\lambda_{j}+\lambda_{l% }-\eta}.divide start_ARG italic_λ start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT + divide start_ARG italic_η end_ARG start_ARG 2 end_ARG end_ARG start_ARG italic_λ start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT - divide start_ARG italic_η end_ARG start_ARG 2 end_ARG end_ARG ∏ start_POSTSUBSCRIPT italic_j = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_N end_POSTSUPERSCRIPT divide start_ARG italic_λ start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT - roman_sin ( italic_k start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ) + divide start_ARG italic_η end_ARG start_ARG 2 end_ARG end_ARG start_ARG italic_λ start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT - roman_sin ( italic_k start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ) - divide start_ARG italic_η end_ARG start_ARG 2 end_ARG end_ARG divide start_ARG italic_λ start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT + roman_sin ( italic_k start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ) + divide start_ARG italic_η end_ARG start_ARG 2 end_ARG end_ARG start_ARG italic_λ start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT + roman_sin ( italic_k start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ) - divide start_ARG italic_η end_ARG start_ARG 2 end_ARG end_ARG = - ∏ start_POSTSUBSCRIPT italic_l = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_M end_POSTSUPERSCRIPT divide start_ARG italic_λ start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT - italic_λ start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT + italic_η end_ARG start_ARG italic_λ start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT - italic_λ start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT - italic_η end_ARG divide start_ARG italic_λ start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT + italic_λ start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT + italic_η end_ARG start_ARG italic_λ start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT + italic_λ start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT - italic_η end_ARG . (S.72)

From Eq. (S.68), upon using the shift λλη/2𝜆𝜆𝜂2\lambda\to\lambda-\eta/2italic_λ → italic_λ - italic_η / 2 we obtain

e2ikjL/Sbj(kj)=l=1Msinkjλl+η2sinkjλlη2sinkj+λl+η2sinkj+λlη2.superscript𝑒2𝑖subscript𝑘𝑗𝐿subscript𝑆subscript𝑏𝑗subscript𝑘𝑗superscriptsubscriptproduct𝑙1𝑀subscript𝑘𝑗subscript𝜆𝑙𝜂2subscript𝑘𝑗subscript𝜆𝑙𝜂2subscript𝑘𝑗subscript𝜆𝑙𝜂2subscript𝑘𝑗subscript𝜆𝑙𝜂2e^{-2ik_{j}L}/S_{b_{j}}(k_{j})=\prod_{l=1}^{M}\frac{\sin k_{j}-\lambda_{l}+% \frac{\eta}{2}}{\sin k_{j}-\lambda_{l}-\frac{\eta}{2}}\frac{\sin k_{j}+\lambda% _{l}+\frac{\eta}{2}}{\sin k_{j}+\lambda_{l}-\frac{\eta}{2}}.italic_e start_POSTSUPERSCRIPT - 2 italic_i italic_k start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT italic_L end_POSTSUPERSCRIPT / italic_S start_POSTSUBSCRIPT italic_b start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT end_POSTSUBSCRIPT ( italic_k start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ) = ∏ start_POSTSUBSCRIPT italic_l = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_M end_POSTSUPERSCRIPT divide start_ARG roman_sin italic_k start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT - italic_λ start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT + divide start_ARG italic_η end_ARG start_ARG 2 end_ARG end_ARG start_ARG roman_sin italic_k start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT - italic_λ start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT - divide start_ARG italic_η end_ARG start_ARG 2 end_ARG end_ARG divide start_ARG roman_sin italic_k start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT + italic_λ start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT + divide start_ARG italic_η end_ARG start_ARG 2 end_ARG end_ARG start_ARG roman_sin italic_k start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT + italic_λ start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT - divide start_ARG italic_η end_ARG start_ARG 2 end_ARG end_ARG . (S.73)

Or,

e2ikJ(L+1)2cos(kj)+iJ2sin(kj)J2cos(kj)2cos(kj)iJ2sin(kj)J2cos(kj)=l=1Msinkjλl+η2sinkjλlη2sinkj+λl+η2sinkj+λlη2.superscript𝑒2𝑖subscript𝑘𝐽𝐿12subscript𝑘𝑗𝑖superscript𝐽2subscript𝑘𝑗superscript𝐽2subscript𝑘𝑗2subscript𝑘𝑗𝑖superscript𝐽2subscript𝑘𝑗superscript𝐽2subscript𝑘𝑗superscriptsubscriptproduct𝑙1𝑀subscript𝑘𝑗subscript𝜆𝑙𝜂2subscript𝑘𝑗subscript𝜆𝑙𝜂2subscript𝑘𝑗subscript𝜆𝑙𝜂2subscript𝑘𝑗subscript𝜆𝑙𝜂2e^{-2ik_{J}(L+1)}\frac{2\cos(k_{j})+iJ^{2}\sin(k_{j})-J^{2}\cos(k_{j})}{2\cos(% k_{j})-iJ^{2}\sin(k_{j})-J^{2}\cos(k_{j})}=\prod_{l=1}^{M}\frac{\sin k_{j}-% \lambda_{l}+\frac{\eta}{2}}{\sin k_{j}-\lambda_{l}-\frac{\eta}{2}}\frac{\sin k% _{j}+\lambda_{l}+\frac{\eta}{2}}{\sin k_{j}+\lambda_{l}-\frac{\eta}{2}}.italic_e start_POSTSUPERSCRIPT - 2 italic_i italic_k start_POSTSUBSCRIPT italic_J end_POSTSUBSCRIPT ( italic_L + 1 ) end_POSTSUPERSCRIPT divide start_ARG 2 roman_cos ( italic_k start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ) + italic_i italic_J start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT roman_sin ( italic_k start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ) - italic_J start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT roman_cos ( italic_k start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ) end_ARG start_ARG 2 roman_cos ( italic_k start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ) - italic_i italic_J start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT roman_sin ( italic_k start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ) - italic_J start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT roman_cos ( italic_k start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ) end_ARG = ∏ start_POSTSUBSCRIPT italic_l = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_M end_POSTSUPERSCRIPT divide start_ARG roman_sin italic_k start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT - italic_λ start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT + divide start_ARG italic_η end_ARG start_ARG 2 end_ARG end_ARG start_ARG roman_sin italic_k start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT - italic_λ start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT - divide start_ARG italic_η end_ARG start_ARG 2 end_ARG end_ARG divide start_ARG roman_sin italic_k start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT + italic_λ start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT + divide start_ARG italic_η end_ARG start_ARG 2 end_ARG end_ARG start_ARG roman_sin italic_k start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT + italic_λ start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT - divide start_ARG italic_η end_ARG start_ARG 2 end_ARG end_ARG . (S.74)

Putting η=2γ𝜂2𝛾\eta=-2\gammaitalic_η = - 2 italic_γ, we obtain

e2ikj(L+1)2cos(kj)iJ2sin(kj)J2cos(kj)2cos(kj)+iJ2sin(kj)J2cos(kj)=l=1Msinkjλl+γsinkjλlγsinkj+λl+γsinkj+λlγ,superscript𝑒2𝑖subscript𝑘𝑗𝐿12subscript𝑘𝑗𝑖superscript𝐽2subscript𝑘𝑗superscript𝐽2subscript𝑘𝑗2subscript𝑘𝑗𝑖superscript𝐽2subscript𝑘𝑗superscript𝐽2subscript𝑘𝑗superscriptsubscriptproduct𝑙1𝑀subscript𝑘𝑗subscript𝜆𝑙𝛾subscript𝑘𝑗subscript𝜆𝑙𝛾subscript𝑘𝑗subscript𝜆𝑙𝛾subscript𝑘𝑗subscript𝜆𝑙𝛾e^{2ik_{j}(L+1)}\frac{2\cos(k_{j})-iJ^{2}\sin(k_{j})-J^{2}\cos(k_{j})}{2\cos(k% _{j})+iJ^{2}\sin(k_{j})-J^{2}\cos(k_{j})}=\prod_{l=1}^{M}\frac{\sin k_{j}-% \lambda_{l}+\gamma}{\sin k_{j}-\lambda_{l}-\gamma}\frac{\sin k_{j}+\lambda_{l}% +\gamma}{\sin k_{j}+\lambda_{l}-\gamma},italic_e start_POSTSUPERSCRIPT 2 italic_i italic_k start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ( italic_L + 1 ) end_POSTSUPERSCRIPT divide start_ARG 2 roman_cos ( italic_k start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ) - italic_i italic_J start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT roman_sin ( italic_k start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ) - italic_J start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT roman_cos ( italic_k start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ) end_ARG start_ARG 2 roman_cos ( italic_k start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ) + italic_i italic_J start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT roman_sin ( italic_k start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ) - italic_J start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT roman_cos ( italic_k start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ) end_ARG = ∏ start_POSTSUBSCRIPT italic_l = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_M end_POSTSUPERSCRIPT divide start_ARG roman_sin italic_k start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT - italic_λ start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT + italic_γ end_ARG start_ARG roman_sin italic_k start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT - italic_λ start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT - italic_γ end_ARG divide start_ARG roman_sin italic_k start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT + italic_λ start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT + italic_γ end_ARG start_ARG roman_sin italic_k start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT + italic_λ start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT - italic_γ end_ARG , (S.75)

and the rapidities satisfy

λj+γλjγj=1Nλjsin(kj)+γλjsin(kj)γλj+sin(kj)+γλj+sin(kj)γ=l=1Mλjλl+2γλjλl2γλj+λl+2γλj+λl2γ.subscript𝜆𝑗𝛾subscript𝜆𝑗𝛾superscriptsubscriptproduct𝑗1𝑁subscript𝜆𝑗subscript𝑘𝑗𝛾subscript𝜆𝑗subscript𝑘𝑗𝛾subscript𝜆𝑗subscript𝑘𝑗𝛾subscript𝜆𝑗subscript𝑘𝑗𝛾superscriptsubscriptproduct𝑙1𝑀subscript𝜆𝑗subscript𝜆𝑙2𝛾subscript𝜆𝑗subscript𝜆𝑙2𝛾subscript𝜆𝑗subscript𝜆𝑙2𝛾subscript𝜆𝑗subscript𝜆𝑙2𝛾\frac{\lambda_{j}+\gamma}{\lambda_{j}-\gamma}\prod_{j=1}^{N}\frac{\lambda_{j}-% \sin(k_{j})+\gamma}{\lambda_{j}-\sin(k_{j})-\gamma}\frac{\lambda_{j}+\sin(k_{j% })+\gamma}{\lambda_{j}+\sin(k_{j})-\gamma}=-\prod_{l=1}^{M}\frac{\lambda_{j}-% \lambda_{l}+2\gamma}{\lambda_{j}-\lambda_{l}-2\gamma}\frac{\lambda_{j}+\lambda% _{l}+2\gamma}{\lambda_{j}+\lambda_{l}-2\gamma}.divide start_ARG italic_λ start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT + italic_γ end_ARG start_ARG italic_λ start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT - italic_γ end_ARG ∏ start_POSTSUBSCRIPT italic_j = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_N end_POSTSUPERSCRIPT divide start_ARG italic_λ start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT - roman_sin ( italic_k start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ) + italic_γ end_ARG start_ARG italic_λ start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT - roman_sin ( italic_k start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ) - italic_γ end_ARG divide start_ARG italic_λ start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT + roman_sin ( italic_k start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ) + italic_γ end_ARG start_ARG italic_λ start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT + roman_sin ( italic_k start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ) - italic_γ end_ARG = - ∏ start_POSTSUBSCRIPT italic_l = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_M end_POSTSUPERSCRIPT divide start_ARG italic_λ start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT - italic_λ start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT + 2 italic_γ end_ARG start_ARG italic_λ start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT - italic_λ start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT - 2 italic_γ end_ARG divide start_ARG italic_λ start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT + italic_λ start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT + 2 italic_γ end_ARG start_ARG italic_λ start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT + italic_λ start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT - 2 italic_γ end_ARG . (S.76)

If one is interested in the many-point correlation function, one needs to solve the many-particle BAE given by Eq. (S.75) and Eq. (S.76). In the main text, we only considered the two-point correlation function, and we leave the general problem of the 2n-point correlation function for future work. The Bethe equations for the real Hubbard interaction were first obtained in  [84].

Refer to caption
Figure S.4: The magnetization Sjz(t)subscriptsuperscript𝑆𝑧𝑗𝑡S^{z}_{j}(t)italic_S start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ( italic_t ) for time t𝑡titalic_t and site j𝑗jitalic_j in the XXX case with system size L=10𝐿10L=10italic_L = 10 (right panel) and XX case with system size L=40𝐿40L=40italic_L = 40 (left panel) for dephasing rate γ=3𝛾3\gamma=3italic_γ = 3.

VI Numerical details

Here we will show the detailed calculation to get the diffusion constant D𝐷Ditalic_D numerically for the Heisenberg (XXX) and XX case. We start from a Doman wall configuration initially with ρD=z𝒮Dσz+|00|σz+subscript𝜌𝐷subscript𝑧subscript𝒮𝐷subscriptsuperscript𝜎𝑧ket0bra0subscriptsuperscript𝜎𝑧\rho_{D}=\sum_{z\in\mathcal{S}_{D}}\sigma^{+}_{z}\ket{0}\bra{0}\sigma^{+}_{z}italic_ρ start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT = ∑ start_POSTSUBSCRIPT italic_z ∈ caligraphic_S start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT end_POSTSUBSCRIPT italic_σ start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT | start_ARG 0 end_ARG ⟩ ⟨ start_ARG 0 end_ARG | italic_σ start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT and 𝒮D=0,1,2,,L/2subscript𝒮𝐷012𝐿2\mathcal{S}_{D}=0,1,2,...,L/2caligraphic_S start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT = 0 , 1 , 2 , … , italic_L / 2. Then we evolve the state ρ(t)𝜌𝑡\rho(t)italic_ρ ( italic_t ) via the Lindbladian master equation (S.19) from the initial state ρ(0)=ρD𝜌0subscript𝜌𝐷\rho(0)=\rho_{D}italic_ρ ( 0 ) = italic_ρ start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT. Then we calculated the magnetization profile Sjz(t)subscriptsuperscript𝑆𝑧𝑗𝑡S^{z}_{j}(t)italic_S start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ( italic_t ) for each time t𝑡titalic_t and site j𝑗jitalic_j. The results for γ=3𝛾3\gamma=3italic_γ = 3 in the XX case and XXX case are shown in Fig. S.4. For the XXX case, the domain wall hit the boundary when t50similar-to𝑡50t\sim 50italic_t ∼ 50 and resulting in a finite size effect.

If the bulk is diffusive, then in the limit lattice spacing a0𝑎0a\to 0italic_a → 0 and system size L𝐿L\to\inftyitalic_L → ∞ Sjz(t)Sz(x,t)subscriptsuperscript𝑆𝑧𝑗𝑡superscript𝑆𝑧𝑥𝑡S^{z}_{j}(t)\to S^{z}(x,t)italic_S start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ( italic_t ) → italic_S start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT ( italic_x , italic_t ) should satisfy the diffusion equation (tDx2)Sz(x,t)=0subscript𝑡𝐷superscriptsubscript𝑥2superscript𝑆𝑧𝑥𝑡0(\partial_{t}-D\partial_{x}^{2})S^{z}(x,t)=0( ∂ start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT - italic_D ∂ start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) italic_S start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT ( italic_x , italic_t ) = 0. The initial condition is a domain wall meaning Sz(x,0)=Sign(L/2x)superscript𝑆𝑧𝑥0Sign𝐿2𝑥S^{z}(x,0)=\mathrm{Sign}(L/2-x)italic_S start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT ( italic_x , 0 ) = roman_Sign ( italic_L / 2 - italic_x ) and the solution reads Sz(x,t)=Erf(xDt)superscript𝑆𝑧𝑥𝑡Erf𝑥𝐷𝑡S^{z}(x,t)=-\mathrm{Erf}(\frac{x}{\sqrt{Dt}})italic_S start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT ( italic_x , italic_t ) = - roman_Erf ( divide start_ARG italic_x end_ARG start_ARG square-root start_ARG italic_D italic_t end_ARG end_ARG ). This is obvious that for different times and spaces, the function collapses on the curve with a normalized variable ξ=x/t𝜉𝑥𝑡\xi=x/\sqrt{t}italic_ξ = italic_x / square-root start_ARG italic_t end_ARG in the way that Sz(ξ)=Erf(ξD)superscript𝑆𝑧𝜉Erf𝜉𝐷S^{z}(\xi)=-\mathrm{Erf}(\frac{\xi}{\sqrt{D}})italic_S start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT ( italic_ξ ) = - roman_Erf ( divide start_ARG italic_ξ end_ARG start_ARG square-root start_ARG italic_D end_ARG end_ARG ). The system is not perfectly diffusive for early-time dynamics and due to the finite size effect, we cannot evolve the system for an extremely long time. Therefore, we will fit the magnetization Sz(ξ)superscript𝑆𝑧𝜉S^{z}(\xi)italic_S start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT ( italic_ξ ) to Erf(ξ/D(t))Erf𝜉𝐷𝑡-\mathrm{Erf}(\xi/\sqrt{D(t)})- roman_Erf ( italic_ξ / square-root start_ARG italic_D ( italic_t ) end_ARG ) for a finite time t𝑡titalic_t to get the diffusion constant D(t)𝐷𝑡D(t)italic_D ( italic_t ). To get the long-time behavior, we expand D(t)=D()+D1t+𝒪(1t2)𝐷𝑡𝐷subscript𝐷1𝑡𝒪1superscript𝑡2D(t)=D(\infty)+\frac{D_{1}}{t}+\mathcal{O}(\frac{1}{t^{2}})italic_D ( italic_t ) = italic_D ( ∞ ) + divide start_ARG italic_D start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_ARG start_ARG italic_t end_ARG + caligraphic_O ( divide start_ARG 1 end_ARG start_ARG italic_t start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ) and scale the diffusion constant when t𝑡t\to\inftyitalic_t → ∞. The fitting and scaling are shown in Fig.S.5. We found for both XX and XXX case D0subscript𝐷0D_{0}italic_D start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT which is the diffusion constant for long-time dynamics is D0=12γsubscript𝐷012𝛾D_{0}=\frac{1}{2\gamma}italic_D start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT = divide start_ARG 1 end_ARG start_ARG 2 italic_γ end_ARG for big gamma. As for small γ𝛾\gammaitalic_γ, due to the finite size effect, we are not able to conclude for the XXX case. For the XX case, where we can go for larger system sizes, we can show D0=12γsubscript𝐷012𝛾D_{0}=\frac{1}{2\gamma}italic_D start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT = divide start_ARG 1 end_ARG start_ARG 2 italic_γ end_ARG.

Refer to caption
Figure S.5: Scaling of the diffusion constant D𝐷Ditalic_D with time t𝑡titalic_t and γ𝛾\gammaitalic_γ for the XXX circuit. The left panel shows D𝐷Ditalic_D as a fit parameter obtained by fitting the spin profile to the Sz(ξ)=Erf(ξ/D(t))superscript𝑆𝑧𝜉Erf𝜉𝐷𝑡S^{z}(\xi)=\mathrm{Erf}(\xi/\sqrt{D(t)})italic_S start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT ( italic_ξ ) = roman_Erf ( italic_ξ / square-root start_ARG italic_D ( italic_t ) end_ARG ). The right panel shows D(t)𝐷𝑡D(t)italic_D ( italic_t ) as a function for different times and we scale D()𝐷D(\infty)italic_D ( ∞ ) by taking 1/t01𝑡01/t\to 01 / italic_t → 0. The dashed line is the fitting for 1/t01𝑡01/t\to 01 / italic_t → 0 and different colors for different γ𝛾\gammaitalic_γ.