Quantum Information Theory (QIT) is a highly interdisciplinary field, and many different areas of mathematics have played key roles in its development. Recently the topics of hypercontractivity (HC) and logarithmic Sobolev (LS) inequalities have found applications in a variety of problems within QIT, and this has led to a growth of interest among researchers in the field. The purpose of this workshop was to bring together researchers from both the ‘traditional’ areas of application and also the new areas of interest in QIT. Some talks were expository, some covered current areas of research, and some presented ideas for new directions of research.
Quantum Information Theory (QIT) is a highly interdisciplinary field, and many different areas of mathematics have played key roles in its development. Recently the topics of hypercontractivity (HC) and logarithmic Sobolev (LS) inequalities have found applications in a variety of problems within QIT, and this has led to a growth of interest among researchers in the field. The purpose of this workshop was to bring together researchers from both the ‘traditional’ areas of application and also the new areas of interest in QIT. Some talks were expository, some covered current areas of research, and some presented ideas for new directions of research.
Abstract We generalize the concepts of weak quantum logarithmic Sobolev inequality (LSI) and weak hypercontractivity (HC), introduced in the quantum setting by Olkiewicz and Zegarlinski, to the case of non-primitive quantum Markov semigroups (QMS). The originality of this work resides in that this new notion of hypercontractivity is given in terms of the so-called amalgamated Lp L p norms introduced recently by Junge and Parcet in the context of operator spaces theory. We make three main contributions. The first one is a version of Gross’ integration lemma: we prove that (weak) HC implies (weak) LSI. Surprisingly, the converse implication differs from the primitive case as we show that LSI implies HC but with a weak constant equal to the cardinal of the center of the decoherence-free algebra. Building on the first implication, our second contribution is the fact that strong LSI and therefore strong HC do not hold for non-trivially primitive QMS. This implies that the amalgamated Lp L p norms are not uniformly convex for 1≤p≤2 1 ≤ p ≤ 2 . As a third contribution, we derive universal bounds on the (weak) logarithmic Sobolev constants for a QMS on a finite dimensional Hilbert space, using a similar method as Diaconis and Saloff-Coste in the case of classical primitive Markov chains, and Temme, Pastawski and Kastoryano in the case of primitive QMS. This leads to new bounds on the decoherence rates of decohering QMS. Additionally, we apply our results to the study of the tensorization of HC in non-commutative spaces in terms of the completely bounded norms (CB norms) recently introduced by Beigi and King for unital and trace preserving QMS. We generalize their results to the case of a general primitive QMS and provide estimates on the (weak) constants.
We generalize the concepts of weak quantum logarithmic Sobolev inequality (LSI) and weak hypercontractivity (HC), introduced in the quantum setting by Olkiewicz and Zegarlinski, to the case of non-primitive quantum Markov semigroups (QMS). The originality of this work resides in that this new notion of hypercontractivity is given in terms of the so-called amalgamated Lp norms introduced recently by Junge and Parcet in the context of operator spaces theory. We make three main contributions. The first one is a version of Gross' integration lemma: we prove that (weak) HC implies (weak) LSI. Surprisingly, the converse implication differs from the primitive case as we show that LSI implies HC but with a weak constant equal to the cardinal of the center of the decoherence-free algebra. Building on the first implication, our second contribution is the fact that strong LSI and therefore strong HC do not hold for non-trivially primitive QMS. This implies that the amalgamated Lp norms are not uniformly convex for 1≤p≤2. As a third contribution, we derive universal bounds on the (weak) logarithmic Sobolev constants for a QMS on a finite dimensional Hilbert space, using a similar method as Diaconis and Saloff-Coste in the case of classical primitive Markov chains, and Temme, Pastawski and Kastoryano in the case of primitive QMS. This leads to new bounds on the decoherence rates of decohering QMS. Additionally, we apply our results to the study of the tensorization of HC in non-commutative spaces in terms of the completely bounded norms (CB norms) recently introduced by Beigi and King for unital and trace preserving QMS. We generalize their results to the case of a general primitive QMS and provide estimates on the (weak) constants.
Functional inequalities constitute a very powerful toolkit in studying various problems arising in classical information theory, statistics and many-body systems. Extensions of these tools to the noncommutative setting have been introduced in the beginning of the 90's in order to study the asymptotic properties of certain quantum Markovian evolutions. In this thesis, we study various extensions and problems arising from the specific noncommutative nature of such processes. The first logarithmic Sobolev inequality to be proved, due to Gross, was for the Ornstein Uhlenbeck semigroup, that is the Brownian motion with friction on the real line. The generalization of this result to the quantum Ornstein Uhlenbeck semigroup was found very recently by Carlen and Maas, and de Palma and Huber by means of different techniques. The latter proof consists of a quantum generalization of the so-called entropy power inequality. Here, we consider another possible version of the entropy power inequality and use it to derive asymptotic properties of the frictionless quantum Brownian motion. The proof of Carlen and Maas discussed in the previous paragraph relies on their new quantum extension of the classical notion of displacement convexity. This is classically known to imply most of the usual functional inequalities such as the modified logarithmic Sobolev inequality and Poincaré's inequality. Here, we further study the framework introduced by Carlen and Maas. In particular, we show how displacement convexity implies quantum functional and transportation cost inequalities. The latter are then used to derive certain concentration inequalities of quantum states in the spirit of Bobkov and Goetze. These concentration inequalities are used in order to derive finite sample size bounds for the task of quantum parameter estimation. The main advantage of classical logarithmic Sobolev inequalities over other methods resides in their tensorization property: the strong log-Sobolev constant of the product of independent Markovian evolutions is equal to the maximum over the set of strong log-Sobolev constants of the individual evolutions. However, this property is strongly believed to fail in the non-commutative case, due to the non-multiplicativity of noncommutative Lp to Lq norms. In this thesis, we show tensorization of the logarithmic Sobolev constants for the simplest quantum Markov semigroup, namely the generalized depolarizing semigroup. Moreover, we consider a new general method to overcome the issue of tensorization for general primitive quantum Markov semigroups by looking at their contractivity properties under the completely bounded Lp to Lq norms. This method was first investigated in the restricted case of unital semigroups by Beigi and King. Noncommutative functional inequalities considered in the present literature only deal with primitive quantum Markovian semigroups which model memoryless irreversible dynamics converging to a specific faithful state. However, quantum Markov semigroups can in general display a much richer behavior referred to as decoherence: In particular, under some mild conditions, any such semigroup is known to converge to an algebra of observables which effectively evolve unitarily. Here, we introduce the concept of a decoherence-free logarithmic Sobolev inequality, and the related notion of hypercontractivity of the associated evolution, to study the decoherence rate of non-primitive quantum Markov semigroups. Moreover, we utilize the transference method recently introduced by Gao, Junge and LaRacuente, in order to find decoherence times associated to a class of decoherent Markovian evolutions of great importance in the field of quantum error protection, namely collective decoherence semigroups. Finally, we develop the notion of quantum reverse hypercontractivity, first introduced by Cubitt, Kastoryano, Montanaro and Temme in the unital case, and apply it in conjunction with the tensorization of the modified logarithmic Sobolev inequality for the generalized depolarizing semigroup in order to find strong converse rates in quantum hypothesis testing and for the classical capacity of classical-quantum channels. Moreover, the transference method also allows us to find strong converse bounds on the various capacities of quantum Markovian evolutions.
We prove an almost optimal hypercontractive inequality for products of quantum erasure channels, generalizing the hypercontractivity for classical binary erasure channels. To our knowledge, this is the first tensorization-type hypercontractivity bound for quantum channels with no fixed states. The traditional inductive arguments for classical hypercontractivity cannot be generalized to the quantum setting due to the nature of the non-commutativity of matrices. To overcome the difficulty, we establish a novel quantum log-Sobolev inequality for Bernoulli entropy, which includes the classical log-Sobolev inequality and the quantum log-Sobolev inequality as one-partite cases. To our knowledge, its classical counterpart is also unknown prior to this work. We establish a connection between our quantum log-Sobolev inequality and the hypercontractivity bound for quantum erasure channels via a refined quantum Gross’ lemma, extending the analogous connection between the quantum log- Sobolev inequality and the hypercontractivity for qubit unital channels. As an application, we prove an almost tight bound (up to a constant factor) on the classical communication complexity of two-party common randomness generation assisted with erasednoisy EPR states, generalizing the tight bound on the same task assisted with erased-noisy random strings due to Guruswami and Radhakrishnan.
Recent research in the fields related to the quantum information theory (QIT) is becoming some of the most intriguing and promising investigations in contemporary physics. Many novel QIT concepts are discussed in the literature, and the broad range of new models of quantum optics and solid-state physics have been recently considered in the context of QIT. Theideas of symmetry are widely discussed in all physical sciences, becoming keystones of various concepts and considerations, leading to novel discoveries in physics. Thus, this Special Issue is devoted to the broad range of QIT topics that are related to the ideas of symmetry. It covers a broad range of ideas that can develop upon the basic research and applications in the field of quantum information, and in general, quantum theory.
The hypercontractivity inequality for the qubit depolarizing channel Ψt states that ‖Ψt⊗n(X)‖p≤‖X‖q, provided that p ≥ q > 1 and t≥lnp−1q−1. In this paper, we present an improvement of this inequality. We first prove an improved quantum logarithmic-Sobolev inequality and then use the well-known equivalence of logarithmic-Sobolev inequalities and hypercontractivity inequalities to obtain our main result. As applications of these results, we present an asymptotically tight quantum Faber–Krahn inequality on the hypercube and a new quantum Schwartz–Zippel lemma.