We present two ready-to-use numerical algorithms to evaluate convex-roof extensions of arbitrary pure-state entanglement monotones. Their implementation leaves the user merely with the task of calculating derivatives of the respective pure-state measure. We provide numerical tests of the algorithms and demonstrate their good convergence properties. We further employ them in order to investigate the entanglement in particular few-spins systems at finite temperature. Namely, we consider ferromagnetic Heisenberg exchange-coupled spin-1/2 rings subject to an inhomogeneous in-plane field geometry obeying full rotational symmetry around the axis perpendicular to the ring through its center. We demonstrate that highly entangled states can be obtained in these systems at sufficiently low temperatures and by tuning the strength of a magnetic field configuration to an optimal value which is identified numerically.
In this work, we evaluate quantum coherence using the l_1-norm and convex-roof l_1-norm and obtain several new results. First, we provide some new general triangle-like inequalities of quantum coherence, with results better than existing ones. Second, for some special three-dimensional quantum states, a method for calculating the convex-roof l_1-norm is presented. Lastly, we offer distinct upper bounds in the l_1-norm measure of coherence based on the quantum state itself.
Since a rigorous framework for quantifying quantum coherence was established by Baumgratz et al. [T. Baumgratz, M. Cramer, and M. B. Plenio, Phys. Rev. Lett. 113, 140401 (2014)], many coherence measures have been found. For a given coherence measure $C$, extending the values of $C$ on pure states to mixed states by the convex roof construction, we will get a valid coherence measure $\overline{C}$, we call $\overline{C}$ the corresponding convex roof quantifier of $C$. Whether $C=\overline{C}$ for a given coherence measure is an important question. In this work, we show that for the widely used…
One of the fundamental traits of quantum entanglement is the restricted shareability among multipartite quantum systems, namely monogamy of entanglement, while it is well known that monogamy inequalities are always satisfied by entanglement measures with convexity. Here we present a measure of entanglement, logarithmic convex-roof extended negativity (LCREN) satisfying important characteristics of an entanglement measure, and investigate the monogamy relation for logarithmic negativity and LCREN both without convexity. We show exactly that the $α$th power of logarithmic negativity, and a newly…
Many entanglement measures are first defined for pure states of a bipartite Hilbert space, and then extended to mixed states via the convex roof extension. In this article we alter the convex roof extension of an entanglement measure, to produce a sequence of extensions that we call $f$-$d$ extensions, for $d \in \mathbb{N}$, where $f:[0,1]\to [0, \infty)$ is a fixed continuous function which vanishes only at zero. We prove that for any such function $f$, and any continuous, faithful, non-negative function, (such as an entanglement measure), $μ$ on the set of pure states of a finite dimensiona…
Although many different entanglement measures have been proposed so far, much less is known in the multipartite case, which leads to the previous monogamy relations in literatures are not complete. We establish here a strict framework for defining multipartite entanglement measure (MEM): apart from the postulates of bipartite measure, a genuine MEM should additionally satisfy the unification condition and the hierarchy condition. We then come up with a complete monogamy formula for the unified MEM and a tightly complete monogamy relation for the genuine MEM. Consequently, we propose MEMs which…
Gudder, in a recent paper, defined a candidate entanglement measure which is called the entanglement number. The entanglement number is first defined on pure states and then it extends to mixed states by the convex roof construction. In Gudder's article it was left as an open problem to show that Optimal Pure State Ensembles (OPSE) exist for the convex roof extension of the entanglement number from pure to mixed states. We answer Gudder's question in the affirmative, and therefore we obtain that the entanglement number vanishes only on the separable states. More generally we show that OPSE exi…
Entanglement monotone is defined as a convex measure of entanglement that does not increase on average under local operations and classical communication (LOCC). Here we call an entanglement monotone a strict entanglement monotone (SEM) if it decreases strictly on average under LOCC. We show that, for any convex roof extended entanglement monotone that on pure states is given by a function of the reduced states, if the function is strictly concave, then it is a SEM. Moreover, we prove that the negativity and the relative entropy of entanglement, which are not defined by the convex roof structu…
The quantification of quantum entanglement is a central issue in quantum information theory. Recently, Gao \emph{et al}. ( \href{http://dx.doi.org/10.1103/PhysRevLett.112.180501}{Phys. Rev. Lett. \textbf{112}, 180501 (2014)}) pointed out that the maximum of entanglement measure of the permutational invariant part of $ρ$ ought to be a lower bound on entanglement measure of the original state $ρ$, and proposed that this argument can be used as an additional requirement for (multipartite) entanglement measures. Whether any individual proposed entanglement measure satisfies the requirement still h…
We explore the dual problem of the convex roof construction by identifying it as a linear semi-infinite programming (LSIP) problem. Using the LSIP theory, we show the absence of a duality gap between primal and dual problems, even if the entanglement quantifier is not continuous, and prove that the set of optimal solutions is non-empty and bounded. In addition, we implement a central cutting-plane algorithm for LSIP to quantify entanglement between three qubits. The algorithm has global convergence property and gives lower bounds on the entanglement measure for non-optimal feasible points. As …
Experimentally quantifying entanglement and coherence are extremely important for quantum resource theory. However, because the quantum state tomography requires exponentially growing measurements with the number of qubits, it is hard to quantify entanglement and coherence based on the full information of the experimentally realized multipartite states. Fortunately, other methods have been found to directly measure the fidelity of experimental states without quantum state tomography. Here we present a fidelity-based method to derive experimentally accessible lower bounds for measures of genuin…
Quantifying entanglement is one of the most important tasks in the entanglement theory. In this paper, we establish entanglement monotones in terms of an operational approach, which is closely connected with the state conversion from pure states to the objective state by the local operations and classical communications (LOCC). It is shown that any good entanglement quantifier defined on pure states can induce an entanglement monotone for all density matrices. We especially show that our entanglement monotone is the maximal one among all that have the same form for pure states. In some particu…
We show that any measure of entanglement that on pure bipartite states is given by a strictly concave function of the reduced density matrix is monogamous on pure tripartite states. This includes the important class of bipartite measures of entanglement that reduce to the (von Neumann) entropy of entanglement. Moreover, we show that the convex roof extension of such measures (e.g., entanglement of formation) are monogamous also on \emph{mixed} tripartite states. To prove our results, we use the definition of monogamy without inequalities, recently put forward[Gour and Guo, Quantum \textbf{2}, …
Quantum coherence and entanglement are two key features in quantum mechanics and play important roles in quantum information processing and quantum computation. We provide a general triangle-like inequality satisfied by the $l_1$-norm measure of coherence for convex combination of arbitrary $n$ pure states of a quantum state $ρ$. Furthermore, we present triangle-like inequality for the convex-roof extended negativity for any states of rank 2, which gives a positive answer to a conjecture raised in [Phys. Rev. A 96, 062308 (2017)]. Detailed examples are given to illustrate the relations charact…
To quantify the entanglement is one of the most important topics in quantum entanglement theory. In [arXiv: 2006.12408], the authors proposed a method to build a measure from the orginal domain to a larger one. Here we apply that method to build an entanglement measure from measures for pure states. First, we present conditions when the entanglement measure is an entanglement monotone and convex, we also present an interpretation of the smoothed one-shot entanglement cost under the method here. At last, we present a difference between the local operation and classical communication (LOCC) and …
