In this paper we discuss some constructive procedures which can be used in characterization of irreducible quantum operations and quantum channels. Our method makes use of an explicit form of a fixed operation in its Kraus representation. A generalization of the Shemesh criterion is discussed.
In this paper, we discuss some constructive procedures which can be used in characterizations of linear transformations which preserve the set of states of a fixed quantum system. Our methods are based on analyzing an explicit form of a linear positive map in its Kraus representation. In particular, we discuss the so-called partial commutativity of operators and its applications to investigation of decoherence-free subspaces. These subspaces can also be considered as a special class of quantum error correcting codes. Using the concept of standard polynomials and Amitsur–Levitzki theorem and other ideas from the so-called polynomial identity algebras (PI-algebras) we discuss some effective algorithms for analyzing properties of quantum channels.
We obtain an explicit characterization of linear maps, in particular, quantum channels, which are covariant with respect to an irreducible representation (U) of a finite group (G), whenever U⊗Uc is simply reducible (with Uc being the contragradient representation). Using the theory of group representations, we obtain the spectral decomposition of any such linear map. The eigenvalues and orthogonal projections arising in this decomposition are expressed entirely in terms of representation characteristics of the group G. This in turn yields necessary and sufficient conditions on the eigenvalues of any such linear map for it to be a quantum channel. We also obtain a wide class of quantum channels which are irreducibly covariant by construction. For two-dimensional irrreducible representations of the symmetric group S(3), and the quaternion group Q, we also characterize quantum channels which are both irreducibly covariant and entanglement breaking.
In this paper, our objective is to establish results that connect Shemesh theorem with quantum zero-error information theory. To achieve this, we will first introduce definitions and properties related to the zero-error capacity of a quantum channel, with particular emphasis on demonstrating that the eigenstates common to the Kraus operators representing the quantum channel are fixed points. This result has previously been employed to develop a test for determining whether a quantum channel possesses positive zero-error capacity. In this work, we demonstrate that the eigenstates common to the Kraus operators representing the channel reside within the Shemesh subspace. Consequently, the fixed points of the quantum channel act as a bridge between Shemesh theorem and quantum zero-error information theory, thereby enabling the derivation of new results on the zero-error capacity of quantum channels.
Understanding the limits of quantum communication is a central problem in quantum information theory. Structural properties of quantum channels provide tools for analyzing these limits. In particular, approximate degradability links quantum-capacity bounds to the accuracy with which a channel's environment can be reconstructed from its output. We study this reconstruction problem for noisy Landau-Streater channels across finite-spin representations. For spin j and noise probability p, we construct an explicit degrading map with diamond-norm error at most [2+8/(j(j+1))]p2≤(38/3)p2 on the common interval 0≤p≤1/8. A lower bound establishes quadratic order for this construction at each fixed spin. Floating-point semidefinite optimization places its error within 2.48% of the numerical optimum on the sampled grid for four spins. Covariance and conditional-entropy concavity yield explicit two-sided quantum-capacity bounds for this family with a spin-uniform remainder. Building on the low-noise Pauli cancellation strategy, we formulate a sufficient condition based on a common scalar adjoint action on fixed, possibly nonunitary noise Kraus operators. The resulting reconstruction-error bound is uniform in system dimension and Kraus count. The criterion applies to irreducible SU(N) generator channels and noisy Werner-Holevo channels, with the SU(3) adjoint representation providing an example outside the mixed-unitary class.