arXiv subjects

François Dubois

Publications and source records attributed to François Dubois.

At least 55 records · Page 3Linked to original sources

arXiv2018

Interpolation Methods for Binary and Multivalued Logical Quantum Gate Synthesis

A method for synthesizing quantum gates is presented based on interpolation methods applied to operators in Hilbert space. Starting from the diagonal forms of specific generating seed operators with non-degenerate eigenvalue spectrum one obtains for arity-one a complete family of logical operators corresponding to all the one-argument logical connectives. Scaling-up to n-arity gates is obtained by using the Kronecker product and unitary transformations. The quantum version of the Fourier transform of Boolean functions is presented and a Reed-Muller decomposition for quantum logical gates is derived. The common control gates can be easily obtained by considering the logical correspondence between the control logic operator and the binary propositional logic operator. A new polynomial and exponential formulation of the Toffoli gate is presented. The method has parallels to quantum gate-T optimization methods using powers of multilinear operator polynomials. The method is then applied naturally to alphabets greater than two for multi-valued logical gates used for quantum Fourier transform, min-max decision circuits and multivalued adders.

quant-ph↗

arXiv2018

Recovering the full Navier Stokes equations with lattice Boltzmann schemes

We consider multi relaxation times lattice Boltzmann scheme with two particle distributions for the thermal Navier Stokes equations formulated with conservation of mass and momentum and dissipation of volumic entropy.Linear stability is taken into consideration to determine a coupling between two coefficients of dissipation.We present interesting numerical results for one-dimensional strong nonlinear acoustic waves with shocks.

math.NA↗

arXiv2017

Raviart Thomas Petrov-Galerkin Finite Elements

The general theory of Babuška ensures necessary and sufficient conditions for a mixed problem in classical or Petrov-Galerkin form to be well posed in the sense of Hadamard. Moreover, the mixed method of Raviart-Thomas with low-level elements can be interpreted as a finite volume method with a non-local gradient. In this contribution, we propose a variant of type Petrov-Galerkin to ensure a local computation of the gradient at the interfaces of the elements. The in-depth study of stability leads to a specific choice of the test functions. With this choice, we show on the one hand that the mixed Petrov-Galerkin obtained is identical to the finite volumes scheme "volumes finis à 4 points" ("VF4") of Faille, Galloüet and Herbin and to the condensation of mass approach developed by Baranger, Maitre and Oudin. On the other hand, we show the stability via an inf-sup condition and finally the convergence with the usual methods of mixed finite elements.

math.NA↗

arXiv2017

Efficient lattice Boltzmann models for the Kuramoto-Sivashinsky equation

In this work, we improve the accuracy and stability of the lattice Boltzmann model for the Kuramoto-Sivashinsky equation proposed in \cite{2017_Otomo}. This improvement is achieved by controlling the relaxation time, modifying the equilibrium state, and employing more and higher lattice speeds, in a manner suggested by our analysis of the Taylor-series expansion method. The model's enhanced stability enables us to use larger time increments, thereby more than compensating for the extra computation required by the high lattice speeds. Furthermore, even though the time increments are larger than those of the previous scheme, the same level of accuracy is maintained because of the smaller truncation error of the new scheme. As a result, total performance with the new scheme on the D1Q7 lattice is improved by 92 $\%$ compared to the original scheme on the D1Q5 lattice.

physics.comp-ph↗

arXiv2017

Eigenlogic: Interpretable Quantum Observables with applications to Fuzzy Behavior of Vehicular Robots

This work proposes a formulation of propositional logic, named Eigenlogic, using quantum observables as propositions. The eigenvalues of these operators are the truth-values and the associated eigenvectors the interpretations of the propositional system. Fuzzy logic arises naturally when considering vectors outside the eigensystem, the fuzzy membership function is obtained by the Born rule of the logical observable.This approach is then applied in the context of quantum robots using simple behavioral agents represented by Braitenberg vehicles. Processing with non-classical logic such as multivalued logic, fuzzy logic and the quantum Eigenlogic permits to enlarge the behavior possibilities and the associated decisions of these simple agents.

cs.AI↗

arXiv2016

Coupling Linear Sloshing with Six Degrees of Freedom Rigid Body Dynamics

Fluid motion in tanks is usually described in space industry with the so-called Lomen hypothesis which assumes the vorticity is null in the moving frame. We establish in this contribution that this hypothesis is valid only for uniform rotational motions. We give a more general formulation of this coupling problem, with a compact formulation. We consider the mechanical modeling of a rigid body with a motion of small amplitude, containing an incompressible fluid in the linearized regime. We first establish that the fluid motion remains irrotational in a Galilean referential if it is true at the initial time. When continuity of normal velocity and pressure are prescribed on the free surface, we establish that the global coupled problem conserves an energy functional composed by three terms. We introduce the Stokes - Zhukovsky vector fields, solving Neumann problems for the Laplace operator in the fluid in order to represent the rotational rigid motion with irrotational vector fields. Then we have a good framework to consider the coupled problem between the fluid and the rigid motion. The coupling between the free surface and the ad hoc component of the velocity potential introduces a "Neumann to Dirichlet" operator that allows to write the coupled system in a very compact form. The final expression of a Lagrangian for the coupled system is derived and the Euler-Lagrange equations of the coupled motion are presented.

physics.flu-dyn↗

arXiv2015

Stability of a bidimensional relative velocity lattice Boltzmann scheme

In this contribution, we study the theoretical and numerical stability of a bidimensional relative velocity lattice Boltzmann scheme. These relative velocity schemes introduce a velocity field parameter called "relative velocity" function of space and time. They generalize the d'Humières multiple relaxation times scheme and the cascaded automaton. This contribution studies the stability of a four velocities scheme applied to a single linear advection equation according to the value of this relative velocity. We especially compare when it is equal to 0 (multiple relaxation times scheme) or to the advection velocity ("cascaded like" scheme). The comparison is made in terms of L1 and L2 stability. The L1 stability area is fully described in terms of relaxation parameters and advection velocity for the two choices of relative velocity. These results establish that no hierarchy of these two choices exists for the L1 notion. Instead, choosing the parameter equal to the advection velocity improves the numerical L2 stability of the scheme. This choice cancels some dispersive terms and improve the numerical stability on a representative test case. We theoretically strengthen these results with a weighted L2 notion of stability.

math.NA↗

arXiv2015

On the stability of a relative velocity lattice Boltzmann scheme for compressible Navier-Stokes equations

This paper studies the stability properties of a two dimensional relative velocity scheme for the Navier-Stokes equations. This scheme inspired by the cascaded scheme has the particularity to relax in a frame moving with a velocity field function of space and time. Its stability is studied first in a linear context then on the non linear test case of the Kelvin-Helmholtz instability. The link with the choice of the moments is put in evidence. The set of moments of the cascaded scheme improves the stability of the d'Humières scheme for small viscosities. On the contrary, a relative velocity scheme with the usual set of moments deteriorates the stability.

math.NA↗

arXiv2015

Third order equivalent equation for the relative velocity lattice Boltzmann schemes with one conservation law

We study the formal precision of the relative velocity lattice Boltzmann schemes. They differ from the d'Humières schemes by their relaxation phase: it occurs for a set of moments parametrized by a velocity field function of space and time. We deal with the asymptotics of the relative velocity schemes for one conservation law: the third order equivalent equation is exposed for an arbitrary number of dimensions and velocities.

math.NA↗

arXiv2015

Lattice Boltzmann schemes with relative velocities

In this contribution, a new class of lattice Boltzmann schemes is introduced and studied. These schemes are presented in a framework that generalizes the multiple relaxation times method of d'Humières. They extend also the Geier's cascaded method. The relaxation phase takes place in a moving frame involving a set of moments depending on a given relative velocity field. We establish with the Taylor expansion method that the equivalent partial differential equations are identical to the ones obtained with the multiple relaxation times method up to the second order accuracy. The method is then performed to derive the equivalent equations up to third order accuracy.

math.NA↗

arXiv2014

Kron's method and cell complexes for magnetomotive and electromotive forces

Starting from topological principles we first recall the elementary ones giving Kirchhoff's laws for current conservation. Using in a second step the properties of spaning tree, we show that currents are under one hypothesis intrinsically boundaries of surfaces flux. Naturally flux appears as the object from which the edge comes from. The current becomes the magnetomotive force (mmf) that creates the flux in the magnetostatic representation. Using a metric and an Hodge's operator, this flux creates an electromotive force (emf). This emf is finally linked with the current to give the fundamental tensor - or "metric" - of the Kron's tensorial analysis of networks. As it results in a link between currents of cycles (surface boundaries) and energy sources in the network, we propose to symbolize this cross talk using chords between cycles in the graph structure on which the topology is based. Starting then from energies relations we show that this metric is the Lagrange's operator of the circuit. But introducing moment space, the previous results can be extended to non local interactions as far field one. And to conclude, we use the same principle to create general relation of information exchange between networks as functors between categories.

math.NA↗

arXiv2014

Boundary Element and Finite Element Coupling for Aeroacoustics Simulations

We consider the scattering of acoustic perturbations in a presence of a flow. We suppose that the space can be split into a zone where the flow is uniform and a zone where the flow is potential. In the first zone, we apply a Prandtl-Glauert transformation to recover the Helmholtz equation. The well-known setting of boundary element method for the Helmholtz equation is available. In the second zone, the flow quantities are space dependent, we have to consider a local resolution, namely the finite element method. Herein, we carry out the coupling of these two methods and present various applications and validation test cases. The source term is given through the decomposition of an incident acoustic field on a section of the computational domain's boundary.

physics.comp-ph↗

arXiv2014

On a superconvergent lattice Boltzmann boundary scheme

In a seminal paper Ginzburg and Adler analyzed the bounce-back boundary conditions for the lattice Boltzmann scheme and showed that it could be made exact to second order for the Poiseuille flow if some expressions depending upon the parameters of the method were satisfied, thus defining so-called "magic parameters". Using the Taylor expansion method that one of us developed, we analyze a series of simple situations (1D and 2D) for diffusion and for linear fluid problems using bounce-back and "anti bounce-back" numerical boundary conditions. The result is that "magic parameters" depend upon the detailed choice of the moments and of their equilibrium values. They may also depend upon the way the flow is driven.

math.NA↗

arXiv2014

On triangular lattice Boltzmann schemes for scalar problems

We propose to extend the d'Humiéres version of the lattice Boltzmann scheme to triangular meshes. We use Bravais lattices or more general lattices with the property that the degree of each internal vertex is supposed to be constant. On such meshes, it is possible to define the lattice Boltzmann scheme as a discrete particle method, without need of finite volume formulation or Delaunay-Voronoi hypothesis for the lattice. We test this idea for the heat equation and perform an asymptotic analysis with the Taylor expansion method for two schemes named D2T4 and D2T7. The results show a convergence up to second order accuracy and set new questions concerning a possible super-convergence.

math.NA↗

arXiv2014

Finite volumes and mixed Petrov-Galerkin finite elements : the unidimensional problem

For Laplace operator in one space dimension, we propose to formulate the heuristic finite volume method with the help of mixed Petrov-Galerkin finite elements. Weighting functions for gradient discretization are parameterized by some universal function. We propose for this function a compatibility interpolation condition and we prove that such a condition is equivalent to the inf-sup property when studying stability of the numerical scheme. In the case of stable scheme and under two distinct hypotheses concerning the regularity of the solution, we demonstrate convergence of the finite volume method in appropriate Hilbert spaces and with optimal order of accuracy.

math.NA↗

arXiv2014

On rotational invariance of lattice Boltzmann schemes

We propose the derivation of acoustic-type isotropic partial differential equations that are equivalent to linear lattice Boltzmann schemes with a density scalar field and a momentum vector field as conserved moments. The corresponding linear equivalent partial differential equations are generated with a new "Berliner version" of the Taylor expansion method. The details of the implementation are presented. These ideas are applied for the D2Q9, D2Q13, D3Q19 and D3Q27 lattice Boltzmann schemes. Some limitations associated with necessary stability conditions are also presented.

math.NA↗

arXiv2014

Simulation of strong nonlinear waves with vectorial lattice Boltzmann schemes

We show that an hyperbolic system with a mathematical entropy can be discretized with vectorial lattice Boltzmann schemes with the methodology of kinetic representation of the dual entropy. We test this approach for the shallow water equations in one and two space dimensions. We obtain interesting results for a shock tube, reflection of a shock wave and unstationary two-dimensional propagation. This contribution shows the ability of vectorial lattice Boltzmann schemes to simulate strong nonlinear waves in unstationary situations.

math.NA↗

arXiv2013

Some results on energy-conserving lattice Boltzmann models

We consider the problem of ''energy conserving'' lattice Boltzmann models. A major difficulty observed in previous studies is the coupling between the viscous and thermal waves even at moderate wave numbers. We propose a theoretical framework based founded on the knowledge of the partial equivalent equations of the lattice Boltzmann scheme at several orders of precision. With the help of linearized models (inviscid and dissipative advective acoustics and classical acoustics), we suggest natural sets of relations for the parameters of lattice Boltzmann schemes. The application is proposed for three two-dimensional schemes. Numerical test cases for simple linear and nonlinear waves establish that the main difficulty in the previous contributions can now be overcome.

math.NA↗