We provide general sufficient conditions for the efficient classical simulation of quantum optics experiments based on the negativity of phase-space quasiprobability distributions. Using these conditions, we show that above some threshold for loss and noise, the boson-sampling experiments are classically simulatable.
We provide general sufficient conditions for the efficient classical simulation of quantum-optics experiments that involve inputting states to a quantum process and making measurements at the output. The first condition is based on the negativity of phase-space quasiprobability distributions (PQDs) of the output state of the process and the output measurements; the second one is based on the negativity of PQDs of the input states, the output measurements, and the transition function associated with the process. We show that these conditions provide useful practical tools for investigating the effects of imperfections in implementations of boson sampling. In particular, we apply our formalism to boson-sampling experiments that use single-photon or spontaneous-parametric-down-conversion sources and on-off photodetectors. Considering simple models for loss and noise, we show that above some threshold for the probability of random counts in the photodetectors, these boson-sampling experiments are classically simulatable. We identify mode mismatching as the major source of error contributing to random counts and suggest that this is the chief challenge for implementations of boson sampling of interesting size.
We provide general sufficient conditions for the efficient classical simulation of quantum-optics experiments that involve inputting states to a quantum process and making measurements at the output.The first condition is based on the negativity of phase-space quasiprobability distributions (PQDs) of the output state of the process and the output measurements; the second one is based on the negativity of PQDs of the input states, the output measurements, and the transition function associated with the process.We show that these conditions provide useful practical tools for investigating the effects of imperfections in implementations of boson sampling.In particular, we apply our formalism to boson-sampling experiments that use single-photon or spontaneous-parametric-down-conversion sources and on-off photodetectors.Considering simple models for loss and noise, we show that above some threshold for the probability of random counts in the photodetectors, these boson-sampling experiments are classically simulatable.We identify mode mismatching as the major source of error contributing to random counts and suggest that this is the chief challenge for implementations of boson sampling of interesting size.
Boson sampling, a computational problem conjectured to be hard to simulate on a classical machine, is a promising candidate for an experimental demonstration of quantum advantage using bosons. However, inevitable experimental noise and imperfections, such as loss in the interferometer and random counts at the detectors, could challenge the sampling task from entering the regime where quantum advantage is achievable. In this work we introduce higher-order nonlinearities as a means to enhance the computational complexity of the problem and the protocol's robustness against noise, i.e., to increase the noise threshold that allows us to perform an efficient classical simulation of the problem. Using a phase-space method based on the negativity volume of the relevant quasiprobability distributions, we establish a necessary nonclassicality condition that any experimental proof of quantum advantage must satisfy. Our results indicate that the addition of single-mode Kerr nonlinearity at the input-state preparation level, while retaining a linear-optical evolution, makes the boson-sampling protocol more robust against noise and consequently relaxes the constraints on the noise parameters required to show quantum advantage.
Abstract In quantum optics, nonclassicality of quantum states is commonly associated with negativities of phase-space quasiprobability distributions. We argue that the impossibility of any classical simulations with phase-space functions is a necessary and sufficient condition of nonclassicality. The problem of such phase-space classical simulations for particular measurement schemes is analysed in the framework of Einstein–Podolsky–Rosen–Bell’s principles of physical reality. The dual form of this problem results in an analogue of Bell inequalities. Their violations imply the impossibility of phase-space classical simulations and, as a consequence, nonclassicality of quantum states. We apply this technique to emblematic optical measurements such as photocounting, including the cases of realistic photon-number resolution and homodyne detection in unbalanced, balanced, and eight-port configurations.
Linear-optical platforms provide a promising route to demonstrate quantum computational advantage, particularly through the boson sampling problem. While a boson sampling system should be large enough to show the quantum advantage, the size of the boson sampling problem is often restricted by experimental constraints. In particular, as a boson sampling system is scaled up, experimental constraints can limit its effective problem size to permit efficient classical simulation. In this paper, we investigate the theoretical scalability bounds for boson sampling systems under practical experimental conditions, including photon loss, mode mismatch, and input state error. We employ non-negativity conditions for phase-space quasiprobability distribution functions to analyze these effects. In addition, we introduce two device-level metrics, the boson sampling score which measures the usable capacity of a given device and the boson sampling volume which provides a common hardware-level benchmark for comparing different platforms and assessing their access to an advantage-relevant problem size regime. Our results provide fundamental insights into the performance of boson sampling systems under realistic experimental conditions and offer practical guidelines for scaling up boson sampling systems.
We propose a method for classical simulation of finite-dimensional quantum systems, based on sampling from a quasiprobability distribution, i.e., a generalized Wigner function. Our construction applies to all finite dimensions, with the most interesting case being that of qubits. For multiple qubits, we find that quantum computation by Clifford gates and Pauli measurements on magic states can be efficiently classically simulated if the quasiprobability distribution of the magic states is non-negative. This provides the so far missing qubit counterpart of the corresponding result [V. Veitch et al., New J. Phys. 14, 113011 (2012)] applying only to odd dimension. Our approach is more general than previous ones based on mixtures of stabilizer states. Namely, all mixtures of stabilizer states can be efficiently simulated, but for any number of qubits there also exist efficiently simulable states outside the stabilizer polytope. Further, our simulation method extends to negative quasiprobability distributions, where it provides probability estimation. The simulation cost is then proportional to a robustness measure squared. For all quantum states, this robustness is smaller than or equal to robustness of magic.