Abstract
Boson sampling is strongly believed to be intractable for classical computers but solvable with photons in linear optics, which raises widespread concern as a rapid way to demonstrate the quantum supremacy. However, due to its solution is mathematically unverifiable, how to certify the experimental results becomes a major difficulty in the boson sampling experiment. Here, we develop a statistical analysis scheme to experimentally certify the collision-free boson sampling. Numerical simulations are performed to show the feasibility and practicability of our scheme, and the effects of realistic experimental conditions are also considered, demonstrating that our proposed scheme is experimentally friendly. Moreover, our broad approach is expected to be generally applied to investigate multi-particle coherent dynamics beyond the boson sampling.
Similar content being viewed by others
Introduction
Quantum computers offer the promise of efficiently solving certain problems, such as factorization1, that are intractable for classical computers. To date, much significant progress for various quantum systems has been made towards scalable quantum computing2, such as trapped ions3,4, atoms system5,6, linear optics7,8,9,10,11, nuclear magnetic resonance12, and superconducting system13,14,15. We are confident that in the future, the dream of large-scale quantum computer will eventually come ture. Recently, considerable interest has been generated concerning the construction of non-universal quantum computers, which demand less physical resources but can experimentally demonstrate the quantum supremacy over classical computers in the near term16, which will be a milestone for large-scale quantum computer.
In a major breakthrough Aaronson and Arkhipov proposed a problem called boson sampling17, which is intractable for classical computers but can be naturally and efficiently solved on a specialized photonic quantum simulator. Unlike full linear optics quantum computing (LOQC)18, the boson sampling device requires only single-photon sources, passive linear optics, photodetection, and especially much less resources. Thus, boson sampling is considered as a leading candidate to experimentally demonstrate the quantum supremacy of quantum machines in the near future19. So far, a number of elegant boson sampling experiments has been achieved with linear optics on a small scale20,21,22,23,24,25,26,27,28,29,30. With the rapid progress of experimental technology, we are optimistic that quantum supremacy is no longer far from us.
The core hardness of classically simulating boson sampling lies at calculating the permanent of an arbitrary complex matrix, which is a #p-complete computational problem31. Quantum simulation of boson sampling has a great advantage that needs not to calculate the permanent. However, after obtaining samples, another major problem arises: how to efficiently certify the correctness of the experimental results? A number of verification methods have been developed24,25,32,33,34,35,36, but the application scenarios of these methods are limited. For example, the row-norm estimator32 is efficiently computable, but can be only used to distinguish between boson sampling and uniform sampling. Bayesian probabilistic analysis33 or likelihood ratio test24 promises to exclude any types of sampling, but requires calculating classically intractable matrix permanents. Recently, a novel statistical approach towards the certification of boson sampling experiments has been proposed by Walschaers et al.37, which provides an efficient and reliable strategy for distinguishing different particle types, such as bosons, distinguishable particles, fermions, or simulated bosons, by analyzing the two mode correlation function of the output state. In their approach, all types of the output need to be analyzed, including collision-free events (one photon per output-mode) and collision events (multiple photons per output-mode). However, measuring collision events must require photon-number-resolving detectors or the combination of beam splitters and multiple detectors, which increases the difficulty for practical experiments, especially for large-scale boson sampling. This shortcoming limits the practicability of the method.
To overcome this obstacle, here we extend the statistical analysis approach to the collision-free boson sampling. Since photon-number-resolving detectors are not necessarily required for the collision-free boson sampling, our scheme is more experimentally friendly than the previous scheme. Furthermore, compared to the previous scheme, more types of sampling are simulated and distinguished, which shows the universality of our scheme. Finally, to show the practicability and reliability of our scheme, numerical simulations are performed to demonstrate our scheme could still work with limited samples, and our scheme could tolerate a moderate amount of experimental noise while strong noise will be identified and excluded. All of these excellent features will provide us an effective and practical way for certifying collision-free boson sampling experimentally.
Theory
Before introducing our proposed scheme, we first briefly describe the boson sampling problem and give some basic definitions. In the typical boson sampling model, we often consider an m-mode linear quantum network U with n single photons in as the input at distinct modes k 1, …, k n . These n photons are evolved via the linear quantum network U, and finally be sampled via coincidence photodetection as the output state at modes j 1,…,j n . In fact, the output can be divided into two types, one called collision-free event if \({j}_{1}\ne {j}_{2}\ne {j}_{3}\ne \cdots \ne {j}_{n}\), and the another one called collision event if j a = j b for some a, b ∈ [1, …, n], a ≠ b. In this work, we will consider only the collision-free boson sampling, which is defined as the boson sampling with post-selecting only the collision-free events.
In general, to certify the collision-free boson sampling, usually we need to construct a suitable discriminator. In fact, the sampling problem is directly related to the probability of output, so we can employ the methods and parameters in probability statistics to construct the discriminator. In the probability theory, correlation functions play a central role, and the full knowledge of correlation functions implies full knowledge of probability distribution. Thus, we can use the correlation functions to analyze the collision-free boson sampling. However, it is time-consuming to compute all the correlation functions. Here, we consider only the two mode correlation function
of output modes i and j 38, where \({\hat{n}}_{i}={a}_{i}^{\dagger }{a}_{i}\) is the particle number operator. It has been proved that two mode correlation functions can be efficiently computed37. In the experiments, the details of the two mode correlation function measurement procedure are shown in Fig. 1. Below, we show that we can extract useful and robust information from the two mode correlation functions, and use them to distinguish the sampling results of genuine collision-free boson sampling and other types of sampling.
Suppose we consider sufficiently many choices for output modes i, j ∈ {1, …, m}, i < j, and compute the corresponding two mode correlation function C ij . Then a set of data C = {C ij |i, j ∈ {1, …, m} and i < j} could be obtained, on which we can do some further statistical analysis to construct a proper discriminator, which could clearly reveal the different characteristics of collision-free boson sampling and other types of sampling and then could be used to certify the genuine collision-free boson sampling. In our proposed scheme, two statistical parameters, coefficient of variation (CV) and the skewness (S)39
are considered, where E(C) denotes the function of averaging over the set of data C. In statistics. the CV is a standardized measure of dispersion of a probability distribution or frequency distribution, and the S is a measure of the asymmetry of the probability distribution of a real-valued random variable about its mean. In order to find some useful regularities, we simulate the collision-free boson sampling and other types of sampling (distinguishable particles sampling, fermions sampling, uniform sampling, mean-field sampling34, and thermal state sampling40) for 200 different U matrices (we generate and choose the U matrices using method proposed by Francesco41 and Maris42). In our simulations, assume the input mode is I = {i 1, i 2, ..., i n }, the collision-free output mode is O = {o 1, o 2, ..., o n }, the probabilities of the output mode O for boson sampling \({P}_{I,O}^{B}\), distinguishable particles sampling \({P}_{I,O}^{D}\), fermions sampling \({P}_{I,O}^{F}\), and uniform sampling \({P}_{I,O}^{U}\) are
where U I,O is an n × n sub-matrix of U related to the input I and output O, Per and Det are the permanent and determinant of a matrix, respectively. The probabilities of the output mode O for mean-field sampling and thermal state sampling could be calculated according to Tichy et al.34 and Rahimi-Keshari et al.40. According to the probability, we then could simulate the each type of sampling using the Monte Carlo method.
For all simulations, we let m = 20, n = 8, the input mode is {1, 2, 3, 4, 5, 6, 7, 8}, and the sample size is chosen as N m = 2 × 106, which is nearly 16 times as large as the number of the collision-free events. By dealing with the sampling events, we could get the set of data C using equation (1). Thus, through statistical analysis, for each U matrix, we can get the corresponding CV and S of data C using the equation (2) for each sampling procedure. Figure 2 shows the outcomes for each sampling procedure, where the x-coordinate represents the CV and the y-coordinate indicates the S. In Fig. 2, each point is obtained by the statistical analysis for the sampling procedure with different U matrix, and the points of different colors indicate the results of different types of sampling. Similar to the previous work37, points for the same sampling will be gathered into a cloud, and points for different types of sampling are all separated from each other, showing clearly that different samplings can be distinguished. This phenomenon provides us a strong quantitative tool for the certification of collision-free boson sampling. In addition, compared to37, two more typical types of sampling (uniform sampling and thermal state sampling) are added as a comparison to show the universality of our scheme.
Performance analysis
We have shown that a reliable validation procedure for collision-free boson sampling can be achieved. However, in the practical application, there are still some factors that a reasonable validation procedure should consider. (1) Figure 2 only gives a general regularity for large amounts of U matrices under the condition of a large number of samples. However, in actual experiments, we usually can only sample a small amount of samples for only a few U matrices. Thus, we must consider how to use this method in practical experiments. (2) How sensitive is this method? For example, perfectly indistinguishable single photons are unlikely to be achieved in the experiment. In this case, it is necessary to research the phenomenon of imperfect collision-free boson sampling.
To apply our method to practical experiments, we should analyze the performance of our scheme for collision-free boson sampling with limited linear quantum network U and samples. Based on the method outlined above, without loss of generality, we simulate the experimental validation process with a randomly chosen matrix U and limited samples. In our simulations, we let m = 32, and n = 5, which means total Hilbert space size of the collision-free events is \({C}_{32}^{5}=201,376\). For each type of sampling, we simulate 200 rounds of sampling processing, and the sample size is fixed as N m = 2000 for each round, which is a reasonable detection count in experiments. Figure 3 shows the result of the simulation, where each point is obtained from each round of sampling. Obviously, in the case of a small number of samples, different types of sampling can still be distinguished. Our simulations show that one could conclusively certify the collision-free boson sampling with number of measurements less than 1% of the Hilbert space dimension.
Furthermore, we also consider the effects of realistic conditions in experiments. The non-classical Hong-Ou-Mandel43 interference in the boson sampling multi-photon interferometry relies on a high degree of indistinguishability between the photons26,44,45. To quantify the sensitive of our method, here we employ our method to simulate the imperfect collision-free boson sampling with imperfect single photons as the input (see Fig. 4). In our simulation, for each of photon, we assume the indistinguishability can reach α, where 0 ≤ α ≤ 1, and α = 1 for perfect indistinguishable single photon. In particular, if the indistinguishability of photon is α, we could let the ratio of indistinguishable photons be α, and the ratio of distinguishable photons be 1 − α in numerical simulations. We note that, during the validation test, one should accept the experimental results that are included in the range of the point cloud of genuine collision-free boson sampling, and reject it if the experimental results are out of the point cloud of genuine collision-free boson sampling. As seen in Fig. 4, with small noise (α = 0.95, see Fig. 4a), there is a large overlap between the statistical results of imperfect collision-free boson sampling and ideal collision-free boson sampling, we will likely accept the experimental results. When the distinguishability becomes substantial (α = 0.8, see Fig. 4b), imperfect collision-free boson sampling will not pass the validation test, since points obtained from imperfect collision-free boson sampling are gathered as a cloud different from the ideal collision-free boson sampling.
To characterize usually when the imperfect collision-free boson sampling will not pass the validation test, we need to estimate the critical value of α, which is determined when the cloud of points obtained from imperfect collision-free boson sampling is separated from the cloud of points obtained from ideal collision-free boson sampling. We randomly simulated 100 rounds of sampling processing for 100 U matrices. The counts of different critical values of α for these 100 rounds of simulations are shown in Fig. 5. In our simulation, the mean of α is 0.79, which means that the imperfect collision-free boson sampling usually will not pass the validation test when the indistinguishability α = 0.79. The simulation shows that our method is sensitive to strong noise and could be used as a stringent validation test.
Conclusion
In summary, a statistical analysis scheme has been proposed to identify the nature of different types of sampling in a single framework, which opens up a new way for experimentally certifying the collision-free boson sampling with the current experimental technique. Numerical simulations are carried out to show we could conclusively certify the collision-free boson sampling with number of measurements less than 1% of the Hilbert space dimension, and our scheme is sensitive to strong noise. It would be very interesting to see whether the higher-order mode correlation function, such as three mode correlation function, could provide more information for us to study multi-particle quantum dynamics in our future work.
References
Shor, P. W. Polynomial-time algorithms for prime factorization and discrete logarithms on a quantum computer. SIAM review 41, 303–332 (1999).
Ladd, T. et al. Quantum computers. Nature 464, 45–53 (2010).
Monz, T. et al. 14-qubit entanglement: Creation and coherence. Physical Review Letters 106, 130506 (2011).
Nigg, D. et al. Quantum computations on a topologically encoded qubit. Science 345, 302–305 (2014).
Dai, H.-N. et al. Generation and detection of atomic spin entanglement in optical lattices. Nature Physics 12, 783–787 (2016).
Wu, Z. et al. Realization of two-dimensional spin-orbit coupling for bose-einstein condensates. Science 354, 83–88 (2016).
Wang, X.-L. et al. Quantum teleportation of multiple degrees of freedom of a single photon. Nature 518, 516–519 (2015).
Huang, H.-L. et al. Deterministic linear optical quantum toffoli gate. Physics Letters A 381, 2673–2676 (2017).
Wang, X.-L. et al. Experimental ten-photon entanglement. Physical Review Letters 117, 210502 (2016).
Huang, H.-L. et al. Experimental blind quantum computing for a classical client. Physical Review Letters 119, 050503 (2017).
Huang, H.-L. et al. Universal blind quantum computation for hybrid system. Quantum Information Processing 16, 199 (2017).
Lu, D. et al. Towards quantum supremacy: enhancing quantum control by bootstrapping a quantum processor. arXiv 1701, 01198 (2017).
Barends, R. et al. Digitized adiabatic quantum computing with a superconducting circuit. Nature 534, 222–226 (2016).
Barends, R. et al. Superconducting quantum circuits at the surface code threshold for fault tolerance. Nature 508, 500–503 (2014).
Huang, H.-L. et al. Homomorphic encryption experiments on ibm’s cloud quantum computing platform. Frontiers of Physics 12, 120305 (2017).
Preskill, J. Quantum computing and the entanglement frontier. arXiv 1203, 5813 (2012).
Aaronson, S. & Arkhipov, A. The computational complexity of linear optics. In Proceedings of the forty-third annual ACM symposium on Theory of computing, 333–342 (ACM, 2011).
Kok, P. et al. Linear optical quantum computing with photonic qubits. Reviews of Modern Physics 79, 135 (2007).
Lund, A., Bremner, M. J. & Ralph, T. Quantum sampling problems, bosonsampling and quantum supremacy. arXiv 1702, 03061 (2017).
Broome, M. A. et al. Photonic boson sampling in a tunable circuit. Science 339, 794–798 (2013).
Tillmann, M. et al. Experimental boson sampling. Nature Photonics 7, 540–544 (2013).
Crespi, A. et al. Integrated multimode interferometers with arbitrary designs for photonic boson sampling. Nature Photonics 7, 545–549 (2013).
Spring, J. B. et al. Boson sampling on a photonic chip. Science 1231692 (2012).
Spagnolo, N. et al. Experimental validation of photonic boson sampling. Nature Photonics 8, 615–620 (2014).
Carolan, J. et al. On the experimental verification of quantum complexity in linear optics. Nature Photonics 8, 621–626 (2014).
Tillmann, M. et al. Generalized multiphoton quantum interference. Physical Review X 5, 041015 (2015).
Carolan, J. et al. Universal linear optics. Science 349, 711–716 (2015).
He, Y. et al. Time-bin-encoded boson sampling with a single-photon device. Physical Review Letters 118, 190501 (2017).
Wang, H. et al. High-efficiency multiphoton boson sampling. Nature Photonics 11, 361–365 (2017).
Loredo, J. et al. Boson sampling with single-photon fock states from a bright solid-state source. Physical Review Letters 118, 130503 (2017).
Valiant, L. G. The complexity of computing the permanent. Theoretical computer science 8, 189–201 (1979).
Aaronson, S. & Arkhipov, A. Bosonsampling is far from uniform. Quantum Information & Computation 14, 1383–1423 (2014).
Bentivegna, M. et al. Bayesian approach to boson sampling validation. International Journal of Quantum Information 12, 1560028 (2014).
Tichy, M. C., Mayer, K., Buchleitner, A. & Mølmer, K. Stringent and efficient assessment of boson-sampling devices. Physical Review Letters 113, 020502 (2014).
Wang, S.-T. & Duan, L.-M. Certification of boson sampling devices with coarse-grained measurements. arXiv 1601, 02627 (2016).
Shchesnovich, V. Universality of generalized bunching and efficient assessment of boson sampling. Physical review letters 116, 123601 (2016).
Walschaers, M. et al. Statistical benchmark for bosonsampling. New Journal of Physics 18, 032001 (2016).
Mayer, K., Tichy, M. C., Mintert, F., Konrad, T. & Buchleitner, A. Counting statistics of many-particle quantum walks. Physical Review A 83, 062307 (2011).
MacGillivray, H. Skewness and asymmetry: measures and orderings. The Annals of Statistics 994–1011 (1986).
Rahimi-Keshari, S., Lund, A. P. & Ralph, T. C. What can quantum optics say about computational complexity theory? Physical Review Letters 114, 060501 (2015).
Mezzadri, F. How to generate random matrices from the classical compact groups. arXiv preprint math-ph/0609050 (2006).
Ozols, M. How to generate a random unitary matrix (2009).
Hong, C., Ou, Z.-Y. & Mandel, L. Measurement of subpicosecond time intervals between two photons by interference. Physical Review Letters 59, 2044 (1987).
Shchesnovich, V. Partial indistinguishability theory for multiphoton experiments in multiport devices. Physical Review A 91, 013844 (2015).
Tichy, M. C. Sampling of partially distinguishable bosons and the relation to the multidimensional permanent. Physical Review A 91, 022316 (2015).
Acknowledgements
We thank X. H. for helpful discussions. This work was supported by the National Basic Research Program of China (Grant No. 2013CB338002), National Natural Science Foundation of China (Grants No. 11504430 and No. 61502526).
Author information
Authors and Affiliations
Contributions
H.-L.H. and W.-S.B. conceived and designed the study. H.-L.H. and H.-S.Z. performed the numerical simulation. H.-L.H wrote the paper. T.L., F.-G., X.-Q.F., S.Z., and X.W. reviewed and edited the manuscript. All authors read and approved the manuscript.
Corresponding author
Ethics declarations
Competing Interests
The authors declare that they have no competing interests.
Additional information
Publisher's note: Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons license, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons license and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Huang, HL., Zhong, HS., Li, T. et al. Statistical Analysis for Collision-free Boson Sampling. Sci Rep 7, 15265 (2017). https://doi.org/10.1038/s41598-017-15596-y
Received:
Accepted:
Published:
DOI: https://doi.org/10.1038/s41598-017-15596-y
This article is cited by
-
Demonstration of essentiality of entanglement in a Deutsch-like quantum algorithm
Science China Physics, Mechanics & Astronomy (2018)
Comments
By submitting a comment you agree to abide by our Terms and Community Guidelines. If you find something abusive or that does not comply with our terms or guidelines please flag it as inappropriate.