Efficiently simulating the work distribution of multiple identical bosons with boson sampling
Center for Quantum Technology Research and Key Laboratory of Advanced Optoelectronic Quantum Architecture and Measurements (MOE), School of Physics, Beijing Institute of Technology（北京理工大学物理学院量子技术研究中心及先进光电子量子架构与测量教育部重点实验室）
Boson sampling has been theoretically proposed and experimentally demonstrated to show quantum computational advantages. However, it still lacks the deep understanding of the practical applications of boson sampling. Here we propose that boson sampling can be used to efficiently simulate the work distribution of multiple identical bosons. We link the work distribution to boson sampling and numerically calculate the transition amplitude matrix between the single-boson eigenstates in a one-dimensional quantum piston system, and then map the matrix to a linear optical network of boson sampling. The work distribution can be efficiently simulated by the output probabilities of boson sampling using the method of the grouped probability estimation. The scheme requires at most a polynomial number of the samples and the optical elements. Our work opens up a new path towards the calculation of complex quantum work distribution using only photons and linear optics.
We show how phase-space simulations of Gaussian quantum states in a photonic network permit verification of measurable correlations of Gaussian boson sampling (GBS) quantum computers. Our results agree with experiments for up to 100-th order correlations, provided decoherence is included. We extend this to more than 16,000 modes, and describe how to simulate genuine multipartite entanglement.
In the quantum world correlations can take form of entanglement which is known to be monogamous. In this work we show that another type of correlations, indistinguishability, is also restricted by some form of monogamy. Namely, if particles A and B simulate bosons, then A and C cannot perfectly imitate fermions. Our main result consists in demonstrating to what extent it is possible.
BosonSampling is a restricted model of quantum computation proposed recently, where a non-adaptive linear-optical network is used to solve a sampling problem that seems to be hard for classical computers. Here we show that, even if the linear-optical network has a constant number (greater than four) of beam splitter layers, the exact version of the BosonSampling problem is still classically hard, unless the polynomial hierarchy collapses to its third level. This is based on similar result known for constant-depth quantum circuits and circuits of 2-local commuting gates (IQP).
Boson Sampling is the problem of sampling from the same distribution as indistinguishable single photons at the output of a linear optical interferometer. It is an example of a non-universal quantum computation which is believed to be feasible in the near term and cannot be simulated on a classical machine. Like all purported demonstrations of "quantum supremacy", this motivates optimizing classical simulation schemes for a realistic model of the problem, in this case Boson Sampling when the implementations experience lost or distinguishable photons. Although current simulation schemes for suf…
BosonSampling is a well-defined scheme for demonstrating quantum supremacy with photons in near term. Although relying only on multi-photon interference in nonadaptive linear-optical networks, it is hard to simulate classically. Here we study BosonSampling using matrix product states, a powerful method from quantum many-body physics. This method stores the instantaneous quantum state during the evolution of photons in the optical quantum circuit, which allows us to reveal the dynamical features of single photons in BosonSampling devices, such as entanglement entropy growth. We show the flexibl…
We study the problem of particle indistinguishability for the three cases known in nature: identical classical particles, identical bosons and identical fermions. By exploiting the fact that different types of particles are associated with Hilbert space vectors with different symmetries, we establish some relations between the expectation value of several different operators, as the particle number one and the interparticle correlation one, evaluated for states of a pair of identical (a) classical particles, (b) bosons and (c) fermions. We find that the quantum behavior of a pair of identical …
The search for new, application-specific quantum computers designed to outperform any classical computer is driven by the ending of Moore's law and the quantum advantages potentially obtainable. Photonic networks are promising examples, with experimental demonstrations and potential for obtaining a quantum computer to solve problems believed classically impossible. This introduces a challenge: how does one design or understand such photonic networks? One must be able to calculate observables using general methods capable of treating arbitrary inputs, dissipation and noise. We develop novel com…
Photon losses are among the strongest imperfections affecting multi-photon interference. Despite their importance, little is known about their effect on boson sampling experiments. In this work we show that using classical computers, one can efficiently simulate multi-photon interference in all architectures that suffer from an exponential decay of the transmission with the depth of the circuit, such as integrated photonic circuits or optical fibers. We prove that either the depth of the circuit is large enough that it can be simulated by thermal noise with an algorithm running in polynomial t…
The boson sampling problem has triggered a lot of interest in the scientific community because of its potential of demonstrating the computational power of quantum interference without the need of non-linear processes. However, the intractability of such a problem with any classical device relies on the realization of single photons approximately identical in their spectra. In this paper we discuss the physics of boson sampling with non-identical single photon sources, which is strongly relevant in view of scalable experimental realizations and triggers fascinating questions in complexity theo…
We introduce an algorithm for the classical simulation of Gaussian boson sampling that is quadratically faster than previously known methods. The complexity of the algorithm is exponential in the number of photon pairs detected, not the number of photons, and is directly proportional to the time required to calculate a probability amplitude for a pure Gaussian state. The main innovation is to use auxiliary conditioning variables to reduce the problem of sampling to computing pure-state probability amplitudes, for which the most computationally-expensive step is calculating a loop hafnian. We i…
When a quantum field is in contact with a thermal bath, the vacuum state of the field may be generalized to a thermal vacuum state, which takes into account the thermal noise. In thermo field dynamics, this is realized by doubling the dimensionality of the Fock space of the system. Interestingly, the representation of thermal noise by means of an augmented space is also found in a distinctly different approach based on the Wigner transform of both the field operators and density matrix, which we pursue here. Specifically, the thermal noise is introduced by augmenting the classical-like Wigner …
We first devise a scheme to perform a universal entangling gate via controlled collisions between pairs of atomic qubits trapped with optical tweezers. Second, we present a modification to this scheme to allow the preparation of atomic Bell pairs via selective excitation, suitable for quantum information processing applications that do not require universality. Both these schemes are enabled by the inherent symmetries of identical composite particles, as originally proposed by Hayes et al. Our scheme provides a technique for producing weighted graph states, entangled resources for quantum comm…
Progress in the reliable preparation, coherent propagation and efficient detection of many-body states has recently brought collective quantum phenomena of many identical particles into the spotlight. This tutorial introduces the physics of many-boson and many-fermion interference required for the description of current experiments and for the understanding of novel approaches to quantum computing. The field is motivated via the two-particle case, for which the uncorrelated, classical dynamics of distinguishable particles is compared to the quantum behaviour of identical bosons and fermions. B…
Recurrence and explicit formulae for contractions (partial traces) of antisymmetric and symmetric products of identical trace class operators are derived. Contractions of product density operators of systems of identical fermions and bosons are proved to be asymptotically equivalent to, respectively, antisymmetric and symmetric products of density operators of a single particle, multiplied by a normalization integer. The asymptotic equivalence relation is defined in terms of the thermodynamic limit of expectation values of observables in the states represented by given density operators. For s…
The definition of entanglement in identical-particle system is introduced. The separability criterion in two-identical particle system is given. The physical meaning of the definition is analysed. Applications to two-boson and two-fermion systems are made. It is found new entanglement and correlation phenomena in identical-boson systems exist, and they may have applications in the field of quantum information.
In contrast to classical physics, quantum mechanics divides particles into two classes-bosons and fermions-whose exchange statistics dictate the dynamics of systems at a fundamental level. In two dimensions quasi-particles known as 'anyons' exhibit fractional exchange statistics intermediate between these two classes. The ability to simulate and observe behaviour associated to fundamentally different quantum particles is important for simulating complex quantum systems. Here we use the symmetry and quantum correlations of entangled photons subjected to multiple copies of a quantum process to d…
The robustness properties of bipartite entanglement in systems of N bosons distributed in M different modes are analyzed using a definition of separability based on commuting algebras of observables, a natural choice when dealing with identical particles. Within this framework, expressions for the robustness and generalized robustness of entanglement can be explicitly given for large classes of boson states: their entanglement content results in general much more stable than that of distinguishable particles states. Using these results, the geometrical structure of the space of N boson states …
For any quantum state representing a physical system of identical particles, the density operator must satisfy the symmetrisation principle (SP) and for massive particles also conform to super-selection rules (SSR) that prohibit coherences between differing total particle numbers. Here we consider bi-partitite states for systems of massive bosons, where both the system and subsystems are modes (or sets of modes), particles being associated with differing mode occupancies. To define non-entangled or separable states the subsystem density operators are also required to satisfy the SP and conform…
How do indistinguishable identical bosons manage to obey Bose-Einstein statistics---and hence be correlated---even when they do not interact with each other? Part of the answer is that the bosons have to interact indirectly with each other by interacting with the same environment. A joint measurement interaction provides a good example. Thermalization occurs whenever there are two competing processes, one diagonal in the energy basis (namely, reversible Hamiltonian evolution), the other irreversible and diagonal in a complementary basis (for example, a measurement in a spatially localized basi…
We propose a method to simulate the dynamics of spin-boson models with small crystals of trapped ions where the electronic degree of freedom of one ion is used to encode the spin while the collective vibrational degrees of freedom are employed to form an effective harmonic environment. The key idea of our approach is that a single damped mode can be used to provide a harmonic environment with Lorentzian spectral density. More complex spectral functions can be tailored by combining several individually damped modes. We propose to work with mixed-species crystals such that one species serves to …
The global coupling of few-level quantum systems ("spins") to a discrete set of bosonic modes is a key ingredient for many applications in quantum science, including large-scale entanglement generation, quantum simulation of the dynamics of long-range interacting spin models, and hybrid platforms for force and spin sensing. We present a general numerical framework for treating the out-of-equilibrium dynamics of such models based on matrix product states. Our approach applies for generic spin-boson systems: it treats any spatial and operator dependence of the two-body spin-boson coupling and pl…
In a mixture of two kinds of identical bosons there are two types of pairs, identical bosons' pairs, of either species, and pairs of distinguishable bosons. In the present work fragmentation of pairs in a trapped mixture of Bose-Einstein condensate is investigated using a solvable model, the symmetric harmonic-interaction model for mixtures. The natural geminals for pairs made of identical or distinguishable bosons are explicitly contracted by diagonalizing the intra-species and inter-species reduced two-particle density matrices, respectively. Properties of pairs' fragmentation in the mixture…
These two accompanying papers treat two mode entanglement for systems of identical massive bosons and the relationship to spin squeezing and other quantum correlation effects. Entanglement is a key quantum feature of composite systems where the probabilities for joint measurements on the composite sub-systems are no longer determined from measurement probabilities on the separate sub-systems. We focus on the meaning of entanglement, the quantum paradoxes associated with entangled states, and important tests that allow an experimentalist to determine whether a quantum state - in particular, one…
The envelope theory, also known as the auxiliary field method, is a simple technique to compute approximate solutions of Hamiltonians for $N$ identical particles in $D$-dimension. The accuracy of this method is tested by computing the ground state of $N$ identical bosons for various systems. A method is proposed to improve the quality of the approximations by modifying the characteristic global quantum number of the method.
Linear canonical transformations of bosonic modes correspond to Gaussian unitaries, which comprise passive linear-optical transformations as effected by a multiport passive interferometer and active Bogoliubov transformations as effected by a nonlinear amplification medium. As a consequence of the Bloch-Messiah theorem, any Gaussian unitary can be decomposed into a passive interferometer followed by a layer of single-mode squeezers and another passive interferometer. Here, it is shown how to circumvent the need for active transformations. Namely, we provide a technique to simulate sampling fro…
In this work, dissipative quantum backflow is studied for a superposition of two stretched Gaussian wave packets and two identical spinless particles within the Caldirola-Kanai framework. Backflow is mainly an interference process and dissipation is not able to suppress it in the first case. For two identical spinless particles, apart from interference terms, the symmetry of the wave function seems to be crucial in this dynamics. The combined properties make bosons display this effect, even for the dissipative regime but, for fermions, backflow is not exhibited in any regime, dissipative and n…
These two accompanying papers treat two mode entanglement for systems of identical massive bosons and the relationship to spin squeezing and other quantum correlation effects. Entanglement is a key quantum feature of composite systems where the probabilities for joint measurements on the composite sub-systems are no longer determined from measurement probabilities on the separate sub-systems. We focus on the meaning of entanglement, the quantum paradoxes associated with entangled states, and important tests that allow an experimentalist to determine whether a quantum state - in particular, one…
Aaronson and Arkhipov recently used computational complexity theory to argue that classical computers very likely cannot efficiently simulate linear, multimode, quantum-optical interferometers with arbitrary Fock-state inputs [Aaronson and Arkhipov, Theory Comput. 9, 143 (2013)]. Here we present an elementary argument that utilizes only techniques from quantum optics. We explicitly construct the Hilbert space for such an interferometer and show that its dimension scales exponentially with all the physical resources. We also show in a simple example just how the Schrödinger and Heisenberg pictu…
The physics of dirty bosons highlights the intriguing interplay of disorder and interactions in quantum systems, playing a central role in describing, for instance, ultracold gases in a random potential, doped quantum magnets, and amorphous superconductors. Here, we demonstrate how quantum computers can be used to elucidate the physics of dirty bosons in one and two dimensions. Specifically, we explore the disorder-induced delocalized-to-localized transition using adiabatic state preparation. In one dimension, the quantum circuits can be compressed to small enough depths for execution on curre…
Particle identity and entanglement are two fundamental quantum properties that work as major resources for various quantum information tasks. However, it is still a challenging problem to understand the correlation of the two properties in the same system. While recent theoretical studies have shown that the spatial overlap between identical particles is necessary for nontrivial entanglement, the exact role of particle indistinguishability in the entanglement of identical particles has never been analyzed quantitatively before. Here, we theoretically and experimentally investigate the behavior…
We calculate the three-body spectrum for identical bosons interacting via attractive $1/r^2$ potentials. We have found an infinite number of three-body states even when the pair interactions are too weak to support any two-body states. These new states thus share this surprising scenario with the Efimov effect, but are not themselves Efimov states. Our effect occurs for both identical bosons and identical fermions, and it persists in the presence of two-body bound states.
The celebrated Hong-Ou-Mandel effect is the paradigm of two-particle quantum interference. It has its roots in the symmetry of identical quantum particles, as dictated by the Pauli principle. Two identical bosons impinging on a beam splitter (of transmittance 1/2) cannot be detected in coincidence at both output ports, as confirmed in numerous experiments with light or even matter. Here, we establish that partial time reversal transforms the beamsplitter linear coupling into amplification. We infer from this duality the existence of an unsuspected two-boson interferometric effect in a quantum …
Non-linear dynamics in the quantum random walk setting have been shown to enable conditional speedup of Grover's algorithm. We examine the mean field approximation required for the use of the Gross-Pitaevskii equation on identical bosons evolving on the complete graph. We show that the states of such systems are parameterized by the basis of Young diagrams and determine their one- and two-party marginals. We find that isolated particles are required for good agreement with the mean field approximation, proving that without isolated particles the matrix fidelity agreement is bounded from above …
Response functions are a fundamental aspect of physics; they represent the link between experimental observations and the underlying quantum many-body state. However, this link is often under-appreciated, as the Lehmann formalism for obtaining response functions in linear response has no direct link to experiment. Within the context of quantum computing, and by using a linear response framework, we restore this link by making the experiment an inextricable part of the quantum simulation. This method can be frequency- and momentum-selective, avoids limitations on operators that can be directly …
In this work, our purpose is to show how the symmetry of identical particles can influence the time evolution of free particles in the nonrelativistic and relativistic domains. For this goal, we consider a system of either two distinguishable or indistinguishable (bosons and fermions) particles. Two classes of initial conditions have been studied: different initial locations with the same momenta, and the same locations with different momenta. The flight time distribution of particles arriving at a `screen' is calculated in each case. Fermions display broader distributions as compared with eit…
We describe an efficient theoretical criterion suitable for the evaluation of the tripartite entanglement of any mixed three-boson or -fermion state, based on the notion of the entanglement of particles for bipartite systems of identical particles. Our approach allows one to quantify the accessible amount of quantum correlations in the systems without any violation of the local particle number superselection rule. A generalization of the tripartite negativity is here applied to some correlated systems including the continuous-time quantum walks of identical particles (both for bosons and fermi…
We study the hardness of classically simulating Gaussian boson sampling at nonzero photon distinguishability. We find that similar to regular boson sampling, distinguishability causes exponential attenuation of the many-photon interference terms in Gaussian boson sampling. Barring an open problem in the theory of matrix permanents, this leads to an efficient classical algorithm to simulate Gaussian boson sampling in the presence of distinguishability. We also study a new form of boson sampling based on photon number superposition states, for which we also show noise sensivity. The fact that su…
For systems of identical Bosons, it is necessary to reformulate the notions of separability and entanglement in algebraic terms shifting the emphasis from the particle aspect of first quantization to the mode description typical of second quantization. Within this new framework, we show that, unlike for systems consisting of distinguishable qubits, negativity is an exhaustive bipartite entanglement witness for systems with fixed number of Bosons; further, we investigate the impact of dephasing noise in relation to the use of such many-body Bosonic systems in metrological applications.
Path integral molecular dynamics (PIMD) has been successfully applied to perform simulations of large bosonic systems in a recent work (Hirshberg et al., PNAS, 116, 21445 (2019)). In this work we extend PIMD techniques to study Green's function for bosonic systems. We demonstrate that the development of the original PIMD method enables us to calculate Green's function and extract momentum distribution from our simulations. We also apply our method to systems of identical interacting bosons to study Berezinskii-Kosterlitz-Thouless transition around its critical temperature.
It is pointed out that the cross section for the scattering of identical charged bosons is isotropic over a broad angular range around 90 degrees when the Sommerfeld parameter has a critical value, which depends exclusively on the spin of the particle. A discussion of systems where this phenomenon can be observed is presented.
Identical particles exhibit correlations even in the absence of inter-particle interaction, due to the exchange (anti)symmetry of the many-particle wavefunction. Two fermions obey the Pauli principle and anti-bunch, whereas two bosons favor bunched, doubly occupied states. Here, we show that the collective interference of three or more particles leads to a much more diverse behavior than expected from the boson-fermion dichotomy known from quantum statistical mechanics. The emerging complexity of many-particle interference is tamed by a simple law for the strict suppression of events in the Be…
