-
The symplectic rank of non-Gaussian quantum states
Authors:
Francesco Anna Mele,
Salvatore Francesco Emanuele Oliviero,
Varun Upreti,
Ulysse Chabaud
Abstract:
Non-Gaussianity is a key resource for achieving quantum advantages in bosonic platforms. Here, we investigate the symplectic rank: a novel non-Gaussianity monotone that satisfies remarkable operational and resource-theoretic properties. Mathematically, the symplectic rank of a pure state is the number of symplectic eigenvalues of the covariance matrix that are strictly larger than the ones of the…
▽ More
Non-Gaussianity is a key resource for achieving quantum advantages in bosonic platforms. Here, we investigate the symplectic rank: a novel non-Gaussianity monotone that satisfies remarkable operational and resource-theoretic properties. Mathematically, the symplectic rank of a pure state is the number of symplectic eigenvalues of the covariance matrix that are strictly larger than the ones of the vacuum. Operationally, it (i) is easy to compute, (ii) emerges as the smallest number of modes onto which all the non-Gaussianity can be compressed via Gaussian unitaries, (iii) lower bounds the non-Gaussian gate complexity of state preparation independently of the gate set, (iv) governs the sample complexity of quantum tomography, and (v) bounds the computational complexity of bosonic circuits. Crucially, the symplectic rank is non-increasing under post-selected Gaussian operations, leading to strictly stronger no-go theorems for Gaussian conversion than those previously known. Remarkably, this allows us to show that the resource theory of non-Gaussianity is irreversible under exact Gaussian operations. Finally, we show that the symplectic rank is a robust non-Gaussian measure, explaining how to witness it in experiments and how to exploit it to meaningfully benchmark different bosonic platforms. In doing so, we derive lower bounds on the trace distance (resp. total variation distance) between arbitrary states (resp. classical probability distributions) in terms of the norm distance between their covariance matrices, which may be of independent interest.
△ Less
Submitted 27 April, 2025;
originally announced April 2025.
-
Extracting energy via bosonic Gaussian operations
Authors:
Frank Ernesto Quintela Rodriguez,
Francesco Anna Mele,
Salvatore Francesco Emanuele Oliviero,
Vittorio Giovannetti,
Ludovico Lami,
Vasco Cavina
Abstract:
Quantum thermodynamics is often formulated as a theory with constrained access to operations and resources. In this manuscript, we find a closed formula for the Gaussian ergotropy, i.e. the maximum energy that can be extracted from bosonic systems governed by quadratic Hamiltonians by means of Gaussian unitaries only. This formula resembles the well-known eigenvalue-based expression for the standa…
▽ More
Quantum thermodynamics is often formulated as a theory with constrained access to operations and resources. In this manuscript, we find a closed formula for the Gaussian ergotropy, i.e. the maximum energy that can be extracted from bosonic systems governed by quadratic Hamiltonians by means of Gaussian unitaries only. This formula resembles the well-known eigenvalue-based expression for the standard ergotropy, but is instead formulated using symplectic eigenvalues. We further prove that the Gaussian ergotropy is additive, indicating that the multiple-copy scenario does not benefit from Gaussian entangling operations. Extending our analysis to the relationship between ergotropic and entropic functions, we establish bounds linking entropic measures of Gaussianity to extractable work. Finally, we generalise our framework to open systems by studying the optimal state preparation that minimises the energy output in a Gaussian channel.
△ Less
Submitted 27 March, 2025;
originally announced March 2025.
-
Non-asymptotic quantum communication on lossy transmission lines with memory
Authors:
Francesco Anna Mele,
Giovanni Barbarino,
Vittorio Giovannetti,
Marco Fanizza
Abstract:
Non-asymptotic quantum Shannon theory analyses how to transmit quantum information across a quantum channel as efficiently as possible within a specified error tolerance, given access to a finite, fixed, number of channel uses. In a recent work, we derived computable lower bounds on the non-asymptotic capacities of memoryless bosonic Gaussian channels. In this work, we extend these results to the…
▽ More
Non-asymptotic quantum Shannon theory analyses how to transmit quantum information across a quantum channel as efficiently as possible within a specified error tolerance, given access to a finite, fixed, number of channel uses. In a recent work, we derived computable lower bounds on the non-asymptotic capacities of memoryless bosonic Gaussian channels. In this work, we extend these results to the non-Markovian bosonic Gaussian channel introduced in F. A. Mele, G. D. Palma, M. Fanizza, V. Giovannetti, and L. Lami IEEE Transactions on Information Theory 70(12), 8844-8869 (2024), which describes non-Markovian effects in optical fibres and is a non-Markovian generalisation of the pure loss channel. This allows us to determine how many uses of a non-Markovian optical fibre are sufficient in order to transmit $k$ qubits, distil $k$ ebits, or generate $k$ secret-key bits up to a given error tolerance $\varepsilon$. To perform our analysis, we prove novel properties of singular values of Toeplitz matrices, providing an error bound on the convergence rate of the celebrated Avram-Parter's theorem, which we regard as a new tool of independent interest for the field of quantum information theory and matrix analysis.
△ Less
Submitted 17 March, 2025;
originally announced March 2025.
-
Achievable rates in non-asymptotic bosonic quantum communication
Authors:
Francesco Anna Mele,
Giovanni Barbarino,
Vittorio Giovannetti,
Marco Fanizza
Abstract:
Bosonic quantum communication has extensively been analysed in the asymptotic setting, assuming infinite channel uses and vanishing communication errors. Comparatively fewer detailed analyses are available in the non-asymptotic setting, which addresses a more precise, quantitative evaluation of the optimal communication rate: how many uses of a bosonic Gaussian channel are required to transmit…
▽ More
Bosonic quantum communication has extensively been analysed in the asymptotic setting, assuming infinite channel uses and vanishing communication errors. Comparatively fewer detailed analyses are available in the non-asymptotic setting, which addresses a more precise, quantitative evaluation of the optimal communication rate: how many uses of a bosonic Gaussian channel are required to transmit $k$ qubits, distil $k$ Bell pairs, or generate $k$ secret-key bits, within a given error tolerance $\varepsilon$? In this work, we address this question by finding easily computable lower bounds on the non-asymptotic capacities of Gaussian channels. To derive our results, we develop new tools of independent interest. In particular, we find a stringent bound on the probability $P_{>N}$ that a Gaussian state has more than $N$ photons, demonstrating that $P_{>N}$ decreases exponentially with $N$. Furthermore, we design the first algorithm capable of computing the trace distance between two Gaussian states up to a fixed precision.
△ Less
Submitted 4 March, 2025; v1 submitted 8 February, 2025;
originally announced February 2025.
-
Optimal estimates of trace distance between bosonic Gaussian states and applications to learning
Authors:
Lennart Bittel,
Francesco Anna Mele,
Antonio Anna Mele,
Salvatore Tirone,
Ludovico Lami
Abstract:
Gaussian states of bosonic quantum systems enjoy numerous technological applications and are ubiquitous in nature. Their significance lies in their simplicity, which in turn rests on the fact that they are uniquely determined by two experimentally accessible quantities, their first and second moments. But what if these moments are only known approximately, as is inevitable in any realistic experim…
▽ More
Gaussian states of bosonic quantum systems enjoy numerous technological applications and are ubiquitous in nature. Their significance lies in their simplicity, which in turn rests on the fact that they are uniquely determined by two experimentally accessible quantities, their first and second moments. But what if these moments are only known approximately, as is inevitable in any realistic experiment? What is the resulting error on the Gaussian state itself, as measured by the most operationally meaningful metric for distinguishing quantum states, namely, the trace distance? In this work, we fully resolve this question by demonstrating that if the first and second moments are known up to an error $\varepsilon$, the trace distance error on the state also scales as $\varepsilon$, and this functional dependence is optimal. To prove this, we establish tight bounds on the trace distance between two Gaussian states in terms of the norm distance of their first and second moments. As an application, we improve existing bounds on the sample complexity of tomography of Gaussian states.
△ Less
Submitted 24 January, 2025; v1 submitted 4 November, 2024;
originally announced November 2024.
-
Complexity of quantum tomography from genuine non-Gaussian entanglement
Authors:
Xiaobin Zhao,
Pengcheng Liao,
Francesco Anna Mele,
Ulysse Chabaud,
Quntao Zhuang
Abstract:
Quantum state tomography, a fundamental tool for quantum physics, usually requires a number of state copies that scale exponentially with the system size, owing to the intricate quantum correlations between subsystems. We show that, in bosonic systems, the nature of correlations indeed fully determines this scaling. Motivated by the Hong-Ou-Mandel effect and Boson-sampling, we define Gaussian-enta…
▽ More
Quantum state tomography, a fundamental tool for quantum physics, usually requires a number of state copies that scale exponentially with the system size, owing to the intricate quantum correlations between subsystems. We show that, in bosonic systems, the nature of correlations indeed fully determines this scaling. Motivated by the Hong-Ou-Mandel effect and Boson-sampling, we define Gaussian-entanglable (GE) states, produced by generalized interference between separable bosonic modes. GE states greatly extend the Gaussian family, encompassing arbitrary separable states, multi-mode Gottesman-Kitaev-Preskill codes, entangled cat states, and Boson-sampling outputs -- resources for error correction and quantum advantage. Nonetheless, we prove that an m-mode pure GE state is learnable with only poly(m) copies, by providing an explicit protocol involving only heterodyne detection and classical post-processing. For states outside GE, we introduce an operational monotone -- the minimum number of ancillary modes required to render them GE -- and prove that it exactly captures the exponential overhead in tomography. As a by-product, we show that deterministic generation of NOON states with N>=3 photons by two-mode interference is impossible.
△ Less
Submitted 26 May, 2025; v1 submitted 3 November, 2024;
originally announced November 2024.
-
Computable entanglement cost under positive partial transpose operations
Authors:
Ludovico Lami,
Francesco Anna Mele,
Bartosz Regula
Abstract:
Quantum information theory is plagued by the problem of regularisations, which require the evaluation of formidable asymptotic quantities. This makes it computationally intractable to gain a precise quantitative understanding of the ultimate efficiency of key operational tasks such as entanglement manipulation. Here we consider the problem of computing the asymptotic entanglement cost of preparing…
▽ More
Quantum information theory is plagued by the problem of regularisations, which require the evaluation of formidable asymptotic quantities. This makes it computationally intractable to gain a precise quantitative understanding of the ultimate efficiency of key operational tasks such as entanglement manipulation. Here we consider the problem of computing the asymptotic entanglement cost of preparing noisy quantum states under quantum operations with positive partial transpose (PPT). By means of an analytical example, a previously claimed solution to this problem is shown to be incorrect. Building on a previous characterisation of the PPT entanglement cost in terms of a regularised formula, we construct instead a hierarchy of semi-definite programs that bypasses the issue of regularisation altogether, and converges to the true asymptotic value of the entanglement cost. Our main result establishes that this convergence happens exponentially fast, thus yielding an efficient algorithm that approximates the cost up to an additive error $\varepsilon$ in time $\mathrm{poly}(D,\,\log(1/\varepsilon))$, where $D$ is the underlying Hilbert space dimension. To our knowledge, this is the first time that an asymptotic entanglement measure is shown to be efficiently computable despite no closed-form formula being available.
△ Less
Submitted 7 March, 2025; v1 submitted 15 May, 2024;
originally announced May 2024.
-
Learning quantum states of continuous variable systems
Authors:
Francesco Anna Mele,
Antonio Anna Mele,
Lennart Bittel,
Jens Eisert,
Vittorio Giovannetti,
Ludovico Lami,
Lorenzo Leone,
Salvatore F. E. Oliviero
Abstract:
Quantum state tomography, aimed at deriving a classical description of an unknown state from measurement data, is a fundamental task in quantum physics. In this work, we analyse the ultimate achievable performance of tomography of continuous-variable systems, such as bosonic and quantum optical systems. We prove that tomography of these systems is extremely inefficient in terms of time resources,…
▽ More
Quantum state tomography, aimed at deriving a classical description of an unknown state from measurement data, is a fundamental task in quantum physics. In this work, we analyse the ultimate achievable performance of tomography of continuous-variable systems, such as bosonic and quantum optical systems. We prove that tomography of these systems is extremely inefficient in terms of time resources, much more so than tomography of finite-dimensional systems: not only does the minimum number of state copies needed for tomography scale exponentially with the number of modes, but it also exhibits a dramatic scaling with the trace-distance error, even for low-energy states, in stark contrast with the finite-dimensional case. On a more positive note, we prove that tomography of Gaussian states is efficient. To accomplish this, we answer a fundamental question for the field of continuous-variable quantum information: if we know with a certain error the first and second moments of an unknown Gaussian state, what is the resulting trace-distance error that we make on the state? Lastly, we demonstrate that tomography of non-Gaussian states prepared through Gaussian unitaries and a few local non-Gaussian evolutions is efficient and experimentally feasible.
△ Less
Submitted 7 November, 2024; v1 submitted 2 May, 2024;
originally announced May 2024.
-
Quantum communication on the bosonic loss-dephasing channel
Authors:
Francesco Anna Mele,
Farzin Salek,
Vittorio Giovannetti,
Ludovico Lami
Abstract:
Quantum optical systems are typically affected by two types of noise: photon loss and dephasing. Despite extensive research on each noise process individually, a comprehensive understanding of their combined effect is still lacking. A crucial problem lies in determining the values of loss and dephasing for which the resulting loss-dephasing channel is anti-degradable, implying the absence of codes…
▽ More
Quantum optical systems are typically affected by two types of noise: photon loss and dephasing. Despite extensive research on each noise process individually, a comprehensive understanding of their combined effect is still lacking. A crucial problem lies in determining the values of loss and dephasing for which the resulting loss-dephasing channel is anti-degradable, implying the absence of codes capable of correcting its effect or, alternatively, capable of enabling quantum communication. A conjecture in [Quantum 6, 821 (2022)] suggested that the bosonic loss-dephasing channel is anti-degradable if and only if the loss is above $50\%$. In this paper we refute this conjecture, specifically proving that for any value of the loss, if the dephasing is above a critical value, then the bosonic loss-dephasing channel is anti-degradable. While our result identifies a large parameter region where quantum communication is not possible, we also prove that if two-way classical communication is available, then quantum communication -- and thus quantum key distribution -- is always achievable, even for high values of loss and dephasing.
△ Less
Submitted 25 July, 2024; v1 submitted 28 January, 2024;
originally announced January 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 27 January, 2025; v1 submitted 29 September, 2023;
originally announced September 2023.
-
Maximum tolerable excess noise in continuous-variable quantum key distribution and improved lower bound on two-way capacities
Authors:
Francesco Anna Mele,
Ludovico Lami,
Vittorio Giovannetti
Abstract:
The two-way capacities of quantum channels determine the ultimate entanglement and secret-key distribution rates achievable by two distant parties that are connected by a noisy transmission line, in absence of quantum repeaters. Since repeaters will likely be expensive to build and maintain, a central open problem of quantum communication is to understand what performances are achievable without t…
▽ More
The two-way capacities of quantum channels determine the ultimate entanglement and secret-key distribution rates achievable by two distant parties that are connected by a noisy transmission line, in absence of quantum repeaters. Since repeaters will likely be expensive to build and maintain, a central open problem of quantum communication is to understand what performances are achievable without them. In this paper, we find a new lower bound on the energy-constrained and unconstrained two-way quantum and secret-key capacities of all phase-insensitive bosonic Gaussian channels, namely thermal attenuator, thermal amplifier, and additive Gaussian noise, which are realistic models for the noise affecting optical fibres or free-space links. Ours is the first nonzero lower bound on the two-way quantum capacity in the parameter range where the (reverse) coherent information becomes negative, and it shows explicitly that entanglement distribution is always possible when the channel is not entanglement breaking. This completely solves a crucial open problem of the field, namely, establishing the maximum excess noise which is tolerable in continuous-variable quantum key distribution. In addition, our construction is fully explicit, i.e. we devise and optimise a concrete entanglement distribution and distillation protocol that works by combining recurrence and hashing protocols
△ Less
Submitted 24 January, 2025; v1 submitted 22 March, 2023;
originally announced March 2023.
-
Quantum Optical Communication in the presence of strong attenuation noise
Authors:
Francesco Anna Mele,
Ludovico Lami,
Vittorio Giovannetti
Abstract:
Is quantum communication possible over an optical fibre with transmissivity $λ\leq 1/2$ ? The answer is well known to be negative if the environment with which the incoming signal interacts is initialised in a thermal state. However, in [PRL 125:110504, 2020] the quantum capacity was found to be always bounded away from zero for all $λ>0$, a phenomenon dubbed "die-hard quantum communication" (D-HQ…
▽ More
Is quantum communication possible over an optical fibre with transmissivity $λ\leq 1/2$ ? The answer is well known to be negative if the environment with which the incoming signal interacts is initialised in a thermal state. However, in [PRL 125:110504, 2020] the quantum capacity was found to be always bounded away from zero for all $λ>0$, a phenomenon dubbed "die-hard quantum communication" (D-HQCOM), provided that the initial environment state can be chosen appropriately (depending on $λ$). Here we show an even stronger version of D-HQCOM in the context of entanglement-assisted classical communication: entanglement assistance and control of the environment enable communication with performance at least equal to that of the ideal case of absence of noise, even if $λ>0$ is arbitrarily small. These two phenomena of D-HQCOM have technological potential provided that we are able to control the environment. How can we achieve this? Our second main result answers this question. Here we provide a fully consistent protocol to activate the phenomena of D-HQCOM without directly accessing the environment state. This is done by sending over the channel "trigger signals", i.e. signals which do not encode information, prior to the actual communication, with the goal of modifying the environment in an advantageous way. This is possible thanks to the memory effects which arise when the sender feeds signals separated by a sufficiently short temporal interval. Our results may offer a concrete scheme to communicate across arbitrarily long optical fibres, without using quantum repeaters. As a by-product of our analysis, we derive a simple Kraus representation of the thermal attenuator exploiting the associated Lindblad master equation.
△ Less
Submitted 24 October, 2022; v1 submitted 27 April, 2022;
originally announced April 2022.
-
Restoring quantum communication efficiency over high loss optical fibres
Authors:
Francesco Anna Mele,
Ludovico Lami,
Vittorio Giovannetti
Abstract:
In the absence of quantum repeaters, quantum communication proved to be nearly impossible across optical fibres longer than $\gtrsim 20\text{ km}$ due to the drop of transmissivity below the critical threshold of $1/2$. However, if the signals fed into the fibre are separated by a sufficiently short time interval, memory effects must be taken into account. In this paper we show that by properly ac…
▽ More
In the absence of quantum repeaters, quantum communication proved to be nearly impossible across optical fibres longer than $\gtrsim 20\text{ km}$ due to the drop of transmissivity below the critical threshold of $1/2$. However, if the signals fed into the fibre are separated by a sufficiently short time interval, memory effects must be taken into account. In this paper we show that by properly accounting for these effects it is possible to devise schemes that enable unassisted quantum communication across arbitrarily long optical fibres at a fixed positive qubit transmission rate. We also demonstrate how to achieve entanglement-assisted communication over arbitrarily long distances at a rate of the same order of the maximum achievable in the unassisted noiseless case.
△ Less
Submitted 24 October, 2022; v1 submitted 27 April, 2022;
originally announced April 2022.
