-
Entanglement Degradation in the Presence of Markovian Noise: a Statistical Analysis
Authors:
Nunzia Cerrato,
Giacomo De Palma,
Vittorio Giovannetti
Abstract:
Adopting a statistical approach we study the degradation of entanglement of a quantum system under the action of an ensemble of randomly distributed Markovian noise. This enables us to address scenarios where only limited information is available on the mechanisms that rule the noisy evolution of the model. As an application, we characterize the statistic of entanglement deterioration for a quantu…
▽ More
Adopting a statistical approach we study the degradation of entanglement of a quantum system under the action of an ensemble of randomly distributed Markovian noise. This enables us to address scenarios where only limited information is available on the mechanisms that rule the noisy evolution of the model. As an application, we characterize the statistic of entanglement deterioration for a quantum memory formed by $n$ qudits that undergo randomly distributed local, uniform, Markovian noise evolution.
△ Less
Submitted 4 April, 2024;
originally announced April 2024.
-
Quantum concentration inequalities and equivalence of the thermodynamical ensembles: an optimal mass transport approach
Authors:
Giacomo De Palma,
Davide Pastorello
Abstract:
We prove new concentration inequalities for quantum spin systems which apply to any local observable measured on any product state or on any state with exponentially decaying correlations. Our results do not require the spins to be arranged in a regular lattice, and cover the case of observables that contain terms acting on spins at arbitrary distance. Moreover, we introduce a local W1 distance, w…
▽ More
We prove new concentration inequalities for quantum spin systems which apply to any local observable measured on any product state or on any state with exponentially decaying correlations. Our results do not require the spins to be arranged in a regular lattice, and cover the case of observables that contain terms acting on spins at arbitrary distance. Moreover, we introduce a local W1 distance, which quantifies the distinguishability of two states with respect to local observables. We prove a transportation-cost inequality stating that the local W1 distance between a generic state and a state with exponentially decaying correlations is upper bounded by a function of their relative entropy. Finally, we apply such inequality to prove the equivalence between the canonical and microcanonical ensembles of quantum statistical mechanics and the weak eigenstate thermalization hypothesis for the Hamiltonians whose Gibbs states have exponentially decaying correlations.
△ Less
Submitted 27 March, 2024;
originally announced March 2024.
-
Trained quantum neural networks are Gaussian processes
Authors:
Filippo Girardi,
Giacomo De Palma
Abstract:
We study quantum neural networks made by parametric one-qubit gates and fixed two-qubit gates in the limit of infinite width, where the generated function is the expectation value of the sum of single-qubit observables over all the qubits. First, we prove that the probability distribution of the function generated by the untrained network with randomly initialized parameters converges in distribut…
▽ More
We study quantum neural networks made by parametric one-qubit gates and fixed two-qubit gates in the limit of infinite width, where the generated function is the expectation value of the sum of single-qubit observables over all the qubits. First, we prove that the probability distribution of the function generated by the untrained network with randomly initialized parameters converges in distribution to a Gaussian process whenever each measured qubit is correlated only with few other measured qubits. Then, we analytically characterize the training of the network via gradient descent with square loss on supervised learning problems. We prove that, as long as the network is not affected by barren plateaus, the trained network can perfectly fit the training set and that the probability distribution of the function generated after training still converges in distribution to a Gaussian process. Finally, we consider the statistical noise of the measurement at the output of the network and prove that a polynomial number of measurements is sufficient for all the previous results to hold and that the network can always be trained in polynomial time.
△ Less
Submitted 13 February, 2024;
originally announced February 2024.
-
Optical fibres with memory effects and their quantum communication capacities
Authors:
Francesco Anna Mele,
Giacomo De Palma,
Marco Fanizza,
Vittorio Giovannetti,
Ludovico Lami
Abstract:
The development of quantum repeaters poses significant challenges in terms of cost and maintenance, prompting the exploration of alternative approaches for achieving long-distance quantum communication. In the absence of quantum repeaters and under the memoryless (iid) approximation, it has been established that some fundamental quantum communication tasks are impossible if the transmissivity of a…
▽ More
The development of quantum repeaters poses significant challenges in terms of cost and maintenance, prompting the exploration of alternative approaches for achieving long-distance quantum communication. In the absence of quantum repeaters and under the memoryless (iid) approximation, it has been established that some fundamental quantum communication tasks are impossible if the transmissivity of an optical fibre falls below a known critical value, resulting in a severe constraint on the achievable distance for quantum communication. However, if the memoryless assumption does not hold -- e.g. when input signals are separated by a sufficiently short time interval -- the validity of this limitation is put into question. In this paper we introduce a model of optical fibre that can describe memory effects for long transmission lines. We then solve its quantum capacity, two-way quantum capacity, and secret-key capacity exactly. By doing so, we show that -- due to the memory cross-talk between the transmitted signals -- reliable quantum communication is attainable even for highly noisy regimes where it was previously considered impossible. As part of our solution, we find the critical time interval between subsequent signals below which quantum communication, two-way entanglement distribution, and quantum key distribution become achievable.
△ Less
Submitted 29 September, 2023;
originally announced September 2023.
-
Classical shadows meet quantum optimal mass transport
Authors:
Giacomo De Palma,
Tristan Klein,
Davide Pastorello
Abstract:
Classical shadows constitute a protocol to estimate the expectation values of a collection of M observables acting on O(1) qubits of an unknown n-qubit state with a number of measurements that is independent of n and that grows only logarithmically with M. We propose a local variant of the quantum Wasserstein distance of order 1 of [De Palma et al., IEEE Trans. Inf. Theory 67, 6627 (2021)] and pro…
▽ More
Classical shadows constitute a protocol to estimate the expectation values of a collection of M observables acting on O(1) qubits of an unknown n-qubit state with a number of measurements that is independent of n and that grows only logarithmically with M. We propose a local variant of the quantum Wasserstein distance of order 1 of [De Palma et al., IEEE Trans. Inf. Theory 67, 6627 (2021)] and prove that the classical shadow obtained measuring O(log n) copies of the state to be learned constitutes an accurate estimate with respect to the proposed distance. We apply the results to quantum generative adversarial networks, showing that quantum access to the state to be learned can be useful only when some prior information on such state is available.
△ Less
Submitted 15 September, 2023;
originally announced September 2023.
-
Quantum Optimal Transport: Quantum Channels and Qubits
Authors:
Giacomo De Palma,
Dario Trevisan
Abstract:
These notes are based on the lectures given by the second author at the School on Optimal Transport on Quantum Structures at Erdös Center in September 2022. The focus of the exposition is on two recently introduced approaches on quantum optimal transport: one based on quantum channels as generalized transport plans, the other based on the notion of Hamming-Wasserstein distance of order 1 on multip…
▽ More
These notes are based on the lectures given by the second author at the School on Optimal Transport on Quantum Structures at Erdös Center in September 2022. The focus of the exposition is on two recently introduced approaches on quantum optimal transport: one based on quantum channels as generalized transport plans, the other based on the notion of Hamming-Wasserstein distance of order 1 on multiple-qubit systems. The material is presented in an elementary manner with a focus on the finite-dimensional setting.
△ Less
Submitted 30 July, 2023;
originally announced July 2023.
-
Improving the speed of variational quantum algorithms for quantum error correction
Authors:
Fabio Zoratti,
Giacomo De Palma,
Bobak Kiani,
Quynh T. Nguyen,
Milad Marvian,
Seth Lloyd,
Vittorio Giovannetti
Abstract:
We consider the problem of devising a suitable Quantum Error Correction (QEC) procedures for a generic quantum noise acting on a quantum circuit. In general, there is no analytic universal procedure to obtain the encoding and correction unitary gates, and the problem is even harder if the noise is unknown and has to be reconstructed. The existing procedures rely on Variational Quantum Algorithms (…
▽ More
We consider the problem of devising a suitable Quantum Error Correction (QEC) procedures for a generic quantum noise acting on a quantum circuit. In general, there is no analytic universal procedure to obtain the encoding and correction unitary gates, and the problem is even harder if the noise is unknown and has to be reconstructed. The existing procedures rely on Variational Quantum Algorithms (VQAs) and are very difficult to train since the size of the gradient of the cost function decays exponentially with the number of qubits. We address this problem using a cost function based on the Quantum Wasserstein distance of order 1 ($QW_1$). At variance with other quantum distances typically adopted in quantum information processing, $QW_1$ lacks the unitary invariance property which makes it a suitable tool to avoid to get trapped in local minima. Focusing on a simple noise model for which an exact QEC solution is known and can be used as a theoretical benchmark, we run a series of numerical tests that show how, guiding the VQA search through the $QW_1$, can indeed significantly increase both the probability of a successful training and the fidelity of the recovered state, with respect to the results one obtains when using conventional approaches.
△ Less
Submitted 25 August, 2023; v1 submitted 12 January, 2023;
originally announced January 2023.
-
The Wasserstein distance of order 1 for quantum spin systems on infinite lattices
Authors:
Giacomo De Palma,
Dario Trevisan
Abstract:
We propose a generalization of the Wasserstein distance of order 1 to quantum spin systems on the lattice $\mathbb{Z}^d$, which we call specific quantum $W_1$ distance. The proposal is based on the $W_1$ distance for qudits of [De Palma et al., IEEE Trans. Inf. Theory 67, 6627 (2021)] and recovers Ornstein's $\bar{d}$-distance for the quantum states whose marginal states on any finite number of sp…
▽ More
We propose a generalization of the Wasserstein distance of order 1 to quantum spin systems on the lattice $\mathbb{Z}^d$, which we call specific quantum $W_1$ distance. The proposal is based on the $W_1$ distance for qudits of [De Palma et al., IEEE Trans. Inf. Theory 67, 6627 (2021)] and recovers Ornstein's $\bar{d}$-distance for the quantum states whose marginal states on any finite number of spins are diagonal in the canonical basis. We also propose a generalization of the Lipschitz constant to quantum interactions on $\mathbb{Z}^d$ and prove that such quantum Lipschitz constant and the specific quantum $W_1$ distance are mutually dual. We prove a new continuity bound for the von Neumann entropy for a finite set of quantum spins in terms of the quantum $W_1$ distance, and we apply it to prove a continuity bound for the specific von Neumann entropy in terms of the specific quantum $W_1$ distance for quantum spin systems on $\mathbb{Z}^d$. Finally, we prove that local quantum commuting interactions above a critical temperature satisfy a transportation-cost inequality, which implies the uniqueness of their Gibbs states.
△ Less
Submitted 28 June, 2023; v1 submitted 20 October, 2022;
originally announced October 2022.
-
Optimal local work extraction from bipartite quantum systems in the presence of Hamiltonian couplings
Authors:
Raffaele Salvia,
Giacomo De Palma,
Vittorio Giovannetti
Abstract:
We investigate the problem of finding the local analogue of the ergotropy, that is the maximum work that can be extracted from a system if we can only apply local unitary transformation acting on a given subsystem.
In particular, we provide a closed formula for the local ergotropy in the special case in which the local system has only two levels, and give analytic lower bounds and semidefinite p…
▽ More
We investigate the problem of finding the local analogue of the ergotropy, that is the maximum work that can be extracted from a system if we can only apply local unitary transformation acting on a given subsystem.
In particular, we provide a closed formula for the local ergotropy in the special case in which the local system has only two levels, and give analytic lower bounds and semidefinite programming upper bounds for the general case. As non-trivial examples of application, we compute the local ergotropy for a atom in an electromagnetic cavity with Jaynes-Cummings coupling, and the local ergotropy for a spin site in an XXZ Heisenberg chain, showing that the amount of work that can be extracted with an unitary operation on the coupled system can be greater than the work obtainable by quenching off the coupling with the environment before the unitary transformation.
△ Less
Submitted 29 June, 2022;
originally announced June 2022.
-
Limitations of variational quantum algorithms: a quantum optimal transport approach
Authors:
Giacomo De Palma,
Milad Marvian,
Cambyse Rouzé,
Daniel Stilck França
Abstract:
The impressive progress in quantum hardware in the last years has raised the interest of the quantum computing community in harvesting the computational power of such devices. However, in the absence of error correction, these devices can only reliably implement very shallow circuits or comparatively deeper circuits at the expense of a nontrivial density of errors. In this work, we obtain extremel…
▽ More
The impressive progress in quantum hardware in the last years has raised the interest of the quantum computing community in harvesting the computational power of such devices. However, in the absence of error correction, these devices can only reliably implement very shallow circuits or comparatively deeper circuits at the expense of a nontrivial density of errors. In this work, we obtain extremely tight limitation bounds for standard NISQ proposals in both the noisy and noiseless regimes, with or without error-mitigation tools. The bounds limit the performance of both circuit model algorithms, such as QAOA, and also continuous-time algorithms, such as quantum annealing. In the noisy regime with local depolarizing noise $p$, we prove that at depths $L=\mathcal{O}(p^{-1})$ it is exponentially unlikely that the outcome of a noisy quantum circuit outperforms efficient classical algorithms for combinatorial optimization problems like Max-Cut. Although previous results already showed that classical algorithms outperform noisy quantum circuits at constant depth, these results only held for the expectation value of the output. Our results are based on newly developed quantum entropic and concentration inequalities, which constitute a homogeneous toolkit of theoretical methods from the quantum theory of optimal mass transport whose potential usefulness goes beyond the study of variational quantum algorithms.
△ Less
Submitted 20 February, 2023; v1 submitted 7 April, 2022;
originally announced April 2022.
-
Quantum algorithms for group convolution, cross-correlation, and equivariant transformations
Authors:
Grecia Castelazo,
Quynh T. Nguyen,
Giacomo De Palma,
Dirk Englund,
Seth Lloyd,
Bobak T. Kiani
Abstract:
Group convolutions and cross-correlations, which are equivariant to the actions of group elements, are commonly used in mathematics to analyze or take advantage of symmetries inherent in a given problem setting. Here, we provide efficient quantum algorithms for performing linear group convolutions and cross-correlations on data stored as quantum states. Runtimes for our algorithms are logarithmic…
▽ More
Group convolutions and cross-correlations, which are equivariant to the actions of group elements, are commonly used in mathematics to analyze or take advantage of symmetries inherent in a given problem setting. Here, we provide efficient quantum algorithms for performing linear group convolutions and cross-correlations on data stored as quantum states. Runtimes for our algorithms are logarithmic in the dimension of the group thus offering an exponential speedup compared to classical algorithms when input data is provided as a quantum state and linear operations are well conditioned. Motivated by the rich literature on quantum algorithms for solving algebraic problems, our theoretical framework opens a path for quantizing many algorithms in machine learning and numerical methods that employ group operations.
△ Less
Submitted 6 September, 2022; v1 submitted 23 September, 2021;
originally announced September 2021.
-
Linear growth of the entanglement entropy for quadratic Hamiltonians and arbitrary initial states
Authors:
Giacomo De Palma,
Lucas Hackl
Abstract:
We prove that the entanglement entropy of any pure initial state of a bipartite bosonic quantum system grows linearly in time with respect to the dynamics induced by any unstable quadratic Hamiltonian. The growth rate does not depend on the initial state and is equal to the sum of certain Lyapunov exponents of the corresponding classical dynamics. This paper generalizes the findings of [Bianchi et…
▽ More
We prove that the entanglement entropy of any pure initial state of a bipartite bosonic quantum system grows linearly in time with respect to the dynamics induced by any unstable quadratic Hamiltonian. The growth rate does not depend on the initial state and is equal to the sum of certain Lyapunov exponents of the corresponding classical dynamics. This paper generalizes the findings of [Bianchi et al., JHEP 2018, 25 (2018)], which proves the same result in the special case of Gaussian initial states. Our proof is based on a recent generalization of the strong subadditivity of the von Neumann entropy for bosonic quantum systems [De Palma et al., arXiv:2105.05627]. This technique allows us to extend our result to generic mixed initial states, with the squashed entanglement providing the right generalization of the entanglement entropy. We discuss several applications of our results to physical systems with (weakly) interacting Hamiltonians and periodically driven quantum systems, including certain quantum field theory models.
△ Less
Submitted 23 July, 2021;
originally announced July 2021.
-
Quantum concentration inequalities
Authors:
Giacomo De Palma,
Cambyse Rouzé
Abstract:
We establish transportation cost inequalities (TCI) with respect to the quantum Wasserstein distance by introducing quantum extensions of well-known classical methods: first, using a non-commutative version of Ollivier's coarse Ricci curvature, we prove that high temperature Gibbs states of commuting Hamiltonians on arbitrary hypergraphs $H=(V,E)$ satisfy a TCI with constant scaling as $O(|V|)$. S…
▽ More
We establish transportation cost inequalities (TCI) with respect to the quantum Wasserstein distance by introducing quantum extensions of well-known classical methods: first, using a non-commutative version of Ollivier's coarse Ricci curvature, we prove that high temperature Gibbs states of commuting Hamiltonians on arbitrary hypergraphs $H=(V,E)$ satisfy a TCI with constant scaling as $O(|V|)$. Second, we argue that the temperature range for which the TCI holds can be enlarged by relating it to recently established modified logarithmic Sobolev inequalities. Third, we prove that the inequality still holds for fixed points of arbitrary reversible local quantum Markov semigroups on regular lattices, albeit with slightly worsened constants, under a seemingly weaker condition of local indistinguishability of the fixed points. Finally, we use our framework to prove Gaussian concentration bounds for the distribution of eigenvalues of quasi-local observables and argue the usefulness of the TCI in proving the equivalence of the canonical and microcanonical ensembles and an exponential improvement over the weak Eigenstate Thermalization Hypothesis.
△ Less
Submitted 3 May, 2022; v1 submitted 30 June, 2021;
originally announced June 2021.
-
The generalized strong subadditivity of the von Neumann entropy for bosonic quantum systems
Authors:
Giacomo De Palma,
Dario Trevisan
Abstract:
We prove a generalization of the strong subadditivity of the von Neumann entropy for bosonic quantum Gaussian systems. Such generalization determines the minimum values of linear combinations of the entropies of subsystems associated to arbitrary linear functions of the quadratures, and holds for arbitrary quantum states including the scenario where the entropies are conditioned on a memory quantu…
▽ More
We prove a generalization of the strong subadditivity of the von Neumann entropy for bosonic quantum Gaussian systems. Such generalization determines the minimum values of linear combinations of the entropies of subsystems associated to arbitrary linear functions of the quadratures, and holds for arbitrary quantum states including the scenario where the entropies are conditioned on a memory quantum system. We apply our result to prove new entropic uncertainty relations with quantum memory, a generalization of the quantum Entropy Power Inequality, and the linear time scaling of the entanglement entropy produced by quadratic Hamiltonians.
△ Less
Submitted 1 July, 2024; v1 submitted 12 May, 2021;
originally announced May 2021.
-
Hamiltonian singular value transformation and inverse block encoding
Authors:
Seth Lloyd,
Bobak T. Kiani,
David R. M. Arvidsson-Shukur,
Samuel Bosch,
Giacomo De Palma,
William M. Kaminsky,
Zi-Wen Liu,
Milad Marvian
Abstract:
The quantum singular value transformation is a powerful quantum algorithm that allows one to apply a polynomial transformation to the singular values of a matrix that is embedded as a block of a unitary transformation. This paper shows how to perform the quantum singular value transformation for a matrix that can be embedded as a block of a Hamiltonian. The transformation can be implemented in a p…
▽ More
The quantum singular value transformation is a powerful quantum algorithm that allows one to apply a polynomial transformation to the singular values of a matrix that is embedded as a block of a unitary transformation. This paper shows how to perform the quantum singular value transformation for a matrix that can be embedded as a block of a Hamiltonian. The transformation can be implemented in a purely Hamiltonian context by the alternating application of Hamiltonians for chosen intervals: it is an example of the Quantum Alternating Operator Ansatz (generalized QAOA). We also show how to use the Hamiltonian quantum singular value transformation to perform inverse block encoding to implement a unitary of which a given Hamiltonian is a block. Inverse block encoding leads to novel procedures for matrix multiplication and for solving differential equations on quantum information processors in a purely Hamiltonian fashion.
△ Less
Submitted 30 May, 2021; v1 submitted 3 April, 2021;
originally announced April 2021.
-
Learning quantum data with the quantum Earth Mover's distance
Authors:
Bobak Toussi Kiani,
Giacomo De Palma,
Milad Marvian,
Zi-Wen Liu,
Seth Lloyd
Abstract:
Quantifying how far the output of a learning algorithm is from its target is an essential task in machine learning. However, in quantum settings, the loss landscapes of commonly used distance metrics often produce undesirable outcomes such as poor local minima and exponentially decaying gradients. To overcome these obstacles, we consider here the recently proposed quantum earth mover's (EM) or Was…
▽ More
Quantifying how far the output of a learning algorithm is from its target is an essential task in machine learning. However, in quantum settings, the loss landscapes of commonly used distance metrics often produce undesirable outcomes such as poor local minima and exponentially decaying gradients. To overcome these obstacles, we consider here the recently proposed quantum earth mover's (EM) or Wasserstein-1 distance as a quantum analog to the classical EM distance. We show that the quantum EM distance possesses unique properties, not found in other commonly used quantum distance metrics, that make quantum learning more stable and efficient. We propose a quantum Wasserstein generative adversarial network (qWGAN) which takes advantage of the quantum EM distance and provides an efficient means of performing learning on quantum data. We provide examples where our qWGAN is capable of learning a diverse set of quantum data with only resources polynomial in the number of qubits.
△ Less
Submitted 16 May, 2022; v1 submitted 8 January, 2021;
originally announced January 2021.
-
Quantum algorithm for nonlinear differential equations
Authors:
Seth Lloyd,
Giacomo De Palma,
Can Gokler,
Bobak Kiani,
Zi-Wen Liu,
Milad Marvian,
Felix Tennie,
Tim Palmer
Abstract:
Quantum computers are known to provide an exponential advantage over classical computers for the solution of linear differential equations in high-dimensional spaces. Here, we present a quantum algorithm for the solution of nonlinear differential equations. The quantum algorithm provides an exponential advantage over classical algorithms for solving nonlinear differential equations. Potential appl…
▽ More
Quantum computers are known to provide an exponential advantage over classical computers for the solution of linear differential equations in high-dimensional spaces. Here, we present a quantum algorithm for the solution of nonlinear differential equations. The quantum algorithm provides an exponential advantage over classical algorithms for solving nonlinear differential equations. Potential applications include the Navier-Stokes equation, plasma hydrodynamics, epidemiology, and more.
△ Less
Submitted 21 December, 2020; v1 submitted 12 November, 2020;
originally announced November 2020.
-
Quantum advantage for differential equation analysis
Authors:
Bobak T. Kiani,
Giacomo De Palma,
Dirk Englund,
William Kaminsky,
Milad Marvian,
Seth Lloyd
Abstract:
Quantum algorithms for both differential equation solving and for machine learning potentially offer an exponential speedup over all known classical algorithms. However, there also exist obstacles to obtaining this potential speedup in useful problem instances. The essential obstacle for quantum differential equation solving is that outputting useful information may require difficult post-processi…
▽ More
Quantum algorithms for both differential equation solving and for machine learning potentially offer an exponential speedup over all known classical algorithms. However, there also exist obstacles to obtaining this potential speedup in useful problem instances. The essential obstacle for quantum differential equation solving is that outputting useful information may require difficult post-processing, and the essential obstacle for quantum machine learning is that inputting the training set is a difficult task just by itself. In this paper, we demonstrate, when combined, these difficulties solve one another. We show how the output of quantum differential equation solving can serve as the input for quantum machine learning, allowing dynamical analysis in terms of principal components, power spectra, and wavelet decompositions. To illustrate this, we consider continuous time Markov processes on epidemiological and social networks. These quantum algorithms provide an exponential advantage over existing classical Monte Carlo methods.
△ Less
Submitted 26 April, 2022; v1 submitted 29 October, 2020;
originally announced October 2020.
-
The Quantum Wasserstein Distance of Order 1
Authors:
Giacomo De Palma,
Milad Marvian,
Dario Trevisan,
Seth Lloyd
Abstract:
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…
▽ 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.
△ Less
Submitted 13 January, 2022; v1 submitted 9 September, 2020;
originally announced September 2020.
-
Quantum polar decomposition algorithm
Authors:
Seth Lloyd,
Samuel Bosch,
Giacomo De Palma,
Bobak Kiani,
Zi-Wen Liu,
Milad Marvian,
Patrick Rebentrost,
David M. Arvidsson-Shukur
Abstract:
The polar decomposition for a matrix $A$ is $A=UB$, where $B$ is a positive Hermitian matrix and $U$ is unitary (or, if $A$ is not square, an isometry). This paper shows that the ability to apply a Hamiltonian $\pmatrix{ 0 & A^\dagger \cr A & 0 \cr} $ translates into the ability to perform the transformations $e^{-iBt}$ and $U$ in a deterministic fashion. We show how to use the quantum polar decom…
▽ More
The polar decomposition for a matrix $A$ is $A=UB$, where $B$ is a positive Hermitian matrix and $U$ is unitary (or, if $A$ is not square, an isometry). This paper shows that the ability to apply a Hamiltonian $\pmatrix{ 0 & A^\dagger \cr A & 0 \cr} $ translates into the ability to perform the transformations $e^{-iBt}$ and $U$ in a deterministic fashion. We show how to use the quantum polar decomposition algorithm to solve the quantum Procrustes problem, to perform pretty good measurements, to find the positive Hamiltonian closest to any Hamiltonian, and to perform a Hamiltonian version of the quantum singular value transformation.
△ Less
Submitted 1 June, 2020;
originally announced June 2020.
-
Adversarial Robustness Guarantees for Random Deep Neural Networks
Authors:
Giacomo De Palma,
Bobak T. Kiani,
Seth Lloyd
Abstract:
The reliability of deep learning algorithms is fundamentally challenged by the existence of adversarial examples, which are incorrectly classified inputs that are extremely close to a correctly classified input. We explore the properties of adversarial examples for deep neural networks with random weights and biases, and prove that for any $p\ge1$, the $\ell^p$ distance of any given input from the…
▽ More
The reliability of deep learning algorithms is fundamentally challenged by the existence of adversarial examples, which are incorrectly classified inputs that are extremely close to a correctly classified input. We explore the properties of adversarial examples for deep neural networks with random weights and biases, and prove that for any $p\ge1$, the $\ell^p$ distance of any given input from the classification boundary scales as one over the square root of the dimension of the input times the $\ell^p$ norm of the input. The results are based on the recently proved equivalence between Gaussian processes and deep neural networks in the limit of infinite width of the hidden layers, and are validated with experiments on both random deep neural networks and deep neural networks trained on the MNIST and CIFAR10 datasets. The results constitute a fundamental advance in the theoretical understanding of adversarial examples, and open the way to a thorough theoretical characterization of the relation between network architecture and robustness to adversarial perturbations.
△ Less
Submitted 22 July, 2021; v1 submitted 13 April, 2020;
originally announced April 2020.
-
Quantum optimal transport with quantum channels
Authors:
Giacomo De Palma,
Dario Trevisan
Abstract:
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…
▽ 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.
△ Less
Submitted 24 February, 2021; v1 submitted 2 November, 2019;
originally announced November 2019.
-
The squashed entanglement of the noiseless quantum Gaussian attenuator and amplifier
Authors:
Giacomo De Palma
Abstract:
We determine the maximum squashed entanglement achievable between sender and receiver of the noiseless quantum Gaussian attenuators and amplifiers and we prove that it is achieved sending half of an infinitely squeezed two-mode vacuum state. The key ingredient of the proof is a lower bound to the squashed entanglement of the quantum Gaussian states obtained applying a two-mode squeezing operation…
▽ More
We determine the maximum squashed entanglement achievable between sender and receiver of the noiseless quantum Gaussian attenuators and amplifiers and we prove that it is achieved sending half of an infinitely squeezed two-mode vacuum state. The key ingredient of the proof is a lower bound to the squashed entanglement of the quantum Gaussian states obtained applying a two-mode squeezing operation to a quantum thermal Gaussian state tensored with the vacuum state. This is the first lower bound to the squashed entanglement of a quantum Gaussian state and opens the way to determine the squashed entanglement of all quantum Gaussian channels. Moreover, we determine the classical squashed entanglement of the quantum Gaussian states above and show that it is strictly larger than their squashed entanglement. This is the first time that the classical squashed entanglement of a mixed quantum Gaussian state is determined.
△ Less
Submitted 3 November, 2019; v1 submitted 21 May, 2019;
originally announced May 2019.
-
Random deep neural networks are biased towards simple functions
Authors:
Giacomo De Palma,
Bobak Toussi Kiani,
Seth Lloyd
Abstract:
We prove that the binary classifiers of bit strings generated by random wide deep neural networks with ReLU activation function are biased towards simple functions. The simplicity is captured by the following two properties. For any given input bit string, the average Hamming distance of the closest input bit string with a different classification is at least sqrt(n / (2π log n)), where n is the l…
▽ More
We prove that the binary classifiers of bit strings generated by random wide deep neural networks with ReLU activation function are biased towards simple functions. The simplicity is captured by the following two properties. For any given input bit string, the average Hamming distance of the closest input bit string with a different classification is at least sqrt(n / (2π log n)), where n is the length of the string. Moreover, if the bits of the initial string are flipped randomly, the average number of flips required to change the classification grows linearly with n. These results are confirmed by numerical experiments on deep neural networks with two hidden layers, and settle the conjecture stating that random deep neural networks are biased towards simple functions. This conjecture was proposed and numerically explored in [Valle Pérez et al., ICLR 2019] to explain the unreasonably good generalization properties of deep learning algorithms. The probability distribution of the functions generated by random deep neural networks is a good choice for the prior probability distribution in the PAC-Bayesian generalization bounds. Our results constitute a fundamental step forward in the characterization of this distribution, therefore contributing to the understanding of the generalization properties of deep learning algorithms.
△ Less
Submitted 23 October, 2019; v1 submitted 25 December, 2018;
originally announced December 2018.
-
The Entropy Power Inequality with quantum conditioning
Authors:
Giacomo De Palma
Abstract:
The conditional entropy power inequality is a fundamental inequality in information theory, stating that the conditional entropy of the sum of two conditionally independent vector-valued random variables each with an assigned conditional entropy is minimum when the random variables are Gaussian. We prove the conditional entropy power inequality in the scenario where the conditioning system is quan…
▽ More
The conditional entropy power inequality is a fundamental inequality in information theory, stating that the conditional entropy of the sum of two conditionally independent vector-valued random variables each with an assigned conditional entropy is minimum when the random variables are Gaussian. We prove the conditional entropy power inequality in the scenario where the conditioning system is quantum. The proof is based on the heat semigroup and on a generalization of the Stam inequality in the presence of quantum conditioning. The entropy power inequality with quantum conditioning will be a key tool of quantum information, with applications in distributed source coding protocols with the assistance of quantum entanglement.
△ Less
Submitted 31 January, 2019; v1 submitted 24 August, 2018;
originally announced August 2018.
-
New lower bounds to the output entropy of multi-mode quantum Gaussian channels
Authors:
Giacomo De Palma
Abstract:
We prove that quantum thermal Gaussian input states minimize the output entropy of the multi-mode quantum Gaussian attenuators and amplifiers that are entanglement breaking and of the multi-mode quantum Gaussian phase contravariant channels among all the input states with a given entropy. This is the first time that this property is proven for a multi-mode channel without restrictions on the input…
▽ More
We prove that quantum thermal Gaussian input states minimize the output entropy of the multi-mode quantum Gaussian attenuators and amplifiers that are entanglement breaking and of the multi-mode quantum Gaussian phase contravariant channels among all the input states with a given entropy. This is the first time that this property is proven for a multi-mode channel without restrictions on the input states. A striking consequence of this result is a new lower bound on the output entropy of all the multi-mode quantum Gaussian attenuators and amplifiers in terms of the input entropy. We apply this bound to determine new upper bounds to the communication rates in two different scenarios. The first is classical communication to two receivers with the quantum degraded Gaussian broadcast channel. The second is the simultaneous classical communication, quantum communication and entanglement generation or the simultaneous public classical communication, private classical communication and quantum key distribution with the Gaussian quantum-limited attenuator.
△ Less
Submitted 30 July, 2019; v1 submitted 31 May, 2018;
originally announced May 2018.
-
Gaussian optimizers for entropic inequalities in quantum information
Authors:
Giacomo De Palma,
Dario Trevisan,
Vittorio Giovannetti,
Luigi Ambrosio
Abstract:
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 Entr…
▽ 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.
△ Less
Submitted 21 August, 2018; v1 submitted 6 March, 2018;
originally announced March 2018.
-
The conditional entropy power inequality for quantum additive noise channels
Authors:
Giacomo De Palma,
Stefan Huber
Abstract:
We prove the quantum conditional Entropy Power Inequality for quantum additive noise channels. This inequality lower bounds the quantum conditional entropy of the output of an additive noise channel in terms of the quantum conditional entropies of the input state and the noise when they are conditionally independent given the memory. We also show that this conditional Entropy Power Inequality is o…
▽ More
We prove the quantum conditional Entropy Power Inequality for quantum additive noise channels. This inequality lower bounds the quantum conditional entropy of the output of an additive noise channel in terms of the quantum conditional entropies of the input state and the noise when they are conditionally independent given the memory. We also show that this conditional Entropy Power Inequality is optimal in the sense that we can achieve equality asymptotically by choosing a suitable sequence of Gaussian input states. We apply the conditional Entropy Power Inequality to find an array of information-theoretic inequalities for conditional entropies which are the analogues of inequalities which have already been established in the unconditioned setting. Furthermore, we give a simple proof of the convergence rate of the quantum Ornstein-Uhlenbeck semigroup based on Entropy Power Inequalities.
△ Less
Submitted 4 December, 2018; v1 submitted 1 March, 2018;
originally announced March 2018.
-
The minimum error probability of quantum illumination
Authors:
Giacomo De Palma,
Johannes Borregaard
Abstract:
Quantum illumination is a technique for detecting the presence of a target in a noisy environment by means of a quantum probe. We prove that the two-mode squeezed vacuum state is the optimal probe for quantum illumination in the scenario of asymmetric discrimination, where the goal is to minimize the decay rate of the probability of a false positive with a given probability of a false negative. Qu…
▽ More
Quantum illumination is a technique for detecting the presence of a target in a noisy environment by means of a quantum probe. We prove that the two-mode squeezed vacuum state is the optimal probe for quantum illumination in the scenario of asymmetric discrimination, where the goal is to minimize the decay rate of the probability of a false positive with a given probability of a false negative. Quantum illumination with two-mode squeezed vacuum states offers a 6 dB advantage in the error probability exponent compared to illumination with coherent states. Whether more advanced quantum illumination strategies may offer further improvements had been a longstanding open question. Our fundamental result proves that nothing can be gained by considering more exotic quantum states, such as e.g. multi-mode entangled states. Our proof is based on a new fundamental entropic inequality for the noisy quantum Gaussian attenuators. We also prove that without access to a quantum memory, the optimal probes for quantum illumination are the coherent states.
△ Less
Submitted 2 July, 2018; v1 submitted 6 February, 2018;
originally announced February 2018.
-
Gaussian optimizers and other topics in quantum information
Authors:
Giacomo De Palma
Abstract:
The main topic of this thesis is the proof of two fundamental entropic inequalities for quantum Gaussian channels. Quantum Gaussian channels model the propagation of electromagnetic waves through optical fibers and free space in the quantum regime, and provide the mathematical model to determine the maximum rates achievable by quantum communication devices for communication and quantum key distrib…
▽ More
The main topic of this thesis is the proof of two fundamental entropic inequalities for quantum Gaussian channels. Quantum Gaussian channels model the propagation of electromagnetic waves through optical fibers and free space in the quantum regime, and provide the mathematical model to determine the maximum rates achievable by quantum communication devices for communication and quantum key distribution. The first inequality proven in this thesis is the quantum Entropy Power Inequality, which provides a lower bound to the output entropy of the beam-splitter or of the squeezing in terms of the entropies of the two inputs. The second inequality states that Gaussian states minimize the output entropy of the one-mode quantum Gaussian attenuator among all the input states with a given entropy, and was a longstanding conjecture in quantum communication theory. The generalization of this inequality to the multimode attenuator would determine its triple trade-off region and its capacity region for broadcast communication to two receivers. The thesis contains further results in Gaussian quantum information, quantum statistical mechanics and relativistic quantum information. The most important of these results concerns the Eigenstate Thermalization Hypothesis (ETH). The ETH is an assumption in quantum statistical mechanics stating that the eigenstates of the Hamiltonian of a system+bath compound look as thermal states if we can access only the system. We prove that the ETH must hold if the system thermalizes for any initial product state of the system+bath compound with a well-defined temperature.
△ Less
Submitted 25 October, 2017;
originally announced October 2017.
-
Uncertainty relations with quantum memory for the Wehrl entropy
Authors:
Giacomo De Palma
Abstract:
We prove two new fundamental uncertainty relations with quantum memory for the Wehrl entropy. The first relation applies to the bipartite memory scenario. It determines the minimum conditional Wehrl entropy among all the quantum states with a given conditional von Neumann entropy and proves that this minimum is asymptotically achieved by a suitable sequence of quantum Gaussian states. The second r…
▽ More
We prove two new fundamental uncertainty relations with quantum memory for the Wehrl entropy. The first relation applies to the bipartite memory scenario. It determines the minimum conditional Wehrl entropy among all the quantum states with a given conditional von Neumann entropy and proves that this minimum is asymptotically achieved by a suitable sequence of quantum Gaussian states. The second relation applies to the tripartite memory scenario. It determines the minimum of the sum of the Wehrl entropy of a quantum state conditioned on the first memory quantum system with the Wehrl entropy of the same state conditioned on the second memory quantum system and proves that also this minimum is asymptotically achieved by a suitable sequence of quantum Gaussian states. The Wehrl entropy of a quantum state is the Shannon differential entropy of the outcome of a heterodyne measurement performed on the state. The heterodyne measurement is one of the main measurements in quantum optics and lies at the basis of one of the most promising protocols for quantum key distribution. These fundamental entropic uncertainty relations will be a valuable tool in quantum information and will, for example, find application in security proofs of quantum key distribution protocols in the asymptotic regime and in entanglement witnessing in quantum optics.
△ Less
Submitted 30 August, 2019; v1 submitted 14 September, 2017;
originally announced September 2017.
-
The conditional Entropy Power Inequality for bosonic quantum systems
Authors:
Giacomo De Palma,
Dario Trevisan
Abstract:
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 coupl…
▽ 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.
△ Less
Submitted 4 January, 2018; v1 submitted 1 June, 2017;
originally announced June 2017.
-
Multimode Gaussian optimizers for the Wehrl entropy and quantum Gaussian channels
Authors:
Giacomo De Palma,
Dario Trevisan,
Vittorio Giovannetti
Abstract:
We prove in the multimode scenario a fundamental relation between the Wehrl and the von Neumann entropy, stating that the minimum Wehrl entropy among all the quantum states with a given von Neumann entropy is achieved by thermal Gaussian states. We also prove that thermal Gaussian input states minimize the output von Neumann entropy of multimode quantum Gaussian attenuators, amplifiers and phase-c…
▽ More
We prove in the multimode scenario a fundamental relation between the Wehrl and the von Neumann entropy, stating that the minimum Wehrl entropy among all the quantum states with a given von Neumann entropy is achieved by thermal Gaussian states. We also prove that thermal Gaussian input states minimize the output von Neumann entropy of multimode quantum Gaussian attenuators, amplifiers and phase-contravariant channels among all the input states diagonal in some product basis and with a given entropy. This result constitutes a major step towards the proof of the same property for generic input states, which is still an open conjecture. This conjecture is necessary to determine the maximum communication rates for the triple trade-off coding and broadcast communication with the Gaussian quantum-limited attenuator. Finally, we prove that the tensor product of n identical geometric input probability distributions minimizes the output Shannon entropy of the n-mode thinning among all the input probability distributions with a given entropy.
△ Less
Submitted 1 May, 2017;
originally announced May 2017.
-
The Wehrl entropy has Gaussian optimizers
Authors:
Giacomo De Palma
Abstract:
We determine the minimum Wehrl entropy among the quantum states with a given von Neumann entropy, and prove that it is achieved by thermal Gaussian states. This result determines the relation between the von Neumann and the Wehrl entropies. The key idea is proving that the quantum-classical channel that associates to a quantum state its Husimi Q representation is asymptotically equivalent to the G…
▽ More
We determine the minimum Wehrl entropy among the quantum states with a given von Neumann entropy, and prove that it is achieved by thermal Gaussian states. This result determines the relation between the von Neumann and the Wehrl entropies. The key idea is proving that the quantum-classical channel that associates to a quantum state its Husimi Q representation is asymptotically equivalent to the Gaussian quantum-limited amplifier with infinite amplification parameter. This equivalence also permits to determine the p->q norms of the aforementioned quantum-classical channel in the two particular cases of one mode and p=q, and prove that they are achieved by thermal Gaussian states. The same equivalence permits to prove that the Husimi Q representation of a one-mode passive state (i.e. a state diagonal in the Fock basis with eigenvalues decreasing as the energy increases) majorizes the Husimi Q representation of any other one-mode state with the same spectrum, i.e. it maximizes any convex functional.
△ Less
Submitted 26 September, 2017; v1 submitted 7 March, 2017;
originally announced March 2017.
-
Optimal quantum state discrimination via nested binary measurements
Authors:
Matteo Rosati,
Giacomo De Palma,
Andrea Mari,
Vittorio Giovannetti
Abstract:
A method to compute the optimal success probability of discrimination of N arbitrary quantum states is presented, based on the decomposition of any N-outcome measurement into sequences of nested two-outcome ones. In this way the optimization of the measurement operators can be carried out in successive steps, optimizing first the binary measurements at the deepest nesting level and then moving on…
▽ More
A method to compute the optimal success probability of discrimination of N arbitrary quantum states is presented, based on the decomposition of any N-outcome measurement into sequences of nested two-outcome ones. In this way the optimization of the measurement operators can be carried out in successive steps, optimizing first the binary measurements at the deepest nesting level and then moving on to those at higher levels. We obtain an analytical expression for the maximum success probability after the first optimization step and examine its form for the specific case of N=3,4 states of a qubit. In this case, at variance with previous proposals, we are able to provide a compact expression for the success probability of any set of states, whose numerical optimization is straightforward; the results thus obtained highlight some lesser-known features of the discrimination problem.
△ Less
Submitted 11 January, 2017; v1 submitted 9 January, 2017;
originally announced January 2017.
-
Universal locality of quantum thermal susceptibility
Authors:
Giacomo De Palma,
Antonella De Pasquale,
Vittorio Giovannetti
Abstract:
The ultimate precision of any measurement of the temperature of a quantum system is the inverse of the local quantum thermal susceptibility [De Pasquale et al., Nature Communications 7, 12782 (2016)] of the subsystem with whom the thermometer interacts. If this subsystem can be described with the canonical ensemble, such quantity reduces to the variance of the local Hamiltonian, that is proportion…
▽ More
The ultimate precision of any measurement of the temperature of a quantum system is the inverse of the local quantum thermal susceptibility [De Pasquale et al., Nature Communications 7, 12782 (2016)] of the subsystem with whom the thermometer interacts. If this subsystem can be described with the canonical ensemble, such quantity reduces to the variance of the local Hamiltonian, that is proportional to the heat capacity of the subsystem. However, the canonical ensemble might not apply in the presence of interactions between the subsystem and the rest of the system. In this work we address this problem in the framework of locally interacting quantum systems. We prove that the local quantum thermal susceptibility of any subsystem is close to the variance of its local Hamiltonian, provided the volume to surface ratio of the subsystem is much larger than the correlation length. This result greatly simplifies the determination of the ultimate precision of any local estimate of the temperature, and rigorously determines the regime where interactions can affect this precision.
△ Less
Submitted 16 May, 2017; v1 submitted 17 November, 2016;
originally announced November 2016.
-
Gaussian states minimize the output entropy of one-mode quantum Gaussian channels
Authors:
Giacomo De Palma,
Dario Trevisan,
Vittorio Giovannetti
Abstract:
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 co…
▽ 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.
△ Less
Submitted 22 April, 2017; v1 submitted 31 October, 2016;
originally announced October 2016.
-
The One-Mode Quantum-Limited Gaussian Attenuator and Amplifier Have Gaussian Maximizers
Authors:
Giacomo De Palma,
Dario Trevisan,
Vittorio Giovannetti
Abstract:
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, w…
▽ 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.
△ Less
Submitted 5 August, 2018; v1 submitted 31 October, 2016;
originally announced October 2016.
-
Gaussian States Minimize the Output Entropy of the One-Mode Quantum Attenuator
Authors:
Giacomo De Palma,
Dario Trevisan,
Vittorio Giovannetti
Abstract:
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…
▽ 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.
△ Less
Submitted 21 December, 2016; v1 submitted 2 May, 2016;
originally announced May 2016.
-
Passive states as optimal inputs for single-jump lossy quantum channels
Authors:
Giacomo De Palma,
Andrea Mari,
Seth Lloyd,
Vittorio Giovannetti
Abstract:
The passive states of a quantum system minimize the average energy among all the states with a given spectrum. We prove that passive states are the optimal inputs of single-jump lossy quantum channels. These channels arise from a weak interaction of the quantum system of interest with a large Markovian bath in its ground state, such that the interaction Hamiltonian couples only consecutive energy…
▽ More
The passive states of a quantum system minimize the average energy among all the states with a given spectrum. We prove that passive states are the optimal inputs of single-jump lossy quantum channels. These channels arise from a weak interaction of the quantum system of interest with a large Markovian bath in its ground state, such that the interaction Hamiltonian couples only consecutive energy eigenstates of the system. We prove that the output generated by any input state $ρ$ majorizes the output generated by the passive input state $ρ_0$ with the same spectrum of $ρ$. Then, the output generated by $ρ$ can be obtained applying a random unitary operation to the output generated by $ρ_0$. This is an extension of De Palma et al., IEEE Trans. Inf. Theory 62, 2895 (2016), where the same result is proved for one-mode bosonic Gaussian channels. We also prove that for finite temperature this optimality property can fail already in a two-level system, where the best input is a coherent superposition of the two energy eigenstates.
△ Less
Submitted 22 June, 2016; v1 submitted 18 March, 2016;
originally announced March 2016.
-
Passive states optimize the output of bosonic Gaussian quantum channels
Authors:
Giacomo De Palma,
Dario Trevisan,
Vittorio Giovannetti
Abstract:
An ordering between the quantum states emerging from a single mode gauge-covariant bosonic Gaussian channel is proven. Specifically, we show that within the set of input density matrices with the same given spectrum, the element passive with respect to the Fock basis (i.e. diagonal with decreasing eigenvalues) produces an output which majorizes all the other outputs emerging from the same set. Whe…
▽ More
An ordering between the quantum states emerging from a single mode gauge-covariant bosonic Gaussian channel is proven. Specifically, we show that within the set of input density matrices with the same given spectrum, the element passive with respect to the Fock basis (i.e. diagonal with decreasing eigenvalues) produces an output which majorizes all the other outputs emerging from the same set. When applied to pure input states, our finding includes as a special case the result of A. Mari, et al., Nat. Comm. 5, 3826 (2014) which implies that the output associated to the vacuum majorizes the others.
△ Less
Submitted 12 April, 2016; v1 submitted 1 November, 2015;
originally announced November 2015.
-
Experiments testing macroscopic quantum superpositions must be slow
Authors:
Andrea Mari,
Giacomo De Palma,
Vittorio Giovannetti
Abstract:
We consider a thought experiment where the preparation of a macroscopically massive or charged particle in a quantum superposition and the associated dynamics of a distant test particle apparently allow for superluminal communication. We give a solution to the paradox which is based on the following fundamental principle: any local experiment, discriminating a coherent superposition from an incohe…
▽ More
We consider a thought experiment where the preparation of a macroscopically massive or charged particle in a quantum superposition and the associated dynamics of a distant test particle apparently allow for superluminal communication. We give a solution to the paradox which is based on the following fundamental principle: any local experiment, discriminating a coherent superposition from an incoherent statistical mixture, necessarily requires a minimum time proportional to the mass (or charge) of the system. For a charged particle, we consider two examples of such experiments, and show that they are both consistent with the previous limitation. In the first, the measurement requires to accelerate the charge, that can entangle with the emitted photons. In the second, the limitation can be ascribed to the quantum vacuum fluctuations of the electromagnetic field. On the other hand, when applied to massive particles our result provides an indirect evidence for the existence of gravitational vacuum fluctuations and for the possibility of entangling a particle with quantum gravitational radiation.
△ Less
Submitted 8 September, 2015;
originally announced September 2015.
-
Necessity of Eigenstate Thermalization
Authors:
Giacomo De Palma,
Alessio Serafini,
Vittorio Giovannetti,
Marcus Cramer
Abstract:
Under the Eigenstate Thermalization Hypothesis (ETH), quantum-quenched systems equilibrate towards canonical, thermal ensembles. While at first glance the ETH might seem a very strong hypothesis, we show that it is indeed not only sufficient but also necessary for thermalization. More specifically, we consider systems coupled to baths with well-defined macroscopic temperature and show that wheneve…
▽ More
Under the Eigenstate Thermalization Hypothesis (ETH), quantum-quenched systems equilibrate towards canonical, thermal ensembles. While at first glance the ETH might seem a very strong hypothesis, we show that it is indeed not only sufficient but also necessary for thermalization. More specifically, we consider systems coupled to baths with well-defined macroscopic temperature and show that whenever all product states thermalize then the ETH must hold. Our result definitively settles the question of determining whether a quantum system has a thermal behaviour, reducing it to checking whether its Hamiltonian satisfies the ETH.
△ Less
Submitted 2 February, 2016; v1 submitted 24 June, 2015;
originally announced June 2015.
-
Normal form decomposition for Gaussian-to-Gaussian superoperators
Authors:
Giacomo De Palma,
Andrea Mari,
Vittorio Giovannetti,
Alexander S. Holevo
Abstract:
In this paper we explore the set of linear maps sending the set of quantum Gaussian states into itself. These maps are in general not positive, a feature which can be exploited as a test to check whether a given quantum state belongs to the convex hull of Gaussian states (if one of the considered maps sends it into a non positive operator, the above state is certified not to belong to the set). Ge…
▽ More
In this paper we explore the set of linear maps sending the set of quantum Gaussian states into itself. These maps are in general not positive, a feature which can be exploited as a test to check whether a given quantum state belongs to the convex hull of Gaussian states (if one of the considered maps sends it into a non positive operator, the above state is certified not to belong to the set). Generalizing a result known to be valid under the assumption of complete positivity, we provide a characterization of these Gaussian-to-Gaussian (not necessarily positive) superoperators in terms of their action on the characteristic function of the inputs. For the special case of one-mode map**s we also show that any Gaussian-to-Gaussian superoperator can be expressed as a concatenation of a phase-space dilatation, followed by the action of a completely positive Gaussian channel, possibly composed with a transposition. While a similar decomposition is shown to fail in the multi-mode scenario, we prove that it still holds at least under the further hypothesis of homogeneous action on the covariance matrix.
△ Less
Submitted 20 May, 2015; v1 submitted 6 February, 2015;
originally announced February 2015.
-
The multi-mode quantum Entropy Power Inequality
Authors:
Giacomo De Palma,
Andrea Mari,
Seth Lloyd,
Vittorio Giovannetti
Abstract:
The quantum version of a fundamental entropic data-processing inequality is presented. It establishes a lower bound for the entropy that can be generated in the output channels of a scattering process, which involves a collection of independent input bosonic modes (e.g., the modes of the electromagnetic field). The impact of this inequality in quantum information theory is potentially large and so…
▽ More
The quantum version of a fundamental entropic data-processing inequality is presented. It establishes a lower bound for the entropy that can be generated in the output channels of a scattering process, which involves a collection of independent input bosonic modes (e.g., the modes of the electromagnetic field). The impact of this inequality in quantum information theory is potentially large and some relevant implications are considered in this work.
△ Less
Submitted 27 March, 2015; v1 submitted 27 August, 2014;
originally announced August 2014.
-
Classical capacity of Gaussian thermal memory channels
Authors:
Giacomo De Palma,
Andrea Mari,
Vittorio Giovannetti
Abstract:
The classical capacity of phase-invariant Gaussian channels has been recently determined under the assumption that such channels are memoryless. In this work we generalize this result by deriving the classical capacity of a model of quantum memory channel, in which the output states depend on the previous input states. In particular we extend the analysis of [C. Lupo, et al., PRL and PRA (2010)] f…
▽ More
The classical capacity of phase-invariant Gaussian channels has been recently determined under the assumption that such channels are memoryless. In this work we generalize this result by deriving the classical capacity of a model of quantum memory channel, in which the output states depend on the previous input states. In particular we extend the analysis of [C. Lupo, et al., PRL and PRA (2010)] from quantum limited channels to thermal attenuators and thermal amplifiers. Our result applies in many situations in which the physical communication channel is affected by nonzero memory and by thermal noise.
△ Less
Submitted 16 October, 2014; v1 submitted 7 April, 2014;
originally announced April 2014.
-
A generalization of the Entropy Power Inequality to Bosonic Quantum Systems
Authors:
Giacomo De Palma,
Andrea Mari,
Vittorio Giovannetti
Abstract:
In most communication schemes information is transmitted via travelling modes of electromagnetic radiation. These modes are unavoidably subject to environmental noise along any physical transmission medium and the quality of the communication channel strongly depends on the minimum noise achievable at the output. For classical signals such noise can be rigorously quantified in terms of the associa…
▽ More
In most communication schemes information is transmitted via travelling modes of electromagnetic radiation. These modes are unavoidably subject to environmental noise along any physical transmission medium and the quality of the communication channel strongly depends on the minimum noise achievable at the output. For classical signals such noise can be rigorously quantified in terms of the associated Shannon entropy and it is subject to a fundamental lower bound called entropy power inequality. Electromagnetic fields are however quantum mechanical systems and then, especially in low intensity signals, the quantum nature of the information carrier cannot be neglected and many important results derived within classical information theory require non-trivial extensions to the quantum regime. Here we prove one possible generalization of the Entropy Power Inequality to quantum bosonic systems. The impact of this inequality in quantum information theory is potentially large and some relevant implications are considered in this work.
△ Less
Submitted 7 May, 2015; v1 submitted 3 February, 2014;
originally announced February 2014.