Search

The aim of this paper is twofold. - In the setting of RCD(K, infinity) metric measure spaces, we derive uniform gradient and Laplacian contraction estimates along solutions of the viscous approximation of the Hamilton-Jacobi equation. We use these estimates to prove that, as the viscosity tends to zero, solutions of this equation converge to the evolution driven by the Hopf-Lax formula, in accordance with the smooth case. - We then use such convergence to study the small-time Large Deviation Principle for both the heat kernel and the Brownian motion: we obtain the expected behavior under the additional assumption that the space is proper. As an application of the latter point, we also discuss the Gamma-convergence of the Schrödinger problem to the quadratic optimal transport problem in proper RCD(K, infinity) spaces. more...

Given any deep fully connected neural network, initialized with random Gaussian parameters, we bound from above the quadratic Wasserstein distance between its output distribution and a suitable Gaussian process. Our explicit inequalities indicate how the hidden and output layers sizes affect the Gaussian behaviour of the network and quantitatively recover the distributional convergence results in the wide limit, i.e., if all the hidden layers sizes become large. more...

We propose a new generalization to quantum states of the Wasserstein distance, which is a fundamental distance between probability distributions given by the minimization of a transport cost. Our proposal is the first where the transport plans between quantum states are in natural correspondence with quantum channels, such that the transport can be interpreted as a physical operation on the system. Our main result is the proof of a modified triangle inequality for our transport distance. We also prove that the distance between a quantum state and itself is intimately connected with the Wigner-Yanase metric on the manifold of quantum states. We then specialize to quantum Gaussian systems, which provide the mathematical model for the electromagnetic radiation in the quantum regime. We prove that the noiseless quantum Gaussian attenuators and amplifiers are the optimal transport plans between thermal quantum Gaussian states, and that our distance recovers the classical Wasserstein distance in the semiclassical limit. more...

We propose a new generalization to quantum states of the Wasserstein distance, which is a fundamental distance between probability distributions given by the minimization of a transport cost. Our proposal is the first where the transport plans between quantum states are in natural correspondence with quantum channels, such that the transport can be interpreted as a physical operation on the system. Our main result is the proof of a modified triangle inequality for our transport distance. We also prove that the distance between a quantum state and itself is intimately connected with the Wigner-Yanase metric on the manifold of quantum states. We then specialize to quantum Gaussian systems, which provide the mathematical model for the electromagnetic radiation in the quantum regime. We prove that the noiseless quantum Gaussian attenuators and amplifiers are the optimal transport plans between thermal quantum Gaussian states, and that our distance recovers the classical Wasserstein distance in the semiclassical limit. more...

We propose a generalization of the Wasserstein distance of order 1 to the quantum states of $n$ qudits. The proposal recovers the Hamming distance for the vectors of the canonical basis, and more generally the classical Wasserstein distance for quantum states diagonal in the canonical basis. The proposed distance is invariant with respect to permutations of the qudits and unitary operations acting on one qudit and is additive with respect to the tensor product. Our main result is a continuity bound for the von Neumann entropy with respect to the proposed distance, which significantly strengthens the best continuity bound with respect to the trace distance. We also propose a generalization of the Lipschitz constant to quantum observables. The notion of quantum Lipschitz constant allows us to compute the proposed distance with a semidefinite program. We prove a quantum version of Marton's transportation inequality and a quantum Gaussian concentration inequality for the spectrum of quantum Lipschitz observables. Moreover, we derive bounds on the contraction coefficients of shallow quantum circuits and of the tensor product of one-qudit quantum channels with respect to the proposed distance. We discuss other possible applications in quantum machine learning, quantum Shannon theory, and quantum many-body systems. more...

We survey the state of the art for the proof of the quantum Gaussian optimizer conjectures of quantum information theory. These fundamental conjectures state that quantum Gaussian input states are the solution to several optimization problems involving quantum Gaussian channels. These problems are the quantum counterpart of three fundamental results of functional analysis and probability: the Entropy Power Inequality, the sharp Young's inequality for convolutions, and the theorem "Gaussian kernels have only Gaussian maximizers." Quantum Gaussian channels play a key role in quantum communication theory: they are the quantum counterpart of Gaussian integral kernels and provide the mathematical model for the propagation of electromagnetic waves in the quantum regime. The quantum Gaussian optimizer conjectures are needed to determine the maximum communication rates over optical fibers and free space. The restriction of the quantum-limited Gaussian attenuator to input states diagonal in the Fock basis coincides with the thinning, which is the analog of the rescaling for positive integer random variables. Quantum Gaussian channels provide then a bridge between functional analysis and discrete probability. Published by AIP Publishing. more...

We determine the p. q norms of the Gaussian one-mode quantum-limited attenuator and amplifier and prove that they are achieved by Gaussian states, extending to noncommutative probability the seminal theorem " Gaussian kernels have only Gaussian maximizers" (Lieb in Invent Math 102(1): 179-208, 1990). The quantum-limited attenuator and amplifier are the building blocks of quantum Gaussian channels, which play a key role in quantum communication theory since they model in the quantum regime the attenuation and the noise affecting any electromagnetic signal. Our result is crucial to prove the longstanding conjecture stating that Gaussian input states minimize the output entropy of one-mode phase-covariant quantum Gaussian channels for fixed input entropy. Our proof technique is based on a new noncommutative logarithmic Sobolev inequality, and it can be used to determine the p. q norms of any quantum semigroup. more...

We prove the conditional Entropy Power Inequality for Gaussian quantum systems. This fundamental inequality determines the minimum quantum conditional von Neumann entropy of the output of the beam-splitter or of the squeezing among all the input states where the two inputs are conditionally independent given the memory and have given quantum conditional entropies. We also prove that, for any couple of values of the quantum conditional entropies of the two inputs, the minimum of the quantum conditional entropy of the output given by the conditional Entropy Power Inequality is asymptotically achieved by a suitable sequence of quantum Gaussian input states. Our proof of the conditional Entropy Power Inequality is based on a new Stam inequality for the quantum conditional Fisher information and on the determination of the universal asymptotic behaviour of the quantum conditional entropy under the heat semigroup evolution. The beam-splitter and the squeezing are the central elements of quantum optics, and can model the attenuation, the amplification and the noise of electromagnetic signals. This conditional Entropy Power Inequality will have a strong impact in quantum information and quantum cryptography. Among its many possible applications there is the proof of a new uncertainty relation for the conditional Wehrl entropy. more...

We survey the state of the art for the proof of the quantum Gaussian optimizer conjectures of quantum information theory. These fundamental conjectures state that quantum Gaussian input states are the solution to several optimization problems involving quantum Gaussian channels. These problems are the quantum counterpart of three fundamental results of functional analysis and probability: the Entropy Power Inequality, the sharp Young's inequality for convolutions, and the theorem "Gaussian kernels have only Gaussian maximizers." Quantum Gaussian channels play a key role in quantum communication theory: they are the quantum counterpart of Gaussian integral kernels and provide the mathematical model for the propagation of electromagnetic waves in the quantum regime. The quantum Gaussian optimizer conjectures are needed to determine the maximum communication rates over optical fibers and free space. The restriction of the quantum-limited Gaussian attenuator to input states diagonal in the Fock basis coincides with the thinning, which is the analog of the rescaling for positive integer random variables. Quantum Gaussian channels provide then a bridge between functional analysis and discrete probability. more...

We prove the conditional Entropy Power Inequality for Gaussian quantum systems. This fundamental inequality determines the minimum quantum conditional von Neumann entropy of the output of the beam-splitter or of the squeezing among all the input states where the two inputs are conditionally independent given the memory and have given quantum conditional entropies. We also prove that, for any couple of values of the quantum conditional entropies of the two inputs, the minimum of the quantum conditional entropy of the output given by the conditional Entropy Power Inequality is asymptotically achieved by a suitable sequence of quantum Gaussian input states. Our proof of the conditional Entropy Power Inequality is based on a new Stam inequality for the quantum conditional Fisher information and on the determination of the universal asymptotic behaviour of the quantum conditional entropy under the heat semigroup evolution. The beam-splitter and the squeezing are the central elements of quantum optics, and can model the attenuation, the amplification and the noise of electromagnetic signals. This conditional Entropy Power Inequality will have a strong impact in quantum information and quantum cryptography. Among its many possible applications there is the proof of a new uncertainty relation for the conditional Wehrl entropy. more...

We prove the longstanding conjecture stating that Gaussian thermal input states minimize the output von Neumann entropy of one-mode phase-covariant quantum Gaussian channels among all the input states with a given entropy. Phase-covariant quantum Gaussian channels model the attenuation and the noise that affect any electromagnetic signal in the quantum regime. Our result is crucial to prove the converse theorems for both the triple trade-off region and the capacity region for broadcast communication of the Gaussian quantum-limited amplifier. Our result extends to the quantum regime the Entropy Power Inequality that plays a key role in classical information theory. Our proof exploits a completely new technique based on the recent determination of the p->q norms of the quantum-limited amplifier [De Palma et al., arXiv:1610.09967]. This technique can be applied to any quantum channel. more...

We prove that Gaussian thermal input states minimize the output von Neumann entropy of the one-mode Gaussian quantum-limited attenuator for fixed input entropy. The Gaussian quantum-limited attenuator models the attenuation of an electromagnetic signal in the quantum regime. The Shannon entropy of an attenuated real-valued classical signal is a simple function of the entropy of the original signal. A striking consequence of energy quantization is that the output von Neumann entropy of the quantum-limited attenuator is no more a function of the input entropy alone. The proof starts from the majorization result of De Palma et al., IEEE Trans. Inf. Theory 62, 2895 (2016), and is based on a new isoperimetric inequality. Our result implies that geometric input probability distributions minimize the output Shannon entropy of the thinning for fixed input entropy. Moreover, our result opens the way to the multimode generalization, that permits to determine both the triple trade-off region of the Gaussian quantum-limited attenuator and the classical capacity region of the Gaussian degraded quantum broadcast channel. more...