The evolution of bosons undergoing arbitrary linear unitary transformations quickly becomes hard to predict using classical computers as we increase the number of particles and modes. Photons propagating in a multiport interferometer naturally solve this so-called boson sampling problem(1), thereby motivating the development of technologies that enable precise control of multiphoton interference in large interferometers(2-4). Here, we use novel three-dimensional manufacturing techniques to achieve simultaneous control of all the parameters describing an arbitrary interferometer. We implement a small instance of the boson sampling problem by studying three-photon interference in a five-mode integrated interferometer, confirming the quantum-mechanical predictions. Scaled-up versions of this set-up are a promising way to demonstrate the computational advantage of quantum systems over classical computers. The possibility of implementing arbitrary linear-optical interferometers may also find applications in high-precision measurements and quantum communication(5)

A boson sampling device is a specialized quantum computer that solves a problem that is strongly believed to be computationally hard for classical computers. Recently, a number of small-scale implementations have been reported, all based on multiphoton interference in multimode interferometers. Akin to several quantum simulation and computation tasks, an open problem in the hard-to-simulate regime is to what extent the correctness of the boson sampling outcomes can be certified. Here, we report new boson sampling experiments on larger photonic chips and analyse the data using a recently proposed scalable statistical test. We show that the test successfully validates small experimental data samples against the hypothesis that they are uniformly distributed. In addition, we 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

A novel experiment supports quantum computation using photonic circuits to greatly increase quantum device speed.

Gibbons et al. [Phys. Rev. A 70, 062101(2004)] have recently defined a class of discrete Wigner functions W to represent quantum states in a Hilbert space with finite dimension. We show that the only pure states having non-negative W for all such functions are stabilizer states, as conjectured by one of us [Phys. Rev. A 71, 042302 (2005)]. We also show that the unitaries preserving non-negativity of W for all definitions of W form a subgroup of the Clifford group. This means pure states with non-negative W and their associated unitary dynamics are classical in the sense of admitting an efficient classical simulation scheme using the stabilizer formalism.

Gibbons et al. [Phys. Rev. A 70, 062101 (2004)] have recently defined a class of discrete Wigner functions W to represent quantum states in a finite Hilbert space dimension d. I characterize the set C d of states having non-negative W simultaneously in all definitions of W in this class. For d ≤ 5 I show C d is the convex hull of stabilizer states. This supports the conjecture that negativity of W is necessary for exponential speedup in pure-state quantum computation.