-
A Review and Collection of Metrics and Benchmarks for Quantum Computers: definitions, methodologies and software
Authors:
Deep Lall,
Abhishek Agarwal,
Weixi Zhang,
Lachlan Lindoy,
Tobias Lindström,
Stephanie Webster,
Simon Hall,
Nicholas Chancellor,
Petros Wallden,
Raul Garcia-Patron,
Elham Kashefi,
Viv Kendon,
Jonathan Pritchard,
Alessandro Rossi,
Animesh Datta,
Theodoros Kapourniotis,
Konstantinos Georgopoulos,
Ivan Rungger
Abstract:
Quantum computers have the potential to provide an advantage over classical computers in a number of areas. Numerous metrics to benchmark the performance of quantum computers, ranging from their individual hardware components to entire applications, have been proposed over the years. Navigating the resulting extensive literature can be overwhelming. Objective comparisons are further hampered in pr…
▽ More
Quantum computers have the potential to provide an advantage over classical computers in a number of areas. Numerous metrics to benchmark the performance of quantum computers, ranging from their individual hardware components to entire applications, have been proposed over the years. Navigating the resulting extensive literature can be overwhelming. Objective comparisons are further hampered in practice as different variations of the same metric are used, and the data disclosed together with a reported metric value is often not sufficient to reproduce the measurements. This article addresses these challenges by providing a review of metrics and benchmarks for quantum computers and 1) a comprehensive collection of benchmarks allowing holistic comparisons of quantum computers, 2) a consistent format of the definitions across all metrics including a transparent description of the methodology and of the main assumptions and limitations, and 3) a reproducible approach by linking the metrics to open-source software used to evaluate them.
We identify five areas where international standardization working groups could be established, namely: i) the identification and agreement on the categories of metrics that comprehensively benchmark device performance; ii) the identification and agreement on a set of well-established metrics that together comprehensively benchmark performance; iii) the identification of metrics specific to hardware platforms, including non-gate-based quantum computers; iv) inter-laboratory comparison studies to develop best practice guides for measurement methodology; and v) agreement on what data and software should be reported together with a metric value to ensure trust, transparency and reproducibility. We provide potential routes to advancing these areas. We expect this compendium to accelerate the progress of quantum computing hardware towards quantum advantage.
△ Less
Submitted 10 February, 2025;
originally announced February 2025.
-
Laplace expansions and tree decompositions: polytime algorithm for shallow nearest-neighbour Boson Sampling
Authors:
Samo Novák,
Raúl García-Patrón
Abstract:
In a Boson Sampling quantum optical experiment we send $n$ individual photons into an $m$-mode interferometer and we measure the occupation pattern on the output. The statistics of this process depending on the permanent of a matrix representing the experiment, a #P-hard problem to compute, is the reason behind ideal and fully general Boson Sampling being hard to simulate on a classical computer.…
▽ More
In a Boson Sampling quantum optical experiment we send $n$ individual photons into an $m$-mode interferometer and we measure the occupation pattern on the output. The statistics of this process depending on the permanent of a matrix representing the experiment, a #P-hard problem to compute, is the reason behind ideal and fully general Boson Sampling being hard to simulate on a classical computer. We exploit the fact that for a nearest-neighbour shallow circuit, i.e. depth $D = \mathcal{O}(\log m)$, one can adapt the algorithm by Clifford & Clifford (2018) to exploit the sparsity of the shallow interferometer using an algorithm by Cifuentes & Parrilo (2016) that can efficiently compute a permanent of a structured matrix from a tree decomposition. Our algorithm generates a sample from a shallow circuit in time $\mathcal{O}(n^22^ωω^2) + \mathcal{O}(ωn^3)$, where $ω$ is the treewidth of the decomposition which satisfies $ω\le 2D$ for nearest-neighbour shallow circuits. The key difference in our work with respect to previous work using similar methods is the reuse of the structure of the tree decomposition, allowing us to adapt the Laplace expansion used by Clifford & Clifford which removes a significant factor of $m$ from the running time, especially as $m>n^2$ is a requirement of the original Boson Sampling proposal.
△ Less
Submitted 24 December, 2024;
originally announced December 2024.
-
Entropy Density Benchmarking of Near-Term Quantum Circuits
Authors:
Marine Demarty,
James Mills,
Kenza Hammam,
Raul Garcia-Patron
Abstract:
Understanding the limitations imposed by noise on current and next-generation quantum devices is a crucial step towards demonstrations of quantum advantage with practical applications. In this work, we investigate the accumulation of entropy density as a benchmark to monitor the performance of quantum processing units. A combination of analytical methods, numerical simulations, and experiments on…
▽ More
Understanding the limitations imposed by noise on current and next-generation quantum devices is a crucial step towards demonstrations of quantum advantage with practical applications. In this work, we investigate the accumulation of entropy density as a benchmark to monitor the performance of quantum processing units. A combination of analytical methods, numerical simulations, and experiments on programmable superconducting quantum circuits is used to build a simple yet practical heuristic model of entropy accumulation based on global depolarising noise. This demonstrates the potential of such an approach to construct effective heuristic models. The monitoring of entropy density not only offers a novel and complementary approach to existing circuit-level benchmarking techniques, but more importantly, it provides a much needed bridge between circuit-level and application-level benchmarking protocols. In particular, our heuristic model of entropy accumulation allows us to improve over existing techniques to bound the circuit size threshold beyond which quantum advantage is unattainable.
△ Less
Submitted 23 December, 2024;
originally announced December 2024.
-
Boundaries for quantum advantage with single photons and loop-based time-bin interferometers
Authors:
Samo Novák,
David D. Roberts,
Alexander Makarovskiy,
Raúl García-Patrón,
William R. Clements
Abstract:
Loop-based boson samplers interfere photons in the time degree of freedom using a sequence of delay lines. Since they require few hardware components while also allowing for long-range entanglement, they are strong candidates for demonstrating quantum advantage beyond the reach of classical emulation. We propose a method to exploit this loop-based structure to more efficiently simulate such system…
▽ More
Loop-based boson samplers interfere photons in the time degree of freedom using a sequence of delay lines. Since they require few hardware components while also allowing for long-range entanglement, they are strong candidates for demonstrating quantum advantage beyond the reach of classical emulation. We propose a method to exploit this loop-based structure to more efficiently simulate such systems. Our algorithm exploits a causal-cone argument to decompose the circuit into smaller effective components that can each be simulated sequentially by calling a state vector simulator as a subroutine. To quantify the complexity of our approach, we develop a new lattice path formalism that allows us to efficiently characterize the state space that must be tracked during the simulation. In addition, we develop a heuristic method that allows us to predict the expected average and worst-case memory requirements of running these simulations. We use these methods to compare the simulation complexity of different families of loop-based interferometers, allowing us to quantify the potential for quantum advantage of single-photon Boson Sampling in loop-based architectures.
△ Less
Submitted 31 January, 2025; v1 submitted 25 November, 2024;
originally announced November 2024.
-
Quantum Phase Estimation without Controlled Unitaries
Authors:
Laura Clinton,
Toby S. Cubitt,
Raul Garcia-Patron,
Ashley Montanaro,
Stasja Stanisic,
Maarten Stroeks
Abstract:
In this work we demonstrate the use of adapted classical phase retrieval algorithms to perform control-free quantum phase estimation. We eliminate the costly controlled time evolution and Hadamard test commonly required to access the complex time-series needed to reconstruct the spectrum. This significant reduction of the number of coherent controlled-operations lowers the circuit depth and consid…
▽ More
In this work we demonstrate the use of adapted classical phase retrieval algorithms to perform control-free quantum phase estimation. We eliminate the costly controlled time evolution and Hadamard test commonly required to access the complex time-series needed to reconstruct the spectrum. This significant reduction of the number of coherent controlled-operations lowers the circuit depth and considerably simplifies the implementation of statistical quantum phase estimation in near-term devices. This seemingly impossible task can be achieved by extending the problem that one wishes to solve to one with a larger set of input signals while exploiting natural constraints on the signal and/or the spectrum. We leverage well-established algorithms that are widely used in the context of classical signal processing, demonstrating two complementary methods to do this, vectorial phase retrieval and two-dimensional phase retrieval. We numerically investigate the feasibility of both approaches for estimating the spectrum of the Fermi-Hubbard model and discuss their resilience to inherent statistical noise.
△ Less
Submitted 30 October, 2024; v1 submitted 28 October, 2024;
originally announced October 2024.
-
Ultimate capacity limit of a multi-span link with phase-insensitive amplification
Authors:
Marcin Jarzyna,
Raul Garcia-Patron,
Konrad Banaszek
Abstract:
The Shannon capacity of a point-to-point link with an optimised configuration of optical amplifiers is compared with general detection strategies permitted by quantum mechanics. Results suggest that the primary application area of receivers based on such strategies may be unamplified short-distance links or free-space optical communication
The Shannon capacity of a point-to-point link with an optimised configuration of optical amplifiers is compared with general detection strategies permitted by quantum mechanics. Results suggest that the primary application area of receivers based on such strategies may be unamplified short-distance links or free-space optical communication
△ Less
Submitted 22 October, 2021;
originally announced October 2021.
-
Boson Sampling in Low-depth Optical Systems
Authors:
R. van der Meer,
S. Huber,
P. W. H. Pinkse,
R. García-Patrón,
J. J. Renema
Abstract:
Optical losses are the main obstacle to demonstrating a quantum advantage via boson sampling without leaving open the possibility of classical spoofing. We propose a method for generating low-depth optical circuits suitable for boson sampling with very high efficiencies. Our circuits require only a constant number of optical components (namely three) to implement an optical transformation suitable…
▽ More
Optical losses are the main obstacle to demonstrating a quantum advantage via boson sampling without leaving open the possibility of classical spoofing. We propose a method for generating low-depth optical circuits suitable for boson sampling with very high efficiencies. Our circuits require only a constant number of optical components (namely three) to implement an optical transformation suitable for demonstrating a quantum advantage. Consequently, our proposal has a constant optical loss regardless of the number of optical modes. We argue that sampling from our family of circuits is computationally hard by providing numerical evidence that our family of circuits converges to that of the original boson sampling proposal in the limit of large optical systems. Our work opens a new route to demonstrate an optical quantum advantage.
△ Less
Submitted 11 October, 2021;
originally announced October 2021.
-
A game of quantum advantage: linking verification and simulation
Authors:
Daniel Stilck França,
Raul Garcia-Patron
Abstract:
We present a formalism that captures the process of proving quantum superiority to skeptics as an interactive game between two agents, supervised by a referee. Bob, is sampling from a classical distribution on a quantum device that is supposed to demonstrate a quantum advantage. The other player, the skeptical Alice, is then allowed to propose mock distributions supposed to reproduce Bob's device'…
▽ More
We present a formalism that captures the process of proving quantum superiority to skeptics as an interactive game between two agents, supervised by a referee. Bob, is sampling from a classical distribution on a quantum device that is supposed to demonstrate a quantum advantage. The other player, the skeptical Alice, is then allowed to propose mock distributions supposed to reproduce Bob's device's statistics. He then needs to provide witness functions to prove that Alice's proposed mock distributions cannot properly approximate his device. Within this framework, we establish three results. First, for random quantum circuits, Bob being able to efficiently distinguish his distribution from Alice's implies efficient approximate simulation of the distribution. Secondly, finding a polynomial time function to distinguish the output of random circuits from the uniform distribution can also spoof the heavy output generation problem in polynomial time. This pinpoints that exponential resources may be unavoidable for even the most basic verification tasks in the setting of random quantum circuits. Beyond this setting, by employing strong data processing inequalities, our framework allows us to analyse the effect of noise on classical simulability and verification of more general near-term quantum advantage proposals.
△ Less
Submitted 9 June, 2022; v1 submitted 24 November, 2020;
originally announced November 2020.
-
Analog quantum simulation of non-Condon effects in molecular spectroscopy
Authors:
Hamza Jnane,
Nicolas P. D. Sawaya,
Borja Peropadre,
Alan Aspuru-Guzik,
Raul Garcia-Patron,
Joonsuk Huh
Abstract:
In this work, we present a linear optical implementation for analog quantum simulation of molecular vibronic spectra, incorporating the non-Condon scattering operation with a quadratically small truncation error. Thus far, analog and digital quantum algorithms for achieving quantum speedup have been suggested only in the Condon regime, which refers to a transition dipole moment that is independent…
▽ More
In this work, we present a linear optical implementation for analog quantum simulation of molecular vibronic spectra, incorporating the non-Condon scattering operation with a quadratically small truncation error. Thus far, analog and digital quantum algorithms for achieving quantum speedup have been suggested only in the Condon regime, which refers to a transition dipole moment that is independent of nuclear coordinates. For analog quantum optical simulation beyond the Condon regime (i.e., non-Condon transitions) the resulting non-unitary scattering operations must be handled appropriately in a linear optical network. In this paper, we consider the first and second-order Herzberg-Teller expansions of the transition dipole moment operator for the non-Condon effect, for implementation on linear optical quantum hardware. We believe the method opens a new way to approximate arbitrary non-unitary operations in analog and digital quantum simulations. We report in-silico simulations of the vibronic spectra for naphthalene, phenanthrene, and benzene to support our findings.
△ Less
Submitted 11 November, 2020;
originally announced November 2020.
-
Quadratic speedup for simulating Gaussian boson sampling
Authors:
Nicolás Quesada,
Rachel S. Chadwick,
Bryn A. Bell,
Juan Miguel Arrazola,
Trevor Vincent,
Haoyu Qi,
Raúl García-Patrón
Abstract:
We introduce an algorithm for the classical simulation of Gaussian boson sampling that is quadratically faster than previously known methods. The complexity of the algorithm is exponential in the number of photon pairs detected, not the number of photons, and is directly proportional to the time required to calculate a probability amplitude for a pure Gaussian state. The main innovation is to use…
▽ More
We introduce an algorithm for the classical simulation of Gaussian boson sampling that is quadratically faster than previously known methods. The complexity of the algorithm is exponential in the number of photon pairs detected, not the number of photons, and is directly proportional to the time required to calculate a probability amplitude for a pure Gaussian state. The main innovation is to use auxiliary conditioning variables to reduce the problem of sampling to computing pure-state probability amplitudes, for which the most computationally-expensive step is calculating a loop hafnian. We implement and benchmark an improved loop hafnian algorithm and show that it can be used to compute pure-state probabilities, the dominant step in the sampling algorithm, of up to 50-photon events in a single workstation, i.e., without the need of a supercomputer.
△ Less
Submitted 3 August, 2021; v1 submitted 29 October, 2020;
originally announced October 2020.
-
Limitations of optimization algorithms on noisy quantum devices
Authors:
Daniel Stilck Franca,
Raul Garcia-Patron
Abstract:
Recent technological developments have focused the interest of the quantum computing community on investigating how near-term devices could outperform classical computers for practical applications. A central question that remains open is whether their noise can be overcome or it fundamentally restricts any potential quantum advantage. We present a transparent way of comparing classical algorithms…
▽ More
Recent technological developments have focused the interest of the quantum computing community on investigating how near-term devices could outperform classical computers for practical applications. A central question that remains open is whether their noise can be overcome or it fundamentally restricts any potential quantum advantage. We present a transparent way of comparing classical algorithms to quantum ones running on near-term quantum devices for a large family of problems that include optimization problems and approximations to the ground state energy of Hamiltonians. Our approach is based on the combination of entropic inequalities that determine how fast the quantum computation state converges to the fixed point of the noise model, together with established classical methods of Gibbs state sampling. The approach is extremely versatile and allows for its application to a large variety of problems, noise models and quantum computing architectures. We use our result to provide estimates for a variety of problems and architectures that have been the focus of recent experiments, such as quantum annealers, variational quantum eigensolvers, and quantum approximate optimization. The bounds we obtain indicate that substantial quantum advantages are unlikely for classical optimization unless the current noise rates are decreased by orders of magnitude or the topology of the problem matches that of the device. This is the case even if the number of qubits increases substantially. We reach similar but less stringent conclusions for quantum Hamiltonian problems.
△ Less
Submitted 11 September, 2020;
originally announced September 2020.
-
Quantum advantage from energy measurements of many-body quantum systems
Authors:
Leonardo Novo,
Juani Bermejo-Vega,
Raúl García-Patrón
Abstract:
The problem of sampling outputs of quantum circuits has been proposed as a candidate for demonstrating a quantum computational advantage (sometimes referred to as quantum "supremacy"). In this work, we investigate whether quantum advantage demonstrations can be achieved for more physically-motivated sampling problems, related to measurements of physical observables. We focus on the problem of samp…
▽ More
The problem of sampling outputs of quantum circuits has been proposed as a candidate for demonstrating a quantum computational advantage (sometimes referred to as quantum "supremacy"). In this work, we investigate whether quantum advantage demonstrations can be achieved for more physically-motivated sampling problems, related to measurements of physical observables. We focus on the problem of sampling the outcomes of an energy measurement, performed on a simple-to-prepare product quantum state -- a problem we refer to as energy sampling. For different regimes of measurement resolution and measurement errors, we provide complexity theoretic arguments showing that the existence of efficient classical algorithms for energy sampling is unlikely. In particular, we describe a family of Hamiltonians with nearest-neighbour interactions on a 2D lattice that can be efficiently measured with high resolution using a quantum circuit of commuting gates (IQP circuit), whereas an efficient classical simulation of this process should be impossible. In this high resolution regime, which can only be achieved for Hamiltonians that can be exponentially fast-forwarded, it is possible to use current theoretical tools tying quantum advantage statements to a polynomial-hierarchy collapse whereas for lower resolution measurements such arguments fail. Nevertheless, we show that efficient classical algorithms for low-resolution energy sampling can still be ruled out if we assume that quantum computers are strictly more powerful than classical ones. We believe our work brings a new perspective to the problem of demonstrating quantum advantage and leads to interesting new questions in Hamiltonian complexity.
△ Less
Submitted 28 May, 2021; v1 submitted 13 December, 2019;
originally announced December 2019.
-
Classically simulating near-term partially-distinguishable and lossy boson sampling
Authors:
Alexandra E. Moylett,
Raúl García-Patrón,
Jelmer J. Renema,
Peter S. Turner
Abstract:
Boson Sampling is the problem of sampling from the same distribution as indistinguishable single photons at the output of a linear optical interferometer. It is an example of a non-universal quantum computation which is believed to be feasible in the near term and cannot be simulated on a classical machine. Like all purported demonstrations of "quantum supremacy", this motivates optimizing classic…
▽ More
Boson Sampling is the problem of sampling from the same distribution as indistinguishable single photons at the output of a linear optical interferometer. It is an example of a non-universal quantum computation which is believed to be feasible in the near term and cannot be simulated on a classical machine. Like all purported demonstrations of "quantum supremacy", this motivates optimizing classical simulation schemes for a realistic model of the problem, in this case Boson Sampling when the implementations experience lost or distinguishable photons. Although current simulation schemes for sufficiently imperfect boson sampling are classically efficient, in principle the polynomial runtime can be infeasibly large. In this work, we develop a scheme for classical simulation of Boson Sampling under uniform distinguishability and loss, based on the idea of sampling from distributions where at most k photons are indistinguishable. We show that asymptotically this scheme can provide a polynomial improvement in the runtime compared to classically simulating idealised Boson Sampling. More significantly, we show that in the regime considered experimentally relevant, our approach gives an substantial improvement in runtime over other classical simulation approaches.
△ Less
Submitted 28 June, 2019;
originally announced July 2019.
-
Regimes of classical simulability for noisy Gaussian boson sampling
Authors:
Haoyu Qi,
Daniel J. Brod,
Nicolás Quesada,
Raúl García-Patrón
Abstract:
As a promising candidate for exhibiting quantum computational supremacy, Gaussian Boson Sampling (GBS) is designed to exploit the ease of experimental preparation of Gaussian states. However, sufficiently large and inevitable experimental noise might render GBS classically simulable. In this work, we formalize this intuition by establishing a sufficient condition for approximate polynomial-time cl…
▽ More
As a promising candidate for exhibiting quantum computational supremacy, Gaussian Boson Sampling (GBS) is designed to exploit the ease of experimental preparation of Gaussian states. However, sufficiently large and inevitable experimental noise might render GBS classically simulable. In this work, we formalize this intuition by establishing a sufficient condition for approximate polynomial-time classical simulation of noisy GBS --- in the form of an inequality between the input squeezing parameter, the overall transmission rate and the quality of photon detectors. Our result serves as a non-classicality test that must be passed by any quantum computationalsupremacy demonstration based on GBS. We show that, for most linear-optical architectures, where photon loss increases exponentially with the circuit depth, noisy GBS loses its quantum advantage in the asymptotic limit. Our results thus delineate intermediate-sized regimes where GBS devices might considerably outperform classical computers for modest noise levels. Finally, we find that increasing the amount of input squeezing is helpful to evade our classical simulation algorithm, which suggests a potential route to mitigate photon loss.
△ Less
Submitted 17 March, 2020; v1 submitted 28 May, 2019;
originally announced May 2019.
-
Classical simulability of noisy boson sampling
Authors:
Jelmer Renema,
Valery Shchesnovich,
Raul Garcia-Patron
Abstract:
Quantum mechanics promises computational powers beyond the reach of classical computers. Current technology is on the brink of an experimental demonstration of the superior power of quantum computation compared to classical devices. For such a demonstration to be meaningful, experimental noise must not affect the computational power of the device; this occurs when a classical algorithm can use the…
▽ More
Quantum mechanics promises computational powers beyond the reach of classical computers. Current technology is on the brink of an experimental demonstration of the superior power of quantum computation compared to classical devices. For such a demonstration to be meaningful, experimental noise must not affect the computational power of the device; this occurs when a classical algorithm can use the noise to simulate the quantum system.
In this work, we demonstrate an algorithm which simulates boson sampling, a quantum advantage demonstration based on many-body quantum interference of indistinguishable bosons, in the presence of optical loss. Finding the level of noise where this approximation becomes efficient lets us map out the maximum level of imperfections at which it is still possible to demonstrate a quantum advantage. We show that current photonic technology falls short of this benchmark. These results call into question the suitability of boson sampling as a quantum advantage demonstration.
△ Less
Submitted 1 April, 2019; v1 submitted 6 September, 2018;
originally announced September 2018.
-
Simulating boson sampling in lossy architectures
Authors:
Raúl García-Patrón,
Jelmer J. Renema,
Valery Shchesnovich
Abstract:
Photon losses are among the strongest imperfections affecting multi-photon interference. Despite their importance, little is known about their effect on boson sampling experiments. In this work we show that using classical computers, one can efficiently simulate multi-photon interference in all architectures that suffer from an exponential decay of the transmission with the depth of the circuit, s…
▽ More
Photon losses are among the strongest imperfections affecting multi-photon interference. Despite their importance, little is known about their effect on boson sampling experiments. In this work we show that using classical computers, one can efficiently simulate multi-photon interference in all architectures that suffer from an exponential decay of the transmission with the depth of the circuit, such as integrated photonic circuits or optical fibers. We prove that either the depth of the circuit is large enough that it can be simulated by thermal noise with an algorithm running in polynomial time, or it is shallow enough that a tensor network simulation runs in quasi-polynomial time. This result suggests that in order to implement a quantum advantage experiment with single-photons and linear optics new experimental platforms may be needed.
△ Less
Submitted 24 July, 2019; v1 submitted 28 December, 2017;
originally announced December 2017.
-
Tensor network states in time-bin quantum optics
Authors:
Michael Lubasch,
Antonio A. Valido,
Jelmer J. Renema,
W. Steven Kolthammer,
Dieter Jaksch,
Myungshik S. Kim,
Ian Walmsley,
Raúl García-Patrón
Abstract:
The current shift in the quantum optics community towards large-size experiments -- with many modes and photons -- necessitates new classical simulation techniques that go beyond the usual phase space formulation of quantum mechanics. To address this pressing demand we formulate linear quantum optics in the language of tensor network states. As a toy model, we extensively analyze the quantum and c…
▽ More
The current shift in the quantum optics community towards large-size experiments -- with many modes and photons -- necessitates new classical simulation techniques that go beyond the usual phase space formulation of quantum mechanics. To address this pressing demand we formulate linear quantum optics in the language of tensor network states. As a toy model, we extensively analyze the quantum and classical correlations of time-bin interference in a single fiber loop. We then generalize our results to more complex time-bin quantum setups and identify different classes of architectures for high-complexity and low-overhead boson sampling experiments.
△ Less
Submitted 12 June, 2018; v1 submitted 28 December, 2017;
originally announced December 2017.
-
Divergence-free approach for obtaining decompositions of quantum-optical processes
Authors:
K. K. Sabapathy,
J. S. Ivan,
R. García-Patrón,
R. Simon
Abstract:
Operator-sum representations of quantum channels can be obtained by applying the channel to one subsystem of a maximally entangled state and deploying the channel-state isomorphism. However, for continuous-variable systems, such schemes contain natural divergences since the maximally entangled state is ill-defined. We introduce a method that avoids such divergences by utilizing finitely entangled…
▽ More
Operator-sum representations of quantum channels can be obtained by applying the channel to one subsystem of a maximally entangled state and deploying the channel-state isomorphism. However, for continuous-variable systems, such schemes contain natural divergences since the maximally entangled state is ill-defined. We introduce a method that avoids such divergences by utilizing finitely entangled (squeezed) states and then taking the limit of arbitrary large squeezing. Using this method we derive an operator-sum representation for all single-mode bosonic Gaussian channels where a unique feature is that both quantum-limited and noisy channels are treated on an equal footing. This technique facilitates a proof that the rank-one Kraus decomposition for Gaussian channels at its respective entanglement-breaking thresholds, obtained in the overcomplete coherent state basis, is unique. The methods could have applications to simulation of continuous-variable channels.
△ Less
Submitted 25 June, 2018; v1 submitted 14 August, 2017;
originally announced August 2017.
-
Semi-device-independent framework based on natural physical assumptions
Authors:
Thomas Van Himbeeck,
Erik Woodhead,
Nicolas J. Cerf,
Raúl García-Patrón,
Stefano Pironio
Abstract:
The semi-device-independent approach provides a framework for prepare-and-measure quantum protocols using devices whose behavior must not be characterized nor trusted, except for a single assumption on the dimension of the Hilbert space characterizing the quantum carriers. Here, we propose instead to constrain the quantum carriers through a bound on the mean value of a well-chosen observable. This…
▽ More
The semi-device-independent approach provides a framework for prepare-and-measure quantum protocols using devices whose behavior must not be characterized nor trusted, except for a single assumption on the dimension of the Hilbert space characterizing the quantum carriers. Here, we propose instead to constrain the quantum carriers through a bound on the mean value of a well-chosen observable. This modified assumption is physically better motivated than a dimension bound and closer to the description of actual experiments. In particular, we consider quantum optical schemes where the source emits quantum states described in an infinite-dimensional Fock space and model our assumption as an upper bound on the average photon number in the emitted states. We characterize the set of correlations that may be exhibited in the simplest possible scenario compatible with our new framework, based on two energy-constrained state preparations and a two-outcome measurement. Interestingly, we uncover the existence of quantum correlations exceeding the set of classical correlations that can be produced by devices behaving in a purely pre-determined fashion (possibly including shared randomness). This feature suggests immediate applications to certified randomness generation. Along this line, we analyze the achievable correlations in several prepare-and-measure optical schemes with a mean photon number constraint and demonstrate that they allow for the generation of certified randomness. Our simplest optical scheme works by the on-off keying of an attenuated laser source followed by photocounting. It opens the path to more sophisticated energy-constrained semi-device-independent quantum cryptography protocols, such as quantum key distribution.
△ Less
Submitted 16 November, 2017; v1 submitted 20 December, 2016;
originally announced December 2016.
-
Quantum enhancement of randomness distribution
Authors:
Raul Garcia-Patron,
William Matthews,
Andreas Winter
Abstract:
The capability of a given channel to communicate information is, a priori, distinct from its capability to distribute shared randomness. In this article we define randomness distribution capacities of quantum channels assisted by forward, back, or two-way classical communication and compare these to the corresponding communication capacities. With forward assistance or no assistance, we find that…
▽ More
The capability of a given channel to communicate information is, a priori, distinct from its capability to distribute shared randomness. In this article we define randomness distribution capacities of quantum channels assisted by forward, back, or two-way classical communication and compare these to the corresponding communication capacities. With forward assistance or no assistance, we find that they are equal. We establish the mutual information of the channel as an upper bound on the two-way assisted randomness distribution capacity. This implies that all of the capacities are equal for classical-quantum channels. On the other hand, we show that the back-assisted randomness distribution capacity of a quantum-classical channels is equal to its mutual information. This is often strictly greater than the back-assisted communication capacity. We give an explicit example of such a separation where the randomness distribution protocol is noiseless.
△ Less
Submitted 17 October, 2016;
originally announced October 2016.
-
A quantum-inspired algorithm for estimating the permanent of positive semidefinite matrices
Authors:
L. Chakhmakhchyan,
N. J. Cerf,
R. Garcia-Patron
Abstract:
We construct a quantum-inspired classical algorithm for computing the permanent of Hermitian positive semidefinite matrices, by exploiting a connection between these mathematical structures and the boson sampling model. Specifically, the permanent of a Hermitian positive semidefinite matrix can be expressed in terms of the expected value of a random variable, which stands for a specific photon-cou…
▽ More
We construct a quantum-inspired classical algorithm for computing the permanent of Hermitian positive semidefinite matrices, by exploiting a connection between these mathematical structures and the boson sampling model. Specifically, the permanent of a Hermitian positive semidefinite matrix can be expressed in terms of the expected value of a random variable, which stands for a specific photon-counting probability when measuring a linear-optically evolved random multimode coherent state. Our algorithm then approximates the matrix permanent from the corresponding sample mean and is shown to run in polynomial time for various sets of Hermitian positive semidefinite matrices, achieving a precision that improves over known techniques. This work illustrates how quantum optics may benefit algorithms development.
△ Less
Submitted 31 August, 2017; v1 submitted 8 September, 2016;
originally announced September 2016.
-
Majorization preservation of Gaussian bosonic channels
Authors:
Michael G. Jabbour,
Raúl García-Patrón,
Nicolas J. Cerf
Abstract:
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…
▽ More
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 the context of the broadcast communication capacity of bosonic Gaussian channels. Most of our results being independent of the bosonic nature of the system under investigation, they could be generalized to other quantum systems and Hamiltonians, providing a general tool that could prove useful in quantum information theory and quantum thermodynamics.
△ Less
Submitted 27 December, 2015;
originally announced December 2015.
-
Interconversion of pure Gaussian states using non-Gaussian operations
Authors:
Michael G. Jabbour,
Raúl García-Patrón,
Nicolas J. Cerf
Abstract:
We analyze the conditions under which local operations and classical communication enable entanglement transformations within the set of bipartite pure Gaussian states. A set of necessary and sufficient conditions had been found in [Quant. Inf. Comp. 3, 211 (2003)] for the interconversion between such states that is restricted to Gaussian local operations and classical communication. Here, we expl…
▽ More
We analyze the conditions under which local operations and classical communication enable entanglement transformations within the set of bipartite pure Gaussian states. A set of necessary and sufficient conditions had been found in [Quant. Inf. Comp. 3, 211 (2003)] for the interconversion between such states that is restricted to Gaussian local operations and classical communication. Here, we exploit majorization theory in order to derive more general (sufficient) conditions for the interconversion between bipartite pure Gaussian states that goes beyond Gaussian local operations. While our technique is applicable to an arbitrary number of modes for each party, it allows us to exhibit surprisingly simple examples of 2 x 2 Gaussian states that necessarily require non-Gaussian local operations to be transformed into each other.
△ Less
Submitted 29 September, 2014;
originally announced September 2014.
-
Strong converse for the classical capacity of optical quantum communication channels
Authors:
Bhaskar Roy Bardhan,
Raul Garcia-Patron,
Mark M. Wilde,
Andreas Winter
Abstract:
We establish the classical capacity of optical quantum channels as a sharp transition between two regimes---one which is an error-free regime for communication rates below the capacity, and the other in which the probability of correctly decoding a classical message converges exponentially fast to zero if the communication rate exceeds the classical capacity. This result is obtained by proving a s…
▽ More
We establish the classical capacity of optical quantum channels as a sharp transition between two regimes---one which is an error-free regime for communication rates below the capacity, and the other in which the probability of correctly decoding a classical message converges exponentially fast to zero if the communication rate exceeds the classical capacity. This result is obtained by proving a strong converse theorem for the classical capacity of all phase-insensitive bosonic Gaussian channels, a well-established model of optical quantum communication channels, such as lossy optical fibers, amplifier and free-space communication. The theorem holds under a particular photon-number occupation constraint, which we describe in detail in the paper. Our result bolsters the understanding of the classical capacity of these channels and opens the path to applications, such as proving the security of noisy quantum storage models of cryptography with optical links.
△ Less
Submitted 10 February, 2015; v1 submitted 16 January, 2014;
originally announced January 2014.
-
Ultimate communication capacity of quantum optical channels by solving the Gaussian minimum-entropy conjecture
Authors:
V. Giovannetti,
R. Garcia-Patron,
N. J. Cerf,
A. S. Holevo
Abstract:
Optical channels, such as fibers or free-space links, are ubiquitous in today's telecommunication networks. They rely on the electromagnetic field associated with photons to carry information from one point to another in space. As a result, a complete physical model of these channels must necessarily take quantum effects into account in order to determine their ultimate performances. Specifically,…
▽ More
Optical channels, such as fibers or free-space links, are ubiquitous in today's telecommunication networks. They rely on the electromagnetic field associated with photons to carry information from one point to another in space. As a result, a complete physical model of these channels must necessarily take quantum effects into account in order to determine their ultimate performances. Specifically, Gaussian photonic (or bosonic) quantum channels have been extensively studied over the past decades given their importance for practical purposes. In spite of this, a longstanding conjecture on the optimality of Gaussian encodings has yet prevented finding their communication capacity. Here, this conjecture is solved by proving that the vacuum state achieves the minimum output entropy of a generic Gaussian bosonic channel. This establishes the ultimate achievable bit rate under an energy constraint, as well as the long awaited proof that the single-letter classical capacity of these channels is additive. Beyond capacities, it also has broad consequences in quantum information sciences.
△ Less
Submitted 21 December, 2013;
originally announced December 2013.
-
A solution of the Gaussian optimizer conjecture
Authors:
V. Giovannetti,
A. S. Holevo,
R. Garcia-Patron
Abstract:
The long-standing conjectures of the optimality of Gaussian inputs for Gaussian channel and Gaussian additivity are solved for a broad class of covariant or contravariant Bosonic Gaussian channels (which includes in particular thermal, additive classical noise, and amplifier channels) restricting to the class of states with finite second moments. We show that the vacuum is the input state which mi…
▽ More
The long-standing conjectures of the optimality of Gaussian inputs for Gaussian channel and Gaussian additivity are solved for a broad class of covariant or contravariant Bosonic Gaussian channels (which includes in particular thermal, additive classical noise, and amplifier channels) restricting to the class of states with finite second moments. We show that the vacuum is the input state which minimizes the entropy at the output of such channels. This allows us to show also that the classical capacity of these channels (under the input energy constraint) is additive and is achieved by Gaussian encodings.
△ Less
Submitted 5 March, 2014; v1 submitted 8 December, 2013;
originally announced December 2013.
-
Analysis of circuit imperfections in BosonSampling
Authors:
Anthony Leverrier,
Raúl García-Patrón
Abstract:
BosonSampling is a problem where a quantum computer offers a provable speedup over classical computers. Its main feature is that it can be solved with current linear optics technology, without the need for a full quantum computer. In this work, we investigate whether an experimentally realistic BosonSampler can really solve BosonSampling without any fault-tolerance mechanism. More precisely, we st…
▽ More
BosonSampling is a problem where a quantum computer offers a provable speedup over classical computers. Its main feature is that it can be solved with current linear optics technology, without the need for a full quantum computer. In this work, we investigate whether an experimentally realistic BosonSampler can really solve BosonSampling without any fault-tolerance mechanism. More precisely, we study how the unavoidable errors linked to an imperfect calibration of the optical elements affect the final result of the computation. We show that the fidelity of each optical element must be at least $1 - O(1/n^2)$, where $n$ refers to the number of single photons in the scheme. Such a requirement seems to be achievable with state-of-the-art equipment.
△ Less
Submitted 5 November, 2014; v1 submitted 18 September, 2013;
originally announced September 2013.
-
Equivalence Relations for the Classical Capacity of Single-Mode Gaussian Quantum channels
Authors:
Joachim Schäfer,
Evgueni Karpov,
Raúl García-Patrón,
Oleg V. Pilyavets,
Nicolas J. Cerf
Abstract:
We prove the equivalence of an arbitrary single-mode Gaussian quantum channel and a newly defined fiducial channel preceded by a phase shift and followed by a Gaussian unitary operation. This equivalence implies that the energy-constrained classical capacity of any single-mode Gaussian channel can be calculated based on this fiducial channel, which is furthermore simply realizable with a beam spli…
▽ More
We prove the equivalence of an arbitrary single-mode Gaussian quantum channel and a newly defined fiducial channel preceded by a phase shift and followed by a Gaussian unitary operation. This equivalence implies that the energy-constrained classical capacity of any single-mode Gaussian channel can be calculated based on this fiducial channel, which is furthermore simply realizable with a beam splitter, two identical single-mode squeezers, and a two-mode squeezer. In a large domain of parameters, we also provide an analytical expression for the Gaussian classical capacity, exploiting its additivity, and prove that the classical capacity cannot exceed it by more than 1/ln2 bits.
△ Less
Submitted 25 July, 2013; v1 submitted 20 March, 2013;
originally announced March 2013.
-
Security of continuous-variable quantum key distribution against general attacks
Authors:
Anthony Leverrier,
Raúl García-Patrón,
Renato Renner,
Nicolas J. Cerf
Abstract:
We prove the security of Gaussian continuous-variable quantum key distribution against arbitrary attacks in the finite-size regime. The novelty of our proof is to consider symmetries of quantum key distribution in phase space in order to show that, to good approximation, the Hilbert space of interest can be considered to be finite-dimensional, thereby allowing for the use of the postselection tech…
▽ More
We prove the security of Gaussian continuous-variable quantum key distribution against arbitrary attacks in the finite-size regime. The novelty of our proof is to consider symmetries of quantum key distribution in phase space in order to show that, to good approximation, the Hilbert space of interest can be considered to be finite-dimensional, thereby allowing for the use of the postselection technique introduced by Christandl, Koenig and Renner (Phys. Rev. Lett. 102, 020504 (2009)). Our result greatly improves on previous work based on the de Finetti theorem which could not provide security for realistic, finite-size, implementations.
△ Less
Submitted 24 August, 2012;
originally announced August 2012.
-
Enhancing quantum entanglement by photon addition and subtraction
Authors:
Carlos Navarrete-Benlloch,
Raúl García-Patrón,
Jeffrey H. Shapiro,
Nicolas J. Cerf
Abstract:
The non-Gaussian operations effected by adding or subtracting a photon on the entangled optical beams emerging from a parametric down-conversion process have been suggested to enhance entanglement. Heralded photon addition or subtraction is, as a matter of fact, at the heart of continuous-variable entanglement distillation. The use of such processes has recently been experimentally demonstrated in…
▽ More
The non-Gaussian operations effected by adding or subtracting a photon on the entangled optical beams emerging from a parametric down-conversion process have been suggested to enhance entanglement. Heralded photon addition or subtraction is, as a matter of fact, at the heart of continuous-variable entanglement distillation. The use of such processes has recently been experimentally demonstrated in the context of the generation of optical coherent-state superpositions or the verification of the canonical commutation relations. Here, we carry out a systematic study of the effect of local photon additions or subtractions on a two-mode squeezed vacuum state, showing that the entanglement generally increases with the number of such operations. This is analytically proven when additions or subtractions are restricted to one mode only, while we observe that the highest entanglement is achieved when these operations are equally shared between the two modes. We also note that adding photons typically provides a stronger entanglement enhancement than subtracting photons, while photon subtraction performs better in terms of energy efficiency. Furthermore, we analyze the interplay between entanglement and non-Gaussianity, showing that it is more subtle than previously expected.
△ Less
Submitted 5 June, 2012; v1 submitted 19 January, 2012;
originally announced January 2012.
-
Majorization theory approach to the Gaussian channel minimum entropy conjecture
Authors:
Raul Garcia-Patron,
Carlos Navarrete-Benlloch,
Seth Lloyd,
Jeffrey H. Shapiro,
Nicolas J. Cerf
Abstract:
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 ampl…
▽ More
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.
△ Less
Submitted 8 November, 2011;
originally announced November 2011.
-
Gaussian Quantum Information
Authors:
Christian Weedbrook,
Stefano Pirandola,
Raul Garcia-Patron,
Nicolas J. Cerf,
Timothy C. Ralph,
Jeffrey H. Shapiro,
Seth Lloyd
Abstract:
The science of quantum information has arisen over the last two decades centered on the manipulation of individual quanta of information, known as quantum bits or qubits. Quantum computers, quantum cryptography and quantum teleportation are among the most celebrated ideas that have emerged from this new field. It was realized later on that using continuous-variable quantum information carriers, in…
▽ More
The science of quantum information has arisen over the last two decades centered on the manipulation of individual quanta of information, known as quantum bits or qubits. Quantum computers, quantum cryptography and quantum teleportation are among the most celebrated ideas that have emerged from this new field. It was realized later on that using continuous-variable quantum information carriers, instead of qubits, constitutes an extremely powerful alternative approach to quantum information processing. This review focuses on continuous-variable quantum information processes that rely on any combination of Gaussian states, Gaussian operations, and Gaussian measurements. Interestingly, such a restriction to the Gaussian realm comes with various benefits, since on the theoretical side, simple analytical tools are available and, on the experimental side, optical components effecting Gaussian processes are readily available in the laboratory. Yet, Gaussian quantum information processing opens the way to a wide variety of tasks and applications, including quantum communication, quantum cryptography, quantum computation, quantum teleportation, and quantum state and channel discrimination. This review reports on the state of the art in this field, ranging from the basic theoretical tools and landmark experimental realizations to the most recent successful developments.
△ Less
Submitted 14 October, 2011;
originally announced October 2011.
-
A reply to "Problems with modelling closed timelike curves as post-selected teleportation"
Authors:
Seth Lloyd,
Lorenzo Maccone,
Raul Garcia-Patron,
Vittorio Giovannetti,
Yutaka Shikano,
Stefano Pirandola,
Lee A. Rozema,
Ardavan Darabi,
Yasaman Soudagar,
Lynden K. Shalm,
Aephraim M. Steinberg
Abstract:
In arXiv:1107.4675 Ralph uses our post-selection model of closed timelike curves (P-CTC) to construct an "unproven-theorem" paradox, and claims that this voids our argument that P-CTCs are able to resolve such types of paradoxes. Here we point out that Ralph has not accounted for all the interactions needed for his construction. A more careful analysis confirms that indeed there is no paradox, con…
▽ More
In arXiv:1107.4675 Ralph uses our post-selection model of closed timelike curves (P-CTC) to construct an "unproven-theorem" paradox, and claims that this voids our argument that P-CTCs are able to resolve such types of paradoxes. Here we point out that Ralph has not accounted for all the interactions needed for his construction. A more careful analysis confirms that indeed there is no paradox, contrary to his claims.
△ Less
Submitted 31 July, 2011;
originally announced August 2011.
-
Percolation of secret correlations in a network
Authors:
Anthony Leverrier,
Raul Garcia-Patron
Abstract:
In this work, we explore the analogy between entanglement and secret classical correlations in the context of large networks, more precisely the question of percolation of secret correlations in a network. It is known that entanglement percolation in quantum networks can display a highly nontrivial behavior depending on the topology of the network and on the presence of entanglement between the no…
▽ More
In this work, we explore the analogy between entanglement and secret classical correlations in the context of large networks, more precisely the question of percolation of secret correlations in a network. It is known that entanglement percolation in quantum networks can display a highly nontrivial behavior depending on the topology of the network and on the presence of entanglement between the nodes. Here we show that this behavior, thought to be of a genuine quantum nature, also occurs in a classical context.
△ Less
Submitted 27 September, 2011; v1 submitted 8 July, 2011;
originally announced July 2011.
-
The quantum mechanics of time travel through post-selected teleportation
Authors:
Seth Lloyd,
Lorenzo Maccone,
Raul Garcia-Patron,
Vittorio Giovannetti,
Yutaka Shikano
Abstract:
This paper discusses the quantum mechanics of closed timelike curves (CTC) and of other potential methods for time travel. We analyze a specific proposal for such quantum time travel, the quantum description of CTCs based on post-selected teleportation (P-CTCs). We compare the theory of P-CTCs to previously proposed quantum theories of time travel: the theory is physically inequivalent to Deutsch'…
▽ More
This paper discusses the quantum mechanics of closed timelike curves (CTC) and of other potential methods for time travel. We analyze a specific proposal for such quantum time travel, the quantum description of CTCs based on post-selected teleportation (P-CTCs). We compare the theory of P-CTCs to previously proposed quantum theories of time travel: the theory is physically inequivalent to Deutsch's theory of CTCs, but it is consistent with path-integral approaches (which are the best suited for analyzing quantum field theory in curved spacetime). We derive the dynamical equations that a chronology-respecting system interacting with a CTC will experience. We discuss the possibility of time travel in the absence of general relativistic closed timelike curves, and investigate the implications of P-CTCs for enhancing the power of computation.
△ Less
Submitted 19 July, 2010; v1 submitted 15 July, 2010;
originally announced July 2010.
-
Closed timelike curves via post-selection: theory and experimental demonstration
Authors:
Seth Lloyd,
Lorenzo Maccone,
Raul Garcia-Patron,
Vittorio Giovannetti,
Yutaka Shikano,
Stefano Pirandola,
Lee A. Rozema,
Ardavan Darabi,
Yasaman Soudagar,
Lynden K. Shalm,
Aephraim M. Steinberg
Abstract:
Closed timelike curves (CTCs) are trajectories in spacetime that effectively travel backwards in time: a test particle following a CTC can in principle interact with its former self in the past. CTCs appear in many solutions of Einstein's field equations and any future quantum version of general relativity will have to reconcile them with the requirements of quantum mechanics and of quantum field…
▽ More
Closed timelike curves (CTCs) are trajectories in spacetime that effectively travel backwards in time: a test particle following a CTC can in principle interact with its former self in the past. CTCs appear in many solutions of Einstein's field equations and any future quantum version of general relativity will have to reconcile them with the requirements of quantum mechanics and of quantum field theory. A widely accepted quantum theory of CTCs was proposed by Deutsch. Here we explore an alternative quantum formulation of CTCs and show that it is physically inequivalent to Deutsch's. Because it is based on combining quantum teleportation with post-selection, the predictions/retrodictions of our theory are experimentally testable: we report the results of an experiment demonstrating our theory's resolution of the well-known `grandfather paradox.
△ Less
Submitted 12 May, 2010;
originally announced May 2010.
-
Minimum output entropy of Gaussian channels
Authors:
S. Lloyd,
V. Giovannetti,
L. Maccone,
S. Pirandola,
R. Garcia-Patron
Abstract:
We show that the minimum output entropy for all single-mode Gaussian channels is additive and is attained for Gaussian inputs. This allows the derivation of the channel capacity for a number of Gaussian channels, including that of the channel with linear loss, thermal noise, and linear amplification.
We show that the minimum output entropy for all single-mode Gaussian channels is additive and is attained for Gaussian inputs. This allows the derivation of the channel capacity for a number of Gaussian channels, including that of the channel with linear loss, thermal noise, and linear amplification.
△ Less
Submitted 21 January, 2010; v1 submitted 15 June, 2009;
originally announced June 2009.
-
The bosonic minimum output entropy conjecture and Lagrangian minimization
Authors:
S. Lloyd,
V. Giovannetti,
L. Maccone,
N. J. Cerf,
S. Guha,
R. Garcia-Patron,
S. Mitter,
S. Pirandola,
M. B. Ruskai,
J. H. Shapiro,
H. Yuan
Abstract:
We introduce a new form for the bosonic channel minimal output entropy conjecture, namely that among states with equal input entropy, the thermal states are the ones that have slightest increase in entropy when sent through a infinitesimal thermalizing channel. We then detail a strategy to prove the conjecture through variational techniques. This would lead to the calculation of the classical capa…
▽ More
We introduce a new form for the bosonic channel minimal output entropy conjecture, namely that among states with equal input entropy, the thermal states are the ones that have slightest increase in entropy when sent through a infinitesimal thermalizing channel. We then detail a strategy to prove the conjecture through variational techniques. This would lead to the calculation of the classical capacity of a communication channel subject to thermal noise. Our strategy detects input thermal ensembles as possible solutions for the optimal encoding of the channel, lending support to the conjecture. However, it does not seem to be able to exclude the possibility that other input ensembles can attain the channel capacity.
△ Less
Submitted 18 August, 2010; v1 submitted 15 June, 2009;
originally announced June 2009.
-
Direct and Reverse Secret-Key Capacities of a Quantum Channel
Authors:
Stefano Pirandola,
Raul Garcia-Patron,
Samuel L. Braunstein,
Seth Lloyd
Abstract:
We define the direct and reverse secret-key capacities of a memoryless quantum channel as the optimal rates that entanglement-based quantum key distribution protocols can reach by using a single forward classical communication (direct reconciliation) or a single feedback classical communication (reverse reconciliation). In particular, the reverse secret-key capacity can be positive for antidegra…
▽ More
We define the direct and reverse secret-key capacities of a memoryless quantum channel as the optimal rates that entanglement-based quantum key distribution protocols can reach by using a single forward classical communication (direct reconciliation) or a single feedback classical communication (reverse reconciliation). In particular, the reverse secret-key capacity can be positive for antidegradable channels, where no forward strategy is known to be secure. This property is explicitly shown in the continuous variable framework by considering arbitrary one-mode Gaussian channels.
△ Less
Submitted 9 February, 2009; v1 submitted 18 September, 2008;
originally announced September 2008.
-
Reverse Coherent Information
Authors:
Raúl García-Patrón,
Stefano Pirandola,
Seth Lloyd,
Jeffrey H. Shapiro
Abstract:
In this letter we define a family of entanglement distribution protocols assisted by feedback classical communication that gives an operational interpretation to reverse coherent information, i.e., the symmetric counterpart of the well known coherent information. This lead to the definition of a new entanglement distribution capacity that exceeds the unassisted capacity for some interesting chan…
▽ More
In this letter we define a family of entanglement distribution protocols assisted by feedback classical communication that gives an operational interpretation to reverse coherent information, i.e., the symmetric counterpart of the well known coherent information. This lead to the definition of a new entanglement distribution capacity that exceeds the unassisted capacity for some interesting channels.
△ Less
Submitted 25 June, 2009; v1 submitted 1 August, 2008;
originally announced August 2008.
-
Continuous-variable quantum key distribution protocols over noisy channels
Authors:
Raul Garcia-Patron,
Nicolas J. Cerf
Abstract:
A continuous-variable quantum key distribution protocol based on squeezed states and heterodyne detection is introduced and shown to attain higher secret key rates over a noisy line than any other one-way Gaussian protocol. This increased resistance to channel noise can be understood as resulting from purposely adding noise to the signal that is converted into the secret key. This notion of nois…
▽ More
A continuous-variable quantum key distribution protocol based on squeezed states and heterodyne detection is introduced and shown to attain higher secret key rates over a noisy line than any other one-way Gaussian protocol. This increased resistance to channel noise can be understood as resulting from purposely adding noise to the signal that is converted into the secret key. This notion of noise-enhanced tolerance to noise also provides a better physical insight into the poorly understood discrepancies between the previously defined families of Gaussian protocols.
△ Less
Submitted 25 June, 2009; v1 submitted 24 June, 2008;
originally announced June 2008.
-
Heisenberg-limited eavesdropping on the continuous-variable quantum cryptographic protocol with no basis switching is impossible
Authors:
J. Sudjana,
L. Magnin,
R. Garcia-Patron,
N. J. Cerf
Abstract:
The Gaussian quantum key distribution protocol based on coherent states and heterodyne detection [Phys. Rev. Lett. 93, 170504 (2004)] has the advantage that no active random basis switching is needed on the receiver's side. Its security is, however, not very satisfyingly understood today because the bounds on the secret key rate that have been derived from Heisenberg relations are not attained b…
▽ More
The Gaussian quantum key distribution protocol based on coherent states and heterodyne detection [Phys. Rev. Lett. 93, 170504 (2004)] has the advantage that no active random basis switching is needed on the receiver's side. Its security is, however, not very satisfyingly understood today because the bounds on the secret key rate that have been derived from Heisenberg relations are not attained by any known scheme. Here, we address the problem of the optimal Gaussian individual attack against this protocol, and derive tight upper bounds on the information accessible to an eavesdropper. The optical scheme achieving this bound is also exhibited, which concludes the security analysis of this protocol.
△ Less
Submitted 28 June, 2007;
originally announced June 2007.
-
Quantum key distribution over 25 km with an all-fiber continuous-variable system
Authors:
Jerome Lodewyck,
Matthieu Bloch,
Raul Garcia-Patron,
Simon Fossier,
Evgueni Karpov,
Eleni Diamanti,
Thierry Debuisschert,
Nicolas J. Cerf,
Rosa Tualle-Brouri,
Steven W. McLaughlin,
Philippe Grangier
Abstract:
We report on the implementation of a reverse-reconciliated coherent-state continuous-variable quantum key distribution system, with which we generated secret keys at a rate of more than 2 kb/s over 25 km of optical fiber. Time multiplexing is used to transmit both the signal and phase reference in the same optical fiber. Our system includes all experimental aspects required for a field implement…
▽ More
We report on the implementation of a reverse-reconciliated coherent-state continuous-variable quantum key distribution system, with which we generated secret keys at a rate of more than 2 kb/s over 25 km of optical fiber. Time multiplexing is used to transmit both the signal and phase reference in the same optical fiber. Our system includes all experimental aspects required for a field implementation of a quantum key distribution setup. Real-time reverse reconciliation is achieved by using fast and efficient LDPC error correcting codes.
△ Less
Submitted 4 September, 2007; v1 submitted 28 June, 2007;
originally announced June 2007.
-
Experimental implementation of non-Gaussian attacks on a continuous-variable quantum key distribution system
Authors:
Jerome Lodewyck,
Thierry Debuisschert,
Raul Garcia-Patron,
Rosa Tualle-Brouri,
Nicolas J. Cerf,
Philippe Grangier
Abstract:
An intercept-resend attack on a continuous-variable quantum-key-distribution protocol is investigated experimentally. By varying the interception fraction, one can implement a family of attacks where the eavesdropper totally controls the channel parameters. In general, such attacks add excess noise in the channel, and may also result in non-Gaussian output distributions. We implement and charact…
▽ More
An intercept-resend attack on a continuous-variable quantum-key-distribution protocol is investigated experimentally. By varying the interception fraction, one can implement a family of attacks where the eavesdropper totally controls the channel parameters. In general, such attacks add excess noise in the channel, and may also result in non-Gaussian output distributions. We implement and characterize the measurements needed to detect these attacks, and evaluate experimentally the information rates available to the legitimate users and the eavesdropper. The results are consistent with the optimality of Gaussian attacks resulting from the security proofs.
△ Less
Submitted 31 January, 2007;
originally announced January 2007.
-
Experimental Proof of Quantum Nonlocality without Squeezing
Authors:
J. Niset,
A. Acin,
U. L. Andersen,
N. J. Cerf,
R. García-Patrón,
M. Navascues,
M. Sabuncu
Abstract:
It is shown that the ensemble $\{p (α),|α>|α^*>\}$ where $p (α)$ is a Gaussian distribution of finite variance and $| α>$ is a coherent state can be better discriminated with an entangled measurement than with any local strategy supplemented by classical communication. Although this ensemble consists of products of quasi-classical states, it exhibits some quantum nonlocality. This remarkable eff…
▽ More
It is shown that the ensemble $\{p (α),|α>|α^*>\}$ where $p (α)$ is a Gaussian distribution of finite variance and $| α>$ is a coherent state can be better discriminated with an entangled measurement than with any local strategy supplemented by classical communication. Although this ensemble consists of products of quasi-classical states, it exhibits some quantum nonlocality. This remarkable effect is demonstrated experimentally by implementing the optimal local strategy together with a joint nonlocal strategy that yields a higher fidelity.
△ Less
Submitted 28 August, 2006;
originally announced August 2006.
-
Unconditional optimality of Gaussian attacks against continuous-variable QKD
Authors:
Raul Garcia-Patron,
Nicolas J. Cerf
Abstract:
A fully general approach to the security analysis of continuous-variable quantum key distribution (CV-QKD) is presented. Provided that the quantum channel is estimated via the covariance matrix of the quadratures, Gaussian attacks are shown to be optimal against all eavesdropping strategies, including collective and coherent attacks. The proof is made strikingly simple by combining a physical mo…
▽ More
A fully general approach to the security analysis of continuous-variable quantum key distribution (CV-QKD) is presented. Provided that the quantum channel is estimated via the covariance matrix of the quadratures, Gaussian attacks are shown to be optimal against all eavesdropping strategies, including collective and coherent attacks. The proof is made strikingly simple by combining a physical model of measurement, an entanglement-based description of CV-QKD, and a recent powerful result on the extremality of Gaussian states [Phys. Rev. Lett. 96, 080502 (2006)].
△ Less
Submitted 3 August, 2006;
originally announced August 2006.
-
Conditional generation of arbitrary single-mode quantum states of light by repeated photon subtractions
Authors:
Jaromir Fiurasek,
Raul Garcia-Patron,
Nicolas J. Cerf
Abstract:
We propose a scheme for the conditional generation of arbitrary finite superpositions of (squeezed) Fock states in a single mode of a traveling optical field. The suggested setup requires only a source of squeezed states, beam splitters, strong coherent beams, and photodetectors with single-photon sensitivity. The method does not require photodetectors with a high efficiency nor with a single-ph…
▽ More
We propose a scheme for the conditional generation of arbitrary finite superpositions of (squeezed) Fock states in a single mode of a traveling optical field. The suggested setup requires only a source of squeezed states, beam splitters, strong coherent beams, and photodetectors with single-photon sensitivity. The method does not require photodetectors with a high efficiency nor with a single-photon resolution.
△ Less
Submitted 11 March, 2005;
originally announced March 2005.
-
Loophole-free test of quantum non-locality using high-efficiency homodyne detectors
Authors:
R. Garcia-Patron,
J. Fiurasek,
N. J. Cerf
Abstract:
We provide a detailed analysis of the recently proposed setup for a loophole-free test of Bell inequality using conditionally generated non-Gaussian states of light and balanced homodyning. In the proposed scheme, a two-mode squeezed vacuum state is de-gaussified by subtracting a single photon from each mode with the use of an unbalanced beam splitter and a standard low-efficiency single-photon…
▽ More
We provide a detailed analysis of the recently proposed setup for a loophole-free test of Bell inequality using conditionally generated non-Gaussian states of light and balanced homodyning. In the proposed scheme, a two-mode squeezed vacuum state is de-gaussified by subtracting a single photon from each mode with the use of an unbalanced beam splitter and a standard low-efficiency single-photon detector. We thoroughly discuss the dependence of the achievable Bell violation on the various relevant experimental parameters such as the detector efficiencies, the electronic noise and the mixedness of the initial Gaussian state. We also consider several alternative schemes involving squeezed states, linear optical elements, conditional photon subtraction and homodyne detection.
△ Less
Submitted 22 July, 2004;
originally announced July 2004.
