A Statistical Benchmark for BosonSampling Mattia Walschaers,1, 2, ∗ Jack Kuipers,3, 4 Juan-Diego Urbina,3 Klaus Mayer,1 Malte Christopher Tichy,5 Klaus Richter,3 and Andreas Buchleitner1 1Physikalisches Institut, Albert-Ludwigs-Universitat Freiburg, Hermann-Herder-Str. 3, D-79104 Freiburg, Germany 2Instituut voor Theoretische Fysica, University of Leuven, Celestijnenlaan 200D, B-3001 Heverlee, Belgium 3Institut f¨urTheoretische Physik, Universit¨atRegensburg, D-93040 Regensburg, Germany 4D-BSSE, ETH Z¨urich, Mattenstrasse 26, 4058 Basel, Switzerland 5Department of Physics and Astronomy, Aarhus University, Ny Munkegade 120, DK-8000 Aarhus, Denmark (Dated: November 3, 2014) Computing the state of a quantum mechanical many-body system composed of indistinguishable particles distributed over a multitude of modes is one of the paradigmatic test cases of computational complexity theory: Beyond well-understood quantum statistical effects, the coherent superposition of many-particle amplitudes rapidly overburdens classical computing devices - essentially by creating extremely complicated interference patterns, which also challenge experimental resolution. With the advent of controlled many-particle interference experiments, optical set-ups that can efficiently probe many-boson wave functions - baptised BosonSamplers - have therefore been proposed as efficient quantum simulators which outperform any classical computing device, and thereby challenge the extended Church-Turing thesis, one of the fundamental dogmas of computer science. However, as in all experimental quantum simulations of truly complex systems, there remains one crucial problem: How to certify that a given experimental measurement record is an unambiguous result of sampling bosons rather than fermions or distinguishable particles, or of uncontrolled noise? In this contribution, we describe a statistical signature of many-body quantum interference, which can be used as an experimental (and classically computable) benchmark for BosonSampling. I. INTRODUCTION As the world waits for the first universal and fully op- erational quantum computer [1], quantum information Correlators scientists are eager to already show the power of quan- tum physics to perform computational tasks which are out of reach for a classical computer. Rather than de- signing devices that can perform a wide range of calcu- lations, machines which are specialised in specific tasks have joined the scope [2, 3]. Here, we focus on one type of such devices, the BosonSamplers, which may hold the key to falsifying the extended Church-Turing thesis [1, 4, 5]. This conjecture, rooted in the early days of computer sci- ence, states that any efficient calculation performed by a physical device can also be performed in polynomial time on a classical computer. It is now proposed that all that is Input U Output necessary to falsify this foundational dogma of computer science is a set of m photonic input modes, which are Figure 1. Sketch of the system under consideration. From a arXiv:1410.8547v1 [quant-ph] 30 Oct 2014 connected to m output modes by a random photonic cir- set of input modes (here m = 12), four particles are injected cuit [2]. This immediately indicates why BosonSampling (depicted in red). The particles traverse the system via the attracts such attention, as these systems are experimen- depicted channels. At the crossings, different paths are inter- tally in reach [6{11]. connected such that particles can travel on in each direction, Since we are dealing with bosons, indistinguishable thus leading to single-particle and many-body interference. The yellow zone of the setup is described by a unitary matrix particles, interesting physics arises when multiple parti- U, which connects the input modes to the output modes. The cles are simultaneously injected into the system [12{16]. output signal is probabilistic in nature (hence different inten- A schematic overview, indicating the essential ingredi- sities of red), with its statistics governed by the many-body ents of a sampling device such as considered here, is pro- quantum state. The key object of this work, the C-dataset vided in Figure 1. BosonSampling essentially consists in (see main text), is obtained by calculating the two-point cor- relations between different modes as depicted in green. ∗ [email protected] 2 quantifying the probability of measuring an occupation lated bosons"{ and explain how to efficiently distinguish vector ~y = (y1; : : : ; ym) for the output modes, given that between them. Distinguishable particles are the simplest the initial mode occupation was ~x = (x1; : : : xm), where of the considered species, as their signals are governed xi and yi are the number of photons found in the ith only by single-particle interference. Transport processes input and output mode, respectively. In the case with with bosons or fermions, in contrast, exhibit the entire at most one photon per input mode, this probability is range of statistical and interference effects. As indistin- 2 jperm U~x;~y j guishable particles, they obey quantum statistics (as dic- given by p~x!~y = Qm y ! , where U~x;~y is the n × n i=1 i tated by the relevant algebra), which for two particles in matrix, constructed from U, which describes how the n two modes either leads to bunching (bosons) [12] or anti- occupied input modes are connected to the selected out- bunching (fermions) [27]. Similar effects have also been put modes [13], and \perm" denotes the permanent [17]. observed in larger setups, with more particles, and have The latter lies at the heart of the contemporary inter- hence been proposed as hallmarks for many-boson [28] or est in the BosonSampling problem: In order to evalu- many-fermion [29] behaviour. However, for larger setups ate the many-body wave function, and thus the sampling one expects a much richer phenomenology due to many- statistics, we must calculate permanents. A permanent, body interference [15]. For BosonSampling, bunching be- however, is \hard" to compute, as there is no algorithm haviour as such is not a sufficient tool for certification, that can do so in polynomial time [2, 17, 18]. Thus, the as it can easily be achieved by the so-called mean-field BosonSampler is a physical system that efficiently sam- sampler [21] which was inspired by semiclassical models ples bosons according to the bosonic many-body wave [30]. These devices are designed to replicate the bunch- function, even though this many-body state cannot be ing behaviour by approximating the many-body output calculated by a classical computer in polynomial time. state by a macroscopically populated single-particle state Its realisation would in this perspective invalidate the with random phases added. Averaging over the random extended Church-Turing thesis. This strength of Boson- phases mimics boson-like bunching. However, all rel- Sampling apparently also implies a profound weakness: ative phases are destroyed in the averaging procedure As it is impossible to compute the many-body wave func- and therefore all many-body interference effects are van- tion, one cannot certify that a given experimental output quished. This type of sampling is easily simulated by unambiguously stems from sampling bosons. Monte Carlo methods { hence we refer to such sampled Rather than joining in the mathematical debate about particles as \simulated bosons"{ stressing the importance the similarity of BosonSampling to sampling over other of setting this type of sampling apart from the actual distributions [19, 20] or setting a benchmark based on BosonSampling. This, however, can be done, since we an analytically treatable instance outside the computa- here introduce a method to successfully differentiate the tionally hard generic case [21], we here tackle the problem transport processes of all these different particle types. from a physics perspective inspired by statistical mechan- ics. Borrowing from the vast set of techniques applied in this field, we study transport processes in scattering sys- tems (e.g. a photonic network), given by a unitary ma- III. RANDOM MATRIX METHODS trix U. We show that, by combining quantum optics with methods found in statistical physics and random matrix The scattering matrix U that describes the photonic theory, it is indeed possible to identify signatures of gen- circuit in the BosonSampling setup is randomly sampled uine bosonic interference with manageable overhead. from the Haar measure [31{33]. Therefore it is only nat- ural to treat this problem in a framework of statistics and random matrix theory (RMT) [31, 34{37]. Often the lack II. STATISTICAL SIGNATURES OF of grasp on the statistical distribution of the full many- INTERFERENCE body wave function is put forth as the core of the certi- fication problem. Exhaustive statistical characterisation It must be stressed that the resulting many-body wave of the many-body state would require the full distribu- function of a scattering process, such as manifested in a tion of permanents over the set of unitary matrices. To BosonSampler, is determined by several factors. One con date, only the first moment of this distribution is known divide them into those which are of a statistical origin and [38] and it is not enough to provide certification, while those which are dynamical in nature. The former concern sufficiently precise higher order moments are out of reach all effects related to the quantum statistics (e.g. the Pauli [2] . The reason is that, in terms of the quantum state, exclusion principle), whereas the latter involve