Quantum communication theory explores the implications of quantum mechanics to the tasks of information transmission. Many physical channels can be formally described as quantum Gaussian operations acting on bosonic quantum states. Depending on the input state and on the quality of the channel, the output suffers certain amount of noise. For a long time it has been conjectured, but never proved, that output states of Gaussian channels corresponding to coherent input signals are the less noisy ones (in the sense of a majorization criterion). In this work we prove this conjecture. Specifically we show that every output state of a phase insensitive Gaussian channel is majorized by the output state corresponding to a coherent input. The proof is based on the optimality of coherent states for the minimization of strictly concave output functionals. Moreover we show that coherent states are the unique optimizers.
Recently, the longstanding Gaussian optimizer conjecture was proven for bosonic Gaussian gauge-covariant or contravariant channels in the work of Giovannetti, Holevo and Garcia-Patron [3]. In the paper of Mari, Giovannetti and Holevo [11] this result was strengthened for one-mode channels by establishing that the output for the vacuum or coherent input majorizes the output for any other input. In the present paper we give the multimode extension of the result of [11], including sufficient conditions under which the coherent states are the only optimizers. We also discuss direct implications of…
It is shown that phase-insensitive Gaussian bosonic channels are majorization-preserving over the set of passive states of the harmonic oscillator. This means that comparable passive states under majorization are transformed into equally comparable passive states. The proof relies on a new preorder relation called Fock-majorization, which coincides with regular majorization for passive states but also induces a mean photon number order, thereby connecting the concepts of energy and disorder of a quantum state. As an application, the consequences of majorization preservation are investigated in…
We introduce a class of quantum channels called passive-environment bosonic channels. These channels are relevant from a quantum thermodynamical viewpoint because they correspond to the energy-preserving linear coupling of a bosonic system with a bosonic environment that is in a passive state (no energy can be extracted from it by using a unitary transformation) followed by discarding the environment. The Fock-majorization relation defined in [New J. Phys. 18, 073047 (2016)] happens to be especially useful in this context as, unlike regular majorization, it connects the disorder of a state tog…
We show the existence of a majorization ladder in bosonic Gaussian channels, that is, we prove that the channel output resulting from the $n\text{th}$ energy eigenstate (Fock state) majorizes the channel output resulting from the $(n\!+\!1)\text{th}$ energy eigenstate (Fock state). This reflects a remarkable link between the energy at the input of the channel and a disorder relation at its output as captured by majorization theory. This result was previously known in the special cases of a pure-loss channel and quantum-limited amplifier, and we achieve here its nontrivial generalization to any…
A longstanding open problem in quantum information theory is to find the classical capacity of an optical communication link, modeled as a Gaussian bosonic channel. It has been conjectured that this capacity is achieved by a random coding of coherent states using an isotropic Gaussian distribution in phase space. We show that proving a Gaussian minimum entropy conjecture for a quantum-limited amplifier is actually sufficient to confirm this capacity conjecture, and we provide a strong argument towards this proof by exploiting a connection between quantum entanglement and majorization theory.
Williamson majorization theory of fermionic non-Gaussianity
Universität zu Köln（科隆大学）；Barcelona Supercomputing Center（巴塞罗那超级计算中心）；Technical University of Munich（慕尼黑工业大学）；Munich Center for Quantum Science and Technology (MCQST)（慕尼黑量子科学与技术中心）
A generic quantum channel can be represented in terms of a unitary interaction between the information-carrying system and a noisy environment. Here, the minimal number of quantum Gaussian environmental modes required to provide a unitary dilation of a multi-mode bosonic Gaussian channel is analyzed both for mixed and pure environment corresponding to the Stinespring representation. In particular, for the case of pure environment we compute this quantity and present an explicit unitary dilation for arbitrary bosonic Gaussian channel. These results considerably simplify the characterization of …
The asymptotic state discrimination problem with simple hypotheses is considered for a cubic lattice of bosons. A complete solution is provided for the problems of the Chernoff and the Hoeffding bounds and Stein's lemma in the case when both hypotheses are gauge-invariant Gaussian states with translation-invariant quasi-free parts.
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 oth…
A complete analysis of multi-mode bosonic Gaussian channels is proposed. We clarify the structure of unitary dilations of general Gaussian channels involving any number of bosonic modes and present a normal form. The maximum number of auxiliary modes that is needed is identified, including all rank deficient cases, and the specific role of additive classical noise is highlighted. By using this analysis, we derive a canonical matrix form of the noisy evolution of n-mode bosonic Gaussian channels and of their weak complementary counterparts, based on a recent generalization of the normal mode de…
We compare two sets of multimode quantum channels acting on a finite collection of harmonic oscillators: (a) the set of linear bosonic channels, whose action is described as a linear transformation at the phase space level; and (b) Gaussian dilatable channels, that admit a Stinespring dilation involving a Gaussian unitary. Our main result is that the set (a) coincides with the closure of (b) with respect to the strong operator topology. We also present an example of a channel in (a) which is not in (b), implying that taking the closure is in general necessary. This provides a complete resoluti…
Joint Center for Quantum Information and Computer Science, University of Maryland and NIST（马里兰大学与NIST联合量子信息与计算中心）；Department of Physics, University of Maryland（马里兰大学物理系）；QAT team, DIENS, École Normale Supérieure, PSL University, CNRS, INRIA（巴黎高等师范学院、PSL大学、CNRS、INRIA量子算法团队）；Department of Basic Science, The University of Tokyo（东京大学基础科学系）；Duke Quantum Center and Departments of Physics and Electrical and Computer Engineering, Duke University（杜克大学杜克量子中心及物理与电气计算机工程系）
Extendibility of bosonic Gaussian states is a key issue in continuous-variable quantum information. We show that a bosonic Gaussian state is $k$-extendible if and only if it has a Gaussian $k$-extension, and we derive a simple semidefinite program, whose size scales linearly with the number of local modes, to efficiently decide $k$-extendibility of any given bosonic Gaussian state. When the system to be extended comprises one mode only, we provide a closed-form solution. Implications of these results for the steerability of quantum states and for the extendibility of bosonic Gaussian channels …
Quantum thermodynamics can be cast as a resource theory by considering free access to a heat bath, thereby viewing the Gibbs state at a fixed temperature as a free state and hence any other state as a resource. Here, we consider a multipartite scenario where several parties attempt at extracting work locally, each having access to a local heat bath (possibly with a different temperature), assisted with an energy-preserving global unitary. As a specific model, we analyze a collection of harmonic oscillators or a multimode bosonic system. Focusing on the Gaussian paradigm, we construct a reasona…
Recently, there has been focus on determining the conditions under which the data processing inequality for quantum relative entropy is satisfied with approximate equality. The solution of the exact equality case is due to Petz, who showed that the quantum relative entropy between two quantum states stays the same after the action of a quantum channel if and only if there is a \textit{reversal channel} that recovers the original states after the channel acts. Furthermore, this reversal channel can be constructed explicitly and is now called the \textit{Petz recovery map}. Recent developments h…
Lie-Algebraic Classical Simulation of Bosonic Systems Beyond Gaussian Dynamics
University of Augsburg（奥格斯堡大学）；ICFO – Institut de Ciències Fotòniques, The Barcelona Institute of Science and Technology（ICFO-光子科学研究院，巴塞罗那科学与技术研究院）；Quside Technologies SL（Quside科技有限公司）；Center for Advanced Analytics and Predictive Sciences, University of Augsburg（奥格斯堡大学先进分析与预测科学中心）；ICREA – Institucio Catalana de Recerca i Estudis Avançats（加泰罗尼亚研究与高级教育学院）
We investigate Gaussian quantum states in view of their exceptional role within the space of all continuous variables states. A general method for deriving extremality results is provided and applied to entanglement measures, secret key distillation and the classical capacity of Bosonic quantum channels. We prove that for every given covariance matrix the distillable secret key rate and the entanglement, if measured appropriately, are minimized by Gaussian states. This result leads to a clearer picture of the validity of frequently made Gaussian approximations. Moreover, it implies that Gaussi…
Optimal tomography of bosonic and fermionic Gaussian states
Inria, Télécom Paris – LTCI, Institut Polytechnique de Paris（法国国家信息与自动化研究所，巴黎高等电信学院-通信与图像实验室，巴黎理工学院）；Scuola Normale Superiore（比萨高等师范学院）；LMU Munich & Munich Center for Quantum Science and Technology (MCQST), University of Amsterdam & QuSoft（慕尼黑大学及慕尼黑量子科学与技术中心，阿姆斯特丹大学及QuSoft）；CWI & QuSoft（荷兰数学与计算机科学研究中心及QuSoft）
Recently, there have been considerable progresses on the bounds of various quantum channel capacities for bosonic Gaussian channels. Especially, several upper bounds for the classical capacity and the quantum capacity on the bosonic Gaussian channels, via a technique known as quantum entropy power inequality, have been shed light on understanding the mysterious quantum-channel-capacity problems. However, upper bounds for the private capacity on quantum channels are still missing for the study on certain universal upper bounds. Here, we derive upper bounds on the private capacity for bosonic Ga…
Radial Coarse Graining Restores Vacuum Majorization in Wigner Phase Space
School of Physical Sciences, University of Chinese Academy of Sciences（中国科学院大学物理科学学院）；ICTP-AP, University of Chinese Academy of Sciences（中国科学院大学 ICTP-AP）
We obtain several analogs of real polar decomposition for even dimensional matrices. In particular, we decompose a non-degenerate matrix as a product of a Hamiltonian and an anti-symplectic matrix and under additional requirements we decompose a matrix as a skew-Hamiltonian and a symplectic matrix. We apply our results to study bosonic Gaussian channels up to inhomogeneous symplectic transforms.
Properties of Bosonic linear (quasi-free) channels, in particular, Bosonic Gaussian channels with two types of degeneracy are considered. The first type of degeneracy can be interpreted as existence of noise-free canonical variables (for Gaussian channels it means that $\detα=0$). It is shown that this degeneracy implies existence of (infinitely many) "direct sum decompositions" of Bosonic linear channel, which clarifies reversibility properties of this channel (described in arXiv:1212.2354) and provides explicit construction of reversing channels. The second type of degeneracy consists in ran…
I show that classical capacity per unit cost of noisy bosonic Gaussian channels can be attained by employing generalized on-off keying modulation format and a projective measurement of individual output states. This means that neither complicated collective measurements nor phase-sensitive detection is required to communicate over optical channels at the ultimate limit imposed by laws of quantum mechanics in the limit of low average cost.
We show how to compute or at least to estimate various capacity-related quantities for Bosonic Gaussian channels. Among these are the coherent information, the entanglement assisted classical capacity, the one-shot classical capacity, and a new quantity involving the transpose operation, shown to be a general upper bound on the quantum capacity, even allowing for finite errors. All bounds are explicitly evaluated for the case of a one-mode channel with attenuation/amplification and classical noise.
A complete degradability analysis of one-mode Gaussian Bosonic channels is presented. We show that apart from the class of channels which are unitarily equivalent to the channels with additive classical noise, these maps can be characterized in terms of weak- and/or anti-degradability. Furthermore a new set of channels which have null quantum capacity is identified. This is done by exploiting the composition rules of one-mode Gaussian maps and the fact that anti-degradable channels can not be used to transfer quantum information.
The extremality of Gaussian states is exploited to show that Gaussian states are the most robust, among all possible bipartite continuous-variable states at fixed energy, against disentanglement due to noisy evolutions in Markovian Gaussian channels involving dissipation and thermal hopping. This proves a conjecture raised recently in [M. Allegra, P. Giorda, and M. G. A. Paris, Phys. Rev. Lett. {\bf 105}, 100503 (2010)], providing a rigorous validation of the conclusions of that work. The problem of identifying continuous variable states with maximum resilience to entanglement damping in more …
We prove multiplicativity of maximal output $p$ norm of classical noise channels and thermal noise channels of arbitrary modes for all $p>1$ under the assumption that the input signal states are Gaussian states. As a direct consequence, we also show the additivity of the minimal output entropy and that of the energy-constrained Holevo capacity for those Gaussian channels under Gaussian inputs. To the best of our knowledge, newly discovered majorization relation on symplectic eigenvalues, which is also of independent interest, plays a central role in the proof.
We present an algorithm for calculation of the Gaussian classical capacity of a quantum bosonic memory channel with additive Gaussian noise. The algorithm, restricted to Gaussian input states, is applicable to all channels with noise correlations obeying certain conditions and works in the full input energy domain, beyond previous treatments of this problem. As an illustration, we study the optimal input states and capacity of a quantum memory channel with Gauss-Markov noise [J. Schäfer, Phys. Rev. A 80, 062313 (2009)]. We evaluate the enhancement of the transmission rate when using these opti…
We consider the Braunstein-Kimble protocol for continuous variable teleportation and its application for the simulation of bosonic channels. We discuss the convergence properties of this protocol under various topologies (strong, uniform, and bounded-uniform) clarifying some typical misinterpretations in the literature. We then show that the teleportation simulation of an arbitrary single-mode Gaussian channel is uniformly convergent to the channel if and only if its noise matrix has full rank. The various forms of convergence are then discussed within adaptive protocols, where the simulation …
The communication capacity of Gaussian bosonic channels with memory has recently attracted much interest. Here, we investigate a method to prepare the multimode entangled input symbol states for encoding classical information into these channels. In particular, we study the usefulness of a Gaussian matrix product state (GMPS) as an input symbol state, which can be sequentially generated although it remains heavily entangled for an arbitrary number of modes. We show that the GMPS can achieve more than 99.9% of the Gaussian capacity for Gaussian bosonic memory channels with a Markovian or non-Ma…
Robust exponential lower bounds for fermionic and bosonic Gaussian ranks
Yau Mathematical Sciences Center, Tsinghua University（清华大学丘成桐数学科学中心）；Qiuzhen College, Tsinghua University（清华大学求真学院）；Department of Mathematics, Tsinghua University（清华大学数学系）；Yanqi Lake Beijing Institute of Mathematical Sciences and Applications（北京雁栖湖应用数学研究院）
What resources are needed for optimal learning of bosonic Gaussian states?
Institute for Quantum Information and Matter（量子信息研究所）；Caltech（加州理工学院）；Scuola Normale Superiore（高等师范大学）；Inria（法国国家科学与技术研究院）；Télécom Paris – LTCI（巴黎电信学院 – LTCI）；Institut Polytechnique de Paris（巴黎理工学院）
Beam-splitter operations are an indispensable resource for processing quantum information encoded in bosonic modes. However, in hybrid quantum systems, it can be challenging to implement reliable beam-splitters between two distinct bosonic modes due to various experimental imperfections. Without beam-splitters, realizing arbitrary Gaussian operations between bosonic modes can become highly non-trivial or even infeasible. In this work, we develop novel interference-based protocols for engineering Gaussian operations in multi-mode hybrid bosonic systems without requiring beam-splitters. Specific…
As is well-known in the context of topological insulators and superconductors, short-range-correlated fermionic pure Gaussian states with fundamental symmetries are systematically classified by the periodic table. We revisit this topic from a quantum-information-inspired operational perspective without referring to any Hamiltonians, and apply the formalism to bosonic Gaussian states as well as (both fermionic and bosonic) locality-preserving unitary Gaussian operations. We find that while bosonic Gaussian states are all trivial, there exist nontrivial bosonic Gaussian operations that cannot be…
We investigate the capacity of bosonic quantum channels for the transmission of quantum information. Achievable rates are determined from measurable moments of the channel by showing that every channel can asymptotically simulate a Gaussian channel which is characterized by second moments of the initial channel. We calculate the quantum capacity for a class of Gaussian channels, including channels describing optical fibers with photon losses, by proving that Gaussian encodings are optimal. Along the way we provide a complete characterization of degradable Gaussian channels and those arising fr…
In the literature on the continuous-variable bosonic teleportation protocol due to [Braunstein and Kimble, Phys. Rev. Lett., 80(4):869, 1998], it is often loosely stated that this protocol converges to a perfect teleportation of an input state in the limit of ideal squeezing and ideal detection, but the exact form of this convergence is typically not clarified. In this paper, I explicitly clarify that the convergence is in the strong sense, and not the uniform sense, and furthermore, that the convergence occurs for any input state to the protocol, including the infinite-energy Basel states def…
Bosonic qubits are a promising route to building fault-tolerant quantum computers on a variety of physical platforms. Studying the performance of bosonic qubits under realistic gates and measurements is challenging with existing analytical and numerical tools. We present a novel formalism for simulating classes of states that can be represented as linear combinations of Gaussian functions in phase space. This formalism allows us to analyze and simulate a wide class of non-Gaussian states, transformations and measurements. We demonstrate how useful classes of bosonic qubits -- Gottesman-Kitaev-…
Efficient simulation of low-entanglement bosonic Gaussian states in polynomial time
Institute of Physics, Chinese Academy of Sciences（中国科学院物理研究所）；School of Physical Sciences, University of Chinese Academy of Sciences（中国科学院大学物理科学学院）；School of Physical Science and Technology, ShanghaiTech University（上海科技大学物理科学与技术学院）；Faculty of Physics and Arnold Sommerfeld Center for Theoretical Physics, Ludwig-Maximilians-Universität München（慕尼黑大学物理系与阿诺德·索末菲理论物理中心）
The additivity problem asks if the use of entanglement can boost the information-carrying capacity of a given channel beyond what is achievable by coding with simple product states only. This has recently been shown not to be the case for phase-insensitive one-mode Gaussian channels, but remains unresolved in general. Here we consider two general classes of bosonic noise channels, which include phase-insensitive Gaussian channels as special cases: these are beamsplitters with general, potentially non-Gaussian environment states and classical noise channels with general probabilistic noise. We …
