-
Towards fault-tolerant quantum computation with universal continuous-variable gates
Authors:
Sheron Blair,
Francesco Arzani,
Giulia Ferrini,
Alessandro Ferraro
Abstract:
Continuous-variable (CV) systems have shown remarkable potential for quantum computation, particularly excelling in scalability and error correction through bosonic encoding. Within this framework, the foundational notion of computational universality was introduced in [Phys. Rev. Lett. 82, 1784 (1999)], and has proven especially successful since it allows for the identification of finite sets of…
▽ More
Continuous-variable (CV) systems have shown remarkable potential for quantum computation, particularly excelling in scalability and error correction through bosonic encoding. Within this framework, the foundational notion of computational universality was introduced in [Phys. Rev. Lett. 82, 1784 (1999)], and has proven especially successful since it allows for the identification of finite sets of universal CV gates independent of the encoding scheme. However, achieving the critical objective of fault-tolerant computation requires some form of encoding, and to date there has been no proof that these universal CV gates can lead to encoded fault tolerance. We present compelling evidence in this direction by utilizing the Gottesman-Kitaev-Preskill (GKP) encoding. Specifically, we numerically optimize the generation of GKP states from vacua using circuits comprised solely of universal CV gates. We demonstrate that these states can be attained with sufficient quality to exhibit error probabilities lower than the threshold needed to achieve a fault-tolerant memory via concatenated GKP-stabilizer codes.
△ Less
Submitted 16 June, 2025;
originally announced June 2025.
-
Can effective descriptions of bosonic systems be considered complete?
Authors:
Francesco Arzani,
Robert I. Booth,
Ulysse Chabaud
Abstract:
Bosonic statistics give rise to remarkable phenomena, from the Hong-Ou-Mandel effect to Bose-Einstein condensation, with applications spanning fundamental science to quantum technologies. Modeling bosonic systems relies heavily on effective descriptions: typical examples include truncating their infinite-dimensional state space and restricting their dynamics to a simple class of Hamiltonians, such…
▽ More
Bosonic statistics give rise to remarkable phenomena, from the Hong-Ou-Mandel effect to Bose-Einstein condensation, with applications spanning fundamental science to quantum technologies. Modeling bosonic systems relies heavily on effective descriptions: typical examples include truncating their infinite-dimensional state space and restricting their dynamics to a simple class of Hamiltonians, such as polynomials of canonical operators, which are used to define quantum computing over bosonic modes. However, many natural bosonic Hamiltonians do not belong to this simple class, and some quantum effects harnessed by bosonic computers inherently require infinite-dimensional spaces, questioning the validity of such effective descriptions of bosonic systems. How can we trust results obtained with such simplifying assumptions to capture real effects?
Driven by the increasing importance of bosonic systems for quantum technologies, we solve this outstanding problem by showing that these effective descriptions do in fact capture the relevant physics of bosonic systems. Our technical contribution is twofold: firstly, we prove that any physical, bosonic unitary evolution can be strongly approximated by a finite-dimensional unitary evolution; secondly, we show that any finite-dimensional unitary evolution can be generated exactly by a bosonic Hamiltonian that is a polynomial of canonical operators. Beyond their fundamental significance, our results have implications for classical and quantum simulations of bosonic systems, they provide universal methods for engineering bosonic quantum states and Hamiltonians, they show that polynomial Hamiltonians do generate universal gate sets for quantum computing over bosonic modes, and they lead to an infinite-dimensional Solovay--Kitaev theorem.
△ Less
Submitted 23 January, 2025;
originally announced January 2025.
-
Exploiting symmetry in variational quantum machine learning
Authors:
Johannes Jakob Meyer,
Marian Mularski,
Elies Gil-Fuster,
Antonio Anna Mele,
Francesco Arzani,
Alissa Wilms,
Jens Eisert
Abstract:
Variational quantum machine learning is an extensively studied application of near-term quantum computers. The success of variational quantum learning models crucially depends on finding a suitable parametrization of the model that encodes an inductive bias relevant to the learning task. However, precious little is known about guiding principles for the construction of suitable parametrizations. I…
▽ More
Variational quantum machine learning is an extensively studied application of near-term quantum computers. The success of variational quantum learning models crucially depends on finding a suitable parametrization of the model that encodes an inductive bias relevant to the learning task. However, precious little is known about guiding principles for the construction of suitable parametrizations. In this work, we holistically explore when and how symmetries of the learning problem can be exploited to construct quantum learning models with outcomes invariant under the symmetry of the learning task. Building on tools from representation theory, we show how a standard gateset can be transformed into an equivariant gateset that respects the symmetries of the problem at hand through a process of gate symmetrization. We benchmark the proposed methods on two toy problems that feature a non-trivial symmetry and observe a substantial increase in generalization performance. As our tools can also be applied in a straightforward way to other variational problems with symmetric structure, we show how equivariant gatesets can be used in variational quantum eigensolvers.
△ Less
Submitted 12 May, 2022;
originally announced May 2022.
-
Gottesman-Kitaev-Preskill codes: A lattice perspective
Authors:
Jonathan Conrad,
Jens Eisert,
Francesco Arzani
Abstract:
We examine general Gottesman-Kitaev-Preskill (GKP) codes for continuous-variable quantum error correction, including concatenated GKP codes, through the lens of lattice theory, in order to better understand the structure of this class of stabilizer codes. We derive formal bounds on code parameters, show how different decoding strategies are precisely related, propose new ways to obtain GKP codes b…
▽ More
We examine general Gottesman-Kitaev-Preskill (GKP) codes for continuous-variable quantum error correction, including concatenated GKP codes, through the lens of lattice theory, in order to better understand the structure of this class of stabilizer codes. We derive formal bounds on code parameters, show how different decoding strategies are precisely related, propose new ways to obtain GKP codes by means of glued lattices and the tensor product of lattices and point to natural resource savings that have remained hidden in recent approaches. We present general results that we illustrate through examples taken from different classes of codes, including scaled self-dual GKP codes and the concatenated surface-GKP code.
△ Less
Submitted 8 February, 2022; v1 submitted 29 September, 2021;
originally announced September 2021.
-
Bloch-Messiah reduction for twin beams of light
Authors:
D. B. Horoshko,
L. La Volpe,
F. Arzani,
N. Treps,
C. Fabre,
M. I. Kolobov
Abstract:
We study the Bloch-Messiah reduction of parametric downconversion of light in the pulsed regime with a nondegenerate phase matching providing generation of twin beams. We find that in this case every squeezing eigenvalue has multiplicity at least two. We discuss the problem of ambiguity in the definition of the squeezing eigenmodes in this case and develop two approaches to unique determination of…
▽ More
We study the Bloch-Messiah reduction of parametric downconversion of light in the pulsed regime with a nondegenerate phase matching providing generation of twin beams. We find that in this case every squeezing eigenvalue has multiplicity at least two. We discuss the problem of ambiguity in the definition of the squeezing eigenmodes in this case and develop two approaches to unique determination of the latter. First, we show that the modal functions of the squeezing eigenmodes can be tailored from the Schmidt modes of the signal and idler beams. Alternatively, they can be found as a solution of an eigenvalue problem for an associated Hermitian squeezing matrix. We illustrate the developed theory by an example of frequency non-degenerate collinear twin beams generated in beta barium borate crystal. On this example we demonstrate how the squeezing eigenmodes can be approximated analytically on the basis of the Mehler's formula, extended to complex kernels. We show how the multiplicity of the eigenvalues and the structure of the eigenmodes are changed when the phase matching approaches the degeneracy in frequency.
△ Less
Submitted 6 August, 2019; v1 submitted 15 March, 2019;
originally announced March 2019.
-
High-dimensional quantum encoding via photon-subtracted squeezed states
Authors:
Francesco Arzani,
Alessandro Ferraro,
Valentina Parigi
Abstract:
We introduce a high-dimensional quantum encoding based on coherent mode-dependent single-photon subtraction from multimode squeezed states. This encoding can be seen as a generalization to the case of non-zero squeezing of the standard single-photon multi-rail encoding. The advantage is that the presence of squeezing enables the use of common tools in continuous-variable quantum processing, which…
▽ More
We introduce a high-dimensional quantum encoding based on coherent mode-dependent single-photon subtraction from multimode squeezed states. This encoding can be seen as a generalization to the case of non-zero squeezing of the standard single-photon multi-rail encoding. The advantage is that the presence of squeezing enables the use of common tools in continuous-variable quantum processing, which in turn allows to show that arbitrary $d$-level quantum states can be generated and detected via simply tuning the classical fields that gates the photon-subtraction scheme. Therefore, the scheme is suitable for mapping arbitrary classical data in quantum mechanical form. Regardless the dimension of the data set alphabet, the mapping is conditioned on the subtraction of a single photon only, making it nearly unconditional. We prove that this encoding can be used to calculate vector distances, a pivotal primitive in various quantum machine learning algorithms.
△ Less
Submitted 3 March, 2019; v1 submitted 22 November, 2018;
originally announced November 2018.
-
Random coding for sharing bosonic quantum secrets
Authors:
Francesco Arzani,
Giulia Ferrini,
Frédéric Grosshans,
Damian Markham
Abstract:
We consider a protocol for sharing quantum states using continuous variable systems. Specifically we introduce an encoding procedure where bosonic modes in arbitrary secret states are mixed with several ancillary squeezed modes through a passive interferometer. We derive simple conditions on the interferometer for this encoding to define a secret sharing protocol and we prove that they are satisfi…
▽ More
We consider a protocol for sharing quantum states using continuous variable systems. Specifically we introduce an encoding procedure where bosonic modes in arbitrary secret states are mixed with several ancillary squeezed modes through a passive interferometer. We derive simple conditions on the interferometer for this encoding to define a secret sharing protocol and we prove that they are satisfied by almost any interferometer. This implies that, if the interferometer is chosen uniformly at random, the probability that it may not be used to implement a quantum secret sharing protocol is zero. Furthermore, we show that the decoding operation can be obtained and implemented efficiently with a Gaussian unitary using a number of single-mode squeezers that is at most twice the number of modes of the secret, regardless of the number of players. We benchmark the quality of the reconstructed state by computing the fidelity with the secret state as a function of the input squeezing.
△ Less
Submitted 6 August, 2019; v1 submitted 21 August, 2018;
originally announced August 2018.
-
Violating Bell inequalities with entangled optical frequency combs and multi-pixel homodyne detection
Authors:
William N. Plick,
Francesco Arzani,
Nicolas Treps,
Eleni Diamanti,
Damian Markham
Abstract:
We have theoretically investigated the possibility of using any of several continuous-variable Bell-type inequalities - for which the dichotomic measurements are achieved with coarse-grained quadrature (homodyne) measurements - in a multi-party configuration where each participant is given a section, in the frequency domain, of the output of an optical parametric oscillator which has been synchron…
▽ More
We have theoretically investigated the possibility of using any of several continuous-variable Bell-type inequalities - for which the dichotomic measurements are achieved with coarse-grained quadrature (homodyne) measurements - in a multi-party configuration where each participant is given a section, in the frequency domain, of the output of an optical parametric oscillator which has been synchronously-pumped with a frequency comb. Such light sources are undergoing intense study due to their novel properties, including the potential for production of light entangled in many hundreds of physical modes - a critical component for many proposals in optical or hybrid-optical quantum computation proposals. The situation we study notably uses only highly-efficient optical homodyne detection, meaning that in such systems the fair-sampling loophole would be relatively easy to avoid.
△ Less
Submitted 15 May, 2018;
originally announced May 2018.
-
Versatile engineering of multimode squeezed states by optimizing the pump spectral profile in spontaneous parametric down-conversion
Authors:
Francesco Arzani,
Claude Fabre,
Nicolas Treps
Abstract:
We study the quantum correlations induced by spontaneous parametric down-conversion (SPDC) of a frequency comb. We derive a theoretical method to find the output state corresponding to a pump with an arbitrary spectral profile. After applying it to the relevant example of a spectrally chirped pump, we run an optimization algorithm to numerically find the pump profiles maximizing some target functi…
▽ More
We study the quantum correlations induced by spontaneous parametric down-conversion (SPDC) of a frequency comb. We derive a theoretical method to find the output state corresponding to a pump with an arbitrary spectral profile. After applying it to the relevant example of a spectrally chirped pump, we run an optimization algorithm to numerically find the pump profiles maximizing some target functions. These include the number of independently squeezed modes and the variances of nullifiers defining cluster states used in many continuous-variable quantum information protocols. To assess the advantages of pump-shaping in real experiments we take into account the physical limitations of the pulse shaper.
△ Less
Submitted 23 February, 2018; v1 submitted 28 September, 2017;
originally announced September 2017.
-
Reconfigurable optical implementation of quantum complex networks
Authors:
Johannes Nokkala,
Francesco Arzani,
Fernando Galve,
Roberta Zambrini,
Sabrina Maniscalco,
Jyrki Piilo,
Nicolas Treps,
Valentina Parigi
Abstract:
Network theory has played a dominant role in understanding the structure of complex systems and their dynamics. Recently, quantum complex networks, i.e. collections of quantum systems in a non-regular topology, have been explored leading to significant progress in a multitude of diverse contexts including, e.g., quantum transport, open quantum systems, quantum communication, extreme violation of l…
▽ More
Network theory has played a dominant role in understanding the structure of complex systems and their dynamics. Recently, quantum complex networks, i.e. collections of quantum systems in a non-regular topology, have been explored leading to significant progress in a multitude of diverse contexts including, e.g., quantum transport, open quantum systems, quantum communication, extreme violation of local realism, and quantum gravity geometries. However, the question on how to produce and control general quantum complex networks in experimental laboratory has remained open. Here we propose an all optical and reconfigurable implementation of quantum complex networks. The experimental proposal is based on optical frequency combs, parametric processes, pulse shaping and multimode measurements allowing the arbitrary control of the number of the nodes (optical modes) and topology of the links (interactions between the modes) within the network. Moreover, we also show how to simulate quantum dynamics within the network combined with the ability to address its individual nodes. To demonstrate the versatility of these features, we discuss the implementation of two recently proposed probing techniques for quantum complex networks and structured environments. Overall, our general method for implementing quantum complex networks with reconfigurable set-up has potential to define an experimental playground for designing and controlling complex networks -- and dynamics therein -- for several quantum physical frameworks.
△ Less
Submitted 15 May, 2018; v1 submitted 29 August, 2017;
originally announced August 2017.
-
Polynomial approximation of non-Gaussian unitaries by counting one photon at a time
Authors:
Francesco Arzani,
Nicolas Treps,
Giulia Ferrini
Abstract:
In quantum computation with continous-variable systems, quantum advantage can only be achieved if some non-Gaussian resource is available. Yet, non-Gaussian unitary evolutions and measurements suited for computation are challenging to realize in the lab. We propose and analyze two methods to apply a polynomial approximation of any unitary operator diagonal in the amplitude quadrature representatio…
▽ More
In quantum computation with continous-variable systems, quantum advantage can only be achieved if some non-Gaussian resource is available. Yet, non-Gaussian unitary evolutions and measurements suited for computation are challenging to realize in the lab. We propose and analyze two methods to apply a polynomial approximation of any unitary operator diagonal in the amplitude quadrature representation, including non-Gaussian operators, to an unknown input state. Our protocols use as a primary non-Gaussian resource a single-photon counter. We use the fidelity of the transformation with the target one on Fock and coherent states to assess the quality of the approximate gate.
△ Less
Submitted 12 June, 2017; v1 submitted 20 March, 2017;
originally announced March 2017.
-
A direct approach to Gaussian measurement based quantum computation
Authors:
Giulia Ferrini,
Jonathan Roslund,
Francesco Arzani,
Claude Fabre,
Nicolas Treps
Abstract:
In this work we introduce a general scheme for measurement based quantum computation in continuous variables. Our approach does not necessarily rely on the use of ancillary cluster states to achieve its aim, but rather on the detection of a resource state in a suitable mode basis followed by digital post-processing, and involves an optimization of the adjustable experimental parameters. After intr…
▽ More
In this work we introduce a general scheme for measurement based quantum computation in continuous variables. Our approach does not necessarily rely on the use of ancillary cluster states to achieve its aim, but rather on the detection of a resource state in a suitable mode basis followed by digital post-processing, and involves an optimization of the adjustable experimental parameters. After introducing the general method, we present some examples of application to simple specific computations.
△ Less
Submitted 2 January, 2017; v1 submitted 11 May, 2016;
originally announced May 2016.
-
Reconfigurable Optical Quantum Networks Using Multimode Quantum Frequency Combs and Pulse Shaping
Authors:
Y. Cai,
J. Roslund,
G. Ferrini,
F. Arzani,
X. Xu,
C. Fabre,
N. Treps
Abstract:
Multimode entanglement is quintessential for the design and fabrication of quantum networks, which play a central role in quantum information processing and quantum metrology. However, an experimental setup is generally constructed with a specific network configuration in mind and therefore exhibits reduced versatility and scalability. The present work demonstrates an on-demand, reconfigurable qua…
▽ More
Multimode entanglement is quintessential for the design and fabrication of quantum networks, which play a central role in quantum information processing and quantum metrology. However, an experimental setup is generally constructed with a specific network configuration in mind and therefore exhibits reduced versatility and scalability. The present work demonstrates an on-demand, reconfigurable quantum network simulator, using an intrinsically multimode quantum resource and a homodyne detection apparatus. Without altering either the initial squeezing source or experimen- tal architecture, we realize the construction of thirteen cluster states of various size and connectivity as well as the implementation of a secret sharing protocol. In particular, this simulator enables the interrogation of quantum correlations and fluctuations for a Gaussian quantum network. This initi- ates a new avenue for implementing on-demand quantum information processing by only adapting the measurement process and not the experimental layout.
△ Less
Submitted 8 May, 2016;
originally announced May 2016.
-
Optimization of networks for measurement-based quantum computation
Authors:
G. Ferrini,
J. Roslund,
F. Arzani,
Y. Cai,
C. Fabre,
N. Treps
Abstract:
This work introduces optimization strategies to continuous variable measurement based quantum computation (MBQC) at different levels. We provide a recipe for mitigating the effects of finite squeezing, which affect the production of cluster states and the result of a traditional MBQC. These strategies are readily implementable by several experimental groups. Furthermore, a more general scheme for…
▽ More
This work introduces optimization strategies to continuous variable measurement based quantum computation (MBQC) at different levels. We provide a recipe for mitigating the effects of finite squeezing, which affect the production of cluster states and the result of a traditional MBQC. These strategies are readily implementable by several experimental groups. Furthermore, a more general scheme for MBQC is introduced that does not necessarily rely on the use of ancillary cluster states to achieve its aim, but rather on the detection of a resource state in a suitable mode basis followed by digital post-processing. A recipe is provided to optimize the adjustable parameters that are employed within this framework.
△ Less
Submitted 10 May, 2016; v1 submitted 20 July, 2014;
originally announced July 2014.
