This paper was converted on www.awesomepapers.org from LaTeX by an anonymous user.
Want to know more? Visit the Converter page.

mnlargesymbols’164 mnlargesymbols’171

Hierarchical classical metastability in an open quantum East model

Dominic C. Rose School of Physics and Astronomy, University of Nottingham, University Park, Nottingham NG7 2RD, United Kingdom Centre for the Mathematics and Theoretical Physics of Quantum Non-Equilibrium Systems, University of Nottingham, University Park, Nottingham NG7 2RD, United Kingdom    Katarzyna Macieszczak TCM Group, Cavendish Laboratory, University of Cambridge, J. J. Thomson Ave., Cambridge CB3 0HE, United Kingdom    Igor Lesanovsky School of Physics and Astronomy, University of Nottingham, University Park, Nottingham NG7 2RD, United Kingdom Centre for the Mathematics and Theoretical Physics of Quantum Non-Equilibrium Systems, University of Nottingham, University Park, Nottingham NG7 2RD, United Kingdom Institut für Theoretische Physik, Universität Tübingen, Auf der Morgenstelle 14, 72076 Tübingen, Germany    Juan P. Garrahan School of Physics and Astronomy, University of Nottingham, University Park, Nottingham NG7 2RD, United Kingdom Centre for the Mathematics and Theoretical Physics of Quantum Non-Equilibrium Systems, University of Nottingham, University Park, Nottingham NG7 2RD, United Kingdom
Abstract

We study in detail an open quantum generalisation of a classical kinetically constrained model — the East model — known to exhibit slow glassy dynamics stemming from a complex hierarchy of metastable states with distinct lifetimes. Using the recently introduced theory of classical metastability for open quantum systems, we show that the driven open quantum East model features a hierarchy of classical metastabilities at low temperature and weak driving field. We find that the effective long-time description of its dynamics is not only classical, but shares many properties with the classical East model, such as obeying an effective detailed balance condition, and lacking static interactions between excitations, but with this occurring within a modified set of metastable phases which are coherent, and with an effective temperature that is dependent on the coherent drive.

I Introduction

With a strong focus of current research on non-equilibrium physics, open quantum systems have come to the fore as a natural platform for studying the associated phenomena: both through the natural occurrence of non-equilibrium behaviour, and through their use in quantum simulation based on, e.g., Rydberg atoms and optical lattices Pritchard et al. (2010); Blatt and Roos (2012); Britton et al. (2012); Dudin and Kuzmich (2012); Peyronel et al. (2012); Günter et al. (2013); Schmidt and Koch (2013). This experimental prominence has been accompanied by the development of varied numerical approaches and analytical techniques, such as tensor networks Gangat et al. (2017), Monte-Carlo methods Dalibard et al. (1992); Mølmer et al. (1993); Plenio and Knight (1998); Daley (2014), field theoretical studies Torre et al. (2013); Sieberer et al. (2016); Maghrebi and Gorshkov (2016), other variational approaches Weimer (2015a, b); Overbeck et al. (2017), and machine learning Yoshioka and Hamazaki (2019); Hartmann and Carleo (2019); Nagy, Alexandra and Savona, Vincenzo (2019); Vicentini et al. (2019); Bedolla-Montiel et al. (2020).

Despite the change implicitly present in the background of all non-equilibrium phenomena, most prior studies on open quantum systems have focused on their non-equilibrium steady states, with phase diagrams seeing a particular focus Mendoza-Arenas, J. J. and Clark, S. R. and Felicetti, S. and Romero, G. and Solano, E. and Angelakis, D. G. and Jaksch, D. (2016); Foss-Feig et al. (2017); Casteels and Wouters (2017); Letscher et al. (2017); Jin et al. (2018); de Melo et al. (2016); Rodriguez et al. (2017). Classical phase transitions in the steady state, a distinctly time-independent phenomenon, are nevertheless accompanied by a critical slowing of the systems dynamics, with diverging timescales at the transition parameters. For parameters near the transition, or finite system sizes, this slowing results in distinct timescales in the system dynamics, lending a rich structure to the time-evolution in such problems: this is commonly referred to as metastability. With a deep theory for classical Markovian processes Gaveau and Schulman (1987, 1998); Gaveau et al. (1999); Schulman and Gaveau (2001); Gaveau and Schulman (2006), recent work has been done to extend this to open quantum systems Macieszczak et al. (2016a); Rose et al. (2016); Macieszczak et al. (2020).

While metastability always arises as a consequence of proximity to phase transitions Macieszczak et al. (2016a); Minganti et al. (2018); Landa et al. (2020), it can occur without any significant change in the stationary state at all, through the presence of constraints in the dynamics. In classical kinetically constrained models Jäckle and Eisinger (1991); Sollich and Evans (1999); Garrahan and Chandler (2002); Sollich and Evans (2003); Binder and Kob (2011); Biroli and Garrahan (2013), the evolution of system components is conditioned on the state of other components, which results in glassy dynamics with dynamical heterogeneity, i.e., excitations localised both in space and time, and a hierarchy of relaxation timescales in observable averages and correlations. This complex dynamics corresponds to the occurrence of metastability despite the potential absence of phase transitions in the stationary state. Quantum adaptions of these models have been developed through the concept of Rokhsar-Kivelson points Rokhsar and Kivelson (1988); Henley (2004), leading to quasi-many body localisation behaviour in closed quantum systems van Horssen et al. (2015); Hickey et al. (2016); Lan et al. (2018). Recent open quantum generalisations Olmos et al. (2012); Lesanovsky et al. (2013); Olmos et al. (2014) are also known to display dynamical heterogeneity. Here, we uncover its origin in the open quantum East model introduced in Ref. Olmos et al. (2012) by utilising the non-Hermitian perturbation theory Kato (1995) and the recently formulated theory of classical metastability in Markovian open quantum systems Macieszczak et al. (2016a); Rose et al. (2016); Macieszczak et al. (2020).

Refer to caption
Figure 1: Metastable dynamics in the open quantum East model: (a) Spectrum of the open quantum East model of N=3N=3 spins with a large separation λ4Rλ5R-\lambda^{R}_{4}\ll-\lambda^{R}_{5} [values shown in the log scale, λ1=0\lambda_{1}=0 not visible; degeneracy λ2R=λ3R\lambda_{2}^{R}=\lambda_{3}^{R} due to the translation symmetry; cf. Fig. 3(a)]. (b) Average site magnetisation for random initial states. Colour represents time in the log scale, shown on left. After the initial relaxation on the metastable timescale τ\tau^{\prime} (yellow-green) states approach a limited region of values captured by the blue simplex of the magnetisation with vertices corresponding to metastable phases (blue dots), before the final relaxation until the relaxation time τ\tau (blue-purple) towards the unique stationary state (red dot); cf. Fig. 3. (c) and (d) Quantum jump Monte Carlo (QJMC) trajectories for N=6N=6 spins, for the non-interacting unconstrained case (c), and for fully constrained case (d) with pronounced dynamical heterogeneity [colour indicates the number of jumps JjJ_{j}^{-}, (6b), for jjth spin, grouped in 500κt500\kappa t time bins]. Parameters: in panels (a) and (b) Ω/κ=0.1\Omega/\kappa=0.1 and γ/κ=0.0001\gamma/\kappa=0.0001, and p=0.999p=0.999, in panels (c) and (d) Ω/κ=0.12\Omega/\kappa=0.12 and γ/κ=0.0096\gamma/\kappa=0.0096 with p=0p=0, p=1p=1, respectively. See Appendixes A.1 and A.2 for the numerical methods.

The complex relaxation is a consequence of an emerging hierarchy of metastabilities: multiple timescales when average system states appear stationary, although different from the true, usually unique, stationary state. This is visible in the spectrum of the master operator governing the dynamics as large separations between real parts of its eigenvalues; see Fig. 1(a). We find that metastabilities are effectively classical, with any density matrix after sufficiently long evolution being a probabilistic mixture of distinct metastable phases; see Fig. 1(b). Analogously to the classical East model, these metastable phases correspond to localised excitations but in a coherent basis and their number increases with system size, which is also corroborated by the non-Hermitian perturbation theory analysis, which identifies the second-order dephasing as the mechanism beyond the emergence of fourth-order classical dynamics with respect to the driving field amplitude. Importantly, these phases arise not only in average dynamics but already in individual realisations of an experimental run or its numerical simulation: when coarse-grained in time over periods comparable to the metastable timescales, emission records jump sharply between the rates of the corresponding metastable phases leading to dynamical heterogeneity; see Fig. 1(d) [cf. a trajectory without metastability in Fig. 1(c)]. Furthermore, dynamics of coarse-grained emission records is determined by the effectively classical long-time dynamics of the average system state, which shares further properties with the classical East model: detailed balance at an effective temperature dependent both on the temperature and the driving field, and the lack of interactions between excitation in metastable phases. Additionally, we observe the emergence of an effective metastability for the emission activity, which is not accompanied by a separation in the master operator spectrum, as it appears before metastable regimes for the system states.

This paper is organised as follows. We begin by introducing open quantum East model Olmos et al. (2012) in Sec. II. We verify the presence of a spectral gaps inducing a hierarchy of metastabilities in Sec. III.1 and discuss properties of the corresponding metastable phases in Sec. III.2. We then investigate the structure of the classical long-time dynamics with focus both on the dynamics of the average system state in Secs. IV.1 and the dynamics of quantum trajectories in Secs. IV.2 and IV.2.4, as well as the emergence of effective metastability in Sec. IV.3.

II Open quantum East model

We now discuss the model we will consider in this paper, the open quantum East model Olmos et al. (2012); Lesanovsky et al. (2013), a generalisation of the classical kinetically constrained East model Jäckle and Eisinger (1991) studied in relation to glass physics Garrahan and Chandler (2002); Ritort and Sollich (2003); Binder and Kob (2011); Chandler and Garrahan (2010); Biroli and Garrahan (2013). Such classical systems often exhibit multiple stages of relaxation on different time scales, indicative of metastability, and we expect such behaviour to occur in their quantum counterparts.

II.1 Model

We consider dynamics of NN spins-1/21/2 governed by a Lindblad master operator as (see Refs. Lindblad (1976); Gardiner and Zoller (2004); Breuer and Petruccione (2002))

ddtρ(t)=[ρ(t)],\frac{\mathrm{d}}{\mathrm{d}t}\rho(t)={\mathcal{L}}[\rho(t)], (1)

where ρ(t)\rho(t) is the density matrix describing the system state at time tt and the Lindblad operator \mathcal{L} is given by

(ρ)=j=1,,Nα=,+(i[Hj,ρ]+JjαρJjα12{JjαJjα,ρ}),\displaystyle{\mathcal{L}}(\rho)=\!\!\!\sum_{\begin{subarray}{c}j=1,...,N\\ \alpha=-,+\end{subarray}}\!\!\left(\!-i[H_{j},\rho]+{J}^{\alpha}_{j}\rho{J}_{j}^{\alpha\dagger}-\frac{1}{2}\left\{{J}^{\alpha\dagger}_{j}{J}^{\alpha}_{j},\rho\right\}\!\right)\!,\quad\,\, (2)

with HjH_{j} being the Hamiltonian and Jj{J}_{j}^{-} and Jj+{J}_{j}^{+} the jump operators that act locally on jjth spin, constrained on the state of the preceding spin (see below). These jump operators describe interactions between the system and its surrounding environment, which, if associated to emissions of energy quanta, can be detected via continuous measurements Gardiner and Zoller (2004), e.g., by counting photons emitted by atoms coupled to the electromagnetic vacuum Ates et al. (2012); Olmos et al. (2012); Lesanovsky et al. (2013); Olmos et al. (2014).

For N=1N=1 spin, there are no constraints, and the dynamics is due to the interplay of the coherent field Ω\Omega and thermal fluctuations,

H\displaystyle H =ΩSx,\displaystyle=\Omega\,{S}^{x}, (3a)
J\displaystyle{J}^{-} =κS,\displaystyle=\sqrt{\kappa}\,{S}^{-}, (3b)
J+\displaystyle{J}^{+} =γS+,\displaystyle=\sqrt{\gamma}\,{S}^{+}, (3c)

where Sx{S}^{x} and S=SxiSy{S}^{\mp}={S}^{x}\mp i{S}^{y} are the spin operators that can be associated with the photon emission and absorption, respectively. This dynamics features a unique stationary state Olmos et al. (2012),

ρss,1=[Ω2+κ(γ+κ)(γ+κ)2+2Ω2i(γκ)Ω(γ+κ)2+2Ω2i(γκ)Ω(γ+κ)2+2Ω2Ω2+γ(γ+κ)(γ+κ)2+2Ω2],\rho_{\text{ss,1}}=\left[\begin{array}[]{cc}\frac{\Omega^{2}+\kappa(\gamma+\kappa)}{(\gamma+\kappa)^{2}+2\Omega^{2}}&-i\frac{(\gamma-\kappa)\Omega}{(\gamma+\kappa)^{2}+2\Omega^{2}}\\ i\frac{(\gamma-\kappa)\Omega}{(\gamma+\kappa)^{2}+2\Omega^{2}}&\frac{\Omega^{2}+\gamma(\gamma+\kappa)}{(\gamma+\kappa)^{2}+2\Omega^{2}}\\ \end{array}\right], (4)

expressed in the basis |0|0\rangle, |1|1\rangle. The eigenstates |u|u\rangle and |e|e\rangle of ρss,1=λu|uu|+λe|ee|{\rho}_{\text{ss},1}=\lambda_{u}\ket{u}\!\!\bra{u}+\lambda_{e}\ket{e}\!\!\bra{e}, approach |0\ket{0} and |1\ket{1}, as the coherent field tends to 0, and we refer to them as the unexcited and the excited states, respectively (see Appendix B).

The many-body model Olmos et al. (2012, 2014) with N2N\geq 2, in analogy to the classical East model, is constructed using a constraint operator

F=(1p)𝟙+p|ee|.F=(1-p)\mathds{1}+p\ket{e}\!\!\bra{e}. (5)

The constraint, parametrised by pp, is absent when p=0p=0, for p=1p=1 is referred as hard, and for 0p<10\leq p<1 as soft. The dynamics in Eq. (2) is then defined as [cf. Eq. (3)]

Hj\displaystyle H_{j} =ΩFj12Sjx,\displaystyle=\Omega\,{F}^{2}_{j-1}\,{S}^{x}_{j}, (6a)
Jj\displaystyle{J}^{-}_{j} =κFj1Sj,\displaystyle=\sqrt{\kappa}\,{F}_{j-1}\,{S}^{-}_{j}, (6b)
Jj+\displaystyle{J}^{+}_{j} =γFj1Sj+,\displaystyle=\sqrt{\gamma}\,{F}_{j-1}\,{S}^{+}_{j}, (6c)

where the subscript jj denotes the operators acting on jjth spin and we assume periodic boundary conditions, i.e., 0N0\mapsto N in operator indices.

For p<1p<1, the stationary state of the dynamics is unique and given by a product state of the single-spin stationary state, ρss,1N{\rho}_{\text{ss},1}^{\otimes{N}} [cf. Eq. (4)]. This follows directly from the construction of the dynamics, as the constraint commutes with the stationary state of a single spin, and as such, the state of a neighbouring spin is acted on as if the master operator were that of a non-interacting system, but with κ\kappa, γ\gamma and Ω\Omega rescaled by 1pλu1-p\lambda_{u}. For the hard constraint, dynamics of the jjth spin only occurs if the state of (j1)(j-1)th spin features some probability of being in the excited state |e|e\rangle. Therefore, the so called dark state (|uu|)N{(\ket{u}\!\!\bra{u})}^{\otimes{N}} is disconnected from the dynamics and thus stationary, as no constraint is fulfilled [cf. Fig. 1(d) and see Appendix B].

As a consequence of its non-interacting structure, the stationary state features no static transitions, and cumulants of all system observables remain analytic. Nevertheless, at low temperatures (γ/κ1\gamma/\kappa\ll 1) and small values of coherent field (|Ω|/κ1|\Omega|/\kappa\ll 1), the dynamics manifests a significant change as pp tends to 11, with jumps in trajectories becoming localised both spatially and temporally Lesanovsky et al. (2013), thus leading to dynamical heterogeneity [see Figs. 1(c) and 1(d)]. In this work, we unfold this dynamical phenomenon using the approach for classical metastability in open quantum systems recently introduced in Ref. Macieszczak et al. (2020). In order to motivate the use of this new approach, we first discuss the approach via a mean-field approximation and results from the non-Hermitian perturbation theory.

II.2 Mean-field theory

A common informative treatment of open many-body quantum systems is mean-field theory and its extensions Biondi et al. (2017); Landa et al. (2020), often resulting in the prediction of multiple stationary states Ates et al. (2012); Maghrebi and Gorshkov (2016). These stationary states can often be identified with metastable phases in the finite-size system, with the mean-field describing short time evolution into the metastable manifold Rose et al. (2016); Minganti et al. (2018); Landa et al. (2020), and long-time dynamics neglected due to the lack of correlations acting as noise on this set of states Landa et al. (2020). While the stationary state of the quantum (and classical) East model is homogeneous, the dynamical heterogeneity of trajectories suggests the long time dynamics takes place between states which are not translation-symmetric, and thus cannot be reproduced in the homogeneous mean-field ansatz (𝟙/2+xSx+ySy+zSz)N(\mathds{1}/2+xS^{x}+yS^{y}+zS^{z})^{\otimes N}. Indeed, it is known that mean-field is ineffective in the classical case (Ω=0\Omega=0) as the removal of spatial dependence in the state causes the constraint’s directionality to be lost. This will also be the case in the quantum regime (Ω0\Omega\neq 0), unless we allow for the spacial dependence by considering a tensor product of different single-state density matrices, j=1N(𝟙/2+xjSx+yjSy+zjSz)\otimes_{j=1}^{N}(\mathds{1}/2+x_{j}S^{x}+y_{j}S^{y}+z_{j}S^{z}). In this case, however, the number of parameters is reduced from 4N14^{N}-1 merely to 3N3^{N}, and at the price of solving non-linear (quadratic) differential equations. As such, we forgo the mean-field treatment.

II.3 Perturbation theory

The dynamical heterogeneity is present in the East model dynamics at low temperatures (γ/κ1\gamma/\kappa\ll 1), small values of coherent field (|Ω|/κ1|\Omega|/\kappa\ll 1), and constraint close to hard (p=1ϵ1p=1-\epsilon\approx 1, equivalent to |ϵ|1|\epsilon|\ll 1). Such separation of scale in the dynamical parameters, motivates the use of non-Hermitian perturbation theory Kato (1995) for the dynamics with jumps JjJ_{j}^{-} featuring the hard constraint, i.e.,

Jj(0)=κ|00|j1|01|j,J_{j}^{(0)}=\sqrt{\kappa}|0\rangle\!\langle 0|_{j-1}\,|0\rangle\!\langle 1|_{j}, (7)

perturbed with respect to the low temperature γ\gamma, the weak coherent field, Ω\Omega, and the soft constraint, ϵ\epsilon, to the dynamics with the Hamiltonian and jumps operators in Eq. (6) [cf. Eq. (5)]. In Appendix C, we derive the first-, second-, and third-order corrections to the dynamics of the system consisting of any number of spins, and also discuss the finite-size effects. Here, we summarize those results, with the further discussion in the context of findings of the approach from Ref. Macieszczak et al. (2020) in the later sections.

The stationary states of jumps Jj(0)J_{j}^{(0)} [Eq. (7)] correspond to the states which feature no excitations, |00|0...0\rangle, or only isolated excitations, |010|...010...\rangle, as such states are dark to jump operators Jj(0)J_{j}^{(0)}, i.e., the action of the jump operators is 0 on these states. This further leads to all coherences between such states being stationary, so that they form a decoherence free subspace (DFS) Zanardi (1997); Zanardi and Rasetti (1997); Lidar et al. (1998) (see Appendix C.1). Upon perturbing, this DFS becomes a quantum metastable manifold Macieszczak et al. (2016a) and undergoes slow dynamics at the timescales we now discuss.

Low temperature. For γ/κ1\gamma/\kappa\ll 1, already in the first order, the perturbative dynamics proportional to γ\gamma leads to the decay of the dark DFS towards states with excitations followed at least by two unexcited sites, i.e., |00|0...0\rangle, |00100|...00100...\rangle, with no coherences being stationary any longer. Therefore, the metastable manifold is classical in the perturbative regime of low temperatures. Furthermore, in higher orders of γ\gamma, non-decaying excitations are separated by a distance growing exponentially with the order of the corrections. Ultimately, this leads to only two states being stationary: the state with no excitations, |00|0...0\rangle, and the uniform state with a single excitation, N1j=1N|001j00N^{-1}\sum_{j=1}^{N}|0...01_{j}0...0\rangle, which approximate, in the zero order of γ\gamma, the two stationary states of dynamics with hard constraint. Higher-order corrections in the structure are also recovered by the perturbation theory (see Appendix C.2).

Soft constraint. Softening the constraint in the regime |ϵ|1|\epsilon|\ll 1, with ϵ=1p\epsilon=1-p, leads to dynamics featuring removal of isolated excitations with the rate proportional to κϵ2\kappa\epsilon^{2} (see Appendix C.3.1). This leads to decay of coherences and facilitates a unique stationary state, |00|0...0\rangle, which approximates in the zero order the unique stationary state at p<1p<1. We note that even for finite values of temperature and coherent field, a perturbative dynamics between two disjoint stationary states takes place in the limit |ϵ|1|\epsilon|\ll 1 (see Appendix C.3.2).

Weak coherent field. Here, the perturbation in Ω\Omega introduces both the Hamiltonian and the change of constraints [cf. Eq. (6)]. In Appendix C.4, we show there are no odd-order corrections in Ω\Omega to the dynamics. Furthermore, the second-order corrections correspond to dephasing of all coherences in the DFS with rates proportional to Ω2/κ\Omega^{2}/\kappa, while probabilistic mixtures of the states of none, |00|0...0\rangle, or only isolated excitations |010|...010...\rangle, remain stationary. Meanwhile, the first order-corrections to the state structure introduce the rotation of |0|0\rangle and |1|1\rangle towards coherent states |u|u\rangle and |e|e\rangle, with coefficients proportional to Ω/κ\Omega/\kappa. Therefore, also in this case we conclude that the metastable manifold is classical, but with respect to a now-coherent basis, which we expect to coincide with |u|u\rangle and |e|e\rangle. Although the classical metastable manifold is analogous to the case of the perturbative dynamics due to γ\gamma, we have that the dynamics of excitations, e.g., the removal of one of a pair of excitations separated just by a single neighbour, can take place at earliest in the fourth-order, with rates proportional to Ω4/κ3\Omega^{4}/\kappa^{3}. Indeed, the stationary state [Eq. (4)] with probabilities λu=1λe=1γ/κ16Ω4/κ4+\lambda_{u}=1-\lambda_{e}=1-\gamma/\kappa-16\Omega^{4}/\kappa^{4}+... (see Appendix B), suggests that the coherent field in the fourth order may play an analogous role to the temperature in the coherent basis |u|u\rangle, |e|e\rangle. Because of the complexity of the fourth-order non-Hermitian perturbation theory, we investigate those hypotheses using instead the approach of Ref. Macieszczak et al. (2020).

Open boundary conditions. Interestingly, in the case of hard constraint and open boundary conditions, the dark state (|uu|)N(|u\rangle\!\langle u|)^{\otimes N} and NN states with isolated excitations (|uu|)(j1)|ee|ρss,1(Nj)(|u\rangle\!\langle u|)^{\otimes(j-1)}\otimes|e\rangle\!\langle e|\otimes\rho_{\text{ss,1}}^{\otimes(N-j)} are stationary. Furthermore, in the limit of small temperature and weak coherent field, the soft constraint connects single excitations mostly to the dark state, but not to one other, and the dark state has a significantly longer lifetime (see Appendix D), so that the facilitated dynamics features excitations localised both in time and space, which is characteristic of the dynamical heterogeneity.

Finally, we note that the perturbations in the temperature, the coherent field, or softness of the constraint, are local [cf. Eq. (6)]. Therefore, the timescales of the resulting perturbative dynamics may be proportional to the system size, in which case the validity of the perturbation theory is limited to γNκ\gamma N\ll\kappa, |Ω|Nκ|\Omega|N\ll\kappa, and |1p|Nκ|1-p|N\ll\kappa (as κ/2\kappa/2 is the slowest eigenvalue of the dynamics with JJ^{-} at the hard constraint); see, e.g., Appendix C.3.2. This size-dependent regime is not an issue for the numerical methods of Ref. Macieszczak et al. (2020), which we exploit in the rest of the paper.

III Classical metastable manifold

We now investigate the presence and character of metastability in the open quantum East model using the theory of metastability in open quantum systems introduced in Refs. Macieszczak et al. (2016a, 2020). For metastability in classical stochastic dynamics, see Refs. Gaveau and Schulman (1987, 1998); Gaveau et al. (1999); Schulman and Gaveau (2001); Gaveau and Schulman (2006).

III.1 Hierarchy of metastabilities

Since the operator in Eq. (2) defining the time evolution of the average state ρ(t)\rho(t) is linear, the timescales of the dynamics are determined by its eigenvalues through the expansion

ρ(t)=et[ρ(0)]=ρss+k2etλkckRk,\rho(t)={e}^{t{\mathcal{L}}}[\rho(0)]={\rho}_{\rm ss}+\sum_{k\geq 2}{e}^{t{\lambda}_{k}}{c}_{k}{R}_{k}, (8)

where Rk{R}_{k} is the eigenmode corresponding to the eigenvalue λk{\lambda}_{k}, and the coefficient ck=Tr[Lkρ(0)]{c}_{k}={\mathrm{Tr}}[{L}_{k}\rho(0)], with LkL_{k} being the eigenmode of {\mathcal{L}}^{\dagger} with the same eigenvalue, normalised such that Tr(LkRl)=δkl{\mathrm{Tr}}({L}_{k}^{\dagger}{R}_{l})={\delta}_{kl}. The real parts of eigenvalues must satisfy λkR0{\lambda}_{k}^{R}\leq 0, where zero eigenvalues correspond to stationary states Baumgartner and Narnhofer (2008); Albert et al. (2016), and we order the eigenvalues by decreasing real part, so that λ1=0\lambda_{1}=0. For a unique stationary state (i.e., p<1p<1; see Sec. II.1), we have R1=ρssR_{1}=\rho_{\rm ss} and L1=𝟙L_{1}=\mathds{1} (from trace preservation), while τ=1/λ2R{\tau}=-1/{\lambda}_{2}^{R} is the time scale of the final relaxation.

In the rest of this work, we focus on the dynamics of the open quantum East model with N=6N=6 spins and softness p=0.99p=0.99. Here, in the presence of small temperature and weak coherent field, we observe a large separation in the spectrum between λmR\lambda_{m}^{R} and λm+1R\lambda_{m+1}^{R} for m=7m=7 [see Fig. 2(a)]; and, at smaller values of the temperature and the field, another separation for m=10m=10 [see Fig. 2(b)]. A large enough separation in the real part of the spectrum is known to correspond to the occurrence of metastability Macieszczak et al. (2016a), since for time 1/λm+1Rt1/λmR-1/\lambda_{m+1}^{R}\ll t\ll-1/\lambda_{m}^{R} any system state can be approximated as stationary,

ρ(t)=ρss+k=2mckRk+,\rho(t)={\rho}_{\rm ss}+\sum_{k=2}^{m}{c}_{k}{R}_{k}+..., (9)

by neglecting the presence of the fast modes, k>mk>m, and the decay of slow modes, 2km2\leq k\leq m [cf. Eq. (8)]. Such states are called metastable and the corresponding time regime referred to as the metastable regime with the relaxation time scale 1/λm+1R-1/{\lambda}_{m+1}^{R}. In particular, at intermediate values of the field and temperature, we have a hierarchy of two metastable regimes in the open quantum East model, and a hierarchy of the relaxation timescales given by 1/λ11R-1/{\lambda}_{11}^{R}, 1/λ8R-1/{\lambda}_{8}^{R} and 1/λ2R-1/{\lambda}_{2}^{R}. A similar hierarchy of metastabilities can be observed at other system sizes, which, as we will see, is a consequence of the classical and local structure of the manifold of metastable states and of the dynamics within.

Refer to caption
Figure 2: Separation in master operator spectrum: The ratios of the master operator eigenvalues (the real parts) demonstrate two gaps in the spectrum at (a) m=7m=7 and (b) m=10m=10 for N=6N=6 spins, which shows a hierarchy of metastabilities in the open quantum East model (note the difference in scale of vertical axes). Softness p=0.99p=0.99. Sampling: in panel (a) (51x51) points and in panel (b) (51x26) points, linearly spaced for γ/κ\gamma/\kappa and (Ω/κ)2(\Omega/\kappa)^{2}.

III.2 Hierarchy of metastable phases

The manifold of metastable states is fully characterised by linear combinations of the stationary state ρss\rho_{\text{ss}} and the low-lying modes R2,,RmR_{2},...,R_{m} with coefficients (c2,,cm)(c_{2},...,c_{m}) [cf. Eq. (9)]. However, the modes do not represent physical states of the system [as Tr(Rk)=0\text{Tr}({R}_{k})=0 for k>2k>2 from orthogonality of the modes]. Nevertheless, we will show that the structure of the metastable manifolds in the open quantum East model is classical, with metastable states approximated as probabilistic mixtures of mm distinct metastable phases with localised excitations.

III.2.1 Classicality

Refer to caption
Figure 3: Example of classical metastable manifold: (a) The metastable manifold in the open quantum East model of N=3N=3 spins with periodic boundary conditions, illustrated by the coefficients (c2,c3,c4)(c_{2},c_{3},c_{4}) [cf. Eq. (9)] of uniformly sampled pure initial states (small green dots). The blue lines show the simplex of m=N+1=4m=N+1=4 metastable phases (found at the vertices). (b) The long-time evolution inside the metastable manifold towards the stationary state [red circle corresponding to (0,0,0) coefficients] for initial states shown in Fig. 1(b). Softness p=0.999p=0.999 and other parameters as in Fig. 1(a).

For the system with N=3N=3 spins, a single gap at m=4m=4 is present in the spectrum, so that the metastable manifold can be sampled by plotting the coefficients for random pure initial states as in Fig. 3(a). We observe that the metastable manifold is classical, that is, approximated by a simplex, with coefficients of any metastable state approximated by a probabilistic mixture of the coefficients corresponding to the simplex vertices, which describe states with a single or no excitation [cf. Fig. 1(b)]. Since for m>4m>4, as relevant for larger system sizes, such a visual verification of metastable manifold classicality is not possible, we instead turn to the recently proposed approach from Ref. Macieszczak et al. (2020), which we sketch now.

For a set of mm candidate states ρ1,.,ρm\rho_{1},....,\rho_{m}, the corresponding metastable states ρss+k=2mck(l)Rk=ρ~l{\rho_{\text{ss}}}+\sum_{k=2}^{m}c_{k}^{(l)}R_{k}={\tilde{\rho}}_{l}, l=1,,ml=1,...,m, can be considered as the new physical basis replacing the low-lying modes, so that [cf. Eq. (9)]

ρ(t)=l=1mp~lρ~l+.\rho(t)=\sum_{l=1}^{m}\tilde{p}_{l}\,{\tilde{\rho}}_{l}+.... (10)

Here, p~l=k=1m(𝐂1)lkck\tilde{p}_{l}=\sum_{k=1}^{m}({\mathbf{C}}^{-1})_{lk}c_{k} with (𝐂)kl=ck(l)({\mathbf{C}})_{kl}=c_{k}^{(l)}, are the barycentric coordinates with respect to the simplex of ρ~1{\tilde{\rho}}_{1}, …, ρ~m{\tilde{\rho}}_{m} in the coefficient space. When the distance of barycentric coordinates from probability distributions is negligible, the metastable state can be approximated as a probabilistic mixture of ρ~1{\tilde{\rho}}_{1}, …, ρ~m{\tilde{\rho}}_{m}. If this is true for any metastable state, the metastable manifold is classical and we refer to ρ~1{\tilde{\rho}}_{1}, …, ρ~m{\tilde{\rho}}_{m} as metastable phases.

For the range of temperatures and field amplitudes corresponding to presence of gaps in the spectrum of the master operators (cf. Fig. 2), using a version of the algorithm from Ref. Macieszczak et al. (2020) (see Appendix A.3 for details), we found sets of mm states for which both the average distance and the maximal distance of barycentric coordinates to probability distributions are negligible; see Fig. 4. In particular, Figure 4(a) shows that the metastable manifold with m=7m=7 is well approximated by 77 metastable phases for broad regime of low temperatures and weak coherent field exactly corresponding to the large separation at m=7m=7 in the master operator spectrum - with the parameter values above a certain threshold [shown as black line with grey region below; cf. Fig. 2(a)]. Below the threshold, the metastable manifold instead consists of m=10m=10 metastable phases [see Fig. 4(b) with the discussed threshold now shown as white dashed line], except for negligibly small values where the separation at m=10m=10 in the spectrum also disappears (cf. Fig. 2). These phases remain metastable also above the threshold, but for a smaller range of values of the field and temperature than in the case of m=7m=7, which correspond to the hierarchy of metastabilities, i.e., two gaps in the spectrum of master operator at m=7m=7 and m=10m=10 [cf. Fig. 2(b)]. These results are in agreement with the perturbation theory results derived in Appendix C, which predict emergence of a classical manifold from a quantum metastable manifold at small γ\gamma and Ω\Omega, but at zero temperature and in the absence of the field indicate that softening the constraint leads to quantum decay of excitations within the quantum metastable manifold (cf. Sec. II.3).

We conclude that, at the chosen soft constrain, the metastable manifolds are classical for low temperatures and weak coherent fields (except for their negligibly small values) and there exists an intermediate parameter region with a hierarchy of metastabilities corresponding to two classical metastable manifolds. We will understand the emergence of hierarchy by studying properties of the metastable phases and their long-time dynamics.

Refer to caption
Figure 4: Accuracy of classical approximation: An upper bound on the average distance (on the maximal distance when multiplied by 2N12^{N-1}) of barycentric coordinates to probability distributions for: (a) m=7m=7, and (b) m=10m=10. We consider L1L1 norm, in which probability distributions are normalised; see Appendix A.3 for the definition of the bound. Softness p=0.99p=0.99 and size N=6N=6. Data is greyed out for parameters where the relevant gaps are not present in the spectrum of master operator, while white dashed lines indicate that for smaller parameters in panel (a) the gap at m=10m=10 is present, while in panel (b) the gap at m=7m=7 is absent (cf. Fig. 2).
Refer to caption
Figure 5: Classical metastable manifold: (a) The average site-wise zz-magnetisation for the metastable phases: dark state, and examples of the single- and double-excitation states, respectively. The set of all metastable phases is formed by adding all translations of these states with single (6 states) and double (3 states) excitations. The insets show the site-wise zz-magnetisation in the |u\ket{u}, |e\ket{e} basis, S~z=(|ee||uu|)/2\tilde{S}^{z}=(\ket{e}\!\!\bra{e}-\ket{u}\!\!\bra{u})/2. (b) The purities of the metastable phases, chosen as in panel (a). Data is greyed out for parameters where the gap in the spectrum is not present at m=10m=10; cf. Fig. 2(b).

III.2.2 Metastable phases

We now discuss the properties of the metastable phases whose probabilistic mixtures approximate the classical manifold of metastable states present in the open quantum East model at low temperatures and weak field [cf. Eq. (10)]. We focus on the parameter regime where there exists a gap in the master operators at m=10m=10 [below white dashed line in Fig. 4(a)], which captures all values for which a hierarchy of metastabilities is present, but also a region where a gap at m=7m=7 is absent [below white dashed line in Fig. 4(b)].

In Fig. 5(a), we show the spin magnetisation along zz-axis for the metastable phases. For m=7m=7 (first two rows, above the white dashed line), the metastable manifold consist of the state with all spins down (no excitation), and six states with a single spin up (a single excitation). For m=10m=10, the manifold additionally contains three states with two excitations at maximally separated sites, i.e., followed by two empty sites [see third row in Fig. 5(a)].

As the probability of a spin up or down seems to decrease with the stronger coherent field, we also confirm (see the insets), that the spins in metastable phases are actually aligned with the rotated eigenbasis, |u|u\rangle and |e|e\rangle, of the stationary state [see Eq. (4) and Appendix B]. Therefore, the metastable phases with no excitations, single excitation and two excitations can be approximately viewed as |uuuuuu|uuuuuu\rangle, |euuuuu|euuuuu\rangle, |euueuu|euueuu\rangle, respectively, and their translations. We obtained such a structure in the first-order perturbation theory with respect to temperature (|000000|000000\rangle, |100000|100000\rangle, |100100|100100\rangle with translations; see Appendix C.2), and now we confirm it is the case in the presence of the coherent field.

These pure states, however, are not stable since the presence of an excited spin facilitates dynamics on the spin to its right, in turn facilitating dynamics further along the chain: the metastable states thus feature excitations as much separated as possible, so that the relaxation is as slow as possible. Furthermore, the dynamics facilitated by these excitations cause photon emissions from their right neighbour, resulting in a mixed rather than pure metastable state, i.e., |ee||uu||e\rangle\!\langle e|\otimes|u\rangle\!\langle u| replaced by |ee|ρss,1|e\rangle\!\langle e|\otimes\rho_{\text{ss,1}} (cf. Appendix D and Sec. IV.2). This is confirmed by the purity of the metastable phases in Fig. 5(b), where the phases with a single or double excitation feature a purity slightly below 11, with a lower purity for the state with more excitations. Furthermore, in the first-order corrections due to temperature, purity is lowered proportionally to γ/κ\gamma/\kappa, and Figure 5(b) suggests it is also the case for the coherent field, with the lowest order contribution scaling with Ω4/κ4\Omega^{4}/\kappa^{4}.

Finally, we note that the pure states are exactly orthogonal, and thus the metastable phases are approximately disjoint, as expected from the general theory Macieszczak et al. (2020). Furthermore, the set metastable phases is invariant under the translation symmetry, which is a consequence of the metastable manifold inheriting the symmetry of the dynamics in Eq. (2) with periodic boundary conditions Minganti et al. (2018); Macieszczak et al. (2020).

IV Classical long-time dynamics

After a metastable regime, t1/λmRt\gtrsim-1/\lambda_{m}^{R}, the decay of low-lying modes can no longer be neglected [cf. Eqs. (8) and (9)],

ρ(t)=ρss+k=2mcketλkRk+.\rho(t)={\rho}_{\rm ss}+\sum_{k=2}^{m}{c}_{k}e^{t\lambda_{k}}{R}_{k}+.... (11)

Nevertheless, since the contribution from the fast modes can be neglected, the long-time dynamics takes place essentially inside the metastable manifold [see Figs. 1(b) and 3(b)].

In the basis of metastable phases, the long-time dynamics corresponds to the dynamics of barycentric coordinates [cf. Eq. (10)]

ρ(t)=l=1mp~l(t)ρ~l+,\rho(t)=\sum_{l=1}^{m}\tilde{p}_{l}(t)\,{\tilde{\rho}}_{l}+..., (12)

where p~l(t)=k=1m(𝐂1)lketλkck\tilde{p}_{l}(t)=\sum_{k=1}^{m}(\mathbf{C}^{-1})_{lk}e^{t\lambda_{k}}c_{k}. The dynamics is linear,

ddtp~l(t)=k=1m(𝐖~)lkp~k(t),\frac{\mathrm{d}}{\mathrm{d}t}\,\tilde{p}_{l}(t)=\sum_{k=1}^{m}({\mathbf{\tilde{W}}})_{lk}\,\tilde{p}_{k}(t), (13)

with (𝐖~)lk=n=1m(𝐂1)lnλn(𝐂)nk({\mathbf{\tilde{W}}})_{lk}=\sum_{n=1}^{m}(\mathbf{C}^{-1})_{ln}\lambda_{n}(\mathbf{C})_{nk}. This generator corresponds to the master operator in Eq. (2) expressed in the metastable phase basis (when it is restricted to low-lying modes) and we will use it to understand the physical properties of the long-time dynamics in the open quantum East model from a classical perspective.

Refer to caption
Figure 6: Effective classical generator: (a) Absolute values of the effective master operator entries in the basis of metastable phases for Ω/κ=0.024\Omega/\kappa=0.024, γ/κ=0.0016\gamma/\kappa=0.0016, and m=10m=10. The horizontal labels indicate the number of excitations in a metastable phase, delineated by the black lines. (b) The normalised distance Δ+\Delta_{+} to the closest classical stochastic generator over (top) the metastable region of the parameter space and (bottom) the classical Ω/κ=0\Omega/\kappa=0 cross section. We consider the operator norm induced by L1L1 norm; see Appendix E.2. Data is greyed out in panel (b) for parameters where the gap at m=10m=10 in the spectrum is not present; cf. Fig. 2(b).

IV.1 Properties of long-time dynamics

We now verify that the dynamics within the metastable manifold is classical. This enables us to investigate classical features in the dynamics characteristic of the classical East model: the presence of the detailed balance and the absence of interactions in the stationary state.

IV.1.1 Classicality

The effective generator 𝐖~{\mathbf{\tilde{W}}}, pictured in Fig. 6(a) encodes all information needed to predict the evolution of the average system state at long times. It conserves the sum of barycentric coordinates, i.e., l=1m(𝐖~)lk=0\sum_{l=1}^{m}({\mathbf{\tilde{W}}})_{lk}=0, which is a consequence of the master operator in Eq. (2) being trace-preserving Macieszczak et al. (2020). Although it does not generate positive dynamics (cf. Appendix E.1), its diagonal elements are negative, while its off-diagonal approximately positive, so that it can be approximated by a classical stochastic generator (cf. Appendix E.2). Importantly, Figure 6(b) confirms that the effective dynamics can be approximated by classical stochastic dynamics across the entire metastable region of the parameter space, with the normalised distance of 𝐖~{\mathbf{\tilde{W}}} to the set of classical stochastic generators much smaller than 11. In fact, this is a consequence of the classicality of the metastable manifold Macieszczak et al. (2020) we discussed in Sec. III.2.

We also note that in Fig. 6(a), the dynamics features the translation symmetry, i.e., (𝐖~)π(l)π(k)=(𝐖~)lk({\mathbf{\tilde{W}}})_{\pi(l)\pi(k)}=({\mathbf{\tilde{W}}})_{lk}, where π\pi is the permutation that the metastable phases undergo under the translation of spins [cf. Fig. 5(a)]. This symmetry is inherited from the translation symmetry of the open quantum East model with periodic boundary conditions Macieszczak et al. (2020). While it reduces the free parameters of the effective dynamics [to 1010 for N=6N=6 and m=10m=10], it does not guarantee the presence of detailed balance we demonstrate next.

IV.1.2 Detailed balance

Refer to caption
Figure 7: Detailed balance: (a) Absolute values of entries in the similarity-transformed effective master operator in Fig 6(a) [cf. Eq. (14)] display the transposition symmetry associated with the detailed balance. Furthermore, the diagonal elements are negative while all the off-diagonal are positive. (b) The ratio of the total current and total activity in the stationary state [Eqs. (15) and (16)] over (top) the metastable region of the parameter space and (bottom) the classical Ω/κ=0\Omega/\kappa=0 cross section confirms the approximate detailed balance. Data is greyed out in panel (b) for parameters where the gap at m=10m=10 in the spectrum is not present; cf. Fig. 2(b).

In the effective dynamics, the stationary probability current between the kkth and llth metastable phase is given by (𝐖~)kl(𝐩~ss)l(𝐖~)lk(𝐩~ss)k({\mathbf{\tilde{W}}})_{kl}({\mathbf{\tilde{p}}_{\text{ss}}})_{l}-({\mathbf{\tilde{W}}})_{lk}({\mathbf{\tilde{p}}_{\text{ss}}})_{k}, where 𝐩~ss{\mathbf{\tilde{p}}_{\text{ss}}} is the stationary distribution of 𝐖~{\mathbf{\tilde{W}}} (or equivalently the barycentric coordinates for ρss{\rho_{\text{ss}}}). Detailed balance is then defined to be when a systems stationary state exhibits no currents (see Appendix E.3).

As a first check of detailed balance in the effective dynamics, we consider the similarity transformation which renders classical detailed-balance generators symmetric,

(𝐖~)lk=(𝐩~ss)l12(𝐖~)lk(𝐩~ss)k12.({\mathbf{\tilde{W}}}^{\prime})_{lk}=({\mathbf{\tilde{p}}_{\text{ss}}})_{l}^{-\frac{1}{2}}({\mathbf{\tilde{W}}})_{lk}({\mathbf{\tilde{p}}_{\text{ss}}})_{k}^{\frac{1}{2}}. (14)

For the effective generator in Fig. 6(a), we indeed obtain an approximately symmetric matrix in Fig. 7(a).

To verify detailed balance across the range of parameters for which metastability occurs, we consider in Fig. 9(b) the ratio of the total stationary current

J~=12k,l=1m|(𝐖~)kl(𝐩~ss)l(𝐖~)lk(𝐩~ss)k|\tilde{J}=\frac{1}{2}\sum_{k,l=1}^{m}\left|({\mathbf{\tilde{W}}})_{kl}({\mathbf{\tilde{p}}_{\text{ss}}})_{l}-({\mathbf{\tilde{W}}})_{lk}({\mathbf{\tilde{p}}_{\text{ss}}})_{k}\right| (15)

to the total activity

K~=l=1m(𝐖~)ll(𝐩~ss)l,\tilde{K}=-\sum_{l=1}^{m}({\mathbf{\tilde{W}}})_{ll}({\mathbf{\tilde{p}}_{\text{ss}}})_{l}, (16)

which ratio bounds the normalised distance to the closest detailed balance dynamics (see Appendix E.3). We observe that the current across all metastable parameters is small compared to the system’s activity, and thus the long-time dynamics can be well approximated by dynamics with detailed balance. This is also the case for the classical East model (Ω=0\Omega=0), which features only approximate detailed balance when restricted to the metastable manifold [see the bottom panel in Fig. 7(b)], although there are no stationary currents between the 2N2^{N} configurations of up and down spins in the classical system.

For the classical model, these results can be traced back to the perturbative dynamics between configurations. The perturbation effect of the soft constraint removes one excitation at a time with rates proportional to (1p)2κ(1-p)^{2}\kappa, or reintroduces, removes or shifts a single excitation, at rates proportional to (1p)2γ(1-p)^{2}\gamma. For the small temperature, phases with double excitations are reduced to a single excitation at rates proportional to γ2/κ\gamma^{2}/\kappa, while at rates proportional to γ3/κ2\gamma^{3}/\kappa^{2} a second excitation can be introduced or removed, or a single excitation can be shifted. The result is a ladder structure of the dynamics with respect to the number of excitations which necessarily implies detailed balance, though the approximation worsens for larger γ\gamma or (1p)(1-p) due to higher order corrections; see Appendices C.2 and C.3 for details.

Approximate detailed balance observed also in the presence of a weak coherent field in Fig. 7(b), suggests that a similar mechanism may be responsible for the long-time dynamics in the open quantum East model. This is indeed confirmed for the parameters chosen in Fig. 6(a): the most probable transitions (yellow-light green) are associated with the removal of the second excitation, or removal of a single excitation towards the unexcited state; the less likely transitions (green) correspond to a shift of a single excitation, the introduction of one excitation, or removal of two excitations; while the least likely transitions (blue) correspond to the introduction of two excitations simultaneously, or shift of two excitations [see also Figs. 9(b) and 9(c)].

IV.1.3 Non-interacting stationary state

Refer to caption
Figure 8: Stationary state properties: (a) The free energy of the metastable phases does not depend on the number of interactions, as the ratio of the stationary probabilities between the state with a single excitation and the unexcited state, p~1/p~0\tilde{p}_{1}/\tilde{p}_{0} approximately equals the ratio of the probabilities for a double excitation and a single excitation p~2/p~1\tilde{p}_{2}/\tilde{p}_{1}. (b) The ratio p~1/p~0\tilde{p}_{1}/\tilde{p}_{0} actually corresponds to the ratio of the stationary probabilities in as single state dynamics, Eq. (4), of the excited state, λe\lambda_{e}, and unexcited state, λu\lambda_{u}. Both plots are shown over (top) the metastable region of the parameter space and (bottom) the classical Ω/κ=0\Omega/\kappa=0 cross section. Data is greyed out for parameters where the gap at m=10m=10 in the spectrum is not present; cf. Fig. 2(b).

Since the long-time dynamics possesses approximate detailed balance, the stationary state of the effective master operator is effectively thermal. We discuss now its effective free energy function.

In the full classical East model, whose stationary state is a product state, the free energy is simply a function of the number of excitations, but not their relative distance (i.e., it is not dependent on any type of interactions). Thanks to the exponential form of a thermal distribution, this can be tested by considering ratios of state probabilities: the exponents only state dependence will be a linear function of the number of excitations. We test this property in Fig. 8(a) for the distribution over the metastable phases of the stationary state of the the open quantum East model, by comparing the ratio of probabilities of finding the stationary state in one of the single or double excited states, p~2/p~1\tilde{p}_{2}/\tilde{p}_{1}, to the ratio of finding it in the unexcited state or one of the single excitation states, p~1/p~0\tilde{p}_{1}/\tilde{p}_{0}. We would expect these ratios to differ when interactions contribute to the effective energy of the phase, due to the presence of multiple excitations in the phase with probability p~2\tilde{p}_{2}. However, we find that the ratio of these ratios is close to 11 at all metastable parameters, suggesting that in the quantum model interactions do not play a role in the free energy of the metastable phases, as in the classical East model.

Furthermore, the free energy per excitation is directly determined by the ratio of probabilities for excited and unexcited states in the single-site dynamics; see Fig. 8(b). This is again the consequence of the product structure of the stationary state, and the metastable states being approximated simply as pure states with a single or double excitations [cf. Fig. 5(a)], which appear as the leading order corrections to the stationary state above the no-excitation contribution 111In the case of the classical model (Ω=0\Omega=0), in the perturbative regime, the metastable manifold is known to consist of isolated excitations at any system size (see Appendix C), and thus the free energy over metastable phases is again only the function of number of excitations, and so we can expect, also in the open quantum East model for larger system sizes. Therefore, the error of this non-interacting approximation of the free energy will increase as temperatures and coherent field values grow [cf. Fig. 8(b)].

IV.2 Dynamical heterogeneity

Refer to caption
Figure 9: Effective stochastic dynamics and quantum trajectories: (a) Effective lifetimes of the metastable phases as a function of the parameters, plotted relative to the next longest lifetime. Data is greyed out for parameters where the gaps at m=10m=10 in the spectrum is not present; cf. Fig. 2(b). (b) and (c) The component magnitudes of the effective master operators for (b) Ω/κ=0.024\Omega/\kappa=0.024, γ/κ=0.0016\gamma/\kappa=0.0016 and (c) Ω/κ=0.12\Omega/\kappa=0.12, γ/κ=0.0096\gamma/\kappa=0.0096. (d) and (e) Sample QJMC trajectories corresponding to panels (b) and (c), respectively. Trajectories are split into 500 time-bins for which the total activity of jumps JjJ_{j}^{-} (photon emissions from jjth spin) within each bin is plotted [see Eq. (6b)]. Note the presence of simultaneous excitations from two sites.

The long-time dynamics between metastable phases is directly related to dynamics of quantum trajectories: periods of higher or lower activity in trajectories are identifiable with metastable phases featuring different numbers of excitations, with transition rates between these distinct periods described by the effective generator Rose et al. (2016); Macieszczak et al. (2020). We now discuss this correspondence in terms of the dynamical heterogeneity observed in the open quantum East model Olmos et al. (2012); Lesanovsky et al. (2013). We also demonstrate the resulting proximity to dynamical phase transitions Garrahan and Lesanovsky (2010).

IV.2.1 Lifetimes of metastable phases

The effective lifetimes of the metastable phases, i.e., the distinct periods in quantum trajectories, are given by the inverse magnitude of the diagonal elements of the effective generator. From the translation symmetry of the metastable manifold, the lifetimes of metastable phases connected under the symmetry must be the same, i.e., we have: the lifetime τ0\tau_{0} of the homogeneous unexcited phase, the lifetime τ1\tau_{1} of six phases with a single excitation, and the lifetime τ2\tau_{2} of three phases with double excitations [see Fig. 9(a)].

The unexcited state is the longest lived metastable phase, as it can only be excited via to the softness of constraint in HjH_{j} or Jj+J_{j}^{+} (for any j=1,,Nj=1,...,N) [cf. Eq. (6)], which takes place at the rate proportional to N(1p)2(Ω2/κ+γ)+N(1-p)^{2}(\Omega^{2}/\kappa+\gamma)+... in the perturbative regime |1p|1|1-p|\ll 1 (see Appendix C.3.2). The simple dependence of the rate on the system size NN is due to the translation symmetry: the excitation can be introduced at any of the NN spins. In contrast, the removal of a single excitation of jjth spin, again requires the softness of constraint in JjJ_{j}^{-} (or in HjH_{j}, which however is of lower order), and thus takes place at the faster rate κ(1p)2+\kappa(1-p)^{2}+..., leading to the separation of timescales τ1/τ0N(Ω2/κ2+γ/κ)\tau_{1}/\tau_{0}\approx N(\Omega^{2}/\kappa^{2}+\gamma/\kappa). Furthermore, when two gaps are present in the master operator spectrum [above the white dashed line in Fig. 9(a)], the hierarchy of metastabilities (m=7,10m=7,10; cf. Sec. III.2) is manifested in the distinct values of the lifetimes τ1\tau_{1} and τ2\tau_{2}, while for a single gap (m=10m=10; below the white dashed line), these lifetimes are necessarily comparable, which we now explain.

The softness of constraint causes the removal rate of an excitation from metastable phases with a single excitation and double excitation to be the same (except from the fact that two possible sites to decay in the double excited state), while for hard constraint only the second excitation can be removed due to the temperature of the coherent field (by flipping the unexcited spins between two excitations which allows for the hard constraint to be fulfilled). When the constraint is soft, the absence or presence of separation between τ1\tau_{1} and τ2\tau_{2} is determined by the softness-induced and temperature-induced dynamics being faster, respectively. In Fig. 9(a), the regime of smaller (greater) γ\gamma and Ω\Omega below (above) the threshold corresponds to the former (latter) process being the fundamental mechanism in relaxation of the metastable phase with double excitation towards the stationary state.

IV.2.2 Structure of effective dynamics

In Figs. 9(b) and 9(c), we show examples of the effective master operator for two sets of parameters, indicated by the crosses in Fig. 9(a), corresponding to the cases with a single metastability and a hierarchy of two metastabilities. In both cases, a double-excitation phase is most likely transformed into one of two single-excitation phases (equally likely due to the translation symmetry by 33 sites of the double-excitation phase), with one excitation inducing relaxation of the other. A single excitation phase is most likely transformed into no-excitation phase, which in turn gets excited most likely with only a single excitation (into one of six single-excitation phases). This ladder structure of the effective classical dynamics supports detailed balance in the dynamics discussed in Sec. IV.1.

Beyond those leading order transformations, however, shifts of a single excitations are possible due to two different mechanisms. In Fig. 9(b), we observe that the shift of a single excitation is possible to all sites except that corresponding to the possible position of a second excitation, in which case the second excitation is introduced instead. This indicates that the shift is actually facilitated by the introduction of excitations and their subsequent decay, which can be facilitated either by several excitations by the temperature/coherent field, or the softness of constraint allowing for introduction of excitations directly in unexcited sites. The uniform probability of shifts to different sites in Fig. 9(c), suggest that the two processes contribute equally, while, in the case of hierarchy in Fig. 9(b), the larger values of the coherent field and temperature dominate the latter process and only some shifts are possible. This is directly supported by the perturbation results in the classical model; see Appendix C. We note however, that for considered system size of N=6N=6 and the chosen constraint with p=0.99p=0.99, we do not yet capture the hallmark behaviour of the classical East model, where required order of temperature contributing to the dynamics of excitations scales logarithmically with their distance (cf. Appendix C.2.2). In particular, we cannot verify whether the necessarily (quadratically) higher orders in which the local coherent field contributes to the dynamics of in the open quantum East model (cf. Appendix C.4.2) alter this characteristic.

Although there is no apparent directionality in the dynamics for both cases, which is likely due to the small system size N=6N=6 (cf. Appendix C.2.4), we would in general expect this to follow from the presence of the constraint to the left [cf. Eq. (6)], and such directionality is present in perturbation theory with respect to temperature for larger system sizes. Nevertheless, we observe in both cases that the unexcited metastable lifetime is much longer than the metastable phases with a single or double excitations; in trajectories of the classical effective dynamics most time is spent in the unexcited state, and excitations are present at isolated moments in time. These periods are also isolated in space, due to the symmetry structure of the metastable manifold (see also Appendix D).

IV.2.3 Dynamical heterogeneity

We now discuss how metastability and the structure of long-time dynamics manifests itself in the emission patterns in individual experimental realisations of the system dynamics Olmos et al. (2012); Lesanovsky et al. (2013).

Consider first dynamics in the case of the state being (on average) in one of the metastable phases featuring a single or double excitations. An excitation of site (j1)(j-1) fulfils the hard constraint of the single spin dynamics of the jjth spin [cf. Eqs. (3) and (6)], enabling dynamics on this site and thus its relaxation towards the single-spin stationary state in Eq. (4). Thus, for times shorter than relaxation of the considered metastable phase, tτ1,τ2t\lesssim\tau_{1},\tau_{2}, in an individual realisation of an experiment (or quantum trajectories obtained in QJMC simulations) photon emissions occur from jjth spin corresponding to the jump JjJ_{j}^{-} [Eq. (6b)], so that the metastable phase with an excitations appears locally bright. These emissions occur at the rate κTr(S+Sρss,1)Ω2/κ+γ+\kappa{\mathrm{Tr}}(S^{+}S^{-}\rho_{\text{ss,1}})\approx\Omega^{2}/\kappa+\gamma+..., so that the site next to the excitation appears brighter for higher temperature or coherent field values [see Figs. 9(d) and 9(e)]. In contrast, for the unexcited metastable phase, the hard constraint in the dynamics is not fulfilled, and therefore, this phase appears dark in quantum trajectories, before it relaxes due to the soft constraint introducing of a single excitation at tτ0t\gtrsim\tau_{0}.

At longer times, higher order processes introducing several excitations or exploiting softness of constraint become non-negligible on average, contributing to the long-time dynamics of the metastable phases by connecting disjoint parts of state space. In individual quantum trajectories these processes take place separately and at fluctuating times, but are typically followed by the fast decay of excitations due to satisfied hard constraints (on timescales t1/λm+1Rt\lesssim-1/\lambda_{m+1}^{R}; m=10m=10) towards another metastable phase. Therefore, a time coarse-graining of quantum trajectories leads to the system transitioning only between metastable phases. As averaging over trajectories returns the evolution with the master operator [Eq. (1)], transitions in coarse-grained quantum trajectories must be governed by the effective long-time generator [Eq. (13)]. This is corroborated in Fig. 9(d) where, correspondingly with the transition rates of the effective stochastic generator, in the case of a single metastable regime, mostly transitions between the excited states and dark states are observed. Meanwhile, in Fig. 9(e), for the hierarchy of two metastabilities, there is also a significant presence of transitions between states with a single excitation, shifting the location of emissions.

We conclude that the dynamical heterogeneity in the quantum trajectories is the microscopic counterpart to the classical stochastic jumps between phases with different numbers of excitations at different sites, which arise as a result of temporal coarse-graining of quantum trajectories. This is a general phenomenon, detailed theoretically in Ref. Macieszczak et al. (2020). In particular, this relation could be used to explore possible differences in the contributions to the dynamics from the temperature and the coherent field at larger system sizes accessible in QJMC simulations.

IV.2.4 Proximity to dynamical phase transitions

Systems with intermittent dynamics are commonly found to exist near a dynamical phase transition in the statistics of the activity, i.e., the number of jumps per unit time Garrahan and Lesanovsky (2010); Garrahan et al. (2011); Ates et al. (2012); Lesanovsky et al. (2013). Here, we demonstrate this for the global activity for jumps related to loss of excitations. Since our system exhibits dynamical heterogeneity, we also find the system in proximity to transitions in the statistics of the local activity.

Dynamical phase transitions in global jump activity. The intermittent emissions in trajectories have a direct effect on the time integrated statistics of their corresponding jumps. The statistics of a trajectory-observable chosen as the number K(t)K^{-}(t) of JjJ_{j}^{-} jumps up to time tt summed across all sites, is encoded by the cumulant generating function

Θ(s,t)=ln[Z(s,t)],\Theta(s,t)=\ln[Z(s,t)], (17)

where

Z(s,t)=Kp(K,t)esK=Tr(etsρ),\displaystyle Z(s,t)=\sum_{K^{-}}p(K^{-},t)e^{-sK^{-}}={\mathrm{Tr}}(e^{t\mathcal{L}_{s}\rho}), (18)

can be obtained using the biased master operator

s(ρ)=(ρ)+(es1)j=1NJjρJj{\mathcal{L}}_{s}(\rho)={\mathcal{L}}(\rho)+(e^{-s}-1)\sum_{j=1}^{N}J_{j}^{-}\rho\,J_{j}^{-\dagger} (19)

[cf. Eq. (2)]. Furthermore, the statistics of the activity k(t)=K(t)/tk^{-}(t)=K^{-}(t)/t is encoded in the long time limit by the scaled cumulant generating function (SCGF)

θ(s)=limtΘ(s,t)t,\displaystyle\theta(s)=\lim_{t\rightarrow\infty}\frac{\Theta(s,t)}{t}, (20)

given by the leading eigenvalue of s\mathcal{L}_{s} [cf. Eqs. (17) and (18)]. The corresponding eigenmode ρss(s){\rho_{\text{ss}}}(s) of s\mathcal{L}_{s} is the average asymptotic state in the biased trajectory ensemble, where each trajectory is weighted by esK(t)e^{-sK^{-}(t)}, before the overall ensemble is then renormalised [cf. Eq. (18)]. The SCGF plays the role of free energy in non-equilibrium statistical mechanics Touchette (2009), with its non-analyticities corresponding to dynamical phase transitions Garrahan and Lesanovsky (2010); Garrahan et al. (2011); Ates et al. (2012); Lesanovsky et al. (2013).

In Fig. 10(a), two sharp changes are found in the first derivative of θ(s)\theta(s), i.e., the average activity k(s)=dθ(s)/dsk(s)=-\mathrm{d}\theta(s)/\mathrm{d}s, at negative bias ss close to 0, between the values equal zero, one or twice the average single spin activity proportional to Ω2/κ+2γ+\Omega^{2}/\kappa+2\gamma+... [see Eq. (4)]. This indicates that the proximity of the physical dynamics s=0s=0 to two first-order dynamical phase transitions. Furthermore, these changes occur as the perturbation due to the bias becomes larger than λm\lambda_{m} for m=7m=7 and m=10m=10, which indicates their relation to the presence of the hierarchy of metastabilities. This is also supported by Fig. 10(b), where in a decomposition of ρss(s){\rho_{\text{ss}}}(s) between metastable phases (in its barycentric coordinates), at s=0s=0 it corresponds mostly to the dark metastable phase, while for a large enough negative bias ss (towards more active trajectories) can be characterised as the equal mixture of six single-excitation metastable phases (1/61/6th probability each) or the equal mixture of three double-excitation metastable phases (1/31/3rd probability each). This homogeneity follows from the translation symmetry of s{\mathcal{L}}_{s}.

Refer to caption
Figure 10: Global jump statistics: (a) The leading eigenvalue θ(s)\theta(s) (light) of the biased master operator, Eq. (19), and the corresponding activity k(s)k(s) (dark), plotted on a log / linear scale respectively for negative values of ss. The inset shows a larger range of parameters on a linear scale with an additional transition corresponding to the effective metastability (see Sec. IV.3). (b) The barycentric coordinates of ρss(s){\rho_{\text{ss}}}(s) with respect to: the dark state (dark), a single excited phase (light) and a two-excitation phase (intermediate). The inset shows a larger range of parameters, along with the distance between ρss(s){\rho_{\text{ss}}}(s) and the corresponding metastable state (dashed) [cf. Eq. (9)]. Parameters are chosen as Ω/κ=0.15\Omega/\kappa=0.15, γ/κ=0.0004\gamma/\kappa=0.0004, and p=0.999p=0.999, while θ(s)\theta(s) and ρss(s){\rho_{\text{ss}}}(s) are obtained by numerical diagonalisation of s{\mathcal{L}}_{s}.

These results actually follow from the correspondence of θ(s)\theta(s) to an SCGF for integrated metastable phase activity in classical trajectories of the long-times dynamics Macieszczak et al. (2020) (cf. Ref. Macieszczak et al. (2016b)), which holds for small to moderate values of ss [when contributions from fast modes are negligible; cf. the inset in Fig. 10(b)] and metastable phases distinguished by the average jump activities dominating rates of the long-time dynamics. This is exactly the situation in the open quantum East model due to the constraint in JjJ_{j}^{-} fulfilled by excitations present in metastable phases [cf. Fig. 5(a)]. Indeed, biasing trajectories with negative ss effectuates post-selection towards more active trajectories, which in this case correspond to metastable phases with a single or double activity for smaller or larger |s||s| (respectively, in order to make up for the shorter lifetime τ2τ1\tau_{2}\ll\tau_{1} due to the hierarchy of metastabilities present for the chosen parameters; probability of trajectories with even higher activity remains negligible). In contrast, for positive ss inactive trajectories are preferred, corresponding to the dark metastable phase with no excitations.

Dynamical phase transitions in local jump activity. Rather than the global activity of jumps across the system, we can consider local jump activity, with the locally biased master operator [cf. Eq. (19)]

s1,,sN(ρ)=(ρ)+j=1N(esj1)JjρJj{\mathcal{L}}_{s_{1},...,s_{N}}(\rho)={\mathcal{L}}(\rho)+\sum_{j=1}^{N}(e^{-s_{j}}-1)J_{j}^{-}\rho\,J_{j}^{-\dagger} (21)

encoding the joint statistics of number KjK_{j}^{-} of jumps JjJ_{j}^{-} at sites j=1,,Nj=1,...,N observed up to time tt. Similarly to Fig. 10 for the full jump statistics, in Fig. 11, we observe sharp changes in the first derivative of the corresponding maximal eigenvalue of s1,,sN{\mathcal{L}}_{s_{1},...,s_{N}}.

In Figs. 11(a) and 11(b), we look at a cross-section with s1=ss_{1}=s and sj=0s_{j}=0 for j1j\neq 1. This biases towards trajectories containing significant periods of the single excitation metastable phases, and ignores the double excitation phases: indeed, in Fig. 11(a) there is only a single jump in the activity to a value corresponding to the activity of single excitation phases, while the overlap with the phase featuring an excitation at site 66 that induces emissions on site 11, turns out to be dominant at negative values of ss in Fig. 11(b).

To target a double excitation state, we look in Figs. 11(c) and 11(d) at a cross-section with s1=s4=ss_{1}=s_{4}=s and sj=0s_{j}=0 for j1,4j\neq 1,4, targeting the phase with excitations on sites 33 and 66. As expected, there is a pair of jumps in the activity in Fig. 11(c), corresponding to the activity of single excitation phases and double excitation phases respectively. For smaller negative values of ss, the overlap with the metastable phases in Fig. 11(b) is split evenly across the single excitation phases on sites 33 and 66, as expected in comparison with Fig. 10; for large values the only relevant overlap becomes the double excitation phase that was targeted with this choice of bias.

Refer to caption
Figure 11: Local jump statistics: (a,c) The leading eigenvalue of the biased master operator in Eq. (21) (left axis) and the corresponding activity (right axis) as a function of the local bias, (a) on a single site s1=ss_{1}=s, (c) on two sites s1=s4=ss_{1}=s_{4}=s. (b,d) The barycentric coordinates of ρss(s){\rho_{\text{ss}}}(s) with respect to: the dark phase (dark), the phase with a single excitation on the third or sixth site (light) and the phase with two excitations on the third and sixth site (intermediate). Parameters are chosen as Ω/κ=0.15\Omega/\kappa=0.15, γ/κ=0.0004\gamma/\kappa=0.0004, and p=0.999p=0.999, while θ(s)\theta(s) and ρss(s){\rho_{\text{ss}}}(s) are obtained by numerical diagonalisation of s1,,s6{\mathcal{L}}_{s_{1},...,s_{6}}.

Metastable phases from biased trajectories. Beyond clarifying the relation of first-order dynamical phase transitions to metastability, Figs. 10 and 11 demonstrate that metastable phases differing in activity can be obtained as the asymptotic average states in the biased ensemble of trajectories. This result indicates an alternative method to uncover the structure of metastable manifold, which does not require the diagonalisation of the master operator (cf. Appendix A.3). While methods for efficient sampling of biased classical trajectory ensembles are common Crooks and Chandler (2001); Bolhuis et al. (2002); Lecomte and Tailleur (2007); Giardina et al. (2011); Ferré and Touchette (2018); Rose et al. (2020), with some work in this direction for quantum systems Schile and Limmer (2018); Carollo and Pérez-Espigares (2020), more development is needed to achieve the speed needed for many-body quantum systems. A possible direction could be the use of tensor network techniques, as done in recent classical large deviation studies Bañuls and Garrahan (2019); Causer et al. (2020).

IV.3 Effective metastability of observables

Metastability can be observed experimentally in the behaviour of statistical quantities such as expectation values or autocorrelations of system observables Macieszczak et al. (2016a); Sciolla et al. (2015); Rose et al. (2016); Macieszczak et al. (2020), with each metastable regime manifesting as a plateau in the observable dynamics. In particular, for the average of an observable MM we have [cf. Eq. (8)]

M(t)\displaystyle\langle M(t)\rangle =\displaystyle= Tr[Mρ(t)]=Mss+k2etλkckdk,\displaystyle{\mathrm{Tr}}[M\rho(t)]=\langle M\rangle_{\text{ss}}+\sum_{k\geq 2}{e}^{t{\lambda}_{k}}\,{c}_{k}{d}_{k}, (22)

where Mss\langle M\rangle_{\text{ss}} is the average in the stationary state ρss{\rho_{\text{ss}}} and dk=Tr(MRk){d}_{k}={\mathrm{Tr}}(MR_{k}) are coefficients of the decomposition of MM into the eigenmodes LkL_{k}. After the relaxation towards a metastable regime, t1/λm+1Rt\gg-1/\lambda_{m+1}^{R}, evolution of the average is determined only by the slow modes [cf. Eq. (11)]

M(t)=Mss+k=2metλkckdk+,\langle M(t)\rangle=\langle M\rangle_{\text{ss}}+\sum_{k=2}^{m}{e}^{t{\lambda}_{k}}\,{c}_{k}{d}_{k}+..., (23)

so that during the metastable regime, 1/λm+1Rt1/λmR-1/\lambda_{m+1}^{R}\ll t\ll-1/\lambda_{m}^{R}, the average is approximately stationary manifesting as a visible plateau on a log-timescale.

In Fig. 12, for N=6N=6 spins of the open quantum East model initialised from the all up state, the observable is chosen as zz-magnetisation per spin, mz(t)=j=1NSjz(t)/Nm_{z}(t)=\sum_{j=1}^{N}\langle S^{z}_{j}(t)\rangle/N, which corresponds to the number of excitations in the system [cf. Fig. 5 and see also Fig. 1(b)]. We indeed observe plateaus due to the presence of metastable regimes, as indicated by the agreement with the long-time dynamics [Eq. (23)]. These are preceded by the necessary decay of excitations, as metastable phases feature at most two excitations, while final relaxation removes all excitations to reach the unexcited stationary state.

Interestingly, the exact dynamics features an additional (anomalous) plateau at earlier times, which is not due to any further gap present in the spectrum of the master operator, but results instead from the zero overlap of either the initial state (ck=0c_{k}=0) or the observable (dk=0d_{k}=0) with many eigenmodes in Eq. (22), creating an effective gap in the eigenvalues of the master operator that do contribute to the dynamics, and thus an effective metastability. We have verified that this gap does not simply arise due to the choice of a symmetric observable, i.e., is not present in the eigenvalues of the symmetric modes.

Furthermore, the average magnetisation is related to instant activity of jumps JjJ_{j}^{-} [Eq. (6b)] per spin j=1NJjJj/N=mz+1/2\sum_{j=1}^{N}\langle J_{j}^{-\dagger}J_{j}^{-}\rangle/N=m_{z}+1/2. This links the existence of metastable phases differing in magnetisation to sharp changes in the activity of quantum trajectories (cf. Fig. 10). When the effective metastability is present, also another jump in the activity occurs corresponding to a higher number of excitations than in the metastable phases and at a more negative bias [see the inset in Fig. 10(a) and the inset in Fig. 10(b) where the dashed line represents the distance between the average state in trajectories with a given activity and its projection onto the metastable manifold]. This suggests the effective metastability results from the magnetisation overlaps with the modes, rather than the specific choice of the initial state.

Refer to caption
Figure 12: Effective metastability of magnetisation: (a) and (b) Exact (solid) and effective (dashed, dash-dotted) evolution of the total zz magnetisation from an initial all up state, corresponding to master operators with one and two metastable timescales shown in Figs. 9(b) and 9(c), respectively. The two effective curves in panel (b) correspond to restricting the effective master operator to only the m=7m=7 (slower) modes (Eff 1) or all m=10m=10 low-lying modes (Eff 2). Parameters are chosen as Ω/κ=0.15\Omega/\kappa=0.15, γ/κ=0.0004\gamma/\kappa=0.0004, and p=0.999p=0.999.

V Conclusions

In this work, we have investigated a quantum generalisation of the classical East model, uncovering a hierarchy of classical metastable manifolds characterised by the number of excited sites, similar to the case of the classical East model. The long time effective dynamics of the model was shown not only to be classical and featuring a hierarchy of timescales, but also to possess detailed balance, with an effective free energy depending only on the number of excitations and not their distance: both properties also found in the classical East model, but here persisting even in the presence of a coherent driving that is comparable in strength to the temperature. The dynamics thus mimics the classical model, with an effective temperature taking into account both the coherent driving field and temperature, and effective classical configurations given by a modified basis of quantum states. This demonstrates for the first time the usefulness the methods for metastability in open quantum systems introduced in Ref. Macieszczak et al. (2016a, 2020) for uncovering complex relaxation dynamics in many-body quantum systems without static phase transitions.

Acknowledgements.
K.M. gratefully acknowledges support from a Henslow Research Fellowship. J.P.G. is grateful to All Souls College, Oxford, for support through a Visiting Fellowship during the latter stages of this work. I.L. acknowledges support from the ”Wissenschaftler-Rückkehrprogramm GSO/CZS of the Carl-Zeiss-Stiftung and the German Scholars Organization e.V., as well as through the Deutsche Forschungsgemeinsschaft (DFG, German Research Foundation) under Project No.43569660. We acknowledge financial support from EPSRC Grant no. EP/R04421X/1, and by University of Nottingham, Grant No. FiF1/3. We are also grateful for access to the University of Nottingham High Performance Computing Facility.

References

  • Pritchard et al. (2010) J. D. Pritchard, D. Maxwell, A. Gauguet, K. J. Weatherill, M. P. A. Jones,  and C. S. Adams, “Cooperative Atom-Light Interaction in a Blockaded Rydberg Ensemble,” Phys. Rev. Lett. 105, 193603 (2010).
  • Blatt and Roos (2012) R. Blatt and C. F. Roos, “Quantum simulations with trapped ions,” Nat. Phys. 8, 277–284 (2012).
  • Britton et al. (2012) J. W. Britton, B. C. Sawyer, A. C. Keith, C. C. J. Wang, J. K. Freericks, H. Uys, M. J. Biercuk,  and J. J. Bollinger, “Engineered two-dimensional Ising interactions in a trapped-ion quantum simulator with hundreds of spins,” Nature 484, 489–492 (2012).
  • Dudin and Kuzmich (2012) Y. O. Dudin and A. Kuzmich, “Strongly Interacting Rydberg Excitations of a Cold Atomic Gas,” Science 336, 887–889 (2012).
  • Peyronel et al. (2012) T. Peyronel, O. Firstenberg, Q. Liang, S. Hofferberth, A. V. Gorshkov, T. Pohl, M. D. Lukin,  and V. Vuletic, “Quantum nonlinear optics with single photons enabled by strongly interacting atoms,” Nature 488, 57–60 (2012).
  • Günter et al. (2013) G. Günter, H. Schempp, M. Robert-de Saint-Vincent, V. Gavryusev, S. Helmrich, C. S. Hofmann, S. Whitlock,  and M. Weidemüller, “Observing the Dynamics of Dipole-Mediated Energy Transport by Interaction-Enhanced Imaging,” Science 342, 954–956 (2013).
  • Schmidt and Koch (2013) S. Schmidt and J. Koch, “Circuit QED lattices: Towards quantum simulation with superconducting circuits,” Ann. Phys. 525, 395–412 (2013).
  • Gangat et al. (2017) A. A. Gangat, T. I,  and Y.-J. Kao, “Steady States of Infinite-Size Dissipative Quantum Chains via Imaginary Time Evolution,” Phys. Rev. Lett. 119, 010501 (2017).
  • Dalibard et al. (1992) J. Dalibard, Y. Castin,  and K. Mølmer, “Wave-function approach to dissipative processes in quantum optics,” Phys. Rev. Lett. 68, 580–583 (1992).
  • Mølmer et al. (1993) K. Mølmer, Y. Castin,  and J. Dalibard, “Monte Carlo wave-function method in quantum optics,” J. Opt. Soc. Am. B 10, 524–538 (1993).
  • Plenio and Knight (1998) M. B. Plenio and P. L. Knight, “The quantum-jump approach to dissipative dynamics in quantum optics,” Rev. Mod. Phys. 70, 101–144 (1998).
  • Daley (2014) A. J. Daley, “Quantum trajectories and open many-body quantum systems,” Adv. Phys. 63, 77–149 (2014).
  • Torre et al. (2013) E. G. D. Torre, S. Diehl, M. D. Lukin, S. Sachdev,  and P. Strack, “Keldysh approach for nonequilibrium phase transitions in quantum optics: Beyond the Dicke model in optical cavities,” Phys. Rev. A 87, 023831 (2013).
  • Sieberer et al. (2016) L. M. Sieberer, M. Buchhold,  and S. Diehl, “Keldysh field theory for driven open quantum systems,” Rep. Prog. Phys. 79, 096001 (2016).
  • Maghrebi and Gorshkov (2016) M. F. Maghrebi and A. V. Gorshkov, “Nonequilibrium many-body steady states via Keldysh formalism,” Phys. Rev. B 93, 014307 (2016).
  • Weimer (2015a) H. Weimer, “Variational Principle for Steady States of Dissipative Quantum Many-Body Systems,” Phys. Rev. Lett. 114, 040402 (2015a).
  • Weimer (2015b) H. Weimer, “Variational analysis of driven-dissipative Rydberg gases,” Phys. Rev. A 91, 063401 (2015b).
  • Overbeck et al. (2017) V. R. Overbeck, M. F. Maghrebi, A. V. Gorshkov,  and H. Weimer, “Multicritical behavior in dissipative Ising models,” Phys. Rev. A 95, 042133 (2017).
  • Yoshioka and Hamazaki (2019) N. Yoshioka and R. Hamazaki, “Constructing neural stationary states for open quantum many-body systems,” Phys. Rev. B 99, 214306 (2019).
  • Hartmann and Carleo (2019) M. J. Hartmann and G. Carleo, “Neural-Network Approach to Dissipative Quantum Many-Body Dynamics,” Phys. Rev. Lett. 122, 250502 (2019).
  • Nagy, Alexandra and Savona, Vincenzo (2019) Nagy, Alexandra and Savona, Vincenzo, “Variational quantum monte carlo method with a neural-network ansatz for open quantum systems,” Phys. Rev. Lett. 122, 250501 (2019).
  • Vicentini et al. (2019) F. Vicentini, A. Biella, N. Regnault,  and C. Ciuti, “Variational Neural-Network Ansatz for Steady States in Open Quantum Systems,” Phys. Rev. Lett. 122, 250503 (2019).
  • Bedolla-Montiel et al. (2020) E. A. Bedolla-Montiel, L. C. Padierna,  and R. Castañeda-Priego, “Machine Learning for Condensed Matter Physics,”  (2020), arXiv:2005.14228 .
  • Mendoza-Arenas, J. J. and Clark, S. R. and Felicetti, S. and Romero, G. and Solano, E. and Angelakis, D. G. and Jaksch, D. (2016) Mendoza-Arenas, J. J. and Clark, S. R. and Felicetti, S. and Romero, G. and Solano, E. and Angelakis, D. G. and Jaksch, D., “Beyond mean-field bistability in driven-dissipative lattices: Bunching-antibunching transition and quantum simulation,” Phys. Rev. A 93, 023821 (2016).
  • Foss-Feig et al. (2017) M. Foss-Feig, P. Niroula, J. T. Young, M. Hafezi, A. V. Gorshkov, R. M. Wilson,  and M. F. Maghrebi, “Emergent equilibrium in many-body optical bistability,” Phys. Rev. A 95, 043826 (2017).
  • Casteels and Wouters (2017) W. Casteels and M. Wouters, “Optically bistable driven-dissipative Bose-Hubbard dimer: Gutzwiller approaches and entanglement,” Phys. Rev. A 95, 043833 (2017).
  • Letscher et al. (2017) F. Letscher, O. Thomas, T. Niederprüm, M. Fleischhauer,  and H. Ott, “Bistability Versus Metastability in Driven Dissipative Rydberg Gases,” Phys. Rev. X 7, 021020 (2017).
  • Jin et al. (2018) J. Jin, A. Biella, O. Viyuela, C. Ciuti, R. Fazio,  and D. Rossini, “Phase diagram of the dissipative quantum Ising model on a square lattice,” Phys. Rev. B 98, 241108 (2018).
  • de Melo et al. (2016) N. R. de Melo, C. G. Wade, N. Šibalić, J. M. Kondo, C. S. Adams,  and K. J. Weatherill, “Intrinsic optical bistability in a strongly driven Rydberg ensemble,” Phys. Rev. A 93, 063863 (2016).
  • Rodriguez et al. (2017) S. R. K. Rodriguez, W. Casteels, F. Storme, N. Carlon Zambon, I. Sagnes, L. Le Gratiet, E. Galopin, A. Lemaître, A. Amo, C. Ciuti,  and J. Bloch, “Probing a Dissipative Phase Transition via Dynamical Optical Hysteresis,” Phys. Rev. Lett. 118, 247402 (2017).
  • Gaveau and Schulman (1987) B. Gaveau and L. S. Schulman, “Dynamical metastability,” J. Phys. A 20, 2865 (1987).
  • Gaveau and Schulman (1998) B. Gaveau and L. S. Schulman, “Theory of nonequilibrium first-order phase transitions for stochastic dynamics,” J. Mat. Phys. 39, 1517 (1998).
  • Gaveau et al. (1999) B. Gaveau, A. Lesne,  and L. S. Schulman, “Spectral signatures of hierarchical relaxation,” Phys. Lett. A 258, 222 – 228 (1999).
  • Schulman and Gaveau (2001) L. S. Schulman and B. Gaveau, “Coarse Grains: The Emergence of Space and Order,” Found. Phys. 31, 713–731 (2001).
  • Gaveau and Schulman (2006) B. Gaveau and L. S. Schulman, “Multiple phases in stochastic dynamics: Geometry and probabilities,” Phys. Rev. E 73, 036124 (2006).
  • Macieszczak et al. (2016a) K. Macieszczak, M. Guta, I. Lesanovsky,  and J. P. Garrahan, “Towards a Theory of Metastability in Open Quantum Dynamics,” Phys. Rev. Lett. 116, 240404 (2016a).
  • Rose et al. (2016) D. C. Rose, K. Macieszczak, I. Lesanovsky,  and J. P. Garrahan, “Metastability in an open quantum Ising model,” Phys. Rev. E 94, 052132 (2016).
  • Macieszczak et al. (2020) K. Macieszczak, D. C. Rose, I. Lesanovsky,  and J. P. Garrahan, “Theory of classical metastability in open quantum systems,”  (2020), arXiv:2006.01227 .
  • Minganti et al. (2018) F. Minganti, A. Biella, N. Bartolo,  and C. Ciuti, “Spectral theory of Liouvillians for dissipative phase transitions,” Phys. Rev. A 98, 042118 (2018).
  • Landa et al. (2020) H. Landa, M. Schiró,  and G. Misguich, “Multistability of Driven-Dissipative Quantum Spins,” Phys. Rev. Lett. 124, 043601 (2020).
  • Jäckle and Eisinger (1991) J. Jäckle and S. Eisinger, “A hierarchically constrained kinetic Ising model,” Z. Phys. B 84, 115–124 (1991).
  • Sollich and Evans (1999) P. Sollich and M. R. Evans, “Glassy Time-Scale Divergence and Anomalous Coarsening in a Kinetically Constrained Spin Chain,” Phys. Rev. Lett. 83, 3238–3241 (1999).
  • Garrahan and Chandler (2002) J. P. Garrahan and D. Chandler, “Geometrical Explanation and Scaling of Dynamical Heterogeneities in Glass Forming Systems,” Phys. Rev. Lett. 89, 035704 (2002).
  • Sollich and Evans (2003) P. Sollich and M. R. Evans, “Glassy dynamics in the asymmetrically constrained kinetic Ising chain,” Phys. Rev. E 68, 031504 (2003).
  • Binder and Kob (2011) K. Binder and W. Kob, Glassy Materials and Disordered Solids: An Introduction to Their Statistical Mechanics (Revised Edition) (World Scientific, 2011).
  • Biroli and Garrahan (2013) G. Biroli and J. P. Garrahan, “Perspective: The glass transition,” J. Chem. Phys. 138, 12A301 (2013).
  • Rokhsar and Kivelson (1988) D. S. Rokhsar and S. A. Kivelson, “Superconductivity and the Quantum Hard-Core Dimer Gas,” Phys. Rev. Lett. 61, 2376–2379 (1988).
  • Henley (2004) C. L. Henley, “From classical to quantum dynamics at Rokhsar–Kivelson points,” J. Phys. Cond. Mat. 16, S891 (2004).
  • van Horssen et al. (2015) M. van Horssen, E. Levi,  and J. P. Garrahan, “Dynamics of many-body localization in a translation-invariant quantum glass model,” Phys. Rev. B 92, 100305 (2015).
  • Hickey et al. (2016) J. M. Hickey, S. Genway,  and J. P. Garrahan, “Signatures of many-body localisation in a system without disorder and the relation to a glass transition,” J. Stat. Mech. 2016, 054047 (2016).
  • Lan et al. (2018) Z. Lan, M. van Horssen, S. Powell,  and J. P. Garrahan, “Quantum Slow Relaxation and Metastability due to Dynamical Constraints,” Phys. Rev. Lett. 121, 040603 (2018).
  • Olmos et al. (2012) B. Olmos, I. Lesanovsky,  and J. P. Garrahan, “Facilitated Spin Models of Dissipative Quantum Glasses,” Phys. Rev. Lett. 109, 020403 (2012).
  • Lesanovsky et al. (2013) I. Lesanovsky, M. van Horssen, M. Guţă,  and J. P. Garrahan, “Characterization of Dynamical Phase Transitions in Quantum Jump Trajectories Beyond the Properties of the Stationary State,” Phys. Rev. Lett. 110, 150401 (2013).
  • Olmos et al. (2014) B. Olmos, I. Lesanovsky,  and J. P. Garrahan, “Out-of-equilibrium evolution of kinetically constrained many-body quantum systems under purely dissipative dynamics,” Phys. Rev. E 90, 042147 (2014).
  • Kato (1995) T. Kato, Perturbation Theory for Linear Operators (Springer, 1995).
  • Ritort and Sollich (2003) F. Ritort and P. Sollich, “Glassy dynamics of kinetically constrained models,” Adv. Phys. 52, 219–342 (2003).
  • Chandler and Garrahan (2010) D. Chandler and J. P. Garrahan, “Dynamics on the Way to Forming Glass: Bubbles in Space-Time,” Annual Review of Physical Chemistry 61, 191–217 (2010), pMID: 20055676, https://doi.org/10.1146/annurev.physchem.040808.090405 .
  • Lindblad (1976) G. Lindblad, “On the generators of quantum dynamical semigroups,” Commun. Math. Phys. 48, 119–130 (1976).
  • Gardiner and Zoller (2004) C. W. Gardiner and P. Zoller, Quantum Noise, 3rd ed., Complexity (Springer, 2004).
  • Breuer and Petruccione (2002) H.-P. Breuer and F. Petruccione, The theory of open quantum systems (Oxford University Press, 2002).
  • Ates et al. (2012) C. Ates, B. Olmos, J. P. Garrahan,  and I. Lesanovsky, “Dynamical phases and intermittency of the dissipative quantum Ising model,” Phys. Rev. A 85, 043620 (2012).
  • Biondi et al. (2017) M. Biondi, S. Lienhard, G. Blatter, H. E. Türeci,  and S. Schmidt, “Spatial correlations in driven-dissipative photonic lattices,” New J. Phys. 19, 125016 (2017).
  • Zanardi (1997) P. Zanardi, “Dissipative dynamics in a quantum register,” Phys. Rev. A 56, 4445–4451 (1997).
  • Zanardi and Rasetti (1997) P. Zanardi and M. Rasetti, “Noiseless Quantum Codes,” Phys. Rev. Lett. 79, 3306–3309 (1997).
  • Lidar et al. (1998) D. A. Lidar, I. L. Chuang,  and K. B. Whaley, “Decoherence-Free Subspaces for Quantum Computation,” Phys. Rev. Lett. 81, 2594–2597 (1998).
  • Baumgartner and Narnhofer (2008) B. Baumgartner and H. Narnhofer, “Analysis of quantum semigroups with GKS–Lindblad generators: II. General,” J. Phys. A: Math. Theor. 41, 395303 (2008).
  • Albert et al. (2016) V. V. Albert, B. Bradlyn, M. Fraas,  and L. Jiang, “Geometry and Response of Lindbladians,” Phys. Rev. X 6, 041031 (2016).
  • Note (1) In the case of the classical model (Ω=0\Omega=0), in the perturbative regime, the metastable manifold is known to consist of isolated excitations at any system size (see Appendix C), and thus the free energy over metastable phases is again only the function of number of excitations, and so we can expect, also in the open quantum East model for larger system sizes.
  • Garrahan and Lesanovsky (2010) J. P. Garrahan and I. Lesanovsky, “Thermodynamics of Quantum Jump Trajectories,” Phys. Rev. Lett. 104, 160601 (2010).
  • Garrahan et al. (2011) J. P. Garrahan, A. D. Armour,  and I. Lesanovsky, “Quantum trajectory phase transitions in the micromaser,” Phys. Rev. E 84, 021115 (2011).
  • Touchette (2009) H. Touchette, “The large deviation approach to statistical mechanics,” Phys. Rep. 478, 1 – 69 (2009).
  • Macieszczak et al. (2016b) K. Macieszczak, M. Guţă, I. Lesanovsky,  and J. P. Garrahan, “Dynamical phase transitions as a resource for quantum enhanced metrology,” Phys. Rev. A 93, 022103 (2016b).
  • Crooks and Chandler (2001) G. E. Crooks and D. Chandler, “Efficient transition path sampling for nonequilibrium stochastic dynamics,” Phys. Rev. E 64, 026109 (2001).
  • Bolhuis et al. (2002) P. G. Bolhuis, D. Chandler, C. Dellago,  and P. L. Geissler, “Transition path sampling: throwing ropes over rough mountain passes, in the dark,” Annu. Rev. Phys. Chem. 53, 291 (2002).
  • Lecomte and Tailleur (2007) V. Lecomte and J. Tailleur, “A numerical approach to large deviations in continuous time,” J. Stat. Mech. 2007, P03004 (2007).
  • Giardina et al. (2011) C. Giardina, J. Kurchan, V. Lecomte,  and J. Tailleur, “Simulating Rare Events in Dynamical Processes,” J. Stat. Phys. 145, 787–811 (2011).
  • Ferré and Touchette (2018) G. Ferré and H. Touchette, “Adaptive Sampling of Large Deviations,” J. Stat. Phys. 172, 1525–1544 (2018).
  • Rose et al. (2020) D. C. Rose, J. F. Mair,  and J. P. Garrahan, “A reinforcement learning approach to rare trajectory sampling,”  (2020), arXiv:2005.12890 .
  • Schile and Limmer (2018) A. J. Schile and D. T. Limmer, “Studying rare nonadiabatic dynamics with transition path sampling quantum jump trajectories,” The Journal of Chemical Physics 149, 214109 (2018).
  • Carollo and Pérez-Espigares (2020) F. Carollo and C. Pérez-Espigares, “Entanglement statistics in Markovian open quantum systems: A matter of mutation and selection,” Phys. Rev. E 102, 030104 (2020).
  • Bañuls and Garrahan (2019) M. C. Bañuls and J. P. Garrahan, “Using Matrix Product States to Study the Dynamical Large Deviations of Kinetically Constrained Models,” Phys. Rev. Lett. 123, 200601 (2019).
  • Causer et al. (2020) L. Causer, I. Lesanovsky, M. C. Bañuls,  and J. P. Garrahan, “Dynamics and large deviation transitions of the XOR-Fredrickson-Andersen kinetically constrained model,”  (2020), arXiv:2006.08673 .
  • Sciolla et al. (2015) B. Sciolla, D. Poletti,  and C. Kollath, “Two-Time Correlations Probing the Dynamics of Dissipative Many-Body Quantum Systems: Aging and Fast Relaxation,” Phys. Rev. Lett. 114, 170401 (2015).
  • Buča and Prosen (2012) B. Buča and T. Prosen, “A note on symmetry reductions of the Lindblad equation: transport in constrained open spin chains,” New J. Phys. 14, 073007 (2012).
  • Albert and Jiang (2014) V. V. Albert and L. Jiang, “Symmetries and conserved quantities in Lindblad master equations,” Phys. Rev. A 89, 022118 (2014).
  • Nigro (2020) D. Nigro, “Complexity of the steady state of weakly symmetric open quantum lattices,” Phys. Rev. A 101, 022109 (2020).
  • Macieszczak and Rose (2020) K. Macieszczak and D. C. Rose, “Quantum jump Monte Carlo simplified: Abelian symmetries,”  (2020), arXiv:2010.08492 .
  • Everest (2017a) B. Everest, Dissipation as a resource for constrained dynamics in open many-body quantum systemsPh.D. thesis, University of Nottingham (2017a).
  • Everest (2017b) B. Everest, “Quantum Jump Monte Carlo Adaptive Algorithm,” Github (2017b).
  • Zanardi and Campos Venuti (2014) P. Zanardi and L. Campos Venuti, “Coherent Quantum Dynamics in Steady-State Manifolds of Strongly Dissipative Systems,” Phys. Rev. Lett. 113, 240406 (2014).
  • Zanardi and Campos Venuti (2015) P. Zanardi and L. Campos Venuti, “Geometry, robustness, and emerging unitarity in dissipation-projected dynamics,” Phys. Rev. A 91, 052324 (2015).
  • Zanardi et al. (2016) P. Zanardi, J. Marshall,  and L. Campos Venuti, “Dissipative universal Lindbladian simulation,” Phys. Rev. A 93, 022312 (2016).

Appendix

Appendix A Numerics

Here, we summarise key points of numerical methods used in this work.

A.1 Diagonalisation of master operator

To diagonalise the master operator in Eq. (2), with the spectrum shown in Figs. 1(a),  1(b), and 2, we use the Liouville representation for a chosen basis {|ψk}i=12N\{|\psi_{k}\rangle\}_{i=1}^{2^{N}} of the system space. The density matrix is represented as a vector,

ρ¯=k,l=12Nψk|ρ|ψl|ψk|ψl,\overline{\rho}=\sum_{k,l=1}^{2^{N}}\langle\psi_{k}|\rho|\psi_{l}\rangle\,|\psi_{k}\rangle\otimes|\psi_{l}\rangle, (24)

and the master operator as matrix,

¯=\displaystyle\overline{\mathcal{L}}= i(HIIHT)\displaystyle-i\left(H\otimes I-I\otimes H^{T}\right) (25)
+j[JjJj12(JjJjI+IJjTJj)],\displaystyle+\sum_{j}\left[{J}_{j}\otimes{J}_{j}^{*}-\frac{1}{2}\left({J}_{j}^{\dagger}{J}_{j}\otimes I+I\otimes{J}_{j}^{T}{J}_{j}^{*}\right)\right],

where the transposition and complex conjugation take place in the chosen basis. ¯\overline{\mathcal{L}} shares the same spectrum with \mathcal{L}, and the eigenmodes of {\mathcal{L}} can be recovered from eigenvectors of ¯\overline{\mathcal{L}} by the inverse transformation to Eq. (24). This approach can also be used for diagonalisation of the biased operators in Eqs. (19) and (21).

The translation symmetry of the master operator with periodic boundary conditions(and of the biased operator for the total activity) is exploited by considering a basis of states invariant under the translation of spins (up to a phase); cf. Refs. Buča and Prosen (2012); Albert and Jiang (2014); Nigro (2020). The construction of the matrix in Eq. (25) is further simplified by considering plane-wave jump operators instead of local jump operators Macieszczak and Rose (2020).

A.2 QJMC simulations

The QJMC algorithm, which is used to obtain trajectories shown in Figs. 1(c)1(d)9(d), and 9(e), is implemented largely following the standard procedure (see e.g., Ref. Daley (2014)) with one key difference: the time of a jump is found utilizing a binary search as proposed in Chapter 2 of Ref. Everest (2017a) (see also the implementation in Ref. Everest (2017b)). We sketch it below.

While it is standard to discretise the time evolution for efficiency, this leads to a competition between accuracy of jump times, requiring a fine-grained discretisation, and efficiency of time evolution, desiring larger time steps. To meet both these aims, rather than restricting to a single time step for evolution we use a set of NUN_{U} non-unitary evolution operators UkU_{k} for k=1,,NUk=1,...,N_{U}, related by Uk=Uk+12U_{k}=U^{2}_{k+1}. With UNUU_{N_{U}} inducing a time evolution of Δt\Delta t, UkU_{k} thus induces a time evolution of 2NUkΔt2^{N_{U}-k}\Delta t. Evolution between jumps is then initially done using U1U_{1}, allowing for large steps in time of 2NU1Δt2^{N_{U}-1}\Delta t. Once the norm of the state drops below the random number drawn to determine when a jump occurs, the sequence of unitaries is then used to perform a binary search, identifying the time of the jump with the chosen accuracy at much higher speed.

A.3 Generation of metastable phases

We now sketch a version of the computational approach in Ref. Macieszczak et al. (2020), which we use in this work to verify the classicality of the metastable manifold in the open quantum East model (cf. Fig. 4) and to find its metastable phases (cf. Fig. 5).

A.3.1 Upper bound on distance to probability distributions

We first explain how to estimate from above the distance of barycentric coordinates in Eq. (10) from probability distribution for any metastable state. This allows us verify how well the metastable manifold is approximated by probabilistic mixtures of the chosen metastable states.

For a set of candidate states ρ1\rho_{1}, …, ρm\rho_{m}, the corresponding metastable states

ρ~lρss+k=2mck(l)Rk,l=1,,m,\tilde{\rho}_{l}\equiv{\rho_{\text{ss}}}+\sum_{k=2}^{m}c_{k}^{(l)}R_{k},\quad l=1,...,m, (26)

can be used as a new basis replacing the stationary state ρss{\rho_{\text{ss}}} an the low-lying modes R2,,RkR_{2},...,R_{k}, provided that they are linearly independent. The decomposition of a metastable state in terms of barycentric coordinates for Eq. (26) is given in Eq. (10). The barycentric coordinates can be obtained as p~l=Tr(P~lρ)\tilde{p}_{l}={\mathrm{Tr}}(\tilde{P}_{l}\rho), where

P~l=k=1m(𝐂1)klLk,l=1,,m,\tilde{P}_{l}=\sum_{k=1}^{m}(\mathbf{C}^{-1})_{kl}\,L_{k},\quad l=1,...,m, (27)

is the dual basis to Eq. (26), analogously to the coefficients defined as ck=Tr(Lkρ)c_{k}={\mathrm{Tr}}(L_{k}\rho). Note that Eq. (27) is well defined only when the coefficient matrix for candidate states, (𝐂)kl=ck(l)(\mathbf{C})_{kl}=c_{k}^{(l)}, is invertible, i.e., for linearly independent ρ~1{\tilde{\rho}}_{1}, …, ρ~m{\tilde{\rho}}_{m}. We use the dual basis to test the accuracy of the approximation of the metastable manifold in terms of probabilistic mixtures of Eq. (26), as follows.

While k=1mp~k=1\sum_{k=1}^{m}\tilde{p}_{k}=1 is guaranteed to hold for all states by definition of barycentric coordinates, individual coordinates are not restricted to be positive in contrast to probability distributions. In particular, whenever a coordinate takes a value below 0 or above 11, the corresponding metastable state is found beyond the simplex of states in Eq. (26). Since the barycentric coordinates correspond to the expected values of the dual basis elements in Eq. (27), their average distance in L1L1 norm from probability distributions can be bounded from above by (cf. Appendix C 1 in Ref. Macieszczak et al. (2020))

𝒞=12N1l=1mk=12N{max[λk(l),0]+max[λk(l)1,0]},\displaystyle\mathcal{C}=\frac{1}{2^{N-1}}\sum_{l=1}^{m}\sum_{k=1}^{2^{N}}\!\left\{\max\!\left[-\lambda_{k}^{(l)}\!,0\right]\!+\!\max\!\left[\lambda_{k}^{(l)}\!\!-\!1,0\right]\!\right\}\!,\qquad (28)

where λk(l)\lambda_{k}^{(l)} is kkth eigenvalue of P~l\tilde{P}_{l} and we consider uniformly sampled pure initial states. Note that 𝒞\mathcal{C} is simply proportional the sum over ll of distances of P~l\tilde{P}_{l} spectrum to [0,1][0,1] interval. Furthermore, 2N1𝒞2^{N-1}\mathcal{C} is an upper bound on the distance of barycentric coordinates for any initial state to probability distribution. This bound is shown in Fig. 4 for the metastable candidate states in Fig. 5.

We conclude that when 𝒞\mathcal{C} of Eq. (28) is small in comparison to 11 (which is the L1L1 norm of probability distributions), the metastable manifold is well approximated by probabilistic mixtures of the candidate metastable states in Eq. (26). Therefore, by checking the spectrum of the dual basis in Eq. (27), we can investigate the classicality of the metastable manifold, as long as candidate states can be generated efficiently, which we discuss next.

A.3.2 Generation of candidate states

We now explain how sets of candidate states can be generated efficiently. We work with the assumption that the metastable manifold is classical, i.e., has an approximate simplex structure in the coefficient space [cf. Fig. 3(a)] and, thus, we attempt to find a set of mm metastable states which define the largest volume simplex contained within the subset of the coefficient space corresponding to the MM. We also make use of the translation symmetry of the open quantum East model with periodic boundary conditions. The approach used here is a simplified version of the algorithm introduced in Ref. Macieszczak et al. (2020).

Algorithm. Below, we outline the steps to efficiently generate sets of candidate states.

  1. 1.

    Diagonalise {\mathcal{L}} to find the left low-lying eigenmodes, LkL_{k} with k=2,,mk=2,...,m.

  2. 2.

    Construct candidate metastable states:

    1. i.

      Diagonalise the (randomly rotated) eigenmatrices LkL_{k}.

    2. ii.

      Add the eigenstates associated to their extreme eigenvalues as initial states for candidate metastable states.

    3. iii.

      Repeat Steps 2 i and 2 ii for rr random rotations.

    4. iv.

      Apply spin translations to the candidate metastable states to construct their cycles.

    5. v.

      Cluster cycles according to their relative distance in the space of coefficients.

  3. 3.

    Find best candidate metastable states:

    1. i.

      Choose sets of cycles providing the simplex with the largest volume, i.e., the largest |det𝐂||\text{det}{\mathbf{C}}|.

    2. ii.

      Calculate the corresponding corrections 𝒞\mathcal{C}.

Discussion. In the above approach, we assume that the eigenmodes LkL_{k} found in Step 1 are Hermitian. Such a choice is always possible due to the system dynamics being Hermiticity preserving, (ρ)=(ρ)\mathcal{L}(\rho^{\dagger})=\mathcal{L}(\rho)^{\dagger}, as follows. First, for a real eigenvalue λk\lambda_{k}, both LkL_{k} and RkR_{k} can be chosen Hermitian. Second, for a complex λk\lambda_{k}, there exists another eigenvalue equal λk\lambda_{k}^{*} with the corresponding left and right eigenmodes LkL_{k}^{\dagger} and RkR_{k}^{\dagger}. In this case, instead of LkL_{k} and LkL_{k}^{\dagger}, we consider their Hermitian and anti-Hermitian part, (Lk+Lk)/2(L_{k}+L_{k}^{\dagger})/2 and (LkLk)/2i(L_{k}-L_{k}^{\dagger})/2i, respectively [while the right eigenmodes are replaced with (Rk+Rk)(R_{k}+R_{k}^{\dagger}) and i(RkRk)i(R_{k}-R_{k}^{\dagger})]. Furthermore, to consider all coefficients on equal footing, we normalise LkL_{k} so that the difference between its extreme eigenvalues equals 11.

In Step 2, we construct metastable states which achieve extreme values of coefficients in order to find vertices of the maximal simplex within the metastable manifold. For (m1)(m-1) left eigenmodes, we obtain 2(m1)2(m-1) candidate states in Steps 2 i and 2 ii. A metastable state corresponding to an extreme value of a coefficient necessary corresponds to a metastable phase (or their mixture, in the degenerate case of many vertices of the maximal simplex featuring the same value of the coefficient). Although it is not guaranteed that all vertices achieve an extreme value in at least one coefficients, this is remedied by additionally considering random rotations of L2L_{2}, …., LmL_{m} in Step 2 iii (which also removes degeneracy of coefficients for the maximal simplex vertices). Furthermore, as the set of metastable phases is known to be invariant under any symmetry of the dynamics Minganti et al. (2018); Macieszczak et al. (2020), candidate metastable states should form cycles under the symmetry, which motivates Step 2 iv. Actually, for N=6N=6 spins in our model, we find that this step removes the need for considering random rotations (this is due to the presence of both the hierarchy and translation symmetry). Finally, any repetitions in candidate metastable states are removed in Step 2 v.

In general, there are more than mm candidate metastable states obtained in Step 2, because beyond metastable phases, we also obtain their mixtures as a result of degeneracies of extreme values of coefficients. Therefore, we next consider the volumes of sets of mm candidate metastable states, and choose those corresponding to the simplex with the largest volume in the coefficient space [where the volume equals |det𝐂|/(m1)!|\text{det}{\mathbf{C}}|/(m-1)!]. Importantly, thanks to the translation symmetry of the model, in Step 3. i, it is enough to consider only sets of cycles with lengths summing up to mm, i.e., the required number of phases. Finally, in Step 3. ii, the quality of the corresponding approximation of the metastable manifold is assessed using Eq. (28), and, if required, can be further improved by increasing the number rr of rotations in Step 2 iii.

We note that the presence of symmetry can be exploited even further in the algorithm; see Ref. Macieszczak et al. (2020). Nevertheless, in this work, we successfully identify the metastable states corresponding to the hierarchy of two classical metastable manifolds (cf. Figs. 4 and 5).

Appendix B Stationary states of open quantum East model

B.1 Stationary state of single spin

The unique stationary state of a single spin dynamics, with the Hamiltonian H1H_{1} and jumps J1J_{1}^{-} and J1+J_{1}^{+} in Eq. (3), is given by Eq. (4), which diagonalises Olmos et al. (2012),

ρss,1=λu|uu|+λe|ee|,\displaystyle\rho_{\text{ss,1}}=\lambda_{u}\,|u\rangle\!\langle u|+\lambda_{e}\,|e\rangle\!\langle e|, (29)

with the probabilities

λu,e=12±(κγ)Δ(κ+γ)2+Δ2,\displaystyle\lambda_{u,e}=\frac{1}{2}\pm\frac{(\kappa-\gamma)\Delta}{(\kappa+\gamma)^{2}+\Delta^{2}}, (30)

and the eigenstates

|uu|\displaystyle|u\rangle\!\langle u| =\displaystyle= (12+κ+γ2ΔiΩΔiΩΔ12κ+γ2Δ),\displaystyle\left(\begin{array}[]{cc}\frac{1}{2}+\frac{\kappa+\gamma}{2\Delta}&\frac{i\Omega}{\Delta}\\ -\frac{i\Omega}{\Delta}&\frac{1}{2}-\frac{\kappa+\gamma}{2\Delta}\\ \end{array}\right), (33)
|ee|\displaystyle|e\rangle\!\langle e| =\displaystyle= (12κ+γ2ΔiΩΔiΩΔ12+κ+γ2Δ),\displaystyle\left(\begin{array}[]{cc}\frac{1}{2}-\frac{\kappa+\gamma}{2\Delta}&-\frac{i\Omega}{\Delta}\\ \frac{i\Omega}{\Delta}&\frac{1}{2}+\frac{\kappa+\gamma}{2\Delta}\\ \end{array}\right), (36)

where Δ=(κ+γ)2+4Ω2\Delta=\sqrt{(\kappa+\gamma)^{2}+4\Omega^{2}} and we considered the basis |0|0\rangle, |1|1\rangle.

B.2 Stationary states of constrained dynamics

In the presence of hard constraint (ϵ=1p=0\epsilon=1-p=0), there are two stationary states of the open quantum East model with periodic boundary conditions (for open boundary conditions, see Appendix D),

ρss(0)\displaystyle\rho_{\text{ss}}^{(0)} =\displaystyle= u\rrN,\displaystyle\lVert u\rr^{\otimes N}, (37)
ρss(1)\displaystyle\rho_{\text{ss}}^{(1)} =\displaystyle= [(λuu\rr+λee\rr)NλuNu\rrN]/(1λuN),\displaystyle[(\lambda_{u}\lVert u\rr+\lambda_{e}\lVert e\rr)^{\otimes N}-\lambda_{u}^{N}\lVert u\rr^{\otimes N}]/(1-\lambda_{u}^{N}),\quad

where j=1,,Nj=1,...,N, and we introduced \rr=||\lVert...\rr=|...\rangle\langle...| to denote a density matrix. Note that ρss(0)\rho_{\text{ss}}^{(0)} is disconnected from the dynamics, as it is orthogonal to the constrain |ee||e\rangle\langle e|, and in the second stationary state ρss(1)\rho_{\text{ss}}^{(1)}, we subtracted the contribution without excitations to make the two stationary states disjoint (orthogonal).

In the presence of soft constrain (ϵ0\epsilon\neq 0), the stationary state is unique,

ρss=λuNρss(0)+ρss(1)(1λuN)\displaystyle{\rho_{\text{ss}}}=\lambda_{u}^{N}\rho_{\text{ss}}^{(0)}+\rho_{\text{ss}}^{(1)}(1-\lambda_{u}^{N}) =\displaystyle= (λuu\rr+λee\rr)N\displaystyle(\lambda_{u}\lVert u\rr+\lambda_{e}\lVert e\rr)^{\otimes N} (38)
=\displaystyle= ρss,1N,\displaystyle\rho_{\text{ss,1}}^{\otimes N},

which features no correlations as a product state of single-spin stationary states [Eq. (4)]. For the dynamics leading from Eq. (37) to Eq. (38), see Appendix C.3.2.

Appendix C Perturbation theory for open quantum East model with periodic boundary conditions

We consider non-Hermitian perturbation theory Kato (1995); Zanardi and Campos Venuti (2014, 2015); Zanardi et al. (2016); Macieszczak et al. (2016b) in the following parameters: the coherent field Ω\Omega, the temperature, γ\gamma, and the constrain softness with ϵ=1p\epsilon=1-p. We first consider independent contributions from the temperature and the field, and discuss influence of a soft constrain on the dynamics. We discuss the mixed contributions at the end. Periodic boundary conditions are assumed throughout. The case of open boundary conditions and its relation to dynamical heterogeneity are discussed in Appendix D.

C.1 Dark stationary states at zero temperature and without coherent field

We consider stationary states of dissipative dynamics with the jump operators

J=κ|11||01|,J^{-}=\sqrt{\kappa}|1\rangle\!\langle 1|\otimes|0\rangle\!\langle 1|, (39)

which remove an excitation provided that the neighbouring spin to the left is in the excited state. The stationary states are formed by dark states with, if present, isolated excitations, i.e., composed of empty sites, |0|0\rangle, and single excitations followed by an empty site, |𝟏2=|10|\mathbf{1}_{2}\rangle=|10\rangle,

|00,|𝟏20,|𝟏2𝟏2.|...0...0...\rangle,\qquad|...\mathbf{1}_{2}...0...\rangle,...\qquad|...\mathbf{1}_{2}...\mathbf{1}_{2}...\rangle. (40)

As these stationary states are dark, i.e., J|𝟏2=0=J|00J^{-}|\mathbf{1}_{2}\rangle=0=J^{-}|00\rangle, also coherences between them are stationary, forming a decoherence free subspace Zanardi (1997); Zanardi and Rasetti (1997); Lidar et al. (1998).

C.2 Classical dynamics due to temperature

We first consider influence of classical dynamics due to non-zero temperature, i.e., jumps

J+=γ|11||10|,J^{+}=\sqrt{\gamma}|1\rangle\!\langle 1|\otimes|1\rangle\!\langle 0|, (41)

in order to see how a classical metastable manifold arises from the quantum DFS in Eq. (40).

C.2.1 Stationary states

The stationary states for κ,γ0\kappa,\gamma\neq 0 (without coherent field, Ω=0\Omega=0, and the hard constraint, ϵ=0\epsilon=0) are known to be [cf. Eqs. (33) and (36)],

ρss(0)\displaystyle\rho_{\text{ss}}^{(0)} =\displaystyle= 0\rrN,\displaystyle\lVert 0\rr^{\otimes N}, (42)
ρss(1)\displaystyle\rho_{\text{ss}}^{(1)} =\displaystyle= [(λ00\rr+λ11\rr)Nλ0N0\rrN]/(1λ0N),\displaystyle\left[\left(\lambda_{0}\lVert 0\rr+\lambda_{1}\lVert 1\rr\right)^{\otimes N}-\lambda_{0}^{N}\lVert 0\rr^{\otimes N}\right]/(1-\lambda_{0}^{N}),\quad

where

λ0=κκ+γ,λ1=γκ+γ\lambda_{0}=\frac{\kappa}{\kappa+\gamma},\quad\lambda_{1}=\frac{\gamma}{\kappa+\gamma} (43)

[cf. Eq. (30)]. In particular, due to a hard constrain (ϵ=0\epsilon=0), ρss(1)\rho_{\text{ss}}^{(1)} is disconnected from the dynamics, and the final contribution to it in the asymptotic state equals the initial contribution, limtρt=λρss(0)+(1λ)ρss(1)\lim_{t\rightarrow\infty}\rho_{t}=\lambda\rho_{\text{ss}}^{(0)}+(1-\lambda)\rho_{\text{ss}}^{(1)}, where λ=0|Nρ0|0N\lambda=\langle 0|^{\otimes N}\rho_{0}\,|0\rangle^{\otimes N}.

In particular, considering γ/κ\gamma/\kappa as a small parameter, i.e., the low-temperature limit, we recover from Eq. (42)

ρss(0)\displaystyle\rho_{\text{ss}}^{(0)} =\displaystyle= 0\rrN,\displaystyle\lVert 0\rr^{\otimes N}, (44)
ρss(1)\displaystyle\rho_{\text{ss}}^{(1)} =\displaystyle= [1γκ(N1)]1Nj=1N1j\rr\displaystyle\left[\!1-\frac{\gamma}{\kappa}(N-1)\right]\frac{1}{N}\sum_{j=1}^{N}\lVert...1_{j}...\rr (45)
+γκ1Nj=1Nj>kN1j1k\rr+,\displaystyle\quad+\frac{\gamma}{\kappa}\frac{1}{N}\sum_{j=1}^{N}\sum_{j>k}^{N}\lVert...1_{j}...1_{k}...\rr+...,\quad\,

where we introduced the notation 1j\rr=0\rr(j1)1\rr0\rr(Nj)\lVert...1_{j}...\rr=\lVert 0\rr^{\otimes(j-1)}\otimes\lVert 1\rr\otimes\lVert 0\rr^{\otimes(N-j)} and 1j1k\rr=0\rr(j1)1\rr0\rr(kj1)1\rr0\rr(Nk)\lVert...1_{j}...1_{k}...\rr=\lVert 0\rr^{\otimes(j-1)}\otimes\lVert 1\rr\otimes\lVert 0\rr^{\otimes(k-j-1)}\otimes\lVert 1\rr\otimes\lVert 0\rr^{\otimes(N-k)}.

C.2.2 Perturbative dynamics

Before the discussion of the perturbative dynamics, let us note that the state 0\rrN=ρss(0)\lVert 0\rr^{\otimes N}=\rho_{\text{ss}}^{(0)}, in agreement with Eq. (42), is decoupled from the dynamics to all orders, as the hard constraint in the no-zero temperature dynamics [Eq. (41)] cannot be satisfied.

First-order dynamics. In the first order, we obtain following transformation, which corresponds to the decay of closest isolated excitations,

|𝟏2𝟏2𝟏2𝟏2|\displaystyle|...\mathbf{1}_{2}\mathbf{1}_{2}...\rangle\!\langle...\mathbf{1}_{2}\mathbf{1}_{2}...| \displaystyle\longmapsto γ2(|𝟏2𝟎2𝟏2𝟎2|\displaystyle\frac{\gamma}{2}\big{(}|...\mathbf{1}_{2}\mathbf{0}_{2}...\rangle\!\langle...\mathbf{1}_{2}\mathbf{0}_{2}...|
|𝟏2𝟏2𝟏2𝟏2|),\displaystyle\quad\,\,-|...\mathbf{1}_{2}\mathbf{1}_{2}...\rangle\!\langle...\mathbf{1}_{2}\mathbf{1}_{2}...|\big{)},
|𝟏2𝟎2𝟏2𝟎2|\displaystyle|...\mathbf{1}_{2}\mathbf{0}_{2}...\rangle\!\langle...\mathbf{1}_{2}\mathbf{0}_{2}...| \displaystyle\longmapsto 0,\displaystyle 0,
|𝟏2𝟏¯2𝟏2𝟏¯2|\displaystyle|...\mathbf{1}_{2}\bar{\mathbf{1}}_{2}...\rangle\!\langle...\mathbf{1}_{2}\bar{\mathbf{1}}_{2}...| \displaystyle\longmapsto 0,\displaystyle 0,
|𝟏¯2𝟏¯2|\displaystyle|...\bar{\mathbf{1}}_{2}...\rangle\!\langle...\bar{\mathbf{1}}_{2}...| \displaystyle\longmapsto 0,\displaystyle 0,
|𝟎2𝟎2|\displaystyle|...{\mathbf{0}}_{2}...\rangle\!\langle...{\mathbf{0}}_{2}...| \displaystyle\longmapsto 0,\displaystyle 0,

where we introduced |𝟏¯2=|01|\bar{\mathbf{1}}_{2}\rangle=|01\rangle and |𝟎2=|00|\mathbf{0}_{2}\rangle=|00\rangle, and ... in |𝟏2𝟏2𝟏2𝟏2||...\mathbf{1}_{2}\mathbf{1}_{2}...\rangle\!\langle...\mathbf{1}_{2}\mathbf{1}_{2}...| denote any configuration allowed by Eq. (40), also configurations corresponding to coherences, i.e., different in the ket and bra [this is in direct analogy to the tensor product structure in J+J^{+} which acts on the state of a pair of spins, independently from the state of the rest of spins]. The notation used hereafter describes the dynamics due to the (first) perturbation acting on the leftmost spin. In order to recover full dynamics of a given state, it is necessary to consider the above dynamics with respect to each of the spins in the system (i.e., all translations).

The coherences are affected by non-zero temperature as follows,

|𝟏2𝟎2𝟏2𝟏2|\displaystyle|...\mathbf{1}_{2}\mathbf{0}_{2}...\rangle\!\langle...\mathbf{1}_{2}\mathbf{1}_{2}...| \displaystyle\longmapsto γ3|𝟏2𝟎2𝟏2𝟏2|,\displaystyle-\frac{\gamma}{3}|...\mathbf{1}_{2}\mathbf{0}_{2}...\rangle\!\langle...\mathbf{1}_{2}\mathbf{1}_{2}...|,
|𝟏2𝟏¯2𝟏2𝟏2|\displaystyle|...\mathbf{1}_{2}\bar{\mathbf{1}}_{2}...\rangle\!\langle...\mathbf{1}_{2}\mathbf{1}_{2}...| \displaystyle\longmapsto γ3|𝟏2𝟏¯2𝟏2𝟏2|,\displaystyle-\frac{\gamma}{3}|...\mathbf{1}_{2}\bar{\mathbf{1}}_{2}...\rangle\!\langle...\mathbf{1}_{2}\mathbf{1}_{2}...|,
|𝟏2𝟎2𝟏2𝟏¯2|\displaystyle|...\mathbf{1}_{2}\mathbf{0}_{2}...\rangle\!\langle...\mathbf{1}_{2}\bar{\mathbf{1}}_{2}...| \displaystyle\longmapsto 0,\displaystyle 0,
|𝟏2𝟏¯2|\displaystyle|...\mathbf{1}_{2}...\rangle\!\langle...\bar{\mathbf{1}}_{2}...| \displaystyle\longmapsto γ2|𝟏2𝟏¯2|,\displaystyle-\frac{\gamma}{2}|...\mathbf{1}_{2}...\rangle\!\langle...\bar{\mathbf{1}}_{2}...|,
|𝟏2𝟎2|\displaystyle|...\mathbf{1}_{2}...\rangle\!\langle...{\mathbf{0}}_{2}...| \displaystyle\longmapsto γ2|𝟏2𝟎2|,\displaystyle-\frac{\gamma}{2}|...\mathbf{1}_{2}...\rangle\!\langle...{\mathbf{0}}_{2}...|,
|𝟏¯2𝟎2|\displaystyle|...\bar{\mathbf{1}}_{2}...\rangle\!\langle...{\mathbf{0}}_{2}...| \displaystyle\longmapsto 0,\displaystyle 0,

and dynamics of the Hermitian conjugates follows from the Hermiticity-preservation of the dynamics (i.e., Hermitian conjugation of equations above). Here, we assumed the system of N3N\geq 3 spins (see below for the discussion of finite-size effects). The above dynamics can be interpreted as quantum dynamics with three types of jumps,

J0\displaystyle J_{0} =\displaystyle= γ2|𝟏2𝟎2𝟏2𝟏2|,\displaystyle\sqrt{\frac{\gamma}{2}}\,|\mathbf{1}_{2}\mathbf{0}_{2}\rangle\!\langle\mathbf{1}_{2}\mathbf{1}_{2}|, (46)
J1\displaystyle J_{1} =\displaystyle= γ3(|𝟏2𝟎2𝟏2𝟎2|+|𝟏2𝟏¯2𝟏2𝟏¯2|+|𝟏2𝟏2𝟏2𝟏2|),\displaystyle\sqrt{\frac{\gamma}{3}}\,\left(|\mathbf{1}_{2}\mathbf{0}_{2}\rangle\!\langle\mathbf{1}_{2}\mathbf{0}_{2}|+|\mathbf{1}_{2}\bar{\mathbf{1}}_{2}\rangle\!\langle\mathbf{1}_{2}\bar{\mathbf{1}}_{2}|+|\mathbf{1}_{2}\mathbf{1}_{2}\rangle\!\langle\mathbf{1}_{2}\mathbf{1}_{2}|\right),
J2\displaystyle J_{2} =\displaystyle= 2γ3(|𝟏2𝟎2𝟏2𝟎2|+|𝟏2𝟏¯2𝟏2𝟏¯2|+12|𝟏2𝟏2𝟏2𝟏2|).\displaystyle\sqrt{\frac{2\gamma}{3}}\!\left(\!|\mathbf{1}_{2}\mathbf{0}_{2}\rangle\!\langle\mathbf{1}_{2}\mathbf{0}_{2}|+|\mathbf{1}_{2}\bar{\mathbf{1}}_{2}\rangle\!\langle\mathbf{1}_{2}\bar{\mathbf{1}}_{2}|+\frac{1}{2}|\mathbf{1}_{2}\mathbf{1}_{2}\rangle\!\langle\mathbf{1}_{2}\mathbf{1}_{2}|\!\right)\!.

The jump operator J0J_{0}, corresponds to the decay of neighbouring excitations, while the jump operators J1J_{1} and J2J_{2}, cause dephasing of states with different locations of excitations. In particular, the dephasing jumps J1J_{1} and J2J_{2} lead to decay of all coherences in the DFS. Therefore, the manifold of states stationary with respect to the first-order dynamics is classical. Furthermore, due to the decay represented by J0J_{0}, the stationary states consist of isolated excitations followed by at least two empty sites, |𝟏3=|100|\mathbf{1}_{3}\rangle=|100\rangle,

00,𝟏30,𝟏3𝟏3.\lVert...0...0...\rangle\!\rangle,\qquad\lVert...\mathbf{1}_{3}...0...\rangle\!\rangle,...\qquad\lVert...\mathbf{1}_{3}...\mathbf{1}_{3}...\rangle\!\rangle. (47)

Second-order dynamics. In the second order, the dynamics due to jumps J+J^{+} is classical and features decay of the neighbouring excitations,

𝟏3𝟏3\displaystyle\lVert...\mathbf{1}_{3}\mathbf{1}_{3}...\rangle\!\rangle \displaystyle\longmapsto 23γ2κ(𝟏3𝟎3𝟏3𝟏3),\displaystyle\frac{2}{3}\frac{\gamma^{2}}{\kappa}\big{(}\lVert...\mathbf{1}_{3}\mathbf{0}_{3}...\rangle\!\rangle-\lVert...\mathbf{1}_{3}\mathbf{1}_{3}...\rangle\!\rangle\big{)},\qquad (48)
𝟏4𝟏3\displaystyle\lVert...\mathbf{1}_{4}\mathbf{1}_{3}...\rangle\!\rangle \displaystyle\longmapsto 14γ2κ(𝟏4𝟎3𝟏4𝟏3),\displaystyle\frac{1}{4}\frac{\gamma^{2}}{\kappa}\big{(}\lVert...\mathbf{1}_{4}\mathbf{0}_{3}...\rangle\!\rangle-\lVert...\mathbf{1}_{4}\mathbf{1}_{3}...\rangle\!\rangle\big{)},\qquad
𝟏5\displaystyle\lVert...\mathbf{1}_{5}...\rangle\!\rangle \displaystyle\longmapsto 0,\displaystyle 0,

where |𝟏4=|1000=|𝟏2𝟎2|\mathbf{1}_{4}\rangle=|1000\rangle=|\mathbf{1}_{2}\mathbf{0}_{2}\rangle and |𝟏5=|10000|\mathbf{1}_{5}\rangle=|10000\rangle. Here, we assumed N5N\geq 5 spins (see below for the discussion of finite-size effects). Therefore, the remaining stationary states are composed of empty sites and excitations followed by at least 4 empty sites, |𝟏5|\mathbf{1}_{5}\rangle,

00,𝟏50,𝟏5𝟏5.\lVert...0...0...\rangle\!\rangle,\qquad\lVert...\mathbf{1}_{5}...0...\rangle\!\rangle,...\qquad\lVert...\mathbf{1}_{5}...\mathbf{1}_{5}...\rangle\!\rangle. (49)

Third-order dynamics. In the third order, we have two contributions to the dynamics of the states in Eq. (49): from the (third-order) perturbation by the temperature outside the dark space [Eq. (40)], and the (second-order) perturbation with the effective dynamics [Eq. (48)] inside the classical space [Eq. (47)]. We thus obtain the decay of the neighbouring excitations,

𝟏5𝟏5\displaystyle\lVert...\mathbf{1}_{5}\mathbf{1}_{5}...\rangle\!\rangle \displaystyle\longmapsto 43γ3κ2(𝟏5𝟎5𝟏5𝟏5),\displaystyle\frac{4}{3}\frac{\gamma^{3}}{\kappa^{2}}\big{(}\lVert...\mathbf{1}_{5}\mathbf{0}_{5}...\rangle\!\rangle-\lVert...\mathbf{1}_{5}\mathbf{1}_{5}...\rangle\!\rangle\big{)},\qquad (50)
𝟏6𝟏5\displaystyle\lVert...\mathbf{1}_{6}\mathbf{1}_{5}...\rangle\!\rangle \displaystyle\longmapsto 23γ3κ2(𝟏6𝟎5𝟏6𝟏5),\displaystyle\frac{2}{3}\frac{\gamma^{3}}{\kappa^{2}}\big{(}\lVert...\mathbf{1}_{6}\mathbf{0}_{5}...\rangle\!\rangle-\lVert...\mathbf{1}_{6}\mathbf{1}_{5}...\rangle\!\rangle\big{)},\qquad
𝟏7𝟏5\displaystyle\lVert...\mathbf{1}_{7}\mathbf{1}_{5}...\rangle\!\rangle \displaystyle\longmapsto 411γ3κ2(𝟏7𝟎5𝟏7𝟏5),\displaystyle\frac{4}{11}\frac{\gamma^{3}}{\kappa^{2}}\big{(}\lVert...\mathbf{1}_{7}\mathbf{0}_{5}...\rangle\!\rangle-\lVert...\mathbf{1}_{7}\mathbf{1}_{5}...\rangle\!\rangle\big{)},
𝟏8𝟏5\displaystyle\lVert...\mathbf{1}_{8}\mathbf{1}_{5}...\rangle\!\rangle \displaystyle\longmapsto 18γ3κ2(𝟏8𝟎5𝟏8𝟏5),\displaystyle\frac{1}{8}\frac{\gamma^{3}}{\kappa^{2}}\big{(}\lVert...\mathbf{1}_{8}\mathbf{0}_{5}...\rangle\!\rangle-\lVert...\mathbf{1}_{8}\mathbf{1}_{5}...\rangle\!\rangle\big{)},
𝟏9\displaystyle\lVert...\mathbf{1}_{9}...\rangle\!\rangle \displaystyle\longmapsto 0,\displaystyle 0,

which leads to remaining stationary states composed of empty sites and excitations followed by at least 8 empty sites,

00,𝟏90,𝟏9𝟏9.\lVert...0...0...\rangle\!\rangle,\qquad\lVert...\mathbf{1}_{9}...0...\rangle\!\rangle,...\qquad\lVert...\mathbf{1}_{9}...\mathbf{1}_{9}...\rangle\!\rangle. (51)

We have assumed N9N\geq 9 spins (see below for the discussion of finite-size effects). We note that the order or perturbation necessary for the decay of neighbouring excitation is not linear in the distance between excitations, but follows the logarithmic scaling instead.

Alternatively, we can consider the third-order dynamics in the set of states of Eq. (47), which will reintroduce neighbouring excitations as,

𝟏5𝟏5\rr\displaystyle\lVert...\mathbf{1}_{5}\mathbf{1}_{5}...\rr \displaystyle\longmapsto γ3κ2(23𝟏3𝟏7\rr+14𝟏4𝟏6\rr\displaystyle\frac{\gamma^{3}}{\kappa^{2}}\bigg{(}\frac{2}{3}\lVert...\mathbf{1}_{3}\mathbf{1}_{7}...\rr+\frac{1}{4}\lVert...\mathbf{1}_{4}\mathbf{1}_{6}...\rr
+512𝟏5𝟎5\rr43𝟏5𝟏5\rr),\displaystyle\qquad+\frac{5}{12}\lVert...\mathbf{1}_{5}\mathbf{0}_{5}...\rr-\frac{4}{3}\lVert...\mathbf{1}_{5}\mathbf{1}_{5}...\rr\bigg{)},\qquad
𝟏6𝟏5\rr\displaystyle\lVert...\mathbf{1}_{6}\mathbf{1}_{5}...\rr \displaystyle\longmapsto γ3κ2(23𝟏3𝟏3𝟏5\rr+14𝟏4𝟏7\rr\displaystyle\frac{\gamma^{3}}{\kappa^{2}}\bigg{(}\frac{2}{3}\lVert...\mathbf{1}_{3}\mathbf{1}_{3}\mathbf{1}_{5}...\rr+\frac{1}{4}\lVert...\mathbf{1}_{4}\mathbf{1}_{7}...\rr
+112𝟏6𝟎5\rr𝟏6𝟏5\rr),\displaystyle\qquad+\frac{1}{12}\lVert...\mathbf{1}_{6}\mathbf{0}_{5}...\rr-\lVert...\mathbf{1}_{6}\mathbf{1}_{5}...\rr\bigg{)},\qquad
𝟏7\rr\displaystyle\lVert...\mathbf{1}_{7}...\rr \displaystyle\longmapsto γ3κ2(12𝟏3𝟏4\rr+14𝟏4𝟏3\rr\displaystyle\frac{\gamma^{3}}{\kappa^{2}}\bigg{(}\frac{1}{2}\lVert...\mathbf{1}_{3}\mathbf{1}_{4}...\rr+\frac{1}{4}\lVert...\mathbf{1}_{4}\mathbf{1}_{3}...\rr
34𝟏7\rr).\displaystyle\qquad-\frac{3}{4}\lVert...\mathbf{1}_{7}...\rr\bigg{)}.

Here, we omitted the modes decaying in the second order, as they will lead to higher order corrections, e.g., in the stationary state, and we assumed N7N\geq 7 spins (see below for the discussion of finite-size effects).

Hierarchy of timescales and metastable manifolds. In the discussion above, we obtained a hierarchy of timescales corresponding to the dynamics with different orders of perturbation in the temperature parameter γ\gamma. In particular, the structure of the modes invariant to the dynamics of a particular order [see Eqs. (47), (49), and (51)] determines the metastable manifold in the timescales until the contribution from the following-order becomes significant. Finally, we note that for the perturbation theory to hold, the parameter γ\gamma must be small enough when multiplied by the system size NN, due to the locality of the perturbative dynamics. We discuss the examples of finite system sizes in the Appendix C.2.4.

C.2.3 Corrections to state structure

Introduction of non-zero dynamics, not only changes the timescale of the dynamics, introducing decaying modes, but also changes their structure.

First-order corrections. We now consider first-order corrections to Eq. (47). Only the states with an excitation are corrected with

(14γκ)10000\displaystyle\left(1-4\frac{\gamma}{\kappa}\right)\lVert{10000}...\rangle\!\rangle
+γκ(11000\rr+10100\rr+10010\rr+10001\rr),\displaystyle+\frac{\gamma}{\kappa}\left(\lVert 11000...\rr+\lVert 10100...\rr+\lVert 10010...\rr+\lVert 10001...\rr\right),

where the first-order corrections are due to the first-order perturbation outside the dark DFS [Eq. (40)], the second-order corrections inside the DFS, but beyond the invariant states in Eq. (47), and the third-order corrections inside this set, but beyond the states in Eq. (49) (the last two terms), respectively; see Macieszczak et al. (2016b). We therefore recover the structure of the stationary states in Eq. (42).

Corrections acquired during dynamics. Although all the corrections in Eq. (C.2.3) are of the first order, their origin is due to different-orders of perturbative dynamics. Therefore, for an initial state 10000\lVert{10000}...\rangle\!\rangle, the term 11000\rr\lVert 11000...\rr will be acquired after the first-order dynamics takes place, i.e., for times tγ1t\gg\gamma^{-1}, the term 10100\rr\lVert 10100...\rr will be acquired for times tκγ2t\gg\kappa\gamma^{-2}, while the terms 10010\rr+10001\rr\lVert 10010...\rr+\lVert 10001\rr for tκ2γ3t\gg\kappa^{2}\gamma^{-3}, etc. This directly corresponds to the fact that the state 10000\rr\lVert 10000...\rr fulfils the constraint for the dynamics of the second spin, which takes place at the rate γ\gamma leading to each stationary state (cf. the first-order dynamics in Appendix C.2.2). The presence of the excited state in the stationary state of second spin can further facilitate the dynamics of the third spin (see the second-order dynamics in Appendix C.2.2), etc.

C.2.4 Finite size

We now consider how the perturbative dynamics in the first, second, and third order is changed for N=3,4,5,6N=3,4,5,6, which are system sizes relevant for the discussion in the main text.

3 spins. There are 4 dark states of N=3N=3 spins [cf. Eq. (40)]

|000,|100,|010,|001.|000\rangle,|100\rangle,|010\rangle,|001\rangle. (54)

As there is only at most a single excitation present, the first-order dynamics in Eq. (46) leads to dephasing of coherences between different states, which gives the classical manifold,

000\rr,100\rr,010\rr,001\rr.\lVert 000\rr,\lVert 100\rr,\lVert 010\rr,\lVert 001\rr. (55)

In the second order, the single excitation couples to itself via the periodic boundary [cf. Eq. (48)],

100\rr\displaystyle\lVert 100\rr \displaystyle\longmapsto γ2κ[13(100\rr+010\rr+001\rr)100\rr],\displaystyle\!\frac{\gamma^{2}}{\kappa}\!\left[\frac{1}{3}\!\left(\lVert 100\rr+\lVert 010\rr+\lVert 001\rr\right)\!-\lVert 100\rr\right]\!\!,\qquad\,\,\, (56)

yielding the uniform stationary state ρss(1)\rho_{\text{ss}}^{(1)} in Eq. (42).

4 spins. There are 7 dark states of N=4N=4 spins [cf. Eq. (40)]

|𝟎4,|𝟏4,,|𝟏2𝟏2,|𝟏¯2𝟏¯2.|\mathbf{0}_{4}\rangle,|\mathbf{1}_{4}\rangle,...,|\mathbf{1}_{2}\mathbf{1}_{2}\rangle,|\bar{\mathbf{1}}_{2}\bar{\mathbf{1}}_{2}\rangle. (57)

with dots between the states denoting the three states obtained under the translation. The first-order dynamics in Eq. (46) leads to the classical stationary states with at most a single excitation present, without coherences [cf. Eq. (47)]

𝟎4\rr,𝟏4\rr,.\lVert\mathbf{0}_{4}\rr,\lVert\mathbf{1}_{4}\rr,.... (58)

In the second order, similarly as in the case N=3N=3, the single excitation, can couple to itself via the periodic boundary [cf. Eq. (48)]

𝟏4\rr\displaystyle\lVert\mathbf{1}_{4}\rr \displaystyle\longmapsto γ24κ(𝟎2𝟏2\rr𝟏4\rr).\displaystyle\frac{\gamma^{2}}{4\kappa}\left(\lVert\mathbf{0}_{2}\mathbf{1}_{2}\rr-\lVert\mathbf{1}_{4}\rr\right).\qquad (59)

Finally, in the third order, the two modes left invariant by the second-order dynamics, couple as

12(𝟏4\rr+𝟎2𝟏2\rr)\displaystyle\frac{1}{2}\left(\lVert\mathbf{1}_{4}\rr+\lVert\mathbf{0}_{2}\mathbf{1}_{2}\rr\right) \displaystyle\longmapsto γ32κ2[12(𝟏¯2𝟎2\rr+𝟎2𝟏¯2\rr)\displaystyle\frac{\gamma^{3}}{2\kappa^{2}}\bigg{[}\frac{1}{2}\left(\lVert\bar{\mathbf{1}}_{2}\mathbf{0}_{2}\rr+\lVert\mathbf{0}_{2}\bar{\mathbf{1}}_{2}\rr\right)
12(𝟏4\rr+𝟎2𝟏2\rr)],\displaystyle\qquad-\frac{1}{2}\left(\lVert\mathbf{1}_{4}\rr+\lVert\mathbf{0}_{2}\mathbf{1}_{2}\rr\right)\bigg{]},

leading to the uniform stationary state ρss(1)\rho_{\text{ss}}^{(1)} [cf. Eq. (42)].

5 spins. There are 11 dark states of N=5N=5 spins [cf. Eq. (40)]

|𝟎5,|𝟏5,,|𝟏2𝟏3,.|\mathbf{0}_{5}\rangle,|\mathbf{1}_{5}\rangle,...,|\mathbf{1}_{2}\mathbf{1}_{3}\rangle,.... (60)

The first-order dynamics in Eq. (46) leads to the classical stationary states with at most a single excitation present, without coherences [cf. Eq. (47)]

𝟎5\rr,𝟏5\rr,.\lVert\mathbf{0}_{5}\rr,\lVert\mathbf{1}_{5}\rr,.... (61)

These states are also invariant to the second-order dynamics in Eq. (48). In the third order, the remaining degeneracy is lifted, by coupling of the single excitation to itself, as follows

𝟏5\rr\displaystyle\lVert\mathbf{1}_{5}\rr \displaystyle\longmapsto 43γ3κ2[12(𝟎2𝟏3\rr+𝟎3𝟏2\rr)𝟏5\rr],\displaystyle\frac{4}{3}\frac{\gamma^{3}}{\kappa^{2}}\left[\frac{1}{2}\left(\lVert\mathbf{0}_{2}\mathbf{1}_{3}\rr+\lVert\mathbf{0}_{3}\mathbf{1}_{2}\rr\right)-\lVert\mathbf{1}_{5}\rr\right],\qquad (62)

with other transformations following by the translation symmetry of the dynamics. Therefore, we recover two stationary states as [cf. Eq. (42)]

𝟎5\rr,15(𝟏5\rr+).\lVert\mathbf{0}_{5}\rr,\frac{1}{5}(\lVert\mathbf{1}_{5}\rr+...). (63)

6 spins. There are 18 dark states at 0-temperature are [cf. Eq. (40)]

|𝟎6,|𝟏6,,|𝟏2𝟏4,,|𝟏3𝟏3,,|𝟏2𝟏2𝟏2,.|\mathbf{0}_{6}\rangle,|\mathbf{1}_{6}\rangle,...,|\mathbf{1}_{2}\mathbf{1}_{4}\rangle,...,|\mathbf{1}_{3}\mathbf{1}_{3}\rangle,...,|\mathbf{1}_{2}\mathbf{1}_{2}\mathbf{1}_{2}\rangle,....\qquad (64)

The first-order dynamics [Eq. (46)] leads to only the following classical states being stable [cf. Eq. (47)]

𝟎6,𝟏6,,𝟏3𝟏3,,\lVert\mathbf{0}_{6}\rangle\!\rangle,\lVert\mathbf{1}_{6}\rangle\!\rangle,...,\lVert\mathbf{1}_{3}\mathbf{1}_{3}\rangle\!\rangle,..., (65)

while in the second order [Eq. (48)] the decay

𝟏3𝟏3\rr\displaystyle\lVert\mathbf{1}_{3}\mathbf{1}_{3}\rr \displaystyle\longmapsto 23γ2κ(𝟏6\rr+𝟎3𝟏3\rr2𝟏3𝟏3\rr)\displaystyle\frac{2}{3}\frac{\gamma^{2}}{\kappa}\bigg{(}\frac{\lVert\mathbf{1}_{6}\rr+\lVert\mathbf{0}_{3}\mathbf{1}_{3}\rr}{2}-\lVert\mathbf{1}_{3}\mathbf{1}_{3}\rr\bigg{)}\qquad (66)

leads only two types of states being stationary [cf. Eq. (49)]

𝟎6,𝟏6,\lVert\mathbf{0}_{6}\rangle\!\rangle,\lVert\mathbf{1}_{6}\rangle\!\rangle,... (67)

In the third order, due to coupling of a single excitation to itself via the boundary, we obtain

𝟏6\rr\displaystyle\lVert\mathbf{1}_{6}\rr \displaystyle\longmapsto 23γ3κ2[12𝟎3𝟏3\rr+14(𝟎2𝟏4\rr𝟎4𝟏2\rr)\displaystyle\frac{2}{3}\frac{\gamma^{3}}{\kappa^{2}}\bigg{[}\frac{1}{2}\lVert\mathbf{0}_{3}\mathbf{1}_{3}\rr+\frac{1}{4}\left(\lVert\mathbf{0}_{2}\mathbf{1}_{4}\rr-\lVert\mathbf{0}_{4}\mathbf{1}_{2}\rr\right)\qquad
𝟏6\rr],\displaystyle\qquad-\lVert\mathbf{1}_{6}\rr\bigg{]},

which again recovers the two uniform stationary states of Eq. (42). Alternatively, we can consider their-order dynamics including double excitations (65),

𝟏6\rr\displaystyle\lVert\mathbf{1}_{6}\rr \displaystyle\longmapsto γ3κ2[23𝟏3𝟏3\rr+16(𝟎2𝟏4\rr+𝟎4𝟏2\rr)\displaystyle\frac{\gamma^{3}}{\kappa^{2}}\bigg{[}\frac{2}{3}\lVert\mathbf{1}_{3}\mathbf{1}_{3}\rr+\frac{1}{6}\left(\lVert\mathbf{0}_{2}\mathbf{1}_{4}\rr+\lVert\mathbf{0}_{4}\mathbf{1}_{2}\rr\right)\qquad
𝟏6\rr]\displaystyle\qquad-\lVert\mathbf{1}_{6}\rr\bigg{]}

which dynamics together with the second-order dynamics, Eq. (66), obeys detailed balance (as a consequence of translation symmetry and at most a single excitation removed or injected at a time). Note that we neglected the third-order dynamics of 𝟏3𝟏3\rr\lVert\mathbf{1}_{3}\mathbf{1}_{3}\rr, which already undergoes the second-order dynamics, as it will lead to second-order corrections in the stationary state.

Directionality in the perturbative dynamics. Above we discuss the perturbative dynamics with constraint from the spin to the left; see Eqs. (39) and (41). This directionality is apparent in the notation used for the description of the dynamics in Appendix C.2.2. For the system of a finite size, it can directly be observed in the first-order dynamics for sizes N=5,6N=5,6. Indeed, in the first order, the decay of the states |𝟏2𝟏3|\mathbf{1}_{2}\mathbf{1}_{3}\rangle, |𝟏2𝟏4|\mathbf{1}_{2}\mathbf{1}_{4}\rangle, … to |𝟏5|\mathbf{1}_{5}\rangle, |𝟏6|\mathbf{1}_{6}\rangle, …, respectively, manifests interactions to the left. However, in the second and the third orders, dynamics would be the same when considering action of the constraint from the spin to the right.

C.3 Decay dynamics due to soft constraint

C.3.1 Dynamics due to soft constraint at small temperature and without coherent field

We now consider changing the hard constraint |11||1\rangle\!\langle 1| to |11|+ϵ|00||1\rangle\!\langle 1|+\epsilon|0\rangle\!\langle 0| with 0<ϵ10<\epsilon\ll 1, i.e., changing the jump operator (39) to

J+ϵδJ\displaystyle J^{-}+\epsilon\,\delta J^{-} =\displaystyle= κ(|11|+ϵ|00|)|01|.\displaystyle\sqrt{\kappa}(|1\rangle\!\langle 1|+\epsilon|0\rangle\!\langle 0|)\otimes|0\rangle\!\langle 1|. (70)

The stationary state of this dynamics is unique and equal to the non-interacting (tensor-product) state 0\rrN\lVert 0\rr^{\otimes N} [cf. Eq. (38)].

At low temperature, γκ\gamma\ll\kappa, the perturbation from δJ\delta J^{-}, will compete with the temperature itself, J+J^{+} in Eq. (41), leading to the interplay of dynamics with different timescales, as we explain below. The change in the constrain of J+J^{+} will contribute in a higher order with δJ+=γ(|11|+ϵ|00|)|10|\delta J^{+}=\sqrt{\gamma}(|1\rangle\!\langle 1|+\epsilon|0\rangle\!\langle 0|)\otimes|1\rangle\!\langle 0| [cf. Eq. (70)], and since, as we explain below, two former contributions lead to a unique stationary state, it can be neglected in the dynamics.

First-order dynamics. There are no first-order corrections in ϵ\epsilon, as we now explain. First, since the DFS in Eq. (40) is dark to JJ^{-}, the action of the jump is 0 on any dark state, while the anti-commutator terms contain (δJ)J=0=(J)δJ(\delta J^{-})^{\dagger}J^{-}=0=(J^{-})^{\dagger}\delta J^{-} (due to orthogonality of the constraints |0|0\rangle and |1|1\rangle). Therefore, there are no first-order corrections in dynamics of the structure of states due to δJ\delta J^{-}, nor there are any-higher orders corrections. Similarly, δJ+\delta J^{+} will not contribute in the first order proportional to γϵ\gamma\epsilon. Indeed, (δJ+)J+=0=(J+)δJ+(\delta J^{+})^{\dagger}J^{+}=0=(J^{+})^{\dagger}\delta J^{+}, and thus only coherence |0111||...01...\rangle\!\langle...11...| can be created from |0010||...00...\rangle\!\langle...10...| at the rate γϵ\gamma\epsilon (and the same for the Hermitian conjugates), which nevertheless decays to 0. As we will see below, however, in the higher order, J+J^{+} will crucially contribute to the corrections to the structure of the stationary state.

Second-order dynamics. Depending on the ratio between ϵ2\epsilon^{2} and γ\gamma, we need to consider the second-order dynamics induced by the soft constraint in different metastable manifolds; see Eqs. (47), (49), and (51).

Regime of γ=O(ϵ2)\gamma=O(\epsilon^{2}). We consider the dissipative dynamics with δJ\delta J^{-} in the DFS of dark states [Eq. (40)]. In this case, we obtain decay of isolated excitations,

|𝟏¯2𝟏¯2|\displaystyle|...\bar{\mathbf{1}}_{2}...\rangle\!\langle...\bar{\mathbf{1}}_{2}...| \displaystyle\longmapsto ϵ2κ(|𝟎2𝟎2||𝟏¯2𝟏¯2|),\displaystyle\epsilon^{2}\,\kappa\,\big{(}|...\mathbf{0}_{2}...\rangle\!\langle...\mathbf{0}_{2}...|-|...\bar{\mathbf{1}}_{2}...\rangle\!\langle...\bar{\mathbf{1}}_{2}...|\big{)},\qquad

which associated decay of coherences as

|𝟏¯2𝟎2|\displaystyle|...\bar{\mathbf{1}}_{2}...\rangle\!\langle...\mathbf{0}_{2}...| \displaystyle\longmapsto ϵ22κ|𝟏¯2𝟎2|,\displaystyle-\frac{\epsilon^{2}}{2}\kappa\,|...\bar{\mathbf{1}}_{2}...\rangle\!\langle...\mathbf{0}_{2}...|,
|𝟏¯2𝟏2|\displaystyle|...\bar{\mathbf{1}}_{2}...\rangle\!\langle...{\mathbf{1}}_{2}...| \displaystyle\longmapsto ϵ22κ|𝟏¯2𝟏2|,\displaystyle-\frac{\epsilon^{2}}{2}\kappa\,|...\bar{\mathbf{1}}_{2}...\rangle\!\langle...{\mathbf{1}}_{2}...|,

which dynamics exactly corresponds to the jump operator δJ\delta J^{-}. Therefore, even in the presence of the competing first-order dynamics due to temperature [Eq. (46)], all the modes decay at timescales proportional to ϵ2\epsilon^{2} (plus γ\gamma), with the unique stationary state without any excitations,

ρss=(1Nγκ)0\rrN+γκ(𝟏N\rr+),{\rho_{\text{ss}}}=\left(1-N\frac{\gamma}{\kappa}\right)\lVert 0\rr^{\otimes N}+\frac{\gamma}{\kappa}\left(\lVert\mathbf{1}_{N}\rr+...\right), (71)

where … denotes the translations. At 0-temperature, γ=0\gamma=0, this is the stationary state to all orders in ϵ\epsilon [cf. Eq. (42)], while for γ>0\gamma>0 the corrections are due to the second-order perturbation from δJ+\delta J^{+}, which can be equivalently understood as the result of the second-order dynamics with δJ+\delta J^{+}.

Regime of γ2=O(ϵ2)\gamma^{2}=O(\epsilon^{2}). Here, the perturbations act on the classical manifold in Eq. (49) invariant to the first-order temperature dynamics. The second-order dynamics with δJ\delta J^{-} leads again to decay of excitations

𝟎2𝟏3\rr\displaystyle\lVert...\mathbf{0}_{2}\mathbf{1}_{3}...\rr \displaystyle\longmapsto ϵ2κ(𝟎5\rr𝟎2𝟏3\rr).\displaystyle\epsilon^{2}\,\kappa\,\left(\lVert...\mathbf{0}_{5}...\rr-\lVert...\mathbf{0}_{2}\mathbf{1}_{3}...\rr\right).

This will again lead to the stationary state without excitations in Eq. (71). We note that the dynamics induced by the soft constrain, δJ\delta J^{-}, preserves the structure of the classical manifold, and thus there are no higher order corrections to the dynamics. Here, the perturbation acting on the second most left spin indicated in the state.

In contrast, the second-order dynamics introducing excitations due to δJ+\delta J^{+} when projected on the classical manifold in Eq. (49), would introduce excitations

𝟎5\rr\displaystyle\lVert...\mathbf{0}_{5}...\rr \displaystyle\longmapsto ϵ2γ(𝟎2𝟏3\rr𝟎5\rr),\displaystyle\epsilon^{2}\,\gamma\,\left(\lVert...\mathbf{0}_{2}\mathbf{1}_{3}...\rr-\lVert...\mathbf{0}_{5}...\rr\right), (72)

but also leads to decay of neighbouring excitations and movement of excitations,

𝟏3𝟏3\rr\displaystyle\lVert...\mathbf{1}_{3}\mathbf{1}_{3}...\rr \displaystyle\longmapsto ϵ2γ(𝟏6\rr𝟏3𝟏3\rr),\displaystyle\epsilon^{2}\,\gamma\,\left(\lVert...\mathbf{1}_{6}...\rr-\lVert...\mathbf{1}_{3}\mathbf{1}_{3}...\rr\right),\quad (73)
𝟏4𝟏3\rr\displaystyle\lVert...\mathbf{1}_{4}\mathbf{1}_{3}...\rr \displaystyle\longmapsto ϵ22γ(𝟏7\rr𝟏4𝟏3\rr),\displaystyle\frac{\epsilon^{2}}{2}\,\gamma\,\left(\lVert...\mathbf{1}_{7}...\rr-\lVert...\mathbf{1}_{4}\mathbf{1}_{3}...\rr\right),
𝟎3𝟏3\rr\displaystyle\lVert...\mathbf{0}_{3}\mathbf{1}_{3}...\rr \displaystyle\longmapsto ϵ2γ(𝟎2𝟏4\rr𝟎3𝟏3\rr),\displaystyle\epsilon^{2}\,\gamma\,\left(\lVert...\mathbf{0}_{2}\mathbf{1}_{4}...\rr-\lVert...\mathbf{0}_{3}\mathbf{1}_{3}...\rr\right),
𝟎4𝟏3\rr\displaystyle\lVert...\mathbf{0}_{4}\mathbf{1}_{3}...\rr \displaystyle\longmapsto ϵ2γ(𝟎2𝟏5\rr𝟎4𝟏3\rr).\displaystyle\epsilon^{2}\,\gamma\,\left(\lVert...\mathbf{0}_{2}\mathbf{1}_{5}...\rr-\lVert...\mathbf{0}_{4}\mathbf{1}_{3}...\rr\right).

The dynamics described above is induced by the perturbation acting on the second most left spin indicated in the state and takes place in the higher order ϵ2γ=𝒪(ϵ4)\epsilon^{2}\,\gamma=\mathcal{O}(\epsilon^{4}).

Regime of γ(n+1)=O(ϵ2)\gamma^{(n+1)}=O(\epsilon^{2}). In general, the soft constraint will lead to decay of neighbouring excitations with rates proportional to κ\kappa in the metastable states invariant to nn-th order dynamics with J+J^{+}. In particular, when degeneracy is lifted by the temperature to only two states, the soft constraint will lead further to the unique stationary state. We discuss such dynamics for arbitrary values of the temperature and the coherent field in Appendix C.3.2.

Finite-size example. We consider regime γ2=O(ϵ2)\gamma^{2}=O(\epsilon^{2}) and the system of N=6N=6 spins with the stationary states of the first-order dynamics in γ\gamma given by Eq. (65). The soft constraint in jump operators yields the following dynamics,

𝟏3𝟏3\rr\displaystyle\lVert\mathbf{1}_{3}\mathbf{1}_{3}\rr \displaystyle\longmapsto 2ϵ2(κ+γ)(𝟏6\rr+𝟎3𝟏3\rr2𝟏3𝟏3\rr),\displaystyle 2\,\epsilon^{2}\,(\kappa+\gamma)\left(\frac{\lVert\mathbf{1}_{6}\rr+\lVert\mathbf{0}_{3}\mathbf{1}_{3}\rr}{2}-\lVert\mathbf{1}_{3}\mathbf{1}_{3}\rr\right),
𝟏6\rr\displaystyle\lVert\mathbf{1}_{6}\rr \displaystyle\longmapsto ϵ2[κ(𝟎6\rr𝟏6\rr)\displaystyle\epsilon^{2}\,\bigg{[}\kappa\left(\lVert\mathbf{0}_{6}\rr-\lVert\mathbf{1}_{6}\rr\right)
+3γ(𝟏3𝟏3\rr+𝟎4𝟏2\rr+𝟏¯6\rr3𝟏6\rr)],\displaystyle\quad+3\gamma\!\left(\!\frac{\lVert\mathbf{1}_{3}\mathbf{1}_{3}\rr+\lVert\mathbf{0}_{4}\mathbf{1}_{2}\rr+\lVert\bar{\mathbf{1}}_{6}\rr}{3}-\lVert\mathbf{1}_{6}\rr\!\right)\!\bigg{]},
𝟎6\rr\displaystyle\lVert\mathbf{0}_{6}\rr \displaystyle\longmapsto 6ϵ2γ(𝟏6\rr+6𝟎6\rr),\displaystyle 6\,\epsilon^{2}\,\gamma\left(\frac{\lVert\mathbf{1}_{6}\rr+...}{6}-\lVert\mathbf{0}_{6}\rr\right), (74)

where … denotes possible translations and 𝟏¯6\rr=000001\rr\lVert\bar{\mathbf{1}}_{6}\rr=\lVert 000001\rr. This dynamics obeys detailed balance as a consequence of translation symmetry and at most a single excitation removed or injected at a time (a ladder structure), which structure will also be left unchanged by the second-order perturbation theory with γ\gamma; see Eq. (C.2.4). In particular, the soft constraint leads to the unique stationary state

ρss\displaystyle{\rho_{\text{ss}}} =\displaystyle= (16γκ+33γ2κ2)𝟎6\rr\displaystyle\left(1-6\frac{\gamma}{\kappa}+33\frac{\gamma^{2}}{\kappa^{2}}\right)\lVert\mathbf{0}_{6}\rr\qquad
+(γκ6γ2κ2)(𝟏6\rr+)+γ2κ2(𝟏3𝟏3\rr+),\displaystyle+\left(\frac{\gamma}{\kappa}-6\frac{\gamma^{2}}{\kappa^{2}}\right)\left(\lVert\mathbf{1}_{6}\rr+...\right)+\frac{\gamma^{2}}{\kappa^{2}}\left(\lVert\mathbf{1}_{3}\mathbf{1}_{3}\rr+...\right),

where we expanded in the two-lowest order of γ\gamma, but neglected the first-order corrections outside the metastable manifold in Eq. (49) [cf. Eq. (C.2.3)].

C.3.2 Dynamics due to soft constraint at finite temperature and coherent field

For dynamics with a hard constraint at finite temperature, γ>0\gamma>0, and finite coherent field, Ω0\Omega\neq 0, there exist two stationary states given in Eq. (37). The soft constraint in the limit |ϵ|1|\epsilon|\ll 1 induces perturbative dynamics between those states, which in the second order is given by

ρss(0)ϵ2N(κ|e0|4+γ|e1|4)(ρss(1)ρss(0)),\displaystyle\rho_{\text{ss}}^{(0)}\longmapsto\epsilon^{2}\,N\,\left(\kappa|e_{0}|^{4}+\gamma|e_{1}|^{4}\right)\left(\rho_{\text{ss}}^{(1)}-\rho_{\text{ss}}^{(0)}\right),
ρss(1)ϵ2NλuN11λuNλe(κ|e1|4+γ|e0|4)(ρss(0)ρss(1)),\displaystyle\rho_{\text{ss}}^{(1)}\longmapsto\epsilon^{2}\,N\frac{\lambda_{u}^{N-1}}{1-\lambda_{u}^{N}}\lambda_{e}\left(\kappa|e_{1}|^{4}+\gamma|e_{0}|^{4}\right)\left(\rho_{\text{ss}}^{(0)}-\rho_{\text{ss}}^{(1)}\right),

where we defined we defined e0=0|ee_{0}=\langle 0|e\rangle and e1=1|ee_{1}=\langle 1|e\rangle, so that |e0|2=1|e1|2|e_{0}|^{2}=1-|e_{1}|^{2}. This leads to a single non-interacting stationary state in Eq. (38) as we have λu(κ|e0|4+γ|e1|4)=λe(κ|e1|4+γ|e0|4)\lambda_{u}(\kappa|e_{0}|^{4}+\gamma|e_{1}|^{4})=\lambda_{e}(\kappa|e_{1}|^{4}+\gamma|e_{0}|^{4}). In particular, for a small field Ω\Omega and a low temperature γ\gamma, we obtain a separation of timescales in the lifetime of two phases

τ1τ0=1λuNλuN=N(γκ+Ω4κ4)+,\frac{\tau_{1}}{\tau_{0}}=\frac{1-\lambda_{u}^{N}}{\lambda_{u}^{N}}=N\left(\frac{\gamma}{\kappa}+\frac{\Omega^{4}}{\kappa^{4}}\right)+..., (76)

so that the dark state should be prevalent in quantum trajectories.

C.4 Dephasing dynamics due to coherent field

We now consider influence of coherent dynamics due to non-zero coherent field Ω\Omega, i.e., the Hamiltonian

H(Ω)=Ω|ee|12(|10|+|01|)=:ΩH+Ω2δH+.H(\Omega)=\Omega\,|e\rangle\!\langle e|\otimes\frac{1}{2}(|1\rangle\!\langle 0|+|0\rangle\!\langle 1|)=:\Omega H+\Omega^{2}\delta H+.... (77)

The new constraint also appears in jump operators,

J(Ω)=κ|ee||10|=:J+ΩδJ+Ω2δ2J,J^{-}(\Omega)=\sqrt{\kappa}\,|e\rangle\!\langle e|\otimes|1\rangle\!\langle 0|=:J^{-}+\Omega\delta J^{-}+\Omega^{2}\delta^{2}J^{-}, (78)

and is determined by the eigenbasis of a single-spin stationary state, which is rotated due to the presence of the coherent field Ω\Omega,

|ee|\displaystyle|e\rangle\!\langle e| =\displaystyle= (12κ2ΔiΩΔiΩΔ12+κ2Δ),\displaystyle\left(\begin{array}[]{cc}\frac{1}{2}-\frac{\kappa}{2\Delta}&-\frac{i\Omega}{\Delta}\\ \frac{i\Omega}{\Delta}&\frac{1}{2}+\frac{\kappa}{2\Delta}\\ \end{array}\right), (81)

where Δ=κ2+4Ω2\Delta=\sqrt{\kappa^{2}+4\Omega^{2}} [cf. Eq. (36)].

C.4.1 Stationary states

The stationary states of dynamics with (77) and (78), while at the hard constraint (ϵ=0\epsilon=0) and zero temperature (γ=0\gamma=0), are given by [cf. Eq. (37)]

ρss(0)\displaystyle\rho_{\text{ss}}^{(0)} =\displaystyle= u\rrN,\displaystyle\lVert u\rr^{\otimes N}, (82)
ρss(1)\displaystyle\rho_{\text{ss}}^{(1)} =\displaystyle= [(λuu\rr+λee\rr)NλuNu\rrN]/(1λuN),\displaystyle\left[\left(\lambda_{u}\lVert u\rr\!+\!\lambda_{e}\lVert e\rr\right)^{\otimes N}\!\!-\!\lambda_{u}^{N}\lVert u\rr^{\otimes N}\right]\!/(1\!-\!\lambda_{u}^{N}),\qquad\quad (83)

where e\rr=|ee|\lVert e\rr=|e\rangle\!\langle e| is defined in Eq. (81) and

u\rr\displaystyle\lVert u\rr =\displaystyle= (12+κ2ΔiΩΔiΩΔ12κ2Δ),\displaystyle\left(\begin{array}[]{cc}\frac{1}{2}+\frac{\kappa}{2\Delta}&\frac{i\Omega}{\Delta}\\ -\frac{i\Omega}{\Delta}&\frac{1}{2}-\frac{\kappa}{2\Delta}\\ \end{array}\right), (86)

[cf. Eq. (33)], with the corresponding probabilities

λu,e=12±κΔκ2+Δ2\displaystyle\lambda_{u,e}=\frac{1}{2}\pm\frac{\kappa\Delta}{\kappa^{2}+\Delta^{2}} (87)

[cf. Eq. (30)]. Therefore, in the limit of small field Ω\Omega, we obtain

ρss(0)\displaystyle\rho_{\text{ss}}^{(0)} =\displaystyle= u\rrN,\displaystyle\lVert u\rr^{\otimes N}, (88)
ρss(1)\displaystyle\rho_{\text{ss}}^{(1)} =\displaystyle= [1Ω4κ4(N1)]1Nj=1Nej\rr\displaystyle\left[\!1-\frac{\Omega^{4}}{\kappa^{4}}(N-1)\right]\frac{1}{N}\!\sum_{j=1}^{N}\,\lVert...e_{j}...\rr (89)
+Ω4κ41Nj=1Nj>kNejek\rr+,\displaystyle\quad+\frac{\Omega^{4}}{\kappa^{4}}\frac{1}{N}\sum_{j=1}^{N}\sum_{j>k}^{N}\,\lVert...e_{j}...e_{k}...\rr+...,\quad\,

where ej\rr=u\rr(j1)e\rru\rr(Nj)\lVert...e_{j}...\rr=\lVert u\rr^{\otimes(j-1)}\otimes\lVert e\rr\otimes\lVert u\rr^{\otimes(N-j)} and ejek\rr=u\rr(j1)e\rru\rr(kj1)e\rru\rr(Nk)\lVert...e_{j}...e_{k}...\rr=\lVert u\rr^{\otimes(j-1)}\otimes\lVert e\rr\otimes\lVert u\rr^{\otimes(k-j-1)}\otimes\lVert e\rr\otimes\lVert u\rr^{\otimes(N-k)}. Comparing Eqs. (44) and (88), suggests that the field Ω\Omega could act in the fourth order as the temperature parameter γ\gamma, in the rotated basis formed by u\rr\lVert u\rr and e\rr\lVert e\rr. Below, we recover metastable states as classical states with isolated excitations in the second-order perturbation theory, so that the next order corrections are of the fourth order, while in the main text we confirm numerically that the fourth-order and higher perturbations indeed correspond to the temperature.

C.4.2 Perturbative dynamics

First-order dynamics. There are no first-order corrections in Ω\Omega. In the first order, we have perturbations from the Hamiltonian H=Ω|11|(|10|+|01|)/2H=\Omega\,|1\rangle\!\langle 1|\otimes(|1\rangle\!\langle 0|+|0\rangle\!\langle 1|)/2, and anti-commutator with [(J)δJ+(δJ)J]/2=iΩ(|10||01|)/2|11|[(J^{-})^{\dagger}\delta J^{-}+(\delta J^{-})^{\dagger}J^{-}]/2=i\Omega(|1\rangle\!\langle 0|-|0\rangle\!\langle 1|)/2\otimes|1\rangle\!\langle 1|, which introduce coherences of the dark states [Eq. (40)] to the states with double excitations, and thus such contributions decay to 0.

Second-order dynamics. We have the following contributions to the second-order dynamics in Ω\Omega.

The dynamics due to the second-order perturbation in the Hamiltonian, δH=i(|10||01|)(|10|+|01|)/2\delta H=i(|1\rangle\!\langle 0|-|0\rangle\!\langle 1|)\otimes(|1\rangle\!\langle 0|+|0\rangle\!\langle 1|)/2, leads to the unitary dynamics in the dark DFS corresponding to movement of excitations,

|0100|\displaystyle|...0100...\rangle\!\langle...| \displaystyle\longmapsto Ω22κ|0010|,\displaystyle-\frac{\Omega^{2}}{2\kappa}|...0010...\rangle\!\langle...|, (90)
|0010|\displaystyle|...0010...\rangle\!\langle...| \displaystyle\longmapsto Ω22κ|0100|,\displaystyle\frac{\Omega^{2}}{2\kappa}|...0100...\rangle\!\langle...|,

where in the above expressions we considered the perturbation δH\delta H acting on the second and third spins, on the ket only.

The dynamics due to the second-order perturbation in the jump operator, δ2J=Ω2(|00||11|)/2|01|/κ3\delta^{2}J^{-}=\Omega^{2}(|0\rangle\!\langle 0|-|1\rangle\!\langle 1|)/2\otimes|0\rangle\!\langle 1|/\sqrt{\kappa}^{3}, is analogous to the first-order dynamics with the soft constraint discussed in Sec. C.3.1, and thus gives no contribution.

The dissipative dynamics with the first-order perturbation to the jump operators, δJ=iΩ(|10||01|)|01|/κ\delta J^{-}=i\Omega(|1\rangle\!\langle 0|-|0\rangle\!\langle 1|)\otimes|0\rangle\!\langle 1|/\sqrt{\kappa}, which similarly to δH\delta H facilitate movement of interactions, in the DFS causes both movements of excitations and decay of neighbouring excitations,

|00100010|\displaystyle|...0010...\rangle\!\langle...0010...| \displaystyle\longmapsto Ω2κ(|01000100|\displaystyle\frac{\Omega^{2}}{\kappa}\big{(}|...0100...\rangle\!\langle...0100...|
|00100010|),\displaystyle\qquad-|...0010...\rangle\!\langle...0010...|\big{)},
|10101010|\displaystyle|...1010...\rangle\!\langle...1010...| \displaystyle\longmapsto Ω2κ(|10001000|\displaystyle\frac{\Omega^{2}}{\kappa}\big{(}|...1000...\rangle\!\langle...1000...|
|10101010|),\displaystyle\qquad-|...1010...\rangle\!\langle...1010...|\big{)},

with the corresponding decay of coherences

|010|\displaystyle|...\cdot 010...\rangle\!\langle...| \displaystyle\longmapsto Ω22κ|010|,\displaystyle-\frac{\Omega^{2}}{2\kappa}|...\cdot 010...\rangle\!\langle...|, (92)

where in the above expression ()(\cdot) stands for either 0 or 11 and we considered the perturbation δJ\delta J^{-} acting on the second and third spins, and on the ket only.

The second-order correction due to HH taking the states outside the dark DFS also leads to completely positive trace-preserving dynamics, similar to the first-order corrections from the non-zero temperature in Eq. (46),

|10101010|\displaystyle|...1010...\rangle\!\langle...1010...| \displaystyle\longmapsto Ω24κ(|10001000|\displaystyle\frac{\Omega^{2}}{4\kappa}\big{(}|...1000...\rangle\!\langle...1000...|
|10101010|),\displaystyle\qquad-|...1010...\rangle\!\langle...1010...|\big{)},
|100100|\displaystyle|...100\cdot...\rangle\!\langle...100\cdot...| \displaystyle\longmapsto 0,\displaystyle 0,

with coherences decaying as

|1010100|\displaystyle|...1010...\rangle\!\langle...100\cdot...| \displaystyle\longmapsto Ω24κ|1010100|,\displaystyle-\frac{\Omega^{2}}{4\kappa}|...1010...\rangle\!\langle...100\cdot...|,\qquad\,\, (94)
|1010010|\displaystyle|...1010...\rangle\!\langle...010\cdot...| \displaystyle\longmapsto Ω24κ|1010010|,\displaystyle-\frac{\Omega^{2}}{4\kappa}|...1010...\rangle\!\langle...010\cdot...|,
|101000|\displaystyle|...1010...\rangle\!\langle...00\cdot\cdot...| \displaystyle\longmapsto Ω24κ|101000|,\displaystyle-\frac{\Omega^{2}}{4\kappa}|...1010...\rangle\!\langle...00\cdot\cdot...|,
|100010|\displaystyle|...100...\rangle\!\langle...010...| \displaystyle\longmapsto Ω22κ|100010|,\displaystyle-\frac{\Omega^{2}}{2\kappa}|...100...\rangle\!\langle...010...|,
|10000|\displaystyle|...100...\rangle\!\langle...00\cdot...| \displaystyle\longmapsto Ω22κ|10000|,\displaystyle-\frac{\Omega^{2}}{2\kappa}|...100...\rangle\!\langle...00\cdot...|,

where we considered the perturbation HH acting on the first and second spins.

The second-order dynamics due to the first-order perturbation in dissipation, which takes the states outside the dark DFS, is

|00100010|\displaystyle|...0010...\rangle\!\langle...0010...| \displaystyle\longmapsto Ω2κ(|01000100|\displaystyle-\frac{\Omega^{2}}{\kappa}\big{(}|...0100...\rangle\!\langle...0100...|\qquad\,\,\,
|00100010|),\displaystyle\qquad-|...0010...\rangle\!\langle...0010...|\big{)},
|10101010|\displaystyle|...1010...\rangle\!\langle...1010...| \displaystyle\longmapsto 34Ω2κ(|10001000|\displaystyle-\frac{3}{4}\frac{\Omega^{2}}{\kappa}\big{(}|...1000...\rangle\!\langle...1000...|
|10101010|),\displaystyle\qquad-|...1010...\rangle\!\langle...1010...|\big{)},

where the perturbations act on the second and third spins, while the coherences obey

|0010|\displaystyle|...0010...\rangle\!\langle...| \displaystyle\longmapsto Ω22κ|0010|,\displaystyle\frac{\Omega^{2}}{2\kappa}|...0010...\rangle\!\langle...|, (96)
|1010|\displaystyle|...1010...\rangle\!\langle...| \displaystyle\longmapsto Ω24κ|1010|,\displaystyle\frac{\Omega^{2}}{4\kappa}|...1010...\rangle\!\langle...|,

where the perturbation acts on the second and third spins, and on the ket only. Note that the generated dynamics is trace-preserving but not positive. Nevertheless, when added to Eqs. (C.4.2) and (92), it becomes completely positive.

Finally, the mixed second-order contribution from the perturbation in dissipation and the Hamiltonian gives

|10101010|\displaystyle|...1010...\rangle\!\langle...1010...| \displaystyle\longmapsto Ω22κ(|10001000|\displaystyle-\frac{\Omega^{2}}{2\kappa}\big{(}|...1000...\rangle\!\langle...1000...|
|10101010|),\displaystyle\qquad-|...1010...\rangle\!\langle...1010...|\big{)},\qquad

where the first Hamiltonian perturbation acts on the first and second spins, while the first dissipative perturbation on the second and third spins. This also leads to the dynamics of coherences as follows,

|1001010|\displaystyle|...100\cdot...\rangle\!\langle...1010...| \displaystyle\longmapsto Ω22κ|1001010|,\displaystyle\frac{\Omega^{2}}{2\kappa}|...100\cdot...\rangle\!\langle...1010...|,\qquad (98)

Finally, we also obtain unitary dynamics [cf. Eq. (90)],

|0100|\displaystyle|...0100...\rangle\!\langle...| \displaystyle\longmapsto Ω22κ|0010|,\displaystyle\frac{\Omega^{2}}{2\kappa}|...0010...\rangle\!\langle...|, (99)
|0010|\displaystyle|...0010...\rangle\!\langle...| \displaystyle\longmapsto Ω22κ|0100|,\displaystyle-\frac{\Omega^{2}}{2\kappa}|...0100...\rangle\!\langle...|,

where the contribution corresponds to the second and third spins being perturbed.

Total second-order dynamics. Summing all the second-order contributions above we obtain no dynamics of occupations,

|10101010|\displaystyle|...1010...\rangle\!\langle...1010...| \displaystyle\longmapsto 0,\displaystyle 0, (100)
|00100010|\displaystyle|...0010...\rangle\!\langle...0010...| \displaystyle\longmapsto 0,\displaystyle 0,

while the coherences undergo dephasing,

|1010|\displaystyle|...1010...\rangle\!\langle...| \displaystyle\longmapsto Ω22κ|1010|,\displaystyle-\frac{\Omega^{2}}{2\kappa}|...1010...\rangle\!\langle...|, (101)
|100|\displaystyle|...100\cdot...\rangle\!\langle...| \displaystyle\longmapsto Ω24κ|100|.\displaystyle-\frac{\Omega^{2}}{4\kappa}|...100\cdot...\rangle\!\langle...|.

Therefore the manifold of states invariant to the second-order dynamics is classical with isolated excitations followed at least by one empty site [cf. Eq. (47)]

00,0100,010010,.\lVert...0...0...\rangle\!\rangle,\qquad\lVert...010...0...\rangle\!\rangle,...\qquad\lVert...010...010...\rangle\!\rangle,.... (102)

Third-order dynamics. As stationary states of the second-order dynamics are classical, it follows that there are no third-order corrections in Ω\Omega to the perturbative dynamics. Indeed, the eigenvalues of the induced stochastic dynamics must be negative, while Ω3\Omega^{3} can be both positive and negative.

C.4.3 Corrections to state structure

First-order corrections. We now consider first-order corrections to (47) for states with isolated excitation, which are stationary under the second-order dynamics in Ω\Omega. We have that the perturbation by the field outside the dark DFS yields [cf. Eq. (40)],

|010010|\displaystyle|...{010}...\rangle\!\langle...{010}...|
iΩκ(|011010||010011|)+\displaystyle-i\frac{\Omega}{\kappa}\left(|...0{11}...\rangle\!\langle...0{10}...|-|...{010}...\rangle\!\langle...0{11}...|\right)+...\qquad
iΩκ(|110010||010110|)+,\displaystyle-i\frac{\Omega}{\kappa}\left(|...{11}0...\rangle\!\langle...0{10}...|-|...0{10}...\rangle\!\langle...1{10}...|\right)+...,

where the corrections in the first line are due to the Hamiltonian HH, while in the second line due to the anti-commutator with [(J)δJ+(δJ)J]/2[(J^{-})^{\dagger}\delta J^{-}+(\delta J^{-})^{\dagger}J^{-}]/2 [cf. Eqs. (77) and (78)]. These corrections directly correspond to the transformation of |0|0\rangle and |1|1\rangle into the rotated basis of |u|u\rangle and |e|e\rangle [cf. Eqs. (81) and (86)].

Appendix D Perturbation theory for open quantum East model with open boundary conditions

Here, we show that the dynamics at a very low softness (ϵ1\epsilon\ll 1), in the case of open boundary conditions, leads to dynamical heterogeneity. For the case of periodic boundary conditions, see Appendix C.3.2.

D.1 Stationary states for hard constraint

We first consider dynamics at any temperature and with arbitrary coherent field, but with a hard constraint, i.e., the Hamiltonian and jump operators,

H=Ω|ee|(|01|+|10|)/2,\displaystyle H=\Omega\,|e\rangle\!\langle e|\otimes(|0\rangle\!\langle 1|+|1\rangle\!\langle 0|)/2, (103)
J=κ|ee||01|,\displaystyle J^{-}=\sqrt{\kappa}\,|e\rangle\!\langle e|\otimes|0\rangle\!\langle 1|,
J+=γ|ee||10|,\displaystyle J^{+}=\sqrt{\gamma}\,|e\rangle\!\langle e|\otimes|1\rangle\!\langle 0|,

for a neighbouring pair of spins.

D.1.1 Stationary states

There are N+1N+1 orthogonal stationary states in the model with open boundary conditions and the hard constraint (ϵ=0)(\epsilon=0) [cf. Eq. (37)]

ρss(0)\displaystyle\rho_{\text{ss}}^{(0)} =\displaystyle= u\rrN,\displaystyle\lVert u\rr^{\otimes N}, (104)
ρss(j)\displaystyle\rho_{\text{ss}}^{(j)} =\displaystyle= u\rr(j1)e\rr(λuu\rr+λee\rr)(Nj),\displaystyle\lVert u\rr^{\otimes(j-1)}\otimes\lVert e\rr\otimes\left(\lambda_{u}\lVert u\rr+\lambda_{e}\lVert e\rr\right)^{\otimes(N-j)},\quad

where j=1,,Nj=1,...,N. The states u\rr=|uu|\lVert u\rr=|u\rangle\!\langle u| and e\rr=|ee|\lVert e\rr=|e\rangle\!\langle e| defined in Eqs. (33) and (36), and the probabilities λu\lambda_{u}, λe\lambda_{e} defined in Eq. (30), correspond to the stationary state of single-spin dynamics. Moreover, the coherences between the pure ρss(0)\rho_{\text{ss}}^{(0)} and ρss(N)\rho_{\text{ss}}^{(N)} (i.e., the coherences of NN-th spin) are also stationary,

C+\displaystyle C^{+} =\displaystyle= u\rr(N1)|eu|,\displaystyle\lVert u\rr^{\otimes(N-1)}\otimes|e\rangle\!\langle u|, (105)
C\displaystyle C^{-} =\displaystyle= u\rr(N1)|ue|,\displaystyle\lVert u\rr^{\otimes(N-1)}\otimes|u\rangle\!\langle e|,

which corresponds to the existence of a qubit DFS. This structure of stationary states is a consequence of the first spin undergoing no dynamics due to the absence of its neighbour to the left, but acting as a constraint, while the last spin undergoing dynamics only in the presence of the penultimate spin in the excited state. We note, however, that the coherence in the first spin, |eu|(λuu\rr+λee\rr)(N1)|e\rangle\!\langle u|\otimes\left(\lambda_{u}\lVert u\rr+\lambda_{e}\lVert e\rr\right)^{\otimes(N-1)} (and similarly in other spins u\rr(j1)|eu|(λuu\rr+λee\rr)(Nj)\lVert u\rr^{\otimes(j-1)}\otimes|e\rangle\!\langle u|\otimes\left(\lambda_{u}\lVert u\rr+\lambda_{e}\lVert e\rr\right)^{\otimes(N-j)}), is not conserved, but instead, due to the first spin acting as constraint, decays with the effective Hamiltonian iHeff=iΩ(|01|+|10|)κ2|11|γ2|00|-iH_{\text{eff}}=-i\Omega(|0\rangle\!\langle 1|+|1\rangle\!\langle 0|)-\frac{\kappa}{2}|1\rangle\!\langle 1|-\frac{\gamma}{2}|0\rangle\!\langle 0|, acting on the second spin (j+1j+1-th spin) with the eigenvalues κ+γ4±(κγ4)2Ω2-\frac{\kappa+\gamma}{4}\pm\sqrt{(\frac{\kappa-\gamma}{4})^{2}-\Omega^{2}} featuring negative real parts.

Finally, we note that for small values of the temperature and the coherent field γ,|Ω|κ\gamma,|\Omega|\ll\kappa, we have λe0\lambda_{e}\approx 0, so that the stationary states ρss(0)\rho_{\text{ss}}^{(0)} and ρss(j)\rho_{\text{ss}}^{(j)} in Eq. (104) can be viewed as states with none and a single excitation of jjth spin, respectively. This is analogous to the structure of the latest metastable manifold in the model with periodic boundary conditions.

D.1.2 Conserved quantities

The corresponding projections on the stationary states in Eq. (104) are determined by their support,

Π0=\LLuN,\displaystyle\Pi_{0}=\LL u\rVert^{\otimes N}, (106)
Πj=\LLu(j1)\LLe𝟙2(Nj),\displaystyle\Pi_{j}=\LL u\rVert^{\otimes(j-1)}\otimes\LL e\rVert\otimes\mathds{1}_{2}^{\otimes(N-j)},\quad
(C+)and(C),\displaystyle(C^{+})^{\dagger}\quad\text{and}\quad(C^{-})^{\dagger},

and conserved by the dynamics. We have introduced \LL=\rr\LL\cdot\rVert=\lVert\cdot\rr^{\dagger}. The asymptotic state is determined as, limtρt=p0ρss(0)+j=1Npjρss(j)+cC++cC\lim_{t\rightarrow\infty}\rho_{t}=p_{0}\,\rho_{\text{ss}}^{(0)}+\sum_{j=1}^{N}p_{j}\,\rho_{\text{ss}}^{(j)}+c\,C^{+}+c^{*}\,C^{-}, with probabilities pj=Tr(Πjρ0)p_{j}={\mathrm{Tr}}(\Pi_{j}\rho_{0}) and coefficients c=Tr{[C+]ρ0}c={\mathrm{Tr}}\{[C^{+}]^{\dagger}\rho_{0}\}. In particular, we have that Π0+j=1NΠj=𝟙\Pi_{0}+\sum_{j=1}^{N}\Pi_{j}=\mathds{1}, which corresponds to the trace-preservation of the dynamics.

D.2 Dynamics due to soft constraint

We now consider dynamics due to soft constraint 0<ϵ10<\epsilon\ll 1. The change of softness in the constraint leads to the following shifts in the original Hamiltonian HH and jump operators JJ^{-} and J+J^{+} in Eq. (103) [cf. Eq. (6)],

δH=ϵ2Ω|uu|(|01|+|10|)/2,\displaystyle\delta H=\epsilon^{2}\,\Omega\,|u\rangle\!\langle u|\otimes(|0\rangle\!\langle 1|+|1\rangle\!\langle 0|)/2, (107)
δJ=ϵκ|uu||01|,\displaystyle\delta J^{-}=\epsilon\,\sqrt{\kappa}\,|u\rangle\!\langle u|\otimes|0\rangle\!\langle 1|,
δJ+=ϵγ|uu||10|.\displaystyle\delta J^{+}=\epsilon\,\sqrt{\gamma}\,|u\rangle\!\langle u|\otimes|1\rangle\!\langle 0|.

There are no first-order perturbations to the dynamics. This is due to orthogonality of the constraint in J±J^{\pm} and δJ±\delta J^{\pm}, which gives (J±)δJ±=0=(δJ±)J±(J^{\pm})^{\dagger}\delta J^{\pm}=0=(\delta J^{\pm})^{\dagger}J^{\pm}.

We have two independent second-order contributions from the dissipative dynamics with the jumps operators δJ+\delta J^{+}, and δJ\delta J^{-}, and from the unitary dynamics in the DFS induced by the Hamiltonian δH\delta H. There are no mixed contributions from J±J^{\pm} and δJ±\delta J^{\pm}, again due to orthogonality of their constraints.

D.2.1 Classical dynamics

Effective dynamics. In the absence of the field, Ω=0\Omega=0, we obtain

ρss(0)ϵ2γ[j=2Nρss(j)(N1)ρss(0)],\displaystyle\rho_{\text{ss}}^{(0)}\longmapsto\epsilon^{2}\,\gamma\left[\sum_{j=2}^{N}\rho_{\text{ss}}^{(j)}-(N-1)\rho_{\text{ss}}^{(0)}\right],\qquad
ρss(1)0,\displaystyle\rho_{\text{ss}}^{(1)}\longmapsto 0,
ρss(j)ϵ2γ[k=2j1ρss(k)(j2)ρss(j)]\displaystyle\rho_{\text{ss}}^{(j)}\longmapsto\epsilon^{2}\,\gamma\left[\sum_{k=2}^{j-1}\rho_{\text{ss}}^{(k)}-(j-2)\rho_{\text{ss}}^{(j)}\right]\qquad
+ϵ2κ[λ0Njρss(0)+λ1k=j+1Nλ0k(j+1)ρss(k)ρss(j)],\displaystyle\qquad\qquad\!\!+\epsilon^{2}\kappa\left[\!\lambda_{0}^{N-j}\rho_{\text{ss}}^{(0)}+\lambda_{1}\!\!\!\sum_{k=j+1}^{N}\!\!\lambda_{0}^{k-(j+1)}\rho_{\text{ss}}^{(k)}-\rho_{\text{ss}}^{(j)}\!\right],\qquad
ρss(N)ϵ2γ[k=2N1ρss(k)(N2)ρss(N)]\displaystyle\rho_{\text{ss}}^{(N)}\longmapsto\epsilon^{2}\,\gamma\left[\sum_{k=2}^{N-1}\rho_{\text{ss}}^{(k)}-(N-2)\rho_{\text{ss}}^{(N)}\right]\qquad
+ϵ2κ[ρss(0)ρss(N)],\displaystyle\qquad\qquad\!\!+\epsilon^{2}\,\kappa\left[\rho_{\text{ss}}^{(0)}-\rho_{\text{ss}}^{(N)}\right],\qquad
C+ϵ22(κ+γ)C+,\displaystyle C^{+}\longmapsto-\frac{\epsilon^{2}}{2}\left(\kappa+\gamma\right)C^{+},

where j=2,,N1j=2,...,N-1. Therefore, in the classical model at small temperature, γκ\gamma\ll\kappa, from Eq. (30) we recover that, due to softening of the constraint, the coherences simply decay at the rate ϵ2(κ+γ)/2\epsilon^{2}(\kappa+\gamma)/2, while the inverse of the lifetime of the states ρss(0)\rho_{\text{ss}}^{(0)} and ρss(j)\rho_{\text{ss}}^{(j)}, j=2,,Nj=2,...,N, is given, respectively, by

τ01=ϵ2γ(N1)+,\displaystyle\tau_{0}^{-1}=\epsilon^{2}\,\gamma\,(N-1)+...,\qquad
τj1=ϵ2[κ+γ(j2)]+,\displaystyle\tau_{j}^{-1}=\epsilon^{2}\,\left[\kappa+\gamma\,(j-2)\right]+...,

while τ11=0\tau_{1}^{-1}=0, as ρss(1)\rho_{\text{ss}}^{(1)} is decoupled from the perturbative dynamics.

Stationary states. Indeed, there are two stationary states of the perturbative dynamics, given by two possible states of the unconstrained first spin with the rest of the system in a local stationary state,

e\rr(λ00\rr+λ11\rr)(N1)=ρss(1),\displaystyle\lVert e\rr\otimes\left(\lambda_{0}\lVert 0\rr+\lambda_{1}\lVert 1\rr\right)^{\otimes(N-1)}=\rho_{\text{ss}}^{(1)},\quad (108)
u\rr(λ00\rr+λ11\rr)(N1)=\displaystyle\lVert u\rr\otimes\left(\lambda_{0}\lVert 0\rr+\lambda_{1}\lVert 1\rr\right)^{\otimes(N-1)}=
λ0N1ρss(0)+λ1j=2Nλ0j2ρss(j).\displaystyle\qquad\qquad\qquad\lambda_{0}^{N-1}\rho_{\text{ss}}^{(0)}+\lambda_{1}\sum_{j=2}^{N}\lambda_{0}^{j-2}\rho_{\text{ss}}^{(j)}.

The stationary states in Eq. (108) are actually the solutions of the dynamics with open boundary conditions to all orders in ϵ\epsilon.

Dynamical heterogeneity. Furthermore, we observe from Eq. (D.2.1), that there exists a separation of timescales, τj/τ0=(N1)γ/κ+\tau_{j}/\tau_{0}=(N-1)\gamma/\kappa+.... Moreover, the excited state ρss(j)\rho_{\text{ss}}^{(j)} is transformed into ρss(0)\rho_{\text{ss}}^{(0)} with the overwhelming probability 1(N2)γ/κ+1-(N-2)\gamma/\kappa+..., rather than into ρss(k)\rho_{\text{ss}}^{(k)}, kjk\neq j. This together with the separation of timescales leads to dynamical heterogeneity for small enough ϵ\epsilon and γ/κ\gamma/\kappa.

D.2.2 Quantum dynamics

Effective dynamics. In the presence of the field, Ω0\Omega\neq 0, from the perturbation of jump operators we obtain the dissipative dynamics

ρss(0)ϵ2(κ|e0|4+γ|e1|4)[j=2Nρss(j)(N1)ρss(0)],\displaystyle\rho_{\text{ss}}^{(0)}\longmapsto\epsilon^{2}\left(\kappa|e_{0}|^{4}+\gamma|e_{1}|^{4}\right)\left[\sum_{j=2}^{N}\rho_{\text{ss}}^{(j)}-(N-1)\rho_{\text{ss}}^{(0)}\right],\qquad
+ϵ22{eiϕe0e1[κ(1+2|e0|2)γ(1+2|e1|2)]C++h.c.}\displaystyle+\frac{\epsilon^{2}}{2}\left\{e^{i\phi}e_{0}^{*}e_{1}^{*}\left[\kappa(1+2|e_{0}|^{2})-\gamma(1+2|e_{1}|^{2})\right]C^{+}\,+\,\text{h.c.}\right\}
ρss(1)0,\displaystyle\rho_{\text{ss}}^{(1)}\longmapsto 0,
ρss(j)ϵ2(κ|e0|4+γ|e1|4)[k=2j1ρss(k)(j2)ρss(j)]\displaystyle\rho_{\text{ss}}^{(j)}\longmapsto\epsilon^{2}\left(\kappa|e_{0}|^{4}+\gamma|e_{1}|^{4}\right)\left[\sum_{k=2}^{j-1}\rho_{\text{ss}}^{(k)}-(j-2)\rho_{\text{ss}}^{(j)}\right]\qquad
+ϵ2(κ|e1|4+γ|e0|4)[λuNjρss(0)+λek=j+1Nλuk(j+1)ρss(k)ρss(j)],\displaystyle+\epsilon^{2}\left(\kappa|e_{1}|^{4}+\gamma|e_{0}|^{4}\right)\!\!\left[\!\lambda_{u}^{N-j}\rho_{\text{ss}}^{(0)}+\lambda_{e}\!\!\!\sum_{k=j+1}^{N}\!\!\lambda_{u}^{k-(j+1)}\rho_{\text{ss}}^{(k)}-\rho_{\text{ss}}^{(j)}\!\right],\qquad
ρss(N)ϵ2(κ|e0|4+γ|e1|4)[k=2N1ρss(k)(N2)ρss(N)]\displaystyle\rho_{\text{ss}}^{(N)}\longmapsto\epsilon^{2}\left(\kappa|e_{0}|^{4}+\gamma|e_{1}|^{4}\right)\left[\sum_{k=2}^{N-1}\rho_{\text{ss}}^{(k)}-(N-2)\rho_{\text{ss}}^{(N)}\right]\qquad
+ϵ2(κ|e1|4+γ|e0|4)[ρss(0)ρss(N)],\displaystyle\qquad\!+\epsilon^{2}\left(\kappa|e_{1}|^{4}+\gamma|e_{0}|^{4}\right)\left[\rho_{\text{ss}}^{(0)}-\rho_{\text{ss}}^{(N)}\right],\qquad
+ϵ22{eiϕe0e1[κ(1+2|e1|2)γ(1+2|e0|2)]C++h.c.}\displaystyle+\frac{\epsilon^{2}}{2}\left\{e^{i\phi}e_{0}^{*}e_{1}^{*}\left[\kappa(1+2|e_{1}|^{2})-\gamma(1+2|e_{0}|^{2})\right]C^{+}\,+\,\text{h.c.}\right\}
C+ϵ22(κγ)eiϕe0e1(12|e1|2)[ρss(0)ρss(N)]\displaystyle C^{+}\longmapsto\frac{\epsilon^{2}}{2}\left(\kappa-\gamma\right)e^{-i\phi}e_{0}e_{1}\left(1-2|e_{1}|^{2}\right)\left[\rho_{\text{ss}}^{(0)}-\rho_{\text{ss}}^{(N)}\right]
ϵ22[κ|e1|2(1+2|e0|2)+γ|e0|2(1+2|e1|2)]C+\displaystyle\qquad\qquad\!-\frac{\epsilon^{2}}{2}\left[\kappa|e_{1}|^{2}\left(1+2|e_{0}|^{2}\right)+\gamma|e_{0}|^{2}\left(1+2|e_{1}|^{2}\right)\right]C^{+}
ϵ2(κ+γ)ei2ϕe02e12C,\displaystyle\qquad\qquad\!-\epsilon^{2}\left(\kappa+\gamma\right)e^{-i2\phi}e_{0}^{2}e_{1}^{2}\,C^{-},

where j=2,,N1j=2,...,N-1 and we defined e0=0|ee_{0}=\langle 0|e\rangle, e1=1|ee_{1}=\langle 1|e\rangle, so that |e0|2=1|e1|2|e_{0}|^{2}=1-|e_{1}|^{2} and u0=0|u=eiϕe1u_{0}=\langle 0|u\rangle=e^{i\phi}e_{1}^{*}, u1=1|u=eiϕe0u_{1}=\langle 1|u\rangle=-e^{i\phi}e_{0}^{*} with the relative phase ϕ\phi\in\mathbb{R}. The perturbation of constraint in the coherent field, δH\delta H, yields the unitary dynamics in the DFS,

ρss(0)\displaystyle\rho_{\text{ss}}^{(0)}\, \displaystyle\longmapsto ϵ22Ω[ieiϕ(e02e12)C++h.c.],\displaystyle\frac{\epsilon^{2}}{2}\,\Omega\left[ie^{i\phi}\left(e_{0}^{*2}-e_{1}^{*2}\right)C^{+}+\text{h.c.}\right],
ρss(j)\displaystyle\rho_{\text{ss}}^{(j)}\, \displaystyle\longmapsto 0,\displaystyle 0,
ρss(N)\displaystyle\rho_{\text{ss}}^{(N)}\, \displaystyle\longmapsto ϵ22Ω[ieiϕ(e02e12)C++h.c.],\displaystyle-\frac{\epsilon^{2}}{2}\,\Omega\left[ie^{i\phi}\left(e_{0}^{*2}-e_{1}^{*2}\right)C^{+}+\text{h.c.}\right],
C+\displaystyle C^{+}\, \displaystyle\longmapsto ϵ22Ωieiϕ(e02e12)[ρss(0)ρss(N)]\displaystyle\frac{\epsilon^{2}}{2}\,\Omega ie^{-i\phi}\left(e_{0}^{2}-e_{1}^{2}\right)\left[\rho_{\text{ss}}^{(0)}-\rho_{\text{ss}}^{(N)}\right]
iϵ2Ω(e0e1+e0e1)C+,\displaystyle-i\epsilon^{2}\,\Omega\left(e_{0}e_{1}^{*}+e_{0}^{*}e_{1}\right)C^{+},

where j=1,,N1j=1,...,N-1.

Stationary states. Although the dynamics of coherences is more complex than the simple decay present in the classical dynamics, we note the dissipative dynamics of NN-th spin in the DFS (i.e., in the coupling between ρss(N)\rho_{\text{ss}}^{(N)}, ρss(0)\rho_{\text{ss}}^{(0)}, C+C^{+} and CC^{-}) features the stationary state given by ρss(0,N)=λuρss(0)+λeρss(N)=u\rr(N1)(λuu\rr+λee\rr)\rho_{\text{ss}}^{(0,N)}=\lambda_{u}\rho_{\text{ss}}^{(0)}+\lambda_{e}\rho_{\text{ss}}^{(N)}=\lVert u\rr^{\otimes(N-1)}\otimes\left(\lambda_{u}\lVert u\rr+\lambda_{e}\lVert e\rr\right), without any stationary coherences. Indeed, this follows from λu(κ|e0|4+γ|e1|4)=λe(κ|e1|4+γ|e0|4)\lambda_{u}(\kappa|e_{0}|^{4}+\gamma|e_{1}|^{4})=\lambda_{e}(\kappa|e_{1}|^{4}+\gamma|e_{0}|^{4}) and λue0e1[κ(1+2|e0|2)γ(1+2|e1|2)]+λee0e1[κ(1+2|e1|2)γ(1+2|e0|2)]+(λuλe)Ωi(e02e12)=0\lambda_{u}e_{0}^{*}e_{1}^{*}[\kappa(1+2|e_{0}|^{2})-\gamma(1+2|e_{1}|^{2})]+\lambda_{e}e_{0}^{*}e_{1}^{*}[\kappa(1+2|e_{1}|^{2})-\gamma(1+2|e_{0}|^{2})]+(\lambda_{u}-\lambda_{e})\Omega i(e_{0}^{*2}-e_{1}^{*2})=0 [see Eqs. (30)-(36) and consider e00e_{0}\geq 0, so that e0e1=iΩ/Δe_{0}^{*}e_{1}^{*}=-i\Omega/\Delta and e02e12=1e_{0}^{*2}-e_{1}^{*2}=1]. The effective dynamics involving the rest of spins can then be represented as

ρss(0,N)ϵ2(κ|e0|4+γ|e1|4)[j=2Nρss(j)(N2)ρss(0)],\displaystyle\rho_{\text{ss}}^{(0,N)}\longmapsto\epsilon^{2}\left(\kappa|e_{0}|^{4}+\gamma|e_{1}|^{4}\right)\left[\,\sum_{j=2}^{N}\rho_{\text{ss}}^{(j)}-(N-2)\rho_{\text{ss}}^{(0)}\right],\qquad\quad
ρss(1)0,\displaystyle\rho_{\text{ss}}^{(1)}\longmapsto 0,
ρss(j)ϵ2(κ|e0|4+γ|e1|4)[k=2j1ρss(k)(j2)ρss(j)]\displaystyle\rho_{\text{ss}}^{(j)}\longmapsto\epsilon^{2}\left(\kappa|e_{0}|^{4}+\gamma|e_{1}|^{4}\right)\left[\,\sum_{k=2}^{j-1}\rho_{\text{ss}}^{(k)}-(j-2)\rho_{\text{ss}}^{(j)}\right]\qquad
+ϵ2(κ|e1|4+γ|e0|4)\displaystyle\qquad\quad+\epsilon^{2}\left(\kappa|e_{1}|^{4}+\gamma|e_{0}|^{4}\right)
×[λuN(j+1)ρss(0,N)+λek=j+1N1λuk(j+1)ρss(k)ρss(j)],\displaystyle\qquad\qquad\times\!\!\left[\lambda_{u}^{N-(j+1)}\rho_{\text{ss}}^{(0,N)}+\lambda_{e}\!\!\!\sum_{k=j+1}^{N-1}\!\!\lambda_{u}^{k-(j+1)}\rho_{\text{ss}}^{(k)}-\rho_{\text{ss}}^{(j)}\right]\!\!,

which leads ultimately to two stationary states,

e\rr(λuu\rr+λee\rr)(N1)=ρss(1),\displaystyle\lVert e\rr\otimes\left(\lambda_{u}\lVert u\rr+\lambda_{e}\lVert e\rr\right)^{\otimes(N-1)}=\rho_{\text{ss}}^{(1)},\quad (109)
u\rr(λuu\rr+λee\rr)(N1)=\displaystyle\lVert u\rr\otimes\left(\lambda_{u}\lVert u\rr+\lambda_{e}\lVert e\rr\right)^{\otimes(N-1)}=
λuN2ρss(0,N)+λej=2N1λuj2ρss(j),\displaystyle\qquad\qquad\qquad\lambda_{u}^{N-2}\rho_{\text{ss}}^{(0,N)}+\lambda_{e}\sum_{j=2}^{N-1}\lambda_{u}^{j-2}\rho_{\text{ss}}^{(j)},

which directly correspond to two possible states of the unconstrained first spin, with the rest of the system equilibrated. Note that ρss(1)\rho_{\text{ss}}^{(1)} is again disconnected from the perturbative dynamics. Moreover, the stationary states in Eq. (109) are actually the solutions of the dynamics with open boundary conditions to all orders in ϵ\epsilon.

Dynamical heterogeneity. In the presence of the small field and at the small temperature, the inverses of the lifetime of ρss(0,N)\rho_{\text{ss}}^{(0,N)} and ρss(j)\rho_{\text{ss}}^{(j)} are given by

τ0,N1=ϵ2(Ω4κ3+γ)(N2)+,\displaystyle\tau_{0,N}^{-1}=\epsilon^{2}\left(\frac{\Omega^{4}}{\kappa^{3}}+\gamma\right)(N-2)+...,
τj1=ϵ2[κ2Ω2κ+(Ω4κ3+γ)(j2)]+,\displaystyle\tau_{j}^{-1}=\epsilon^{2}\left[\kappa-2\frac{\Omega^{2}}{\kappa}+\left(\frac{\Omega^{4}}{\kappa^{3}}+\gamma\right)(j-2)\right]+...,\qquad

where j=2,,N1j=2,...,N-1, which again corresponds to a separation of timescales,

τjτ0,N=(Ω4κ4+γκ)(N2)+,\frac{\tau_{j}}{\tau_{0,N}}=\left(\frac{\Omega^{4}}{\kappa^{4}}+\frac{\gamma}{\kappa}\right)(N-2)+..., (110)

where j=2,,N1j=2,...,N-1. Furthermore, the excited state ρss(j)\rho_{\text{ss}}^{(j)}, j=2,..,N1j=2,..,N-1 is transformed into ρss(0,N)\rho_{\text{ss}}^{(0,N)} again with the overwhelming probability equal 1(N3)[Ω4/κ4+γ/κ]+1-(N-3)[\Omega^{4}/\kappa^{4}+\gamma/\kappa]+.... This, together with the separation of timescales, leads to dynamical heterogeneity for small enough ϵ\epsilon, γ/κ\gamma/\kappa and Ω4/κ4\Omega^{4}/\kappa^{4}.

While coherences contribute non-trivially to dynamics in the DFS of ρss(0)\rho_{\text{ss}}^{(0)} and ρss(N)\rho_{\text{ss}}^{(N)}, in the limit of small temperature and the field, the dynamics of ρss(N)\rho_{\text{ss}}^{(N)} is dominated by the decay to ρss(0)\rho_{\text{ss}}^{(0)} with rate ϵ2κ+\epsilon^{2}\kappa+.... Similarly, ρss(0)\rho_{\text{ss}}^{(0)} is excited to ρss(1)\rho_{\text{ss}}^{(1)} directly with rate ϵ2(Ω4/κ3+γ)+\epsilon^{2}(\Omega^{4}/\kappa^{3}+\gamma)+..., as the second-order contribution in softness constraint via coherences, which should be proportional to ϵ4Ω2/κ\epsilon^{4}\Omega^{2}/\kappa, cancels out.

Appendix E Aspects of classical dynamics

E.1 Classical stochastic dynamics

For a classical system with configurations labelled by l=1,,ml=1,...,m, the stochastic dynamics of corresponding probabilities plp_{l} (with 0pl10\leq p_{l}\leq 1 and l=1mpl=1\sum_{l=1}^{m}p_{l}=1),

ddtpl(t)=k=1m(𝐖)lkpk(t),\frac{d}{dt}\,p_{l}(t)=\sum_{k=1}^{m}({\mathbf{W}})_{lk}p_{k}(t), (111)

is governed by the generator which fulfils

k=1m(𝐖)kl=0,\displaystyle\sum_{k=1}^{m}({\mathbf{W}})_{kl}=0, (112)

so that total probability is conserved, and

(𝐖)ll0,(𝐖)kl0forkl,\displaystyle({\mathbf{W}})_{ll}\leq 0,\quad({\mathbf{W}})_{kl}\geq 0\,\,\text{for}\,\,k\neq l, (113)

so that probabilities remain positive.

E.2 Distance to classical dynamics

For a probability-conserving operator 𝐖~{\mathbf{\tilde{W}}}, the distance to the set of classical generators measured in the operator norm induced by L1L1 vector norm [that is, 𝐖~1=max1lmk=1m|(𝐖~)kl|\|{\mathbf{\tilde{W}}}\rVert_{1}=\max_{1\leq l\leq m}\sum_{k=1}^{m}|({\mathbf{\tilde{W}}})_{kl}|] is given by

min𝐖𝐖~𝐖1=2max1lmkl|min[(𝐖~)kl,0]|.\displaystyle\min_{{\mathbf{W}}}\|{\mathbf{\tilde{W}}}-{\mathbf{W}}\rVert_{1}=2\underset{1\leq l\leq m}{\max}\sum_{k\neq l}\big{|}\min[({\mathbf{\tilde{W}}})_{kl},0]\big{|}.\quad (114)

The normalised distance [that is, 𝐖~𝐖1/(𝐖~1+𝐖1)\|{\mathbf{\tilde{W}}}-{\mathbf{W}}\rVert_{1}/(\|{\mathbf{\tilde{W}}}\rVert_{1}+\|{\mathbf{W}}\rVert_{1}) for 𝐖{\mathbf{W}} being the closest classical generator] is

Δ+\displaystyle\Delta_{+} =\displaystyle= max1lmkl|min[(𝐖~)kl,0]|max1lm|𝐖~ll+klmin[(𝐖~)kl,0]|.\displaystyle\frac{\underset{1\leq l\leq m}{\max}\sum_{k\neq l}\big{|}\min[({\mathbf{\tilde{W}}})_{kl},0]\big{|}}{\underset{1\leq l\leq m}{\max}\Big{|}{\mathbf{\tilde{W}}}_{ll}+\sum_{k\neq l}\min[({\mathbf{\tilde{W}}})_{kl},0]\Big{|}}. (115)

This normalised distance is shown in Fig. 6(b). For derivations of Eqs. (114) and (115), see Ref. Macieszczak et al. (2020).

E.3 Distance to detailed balance

E.3.1 Detailed balance

The stationary current of probability from kkth to llth configuration is given by

jkl=(𝐖)kl(𝐩ss)l(𝐖)lk(𝐩ss)k,j_{kl}=({\mathbf{W}})_{kl}(\mathbf{p}_{\text{ss}})_{l}-({\mathbf{W}})_{lk}(\mathbf{p}_{\text{ss}})_{k}, (116)

where k,l=1,,mk,l=1,...,m and 𝐩ss\mathbf{p}_{\text{ss}} denotes the stationary probability distribution for 𝐖{\mathbf{W}}. Detailed balance takes place when there are no stationary currents, i.e.,

(𝐖)kl(𝐩ss)l=(𝐖)lk(𝐩ss)k.({\mathbf{W}})_{kl}(\mathbf{p}_{\text{ss}})_{l}=({\mathbf{W}})_{lk}(\mathbf{p}_{\text{ss}})_{k}. (117)

In this case, the generator 𝐖{\mathbf{W}} becomes symmetric under a similarity transformation

(𝐖)kl=(𝐩ss)k12(𝐖)kl(𝐩ss)l12.({\mathbf{W}}^{\prime})_{kl}=(\mathbf{p}_{\text{ss}})_{k}^{-\frac{1}{2}}({\mathbf{W}})_{kl}(\mathbf{p}_{\text{ss}})_{l}^{\frac{1}{2}}. (118)

E.3.2 Breaking of detailed balance

For a classical generator 𝐖{\mathbf{W}}, breaking of detailed balance can be quantified with respect to its stationary distribution 𝐩ss\mathbf{p}_{\text{ss}} as

min𝐖dbk,l=1m|(𝐖)kl(𝐖db)kl|(𝐩ss)l,\min_{{\mathbf{W}}_{\text{db}}}\sum_{k,l=1}^{m}|({\mathbf{W}})_{kl}-({\mathbf{W}}_{\text{db}})_{kl}|(\mathbf{p}_{\text{ss}})_{l}, (119)

where 𝐖db{\mathbf{W}}_{\text{db}} features detailed balance and the stationary distribution identical to 𝐩ss\mathbf{p}_{\text{ss}} [cf. Eq. (117)]. Note that in Eq. (119) we consider an entry-wise matrix norm weighted with respect to 𝐩ss\mathbf{p}_{\text{ss}}, which is in general smaller than 𝐖𝐖db1=max1lmk=1m|(𝐖)kl(𝐖db)kl|\lVert{\mathbf{W}}-{\mathbf{W}}_{\text{db}}\rVert_{1}=\max_{1\leq l\leq m}\sum_{k=1}^{m}|({\mathbf{W}})_{kl}-({\mathbf{W}}_{\text{db}})_{kl}|. Below, we show that it is bounded by twice the total stationary current [cf. Eq. (116)]

J=12k,l=1m|jkl|.J=\frac{1}{2}\sum_{k,l=1}^{m}|j_{kl}|. (120)

Furthermore, the normalised distance Δdb\Delta_{\text{db}} corresponds to Eq. (119) divided by twice the sum of the total activity KK in 𝐖{\mathbf{W}},

K=12k,l=1m|(𝐖)kl|(𝐩ss)l=l=1m|(𝐖)ll|(𝐩ss)l,K=\frac{1}{2}\sum_{k,l=1}^{m}|({\mathbf{W}})_{kl}|(\mathbf{p}_{\text{ss}})_{l}=\sum_{l=1}^{m}|({\mathbf{W}})_{ll}|(\mathbf{p}_{\text{ss}})_{l}, (121)

and in the optimal 𝐖db{\mathbf{W}}_{\text{db}} (which equals 12k,l=1mqkl0\frac{1}{2}\sum_{k,l=1}^{m}q_{kl}\geq 0), so that

ΔdbJK.\Delta_{\text{db}}\leq\frac{J}{K}. (122)

Proof. We now prove that Eq. (119) is bounded by 2J2J in Eq. (120). The sum on the left-hand side of Eq. (119) corresponds to

12l=1m{k=1klm[|(𝐖)kl(𝐩ss)lqkl|+|(𝐖)lk(𝐩ss)kqkl|]\displaystyle\frac{1}{2}\sum_{\begin{subarray}{c}l=1\end{subarray}}^{m}\Bigg{\{}\sum_{\begin{subarray}{c}k=1\\ k\neq l\end{subarray}}^{m}\big{[}|({\mathbf{W}})_{kl}(\mathbf{p}_{\text{ss}})_{l}-q_{kl}|+|({\mathbf{W}})_{lk}(\mathbf{p}_{\text{ss}})_{k}-q_{kl}|\big{]}
+|k=1klm[(𝐖)kl(𝐩ss)lqkl]|+|k=1klm[(𝐖)lk(𝐩ss)kqkl]|},\displaystyle+\Bigg{|}\sum_{\begin{subarray}{c}k=1\\ k\neq l\end{subarray}}^{m}[({\mathbf{W}})_{kl}(\mathbf{p}_{\text{ss}})_{l}-q_{kl}]\Bigg{|}+\Bigg{|}\sum_{\begin{subarray}{c}k=1\\ k\neq l\end{subarray}}^{m}[({\mathbf{W}})_{lk}(\mathbf{p}_{\text{ss}})_{k}-q_{kl}]\Bigg{|}\Bigg{\}},

where in the first line we introduced qkl=(𝐖db)kl(𝐩ss)l=qlkq_{kl}=({\mathbf{W}}_{\text{db}})_{kl}(\mathbf{p}_{\text{ss}})_{l}=q_{lk} and the second line corresponds to |(𝐖)ll(𝐩ss)l(𝐖db)ll(𝐩ss)l||({\mathbf{W}})_{ll}(\mathbf{p}_{\text{ss}})_{l}-({\mathbf{W}}_{\text{db}})_{ll}(\mathbf{p}_{\text{ss}})_{l}| from the probability-conservation of 𝐖{\mathbf{W}} and 𝐖db{\mathbf{W}}_{\text{db}}. The minimum of the first line equals total current [cf. Eq. (120)] and is achieved for min[(𝐖)kl(𝐩ss)l,(𝐖)lk(𝐩ss)k]qlkmax[(𝐖)kl(𝐩ss)l,(𝐖)lk(𝐩ss)k]\min[({\mathbf{W}})_{kl}(\mathbf{p}_{\text{ss}})_{l},({\mathbf{W}})_{lk}(\mathbf{p}_{\text{ss}})_{k}]\leq q_{lk}\leq\max[({\mathbf{W}})_{kl}(\mathbf{p}_{\text{ss}})_{l},({\mathbf{W}})_{lk}(\mathbf{p}_{\text{ss}})_{k}] [as the minimisation can be considered separately for each qklq_{kl} (where k>lk>l)]. By the triangle inequality the second line is bounded by the first line and thus the minimum is not larger than 2J2J.