In this work, we study two different approaches to defining the entropy of a quantum channel. One of these is based on the von Neumann entropy of the corresponding Choi-Jamiołkowski state. The second one is based on the relative entropy of the output of the extended channel relative to the output of the extended completely depolarizing channel. This entropy then needs to be optimized over all possible input states. Our results first show that the former entropy provides an upper bound on the latter. Next, we show that for unital qubit channels, this bound is saturated. Finally, we conjecture and provide numerical intuitions that the bound can also be saturated for random channels as their dimension tends to infinity.
In this work, we study two different approaches to defining the entropy of a quantum channel. One of these is based on the von Neumann entropy of the corresponding Choi-Jamiołkowski state. The second one is based on the relative entropy of the output of the extended channel relative to the output of the extended completely depolarizing channel. This entropy then needs to be optimized over all possible input states. Our results first show that the former entropy provides an upper bound on the latter. Next, we show that for unital qubit channels, this bound is saturated. Finally, we conjecture and provide numerical intuitions that the bound can also be saturated for random channels as their dimension tends to infinity.
Inspired by a conjecture related to numerical investigations for a quantum channel in a system of large size, we shall study relations between two different entropies of a quantum channel. One of them is defined by Gour and Wilde as the generalization of quantum relative entropy and maximally mixed state. The second one is defined as the difference between the entropy of the Choi state of the quantum channel and a constant number. At first, we show that the latter entropy is an upper boundary of the former entropy. Moreover, we also give a sufficient and necessary condition that the two entropies are equal. That is, if and only if the relative entropy reaches its supremum on the maximal entangled pure state in the former entropy. At last, to study the difference between the two entropies, we expect to find some quantum channels in which their related entropies do not reach their supremum on the maximal entangled pure states for the former entropy. By calculating the two entropies, we find that amplitude-damping channels are desired examples.
The entropy of a quantum operation, defined as the von Neumann entropy of the corresponding Choi–Jamiołkowski state, characterizes the coupling of the principal system with the environment. For any quantum channel acting on a state of a given size, one defines the complementary channel, which sends the input state into the state of the environment after the operation. Making use of subadditivity of entropy, we show that for any dimension the sum of both entropies is bounded from below. This result characterizes the trade-off between the information on the initial quantum state accessible to the principal system and the information leaking to the environment. For one qubit maps we describe the interpolating family of depolarizing maps, for which the sum of both entropies gives the lower boundary of the region allowed in the space spanned by both entropies.
Hypothesis testing is an important task in mathematics and physics. Hypothesis testing of two random variables is related to the Kullback-Leibler divergence of the two corresponding distributions. Similarly, quantum hypothesis testing of two quantum states is characterized by the quantum relative entropy. While a quantum state can be abstracted as a device that only has outputs but no inputs, the most general quantum device is a quantum channel that also has inputs. In this work, we extend hypothesis testing to general quantum channels. In both the one-shot and asymptotic scenario, we study several quantifiers for hypothesis testing under different assumptions of how the channels are used. As the quantifiers are analogs to the quantum relative entropy of states, we call them the quantum relative entropy of channels. Then, we define the entropy of channels based on relative entropies from the target channel to the completely depolarizing channel. We investigate the properties that the quantum relative entropy of channels should satisfy, and we study its interplay with entanglement. With the broad applications of the quantum relative entropy of states, our results can be useful for understanding general properties of quantum channels.
The von Neumann entropy is a central concept in physics and information theory, having a number of compelling physical interpretations. There is a certain perspective that the most fundamental notion in quantum mechanics is that of a quantum channel, as quantum states, unitary evolutions, measurements, and discarding of quantum systems can each be regarded as certain kinds of quantum channels. Thus, an important goal is to define a consistent and meaningful notion of the entropy of a quantum channel. Motivated by the fact that the entropy of a state ρ can be formulated as the difference of the number of physical qubits and the “relative entropy distance” between ρ and the maximally mixed state, here we define the entropy of a channel N as the difference of the number of physical qubits of the channel output with the “relative entropy distance” between N and the completely depolarizing channel. We establish that this definition satisfies all of the axioms, recently put forward in [Dour, IEEE Trans. Inf. Theory 65, 5880 (2019)], required for a channel entropy function. The task of quantum channel merging, in which the goal is for the receiver to merge his share of the channel with the environment's share, gives a compelling operational interpretation of the entropy of a channel. We define Rényi and min-entropies of a channel and establish that they satisfy the axioms required for a channel entropy function. Among other results, we also establish that a smoothed version of the min-entropy of a channel satisfies the asymptotic equipartition property.
Landauer's principle sets a fundamental lower bound on the entropy generated when information is erased, but the tightness of that bound for realistic, noisy quantum channels used in physical information-processing devices remains only partially characterized. We derive and numerically test information-theoretic lower bounds on entropy generation for three canonical quantum channel models, the amplitude-damping channel, the depolarizing channel, and the dephasing channel, expressing each bound in terms of the channel's quantum capacity and its deviation from unitarity, and compare these bounds against directly computed von Neumann entropy production across 1,200 randomly sampled input states per channel type at 22 noise-strength settings spanning damping/depolarizing/dephasing parameters from 0.02 to 0.90. Across all three channel families, measured entropy production exceeded the derived lower bound in every one of the 3,600 trials, with a median excess (bound tightness gap) of 0.087 bits and an interquartile range of 0.041 to 0.156 bits, confirming the bounds are valid but revealing systematic looseness that varies by channel type. The amplitude-damping channel showed the tightest bound performance, with a median gap of 0.052 bits at low-to-moderate damping strength (gamma < 0.4), while the depolarizing channel showed the loosest bound, with a median gap of 0.134 bits across the full noise range, a 2.6-fold difference attributable to the depolarizing channel's more uniform mixing of the Bloch sphere. Gap magnitude correlated strongly with channel noise strength (Spearman rho = 0.81, p < 0.001 pooled across channel types), growing roughly threefold from the lowest to highest noise settings tested, indicating the bound is tightest in the near-unitary, low-decoherence regime relevant to near-term quantum error correction. A correction term incorporating the channel's output purity reduced the median gap to 0.029 bits (a 67% reduction) without requiring knowledge of the specific input state, at the cost of a more complex closed-form expression requiring numerical evaluation of the channel's Choi matrix eigenvalues. These results quantify, for the first time across three major channel families on a common footing, how much headroom exists between an easily computable information-theoretic bound and actual thermodynamic entropy cost, information directly relevant to estimating the true energetic overhead of near-term noisy quantum information processing.
The von Neumann entropy of a quantum state is a central concept in physics and information theory, having a number of compelling physical interpretations. There is a certain perspective that the most fundamental notion in quantum mechanics is that of a quantum channel, as quantum states, unitary evolutions, measurements, and discarding of quantum systems can each be regarded as certain kinds of quantum channels. Thus, an important goal is to define a consistent and meaningful notion of the entropy of a quantum channel. Motivated by the fact that the entropy of a state ρ can be formulated as the difference of the number of physical qubits and the "relative entropy distance"between ρ and the maximally mixed state, here we define the entropy of a channel N as the difference of the number of physical qubits of the channel output with the "relative entropy distance"between N and the completely depolarizing channel. We prove that this definition satisfies all of the axioms, recently put forward by Gour [IEEE Trans. Inf. Theory 65, 5880 (2019)IETTAW0018-944810.1109/TIT.2019.2907989], required for a channel entropy function. The task of quantum channel merging, in which the goal is for the receiver to merge his share of the channel with the environment's share, gives a compelling operational interpretation of the entropy of a channel. The entropy of a channel can be negative for certain channels, but this negativity has an operational interpretation in terms of the channel merging protocol. We define Rényi and min-entropies of a channel and prove that they satisfy the axioms required for a channel entropy function. Among other results, we also prove that a smoothed version of the min-entropy of a channel satisfies the asymptotic equipartition property.