In the study of d-dimensional quantum channels (d⩾2), an assumption which includes many interesting examples, and which has a natural physical interpretation, is that the corresponding Kraus operators form a representation of a Lie algebra. Physically, this is a symmetry algebra for the interaction Hamiltonian. This paper begins a systematic study of channels defined by representations; the famous Werner-Holevo channel is one element of this infinite class. We show that the channel derived from the defining representation of su(n) is a depolarizing channel for all n, but for most other representations this is not the case. Since the standard Bloch sphere only exists for the qubit representation of su(2), we develop a consistent generalization of Bloch’s technique. By representing the density matrix as a polynomial in Lie algebra generators, we determine a class of positive semidefinite matrices which represent quantum states for various channels defined by finite-dimensional representations of semisimple Lie algebras. We also give a general method for finding positive semidefinite matrices using Lie algebraic trace identities. This includes an analysis of channels based on the exceptional Lie algebra g2 and the Clifford algebra.
In the study of d-dimensional quantum channels (d⩾2), an assumption which includes many interesting examples, and which has a natural physical interpretation, is that the corresponding Kraus operators form a representation of a Lie algebra. Physically, this is a symmetry algebra for the interaction Hamiltonian. This paper begins a systematic study of channels defined by representations; the famous Werner-Holevo channel is one element of this infinite class. We show that the channel derived from the defining representation of su(n) is a depolarizing channel for all n, but for most other representations this is not the case. Since the standard Bloch sphere only exists for the qubit representation of su(2), we develop a consistent generalization of Bloch’s technique. By representing the density matrix as a polynomial in Lie algebra generators, we determine a class of positive semidefinite matrices which represent quantum states for various channels defined by finite-dimensional representations of semisimple Lie algebras. We also give a general method for finding positive semidefinite matrices using Lie algebraic trace identities. This includes an analysis of channels based on the exceptional Lie algebra g2 and the Clifford algebra.
In the study of d-dimensional quantum channels (dgeq2), an assumption which is not very restrictive, and which has a natural physical interpretation, is that the corresponding Kraus operators form a representation of a Lie algebra. Physically, this is a symmetry algebra for the interaction Hamiltonian. This paper begins a systematic study of channels defined by representations; the famous Werner-Holevo channel is one element of this infinite class. We show that the channel derived from the defining representation of SU(n) is a depolarizing channel for all n, but for most other representations this is not the case. Since the Bloch sphere is not appropriate here, we develop technology which is a generalization of Bloch's technique. Our method works by representing the density matrix as a polynomial in symmetrized products of Lie algebra generators, with coefficients that are symmetric tensors. Using these tensor methods we prove eleven theorems, derive many explicit formulas and show other interesting properties of quantum channels in various dimensions, with various Lie symmetry algebras. We also derive numerical estimates on the size of a generalized ``Bloch sphere'' for certain channels. There remain many open questions which are indicated at various points through the paper.
The Bloch representation of an n-qubit channel provides a way to represent quantum channels as certain affine transformations on [special characters omitted]. In higher dimensions (n > 1), the correspondence between quantum channels and their Bloch representations is not well-understood. Partly motivated by the ability to simplify the calculation of information theoretic quantities of a qubit channel using the Bloch representation, in this thesis we investigate the correspondence between a channel and its Bloch representation with an emphasis on unital n-qubit channels, in which case the Bloch representation is linear. The thesis is divided into three main sections. First we focus our attention on qubit channels. For certain sets of quantum channels, we establish the surprising existence of a special isomorphism into the set of classical channels. We classify the sets of qubit channels with this property and show that information theoretic quantities are preserved by such classical representations. In a natural progression, we prove some well-known facts about SO(3), the proofs of which are either nonexistent or difficult to find in the literature. Some of this work is based on [12, 13]. In the next section, we consider the multi-qubit channels and show that every finite group can be realized as a subgroup of the quantum channels; this approach allows for the construction of a quantum representation for the free affine monoid over any finite group and gives a classical representation for it. We extend some fundamental results from [26, 28] to the multi-qubit case, including that the set of diagonal Bloch matrices is equal to the free affine monoid over the involution group [special characters omitted]. Some of this work appeared in [10]. Lastly, we study the extreme points for the set of n-qubit channels. There are two types of extreme points: invertible and non-invertible; invertible channels are non-singular maps for which the inverse is also a channel. We briefly study the non-invertible extreme points and then parameterize and analyze the invertiblen-qubit Bloch matrices, which form a compact connected Lie group. We calculate the Lie algebra and give an explicit generating set for the invertible Bloch matrices and a maximal torus.
Quantum channels define key objects in quantum information theory. They are represented by completely positive trace-preserving linear maps in matrix algebras. We analyze a family of quantum channels defined through the use of the Weyl operators. Such channels provide generalization of the celebrated qubit Pauli channels. Moreover, they are covariant with respective to the finite group generated by Weyl operators. In what follows, we study self-adjoint Weyl channels by providing a special Hermitian representation. For a prime dimension of the corresponding Hilbert space, the self-adjoint Weyl channels contain well-known generalized Pauli channels as a special case. We propose multipartite generalization of Weyl channels. In particular, we analyze the power of prime dimensions using finite fields and study the covariance properties of these objects.
Degradable quantum channels are among the only channels whose quantum and private classical capacities are known. As such, determining the structure of these channels is a pressing open question in quantum information theory. We give a comprehensive review of what is currently known about the structure of degradable quantum channels, including a number of new results as well as alternate proofs of some known results. In the case of qubits, we provide a complete characterization of all degradable channels with two dimensional output, give a new proof that a qubit channel with two Kraus operators is either degradable or anti-degradable, and present a complete description of anti-degradable unital qubit channels with a new proof. For higher output dimensions we explore the relationship between the output and environment dimensions (dB and dE, respectively) of degradable channels. For several broad classes of channels we show that they can be modeled with an environment that is “small” in the sense of ΦC. Such channels include all those with qubit or qutrit output, those that map some pure state to an output with full rank, and all those which can be represented using simultaneously diagonal Kraus operators, even in a non-orthogonal basis. Perhaps surprisingly, we also present examples of degradable channels with “large” environments, in the sense that the minimal dimension dE>dB. Indeed, one can have dE>14dB2. These examples can also be used to give a negative answer to the question of whether additivity of the coherent information is helpful for establishing additivity for the Holevo capacity of a pair of channels. In the case of channels with diagonal Kraus operators, we describe the subclasses that are complements of entanglement breaking channels. We also obtain a number of results for channels in the convex hull of conjugations with generalized Pauli matrices. However, a number of open questions remain about these channels and the more general case of random unitary channels.
Constructing all extreme instances of the set of completely positive trace-preserving (CPTP) maps, i.e., quantum channels, is a challenging and valuable open problem in quantum information theory. Here we introduce a systematic approach that, despite the lack of knowledge about the full parametrization of the set of CPTP maps on arbitrary Hilbert-spaced dimension, enables us to construct exactly those extreme channels that are covariant with respect to a finite discrete group or a compact connected Lie group. Innovative labeling of quantum channels by group representations enables us to identify the subset of group-covariant channels whose elements are group-covariant generalized-extreme channels. Furthermore, we exploit essentials of group representation theory to introduce equivalence classes for the labels and also partition the set of group-covariant channels. As a result, we show that it is enough to construct one representative of each partition. We construct Kraus operators for group-covariant generalized-extreme channels by solving systems of linear and quadratic equations for all candidates satisfying the necessary condition for being group-covariant generalized-extreme channels. Deciding whether these constructed instances are extreme or quasiextreme is accomplished by solving a system of linear equations. Proper labeling and partitioning the set of group-covariant channels leads to a novel systematic, algorithmic approach for constructing the entire subset of group-covariant extreme channels. We formalize the problem of constructing and classifying group-covariant generalized extreme channels, thereby yielding an algorithmic approach to solving, which we express as pseudocode. To illustrate the application and value of our method, we solve for explicit examples of group-covariant extreme channels. With unbounded computational resources to execute our algorithm, our method always delivers a description of an extreme channel for any finite-dimensional Hilbert space and furthermore guarantees a description of a group-covariant extreme channel for any dimension and for any finite-discrete or compact connected Lie group if such an extreme channel exists.
Entanglement fidelity quantifies how well a quantum channel preserves the correlations between a transmitted system and an inaccessible reference system. We derive closed-form expressions for the entanglement fidelity associated with several standard quantum noise models, including the random Pauli-X, dephasing, depolarizing, Werner-Holevo, generalized Pauli (Weyl), and amplitude-damping channels. For each model, we express the entanglement fidelity in terms of a general input density operator ρ, using Schumacher's Kraus-operator approach, which provides a channel-agnostic recipe applicable to any completely positive trace-preserving (CPTP) map with a finite Kraus representation. We then specialize to a communication scenario in which the source emits a two-letter parametric alphabet, thereby making explicit the dependence of entanglement preservation on both channel and source parameters. The resulting expressions enable direct comparisons of channel performance and rankings for representative families of input states, including common qubit states.