Search arXivSearch

arXiv subjects

Philippe Chartier

Publications and source records attributed to Philippe Chartier.

At least 19 recordsLinked to original sources

Practical and Private Hybrid ML Inference with Fully Homomorphic Encryption

In contemporary cloud-based services, protecting users' sensitive data and ensuring the confidentiality of the server's model are critical. Fully homomorphic encryption (FHE) enables inference directly on encrypted inputs, but its practicality is hindered by expensive bootstrapping and inefficient approximations of non-linear activations. We introduce Safhire, a hybrid inference framework that executes linear layers under encryption on the server while offloading non-linearities to the client in plaintext. This design eliminates bootstrapping, supports exact activations, and significantly reduces computation. To safeguard model confidentiality despite client access to intermediate outputs, Safhire applies randomized shuffling, which obfuscates intermediate values and makes it practically impossible to reconstruct the model. To further reduce latency, Safhire incorporates advanced optimizations such as fast ciphertext packing and partial extraction. Evaluations on multiple standard models and datasets show that Safhire achieves 1.5X - 10.5X lower inference latency than Orion, a state-of-the-art baseline, with manageable communication overhead and comparable accuracy, thereby establishing the practicality of hybrid FHE inference.

cs.CR

Machine Learning Methods for Autonomous Ordinary Differential Equations

Ordinary Differential Equations are generally too complex to be solved analytically. Approximations thereof can be obtained by general purpose numerical methods. However, even though accurate schemes have been developed, they remain computationally expensive: In this paper, we resort to the theory of modified equations in order to obtain ''on the fly'' cheap numerical approximations. The recipe consists in approximating, prior to that, the modified field associated to the modified equation by neural networks. Elementary convergence results are then established and the efficiency of the technique is demonstrated on experiments.

math.NA

Uniformly accurate schemes for drift--oscillatory stochastic differential equations

In this work, we adapt the {\em micro-macro} methodology to stochastic differential equations for the purpose of numerically solving oscillatory evolution equations. The models we consider are addressed in a wide spectrum of regimes where oscillations may be slow or fast. We show that through an ad-hoc transformation (the micro-macro decomposition), it is possible to retain the usual orders of convergence of Euler-Maruyama method, that is to say, uniform weak order one and uniform strong order one half. We also show that the same orders of uniform accuracy can be achieved by a simple integral scheme. The advantage of the micro-macro scheme is that, in contrast to the integral scheme, it can be generalized to higher order methods.

math.NA

Majorant series for the $N$-body problem

As a follow-up of a previous work of the authors, this work considers {\em uniform global time-renormalization functions} for the {\em gravitational} $N$-body problem. It improves on the estimates of the radii of convergence obtained therein by using a completely different technique, both for the solution to the original equations and for the solution of the renormalized ones. The aforementioned technique which the new estimates are built upon is known as {\em majorants} and allows for an easy application of simple operations on power series. The new radii of convergence so-obtained are approximately doubled with respect to our previous estimates. In addition, we show that {\em majorants} may also be constructed to estimate the local error of the {\em implicit midpoint rule} (and similarly for Runge-Kutta methods) when applied to the time-renormalized $N$-body equations and illustrate the interest of our results for numerical simulations of the solar system.

math.NA

On symmetric-conjugate composition methods in the numerical integration of differential equations

We analyze composition methods with complex coefficients exhibiting the so-called ``symmetry-conjugate'' pattern in their distribution. In particular, we study their behavior with respect to preservation of qualitative properties when projected on the real axis and we compare them with the usual left-right palindromic compositions. New schemes within this family up to order 8 are proposed and their efficiency is tested on several examples. Our analysis shows that higher-order schemes are more efficient even when time step sizes are relatively large.

math.NA

Uniformly accurate numerical schemes for a class of dissipative systems

We consider a class of relaxation problems mixing slow and fast variations which can describe population dynamics models or hyperbolic systems, with varying stiffness (from non-stiff to strongly dissipative), and develop a multi-scale method by decomposing this problem into a micro-macro system where the original stiffness is broken. We show that this new problem can therefore be simulated with a uniform order of accuracy using standard explicit numerical schemes. In other words, it is possible to solve the micro-macro problem with a cost independent of the stiffness (a.k.a. uniform cost), such that the error is also uniform. This method is successfully applied to two hyperbolic systems with and without non-linearities, and is shown to circumvent the phenomenon of order reduction.

math.AP

Compositions of pseudo-symmetric integrators with complex coefficients for the numerical integration of differential equations

In this paper, we are concerned with the construction and analysis of a new class of methods obtained as double jump compositions with complex coefficients and projection on the real axis. It is shown in particular that the new integrators are symmetric and symplectic up to high orders if one uses a symmetric and symplectic basic method. In terms of efficiency, the aforementioned technique requires fewer stages than standard compositions of the same orders and is thus expected to lead to faster methods.

math.NA

Continuous changes of variables and the Magnus expansion

In this paper, we are concerned with a formulation of Magnus and Floquet-Magnus expansions for general nonlinear differential equations. To this aim, we introduce suitable continuous variable transformations generated by operators. As an application of the simple formulas so-obtained, we explicitly compute the first terms of the Floquet-Magnus expansion for the Van der Pol oscillator and the nonlinear Schr\"odinger equation on the torus.

math-ph

Uniformly accurate methods for three dimensional Vlasov equations under strong magnetic field with varying direction

In this paper, we consider the three dimensional Vlasov equation with an inhomogeneous, varying direction, strong magnetic field. Whenever the magnetic field has constant intensity, the oscillations generated by the stiff term are periodic. The homogenized model is then derived and several state-of-the-art multiscale methods, in combination with the Particle-In-Cell discretisation, are proposed for solving the Vlasov-Poisson equation. Their accuracy as much as their computational cost remain essentially independent of the strength of the magnetic field. The proposed schemes thus allow large computational steps, while the full gyro-motion can be restored by a linear interpolation in time. In the linear case, extensions are introduced for general magnetic field (varying intensity and direction). Eventually, numerical experiments are exposed to illustrate the efficiency of the methods and some long-term simulations are presented.

math.NA

Highly-oscillatory problems with time-dependent vanishing frequency

In the analysis of highly-oscillatory evolution problems, it is commonly assumed that a single frequency is present and that it is either constant or, at least, bounded from below by a strictly positive constant uniformly in time. Allowing for the possibility that the frequency actually depends on time and vanishes at some instants introduces additional difficulties from both the asymptotic analysis and numerical simulation points of view. This work is a first step towards the resolution of these difficulties. In particular, we show that it is still possible in this situation to infer the asymptotic behaviour of the solution at the price of more intricate computations and we derive a second order uniformly accurate numerical method.

math.NA

Uniformly accurate methods for Vlasov equations with non-homogeneous strong magnetic field

In this paper, we consider the numerical solution of highly-oscillatory Vlasov and Vlasov-Poisson equations with non-homogeneous magnetic field. Designed in the spirit of recent uniformly accurate methods, our schemes remain insensitive to the stiffness of the problem, in terms of both accuracy and computational cost. The specific difficulty (and the resulting novelty of our approach) stems from the presence of a non-periodic oscillation, which necessitates a careful ad-hoc reformulation of the equations. Our results are illustrated numerically on several examples.

math.NA

A new class of uniformly accurate numerical schemes for highly oscillatory evolution equations

We introduce a new methodology to design uniformly accurate methods for oscillatory evolution equations. The targeted models are envisaged in a wide spectrum of regimes, from non-stiff to highly-oscillatory. Thanks to an averaging transformation, the stiffness of the problem is softened, allowing for standard schemes to retain their usual orders of convergence. Overall, high-order numerical approximations are obtained with errors and at a cost independent of the regime.

math.NA

Averaging of highly-oscillatory transport equations

In this paper, we develop a new strategy aimed at obtaining high-order asymptotic models for transport equations with highly-oscillatory solutions. The technique relies upon recent developments averaging theory for ordinary differential equations, in particular normal form expansions in the vanishing parameter. Noteworthy, the result we state here also allows for the complete recovery of the exact solution from the asymptotic model. This is done by solving a companion transport equation that stems naturally from the change of variables underlying high-order averaging. Eventually, we apply our technique to the Vlasov equation with external electric and magnetic fields. Both constant and non-constant magnetic fields are envisaged, and asymptotic models already documented in the literature and re-derived using our methodology. In addition, it is shown how to obtain new high-order asymptotic models.

math.NA

Uniformly accurate time-splitting methods for the semiclassical Schr\"odinger equation Part 1 : Construction of the schemes and simulations

This article is devoted to the construction of new numerical methods for the semiclassical Schr\"odinger equation. A phase-amplitude reformulation of the equation is described where the Planck constant epsilon is not a singular parameter. This allows to build splitting schemes whose accuracy is spectral in space, of up to fourth order in time, and independent of epsilon before the caustics. The second-order method additionally preserves the L^2-norm of the solution just as the exact flow does. In this first part of the paper, we introduce the basic splitting scheme in the nonlinear case, reveal our strategy for constructing higher-order methods, and illustrate their properties with simulations. In the second part, we shall prove a uniform convergence result for the first-order splitting scheme applied to the linear Schr\"odinger equation with a potential.

math.AP

Uniformly accurate time-splitting methods for the semiclassical linear Schr{\"o}dinger equation

This article is devoted to the construction of numerical methods which remain insensitive to the smallness of the semiclassical parameter for the linear Schr{\"o}dinger equation in the semiclassical limit. We specifically analyse the convergence behavior of the first-order splitting. Our main result is a proof of uniform accuracy. We illustrate the properties of our methods with simulations.

math.AP

Analysis of a time-dependent problem of mixed migration and population dynamics

In this work, we consider a system of differential equations modeling the dynamics of some populations of preys and predators, moving in space according to rapidly oscillating time-dependent transport terms, and interacting with each other through a Lotka-Volterra term. These two contributions naturally induce two separated time-scales in the problem. A generalized center manifold theorem is derived to handle the situation where the linear terms are depending on the fast time in a periodic way. The resulting equations are then amenable to averaging methods. As a product of these combined techniques, one obtains an autonomous differential system in reduced dimension whose dynamics can be analyzed in a much simpler way as compared to original equations. Strikingly enough, this system is of Lotka-Volterra form with modified coefficients. Besides, a higher order perturbation analysis allows to show that the oscillations on the original model destabilize the cycles of the averaged Volterra system in a way that can be explicitely computed.

math.AP

Solving highly-oscillatory NLS with SAM: numerical efficiency and geometric properties

In this paper, we present the Stroboscopic Averaging Method (SAM), recently introduced in [7,8,10,12], which aims at numerically solving highly-oscillatory differential equations. More specifically, we first apply SAM to the Schr\"odinger equation on the 1-dimensional torus and on the real line with harmonic potential, with the aim of assessing its efficiency: as compared to the well-established standard splitting schemes, the stiffer the problem is, the larger the speed-up grows (up to a factor 100 in our tests). The geometric properties of SAM are also explored: on very long time intervals, symmetric implementations of the method show a very good preservation of the mass invariant and of the energy. In a second series of experiments on 2-dimensional equations, we demonstrate the ability of SAM to capture qualitatively the long-time evolution of the solution (without spurring high oscillations).

math.NA

Uniformly accurate numerical schemes for highly oscillatory Klein-Gordon and nonlinear Schr\"odinger equations

This work is devoted to the numerical simulation of nonlinear Schr\"odinger and Klein-Gordon equations. We present a general strategy to construct numerical schemes which are uniformly accurate with respect to the oscillation frequency. This is a stronger feature than the usual so called "Asymptotic preserving" property, the last being also satisfied by our scheme in the highly oscillatory limit. Our strategy enables to simulate the oscillatory problem without using any mesh or time step refinement, and the orders of our schemes are preserved uniformly in all regimes. In other words, since our numerical method is not based on the derivation and the simulation of asymptotic models, it works in the regime where the solution does not oscillate rapidly, in the highly oscillatory limit regime, and in the intermediate regime with the same order of accuracy. In the same spirit as in [5], the method is based on two main ingredients. First, we embed our problem in a suitable "two-scal" reformulation with the introduction of an additional variable. Then a link is made with classical strategies based on Chapman-Enskog expansions in kinetic theory despite the dispersive context of the targeted equations, allowing to separate the fast time scale from the slow one. Uniformly accurate (UA) schemes are eventually derived from this new formulation and their properties and performances are assessed both theoretically and numerically.

math.NA