Quantum process capability

Abstract

Physical processes in the quantum regime possess non-classical properties of quantum mechanics. However, methods for quantitatively identifying such processes are still lacking. Accordingly, in this study, we develop a framework for characterizing and quantifying the ability of processes to cause quantum-mechanical effects on physical systems. We start by introducing a new concept, referred to as quantum process capability, to evaluate the effects of an experimental process upon a prescribed quantum specification. Various methods are then introduced for measuring such a capability. It is shown that the methods are adapted to quantum process tomography for implementation of process capability measure and applicable to all physical processes that can be described using the general theory of quantum operations. The utility of the proposed framework is demonstrated through several examples, including processes of entanglement, coherence, and superposition. The formalism proposed in this study provides a generic approach for the identification of dynamical processes in quantum mechanics and facilitates the general classification of quantum-information processing.

Introduction

Physical processes in quantum mechanics attract considerable interest on account of their unusual characteristics and potential applications. Investigating how and why these processes cannot be explained using classical physics provides an important insight into the fundamentals of quantum mechanics^1–3. By definition, engineering-oriented procedures are physical processes. Then such purely physical investigation inspires the question as to how quantum-mechanical effects can be harnessed to perform practical tasks⁴. Moreover, feasible techniques for fully exploring the possibilities and limitations of these tasks based on quantum mechanics are still lacking⁵. The effort to address these issues has revolutionized the conventional methods for engineering physical systems and has greatly advanced the development of quantum technology^6–8.

Quantum information processing⁹ provides a new paradigm for the emerging generation of quantum technologies, such as quantum computation¹⁰ and quantum communication¹¹. The underlying manipulations of quantum systems are all derived from dynamical processes in quantum mechanics, and range from gate operations^10,12 to information storage and protection against the effects of noise¹³, from the creation of entanglement to teleportation^14,15 and entanglement swapping¹⁶. Identifying the elementary classes of quantum dynamical processes, therefore, is not only significant in its own right, but is also a fundamental goal in uniting work on quantum information theory⁹.

Considerable progress has been made in understanding quantum dynamical processes; in particular, in identifying the quantum properties of the output states^17–24. However, a fully comprehensive analogue for dynamical processes has yet to be found. Moreover, despite the success of theoretical methods in describing the dynamics of quantum systems, such as the quantum operations formalism³, the problem of characterizing the prescribed quantum-mechanical features of dynamical processes in a quantitatively precise manner has yet to be resolved. As a result, it is presently intractable to quantitatively distinguish the different processes in quantum mechanics.

Motivated by this problem, and driven by the desire to ultimately identify all quantum dynamical processes, we present herein a method for quantifying the extent to which a process quantum mechanically behaves and affects a system. We commence by introducing a new concept referred to as the quantum process capability for evaluating the prescribed quantum-mechanical ability of a process. We then introduce two capability measures and a task-oriented capability criterion, which demonstrate that such process evaluation can be quantitatively determined through experimentally feasible means. We show that with the proposed tools, it is possible, for the first time, to quantitatively identify several fundamental types of dynamical process, including processes of entanglement, coherence and superposition.

We begin by systematically characterizing the physical process acting on a system using the quantum operations formalism. In doing so, we assume that the system of interest and its environment are initially in a product state. Furthermore, it is supposed that, after the physical process, the density matrices of the system states, ${\rho }_{\mathrm{out}}$, can be determined via the state tomography^25,26. These experimentally measurable quantities, conditioned on different initial system states, ${\rho }_{\mathrm{in}}$, are further used in a process tomography algorithm^9,27. In such a way, the physical process acting on the system can be fully described by a positive Hermitian matrix, referred to hereafter as the process matrix, ${\chi }_{\mathrm{expt}}$.

The manner in which a system evolves from an arbitrary input state, ${\rho }_{\mathrm{in}}$, to some process output state, ${\rho }_{\mathrm{out}}$, is specified by the process matrix ${\chi }_{\mathrm{expt}}$ through the mapping ${\chi }_{\mathrm{expt}}({\rho }_{\mathrm{in}})={\rho }_{\mathrm{out}}$, where this mapping preserves the Hermiticity, trace and positivity of the original density matrix of the system. With this representation of a dynamical process under our belt, we now turn our attention to defining the concept of quantum process capability.

Results

Quantum process capability

When a process has the ability to show the quantum-mechanical effect on a system prescribed by the specification (for example, entanglement generation), the process is defined as capable, and is denoted as ${\chi }_{\mathcal{C}}$. By contrast, if the process is unable to meet the specification at all, or is either fully describable using the theory of classical physics or lacks any ability to make the system states quantum mechanical, it is said to be incapable.

An incapable process is defined as an operation, ${\chi }_{ℐ}$, with the following properties:

(P1) If a process is composed of two cascaded incapable processes: $\chi ={\chi }_{ℐ1}\circ {\chi }_{ℐ2}$, then process $\chi$ is also incapable, where $\circ$ denotes the concatenation operator.

(P2) If a process is a linear combination of incapable processes: $\chi ={\sum }_n{p}_n{\chi }_{ℐn}$, where ${\sum }_n{p}_n=1$, then $\chi$ is also an incapable process.

These properties imply that manipulating incapable processes inevitably results in another incapable process.

Furthermore, if the process ${\chi }_{\mathrm{expt}}$ cannot be described by any incapable processes ${\chi }_{ℐ}$ in any way at all, then ${\chi }_{\mathrm{expt}}$ must be capable regarding the corresponding quantum-mechanical specification.

To place the basic definitions of capable and incapable processes into a wider context, we now introduce a measurable property of a process called the quantum process capability, which provides a quantitative understanding of how well ${\chi }_{\mathrm{expt}}$ might work, and helps identify processes with prescribed quantum process abilities. The proposed property has applications not only for exploiting the quantum effects behind an unknown process, but also for assisting in the evaluation and improvement of primitive operations for task-oriented purposes. (Note that more general features will be described in the later discussion section).

The quantum process capability of a process can be quantitatively evaluated using different tools according to the type of specification or subsequently used experimental process. The following discussions propose two methods for evaluating the quantum process capability, namely the capability measures and the task-oriented capability criterion.

Capability measure

We desire to have a tool that can faithfully reflect the features of capable and incapable processes, respectively, and reliably show how the quantum process capability of ${\chi }_{\mathrm{expt}}$ changes after applying additional operations to the system. Let the capability measure be defined as a function of the process matrix, $C(\chi )$, which has the following three properties:

(MP1) $C(\chi )=0$ if and only if $\chi$ is incapable.

(MP2) Since incapable processes consist of only incapable ingredients by definition [see (P1) and (P2)], one cannot increase the capability of a process by incorporating additional incapable ones. In other words, it follows that

(2a) The capability measure of $\chi$ monotonically decreases with an incorporated incapable process, i.e., $C(\chi \circ {\chi }_{ℐ})\le C(\chi )$.

(2b) The capability measure reflects the non-increasing capability of a process under stochastic incapable operations: ${\sum }_n{p}_{n}C(\chi \circ {\chi }_{ℐn})\le C(\chi )$.

(MP3) The capability measure is convex, meaning that $C({\sum }_n{p}_n\chi \circ {\chi }_{ℐn})\le {\sum }_n{p}_{n}C(\chi \circ {\chi }_{ℐn})$.

To show how the quantum process capability can be concretely quantified, we now introduce two different types of capability measure, which both satisfy properties (MP1)-(MP3) defined above (see Methods section).

M1. Capability composition $\alpha$. A process matrix, ${\chi }_{\mathrm{expt}}$, can be represented as a linear combination of capable and incapable processes, i.e.,

$${\chi }_{\mathrm{expt}}=a{\chi }_{\mathcal{C}}+\mathrm{(1}-a){\chi }_{ℐ},$$ 1

where $a\ge 0$. The capability composition of ${\chi }_{\mathrm{expt}}$ is then defined as

$$\alpha \equiv \underset{{\chi }_{ℐ}}{\min }a,$$ 2

which specifies the minimum amount of capable process that can be found in the experimental process.

In the practical examples presented later in this study, $\alpha$ is obtained by minimizing the following quantity via semi-definite programming (SDP) with MATLAB^28,29: $\alpha ={\min }_{{\tilde{\chi }}_{ℐ}}\mathrm{[1}-\mathrm{tr}({\tilde{\chi }}_{ℐ})]$. Note that the solution is obtained under a set of specified conditions for the incapable process, $D({\tilde{\chi }}_{ℐ})$, such that ${\chi }_{\mathrm{expt}}-{\tilde{\chi }}_{ℐ}={\tilde{\chi }}_{\mathcal{C}}\ge 0$. Here, ${\tilde{\chi }}_{ℐ}$ and ${\tilde{\chi }}_{\mathcal{C}}$ are both unnormalized process matrices with $\mathrm{tr}({\tilde{\chi }}_{ℐ})=\mathrm{tr}\mathrm{((1}-a){\chi }_{ℐ})=1-a$ and $\mathrm{tr}({\tilde{\chi }}_{\mathcal{C}})=\mathrm{tr}(a{\chi }_{\mathcal{C}})=a$, respectively. Rephrasing the process matrices in terms of unnormalized matrices reduces the number of variables to make the problem solvable using SDP. The number of variables is determined by the number of elements in a process matrix. For example, there are at least 16 variables that need to be solved in a single qubit system. For different capabilities, it may need more variables to describe the constraints $D({\tilde{\chi }}_{ℐ})$. See Methods. $D({\tilde{\chi }}_{ℐ})$ places constraints on the process matrix construction of the incapable process in the process tomography algorithm, which specifies how the input and output states for the process tomography behave under an incapable process.

M2. Capability robustness $\beta$. An experimental process, ${\chi }_{\mathrm{expt}}$, can become incapable by mixing with noise, i.e.,

$$\frac{{\chi }_{\mathrm{expt}}+b\chi \prime }{1+b}={\chi }_{ℐ},$$ 3

where $b\ge 0$ and $\chi \prime$ is the noise process. The capability robustness of ${\chi }_{\mathrm{expt}}$ can be defined as the minimum amount of noise which must be added such that ${\chi }_{\mathrm{expt}}$ becomes ${\chi }_{ℐ}$, i.e.,

$$\beta \equiv \underset{\chi \prime }{\min }b\mathrm{}.$$ 4

In practical cases, $\beta$ can be obtained by using SDP to solve $\beta ={\min }_{{\tilde{\chi }}_{ℐ}}[\mathrm{tr}({\tilde{\chi }}_{ℐ})-\mathrm{1]}$, under $D({\tilde{\chi }}_{ℐ})$ such that $\mathrm{tr}({\tilde{\chi }}_{ℐ})\ge 1,{\tilde{\chi }}_{ℐ}-{\chi }_{\mathrm{expt}}\ge 0$, which ensure that $\beta \ge 0$ and $\chi \prime$ is positive semi-definite, respectively.

Quantum criterion

When ${\chi }_{\mathrm{expt}}$ is created with respect to a target process, ${\chi }_{\mathrm{target}}$, that is defined as capable for engineering-oriented purposes^9–11, the process fidelity, $F_{\mathrm{expt}}\equiv \mathrm{tr}({\chi }_{\mathrm{expt}}{\chi }_{\mathrm{target}})$, enables us to examine the similarity between them. In particular, ${\chi }_{\mathrm{expt}}$ is judged to have a capability close to that of the target process if it goes beyond the best mimicry by incapable processes to ${\chi }_{\mathrm{target}}$, i.e.,

$$F_{\mathrm{expt}}>F_{ℐ}\equiv \underset{{\chi }_{ℐ}}{\max }[\mathrm{tr}({\chi }_{ℐ}{\chi }_{\mathrm{target}})],$$ 5

meaning that ${\chi }_{\mathrm{expt}}$ is a faithful operation which cannot be simulated by any incapable processes. Note that $F_{ℐ}$ in (5) can be evaluated by performing the following maximization task with SDP: $F_{ℐ}={\max }_{{\tilde{\chi }}_{ℐ}}[\mathrm{tr}({\tilde{\chi }}_{ℐ}{\chi }_{\mathrm{target}})]$, under $D({\tilde{\chi }}_{ℐ})$ such that $\mathrm{tr}({\tilde{\chi }}_{ℐ})=1$. Moreover, from a reasonable engineering-oriented perspective, we consider ${\chi }_{\mathrm{target}}$ capable and to be the default, i.e., $F_{ℐ}<1$. Note that the criterion (5) does not satisfy (MP1)-(MP3). If the process fidelity under the criterion (5) is used to serve as a capability measure, say $C({\chi }_{\mathrm{expt}})\equiv F_{\mathrm{expt}}-F_{ℐ}$, this fidelity measure will not be necessarily equal to zero when the ${\chi }_{\mathrm{expt}}$ is an incapable process. The reason is that $F_{ℐ}$ is the optimal value for all incapable processes, which means that the fidelity criterion (5) does not satisfy (MP1). Since (MP2) and (MP3) are derived from (MP1), such criterion also does not satisfies (MP2) and (MP3).

Capability examples

Let the following capable processes be used to demonstrate the formalism described above:

E1. Non-classical dynamics. As defined in ref. ³⁰, a non-classical dynamics is a dynamical process that cannot be explained using a classical picture: the initial system is considered a physical object with properties satisfying the assumption of classical realism, and the system thus evolves according to classical stochastic theory.

Non-classical dynamics can be quantified and used as the requirement for the non-classical manipulation of a system³⁰, e.g., the fusion of entangled photon pairs³¹. In the present context of quantum process capability, non-classical dynamics is capable of going beyond the generic model of classical dynamics, compared to incapable classical processes. The quantifications of non-classical processes introduced in ref. ³⁰ reveal the capability of non-classical dynamics, and include the capability composition $\alpha$ (2), the capability robustness $\beta$ (4) and the capability criterion (5).

E2. Entanglement generation. Creating entanglement is a crucial dynamical process in both quantum mechanics and quantum-information processing^9,10. However, the means to quantify the ability of a process to generate the entanglement of two qubits remains unclear.

Let entanglement creation be defined as a capable process, ${\chi }_{\mathrm{ent}}$. Any process that merely preserves the separability of a quantum system is therefore said to be incapable, and is denoted by ${\chi }_{ℐ,\mathrm{ent}}$. The capability measures of ${\chi }_{\mathrm{ent}}$, such as $\alpha$ and $\beta$, confirm that $C({\chi }_{\mathrm{ent}})>0$. By contrast, the capability measure of ${\chi }_{ℐ,\mathrm{ent}}$ is minimum, i.e., $C({\chi }_{ℐ,\mathrm{ent}})=0$. The concrete set of constraints acting on the incapable process $D({\tilde{\chi }}_{ℐ,\mathrm{ent}})$ in calculating $\alpha$, $\beta$ and $F_{ℐ}$ is given by

$${\tilde{\chi }}_{ℐ,\mathrm{ent}}({\rho }_{\mathrm{in}})\ge 0\forall {\rho }_{\mathrm{in}};{({\tilde{\chi }}_{ℐ,\mathrm{ent}}({\rho }_{\mathrm{in}}))}^{\mathrm{PT}}\ge 0\forall {\rho }_{\mathrm{in}}\in s_{\mathrm{sep}},$$ 6

where $s_{\mathrm{sep}}$ denotes the set of separable states. The first constraint in Eq. (6) ensures that the output states are positive semi-definite for all the input states required in the process tomography algorithm. As will be illustrated below, this condition is necessary for all incapable processes. The second constraint is based on the positive partial transpose (PPT) criterion^32,33, and guarantees that if the input states are separable states, the output states are separable states as well. In other words, the PPT criterion stipulates that an output state ${\rho }_{\mathrm{out}}$ after partial transposition (PT) is positive semi-definite, i.e., ${\rho }_{\mathrm{out}}^{\mathrm{PT}}\ge 0$, if and only if the state ${\rho }_{\mathrm{out}}$ is separable.

E3. Coherence creation and preservation. Quantum coherence is one of the main features of quantum systems^18,21–23, and is the main power behind quantum technology^6,7. If the density matrix of a $d$-dimensional system is not diagonal in a given orthonormal basis $\{|j\rangle |j=0,1,\dots ,d-1\}$, then the system is said to possess coherence with respect to basis $\{|j\rangle \}$²¹. A mixture consisting only of the basis states of the form: ${\sum }_{j=0}^{d-1}{p}_j|j\rangle \langle j|$, is then said to be an incoherent state.

Coherence creation and preservation are essential in performing state preparation and manipulation in quantum engineering^9–11,13. They represent two different abilities of capable processes, and are denoted hereafter as ${\chi }_{\mathrm{cre}}$ and ${\chi }_{\mathrm{pre}}$, respectively. The capability measure of coherence creation shows that $C({\chi }_{\mathrm{cre}})>0$. Compared with ${\chi }_{\mathrm{cre}}$, an incapable process, ${\chi }_{ℐ,\mathrm{cre}}$, cannot create coherence, i.e., incoherent states remain incoherent, and hence the coherence capability measure is minimum, $C({\chi }_{ℐ,\mathrm{cre}})=0$. To evaluate $\alpha$, $\beta$ and $F_{ℐ}$, for a process incapable of coherence creation, $D({\tilde{\chi }}_{ℐ,\mathrm{cre}})$ is set as

$${\tilde{\chi }}_{ℐ,\mathrm{cre}}({\rho }_{\mathrm{in}})\ge 0\forall {\rho }_{\mathrm{in}};{\tilde{\chi }}_{ℐ,\mathrm{cre}}({\rho }_{\mathrm{in}})\in {\tilde{s}}_{\mathrm{incoh}}\forall {\rho }_{\mathrm{in}}\in s_{\mathrm{incoh}},$$ 7

where ${\tilde{s}}_{\mathrm{incoh}}$ and $s_{\mathrm{incoh}}$ denote the sets of unnormalized incoherent states and incoherent states regarding the basis $\{|j\rangle \}$, respectively. In other words, if the input states are incoherent states, then the output states must also be incoherent states.

Regarding the capability of coherence preservation, $C({\chi }_{\mathrm{pre}})$ has a positive value for a capable process. By contrast, an incapable process causes the states to decohere, i.e., $C({\chi }_{ℐ,\mathrm{pre}})=0$. The constrain set, $D({\tilde{\chi }}_{ℐ,\mathrm{pre}})$, for an incapable process is formulated as

$${\tilde{\chi }}_{ℐ,\mathrm{pre}}({\rho }_{\mathrm{in}})\ge 0,{\tilde{\chi }}_{ℐ,\mathrm{pre}}({\rho }_{\mathrm{in}})\in {\tilde{s}}_{\mathrm{incoh}}\forall {\rho }_{\mathrm{in}}\mathrm{}.$$ 8

In other words, all of the output states are incoherent states, regardless of the input state ${\rho }_{\mathrm{in}}$. It is noted that this is different from the coherence creation case, in which the input states are restricted to incoherent states.

E4. Superposition of quantum states. The superposition principle of quantum mechanics^24,34 describes how any two or more quantum states can be superposed together to form another valid quantum state (and vice versa). The superposition of quantum states therefore generalizes the capability of coherence creation in the orthonormal basis $\{|j\rangle \}$ to the ability to superpose states in a normalized and linear independent basis $\{|h_j\rangle |j=0,1,\dots ,d-1\}$. Superposition states cannot be explained by any mixture of the basis states: ${\sum }_{j=0}^{d-1}{p}_j|h_j\rangle \langle h_j|$, and are hence referred to as superposition free states²⁴.

For a capable superposition process, the capability measure has a positive value, $C({\chi }_{\sup })>0$. By contrast, for an incapable process, ${\chi }_{ℐ,\sup }$, i.e., a process which merely preserves the mixture in the superposition free states, the capability measure is given as $C({\chi }_{ℐ,\sup })=0$. The constraints on the incapable process, $D({\tilde{\chi }}_{ℐ,\sup })$ are stated as

$${\tilde{\chi }}_{ℐ,\sup }({\rho }_{\mathrm{in}})\ge 0\forall {\rho }_{\mathrm{in}};{\tilde{\chi }}_{ℐ,\sup }({\rho }_{\mathrm{in}})\in {\tilde{s}}_{\mathrm{supf}}\forall {\rho }_{\mathrm{in}}\in s_{\mathrm{supf}},$$ 9

where ${\tilde{s}}_{\mathrm{supf}}$ and $s_{\mathrm{supf}}$ denote the sets of unnormalized superposition free states and superposition free states under the basis $\{|h_j\rangle \}$, respectively. $D({\tilde{\chi }}_{ℐ,\sup })$ indicates that if ${\rho }_{\mathrm{in}}$ is a superposition free state, then the output state must also be superposition free.

Demonstration of the process capability measures

We now provide an explicit example illustrating how a dynamical process of interest can be identified upon the prescribed quantum specification (i.e., E1–E4). We consider the case of a composite system consisting of two qubits. Let the qubits be coupled via an interaction, equivalent to the quantum Ising model, of the Hamiltonian³⁵: $H_{\mathrm{int}}=\mathrm{1/2}{\sum }_{j,k=0}^1{(-\mathrm{1)}}^{jk}|jk\rangle \langle jk|$, which is an important primitive for creating cluster states in a one-way quantum computer³⁶. The composite two-qubit evolution can be represented by an unitary transform $U(t)={\sum }_{j,k=0}^1{e}^{\mathrm{0.5(}-{\mathrm{1)}}^{jk}it}|jk\rangle \langle jk|$. When $t=\pi$, the unitary transform $U(\pi )={\sum }_{j,k=0}^1{(-\mathrm{1)}}^{jk}|jk\rangle \langle jk|$ can be considered as an implementation of the controlled-Z gate. Moreover, assume that one of the qubits is depolarized at a rate γ. The depolarization of a qubit can be represented in the form ${\rho }_{\mathrm{final}}=e^{-\gamma t}{\rho }_{\mathrm{initial}}+\mathrm{(1}-e^{-\gamma t})\hat{I}\mathrm{/2}$, where $\hat{I}$ is identity matrix. By using the process tomography algorithm, the process matrix of such depolarization is

$${\chi }_{\mathrm{d}\mathrm{e}\mathrm{p}}=\frac{1}{2}\left[\begin{array}{cccc}\frac{1+e^{-\gamma t}}{2}& 0& 0& e^{-\gamma t}\\ 0& \frac{1-e^{-\gamma t}}{2}& 0& 0\\ 0& 0& \frac{1-e^{-\gamma t}}{2}& 0\\ e^{-\gamma t}& 0& 0& \frac{1+e^{-\gamma t}}{2}\end{array}\right].$$

Given γ = 0.02, Fig. 1a,b illustrate the variations of $\alpha$ and $\beta$, respectively, for the five different capabilities described above with the qubit interaction time, $t$. The set of specified conditions for different capabilities for the incapable process, $D({\tilde{\chi }}_{ℐ})$, used to evaluate $\alpha$, $\beta$, and $F_{ℐ}$ for this example are given in Methods section. Figure 1c compares the process fidelity, $F_{\mathrm{expt}}$, with the four different thresholds $F_{ℐ}$ of the capable processes, with respect to a target process, the controlled-Z gate. When $F_{\mathrm{expt}}=1$, it means the ${\chi }_{\mathrm{expt}}(t)$ arrives at the target process, the controlled-Z gate. There are oscillations of $\alpha$, $\beta$, and $F_{\mathrm{expt}}$ in Fig. 1. The oscillation period is 2π for $U(t)=U(t+2\pi )$, which is determined by the Hamiltonian. If we double the values of the interaction intensity in $H_{\mathrm{int}}$ and the Hamiltonian become ${H\prime }_{\mathrm{int}}={\sum }_{j,k=0}^1{(-\mathrm{1)}}^{jk}|jk\rangle \langle jk|$, the oscillation period will become π in our example. An observation of Fig. 1 yields several important conclusions regarding process identification and classification, as described in the following.

Figure 1.

Evaluating dynamical processes with process capability measures. The five different capabilities in the dynamics ${\chi }_{\mathrm{expt}}(t)$ of two coupled qubits under a single-qubit depolarizing channel are examined using the capability measures (a) α, (b) β, and (c) capability criterion. Note that the coherence and superposition of the states are defined in the bases $\{|00\rangle ,|01\rangle ,|10\rangle ,|11\rangle \}$ and $\{|00\rangle$, $(|00\rangle +|01\rangle )/\sqrt{2}$, $(|00\rangle +|10\rangle )/\sqrt{2}$, $(|00\rangle +|11\rangle )/\sqrt{2}\}$, respectively. For comparison with the capability change over time under qubit depolarization, the insets show the corresponding cases without noise. The depolarizing rate $\gamma$ affects the curves of $\alpha$, $\beta$, and $F_{\mathrm{expt}}$. Here we set $\gamma =0.02$ in the present example. It is worth noting that ${\chi }_{\mathrm{expt}}(t)$ can serve as a controlled-Z (CZ) gate at a proper interaction time³⁶. When setting this gate operation as the target process, the process fidelity $F_{\mathrm{expt}}$ varies with time. As indicated in (c), the capability thresholds $F_{ℐ}$ for superposition, entanglement generation, non-classical dynamics, and coherence preservation are: 0.750, 0.500, 0.467 and 0.250, respectively. Since the CZ gate can be described by incapable processes ${\chi }_{ℐ,\mathrm{cre}}$, and is not a proper target process for coherence creation, such process capability is not considered in (c). Note that, in (a), for coherence preservation, the process is always a capable process, since the depolarization only acts on one of the qubits and another qubit can still preserve coherence of single qubit. According to the definition of the incapable process of coherence preservation (i.e., all the output states must be incoherent states), this process is always capable process of coherence preservation.

First, compared to $\alpha$, the capability robustness measure $\beta$ provides a clearer distinction between the various processes under different interaction periods. This distinction can be realized by characterizing how close ${\chi }_{\mathrm{expt}}(t)$ is to an incapable process in the sense of how large the minimum amount of noise $\beta$ is required to be to make ${\chi }_{\mathrm{expt}}(t)$ incapable (see Methods). Second, while the process considered in Fig. 1 has no ability to create coherence, it enables the two qubits to be entangled. Such a result implies that the coherence of the output entangled qubits is not generated by the process ${\chi }_{\mathrm{expt}}(t)$ itself, but is transformed from the input states. In other words, ${\chi }_{\mathrm{expt}}(t)$ has the ability to convert the coherence of the input states into an entanglement of the qubits at specific qubit interaction times. The efficiency of this coherence conversion process can be determined by the capability of entanglement generation, as evaluated by $\beta$, for example (see Methods).

Third, superposition can be performed either by purely unitary evolution or by quantum jumps of depolarization. The latter phenomenon can be seen in Fig. 1b, in which ${\chi }_{\mathrm{expt}}(t)$ for large $t$ (where the depolarization dominates the dynamics) possesses this ability, as described by $\beta >0$.

Finally, since superposition can be implemented using incoherent operations, the capability of superposition does not show how efficiently the coherence of the input states ${\sum }_{j=0}^{d-1}{p}_j|h_j\rangle \langle h_j|$ can be converted into a superposition of the basis states $|h_j\rangle$. (Note that this fact can be understood in an analogous fashion to that used to understand the conversion of the coherence of the input states into entanglement) (see Methods).

Discussion

The quantum process capability framework introduced above possesses several important features for practical utility and extensions, as described in the following.

(D1) Since constructing the process matrix is experimentally feasible, the process capability can be readily quantified in various present experiments. The quantum operations formalism underlying the process matrix is a general tool for describing the dynamics experienced by closed or open quantum systems in a wide variety of physical scenarios. Our formalism is therefore applicable to all physical processes described by the general theory of quantum operations, including, but not limited to, the fundamental processes postulated in quantum mechanics^2,9, the dynamics of energy transfer systems³⁷, the task-orientated processes associated with quantum information^10,11,31, and the atomic-physics and quantum-optics experiments on a chip³⁸.

(D2) In addition to the capable processes illustrated above (i.e., E1-E4), the present framework can also be used to explore other types of quantum process capability, including the creation of genuine multipartite entanglement³⁹, Einstein-Podolsky-Rosen steering⁴⁰, Bell non-locality²⁰, and genuine multipartite quantum steering^41,42.

(D3) Process identification and classification. As distinct process capabilities are given, dynamical processes can be identified and classified accordingly using the capability measures, such as the capability robustness. This is helpful in uniting existing works on quantum information under a given type of quantum process capability, for example, the preservation of quantumness³⁰ or the coherence of quantum information^9–11,13.

(D4) Benchmark for process engineering. The capability criterion (5) sets a level $F_{ℐ}$ of quantum-mechanical quality that can be used as a standard when comparing other experimental processes for task-oriented purposes^9–11; as illustrated in Fig. 1c.

(D5) Insightful description of processes. A given quantum process capability may be linked in some way with other concepts. For example, the capability of non-classical dynamics can be used to reveal the non-Markovianity of dynamical processes^30,43,44. Alternatively, the capability of entanglement generation also provides an understanding of the efficiency of coherence conversion. The framework proposed herein thus facilitates a more comprehensive understanding of the characteristics of quantum dynamics.

(D6) Maximum extraction of resources from processes. The quantum effects of a process on the system inputs, ${\rho }_{\mathrm{in}}$, as revealed by the output states, ${\rho }_{\mathrm{out}}$, are usually considered as quantum resources, such as entanglement^45,46 and coherence^21,22. The maximum amount of resources that can be extracted from a given process, ${\chi }_{\mathrm{expt}}$, can be quantified in terms of the quantum process capability, $C({\chi }_{\mathrm{expt}})$, using an appropriate capability measure. The reason for this lies in the fact that the quantum process capability provides an optimal description of the prescribed quantum specification in ${\chi }_{\mathrm{expt}}$ in the sense that the framework proposed in this study does not depend on any specifics of the states being processed (see Methods section).

In conclusion, we have developed a novel formalism for performing the quantitative identification of quantum dynamical processes. The concept of quantum process capability and its various quantifications have been introduced to evaluate the prescribed quantum-mechanical features of a dynamical process. The ability to quantify the ability of a process in terms of its quantum process capabilities makes it possible to discriminate quantitatively between different dynamical processes. Overall, the rigorous framework of quantum process capability proposed in this study provides the means to go beyond the usual analysis of state characteristics and to approach the goal of uniting work on quantum information theory.

Future studies will aim to improve the performance and scalability of the process tomography⁴⁷ underlying the proposed formalism, including scenarios such as where the measurement outcomes are continuous and unbound, e.g., as for nanomechanical resonators⁴⁸. It is anticipated that the enhanced framework will thus facilitate the novel recognition and classification of physical processes with quantum process capability.

Methods

Basic properties of capability composition α

The capability composition measure $\alpha$ possess the three required properties of capability measures, namely, (MP1)-(MP3).

(MP1): From the definition of capability composition, Eqs. (1) and (2), it follows directly that (MP1) is a fulfilled property.

(MP2): (2b)

Property (2a) can be proven by properties (2b) and (MP3). We start by proving (2b).

We consider a process consisting of the experimental process^9,27, ${\chi }_{\mathrm{expt}}$, and an incapable process, ${\chi }_{ℐ}$, of the form

$${\chi }_{\mathrm{expt}}\circ {\chi }_{ℐ}=\sum _n{p}_n{\chi }_{\mathrm{expt}}\circ {\chi }_{ℐn},$$ 10

where each ${\chi }_{ℐn}$ is an incapable process and $\{p_n\}$ is the corresponding probability distribution with ${\sum }_n{p}_n=1$. Using Eqs. (1) and (2), the process ${\chi }_{\mathrm{expt}}\circ {\chi }_{ℐn}$ can be represented as

$${\chi }_{\mathrm{expt}}\circ {\chi }_{ℐn}=\alpha {\chi }_{\mathcal{C}}\circ {\chi }_{ℐn}+\mathrm{(1}-\alpha ){\chi }_{ℐ}\circ {\chi }_{ℐn}\mathrm{}.$$ 11

Note that, while $\alpha$ is the capability composition of ${\chi }_{\mathrm{expt}}$, i.e., the optimal result for ${\chi }_{\mathrm{expt}}$, it is not necessarily the optimal result for ${\chi }_{\mathrm{expt}}\circ {\chi }_{ℐn}$. Since ${\chi }_{ℐn}$ and ${\chi }_{ℐ}$ are both incapable processes, ${\chi }_{ℐ}\circ {\chi }_{ℐn}$ must also be an incapable process.

For ${\chi }_{\mathcal{C}}\circ {\chi }_{ℐn}$, there exists a possibility that the process is not capable, i.e., it contains a certain non-vanished amount of incapable process. Therefore, the minimum amount of capable process that can be found in ${\chi }_{\mathrm{expt}}\circ {\chi }_{ℐn}$ cannot be greater than $\alpha$. In other words, it follows that it is possible to find specific capable and incapable processes, denoted by ${\chi }_{\mathcal{C}n\prime }$ and ${\chi }_{ℐn\prime }$, respectively, which yield the following decomposition:

$${\chi }_{\mathrm{expt}}\circ {\chi }_{ℐn}={\alpha }_n{\chi }_{\mathcal{C}n\prime }+\mathrm{(1}-{\alpha }_n){\chi }_{ℐn\prime }\mathrm{}.$$ 12

Since ${\alpha }_n$ is the capability composition of ${\chi }_{\mathrm{expt}}\circ {\chi }_{ℐn}$, i.e., it is optimal for ${\chi }_{\mathrm{expt}}\circ {\chi }_{ℐn}$, it follows that

$${\alpha }_n\le \alpha ,$$ 13

which implies that

$$\sum _n{p}_n{\alpha }_n\le \alpha .$$ 14

Thus, we conclude that the capability composition measure satisfies the property, ${\sum }_n{p}_{n}C({\chi }_{\mathrm{expt}}\circ {\chi }_{ℐn})\le C({\chi }_{\mathrm{expt}})$.

(MP3): The process ${\chi }_{\mathrm{expt}}\circ {\chi }_{ℐ}$ (10) can be reformulated as

$${\chi }_{\mathrm{expt}}\circ {\chi }_{ℐ}=a_{ℐ}{\chi }_{\mathcal{C}\prime }+\mathrm{(1}-a_{ℐ}){\chi }_{ℐ\prime },$$ 15

where ${\chi }_{\mathcal{C}\prime }={\sum }_n{p}_n{\alpha }_n{\chi }_{\mathcal{C}n\prime }/a_{ℐ}$, ${\chi }_{ℐ\prime }={\sum }_n{p}_n\mathrm{(1}-{\alpha }_n){\chi }_{ℐn\prime }\mathrm{/(1}-a_{ℐ})$, and $a_{ℐ}={\sum }_n{p}_n{\alpha }_n$. Note that $a_{ℐ}$ is not necessarily optimal for ${\chi }_{\mathrm{expt}}\circ {\chi }_{ℐ}$.

Since each process ${\chi }_{ℐn\prime }$ is an incapable process, ${\chi }_{ℐ\prime }$ is also an incapable process. In accordance with the definition of capability composition, we have ${\alpha }_{ℐ}=C({\sum }_n{p}_n{\chi }_{\mathrm{expt}}\circ {\chi }_{ℐn})$ and ${\alpha }_{ℐ}\le a_{ℐ}$. Moreover, since ${\alpha }_n=C({\chi }_{\mathrm{expt}}\circ {\chi }_{ℐn})$, we finally get

$${\alpha }_{ℐ}\le \sum _n{p}_n{\alpha }_n,$$ 16

which satisfies the property, $C({\sum }_n{p}_n{\chi }_{\mathrm{expt}}\circ {\chi }_{ℐn})\le {\sum }_n{p}_{n}C({\chi }_{\mathrm{expt}}\circ {\chi }_{ℐn})$.

(MP2): (2a)

From (2b) and (MP3), we conclude that

$${\alpha }_{ℐ}\stackrel{(\mathrm{MP3})}{\le }\sum _n{p}_n{\alpha }_n\stackrel{(\mathrm{2b})}{\le }\alpha ,$$ 17

i.e., $C({\chi }_{\mathrm{expt}}\circ {\chi }_{ℐ})\le C({\chi }_{\mathrm{expt}})$.

Here we take the capability composition $\alpha$ of entanglement generation for example to demonstrate the three properties (MP1) - (MP3) for capability measure. Let us consider the instance of coupled qubits discussed in Fig. 1. As shown in the inset of Fig. 1a for time evolution without noise effect, when $t=0$, the process ${\chi }_{\mathrm{expt}}\mathrm{(0)}$ is identity process which has no capability to generate entanglement from separable states. Then ${\chi }_{\mathrm{expt}}\mathrm{(0)}$ is an incapable process and its $C({\chi }_{\mathrm{expt}}\mathrm{(0))}$ is 0 (MP1). If we incorporate the incapable process ${\chi }_{\mathrm{expt}}\mathrm{(0)}$ into the capable process ${\chi }_{\mathrm{expt}}(\pi )$, we find that the incapable process does not increase the capability composition $\alpha$,

$$C({\chi }_{\mathrm{expt}}(\pi )\circ {\chi }_{\mathrm{expt}}\mathrm{(0))}=C({\chi }_{\mathrm{expt}}(\pi ))=1,$$

which satisfies property (2a) in (MP2). Since other incapable processes ${\chi }_{\mathrm{expt}}\mathrm{(2}n\pi )$ do not increase the capability composition, i.e., $C({\chi }_{\mathrm{expt}}(\pi )\circ {\chi }_{\mathrm{expt}}\mathrm{(2}n\pi ))=1$, it satisfies property (2b) in (MP2), ${\sum }_n{p}_{n}C({\chi }_{\mathrm{expt}}(\pi )\circ {\chi }_{\mathrm{expt}}\mathrm{(2}n\pi ))\le C({\chi }_{\mathrm{expt}}(\pi ))$. To show an example of the property (MP3), we mix ${\chi }_{\mathrm{expt}}(\pi )\circ {\chi }_{\mathrm{expt}}\mathrm{(0)}$ and ${\chi }_{\mathrm{expt}}(\pi )\circ {\chi }_{\mathrm{expt}}\mathrm{(2}\pi )$ together, where ${\chi }_{\mathrm{expt}}\mathrm{(0)}$ and ${\chi }_{\mathrm{expt}}\mathrm{(2}\pi )$ are both incapable processes. After mixing, the capability composition does not increase,

$$\begin{array}{l}\frac{1}{2}C({\chi }_{\mathrm{expt}}(\pi )\circ {\chi }_{\mathrm{expt}}\mathrm{(0))}+\frac{1}{2}C({\chi }_{\mathrm{expt}}(\pi )\circ {\chi }_{\mathrm{expt}}\mathrm{(2}\pi ))\\ =C\left(\frac{1}{2}{\chi }_{\mathrm{expt}}(\pi )\circ {\chi }_{\mathrm{expt}}\mathrm{(0)}+\frac{1}{2}{\chi }_{\mathrm{expt}}(\pi )\circ {\chi }_{\mathrm{expt}}\mathrm{(2}\pi )\right)\\ =1,\end{array}$$

which satisfies (MP3).

The properties (MP1)-(MP3) also hold for the time evolution under the noise effect. In Fig. 1a, when $t=2\pi$, the process ${\chi }_{\mathrm{expt}}\mathrm{(2}\pi )$ is a process that has no capability to generate entanglement from separable states, so ${\chi }_{\mathrm{expt}}\mathrm{(2}\pi )$ is an incapable process and its $C({\chi }_{\mathrm{expt}}\mathrm{(2}\pi ))$ is 0 (MP1). The capability composition of a capable process ${\chi }_{\mathrm{expt}}(\pi )$ does not increase by incorporating additional incapable process ${\chi }_{\mathrm{expt}}\mathrm{(2}\pi )$, i.e.,

$$C({\chi }_{\mathrm{expt}}(\pi )\circ {\chi }_{\mathrm{expt}}\mathrm{(2}\pi ))=0.742<C({\chi }_{\mathrm{expt}}(\pi ))=0.909,$$

and satisfies property (2a) in (MP2). The example for property (2b) in (MP2) can be known from the case,

$$\begin{array}{l}C\left(\frac{1}{2}{\chi }_{\mathrm{expt}}(\pi )\circ {\chi }_{\mathrm{expt}}\mathrm{(2}\pi )+\frac{1}{2}{\chi }_{\mathrm{expt}}(\pi )\circ {\chi }_{\mathrm{expt}}\mathrm{(4}\pi )\right)\\ =0.669<C({\chi }_{\mathrm{expt}}(\pi ))\\ =0.909,\end{array}$$

where ${\chi }_{\mathrm{expt}}\mathrm{(2}\pi )$ and ${\chi }_{\mathrm{expt}}\mathrm{(4}\pi )$ are both incapable processes. If we mix ${\chi }_{\mathrm{expt}}(\pi )\circ {\chi }_{\mathrm{expt}}\mathrm{(2}\pi )$ and ${\chi }_{\mathrm{expt}}(\pi )\circ {\chi }_{\mathrm{expt}}\mathrm{(4}\pi )$ together, the mixed process satisfies the property (MP3),

$$\begin{array}{l}\frac{1}{2}C({\chi }_{\mathrm{expt}}(\pi )\circ {\chi }_{\mathrm{expt}}\mathrm{(2}\pi ))+\frac{1}{2}C({\chi }_{\mathrm{expt}}(\pi )\circ {\chi }_{\mathrm{expt}}\mathrm{(4}\pi ))\\ =C\left(\frac{1}{2}{\chi }_{\mathrm{expt}}(\pi )\circ {\chi }_{\mathrm{expt}}\mathrm{(2}\pi )+\frac{1}{2}{\chi }_{\mathrm{expt}}(\pi )\circ {\chi }_{\mathrm{expt}}\mathrm{(4}\pi )\right)\\ =0.669,\end{array}$$

that the mixing does not increase capability composition.

Basic properties of capability robustness β

The capability robustness measure β has the three properties of capability measures, (MP1)-(MP3).

(MP1): From the definition of capability robustness, Eqs. (3) and (4), it is apparent that (MP1) is a fulfilled property.

(MP2): (2b)

From the definition of capability robustness, Eqs. (3) and (4), it is additionally clear that

$${\chi }_{\mathrm{e}\mathrm{x}\mathrm{p}\mathrm{t}}=(1+\beta ){\chi }_{\mathcal{I}}-\beta \chi \mathrm{\prime }.$$ 18

From Eq. (10), combined with Eq. (18), we have

$${\chi }_{\mathrm{expt}}\circ {\chi }_{ℐn}=\mathrm{(1}+\beta ){\chi }_{ℐ}\circ {\chi }_{ℐn}-\beta \chi \prime \circ {\chi }_{ℐn}\mathrm{}.$$ 19

Since ${\chi }_{ℐn}$ and ${\chi }_{ℐ}$ are both incapable processes, ${\chi }_{ℐ}\circ {\chi }_{ℐn}$ must also be an incapable process. It is worth noting that, while $\beta$ is the robustness of ${\chi }_{\mathrm{expt}}$, i.e., it is an optimal value for ${\chi }_{\mathrm{expt}}$, it is not necessarily the optimal value for the resulting process, ${\chi }_{\mathrm{expt}}\circ {\chi }_{ℐn}$.

In general, the quantum process capability cannot be increased by applying additional incapable processes. Thus, the minimum amount of noise added to ${\chi }_{\mathrm{expt}}\circ {\chi }_{ℐn}$ should be equal to (or less than) the minimum amount of noise added to ${\chi }_{\mathrm{expt}}$. In accordance with Eqs. (3) and (4), we define ${\beta }_n$ as the optimal result for ${\chi }_{\mathrm{expt}}\circ {\chi }_{ℐn}$. We now get

$${\beta }_n\le \beta ,$$ 20

from which we conclude that

$$\sum _n{p}_n{\beta }_n\le \beta .$$ 21

In other words, the capability robustness measure possesses the property, ${\sum }_n{p}_{n}C({\chi }_{\mathrm{expt}}\circ {\chi }_{ℐn})\le C({\chi }_{\mathrm{expt}})$.

(MP3): The process ${\chi }_{\mathrm{expt}}\circ {\chi }_{ℐ}$ (10) can be expressed as

$${\chi }_{\mathrm{expt}}\circ {\chi }_{ℐ}=\mathrm{(1}+b_{ℐ}){\chi \prime }_{ℐ}-b_{ℐ}\chi ″,$$ 22

where $\chi ″={\sum }_n{p}_n{\beta }_n{\chi \prime }_{n\prime }/b_{ℐ}$, ${\chi \prime }_{ℐ}={\sum }_n{p}_n(1-{\beta }_n){\chi }_{ℐn\prime }/(1-b_{ℐ})$, and $b_{ℐ}={\sum }_n{p}_n{\beta }_n$. From the definition of the capability robustness, we know that ${\beta }_{ℐ}=C({\sum }_n{p}_n{\chi }_{\mathrm{expt}}\circ {\chi }_{ℐn})$ and ${\beta }_{ℐ}\le b_{ℐ}$. We thus show that

$${\beta }_{ℐ}\le \sum _n{p}_n{\beta }_n\mathrm{}.$$ 23

With ${\beta }_n=C({\chi }_{\mathrm{expt}}\circ {\chi }_{ℐn})$, the capability robustness measure then has the property $C({\sum }_n{p}_n{\chi }_{\mathrm{expt}}\circ {\chi }_{ℐn})\le {\sum }_n{p}_n$$C({\chi }_{\mathrm{expt}}\circ {\chi }_{ℐn})$.

(MP2): (2a)

Properties (2b) and (MP3) lead property (2a) as follows:

$${\beta }_{ℐ}\stackrel{(\mathrm{MP3})}{\le }\sum _n{p}_n{\beta }_n\stackrel{(\mathrm{2b})}{\le }\beta \mathrm{}.$$ 24

Thus, the capability robustness measure has the property $C({\chi }_{\mathrm{expt}}\circ {\chi }_{ℐ})\le C({\chi }_{\mathrm{expt}})$.

Comparison between α and β

The idea underlying the capability composition measure highlights whether a process can be described by the model of an incapable process. Such a feature indicates that this measure is unable to reveal the distinction between processes, in general. By contrast, the idea of how close a process is to an incapable process, which underlies the capability robustness measure, makes the difference between processes visible.

Constraints on incapable processes

In this section, we present the constraint sets $D({\tilde{\chi }}_{ℐ})$ required in the capability examples presented in the main text, where ${\tilde{\chi }}_{ℐ}$ is an unnormalized process matrix⁹. To obtain the constraints for the incapable process $D({\tilde{\chi }}_{ℐ})$, we provide in the following the limitations on both the prepared input states and their corresponding output states, which are used to construct the process matrix⁹.

E1. Non-classical dynamics. To demonstrate the constraint set for the incapable processes of non-classical dynamics $D({\tilde{\chi }}_{ℐ,\mathrm{ncl}})$, shown in Fig. 1, we first introduce classical processes³⁰ for a two qubit system. In general, a classical process can be described by its classical states and their evolution. The classical states of input systems satisfy the assumption of realism and can be represented by the realistic sets ${\mathbf{v}}_{\xi }\equiv (v_1^1,v_2^1,v_3^1,v_1^2,v_2^2,v_3^2)$, in which $v_i^j\in \{+1,-1\}$ represents the possible measurement outcomes of the ith physical property for the jth classical object. The evolutions of these states are described by transition probabilities, ${\mathrm{\Omega }}_{\xi \mu }$, from ${\mathbf{v}}_{\xi }$ to a final state μ, which can be reconstructed as a density operator ${\rho }_{\mu }$ by using state tomography. Such an evolution can always be rephrased as the transition from a specific state set ${\mathbf{v}}_{\xi }$ to some final state ${\tilde{\rho }}_{\mu \prime }$ with ${\mathrm{\Omega }}_{\xi \mu \prime }=1$, where ${\tilde{\rho }}_{\mu \prime }$ denotes the unnormalized density matrix. The constraint set $D({\tilde{\chi }}_{ℐ,\mathrm{ncl}})$ for the incapable process of non-classical dynamics is given as

$${\tilde{\rho }}_{\mu \prime }\ge 0\forall \mu \prime ,$$ 25

which ensures that all the output states ${\tilde{\rho }}_{\mu \prime }$ of classical processes are positive semi-definite.

The constraint set $D({\tilde{\chi }}_{ℐ,\mathrm{ncl}})$ determines the number of variables that need to be optimized via SDP. For a two qubit system, each ${\tilde{\rho }}_{\mu \prime }$ in $D({\tilde{\chi }}_{ℐ,\mathrm{ncl}})$ is a 4 × 4 matrix that contains 16 variables. To describe classical dynamics, we need 64 matrices which corresponds to the number of ${\mathbf{v}}_{\xi }$, so there are 1024 variables that need to be solved by SDP.

E2. Entanglement generation. To derive the constraint set $D({\tilde{\chi }}_{ℐ,\mathrm{ent}})$ for entanglement generation, we first introduce the process tomography operation for a two qubit system. Any input state ${\rho }_{\mathrm{in}}$ for a process can be expanded as ${\rho }_{\mathrm{in}}={\sum }_{k,l}{\xi }_{kl}{\sigma }_k\otimes {\sigma }_l$, where ${\sigma }_0=\hat{I}$ is an identity matrix; ${\sigma }_1$, ${\sigma }_2$, ${\sigma }_3$ are Pauli matrices $X$, $Y$, $Z$, respectively; and ${\xi }_{kl}$ is a coefficient of the form ${\xi }_{kl}=\mathrm{tr}({\rho }_{\mathrm{in}}{\sigma }_k\otimes {\sigma }_l)$. Similarly, the output state of the process, ${\rho }_{\mathrm{out}}$, can be constructed as ${\rho }_{\mathrm{out}}={\sum }_{k,l}{\xi }_{kl}{\rho }_{kl}$, where ${\rho }_{kl}$ is the output corresponding to ${\sigma }_k\otimes {\sigma }_l$. Since each Pauli matrix ${\sigma }_1$, ${\sigma }_2$, ${\sigma }_3$ can be represented as the spectral decomposition ${\sigma }_k={\sum }_{m=\pm 1}m|k_m\rangle \langle k_m|$, where $|k_m\rangle$ is the eigenstate corresponding to eigenvalue $m$ of Pauli matrix ${\sigma }_k$, the input states used for process tomography are the tensor product of the eigenstates of the three Pauli matrices ${\rho }_{\mathrm{in}}=|k_m\rangle \langle k_m|\otimes |l_n\rangle \langle l_n|$, and the corresponding output states are ${\tilde{\rho }}_{k_m{l}_n}$. The outputs of the Pauli matrices can then be represented as ${\rho }_{kl}={\sum }_{m,n=\pm 1}mn{\tilde{\rho }}_{k_m{l}_n}$.

Since all of the input states ${\rho }_{\mathrm{in}}$ prepared for process tomography are separable states, the output states, ${\tilde{\rho }}_{k_m{l}_n}$, must also be separable states for a process with no ability to generate entangled states. The constraint set $D({\tilde{\chi }}_{ℐ,\mathrm{ent}})$ for the incapable process of entanglement generation is given by

$$\begin{array}{ll}{\tilde{\rho }}_{k_m{l}_n}\ge 0,{\tilde{\rho }}_{k_m{l}_n}^{\mathrm{PT}}\ge 0,\hfill & \forall k,l,m,n;\hfill \\ \sum _{m=\pm 1}{\tilde{\rho }}_{k_m{l}_n}=\sum _{m=\pm 1}{\tilde{\rho }}_{1_m{l}_n},\hfill & \forall k;\hfill \\ \sum _{n=\pm 1}{\tilde{\rho }}_{k_m{l}_n}=\sum _{n=\pm 1}{\tilde{\rho }}_{k_m{1}_n},\hfill & \forall l;\hfill \\ \sum _{m=\pm 1}\sum _{n=\pm 1}{\tilde{\rho }}_{k_m{l}_n}=\sum _{m=\pm 1}\sum _{n=\pm 1}{\tilde{\rho }}_{1_m{1}_n},\hfill & \forall k,l\mathrm{}.\hfill \end{array}$$ 26

The first criterion in (26) ensures that the output states ${\tilde{\rho }}_{k_m{l}_n}$ are separable states for ${\tilde{\chi }}_{ℐ,\mathrm{ent}}$ by using the positive partial transpose criterion^32,33, where ${\tilde{\rho }}_{k_m{l}_n}^{\mathrm{PT}}$ are the density matrices used to perform partial transpose on ${\tilde{\rho }}_{k_m{l}_n}$. The remaining constraints in (26) ensure that when the input states are an identity matrix $\hat{I}$, the corresponding output states are the same for different decompositions of $\hat{I}$. Such a requirement is used in tomographically characterizing separable output states ${\rho }_{\mathrm{out}}$ of incapable processes, where the outputs of Pauli matrices associated with the identity matrix in the inputs ${\sigma }_k\otimes {\sigma }_l$ should be objectively described, independent of measurement bases. Since the identity matrix $\hat{I}$ can be represented as the sum of two eigenstates of the Pauli matrices, i.e., $\hat{I}={\sum }_{m=\pm 1}|k_m\rangle \langle k_m|,\forall k$, the output state of $\hat{I}$ for ${\tilde{\chi }}_{ℐ,\mathrm{ent}}$ must be the same no matter how it is decomposed. For the second constraint in Eq. (26), which states that the input of the first qubit is $\hat{I}$, the outputs ${\tilde{\chi }}_{ℐ,\mathrm{ent}}(\hat{I}\otimes |l_n\rangle \langle l_n|)$ are the same for all decompositions of $\hat{I}$. The third and fourth constraints in Eq. (26) state that the input of the second qubit and the input of both qubits are $\hat{I}$, respectively.

E3. Coherence creation and preservation. To construct the process matrix using process tomography⁹, we first prepare the input states

$$|{\psi }_{kmn}⟩=\{\begin{array}{ll}\frac{1}{2}(|m⟩+|n⟩),& \mathrm{i}\mathrm{f}k=1,m=n\\ \frac{1}{\sqrt{2}}(|m⟩+|n⟩),& \mathrm{i}\mathrm{f}k=2,m\ne n\\ \frac{1}{\sqrt{2}}(|m⟩+i|n⟩),& \mathrm{i}\mathrm{f}k=3,m\ne n,\end{array}$$ 27

where $m,n=0,1,\dots ,d-1$. The density matrix of the input states has the form ${\rho }_{\mathrm{in}}={\rho }_{kmn}=|{\psi }_{kmn}\rangle \langle {\psi }_{kmn}|$. We then obtain the output states ${\tilde{\chi }}_{ℐ}({\rho }_{kmn})$, which correspond to the prepared input states. An arbitrary output state ${\tilde{\chi }}_{ℐ}(\rho )$ can be obtained as a linear combination of the output states ${\tilde{\chi }}_{ℐ}({\rho }_{kmn})$⁹. The above specification is also applicable to superposition.

The constraint set $D({\tilde{\chi }}_{ℐ,\mathrm{cre}})$ for the incapable process of coherence creation is given by

$$\begin{array}{ll}{\tilde{\chi }}_{ℐ,\mathrm{cre}}({\rho }_{kmn})\ge 0,\hfill & \forall k,m,n;\hfill \\ {\tilde{\chi }}_{ℐ,\mathrm{cre}}({\rho }_{1mm})=\sum _{j=0}^{d-1}{p}_j|j\rangle \langle j|\in {\tilde{s}}_{\mathrm{incoh}},\hfill & \forall m,\hfill \end{array}$$ 28

where $p_j\ge 0$ are the non-negative coefficients of each pure state $|j\rangle \langle j|$ and ${\tilde{s}}_{\mathrm{incoh}}$ denotes the set of unnormalized incoherent states regarding the basis $\{|j\rangle \}$.

By contrast, the set of constraints for the incapable process of coherence preservation, $D({\tilde{\chi }}_{ℐ,\mathrm{pre}})$, is given as

$$\begin{array}{ll}{\tilde{\chi }}_{ℐ,\mathrm{pre}}({\rho }_{kmn})\ge \mathrm{0,}\hfill & \hfill \\ {\tilde{\chi }}_{ℐ,\mathrm{pre}}({\rho }_{kmn})=\sum _{j=0}^{d-1}{p}_j|j\rangle \langle j|\in {\tilde{s}}_{\mathrm{incoh}},\hfill & \forall k,m,n\mathrm{}.\hfill \end{array}$$ 29

The number of variables that needs to be optimized by SDP is related to the output states ${\tilde{\chi }}_{ℐ,\mathrm{cre}}({\rho }_{kmn})$ in $D({\tilde{\chi }}_{ℐ,\mathrm{cre}})$. For single qubit system, each ${\tilde{\chi }}_{ℐ,\mathrm{cre}}({\rho }_{kmn})$ is a 2 × 2 matrix that contains 4 variables. To determine the process matrix, we need four matrices, ${\tilde{\chi }}_{ℐ,\mathrm{cre}}({\rho }_{100})$, ${\tilde{\chi }}_{ℐ,\mathrm{cre}}({\rho }_{111})$, ${\tilde{\chi }}_{ℐ,\mathrm{cre}}({\rho }_{201})$, and ${\tilde{\chi }}_{ℐ,\mathrm{cre}}({\rho }_{301})$, so there are 16 variables that need to be solved by SDP. For two qubit system, each ${\tilde{\chi }}_{ℐ,\mathrm{cre}}({\rho }_{kmn})$ is a 4 × 4 matrix that contains 16 variables. To determine the process matrix, we need 16 matrices, so there are 196 variables that need to be solved by SDP in two qubit system. This is less than the number of variables for non-classical dynamics, since they have different constraint sets $D({\tilde{\chi }}_{ℐ})$.

For the quantum Ising model shown in Fig. 1, the system is a four-dimensional system with $d=4$. For $D({\tilde{\chi }}_{ℐ,\mathrm{cre}})$, the set of constraints indicates that the output states of the incoherent states $|j\rangle \langle j|,j\in \{0,1,2,3\}$ are incoherent states belonging to ${\tilde{s}}_{\mathrm{incoh}}$, i.e., mixtures of the basis states ${\sum }_{j=0}^3{p}_j|j\rangle \langle j|$. Meanwhile, $D({\tilde{\chi }}_{ℐ,\mathrm{pre}})$ ensures that the output states of all the input states prepared for process tomography are incoherent states belonging to ${\tilde{s}}_{\mathrm{incoh}}$.

E4. Superposition of quantum states. The superposition free states²⁴ in ${\tilde{s}}_{\mathrm{supf}}$ are mixtures of the basis states $|h_j\rangle \langle h_j|$. To make each superposition free state under ${\tilde{\chi }}_{ℐ,\sup }$ belong to ${\tilde{s}}_{\mathrm{supf}}$, the constraints for the incapable process are that the output states of the superposition free states must satisfy ${\tilde{\chi }}_{ℐ,\sup }(|h_j\rangle \langle h_j|)\in {\tilde{s}}_{\mathrm{supf}}$.

To construct the process matrix using process tomography, we first prepare the input states ${\rho }_{\mathrm{in}}={\rho }_{kmn}=|{\psi }_{kmn}\rangle \langle {\psi }_{kmn}|$ described in Eq. (27) and the corresponding output states ${\tilde{\chi }}_{ℐ,\mathrm{supf}}({\rho }_{kmn})$.

The basis states can be decomposed into a linear combination of the input states ${\rho }_{kmn}$. That is, $|h_j\rangle \langle h_j|={\sum }_{k,m,n}{e}_{jkmn}{\rho }_{kmn}$, where the coefficients $e_{jkmn}$ are as follows:

$$\begin{array}{ll}{e}_{j2mn}=2\mathrm{Re}[\mathrm{tr}(|h_j\rangle \langle h_j|m\rangle \langle n|)],\hfill & m\ne n;\hfill \\ e_{j3mn}=2\mathrm{Im}[\mathrm{tr}(|h_j\rangle \langle h_j|m\rangle \langle n|)],\hfill & m\ne n;\hfill \\ e_{j1mn}=\mathrm{tr}(|h_j\rangle \langle h_j|m\rangle \langle n|)-\frac{1}{2}\sum _{l=0,l\ne m}^{d-1}(e_{j2ml}+e_{j3ml}),\hfill & m=n\mathrm{}.\hfill \end{array}$$ 30

The output states of basis states $|h_j\rangle \langle h_j|$ through ${\tilde{\chi }}_{ℐ,\mathrm{supf}}$ can be expressed as ${\tilde{\chi }}_{ℐ,\mathrm{supf}}(|h_j\rangle \langle h_j|)={\sum }_{k,m,n}{e}_{jkmn}{\tilde{\chi }}_{ℐ,\mathrm{supf}}({\rho }_{kmn})$.

The constraints on the incapable process constituting $D({\tilde{\chi }}_{ℐ,\mathrm{supf}})$ are given as

$$\begin{array}{ll}{\tilde{\chi }}_{ℐ,\mathrm{supf}}({\rho }_{kmn})\ge 0,\hfill & \forall k,m,n;\hfill \\ \sum _{k,m,n}{e}_{jkmn}{\tilde{\chi }}_{ℐ,\mathrm{supf}}({\rho }_{kmn})=\sum _{j=0}^{d-1}{p}_j|h_j\rangle \langle h_j|\in {\tilde{s}}_{\mathrm{supf}},\hfill & \forall \sum _{k,m,n}{e}_{jkmn}{\rho }_{kmn}=|h_j\rangle \langle h_j|,\hfill \end{array}$$ 31

where $p_j$ are the non-negative coefficients of each pure state $|h_j\rangle \langle h_j|$.

For the quantum Ising model in Fig. 1, we use a four-dimensional system to describe a composite two-dimensional system, i.e., $|00\rangle =|0{\rangle }_4$, $|01\rangle =|1{\rangle }_4$, $|10\rangle =|2{\rangle }_4$ and $|11\rangle =|3{\rangle }_4$. Moreover, we choose a normalized and linear independent basis: $|h_0\rangle =|0{\rangle }_4$, $|h_1\rangle ={(|0\rangle }_4+|1{\rangle }_4)/\sqrt{2}$, $|h_2\rangle ={(|0\rangle }_4+|2{\rangle }_4)/\sqrt{2}$ and $h_3={(|0\rangle }_4+|3{\rangle }_4)/\sqrt{2}$. The superposition free states can be decomposed into the following prepared input states: $|h_0\rangle \langle h_0|=e_{0100}{\rho }_{100}$, $|h_1\rangle \langle h_1|=e_{1201}{\rho }_{201}$, $|h_2\rangle \langle h_2|=e_{2202}{\rho }_{202}$, and $|h_3\rangle \langle h_3|=e_{3203}{\rho }_{203}$, where $e_{0100}=e_{1201}=e_{2202}=e_{3203}=1$.

Conversion from coherence to entanglement

In order to evaluate the coherence conversion efficiency of process ${\chi }_{\mathrm{expt}}(t)$, we choose the maximally coherent and separable state $|s\rangle =(|00\rangle +|01\rangle +|10\rangle +|11\rangle )/2$ as the input state. Furthermore, we define the conversion efficiency from coherence to entanglement, ${\eta }_{\mathrm{ent}}(t)$, as the ratio of the concurrence⁴⁹ of the output state ${\chi }_{\mathrm{expt}}(t)(|s\rangle \langle s|)$, denoted as $C_{\mathrm{ent}}(t)$, to the normalized coherence robustness of the input state, ${\tilde{s}}_{\mathrm{coh}}=1$. In other words, ${\eta }_{\mathrm{ent}}(t)=C_{\mathrm{ent}}(t)$. (Note that, before normalization, the coherence robustness of the input state²² is $s_{\mathrm{coh}}=3$). For example, we have ${\eta }_{\mathrm{ent}}(\pi /2)=0.7071$ and ${\eta }_{\mathrm{ent}}(\pi )=1$ for a process with no depolarizing effect.

We note that these values are exactly the same as those for the entanglement generation robustness, $\beta$, for ${\chi }_{\mathrm{expt}}(\pi \mathrm{/2)}$ and ${\chi }_{\mathrm{expt}}(\pi )$, respectively (see Fig. 1b). Notably, this fact holds for all other interaction times. Moreover, for processes with a depolarizing effect, the change in conversion efficiency over time is highly coincident with the change in the entanglement generation robustness. For example, we have ${\eta }_{\mathrm{ent}}(\pi \mathrm{/2)}=0.6743$ and ${\eta }_{\mathrm{ent}}(\pi )=0.9087$, which correspond to $\beta =0.6698$ and $0.9087$, respectively. Therefore, the capability of entanglement generation can also be used to examine the coherence conversion efficiency.

Conversion from coherence to superposition

The conversion efficiency from coherence to superposition for process ${\chi }_{\mathrm{expt}}(t)$ is defined as ${\eta }_{\sup }(t)=s_{\sup }/{\tilde{s}}_{\mathrm{coh}}$, where $s_{\sup }$ is the normalized superposition robustness²⁴ of the output state from ${\chi }_{\mathrm{expt}}(t)$, and ${\tilde{s}}_{\mathrm{coh}}=1$ denotes the normalized coherence robustness of the input state. To evaluate the coherence conversion efficiency, let the input state, $|h_3\rangle$, be chosen from the basis $\{|h_0\rangle =|00\rangle$, $|h_1\rangle =(|00\rangle +|01\rangle )/\sqrt{2}$, $|h_2\rangle =(|00\rangle +|10\rangle )/\sqrt{2}$, $|h_3\rangle =(|00\rangle +|11\rangle )/\sqrt{2}\}$. (Note that $|h_3\rangle$ is a coherent and superposition free state, and the coherence robustness of the input state before normalization is $s_{\mathrm{coh}}=1$). For example, ${\eta }_{\sup }(\pi \mathrm{/2)}=0.621$ and ${\eta }_{\sup }(\pi )=1$ correspond to $\beta =0.8624$ and $\beta =1.366$, respectively, for ${\chi }_{\mathrm{expt}}(t)$ with no depolarizing effect (see Fig. 1b). For ${\chi }_{\mathrm{expt}}(t)$ with a depolarizing effect, ${\eta }_{\sup }(\pi \mathrm{/2)}=0.624$ and ${\eta }_{\sup }(\pi )=0.9848$ correspond to $\beta =0.8489$ and $\beta =1.361$, respectively. Notably, depolarization at $t=\pi /2$ causes the ${\eta }_{\sup }(\pi \mathrm{/2)}$ to increase, but makes the superposition robustness β decrease. As a result, the capability of superposition cannot be used to examine the coherence conversion efficiency.

Maximum extraction of resources from processes

Since ${\chi }_{ℐ}({\rho }_{\mathrm{in}})={\rho }_{ℐ}$ is incapable for all incapable input states ${\rho }_{\mathrm{in}}$, Eqs. (1) and (3) can be rephrased as ${\rho }_{\mathrm{out}}=a{\rho }_{\mathcal{C}}+\mathrm{(1}-a){\rho }_{ℐ}$ and $({\rho }_{\mathrm{out}}+b\rho \prime \mathrm{)/(1}+b)={\rho }_{ℐ}$, respectively, where $\rho \prime =\chi \prime ({\rho }_{\mathrm{in}})$, and ${\rho }_{\mathcal{C}}={\chi }_C({\rho }_{\mathrm{in}})$ are assumed to possess the prescribed resources. One can consider the minimum values of $a$ and $b$ as the quantities of resources that can be found in ${\rho }_{\mathrm{out}}$ under a given input state ${\rho }_{\mathrm{in}}$ and for all possible ${\rho }_{ℐ}$ and $\rho \prime$. By maximizing the quantity of resources for all incapable input states, we obtain the maximum amount of resources that can be extracted from ${\chi }_{\mathrm{expt}}$. Since the above optimization tasks have been considered in Eqs. (2) and (4), we conclude that α and β can quantify the maximum extraction of resources from a process.

Author contributions

C.-M.L. devised the basic model and supervised the project. C.-C.K., S.-H.C., W.-T.L., H.L. and C.-M.L. established the final framework. C.-C.K., S.-H.C., W.-T.L. and H.-M.C. performed calculations. All authors contributed to the writing and editing of the manuscript.

Competing interests

The authors declare no competing interests.