HTML conversions sometimes display errors due to content that did not convert correctly from the source. This paper uses the following packages that are not yet supported by the HTML conversion tool. Feedback on these issues are not necessary; they are known and are being worked on.

  • failed: epic
  • failed: floatrow

Authors: achieve the best HTML results from your LaTeX submissions by following these best practices.

License: CC BY 4.0
arXiv:2401.00157v2 [quant-ph] 04 Jan 2024
thanks: These authors contributed equally to this workthanks: These authors contributed equally to this work

Supplementary Material for "Theory of Metastability in Discrete-Time Open Quantum Dynamics"

Yuan-De Jin Department of Applied Physics,University of Science and Technology Beijing, Beijing 100083, China    Chu-Dan Qiu Laboratory of Semiconductor Physics, Institute of Semiconductors, Chinese Academy of Sciences, Beijing, 100083, China    Wen-Long Ma wenlongma@semi.ac.cn Laboratory of Semiconductor Physics, Institute of Semiconductors, Chinese Academy of Sciences, Beijing, 100083, China Center of Materials Science and Opto-Electronic Technology,
University of Chinese Academy of Sciences, Beijing 100049, China
(January 4, 2024)
Abstract

In this supplementary material, we first provide more details about fundamentals of quantum channels, and properties of fixed points and extreme metastable states (EMSs) in Ramsey interferometry measurements (RIMs). Then we present Monte Carlo simulation results for a target system composed of multiple qubits, with the ancilla qubit under both RIMs and dynamical decoupling (DD) sequences. Moreover, we numerically demonstrate that quantum metastability is robust even when the target system suffers additional dissipation.

I Fundamentals of quantum channels

I.1 Definition of quantum channels

Denote the linear operators acting on a Hilbert space {\mathcal{H}}caligraphic_H as (){\mathcal{B(H)}}caligraphic_B ( caligraphic_H ), then a map Φ:()():Φ\Phi:{\mathcal{B(H)}}\to\mathcal{B(H)}roman_Φ : caligraphic_B ( caligraphic_H ) → caligraphic_B ( caligraphic_H ) is a quantum channel if it satisfies the following conditions [1]

  • Linear map: For any A,B()𝐴𝐵A,B\in{\mathcal{B(H)}}italic_A , italic_B ∈ caligraphic_B ( caligraphic_H ) and complex number c𝑐citalic_c, Φ(A+cB)=Φ(A)+cT(B)Φ𝐴𝑐𝐵Φ𝐴𝑐𝑇𝐵\Phi(A+cB)=\Phi(A)+cT(B)roman_Φ ( italic_A + italic_c italic_B ) = roman_Φ ( italic_A ) + italic_c italic_T ( italic_B );

  • Trace preserving: For any A()𝐴A\in{\mathcal{B(H)}}italic_A ∈ caligraphic_B ( caligraphic_H ), Tr[Φ(A)]=Tr(A)traceΦ𝐴trace𝐴\Tr[\Phi(A)]=\Tr(A)roman_Tr [ roman_Φ ( italic_A ) ] = roman_Tr ( start_ARG italic_A end_ARG ). This implies unitality of ΦsuperscriptΦ\Phi^{\dagger}roman_Φ start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT, i.e., Φ(𝕀)=𝕀superscriptΦ𝕀𝕀\Phi^{\dagger}(\mathbb{I})=\mathbb{I}roman_Φ start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT ( blackboard_I ) = blackboard_I, where ΦsuperscriptΦ\Phi^{\dagger}roman_Φ start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT is defined by Tr[BΦ(A)]=Tr[Φ(B)A]trace𝐵Φ𝐴tracesuperscriptΦ𝐵𝐴\Tr[B\Phi(A)]=\Tr[\Phi^{\dagger}(B)A]roman_Tr [ italic_B roman_Φ ( italic_A ) ] = roman_Tr [ roman_Φ start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT ( italic_B ) italic_A ];

  • Completely positive: For any positive operator ρ𝜌\rhoitalic_ρ, (Φ𝕀)(ρ)tensor-productΦ𝕀𝜌(\Phi\otimes\mathbb{I})(\rho)( roman_Φ ⊗ blackboard_I ) ( italic_ρ ) is still a positive operator, with 𝕀𝕀\mathbb{I}blackboard_I is the identity operator on an additional system with dimension dim()dim{\rm dim}({\mathcal{H}})roman_dim ( caligraphic_H ).

So a quantum channel is a completely positive and trace-preserving (CPTP) linear map, which maps a state to another one by Φ(ρ)=ρΦ𝜌superscript𝜌\Phi(\rho)=\rho^{\prime}roman_Φ ( italic_ρ ) = italic_ρ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT.

I.2 Representations of quantum channels

Every quantum channel has four different representations: the Kraus representation, the Stinespring representation, the natural representation, and the Choi representation. In this paper, we use the first three representations of quantum channels.

I.2.1 Kraus representation

Of the four representations, the Kraus representation is the most commonly used one. In this representation, a quantum channel is fully characterized by a collection of Kraus operators {Mα}α=1rsuperscriptsubscriptsubscript𝑀𝛼𝛼1𝑟\{M_{\alpha}\}_{\alpha=1}^{r}{ italic_M start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT } start_POSTSUBSCRIPT italic_α = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_r end_POSTSUPERSCRIPT satisfying αMαMα=𝕀subscript𝛼subscriptsuperscript𝑀𝛼subscript𝑀𝛼𝕀\sum_{\alpha}M^{\dagger}_{\alpha}M_{\alpha}=\mathbb{I}∑ start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT italic_M start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT italic_M start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT = blackboard_I so that

Φ()=α=1rMα()Mα=α=1rα(),Φsuperscriptsubscript𝛼1𝑟subscript𝑀𝛼superscriptsubscript𝑀𝛼superscriptsubscript𝛼1𝑟subscript𝛼\Phi(\cdot)=\sum_{\alpha=1}^{r}M_{\alpha}(\cdot)M_{\alpha}^{\dagger}=\sum_{% \alpha=1}^{r}\mathcal{M}_{\alpha}(\cdot),roman_Φ ( ⋅ ) = ∑ start_POSTSUBSCRIPT italic_α = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_r end_POSTSUPERSCRIPT italic_M start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT ( ⋅ ) italic_M start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT = ∑ start_POSTSUBSCRIPT italic_α = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_r end_POSTSUPERSCRIPT caligraphic_M start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT ( ⋅ ) , (S1)

where α()=Mα()Mαsubscript𝛼subscript𝑀𝛼superscriptsubscript𝑀𝛼\mathcal{M_{\alpha}}(\cdot)=M_{\alpha}(\cdot)M_{\alpha}^{\dagger}caligraphic_M start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT ( ⋅ ) = italic_M start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT ( ⋅ ) italic_M start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT is a superoperator.

I.2.2 Stinespring representation

The stinespring representation is a dilation of a quantum channel. The dilation can be realized by coupling the target system to an ancilla system, and letting the composite system undergoing a unitary evolution and then tracing over the ancilla system,

Φ(ρ)=Tra[U(ρaρ)U],Φ𝜌subscripttrace𝑎𝑈tensor-productsubscript𝜌𝑎𝜌superscript𝑈\Phi(\rho)=\Tr_{a}[U(\rho_{a}\otimes\rho)U^{\dagger}],roman_Φ ( italic_ρ ) = roman_Tr start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT [ italic_U ( italic_ρ start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT ⊗ italic_ρ ) italic_U start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT ] , (S2)

where ρasubscript𝜌𝑎\rho_{a}italic_ρ start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT is the initial state of the ancilla system and U𝑈Uitalic_U is a unitary of the composite system and TrasubscriptTr𝑎{\rm Tr}_{a}roman_Tr start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT denotes the trace over the ancilla system. For a r𝑟ritalic_r-dimensional ancilla system with an orthonormal basis {|α}α=1r\{|\alpha\}_{\alpha=1}^{r}{ | italic_α } start_POSTSUBSCRIPT italic_α = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_r end_POSTSUPERSCRIPT and the initial state ρa=|1a1|subscript𝜌𝑎subscriptket1𝑎bra1\rho_{a}=|1\rangle_{a}\langle 1|italic_ρ start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT = | 1 ⟩ start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT ⟨ 1 |, the Kraus operator can be easily obtained as Mα=r|U|1asubscript𝑀𝛼subscriptquantum-operator-product𝑟𝑈1𝑎M_{\alpha}=\langle r|U|1\rangle_{a}italic_M start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT = ⟨ italic_r | italic_U | 1 ⟩ start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT.

I.2.3 Natural representation

For sequential applications of the same channel, it is convenient to use the natural representation of a quantum channel. To understand this representation, we need to introduce Hilbert-Schmidt (HS) space. In the HS space, an operator on a d𝑑ditalic_d-dimensional Hilbert space (represented by a d×d𝑑𝑑d\times ditalic_d × italic_d matrix) is transformed to a d2×1superscript𝑑21d^{2}\times 1italic_d start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT × 1 vector,

A=[a11a1dad1add]=[𝒂1𝒂d]|A=[𝒂1T𝒂dT],A=\matrixquantity[a_{11}&\dots&a_{1d}\\ \vdots&\ddots&\vdots\\ a_{d1}&\dots&a_{dd}]=\matrixquantity[{\bf\it a}_{1}\\ \vdots\\ {\bf\it a}_{d}]\Rightarrow\left.\ket{A}\right\rangle=\matrixquantity[\,{\bf\it a% }^{T}_{1}\,\\ \vdots\\ \,{\bf\it a}^{T}_{d}\,],italic_A = [ start_ARG start_ARG start_ROW start_CELL italic_a start_POSTSUBSCRIPT 11 end_POSTSUBSCRIPT end_CELL start_CELL … end_CELL start_CELL italic_a start_POSTSUBSCRIPT 1 italic_d end_POSTSUBSCRIPT end_CELL end_ROW start_ROW start_CELL ⋮ end_CELL start_CELL ⋱ end_CELL start_CELL ⋮ end_CELL end_ROW start_ROW start_CELL italic_a start_POSTSUBSCRIPT italic_d 1 end_POSTSUBSCRIPT end_CELL start_CELL … end_CELL start_CELL italic_a start_POSTSUBSCRIPT italic_d italic_d end_POSTSUBSCRIPT end_CELL end_ROW end_ARG end_ARG ] = [ start_ARG start_ARG start_ROW start_CELL bold_italic_a start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_CELL end_ROW start_ROW start_CELL ⋮ end_CELL end_ROW start_ROW start_CELL bold_italic_a start_POSTSUBSCRIPT italic_d end_POSTSUBSCRIPT end_CELL end_ROW end_ARG end_ARG ] ⇒ | start_ARG italic_A end_ARG ⟩ ⟩ = [ start_ARG start_ARG start_ROW start_CELL bold_italic_a start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_CELL end_ROW start_ROW start_CELL ⋮ end_CELL end_ROW start_ROW start_CELL bold_italic_a start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_d end_POSTSUBSCRIPT end_CELL end_ROW end_ARG end_ARG ] , (S3)

where the superscript T𝑇Titalic_T denotes the matrix transposition. Such a transformation can also be represented by A=ijaij|ij|𝐴subscript𝑖𝑗subscript𝑎𝑖𝑗ket𝑖bra𝑗A=\sum_{ij}a_{ij}\ket{i}\bra{j}italic_A = ∑ start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT italic_a start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT | start_ARG italic_i end_ARG ⟩ ⟨ start_ARG italic_j end_ARG |\Rightarrow|A=ijaij|ij\left.\ket{A}\right\rangle=\sum_{ij}a_{ij}\left.\ket{ij}\right\rangle| start_ARG italic_A end_ARG ⟩ ⟩ = ∑ start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT italic_a start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT | start_ARG italic_i italic_j end_ARG ⟩ ⟩ with |ij=|i|j\left.\ket{ij}\right\rangle=\ket{i}\otimes\ket{j}| start_ARG italic_i italic_j end_ARG ⟩ ⟩ = | start_ARG italic_i end_ARG ⟩ ⊗ | start_ARG italic_j end_ARG ⟩. The inner product in the HS space is defined as

A|Bdelimited-⟨⟩inner-product𝐴𝐵\displaystyle\left\langle\innerproduct{A}{B}\right\rangle⟨ ⟨ start_ARG italic_A end_ARG | start_ARG italic_B end_ARG ⟩ ⟩ =ijpqaij*bpqij|pqabsentsubscript𝑖𝑗𝑝𝑞subscriptsuperscript𝑎𝑖𝑗subscript𝑏𝑝𝑞delimited-⟨⟩inner-product𝑖𝑗𝑝𝑞\displaystyle=\sum_{ijpq}a^{*}_{ij}b_{pq}\left\langle\innerproduct{ij}{pq}\right\rangle= ∑ start_POSTSUBSCRIPT italic_i italic_j italic_p italic_q end_POSTSUBSCRIPT italic_a start_POSTSUPERSCRIPT * end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT italic_b start_POSTSUBSCRIPT italic_p italic_q end_POSTSUBSCRIPT ⟨ ⟨ start_ARG italic_i italic_j end_ARG | start_ARG italic_p italic_q end_ARG ⟩ ⟩ (S4)
=ijaij*bijabsentsubscript𝑖𝑗subscriptsuperscript𝑎𝑖𝑗subscript𝑏𝑖𝑗\displaystyle=\sum_{ij}a^{*}_{ij}b_{ij}= ∑ start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT italic_a start_POSTSUPERSCRIPT * end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT italic_b start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT
=j(AB)jjabsentsubscript𝑗subscriptsuperscript𝐴𝐵𝑗𝑗\displaystyle=\sum_{j}(A^{\dagger}B)_{jj}= ∑ start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ( italic_A start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT italic_B ) start_POSTSUBSCRIPT italic_j italic_j end_POSTSUBSCRIPT
=Tr(AB).absenttracesuperscript𝐴𝐵\displaystyle=\Tr(A^{\dagger}B).= roman_Tr ( start_ARG italic_A start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT italic_B end_ARG ) .

Then a superoperator (assuming 𝒪(ρ)=AρB𝒪𝜌𝐴𝜌𝐵\mathcal{O}(\rho)=A\rho Bcaligraphic_O ( italic_ρ ) = italic_A italic_ρ italic_B) becomes a single matrix ABTtensor-product𝐴superscript𝐵𝑇A\otimes B^{T}italic_A ⊗ italic_B start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT acting on a vector |ρ\left.\ket{\rho}\right\rangle| start_ARG italic_ρ end_ARG ⟩ ⟩ in HS space,

AρB=ijpqaijρjkbpq|iq|ABT|ρ,A\rho B=\sum_{ijpq}a_{ij}\rho_{jk}b_{pq}\ket{i}\bra{q}\,\,\Rightarrow\,\,A% \otimes B^{T}\left.\ket{\rho}\right\rangle,italic_A italic_ρ italic_B = ∑ start_POSTSUBSCRIPT italic_i italic_j italic_p italic_q end_POSTSUBSCRIPT italic_a start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT italic_ρ start_POSTSUBSCRIPT italic_j italic_k end_POSTSUBSCRIPT italic_b start_POSTSUBSCRIPT italic_p italic_q end_POSTSUBSCRIPT | start_ARG italic_i end_ARG ⟩ ⟨ start_ARG italic_q end_ARG | ⇒ italic_A ⊗ italic_B start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT | start_ARG italic_ρ end_ARG ⟩ ⟩ , (S5)

so the natural representation of the channel in Eq. (S1) in HS space is

Φ^=α=1r^α^Φsuperscriptsubscript𝛼1𝑟subscript^𝛼\hat{\Phi}=\sum_{\alpha=1}^{r}\hat{\mathcal{M}}_{\alpha}over^ start_ARG roman_Φ end_ARG = ∑ start_POSTSUBSCRIPT italic_α = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_r end_POSTSUPERSCRIPT over^ start_ARG caligraphic_M end_ARG start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT (S6)

where ^α=MαMα*subscript^𝛼tensor-productsubscript𝑀𝛼subscriptsuperscript𝑀𝛼\hat{\mathcal{M}}_{\alpha}=M_{\alpha}\otimes M^{*}_{\alpha}over^ start_ARG caligraphic_M end_ARG start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT = italic_M start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT ⊗ italic_M start_POSTSUPERSCRIPT * end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT. Note that we add hats on operators acting on HS space.

I.3 Jordan decomposition of a quantum channel

The natural representation of a quantum channel on the HS space is a d2×d2superscript𝑑2superscript𝑑2d^{2}\times d^{2}italic_d start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT × italic_d start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT square operator. This operator may not be diagonalizable, but can always be converted to a Jordan normal form as

Φ^^Φ\displaystyle\hat{\Phi}over^ start_ARG roman_Φ end_ARG =S(k=1κ𝒥dk(λk))S1absent𝑆superscriptsubscriptdirect-sum𝑘1𝜅subscript𝒥subscript𝑑𝑘subscript𝜆𝑘superscript𝑆1\displaystyle=S\left(\bigoplus_{k=1}^{\kappa}\mathcal{J}_{d_{k}}(\lambda_{k})% \right)S^{-1}= italic_S ( ⨁ start_POSTSUBSCRIPT italic_k = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_κ end_POSTSUPERSCRIPT caligraphic_J start_POSTSUBSCRIPT italic_d start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT end_POSTSUBSCRIPT ( italic_λ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ) ) italic_S start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT (S7)
=S(|λj|=1λj𝒫j+|λk|<1(𝒫k+𝒩k))S1,absent𝑆subscriptsubscript𝜆𝑗1subscript𝜆𝑗subscript𝒫𝑗subscriptsubscript𝜆𝑘1subscript𝒫𝑘subscript𝒩𝑘superscript𝑆1\displaystyle=S\left(\sum_{\left|{\lambda}_{j}\right|=1}{\lambda}_{j}{\mathcal% {P}}_{j}+\sum_{\left|{\lambda}_{k}\right|<1}({\mathcal{P}}_{k}+{\mathcal{N}}_{% k})\right)S^{-1},= italic_S ( ∑ start_POSTSUBSCRIPT | italic_λ start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT | = 1 end_POSTSUBSCRIPT italic_λ start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT caligraphic_P start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT + ∑ start_POSTSUBSCRIPT | italic_λ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT | < 1 end_POSTSUBSCRIPT ( caligraphic_P start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT + caligraphic_N start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ) ) italic_S start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT ,

where S𝑆Sitalic_S is an invertible d2×d2superscript𝑑2superscript𝑑2d^{2}\times d^{2}italic_d start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT × italic_d start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT matrix, κ𝜅\kappaitalic_κ is the total number of Jordan blocks, and 𝒥di(λi)subscript𝒥subscript𝑑𝑖subscript𝜆𝑖\mathcal{J}_{d_{i}}(\lambda_{i})caligraphic_J start_POSTSUBSCRIPT italic_d start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT end_POSTSUBSCRIPT ( italic_λ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ) represents a disubscript𝑑𝑖d_{i}italic_d start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT-dimensional Jordan block corresponding to the eigenvalue λisubscript𝜆𝑖\lambda_{i}italic_λ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT, 𝒫jsubscript𝒫𝑗{\mathcal{P}}_{j}caligraphic_P start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT is a projection operator and 𝒩ksubscript𝒩𝑘{\mathcal{N}}_{k}caligraphic_N start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT is a nilpotent operator satisfying 𝒩kdk=0superscriptsubscript𝒩𝑘subscript𝑑𝑘0{\mathcal{N}}_{k}^{d_{k}}=0caligraphic_N start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_d start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT end_POSTSUPERSCRIPT = 0. Considering that kκdk=dsuperscriptsubscript𝑘𝜅subscript𝑑𝑘𝑑\sum_{k}^{\kappa}d_{k}=d∑ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_κ end_POSTSUPERSCRIPT italic_d start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT = italic_d, then the channel is diagonalizable iff κ=d𝜅𝑑\kappa=ditalic_κ = italic_d. Note that the Jordan blocks corresponding to the fixed points or rotating points (with eigenvalues |λi|=1subscript𝜆𝑖1\absolutevalue{\lambda_{i}}=1| start_ARG italic_λ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT end_ARG | = 1) are all rank-one projectors 111See proposition 6.2 in [1].

If the channel is diagonalizable, we have

Φ^^Φ\displaystyle\hat{\Phi}over^ start_ARG roman_Φ end_ARG =iλi|RiLi|,\displaystyle=\sum_{i}\lambda_{i}|R_{i}\rangle\rangle\langle\langle L_{i}|,= ∑ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT italic_λ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT | italic_R start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ⟩ ⟩ ⟨ ⟨ italic_L start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT | , (S8)

where {|Ri,|Li}\{|R_{i}\rangle\rangle,|L_{i}\rangle\rangle\}{ | italic_R start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ⟩ ⟩ , | italic_L start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ⟩ ⟩ } is a complete biorthogonal basis satisfying Li|Rj=δijdelimited-⟨⟩inner-productsubscript𝐿𝑖subscript𝑅𝑗subscript𝛿𝑖𝑗\left\langle\innerproduct{L_{i}}{R_{j}}\right\rangle=\delta_{ij}⟨ ⟨ start_ARG italic_L start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT end_ARG | start_ARG italic_R start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT end_ARG ⟩ ⟩ = italic_δ start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT. The trace-preserving property of Φ^^Φ\hat{\Phi}over^ start_ARG roman_Φ end_ARG implies the unitality of Φ^superscript^Φ\hat{\Phi}^{\dagger}over^ start_ARG roman_Φ end_ARG start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT, i.e., Φ^|𝕀=|𝕀\hat{\Phi}^{\dagger}\left.\ket{\mathbb{I}}\right\rangle=\left.\ket{\mathbb{I}}\right\rangleover^ start_ARG roman_Φ end_ARG start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT | start_ARG blackboard_I end_ARG ⟩ ⟩ = | start_ARG blackboard_I end_ARG ⟩ ⟩ or there exists a left eigenvector Li|=𝕀|\langle\langle L_{i}|=\langle\langle\mathbb{I}|⟨ ⟨ italic_L start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT | = ⟨ ⟨ blackboard_I | for eigenvalue 1, then for right eigenvectors corresponding to |λj|<1subscript𝜆𝑗1\absolutevalue{\lambda_{j}}<1| start_ARG italic_λ start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT end_ARG | < 1, we have

0=Li|Rj=Tr(LiRj)=Tr(Rj),0delimited-⟨⟩inner-productsubscript𝐿𝑖subscript𝑅𝑗tracesuperscriptsubscript𝐿𝑖subscript𝑅𝑗tracesubscript𝑅𝑗0=\left\langle\innerproduct{L_{i}}{R_{j}}\right\rangle={\Tr}(L_{i}^{\dagger}R_% {j})=\Tr(R_{j}),0 = ⟨ ⟨ start_ARG italic_L start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT end_ARG | start_ARG italic_R start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT end_ARG ⟩ ⟩ = roman_Tr ( italic_L start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT italic_R start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ) = roman_Tr ( start_ARG italic_R start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT end_ARG ) , (S9)

I.4 Sequential quantum channels with rotating points

If the channel has n𝑛nitalic_n eigenvectors corresponding to eigenvalue |λ|=1𝜆1\absolutevalue{\lambda}=1| start_ARG italic_λ end_ARG | = 1, in which there are n0subscript𝑛0n_{0}italic_n start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT fixed points and nn0𝑛subscript𝑛0n-n_{0}italic_n - italic_n start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT rotating points with λj=eiφjsubscript𝜆𝑗superscript𝑒𝑖subscript𝜑𝑗\lambda_{j}={e}^{{i}\varphi_{j}}italic_λ start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT = italic_e start_POSTSUPERSCRIPT italic_i italic_φ start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT end_POSTSUPERSCRIPT, and ln𝑙𝑛l-nitalic_l - italic_n eigenvectors with λk=|λk|eiφk1subscript𝜆𝑘subscript𝜆𝑘superscript𝑒𝑖subscript𝜑𝑘1\lambda_{k}=\absolutevalue{\lambda_{k}}{e}^{{i}\varphi_{k}}\approx 1italic_λ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT = | start_ARG italic_λ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT end_ARG | italic_e start_POSTSUPERSCRIPT italic_i italic_φ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT end_POSTSUPERSCRIPT ≈ 1, then after sequentially applying the quantum channel for m𝑚mitalic_m times, we have

Φ^m|ρ\displaystyle\hat{\Phi}^{m}\left.\ket{\rho}\right\rangleover^ start_ARG roman_Φ end_ARG start_POSTSUPERSCRIPT italic_m end_POSTSUPERSCRIPT | start_ARG italic_ρ end_ARG ⟩ ⟩ =i=1n0ci|ρfixi+j=n0+1ncjλjm|Rrotj+k=n+1lckλkm|Rk+\displaystyle=\sum_{i=1}^{n_{0}}c_{i}\left.\ket{\rho_{\rm fix}^{i}}\right% \rangle+\sum_{j=n_{0}+1}^{n}c_{j}\lambda_{j}^{m}|{R_{\rm rot}^{j}}\rangle% \rangle+\sum_{k=n+1}^{l}c_{k}\lambda_{k}^{m}\left.\ket{R_{k}}\right\rangle+\cdots= ∑ start_POSTSUBSCRIPT italic_i = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_n start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_POSTSUPERSCRIPT italic_c start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT | start_ARG italic_ρ start_POSTSUBSCRIPT roman_fix end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT end_ARG ⟩ ⟩ + ∑ start_POSTSUBSCRIPT italic_j = italic_n start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT + 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_n end_POSTSUPERSCRIPT italic_c start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT italic_λ start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_m end_POSTSUPERSCRIPT | italic_R start_POSTSUBSCRIPT roman_rot end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_j end_POSTSUPERSCRIPT ⟩ ⟩ + ∑ start_POSTSUBSCRIPT italic_k = italic_n + 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_l end_POSTSUPERSCRIPT italic_c start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT italic_λ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_m end_POSTSUPERSCRIPT | start_ARG italic_R start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT end_ARG ⟩ ⟩ + ⋯ (S10)
i=1nci|ρfixi+j=n0+1ncjeimφj|Rrotjk=n+1lckem(ln(|λk|+iφk))|Rk,\displaystyle\simeq\sum_{i=1}^{n}c_{i}\left.\ket{\rho_{\rm fix}^{i}}\right% \rangle+\sum_{j=n_{0}+1}^{n}c_{j}{e}^{{i}m\varphi_{j}}|{R_{\rm rot}^{j}}% \rangle\rangle\sum_{k=n+1}^{l}c_{k}{e}^{m(\ln{\absolutevalue{\lambda_{k}}+{i}% \varphi_{k})}}\left.\ket{R_{k}}\right\rangle,≃ ∑ start_POSTSUBSCRIPT italic_i = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_n end_POSTSUPERSCRIPT italic_c start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT | start_ARG italic_ρ start_POSTSUBSCRIPT roman_fix end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT end_ARG ⟩ ⟩ + ∑ start_POSTSUBSCRIPT italic_j = italic_n start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT + 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_n end_POSTSUPERSCRIPT italic_c start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT italic_e start_POSTSUPERSCRIPT italic_i italic_m italic_φ start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT end_POSTSUPERSCRIPT | italic_R start_POSTSUBSCRIPT roman_rot end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_j end_POSTSUPERSCRIPT ⟩ ⟩ ∑ start_POSTSUBSCRIPT italic_k = italic_n + 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_l end_POSTSUPERSCRIPT italic_c start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT italic_e start_POSTSUPERSCRIPT italic_m ( roman_ln ( start_ARG | start_ARG italic_λ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT end_ARG | + italic_i italic_φ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ) end_ARG ) end_POSTSUPERSCRIPT | start_ARG italic_R start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT end_ARG ⟩ ⟩ ,

where we truncate the equation as we did in the main text.

Then, in the metastable region, emln(|λk|)1superscript𝑒𝑚subscript𝜆𝑘1{e}^{m\ln{\absolutevalue{\lambda_{k}}}}\approx 1italic_e start_POSTSUPERSCRIPT italic_m roman_ln ( start_ARG | start_ARG italic_λ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT end_ARG | end_ARG ) end_POSTSUPERSCRIPT ≈ 1, by considering conjugate pairs of complex eigenvalues and absorbing the phase in c𝑐citalic_c, we have

Φ^m|ρi=1n0ci|ρfixi+j=n0+1lcj(m)|Rj,\hat{\Phi}^{m}\left.\ket{\rho}\right\rangle\simeq\sum_{i=1}^{n_{0}}c_{i}\left.% \ket{\rho_{\rm fix}^{i}}\right\rangle+\sum_{j=n_{0}+1}^{l}c_{j}^{\prime}(m)% \left.\ket{R_{j}^{\prime}}\right\rangle,over^ start_ARG roman_Φ end_ARG start_POSTSUPERSCRIPT italic_m end_POSTSUPERSCRIPT | start_ARG italic_ρ end_ARG ⟩ ⟩ ≃ ∑ start_POSTSUBSCRIPT italic_i = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_n start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_POSTSUPERSCRIPT italic_c start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT | start_ARG italic_ρ start_POSTSUBSCRIPT roman_fix end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT end_ARG ⟩ ⟩ + ∑ start_POSTSUBSCRIPT italic_j = italic_n start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT + 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_l end_POSTSUPERSCRIPT italic_c start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ( italic_m ) | start_ARG italic_R start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_ARG ⟩ ⟩ , (S11)

which is approximately the same as Eq.(4) in the main text, except that the summation of metastable points also include the rotating points.

II Fixed points of the channel induced by RIMs

Now we consider the fixed points of quantum channel on a target system induced by a RIM of an ancilla qubit. The anciila is coupled to the target system with a pure-dephasing Hamiltonian,

H=σqzB+γ𝕀qC,𝐻tensor-productsuperscriptsubscript𝜎𝑞𝑧𝐵tensor-product𝛾subscript𝕀𝑞𝐶H=\sigma_{q}^{z}\otimes B+\gamma\,\mathbb{I}_{q}\otimes C,italic_H = italic_σ start_POSTSUBSCRIPT italic_q end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT ⊗ italic_B + italic_γ blackboard_I start_POSTSUBSCRIPT italic_q end_POSTSUBSCRIPT ⊗ italic_C , (S12)

where σqisuperscriptsubscript𝜎𝑞𝑖\sigma_{q}^{i}italic_σ start_POSTSUBSCRIPT italic_q end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT is the Pauli-i𝑖iitalic_i operator of the ancilla, B𝐵Bitalic_B and C𝐶Citalic_C are both operators on the target system and γ𝛾\gammaitalic_γ controls the magnitude of the second term. For a RIM, the Kraus representation of the channel on the target system is

Φ^=^0+^1=(𝒰^0+𝒰^1)/2,^Φsubscript^0subscript^1subscript^𝒰0subscript^𝒰12\hat{\Phi}=\hat{\mathcal{M}}_{0}+\hat{\mathcal{M}}_{1}=(\hat{\mathcal{U}}_{0}+% \hat{\mathcal{U}}_{1})/2,over^ start_ARG roman_Φ end_ARG = over^ start_ARG caligraphic_M end_ARG start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT + over^ start_ARG caligraphic_M end_ARG start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT = ( over^ start_ARG caligraphic_U end_ARG start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT + over^ start_ARG caligraphic_U end_ARG start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) / 2 , (S13)

where 𝒰^α=UαUα*subscript^𝒰𝛼tensor-productsubscript𝑈𝛼superscriptsubscript𝑈𝛼\mathcal{\hat{U}_{\alpha}}=U_{\alpha}\otimes U_{\alpha}^{*}over^ start_ARG caligraphic_U end_ARG start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT = italic_U start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT ⊗ italic_U start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT start_POSTSUPERSCRIPT * end_POSTSUPERSCRIPT with Uα=ei[(1)αB+γC]subscript𝑈𝛼superscript𝑒𝑖delimited-[]superscript1𝛼𝐵𝛾𝐶U_{\alpha}=e^{-i[(-1)^{\alpha}B+\gamma C]}italic_U start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT = italic_e start_POSTSUPERSCRIPT - italic_i [ ( - 1 ) start_POSTSUPERSCRIPT italic_α end_POSTSUPERSCRIPT italic_B + italic_γ italic_C ] end_POSTSUPERSCRIPT, and ^α=MαMα*subscript^𝛼tensor-productsubscript𝑀𝛼superscriptsubscript𝑀𝛼\mathcal{\hat{M}_{\alpha}}=M_{\alpha}\otimes M_{\alpha}^{*}over^ start_ARG caligraphic_M end_ARG start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT = italic_M start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT ⊗ italic_M start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT start_POSTSUPERSCRIPT * end_POSTSUPERSCRIPT with the Kraus operator Mα=[U0(1)αeiΔϕU1]/2subscript𝑀𝛼delimited-[]subscript𝑈0superscript1𝛼superscript𝑒𝑖Δitalic-ϕsubscript𝑈12M_{\alpha}=[U_{0}-(-1)^{\alpha}e^{i\Delta\phi}U_{1}]/2italic_M start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT = [ italic_U start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT - ( - 1 ) start_POSTSUPERSCRIPT italic_α end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT italic_i roman_Δ italic_ϕ end_POSTSUPERSCRIPT italic_U start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ] / 2 and Δϕ=ϕ1ϕ2Δitalic-ϕsubscriptitalic-ϕ1subscriptitalic-ϕ2\Delta\phi=\phi_{1}-\phi_{2}roman_Δ italic_ϕ = italic_ϕ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT - italic_ϕ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT. Then the fixed points induced by such a unital channel is given by the following proposition.

Proposition 1. The fixed points of the channel in Eq. (S13) depends on the commutativity of B𝐵Bitalic_B and C𝐶Citalic_C. If [B,C]=0𝐵𝐶0[B,C]=0[ italic_B , italic_C ] = 0, the fixed points are spanned by a set of rank-one projections {|jj|}j=1dsuperscriptsubscriptket𝑗bra𝑗𝑗1𝑑\{|j\rangle\langle j|\}_{j=1}^{d}{ | italic_j ⟩ ⟨ italic_j | } start_POSTSUBSCRIPT italic_j = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_d end_POSTSUPERSCRIPT; if [B,C]0𝐵𝐶0[B,C]\neq 0[ italic_B , italic_C ] ≠ 0, the fixed points are spanned by a set of projection operators {Πj}j=1rsuperscriptsubscriptsubscriptΠ𝑗𝑗1𝑟\{\Pi_{j}\}_{j=1}^{r}{ roman_Π start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT } start_POSTSUBSCRIPT italic_j = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_r end_POSTSUPERSCRIPT (rd𝑟𝑑r\leq ditalic_r ≤ italic_d), satisfying j=1rΠj=𝕀superscriptsubscript𝑗1𝑟subscriptΠ𝑗𝕀\sum_{j=1}^{r}\Pi_{j}=\mathbb{I}∑ start_POSTSUBSCRIPT italic_j = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_r end_POSTSUPERSCRIPT roman_Π start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT = blackboard_I.

Proof.

It has been proven that ρ𝜌\rhoitalic_ρ is a fixed point of a unital channel if and only if it commutes with every Kraus operator [3], i.e., [ρ,Mα]=0𝜌subscript𝑀𝛼0[\rho,M_{\alpha}]=0[ italic_ρ , italic_M start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT ] = 0 for any α𝛼\alphaitalic_α. This implies that [ρ,U0]=[ρ,U1]=0𝜌subscript𝑈0𝜌subscript𝑈10[\rho,U_{0}]=[\rho,U_{1}]=0[ italic_ρ , italic_U start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ] = [ italic_ρ , italic_U start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ] = 0. If the above condition is always satisfied for any α𝛼\alphaitalic_α, then [ρ,B]=[ρ,C]=0𝜌𝐵𝜌𝐶0[\rho,B]=[\rho,C]=0[ italic_ρ , italic_B ] = [ italic_ρ , italic_C ] = 0.

If [B,C]=0𝐵𝐶0[B,C]=0[ italic_B , italic_C ] = 0, then B𝐵Bitalic_B and C𝐶Citalic_C can be diagonalized simultaneously, B=j=1dbj|jj|𝐵superscriptsubscript𝑗1𝑑subscript𝑏𝑗ket𝑗bra𝑗B=\sum_{j=1}^{d}b_{j}\ket{j}\bra{j}italic_B = ∑ start_POSTSUBSCRIPT italic_j = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_d end_POSTSUPERSCRIPT italic_b start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT | start_ARG italic_j end_ARG ⟩ ⟨ start_ARG italic_j end_ARG | and C=j=1dcj|jj|𝐶superscriptsubscript𝑗1𝑑subscript𝑐𝑗ket𝑗bra𝑗C=\sum_{j=1}^{d}c_{j}\ket{j}\bra{j}italic_C = ∑ start_POSTSUBSCRIPT italic_j = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_d end_POSTSUPERSCRIPT italic_c start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT | start_ARG italic_j end_ARG ⟩ ⟨ start_ARG italic_j end_ARG |. So the fixed points must include the rank-one projections {|jj|}j=1dsuperscriptsubscriptket𝑗bra𝑗𝑗1𝑑\{|j\rangle\langle j|\}_{j=1}^{d}{ | italic_j ⟩ ⟨ italic_j | } start_POSTSUBSCRIPT italic_j = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_d end_POSTSUPERSCRIPT and their linear combinations.

If [B,C]0𝐵𝐶0[B,C]\neq 0[ italic_B , italic_C ] ≠ 0, we can block diagonalize them simultaneously by unitary transformation,

B=W(j=1rBj)W,C=W(j=1rCj)Wformulae-sequence𝐵𝑊superscriptsubscriptdirect-sum𝑗1𝑟subscript𝐵𝑗superscript𝑊𝐶𝑊superscriptsubscriptdirect-sum𝑗1𝑟subscript𝐶𝑗superscript𝑊B=W\left(\bigoplus_{j=1}^{r}B_{j}\right)W^{\dagger},\quad C=W\left(\bigoplus_{% j=1}^{r}C_{j}\right)W^{\dagger}italic_B = italic_W ( ⨁ start_POSTSUBSCRIPT italic_j = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_r end_POSTSUPERSCRIPT italic_B start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ) italic_W start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT , italic_C = italic_W ( ⨁ start_POSTSUBSCRIPT italic_j = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_r end_POSTSUPERSCRIPT italic_C start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ) italic_W start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT (S14)

where rd𝑟𝑑r\leq ditalic_r ≤ italic_d is the number of blocks (with equality occurring only when [B,C]=0𝐵𝐶0[B,C]=0[ italic_B , italic_C ] = 0 and all of blocks are one-dimensional), W𝑊Witalic_W is unitary matrix and should be chosen so that Bjsubscript𝐵𝑗B_{j}italic_B start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT and Cjsubscript𝐶𝑗C_{j}italic_C start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT for any j𝑗jitalic_j cannot be reduced further to have more blocks. There must be at least one subspace jsubscript𝑗{\mathcal{H}}_{j}caligraphic_H start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT in which [Bj,Cj]0subscript𝐵𝑗subscript𝐶𝑗0[B_{j},C_{j}]\neq 0[ italic_B start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT , italic_C start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ] ≠ 0 to make [B,C]0𝐵𝐶0[B,C]\neq 0[ italic_B , italic_C ] ≠ 0. Such a block diagonalization partitions the Hilbert space of the target system into the direct sum of r𝑟ritalic_r subspaces =j=1rjsuperscriptsubscriptdirect-sum𝑗1𝑟subscript𝑗\mathcal{H}=\bigoplus_{j=1}^{r}\mathcal{H}_{j}caligraphic_H = ⨁ start_POSTSUBSCRIPT italic_j = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_r end_POSTSUPERSCRIPT caligraphic_H start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT, and [Bj,Cj]0subscript𝐵𝑗subscript𝐶𝑗0[B_{j},{C}_{j}]\neq 0[ italic_B start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT , italic_C start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ] ≠ 0 for at least one subspace jsubscript𝑗\mathcal{H}_{j}caligraphic_H start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT with dim(j)2dimsubscript𝑗2{\rm dim}(\mathcal{H}_{j})\geq 2roman_dim ( caligraphic_H start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ) ≥ 2. Thus the Kraus operator is also transformed to a block-diagonal form as Mα=j=1rMαjsubscript𝑀𝛼superscriptsubscriptdirect-sum𝑗1𝑟superscriptsubscript𝑀𝛼𝑗M_{\alpha}=\oplus_{j=1}^{r}M_{\alpha}^{j}italic_M start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT = ⊕ start_POSTSUBSCRIPT italic_j = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_r end_POSTSUPERSCRIPT italic_M start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_j end_POSTSUPERSCRIPT. Then the fixed points must include the set of projections {Πj}j=1rsuperscriptsubscriptsubscriptΠ𝑗𝑗1𝑟\{\Pi_{j}\}_{j=1}^{r}{ roman_Π start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT } start_POSTSUBSCRIPT italic_j = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_r end_POSTSUPERSCRIPT (rd𝑟𝑑r\leq ditalic_r ≤ italic_d) and their linear combinations, where Πj=WPjW1subscriptΠ𝑗𝑊subscript𝑃𝑗superscript𝑊1\Pi_{j}=WP_{j}W^{-1}roman_Π start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT = italic_W italic_P start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT italic_W start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT with Pjsubscript𝑃𝑗P_{j}italic_P start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT being the projector to jsubscript𝑗\mathcal{H}_{j}caligraphic_H start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT. Note that the case [B,C]=0𝐵𝐶0[B,C]=0[ italic_B , italic_C ] = 0 can be regarded as a special case of [B,C]0𝐵𝐶0[B,C]\neq 0[ italic_B , italic_C ] ≠ 0.

Now we prove that there are no other fixed points for the case [B,C]0𝐵𝐶0[B,C]\neq 0[ italic_B , italic_C ] ≠ 0, where there is at least one block with [Bj,Cj]0subscript𝐵𝑗subscript𝐶𝑗0[B_{j},C_{j}]\neq 0[ italic_B start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT , italic_C start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ] ≠ 0 and [M0j,M1j]0superscriptsubscript𝑀0𝑗superscriptsubscript𝑀1𝑗0[M_{0}^{j},M_{1}^{j}]\neq 0[ italic_M start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_j end_POSTSUPERSCRIPT , italic_M start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_j end_POSTSUPERSCRIPT ] ≠ 0. Suppose there is another density matrix satisfying [ρ,Mαj]=0superscript𝜌superscriptsubscript𝑀𝛼𝑗0[\rho^{\prime},M_{\alpha}^{j}]=0[ italic_ρ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT , italic_M start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_j end_POSTSUPERSCRIPT ] = 0. If rank(ρ)=djranksuperscript𝜌subscript𝑑𝑗\rank{\rho^{\prime}}=d_{j}roman_rank ( start_ARG italic_ρ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_ARG ) = italic_d start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT, then [ρ,M0j]=[ρ,M1j]=0superscript𝜌superscriptsubscript𝑀0𝑗superscript𝜌superscriptsubscript𝑀1𝑗0[\rho^{\prime},M_{0}^{j}]=[\rho^{\prime},M_{1}^{j}]=0[ italic_ρ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT , italic_M start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_j end_POSTSUPERSCRIPT ] = [ italic_ρ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT , italic_M start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_j end_POSTSUPERSCRIPT ] = 0. Since the positive operator ρsuperscript𝜌\rho^{\prime}italic_ρ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT can be diagonalized, this implies that [M0j,M1j]=0superscriptsubscript𝑀0𝑗superscriptsubscript𝑀1𝑗0[M_{0}^{j},M_{1}^{j}]=0[ italic_M start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_j end_POSTSUPERSCRIPT , italic_M start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_j end_POSTSUPERSCRIPT ] = 0. If rank(ρ)<djranksuperscript𝜌subscript𝑑𝑗\rank(\rho^{\prime})<d_{j}roman_rank ( start_ARG italic_ρ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_ARG ) < italic_d start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT, then formulate another fixed point ρ′′=ρ+η𝕀superscript𝜌′′superscript𝜌𝜂𝕀\rho^{\prime\prime}=\rho^{\prime}+\eta\mathbb{I}italic_ρ start_POSTSUPERSCRIPT ′ ′ end_POSTSUPERSCRIPT = italic_ρ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT + italic_η blackboard_I with η𝜂\etaitalic_η being a positive number such that rank(ρ′′)=djranksuperscript𝜌′′subscript𝑑𝑗\rank(\rho^{\prime\prime})=d_{j}roman_rank ( start_ARG italic_ρ start_POSTSUPERSCRIPT ′ ′ end_POSTSUPERSCRIPT end_ARG ) = italic_d start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT, then the proof is similar to the former case.

III Quantum metastability in sequential RIMs for a target qubit

III.1 Construction of EMSs

If target system is a single qubit with B=σz𝐵subscript𝜎𝑧B=\sigma_{z}italic_B = italic_σ start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT and C=0𝐶0C=0italic_C = 0, the fixed points are spanned by |00\left.\ket{00}\right\rangle| start_ARG 00 end_ARG ⟩ ⟩ and |11\left.\ket{11}\right\rangle| start_ARG 11 end_ARG ⟩ ⟩, where {|0,|1}ket0ket1\{|0\rangle,|1\rangle\}{ | 0 ⟩ , | 1 ⟩ } are eigenstates of σzsubscript𝜎𝑧\sigma_{z}italic_σ start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT. When there exists a small perturbing Hamiltonian γC=γσx𝛾𝐶𝛾subscript𝜎𝑥\gamma C=\gamma\sigma_{x}italic_γ italic_C = italic_γ italic_σ start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT, the channel has a single fixed point |ρfix=|𝕀/2\left.\ket{\rho_{\rm fix}}\right\rangle=\left.\ket{\mathbb{I}}\right\rangle/2| start_ARG italic_ρ start_POSTSUBSCRIPT roman_fix end_POSTSUBSCRIPT end_ARG ⟩ ⟩ = | start_ARG blackboard_I end_ARG ⟩ ⟩ / 2, and another metastable point |R2\left.\ket{R_{2}}\right\rangle| start_ARG italic_R start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_ARG ⟩ ⟩. So the dimension of MM is 21=12112-1=12 - 1 = 1. In the metastable region, λ2m1superscriptsubscript𝜆2𝑚1\lambda_{2}^{m}\approx 1italic_λ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_m end_POSTSUPERSCRIPT ≈ 1 (assuming λ2subscript𝜆2\lambda_{2}italic_λ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT is real), then a metastable state is

|ρMS=|ρfix+c2|R2,\left.\ket{\rho_{\rm MS}}\right\rangle=\left.\ket{\rho_{\rm fix}}\right\rangle% +c_{2}\left.\ket{R_{2}}\right\rangle,| start_ARG italic_ρ start_POSTSUBSCRIPT roman_MS end_POSTSUBSCRIPT end_ARG ⟩ ⟩ = | start_ARG italic_ρ start_POSTSUBSCRIPT roman_fix end_POSTSUBSCRIPT end_ARG ⟩ ⟩ + italic_c start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT | start_ARG italic_R start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_ARG ⟩ ⟩ , (S15)

with c2=Tr(L2ρ)subscript𝑐2tracesuperscriptsubscript𝐿2𝜌c_{2}={\Tr}(L_{2}^{\dagger}\rho)italic_c start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT = roman_Tr ( italic_L start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT italic_ρ ). Thus the metastable state is determined only by c2subscript𝑐2c_{2}italic_c start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT, and the extremal points in the one-dimensional MM are

|ρ1=|ρfix+c2M/h|R2,|ρ2=|ρfix+c2m/h|R2,\left.\ket{\rho_{1}}\right\rangle=\left.\ket{\rho_{\rm fix}}\right\rangle+c_{2% }^{M}/h\left.\ket{R_{2}}\right\rangle,\quad\left.\ket{\rho_{2}}\right\rangle=% \left.\ket{\rho_{\rm fix}}\right\rangle+c_{2}^{m}/h\left.\ket{R_{2}}\right\rangle,| start_ARG italic_ρ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_ARG ⟩ ⟩ = | start_ARG italic_ρ start_POSTSUBSCRIPT roman_fix end_POSTSUBSCRIPT end_ARG ⟩ ⟩ + italic_c start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_M end_POSTSUPERSCRIPT / italic_h | start_ARG italic_R start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_ARG ⟩ ⟩ , | start_ARG italic_ρ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_ARG ⟩ ⟩ = | start_ARG italic_ρ start_POSTSUBSCRIPT roman_fix end_POSTSUBSCRIPT end_ARG ⟩ ⟩ + italic_c start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_m end_POSTSUPERSCRIPT / italic_h | start_ARG italic_R start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_ARG ⟩ ⟩ , (S16)

where c2Msuperscriptsubscript𝑐2𝑀c_{2}^{M}italic_c start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_M end_POSTSUPERSCRIPT (c2msuperscriptsubscript𝑐2𝑚c_{2}^{m}italic_c start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_m end_POSTSUPERSCRIPT) is the maximal (minimal) value of c2subscript𝑐2c_{2}italic_c start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT, and h=L2|L2R2|R2delimited-⟨⟩inner-productsubscript𝐿2subscript𝐿2delimited-⟨⟩inner-productsubscript𝑅2subscript𝑅2h=\sqrt{\left\langle\innerproduct{L_{2}}{L_{2}}\right\rangle\left\langle% \innerproduct{R_{2}}{R_{2}}\right\rangle}italic_h = square-root start_ARG ⟨ ⟨ start_ARG italic_L start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_ARG | start_ARG italic_L start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_ARG ⟩ ⟩ ⟨ ⟨ start_ARG italic_R start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_ARG | start_ARG italic_R start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_ARG ⟩ ⟩ end_ARG is a normalization coefficient that will be derived below. For real λ2subscript𝜆2\lambda_{2}italic_λ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT, R2subscript𝑅2R_{2}italic_R start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT and L2subscript𝐿2L_{2}italic_L start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT can be chosen to be Hermitian [4], then c2=Tr(ρL2)subscript𝑐2trace𝜌subscript𝐿2c_{2}=\Tr(\rho L_{2})italic_c start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT = roman_Tr ( start_ARG italic_ρ italic_L start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_ARG ) and c2Msuperscriptsubscript𝑐2𝑀c_{2}^{M}italic_c start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_M end_POSTSUPERSCRIPT and c2msuperscriptsubscript𝑐2𝑚c_{2}^{m}italic_c start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_m end_POSTSUPERSCRIPT are two eigenvalues of L2subscript𝐿2L_{2}italic_L start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT. So we have L2=c2M|MM|+c2m|mm|subscript𝐿2superscriptsubscript𝑐2𝑀ket𝑀bra𝑀superscriptsubscript𝑐2𝑚ket𝑚bra𝑚L_{2}=c_{2}^{M}\ket{M}\bra{M}+c_{2}^{m}\ket{m}\bra{m}italic_L start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT = italic_c start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_M end_POSTSUPERSCRIPT | start_ARG italic_M end_ARG ⟩ ⟨ start_ARG italic_M end_ARG | + italic_c start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_m end_POSTSUPERSCRIPT | start_ARG italic_m end_ARG ⟩ ⟨ start_ARG italic_m end_ARG | with {|M,|m}ket𝑀ket𝑚\{\ket{M},\ket{m}\}{ | start_ARG italic_M end_ARG ⟩ , | start_ARG italic_m end_ARG ⟩ } forming a complete orthonormal basis.

Let ρ=k1|MM|+k2|mm|𝜌subscript𝑘1ket𝑀bra𝑀subscript𝑘2ket𝑚bra𝑚\rho=k_{1}\ket{M}\bra{M}+k_{2}\ket{m}\bra{m}italic_ρ = italic_k start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT | start_ARG italic_M end_ARG ⟩ ⟨ start_ARG italic_M end_ARG | + italic_k start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT | start_ARG italic_m end_ARG ⟩ ⟨ start_ARG italic_m end_ARG | with k1+k2=1subscript𝑘1subscript𝑘21k_{1}+k_{2}=1italic_k start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT + italic_k start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT = 1, then ρL2=c2Mk1|MM|+c2mk2|mm|𝜌subscript𝐿2superscriptsubscript𝑐2𝑀subscript𝑘1ket𝑀bra𝑀superscriptsubscript𝑐2𝑚subscript𝑘2ket𝑚bra𝑚\rho L_{2}=c_{2}^{M}k_{1}\ket{M}\bra{M}+c_{2}^{m}k_{2}\ket{m}\bra{m}italic_ρ italic_L start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT = italic_c start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_M end_POSTSUPERSCRIPT italic_k start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT | start_ARG italic_M end_ARG ⟩ ⟨ start_ARG italic_M end_ARG | + italic_c start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_m end_POSTSUPERSCRIPT italic_k start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT | start_ARG italic_m end_ARG ⟩ ⟨ start_ARG italic_m end_ARG |. This means that only when k1=1,k2=0formulae-sequencesubscript𝑘11subscript𝑘20k_{1}=1,\,k_{2}=0italic_k start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT = 1 , italic_k start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT = 0 (or ρ=|MM|𝜌ket𝑀bra𝑀\rho=\ket{M}\bra{M}italic_ρ = | start_ARG italic_M end_ARG ⟩ ⟨ start_ARG italic_M end_ARG |), we have c2=c2Msubscript𝑐2superscriptsubscript𝑐2𝑀c_{2}=c_{2}^{M}italic_c start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT = italic_c start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_M end_POSTSUPERSCRIPT. Since ρ1,2subscript𝜌12\rho_{1,2}italic_ρ start_POSTSUBSCRIPT 1 , 2 end_POSTSUBSCRIPT should be pure states, this means Tr(ρ1,22)=1tracesuperscriptsubscript𝜌1221\Tr(\rho_{1,2}^{2})=1roman_Tr ( start_ARG italic_ρ start_POSTSUBSCRIPT 1 , 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ) = 1,

1=Tr(ρ12)1tracesuperscriptsubscript𝜌12\displaystyle 1=\Tr(\rho_{1}^{2})1 = roman_Tr ( start_ARG italic_ρ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ) =Tr(𝕀2/4+c2M/hR2+(c2M/h)2R22)absenttracesuperscript𝕀24superscriptsubscript𝑐2𝑀subscript𝑅2superscriptsuperscriptsubscript𝑐2𝑀2superscriptsubscript𝑅22\displaystyle=\Tr(\mathbb{I}^{2}/4+c_{2}^{M}/hR_{2}+(c_{2}^{M}/h)^{2}R_{2}^{2})= roman_Tr ( start_ARG blackboard_I start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT / 4 + italic_c start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_M end_POSTSUPERSCRIPT / italic_h italic_R start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT + ( italic_c start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_M end_POSTSUPERSCRIPT / italic_h ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_R start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ) (S17)
=1/2+(c2M/h)2Tr(R22)absent12superscriptsuperscriptsubscript𝑐2𝑀2tracesuperscriptsubscript𝑅22\displaystyle=1/2+(c_{2}^{M}/h)^{2}\Tr(R_{2}^{2})= 1 / 2 + ( italic_c start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_M end_POSTSUPERSCRIPT / italic_h ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT roman_Tr ( start_ARG italic_R start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG )
\displaystyle\Downarrow
1/212\displaystyle 1/21 / 2 =(c2M/h)2Tr(R22).absentsuperscriptsuperscriptsubscript𝑐2𝑀2tracesuperscriptsubscript𝑅22\displaystyle=(c_{2}^{M}/h)^{2}\Tr(R_{2}^{2}).= ( italic_c start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_M end_POSTSUPERSCRIPT / italic_h ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT roman_Tr ( start_ARG italic_R start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ) .

We can derive a similar expression for ρ2subscript𝜌2\rho_{2}italic_ρ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT, i.e., 1/2=(c2m/h)2Tr(R22)12superscriptsuperscriptsubscript𝑐2𝑚2tracesuperscriptsubscript𝑅221/2=(c_{2}^{m}/h)^{2}\Tr(R_{2}^{2})1 / 2 = ( italic_c start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_m end_POSTSUPERSCRIPT / italic_h ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT roman_Tr ( start_ARG italic_R start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ), so

h2=[(c2M)2+(c2m)2]Tr(R22)=Tr(L22)Tr(R22)=L2|L2R2|R2.superscript2delimited-[]superscriptsuperscriptsubscript𝑐2𝑀2superscriptsuperscriptsubscript𝑐2𝑚2tracesuperscriptsubscript𝑅22tracesuperscriptsubscript𝐿22tracesuperscriptsubscript𝑅22delimited-⟨⟩inner-productsubscript𝐿2subscript𝐿2delimited-⟨⟩inner-productsubscript𝑅2subscript𝑅2\displaystyle h^{2}=[(c_{2}^{M})^{2}+(c_{2}^{m})^{2}]\Tr(R_{2}^{2})=\Tr(L_{2}^% {2})\Tr(R_{2}^{2})=\left\langle\innerproduct{L_{2}}{L_{2}}\right\rangle\left% \langle\innerproduct{R_{2}}{R_{2}}\right\rangle.italic_h start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = [ ( italic_c start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_M end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + ( italic_c start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_m end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ] roman_Tr ( start_ARG italic_R start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ) = roman_Tr ( start_ARG italic_L start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ) roman_Tr ( start_ARG italic_R start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ) = ⟨ ⟨ start_ARG italic_L start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_ARG | start_ARG italic_L start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_ARG ⟩ ⟩ ⟨ ⟨ start_ARG italic_R start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_ARG | start_ARG italic_R start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_ARG ⟩ ⟩ . (S18)

We can illustrate the above analysis with a simple example. Consider a fixed point |ρfix=|𝕀/2=(|00+|11)/2\left.\ket{\rho_{\rm fix}}\right\rangle=\left.\ket{\mathbb{I}}\right\rangle/2=% (\left.\ket{00}\right\rangle+\left.\ket{11}\right\rangle)/2| start_ARG italic_ρ start_POSTSUBSCRIPT roman_fix end_POSTSUBSCRIPT end_ARG ⟩ ⟩ = | start_ARG blackboard_I end_ARG ⟩ ⟩ / 2 = ( | start_ARG 00 end_ARG ⟩ ⟩ + | start_ARG 11 end_ARG ⟩ ⟩ ) / 2, and a metastable point with |R2=(|00|11)/2\left.\ket{R_{2}}\right\rangle=(\left.\ket{00}\right\rangle-\left.\ket{11}% \right\rangle)/2| start_ARG italic_R start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_ARG ⟩ ⟩ = ( | start_ARG 00 end_ARG ⟩ ⟩ - | start_ARG 11 end_ARG ⟩ ⟩ ) / 2, then |L2=|00|11\left.\ket{L_{2}}\right\rangle=\left.\ket{00}\right\rangle-\left.\ket{11}\right\rangle| start_ARG italic_L start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_ARG ⟩ ⟩ = | start_ARG 00 end_ARG ⟩ ⟩ - | start_ARG 11 end_ARG ⟩ ⟩, where c2M=1,c2m=1formulae-sequencesuperscriptsubscript𝑐2𝑀1superscriptsubscript𝑐2𝑚1c_{2}^{M}=1,\,c_{2}^{m}=-1italic_c start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_M end_POSTSUPERSCRIPT = 1 , italic_c start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_m end_POSTSUPERSCRIPT = - 1, and h=L2|L2R2|R2=1delimited-⟨⟩inner-productsubscript𝐿2subscript𝐿2delimited-⟨⟩inner-productsubscript𝑅2subscript𝑅21h=\sqrt{\left\langle\innerproduct{L_{2}}{L_{2}}\right\rangle\left\langle% \innerproduct{R_{2}}{R_{2}}\right\rangle}=1italic_h = square-root start_ARG ⟨ ⟨ start_ARG italic_L start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_ARG | start_ARG italic_L start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_ARG ⟩ ⟩ ⟨ ⟨ start_ARG italic_R start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_ARG | start_ARG italic_R start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_ARG ⟩ ⟩ end_ARG = 1. Thus the EMSs are

|ρ1=|ρfix+|R2=|0000|,|ρ2=|ρfix|R2=|1111|,|\rho_{1}\rangle\rangle=|\rho_{\rm fix}\rangle\rangle+|R_{2}\rangle\rangle=|00% \rangle\rangle\langle\langle 00|,\quad|\rho_{2}\rangle\rangle=|\rho_{\rm fix}% \rangle\rangle-|R_{2}\rangle\rangle=|11\rangle\rangle\langle\langle 11|,| italic_ρ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ⟩ ⟩ = | italic_ρ start_POSTSUBSCRIPT roman_fix end_POSTSUBSCRIPT ⟩ ⟩ + | italic_R start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ⟩ ⟩ = | 00 ⟩ ⟩ ⟨ ⟨ 00 | , | italic_ρ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ⟩ ⟩ = | italic_ρ start_POSTSUBSCRIPT roman_fix end_POSTSUBSCRIPT ⟩ ⟩ - | italic_R start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ⟩ ⟩ = | 11 ⟩ ⟩ ⟨ ⟨ 11 | , (S19)

For general cases, the EMSs are the eigenstates of B𝐵Bitalic_B up to some corrections.

III.2 Construction of metastable states

Any metastable state can be represented by a mixture of EMSs,

|ρMS=p1|ρ1+p2|ρ2\left.\ket{\rho_{\rm MS}}\right\rangle=p_{1}\left.\ket{\rho_{1}}\right\rangle+% p_{2}\left.\ket{\rho_{2}}\right\rangle| start_ARG italic_ρ start_POSTSUBSCRIPT roman_MS end_POSTSUBSCRIPT end_ARG ⟩ ⟩ = italic_p start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT | start_ARG italic_ρ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_ARG ⟩ ⟩ + italic_p start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT | start_ARG italic_ρ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_ARG ⟩ ⟩ (S20)

where p1,2=P1|ρ=Tr(ρP1,2)subscript𝑝12delimited-⟨⟩inner-productsubscript𝑃1𝜌trace𝜌subscript𝑃12p_{1,2}=\left\langle\innerproduct{P_{1}}{\rho}\right\rangle=\Tr(\rho P_{1,2})italic_p start_POSTSUBSCRIPT 1 , 2 end_POSTSUBSCRIPT = ⟨ ⟨ start_ARG italic_P start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_ARG | start_ARG italic_ρ end_ARG ⟩ ⟩ = roman_Tr ( start_ARG italic_ρ italic_P start_POSTSUBSCRIPT 1 , 2 end_POSTSUBSCRIPT end_ARG ) with P1,2subscript𝑃12P_{1,2}italic_P start_POSTSUBSCRIPT 1 , 2 end_POSTSUBSCRIPT being observables satisfying Pv|ρu=δv,udelimited-⟨⟩delimited-⟨⟩conditionalsubscript𝑃𝑣subscript𝜌𝑢subscript𝛿𝑣𝑢\langle\langle{P_{v}}|{\rho_{u}}\rangle\rangle=\delta_{v,u}⟨ ⟨ italic_P start_POSTSUBSCRIPT italic_v end_POSTSUBSCRIPT | italic_ρ start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT ⟩ ⟩ = italic_δ start_POSTSUBSCRIPT italic_v , italic_u end_POSTSUBSCRIPT, P1+P2=𝕀subscript𝑃1subscript𝑃2𝕀P_{1}+P_{2}=\mathbb{I}italic_P start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT + italic_P start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT = blackboard_I and P1,20subscript𝑃120P_{1,2}\geq 0italic_P start_POSTSUBSCRIPT 1 , 2 end_POSTSUBSCRIPT ≥ 0. Below we show how to construct such observables.

Since |ρMS=Φm|ρ\left.\ket{\rho_{\rm MS}}\right\rangle=\Phi^{m}\left.\ket{\rho}\right\rangle| start_ARG italic_ρ start_POSTSUBSCRIPT roman_MS end_POSTSUBSCRIPT end_ARG ⟩ ⟩ = roman_Φ start_POSTSUPERSCRIPT italic_m end_POSTSUPERSCRIPT | start_ARG italic_ρ end_ARG ⟩ ⟩ in the metastable region μ′′mμmuch-less-thansuperscript𝜇′′𝑚much-less-thansuperscript𝜇\mu^{\prime\prime}\ll m\ll\mu^{\prime}italic_μ start_POSTSUPERSCRIPT ′ ′ end_POSTSUPERSCRIPT ≪ italic_m ≪ italic_μ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT, so we have

Φm|ρ1P1|+|ρ2P2|,\Phi^{m}\simeq|\rho_{1}\rangle\rangle\langle\langle P_{1}|+|\rho_{2}\rangle% \rangle\langle\langle P_{2}|,roman_Φ start_POSTSUPERSCRIPT italic_m end_POSTSUPERSCRIPT ≃ | italic_ρ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ⟩ ⟩ ⟨ ⟨ italic_P start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT | + | italic_ρ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ⟩ ⟩ ⟨ ⟨ italic_P start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT | , (S21)

Comparing the above equation with Φm12|𝕀𝕀|+|R2L2|\Phi^{m}\simeq\frac{1}{2}|\mathbb{I}\rangle\rangle\langle\langle\mathbb{I}|+|R% _{2}\rangle\rangle\langle\langle L_{2}|roman_Φ start_POSTSUPERSCRIPT italic_m end_POSTSUPERSCRIPT ≃ divide start_ARG 1 end_ARG start_ARG 2 end_ARG | blackboard_I ⟩ ⟩ ⟨ ⟨ blackboard_I | + | italic_R start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ⟩ ⟩ ⟨ ⟨ italic_L start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT | in metastable region, we have

12|𝕀𝕀|+|R2L2|\displaystyle\frac{1}{2}|\mathbb{I}\rangle\rangle\langle\langle\mathbb{I}|+|R_% {2}\rangle\rangle\langle\langle L_{2}|divide start_ARG 1 end_ARG start_ARG 2 end_ARG | blackboard_I ⟩ ⟩ ⟨ ⟨ blackboard_I | + | italic_R start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ⟩ ⟩ ⟨ ⟨ italic_L start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT | =(12|𝕀+c2Mh|R2)P1|+(12|𝕀+c2mh|R2)P2|\displaystyle=\left(\frac{1}{2}|\mathbb{I}\rangle\rangle+\frac{c_{2}^{M}}{h}|R% _{2}\rangle\rangle\right)\langle\langle P_{1}|+\left(\frac{1}{2}|\mathbb{I}% \rangle\rangle+\frac{c_{2}^{m}}{h}|R_{2}\rangle\rangle\right)\langle\langle P_% {2}|= ( divide start_ARG 1 end_ARG start_ARG 2 end_ARG | blackboard_I ⟩ ⟩ + divide start_ARG italic_c start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_M end_POSTSUPERSCRIPT end_ARG start_ARG italic_h end_ARG | italic_R start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ⟩ ⟩ ) ⟨ ⟨ italic_P start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT | + ( divide start_ARG 1 end_ARG start_ARG 2 end_ARG | blackboard_I ⟩ ⟩ + divide start_ARG italic_c start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_m end_POSTSUPERSCRIPT end_ARG start_ARG italic_h end_ARG | italic_R start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ⟩ ⟩ ) ⟨ ⟨ italic_P start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT | (S22)
\displaystyle\Downarrow
|R2L2|\displaystyle|R_{2}\rangle\rangle\langle\langle L_{2}|| italic_R start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ⟩ ⟩ ⟨ ⟨ italic_L start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT | =c2Mh|R2P1|+c2mh|R2(𝕀|P1|)\displaystyle=\frac{c_{2}^{M}}{h}|R_{2}\rangle\rangle\langle\langle P_{1}|+% \frac{c_{2}^{m}}{h}|R_{2}\rangle\rangle(\langle\langle\mathbb{I}|-\langle% \langle P_{1}|)= divide start_ARG italic_c start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_M end_POSTSUPERSCRIPT end_ARG start_ARG italic_h end_ARG | italic_R start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ⟩ ⟩ ⟨ ⟨ italic_P start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT | + divide start_ARG italic_c start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_m end_POSTSUPERSCRIPT end_ARG start_ARG italic_h end_ARG | italic_R start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ⟩ ⟩ ( ⟨ ⟨ blackboard_I | - ⟨ ⟨ italic_P start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT | )
=|R2[c2MhP1|+c2mh(𝕀|P1|)],\displaystyle=|R_{2}\rangle\rangle\left[\frac{c_{2}^{M}}{h}\langle\langle P_{1% }|+\frac{c_{2}^{m}}{h}(\langle\langle\mathbb{I}|-\langle\langle P_{1}|)\right],= | italic_R start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ⟩ ⟩ [ divide start_ARG italic_c start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_M end_POSTSUPERSCRIPT end_ARG start_ARG italic_h end_ARG ⟨ ⟨ italic_P start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT | + divide start_ARG italic_c start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_m end_POSTSUPERSCRIPT end_ARG start_ARG italic_h end_ARG ( ⟨ ⟨ blackboard_I | - ⟨ ⟨ italic_P start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT | ) ] ,

so we have

P1=hL2c2m𝕀Δc2,P2=hL2+c2M𝕀Δc2,formulae-sequencesubscript𝑃1subscript𝐿2superscriptsubscript𝑐2𝑚𝕀Δsubscript𝑐2subscript𝑃2subscript𝐿2superscriptsubscript𝑐2𝑀𝕀Δsubscript𝑐2P_{1}=\frac{hL_{2}-c_{2}^{m}\mathbb{I}}{\Delta c_{2}},\quad P_{2}=\frac{-hL_{2% }+c_{2}^{M}\mathbb{I}}{\Delta c_{2}},italic_P start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT = divide start_ARG italic_h italic_L start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT - italic_c start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_m end_POSTSUPERSCRIPT blackboard_I end_ARG start_ARG roman_Δ italic_c start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_ARG , italic_P start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT = divide start_ARG - italic_h italic_L start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT + italic_c start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_M end_POSTSUPERSCRIPT blackboard_I end_ARG start_ARG roman_Δ italic_c start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_ARG , (S23)

with Δc2=c2Mc2mΔsubscript𝑐2superscriptsubscript𝑐2𝑀superscriptsubscript𝑐2𝑚\Delta c_{2}=c_{2}^{M}-c_{2}^{m}roman_Δ italic_c start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT = italic_c start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_M end_POSTSUPERSCRIPT - italic_c start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_m end_POSTSUPERSCRIPT.

IV Quantum metastability in sequential quantum channels for multiple target qubits

In this section, we consider a practical example to show quantum metastability in sequential quantum channels, that is, an NV center electron spin (ancilla qubit) in a 1313{}^{13}start_FLOATSUPERSCRIPT 13 end_FLOATSUPERSCRIPTC nuclear spins bath (target system). The coupling Hamiltonian has a form similar to Eq. (S12),

H=σqzB+C,𝐻tensor-productsuperscriptsubscript𝜎𝑞𝑧𝐵𝐶H=\sigma_{q}^{z}\otimes B+C,italic_H = italic_σ start_POSTSUBSCRIPT italic_q end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT ⊗ italic_B + italic_C , (S24)

with

B=f(t)k=1K𝑨k𝑰k,C=ωLk=1KIkz+k<jDjk[𝑰k𝑰j3(𝑰k𝒓kj)(𝑰j𝒓kj)rkj2],formulae-sequence𝐵𝑓𝑡superscriptsubscript𝑘1𝐾subscript𝑨𝑘subscript𝑰𝑘𝐶subscript𝜔𝐿superscriptsubscript𝑘1𝐾superscriptsubscript𝐼𝑘𝑧subscript𝑘𝑗subscript𝐷𝑗𝑘delimited-[]subscript𝑰𝑘subscript𝑰𝑗3subscript𝑰𝑘subscript𝒓𝑘𝑗subscript𝑰𝑗subscript𝒓𝑘𝑗superscriptsubscript𝑟𝑘𝑗2B=f(t)\sum_{k=1}^{K}{\bf\it A}_{k}\cdot{\bf\it I}_{k},\quad C=\omega_{L}\sum_{% k=1}^{K}I_{k}^{z}+\sum_{k<j}D_{jk}\left[\bm{I}_{k}\cdot\bm{I}_{j}-\frac{3\left% (\bm{I}_{k}\cdot\bm{r}_{kj}\right)\left(\bm{I}_{j}\cdot\bm{r}_{kj}\right)}{r_{% kj}^{2}}\right],italic_B = italic_f ( italic_t ) ∑ start_POSTSUBSCRIPT italic_k = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_K end_POSTSUPERSCRIPT bold_italic_A start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ⋅ bold_italic_I start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT , italic_C = italic_ω start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT ∑ start_POSTSUBSCRIPT italic_k = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_K end_POSTSUPERSCRIPT italic_I start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT + ∑ start_POSTSUBSCRIPT italic_k < italic_j end_POSTSUBSCRIPT italic_D start_POSTSUBSCRIPT italic_j italic_k end_POSTSUBSCRIPT [ bold_italic_I start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ⋅ bold_italic_I start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT - divide start_ARG 3 ( bold_italic_I start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ⋅ bold_italic_r start_POSTSUBSCRIPT italic_k italic_j end_POSTSUBSCRIPT ) ( bold_italic_I start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ⋅ bold_italic_r start_POSTSUBSCRIPT italic_k italic_j end_POSTSUBSCRIPT ) end_ARG start_ARG italic_r start_POSTSUBSCRIPT italic_k italic_j end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ] , (S25)

where f(t)𝑓𝑡f(t)italic_f ( italic_t ) is a modulation function accounting for possible DD control of the ancilla qubit, 𝑨k=(Akx,Aky,Akz)subscript𝑨𝑘superscriptsubscript𝐴𝑘𝑥superscriptsubscript𝐴𝑘𝑦superscriptsubscript𝐴𝑘𝑧{\bf\it A}_{k}=(A_{k}^{x},A_{k}^{y},A_{k}^{z})bold_italic_A start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT = ( italic_A start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_x end_POSTSUPERSCRIPT , italic_A start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_y end_POSTSUPERSCRIPT , italic_A start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT ) is the hyperfine interaction vector of the k𝑘kitalic_kthth{\rm th}roman_th nuclear spin, 𝑰ksubscript𝑰𝑘{\bf\it I}_{k}bold_italic_I start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT is the nuclear spin operator vector, d=2K𝑑superscript2𝐾d=2^{K}italic_d = 2 start_POSTSUPERSCRIPT italic_K end_POSTSUPERSCRIPT is the dimension of Hilbert space of target system, ωL=γnBzsubscript𝜔𝐿subscript𝛾𝑛subscript𝐵𝑧\omega_{L}=\gamma_{n}B_{z}italic_ω start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT = italic_γ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT italic_B start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT is Larmor precession frequency of nuclear spins, Djk=μ0γn24πrkj3subscript𝐷𝑗𝑘subscript𝜇0superscriptsubscript𝛾n24𝜋superscriptsubscript𝑟𝑘𝑗3D_{jk}=\frac{\mu_{0}\gamma_{\mathrm{n}}^{2}}{4\pi r_{kj}^{3}}italic_D start_POSTSUBSCRIPT italic_j italic_k end_POSTSUBSCRIPT = divide start_ARG italic_μ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT italic_γ start_POSTSUBSCRIPT roman_n end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 4 italic_π italic_r start_POSTSUBSCRIPT italic_k italic_j end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT end_ARG with γnsubscript𝛾𝑛\gamma_{n}italic_γ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT is the gyromagnetic ratios of the target spins, 𝒓kjsubscript𝒓𝑘𝑗{\bf\it r}_{kj}bold_italic_r start_POSTSUBSCRIPT italic_k italic_j end_POSTSUBSCRIPT is the displacement from the i𝑖iitalic_ithth{\rm th}roman_th target spin to the j𝑗jitalic_jthth{\rm th}roman_th target spin and μ0subscript𝜇0\mu_{0}italic_μ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT is vacuum permeability. Note that we let γ=1𝛾1\gamma=1italic_γ = 1 and use practical parameters below.

IV.1 RIM sequences

For RIM sequences, we assume that the external magnetic field is zero or very weak, so that

B=k=1K𝑨k𝑰k,C=k<jDjk[𝑰k𝑰j3(𝑰k𝒓kj)(𝑰j𝒓kj)rkj2],formulae-sequence𝐵superscriptsubscript𝑘1𝐾subscript𝑨𝑘subscript𝑰𝑘𝐶subscript𝑘𝑗subscript𝐷𝑗𝑘delimited-[]subscript𝑰𝑘subscript𝑰𝑗3subscript𝑰𝑘subscript𝒓𝑘𝑗subscript𝑰𝑗subscript𝒓𝑘𝑗superscriptsubscript𝑟𝑘𝑗2B=\sum_{k=1}^{K}{\bf\it A}_{k}\cdot{\bf\it I}_{k},\quad C=\sum_{k<j}D_{jk}% \left[\bm{I}_{k}\cdot\bm{I}_{j}-\frac{3\left(\bm{I}_{k}\cdot\bm{r}_{kj}\right)% \left(\bm{I}_{j}\cdot\bm{r}_{kj}\right)}{r_{kj}^{2}}\right],italic_B = ∑ start_POSTSUBSCRIPT italic_k = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_K end_POSTSUPERSCRIPT bold_italic_A start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ⋅ bold_italic_I start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT , italic_C = ∑ start_POSTSUBSCRIPT italic_k < italic_j end_POSTSUBSCRIPT italic_D start_POSTSUBSCRIPT italic_j italic_k end_POSTSUBSCRIPT [ bold_italic_I start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ⋅ bold_italic_I start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT - divide start_ARG 3 ( bold_italic_I start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ⋅ bold_italic_r start_POSTSUBSCRIPT italic_k italic_j end_POSTSUBSCRIPT ) ( bold_italic_I start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ⋅ bold_italic_r start_POSTSUBSCRIPT italic_k italic_j end_POSTSUBSCRIPT ) end_ARG start_ARG italic_r start_POSTSUBSCRIPT italic_k italic_j end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ] , (S26)

To show metastable polarization of nuclear spins, we also measure the evolution of fidelity, which is defined as

Fi(ρ)=Trρiρρi,subscript𝐹𝑖𝜌tracesubscript𝜌𝑖𝜌subscript𝜌𝑖F_{i}(\rho)=\Tr\sqrt{\sqrt{\rho_{i}}\rho\sqrt{\rho_{i}}},italic_F start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ( italic_ρ ) = roman_Tr square-root start_ARG square-root start_ARG italic_ρ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT end_ARG italic_ρ square-root start_ARG italic_ρ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT end_ARG end_ARG , (S27)

where ρi=|ii|subscript𝜌𝑖ket𝑖bra𝑖\rho_{i}=\ket{i}\bra{i}italic_ρ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT = | start_ARG italic_i end_ARG ⟩ ⟨ start_ARG italic_i end_ARG | with |iket𝑖\ket{i}| start_ARG italic_i end_ARG ⟩ being the eigenstate of B𝐵Bitalic_B with i{1,2,3,4}𝑖1234i\in\{1,2,3,4\}italic_i ∈ { 1 , 2 , 3 , 4 }. Fidelity here can show the distance between the state of system and unperturbed eigenstates. We can see the target system are polarized to nearby with the unperturbed eigenstates, which are our EMSs, and the fidelity plateaus can also confirm the metastability behaviors [Fig. S1]. When there is an external magnetic field involving, metastability also remains if the field is weak (Fig. S2), i.e., γnB|Ak|much-less-thansubscript𝛾𝑛𝐵subscript𝐴𝑘\gamma_{n}B\ll\absolutevalue{A_{k}}italic_γ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT italic_B ≪ | start_ARG italic_A start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT end_ARG |.

Refer to caption
Figure S1: Metastability in measurement statistics of sequence RIMs. (a-d)The Monte Carlo simulation for two target qubits, in which we present four stages of the system evolution. (a) When the time of measurements is small, the width of peaks are relatively large and the peaks are not absolutely distinguishable. (b) For larger m𝑚mitalic_m, the four peaks corresponding to four EMSs are clear. (c) The EMSs relevant to |22\left.\ket{22}\right\rangle| start_ARG 22 end_ARG ⟩ ⟩ and |33\left.\ket{33}\right\rangle| start_ARG 33 end_ARG ⟩ ⟩ vanish faster, with that relevant to |11\left.\ket{11}\right\rangle| start_ARG 11 end_ARG ⟩ ⟩ and |44\left.\ket{44}\right\rangle| start_ARG 44 end_ARG ⟩ ⟩ are still existing. (d) All EMSs are collapsed. (e) The trajectory of evolution of fidelity, in which the stages in (a-d) are labeled by dashed line. In all Monte Carlo simulations, we use 104superscript10410^{4}10 start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT samples, parameters are Δϕ=π2Δitalic-ϕ𝜋2\Delta\phi=\frac{\pi}{2}roman_Δ italic_ϕ = divide start_ARG italic_π end_ARG start_ARG 2 end_ARG, |A1|=0.585kHz,|A2|=0.890kHz,|D12|=11.6Hzformulae-sequencesubscript𝐴10.585kHzformulae-sequencesubscript𝐴20.890kHzsubscript𝐷1211.6Hz\absolutevalue{A_{1}}=0.585\mathrm{kHz},\,\absolutevalue{A_{2}}=0.890\mathrm{% kHz},\absolutevalue{D_{12}}=11.6\mathrm{Hz}| start_ARG italic_A start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_ARG | = 0.585 roman_kHz , | start_ARG italic_A start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_ARG | = 0.890 roman_kHz , | start_ARG italic_D start_POSTSUBSCRIPT 12 end_POSTSUBSCRIPT end_ARG | = 11.6 roman_Hz, then He/V=0.0316normsubscript𝐻𝑒norm𝑉0.0316||H_{e}||/||V||=0.0316| | italic_H start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT | | / | | italic_V | | = 0.0316. (f) Spectra of the quantum channel.
Refer to caption
Figure S2: Monte Carlo simulation for two target qubits. The dynamics of polarization and depolarization can be seen from (a) to (d), which proves that our metastability theory also applies to the system involving Zeeman term. In all Monte Carlo simulation, we use 104superscript10410^{4}10 start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT samples, Δϕ=π2Δitalic-ϕ𝜋2\Delta\phi=\frac{\pi}{2}roman_Δ italic_ϕ = divide start_ARG italic_π end_ARG start_ARG 2 end_ARG is chosen. |A1|=0.138MHz,|A2|=0.517MHz,|D12|=60.5Hzformulae-sequencesubscript𝐴10.138MHzformulae-sequencesubscript𝐴20.517MHzsubscript𝐷1260.5Hz\absolutevalue{A_{1}}=0.138\mathrm{MHz},\,\absolutevalue{A_{2}}=0.517\mathrm{% MHz},\absolutevalue{D_{12}}=60.5\mathrm{Hz}| start_ARG italic_A start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_ARG | = 0.138 roman_MHz , | start_ARG italic_A start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_ARG | = 0.517 roman_MHz , | start_ARG italic_D start_POSTSUBSCRIPT 12 end_POSTSUBSCRIPT end_ARG | = 60.5 roman_Hz, B=20𝐵20B=20italic_B = 20G, then ωL=13.5subscript𝜔𝐿13.5\omega_{L}=13.5italic_ω start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT = 13.5 KHz, and He/V=0.0412normsubscript𝐻𝑒norm𝑉0.0412||H_{e}||/||V||=0.0412| | italic_H start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT | | / | | italic_V | | = 0.0412.

IV.2 DD sequences

DD sequences are a generalization of RIM sequences, with additional N𝑁Nitalic_N π𝜋\piitalic_π-flips of the ancilla spin during each cycle [Fig. S3]. Then we have

B=f(t)k=1K𝑨k𝑰k,C=ωLk=1KIkz,formulae-sequence𝐵𝑓𝑡superscriptsubscript𝑘1𝐾subscript𝑨𝑘subscript𝑰𝑘𝐶subscript𝜔𝐿superscriptsubscript𝑘1𝐾superscriptsubscript𝐼𝑘𝑧B=f(t)\sum_{k=1}^{K}{\bf\it A}_{k}\cdot{\bf\it I}_{k},\quad C=\omega_{L}\sum_{% k=1}^{K}I_{k}^{z},italic_B = italic_f ( italic_t ) ∑ start_POSTSUBSCRIPT italic_k = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_K end_POSTSUPERSCRIPT bold_italic_A start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ⋅ bold_italic_I start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT , italic_C = italic_ω start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT ∑ start_POSTSUBSCRIPT italic_k = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_K end_POSTSUPERSCRIPT italic_I start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT , (S28)

where f(t)𝑓𝑡f(t)italic_f ( italic_t ) is the DD modulation function jumping between +11+1+ 1 and 11-1- 1 every time the sensor is flipped by a DD pulse. Here for simplicity, we neglect the dipolar interaction term in C𝐶Citalic_C, which means these target spins are spatially far away from each other.

For N𝑁Nitalic_N-pulse Carr-Purcell-Meiboom-Gill (CPMG) control, f(t)=f(t+T)𝑓𝑡𝑓𝑡𝑇f(t)=f(t+T)italic_f ( italic_t ) = italic_f ( italic_t + italic_T ) with T=4τ𝑇4𝜏T=4\tauitalic_T = 4 italic_τ. Specifically, f(t)=1𝑓𝑡1f(t)=-1italic_f ( italic_t ) = - 1 when τ+βTt<3τ+βT𝜏𝛽𝑇𝑡3𝜏𝛽𝑇\tau+\beta T\leq t<3\tau+\beta Titalic_τ + italic_β italic_T ≤ italic_t < 3 italic_τ + italic_β italic_T with β=0,1,,N21𝛽01𝑁21\beta=0,1,\dots,\frac{N}{2}-1italic_β = 0 , 1 , … , divide start_ARG italic_N end_ARG start_ARG 2 end_ARG - 1 and f(t)=1𝑓𝑡1f(t)=1italic_f ( italic_t ) = 1 otherwise. Then f(t)𝑓𝑡f(t)italic_f ( italic_t ) can be expanded into a Fourier series as f(t)=n=1cncos(nωTt)𝑓𝑡superscriptsubscript𝑛1subscript𝑐𝑛𝑛subscript𝜔𝑇𝑡f(t)=\sum_{n=1}^{\infty}c_{n}\cos(n\omega_{T}t)italic_f ( italic_t ) = ∑ start_POSTSUBSCRIPT italic_n = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ∞ end_POSTSUPERSCRIPT italic_c start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT roman_cos ( start_ARG italic_n italic_ω start_POSTSUBSCRIPT italic_T end_POSTSUBSCRIPT italic_t end_ARG ), where cnsubscript𝑐𝑛c_{n}italic_c start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT is n𝑛nitalic_nth Fourier expansion coefficient and ωT=2π4τsubscript𝜔𝑇2𝜋4𝜏\omega_{T}=\frac{2\pi}{4\tau}italic_ω start_POSTSUBSCRIPT italic_T end_POSTSUBSCRIPT = divide start_ARG 2 italic_π end_ARG start_ARG 4 italic_τ end_ARG is the angular frequency. For the weak coupling condition, i.e., |𝑨k|ωLmuch-less-thansubscript𝑨𝑘subscript𝜔𝐿\absolutevalue{{\bf\it A}_{k}}\ll\omega_{L}| start_ARG bold_italic_A start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT end_ARG | ≪ italic_ω start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT, then we can approximate f(t)𝑓𝑡f(t)italic_f ( italic_t ) by keeping only the first term in the Fourier series, f(t)c1cos(ωTt)=4πcos(ωTt)𝑓𝑡subscript𝑐1subscript𝜔𝑇𝑡4𝜋subscript𝜔𝑇𝑡f(t)\approx c_{1}\cos(\omega_{T}t)=\frac{4}{\pi}\cos(\omega_{T}t)italic_f ( italic_t ) ≈ italic_c start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT roman_cos ( start_ARG italic_ω start_POSTSUBSCRIPT italic_T end_POSTSUBSCRIPT italic_t end_ARG ) = divide start_ARG 4 end_ARG start_ARG italic_π end_ARG roman_cos ( start_ARG italic_ω start_POSTSUBSCRIPT italic_T end_POSTSUBSCRIPT italic_t end_ARG ). Then B𝐵Bitalic_B becomes,

B=4πcos(ωTt)k=1K𝑨k𝑰k4πcos(ωTt)k=1KAkIk,𝐵4𝜋subscript𝜔𝑇𝑡superscriptsubscript𝑘1𝐾subscript𝑨𝑘subscript𝑰𝑘4𝜋subscript𝜔𝑇𝑡superscriptsubscript𝑘1𝐾subscriptsuperscript𝐴perpendicular-to𝑘subscriptsuperscript𝐼perpendicular-to𝑘B=\frac{4}{\pi}\cos(\omega_{T}t)\sum_{k=1}^{K}{\bf\it A}_{k}\cdot{\bf\it I}_{k% }\approx\frac{4}{\pi}\cos(\omega_{T}t)\sum_{k=1}^{K}A^{\perp}_{k}I^{\perp}_{k},italic_B = divide start_ARG 4 end_ARG start_ARG italic_π end_ARG roman_cos ( start_ARG italic_ω start_POSTSUBSCRIPT italic_T end_POSTSUBSCRIPT italic_t end_ARG ) ∑ start_POSTSUBSCRIPT italic_k = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_K end_POSTSUPERSCRIPT bold_italic_A start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ⋅ bold_italic_I start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ≈ divide start_ARG 4 end_ARG start_ARG italic_π end_ARG roman_cos ( start_ARG italic_ω start_POSTSUBSCRIPT italic_T end_POSTSUBSCRIPT italic_t end_ARG ) ∑ start_POSTSUBSCRIPT italic_k = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_K end_POSTSUPERSCRIPT italic_A start_POSTSUPERSCRIPT ⟂ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT italic_I start_POSTSUPERSCRIPT ⟂ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT , (S29)

where Ak=Akx2+Aky2subscriptsuperscript𝐴perpendicular-to𝑘superscriptsuperscriptsubscript𝐴𝑘𝑥2superscriptsuperscriptsubscript𝐴𝑘𝑦2A^{\perp}_{k}=\sqrt{{A_{k}^{x}}^{2}+{A_{k}^{y}}^{2}}italic_A start_POSTSUPERSCRIPT ⟂ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT = square-root start_ARG italic_A start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_x end_POSTSUPERSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_A start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_y end_POSTSUPERSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG and Ik=cosαIkx+sinαIkysuperscriptsubscript𝐼𝑘perpendicular-to𝛼superscriptsubscript𝐼𝑘𝑥𝛼superscriptsubscript𝐼𝑘𝑦I_{k}^{\perp}=\cos\alpha I_{k}^{x}+\sin\alpha I_{k}^{y}italic_I start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ⟂ end_POSTSUPERSCRIPT = roman_cos italic_α italic_I start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_x end_POSTSUPERSCRIPT + roman_sin italic_α italic_I start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_y end_POSTSUPERSCRIPT, and the longitude component AzIzsubscript𝐴𝑧subscript𝐼𝑧A_{z}I_{z}italic_A start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT italic_I start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT can be neglected in the weak coupling region [5].

Now we move to the rotating frame with respect to ωTIzsubscript𝜔𝑇subscript𝐼𝑧\omega_{T}I_{z}italic_ω start_POSTSUBSCRIPT italic_T end_POSTSUBSCRIPT italic_I start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT, by using rotating wave approximation, the effective Hamiltonian becomes time-independent,

B=2πk=1KAkIk,C=Δωk=1KIkz,formulae-sequence𝐵2𝜋superscriptsubscript𝑘1𝐾subscriptsuperscript𝐴perpendicular-to𝑘subscriptsuperscript𝐼perpendicular-to𝑘𝐶subscriptΔ𝜔superscriptsubscript𝑘1𝐾superscriptsubscript𝐼𝑘𝑧B=\frac{2}{\pi}\sum_{k=1}^{K}A^{\perp}_{k}I^{\perp}_{k},\quad C=\Delta_{\omega% }\sum_{k=1}^{K}I_{k}^{z},italic_B = divide start_ARG 2 end_ARG start_ARG italic_π end_ARG ∑ start_POSTSUBSCRIPT italic_k = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_K end_POSTSUPERSCRIPT italic_A start_POSTSUPERSCRIPT ⟂ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT italic_I start_POSTSUPERSCRIPT ⟂ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT , italic_C = roman_Δ start_POSTSUBSCRIPT italic_ω end_POSTSUBSCRIPT ∑ start_POSTSUBSCRIPT italic_k = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_K end_POSTSUPERSCRIPT italic_I start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT , (S30)

where Δω=ωLωTsubscriptΔ𝜔subscript𝜔𝐿subscript𝜔𝑇\Delta_{\omega}=\omega_{L}-\omega_{T}roman_Δ start_POSTSUBSCRIPT italic_ω end_POSTSUBSCRIPT = italic_ω start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT - italic_ω start_POSTSUBSCRIPT italic_T end_POSTSUBSCRIPT is the detuning away from Larmor precession frequency. Then we can see from Eq.(S30) that, if we choose ωT=ωLsubscript𝜔𝑇subscript𝜔𝐿\omega_{T}=\omega_{L}italic_ω start_POSTSUBSCRIPT italic_T end_POSTSUBSCRIPT = italic_ω start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT, also called resonance condition, then C=0𝐶0C=0italic_C = 0 and the target qubits can be polarized. However, practically the adjustment of frequency may not be precise. With a small detuning, quantum metastability theory shows that the target can still be polarized with appropriate rounds of DD, as numerically verified in Fig. S4.

Refer to caption
Figure S3: Schematic of an N𝑁Nitalic_N-pulse CPMG sequence with N𝑁Nitalic_N πlimit-from𝜋\pi-italic_π -flips at t=τ,3τ,,(2N1)τ𝑡𝜏3𝜏2𝑁1𝜏t=\tau,3\tau,\cdots,(2N-1)\tauitalic_t = italic_τ , 3 italic_τ , ⋯ , ( 2 italic_N - 1 ) italic_τ.
Refer to caption
Figure S4: Monte Carlo simulation for two target spins with DD sequences and growing time of measurements m𝑚mitalic_m. As m𝑚mitalic_m grows, the peaks emerge and become apparent (a-b) since they are corresponding to the four EMSs, then they vanish gradually as m𝑚mitalic_m approaching the boundary of metastable region (c), which finally collapse to the maximally mixed state (d). In all Monte Carlo simulation, we use 104superscript10410^{4}10 start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT samples, parameters are Δϕ=π2Δitalic-ϕ𝜋2\Delta\phi=\frac{\pi}{2}roman_Δ italic_ϕ = divide start_ARG italic_π end_ARG start_ARG 2 end_ARG, |A1|=5kHz,|A2|=6kHzformulae-sequencesubscript𝐴15kHzsubscript𝐴26kHz\absolutevalue{A_{1}}=5\mathrm{kHz},\,\absolutevalue{A_{2}}=6\mathrm{kHz}| start_ARG italic_A start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_ARG | = 5 roman_k roman_H roman_z , | start_ARG italic_A start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_ARG | = 6 roman_k roman_H roman_z, B=200𝐵200B=200italic_B = 200G, Δω=103ωLsubscriptΔ𝜔superscript103subscript𝜔𝐿\Delta_{\omega}=10^{-3}\omega_{L}roman_Δ start_POSTSUBSCRIPT italic_ω end_POSTSUBSCRIPT = 10 start_POSTSUPERSCRIPT - 3 end_POSTSUPERSCRIPT italic_ω start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT, N=32𝑁32N=32italic_N = 32.

V Quantum metastability for dissipative target system

In this section, we show that quantum metastability is robust even when the target system suffers additional dissipations. Suppose that the target system (a single qubit) suffers dephasing and relaxation noise, the evolution of the composite systems can be described by the following Lindblad master equation,

dρtotdt=i[H,ρtot]+kΓk(LkρtotLk12{LkLk,ρtot}),derivative𝑡subscript𝜌tot𝑖𝐻subscript𝜌totsubscript𝑘subscriptΓ𝑘subscript𝐿𝑘subscript𝜌totsuperscriptsubscript𝐿𝑘12superscriptsubscript𝐿𝑘subscript𝐿𝑘subscript𝜌tot\derivative{\rho_{\rm tot}}{t}=-i[H,\rho_{\rm tot}]+\sum_{k}\Gamma_{k}\left(L_% {k}\rho_{\rm tot}L_{k}^{\dagger}-\frac{1}{2}\left\{L_{k}^{\dagger}L_{k},\rho_{% \rm tot}\right\}\right),divide start_ARG roman_d start_ARG italic_ρ start_POSTSUBSCRIPT roman_tot end_POSTSUBSCRIPT end_ARG end_ARG start_ARG roman_d start_ARG italic_t end_ARG end_ARG = - italic_i [ italic_H , italic_ρ start_POSTSUBSCRIPT roman_tot end_POSTSUBSCRIPT ] + ∑ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT roman_Γ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ( italic_L start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT italic_ρ start_POSTSUBSCRIPT roman_tot end_POSTSUBSCRIPT italic_L start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT - divide start_ARG 1 end_ARG start_ARG 2 end_ARG { italic_L start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT italic_L start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT , italic_ρ start_POSTSUBSCRIPT roman_tot end_POSTSUBSCRIPT } ) , (S31)

where ρtotsubscript𝜌tot\rho_{\rm tot}italic_ρ start_POSTSUBSCRIPT roman_tot end_POSTSUBSCRIPT is the density matrix of the composite system, H=σzB+γ𝕀qC𝐻tensor-productsubscript𝜎𝑧𝐵tensor-product𝛾subscript𝕀𝑞𝐶H=\sigma_{z}\otimes B+\gamma\,\mathbb{I}_{q}\otimes Citalic_H = italic_σ start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT ⊗ italic_B + italic_γ blackboard_I start_POSTSUBSCRIPT italic_q end_POSTSUBSCRIPT ⊗ italic_C , L1=σzsubscript𝐿1subscript𝜎𝑧L_{1}=\sigma_{z}italic_L start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT = italic_σ start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT denotes the target dephasing, L2=σ=|1q0|subscript𝐿2superscript𝜎subscriptket1𝑞bra0L_{2}=\sigma^{-}=|1\rangle_{q}\langle 0|italic_L start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT = italic_σ start_POSTSUPERSCRIPT - end_POSTSUPERSCRIPT = | 1 ⟩ start_POSTSUBSCRIPT italic_q end_POSTSUBSCRIPT ⟨ 0 | denotes the target relaxation, and ΓksubscriptΓ𝑘\Gamma_{k}roman_Γ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT is the dissipation rate.

We perform Monte Carlo simulations for each kind of dissipation separately, in order to examine their influence. The results show that the dephasing noise of target system does not influence the measurement statistics. However, the relaxation of target system maps |0ket0\ket{0}| start_ARG 0 end_ARG ⟩ to |1ket1\ket{1}| start_ARG 1 end_ARG ⟩, which makes the peak corresponding to |00\left.\ket{00}\right\rangle| start_ARG 00 end_ARG ⟩ ⟩ (when γ=0𝛾0\gamma=0italic_γ = 0) or that corresponding to EMS perturbed from |00\left.\ket{00}\right\rangle| start_ARG 00 end_ARG ⟩ ⟩ (when γ0𝛾0\gamma\neq 0italic_γ ≠ 0) transfer to the other peak. This does not influence our discussion about metastability, if the dissipate rate is very small or when m𝑚mitalic_m is relatively small (see upper panel of Fig. S5(b)).

Refer to caption
Figure S5: Monte Carlo simulations for a target qubit with (a) dephasing noise and (b) relaxation noise. (a) is like Fig. 2 in our main text, showing that there is no influence in our discussion. In (b) it can be seen that the dissipation of the target system remains independent of the conclusion of the metastable, both for the case of γ=0𝛾0\gamma=0italic_γ = 0 (left panel) and for γ=0.05𝛾0.05\gamma=0.05italic_γ = 0.05 (right panel), the peak on the left side is gradually vanished as the round of the measurements increasing due to σsuperscript𝜎\sigma^{-}italic_σ start_POSTSUPERSCRIPT - end_POSTSUPERSCRIPT makes |0ket0\ket{0}| start_ARG 0 end_ARG ⟩ into |1ket1\ket{1}| start_ARG 1 end_ARG ⟩. In all Monte Carlo simulation, we use 104superscript10410^{4}10 start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT samples, Δϕ=π2Δitalic-ϕ𝜋2\Delta\phi=\frac{\pi}{2}roman_Δ italic_ϕ = divide start_ARG italic_π end_ARG start_ARG 2 end_ARG is chosen.

References

  • Wolf [2011] M. M. Wolf, Quantum Channels and Operations-Guided Tour (2011).
  • Note [1] See proposition 6.2 in [1].
  • Watrous [2018] J. Watrous, The Theory of Quantum Information (Cambridge university press, 2018).
  • Macieszczak et al. [2016] K. Macieszczak, M. Guţă, I. Lesanovsky, and J. P. Garrahan, Towards a theory of metastability in open quantum dynamics, Phys. Rev. Lett. 116, 240404 (2016).
  • Ma and Liu [2016] W.-L. Ma and R.-B. Liu, Angstrom-Resolution Magnetic Resonance Imaging of Single Molecules via Wave-Function Fingerprints of Nuclear Spins, Phys. Rev. Applied 6, 024019 (2016).