scholarly journals A family of norms with applications in quantum information theory

2011 ◽  
Vol 11 (1&2) ◽  
pp. 104-123
Author(s):  
Nathaniel Johnston ◽  
David W. Kribs

We consider the problem of computing the family of operator norms recently introduced. We develop a family of semidefinite programs that can be used to exactly compute them in small dimensions and bound them in general. Some theoretical consequences follow from the duality theory of semidefinite programming, including a new constructive proof that for all r there are non-positive partial transpose Werner states that are r-undistillable. Several examples are considered via a MATLAB implementation of the semidefinite program, including the case of Werner states and randomly generated states via the Bures measure, and approximate distributions of the norms are provided. We extend these norms to arbitrary convex mapping cones and explore their implications with positive partial transpose states.

2014 ◽  
Vol 14 (13&14) ◽  
pp. 1098-1106
Author(s):  
Alessandro Cosentino ◽  
Vincent Russo

We study the problem of distinguishing quantum states using local operations and classical communication (LOCC). A question of fundamental interest is whether there exist sets of $k \leq d$ orthogonal maximally entangled states in $\complex^{d}\otimes\complex^{d}$ that are not perfectly distinguishable by LOCC. A recent result by Yu, Duan, and Ying [Phys. Rev. Lett. 109 020506 (2012)] gives an affirmative answer for the case $k = d$. We give, for the first time, a proof that such sets of states indeed exist even in the case $k < d$. Our result is constructive and holds for an even wider class of operations known as positive-partial-transpose measurements (PPT). The proof uses the characterization of the PPT-distinguishability problem as a semidefinite program.


2021 ◽  
Vol 11 (1) ◽  
Author(s):  
Gleb A. Skorobagatko

AbstractGeneral physical background of famous Peres–Horodecki positive partial transpose (PH- or PPT-) separability criterion is revealed. Especially, the physical sense of partial transpose operation is shown to be equivalent to what one could call as the “local causality reversal” (LCR-) procedure for all separable quantum systems or to the uncertainty in a global time arrow direction in all entangled cases. Using these universal causal considerations brand new general relations for the heuristic causal separability criterion have been proposed for arbitrary $$ D^{N} \times D^{N}$$ D N × D N density matrices acting in $$ {\mathcal {H}}_{D}^{\otimes N} $$ H D ⊗ N Hilbert spaces which describe the ensembles of N quantum systems of D eigenstates each. Resulting general formulas have been then analyzed for the widest special type of one-parametric density matrices of arbitrary dimensionality, which model a number of equivalent quantum subsystems being equally connected (EC-) with each other to arbitrary degree by means of a single entanglement parameter p. In particular, for the family of such EC-density matrices it has been found that there exists a number of N- and D-dependent separability (or entanglement) thresholds$$ p_{th}(N,D) $$ p th ( N , D ) for the values of the corresponded entanglement parameter p, which in the simplest case of a qubit-pair density matrix in $$ {\mathcal {H}}_{2} \otimes {\mathcal {H}}_{2} $$ H 2 ⊗ H 2 Hilbert space are shown to reduce to well-known results obtained earlier independently by Peres (Phys Rev Lett 77:1413–1415, 1996) and Horodecki (Phys Lett A 223(1–2):1–8, 1996). As the result, a number of remarkable features of the entanglement thresholds for EC-density matrices has been described for the first time. All novel results being obtained for the family of arbitrary EC-density matrices are shown to be applicable to a wide range of both interacting and non-interacting (at the moment of measurement) multi-partite quantum systems, such as arrays of qubits, spin chains, ensembles of quantum oscillators, strongly correlated quantum many-body systems with the possibility of many-body localization, etc.


2015 ◽  
Vol 15 (7&8) ◽  
pp. 694-720 ◽  
Author(s):  
Srinivasan Arunachalam ◽  
Nathaniel Johnston ◽  
Vincent Russo

The absolute separability problem asks for a characterization of the quantum states $\rho \in M_m\otimes M_n$ with the property that $U\rho U^\dagger$ is separable for all unitary matrices $U$. We investigate whether or not it is the case that $\rho$ is absolutely separable if and only if $U\rho U^\dagger$ has positive partial transpose for all unitary matrices $U$. In particular, we develop an easy-to-use method for showing that an entanglement witness or positive map is unable to detect entanglement in any such state, and we apply our method to many well-known separability criteria, including the range criterion, the realignment criterion, the Choi map and its generalizations, and the Breuer--Hall map. We also show that these two properties coincide for the family of isotropic states, and several eigenvalue results for entanglement witnesses are proved along the way that are of independent interest.


2013 ◽  
Vol 13 (9&10) ◽  
pp. 751-770
Author(s):  
Lukasz Pankowski ◽  
Fernando G.S.L. Brandao ◽  
Michal Horodecki ◽  
Graeme Smith

It is known that from entangled states that have positive partial transpose it is not possible to distill maximally entangled states by local operations and classical communication (LOCC). A long-standing open question is whether maximally entangled states can be distilled from every state with a non-positive partial transpose. In this paper we study a possible approach to the question consisting of enlarging the class of operations allowed. Namely, instead of LOCC operations we consider $k$-extendible operations, defined as maps whose Choi-Jamio\l{}kowski state is $k$-extendible. We find that this class is unexpectedly powerful - e.g. it is capable of distilling EPR pairs even from completely product states. We also perform numerical studies of distillation of Werner states by those maps, which show that if we raise the extension index $k$ simultaneously with the number of copies of the state, then the class of $k$-extendible operations are not that powerful anymore and provide a better approximation to the set of LOCC operations.


1976 ◽  
Vol 41 (1) ◽  
pp. 39-44 ◽  
Author(s):  
Charles E. Hughes

AbstractA constructive proof is given which shows that every nonrecursive r.e. many-one degree is represented by the family of decision problems for partial implicational propositional calculi whose well-formed formulas contain at most two distinct variable symbols.


Entropy ◽  
2020 ◽  
Vol 22 (8) ◽  
pp. 827
Author(s):  
Guanghao Xue ◽  
Liang Qiu

We investigated the dynamics of a two-qutrit system in a correlated quantum channel. The partial correlations between consecutive actions of the channel can effectively postpone the phenomenon of distillability sudden death (DSD) and broaden the range of the time cutoff that indicates entanglement of the positive partial transpose states. Particularly, the negativity of the system will revive and DSD will disappear in the fully correlated channel.


Sign in / Sign up

Export Citation Format

Share Document