-
Two-Particle Scattering on Non-Translation Invariant Line Lattices
Authors:
Luna Lima e Silva,
Daniel Jost Brod
Abstract:
Quantum walks have been used to develop quantum algorithms since their inception, and can be seen as an alternative to the usual circuit model; combining single-particle quantum walks on sparse graphs with two-particle scattering on a line lattice is sufficient to perform universal quantum computation. In this work we solve the problem of two-particle scattering on the line lattice for a family of…
▽ More
Quantum walks have been used to develop quantum algorithms since their inception, and can be seen as an alternative to the usual circuit model; combining single-particle quantum walks on sparse graphs with two-particle scattering on a line lattice is sufficient to perform universal quantum computation. In this work we solve the problem of two-particle scattering on the line lattice for a family of interactions without translation invariance, recovering the Bose-Hubbard interaction as the limiting case. Due to its generality, our systematic approach lays the groundwork to solve the more general problem of multi-particle scattering on general graphs, which in turn can enable design of different or simpler quantum gates and gadgets. As a consequence of this work, we show that a CPHASE gate can be achieved with high fidelity when the interaction acts only on a small portion of the line graph.
△ Less
Submitted 26 March, 2024; v1 submitted 7 March, 2023;
originally announced March 2023.
-
Quantifying Quantum Causal Influences
Authors:
Lucas Hutter,
Rafael Chaves,
Ranieri Nery,
George Moreno,
Daniel J. Brod
Abstract:
Causal influences are at the core of any empirical science, the reason why its quantification is of paramount relevance for the mathematical theory of causality and applications. Quantum correlations, however, challenge our notion of cause and effect, implying that tools and concepts developed over the years having in mind a classical world, have to be reevaluated in the presence of quantum effect…
▽ More
Causal influences are at the core of any empirical science, the reason why its quantification is of paramount relevance for the mathematical theory of causality and applications. Quantum correlations, however, challenge our notion of cause and effect, implying that tools and concepts developed over the years having in mind a classical world, have to be reevaluated in the presence of quantum effects. Here, we propose the quantum version of the most common causality quantifier, the average causal effect (ACE), measuring how much a target quantum system is changed by interventions on its presumed cause. Not only it offers an innate manner to quantify causation in two-qubit gates but also in alternative quantum computation models such as the measurement-based version, suggesting that causality can be used as a proxy for optimizing quantum algorithms. Considering quantum teleportation, we show that any pure entangled state offers an advantage in terms of causal effects as compared to separable states. This broadness of different uses showcases that, just as in the classical case, the quantification of causal influence has foundational and applied consequences and can lead to a yet totally unexplored tool for quantum information science.
△ Less
Submitted 9 October, 2022;
originally announced October 2022.
-
Non-linear Boson Sampling
Authors:
Nicolò Spagnolo,
Daniel J. Brod,
Ernesto F. Galvão,
Fabio Sciarrino
Abstract:
Boson Sampling is a task that is conjectured to be computationally hard for a classical computer, but which can be efficiently solved by linear-optical interferometers with Fock state inputs. Significant advances have been reported in the last few years, with demonstrations of small- and medium-scale devices, as well as implementations of variants such as Gaussian Boson Sampling. Besides the relev…
▽ More
Boson Sampling is a task that is conjectured to be computationally hard for a classical computer, but which can be efficiently solved by linear-optical interferometers with Fock state inputs. Significant advances have been reported in the last few years, with demonstrations of small- and medium-scale devices, as well as implementations of variants such as Gaussian Boson Sampling. Besides the relevance of this class of computational models in the quest for unambiguous experimental demonstrations of quantum advantage, recent results have also proposed first applications for hybrid quantum computing. Here, we introduce the adoption of non-linear photon-photon interactions in the Boson Sampling framework, and analyze the enhancement in complexity via an explicit linear-optical simulation scheme. By extending the computational expressivity of Boson Sampling, the introduction of non-linearities promises to disclose novel functionalities for this class of quantum devices. Hence, our results are expected to lead to new applications of near-term, restricted photonic quantum computers.
△ Less
Submitted 26 October, 2021;
originally announced October 2021.
-
The Complexity of Bipartite Gaussian Boson Sampling
Authors:
Daniel Grier,
Daniel J. Brod,
Juan Miguel Arrazola,
Marcos Benicio de Andrade Alonso,
Nicolás Quesada
Abstract:
Gaussian boson sampling is a model of photonic quantum computing that has attracted attention as a platform for building quantum devices capable of performing tasks that are out of reach for classical devices. There is therefore significant interest, from the perspective of computational complexity theory, in solidifying the mathematical foundation for the hardness of simulating these devices. We…
▽ More
Gaussian boson sampling is a model of photonic quantum computing that has attracted attention as a platform for building quantum devices capable of performing tasks that are out of reach for classical devices. There is therefore significant interest, from the perspective of computational complexity theory, in solidifying the mathematical foundation for the hardness of simulating these devices. We show that, under the standard Anti-Concentration and Permanent-of-Gaussians conjectures, there is no efficient classical algorithm to sample from ideal Gaussian boson sampling distributions (even approximately) unless the polynomial hierarchy collapses. The hardness proof holds in the regime where the number of modes scales quadratically with the number of photons, a setting in which hardness was widely believed to hold but that nevertheless had no definitive proof.
Crucial to the proof is a new method for programming a Gaussian boson sampling device so that the output probabilities are proportional to the permanents of submatrices of an arbitrary matrix. This technique is a generalization of Scattershot BosonSampling that we call BipartiteGBS. We also make progress towards the goal of proving hardness in the regime where there are fewer than quadratically more modes than photons (i.e., the high-collision regime) by showing that the ability to approximate permanents of matrices with repeated rows/columns confers the ability to approximate permanents of matrices with no repetitions. The reduction suffices to prove that GBS is hard in the constant-collision regime.
△ Less
Submitted 11 November, 2022; v1 submitted 13 October, 2021;
originally announced October 2021.
-
Measuring relational information between quantum states, and applications
Authors:
Michał Oszmaniec,
Daniel J. Brod,
Ernesto F. Galvão
Abstract:
The geometrical arrangement of a set of quantum states can be completely characterized using relational information only. This information is encoded in the pairwise state overlaps, as well as in Bargmann invariants of higher degree written as traces of products of density matrices. We describe how to measure Bargmann invariants using suitable generalizations of the SWAP test. This allows for a co…
▽ More
The geometrical arrangement of a set of quantum states can be completely characterized using relational information only. This information is encoded in the pairwise state overlaps, as well as in Bargmann invariants of higher degree written as traces of products of density matrices. We describe how to measure Bargmann invariants using suitable generalizations of the SWAP test. This allows for a complete and robust characterization of the projective-unitary invariant properties of any set of pure or mixed states. As applications, we describe basis-independent tests for linear independence, coherence, and imaginarity. We also show that Bargmann invariants can be used to characterize multi-photon indistinguishability.
△ Less
Submitted 21 September, 2021;
originally announced September 2021.
-
Witnesses of coherence and dimension from multiphoton indistinguishability tests
Authors:
Taira Giordani,
Chiara Esposito,
Francesco Hoch,
Gonzalo Carvacho,
Daniel J. Brod,
Ernesto F. Galvão,
Nicolò Spagnolo,
Fabio Sciarrino
Abstract:
Quantum coherence marks a deviation from classical physics, and has been studied as a resource for metrology and quantum computation. Finding reliable and effective methods for assessing its presence is then highly desirable. Coherence witnesses rely on measuring observables whose outcomes can guarantee that a state is not diagonal in a known reference basis. Here we experimentally measure a novel…
▽ More
Quantum coherence marks a deviation from classical physics, and has been studied as a resource for metrology and quantum computation. Finding reliable and effective methods for assessing its presence is then highly desirable. Coherence witnesses rely on measuring observables whose outcomes can guarantee that a state is not diagonal in a known reference basis. Here we experimentally measure a novel type of coherence witness that uses pairwise state comparisons to identify superpositions in a basis-independent way. Our experiment uses a single interferometric set-up to simultaneously measure the three pairwise overlaps among three single-photon states via Hong-Ou-Mandel tests. Besides coherence witnesses, we show the measurements also serve as a Hilbert-space dimension witness. Our results attest to the effectiveness of pooling many two-state comparison tests to ascertain various relational properties of a set of quantum states.
△ Less
Submitted 19 April, 2021;
originally announced April 2021.
-
Linear-optical dynamics of one-dimensional anyons
Authors:
Allan D. C. Tosta,
Ernesto F. Galvão,
Daniel J. Brod
Abstract:
We study the dynamics of bosonic and fermionic anyons defined on a one-dimensional lattice, under the effect of Hamiltonians quadratic in creation and annihilation operators, commonly referred to as linear optics. These anyonic models are obtained from deformations of the standard bosonic or fermionic commutation relations via the introduction of a non-trivial exchange phase between different latt…
▽ More
We study the dynamics of bosonic and fermionic anyons defined on a one-dimensional lattice, under the effect of Hamiltonians quadratic in creation and annihilation operators, commonly referred to as linear optics. These anyonic models are obtained from deformations of the standard bosonic or fermionic commutation relations via the introduction of a non-trivial exchange phase between different lattice sites. We study the effects of the anyonic exchange phase on the usual bosonic and fermionic bunching behaviors. We show how to exploit the inherent Aharonov-Bohm effect exhibited by these particles to build a deterministic, entangling two-qubit gate and prove quantum computational universality in these systems. We define coherent states for bosonic anyons and study their behavior under two-mode linear-optical devices. In particular we prove that, for a specific value of the exchange factor, an anyonic mirror can generate cat states, an important resource in quantum information processing with continuous variables.
△ Less
Submitted 23 December, 2020;
originally announced December 2020.
-
Experimental quantification of genuine four-photon indistinguishability
Authors:
Taira Giordani,
Daniel J. Brod,
Chiara Esposito,
Niko Viggianiello,
Marco Romano,
Fulvio Flamini,
Gonzalo Carvacho,
Nicolò Spagnolo,
Ernesto F. Galvão,
Fabio Sciarrino
Abstract:
Photon indistinguishability plays a fundamental role in information processing, with applications such as linear-optical quantum computation and metrology. It is then necessary to develop appropriate tools to quantify the amount of this resource in a multiparticle scenario. Here we report a four-photon experiment in a linear-optical interferometer designed to simultaneously estimate the degree of…
▽ More
Photon indistinguishability plays a fundamental role in information processing, with applications such as linear-optical quantum computation and metrology. It is then necessary to develop appropriate tools to quantify the amount of this resource in a multiparticle scenario. Here we report a four-photon experiment in a linear-optical interferometer designed to simultaneously estimate the degree of indistinguishability between three pairs of photons. The interferometer design dispenses with the need of heralding for parametric down-conversion sources, resulting in an efficient and reliable optical scheme. We then use a recently proposed theoretical framework to quantify genuine four-photon indistinguishability, as well as to obtain bounds on three unmeasured two-photon overlaps. Our findings are in high agreement with the theory, and represent a new resource-effective technique for the characterization of multiphoton interference.
△ Less
Submitted 2 July, 2019;
originally announced July 2019.
-
Classical simulation of linear optics subject to nonuniform losses
Authors:
Daniel Jost Brod,
Michał\ Oszmaniec
Abstract:
We present a comprehensive study of the impact of non-uniform, i.e.\ path-dependent, photonic losses on the computational complexity of linear-optical processes. Our main result states that, if each beam splitter in a network induces some loss probability, non-uniform network designs cannot circumvent the efficient classical simulations based on losses. To achieve our result we obtain new intermed…
▽ More
We present a comprehensive study of the impact of non-uniform, i.e.\ path-dependent, photonic losses on the computational complexity of linear-optical processes. Our main result states that, if each beam splitter in a network induces some loss probability, non-uniform network designs cannot circumvent the efficient classical simulations based on losses. To achieve our result we obtain new intermediate results that can be of independent interest. First, we show that, for any network of lossy beam-splitters, it is possible to extract a layer of non-uniform losses that depends on the network geometry. We prove that, for every input mode of the network it is possible to commute $s_i$ layers of losses to the input, where $s_i$ is the length of the shortest path connecting the $i$th input to any output. We then extend a recent classical simulation algorithm due to P. Clifford and R. Clifford to allow for arbitrary $n$-photon input Fock states (i.e. to include collision states). Consequently, we identify two types of input states where boson sampling becomes classically simulable: (A) when $n$ input photons occupy a constant number of input modes; (B) when all but $O(\log n)$ photons are concentrated on a single input mode, while an additional $O(\log n)$ modes contain one photon each.
△ Less
Submitted 11 May, 2020; v1 submitted 16 June, 2019;
originally announced June 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.
-
Quantum and classical bounds for two-state overlaps
Authors:
Ernesto F. Galvão,
Daniel J. Brod
Abstract:
Suppose we have $N$ quantum systems in unknown states $\lvertψ_i \rangle $, but know the value of some pairwise overlaps $\left| \langle ψ_k \lvert ψ_l \rangle \right|^2$. What can we say about the values of the unknown overlaps? We provide a complete answer to this problem for three pure states and two given overlaps, and a way to obtain bounds for the general case. We discuss how the answer cont…
▽ More
Suppose we have $N$ quantum systems in unknown states $\lvertψ_i \rangle $, but know the value of some pairwise overlaps $\left| \langle ψ_k \lvert ψ_l \rangle \right|^2$. What can we say about the values of the unknown overlaps? We provide a complete answer to this problem for three pure states and two given overlaps, and a way to obtain bounds for the general case. We discuss how the answer contrasts from that of a classical model featuring only coherence-free, diagonal states, and describe three applications: basis-independent coherence witnesses, dimension witnesses, and characterisation of multi-photon indistinguishability.
△ Less
Submitted 19 May, 2020; v1 submitted 28 February, 2019;
originally announced February 2019.
-
Quantum computation from fermionic anyons on a 1D lattice
Authors:
Allan D. C. Tosta,
Daniel J. Brod,
Ernesto F. Galvão
Abstract:
Fermionic linear optics corresponds to the dynamics of free fermions, and is known to be efficiently simulable classically. We define fermionic anyon models by deforming the fermionic algebra of creation and annihilation operators, and consider the dynamics of number-preserving, quadratic Hamiltonians on these operators. We show that any such deformation results in an anyonic linear optical model…
▽ More
Fermionic linear optics corresponds to the dynamics of free fermions, and is known to be efficiently simulable classically. We define fermionic anyon models by deforming the fermionic algebra of creation and annihilation operators, and consider the dynamics of number-preserving, quadratic Hamiltonians on these operators. We show that any such deformation results in an anyonic linear optical model which allows for universal quantum computation.
△ Less
Submitted 17 August, 2020; v1 submitted 17 December, 2018;
originally announced December 2018.
-
Two-photon self-Kerr nonlinearities for quantum computing and quantum optics
Authors:
Joshua Combes,
Daniel J. Brod
Abstract:
The self-Kerr interaction is an optical nonlinearity that produces a phase shift proportional to the square of the number of photons in the field. At present, many proposals use nonlinearities to generate photon-photon interactions. For propagating fields these interactions result in undesirable features such as spectral correlation between the photons. Here, we engineer a discrete network compose…
▽ More
The self-Kerr interaction is an optical nonlinearity that produces a phase shift proportional to the square of the number of photons in the field. At present, many proposals use nonlinearities to generate photon-photon interactions. For propagating fields these interactions result in undesirable features such as spectral correlation between the photons. Here, we engineer a discrete network composed of cross-Kerr interaction regions to simulate a self-Kerr medium. The medium has effective long-range interactions implemented in a physically local way. We compute the one- and two-photon S matrices for fields propagating in this medium. From these scattering matrices we show that our proposal leads to a high fidelity photon-photon gate. In the limit where the number of nodes in the network tends to infinity, the medium approximates a perfect self-Kerr interaction in the one- and two-photon regime.
△ Less
Submitted 17 November, 2018; v1 submitted 23 April, 2018;
originally announced April 2018.
-
Witnessing genuine multi-photon indistinguishability
Authors:
Daniel J. Brod,
Ernesto F. Galvão,
Niko Viggianiello,
Fulvio Flamini,
Nicolò Spagnolo,
Fabio Sciarrino
Abstract:
Bosonic interference is a fundamental physical phenomenon, and it is believed to lie at the heart of quantum computational advantage. It is thus necessary to develop practical tools to witness its presence, both for a reliable assessment of a quantum source and for fundamental investigations. Here we describe how linear interferometers can be used to unambiguously witness genuine n-boson indisting…
▽ More
Bosonic interference is a fundamental physical phenomenon, and it is believed to lie at the heart of quantum computational advantage. It is thus necessary to develop practical tools to witness its presence, both for a reliable assessment of a quantum source and for fundamental investigations. Here we describe how linear interferometers can be used to unambiguously witness genuine n-boson indistinguishability. The amount of violation of the proposed witnesses bounds the degree of multi-boson indistinguishability, for which we also provide a novel intuitive model using set theory. We experimentally implement this test to bound the degree of 3-photon indistinguishability in states we prepare using parametric down-conversion. Our approach results in a convenient tool for practical photonic applications, and may inspire further fundamental advances based on the operational framework we adopt.
△ Less
Submitted 4 April, 2018;
originally announced April 2018.
-
Classical simulation of photonic linear optics with lost particles
Authors:
Michał Oszmaniec,
Daniel J. Brod
Abstract:
We explore the possibility of efficient classical simulation of linear optics experiments under the effect of particle losses. Specifically, we investigate the canonical boson sampling scenario in which an $n$-particle Fock input state propagates through a linear-optical network and is subsequently measured by particle-number detectors in the $m$ output modes. We examine two models of losses. In t…
▽ More
We explore the possibility of efficient classical simulation of linear optics experiments under the effect of particle losses. Specifically, we investigate the canonical boson sampling scenario in which an $n$-particle Fock input state propagates through a linear-optical network and is subsequently measured by particle-number detectors in the $m$ output modes. We examine two models of losses. In the first model a fixed number of particles is lost. We prove that in this scenario the output statistics can be well approximated by an efficient classical simulation, provided that the number of photons that is left grows slower than $\sqrt{n}$. In the second loss model, every time a photon passes through a beamsplitter in the network, it has some probability of being lost. For this model the relevant parameter is $s$, the smallest number of beamsplitters that any photon traverses as it propagates through the network. We prove that it is possible to approximately simulate the output statistics already if $s$ grows logarithmically with $m$, regardless of the geometry of the network. The latter result is obtained by proving that it is always possible to commute $s$ layers of uniform losses to the input of the network regardless of its geometry, which could be a result of independent interest. We believe that our findings put strong limitations on future experimental realizations of quantum computational supremacy proposals based on boson sampling.
△ Less
Submitted 18 January, 2018;
originally announced January 2018.
-
Optimal photonic indistinguishability tests in multimode networks
Authors:
Niko Viggianiello,
Fulvio Flamini,
Marco Bentivegna,
Nicolò Spagnolo,
Andrea Crespi,
Daniel J. Brod,
Ernesto F. Galvão,
Roberto Osellame,
Fabio Sciarrino
Abstract:
Particle indistinguishability is at the heart of quantum statistics that regulates fundamental phenomena such as the electronic band structure of solids, Bose-Einstein condensation and superconductivity. Moreover, it is necessary in practical applications such as linear optical quantum computation and simulation, in particular for Boson Sampling devices. It is thus crucial to develop tools to cert…
▽ More
Particle indistinguishability is at the heart of quantum statistics that regulates fundamental phenomena such as the electronic band structure of solids, Bose-Einstein condensation and superconductivity. Moreover, it is necessary in practical applications such as linear optical quantum computation and simulation, in particular for Boson Sampling devices. It is thus crucial to develop tools to certify genuine multiphoton interference between multiple sources. Here we show that so-called Sylvester interferometers are near-optimal for the task of discriminating the behaviors of distinguishable and indistinguishable photons. We report the first implementations of integrated Sylvester interferometers with 4 and 8 modes with an efficient, scalable and reliable 3D-architecture. We perform two-photon interference experiments capable of identifying indistinguishable photon behaviour with a Bayesian approach using very small data sets. Furthermore, we employ experimentally this new device for the assessment of scattershot Boson Sampling. These results open the way to the application of Sylvester interferometers for the optimal assessment of multiphoton interference experiments.
△ Less
Submitted 11 October, 2017; v1 submitted 10 October, 2017;
originally announced October 2017.
-
Experimental generalized quantum suppression law in Sylvester interferometers
Authors:
Niko Viggianiello,
Fulvio Flamini,
Luca Innocenti,
Daniele Cozzolino,
Marco Bentivegna,
Nicolò Spagnolo,
Andrea Crespi,
Daniel J. Brod,
Ernesto F. Galvão,
Roberto Osellame,
Fabio Sciarrino
Abstract:
Photonic interference is a key quantum resource for optical quantum computation, and in particular for so-called boson sampling machines. In interferometers with certain symmetries, genuine multiphoton quantum interference effectively suppresses certain sets of events, as in the original Hong-Ou-Mandel effect. Recently, it was shown that some classical and semi-classical models could be ruled out…
▽ More
Photonic interference is a key quantum resource for optical quantum computation, and in particular for so-called boson sampling machines. In interferometers with certain symmetries, genuine multiphoton quantum interference effectively suppresses certain sets of events, as in the original Hong-Ou-Mandel effect. Recently, it was shown that some classical and semi-classical models could be ruled out by identifying such suppressions in Fourier interferometers. Here we propose a suppression law suitable for random-input experiments in multimode Sylvester interferometers, and verify it experimentally using 4- and 8-mode integrated interferometers. The observed suppression is stronger than what is observed in Fourier interferometers of the same size, and could be relevant to certification of boson sampling machines and other experiments relying on bosonic interference.
△ Less
Submitted 24 May, 2017;
originally announced May 2017.
-
A passive CPHASE gate via cross-Kerr nonlinearities
Authors:
Daniel J. Brod,
Joshua Combes
Abstract:
A fundamental and open question is whether cross-Kerr nonlinearities can be used to construct a controlled-phase (CPHASE) gate. Here we propose a gate constructed from a discrete set of atom-mediated cross-Kerr interaction sites with counter-propagating photons. We show that the average gate fidelity $F$ between a CPHASE and our proposed gate increases as the number of interaction sites increases…
▽ More
A fundamental and open question is whether cross-Kerr nonlinearities can be used to construct a controlled-phase (CPHASE) gate. Here we propose a gate constructed from a discrete set of atom-mediated cross-Kerr interaction sites with counter-propagating photons. We show that the average gate fidelity $F$ between a CPHASE and our proposed gate increases as the number of interaction sites increases and the spectral width of the photon decreases, e.g. with 12 sites we find $F > 99\%$.
△ Less
Submitted 19 August, 2016; v1 submitted 14 April, 2016;
originally announced April 2016.
-
Two photons co- and counter-propagating through $N$ cross-Kerr sites
Authors:
Daniel J. Brod,
Joshua Combes,
Julio Gea-Banacloche
Abstract:
A cross-Kerr interaction produces a phase shift on two modes of light proportional to the number of photons in both modes, and is sometimes called cross-phase modulation. Cross-Kerr nonlinearities have many applications in classical and quantum nonlinear optics, including the possibility of a deterministic and all-optical controlled-phase gate. We calculate the one- and two-photon S-matrix for fie…
▽ More
A cross-Kerr interaction produces a phase shift on two modes of light proportional to the number of photons in both modes, and is sometimes called cross-phase modulation. Cross-Kerr nonlinearities have many applications in classical and quantum nonlinear optics, including the possibility of a deterministic and all-optical controlled-phase gate. We calculate the one- and two-photon S-matrix for fields propagating in a medium where the cross-Kerr interaction is spatially distributed at discrete interaction sites comprised of atoms. For the interactions considered, we analyze the cases where the photons co-propagate and counter-propagate through the medium and give a physical interpretation to the differences between the two cases. Finally, we obtain the S-matrix in the limit of infinitely long chains, showing that it corresponds to a perfect controlled-phase operation.
△ Less
Submitted 19 August, 2016; v1 submitted 13 April, 2016;
originally announced April 2016.
-
Efficient classical simulation of matchgate circuits with generalized inputs and measurements
Authors:
Daniel J. Brod
Abstract:
Matchgates are a restricted set of two-qubit gates known to be classically simulable under particular conditions. Specifically, if a circuit consists only of nearest-neighbour matchgates, an efficient classical simulation is possible if either (i) the input is a computational basis state and the simulation requires computing probabilities of multi-qubit outcomes (including also adaptive measuremen…
▽ More
Matchgates are a restricted set of two-qubit gates known to be classically simulable under particular conditions. Specifically, if a circuit consists only of nearest-neighbour matchgates, an efficient classical simulation is possible if either (i) the input is a computational basis state and the simulation requires computing probabilities of multi-qubit outcomes (including also adaptive measurements), or (ii) if the input is an arbitrary product state, but the output of the circuit consists of a single qubit. In this paper we extend these results to show that matchgates are classically simulable even in the most general combination of these settings, namely, if the inputs are arbitrary product states, if the measurements are over arbitrarily many output qubits, and if adaptive measurements are allowed. This remains true even for arbitrary single-qubit measurements, albeit only in a weaker notion of classical simulation. These results make for an interesting contrast with other restricted models of computation, such as Clifford circuits or (bosonic) linear optics, where the complexity of simulation varies greatly under similar modifications.
△ Less
Submitted 2 March, 2016; v1 submitted 10 February, 2016;
originally announced February 2016.
-
BosonSampling with Lost Photons
Authors:
Scott Aaronson,
Daniel J. Brod
Abstract:
BosonSampling is an intermediate model of quantum computation where linear-optical networks are used to solve sampling problems expected to be hard for classical computers. Since these devices are not expected to be universal for quantum computation, it remains an open question of whether any error-correction techniques can be applied to them, and thus it is important to investigate how robust the…
▽ More
BosonSampling is an intermediate model of quantum computation where linear-optical networks are used to solve sampling problems expected to be hard for classical computers. Since these devices are not expected to be universal for quantum computation, it remains an open question of whether any error-correction techniques can be applied to them, and thus it is important to investigate how robust the model is under natural experimental imperfections, such as losses and imperfect control of parameters. Here we investigate the complexity of BosonSampling under photon losses---more specifically, the case where an unknown subset of the photons are randomly lost at the sources. We show that, if $k$ out of $n$ photons are lost, then we cannot sample classically from a distribution that is $1/n^{Θ(k)}$-close (in total variation distance) to the ideal distribution, unless a $\text{BPP}^{\text{NP}}$ machine can estimate the permanents of Gaussian matrices in $n^{O(k)}$ time. In particular, if $k$ is constant, this implies that simulating lossy BosonSampling is hard for a classical computer, under exactly the same complexity assumption used for the original lossless case.
△ Less
Submitted 2 November, 2015; v1 submitted 18 October, 2015;
originally announced October 2015.
-
Experimental Scattershot Boson Sampling
Authors:
Marco Bentivegna,
Nicolò Spagnolo,
Chiara Vitelli,
Fulvio Flamini,
Niko Viggianiello,
Ludovico Latmiral,
Paolo Mataloni,
Daniel J. Brod,
Ernesto F. Galvão,
Andrea Crespi,
Roberta Ramponi,
Roberto Osellame,
Fabio Sciarrino
Abstract:
Boson Sampling is a computational task strongly believed to be hard for classical computers, but efficiently solvable by orchestrated bosonic interference in a specialised quantum computer. Current experimental schemes, however, are still insufficient for a convincing demonstration of the advantage of quantum over classical computation. A new variation of this task, Scattershot Boson Sampling, lea…
▽ More
Boson Sampling is a computational task strongly believed to be hard for classical computers, but efficiently solvable by orchestrated bosonic interference in a specialised quantum computer. Current experimental schemes, however, are still insufficient for a convincing demonstration of the advantage of quantum over classical computation. A new variation of this task, Scattershot Boson Sampling, leads to an exponential increase in speed of the quantum device, using a larger number of photon sources based on parametric downconversion. This is achieved by having multiple heralded single photons being sent, shot by shot, into different random input ports of the interferometer. Here we report the first Scattershot Boson Sampling experiments, where six different photon-pair sources are coupled to integrated photonic circuits. We employ recently proposed statistical tools to analyse our experimental data, providing strong evidence that our photonic quantum simulator works as expected. This approach represents an important leap toward a convincing experimental demonstration of the quantum computational supremacy.
△ Less
Submitted 14 May, 2015;
originally announced May 2015.
-
The Computational Power of Non-interacting Particles
Authors:
Daniel J. Brod
Abstract:
Shortened abstract: In this thesis, I study two restricted models of quantum computing related to free identical particles.
Free fermions correspond to a set of two-qubit gates known as matchgates. Matchgates are classically simulable when acting on nearest neighbors on a path, but universal for quantum computing when acting on distant qubits or when SWAP gates are available. I generalize these…
▽ More
Shortened abstract: In this thesis, I study two restricted models of quantum computing related to free identical particles.
Free fermions correspond to a set of two-qubit gates known as matchgates. Matchgates are classically simulable when acting on nearest neighbors on a path, but universal for quantum computing when acting on distant qubits or when SWAP gates are available. I generalize these results in two ways. First, I show that SWAP is only one in a large family of gates that uplift matchgates to quantum universality. In fact, I show that the set of all matchgates plus any nonmatchgate parity-preserving two-qubit gate is universal, and interpret this fact in terms of local invariants of two-qubit gates. Second, I investigate the power of matchgates in arbitrary connectivity graphs, showing they are universal on any connected graph other than a path or a cycle, and classically simulable on a cycle. I also prove the same dichotomy for the XY interaction.
Free bosons give rise to a model known as BosonSampling. BosonSampling consists of (i) preparing a Fock state of n photons, (ii) interfering these photons in an m-mode linear interferometer, and (iii) measuring the output in the Fock basis. Sampling approximately from the resulting distribution should be classically hard, under reasonable complexity assumptions. Here I show that exact BosonSampling remains hard even if the linear-optical circuit has constant depth. I also report several experiments where three-photon interference was observed in integrated interferometers of various sizes, providing some of the first implementations of BosonSampling in this regime. The experiments also focus on the bosonic bunching behavior and on validation of BosonSampling devices. This thesis contains descriptions of the numerical analyses done on the experimental data, omitted from the corresponding publications.
△ Less
Submitted 24 December, 2014;
originally announced December 2014.
-
The complexity of simulating constant-depth BosonSampling
Authors:
Daniel J. Brod
Abstract:
BosonSampling is a restricted model of quantum computation proposed recently, where a non-adaptive linear-optical network is used to solve a sampling problem that seems to be hard for classical computers. Here we show that, even if the linear-optical network has a constant number (greater than four) of beam splitter layers, the exact version of the BosonSampling problem is still classically hard,…
▽ More
BosonSampling is a restricted model of quantum computation proposed recently, where a non-adaptive linear-optical network is used to solve a sampling problem that seems to be hard for classical computers. Here we show that, even if the linear-optical network has a constant number (greater than four) of beam splitter layers, the exact version of the BosonSampling problem is still classically hard, unless the polynomial hierarchy collapses to its third level. This is based on similar result known for constant-depth quantum circuits and circuits of 2-local commuting gates (IQP).
△ Less
Submitted 21 December, 2014;
originally announced December 2014.
-
Efficient experimental validation of photonic boson sampling against the uniform distribution
Authors:
N. Spagnolo,
C. Vitelli,
M. Bentivegna,
D. J. Brod,
A. Crespi,
F. Flamini,
S. Giacomini,
G. Milani,
R. Ramponi,
P. Mataloni,
R. Osellame,
E. F. Galvao,
F. Sciarrino
Abstract:
A boson sampling device is a specialised quantum computer that solves a problem which is strongly believed to be computationally hard for classical computers. Recently a number of small-scale implementations have been reported, all based on multi-photon interference in multimode interferometers. In the hard-to-simulate regime, even validating the device's functioning may pose a problem . In a rece…
▽ More
A boson sampling device is a specialised quantum computer that solves a problem which is strongly believed to be computationally hard for classical computers. Recently a number of small-scale implementations have been reported, all based on multi-photon interference in multimode interferometers. In the hard-to-simulate regime, even validating the device's functioning may pose a problem . In a recent paper, Gogolin et al. showed that so-called symmetric algorithms would be unable to distinguish the experimental distribution from the trivial, uniform distribution. Here we report new boson sampling experiments on larger photonic chips, and analyse the data using a scalable statistical test recently proposed by Aaronson and Arkhipov. We show the test successfully validates small experimental data samples against the hypothesis that they are uniformly distributed. We also show how to discriminate data arising from either indistinguishable or distinguishable photons. Our results pave the way towards larger boson sampling experiments whose functioning, despite being non-trivial to simulate, can be certified against alternative hypotheses.
△ Less
Submitted 8 November, 2013; v1 submitted 7 November, 2013;
originally announced November 2013.
-
The computational power of matchgates and the XY interaction on arbitrary graphs
Authors:
Daniel J. Brod,
Andrew M. Childs
Abstract:
Matchgates are a restricted set of two-qubit gates known to be classically simulable when acting on nearest-neighbor qubits on a path, but universal for quantum computation when the qubits are arranged on certain other graphs. Here we characterize the power of matchgates acting on arbitrary graphs. Specifically, we show that they are universal on any connected graph other than a path or a cycle, a…
▽ More
Matchgates are a restricted set of two-qubit gates known to be classically simulable when acting on nearest-neighbor qubits on a path, but universal for quantum computation when the qubits are arranged on certain other graphs. Here we characterize the power of matchgates acting on arbitrary graphs. Specifically, we show that they are universal on any connected graph other than a path or a cycle, and that they are classically simulable on a cycle. We also prove the same dichotomy for the XY interaction, a proper subset of matchgates related to some implementations of quantum computing.
△ Less
Submitted 6 August, 2013;
originally announced August 2013.
-
General rules for bosonic bunching in multimode interferometers
Authors:
N. Spagnolo,
C. Vitelli,
L. Sansoni,
E. Maiorino,
P. Mataloni,
F. Sciarrino,
D. J. Brod,
E. F. Galvao,
A. Crespi,
R. Ramponi,
R. Osellame
Abstract:
We perform a comprehensive set of experiments that characterize bosonic bunching of up to 3 photons in interferometers of up to 16 modes. Our experiments verify two rules that govern bosonic bunching. The first rule, obtained recently in [1,2], predicts the average behavior of the bunching probability and is known as the bosonic birthday paradox. The second rule is new, and establishes a n!-factor…
▽ More
We perform a comprehensive set of experiments that characterize bosonic bunching of up to 3 photons in interferometers of up to 16 modes. Our experiments verify two rules that govern bosonic bunching. The first rule, obtained recently in [1,2], predicts the average behavior of the bunching probability and is known as the bosonic birthday paradox. The second rule is new, and establishes a n!-factor quantum enhancement for the probability that all n bosons bunch in a single output mode, with respect to the case of distinguishable bosons. Besides its fundamental importance in phenomena such as Bose-Einstein condensation, bosonic bunching can be exploited in applications such as linear optical quantum computing and quantum-enhanced metrology.
△ Less
Submitted 26 September, 2013; v1 submitted 14 May, 2013;
originally announced May 2013.
-
Experimental boson sampling in arbitrary integrated photonic circuits
Authors:
A. Crespi,
R. Osellame,
R. Ramponi,
D. J. Brod,
E. F. Galvao,
N. Spagnolo,
C. Vitelli,
E. Maiorino,
P. Mataloni,
F. Sciarrino
Abstract:
Photons naturally solve the BosonSampling problem: sample the outputs of a multi-photon experiment in a linear-optical interferometer. This is strongly believed to be hard to do on a classical computer, and motivates the development of technologies that enable precise control of multi-photon interference in large interferometers. Here we report multi-photon experiments in a 5-mode integrated inter…
▽ More
Photons naturally solve the BosonSampling problem: sample the outputs of a multi-photon experiment in a linear-optical interferometer. This is strongly believed to be hard to do on a classical computer, and motivates the development of technologies that enable precise control of multi-photon interference in large interferometers. Here we report multi-photon experiments in a 5-mode integrated interferometer. We use novel three-dimensional manufacturing techniques to achieve simultaneous control of 25 independent parameters that describe an arbitrary interferometer. We characterize the chip using one- and two-photon experiments, and confirm the quantum mechanical predictions for three-photon interference. Scaled up versions of this setup are the most promising way to demonstrate the computational capability of quantum systems, and may have applications in high-precision measurements and quantum communication.
△ Less
Submitted 12 December, 2012;
originally announced December 2012.
-
Geometries for universal quantum computation with matchgates
Authors:
Daniel J. Brod,
Ernesto F. Galvão
Abstract:
Matchgates are a group of two-qubit gates associated with free fermions. They are classically simulatable if restricted to act between nearest neighbors on a one-dimensional chain, but become universal for quantum computation with longer-range interactions. We describe various alternative geometries with nearest-neighbor interactions that result in universal quantum computation with matchgates onl…
▽ More
Matchgates are a group of two-qubit gates associated with free fermions. They are classically simulatable if restricted to act between nearest neighbors on a one-dimensional chain, but become universal for quantum computation with longer-range interactions. We describe various alternative geometries with nearest-neighbor interactions that result in universal quantum computation with matchgates only, including subtle departures from the chain. Our results pave the way for new quantum computer architectures that rely solely on the simple interactions associated with matchgates.
△ Less
Submitted 10 October, 2012; v1 submitted 9 July, 2012;
originally announced July 2012.
-
Extending matchgates into universal quantum computation
Authors:
Daniel J. Brod,
Ernesto F. Galvão
Abstract:
Matchgates are a family of two-qubit gates associated with noninteracting fermions. They are classically simulatable if acting only on nearest neighbors, but become universal for quantum computation if we relax this restriction or use SWAP gates [Jozsa and Miyake, Proc. R. Soc. A 464, 3089 (2008)]. We generalize this result by proving that any nonmatchgate parity-preserving unitary is capable of e…
▽ More
Matchgates are a family of two-qubit gates associated with noninteracting fermions. They are classically simulatable if acting only on nearest neighbors, but become universal for quantum computation if we relax this restriction or use SWAP gates [Jozsa and Miyake, Proc. R. Soc. A 464, 3089 (2008)]. We generalize this result by proving that any nonmatchgate parity-preserving unitary is capable of extending the computational power of matchgates into universal quantum computation. We identify the single local invariant of parity-preserving unitaries responsible for this, and discuss related results in the context of fermionic systems.
△ Less
Submitted 9 June, 2011;
originally announced June 2011.