Searcharxiv⌕ Search

arXiv subjects

Ludovico Lami

Publications and source records attributed to Ludovico Lami.

At least 55 records · Page 3Linked to original sources

Optimal estimates of trace distance between bosonic Gaussian states and applications to learning

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.

quant-ph↗

Near-optimal performance of square-root measurement for general score functions and quantum ensembles

The Barnum-Knill theorem states that the optimal success probability in the multiple state discrimination task is not more than the square root of the success probability when the pretty good or square-root measurement is used for this task. An assumption of the theorem is that the underlying ensemble consists of finitely many quantum states over a finite-dimensional quantum system. Motivated in part by the fact that the success probability is not a relevant metric for continuous ensembles, in this paper we provide a generalization of the notion of pretty good measurement and the Barnum-Knill theorem for general quantum ensembles, including those described by a continuous parameter space and an infinite-dimensional Hilbert space. To achieve this, we also design a general metric of performance for quantum measurements that generalizes the success probability, namely, the expected gain of the measurement with respect to a positive score function. A notable consequence of the main result is that, in a Bayesian estimation task, the mean square error of the generalized pretty good measurement does not exceed twice the optimal mean square error.

quant-ph↗

On a gap in the proof of the generalised quantum Stein's lemma and its consequences for the reversibility of quantum resources

We show that the proof of the generalised quantum Stein's lemma [Brandão & Plenio, Commun. Math. Phys. 295, 791 (2010)] is not correct due to a gap in the argument leading to Lemma III.9. Hence, the main achievability result of Brandão & Plenio is not known to hold. This puts into question a number of established results in the literature, in particular the reversibility of quantum entanglement [Brandão & Plenio, Commun. Math. Phys. 295, 829 (2010); Nat. Phys. 4, 873 (2008)] and of general quantum resources [Brandão & Gour, Phys. Rev. Lett. 115, 070503 (2015)] under asymptotically resource non-generating operations. We discuss potential ways to recover variants of the newly unsettled results using other approaches.

quant-ph↗

Extracting energy via bosonic Gaussian operations

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.

quant-ph↗

Computable entanglement cost under positive partial transpose operations

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.

quant-ph↗

Optical fibres with memory effects and their quantum communication capacities

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.

quant-ph↗

Maximum tolerable excess noise in continuous-variable quantum key distribution and improved lower bound on two-way capacities

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

quant-ph↗

Functional analytic insights into irreversibility of quantum resources

We propose an approach to the study of quantum resource manipulation based on the basic observation that quantum channels which preserve certain sets of states are contractive with respect to the base norms induced by those sets. We forgo the usual physical assumptions on quantum dynamics: instead of enforcing complete positivity, trace preservation, or resource-theoretic considerations, we study transformation protocols as norm-contractive maps. This allows us to apply to this problem a technical toolset from functional and convex analysis, unifying previous approaches and introducing new families of bounds for the distillable resources and the resource cost, both one-shot and asymptotic. Since our expressions lend themselves naturally to single-letter forms, they can often be calculated in practice; by doing so, we demonstrate with examples that they can yield the best known bounds on quantities such as the entanglement cost. As applications, we not only give an alternative derivation of the recent result of [arXiv:2111.02438] which showed that entanglement theory is asymptotically irreversible, but also provide the quantities introduced in that work with explicit operational meaning in the context of entanglement distillation through a variation of the hypothesis testing relative entropy. Besides entanglement, we reveal a new irreversible quantum resource: through improved bounds for state transformations in the resource theory of magic-state quantum computation, we show that there exist qutrit magic states that cannot be reversibly interconverted under stabiliser protocols.

quant-ph↗

Distillable entanglement under dually non-entangling operations

Computing the exact rate at which entanglement can be distilled from noisy quantum states is one of the longest-standing questions in quantum information. We give an exact solution for entanglement distillation under the set of dually non-entangling (DNE) operations -- a relaxation of the typically considered local operations and classical communication, comprising all channels which preserve the sets of separable states and measurements. We show that the DNE distillable entanglement coincides with a modified version of the regularised relative entropy of entanglement in which the arguments are measured with a separable measurement. Ours is only the second known regularised formula for the distillable entanglement under any class of free operations in entanglement theory, after that given by Devetak and Winter for (one-way) local operations and classical communication. An immediate consequence of our finding is that, under DNE, entanglement can be distilled from any entangled state. As our second main result, we construct a general upper bound on the DNE distillable entanglement, using which we prove that the separably measured relative entropy of entanglement can be strictly smaller than the regularisation of the standard relative entropy of entanglement, solving an open problem posed by Li and Winter [CMP 326, 63 (2014)]. Finally, we study also the reverse task of entanglement dilution and show that the restriction to DNE operations does not change the entanglement cost when compared with the larger class of non-entangling operations. This implies a strong form of irreversiblility of entanglement theory under DNE operations: even when asymptotically vanishing amounts of entanglement may be generated, entangled states cannot be converted reversibly.

quant-ph↗

Learning quantum states of continuous variable systems

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.

quant-ph↗

Continuity of entropies via integral representations

We show that Frenkel's integral representation of the quantum relative entropy provides a natural framework to derive continuity bounds for quantum information measures. Our main general result is a dimension-independent semi-continuity relation for the quantum relative entropy with respect to the first argument. Using it, we obtain a number of results: (1) a tight continuity relation for the conditional entropy in the case where the two states have equal marginals on the conditioning system, resolving a conjecture by Wilde in this special case; (2) a stronger version of the Fannes-Audenaert inequality on quantum entropy; (3) better estimates on the quantum capacity of approximately degradable channels; (4) an improved continuity relation for the entanglement cost; (5) general upper bounds on asymptotic transformation rates in infinite-dimensional entanglement theory; and (6) a proof of a conjecture due to Christandl, Ferrara, and Lancien on the continuity of 'filtered' relative entropy distances.

quant-ph↗

Quantum communication on the bosonic loss-dephasing channel

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.

quant-ph↗

Testing the quantum nature of gravity without entanglement

Given a unitary evolution $U$ on a multi-partite quantum system and an ensemble of initial states, how well can $U$ be simulated by local operations and classical communication (LOCC) on that ensemble? We answer this question by establishing a general, efficiently computable upper bound on the maximal LOCC simulation fidelity -- what we call an 'LOCC inequality'. We then apply our findings to the fundamental setting where $U$ implements a quantum Newtonian Hamiltonian over a gravitationally interacting system. Violation of our LOCC inequality can rule out the LOCCness of the underlying evolution, thereby establishing the non-classicality of the gravitational dynamics, which can no longer be explained by a local classical field. As a prominent application of this scheme we study systems of quantum harmonic oscillators initialised in coherent states following a normal distribution and interacting via Newtonian gravity, and discuss a possible physical implementation with torsion pendula. One of our main technical contributions is the analytical calculation of the above LOCC inequality for this family of systems. As opposed to existing tests based on the detection of gravitationally mediated entanglement, our proposal works with coherent states alone, and thus it does not require the generation of largely delocalised states of motion nor the detection of entanglement, which is never created at any point in the process.

quant-ph↗

No-go theorem for entanglement distillation using catalysis

The use of ancillary quantum systems known as catalysts is known to be able to enhance the capabilities of entanglement transformations under local operations and classical communication. However, the limits of these advantages have not been determined, and in particular it is not known if such assistance can overcome the known restrictions on asymptotic transformation rates -- notably the existence of bound entangled (undistillable) states. Here we establish a general limitation of entanglement catalysis: we show that catalytic transformations can never allow for the distillation of entanglement from a bound entangled state with positive partial transpose, even if the catalyst may become correlated with the system of interest, and even under permissive choices of free operations. This precludes the possibility that catalysis can make entanglement theory asymptotically reversible. Our methods are based on new asymptotic bounds for the distillable entanglement and entanglement cost assisted by correlated catalysts.

quant-ph↗

Reversibility of quantum resources through probabilistic protocols

Among the most fundamental questions in the manipulation of quantum resources such as entanglement is the possibility of reversibly transforming all resource states. The key consequence of this would be the identification of a unique entropic resource measure that exactly quantifies the limits of achievable transformation rates. Remarkably, previous results claimed that such asymptotic reversibility holds true in very general settings; however, recently those findings have been found to be incomplete, casting doubt on the conjecture. Here we show that it is indeed possible to reversibly interconvert all states in general quantum resource theories, as long as one allows protocols that may only succeed probabilistically. Although such transformations have some chance of failure, we show that their success probability can be ensured to be bounded away from zero, even in the asymptotic limit of infinitely many manipulated copies. As in previously conjectured approaches, the achievability here is realised through operations that are asymptotically resource non-generating, and we show that this choice is optimal: smaller sets of transformations cannot lead to reversibility. Our methods are based on connecting the transformation rates under probabilistic protocols with strong converse rates for deterministic transformations, which we strengthen into an exact equivalence in the case of entanglement distillation.

quant-ph↗

Exact quantum sensing limits for bosonic dephasing channels

Dephasing is a prominent noise mechanism that afflicts quantum information carriers, and it is one of the main challenges towards realizing useful quantum computation, communication, and sensing. Here we consider discrimination and estimation of bosonic dephasing channels, when using the most general adaptive strategies allowed by quantum mechanics. We reduce these difficult quantum problems to simple classical ones based on the probability densities defining the bosonic dephasing channels. By doing so, we rigorously establish the optimal performance of various distinguishability and estimation tasks and construct explicit strategies to achieve this performance. To the best of our knowledge, this is the first example of a non-Gaussian bosonic channel for which there are exact solutions for these tasks.

quant-ph↗

A Post-Quantum Associative Memory

Associative memories are devices storing information that can be fully retrieved given partial disclosure of it. We examine a toy model of associative memory and the ultimate limitations it is subjected to within the framework of general probabilistic theories (GPTs), which represent the most general class of physical theories satisfying some basic operational axioms. We ask ourselves how large the dimension of a GPT should be so that it can accommodate $2^m$ states with the property that any $N$ of them are perfectly distinguishable. Call $d(N,m)$ the minimal such dimension. Invoking an old result by Danzer and Grünbaum, we prove that $d(2,m)=m+1$, to be compared with $O(2^m)$ when the GPT is required to be either classical or quantum. This yields an example of a task where GPTs outperform both classical and quantum theory exponentially. More generally, we resolve the case of fixed $N$ and asymptotically large $m$, proving that $d(N,m) \leq m^{1+o_N(1)}$ (as $m\to\infty$) for every $N\geq 2$, which yields again an exponential improvement over classical and quantum theories. Finally, we develop a numerical approach to the general problem of finding the largest $N$-wise mutually distinguishable set for a given GPT, which can be seen as an instance of the maximum clique problem on $N$-regular hypergraphs.

quant-ph↗

Exact solution for the quantum and private capacities of bosonic dephasing channels

The capacities of noisy quantum channels capture the ultimate rates of information transmission across quantum communication lines, and the quantum capacity plays a key role in determining the overhead of fault-tolerant quantum computation platforms. In the case of bosonic systems, central to many applications, no closed formulas for these capacities were known for bosonic dephasing channels, a key class of non-Gaussian channels modelling, e.g., noise affecting superconducting circuits or fiber-optic communication channels. Here we provide the first exact calculation of the quantum, private, two-way assisted quantum, and secret-key agreement capacities of all bosonic dephasing channels. We prove that that they are equal to the relative entropy of the distribution underlying the channel to the uniform distribution. Our result solves a problem that has been open for over a decade, having been posed originally by [Jiang & Chen, Quantum and Nonlinear Optics 244, 2010].

quant-ph↗