Publications

2018

• Principal-Agent Problem with Common Agency without Communication
  
  • Mastrolia Thibaut
  • Ren Zhenjie
  , 2018. In this paper, we consider a problem of contract theory in which several Principals hire a common Agent and we study the model in the continuous time setting. We show that optimal contracts should satisfy some equilibrium conditions and we reduce the optimisation problem of the Principals to a system of coupled Hamilton-Jacobi-Bellman (HJB) equations. We provide conditions ensuring that for risk-neutral Principals, the system of coupled HJB equations admits a solution. Further, we apply our study in a more specific linear-quadratic model where two interacting Principals hire one common Agent. In this continuous time model, we extend the result of Bernheim and Whinston (1986) in which the authors compare the optimal effort of the Agent in a non-cooperative Principals model and that in the aggregate model, by showing that these two optimisations coincide only in the first best case. We also study the sensibility of the optimal effort and the optimal remunerations with respect to appetence parameters and the correlation between the projects. (10.1137/17M1133609)
  DOI : 10.1137/17M1133609
• Development and performance of npde for the evaluation of time-to-event models
  
  • Cerou Marc
  • Lavielle Marc
  • Brendel Karl
  • Chenel Marylore
  • Comets Emmanuelle
  Pharmaceutical Research, American Association of Pharmaceutical Scientists, 2018, 35 (2), pp.30. Purpose - Normalised prediction distribution errors (npde) are used to graphically and statistically evaluate mixed-effect models for continuous responses. In this study, our aim was to extend npde to time-to-event (TTE) models and evaluate their performance. Methods - Let V denote a dataset with censored TTE observations. The null hypothesis (H) is that observations in V can be described by model M. We extended npde to TTE models using imputations to take into account censoring. We then evaluated their performance in terms of type I error and power to detect model misspecifications for TTE data by means of a simulation study with different sample sizes. Results - Type I error was found to be close to the expected 5% significance level for all sample sizes tested. The npde were able to detect misspecifications in the baseline hazard as well as in the link between the longitudinal variable and the survival function. The ability to detect model misspecifications increased as the difference in the shape of the survival function became more apparent. As expected, the power also increased as the sample size increased. Imputing the censored events tended to decrease the percentage of rejections. Conclusions - We have shown that npde can be readily extended to TTE data and that they perform well with an adequate type I error. (10.1007/s11095-017-2291-3)
  DOI : 10.1007/s11095-017-2291-3
• Quantitative estimates for the flux of TASEP with dilute site disorder
  
  • Bahadoran Christophe
  • Bodineau Thierry
  Electronic Journal of Probability, Institute of Mathematical Statistics (IMS), 2018, 23. We prove that the flux function of the totally asymmetric simple exclusion process (TASEP) with site disorder exhibits a flat segment for sufficiently dilute disorder. For high dilution, we obtain an accurate description of the flux. The result is established under a decay assumption of the maximum current in finite boxes, which is implied in particular by a sufficiently slow power tail assumption on the disorder distribution near its minimum. To circumvent the absence of explicit invariant measures, we use an original renormalization procedure and some ideas inspired by homogenization. (10.1214/18-EJP137)
  DOI : 10.1214/18-EJP137
• Optimal Control of Infinite Dimensional Bilinear Systems: Application to the Heat and Wave Equations
  
  • Aronna Maria Soledad
  • Bonnans Joseph Fréderic
  • Kröner Axel
  Mathematical Programming, Springer Verlag, 2018, 168 (1-2), pp.717-757. In this paper we consider second order optimality conditions for a bilinear optimal control problem governed by a strongly continuous semigroup operator, the control entering linearly in the cost function. We derive first and second order optimality conditions, taking advantage of the Goh transform. We then apply the results to the heat and wave equations.
• Sufficient optimality conditions for bilinear optimal control of the linear damped wave equation
  
  • Bethke Franz
  • Kröner Axel
  , 2018. In this paper we discuss sufficient optimality conditions for an optimal control problem for the linear damped wave equation with the damping parameter as the control. We address the case that the control enters quadratic in the cost function as well as the singular case that the control enters affine. For the non-singular case we consider strong and weak local minima , in the singular case we derive sufficient optimality conditions for weak local minima. Thereby, we take advantage of the Goh transformation applying techniques recently established in Aronna, Bonnans, and Kröner [Math. Program. 168(1):717–757, 2018] and [INRIA research report, 2017]. Moreover, a numerical example for the singular case is presented.
• Epidemics and the Eden model : a detailed study of robustness
  
  • Gerin Lucas
  , 2018, Emergence, Complexity and Computation, vol 27, pp.165-178. We present some well-known and less well-known properties of the Probabilistic Cellular Automaton \emph{Epidemics} on a finite grid and its analogous on the infinite square lattice: the Eden model. (10.1007/978-3-319-65558-1_12)
  DOI : 10.1007/978-3-319-65558-1_12
• The geometry of random minimal factorizations of a long cycle via biconditioned bitype random trees
  
  • Féray Valentin
  • Kortchemski Igor
  Annales Henri Lebesgue, UFR de Mathématiques - IRMAR, 2018, 1, pp.149-226. (10.5802/ahl.5)
  DOI : 10.5802/ahl.5
• Continuous Optimal Control Approaches to Microgrid Energy Management
  
  • Heymann Benjamin
  • Bonnans J. Frederic
  • Martinon Pierre
  • Silva Francisco
  • Lanas Fernando
  • Jimenez Guillermo
  Energy Systems, Springer, 2018, 9 (1), pp.59-77. —We propose a novel method for the microgrid energy management problem by introducing a continuous-time, rolling horizon formulation. The energy management problem is formulated as a deterministic optimal control problem (OCP). We solve (OCP) with two classical approaches: the direct method [1], and Bellman's Dynamic Programming Principle (DPP) [2]. In both cases we use the optimal control toolbox BOCOP [3] for the numerical simulations. For the DPP approach we implement a semi-Lagrangian scheme [4] adapted to handle the optimization of switching times for the on/off modes of the diesel generator. The DPP approach allows for an accurate modeling and is computationally cheap. It finds the global optimum in less than 3 seconds, a CPU time similar to the Mixed Integer Linear Programming (MILP) approach used in [5]. We achieve this performance by introducing a trick based on the Pontryagin Maximum Principle (PMP). The trick increases the computation speed by several orders and also improves the precision of the solution. For validation purposes, simulation are performed using datasets from an actual isolated microgrid located in northern Chile. Results show that DPP method is very well suited for this type of problem when compared with the MILP approach.
• Gauge-reversing maps on cones, and Hilbert and Thompson isometries
  
  • Walsh Cormac
  Geometry and Topology, Mathematical Sciences Publishers, 2018, 22 (1), pp.55-104. We show that a cone admits a gauge-reversing map if and only if it is a symmetric cone. We use this to prove that every isometry of a Hilbert geometry is a collineation unless the Hilbert geometry is the projective space of a non-Lorentzian symmetric cone, in which case the collineation group is of index two in the isometry group. We also determine the isometry group of the Thompson geometry on a cone. (10.2140/gt.2018.22.55)
  DOI : 10.2140/gt.2018.22.55
• Linearized Navier-Stokes Equations for Aeroacoustics using Stabilized Finite Elements: Boundary Conditions and Industrial Application to Aft-Fan Noise Propagation
  
  • Bissuel Aloïs
  • Allaire Grégoire
  • Daumas Laurent
  • Barré Sébastien
  • Rey Floriane
  Computers and Fluids, Elsevier, 2018. In this paper, a numerical method for solving the linearized Navier-Stokes equations is presented for aeroacoustic sound propagation problem. The Navier-Stokes equations are linearized in the frequency domain. The fan noise of jet engine is emitted nearly selectively at certain frequencies, which depend on the rotation velocity of the fan. A frequency domain approach is highly suitable for this kind of problem, instead of a costly time-dependent simulation which can handle a large range of frequencies depending on the time step and the mesh. The calculations presented here were all made using Aether, a Navier-Stokes code which uses finite elements stabilized with SUPG (Streamline Upwind Galerkin). Automatic code differentiation was used to linearize this code. Entropy variables bring interesting mathematical properties to the numerical scheme, but also prevent the easy implementation of boundary conditions. For instance, the pressure is a non-linear combination of the entropy variables. Imposing a pressure variation needs a linearization of this relation which is detailed herein. The performance of different types of boundary conditions used to impose the acoustic pressure variation inside the engine is studied in detail. Finally, a very surprising effect of the SUPG scheme was to transform a homogeneous Dirichlet boundary condition on all variables to a transparent one which is able to let only outgoing waves pass * Dassault Aviation 78, quai Marcel 1 through with no incoming wave. A one-dimensional toy model is given to explain how SUPG brings about this transformation. The last part of the article is dedicated to an industrial test case. The geometry of a model turbine from the Clean Sky European project was used for sound propagation of the fan exhaust noise of a jet engine. Computations on several modes with increasing complexities were done and the results compared to a boundary element method which served as a reference when no mean flow is present. Results of a computation with a mean flow are shown.
• On the Whitney extension property for continuously differentiable horizontal curves in sub-Riemannian manifolds
  
  • Sacchelli Ludovic
  • Sigalotti Mario
  Calculus of Variations and Partial Differential Equations, Springer Verlag, 2018. In this article we study the validity of the Whitney $C^1$ extension property for horizontal curves in sub-Riemannian manifolds endowed with 1-jets that satisfy a first-order Taylor expansion compatibility condition. We first consider the equiregular case, where we show that the extension property holds true whenever a suitable non-singularity property holds for the input-output maps on the Carnot groups obtained by nilpotent approximation. We then discuss the case of sub-Riemannian manifolds with singular points and we show that all step-2 manifolds satisfy the $C^1$ extension property. We conclude by showing that the $C^1$ extension property implies a Lusin-like approximation theorem for horizontal curves on sub-Riemannian manifolds.
• Avis en réponse à la saisine HCB - dossier 2018-150. Paris, le 24 octobre 2018
  
  • Comité Scientifique Du Haut Conseil Des Biotechnologies .
  • Angevin Frédérique
  • Bagnis Claude
  • Bar-Hen Avner
  • Barny Marie-Anne
  • Boireau Pascal
  • Brévault Thierry
  • Chauvel Bruno B.
  • Collonnier Cécile
  • Couvet Denis
  • Dassa Elie
  • de Verneuil Hubert
  • Demeneix Barbara
  • Franche Claudine
  • Guerche Philippe
  • Guillemain Joël
  • Hernandez Raquet Guillermina
  • Khalife Jamal
  • Klonjkowski Bernard
  • Lavielle Marc
  • Le Corre Valérie
  • Lefèvre François
  • Lemaire Olivier
  • Lereclus Didier D.
  • Maximilien Rémy
  • Meurs Eliane
  • Naffakh Nadia
  • Négre Didier
  • Noyer Jean-Louis
  • Ochatt Sergio
  • Pages Jean-Christophe
  • Raynaud Xavier
  • Regnault-Roger Catherine
  • Renard Michel M.
  • Renault Tristan
  • Saindrenan Patrick
  • Simonet Pascal
  • Troadec Marie-Bérengère
  • Vaissière Bernard
  • Vilotte Jean-Luc
  , 2018.
• Peristaltic Waves as Optimal Gaits in Metameric Bio-Inspired Robots
  
  • Agostinelli Daniele
  • Alouges François
  • Desimone Antonio
  Frontiers in Robotics and AI, Frontiers Media S.A., 2018, 5, pp.99. Peristalsis, i.e., a motion pattern arising from the propagation of muscle contraction and expansion waves along the body, is a common locomotion strategy for limbless animals. Mimicking peristalsis in bio-inspired robots has attracted considerable attention in the literature. It has recently been observed that maximal velocity in a metameric earthworm-like robot is achieved by actuating the segments using a “phase coordination” principle. This paper shows that, in fact, peristalsis (which requires not only phase coordination, but also that all segments oscillate at same frequency and amplitude) emerges from optimization principles. More precisely, basing our analysis on the assumption of small deformations, we show that peristaltic waves provide the optimal actuation solution in the ideal case of a periodic infinite system, and that this is approximately true, modulo edge effects, for the real, finite length system. Therefore, this paper confirms the effectiveness of mimicking peristalsis in bio-inspired robots, at least in the small-deformation regime. Further research will be required to test the effectiveness of this strategy if large deformations are allowed. (10.3389/frobt.2018.00099)
  DOI : 10.3389/frobt.2018.00099
• Variational methods for tomographic reconstruction with few views
  
  • Bergounioux Maïtine
  • Abraham Isabelle
  • Abraham Romain
  • Carlier Guillaume
  • Le Pennec Erwan
  • Trélat Emmanuel
  Milan Journal of Mathematics, Springer Verlag, 2018, 86 (2), pp.157--200. We deal with a severe ill posed problem, namely the reconstruction process of an image during tomography acquisition with (very) few views. We present different methods that we have been investigated during the past decade. They are based on variational analysis. This is a survey paper and we refer to the quoted papers for more details. Mathematics Subject Classification (2010). 49K40, 45Q05,65M32.
• Uncovering Causality from Multivariate Hawkes Integrated Cumulants
  
  • Achab Massil
  • Bacry Emmanuel
  • Gaïffas Stéphane
  • Mastromatteo Iacopo
  • Muzy Jean-François
  Journal of Machine Learning Research, Microtome Publishing, 2018, 18, pp.192. We design a new nonparametric method that allows one to estimate the matrix of integrated kernels of a multivariate Hawkes process. This matrix not only encodes the mutual influences of each node of the process, but also disentangles the causality relationships between them. Our approach is the first that leads to an estimation of this matrix without any parametric modeling and estimation of the kernels themselves. As a consequence, it can give an estimation of causality relationships between nodes (or users), based on their activity timestamps (on a social network for instance), without knowing or estimating the shape of the activities lifetime. For that purpose, we introduce a moment matching method that fits the second-order and the third-order integrated cumulants of the process. A theoretical analysis allows us to prove that this new estimation technique is consistent. Moreover, we show, on numerical experiments, that our approach is indeed very robust with respect to the shape of the kernels and gives appealing results on the MemeTracker database and on financial order book data.
• Generic uniqueness of the bias vector of finite stochastic games with perfect information
  
  • Akian Marianne
  • Gaubert Stéphane
  • Hochart Antoine
  Journal of Mathematical Analysis and Applications, Elsevier, 2018, 457, pp.1038-1064. Mean-payoff zero-sum stochastic games can be studied by means of a nonlinear spectral problem. When the state space is finite, the latter consists in finding an eigenpair (u,λ) solution of T(u)=λe+u, where T:Rn→Rn is the Shapley (or dynamic programming) operator, λ is a scalar, e is the unit vector, and u∈Rn. The scalar λ yields the mean payoff per time unit, and the vector u, called the bias, allows one to determine optimal stationary strategies. The existence of the eigenpair (u,λ) is generally related to ergodicity conditions. A basic issue is to understand for which classes of games the bias vector is unique (up to an additive constant). In this paper, we consider perfect-information zero-sum stochastic games with finite state and action spaces, thinking of the transition payments as variable parameters, transition probabilities being fixed. We show that the bias vector, thought of as a function of the transition payments, is generically unique (up to an additive constant). The proof uses techniques of max-plus (or tropical) algebra and nonlinear Perron-Frobenius theory. As an application of our results, we obtain a perturbation scheme allowing one to solve degenerate instances of stochastic games by policy iteration. (10.1016/j.jmaa.2017.07.017)
  DOI : 10.1016/j.jmaa.2017.07.017
• Modal basis approaches in shape and topology optimization of frequency response problems
  
  • Allaire Grégoire
  • Michailidis Georgios
  International Journal for Numerical Methods in Engineering, Wiley, 2018, 113 (8), pp.1258-1299. The optimal design of mechanical structures subject to periodic excitations within a large frequency interval is quite challenging. In order to avoid bad performances for non-discretized frequencies, it is necessary to finely discretize the frequency interval, leading to a very large number of state equations. Then, if a standard adjoint-based approach is used for optimization, the computational cost (both in terms of CPU and memory storage) may be prohibitive for large problems, especially in three space dimensions. The goal of the present work is to introduce two new non-adjoint approaches for dealing with frequency response problems in shape and topology optimization. In both cases, we rely on a classical modal basis approach to compute the states, solutions of the direct problems. In the first method, we do not use any adjoint but rather directly compute the shape derivatives of the eigenmodes in the modal basis. In the second method, we compute the adjoints of the standard approach by using again the modal basis. The numerical cost of these two new strategies are much smaller than the usual ones if the number of modes in the modal basis is much smaller than the number of discretized excitation frequencies. We present numerical examples for the minimization of the dynamic compliance in two and three space dimensions. (10.1002/nme.5504)
  DOI : 10.1002/nme.5504
• Dynamic programming approach to principal-agent problems
  
  • Cvitanić Jakša
  • Possamaï Dylan
  • Touzi Nizar
  Finance and Stochastics, Springer Verlag (Germany), 2018, 22, pp.1-37. We consider a general formulation of the Principal-Agent problem with a lump-sum payment on a finite horizon, providing a systematic method for solving such problems. Our approach is the following: we first find the contract that is optimal among those for which the agent's value process allows a dynamic programming representation, for which the agent's optimal effort is straightforward to find. We then show that the optimization over the restricted family of contracts represents no loss of generality. As a consequence, we have reduced this non-zero sum stochastic differential game to a stochastic control problem which may be addressed by the standard tools of control theory. Our proofs rely on the backward stochastic differential equations approach to non-Markovian stochastic control, and more specifically, on the recent extensions to the second order case. (10.1007/s00780-017-0344-4)
  DOI : 10.1007/s00780-017-0344-4
• Principal-Agent Problem with Common Agency Without Communication
  
  • Mastrolia Thibaut
  • Ren Zhenjie
  SIAM Journal on Financial Mathematics, Society for Industrial and Applied Mathematics, 2018, 9 (2), pp.775-799. In this paper, we consider a problem of contract theory in which several Principals hire a common Agent and we study the model in the continuous time setting. We show that optimal contracts should satisfy some equilibrium conditions and we reduce the optimization problem of the Principals to a system of coupled Hamilton--Jacobi--Bellman (HJB) equations. We provide conditions ensuring that for risk-neutral Principals, the system of coupled HJB equations admits a solution. Further, we apply our study in a more specific linear-quadratic model where two interacting Principals hire one common Agent. In this continuous time model, we extend the result of [B. D. Bernheim and M. D. Whinston, Econometrica, 54 (1986), pp. 923--942] in which the authors compare the optimal effort of the Agent in a noncooperative Principals model and that in the aggregate model, by showing that these two optimizations coincide only in the first best case. We also study the sensibility of the optimal effort and the optimal remunerations with respect to appetence parameters and the correlation between the projects. (10.1137/17M1133609)
  DOI : 10.1137/17M1133609
• Relaxation Limit and Initial-Layers for a Class of Hyperbolic-Parabolic Systems
  
  • Giovangigli Vincent
  • Yang Zai-Bao
  • Yong Wen-An
  SIAM Journal on Mathematical Analysis, Society for Industrial and Applied Mathematics, 2018. We consider a class of hyperbolic-parabolic systems with small diffusion terms and stiff sources. Existence of solutions to the Cauchy problem with ill prepared initial data is established by using composite expansions including initial-layer correctors and a convergence-stability lemma. New multitime expansions are introduced and lead to second-order error estimates between the composite expansions and the solution. Reduced equilibrium systems of second-order accuracy are also investigated as well as initial-layers of Chapman-Enskog expansions. (10.1137/18M1170091)
  DOI : 10.1137/18M1170091
• Quadratic BSDEs with mean reflection
  
  • Hibon Hélène
  • Hu Ying
  • Lin Yiqing
  • Luo Peng
  • Wang Falei
  Mathematical Control and Related Fields, AIMS, 2018, 8 (3 & 4), pp.721-738. The present paper is devoted to the study of the well-posedness of BSDEs with mean reflection whenever the generator has quadratic growth in the $z$ argument. This work is the sequel of Briand et al. [BSDEs with mean reflection, arXiv:1605.06301] in which a notion of BSDEs with mean reflection is developed to tackle the super-hedging problem under running risk management constraints. By the contraction mapping argument, we first prove that the quadratic BSDE with mean reflection admits a unique deterministic flat local solution on a small time interval whenever the terminal value is bounded. Moreover, we build the global solution on the whole time interval by stitching local solutions when the generator is uniformly bounded with respect to the $y$ argument. (10.3934/mcrf.2018031)
  DOI : 10.3934/mcrf.2018031
• Solving generic nonarchimedean semidefinite programs using stochastic game algorithms
  
  • Allamigeon Xavier
  • Gaubert Stephane
  • Skomra Mateusz
  Journal of Symbolic Computation, Elsevier, 2018, 85, pp.25-54. A general issue in computational optimization is to develop combinatorial algorithms for semidefinite programming. We address this issue when the base field is nonarchimedean. We provide a solution for a class of semidefinite feasibility problems given by generic matrices. Our approach is based on tropical geometry. It relies on tropical spectrahedra, which are defined as the images by the valuation of nonarchimedean spectrahedra. We establish a correspondence between generic tropical spectrahedra and zero-sum stochastic games with perfect information. The latter have been well studied in algorithmic game theory. This allows us to solve nonarchimedean semidefinite feasibility problems using algorithms for stochastic games. These algorithms are of a combinatorial nature and work for large instances. (10.1016/j.jsc.2017.07.002)
  DOI : 10.1016/j.jsc.2017.07.002
• Darboux–Moutard transformations and Poincare–Steklov operators
  
  • Novikov Roman
  • Taimanov Iskander
  Proceedings of the Steklov Institute of Mathematics, MAIK Nauka/Interperiodica, 2018, 302, pp.315–324. Formulas relating Poincare–Steklov operators for Schrödinger equations related by Darboux–Moutard transformations are derived. They can be used for testing algorithms of reconstruction of the potential from measurements at the boundary. (10.1134/S0081543818060160)
  DOI : 10.1134/S0081543818060160
• FEM and BEM simulations with the Gypsilab framework
  
  • Alouges François
  • Aussal Matthieu
  SMAI Journal of Computational Mathematics, Société de Mathématiques Appliquées et Industrielles (SMAI), 2018, 4, pp.297-318. (10.5802/smai-jcm.36)
  DOI : 10.5802/smai-jcm.36
• Fluctuations and Temperature Effects in Bose-Einstein Condensation
  
  • de Bouard Anne
  • Debussche Arnaud
  • Fukuizumi Reika
  • Poncet Romain
  ESAIM: Proceedings and Surveys, EDP Sciences, 2018, 61, pp.55-67. The modeling of cold atoms systems has known an increasing interest in the theoretical physics community, after the first experimental realizations of Bose Einstein condensates, some twenty years ago. We here review some analytical and numerical results concerning the influence of fluctuations , either arising from fluctuations of the confining parameters, or due to temperature effects, in the models describing the dynamics of such condensates. (10.1051/proc/201861055)
  DOI : 10.1051/proc/201861055