Supplementary Material for "Theory of Metastability in Discrete-Time Open Quantum Dynamics"
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.
Contents
I Fundamentals of quantum channels
I.1 Definition of quantum channels
Denote the linear operators acting on a Hilbert space as , then a map is a quantum channel if it satisfies the following conditions [1]
-
•
Linear map: For any and complex number , ;
-
•
Trace preserving: For any , . This implies unitality of , i.e., , where is defined by ;
-
•
Completely positive: For any positive operator , is still a positive operator, with is the identity operator on an additional system with dimension .
So a quantum channel is a completely positive and trace-preserving (CPTP) linear map, which maps a state to another one by .
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 satisfying so that
(S1) |
where 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,
(S2) |
where is the initial state of the ancilla system and is a unitary of the composite system and denotes the trace over the ancilla system. For a -dimensional ancilla system with an orthonormal basis and the initial state , the Kraus operator can be easily obtained as .
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 -dimensional Hilbert space (represented by a matrix) is transformed to a vector,
(S3) |
where the superscript denotes the matrix transposition. Such a transformation can also be represented by with . The inner product in the HS space is defined as
(S4) | ||||
Then a superoperator (assuming ) becomes a single matrix acting on a vector in HS space,
(S5) |
so the natural representation of the channel in Eq. (S1) in HS space is
(S6) |
where . 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 square operator. This operator may not be diagonalizable, but can always be converted to a Jordan normal form as
(S7) | ||||
where is an invertible matrix, is the total number of Jordan blocks, and represents a -dimensional Jordan block corresponding to the eigenvalue , is a projection operator and is a nilpotent operator satisfying . Considering that , then the channel is diagonalizable iff . Note that the Jordan blocks corresponding to the fixed points or rotating points (with eigenvalues ) are all rank-one projectors 111See proposition 6.2 in [1].
If the channel is diagonalizable, we have
(S8) |
where is a complete biorthogonal basis satisfying . The trace-preserving property of implies the unitality of , i.e., or there exists a left eigenvector for eigenvalue 1, then for right eigenvectors corresponding to , we have
(S9) |
I.4 Sequential quantum channels with rotating points
If the channel has eigenvectors corresponding to eigenvalue , in which there are fixed points and rotating points with , and eigenvectors with , then after sequentially applying the quantum channel for times, we have
(S10) | ||||
where we truncate the equation as we did in the main text.
Then, in the metastable region, , by considering conjugate pairs of complex eigenvalues and absorbing the phase in , we have
(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,
(S12) |
where is the Pauli- operator of the ancilla, and are both operators on the target system and controls the magnitude of the second term. For a RIM, the Kraus representation of the channel on the target system is
(S13) |
where with , and with the Kraus operator and . 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 and . If , the fixed points are spanned by a set of rank-one projections ; if , the fixed points are spanned by a set of projection operators (), satisfying .
Proof.
It has been proven that is a fixed point of a unital channel if and only if it commutes with every Kraus operator [3], i.e., for any . This implies that . If the above condition is always satisfied for any , then .
If , then and can be diagonalized simultaneously, and . So the fixed points must include the rank-one projections and their linear combinations.
If , we can block diagonalize them simultaneously by unitary transformation,
(S14) |
where is the number of blocks (with equality occurring only when and all of blocks are one-dimensional), is unitary matrix and should be chosen so that and for any cannot be reduced further to have more blocks. There must be at least one subspace in which to make . Such a block diagonalization partitions the Hilbert space of the target system into the direct sum of subspaces , and for at least one subspace with . Thus the Kraus operator is also transformed to a block-diagonal form as . Then the fixed points must include the set of projections () and their linear combinations, where with being the projector to . Note that the case can be regarded as a special case of .
Now we prove that there are no other fixed points for the case , where there is at least one block with and . Suppose there is another density matrix satisfying . If , then . Since the positive operator can be diagonalized, this implies that . If , then formulate another fixed point with being a positive number such that , 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 and , the fixed points are spanned by and , where are eigenstates of . When there exists a small perturbing Hamiltonian , the channel has a single fixed point , and another metastable point . So the dimension of MM is . In the metastable region, (assuming is real), then a metastable state is
(S15) |
with . Thus the metastable state is determined only by , and the extremal points in the one-dimensional MM are
(S16) |
where () is the maximal (minimal) value of , and is a normalization coefficient that will be derived below. For real , and can be chosen to be Hermitian [4], then and and are two eigenvalues of . So we have with forming a complete orthonormal basis.
Let with , then . This means that only when (or ), we have . Since should be pure states, this means ,
(S17) | ||||
We can derive a similar expression for , i.e., , so
(S18) |
We can illustrate the above analysis with a simple example. Consider a fixed point , and a metastable point with , then , where , and . Thus the EMSs are
(S19) |
For general cases, the EMSs are the eigenstates of up to some corrections.
III.2 Construction of metastable states
Any metastable state can be represented by a mixture of EMSs,
(S20) |
where with being observables satisfying , and . Below we show how to construct such observables.
Since in the metastable region , so we have
(S21) |
Comparing the above equation with in metastable region, we have
(S22) | ||||
so we have
(S23) |
with .
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 C nuclear spins bath (target system). The coupling Hamiltonian has a form similar to Eq. (S12),
(S24) |
with
(S25) |
where is a modulation function accounting for possible DD control of the ancilla qubit, is the hyperfine interaction vector of the nuclear spin, is the nuclear spin operator vector, is the dimension of Hilbert space of target system, is Larmor precession frequency of nuclear spins, with is the gyromagnetic ratios of the target spins, is the displacement from the target spin to the target spin and is vacuum permeability. Note that we let 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
(S26) |
To show metastable polarization of nuclear spins, we also measure the evolution of fidelity, which is defined as
(S27) |
where with being the eigenstate of with . 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., .
IV.2 DD sequences
DD sequences are a generalization of RIM sequences, with additional -flips of the ancilla spin during each cycle [Fig. S3]. Then we have
(S28) |
where is the DD modulation function jumping between and every time the sensor is flipped by a DD pulse. Here for simplicity, we neglect the dipolar interaction term in , which means these target spins are spatially far away from each other.
For -pulse Carr-Purcell-Meiboom-Gill (CPMG) control, with . Specifically, when with and otherwise. Then can be expanded into a Fourier series as , where is th Fourier expansion coefficient and is the angular frequency. For the weak coupling condition, i.e., , then we can approximate by keeping only the first term in the Fourier series, . Then becomes,
(S29) |
where and , and the longitude component can be neglected in the weak coupling region [5].
Now we move to the rotating frame with respect to , by using rotating wave approximation, the effective Hamiltonian becomes time-independent,
(S30) |
where is the detuning away from Larmor precession frequency. Then we can see from Eq.(S30) that, if we choose , also called resonance condition, then 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.
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,
(S31) |
where is the density matrix of the composite system, , denotes the target dephasing, denotes the target relaxation, and 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 to , which makes the peak corresponding to (when ) or that corresponding to EMS perturbed from (when ) transfer to the other peak. This does not influence our discussion about metastability, if the dissipate rate is very small or when is relatively small (see upper panel of Fig. S5(b)).
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).