Abstract
The resource theory of coherence studies the operational value of superpositions in quantum technologies. A key question in this theory concerns the efficiency of manipulation and interconversion of the resource. Here, we solve this question completely for qubit states by determining the optimal probabilities for mixed-state conversions via stochastic incoherent operations. Extending the discussion to distributed scenarios, we introduce and address the task of assisted incoherent state conversion, where the process is enhanced by making use of correlations with a second party. Building on these results, we demonstrate experimentally that the optimal state-conversion probabilities can be achieved in a linear optics setup. This paves the way towards real world applications of coherence transformations in current quantum technologies.
Similar content being viewed by others
Introduction
Practical constraints on our ability to manipulate physical systems restrict the control we can exert on them. It is, e.g., exceedingly difficult to exchange quantum systems undisturbed over long distances.1 When manipulating spatially separated subsystems, effectively, this limits us to Local Operations and Classical Communication (LOCC). Under these operations, it is only possible to prepare certain states, i.e., separable ones. The states that cannot be produced under LOCC are called entangled and are elevated to resources: consuming them allows to implement operations such as quantum-state teleportation2 to achieve perfect quantum-state transfer, which would not be possible with LOCC alone. This has important consequences, e.g., in quantum communication and other quantum technologies, but also for our understanding of the view of the fundamental laws of nature.1,3,4,5
Entanglement is explored within the framework of quantum resource theories, which can also be used to investigate other non-classical features of quantum mechanics in a systematic way. A concept underlying many facets of non-classicality, including entanglement, is the superposition principle. As a quantum system naturally decoheres in the presence of unavoidable interactions between the system and its environment,6,7 superposition is itself a resource, which is studied in the recently developed resource theory of quantum coherence.8,9,10,11,12,13,14 In this framework, the set of free operations analogous to LOCC in entanglement theory are incoherent operations (IOs), corresponding to quantum measurements which cannot create coherence even if postselection is applied on the individual measurement outcomes.10
One of the central questions in any resource theory is the state-conversion problem, i.e., the characterization of the possible interconversion of resources under transformations allowed by the corresponding resource theory. The answer to this question leads to a preorder on the resource states, which determines their usefulness or value in technological applications, as a given state can be used in all protocols that require a state that can be created from it. The state-conversion problem is studied in two opposing limits: in the single-shot regime, where one studies the conversion of a single copy of a state, or in the asymptotic limit, in which one assumes that asymptotically many copies are available. The single-shot state-conversion problem using IOs has been solved for all pure states11,15 and for mixed states of a single qubit.12,16,17 Asymptotic incoherent conversions were investigated in ref. 11 In the single-shot regime, a more general problem concerns stochastic state conversions, i.e., finding the optimal probability for probabilistic incoherent conversions between two given quantum states. For conversions between pure states, this question has been addressed in refs. 18,19 In this work, we provide a full solution to the stochastic incoherent state-conversion problem for qubit systems, the fundamental building blocks in quantum information. This generalizes recent results on single-shot coherence theory12,16,17,18,19,20,21,22 and single-shot resource theories in general,23,24 opening new perspectives on how such resources can lead to practical advantages in quantum metrology,25,26 quantum algorithms,27,28 and even quantum dynamics in biology.29
When the technology to build quantum computers becomes available, it is likely that they will appear initially in small numbers. They have complete control over their qubits and can assist a less powerful remote client restricted to IOs. In particular, they can assist him in state conversions, which we study under the name of assisted incoherent state conversion, solving the problem of optimality for two-qubit pure and Werner states. Moreover, we demonstrate an experimental realization of non-unitary IOs using photonic quantum technologies and show their capability of implementing optimal state conversion on qubits, both with and without assistance. This is an important step towards the experimental investigation and systematic manipulation of coherence in quantum technological applications.
Results
Theoretical framework
In this section, we describe the foundations of this work. In the resource theory of coherence, an orthonormal basis of states \(\{\left|i\right\rangle \}\), usually motivated on physical grounds as being easy to synthesize or store, are considered classical. Any mixture of such states,
is referred to as “free” and is termed incoherent, similar to probability distributions on classical states. The free operations are referred to as IOs:10 these are quantum transformations \(\Lambda\), which admit an incoherent Kraus decomposition
with incoherent Kraus operators \({K}_{i}\), i.e., \({K}_{i}\left|m\right\rangle \sim \left|n\right\rangle\) for incoherent states \(\left|m\right\rangle\) and \(\left|n\right\rangle\). IOs admit a natural interpretation as quantum measurements which cannot create coherence even if postselection is applied to the individual measurement outcomes \(i\) identified with the Kraus operators \({K}_{i}\). Most of the analysis presented in the following can be reduced to the mathematically simpler family of strictly incoherent operations (SIOs). These are operations that can be decomposed into strictly incoherent Kraus operators \({K}_{i}\), which are defined by the property that both \({K}_{i}\) and \({K}_{i}^{\dagger }\) are incoherent, and correspond to quantum processes that do not use coherence.11,13
A general deterministic operation has the form (2), where the Kraus operators \({K}_{i}\) fulfill the completeness condition \({\sum }_{i}{K}_{i}^{\dagger }{K}_{i}={\mathbb{1}}\). To implement a stochastic IO, we formally postselect a deterministic IO according to the measurement outcomes \(i\). Now, assume we deal with a stochastic operation that can be decomposed into incoherent Kraus operators that are not necessarily complete, i.e., \({\sum }_{i}{K}_{i}^{\dagger }{K}_{i}\le {\mathbb{1}}\). If we want to call this operation incoherent, we must ensure that it can be seen as part of a deterministic IO, otherwise we would simply disregard the nonfree part of a costly operation. The fact that this is always possible has been shown in ref. 30 Therefore, we call all stochastic operations that can be decomposed into incoherent Kraus operators incoherent as well. As the following Proposition tells, the same holds true for SIOs.
Proposition 1. Every stochastic quantum operation that can be decomposed into strictly incoherent Kraus operators is part of a deterministic SIO.
The proof can be found in the Supplementary Material.
In this work, we will solve the problem of state conversion for qubits under the restricted sets of operations IO and SIO theoretically. To do this, we make use of the following Theorem proven in the Supplementary Material, stating that the two problems are equivalent.
Theorem 2. Let \(\rho\) and \(\sigma\) be states of a single qubit. The following statements are equivalent:
-
(1)
There exists an IO transforming \(\rho\) with probability \(p\) to \(\sigma\).
-
(2)
There exists a SIO transforming \(\rho\) with probability \(p\) to \(\sigma\).
Then, we extend our analysis to the problem of assisted incoherent state conversion, which we introduce now as a game between two parties, Alice and Bob. Initially, they share a bipartite quantum state \({\rho }^{AB}\) and the aim of the game is to establish a certain state \({\sigma }^{B}\) on Bob’s side. Clearly, if all quantum transformations were allowed locally, Bob could achieve this task by simply erasing his local system and preparing the desired state \({\sigma }^{B}\). However, the situation changes if Bob is constrained to local IOs: in this case, he cannot prepare the state \({\sigma }^{B}\) if the state has coherence. Moreover, as we will show later, correlations in the joint state \({\rho }^{AB}\) can be used to enhance Bob’s conversion possibilities, if Alice assists Bob by measuring her particle and communicating the measurement outcome.
As most of this work is concerned with qubits, we will make frequent use of the Bloch representation, stating that every qubit state \(\rho\) can be represented by a subnormalized vector \({\boldsymbol{r}}=({r}_{x},{r}_{y},{r}_{z})\) through \(\rho =({\mathbb{1}}+{\boldsymbol{r}}\cdot {\boldsymbol{\sigma }})/2\), where \({\boldsymbol{\sigma }}\) represents a vector containing the Pauli matrices. As done above, we denote density operators by small Greek letters and their Bloch vectors by the respective small Latin letter. Throughout the paper, we assume the eigenbasis of \({\sigma }_{z}\) to be incoherent. Then, rotations about the \(z\)-axis of the Bloch sphere and their inverse are both in SIO and in IO, leading to an invariance of conversion probabilities under these rotations. This makes it very convenient to introduce the quantity
corresponding to the distance of the state to the incoherent axis.
Optimal conversion without assistance
For a general qubit state \(\rho\), the exact shape of the state space that can be achieved by IOs is described in the following Theorem, making use of the Bloch sphere representation introduced above, where \({\boldsymbol{r}}\) and \({\boldsymbol{s}}\) are the Bloch vectors of the initial and the final state, respectively.
Theorem 3. A qubit state \(\sigma\) is reachable via a stochastic SIO or IO transformation from a fixed initial qubit state \(\rho\) with a given probability \(p\) if
The proof of this Theorem can be found in the Supplementary Material. As shown in Fig. 1, this theorem has a convenient geometrical interpretation on the Bloch sphere: for fixed \(\rho\), Eq. (4a) defines an ellipsoid that is independent of \(p\) and Eq. (4b) a cylinder that depends on \(p\). The states to which \(\rho\) can be converted with probability \(p\) lie inside their intersection. For \(p\le 1-| {r}_{z}|\), the ellipsoid is entirely contained in the cylinder and Eq. (4b) is automatically satisfied if Eq. (4a) holds (see proof of Theorem 3). Therefore, lowering the demanded probability of success below \(1-| {r}_{z}|\) will not increase the set of reachable states. This implies that for mixed \(\rho\), there is a discontinuity in the optimal conversion probability \(P(\rho \to \sigma )\) and the states outside the ellipsoid cannot be achieved via stochastic IOs, even with arbitrary little probability.
From Theorem 3, we can deduce the following Corollary:
Corollary 4. The maximal probability \(P\left(\rho \to \sigma \right)\) for a successful transformation from a coherent qubit state \(\rho\) to a coherent qubit state \(\sigma\) using IO or SIO is zero if
and
otherwise.
The proof of this Corollary is given in the Supplementary Material. Moreover, these theoretical results can be extended beyond qubits, leading to necessary conditions for stochastic state conversions.
According to ref.10, a coherence measure \(C\) is a functional mapping quantum states to the non-negative real numbers that is zero exactly on the incoherent states, convex, and monotonic under selective IOs on average. For every such measure \(C\), it holds that18
It is noteworthy that the bounds given in Eq. (7) cannot be used to exclude the existence of a stochastic transformation from \(\rho\) to \(\sigma\) (unless we have the trivial cases \(C(\sigma )=\infty\) or \(\rho\) incoherent and \(\sigma\) not). However, the first condition in Corollary 4 is a (nontrivial) necessary condition for the existence of a stochastic transformation. In the case of SIO, we can generalize this necessary condition to arbitrary dimensions using the \(\Delta\) robustness of coherence \({C}_{\Delta ,R}\) introduced in refs. 12,31 by
where \({\mathcal{I}}\) denotes the set of incoherent states.
Theorem 5. A necessary condition for the existence of a stochastic SIO transformation from \(\rho\) to \(\sigma\) is
Again, the proof can be found in the Supplementary Material. As shown in ref.31, for the case of qubits, Eq. (9) is equivalent to conditions (4a) and (5), and for higher dimensions, \({C}_{\Delta ,R}\) can be evaluated efficiently using a semi-definite program (see the proof of the Theorem and also ref. 32). The other necessary condition for stochastic transformations on qubits was that the initial state is not incoherent. For higher dimensions, this can be generalized by the statement that the coherence rank or number11,33,34,35 can only decrease under a stochastic IO (and therefore SIO) transformation, which we show now for completeness.
The coherence rank \({r}_{C}\) of pure states is defined as the number of non-zero coefficients needed to expand the state in the incoherent basis.11,33 For mixed states, the coherence rank is defined by ref. 34
It is well known that the coherence rank of a pure state can only decrease under the action of an incoherent Kraus operator.11 From this follows the statement directly: let \(\{{p}_{i},\left|{\psi }_{i}\right\rangle \}\) be an optimal decomposition of \(\rho\) in the sense that \({r}_{C}(\rho )={\max }_{i}{r}_{C}(\left|{\psi }_{i}\right\rangle )\). Applying the Kraus operators of the stochastic IO to the \(\left|{\psi }_{i}\right\rangle\) leads to a decomposition of the final state with the promised property.
Optimal conversion with assistance
We now present our results concerning state conversions with assistance, for pure entangled states and a class of mixed states. The task of assisted incoherent state conversion is equivalent to transforming a shared state \({\rho }^{AB}\) into a local state \({\sigma }^{B}\) on Bob’s side via local quantum-incoherent operations and classical communication (LQICC).36,37 These operations consist of general local operations on Alice’s side, local IOs on Bob’s side, and the exchange of measurement results via a classical channel. In case only Alice sends information to Bob, we speak of one-way LQICC. The problem of optimal conversion of a general two-qubit entangled state \({\left|\psi \right\rangle }^{AB}\) into an arbitrary local state \({\sigma }^{B}\) is solved in the following Theorem, which is proven in the Supplementary Material.
Theorem 6. Let Alice and Bob share a pure two-qubit state \({\left|\psi \right\rangle }^{AB}\) and denote Bob’s local state by \({\rho }^{B}\). The maximal probability \({P}_{{\rm{a}}}({\left|\psi \right\rangle }^{AB}\to {\sigma }^{B})\) to prepare the qubit state \({\sigma }^{B}\) on Bob’s side via one-way LQICC is given by
where \({\boldsymbol{r}}\) and \({\boldsymbol{s}}\) are the Bloch vectors of \({\rho }^{B}\) and \({\sigma }^{B}\), respectively.
When the state is subjected to noise, the probabilities of assisted incoherent state conversions are reduced. As an example, we consider the two-qubit Werner state,
with the maximally entangled state \(\left|{\phi }^{+}\right\rangle =(\left|00\right\rangle +\left|11\right\rangle )/\sqrt{2}\). In this case, the optimal conversion probability is determined by the following Theorem.
Theorem 7. The optimal probability \({P}_{{\rm{a}}}\left({\rho }_{{\rm{w}}}^{AB}\to {\sigma }^{B}\right)\) for converting \({\rho }_{{\rm{w}}}^{AB}\) into the qubit state \({\sigma }^{B}\) via one-way LQICC is given by,
where \({\boldsymbol{s}}\) denotes the Bloch vector of \({\sigma }^{B}\).
This is proven in the Supplementary Material. Determining the optimal assisted incoherent conversion probabilities for general shared mixed states is left open for future work. However, in general, correlations in the joint two-qubit state \({\rho }^{AB}\) always enhance the conversion possibilities of Bob whenever the state is not quantum incoherent, i.e., not of the form \({\rho }^{AB}={\sum }_{i}{p}_{i}{\rho }_{i}^{A}\otimes \left|i\right\rangle {\left\langle i\right|}^{B}\):
Theorem 8. If Bob’s system is a qubit, then for any state \({\rho }^{AB}\), which is correlated and not quantum incoherent, the set of accessible states for Bob via stochastic one-way LQICC is strictly larger, when compared with \({\rho }^{A}\otimes {\rho }^{B}\).
The proof can be found in the Supplementary Material.
Asymptotic state conversion via IO
In the scenario considered so far, we assumed that IOs are applied on one copy of the state \(\rho\). In the following, we will extend our investigations to asymptotic conversion scenarios, where IOs are performed on a large number of copies of the state \(\rho\). The figure of merit in this setting is the asymptotic conversion rate
where \(| | M| {| }_{1}={\rm{Tr}}\sqrt{{M}^{\dagger }M}\) is the trace norm, the infimum is performed over all IOs \(\Lambda\), and \(\left\lfloor x\right\rfloor\) is the largest integer smaller or equal to the real number \(x\). In words, the quantity \(R(\rho \to \sigma )\) is the maximal rate at which IOs can convert the initial state \(\rho\) into the target state \(\sigma\), assuming the asymptotic limit of infinitely many initial states on which the IO can act simultaneously. This quantity should not be confused with the quantity \(r\) introduced in Eq. (3) and can exceed 1; e.g., it is possible to convert one coherent state into arbitrary many copies of an incoherent state. In general, the single-shot scenario where one has only access to a single copy of the state under consideration is very different from the asymptotic case of infinitely many copies on which one can act commonly.
It is now important to note that the single copy conversion probability \(P(\rho \to \sigma )\) is a lower bound for the conversion rate, i.e.,
In fact, asymptotic conversion at rate \(P(\rho \to \sigma )\) can be achieved by applying a stochastic IO on each individual copy of the state \(\rho\).
Denoting by \(\left|+\right\rangle\) the maximally coherent single-qubit state, the distillable coherence11 is defined as the maximal rate at which a maximally coherent qubit state can be extracted from \(\rho\) using IOs, i.e., \({C}_{{\rm{d}}}(\rho )=R(\rho \to |+\rangle \langle +|)\). The complementary quantity, i.e, the minimal rate at which the maximally coherent qubit states need to be consumed to produce the state \(\rho\) via IOs, is called the coherence cost11 and is formally defined by
where the infimum is again over all IOs. As it was shown in ref.11, from these two quantities follow the bounds
It was also shown in ref. 11 that the distillable coherence admits the following closed expression:
where \(S(\rho )=-{\rm{Tr}}[\rho \,{\mathrm{log}}_{2}\,\rho ]\) is the von Neumann entropy and \(\Delta [\rho ]={\sum }_{i}\left|i\right\rangle \left\langle i\right|\rho \left|i\right\rangle \left\langle i\right|\) is the dephasing operator. Moreover, the coherence cost \({C}_{{\rm{c}}}\) is equal to the coherence of formation \({C}_{{\rm{f}}}\),11
Here, the minimization is performed over all pure state decompositions of the state \(\rho ={\sum }_{i}{p}_{i}{\psi }_{i}\).
Up until here, the statements concerning asymptotic conversions were valid for general dimensions. From here on, we will specialize them exclusively to qubits. For single-qubit states, Eq. (19) can be further simplified as follows:38
where \(h(x)=-x\,{\mathrm{log}}_{2}\,x-(1-x)\,{\mathrm{log}}_{2}(1-x)\) is the binary entropy and \({\rho }_{01}=\left\langle 0| \rho | 1\right\rangle\).
We will now demonstrate the power of these results on a specific example. For this, we consider the following single-qubit state:
We will study the conversion of \(\rho\) into a convex combination of maximally coherent states \(\left|\pm \right\rangle =(\left|0\right\rangle \pm \left|1\right\rangle )/\sqrt{2}\), i.e., the final state \(\sigma\) has the form
In Fig. 2, we compare the aforementioned upper and lower bounds on the state-conversion rate for the states \(\rho\) and \(\sigma\) in Eqs. (21) and (22). In particular, there exists a range of the parameter \(q\) where \(P(\rho \to \sigma )\) (solid line in Fig. 2) is very close to the upper bound \(\min \left\{{C}_{{\rm{d}}}(\rho )/{C}_{{\rm{d}}}(\sigma ),{C}_{{\rm{c}}}(\rho )/{C}_{{\rm{c}}}(\sigma )\right\}\) (dashed line in Fig. 2). The quality of our bound should also be compared with the lower bound \({C}_{{\rm{d}}}(\rho )/{C}_{{\rm{c}}}(\sigma )\) (dotted line in Fig. 2). The figure clearly shows that the two different lower bounds have their advantages for different values of the parameter \(q\): for \(q\) close to 1/4, our new bound is much tighter than the best previously known bound.11 If \(q\) is below a critical value, the new bound is zero. This corresponds to the region outside the reachable ellipsoid. In addition, the new bound can never exceed 1 and thus the results from ref. 11 give a better bound when \(\sigma\) has a much lower coherence than \(\rho\), which corresponds to \(q\approx 1/2\).
Indeed, we note that for \(q=1/4\) the conversion probability \(P(\rho \to \sigma )\) coincides with \({C}_{{\rm{c}}}(\rho )/{C}_{{\rm{c}}}(\sigma )\), and in fact both are equal to 1. This implies that the asymptotic conversion rate is given by \(R(\rho \to \sigma )=1\) in this case. We will generalize this observation in the following Theorem.
Theorem 9. Assume qubit states \(\rho\) and \(\sigma\) obey
Then we have \(R(\rho \to \sigma )=1\).
We prove the Theorem in the Supplementary Material, where we also show that it cannot be formulated as an if and only if statement.
We will now apply the methods we developed for studying the irreversibility of coherence theory. For any quantum resource theory, the conversion rate \(R\) fulfills the following inequality for any two nonfree states \(\rho\) and \(\sigma\):
The resource theory is called reversible if Eq. (24) is an equality for all nonfree states. Otherwise, the resource theory is called irreversible. Examples for reversible resource theories are the theories of entanglement and coherence, when restricted to pure states only. However, both theories are not reversible for general mixed states.11,39 General properties of reversible resource theories have been investigated in refs. 40,41
In the following, we will study the irreversibility of coherence theory in more detail. In particular, we will investigate which values of distillable coherence \({C}_{{\rm{d}}}\) a single-qubit state can attain, for a fixed amount of coherence cost \({C}_{{\rm{c}}}\). The most interesting family of states in this context is given by \(\sigma\) in Eq. (22):
Proposition 10. Among all single-qubit states, the family of states given in Eq. (22) has the minimal distillable coherence \({C}_{{\rm{d}}}\) for a fixed coherence cost \({C}_{{\rm{c}}}\) and vice versa maximal \({C}_{{\rm{c}}}\) for fixed \({C}_{{\rm{d}}}\).
The Proposition is proven in the Supplementary Material. This result allows us to plot the allowed region of coherence cost and distillable coherence in Fig. 3. The upper curve is given by \({C}_{{\rm{d}}}(\rho )={C}_{{\rm{c}}}(\rho )\), which is attained if \(\rho\) is a pure state. From results in refs., 11,42 it follows directly that the same region is attainable for distillable entanglement and entanglement cost when considering maximally correlated two-qubit states.
Experimental setup and protocols
We experimentally implement the above protocols on several classes of input states, both with and without assistance. The experimental protocols and setup are illustrated in Fig. 4. The setup consists of three modules, which we describe in detail in the following.
In module (I) shown in Fig. 4d, we can prepare three different classes of states on which we then apply incoherent state conversion with or without assistance. The first class consists of single-qubit states of the form
on Bob’s side, where \({r}_{x,z}\) are real numbers and denote \(x,z\) Bloch coordinates. The second class consists of pure two-qubit entangled states of the form
where \({\mu }_{0},{\mu }_{1}\) and \(\left|{\beta }_{0}\right\rangle ,\left|{\beta }_{1}\right\rangle\) denote eigenvalues and eigenvectors of Bob’s local state. The third class are two-qubit Werner states
where \(\left|{\phi }^{+}\right\rangle\) denotes a maximally entangled state and \({q}_{{\rm{w}}}\) is the purity of the Werner state.
In particular, two type-I phase-matched \(\beta\)-barium borate (BBO) crystals, whose optical axes are normal to each other, are pumped by a continuous laser at 404 nm, with a power of 80 mW, for the generation of photon pairs with a central wavelength at \(\lambda\) = 808 nm via a spontaneous parametric down-conversion process. A half-wave plate (H) working at 404 nm set before the lens and BBO crystals is used to control the polarization of the pump laser. Two polarization-entangled photons
are generated and then separately distributed through two single-mode fibers (SMFs), where one represents Bob and the other Alice. Two interference filters with a 3 nm full width at half maximum are placed to filter out proper transmission peaks. Half-wave plates at both ends of the SMFs are used to control the polarization of both photons. A quarter-wave plate (Q) in Bob’s arm is used to compensate the phase for the desired prepared state.
For preparing single-qubit states as in Eq. (25), we set the rotation angle of the 404 nm H to \({0}^{\circ }\), resulting in a state \({\left|H\right\rangle }^{A}{\left|H\right\rangle }^{B}\). By using Alice’s photons as trigger, we can experimentally generate a pure incoherent state \({\left|H\right\rangle }^{B}\). We replace H\({}_{1}\) with a polarizing beam splitter (PBS), a \(400\lambda\) quartz plate, and another two half-wave plates (H\({}_{2,3}\)) on Bob’s side, for generating single-qubit states \({\rho }^{B}\). The rotation angle of H\({}_{2}\) is set to \({\gamma }_{1}\), rotating the state \(\left|H\right\rangle\) to another pure state
Then, after the birefringent crystal, the pure state is completely dephased, resulting in an incoherent mixed state
The rotation angle of H\({}_{3}\) is set to \({\gamma }_{2}\), resulting in the transformation
The final prepared state reads
with Bloch coordinates
Thus, we can prepare the desired single-qubit states as described in Eq. (25).
For generating two-qubit entangled states as given in Eq. (26), we set the rotation angle of the 404 nm H to \(\alpha\), where \(\cos 2\alpha ={\mu }_{0}\) and \(\sin 2\alpha ={\mu }_{1}\). Then, passing through H\({}_{1}\) with rotation angle \(\beta\) results in \({\left|\Psi (\mu ,\beta )\right\rangle }^{AB}\) with desired \(\mu\) and \(\beta\). Using our experimental setup, the maximally entangled state can be prepared with a fidelity of 0.986.
For preparing Werner states as in Eq. (27), we make use of an unbalanced Mach–Zehnder interferometer. In particular, two 50/50 beam splitters (BSs) are inserted into one branch. In the transmission path, the two-photon state is prepared as the Bell state
when the rotation angle of the 404 nm H is set to \(22.{5}^{\circ }\). In the reflected path, three \(400\lambda\) quartz crystals and an H with \(22.{5}^{\circ }\) are used to dephase the two-photon state into a completely mixed-state \({\mathbb{1}}^{AB}/4\). The ratio of the two states mixed at the output port of the second BS can be changed by the two adjustable apertures for the generation of Werner states in Eq. (27) with arbitrary \({q}_{{\rm{w}}}\). Out of the state preparation module, the two photons are distributed to Alice and Bob. In fact, the two BSs are not ideally 50/50 and the transmission rate for \(H\) and \(V\) polarized photons are not exactly the same, resulting in a decrease of fidelity to \(F=0.971\) when we prepare maximally entangled state, although we have slightly adjusted the rotation angle of the 404 nm H. It is noteworthy that in our experiments, we adopt \(0\equiv H\) and \(1\equiv V\).
In module (II) of Fig. 4d, a class of SIOs are implemented on Bob’s photons, by the combination of six Hs and three BDs. For details, we refer to the Supplementary Material. In the case of b, c, these operations can depend on the result of measurements made on Alice’s qubit.43,44
In module (III) of Fig. 4d, we perform quantum-state tomography45 to identify the target states \(\{{p}_{i},{\rho }_{i}\}\). When we conduct the experiment without assistance, the single-qubit state after the IO can be directly identified via the combination of two Hs, two Qs, and two PBSs in module (III). For deterministic state conversion, we directly read the total coincident counts from the two single photon detectors (SPDs); and for stochastic state conversion, we discard the counts from \({K}_{2}\). For experimentally determining the conversion probability in the case of stochastic conversion (SC), we also collect data in an orthogonal basis. The probability for SC can then be evaluated as
where \({N}_{1}\) denotes the total coincident counts from \({K}_{1}\) and \({N}_{{\rm{total}}}\) denotes the total coincident counts from \({K}_{1}\) and \({K}_{2}\), in basis \(\{\left|H\right\rangle ,\left|V\right\rangle \}\).
When we conduct the experiments with assistance, Alice can perform arbitrary local projective measurements on her photons and broadcast the measurement outcomes to Bob. Specifically, Alice chooses the optimal measurement, which helps Bob to perform the optimal conversion. When Bob gets the information from Alice, which is either 0 or 1, he can then implement the aforementioned IOs, obtaining the final target states.
For data collections, we used SMFs on Bob’s arm and multi-mode fibers on Alice’s arm for directing photons from space to detectors. The use of multi-mode fibers can increase and stabilize the collection effeciency of Alice’s photons. On the other hand, the use of SMFs on Bob’s side is preferable for cleaning up the high-order optical modes, resulting in best interference between the light beams that are displaced by the BDs. As mentioned before, the power of the 404 nm continuous laser is set to about 80 mW and the coincidence window is 4 ns, resulting in 2000 coincident events per second. When adding white noise on Alice’s arm, the coincident counts decrease to around 25% when compared with the case without noise.
Experimental conversion without assistance
For verifying the theoretical predictions of incoherent single-qubit state conversion, we experimentally initialize Bob’s photon as in Eq. (25) where \({r}_{x}=\frac{1}{3},{r}_{z}=\frac{5}{6}\) for a mixed input and \({r}_{x}=\frac{\sqrt{11}}{6},{r}_{z}=\frac{5}{6}\) for a pure input. Our goal is now to convert the initial states using the IOs available in our experiments. In Fig. 5a, b, the experimentally obtained boundary of state space for deterministic conversion (DC) is shown for the \(x\)-\(z\) plane by red cubes. The boundaries with respect to SC are shown by blue cubes. All solid lines represent theoretical predictions from Theorem 3. Also, the experimental conversion probability is depicted as a function of \(x\)-\(z\) coordinates of the target state \(\sigma\) by cylinders on the right of each plot. The solid lines represent the theoretical predictions from Eq. (6). There is a fundamental difference between pure and mixed inputs: a pure and coherent input can be converted via IOs into any qubit state at least stochastically. For mixed input, this is not the case.
Experimental conversion with assistance
To explore assisted conversions experimentally, we first let Bob share a pure entangled state \({\left|\psi \right\rangle }^{AB}\) with Alice, where Bob’s local state is the state in Eq. (25) with Bloch coordinates \(\left(0,0,\frac{5}{6}\right)\) and \(\left(\frac{1}{3},0,\frac{5}{6}\right)\). Our experimental results are shown in Fig. 5c, d. Remarkably, due to Theorem 6, the probability for assisted conversion only depends on the \(z\)-coordinate of the initial state, which explains the close similarity of both the state spaces and conversion probabilities in Fig. 5c, d. We also experimentally test two Werner states, one with entanglement and one without. In Fig. 6, the DC boundaries are shown in purple and blue for the two states. In accordance with Eq. (13), resorting to SCs does not allow to prepare additional states.
Comparison of the experimental protocols
Compared with DC, Bob can obtain more states when he allows for SC and even obtain all qubit states by taking advantage of assistance. This can be seen in Fig. 7, where we compare our results for the different protocols. In Fig. 7a, we experimentally show the boundary of accessible state space, both deterministically and stochastically, with and without assistance. Noting that the \({\ell }_{1}\) norm of coherence10 \({C}_{{\ell }_{1}}\) reads
for qubit states, we can obtain a relation between the coherence of a target state and the probability to obtain it using IOs. The experimental results are shown in Fig. 7b. Although local coherence can never be increased deterministically, we can still exceed the original coherence at the expense of success probability. A maximally coherent state \(\left|+\right\rangle\) can be obtained by utilizing SC and assistance.
Discussion
In this work we study the problem of quantum-state conversion within the resource theory of quantum coherence, both theoretically and experimentally. The state-conversion problem is important in any resource theory, as it determines the value of states for protocols using the resource under study. The result presented here are a significant generalization of recent results on single-shot coherence theory16,17,20,21,22 and single-shot resource theories in general,23 and include necessary conditions on the existence of SCs, which we generalized to higher dimensions.
In most resource theories, one is also interested in the possibilities of asymptotic state conversion, where many instances of the initial and final state are available. As we have shown, our results also pave the way towards a complete solution of this problem: our single-shot conversion rate gives a lower bound on the asymptotic conversion rate, which is in some areas significantly better than the best previously known bound.11 In addition, it coincides for some states with an upper bound from ref. 11 solving the asymptotic conversion problem in these cases. Moreover, the results allow us to investigate the irreversibility of coherence theory in the asymptotic limit and to determine the possible distillable coherence for fixed coherence cost.
Experimentally implementing non-unitary IOs, we demonstrated that a quantum optical experiment can closely achieve the expected optimal conversion rates. The corresponding optical setup should be seen as a building block for more general transformations, also going beyond single qubits and IOs. The results presented in this work can then serve as benchmarks for these more advanced setups.
Data availability
All data not included in the paper and its Supplementary Material are available upon reasonable request from the corresponding authors.
References
Horodecki, R., Horodecki, P., Horodecki, M. & Horodecki, K. Quantum entanglement. Rev. Mod. Phys. 81, 865–942 (2009).
Bennett, C. H. et al. Teleporting an unknown quantum state via dual classical and einstein-podolsky-rosen channels. Phys. Rev. Lett. 70, 1895–1899 (1993).
Einstein, A., Podolsky, B. & Rosen, N. Can quantum-mechanical description of physical reality be considered complete? Phys. Rev. 47, 777–780 (1935).
Vedral, V., Plenio, M. B., Rippin, M. A. & Knight, P. L. Quantifying entanglement. Phys. Rev. Lett. 78, 2275–2279 (1997).
Plenio, M. B. & Virmani, S. An introduction to entanglement measures. Quant. Inf. Comp. 7, 1–51 (2007).
Zurek, W. H. Decoherence, einselection, and the quantum origins of the classical. Rev. Mod. Phys. 75, 715–775 (2003).
Bromley, T. R., Cianciaruso, M. & Adesso, G. Frozen quantum coherence. Phys. Rev. Lett. 114, 210401 (2015).
Aberg, J. Quantifying superposition. Preprint at http://arxiv.org/abs/quant-ph/0612146 (2006).
Levi, F. & Mintert, F. A quantitative theory of coherent delocalization. New J. Phys. 16, 033007 (2014).
Baumgratz, T., Cramer, M. & Plenio, M. B. Quantifying coherence. Phys. Rev. Lett. 113, 140401 (2014).
Winter, A. & Yang, D. Operational resource theory of coherence. Phys. Rev. Lett. 116, 120404 (2016).
Chitambar, E. & Gour, G. Critical examination of incoherent operations and a physically consistent resource theory of quantum coherence. Phys. Rev. Lett. 117, 030401 (2016).
Yadin, B., Ma, J., Girolami, D., Gu, M. & Vedral, V. Quantum processes which do not use coherence. Phys. Rev. X 6, 041028 (2016).
Streltsov, A., Adesso, G. & Plenio, M. B. Colloquium: quantum coherence as a resource. Rev. Mod. Phys. 89, 041003 (2017).
Zhu, H., Ma, Z., Cao, Z., Fei, S.-M. & Vedral, V. Operational one-to-one mapping between coherence and entanglement measures. Phys. Rev. A 96, 032316 (2017).
Streltsov, A., Rana, S., Boes, P. & Eisert, J. Structure of the resource theory of quantum coherence. Phys. Rev. Lett. 119, 140402 (2017).
Shi, H.-L. et al. Coherence transformations in single qubit systems. Sci. Rep. 7, 14806 (2017).
Du, S., Bai, Z. & Qi, X. Coherence measures and optimal conversion for coherent states. Quant. Inf. Comp. 15, 1307–1316 (2015).
Du, S., Bai, Z. & Qi, X. Erratum: To “coherence measures and optimal conversion for coherent states” [Quant. Inf. Comp., vol. 15(2015), 1307–1316]. Quant. Inf. Comp. 17, 503–505 (2017).
Regula, B., Fang, K., Wang, X. & Adesso, G. One-shot coherence distillation. Phys. Rev. Lett. 121, 010401 (2018).
Vijayan, M. K., Chitambar, E. & Hsieh, M.-H. One-shot assisted concentration of coherence. J. Phys. A 51, 414001 (2018).
Fang, K., Wang, X., Lami, L., Regula, B. & Adesso, G. Probabilistic distillation of quantum coherence. Phys. Rev. Lett. 121, 070404 (2018).
Gour, G. Quantum resource theories in the single-shot regime. Phys. Rev. A 95, 062314 (2017).
Chitambar, E. & Gour, G. Quantum resource theories. Rev. Mod. Phys. 91, 025001 (2019).
Napoli, C. et al. Robustness of coherence: an operational and observable measure of quantum coherence. Phys. Rev. Lett. 116, 150502 (2016).
Marvian, I. & Spekkens, R. W. How to quantify coherence: distinguishing speakable and unspeakable notions. Phys. Rev. A 94, 052324 (2016).
Hillery, M. Coherence as a resource in decision problems: the Deutsch-Jozsa algorithm and a variation. Phys. Rev. A 93, 012111 (2016).
Matera, J. M., Egloff, D., Killoran, N. & Plenio, M. B. Coherent control of quantum systems as a resource theory. Quant. Sci. Technol. 1, 01LT01 (2016).
Huelga, S. F. & Plenio, M. B. Vibrations, quanta and biology. Contemp. Phys. 54, 181–207 (2013).
Theurer, T., Killoran, N., Egloff, D. & Plenio, M. B. Resource theory of superposition. Phys. Rev. Lett. 119, 230401 (2017).
Chitambar, E. & Gour, G. Comparison of incoherent operations and measures of coherence. Phys. Rev. A 94, 052336 (2016).
Piani, M. et al. Robustness of asymmetry and coherence of quantum states. Phys. Rev. A 93, 042107 (2016).
Killoran, N., Steinhoff, F. E. S. & Plenio, M. B. Converting nonclassicality into entanglement. Phys. Rev. Lett. 116, 080402 (2016).
Chin, S. Coherence number as a discrete quantum resource. Phys. Rev. A 96, 042336 (2017).
Chin, S. Generalized coherence concurrence and path distinguishability. J. Phys. A 50, 475302 (2017).
Chitambar, E. et al. Assisted distillation of quantum coherence. Phys. Rev. Lett. 116, 070402 (2016).
Streltsov, A., Rana, S., Bera, M. N. & Lewenstein, M. Towards resource theory of coherence in distributed scenarios. Phys. Rev. X 7, 011024 (2017).
Yuan, X., Zhou, H., Cao, Z. & Ma, X. Intrinsic randomness as a measure of quantum coherence. Phys. Rev. A 92, 022124 (2015).
Horodecki, M., Horodecki, P. & Horodecki, R. Mixed-state entanglement and distillation: Is there a “bound” entanglement in nature? Phys. Rev. Lett. 80, 5239–5242 (1998).
Horodecki, M., Oppenheim, J. & Horodecki, R. Are the laws of entanglement theory thermodynamical? Phys. Rev. Lett. 89, 240403 (2002).
Brandão, F. G. S. L. & Gour, G. Reversible framework for quantum resource theories. Phys. Rev. Lett. 115, 070503 (2015).
Streltsov, A., Singh, U., Dhar, H. S., Bera, M. N. & Adesso, G. Measuring quantum coherence with entanglement. Phys. Rev. Lett. 115, 020403 (2015).
Wu, K.-D. et al. Experimentally obtaining maximal coherence via assisted distillation process. Optica 4, 454–459 (2017).
Wu, K.-D. et al. Experimental cyclic interconversion between coherence and quantum correlations. Phys. Rev. Lett. 121, 050401 (2018).
Qi, B. et al. Quantum state tomography via linear regression estimation. Sci. Rep. 3, 3496 (2013).
Acknowledgements
We acknowledge useful discussions with Dario Egloff, Swapan Rana, Christine Silberhorn, and Jan Sperling. K.-D.W., G.-Y.X., C.-F.L., and G.-C.G. acknowledge support from the National Nature Science Foundation of China (NSFC; 11574291 and 11774334), National Key R&D Program (2016YFA0301700), and Anhui Initiative in Quantum Information Technologies. M.B.P. and T.T. acknowledge support by the ERC Synergy Grant BioQ (grant number 319130) and the BMBF project Q.Link.X. A.S. and K.-D.W. acknowledge financial support by the “Quantum Optical Technologies” project, carried out within the International Research Agendas program of the Foundation for Polish Science co-financed by the European Union under the European Regional Development Fund.
Author information
Authors and Affiliations
Contributions
All authors contributed significantly to this work.
Corresponding authors
Ethics declarations
Competing interests
The authors declare no competing interests.
Additional information
Publisher’s note Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Supplementary information
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons license, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons license and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Wu, KD., Theurer, T., Xiang, GY. et al. Quantum coherence and state conversion: theory and experiment. npj Quantum Inf 6, 22 (2020). https://doi.org/10.1038/s41534-020-0250-z
Received:
Accepted:
Published:
DOI: https://doi.org/10.1038/s41534-020-0250-z
This article is cited by
-
Coherence dynamics of spin systems in critical environment with topological characterization
Quantum Information Processing (2024)
-
A probabilistic model of quantum states for classical data security
Frontiers of Physics (2023)
-
Deterministic controlled enhancement of local quantum coherence
Scientific Reports (2022)
-
Assisted Coherence Distillation of Certain Mixed States
International Journal of Theoretical Physics (2022)
-
Creation of quantum coherence with general measurement processes
Quantum Information Processing (2022)