Quantum algorithm for the collisionless Boltzmann equation

Abstract A novel quantum algorithm implementing a discrete-velocity method for the collisionless Boltzmann equation is introduced. The algorithm is designed for application on a quantum computer with a number of quantum bits feasible in the near future (e.g. 40 − 50 ). Following the quantum-circuit model of quantum computation, the present works shows the quantum-circuit implementations for the convection or transport part of the kinetic model, inspired by work on quantum algorithms for the Dirac equation. The present work represents the advection step as a quantum walk process, implemented as a series of multiple-input controlled-NOT gates. A detailed discussion on the background to this new method is presented, including how a rarefied-flow problem can be encoded as the quantum state of a qubit register in a quantum computer. A complexity analysis is presented showing potential benefits of the proposed algorithm. Based on the concept of quantum parallelism, the extension to multiple species is demonstrated to not increase the number of required gate operations. A key aspect of the developed algorithm is the implementation of boundary conditions. This work describes how the specular-reflection boundary conditions can be effectively imposed with a quantum circuit implementation. The developed method is then applied to the supersonic flow around a blunt body as well as the free-molecular flow escaping from a rectangular container. As validation, the flow along the stagnation streamline of the blunt-body flow is compared with exact solutions for a piston-driven flow, showing excellent agreement. Finally, directions for future work are discussed in this work.

[1]  C. Cercignani The Boltzmann equation and its applications , 1988 .

[2]  J. Yepez,et al.  Quantum lattice-gas model for computational fluid dynamics. , 2000, Physical review. E, Statistical, nonlinear, and soft matter physics.

[3]  T. Teichmann,et al.  Introduction to physical gas dynamics , 1965 .

[4]  Lov K. Grover,et al.  Creating superpositions that correspond to efficiently integrable probability distributions , 2002, quant-ph/0208112.

[5]  E. Knill,et al.  Quantum algorithms for fermionic simulations , 2000, cond-mat/0012334.

[6]  François Alouges,et al.  The reservoir technique: a way to make Godunov-type schemes zero or very low diffuse. Application to Colella–Glaz solver , 2008 .

[7]  Ioannis Karafyllidis,et al.  Quantum walks on graphene nanoribbons using quantum gates as coins , 2015, J. Comput. Sci..

[8]  Yaman Güçlü,et al.  A high order cell-centered semi-Lagrangian scheme for multi-dimensional kinetic simulations of neutral gas flows , 2012, J. Comput. Phys..

[9]  J. Yepez,et al.  Measurement-based quantum lattice gas model of fluid dynamics in 2+1 dimensions. , 2015, Physical review. E, Statistical, nonlinear, and soft matter physics.

[10]  George N. Barakos,et al.  Parallel evaluation of quantum algorithms for computational fluid dynamics , 2018, Computers & Fluids.

[11]  E. Knill,et al.  Simulating physical phenomena by quantum networks , 2001, quant-ph/0108146.

[12]  Salvador Elías Venegas-Andraca,et al.  Quantum walks: a comprehensive review , 2012, Quantum Information Processing.

[13]  Lov K. Grover Quantum Mechanics Helps in Searching for a Needle in a Haystack , 1997, quant-ph/9706033.

[14]  J. B. Wang,et al.  Efficient quantum circuit implementation of quantum walks , 2007, 0706.0304.

[15]  J. Traub,et al.  Quantum algorithm and circuit design solving the Poisson equation , 2012, 1207.2485.

[16]  S. Jordan Fast quantum algorithm for numerical gradient estimation. , 2004, Physical review letters.

[17]  Raphaël Loubère,et al.  Towards an ultra efficient kinetic scheme. Part II: The high order case , 2012, J. Comput. Phys..

[18]  Christof Zalka,et al.  Efficient Simulation of Quantum Systems by Quantum Computers , 1998 .

[19]  Rolando D. Somma,et al.  Turbulent Mixing Simulation via a Quantum Algorithm , 2017 .

[20]  Ioannis G. Karafyllidis,et al.  Simulation of entanglement generation and variation in quantum computation , 2004 .

[21]  E. Lorin,et al.  Simple digital quantum algorithm for symmetric first-order linear hyperbolic systems , 2017, Numerical Algorithms.

[22]  Christof Zalka Simulating quantum systems on a quantum computer , 1996, Proceedings of the Royal Society of London. Series A: Mathematical, Physical and Engineering Sciences.

[23]  Isaac L. Chuang,et al.  Quantum Computation and Quantum Information (10th Anniversary edition) , 2011 .

[24]  Jeffrey Yepez,et al.  Simulation of the diffusion equation on a type-II quantum computer , 2002 .

[25]  Andrew M. Childs,et al.  Universal computation by quantum walk. , 2008, Physical review letters.

[26]  G. Brassard,et al.  Quantum Amplitude Amplification and Estimation , 2000, quant-ph/0005055.

[27]  F. Nori,et al.  Quantum Simulation , 2013, Quantum Atom Optics.

[28]  A. Harrow,et al.  Quantum algorithm for linear systems of equations. , 2008, Physical review letters.

[29]  Raphaël Loubère,et al.  Towards an ultra efficient kinetic scheme. Part I: Basics on the BGK equation , 2012, J. Comput. Phys..

[30]  Benoît Valiron,et al.  Concrete resource analysis of the quantum linear-system algorithm used to compute the electromagnetic scattering cross section of a 2D target , 2015, Quantum Inf. Process..

[31]  Pedro C. S. Costa,et al.  Quantum algorithm for simulating the wave equation , 2017, Physical Review A.

[32]  F. Fillion-Gourdeau,et al.  Algorithm for the solution of the Dirac equation on digital quantum computers , 2016, 1611.05484.

[33]  George N. Barakos,et al.  Coupled Navier–Stokes/molecular dynamics simulations in nonperiodic domains based on particle forcing , 2012 .

[34]  Eric Sonnendrücker,et al.  Conservative semi-Lagrangian schemes for Vlasov equations , 2010, J. Comput. Phys..

[35]  Peter W. Shor,et al.  Algorithms for quantum computation: discrete logarithms and factoring , 1994, Proceedings 35th Annual Symposium on Foundations of Computer Science.

[36]  George N. Barakos,et al.  Coupled Navier–Stokes—Molecular dynamics simulations using a multi‐physics flow simulation framework , 2009 .

[37]  Roddam Narasimha,et al.  Collisionless expansion of gases into vacuum , 1962, Journal of Fluid Mechanics.

[38]  Peter Russer,et al.  Quantum computing algorithm for electromagnetic field simulation , 2010, Quantum Inf. Process..

[39]  Andrei N. Soklakov,et al.  Efficient state preparation for a register of quantum bits , 2004 .