Source-linked AI summary
Stringent and efficient assessment of Boson-Sampling devices
Malte C. Tichy, Klaus Mayer, Andreas Buchleitner, Klaus Mølmer
TL;DR
Boson-Sampling is difficult to certify because its computational hardness complicates checking many-boson predictions, while efficient signatures may be reproduced without true many-boson interference. The paper shows that mean-field sampling reproduces coarse-grained witnesses and proposes Fourier-matrix tests that require granular interference.
Problem
Boson-Sampling's computational hardness makes certification difficult, while efficiently predictable bosonic signatures can be reproduced without many-boson interference.
Source: p. 1Method
The paper tests coarse-grained witnesses against mean-field sampling and proposes Fourier-matrix suppression-law tests to rule out physically plausible alternatives.
Source: pp. 1–3Results
Mean-field sampling reproduces mean occupation, coincidences, and clouding, whereas the Fourier-matrix suppression law tests for granular n-boson interference.
Source: pp. 2–3Takeaways & Limitations
Certification must test properties not reproduced by mean-field sampling; the suppression law provides a stringent test based on granular interference.
Source: pp. 2–3The suppression-law criterion can be degraded by partial distinguishability or deviations of the scattering matrix from the Fourier matrix.
Source: p. 4
Abstract
from arXiv · showhide
Boson-Sampling holds the potential to experimentally falsify the Extended Church Turing thesis. The computational hardness of Boson-Sampling, however, complicates the certification that an experimental device yields correct results in the regime in which it outmatches classical computers. To certify a boson-sampler, one needs to verify quantum predictions and rule out models that yield these predictions without true many-boson interference. We show that a semiclassical model for many-boson propagation reproduces coarse-grained observables that were proposed as witnesses of Boson-Sampling. A test based on Fourier matrices is demonstrated to falsify physically plausible alternatives to coherent many-boson propagation.