Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

arXiv:1302.2060

Tests For Complete Positivity of Quantum Channels

James M. McCracken

Published Feb 8, 2013• 1 citation
arXivHTMLPDF

Abstract

A quantum channel will have a Choi representation from which the complete positivity (CP) can be determined in a number of different ways. Every method relies on Choi's proof which relates CP to the positive semi-definiteness of a specially constructed matrix (i.e. the "Choi representation of the channel"). It can be shown that different CP tests can be used in different situations to avoid the computationally expensive brute force method of calculating the full spectrum of the Choi representation, which is the traditional method for testing whether or not a channel is CP. It is important to have quick, reliable analytical and computational tests for CP as negative channels become more prevalent in the study of quantum information.

DOI
10.48550/arxiv.1302.2060

Related papers

Choi representation of completely positive maps in brief

Gábor Homa, Adrián Ortega, Mátyás Koniorczyk

Abstract The Choi representation of completely positive trace preserving (CPTP) maps, i.e. quantum channels is often used in the context of quantum information and computation as it is easy to work with. It is a correspondence between CPTP maps and quantum states also termed as the Choi–Jamiołkowski isomorphism. It is especially useful if a parametrization of the set of CPTP maps is needed in order to consider a general map or optimize over the set of these. Here we provide a brief introduction to this topic, focusing on certain useful calculational techniques which are presented in full detail.

arXiv:2402.12944•Zeitschrift für Naturforschung A•Oct 17, 2024•8 citations

Quantum channel negativity as a measure of system-bath coupling and correlation

James M. McCracken

Complete positivity is a ubiquitous assumption in the study of quantum systems interacting with the environment, but the lack of complete positivity of a quantum evolution (called the ``negativity'') can be used as a measure of the system-bath coupling and correlation. The negativity can be computed from the Choi representation of a channel, is always defined and bounded, and contains some information about environmentally induced noise in a quantum system.

arXiv:1302.1783•Physical Review A•Sep 6, 2013•4 citations

Duality between quantum channels and super-channels is basis-dependent

S Sohail, Sahil, Ritabrata Sengupta +1 more

The complete positivity vs positivity correspondence in the Choi-Jamiołkowski-Kraus-Sudarshan quantum channel-state isomorphism depends on the choice of basis. Instead of the "canonical" basis, if we use, e.g., the Pauli spin matrices along with the identity as the basis for the space of bounded operators on the two-dimensional complex Hilbert space, this correspondence breaks down. A sufficient condition on the basis for validity of this correspondence is provided in the work of Paulsen and Shult~\cite{Paulsen}, which was later proven to be necessary by Kye~\cite{Kye}. A correspondence is also present between the space of super-maps and the tensor product of the spaces of the inputs and outputs of the same. In particular, a super-map is completely CP-preserving if and only if its Choi-type representation is completely positive (CP). This correspondence also depends on a specific choice of basis. In this work, we find the necessary and sufficient condition on a basis such that this correspondence holds true.

arXiv:2306.16395•Jun 28, 2023•0 citations

CP-preserving channels

Indu Bala, Sourav Das, Swapan Rana

Completely positive (CP) matrices are ubiquitous in modern science and technology with applications in optimization, graph theory, and quantum entanglement. Recently, Johnston \emph{et al.} [Linear Algebra and its Applications, 2022] have cast CP matrices into the framework of quantum resource theories, where CP states serve as free states and CP-preserving channels act as free operations. This work addresses several questions raised in their work. Specifically, we provide the necessary and sufficient conditions of CP-preserving channels in small dimensions, which are necessary in higher dimensions, and discuss the resource quantification via the trace distance of non-negativity. By constructing an explicit counterexample, we demonstrate that the trace-distance measure of non-negativity violates strong monotonicity. We also provide an alternative proof that every CPDNN channel $Φ:\MM_n\to \MM_2$ is CPCP. Additionally, we show that any unital CPDNN map $Φ:\MM_2\to \MM_n$ is also CPCP.

quant-pharXiv:2607.24682•Jul 28, 2026•0 citations

Exactness of the doubly nonnegative relaxation for qubit-output quantum channels

Hyunho Cha, Jungwoo Lee

The resource theory for nonnegativity of quantum amplitudes distinguishes completely positive completely positive (CPCP) quantum channels from the larger class of completely positive doubly nonnegative (CPDNN) quantum channels. Johnston and Sikora showed that all qubit-to-qubit quantum channels that are CPDNN are also CPCP. However, they left open the question of whether a qutrit-to-qubit quantum channel exists that is CPDNN but not CPCP. We prove that no such channel exists and, more generally, that every CPDNN quantum channel with qubit output is CPCP. Thus the doubly nonnegative relaxation is exact for all qubit-output quantum channels. Our argument yields an explicit structural picture in which, after a canonical permutation of the Choi matrix, every qubit-output CPDNN channel is determined by a nonnegative vector and a nonnegative matrix, subject to a single positive-semidefinite block constraint. This gives a complete binary-output normal form, an explicit formula for the action of the channel, and quantitative population-coherence tradeoff inequalities governing the unique output off-diagonal mode. In this sense, qubit output is the nontrivial binary regime in which trace preservation and double nonnegativity collapse the free-channel cone to a fully describable geometry.

quant-pharXiv:2603.16962•Mar 18, 2026•0 citations

Completely positive completely positive maps (and a resource theory for non-negativity of quantum amplitudes)

Nathaniel Johnston, Jamie Sikora

In this work we examine quantum states which have non-negative amplitudes (in a fixed basis) and the channels which preserve them. These states include the ground states of stoquastic Hamiltonians and they are of interest since they avoid the Sign Problem and can thus be efficiently simulated. In optimization theory, the convex cone generated by such states is called the set of completely positive (CP) matrices (not be confused with completely positive superoperators). We introduce quantum channels which preserve these states and call them completely positive completely positive. To study these states and channels, we use the framework of resource theories and investigate how to measure and quantify this resource.

arXiv:2110.13568•Linear Algebra and its Applications•Aug 28, 2022•1 citation
A quantum channel will have a Choi representation from which the complete positivity (CP) can be determined in a number of different ways. Every method relies on Choi's proof which relates CP to the positive semi-definiteness of a specially constructed matrix (i.e. the "Choi representation of the channel"). It can be shown that different CP tests can be used in different situations to avoid the computationally expensive brute force method of calculating the full spectrum of the Choi representation, which is the traditional method for testing whether or not a channel is CP. It is important to have quick, reliable analytical and computational tests for CP as negative channels become more prevalent in the study of quantum information.
Abstract The Choi representation of completely positive trace preserving (CPTP) maps, i.e. quantum channels is often used in the context of quantum information and computation as it is easy to work with. It is a correspondence between CPTP maps and quantum states also termed as the Choi–Jamiołkowski isomorphism. It is especially useful if a parametrization of the set of CPTP maps is needed in order to consider a general map or optimize over the set of these. Here we provide a brief introduction to this topic, focusing on certain useful calculational techniques which are presented in full detail.
The complete positivity vs positivity correspondence in the Choi-Jamiołkowski-Kraus-Sudarshan quantum channel-state isomorphism depends on the choice of basis. Instead of the "canonical" basis, if we use, e.g., the Pauli spin matrices along with the identity as the basis for the space of bounded operators on the two-dimensional complex Hilbert space, this correspondence breaks down. A sufficient condition on the basis for validity of this correspondence is provided in the work of Paulsen and Shult~\cite{Paulsen}, which was later proven to be necessary by Kye~\cite{Kye}. A correspondence is also present between the space of super-maps and the tensor product of the spaces of the inputs and outputs of the same. In particular, a super-map is completely CP-preserving if and only if its Choi-type representation is completely positive (CP). This correspondence also depends on a specific choice of basis. In this work, we find the necessary and sufficient condition on a basis such that this correspondence holds true.
Completely positive (CP) matrices are ubiquitous in modern science and technology with applications in optimization, graph theory, and quantum entanglement. Recently, Johnston \emph{et al.} [Linear Algebra and its Applications, 2022] have cast CP matrices into the framework of quantum resource theories, where CP states serve as free states and CP-preserving channels act as free operations. This work addresses several questions raised in their work. Specifically, we provide the necessary and sufficient conditions of CP-preserving channels in small dimensions, which are necessary in higher dimensions, and discuss the resource quantification via the trace distance of non-negativity. By constructing an explicit counterexample, we demonstrate that the trace-distance measure of non-negativity violates strong monotonicity. We also provide an alternative proof that every CPDNN channel $Φ:\MM_n\to \MM_2$ is CPCP. Additionally, we show that any unital CPDNN map $Φ:\MM_2\to \MM_n$ is also CPCP.
The resource theory for nonnegativity of quantum amplitudes distinguishes completely positive completely positive (CPCP) quantum channels from the larger class of completely positive doubly nonnegative (CPDNN) quantum channels. Johnston and Sikora showed that all qubit-to-qubit quantum channels that are CPDNN are also CPCP. However, they left open the question of whether a qutrit-to-qubit quantum channel exists that is CPDNN but not CPCP. We prove that no such channel exists and, more generally, that every CPDNN quantum channel with qubit output is CPCP. Thus the doubly nonnegative relaxation is exact for all qubit-output quantum channels. Our argument yields an explicit structural picture in which, after a canonical permutation of the Choi matrix, every qubit-output CPDNN channel is determined by a nonnegative vector and a nonnegative matrix, subject to a single positive-semidefinite block constraint. This gives a complete binary-output normal form, an explicit formula for the action of the channel, and quantitative population-coherence tradeoff inequalities governing the unique output off-diagonal mode. In this sense, qubit output is the nontrivial binary regime in which trace preservation and double nonnegativity collapse the free-channel cone to a fully describable geometry.
In this work we examine quantum states which have non-negative amplitudes (in a fixed basis) and the channels which preserve them. These states include the ground states of stoquastic Hamiltonians and they are of interest since they avoid the Sign Problem and can thus be efficiently simulated. In optimization theory, the convex cone generated by such states is called the set of completely positive (CP) matrices (not be confused with completely positive superoperators). We introduce quantum channels which preserve these states and call them completely positive completely positive. To study these states and channels, we use the framework of resource theories and investigate how to measure and quantify this resource.