Introduction

Quantum resource theory1 studies the transformation and conversion of information under certain constrains. The quantification and manipulation of various resources are of central interest in quantum information, quantum thermodynamics, and other fields of physics2,3,4,5. Recently, resource theories have inspired rigorous studies on the long-standing notions of non-classicality in localized systems, where the development of coherence theory has become a fundamental task6,7,8,9,10,11.

Coherence is an intrinsically vulnerable resource, inevitably vanishing at macroscopic scales of space, time, and temperature12,13,14,15,16,17. This becomes apparent in the study of the dynamical behavior of such resource in the presence of dissipation, where the system is rarely isolated and usually loses its information due to its environment18,19,20,21,22,23,24,25,26,27. The problem of classifying memoryless dynamics and dynamics exhibiting memory effects has stimulated numerous investigations on the system-environment interaction. There are two main ideas: one idea, based on divisibility of the dynamical maps28,29, is an analogy with the definition of classical stochastic processes; the other idea30 demonstrates that the memory effects may be accompanied by an information backflow, which is reflected by the non-monotonic behavior of some physical quantities30,31,32,33,34,35,36,37,38,39,40,41,42,43.

Rigorous studies on the dynamical behavior of quantified coherence in non-Markovian dynamics have recently attracted considerable attention44,45,46,47,48,49,50,51,52,53,54. Moreover, information quantifiers based on coherence and the extended coherence with an ancilla have been proposed, for measuring the degree of non-Markovianity. It is known that coherence behaves monotonically in an incoherent Markovian evolution. However, for a general Markovian evolution, the dynamical behavior of quantum coherence is not necessarily monotonic. Moreover, the coherence-based quantifier that evolves monotonically in a certain basis may not evolve monotonically in another basis. Thus, two basic requirements for an advantageous coherence-based non-Markovianity measures are: (a) it is applicable for general evolutions; (b) for a Markovian quantum evolution, the monotonicity of the dynamical behavior of the quantifier is independent of the choice of reference basis.

In this work, we introduce a new way for detecting non-Markovianity based on the \({\mathcal{Q}}{\mathcal{I}}\) REC of a bipartite system55,56,57. Theoretically, we show that Markovianity implies the monotonic behavior of both the \({\mathcal{Q}}{\mathcal{I}}\) REC and the steering-induced coherence (SIC, upper bounded by the \({\mathcal{Q}}{\mathcal{I}}\) REC)56,57. Experimentally, we compare our method with two existing approaches47,48, and verify the advantages of our new method for characterizing non-Markovianity. Moreover, we experimentally detect non-Markovianity via the non-monotonic behavior of both the \({\mathcal{Q}}{\mathcal{I}}\) REC and the SIC, which is coincident with previous results based on entanglement. Our work links the resource theory of coherence to quantum Markovianity.

Results

Quantum Markovianity

In general, quantum evolution can be characterized by a family of one-parameter dynamical maps {Λt,0}, which is completely positive and trace preserving (CPTP) for any t > 0, i.e., a legitimate quantum operation that maps the initial quantum state to the state at time t and we assume that the inverse \({\Lambda }_{t,0}^{-1}\) exists for all time t > 0. Thus, for any t > s > 0, we can write the dynamical map for any t into a composition

$${\Lambda }_{t,0}={\Lambda }_{t,s}{\Lambda }_{s,0}.$$
(1)

However, even though \({\Lambda }_{t}^{-1}\) is well-defined and Λt,0, Λs,0 are completely positive (CP), the map Λt,s does not need to be CP. If for any t > s > 0, Λt,s is CP, then the family of dynamical maps is said to be CP divisible. This leads to the definition of quantum Markovianity, providing a mathematical characterization of a map describing a memoryless evolution as a composition of physical maps. In this paper we adopt CP divisibility as the essential property of quantum Markovianity.

A measure for non-Markovianity, proposed in ref. 40, is based on the idea that Markovian dynamics leads to a monotonic decrease of the entanglement between the open system and an isomorphic ancilla system; whereas non-Markovian dynamics induces a temporary increase of the entanglement. In our experiment we use this result for identifying whether the process is non-Markovian.

Quantum-incoherent relative entropy of coherence

A quantum resource theory (QRT) has several indispensable ingredients, including: constraints, states which contain no resource, and the measure of how much resource a state possesses. The constraints, known as free operations, in a QRT are the permissible operations. Because they do not encompass all physical processes that quantum mechanics allows, only certain physically realizable states of a quantum system can be prepared. These states are often referred to as free states, which is the set of all shapes that can be generated without any cost by a compass and a ruler (free operations). In the following, let us first briefly recall some basic information about free states and free operations in coherence theory.

In the resource theory of coherence, an orthogonal basis \(\{\left|i\right\rangle \}\) is considered classical. Any mixture of such states

$$\chi =\mathop{\sum }\limits_{i}{p}_{i}\left|i\right\rangle \left\langle i\right|$$
(2)

is termed incoherent, and thus is free.

Incoherent operations are naturally introduced as physical transformations that do not create coherence6, which are the free operations in this context. These quantum operations Λ admit an incoherent Kraus decomposition

$$\Lambda [\rho ]=\mathop{\sum }\limits_{i}{K}_{i}\rho {K}_{i}^{\dagger }$$
(3)

with incoherent Kraus operators Ki, i.e., \({K}_{i}{\mathcal{I}}{K}_{i}^{\dagger }\subseteq {\mathcal{I}}\) for the set of incoherent states \({\mathcal{I}}\).

The amount of coherence for a general quantum state C quantifies how close it is from the set of incoherent states with respect to a given reference basis, i.e.,

$$C(\rho )=\mathop{\min }\limits_{\chi \in {\mathcal{I}}}D(\rho \parallel \chi ),$$
(4)

where D is a distance measure between two quantum states and \({\mathcal{I}}\) denotes the set of incoherent states. In this paper, we adopt the relative entropy as the measure for coherence Cr, i.e., \(D(\rho \parallel \chi )=S(\rho \parallel \chi )={\rm{Tr}}[\rho {\mathrm{log}\,}_{2}\rho -\rho {\mathrm{log}\,}_{2}\chi ]\)58. And the relative entropy of quantum coherence for a general quantum state ρ can be exactly evaluated as Cr(ρ) = Sρ) − S(ρ), where \(S(\rho )={\rm{Tr}}[\rho {\mathrm{log}\,}_{2}\rho ]\).

Strictly, Cr never increases under CPTP incoherent operations. However, when taking the advantage of assistance55,59,60, one can increase Cr. Considering a bipartite system (Alice and Bob) sharing a quantum state described by ρAB, assume Alice can perform any local generalized measurement on her system and broadcast the outcomes to Bob. Then Bob can prepare more coherent states than his own states. In particular, the SIC55,56,57, denoted as \({\bar{C}}_{r}^{B}({\rho }^{AB})\), is defined as the maximal average coherence on Bob’s side, with the assistance of Alice,

$${\bar{C}}_{r}^{B}({\rho }^{AB})=\mathop{\max }\limits_{{{\mathcal{M}}}_{A}}\mathop{\sum }\limits_{m}{p}_{m}{C}_{r}({\rho }_{m}^{B}),$$
(5)

where the optimization is taken over all local measurement \({{\mathcal{M}}}_{A}\) on Alice, and ρm is the state of Bob corresponding to the measurement outcome m of Alice.

The SIC captures the steerability from Alice to Bob, where coherence on Bob’s side is demanded. Generally, the identification of the SIC needs a non-trivial optimization over all possible measurements of Alice. The upper bound of this quantity, the \({\mathcal{Q}}{\mathcal{I}}\) REC was recently introduced in refs 55,59. For a bipartite state ρAB, the \({\mathcal{Q}}{\mathcal{I}}\) REC \({C}_{r}^{A| B}\) can be evaluated as

$${C}_{r}^{A| B}({\rho }^{AB})\equiv \mathop{\min }\limits_{{\chi }^{A| B}\in {{\mathcal{I}}}^{A| B}}S({\rho }^{AB}\parallel {\chi }^{A| B}),$$
(6)

where χAB denotes the bipartite states that are quantum-incoherent (\({\mathcal{Q}}{\mathcal{I}}\)), i.e.,

$${\chi }^{A| B}=\mathop{\sum }\limits_{i}{p}_{i}{\sigma }_{i}^{A}\otimes \left|i\right\rangle {\left\langle i\right|}^{B},$$
(7)

where \({\sigma }_{i}^{A}\) represents an arbitrary quantum state, belonging to Alice. Equation (6) can also be evaluated as \({C}_{r}^{A| B}({\rho }^{AB})=S[{\Delta }^{B}({\rho }^{AB})]-S({\rho }^{AB})\), where ΔB denotes a partial decoherence map on Bob’s system. From the results in refs 55,59, we know that

$${C}_{r}^{A| B}({\rho }^{AB})\ge {\bar{C}}_{r}^{B}({\rho }^{AB})$$
(8)

where ρAB stands for general bipartite mixed states. Note that the \({\mathcal{Q}}{\mathcal{I}}\) REC is a measure that is important in the resource theory of coherence. It is often related to the measure of quantum correlations, but is in general different from entanglement or correlation measure. And it also quantifies the upper bound for the ability of preparing the maximally coherent state \(\left|+\right\rangle =\frac{1}{\sqrt{2}}(\left|0\right\rangle +\left|1\right\rangle )\) in asymptotic setting (see the Supplementary Information for details on the \({\mathcal{Q}}{\mathcal{I}}\) REC).

Previous results

Before describing our main results, we first introduce previous results (for non-Markovianity based on coherence measure that were proposed and tested very recently44,45,46,47,48,49,50,51,52,53,54). The previous results can be summarized as two main approaches, and both are applicable to detecting and quantifying the non-Markovianity of incoherent open system dynamics (IOSD).

Reference47 utilizes the fact6 that any coherence measure monotonically decreases under CPTP incoherent operations,

$$C\left[\Lambda (\rho )\right]\le C(\rho ),$$
(9)

for all incoherent operations Λ. Thus coherence can be used for detecting the non-Markovianity for quantum dynamics that preserves the set of incoherent states. This can be summarized in the following lemma53,

  • Lemma 1—Consider a quantum system ρ undergoing an IOSD characterized by Λt,0. Let ρs, ρt denote the quantum state after the evolution times s and t, respectively. The amount of quantum coherence decreases monotonically, i.e.,

    $$C\left({\rho }_{t}\right)\le C\left({\rho }_{s}\right),\forall t\;>\;{s}\;>\;0,$$
    (10)

    where C represents a coherence measure based on a contractive distance, such as relative entropy or l1-norm6.

In the Supplementary Information, we give a proof for this statement.

Reference48 proposed an alternative non-Markovianity measure based on the relative entropy of coherence, which uses the whole relative entropy of coherence in an extended Hilbert space constituted by the open system (A) and its ancillary (B). This can be summarized as the second lemma48,

  • Lemma 2—Consider the aforementioned bipartite system described by ρAB, only Alice undergoes an IOSD characterized by Λt,0. Let \({\rho }_{s}^{AB}\) and \({\rho }_{t}^{AB}\) denote the overall quantum state after the evolution times s and t, respectively. The amount of relative entropy of quantum coherence for the whole system decreases monotonically, i.e.,

    $$C\left({\rho }_{t}^{AB}\right)\le C\left({\rho }_{s}^{AB}\right),\ \forall t\;>\;{s}\;>\;0.$$
    (11)

Thus the proposed measure can effectively capture the characteristics of non-Markovianity of open quantum processes. A proof for this relation is presented in the Supplementary Information.

The above two methods can be used to effectively characterize non-Markovianity for incoherent quantum dynamics, and are the first two theoretical works on the relation between quantum coherence and non-Markovianity of a quantum process.

Non-Markovianity witness via \({\mathcal{Q}}{\mathcal{I}}\) REC and SIC

With the above theoretical background, we now present our main results, which can be applicable to general quantum dynamics. The theoretical framework is shown in Fig. 1. Considering the aforementioned bipartite system and assuming Alice will interact with her environment while Bob is kept isolated, then we have the following theorem.

  • Theorem 1—In a bipartite state (Alice and Bob), assume that Alice undergoes an evolution characterized by {Λt,0}. Then the \({\mathcal{Q}}{\mathcal{I}}\) REC decreases monotonically if {Λt,0} is CP divisible, i.e.,

    $${C}_{r}^{A| B}({\rho }_{t}^{AB})\le {C}_{r}^{A| B}({\rho }_{s}^{AB}),\ \ \forall t\; >\;{s}\;>\;0,$$
    (12)

    where \({\rho }_{s}^{AB}\) and \({\rho }_{t}^{AB}\) are the states after the evolution times s and t, respectively.

Fig. 1: Theoretical framework.
figure 1

Consider a bipartite system involving Alice (red, system) and Bob (blue, ancilla) with nonzero initial \({\mathcal{Q}}{\mathcal{I}}\) REC, which is shown by the larger volume of Bob. The environment is shown as green and can interact with Alice’s system, while Bob is immune to the environment. Then Alice undergoes a quantum evolution characterized by a family of t-parameterized dynamical maps {Λt}. If the evolution is CP divisible, then the \({\mathcal{Q}}{\mathcal{I}}\) REC decreases monotonically. The CP divisibility also affects the ability of preparing coherent states on Bob’s system, as shown by the decrease of Bob's volume. However, any temporal increase of the \({\mathcal{Q}}{\mathcal{I}}\) REC or the SIC indicates the violation of CP divisibility, and non-Markovianity.

The proof of this theorem is given in the Supplementary Information, using the contractivity of the relative entropy under CPTP maps and the fact that ΔB and ΛA commute with each other. This result demonstrates that the \({\mathcal{Q}}{\mathcal{I}}\) REC on Bob’s side provides a new method for characterizing the CP divisibility of a general quantum process on Alice’s side. Also the violation of the monotonic behavior of the \({\mathcal{Q}}{\mathcal{I}}\) REC indicates non-Markovianity.

An interesting observation is that the \({\mathcal{Q}}{\mathcal{I}}\) REC quantifies the upper bound for the ability of preparing coherent states on Bob’s side with the assistance of Alice in the asymptotic setting. We then naturally ask whether the Markovianity on Alice’s side will shrink the volume of accessible states on Bob’s side, thus affecting the maximal coherence on Bob’s side. We now introduce our second main result regarding the dynamical behavior of SIC during a general quantum evolution.

• Theorem 2—In the aforementioned bipartite system and assuming that Alice undergoes an evolution characterized by {Λt,0}. Then the SIC decreases monotonically if {Λt,0} is CP divisible, i.e.,

$${\bar{C}}_{r}^{B}({\rho }_{t}^{AB})\le {\bar{C}}_{r}^{B}({\rho }_{s}^{AB}),\ \ \forall t\;>\;{s}\;>\;0.$$
(13)

A detailed proof is given in the Supplementary Information, and the main idea is as follows. We first extend Alice to an appropriate composite system of A and \(A^{\prime}\), then the CPTP map ΛA on Alice can be viewed as a unitary operation acting on both A and \(A^{\prime}\). We show that if we perform a measurement across A and \(A^{\prime}\), the average coherence Bob will get is no more than what we can obtain from a local measurement on Alice, if A and \(A^{\prime}\) are a product state \({\rho }^{A}\otimes {\rho }^{A^{\prime} }\). The unitary operation does not change the maximal coherence on Bob’s side, as all local measurements can be linked to performing a unitary operation followed by a measurement on a fixed basis. Then we can see that after the unitary we obtain the same maximal average coherence using a collective measurement, which is strictly greater than the coherence obtained via a local measurement on Alice. We can say that the CPTP maps on Alice’s side shrink the maximal accessible coherence on Bob’s side. And thus the non-monotonic behavior of the SIC indicates non-Markovianity of the quantum evolution.

Experiments

There have been several platforms for simulating61,62 open system dynamics, such as quantum optics63,64,65,66, trapped ions67, and Nuclear Magnetic Resonance68. In our experiments, the system-environment interaction is provided by the coupling of the polarization degree (Alice, the open system) and frequency degree (environment) of Alice’s photons. The experimental setup is illustrated in Fig. 2, and is constructed by three modules: (I) state preparation, (II) evolution, and (III) non-Markovianity detection.

Fig. 2: The experimental setup is constructed by three modules.
figure 2

(I) State preparation, (II) evolution, and (III) detection. The detailed experimental setup is described in the Supplementary Information. The optical elements include: IF interference filter; HWP half-wave plate; QWP quarter-wave plate; QP quartz plate; FP Fabry-Perot cavity; BBO β-barium borate; SPD single photon detector; FC fiber coupler; PBS polarizing beam splitter; Env, environment QST, quantum state tomography.

In (I), entangled photon pairs with a central wavelength λ = 702.2 nm can be generated via a spontaneous parametric down-conversion process (SPDC). Two interference filters with a 4-nm full width at half maximum (FWHM) are placed to filter out the proper transmission peaks. A 0.6-mm thick Fabry-Pérot cavity (FP) can be inserted into Alice’s arm to change her initial environment.

In (II), the system-environment interaction takes place, which is realized by several quartz crystals. In (III), we perform quantum state tomography for detecting the related coherence-based measure. (For detailed information, see the Supplementary Information).

The purpose of our optical experiments is three-fold:

  • Implementing a monotonicity test that validates our method using \({\mathcal{Q}}{\mathcal{I}}\) REC is correct even when the reference basis is changed, compared to previous ones.

  • Utilizing the aforementioned method (the \({\mathcal{Q}}{\mathcal{I}}\) REC) for detecting non-Markovianity in different reference bases.

  • Showing how non-Markovianity can temporally increase the ability of preparing more coherent states on Bob’s side, when Bob’s system is kept isolated and can only receive classical information from Alice. Moreover, the increase or decrease in the ability of creating more coherent states is coincident with entanglement and \({\mathcal{Q}}{\mathcal{I}}\) REC.

Thus we arrange our experiments in two parts. In the first part, we implement a monotonicity test. In particular, we rotate the angles of all QPs to 20°, producing a pure decoherence in the eigenbasis of σ n0 on Alice, where \({{\boldsymbol{n}}}_{0}=\cos 2\theta {{\boldsymbol{e}}}^{X}+\sin 2\theta {{\boldsymbol{e}}}^{Z}\) and θ = 20°, showing the non-monotonic behavior of the extended coherence and the local coherence. In order to experimentally explore the dynamical behaviors of: the concurrence \({E}_{c}^{AB}({\rho }_{t}^{AB})\), the \({\mathcal{Q}}{\mathcal{I}}\) REC \({C}_{r}^{A| B}({\rho }_{t}^{AB})\), and the extended coherence \({C}_{r}({\rho }_{t}^{AB})\), we prepared an initial state as a maximally entangled state

$$\left|{\Phi }_{0}\right\rangle =\frac{1}{\sqrt{2}}({\left|0\right\rangle }^{A}{\left|0\right\rangle }^{B}+{\left|1\right\rangle }^{A}{\left|1\right\rangle }^{B}).$$
(14)

For testing the dynamical behavior of the local coherence \({C}_{r}({\rho }_{t}^{A})\), we prepare an initially incoherent pure state \({\left|0\right\rangle }^{A}\) on Alice’s side, while Bob’s photon is used as a trigger.

Let us now show the results of the monotonicity test first. Alice sees a spectral Gaussian as the FP is not inserted. Figure 3a illustrates the experimental dynamical behavior of these quantifiers, with respect to the \({\sigma }_{z}^{A}\otimes {\sigma }_{z}^{B}\) basis. In particular, the experimentally obtained \({E}_{c}^{AB}({\tilde{\rho }}_{t}^{AB})\), \({C}_{r}^{A| B}({\tilde{\rho }}_{t}^{AB})\), \({C}_{r}({\tilde{\rho }}_{t}^{AB})\), and \({C}_{r}({\tilde{\rho }}_{t}^{A})\) at various evolution times t are shown as black diamonds, blue squares, purple up-triangles, and red disks. The tilde denotes experimentally reconstructed quantum states. These results indicate that there exists a Markovian quantum evolution in which both \({C}_{r}({\rho }_{t}^{AB})\) and \({C}_{r}({\rho }_{t}^{A})\) behave non-monotonically, while \({C}_{r}^{A| B}({\rho }_{t}^{AB})\) decreases monotonically. Thus both \({C}_{r}({\rho }_{t}^{AB})\) and \({C}_{r}({\rho }_{t}^{A})\) are not suitable for characterizing Markovianity in general processes.

Fig. 3: Experimental results for monotonicity testing.
figure 3

The Markovian evolution is constructed as decoherence in the eigenbasis of σ n0, where \({{\boldsymbol{n}}}_{0}=\cos 4{0}^{\circ }{{\boldsymbol{e}}}^{X}+\sin 4{0}^{\circ }{{\boldsymbol{e}}}^{Z}\) and σ = (σx, σy, σz). The evolution is implemented on both: a single system (Alice is prepared in \(\left|0\right\rangle\)) and a bipartite system (Alice and Bob share a maximally entangled state \({\left|\phi \right\rangle }^{AB}\)). In a, the experimental values for the concurrence, the \({\mathcal{Q}}{\mathcal{I}}\) REC, the extended coherence (with respect to the eigenbasis of \({\sigma }_{z}^{A}\otimes {\sigma }_{z}^{B}\)), and the local coherence of Alice (with respect to the \({\sigma }_{z}^{A}\) basis) are shown as black diamonds, blue squares, purple up-triangles, and red disks, respectively. The dynamical behaviors of these coherence quantifiers are also shown with respect to different bases. The experimental values for the \({\mathcal{Q}}{\mathcal{I}}\) REC, the extended coherence, and the local coherence with respect to different bases are also calculated and shown in bd, respectively. For the \({\mathcal{Q}}{\mathcal{I}}\) REC, we choose five reference bases as the eigenbasis of \({\sigma }_{z}^{A}\otimes [{\boldsymbol{\sigma }}\cdot {\boldsymbol{n}}({\theta }_{i}^{B})]\), where \({\boldsymbol{n}}({\theta }_{i}^{B})=\sin 2{\theta }_{i}^{B}{{\boldsymbol{e}}}^{X}+\cos 2{\theta }_{i}^{B}{{\boldsymbol{e}}}^{Z}\), and i = 1–5. The values of \({\theta }_{i}^{B}\) are shown in b. In the right of b, squares in different colors show the dynamical behavior of the \({\mathcal{Q}}{\mathcal{I}}\) REC in different bases. For the extended coherence, the different reference bases are also chosen as eigenbasis of \({\sigma }_{z}^{A}\otimes [{\boldsymbol{\sigma }}\cdot {\boldsymbol{n}}({\theta }_{i}^{B})]\) for various \({\theta }_{i}^{B}\). For the local coherence, five different bases of Alice are chosen according to the eigenbasis of \({\boldsymbol{\sigma }}\cdot {\boldsymbol{n}}({\theta }_{i}^{A})\). The choices of \({\theta }_{i}^{A(B)}\) are shown in the corresponding sub figures. All solid lines represent numerical simulations considering the fidelity of the states prepared in our laboratory, deduced assuming that the spectrum of Alice's photon is a Gaussian profile with a FWHM of 4 nm.

Figures 3b–d compare the dynamical behaviors of the aforementioned quantifiers in different bases. In particular, the experimentally obtained \({C}_{r}^{A| B}({\tilde{\rho }}_{t}^{AB})\) in different bases with respect to the \({\sigma }_{z}^{A}\otimes [{\boldsymbol{\sigma }}\cdot {\boldsymbol{n}}({\theta }_{i}^{B})]\) basis are shown in (b), where the orientations of \({\boldsymbol{n}}({\theta }_{i}^{B})\) are shown in the Bloch representation in the left of (b), with \({\theta }_{1}^{B}={0}^{\circ }\) (blue), \({\theta }_{2}^{B}={8}^{\circ }\) (red), \({\theta }_{3}^{B}=1{6}^{\circ }\) (green), \({\theta }_{4}^{B}=5{0}^{\circ }\) (purple) and \({\theta }_{5}^{B}=7{0}^{\circ }\) (orange). In (c), the experimentally obtained \({C}_{r}({\tilde{\rho }}_{t}^{AB})\) in different bases (\({\sigma }_{z}^{A}\otimes [{\boldsymbol{\sigma }}\cdot {\boldsymbol{n}}({\theta }_{i}^{B})]\) basis) are shown, while this time we make different choices of \({\theta }_{i}^{B}\), as shown in the plot. In (d), the \({C}_{r}({\tilde{\rho }}_{t}^{A})\) are also experimentally obtained and shown with respect to different basis (\({\boldsymbol{\sigma }}\cdot {\boldsymbol{n}}({\theta }_{i}^{A})\) basis); also the choice of \({\theta }_{i}^{A}\) is listed in (d). It is clear that \({C}_{r}^{A| B}({\tilde{\rho }}_{t}^{AB})\) behaves monotonically in all the bases, during the Markovian evolution. And when θB = 0° or 15, \({C}_{r}({\tilde{\rho }}_{t}^{AB})\) will temporally increase. Non-monotonic behaviors of \({C}_{r}({\tilde{\rho }}_{t}^{A})\) can be obviously observed in our experiments in most chosen bases. In summary, the monotonicity test indicates that using only coherence (both a single system and an extended bipartite system) cannot characterize the Markovianity of a general evolution. While the behavior of the \({\mathcal{Q}}{\mathcal{I}}\) REC is monotonic and thus is suitable for characterizing Markovianity.

Let us now move to the second part of our experiments, which utilizes \({\mathcal{Q}}{\mathcal{I}}\) REC to detect non-Markovianity and show how non-Markovianity can temporally enhance the ability of preparing more coherent states on Bob’s side. In particular, we implement a quantum evolution that is non-Markovian. Since either the extended coherence or the local coherence behaves non-monotonically even in a Markovian process, we do not show them in the second part of the experiments. The evolution is constructed as decoherence in the σz basis. We insert a FP into Alice’s path, resulting in a modification of the spectrum of the frequency of Alice’s photons. At different evolution times t, the values for the concurrence and the \({\mathcal{Q}}{\mathcal{I}}\) REC (with respect to different bases) are obtained. The relevant experimental values are shown as black diamonds and blue squares in Figs. 4a, b. The dynamical behaviors of \({\bar{C}}_{r}^{B}({\tilde{\rho }}_{t}^{AB})\) and the local coherence of Bob \({C}_{r}^{B}({\tilde{\rho }}_{t}^{B})\) are also shown (in the \({\sigma }_{z}^{B}\) basis) as green down-triangles and pink disks in Fig. 5a. And the evolution of the optimal steered states are shown in Fig. 5b. It is clear that the non-Markovianity of a quantum evolution will temporally increase both the observed \({C}_{r}^{A| B}({\tilde{\rho }}_{t}^{AB})\) and \({\bar{C}}_{r}^{B}({\tilde{\rho }}_{t}^{AB})\) in our experimental protocols. The signal of non-Markovianity can be captured by \({C}_{r}^{A| B}({\tilde{\rho }}_{t}^{AB})\) in all the basis we choose. Moreover, we experimentally show that the non-Markovianity will also temporally increase the volume of accessible states on Bob’s side, resulting in an increase in the optimal steered coherence.

Fig. 4: Experimental results for detecting non-Markovianity via \({\mathcal{Q}}{\mathcal{I}}\) REC.
figure 4

The evolution is constructed as pure decoherence in the σz basis. The experimental values for the concurrence and the \({\mathcal{Q}}{\mathcal{I}}\) REC (with respect to the eigenbasis of \({\sigma }_{z}^{A}\otimes {\sigma }_{z}^{B}\)) at different evolution times t are shown as black diamonds and blue squares in a. For the \({\mathcal{Q}}{\mathcal{I}}\) REC, four different bases are chosen according to the eigenbasis of \({\sigma }_{z}^{A}\otimes [{\boldsymbol{\sigma }}\cdot {\boldsymbol{n}}({\theta }_{i}^{B})]\) with different \({\theta }_{i}^{B}\). Experimental results are shown in b. All solid lines represent numerical simulations considering experimental imperfections, which are deduced assuming that the spectrum of Alice's photon is a sum of two Gaussians centered at two different frequencies.

Fig. 5: Experimental results for detecting Non-Markovianity via SIC.
figure 5

The dynamical behavior of the SIC (in the \({\sigma }_{z}^{B}\) basis) was also investigated under the aforementioned evolution. The experimental values are shown in a. In the presence of the non-Markovian decoherence noise, the optimal measurement on Alice's system is \({\sigma }_{x}^{A}\) measurement on Alice. b Illustrates the dynamical behavior of the SIC with respect to the \({\sigma }_{z}^{B}\) basis. The assisted state conversion process consists of a \({\sigma }_{x}^{A}\) measurement and the broadcast of outcomes 0 or 1 to Bob. Bob then can prepare a more coherent state at each time t. Bob's two steered states and local states are shown as Bloch vectors in green and pink respectively, and the radius of the disks \(R(t)=\sqrt{{r}_{x}{(t)}^{2}+{r}_{y}{(t)}^{2}}\) show the coherence of each state. The experimental values for the local coherence on Bob's system are shown in a as pink disks.

All solid lines represent numerical simulations also considering experimental imperfections. In the Supplementary Information, we show that the experimental results admit a theoretical analysis, and we also perform numerical simulations to show that both the \({\mathcal{Q}}{\mathcal{I}}\) REC and the SIC are applicable to a large range of quantum processes for witnessing non-Markovianity.

Discussion

In this work, we theoretically provided a method for characterizing Markovianity based on the \({\mathcal{Q}}{\mathcal{I}}\) REC (between an open system and an ancilla). We experimentally investigated the evolution of the local coherence, the extended coherence, the \({\mathcal{Q}}{\mathcal{I}}\) REC, and the SIC in both Markovian and non-Markovian processes. We highlight the two-fold advantages of our method: on the one hand, it overcomes the constraint in refs. 47,48,52 as it can be applied to general quantum evolutions; on the other hand, the information carrier based on \({\mathcal{Q}}{\mathcal{I}}\) REC does not need any non-trival optimization. Moreover, in the experiments with non-Markovian processes, these results show that information backflow can enhance the ability of preparing coherent states on the ancilla system, linking non-Markovianity to the resource theory of quantum coherence.

Compared to existing methods for quantifying the degree of non-Markovinaity for a quantum process, our methods have certain advantages beyond the direct connection to quantum coherence. We also propose a potential candidate for measuring non-Markovianity based on \({\mathcal{Q}}{\mathcal{I}}\) REC, where the optimization is taken over all the bases of Bob. The Supplementary Information detail these issues.

A full understanding of these connections still remains open. Quantum coherence has been regarded as a type of resource which is more fundamental than quantum correlations, and current researches highlight the links between different quantum resources69,70,71. Though relatively elegant solutions come up in the context of coherence and correlations, a natural question arises that whether there exists a construction for the links between general quantum resources and non-Markovianity.

Another promising line of research is studying the dynamics of resource conversion processes. It has been put forward that utilizing correlated resources, together with measurement feed-forward, can be advantageous in implementing certain gates in measurement-based computation72. If the non-Markovianity could be related to enhancing the operational advantages of such protocols, it could imply that operational benefits can emerge when information backflow takes place.