SearcharxivSearch

arXiv subjects

Antoine Choffrut

Publications and source records attributed to Antoine Choffrut.

8 recordsLinked to original sources

SABLE: Secure And Byzantine robust LEarning

Due to the widespread availability of data, machine learning (ML) algorithms are increasingly being implemented in distributed topologies, wherein various nodes collaborate to train ML models via the coordination of a central server. However, distributed learning approaches face significant vulnerabilities, primarily stemming from two potential threats. Firstly, the presence of Byzantine nodes poses a risk of corrupting the learning process by transmitting inaccurate information to the server. Secondly, a curious server may compromise the privacy of individual nodes, sometimes reconstructing the entirety of the nodes' data. Homomorphic encryption (HE) has emerged as a leading security measure to preserve privacy in distributed learning under non-Byzantine scenarios. However, the extensive computational demands of HE, particularly for high-dimensional ML models, have deterred attempts to design purely homomorphic operators for non-linear robust aggregators. This paper introduces SABLE, the first homomorphic and Byzantine robust distributed learning algorithm. SABLE leverages HTS, a novel and efficient homomorphic operator implementing the prominent coordinate-wise trimmed mean robust aggregator. Designing HTS enables us to implement HMED, a novel homomorphic median aggregator. Extensive experiments on standard ML tasks demonstrate that SABLE achieves practical execution times while maintaining an ML accuracy comparable to its non-private counterpart.

cs.LG

A maximal regularity estimate for the non-stationary Stokes equation in the strip

In a $d-$dimensional strip with $d\geq 2$, we study the non-stationary Stokes equation with no-slip boundary condition in the lower and upper plates and periodic boundary condition in the horizontal directions. In this paper we establish a new maximal regularity estimate in the real interpolation norm \begin{equation*} ||f||_{(0,1)}=\inf_{f=f_0+f_1}\left\{\left\langle\sup_{0<z<1} |f_0|\right\rangle+ \left\langle\int_0^{1} |f_1| \frac{dz}{(1-z)z}\right\rangle\right\}\,, \end{equation*} where the brackets $\langle\cdot\rangle$ denotes the horizontal-space and time average. The norms involved in the definition of $\|\cdot\|_{(0,1)}$ are critical for two reasons: the exponents are borderline for the Calderón-Zygmund theory and the weight $1/z$ just fails to be Muckenhoupt. Therefore, the estimate is only true under horizontal bandedness condition, (i. e. a restriction to a packet of wave numbers in Fourier space). The motivation to express the maximal regularity in such a norm comes from an application to the Rayleigh-Bénard problem.

math.AP

Ill-posedness of the cubic nonlinear half-wave equation and other fractional NLS on the real line

In this paper, we study ill-posedness of cubic fractional nonlinear Schrödinger equations. First, we consider the cubic nonlinear half-wave equation (NHW) on $\mathbb R$. In particular, we prove the following ill-posedness results: (i) failure of local uniform continuity of the solution map in $H^s(\mathbb R)$ for $s\in (0,\frac 12)$, and also for $s=0$ in the focusing case; (ii) failure of $C^3$-smoothness of the solution map in $L^2(\mathbb R)$; (iii) norm inflation and, in particular, failure of continuity of the solution map in $H^s(\mathbb R)$, $s<0$. By a similar argument, we also prove norm inflation in negative Sobolev spaces for the cubic fractional NLS. Surprisingly, we obtain norm inflation above the scaling critical regularity in the case of dispersion $|D|^β$ with $β>2$.

math.AP

Upper bounds on Nusselt number at finite Prandtl number

We study Rayleigh Bénard convection based on the Boussinesq approximation. We are interested in upper bounds on the Nusselt number $\mathrm{Nu}$, the upwards heat transport, in terms of the Rayleigh number $\mathrm{Ra}$, that characterizes the relative strength of the driving mechanism and the Prandtl number $\mathrm{Pr}$, that characterizes the strength of the inertial effects. We show that, up to logarithmic corrections, the upper bound $\mathrm{Nu}\lesssim \mathrm{Ra}^{\frac{1}{3}}$ of Constantin and Doering in 1999 persists as long as $\mathrm{Pr}\gtrsim \mathrm{Ra}^{\frac{1}{3}}$ and then crosses over to $\mathrm{Nu}\lesssim\mathrm{Pr}^{-\frac{1}{2}}\mathrm{Ra}^{\frac{1}{2}}$. This result improves the one of Wang by going beyond the perturbative regime $\mathrm{Pr} \gg \mathrm{Ra}$. The proof uses a new way to estimate the transport nonlinearity in the Navier-Stokes equations capitalizing on the no-slip boundary condition. It relies on a new Calderón-Zygmund estimate for the non-stationary Stokes equations in $L^1$ with a borderline Muckenhoupt weight.

math.AP

Weak solutions to the stationary incompressible Euler equations

We consider weak stationary solutions to the incompressible Euler equations and show that the analogue of the h-principle obtained in [5, 7] for time-dependent weak solutions continues to hold. The key difference arises in dimension d = 2, where it turns out that the relaxation is strictly smaller than what one obtains in the time-dependent case.

math.AP

h-Principles for the incompressible Euler equations

Recently, De Lellis and Székelyhidi constructed Hölder continuous, dissipative (weak) solutions to the incompressible Euler equations in the torus $\mathbb T^3$. The construction consists in adding fast oscillations to the trivial solution. We extend this result by establishing optimal h-principles in two and three space dimensions. Specifically, we identify all subsolutions (defined in a suitable sense) which can be approximated in the $H^{-1}$-norm by exact solutions. Furthermore, we prove that the flows thus constructed on $\mathbb T^3$ are genuinely three-dimensional and are not trivially obtained from solutions on $\mathbb T^2$.

math.AP

Dissipative continuous Euler flows in two and three dimensions

Recently, two of these authors construct dissipative continuous (weak) solutions to the incompressible Euler equations on the three-dimensional torus $\mathbb T^3$. The building blocks in their proof are Beltrami flows, which are inherently three-dimensional. The purpose of this note is to show that the techniques can nevertheless be adapted to the two-dimensional case.

math.AP

Local structure of the set of steady-state solutions to the 2D incompressible Euler equations

It is well known that the incompressible Euler equations can be formulated in a very geometric language. The geometric structures provide very valuable insights into the properties of the solutions. Analogies with the finite-dimensional model of geodesics on a Lie group with left-invariant metric can be very instructive, but it is often difficult to prove analogues of finite-dimensional results in the infinite-dimensional setting of Euler's equations. In this paper we establish a result in this direction in the simple case of steady-state solutions in two dimensions, under some non-degeneracy assumptions. In particular, we establish, in a non-degenerate situation, a local one-to-one correspondence between steady-states and co-adjoint orbits.

math.AP