SearcharxivSearch

arXiv subjects

Pierre Sagaut

Publications and source records attributed to Pierre Sagaut.

At least 19 recordsLinked to original sources

Unconditionally successful quantum Time-Marching algorithm via LCU for nonlinear Burgers equation

Most recently proposed quantum algorithms for solving linear and nonlinear partial differential equations rely on non-unitary operations. These operations are typically implemented probabilistically, requiring postselection and thus increasing the computational cost. We show that quantum lattice gas algorithms enable unconditionally successful quantum simulation of nonlinearities, yielding, to our knowledge, the first quantum algorithm for Burgers equation whose time steps can be concatenated without probabilistic failure. The key idea is to exploit the correspondence between the stochasticity of quantum measurement in the linear combination of unitaries framework and the intrinsic randomness of the classical lattice gas algorithm. In doing so, we identify general properties that characterize probabilistic classical algorithms amenable to this time-marching formulation, and illustrate the approach with an additional application.

quant-ph

Fully Quantum Algorithm for the 1-dimensional linear Lattice Boltzmann Method

A fully quantum algorithm for solving the one-dimensional linear advection-diffusion equation using the Lattice Boltzmann method as a numerical procedure is presented in this work. We start by presenting a state of the art of the current usage of quantum algorithms for solving ordinary and partial differential equations. We then describe two algorithms for the one-dimensional Lattice Boltzmann method with two degrees of freedom. The first one is an existing hybrid quantum-classical algorithm with measurements at each time step, and the second one is our improved version, viz. a fully quantum algorithm where only one measurement is needed at the end of the algorithm. The fully quantum algorithm is first executed on a quantum simulator and then compared with a classical approach. Subsequently, the fully quantum algorithm is run on a quantum system with 133 qubits to investigate the effect of noise and the depth of the circuit on the output state. We find fluctuations in the final result due to the decoherence noise of the qubits.

quant-ph

Quantum machine learning for the quantum lattice Boltzmann method: Trainability of variational quantum circuits for the nonlinear collision operator across multiple time steps

This study investigates the application of quantum machine learning (QML) to approximate the nonlinear component of the collision operator within the quantum lattice Boltzmann method (QLBM). To achieve this, we train a variational quantum circuit (VQC) to construct an operator $U$. When applied to the post-linear-collision quantum state $\ket{\Psi_i}$, this operator yields a final state $\ket{\Psi_f} = U\ket{\Psi_i}$ that successfully replicates the nonlinear collision dynamics derived from the Bhatnagar-Gross-Krook (BGK) approximation. Within this framework, we present two distinct architectures: the R1 model and the R2 model. The R1 model is designed for quantum simulations that involve multiple time steps without intermediate measurements, focusing on accurately capturing nonlinear dynamics in continuous evolution. In contrast, the R2 model is tailored to achieve the high-precision reconstruction of the nonlinear operator for a single time step with an unitary operator.

quant-ph

Quantum algorithm for the lattice Boltzmann method with applications on real quantum devices

We introduce a novel quantum algorithm for the lattice Boltzmann method (LBM) based on the one-step simplified LBM. The structure of the algorithm allows for more flexibility in modelling different physics in contrast to earlier quantum algorithms for the LBM, while retaining computational efficiency in terms of the gate and qubit complexity. The new algorithm has potential for full end-to-end quantum utility especially for linear problems. We discuss the implementation of examples in linear acoustics, as well as a nonlinear Navier-Stokes problem that was solved on an IBM QPU in a hybrid simulation loop.

quant-ph

Two-dimensional quantum lattice gas algorithm for anisotropic Burger-like equations

Building on hybrid quantum lattice gas algorithm, we revisit the possibilities of this quantum lattice model. By deriving a correction to the predicted viscosity, we provide analytical and numerical results that refine original formulation. We introduce a minimal 2D generalization of the algorithm, which allows to simulate anisotropic Burgerlike equations while retaining only two lattice velocities. This approach opens a promising route toward embedding momentum conservation and advancing toward NavierStokes dynamics in 2D, going beyond Frisch, Hasslacher and Pomeau (FHP) with a quantum native model.

quant-ph

Quantum lattice Boltzmann method for several time steps: A local Carleman linearization algorithm

This article presents a novel encoding for quantum Lattice Boltzmann method algorithm using Carleman linearization. In contrast to previous articles \cite{Sanavio2024LatticeBC,sanavio2025carleman}, the encoding used allows for local collision rules while keeping a higher probability to obtain the right result, which is of the order of $10^{-2}$. The algorithm scales as $O(log_2^2(N)+Q^3)$ each time step with $N$ the number of lattice sites of the 2D lattice and $Q$ the number of channels with a constant number of qubits when using dynamical circuits.

quant-ph

Adaptive Lattice Gas Algorithm: Classical and Quantum implementations

Lattice gas algorithms (LGA) are a class of algorithms including, in chronological order, binary lattice gas cellular automata (LGCA), integer lattice gas algorithms (ILGA) and lattice Boltzmann method (LBM). They are largely used for simulating non-linear systems. Starting from 1-dimensional ILGA, we design an algorithm where we carry out a fraction of the possible collisions. These fractions are then adapted to reproduce LBM equilibrium distributions, resulting in an adaptive lattice gas algorithm (ALGA) that achieves the same simulation results of LBM. Considering this, we develop a quantum algorithm that involves a linear collision operator and capable of simulating the same phenomena, while still using a measurement and reinitialization procedure. Multi-time-step implementation is possible in some specific cases briefly discussed.

quant-ph

Float Lattice Gas Automata: A connection between Molecular Dynamics and Lattice Boltzmann Method for quantum computers

Building upon the Integer Lattice Gas Automata framework of Blommel \textit{et al.} \cite{PhysRevE.97.023310}, we introduce a simplified, fluctuation-free variant. This approach relies on floating-point numbers and closely mirrors the Lattice Boltzmann Method (LBM), with the key distinction being a novel collision operator. This operator, derived from the ensemble average of transition probabilities, generates nonlinear terms. We propose this new Float Lattice Gas Automata (FLGA) collision as a computationally efficient alternative to traditional and quantum LBM implementations.

quant-ph

Quantum collision circuit, quantum invariants and quantum phase estimation procedure for fluid dynamic lattice gas automata

Lattice Gas Cellular Automata (LGCA) is a classical numerical method widely known and applied to simulate several physical phenomena. In this paper, we study the translation of LGCA on quantum computers (QC) using computational basis encoding (CBE), developing methods for different purposes. In particular, we clarify and discuss some fundamental limitations and advantages in using CBE and quantum walk as streaming procedure. Using quantum walks affect the possible encoding of classical states in quantum orthogonal states, feature linked to the unitarity of collision and to the possibility of getting a quantum advantage. Then, we give efficient procedures for optimizing collisional quantum circuits, based on the classical features of the model. This is applied specifically to fluid dynamic LGCA. Alongside, a new collision circuit for a 1-dimensional model is proposed. We address the important point of invariants in LGCA providing a method for finding how many invariants appear in their QC formulation. Quantum invariants outnumber the classical expectations, proving the necessity of further research. Lastly, we prove the validity of a method for retrieving any quantity of interest based on quantum phase estimation (QPE).

quant-ph

Hydrodynamic limits and numerical errors of isothermal lattice Boltzmann schemes

With the aim of better understanding the numerical properties of the lattice Boltzmann method (LBM), a general methodology is proposed to derive its hydrodynamic limits in the discrete setting. It relies on a Taylor expansion in the limit of low Knudsen numbers. With a single asymptotic analysis, two kinds of deviations with the Navier-Stokes (NS) equations are explicitly evidenced: consistency errors, inherited from the kinetic description of the LBM, and numerical errors attributed to its space and time discretization. The methodology is applied to the Bhatnagar-Gross-Krook (BGK), the regularized and the multiple relaxation time (MRT) collision models in the isothermal framework. Deviation terms are systematically confronted to linear analyses in order to validate their expressions, interpret them and provide explanations for their numerical properties. The low dissipation of the BGK model is then related to a particular pattern of its error terms in the Taylor expansion. Similarly, dissipation properties of the regularized and MRT models are explained by a phenomenon referred to as hyperviscous degeneracy. The latter consists in an unexpected resurgence of high-order Knudsen effects induced by a large numerical pre-factor. It is at the origin of over-dissipation and severe instabilities in the low-viscosity regime.

physics.flu-dyn

Improved compressible Hybrid Lattice Boltzmann Method on standard lattice for subsonic and supersonic flows

A D2Q9 Hybrid Lattice Boltzmann Method (HLBM) is proposed for the simulation of both compressible subsonic and supersonic flows. This HLBM is an extension of the model of Feng et al: [12], which has been found, via different test cases, to be unstable for supersonic regimes. The improvements consist of: (1) a new discretization of the lattice closure correction term making possible to properly simulate supersonic flows, (2) a corrected viscous stress tensor that takes into account polyatomic gases, and (3) a novel discretization of the viscous heat production term fitting with the regularized formalism. The result is a hybrid method that resolves the mass and momentum equations with an LBM algorithm, and resolves the entropy-based energy equation with a finite volume method. This approach fully recovers the physics of the Navier-Stokes-Fourier equations with the ideal gas equation of state, and is valid from subsonic to supersonic regimes. It is then successfully assessed with both smooth flows and flows involving shocks. The proposed model is shown to be an efficient, accurate, and robust alternative to classic Navier-Stokes methods for the simulation of compressible flows

physics.flu-dyn

Lattice Boltzmann Method for wave propagation in elastic solids with a regular lattice: Theoretical analysis and validation

The von Neumann stability analysis along with a Chapman-Enskog analysis is proposed for a single-relaxation-time lattice Boltzmann Method (LBM) for wave propagation in isotropic linear elastic solids, using a regular D2Q9 lattice. Different boundary conditions are considered: periodic, free surface, rigid interface. An original absorbing layer model is proposed to prevent spurious wave reflection at domain boundaries. The present method is assessed considering several test cases. First, a spatial Gaussian force modulated in time by a Ricker wavelet is used as a source. Comparisons are made with results obtained using a classical Fourier spectral method. Both P and S waves are shown to be very accurately predicted. The case of Rayleigh surface waves is then addressed to check the accuracy of the method.

cs.CE

A linear stability analysis of compressible hybrid lattice Boltzmann methods

An original spectral study of the compressible hybrid lattice Boltzmann method (HLBM) on standard lattice is proposed. In this framework, the mass and momentum equations are addressed using the lattice Boltzmann method (LBM), while finite difference (FD) schemes solve an energy equation. Both systems are coupled with each other thanks to an ideal gas equation of state. This work aims at answering some questions regarding the numerical stability of such models, which strongly depends on the choice of numerical parameters. To this extent, several one- and two-dimensional HLBM classes based on different energy variables, formulation (primitive or conservative), collision terms and numerical schemes are scrutinized. Once appropriate corrective terms introduced, it is shown that all continuous HLBM classes recover the Navier-Stokes Fourier behavior in the linear approximation. However, striking differences arise between HLBM classes when their discrete counterparts are analysed. Multiple instability mechanisms arising at relatively high Mach number are pointed out and two exhaustive stabilization strategies are introduced: (1) decreasing the time step by changing the reference temperature $T_{ref}$ and (2) introducing a controllable numerical dissipation $σ$ via the collision operator. A complete parametric study reveals that only HLBM classes based on the primitive and conservative entropy equations are found usable for compressible applications. Finally, an innovative study of the macroscopic modal composition of the entropy classes is conducted. Through this study, two original phenomena, referred to as shear-to-entropy and entropy-to-shear transfers, are highlighted and confirmed on standard two-dimensional test cases.

physics.comp-ph

Structural stability of Lattice Boltzmann schemes

The goal of this work is to determine classes of traveling solitary wave solutions for Lattice Boltzmann schemes by means of an hyperbolic ansatz. It is shown that spurious solitary waves can occur in finite-difference solutions of nonlinear wave equation. The occurence of such a spurious solitary wave, which exhibits a very long life time, results in a non-vanishing numerical error for arbitrary time in unbounded numerical domain. Such a behavior is referred here to have a structural instability of the scheme, since the space of solutions spanned by the numerical scheme encompasses types of solutions (solitary waves in the present case) that are not solutions of the original continuous equations. This paper extends our previous work about classical schemes to Lattice Boltzmann schemes.

physics.comp-ph

Lattice Boltzmann method for computational aeroacoustics on non-uniform meshes: a direct grid coupling approach

The present study proposes a highly accurate lattice Boltzmann direct coupling cell-vertex algorithm, well suited for industrial purposes, making it highly valuable for aeroacoustic applications. It is indeed known that the convection of vortical structures across a grid refinement interface, where cell size is abruptly doubled, is likely to generate spurious noise that may corrupt the solution over the whole computational domain. This issue becomes critical in the case of aeroacoustic simulations, where accurate pressure estimations are of paramount importance. Consequently, any interfering noise that may pollute the acoustic predictions must be reduced. The proposed grid refinement algorithm differs from conventionally used ones, in which an overlapping mesh layer is considered. Instead, it provides a direct connection allowing a tighter link between fine and coarse grids, especially with the use of a coherent equilibrium function shared by both grids. Moreover, the direct coupling makes the algorithm more local and prevents the duplication of points, which might be detrimental for massive parallelization. This work follows our first study (Astoul~\textit{et al. 2020}) on the deleterious effect of non-hydrodynamic modes crossing mesh transitions, which can be addressed using an appropriate collision model. The Hybrid Recursive Regularized model is then used for this study. The grid coupling algorithm is assessed and compared to a widely-used cell-vertex algorithm on an acoustic pulse test case, a convected vortex and a turbulent circular cylinder wake flow at high Reynolds number.

physics.comp-ph

Analysis and reduction of spurious noise generated at grid refinement interfaces with the lattice Boltzmann method

The present study focuses on the unphysical effects induced by the use of non-uniform grids in the lattice Boltzmann method. In particular, the convection of vortical structures across a grid refinement interface is likely to generate spurious noise that may impact the whole computation domain. This issue becomes critical in the case of aeroacoustic simulations, where accurate pressure estimations are of paramount importance. The purpose of this article is to identify the issues occurring at the interface and to propose possible solutions yielding significant improvements for aeroacoustic simulations. More specifically, this study highlights the critical involvement of non-physical modes in the generation of spurious vorticity and acoustics. The identification of these modes is made possible thanks to linear stability analyses performed in the fluid core, and non-hydrodynamic sensors specifically developed to systematically emphasize them during a simulation. Investigations seeking pure acoustic waves and sheared flows allow for isolating the contribution of each mode. An important result is that spurious wave generation is intrinsically due to the change in the grid resolution (i.e. aliasing) independently of the details of the grid transition algorithm. Finally, the solution proposed to minimize spurious wave amplitude consists of choosing an appropriate collision model in the fluid core so as to cancel the non-hydrodynamic mode contribution regardless the grid coupling algorithm. Results are validated on a convected vortex and on a turbulent flow around a cylinder where a huge reduction of both spurious noise and vorticity are obtained.

physics.comp-ph

Improved Surrogate Modeling using Machine Learning for Industrial Civil Aircraft Aerodynamics

Predicting and simulating aerodynamic fields for civil aircraft over wide flight envelopes represent a real challenge mainly due to significant numerical costs and complex flows. Surrogate models and reduced-order models help to estimate aerodynamic fields from a few well-selected simulations. However, their accuracy dramatically decreases when different physical regimes are involved. Therefore, a method of local non-intrusive reduced-order models using machine learning, called Local Decomposition Method, has been developed to mitigate this issue. This paper introduces several enhancements to this method and presents a complex application to an industrial-like three-dimensional aircraft configuration over a full flight envelope. The enhancements of the method cover several aspects: choosing the best number of models, estimating apriori errors, improving the adaptive sampling for parallel issues, and better handling the borders between local models. The application is supported by an analysis of the model behavior, with a focus on the machine learning methods and the local properties. The model achieves strong levels of accuracy, in particular with two sub-models: one for the subsonic regime and one for the transonic regime. These results highlight that local models and machine learning represent very promising solutions to deal with surrogate models for aerodynamics.

physics.flu-dyn

Surrogate Modeling of Aerodynamic Simulations for Multiple Operating Conditions Using Machine Learning

This article presents an original methodology for the prediction of steady turbulent aerodynamic fields. Due to the important computational cost of high-fidelity aerodynamic simulations, a surrogate model is employed to cope with the significant variations of several inflow conditions. Specifically, the Local Decomposition Method presented in this paper has been derived to capture nonlinear behaviors resulting from the presence of continuous and discontinuous signals. A combination of unsupervised and supervised learning algorithms is coupled with a physical criterion. It decomposes automatically the input parameter space, from a limited number of high-fidelity simulations, into subspaces. These latter correspond to different flow regimes. A measure of entropy identifies the subspace with the expected strongest non-linear behavior allowing to perform an active resampling on this low-dimensional structure. Local reduced-order models are built on each subspace using Proper Orthogonal Decomposition coupled with a multivariate interpolation tool. The methodology is assessed on the turbulent two-dimensional flow around the RAE2822 transonic airfoil. It exhibits a significant improvement in term of prediction accuracy for the Local Decomposition Method compared with the classical method of surrogate modeling for cases with different flow regimes.

physics.flu-dyn