Boson sampling

From HandWiki
Short description: Restricted model of non-universal quantum computation

Boson sampling is a restricted model of non-universal quantum computation introduced by Scott Aaronson and Alex Arkhipov[1] after the original work of Lidror Troyansky and Naftali Tishby, that explored possible usage of boson scattering to evaluate expectation values of permanents of matrices.[2] The model consists of sampling from the probability distribution of identical bosons scattered by a linear interferometer. Although the problem is well defined for any bosonic particles, its photonic version is currently considered as the most promising platform for a scalable implementation of a boson sampling device, which makes it a non-universal approach to linear optical quantum computing. Moreover, while not universal, the boson sampling scheme is strongly believed to implement computing tasks which are hard to implement with classical computers by using far fewer physical resources than a full linear-optical quantum computing setup. This advantage makes it an ideal candidate for demonstrating the power of quantum computation in the near term.

Description

Consider a multimode linear-optical circuit of N modes that is injected with M indistinguishable single photons (N>M). Then, the photonic implementation of the boson sampling task consists of generating a sample from the probability distribution of single-photon measurements at the output of the circuit. Specifically, this requires reliable sources of single photons (currently the most widely used ones are parametric down-conversion crystals), as well as a linear interferometer. The latter can be fabricated, e.g., with fused-fiber beam splitters,[3] through silica-on-silicon[4] or laser-written[5][6][7] integrated interferometers, or electrically and optically interfaced optical chips.[8] Finally, the scheme also necessitates high efficiency single photon-counting detectors, such as those based on current-biased superconducting nanowires, which perform the measurements at the output of the circuit. Therefore, based on these three ingredients, the boson sampling setup does not require any ancillas, adaptive measurements or entangling operations, as does e.g. the universal optical scheme by Knill, Laflamme and Milburn (the KLM scheme). This makes it a non-universal model of quantum computation, and reduces the amount of physical resources needed for its practical realization.

Specifically, suppose the linear interferometer is described by an N×N unitary matrix [math]\displaystyle{ U, }[/math] which performs a linear transformation of the creation (annihilation) operators [math]\displaystyle{ a^\dagger_i }[/math] [math]\displaystyle{ (a_i^{}) }[/math] of the circuit's input modes:

[math]\displaystyle{ b^\dagger_j=\sum_{i=1}^N U_{ji}a^\dagger_i \;\;(b_j=\sum_{i=1}^N U_{ji}^* a_i). }[/math]

Here i (j) labels the input (output) modes, and [math]\displaystyle{ b^\dagger_j }[/math] [math]\displaystyle{ (b_j^{}) }[/math] denotes the creation (annihilation) operators of the output modes (i,j=1,..., N). An interferometer characterized by some unitary [math]\displaystyle{ U }[/math] naturally induces a unitary evolution [math]\displaystyle{ \varphi_M(U) }[/math] on [math]\displaystyle{ M }[/math]-photon states. Moreover, the map [math]\displaystyle{ \varphi_M }[/math] is a homomorphism between [math]\displaystyle{ N }[/math]-dimensional unitary matrices, and unitaries acting on the exponentially large Hilbert space of the system: simple counting arguments show that the size of the Hilbert space corresponding to a system of M indistinguishable photons distributed among N modes is given by the binomial coefficient [math]\displaystyle{ \tbinom {M+N-1} {M} }[/math] (notice that since this homomorphism exists, not all values of [math]\displaystyle{ W }[/math] are possible).

Suppose the interferometer is injected with an input state of single photons [math]\displaystyle{ |\psi_{\text{in}}\rangle= }[/math][math]\displaystyle{ |s_1, s_2, ..., s_N \rangle }[/math] with [math]\displaystyle{ \sum_{k=1}^{N}s_k=M }[/math] [math]\displaystyle{ (s_k }[/math] is the number of photons injected into the kth mode). Then, the state [math]\displaystyle{ |\psi_{\text{out}}\rangle }[/math] at

the output of the circuit can be written down as [math]\displaystyle{ |\psi_{\text{out}}\rangle=\varphi_M(U) |s_1, s_2, ..., s_{N} \rangle. }[/math] A simple way to understand the homomorphism between [math]\displaystyle{ U }[/math] and [math]\displaystyle{ \varphi_M(U) }[/math] is the following :

We define the isomorphism for the basis states: [math]\displaystyle{ P_{|s_1, s_2, ..., s_{N} \rangle}( }[/math]x[math]\displaystyle{ )\equiv x^{s_1}_1{\cdot}x^{s_2}_2{\cdot\cdot\cdot}x^{s_{N}}_{N} }[/math], and get the following result : [math]\displaystyle{ P_{{\varphi(U)}|s_1, s_2, ..., s_{N} \rangle}( }[/math]x[math]\displaystyle{ )= P_{|s_1, s_2, ..., s_{N} \rangle}(U }[/math]x[math]\displaystyle{ ) }[/math]

Consequently, the probability [math]\displaystyle{ p(t_1, t_2, ..., t_N) }[/math] of detecting [math]\displaystyle{ t_k }[/math] photons at the kth output mode is given as[9]

[math]\displaystyle{ p(t_1, t_2, ..., t_N)=|\langle t_1, t_2, ..., t_N| \psi_{\text{out}}\rangle|^2=\frac{|\text{Perm}\,U_{S,T}|^2}{t_1!\cdot\cdot\cdot t_N! s_1!\cdot\cdot\cdot s_N!}. }[/math]

In the above expression [math]\displaystyle{ \text{Perm}\,U_{S,T} }[/math] stands for the permanent of the matrix [math]\displaystyle{ U_{S,T}, }[/math] which is obtained from the unitary [math]\displaystyle{ U }[/math] by repeating [math]\displaystyle{ s_i }[/math] times its ith column and [math]\displaystyle{ t_j }[/math] times its jth row. Usually, in the context of the boson sampling problem the input state is taken of a standard form, denoted as [math]\displaystyle{ |1_M\rangle, }[/math] for which each of the first M modes of the interferometer is injected with a single photon. In this case the above expression reads:

[math]\displaystyle{ p(t_1, t_2, ..., t_N)=|\langle t_1, t_2, ..., t_N| \varphi_M(U) |1_M\rangle|^2=\frac{|\text{Perm}\,U_{T}|^2}{t_1!\cdot\cdot\cdot t_N!}, }[/math]

where the matrix [math]\displaystyle{ U_{T} }[/math] is obtained from [math]\displaystyle{ U }[/math] by keeping its first M columns and repeating [math]\displaystyle{ t_j }[/math] times its jth row. Subsequently, the task of boson sampling is to sample either exactly or approximately from the above output distribution, given the unitary [math]\displaystyle{ U }[/math] describing the linear-optical circuit as input. As detailed below, the appearance of the permanent in the corresponding statistics of single-photon measurements contributes to the hardness of the boson sampling problem.

Complexity of the problem

The main reason of the growing interest towards the model of boson sampling is that despite being non-universal it is strongly believed to perform a computational task that is intractable for a classical computer. One of the main reasons behind this is that the probability distribution, which the boson sampling device has to sample from, is related to the permanent of complex matrices. The computation of the permanent is in the general case an extremely hard task: it falls in the #P-hard complexity class. Moreover, its approximation to within multiplicative error is a #P-hard problem as well.

All current proofs of the hardness of simulating boson sampling on a classical computer rely on the strong computational consequences that its efficient simulation by a classical algorithm would have. Namely, these proofs show that an efficient classical simulation would imply the collapse of the polynomial hierarchy to its third level, a possibility that is considered very unlikely[citation needed] by the computer science community, due to its strong computational implications (in line with the strong implications of P=NP problem).

Exact sampling

The hardness proof of the exact boson sampling problem can be achieved following two distinct paths. Specifically, the first one uses the tools of the computational complexity theory and combines the following two facts:

  1. Approximating the probability [math]\displaystyle{ p(t_1, t_2, ..., t_N) }[/math] of a specific measurement outcome at the output of a linear interferometer to within a multiplicative constant is a #P-hard problem (due to the complexity of the permanent)
  2. If a polynomial-time classical algorithm for exact boson sampling existed, then the above probability [math]\displaystyle{ p(t_1, t_2, ..., t_N) }[/math] could have been approximated to within a multiplicative constant in the BPPNPcomplexity class,[10] i.e. within the third level of the polynomial hierarchy

When combined these two facts along with Toda's theorem result in the collapse of the polynomial hierarchy, which as mentioned above is highly unlikely to occur. This leads to the conclusion that there is no classical polynomial-time algorithm for the exact boson sampling problem.

On the other hand, the alternative proof is inspired by a similar result for another restricted model of quantum computation – the model of instantaneous quantum computing.[11] Namely, the proof uses the KLM scheme, which says that linear optics with adaptive measurements is universal for the class BQP. It also relies on the following facts:

  1. Linear optics with postselected measurements is universal for PostBQP, i.e. quantum polynomial-time class with postselection (a straightforward corollary of the KLM construction)
  2. The class PostBQP is equivalent to PP (i.e. the probabilistic polynomial-time class): PostBQP = PP[12]
  3. The existence of a classical boson sampling algorithm implies the simulability of postselected linear optics in the PostBPP class (that is, classical polynomial-time with postselection, known also as the class BPPpath)

Again, the combination of these three results, as in the previous case, results in the collapse of the polynomial hierarchy. This makes the existence of a classical polynomial-time algorithm for the exact boson sampling problem highly unlikely.

The best proposed classical algorithm for exact boson sampling runs in time [math]\displaystyle{ O(n2^n+mn^2) }[/math] for a system with n photons and m output modes.[13] This algorithm leads to an estimate of 50 photons required to demonstrate quantum supremacy with boson sampling. There is also an open-source implementation in R.

Approximate sampling

The above hardness proofs are not applicable to the realistic implementation of a boson sampling device, due to the imperfection of any experimental setup (including the presence of noise, decoherence, photon losses, etc.). Therefore, for practical needs one necessitates the hardness proof for the corresponding approximate task. The latter consists of sampling from a probability distribution that is [math]\displaystyle{ \varepsilon }[/math] close to the one given by [math]\displaystyle{ p(t_1, t_2, ..., t_N) }[/math], in terms of the total variation distance. The understanding of the complexity of this problem relies then on several additional assumptions, as well as on two yet unproven conjectures.

Specifically, the proofs of the exact boson sampling problem cannot be directly applied here, since they are based on the #P-hardness of estimating the exponentially-small probability [math]\displaystyle{ p(t_1, t_2, ..., t_N) }[/math] of a specific measurement outcome. Thus, if a sampler "knew" which [math]\displaystyle{ p(t_1, t_2, ..., t_N) }[/math] we wanted to estimate, then it could adversarially choose to corrupt it (as long as the task is approximate). That is why, the idea is to "hide" the above probability [math]\displaystyle{ p(t_1, t_2, ..., t_N) }[/math] into an N×N random unitary matrix. This can be done knowing that any M×M submatrix of a unitary [math]\displaystyle{ U }[/math], randomly chosen according to the Haar measure, is close in variation distance to a matrix of i.i.d. complex random Gaussian variables, provided that M ≤ N1/6 (Haar random matrices can be directly implemented in optical circuits by mapping independent probability density functions for their parameters, to optical circuit components, i.e., beam splitters and phase shifters[14]). Therefore, if the linear optical circuit implements a Haar random unitary matrix, the adversarial sampler will not be able to detect which of the exponentially many probabilities [math]\displaystyle{ p(t_1, t_2, ..., t_N) }[/math] we care about, and thus will not be able to avoid its estimation. In this case [math]\displaystyle{ p(t_1, t_2, ..., t_N) }[/math] is proportional to the squared absolute value of the permanent of the M×M matrix [math]\displaystyle{ X\sim \mathcal{N}(0, 1)^{M\times M}_{\mathcal{C}} }[/math] of i.i.d. Gaussians, smuggled inside [math]\displaystyle{ U. }[/math] These arguments bring us to the first conjecture of the hardness proof of approximate boson sampling problem – the permanent-of-Gaussians conjecture:

  • Approximating the permanent of a matrix [math]\displaystyle{ X\sim \mathcal{N}(0, 1)^{M\times M}_{\mathcal{C}} }[/math] of i.i.d. Gaussians to within multiplicative error is a #P-hard task.

Moreover, the above conjecture can be linked to the estimation of [math]\displaystyle{ |\text{Perm}\,X|^2, }[/math] which the given probability of a specific measurement outcome is proportional to. However to establish this link one has to rely on another conjecture – the permanent anticoncentration conjecture:

  • There exists a polynomial Q such that for any M and δ>0 the probability over M×M matrices [math]\displaystyle{ X\sim \mathcal{N}(0, 1)^{M\times M}_{\mathcal{C}} }[/math] of the following inequality to hold is smaller than δ: [math]\displaystyle{ |\,\text{Perm}\,X|\lt \frac{\sqrt{M!}}{Q(M, 1/\delta)}. }[/math]

By making use of the above two conjectures (which have several evidences of being true), the final proof eventually states that the existence of a classical polynomial-time algorithm for the approximate boson sampling task implies the collapse of the polynomial hierarchy. It is also worth mentioning another fact important to the proof of this statement, namely the so-called bosonic birthday paradox (in analogy with the well-known birthday paradox). The latter states that if M identical bosons are scattered among NM2 modes of a linear interferometer with no two bosons in the same mode, then with high probability two bosons will not be found in the same output mode either.[15] This property has been experimentally observed[16] with two and three photons in integrated interferometers of up to 16 modes. On the one hand this feature facilitates the implementation of a restricted boson sampling device. Namely, if the probability of having more than one photon at the output of a linear optical circuit is negligible, one does not require photon-number-resolving detectors anymore: on-off detectors will be sufficient for the realization of the setup.

Although the probability [math]\displaystyle{ p(t_1, t_2, ..., t_N) }[/math] of a specific measurement outcome at the output of the interferometer is related to the permanent of submatrices of a unitary matrix, a boson sampling machine does not allow its estimation. The main reason behind is that the corresponding detection probability is usually exponentially small. Thus, in order to collect enough statistics to approximate its value, one has to run the quantum experiment for exponentially long time. Therefore, the estimate obtained from a boson sampler is not more efficient that running the classical polynomial-time algorithm by Gurvits for approximating the permanent of any matrix to within additive error.[17]

Variants

Scattershot boson sampling

As already mentioned above, for the implementation of a boson sampling machine one necessitates a reliable source of many indistinguishable photons, and this requirement currently remains one of the main difficulties in scaling up the complexity of the device. Namely, despite recent advances in photon generation techniques using atoms, molecules, quantum dots and color centers in diamonds, the most widely used method remains the parametric down-conversion (PDC) mechanism. The main advantages of PDC sources are the high photon indistinguishability, collection efficiency and relatively simple experimental setups. However, one of the drawbacks of this approach is its non-deterministic (heralded) nature. Specifically, suppose the probability of generating a single photon by means of a PDC crystal is ε. Then, the probability of generating simultaneously M single photons is εM, which decreases exponentially with M. In other words, in order to generate the input state for the boson sampling machine, one would have to wait for exponentially long time, which would kill the advantage of the quantum setup over a classical machine. Subsequently, this characteristic restricted the use of PDC sources to proof-of-principle demonstrations of a boson sampling device.

Recently, however, a new scheme has been proposed to make the best use of PDC sources for the needs of boson sampling, greatly enhancing the rate of M-photon events. This approach has been named scattershot boson sampling,[18][19] which consists of connecting N (N>M) heralded single-photon sources to different input ports of the linear interferometer. Then, by pumping all N PDC crystals with simultaneous laser pulses, the probability of generating M photons will be given as [math]\displaystyle{ \tbinom {N} {M}\varepsilon^M. }[/math] Therefore, for NM, this results in an exponential improvement in the single photon generation rate with respect to the usual, fixed-input boson sampling with M sources. This setting can also be seen as a problem of sampling N two-mode squeezed vacuum states generated from N PDC sources.

Scattershot boson sampling is still intractable for a classical computer: in the conventional setup we fixed the columns that defined our M×M submatrix and only varied the rows, whereas now we vary the columns too, depending on which M out of N PDC crystals generated single photons. Therefore, the proof can be constructed here similar to the original one. Furthermore, scattershot boson sampling has been also recently implemented with six photon-pair sources coupled to integrated photonic circuits of nine and thirteen modes, being an important leap towards a convincing experimental demonstration of the quantum computational supremacy.[20] The scattershot boson sampling model can be further generalized to the case where both legs of PDC sources are subject to linear optical transformations (in the original scattershot case, one of the arms is used for heralding, i.e., it goes through the identity channel). Such a twofold scattershot boson sampling model is also computationally hard, as proven by making use of the symmetry of quantum mechanics under time reversal.[21]

Gaussian boson sampling

Another photonic implementation of boson sampling concerns Gaussian input states, i.e. states whose quasiprobability Wigner distribution function is a Gaussian one. The hardness of the corresponding sampling task can be linked to that of scattershot boson sampling.[22] Namely, the latter can be embedded into the conventional boson sampling setup with Gaussian inputs. For this, one has to generate two-mode entangled Gaussian states and apply a Haar-random unitary [math]\displaystyle{ U }[/math] to their "right halves", while doing nothing to the others. Then we can measure the "left halves" to find out which of the input states contained a photon before we applied [math]\displaystyle{ U. }[/math] This is precisely equivalent to scattershot boson sampling, except for the fact that our measurement of the herald photons has been deferred till the end of the experiment, instead of happening at the beginning. Therefore, approximate Gaussian boson sampling can be argued to be hard under precisely the same complexity assumption as can approximate ordinary or scattershot boson sampling.[19] Gaussian resources can be employed at the measurement stage, as well. Namely, one can define a boson sampling model, where a linear optical evolution of input single-photon states is concluded by Gaussian measurements (more specifically, by eight-port homodyne detection that projects each output mode onto a squeezed coherent state). Such a model deals with continuous-variable measurement outcome, which, under certain conditions, is a computationally hard task.[21] Finally, a linear optics platform for implementing a boson sampling experiment where input single-photons undergo an active (non-linear) Gaussian transformation is also available. This setting makes use of a set of two-mode squeezed vacuum states as a prior resource, with no need of single-photon sources or in-line nonlinear amplification medium.[23] This variant uses the Hafnian, a generalization of the permanent.[22]

Classically simulable boson sampling tasks

The above results state that the existence of a polynomial-time classical algorithm for the original boson sampling scheme with indistinguishable single photons (in the exact and approximate cases), for scattershot, as well as for the general Gaussian boson sampling problems is highly unlikely. Nevertheless, there are some non-trivial realizations of the boson sampling problem that allow for its efficient classical simulation. One such example is when the optical circuit is injected with distinguishable single photons. In this case, instead of summing the probability amplitudes corresponding to photonic many-particle paths, one has to sum the corresponding probabilities (i.e. the squared absolute values of the amplitudes). Consequently, the detection probability [math]\displaystyle{ p(t_1, t_2, ..., t_N) }[/math] will be proportional to the permanent of submatrices of (component-wise) squared absolute value of the unitary [math]\displaystyle{ U. }[/math] The latter is now a non-negative matrix. Therefore, although the exact computation of the corresponding permanent is a #P-complete problem, its approximation can be performed efficiently on a classical computer, due to the seminal algorithm by Jerrum, Sinclaire and Vigoda.[24] In other words, approximate boson sampling with distinguishable photons is efficiently classically simulable.

Another instance of classically simulable boson sampling setups consists of sampling from the probability distribution of coherent states injected into the linear interferometer. The reason is that at the output of a linear optical circuit coherent states remain such, and do not create any quantum entanglement among the modes. More precisely, only their amplitudes are transformed, and the transformation can be efficiently calculated on a classical computer (the computation comprises matrix multiplication). This fact can be used to perform corresponding sampling tasks from another set of states: so-called classical states, whose Glauber-Sudarshan P function is a well-defined probability distribution. These states can be represented as a mixture of coherent states due to the optical equivalence theorem. Therefore, picking random coherent states distributed according to the corresponding P function, one can perform efficient classical simulation of boson sampling from this set of classical states.[25][26]

Experimental implementations

The above requirements for the photonic boson sampling machine allow for its small-scale construction by means of existing technologies. Consequently, shortly after the theoretical model was introduced, four different groups[3][4][6][7] simultaneously reported its realization.

Specifically, this included the implementation of boson sampling with:

  • two and three photons scattered by a six-mode linear unitary transformation (represented by two orthogonal polarizations in 3×3 spatial modes of a fused-fiber beam splitter) by a collaboration between the University of Queensland and MIT[3]
  • three photons in different modes of a six-mode silica-on-silicon waveguide circuit, by a collaboration between Universities of Oxford, Shanghai, London and Southampton[4]
  • three photons in a femtosecond laser-written five-mode interferometer, by a collaboration between universities of Vienna and Jena[6]
  • three photons in a femtosecond laser-written five-mode interferometer implementing a Haar-random unitary transformation, by a collaboration between Milan's Institute of Photonics and Nanotechnology, Universidade Federal Fluminense and Sapienza University of Rome.[7]

Later on, more complex boson sampling experiments have been performed, increasing the number of spatial modes of random interferometers up to 13[27] and 9[28] modes, and realizing a 6-mode fully reconfigurable integrated circuit.[8] These experiments altogether constitute the proof-of-principle demonstrations of an operational boson sampling device, and route towards its larger-scale implementations.

Implementation of scattershot boson sampling

A first scattershot boson sampling experiment has been recently implemented[20] using six photon-pair sources coupled to integrated photonic circuits with 13 modes. The 6 photon-pair sources were obtained via type-II PDC processes in 3 different nonlinear crystals (exploiting the polarization degree of freedom). This allowed to sample simultaneously between 8 different input states. The 13-mode interferometer was realized by femtosecond laser-writing technique on alumino-borosilicate glas.

This experimental implementation represents a leap towards an experimental demonstration of the quantum computational supremacy.[20]

Proposals with alternative photonic platform

There are several other proposals for the implementation of photonic boson sampling. This includes, e.g., the scheme for arbitrarily scalable boson sampling using two nested fiber loops. In this case, the architecture employs time-bin encoding, whereby the incident photons form a pulse train entering the loops. Meanwhile, dynamically controlled loop coupling ratios allow the construction of arbitrary linear interferometers. Moreover, the architecture employs only a single point of interference and may thus be easier to stabilize than other implementations.[29]

Another approach relies on the realization of unitary transformations on temporal modes based on dispersion and pulse shaping. Namely, passing consecutively heralded photons through time-independent dispersion and measuring the output time of the photons is equivalent to a boson sampling experiment. With time-dependent dispersion, it is also possible to implement arbitrary single-particle unitaries. This scheme requires a much smaller number of sources and detectors and do not necessitate a large system of beam splitters.[30]

Certification

The output of a universal quantum computer running, for example, Shor's factoring algorithm, can be efficiently verified classically, as is the case for all problems in the non-deterministic polynomial-time (NP) complexity class. It is however not clear that a similar structure exists for the boson sampling scheme. Namely, as the latter is related to the problem of estimating matrix permanents (falling into #P-hard complexity class), it is not understood how to verify correct operation for large versions of the setup. Specifically, the naive verification of the output of a boson sampler by computing the corresponding measurement probabilities represents a problem intractable for a classical computer.

A first relevant question is whether it is possible or not to distinguish between uniform and boson-sampling distributions by performing a polynomial number of measurements. The initial argument introduced in Ref.[31] stated that as long as one makes use of symmetric measurement settings the above is impossible (roughly speaking a symmetric measurement scheme does not allow for labeling the output modes of the optical circuit). However, within current technologies the assumption of a symmetric setting is not justified (the tracking of the measurement statistics is fully accessible), and therefore the above argument does not apply. It is then possible to define a rigorous and efficient test to discriminate the boson sampling statistics from an unbiased probability distribution.[32] The corresponding discriminator is correlated to the permanent of the submatrix associated with a given measurement pattern, but can be efficiently calculated. This test has been applied experimentally to distinguish between a boson sampling and a uniform distribution in the 3-photon regime with integrated circuits of 5, 7, 9[28] and 13 modes.[27]

The test above does not distinguish between more complex distributions, such as quantum and classical, or between fermionic and bosonic statistics. A physically motivated scenario to be addressed is the unwanted introduction of distinguishability between photons, which destroys quantum interference (this regime is readily accessible experimentally, for example by introducing temporal delay between photons). The opportunity then exists to tune between ideally indistinguishable (quantum) and perfectly distinguishable (classical) data and measure the change in a suitably constructed metric. This scenario can be addressed by a statistical test which performs a one-on-one likelihood comparison of the output probabilities. This test requires the calculation of a small number of permanents, but does not need the calculation of the full expected probability distribution. Experimental implementation of the test has been successfully reported in integrated laser-written circuits for both the standard boson sampling[27] (3 photons in 7-, 9- and 13-mode interferometers) and the scattershot version[20] (3 photons in 9- and 13-mode interferometers with different input states). Another possibility is based on the bunching property of indinguishable photons. One can analyze the probability to find a k-fold coincidence measurement outcomes (without any multiply populated input mode), which is significantly higher for distinguishable particles than for bosons due to the bunching tendency of the latters.[28] Finally, leaving the space of random matrices one may focus on specific multimode setups with certain features. In particular, the analysis of the effect of bosonic clouding (the tendency for bosons to favor events with all particles in the same half of the output array of a continuous-time many-particle quantum walk) has been proven to discriminate the behavior of distinguishable and indistinguishable particles in this specific platform.[28]

A different approach to confirm that the boson sampling machine behaves as the theory predicts is to make use of fully reconfigurable optical circuits. With large-scale single-photon and multiphoton interference verified with predictable multimode correlations in a fully characterized circuit, a reasonable assumption is that the system maintains correct operation as the circuit is continuously reconfigured to implement a random unitary operation. To this end, one can exploit quantum suppression laws (the probability of specific input-output combinations is suppressed when the linear interferometer is described by a Fourier matrix or other matrices with relevant symmetries).[33] These suppression laws can be classically predicted in efficient ways. This approach allows also to exclude other physical models, such as mean-field states, which mimic some collective multiparticle properties (including bosonic clouding). The implementation of a Fourier matrix circuit in a fully reconfigurable 6-mode device has been reported,[8] and experimental observations of the suppression law have been shown for 2 photons in 4- and 8-mode Fourier matrices.[34]

Alternative implementations and applications

Apart from the photonic realization of the boson sampling task, several other setups have been proposed. This includes, e.g., the encoding of bosons into the local transverse phonon modes of trapped ions. The scheme allows deterministic preparation and high-efficiency readout of the corresponding phonon Fock states and universal manipulation of the phonon modes through a combination of inherent Coulomb interaction and individual phase shifts.[35] This scheme is scalable and relies on the recent advances in ion trapping techniques (several dozens of ions can be successfully trapped, for example, in linear Paul traps by making use of anharmonic axial potentials).

Another platform for implementing the boson sampling setup is a system of interacting spins: recent observation show that boson sampling with M particles in N modes is equivalent to the short-time evolution with M excitations in the XY model of 2N spins.[36] One necessitates several additional assumptions here, including small boson bunching probability and efficient error postselection. This scalable scheme, however, is rather promising, in the light of considerable development in the construction and manipulation of coupled superconducting qubits and specifically the D-Wave machine.

The task of boson sampling shares peculiar similarities with the problem of determining molecular vibronic spectra: a feasible modification of the boson sampling scheme results in a setup that can be used for the reconstruction of a molecule's Franck–Condon profiles (for which no efficient classical algorithm is currently known). Specifically, the task now is to input specific squeezed coherent states into a linear interferometer that is determined by the properties of the molecule of interest.[37] Therefore, this prominent observation makes the interest towards the implementation of the boson sampling task to get spread well beyond the fundamental basis.

It has also been suggested to use a superconducting resonator network Boson Sampling device as an interferometer. This application is assumed to be practical, as small changes in the couplings between the resonators will change the sampling results. Sensing of variation in the parameters capable of altering the couplings is thus achieved, when comparing the sampling results to an unaltered reference.[38]

Variants of the boson sampling model have been used to construct classical computational algorithms, aimed, e.g., at the estimation of certain matrix permanents (for instance, permanents of positive-semidefinite matrices related to the corresponding open problem in computer science[39]) by combining tools proper to quantum optics and computational complexity.[40]

Coarse-grained boson sampling has been proposed as a resource of decision and function problems that are computationally hard, and may thus have cryptographic applications.[41][42][43] The first related proof-of-principle experiment was performed with a photonic boson-sampling machine (fabricated by a direct femtosecond laser-writing technique),[44] and confirmed many of the theoretical predictions.

Gaussian boson sampling has been analyzed as a search component for computing binding propensity between molecules of pharmacological interest as well.[45]

See also

References

  1. Aaronson, Scott; Arkhipov, Alex (2013). "The computational complexity of linear optics". Theory of Computing 9: 143–252. doi:10.4086/toc.2013.v009a004. 
  2. Troyansky, Lidror; Tishby, Naftali (1996). “Permanent uncertainty: On the quantum evaluation of the determinant and the permanent of a matrix”.  Proceedings of PhysComp, 1996: 314-318.
  3. 3.0 3.1 3.2 Broome, Matthew; Fedrizzi, Alessandro; Rahimi-Keshari, Saleh; Dove, Justin; Aaronson, Scott; Ralph, Timothy; White, Andrew (2013). "Photonic boson sampling in a tunable circuit". Science 339 (6121): 794–798. doi:10.1126/science.1231440. PMID 23258411. Bibcode2013Sci...339..794B. 
  4. 4.0 4.1 4.2 Spring, Justin; Metcalf, Benjamin; Humphreys, Peter; Kolthammer, Steven; Jin, Xian-Min; Barbieri, Marco; Datta, Animesh; Thomas-Peter, Nicholas et al. (2013). "Boson sampling on a photonic chip". Science 339 (6121): 798–801. doi:10.1126/science.1231692. PMID 23258407. Bibcode2013Sci...339..798S. 
  5. Szameit, Alexander; Dreisow, Felix; Pertsch, Thomas; Nolte, Stefan; Tünnermann, Andreas (2007). "Control of directional evanescent coupling in fs laser written waveguides". Optics Express 15 (4): 1579–1587. doi:10.1364/OE.15.001579. PMID 19532390. Bibcode2007OExpr..15.1579S. 
  6. 6.0 6.1 6.2 Tillmann, Max; Dakic, Borivoje; Heilmann, Rene; Nolte, Stefan; Szameit, Alexander; Walther, Philip (2013). "Experimental boson sampling". Nature Photonics 7 (7): 540–544. doi:10.1038/nphoton.2013.102. Bibcode2013NaPho...7..540T. 
  7. 7.0 7.1 7.2 Crespi, Andrea; Osellame, Roberto; Ramponi, Roberta; Brod, Daniel; Galvao, Ernesto; Spagnolo, Nicolò; Vitelli, Chiara; Maiorino, Enrico et al. (2013). "Integrated multimode interferometers with arbitrary designs for photonic boson sampling". Nature Photonics 7 (7): 545–549. doi:10.1038/nphoton.2013.112. Bibcode2013NaPho...7..545C. 
  8. 8.0 8.1 8.2 Carolan, Jacques et al. (2015). "Universal linear optics". Science 349 (6249): 711–716. doi:10.1126/science.aab3642. PMID 26160375. 
  9. Scheel, Stefan (2008). "Permanents in linear optical networks". Acta Physica Slovaca 58 (5): 675. doi:10.2478/v10155-010-0092-x. Bibcode2004quant.ph..6127S. 
  10. "Polynomial-time hierarchy". https://complexityzoo.uwaterloo.ca. 
  11. Bremner, Michael; Jozsa, Richard; Shepherd, Dan (2011). "Classical simulation of commuting quantum computations implies collapse of the polynomial hierarchy". Proc. R. Soc. A 467 (2126): 459–472. doi:10.1098/rspa.2010.0301. Bibcode2011RSPSA.467..459B. 
  12. Aaronson, Scott (2005). "Quantum computing, postselection, and probabilistic polynomial-time". Proc. R. Soc. A 461 (2063): 3473–3482. doi:10.1098/rspa.2005.1546. Bibcode2005RSPSA.461.3473A. 
  13. Clifford, Peter; Clifford, Raphaël (2017-06-05). "The Classical Complexity of Boson Sampling". arXiv:1706.01260 [cs.DS].
  14. Russell, Nicholas; Chakhmakhchyan, Levon; O'Brien, Jeremy; Laing, Anthony (2017). "Direct dialling of Haar random unitary matrices". New J. Phys. 19 (3): 033007. doi:10.1088/1367-2630/aa60ed. Bibcode2017NJPh...19c3007R. 
  15. Arkhipov, Alex; Kuperberg, Greg (2012). "The bosonic birthday paradox". Geometry & Topology Monographs. Proceedings of the Freedman Fest 18: 1–7. doi:10.2140/gtm.2012.18.1. 
  16. Spagnolo, Nicolò et al. (2013). "General Rules for Bosonic Bunching in Multimode Interferometers". Phys. Rev. Lett. 111 (13): 130503. doi:10.1103/PhysRevLett.111.130503. PMID 24116759. Bibcode2013PhRvL.111m0503S. 
  17. Gurvits, Leonid (2005). "On the complexity of mixed discriminants and related problems". Mathematical Foundations of Computer Science: 447–458. 
  18. Lund, Austin et al. (2014). "Boson sampling from a Gaussian state". Phys. Rev. Lett. 113 (10): 100502. doi:10.1103/PhysRevLett.113.100502. PMID 25238340. Bibcode2014PhRvL.113j0502L. 
  19. 19.0 19.1 Aaronson, Scott (8 November 2013). "Scattershot BosonSampling: a new approach to scalable BosonSampling experiments". http://www.scottaaronson.com/blog/?p=1579. 
  20. 20.0 20.1 20.2 20.3 Bentivegna, Marco; Spagnolo, Nicolo; Vitelli, Chiara; Flamini, Fulvio; Viggianiello, Niko; Latmiral, Ludovico; Mataloni, Paolo; Brod, Daniel et al. (2015). "Experimental scattershot boson sampling". Science Advances 1 (3): e1400255. doi:10.1126/sciadv.1400255. PMID 26601164. Bibcode2015SciA....1E0255B. 
  21. 21.0 21.1 Chakhmakhchyan, Levon; Cerf, Nicolas (2017). "Boson sampling with Gaussian measurements". Phys. Rev. A 96 (3): 032326. doi:10.1103/PhysRevA.96.032326. Bibcode2017PhRvA..96c2326C. 
  22. 22.0 22.1 Hamilton, Craig S.; Kruse, Regina; Sansoni, Linda; Barkhofen, Sonja; Silberhorn, Christine; Jex, Igor (23 October 2017). "Gaussian Boson Sampling". Physical Review Letters 119 (17): 170501. doi:10.1103/PhysRevLett.119.170501. PMID 29219463. Bibcode2017PhRvL.119q0501H. https://journals.aps.org/prl/abstract/10.1103/PhysRevLett.119.170501. Retrieved 22 January 2021. 
  23. Chakhmakhchyan, Levon; Cerf, Nicolas (2018). "Simulating arbitrary Gaussian circuits with linear optics". Phys. Rev. A 98 (6): 062314. doi:10.1103/PhysRevA.98.062314. Bibcode2018PhRvA..98f2314C. 
  24. Jerrum, Mark; Sinclair, Alistair; Vigoda, Eric (2001). "A polynomial-time approximation algorithm for the permanent of a matrix with nonnegative entries". Journal of the ACM 51 (4): 671–697. doi:10.1145/1008731.1008738. 
  25. Rahimi-Keshari, Saleh; Lund, Austin; Ralph, Timothy (2015). "What can quantum optics say about computational complexity theory?". Phys. Rev. Lett. 114 (6): 060501. doi:10.1103/PhysRevLett.114.060501. PMID 25723196. Bibcode2015PhRvL.114f0501R. 
  26. Rahimi-Keshari, Saleh; Ralph, Timothy; Carlton, Caves (2016). "Efficient classical simulation of quantum optics". Physical Review X 6 (2): 021039. doi:10.1103/PhysRevX.6.021039. Bibcode2016PhRvX...6b1039R. 
  27. 27.0 27.1 27.2 Spagnolo, Nicolo; Vitelli, Chiara; Bentivegna, Marco; Brod, Daniel; Crespi, Andrea; Flamini, Fulvio; Giacomini, Sandro; Milani, Giorgio et al. (2014). "Experimental validation of photonic boson sampling". Nature Photonics 8 (8): 615–620. doi:10.1038/nphoton.2014.135. Bibcode2014NaPho...8..615S. 
  28. 28.0 28.1 28.2 28.3 Carolan, Jacques; Meinecke, Jasmin; Shadbolt, Pete; Russell, Nicholas; Ismail, Nur; Wörhoff, Kerstin; Rudolph, Terry; Thompson, Mark et al. (2014). "On the experimental verification of quantum complexity in linear optics". Nature Photonics 8 (8): 621–626. doi:10.1038/nphoton.2014.152. Bibcode2014NaPho...8..621C. 
  29. Motes, Keith; Gilchrist, Alexei; Dowling, Jonathan; Rohde, Peter (2014). "Scalable boson sampling with time-bin encoding using a loop-based architecture". Phys. Rev. Lett. 113 (12): 120501. doi:10.1103/PhysRevLett.113.120501. PMID 25279613. Bibcode2014PhRvL.113l0501M. 
  30. Pant, Mihir; Englund, Dirk (2016). "High dimensional unitary transformations and boson sampling on temporal modes using dispersive optics". Physical Review A 93 (4): 043803. doi:10.1103/PhysRevA.93.043803. Bibcode2016PhRvA..93d3803P. 
  31. Gogolin, C.; Kliesch, M.; Aolita, L.; Eisert, J. (2013). "Boson-Sampling in the light of sample complexity". arXiv:1306.3995 [quant-ph].
  32. Aaronson, Scott; Arkhipov, Alex (2013). "BosonSampling is far from uniform". arXiv:1309.7460 [quant-ph].
  33. Tichy, Malte; Mayer, Klaus; Buchleitner, Andreas; Mølmer, Klaus (2014). "Stringent and Efficient Assessment of Boson-Sampling Devices". Phys. Rev. Lett. 113 (2): 020502. doi:10.1103/PhysRevLett.113.020502. PMID 25062152. Bibcode2014PhRvL.113b0502T. 
  34. Crespi, Andrea et al. (2016). "Quantum suppression law in a 3-D photonic chip implementing the fast Fourier transform". Nature Communications 7: 10469. doi:10.1038/ncomms10469. PMID 26843135. Bibcode2015arXiv150800782C. 
  35. Shen, C.; Zhang, Z.; Duan, L.-M. (2014). "Scalable implementation of boson sampling with trapped ions". Phys. Rev. Lett. 112 (5): 050504. doi:10.1103/PhysRevLett.112.050504. PMID 24580579. Bibcode2014PhRvL.112e0504S. 
  36. Peropadre, Borja; Aspuru-Guzik, Alan; Garcia-Ripoll, Juan (2015). "Spin models and boson sampling". arXiv:1509.02703 [quant-ph].
  37. Huh, Joonsuk; Giacomo Guerreschi, Gian; Peropadre, Borja; McClean, Jarrod; Aspuru-Guzik, Alan (2015). "Boson sampling for molecular vibronic spectra". Nature Photonics 9 (9): 615–620. doi:10.1038/NPHOTON.2015.153. Bibcode2015NaPho...9..615H. 
  38. Goldstein, Samuel; Korenblit, Simcha; Bendor, Ydan; You, Hao; Geller, Michael R.; Katz, Nadav (17 January 2017). "Decoherence and interferometric sensitivity of boson sampling in superconducting resonator networks". Phys. Rev. B 95 (2): 020502. doi:10.1103/PhysRevB.95.020502. Bibcode2017PhRvB..95b0502G. 
  39. See open problem (4) at "Shtetl Optimized: Introducing some British people to P vs. NP". 22 July 2015. http://www.scottaaronson.com/blog/?p=2408#comment-757410. 
  40. Chakhmakhchyan, Levon; Cerf, Nicolas; Garcia-Patron, Raul (2017). "A quantum-inspired algorithm for estimating the permanent of positive semidefinite matrices". Phys. Rev. A 96 (2): 022329. doi:10.1103/PhysRevA.96.022329. Bibcode2017PhRvA..96b2329C. 
  41. Nikolopoulos, Georgios M.; Brougham, Thomas (2016). "Decision and function problems based on boson sampling". Physical Review A 94 (1): 012315. doi:10.1103/PhysRevA.94.012315. Bibcode2016PhRvA..94a2315N. 
  42. Nikolopoulos, Georgios M. (2019). "Cryptographic one-way function based on boson sampling". Quantum Information Processing 18 (8): 259. doi:10.1007/s11128-019-2372-9. Bibcode2019QuIP...18..259N. 
  43. Nikolopoulos, Georgios M (2022-11-29). "Computational indistinguishability and boson sampling*" (in en). Physica Scripta 98 (1): 014001. doi:10.1088/1402-4896/aca1ed. ISSN 0031-8949. 
  44. Wang, Xiao-Wei; Zhou, Wen-Hao; Fu, Yu-Xuan; Gao, Jun; Lu, Yong-Heng; Chang, Yi-Jun; Qiao, Lu-Feng; Ren, Ruo-Jing et al. (2023-02-09). "Experimental Boson Sampling Enabling Cryptographic One-Way Function". Physical Review Letters 130 (6): 060802. doi:10.1103/PhysRevLett.130.060802. PMID 36827576. Bibcode2023PhRvL.130f0802W. https://link.aps.org/doi/10.1103/PhysRevLett.130.060802. 
  45. Banchi, Leonardo; Fingerhuth, Mark; Babej, Tomas; Ing, Christopher; Arrazola, Juan Miguel (2020). "Molecular docking with Gaussian Boson Sampling". Science Advances 6 (23): eaax1950. doi:10.1126/sciadv.aax1950. PMID 32548251. Bibcode2020SciA....6.1950B. 

External links