Quantum channels, also called quantum operations, are linear, trace preserving and completely positive transformations in the space of quantum states. Such operations describe discrete time evolution of an open quantum system interacting with an environment. The thesis contains an analysis of properties of quantum channels and different entropies used to quantify the decoherence introduced into the system by a given operation. Part I of the thesis provides a general introduction to the subject. In Part II, the action of a quantum channel is treated as a process of preparation of a quantum ensemble. The Holevo information associated with this ensemble is shown to be bounded by the entropy exchanged during the preparation process between the initial state and the environment. A relation between the Holevo information and the entropy of an auxiliary matrix consisting of square root fidelities between the elements of the ensemble is proved in some special cases. Weaker bounds on the Holevo information are also established. The entropy of a channel, also called the map entropy, is defined as the entropy of the state corresponding to the channel by the Jamiolkowski isomorphism. In Part III of the thesis, the additivity of the entropy of a channel is proved. The minimal output entropy, which is difficult to compute, is estimated by an entropy of a channel which is much easier to obtain. A class of quantum channels is specified, for which additivity of channel capacity is conjectured. The last part of the thesis contains characterization of Davies channels, which correspond to an interaction of a state with a thermal reservoir in the week coupling limit, under the condition of quantum detailed balance and independence of rotational and dissipative evolutions. The Davies channels are characterized for one-qubit and one-qutrit systems.
In this thesis we study the information transmission through Gaussian quantum channels. Gaussian quantum channels model physical communication links, such as free space communication or optical fibers and therefore, may be considered as the most relevant quantum channels. One of the central characteristics of any communication channel is its capacity. In this work we are interested in the classical capacity, which is the maximal number of bits that can be reliably transmitted per channel use. An important lower bound on the classical capacity is given by the Gaussian capacity, which is the maximal transmission rate with the restriction that only Gaussian encodings are allowed: input messages are encoded in so-called Gaussian states for which the mean field amplitudes are Gaussian distributed. We focus in this work mainly on the Gaussian capacity for the following reasons. First, Gaussian encodings are easily accessible experimentally. Second, the difficulty of studying the classical capacity, which arises due to an optimization problem in an infinite dimensional Hilbert space, is greatly reduced when considering only Gaussian input encodings. Third, the Gaussian capacity is conjectured to coincide with the classical capacity, even though this longstanding conjecture is unsolved until today. We start with the investigation of the capacities of the single-mode Gaussian channel. We show that the most general case can be reduced to a simple, fiducial Gaussian channel which depends only on three parameters: its transmissivity (or gain), the added noise variance and the squeezing of the noise. Above a certain input energy threshold, the optimal input variances are given by a quantum water-filling solution, which implies that the optimal modulated output state is a thermal state. This is a quantum extension (or generalization) of the well-known classical water-filling solution for parallel Gaussian channels. Below the energy threshold the solution is given by a transcendental equation and only the less noisy quadrature is modulated. We characterize in detail the dependence of the Gaussian capacity on its channel parameters. In particular, we show that the Gaussian capacity is a non-monotonous function of the noise squeezing and analytically specify the regions where it exhibits one maximum, a maximum and a minimum, a saddle point or no extrema. Then, we investigate the case of n-mode channels with noise correlations (i.e. memory), where we focus in particular on the classical additive noise channel. We consider memory models for which the noise correlations can be unraveled by a passive symplectic transformation. Therefore, we can simplify the problem to the study of the Gaussian capacity in an uncorrelated basis, which corresponds to the Gaussian capacity of n single-mode channels with a common input energy constraint. Above an input energy threshold the solutions is given by a global quantum water-filling solution, which implies that all modulated single-mode output states are thermal states with the same temperature. Below the threshold the channels are divided into three sets: i) those that are excluded from information transmission, ii) those for which only the less noisy quadrature is modulated, and iii) those for which the quantum water-filling solution is satisfied. As an example we consider a Gauss-Markov correlated noise, which in the uncorrelated basis corresponds to a collection of single-mode classical additive noise channels. When rotating the collection of optimal single-mode input states back to the original, correlated basis the optimal multi-mode input state becomes a highly entangled state. We then compare the performance of the optimal input state with a simple coherent state encoding and conclude that one gains up to 10% by using the optimal encoding. Since the preparation of the optimal input state may be very challenging we consider sub-optimal Gaussian-matrix product states (GMPS) as input states as well. GMPS have a known experimental setup and, though being heavily entangled, can be generated sequentially. We demonstrate that for the Markovian correlated noise as well as for a non-Markovian noise model in a wide range of channel parameters, a nearest-neighbor correlated GMPS achieves more than 99.9% of the Gaussian capacity. At last, we introduce a new noise model for which the GMPS is the exact optimal input state. Since GMPS are known to be ground states of quadratic Hamiltonians this suggests a starting point to develop links between optimization problems of quantum communication and many body physics.
This thesis investigates the preservation of fundamental quantum properties under noisy quantum processes. Motivated by the challenges of maintaining coherence and information integrity in realistic quantum systems, we study three distinct structural properties: phase retrievability, orbit injectivity, and fidelity preservation. Each property reflects a unique facet of how quantum information can be robustly encoded, distinguished, or compared in the presence of environmental interactions. In the first part of the thesis, we analyze phase retrievable quantum channels which allow recovery of a quantum state up to a global phase. We provide structural characterizations using the Kraus representation and the joint spectrum of the Kraus operators. We then extend this study to orbit-injective channels, which distinguish quantum states up to more general group actions. This generalization captures symmetry-induced ambiguities and deepens the understanding of information distinguishability in structured quantum systems. The second part focuses on fidelity, a widely used measure of quantum similarity. We explore conditions under which mixed unitary quantum channels preserve fidelity between quantum states. These investigations reveal how fidelity preservation can constrain the structure of a quantum channel, providing insight into error tolerance and stability in quantum communication. Together, these results contribute to a unified perspective on how different aspects of quantum information-state reconstruction, distinguishability, and similarity-can be maintained under noise, offering both theoretical insight and tools for practical quantum technologies.
We give a survey of the two remarkable analytical problems of quantum information theory. The main part is a detailed report of the recent (partial) solution of the quantum Gaussian optimizers problem which establishes an optimal property of Glauber's coherent states -- a particular instance of pure quantum Gaussian states. We elaborate on the notion of quantum Gaussian channel as a noncommutative generalization of Gaussian kernel to show that the coherent states, and under certain conditions only they, minimize a broad class of the concave functionals of the output of a Gaussian channel. Thus, the output states corresponding to the Gaussian input are "the least chaotic", majorizing all the other outputs. The solution, however, is essentially restricted to the gauge-invariant case where a distinguished complex structure plays a special role. We also comment on the related famous additivity conjecture, which was solved in principle in the negative some five years ago. This refers to the additivity or multiplicativity (with respect to tensor products of channels) of information quantities related to the classical capacity of quantum channel, such as
(1→p)-norms or the minimal von Neumann or Rényi output entropies. A remarkable corollary of the present solution of the quantum Gaussian optimizers problem is that these additivity properties, while not valid in general, do hold in the important and interesting class of the gauge-covariant Gaussian channels.
In this dissertation, we present several matrix-related problems and results motivated by quantum information theory. Some background material of quantum information science will be discussed in chapter 1, while chapter 7 gives a summary of results and concluding remarks. In chapter 2, we look at
2n×2n unitary matrices, which describe operations on a closed
n-qubit system. We define a set of simple quantum gates, called controlled single qubit gates, and their associated operational cost. We then present a recurrence scheme to decompose a general
2n×2n unitary matrix to the product of no more than
2n−1(2n−1) single qubit gates with small number of controls. In chapter 3, we address the problem of finding a specific element
Φ among a given set of quantum channels
S that will produce the optimal value of a scalar function
D(ρ1,Φ(ρ2)), on two fixed quantum states
ρ1 and
ρ2. Some of the functions we considered for
D(⋅,⋅) are the trace distance, quantum fidelity and quantum relative entropy. We discuss the optimal solution when
S is the set of unitary quantum channels, the set of mixed unitary channels, the set of unital quantum channels, and the set of all quantum channels. In chapter 4, we focus on the spectral properties of qubit-qudit bipartite states with a maximally mixed qudit subsystem. More specifically, given positive numbers
a1≥…≥a2n≥0, we want to determine if there exist a
2n×2n density matrix
ρ having eigenvalues
a1,…,a2n and satisfying $\tr_1(\rho)=\frac{1}{n}I_n$. This problem is a special case of the more general quantum marginal problem. We give the minimal necessary and sufficient conditions on
a1,…,a2n for
n≤6 and state some observations on general values of
n. In chapter 5, we discuss the numerical method of alternating projections and illustrate its usefulness in: (a) constructing a quantum channel, if it exists, such that
Φ(ρ(1))=σ(1),…,Φ(ρ(k))=σ(k) for given
ρ(1),…,ρ(k)∈Dn and
σ(1),…,σ(k)∈Dm, (b) constructing a multipartite state
ρ having a prescribed set of reduced states
ρ1,…,ρr on
r of its subsystems, (c) constructing a multipartite state
ρ having prescribed reduced states and additional properties such as having prescribed eigenvalues, prescribed rank or low von Neuman entropy; and (d) determining if a square matrix
A can be written as a product of two positive semidefinite contractions. In chapter 6, we examine the shape of the Minkowski product of convex subsets
K1 and
K2 of $\IC$ given by
K1K2={ab:a∈K1,b∈K2}, which has applications in the study of the product numerical range and quantum error-correction. In \citep{Karol}, it was conjectured that
K1K2 is star-shaped when
K1 and
K2 are convex. We give counterexamples to show that this conjecture does not hold in general but we show that the set
K1K2 is star-shaped if
K1 is a line segment or a circular disk.
The coherent information of quantum channels plays a important role in quantum information theory as it can be used to calculate the quantum capacity of a channel. However, it is a non-linear, non-differentiable optimization problem. This thesis discusses that by restricting to the space of positive definite density matrices and restricting the class of quantum channels to be strictly positive, the coherent information becomes differentiable. This allows the computation of the Riemannian gradient and Hessian of the coherent information. It will be shown that the maximally mixed state is a critical point for the
n-shot coherent information of the Pauli, dephrasure and Pauli-erasure channels. In addition, the classification of the maximally mixed state as a local maxima/minima and saddle-point will be solved for the one shot coherent information. The hope of this work is to provide a new avenue to explore the quantum capacity problem.