On quantum channels: extreme points, topology, and categorical properties

• URL: http://arxiv.org/abs/2608.20689v1
• Date: Fri, 21 Aug 2026 02:51:31 GMT
• Title: On quantum channels: extreme points, topology, and categorical properties
• Abstract summary: In this thesis, quantum channels are studied from the point of view of Mathematics.<n>We studied the CPTP and UCPTP channels, the latter being the unital channels.<n>Topological invariants can be computed from decompositions of a space such as CW structures.
• Score: 0.0
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: In this thesis, quantum channels are studied from the point of view of Mathematics. We studied the CPTP (completely positive trace preserving) and UCPTP channels, the latter being the unital channels. In both cases, the sets are compact convex, so they are the closure of their extreme points. We constructed extreme CPTP maps for every possible rank. We also constructed extreme UCPTP maps with rank 2 for each possible dimension. For ranks of at least 3, we constructed extreme UCPTP maps for many dimensions and ranks. We also proved that the tensor product of extreme CPTP maps is an extreme CPTP map. For UCPTP maps, we proved that the same is not always true, with many counterexamples. It is known that the category of CPTP maps is semicartesian. We add to this a classification of binary products. We proved that products only exist in trivial cases. For binary coproducts, we obtained the dimensions they should have, if they exist. In both cases, topological techniques were used. For this reason, we also investigated the topology of the closure of the set of extreme points of the CPTP maps. Topological invariants can be computed from decompositions of a space such as CW structures. These are a type of decomposition in which the space is expressed as a gluing of balls. In the search for a CW structure for the closure of the set of extreme CPTP maps, we obtained a partial decomposition that resembles a CW structure of the complex projective space.

Related papers

• Detecting bipartite entanglement with PnCP maps and non-negative polynomials [0.7036032466145112]
  We show how to generate PnCP maps based on the construction of certain positive non-Sum-of-Squares.<n>We numerically investigate their entanglement power, demonstrating notably that they are capable of detecting entangled states.
  arXiv  Detail & Related papers  (2026-05-28T18:00:06Z)
• Sufficiency and Petz recovery for positive maps [2.8647133890966994]
  We study the interconversion of families of quantum states ("statistical experiments") via positive, trace-preserving maps.<n>We show that Neyman-Pearson tests generate the minimal sufficient Jordan algebra.<n>We also prove Frenkel's formula for approximately finite-dimensional von Neumann algebras.
  arXiv  Detail & Related papers  (2026-04-09T15:42:35Z)
• Positive maps and extendibility hierarchies from copositive matrices [4.914288166307964]
  This work introduces and systematically studies a new convex cone of PCOP (pairwise copositive)<n>We establish that this cone is dual to the cone of PCP (pairwise completely positive) and, critically, provides a complete characterization for the positivity of the broad class of covariant maps.
  arXiv  Detail & Related papers  (2025-09-18T17:54:09Z)
• Scheme of quantum communications based on Witting polytope [55.2480439325792]
  Presented paper describes how to use this configuration for a quantum key distribution protocol based on contextuality using some illustrative examples with 40 "quantum cards"<n>In a more general case, two arbitrary quantum systems with four basis states (ququarts) can be used instead.
  arXiv  Detail & Related papers  (2025-03-24T08:26:48Z)
• Quantum Maps Between CPTP and HPTP [0.0]
  Hermitian-preserving trace-preserving maps are considered as the local dynamic maps beyond CPTP. We show that the only locally well-defined maps are in $SNbackslash SP$, they live on the boundary of $SN$. We prove that the current quantum error correction scheme is still sufficient to correct quantum non-Markovian errors.
  arXiv  Detail & Related papers  (2023-08-03T17:44:53Z)
• On the Extremality of the Tensor Product of Quantum Channels [0.0]
  We investigate the preservation of extremality under the tensor product. We prove that extremality is preserved for CPT or UCP maps, but for UCPT it is not always preserved.
  arXiv  Detail & Related papers  (2023-05-09T23:00:48Z)
• Unextendibility, uncompletability, and many-copy indistinguishable ensembles [49.1574468325115]
  We show that the complement of any bipartite pure entangled state is spanned by product states which form a nonorthogonal unextendible product basis (nUPB) of maximum cardinality.<n>We also report a class of multipartite many-copy indistinguishable ensembles for which local indistinguishability property increases with decreasing number of mixed states.
  arXiv  Detail & Related papers  (2023-03-30T16:16:41Z)
• Pauli component erasing quantum channels [58.720142291102135]
  We propose a family of quantum maps that preserve or completely erase the components of a multi-qubit system. For the corresponding channels, it is shown that the preserved components can be interpreted as a finite vector subspace. We show that the obtained family of channels forms a semigroup and derive its generators.
  arXiv  Detail & Related papers  (2022-05-12T00:11:43Z)
• Near-optimal estimation of smooth transport maps with kernel sums-of-squares [81.02564078640275]
  Under smoothness conditions, the squared Wasserstein distance between two distributions could be efficiently computed with appealing statistical error upper bounds. The object of interest for applications such as generative modeling is the underlying optimal transport map. We propose the first tractable algorithm for which the statistical $L2$ error on the maps nearly matches the existing minimax lower-bounds for smooth map estimation.
  arXiv  Detail & Related papers  (2021-12-03T13:45:36Z)
• Annihilating Entanglement Between Cones [77.34726150561087]
  We show that Lorentz cones are the only cones with a symmetric base for which a certain stronger version of the resilience property is satisfied. Our proof exploits the symmetries of the Lorentz cones and applies two constructions resembling protocols for entanglement distillation.
  arXiv  Detail & Related papers  (2021-10-22T15:02:39Z)
• Guaranteeing Completely Positive Quantum Evolution [2.578242050187029]
  We transform an initial NCP map to a CP map through composition with the asymmetric depolarizing map. We prove that the composition can always be made CP without completely depolarizing in any direction. We show that asymmetric depolarization has many advantages over SPA in preserving the structure of the original NCP map.
  arXiv  Detail & Related papers  (2021-04-30T20:53:19Z)
• 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)

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.