Counterexamples to the extendibility of positive unital norm-one maps

• URL: http://arxiv.org/abs/2204.08819v1
• Date: Tue, 19 Apr 2022 11:40:41 GMT
• Title: Counterexamples to the extendibility of positive unital norm-one maps
• Authors: Giulio Chiribella, Kenneth R. Davidson, Vern I. Paulsen and Mizanur Rahaman
• Abstract summary: Arveson's extension theorem guarantees that every completely positive map defined on an operator system can be extended to a completely positive map defined on the whole C*-algebra containing it. An analogous statement where complete positivity is replaced by positivity is known to be false. Here we provide three counterexamples showing that positive norm-one unital maps defined on an operator subsystem cannot be extended to a positive map on the full matrix algebra.
• Score: 5.926203312586108
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: Arveson's extension theorem guarantees that every completely positive map defined on an operator system can be extended to a completely positive map defined on the whole C*-algebra containing it. An analogous statement where complete positivity is replaced by positivity is known to be false. A natural question is whether extendibility could still hold for positive maps satisfying stronger conditions, such as being unital and norm 1. Here we provide three counterexamples showing that positive norm-one unital maps defined on an operator subsystem of a matrix algebra cannot be extended to a positive map on the full matrix algebra. The first counterexample is an unextendible positive unital map with unit norm, the second counterexample is an unextendible positive unital isometry on a real operator space, and the third counterexample is an unextendible positive unital isometry on a complex operator space.

Related papers

• Chiral Virasoro algebra from a single wavefunction [14.735587711294299]
  When the edge is purely chiral, the Hilbert space of low-energy edge excitations can form a representation of a single Virasoro algebra. We propose a method to systematically extract the generators of the Virasoro algebra from a single ground state wavefunction.
  arXiv  Detail & Related papers  (2024-03-27T09:54:21Z)
• Symmetry-restricted quantum circuits are still well-behaved [45.89137831674385]
  We show that quantum circuits restricted by a symmetry inherit the properties of the whole special unitary group $SU(2n)$. It extends prior work on symmetric states to the operators and shows that the operator space follows the same structure as the state space.
  arXiv  Detail & Related papers  (2024-02-26T06:23:39Z)
• Positive Semidefinite Supermartingales and Randomized Matrix Concentration Inequalities [35.61651875507142]
  We present new concentration inequalities for either martingale dependent or exchangeable random symmetric matrices under a variety of tail conditions. These inequalities are often randomized in a way that renders them strictly tighter than existing deterministic results in the literature.
  arXiv  Detail & Related papers  (2024-01-28T04:22:43Z)
• From the Choi Formalism in Infinite Dimensions to Unique Decompositions of Generators of Completely Positive Dynamical Semigroups [0.0]
  We prove that there exists a unique bounded operator $K$ and a unique completely positive map $Phi$ in any Hilbert space. In particular, we find examples of positive semi-definite operators which have empty pre-image under the Choi formalism as soon as the underlying Hilbert space is infinite-dimensional.
  arXiv  Detail & Related papers  (2024-01-25T17:44:14Z)
• Infinite dimensional analogues of Choi matrices [0.0]
  Choi matrices are useful to characterize positivity of maps as well as complete positivity. It turns out that such correspondences are possible for every normal completely bounded map if and only if the factor is of type I. We also define the notion of $k$-superpositive maps, which turns out to be equivalent to the property of $k$-partially entanglement breaking.
  arXiv  Detail & Related papers  (2023-11-30T04:15:29Z)
• Implications of sparsity and high triangle density for graph representation learning [67.98498239263549]
  Recent work has shown that sparse graphs containing many triangles cannot be reproduced using a finite-dimensional representation of the nodes. Here, we show that such graphs can be reproduced using an infinite-dimensional inner product model, where the node representations lie on a low-dimensional manifold.
  arXiv  Detail & Related papers  (2022-10-27T09:15:15Z)
• New examples of entangled states on $\mathbb{C}^3 \otimes \mathbb{C}^3$ [0.0]
  We use the Buckley-vSivic method for simultaneous construction of families of positive maps on $3 times 3$ self-adjoint matrices. We obtain entanglement witnesses that are indecomposable and belong to extreme rays of the cone of positive maps. The constructed states as well as the method of their construction offer some valuable insights for quantum information theory.
  arXiv  Detail & Related papers  (2021-12-23T15:29:06Z)
• Capacity of Group-invariant Linear Readouts from Equivariant Representations: How Many Objects can be Linearly Classified Under All Possible Views? [21.06669693699965]
  We find that the fraction of separable dichotomies is determined by the dimension of the space that is fixed by the group action. We show how this relation extends to operations such as convolutions, element-wise nonlinearities, and global and local pooling.
  arXiv  Detail & Related papers  (2021-10-14T15:46:53Z)
• Decomposable Pauli diagonal maps and Tensor Squares of Qubit Maps [91.3755431537592]
  We show that any positive product of a qubit map with itself is decomposable. We characterize the cone of decomposable ququart Pauli diagonal maps.
  arXiv  Detail & Related papers  (2020-06-25T16:39:32Z)
• Construction of propagators for divisible dynamical maps [0.0]
  We propose a simple method to construct propagators of dynamical maps using the concept of generalized inverse. We analyze both time-continuous and time-discrete maps.
  arXiv  Detail & Related papers  (2020-04-20T13:13:50Z)
• Strict Positivity and $D$-Majorization [0.0]
  We first investigate the notion of strict positivity, that is, linear maps which map positive definite states to something positive definite again. We show that strict positivity is decided by the action on any full-rank state, and that the image of non-strictly positive maps lives inside a lower-dimensional subalgebra.
  arXiv  Detail & Related papers  (2020-04-12T13:42:27Z)

This list is automatically generated from the titles and abstracts of the papers in this site.

This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.