Quantum states transformation under free operations plays a central role in the resource theory of coherence. In this paper, we investigate the transformation from a mixed coherent state into a pure one by using both incoherent operations and stochastic incoherent operations. We show that contrary to the strictly incoherent operations and the stochastic strictly incoherent operations, both the incoherent operations and the stochastic incoherent operations can increase the dimension of the maximal pure coherent subspace of a state. This means that the incoherent operations are generally stronger than the strictly incoherent operations when we want to transform a mixed coherent state into a pure coherent one. Our findings can also be interpreted as confirming the ability of incoherent operations to enhance the coherence of mixed states relative to certain coherence monotones under strictly incoherent operations.
We present a detailed analysis of decoherence free subspaces and develop a rigorous theory that provides necessary and sufficient conditions for dynamically stable decoherence free subspaces. This allows us to identify a special class of decoherence free states which rely on incoherent generation of coherences. We provide examples of physical systems that support such states. Our approach employs Markovian master equations and applies primarily to finite-dimensional quantum systems.
In this paper, we address the issue of enhancing coherence of a state under stochastic strictly incoherent operations. Based on the $l_1$ norm of coherence, we obtain the maximal value of coherence that can be achieved for a state undergoing a stochastic strictly incoherent operation and the maximal probability of obtaining the maximal coherence. Our findings indicate that a pure state can be transformed into a maximally coherent state under a stochastic strictly incoherent operation if and only if all the components of the pure state are nonzero while a mixed state can never be transformed in…
We present a scheme for dissipatively generating maximal entanglement in a heralded manner. Our setup requires incoherent interactions with two thermal baths at different temperatures, but no source of work or control. A pair of $(d+1)$-dimensional quantum systems is first driven to an entangled steady state by the temperature gradient, and maximal entanglement in dimension $d$ can then be heralded via local filters. We discuss experimental prospects considering an implementation in superconducting systems.
Manipulation and quantification of quantum resources are fundamental problems in quantum physics. In the asymptotic limit, coherence distillation and dilution have been proposed by manipulating infinite identical copies of states. In the non-asymptotic setting, finite data-size effects emerge, and the practically relevant problem of coherence manipulation using finite resources has been left open. This letter establishes the one-shot theory of coherence dilution, which involves converting maximally coherent states into an arbitrary quantum state using maximally incoherent operations, dephasing…
We mainly study the block-coherence measures based on resource theory of block-coherence and the coherence measures based on positive-operator-valued measures (POVM). Several block-coherence measures including a block-coherence measure based on maximum relative entropy, the one-shot block coherence cost under the maximally block-incoherent operations, and a coherence measure based on coherent rank have been introduced and the relationships between these block-coherence measures have been obtained. We also give the definition of the maximally block-coherent state and describe the deterministic …
We study Schmidt rank for a vector (i.e., a pure state) and Schmidt number for a mixed state which are entanglement measures. We show that if a subspace of a certain bipartite system contains no vector of Schmidt rank $\leqslant k$, then any state supported on that space has Schmidt number at least $k+1$. A construction of subspace of $\mathbb{C}^m \otimes \mathbb{C}^n$ of maximal dimension, which does not contain any vector of Schmidt rank less than $3$, is given here.
A completely entangled subspace of a tensor product of Hilbert spaces is a subspace with no non-trivial product vector. K. R. Parthasarathy determined the maximum dimension possible for such a subspace. Here we present a simple explicit example of one such space. We determine the set of product vectors in its orthogonal complement and see that it spans whole of the orthogonal complement. This way we are able to determine the minimum dimension possible for an unextendible product basis (UPB) consisting of product vectors which are linearly independent but not necessarily mutually orthogonal.
The remote control of coherence is a crucial step for its application in quantum computation. We investigate the maximal steered coherence (MSC) and its conversion to entanglement in multiple bosonic reservoirs. It is shown that the MSC decays with time in the Markovian regime and behaves as damped oscillations in the non-Markovian regime. The MSC can also be connected directly to the strength of non-Markovianity, through which we show that it can be noticeably enhanced by taking full advantage of the non-Markovian effects. Besides, the MSC can be converted completely to entanglement via optim…
Let $\mathcal{H}_i$ be a finite dimensional complex Hilbert space of dimension $d_i$ associated with a finite level quantum system $A_i$ for $i = i, 1,2, ..., k$. A subspace $S \subset \mathcal{H} = \mathcal{H}_{A_{1} A_{2}... A_{k}} = \mathcal{H}_1 \otimes \mathcal{H}_2 \otimes ... \otimes \mathcal{H}_k $ is said to be {\it completely entangled} if it has no nonzero product vector of the form $u_1 \otimes u_2 \otimes ... \otimes u_k$ with $u_i$ in $\mathcal{H}_i$ for each $i$. Using the methods of elementary linear algebra and the intersection theorem for projective varieties in basic algebra…
We characterize the distillation of quantum coherence in the one-shot setting, that is, the conversion of general quantum states into maximally coherent states under different classes of quantum operations. We show that the maximally incoherent operations (MIO) and the dephasing-covariant incoherent operations (DIO) have the same power in the task of one-shot coherence distillation. We establish that the one-shot distillable coherence under MIO and DIO is efficiently computable with a semidefinite program, which we show to correspond to a quantum hypothesis testing problem. Further, we introdu…
Coherence distillation is a basic information-theoretic task in the resource theory of coherence. In this paper, we present the necessary and sufficient conditions under which a mixed state can be distilled into a pure coherent state via stochastic incoherent operations (sIOs). With the help of this result, we further show the following: (i) Any $2$-dimensional coherent state is distillable via sIOs if and only if it is a pure coherent state; (ii) a state $ρ$ is n-distillable via sIOs if and only if it is 1-distillable; and (iii) the set of distillable states via stochastic maximally incoheren…
The ability to distill quantum coherence is pivotal for optimizing the performance of quantum technologies; however, such a task cannot always be accomplished with certainty. Here we develop a general framework of probabilistic distillation of quantum coherence in a one-shot setting, establishing fundamental limitations for different classes of free operations. We first provide a geometric interpretation for the maximal success probability, showing that under maximally incoherent operations (MIO) and dephasing-covariant incoherent operations (DIO) the problem can be simplified into efficiently…
The remarkable phenomenon of catalyst tells us that adding a catalyst could help state transformation. In this paper, we consider the problem of catalyst-assisted probabilistic coherence distillation for mixed states under strictly incoherent operations. To this end, we first present the necessary and sufficient conditions for distilling a target pure coherent state from an initial mixed state via stochastic strictly incoherent operations and the maximal probability of obtaining the target pure state from the initial state. With the help of these results, we present the necessary and sufficien…
The coherence resource theory needs to study the operational value and efficiency which can be broadly formulated as the question: when can one coherent state be converted into another under incoherent operations. We answer this question completely for one-mode continuous-variable systems by characterizing conversion of coherent Gaussian states under incoherent Gaussian operations in terms of their first and second moments. The no-go theorem of purification of coherent Gaussian states is also built. The structure of incoherent Gaussian operations of two-mode continuous-variable systems is disc…
Genuine entanglement is the strongest form of multipartite entanglement. Genuinely entangled pure states contain entanglement in every bipartition and as such can be regarded as a valuable resource in the protocols of quantum information processing. A recent direction of research is the construction of genuinely entangled subspaces -- the class of subspaces consisting entirely of genuinely multipartite entangled pure states. In this paper we present several methods of construction of such subspaces including those of maximal possible dimension. The approach is based on the correspondence betwe…
The non-increasing behavior of quantum coherence during any incoherent quantum process such as an incoherent quantum channel occurring in a noisy environment is a general property of quantum coherence. We address that the concatenation of the quantum Yang-Baxter matrix, which models a unitary quantum channel, can mitigate these losses by offering relative improvements in the coherence for different initial states prepared by two different strategies. By appropriate choice of the parameters, even after the action of the channel the coherence is maximized such that the reduced state of the outpu…
Cohering power and de-cohering power have recently been proposed to quantify the ability of a quantum operation to produce and erase coherence respectively. In this paper, we investigate the properties of cohering power and de-cohering power. First, we prove the equivalence between two different kinds of cohering power for any quantum operation on single qubit systems, which implies that l1 norm of coherence is monotone under Maximally incoherent operation (MIO) and Dephasing-covariant operation (DIO) in 2-dimensional space. In higher dimensions, however, we show that the monotonicity under MI…
Genuinely entangled subspaces (GESs) are the class of completely entangled subspaces that contain only genuinely multiparty entangled states. They constitute a particularly useful notion in the theory of entanglement but also have found an application, for instance, in quantum error correction and cryptography. In a recent study (Demianowicz and Augusiak in Phys Rev A 98:012313, 2018), we have shown how GESs can be efficiently constructed in any multiparty scenario from the so-called unextendible product bases. The provided subspaces, however, are not of maximal allowable dimensions, and our a…
We investigate the maximally coherent states to provide a refinement in quantifying coherence and give a measure-independent definition of the coherence-preserving operations. A maximally coherent state can be considered as the resource to create arbitrary quantum states of the same dimension by merely incoherent operations. We propose that only the maximally coherent states should achieve the maximal value for a coherence measure and use this condition as an additional criterion for coherence measures to obtain a refinement in quantifying coherence which excludes the invalid and inefficient c…
We put forward a simple construction of genuinely entangled subspaces -- subspaces supporting only genuinely multipartite entangled states -- of any permissible dimensionality for any number of parties and local dimensions. The method uses nonorthogonal product bases, which are built from totally nonsingular matrices with a certain structure. We give an explicit basis for the constructed subspaces. An immediate consequence of our result is the possibility of constructing in the general multiparty scenario genuinely multiparty entangled mixed states with ranks up to the maximal dimension of a g…
In this paper, we analyze the evolution of quantum coherence in a two-qubit system going through the amplitude damping channel. After they have gone through this channel many times, we analyze the systems with respect to the coherence of their output states. When only one subsystem goes through the channel, frozen coherence occurs if and only if this subsystem is incoherent and an auxiliary condition is satisfied for the other subsystem. When two subsystems go through this quantum channel, quantum coherence can be frozen if and only if the two subsystems are both incoherent. We also investigat…
The resource theory of quantum coherence studies the off-diagonal elements of a density matrix in a distinguished basis, whereas the resource theory of purity studies all deviations from the maximally mixed state. We establish a direct connection between the two resource theories, by identifying purity as the maximal coherence which is achievable by unitary operations. The states that saturate this maximum identify a universal family of maximally coherent mixed states. These states are optimal resources under maximally incoherent operations, and thus independent of the way coherence is quantif…
We present new bounds on the existence of general quantum maximum distance separable codes (QMDS): the length $n$ of all QMDS codes with local dimension $D$ and distance $d \geq 3$ is bounded by $n \leq D^2 + d - 2$. We obtain their weight distribution and present additional bounds that arise from Rains' shadow inequalities. Our main result can be seen as a generalization of bounds that are known for the two special cases of stabilizer QMDS codes and absolutely maximally entangled states, and confirms the quantum MDS conjecture in the special case of distance-three codes. As the existence of Q…
It is well known that the majorization condition is the necessary and sufficient condition for the deterministic transformations of both pure bipartite entangled states by local operations and coherent states under incoherent operations. In this paper, we present two explicit protocols for these transformations. We first present a permutation-based protocol which provides a method for the single-step transformation of $d$-dimensional coherent states. We also obtain generalized solutions of this protocol for some special cases of $d$-level systems. Then, we present an alternative protocol where…
Coherence distillation is one of the central problems in the resource theory of coherence. In this Letter, we complete the deterministic distillation of quantum coherence for a finite number of coherent states under strictly incoherent operations. Specifically, we find the necessary and sufficient condition for the transformation from a mixed coherent state into a pure state via strictly incoherent operations, which recovers a connection between the resource theory of coherence and the algebraic theory of majorization lattice. With the help of this condition, we present the deterministic coher…
In the task of assisted coherence distillation via the set of operations X, where X is either local incoherent operations and classical communication (LICC), local quantum-incoherent operations and classical communication (LQICC), separable incoherent operations (SI), or separable quantum incoherent operations (SQI), two parties, namely Alice and Bob, share many copies of a bipartite joint state. The aim of the process is to generate the maximal possible coherence on the subsystem of Bob. In this paper, we investigate the assisted coherence distillation of some special mixed states, the states…
We establish a general operational one-to-one mapping between coherence measures and entanglement measures: Any entanglement measure of bipartite pure states is the minimum of a suitable coherence measure over product bases. Any coherence measure of pure states, with extension to mixed states by convex roof, is the maximum entanglement generated by incoherent operations acting on the system and an incoherent ancilla. Remarkably, the generalized CNOT gate is the universal optimal incoherent operation. In this way, all convex-roof coherence measures, including the coherence of formation, are end…
In this paper, we demonstrate a direct correspondence between phase-free ZX diagrams, a graphical notation for representing and manipulating a certain class of linear maps on qubits, and Calderbank-Shor-Steane (CSS) codes, a large family of quantum error correcting codes constructed from classical codes, including for example the Steane code, surface codes, and colour codes. The stabilisers of a CSS code have an especially nice structure arising from a pair of orthogonal $\mathbb F_2$-linear subspaces, or in the case of maximal CSS codes, a single subspace and its orthocomplement. On the other…
We establish a set of resource conversion relationships between quantum coherence and multipartite entanglement in many-body systems, where the operational measures of resource cost and distillation are focused. Under the multipartite incoherent operation, the initial coherence of single-party system bounds the maximal amounts of corresponding operational entanglement in an arbitrary bipartite partition as well as the genuine multipartite entanglement in many-body systems. Furthermore, the converted multipartite entanglement can be transferred to its subsystems and restored to coherence of a s…
We compute analytically the maximal rates of distillation of quantum coherence under strictly incoherent operations (SIO) and physically incoherent operations (PIO), showing that they coincide for all states, and providing a complete description of the phenomenon of bound coherence. In particular, we establish a simple, analytically computable necessary and sufficient criterion for the asymptotic distillability under SIO and PIO. We use this result to show that almost every quantum state is undistillable --- only pure states as well as states whose density matrix contains a rank-one submatrix …
We revisit the basic problem of quantum state certification: given copies of unknown mixed state $ρ\in\mathbb{C}^{d\times d}$ and the description of a mixed state $σ$, decide whether $σ= ρ$ or $\|σ- ρ\|_{\mathsf{tr}} \ge ε$. When $σ$ is maximally mixed, this is mixedness testing, and it is known that $Ω(d^{Θ(1)}/ε^2)$ copies are necessary, where the exact exponent depends on the type of measurements the learner can make [OW15, BCL20], and in many of these settings there is a matching upper bound [OW15, BOW19, BCL20]. Can one avoid this $d^{Θ(1)}$ dependence for certain kinds of mixed states $σ…
The question of how quantum coherence facilitates energy transfer has been intensively debated in the scientific community. Since natural and artificial light-harvesting units operate under the stationary condition, we address this question via a non-equilibrium steady-state analysis of a molecular dimer irradiated by incoherent sunlight and then generalize the key predictions to arbitrarily-complex exciton networks. The central result of the steady-state analysis is the coherence-flux-efficiency relation:$η=c\sum_{i\neq j}F_{ij}κ_j=2c\sum_{i\neq j}J_{ij}{\rm Im}[ρ_{ij}]κ_j$ with $c$ the norma…
Quantum coherence, which quantifies the superposition properties of a quantum state, plays an indispensable role in quantum resource theory. A recent theoretical work [Phys. Rev. Lett. \textbf{116}, 070402 (2016)] studied the manipulation of quantum coherence in bipartite or multipartite systems under the protocol Local Incoherent Operation and Classical Communication (LQICC). Here we present the first experimental realization of obtaining maximal coherence in assisted distillation protocol based on linear optical system. The results of our work show that the optimal distillable coherence rate…
We consider the problem of quantum state certification, where we are given the description of a mixed state $σ\in \mathbb{C}^{d \times d}$, $n$ copies of a mixed state $ρ\in \mathbb{C}^{d \times d}$, and $\varepsilon > 0$, and we are asked to determine whether $ρ= σ$ or whether $\| ρ- σ\|_1 > \varepsilon$. When $σ$ is the maximally mixed state $\frac{1}{d} I_d$, this is known as mixedness testing. We focus on algorithms which use incoherent measurements, i.e. which only measure one copy of $ρ$ at a time. Unlike those that use entangled, multi-copy measurements, these can be implemented without…
