-
Quantum Error Suppression with Subgroup Stabilisation
Authors:
Bo Yang,
Elham Kashefi,
Dominik Leichtle,
Harold Ollivier
Abstract:
Quantum state purification is the functionality that, given multiple copies of an unknown state, outputs a state with increased purity. This will be an essential building block for near- and middle-term quantum ecosystems before the availability of full fault tolerance, where one may want to suppress errors not only in expectation values but also in quantum states. We propose an effective state pu…
▽ More
Quantum state purification is the functionality that, given multiple copies of an unknown state, outputs a state with increased purity. This will be an essential building block for near- and middle-term quantum ecosystems before the availability of full fault tolerance, where one may want to suppress errors not only in expectation values but also in quantum states. We propose an effective state purification gadget with a moderate quantum overhead by projecting $M$ noisy quantum inputs to their symmetric subspace defined by a set of projectors forming a symmetric subgroup with order $M$. Our method, applied in every short evolution over $M$ redundant copies of noisy states, can suppress both coherent and stochastic errors by a factor of $1/M$, respectively. This reduces the circuit implementation cost $M$ times smaller than the state projection to the full symmetric subspace proposed by Barenco et al. more than two decades ago. We also show that our gadget purifies the depolarised inputs with probability $p$ to asymptotically $O\left(p^{2}\right)$ with an optimal choice of $M$ when $p$ is small. The sampling cost scales $O\left(p^{-1}\right)$ for small $p$, which is also shown to be asymptotically optimal. Our method provides flexible choices of state purification depending on the hardware restrictions before fully fault-tolerant computation is available.
△ Less
Submitted 13 June, 2024; v1 submitted 15 April, 2024;
originally announced April 2024.
-
Verification of Quantum Computations without Trusted Preparations or Measurements
Authors:
Elham Kashefi,
Dominik Leichtle,
Luka Music,
Harold Ollivier
Abstract:
With the advent of delegated quantum computing as a service, verifying quantum computations is becoming a question of great importance. Existing information theoretically Secure Delegated Quantum Computing (SDQC) protocols require the client to possess the ability to perform either trusted state preparations or measurements. Whether it is possible to verify universal quantum computations with info…
▽ More
With the advent of delegated quantum computing as a service, verifying quantum computations is becoming a question of great importance. Existing information theoretically Secure Delegated Quantum Computing (SDQC) protocols require the client to possess the ability to perform either trusted state preparations or measurements. Whether it is possible to verify universal quantum computations with information-theoretic security without trusted preparations or measurements was an open question so far. In this paper, we settle this question in the affirmative by presenting a modular, composable, and efficient way to turn known verification schemes into protocols that rely only on trusted gates.
Our first contribution is an extremely lightweight reduction of the problem of quantum verification for BQP to the trusted application of single-qubit rotations around the Z axis and bit flips. The second construction presented in this work shows that it is generally possible to information-theoretically verify arbitrary quantum computations with quantum output without trusted preparations or measurements. However, this second protocol requires the verifier to perform multi-qubit gates on a register whose size is independent of the size of the delegated computation.
△ Less
Submitted 15 March, 2024;
originally announced March 2024.
-
Towards a Unified Quantum Protocol Framework: Classification, Implementation, and Use Cases
Authors:
Shraddha Singh,
Mina Doosti,
Natansh Mathur,
Mahshid Delavar,
Atul Mantri,
Harold Ollivier,
Elham Kashefi
Abstract:
We present a framework for the unification and standardization of quantum network protocols, making their realization easier and expanding their use cases to a broader range of communities interested in quantum technologies. Our framework is available as an open-source repository, the Quantum Protocol Zoo. We follow a modular approach by identifying two key components: Functionality, which connect…
▽ More
We present a framework for the unification and standardization of quantum network protocols, making their realization easier and expanding their use cases to a broader range of communities interested in quantum technologies. Our framework is available as an open-source repository, the Quantum Protocol Zoo. We follow a modular approach by identifying two key components: Functionality, which connects real-world applications; and Protocol, which is a set of instructions between two or many parties, at least one of which has a quantum device. Based on the different stages of the quantum internet and use-case in the commercialization of quantum communication, our framework classifies quantum cryptographic functionalities and the various protocol designs implementing these functionalities. Towards this classification, we introduce a novel concept of resource visualization for quantum protocols, which includes two interfaces: one to identify the building blocks for implementing a given protocol and another to identify accessible protocols when certain physical resources or functionalities are available. Such classification provides a hierarchy of quantum protocols based on their use-case and resource allocation. We have identified various valuable tools to improve its representation with a range of techniques, from abstract cryptography to graphical visualizations of the resource hierarchy in quantum networks. We elucidate the structure of the zoo and its primary features in this article to a broader class of quantum information scientists, physicists, computer science theorists and end-users. Since its introduction in 2018, the quantum protocol zoo has been a cornerstone in serving the quantum networks community in its ability to establish the use cases of emerging quantum internet networks. In that spirit we also provide some of the applications of our framework from different perspectives.
△ Less
Submitted 2 December, 2023; v1 submitted 19 October, 2023;
originally announced October 2023.
-
Asymmetric Quantum Secure Multi-Party Computation With Weak Clients Against Dishonest Majority
Authors:
Theodoros Kapourniotis,
Elham Kashefi,
Dominik Leichtle,
Luka Music,
Harold Ollivier
Abstract:
Secure multi-party computation (SMPC) protocols allow several parties that distrust each other to collectively compute a function on their inputs. In this paper, we introduce a protocol that lifts classical SMPC to quantum SMPC in a composably and statistically secure way, even for a single honest party. Unlike previous quantum SMPC protocols, our proposal only requires very limited quantum resour…
▽ More
Secure multi-party computation (SMPC) protocols allow several parties that distrust each other to collectively compute a function on their inputs. In this paper, we introduce a protocol that lifts classical SMPC to quantum SMPC in a composably and statistically secure way, even for a single honest party. Unlike previous quantum SMPC protocols, our proposal only requires very limited quantum resources from all but one party; it suffices that the weak parties, i.e. the clients, are able to prepare single-qubit states in the X-Y plane. The novel quantum SMPC protocol is constructed in a naturally modular way, and relies on a new technique for quantum verification that is of independent interest. This verification technique requires the remote preparation of states only in a single plane of the Bloch sphere. In the course of proving the security of the new verification protocol, we also uncover a fundamental invariance that is inherent to measurement-based quantum computing.
△ Less
Submitted 15 March, 2023;
originally announced March 2023.
-
Unifying Quantum Verification and Error-Detection: Theory and Tools for Optimisations
Authors:
Theodoros Kapourniotis,
Elham Kashefi,
Dominik Leichtle,
Luka Music,
Harold Ollivier
Abstract:
With the advent of cloud-based quantum computing, it has become vital to provide strong guarantees that computations delegated by clients to quantum service providers have been executed faithfully. Secure - blind and verifiable - Delegated Quantum Computing (SDQC) has emerged as one of the key approaches to address this challenge, yet current protocols lack at least one of the following three ingr…
▽ More
With the advent of cloud-based quantum computing, it has become vital to provide strong guarantees that computations delegated by clients to quantum service providers have been executed faithfully. Secure - blind and verifiable - Delegated Quantum Computing (SDQC) has emerged as one of the key approaches to address this challenge, yet current protocols lack at least one of the following three ingredients: composability, noise-robustness and modularity.
To tackle this question, our paper lays out the fundamental structure of SDQC protocols, namely mixing two components: the computation which the client would like the server to perform and tests that are designed to detect a server's malicious behaviour. Using this abstraction, our main technical result is a set of sufficient conditions on these components which imply the security and noise-robustness of generic SDQC protocols in the composable Abstract Cryptography framework. This is done by establishing a correspondence between these security properties and the error-detection capabilities of the test computations. Changing the types of tests and how they are mixed with the client's computation automatically yields new SDQC protocols with different security and noise-robustness capabilities.
This approach thereby provides the desired modularity as our sufficient conditions on test computations simplify the steps required to prove the security of the protocols and allows to focus on the design and optimisation of test rounds to specific situations. We showcase this by systematising the search for improved SDQC protocols for Bounded-error Quantum Polynomial-time computations. The resulting protocols do not require more hardware on the server's side than what is necessary to blindly delegate the computation without verification, and they outperform all previously known results.
△ Less
Submitted 3 May, 2024; v1 submitted 1 June, 2022;
originally announced June 2022.
-
Emergence of Objectivity for Quantum Many-Body Systems
Authors:
Harold Ollivier
Abstract:
We examine the emergence of objectivity for quantum many-body systems in a setting without an environment to decohere the system's state, but where observers can only access small fragments of the whole system. We extend the result of Reidel (2017) to the case where the system is in a mixed state, measurements are performed through POVMs, and imprints of the outcomes are imperfect. We introduce a…
▽ More
We examine the emergence of objectivity for quantum many-body systems in a setting without an environment to decohere the system's state, but where observers can only access small fragments of the whole system. We extend the result of Reidel (2017) to the case where the system is in a mixed state, measurements are performed through POVMs, and imprints of the outcomes are imperfect. We introduce a new condition on states and measurements to recover full classicality for any number of observers. We further show that evolutions of quantum many-body systems can be expected to yield states that satisfy this condition whenever the corresponding measurement outcomes are redundant.
△ Less
Submitted 14 February, 2022;
originally announced February 2022.
-
Three-dimensional electrical control of the excitonic fine structure for a quantum dot in a cavity
Authors:
H. Ollivier,
Priya,
A. Harouri,
I. Sagnes,
A. Lemaître,
O. Krebs,
L. Lanco,
N. D. Lanzillotti-Kimura,
M. Esmann,
P. Senellart
Abstract:
The excitonic fine structure plays a key role for the quantum light generated by semiconductor quantum dots, both for entangled photon pairs and single photons. Controlling the excitonic fine structure has been demonstrated using electric, magnetic, or strain fields, but not for quantum dots in optical cavities, a key requirement to obtain high source efficiency and near-unity photon indistinguish…
▽ More
The excitonic fine structure plays a key role for the quantum light generated by semiconductor quantum dots, both for entangled photon pairs and single photons. Controlling the excitonic fine structure has been demonstrated using electric, magnetic, or strain fields, but not for quantum dots in optical cavities, a key requirement to obtain high source efficiency and near-unity photon indistinguishability. Here, we demonstrate the control of the fine structure splitting for quantum dots embedded in micropillar cavities. We propose a scheme based on remote electrical contacts connected to the pillar cavity through narrow ridges. Numerical simulations show that such a geometry allows for a three-dimensional control of the electrical field. We experimentally demonstrate tuning and reproducible canceling of the fine structure, a crucial step for the reproducibility of quantum light source technology.
△ Less
Submitted 1 December, 2021;
originally announced December 2021.
-
Verifying BQP Computations on Noisy Devices with Minimal Overhead
Authors:
Dominik Leichtle,
Luka Music,
Elham Kashefi,
Harold Ollivier
Abstract:
With the development of delegated quantum computation, clients will want to ensure confidentiality of their data and algorithms, and the integrity of their computations. While protocols for blind and verifiable quantum computation exist, they suffer from high overheads and from over-sensitivity: When running on noisy devices, imperfections trigger the same detection mechanisms as malicious attacks…
▽ More
With the development of delegated quantum computation, clients will want to ensure confidentiality of their data and algorithms, and the integrity of their computations. While protocols for blind and verifiable quantum computation exist, they suffer from high overheads and from over-sensitivity: When running on noisy devices, imperfections trigger the same detection mechanisms as malicious attacks, resulting in perpetually aborted computations.
We introduce the first blind and verifiable protocol for delegating BQP computations to a powerful server with repetition as the only overhead. It is composable and statistically secure with exponentially-low bounds and can tolerate a constant amount of global noise.
△ Less
Submitted 9 September, 2021;
originally announced September 2021.
-
Delegating Multi-Party Quantum Computations vs. Dishonest Majority in Two Quantum Rounds
Authors:
Theodoros Kapourniotis,
Elham Kashefi,
Luka Music,
Harold Ollivier
Abstract:
Multi-Party Quantum Computation (MPQC) has attracted a lot of attention as a potential killer-app for quantum networks through it's ability to preserve privacy and integrity of the highly valuable computations they would enable. Contributing to the latest challenges in this field, we present a composable protocol achieving blindness and verifiability even in the case of a single honest client. The…
▽ More
Multi-Party Quantum Computation (MPQC) has attracted a lot of attention as a potential killer-app for quantum networks through it's ability to preserve privacy and integrity of the highly valuable computations they would enable. Contributing to the latest challenges in this field, we present a composable protocol achieving blindness and verifiability even in the case of a single honest client. The security of our protocol is reduced, in an information-theoretically secure way, to that of a classical composable Secure Multi-Party Computation (SMPC) used to coordinate the various parties. Our scheme thus provides a statistically secure upgrade of such classical scheme to a quantum one with the same level of security.
In addition, (i) the clients can delegate their computation to a powerful fully fault-tolerant server and only need to perform single qubit operations to unlock the full potential of multi-party quantum computation; (ii) the amount of quantum communication with the server is reduced to sending quantum states at the beginning of the computation and receiving the output states at the end, which is optimal and removes the need for interactive quantum communication; and (iii) it has a low constant multiplicative qubit overhead compared to the single-client delegated protocol it is built upon.
The main technical ingredient of our paper is the bootstra** of the MPQC construction by Double Blind Quantum Computation, a new composable resource for blind multiparty quantum computation, that demonstrates the surprising fact that the full protocol does not require verifiability of all components to achieve security.
△ Less
Submitted 17 April, 2023; v1 submitted 25 February, 2021;
originally announced February 2021.
-
Securing Quantum Computations in the NISQ Era
Authors:
Elham Kashefi,
Dominik Leichtle,
Luka Music,
Harold Ollivier
Abstract:
Recent experimental achievements motivate an ever-growing interest from companies starting to feel the limitations of classical computing. Yet, in light of ongoing privacy scandals, the future availability of quantum computing through remotely accessible servers pose peculiar challenges: Clients with quantum-limited capabilities want their data and algorithms to remain hidden, while being able to…
▽ More
Recent experimental achievements motivate an ever-growing interest from companies starting to feel the limitations of classical computing. Yet, in light of ongoing privacy scandals, the future availability of quantum computing through remotely accessible servers pose peculiar challenges: Clients with quantum-limited capabilities want their data and algorithms to remain hidden, while being able to verify that their computations are performed correctly. Research in blind and verifiable delegation of quantum computing attempts to address this question. However, available techniques suffer not only from high overheads but also from over-sensitivity: When running on noisy devices, imperfections trigger the same detection mechanisms as malicious attacks, resulting in perpetually aborted computations. Hence, while malicious quantum computers are rendered harmless by blind and verifiable protocols, inherent noise severely limits their usability.
We address this problem with an efficient, robust, blind, verifiable scheme to delegate deterministic quantum computations with classical inputs and outputs. We show that: 1) a malicious Server can cheat at most with an exponentially small success probability; 2) in case of sufficiently small noise, the protocol succeeds with a probability exponentially close to 1; 3) the overhead is barely a polynomial number of repetitions of the initial computation interleaved with test runs requiring the same physical resources in terms of memory and gates; 4) the amount of tolerable noise, measured by the probability of failing a test run, can be as high as 25% for some computations and will be generally bounded by 12.5% when using a planar graph resource state. The key points are that security can be provided without universal computation graphs and that, in our setting, full fault-tolerance is not needed to amplify the confidence level exponentially close to 1.
△ Less
Submitted 13 September, 2021; v1 submitted 19 November, 2020;
originally announced November 2020.
-
Bright Polarized Single-Photon Source Based on a Linear Dipole
Authors:
S. E. Thomas,
M. Billard,
N. Coste,
S. C. Wein,
Priya,
H. Ollivier,
O. Krebs,
L. Tazaïrt,
A. Harouri,
A. Lemaitre,
I. Sagnes,
C. Anton,
L. Lanco,
N. Somaschi,
J. C. Loredo,
P. Senellart
Abstract:
Semiconductor quantum dots in cavities are promising single-photon sources. Here, we present a path to deterministic operation, by harnessing the intrinsic linear dipole in a neutral quantum dot via phonon-assisted excitation. This enables emission of fully polarized single photons, with a measured degree of linear polarization up to 0.994 $\pm$ 0.007, and high population inversion -- 85\% as high…
▽ More
Semiconductor quantum dots in cavities are promising single-photon sources. Here, we present a path to deterministic operation, by harnessing the intrinsic linear dipole in a neutral quantum dot via phonon-assisted excitation. This enables emission of fully polarized single photons, with a measured degree of linear polarization up to 0.994 $\pm$ 0.007, and high population inversion -- 85\% as high as resonant excitation. We demonstrate a single-photon source with a polarized first lens brightness of 0.50 $\pm $ 0.01, a single-photon purity of 0.954 $\pm$ 0.001 and single-photon indistinguishability of 0.909 $\pm$ 0.004.
△ Less
Submitted 26 October, 2021; v1 submitted 8 July, 2020;
originally announced July 2020.
-
Hong-Ou-Mandel Interference with Imperfect Single Photon Sources
Authors:
H. Ollivier,
S. E. Thomas,
S. C. Wein,
I. Maillette de Buy Wenniger,
N. Coste,
J. C. Loredo,
N. Somaschi,
A. Harouri,
A. Lemaitre,
I. Sagnes,
L. Lanco,
C. Simon,
C. Anton,
O. Krebs,
P. Senellart
Abstract:
Hong-Ou-Mandel interference is a cornerstone of optical quantum technologies. We explore both theoretically and experimentally how the nature of unwanted multi-photon components of single photon sources affect the interference visibility. We apply our approach to quantum dot single photon sources in order to access the mean wavepacket overlap of the single-photon component - an important metric to…
▽ More
Hong-Ou-Mandel interference is a cornerstone of optical quantum technologies. We explore both theoretically and experimentally how the nature of unwanted multi-photon components of single photon sources affect the interference visibility. We apply our approach to quantum dot single photon sources in order to access the mean wavepacket overlap of the single-photon component - an important metric to understand the limitations of current sources. We find that the impact of multi-photon events has thus far been underestimated, and that the effect of pure dephasing is even milder than previously expected.
△ Less
Submitted 4 May, 2020;
originally announced May 2020.
-
Sequential generation of linear cluster states from a single photon emitter
Authors:
D. Istrati,
Y. Pilnyak,
J. C. Loredo,
C. Antón,
N. Somaschi,
P. Hilaire,
H. Ollivier,
M. Esmann,
L. Cohen,
L. Vidro,
C. Millet,
A. Lemaître,
I. Sagnes,
A. Harouri,
L. Lanco,
P. Senellart,
H. S. Eisenberg
Abstract:
Light states composed of multiple entangled photons - such as cluster states - are essential for develo** and scaling-up quantum computing networks. Photonic cluster states with discrete variables can be obtained from single-photon sources and entangling gates, but so far this has only been done with probabilistic sources constrained to intrinsically-low efficiencies, and an increasing hardware…
▽ More
Light states composed of multiple entangled photons - such as cluster states - are essential for develo** and scaling-up quantum computing networks. Photonic cluster states with discrete variables can be obtained from single-photon sources and entangling gates, but so far this has only been done with probabilistic sources constrained to intrinsically-low efficiencies, and an increasing hardware overhead. Here, we report the resource-efficient generation of polarization-encoded, individually-addressable, photons in linear cluster states occupying a single spatial mode. We employ a single entangling-gate in a fiber loop configuration to sequentially entangle an ever-growing stream of photons originating from the currently most efficient single-photon source technology - a semiconductor quantum dot. With this apparatus, we demonstrate the generation of linear cluster states up to four photons in a single-mode fiber. The reported architecture can be programmed to generate linear-cluster states of any number of photons with record scaling ratios, potentially enabling practical implementation of photonic quantum computing schemes.
△ Less
Submitted 6 January, 2020; v1 submitted 9 December, 2019;
originally announced December 2019.
-
Reproducibility of high-performance quantum dot single-photon sources
Authors:
Hélène Ollivier,
Ilse Maillette de Buy Wenniger,
Sarah Thomas,
Stephen Wein,
Guillaume Coppola,
Abdelmounaim Harouri,
Paul Hilaire,
Clément Millet,
Aristide Lemaître,
Isabelle Sagnes,
Olivier Krebs,
Loïc Lanco,
Juan Carlos Loredo,
Carlos Antón,
Niccolo Somaschi,
Pascale Senellart
Abstract:
Single-photon sources based on semiconductor quantum dots have emerged as an excellent platform for high efficiency quantum light generation. However, scalability remains a challenge since quantum dots generally present inhomogeneous characteristics. Here we benchmark the performance of fifteen deterministically fabricated single-photon sources. They display an average indistinguishability of 90.6…
▽ More
Single-photon sources based on semiconductor quantum dots have emerged as an excellent platform for high efficiency quantum light generation. However, scalability remains a challenge since quantum dots generally present inhomogeneous characteristics. Here we benchmark the performance of fifteen deterministically fabricated single-photon sources. They display an average indistinguishability of 90.6 +/- 2.8 % with a single-photon purity of 95.4 +/- 1.5 % and high homogeneity in operation wavelength and temporal profile. Each source also has state-of-the-art brightness with an average first lens brightness value of 13.6 +/- 4.4 %. Whilst the highest brightness is obtained with a charged quantum dot, the highest quantum purity is obtained with neutral ones. We also introduce various techniques to identify the nature of the emitting state. Our study sets the groundwork for large-scale fabrication of identical sources by identifying the remaining challenges and outlining solutions.
△ Less
Submitted 19 October, 2019;
originally announced October 2019.
-
Interfacing scalable photonic platforms: solid-state based multi-photon interference in a reconfigurable glass chip
Authors:
C. Antón,
J. C. Loredo,
G. Coppola,
H. Ollivier,
N. Viggianiello,
A. Harouri,
N. Somaschi,
A. Crespi,
I. Sagnes,
A. Lemaître,
L. Lanco,
R. Osellame,
F. Sciarrino,
P. Senellart
Abstract:
Scaling-up optical quantum technologies requires to combine highly efficient multi-photon sources and integrated waveguide components. Here, we interface these scalable platforms: a quantum dot based multi-photon source and a reconfigurable photonic chip on glass are combined to demonstrate high-rate three-photon interference. The temporal train of single-photons obtained from a quantum emitter is…
▽ More
Scaling-up optical quantum technologies requires to combine highly efficient multi-photon sources and integrated waveguide components. Here, we interface these scalable platforms: a quantum dot based multi-photon source and a reconfigurable photonic chip on glass are combined to demonstrate high-rate three-photon interference. The temporal train of single-photons obtained from a quantum emitter is actively demultiplexed to generate a 3.8 kHz three-photon source, which is then sent to the input of a tuneable tritter circuit, demonstrating the on-chip quantum interference of three indistinguishable single-photons. Pseudo number-resolving photon detection characterising the output distribution shows that this first combination of scalable sources and reconfigurable photonic circuits compares favourably in performance with respect to previous implementations. A detailed loss-budget shows that merging solid-state based multi-photon sources and reconfigurable photonic chips could allow ten-photon experiments on chip at ${\sim}40$ Hz rate in a foreseeable future.
△ Less
Submitted 2 May, 2019;
originally announced May 2019.
-
Generation of non-classical light in a photon-number superposition
Authors:
J. C. Loredo,
C. Antón,
B. Reznychenko,
P. Hilaire,
A. Harouri,
C. Millet,
H. Ollivier,
N. Somaschi,
L. De Santis,
A. Lemaître,
I. Sagnes,
L. Lanco,
A. Aufféves,
O. Krebs,
P. Senellart
Abstract:
The ability to generate light in a pure quantum state is essential for advances in optical quantum technologies. However, obtaining quantum states with control in the photon-number has remained elusive. Optical light fields with zero and one photon can be produced by single atoms, but so far it has been limited to generating incoherent mixtures, or coherent superpositions with a very small one-pho…
▽ More
The ability to generate light in a pure quantum state is essential for advances in optical quantum technologies. However, obtaining quantum states with control in the photon-number has remained elusive. Optical light fields with zero and one photon can be produced by single atoms, but so far it has been limited to generating incoherent mixtures, or coherent superpositions with a very small one-photon term. Here, we report on the on-demand generation of quantum superpositions of zero, one, and even two photons, via pulsed coherent control of a single artificial atom. Driving the system up to full atomic inversion leads to the generation of quantum superpositions of vacuum and one photon, with their relative populations controlled by the driving laser intensity. A stronger driving of the system, with $2π$-pulses, results in a coherent superposition of vacuum, one and two photons, with the two-photon term exceeding the one-photon component, a state allowing phase super-resolving interferometry. Our results open new paths for optical quantum technologies with access to the photon-number degree-of-freedom.
△ Less
Submitted 20 November, 2018; v1 submitted 11 October, 2018;
originally announced October 2018.
-
Pattern formation with repulsive soft-core interactions: discrete particle dynamics and Dean-Kawasaki equation
Authors:
Jean-Baptiste Delfau,
Hélène Ollivier,
Cristóbal López,
Bernd Blasius,
Emilio Hernández-García
Abstract:
Brownian particles interacting via repulsive soft-core potentials can spontaneously aggregate, despite repelling each other, and form periodic crystals of particle clusters. We study this phenomenon in low-dimensional situations (one and two dimensions) at two levels of description: performing numerical simulations of the discrete particle dynamics, and by linear and nonlinear analysis of the corr…
▽ More
Brownian particles interacting via repulsive soft-core potentials can spontaneously aggregate, despite repelling each other, and form periodic crystals of particle clusters. We study this phenomenon in low-dimensional situations (one and two dimensions) at two levels of description: performing numerical simulations of the discrete particle dynamics, and by linear and nonlinear analysis of the corresponding Dean-Kawasaki equation for the macroscopic particle density. Restricting to low dimensions and neglecting fluctuation effects we gain analytical insight into the mechanisms of the instability leading to clustering which turn out to be the interplay between diffusion, the intracluster forces and the forces between neighboring clusters. We show that the deterministic part of the Dean-Kawasaki equation provides a good description of the particle dynamics, including width and shape of the clusters, in a wide range of parameters, and analyze with weakly nonlinear techniques the nature of the pattern-forming bifurcation in one and two dimensions. Finally, we briefly discuss the case of attractive forces.
△ Less
Submitted 27 September, 2016; v1 submitted 24 May, 2016;
originally announced May 2016.
-
Quantum serial turbo-codes
Authors:
David Poulin,
Jean-Pierre Tillich,
Harold Ollivier
Abstract:
We present a theory of quantum serial turbo-codes, describe their iterative decoding algorithm, and study their performances numerically on a depolarization channel. Our construction offers several advantages over quantum LDPC codes. First, the Tanner graph used for decoding is free of 4-cycles that deteriorate the performances of iterative decoding. Secondly, the iterative decoder makes explici…
▽ More
We present a theory of quantum serial turbo-codes, describe their iterative decoding algorithm, and study their performances numerically on a depolarization channel. Our construction offers several advantages over quantum LDPC codes. First, the Tanner graph used for decoding is free of 4-cycles that deteriorate the performances of iterative decoding. Secondly, the iterative decoder makes explicit use of the code's degeneracy. Finally, there is complete freedom in the code design in terms of length, rate, memory size, and interleaver choice.
We define a quantum analogue of a state diagram that provides an efficient way to verify the properties of a quantum convolutional code, and in particular its recursiveness and the presence of catastrophic error propagation. We prove that all recursive quantum convolutional encoder have catastrophic error propagation. In our constructions, the convolutional codes have thus been chosen to be non-catastrophic and non-recursive. While the resulting families of turbo-codes have bounded minimum distance, from a pragmatic point of view the effective minimum distances of the codes that we have simulated are large enough not to degrade the iterative decoding performance up to reasonable word error rates and block sizes. With well chosen constituent convolutional codes, we observe an important reduction of the word error rate as the code length increases.
△ Less
Submitted 10 June, 2009; v1 submitted 18 December, 2007;
originally announced December 2007.
-
A direct approach to fault-tolerance in measurement-based quantum computation via teleportation
Authors:
Marcus Silva,
Vincent Danos,
Elham Kashefi,
Harold Ollivier
Abstract:
We discuss a simple variant of the one-way quantum computing model [R. Raussendorf and H.-J. Briegel, PRL 86, 5188, 2001], called the Pauli measurement model, where measurements are restricted to be along the eigenbases of the Pauli X and Y operators, while auxiliary qubits can be prepared both in the $\ket{+_{π\over 4}}:={1/\sqrt{2}}(\ket{0}+e^{i{π\over 4}}\ket{1})$ state, and the usual…
▽ More
We discuss a simple variant of the one-way quantum computing model [R. Raussendorf and H.-J. Briegel, PRL 86, 5188, 2001], called the Pauli measurement model, where measurements are restricted to be along the eigenbases of the Pauli X and Y operators, while auxiliary qubits can be prepared both in the $\ket{+_{π\over 4}}:={1/\sqrt{2}}(\ket{0}+e^{i{π\over 4}}\ket{1})$ state, and the usual $\ket{+}:={1/ \sqrt{2}}(\ket{0}+\ket{1})$ state. We prove the universality of this quantum computation model, and establish a standardization procedure which permits all entanglement and state preparation to be performed at the beginning of computation. This leads us to develop a direct approach to fault-tolerance by simple transformations of the entanglement graph and preparation operations, while error correction is performed naturally via syndrome-extracting teleportations.
△ Less
Submitted 29 January, 2007; v1 submitted 28 November, 2006;
originally announced November 2006.
-
Self-Testing of Quantum Circuits
Authors:
Frederic Magniez,
Dominic Mayers,
Michele Mosca,
Harold Ollivier
Abstract:
We prove that a quantum circuit together with measurement apparatuses and EPR sources can be fully verified without any reference to some other trusted set of quantum devices. Our main assumption is that the physical system we are working with consists of several identifiable sub-systems, on which we can apply some given gates locally.
To achieve our goal we define the notions of simulation an…
▽ More
We prove that a quantum circuit together with measurement apparatuses and EPR sources can be fully verified without any reference to some other trusted set of quantum devices. Our main assumption is that the physical system we are working with consists of several identifiable sub-systems, on which we can apply some given gates locally.
To achieve our goal we define the notions of simulation and equivalence. The concept of simulation refers to producing the correct probabilities when measuring physical systems. To enable the efficient testing of the composition of quantum operations, we introduce the notion of equivalence. Unlike simulation, which refers to measured quantities (i.e., probabilities of outcomes), equivalence relates mathematical objects like states, subspaces or gates.
Using these two concepts, we prove that if a system satisfies some simulation conditions, then it is equivalent to the one it is purposed to implement. In addition, with our formalism, we can show that these statements are robust, and the degree of robustness can be made explicit (unlike the robustness results of [DMMS00]). In particular, we also prove the robustness of the EPR Test [MY98]. Finally, we design a test for any quantum circuit whose complexity is linear in the number of gates and qubits, and polynomial in the required precision.
△ Less
Submitted 14 December, 2005;
originally announced December 2005.
-
Trellises for stabilizer codes: definition and uses
Authors:
Harold Ollivier,
Jean-Pierre Tillich
Abstract:
Trellises play an important theoretical and practical role for classical codes. Their main utility is to devise complexity-efficient error estimation algorithms. Here, we describe trellis representations for quantum stabilizer codes. We show that they share the same properties as their classical analogs. In particular, for any stabilizer code it is possible to find a minimal trellis representati…
▽ More
Trellises play an important theoretical and practical role for classical codes. Their main utility is to devise complexity-efficient error estimation algorithms. Here, we describe trellis representations for quantum stabilizer codes. We show that they share the same properties as their classical analogs. In particular, for any stabilizer code it is possible to find a minimal trellis representation. Our construction is illustrated by two fundamental error estimation algorithms.
△ Less
Submitted 5 December, 2005;
originally announced December 2005.
-
Constructions and performance of classes of quantum LDPC codes
Authors:
T. Camara,
H. Ollivier,
J. -P. Tillich
Abstract:
Two methods for constructing quantum LDPC codes are presented. We explain how to overcome the difficulty of finding a set of low weight generators for the stabilizer group of the code. Both approaches are based on some graph representation of the generators of the stabilizer group and on simple local rules that ensure commutativity. A message passing algorithm for generic quantum LDPC codes is a…
▽ More
Two methods for constructing quantum LDPC codes are presented. We explain how to overcome the difficulty of finding a set of low weight generators for the stabilizer group of the code. Both approaches are based on some graph representation of the generators of the stabilizer group and on simple local rules that ensure commutativity. A message passing algorithm for generic quantum LDPC codes is also introduced. Finally, we provide two specific examples of quantum LDPC codes of rate 1/2 obtained by our methods, together with a numerical simulation of their performance over the depolarizing channel.
△ Less
Submitted 21 April, 2005; v1 submitted 14 February, 2005;
originally announced February 2005.
-
Environment as a Witness: Selective Proliferation of Information and Emergence of Objectivity in a Quantum Universe
Authors:
Harold Ollivier,
David Poulin,
Wojciech H. Zurek
Abstract:
We study the role of the information deposited in the environment of an open quantum system in course of the decoherence process. Redundant spreading of information -- the fact that some observables of the system can be independently ``read-off'' from many distinct fragments of the environment -- is investigated as the key to effective objectivity, the essential ingredient of ``classical reality…
▽ More
We study the role of the information deposited in the environment of an open quantum system in course of the decoherence process. Redundant spreading of information -- the fact that some observables of the system can be independently ``read-off'' from many distinct fragments of the environment -- is investigated as the key to effective objectivity, the essential ingredient of ``classical reality''. This focus on the environment as a communication channel through which observers learn about physical systems underscores importance of quantum Darwinism -- selective proliferation of information about ``the fittest states'' chosen by the dynamics of decoherence at the expense of their superpositions -- as redundancy imposes the existence of preferred observables. We demonstrate that the only observables that can leave multiple imprints in the environment are the familiar pointer observables singled out by environment-induced superselection (einselection) for their predictability. Many independent observers monitoring the environment will therefore agree on properties of the system as they can only learn about preferred observables. In this operational sense, the selective spreading of information leads to appearance of an objective ``classical reality'' from within quantum substrate.
△ Less
Submitted 2 November, 2005; v1 submitted 19 August, 2004;
originally announced August 2004.
-
Quantum convolutional codes: fundamentals
Authors:
H. Ollivier,
J. -P. Tillich
Abstract:
We describe the theory of quantum convolutional error correcting codes. These codes are aimed at protecting a flow of quantum information over long distance communication. They are largely inspired by their classical analogs which are used in similar circumstances in classical communication. In this article, we provide an efficient polynomial formalism for describing their stabilizer group, deri…
▽ More
We describe the theory of quantum convolutional error correcting codes. These codes are aimed at protecting a flow of quantum information over long distance communication. They are largely inspired by their classical analogs which are used in similar circumstances in classical communication. In this article, we provide an efficient polynomial formalism for describing their stabilizer group, derive an on-line encoding circuit with linear gate complexity and study error propagation together with the existence of on-line decoding. Finally, we provide a maximum likelihood error estimation algorithm with linear classical complexity for any memoryless channel.
△ Less
Submitted 21 January, 2004;
originally announced January 2004.
-
Exponential speed-up with a single bit of quantum information: Testing the quantum butterfly effect
Authors:
David Poulin,
Robin Blume-Kohout,
Raymond Laflamme,
Harold Ollivier
Abstract:
We present an efficient quantum algorithm to measure the average fidelity decay of a quantum map under perturbation using a single bit of quantum information. Our algorithm scales only as the complexity of the map under investigation, so for those maps admitting an efficient gate decomposition, it provides an exponential speed up over known classical procedures. Fidelity decay is important in th…
▽ More
We present an efficient quantum algorithm to measure the average fidelity decay of a quantum map under perturbation using a single bit of quantum information. Our algorithm scales only as the complexity of the map under investigation, so for those maps admitting an efficient gate decomposition, it provides an exponential speed up over known classical procedures. Fidelity decay is important in the study of complex dynamical systems, where it is conjectured to be a signature of quantum chaos. Our result also illustrates the role of chaos in the process of decoherence.
△ Less
Submitted 6 October, 2003;
originally announced October 2003.
-
Objective properties from subjective quantum states: Environment as a witness
Authors:
Harold Ollivier,
David Poulin,
Wojciech H. Zurek
Abstract:
We study the emergence of objective properties in open quantum systems. In our analysis, the environment is promoted from a passive role of reservoir selectively destroying quantum coherence, to an active role of amplifier selectively proliferating information about the system. We show that only preferred pointer states of the system can leave a redundant and therefore easily detectable imprint…
▽ More
We study the emergence of objective properties in open quantum systems. In our analysis, the environment is promoted from a passive role of reservoir selectively destroying quantum coherence, to an active role of amplifier selectively proliferating information about the system. We show that only preferred pointer states of the system can leave a redundant and therefore easily detectable imprint on the environment. Observers who--as it is almost always the case--discover the state of the system indirectly (by probing a fraction of its environment) will find out only about the corresponding pointer observable. Many observers can act in this fashion independently and without perturbing the system: they will agree about the state of the system. In this operational sense, preferred pointer states exist objectively.
△ Less
Submitted 19 August, 2004; v1 submitted 30 July, 2003;
originally announced July 2003.
-
Proposal for realization of a Toffoli gate via cavity-assisted collision
Authors:
H. Ollivier,
P. Milman
Abstract:
Cavity QED is a versatile tool to explore small scale quantum information processing. Within this setting, we describe a particular protocol for implementing a Toffoli gate with Rydberg atoms and a cavity field. Our scheme uses both resonant and non resonant interactions, and in particular a cavity assisted atomic collision. The experimental feasibility of the protocol is carefully analyzed with…
▽ More
Cavity QED is a versatile tool to explore small scale quantum information processing. Within this setting, we describe a particular protocol for implementing a Toffoli gate with Rydberg atoms and a cavity field. Our scheme uses both resonant and non resonant interactions, and in particular a cavity assisted atomic collision. The experimental feasibility of the protocol is carefully analyzed with the help of numerical simulations and takes into account the decoherence process. Moreover, we show that our protocol is optimal within the constraints imposed by the experimental setting.
△ Less
Submitted 9 June, 2003;
originally announced June 2003.
-
Description of a quantum convolutional code
Authors:
H. Ollivier,
J. -P. Tillich
Abstract:
We describe a quantum error correction scheme aimed at protecting a flow of quantum information over long distance communication. It is largely inspired by the theory of classical convolutional codes which are used in similar circumstances in classical communication. The particular example shown here uses the stabilizer formalism, which provides an explicit encoding circuit. An associated error…
▽ More
We describe a quantum error correction scheme aimed at protecting a flow of quantum information over long distance communication. It is largely inspired by the theory of classical convolutional codes which are used in similar circumstances in classical communication. The particular example shown here uses the stabilizer formalism, which provides an explicit encoding circuit. An associated error estimation algorithm is given explicitly and shown to provide the most likely error over any memoryless quantum channel, while its complexity grows only linearly with the number of encoded qubits.
△ Less
Submitted 15 May, 2003; v1 submitted 29 April, 2003;
originally announced April 2003.
-
Universal Quantum Cloning in Cavity QED
Authors:
P. Milman,
H. Ollivier,
J. M. Raimond
Abstract:
We propose an implementation of an universal quantum cloning machine [UQCM, Hillery and Buzek, Phys. Rev. A {\bf 56}, 3446 (1997)] in a Cavity Quantum Electrodynamics (CQED) experiment. This UQCM acts on the electronic states of atoms that interact with the electromagnetic field of a high $Q$ cavity. We discuss here the specific case of the $1 \to 2$ cloning process using either a one- or a two-…
▽ More
We propose an implementation of an universal quantum cloning machine [UQCM, Hillery and Buzek, Phys. Rev. A {\bf 56}, 3446 (1997)] in a Cavity Quantum Electrodynamics (CQED) experiment. This UQCM acts on the electronic states of atoms that interact with the electromagnetic field of a high $Q$ cavity. We discuss here the specific case of the $1 \to 2$ cloning process using either a one- or a two-cavity configuration.
△ Less
Submitted 8 July, 2002;
originally announced July 2002.
-
Introducing Quantum Discord
Authors:
Harold Ollivier,
Wojciech H. Zurek
Abstract:
Two classically identical expressions for the mutual information generally differ when the two systems involved are quantum. We investigate this difference -- quantum discord -- and show that it can be used as a criterion for the classicality of the correlations. We also show that quantum discord can be used for describing the selection of the preferred, effectively classical, pointer states.
Two classically identical expressions for the mutual information generally differ when the two systems involved are quantum. We investigate this difference -- quantum discord -- and show that it can be used as a criterion for the classicality of the correlations. We also show that quantum discord can be used for describing the selection of the preferred, effectively classical, pointer states.
△ Less
Submitted 31 October, 2001; v1 submitted 15 May, 2001;
originally announced May 2001.