-
Randomized block Krylov method for approximation of truncated tensor SVD
Authors:
Malihe Nobakht Kooshkghazi,
Salman Ahmadi-Asl,
Andre L. F. de Almeida
Abstract:
This paper is devoted to studying the application of the block Krylov subspace method for approximation of the truncated tensor SVD (T-SVD). The theoretical results of the proposed randomized approach are presented. Several experimental experiments using synthetics and real-world data are conducted to verify the efficiency and feasibility of the proposed randomized approach, and the numerical resu…
▽ More
This paper is devoted to studying the application of the block Krylov subspace method for approximation of the truncated tensor SVD (T-SVD). The theoretical results of the proposed randomized approach are presented. Several experimental experiments using synthetics and real-world data are conducted to verify the efficiency and feasibility of the proposed randomized approach, and the numerical results show that the proposed method provides promising results. Applications of the proposed approach to data completion and data compression are presented.
△ Less
Submitted 7 April, 2025;
originally announced April 2025.
-
Feedback stabilization for a spatial-dependent Sterile Insect Technique model with Allee Effect
Authors:
Kala Agbo bidi,
Luís Almeida,
Jean-Michel Coron
Abstract:
This work focuses on feedback control strategies for applying the sterile insect technique (SIT) to eliminate pest populations. The presentation is centered on the case of mosquito populations, but most of the results can be extended to other species by adapting the model and selecting appropriate parameter values to describe the reproduction and movement dynamics of the species under consideratio…
▽ More
This work focuses on feedback control strategies for applying the sterile insect technique (SIT) to eliminate pest populations. The presentation is centered on the case of mosquito populations, but most of the results can be extended to other species by adapting the model and selecting appropriate parameter values to describe the reproduction and movement dynamics of the species under consideration. In our study, we address the spatial distribution of the population in a two dimensional bounded domain by extending the temporal SIT model analyzed in [2], thereby obtaining a reaction-diffusion SIT model. After the analysis of the existence and the uniqueness of the solution of this problem, we construct a feedback law that globally asymptotically stabilizes the extinction equilibrium thus yielding a robust strategy to keep the pest population at very low levels in the long term.
△ Less
Submitted 6 February, 2025;
originally announced February 2025.
-
Randomized algorithms for Kroncecker tensor decomposition and applications
Authors:
Salman Ahmadi-Asl,
Naeim Rezaeian,
Andre L. F. de Almeida,
Yipeng Liu
Abstract:
This paper proposes fast randomized algorithms for computing the Kronecker Tensor Decomposition (KTD). The proposed algorithms can decompose a given tensor into the KTD format much faster than the existing state-of-the-art algorithms. Our principal idea is to use the randomization framework to reduce computational complexity significantly. We provide extensive simulations to verify the effectivene…
▽ More
This paper proposes fast randomized algorithms for computing the Kronecker Tensor Decomposition (KTD). The proposed algorithms can decompose a given tensor into the KTD format much faster than the existing state-of-the-art algorithms. Our principal idea is to use the randomization framework to reduce computational complexity significantly. We provide extensive simulations to verify the effectiveness and performance of the proposed randomized algorithms with several orders of magnitude acceleration compared to the deterministic one. Our simulations use synthetics and real-world datasets with applications to tensor completion, video/image compression, image denoising, and image super-resolution
△ Less
Submitted 21 May, 2025; v1 submitted 3 December, 2024;
originally announced December 2024.
-
Analysis of a toy model for optimal crop protection
Authors:
Luis Almeida,
Aymeric Jacob de Cordemoy,
Ayman Moussa,
Nicolas Vauchelet
Abstract:
In this paper we investigate an optimal control problem involving a toy model for the protection on a crop field. Precisely, we consider a protection on a crop field and we want to place intervention zones represented by a control, in order to maximise the protection on the field during a given period. Using a relaxation method, we prove that there exists a control which maximises the protection a…
▽ More
In this paper we investigate an optimal control problem involving a toy model for the protection on a crop field. Precisely, we consider a protection on a crop field and we want to place intervention zones represented by a control, in order to maximise the protection on the field during a given period. Using a relaxation method, we prove that there exists a control which maximises the protection and, moreover, it must be a bang-bang control. Furthermore, with additional assumptions on the crop field geometry, some results on the shape of the optimal intervention are proved using comparison results for elliptic equations via Schwarz and Steiner symmetrizations. Finally, some numerical simulations are performed in order to illustrate those results.
△ Less
Submitted 9 May, 2025; v1 submitted 15 October, 2024;
originally announced October 2024.
-
Neural Optimization with Adaptive Heuristics for Intelligent Marketing System
Authors:
Changshuai Wei,
Benjamin Zelditch,
Joyce Chen,
Andre Assuncao Silva T Ribeiro,
Jingyi Kenneth Tay,
Borja Ocejo Elizondo,
Keerthi Selvaraj,
Aman Gupta,
Licurgo Benemann De Almeida
Abstract:
Computational marketing has become increasingly important in today's digital world, facing challenges such as massive heterogeneous data, multi-channel customer journeys, and limited marketing budgets. In this paper, we propose a general framework for marketing AI systems, the Neural Optimization with Adaptive Heuristics (NOAH) framework. NOAH is the first general framework for marketing optimizat…
▽ More
Computational marketing has become increasingly important in today's digital world, facing challenges such as massive heterogeneous data, multi-channel customer journeys, and limited marketing budgets. In this paper, we propose a general framework for marketing AI systems, the Neural Optimization with Adaptive Heuristics (NOAH) framework. NOAH is the first general framework for marketing optimization that considers both to-business (2B) and to-consumer (2C) products, as well as both owned and paid channels. We describe key modules of the NOAH framework, including prediction, optimization, and adaptive heuristics, providing examples for bidding and content optimization. We then detail the successful application of NOAH to LinkedIn's email marketing system, showcasing significant wins over the legacy ranking system. Additionally, we share details and insights that are broadly useful, particularly on: (i) addressing delayed feedback with lifetime value, (ii) performing large-scale linear programming with randomization, (iii) improving retrieval with audience expansion, (iv) reducing signal dilution in targeting tests, and (v) handling zero-inflated heavy-tail metrics in statistical testing.
△ Less
Submitted 25 June, 2024; v1 submitted 16 May, 2024;
originally announced May 2024.
-
Optimal strategies for Wolbachia mosquito replacement technique: influence of the carrying capacity on spatial releases
Authors:
Luis Almeida,
Jesús Bellver Arnau,
Gwenaël Peltier,
Nicolas Vauchelet
Abstract:
This work is devoted to the mathematical study of an optimization problem regarding control strategies of mosquito population in a heterogeneous environment. Mosquitoes are well-known vectors of diseases. For some diseases, such as dengue, it has been found that mosquitoes have a reduced vector capacity when carrying the endosymbiotic bacterium Wolbachia. We consider a mathematical model of a repl…
▽ More
This work is devoted to the mathematical study of an optimization problem regarding control strategies of mosquito population in a heterogeneous environment. Mosquitoes are well-known vectors of diseases. For some diseases, such as dengue, it has been found that mosquitoes have a reduced vector capacity when carrying the endosymbiotic bacterium Wolbachia. We consider a mathematical model of a replacement technique consisting in rearing and releasing Wolbachia-infected mosquitoes to replace the wild population. Our goal is to optimize the release protocol to maximize replacement effectiveness in a spatially inhomogeneous environment. Using a scalar model with space-dependent carrying capacity, we explore the existence and properties of an optimal release profile maximizing the replacement across the domain. In particular, neglecting mosquito mobility and under some assumptions on the biological parameters, we characterize the optimal releasing strategy for a short time horizon, and we reduce the case of a long time horizon to a one-dimensional optimization problem. Our theoretical results are illustrated with several numerical simulations.
△ Less
Submitted 10 March, 2025; v1 submitted 8 September, 2023;
originally announced September 2023.
-
Vector-borne disease outbreak control via instant releases
Authors:
Luis Almeida,
Jesús Bellver Arnau,
Yannick Privat,
Carlota Rebelo
Abstract:
This paper is devoted to the study of optimal release strategies to control vector-borne diseases, such as dengue, Zika, chikungunya and malaria. Two techniques are considered: the sterile insect one (SIT), which consists in releasing sterilized males among wild vectors in order to perturb their reproduction, and the Wolbachia one (presently used mainly for mosquitoes), which consists in releasing…
▽ More
This paper is devoted to the study of optimal release strategies to control vector-borne diseases, such as dengue, Zika, chikungunya and malaria. Two techniques are considered: the sterile insect one (SIT), which consists in releasing sterilized males among wild vectors in order to perturb their reproduction, and the Wolbachia one (presently used mainly for mosquitoes), which consists in releasing vectors, that are infected with a bacterium limiting their vector capacity, in order to replace the wild population by one with reduced vector capacity. In each case, the time dynamics of the vector population is modeled by a system of ordinary differential equations in which the releases are represented by linear combinations of Dirac measures with positive coefficients determining their intensity. We introduce optimal control problems that we solve numerically using ad-hoc algorithms, based on writing first-order optimality conditions characterizing the best combination of Dirac measures. We then discuss the results obtained, focusing in particular on the complexity and efficiency of optimal controls and comparing the strategies obtained. Mathematical modeling can help testing a great number of scenarios that are potentially interesting in future interventions (even those that are orthogonal to the present strategies) but that would be hard, costly or even impossible to test in the field in present conditions.
△ Less
Submitted 21 July, 2023;
originally announced July 2023.
-
Global stabilization of a Sterile Insect Technique model by feedback laws
Authors:
Kala Agbo Bidi,
Luís Almeida,
Jean-Michel Coron
Abstract:
This work concerns feedback global stabilization of the sterile insect technique dynamics. The Sterile Insect Technique (SIT) is presently one of the most ecological methods for controlling insect pests responsible for crop destruction and disease transmission worldwide. This technique consists in releasing sterile males among the insect pest population, the aim being to reduce fertility and, cons…
▽ More
This work concerns feedback global stabilization of the sterile insect technique dynamics. The Sterile Insect Technique (SIT) is presently one of the most ecological methods for controlling insect pests responsible for crop destruction and disease transmission worldwide. This technique consists in releasing sterile males among the insect pest population, the aim being to reduce fertility and, consequently, reduce significantly the wild insect population after a few generations.</p><p>In this work, we study the global stabilization of a pest population at extinction equilibrium by the SIT method and construct explicit feedback laws that stabilize the model. Numerical simulations show the efficiency of our feedback laws.
△ Less
Submitted 18 November, 2024; v1 submitted 3 July, 2023;
originally announced July 2023.
-
Unpredictability in seasonal infectious diseases spread
Authors:
Enrique C. Gabrick,
Elaheh Sayari,
Paulo R. Protachevicz,
José D. Szezech Jr.,
Kelly C. Iarosz,
Silvio L. T. de Souza,
Alexandre C. L. Almeida,
Ricardo L. Viana,
Iberê L. Caldas,
Antonio M. Batista
Abstract:
In this work, we study the unpredictability of seasonal infectious diseases considering a SEIRS model with seasonal forcing. To investigate the dynamical behaviour, we compute bifurcation diagrams type hysteresis and their respective Lyapunov exponents. Our results from bifurcations and the largest Lyapunov exponent show bistable dynamics for all the parameters of the model. Choosing the inverse o…
▽ More
In this work, we study the unpredictability of seasonal infectious diseases considering a SEIRS model with seasonal forcing. To investigate the dynamical behaviour, we compute bifurcation diagrams type hysteresis and their respective Lyapunov exponents. Our results from bifurcations and the largest Lyapunov exponent show bistable dynamics for all the parameters of the model. Choosing the inverse of latent period as control parameter, over 70% of the interval comprises the coexistence of periodic and chaotic attractors, bistable dynamics. Despite the competition between these attractors, the chaotic ones are preferred. The bistability occurs in two wide regions. One of these regions is limited by periodic attractors, while periodic and chaotic attractors bound the other. As the boundary of the second bistable region is composed of periodic and chaotic attractors, it is possible to interpret these critical points as tipping points. In other words, depending on the latent period, a periodic attractor (predictability) can evolve to a chaotic attractor (unpredictability). Therefore, we show that unpredictability is associated with bistable dynamics preferably chaotic, and, furthermore, there is a tipping point associated with unpredictable dynamics.
△ Less
Submitted 7 December, 2022;
originally announced December 2022.
-
Steady-state solutions for a reaction-diffusion equation with Robin boundary conditions: Application to the control of dengue vectors
Authors:
Luís Almeida,
Pierre-Alexandre Bliman,
Nga Nguyen,
Nicolas Vauchelet
Abstract:
In this paper, we investigate an initial-boundary-value problem of a reaction-diffusion equation in a bounded domain with a Robin boundary condition and introduce some particular parameters to consider the non-zero flux on the boundary. This problem arises in the study of mosquito populations under the intervention of the population replacement method, where the boundary condition takes into accou…
▽ More
In this paper, we investigate an initial-boundary-value problem of a reaction-diffusion equation in a bounded domain with a Robin boundary condition and introduce some particular parameters to consider the non-zero flux on the boundary. This problem arises in the study of mosquito populations under the intervention of the population replacement method, where the boundary condition takes into account the inflow and outflow of individuals through the boundary. Using phase-plane analysis, the present paper studies the existence and properties of non-constant steady-state solutions depending on several parameters. Then, we use the principle of linearized stability to prove some sufficient conditions for their stability. We show that the long-time efficiency of this control method depends strongly on the size of the treated zone and the migration rate. To illustrate these theoretical results, we provide some numerical simulations in the framework of mosquito population control.
△ Less
Submitted 15 September, 2022;
originally announced September 2022.
-
A hybrid discrete-continuum modelling approach to explore the impact of T-cell infiltration on anti-tumour immune response
Authors:
Luis Almeida,
Chloe Audebert,
Emma Leschiera,
Tommaso Lorenzi
Abstract:
We present a spatial hybrid discrete-continuum modelling framework for the interaction dynamics between tumour cells and cytotoxic T cells, which play a pivotal role in the immune response against tumours. In this framework, tumour cells and T cells are modelled as individual agents while chemokines that drive the chemotactic movement of T cells towards the tumour are modelled as a continuum. We f…
▽ More
We present a spatial hybrid discrete-continuum modelling framework for the interaction dynamics between tumour cells and cytotoxic T cells, which play a pivotal role in the immune response against tumours. In this framework, tumour cells and T cells are modelled as individual agents while chemokines that drive the chemotactic movement of T cells towards the tumour are modelled as a continuum. We formally derive the continuum counterpart of this model, which is given by a coupled system that comprises an integro-differential equation for the density of tumour cells, a partial differential equation for the density of T cells, and a partial differential equation for the concentration of chemokines. We report on computational results of the hybrid model and show that there is an excellent quantitative agreement between them and numerical solutions of the corresponding continuum model. These results shed light on the mechanisms that underlie the emergence of different levels of infiltration of T cells into the tumour and elucidate how T-cell infiltration shapes anti-tumour immune response. Moreover, to present a proof of concept for the idea that, exploiting the computational efficiency of the continuum model, extensive numerical simulations could be carried out, we investigate the impact of T-cell infiltration on the response of tumour cells to different types of anti-cancer immunotherapy.
△ Less
Submitted 7 October, 2022; v1 submitted 19 July, 2022;
originally announced July 2022.
-
Discrete and continuum models for the coevolutionary dynamics between CD8+ cytotoxic T lymphocytes and tumour cells
Authors:
Luís Almeida,
Chloe Audebert,
Emma Leschiera,
Tommaso Lorenzi
Abstract:
We present an individual-based model for the coevolutionary dynamics between CD8+ cytotoxic T lymphocytes (CTLs) and tumour cells. In this model, every cell is viewed as an individual agent whose phenotypic state is modelled by a discrete variable. For tumour cells this variable represents a parameterisation of the antigen expression profiles, while for CTLs it represents a parameterisation of the…
▽ More
We present an individual-based model for the coevolutionary dynamics between CD8+ cytotoxic T lymphocytes (CTLs) and tumour cells. In this model, every cell is viewed as an individual agent whose phenotypic state is modelled by a discrete variable. For tumour cells this variable represents a parameterisation of the antigen expression profiles, while for CTLs it represents a parameterisation of the target antigens of T-cell receptors (TCRs). We formally derive the deterministic continuum limit of this individual-based model, which comprises a non-local partial differential equation for the phenotype distribution of tumour cells coupled with an integro-differential equation for the phenotype distribution of CTLs. The biologically relevant homogeneous steady-state solutions of the continuum model equations are found. The linear-stability analysis of these steady-state solutions is then carried out in order to identify possible conditions on the model parameters that may lead to different outcomes of immune competition and to the emergence of patterns of phenotypic coevolution between tumour cells and CTLs. We report on computational results of the individual-based model, and show that there is a good agreement between them and analytical and numerical results of the continuum model. These results shed light on the way in which different parameters affect the coevolutionary dynamics between tumour cells and CTLs. Moreover, they support the idea that TCR-tumour antigen binding affinity may be a good intervention target for immunotherapy and offer a theoretical basis for the development of anti-cancer therapy aiming at engineering TCRs so as to shape their affinity for cancer targets.
△ Less
Submitted 22 November, 2022; v1 submitted 20 September, 2021;
originally announced September 2021.
-
Analysis of the "Rolling carpet" strategy to eradicate an invasive species
Authors:
Luis Almeida,
Alexis Leculier,
Nicolas Vauchelet
Abstract:
In order to prevent the propagation of human diseases transmitted by mosquitoes (such as dengue or zika), one possible solution is to act directly on the mosquito population. In this work, we consider an invasive species (the mosquitoes) and we study two strategies to eradicate the population in the whole space by a local intervention. The dynamics of the population is modeled through a bistable r…
▽ More
In order to prevent the propagation of human diseases transmitted by mosquitoes (such as dengue or zika), one possible solution is to act directly on the mosquito population. In this work, we consider an invasive species (the mosquitoes) and we study two strategies to eradicate the population in the whole space by a local intervention. The dynamics of the population is modeled through a bistable reaction diffusion equation in an one dimensional setting and both strategies are based on the same idea : we act on a moving interval. The action of the first strategy is to kill as many individuals as we can in this moving interval. The action of the second strategy is to release sterile males in this moving interval. For both strategies, we manage to generate traveling waves that propagate in the opposite direction relative to the one of the natural invasive traveling wave. These cases correspond to succeeding in eradicating the invasive species. Furthermore, for the first strategy, we fully characterize the minimal size of the interval. All the results are illustrated by numerical simulations.
△ Less
Submitted 21 June, 2021;
originally announced June 2021.
-
Optimal control strategies for the sterile mosquitoes technique
Authors:
Luís Almeida,
Michel Duprez,
Yannick Privat,
Nicolas Vauchelet
Abstract:
Mosquitoes are responsible for the transmission of many diseases such as dengue fever, zika or chigungunya. One way to control the spread of these diseases is to use the sterile insect technique (SIT), which consists in a massive release of sterilized male mosquitoes. This strategy aims at reducing the total population over time, and has the advantage being specific to the targeted species, unlike…
▽ More
Mosquitoes are responsible for the transmission of many diseases such as dengue fever, zika or chigungunya. One way to control the spread of these diseases is to use the sterile insect technique (SIT), which consists in a massive release of sterilized male mosquitoes. This strategy aims at reducing the total population over time, and has the advantage being specific to the targeted species, unlike the use of pesticides.In this article, we study the optimal release strategies in order to maximize the efficiency of this technique.We consider simplified models that describe the dynamics of eggs, males, females and sterile males in order to optimize the release protocol. We determine in a precise way optimal strategies, which allows us to tackle numerically the underlying optimization problem in a very simple way. We also present some numerical simulations to illustrate our results.
△ Less
Submitted 16 November, 2021; v1 submitted 9 November, 2020;
originally announced November 2020.
-
Final size and convergence rate for an epidemic in heterogeneous population
Authors:
Luís Almeida,
Pierre-Alexandre Bliman,
Grégoire Nadin,
Benoît Perthame,
Nicolas Vauchelet
Abstract:
We formulate a general SEIR epidemic model in a heterogenous population characterized by some trait in a discrete or continuous subset of a space R d. The incubation and recovery rates governing the evolution of each homogenous subpopulation depend upon this trait, and no restriction is assumed on the contact matrix that defines the probability for an individual of a given trait to be infected by…
▽ More
We formulate a general SEIR epidemic model in a heterogenous population characterized by some trait in a discrete or continuous subset of a space R d. The incubation and recovery rates governing the evolution of each homogenous subpopulation depend upon this trait, and no restriction is assumed on the contact matrix that defines the probability for an individual of a given trait to be infected by an individual with another trait. Our goal is to derive and study the final size equation fulfilled by the limit distribution of the population. We show that this limit exists and satisfies the final size equation. The main contribution is to prove the uniqueness of this solution among the distributions smaller than the initial condition. We also establish that the dominant eigenvalue of the next-generation operator (whose initial value is equal to the basic reproduction number) decreases along every trajectory until a limit smaller than 1. The results are shown to remain valid in presence of diffusion term. They generalize previous works corresponding to finite number of traits (including metapopulation models) or to rank 1 contact matrix (modeling e.g. susceptibility or infectivity presenting heterogeneity independently of one another).
△ Less
Submitted 2 March, 2023; v1 submitted 29 October, 2020;
originally announced October 2020.
-
The sterile insect technique used as a barrier control against reinfestation
Authors:
Luis Almeida,
Jorge Estrada,
Nicolas Vauchelet
Abstract:
The sterile insect technique consists in massive release of sterilized males in the aim to reduce the size of mosquitoes population or even eradicate it. In this work, we investigate the feasability of using the sterile insect technique as a barrier against reinvasion. More precisely, we provide some numerical simulations and mathematical results showing that performing the sterile insect techniqu…
▽ More
The sterile insect technique consists in massive release of sterilized males in the aim to reduce the size of mosquitoes population or even eradicate it. In this work, we investigate the feasability of using the sterile insect technique as a barrier against reinvasion. More precisely, we provide some numerical simulations and mathematical results showing that performing the sterile insect technique on a band large enough may stop reinvasion.
△ Less
Submitted 25 May, 2020;
originally announced May 2020.
-
Minimal cost-time strategies for population replacement using the IIT
Authors:
Luis Almeida,
Jesús Bellver,
Michel Duprez,
Yannick Privat
Abstract:
Vector control plays a central role in the fight against vector-borne diseases and, in particular, arboviruses. The use of the endosymbiotic bacterium Wolbachia has proven effective in preventing the transmission of some of these viruses between mosquitoes and humans, making it a promising control tool. The Incompatible Insect Technique (IIT) consists in replacing the wild population by a populati…
▽ More
Vector control plays a central role in the fight against vector-borne diseases and, in particular, arboviruses. The use of the endosymbiotic bacterium Wolbachia has proven effective in preventing the transmission of some of these viruses between mosquitoes and humans, making it a promising control tool. The Incompatible Insect Technique (IIT) consists in replacing the wild population by a population carrying the aforementioned bacterium, thereby preventing outbreaks of the associated vector-borne diseases. In this work, we consider a two species model incorporating both Wolbachia infected and wild mosquitoes. Our system can be controlled thanks to a term representing an artificial introduction of Wolbachia-infected mosquitoes. Under the assumption that the birth rate of mosquitoes is high, we may reduce the model to a simpler one on the proportion of infected mosquitoes. We investigate minimal cost-time strategies to achieve a population replacement both analytically and numerically for the simplified 1D model and only numerically for the full 2D system
△ Less
Submitted 6 April, 2020;
originally announced April 2020.
-
Optimal releases for population replacement strategies, application to Wolbachia
Authors:
Luís Almeida,
Yannick Privat,
Martin Strugarek,
Nicolas Vauchelet
Abstract:
In this article, we consider a simplified model of time dynamics for a mosquito population subject to the artificial introduction of {\itshape Wolbachia}-infected mosquitoes, in order to fight arboviruses transmission.Indeed, it has been observed that when some mosquito populations are infected by some {\itshape Wolbachia} bacteria, various reproductive alterations are induced in mosquitoes, inclu…
▽ More
In this article, we consider a simplified model of time dynamics for a mosquito population subject to the artificial introduction of {\itshape Wolbachia}-infected mosquitoes, in order to fight arboviruses transmission.Indeed, it has been observed that when some mosquito populations are infected by some {\itshape Wolbachia} bacteria, various reproductive alterations are induced in mosquitoes, including cytoplasmic incompatibility. Some of these {\itshape Wolbachia} bacteria greatly reduce the ability of insects to become infected with viruses such as the dengue ones, cutting down their vector competence and thus effectively stopping local dengue transmission.The behavior of infected and uninfected mosquitoes is assumed to be driven by a compartmental system enriched with the presence of an internal control source term standing for releases of infected mosquitoes, distributed in time. We model and design an optimal releasing control strategy with the help of a least square problem. In a nutshell, one wants to minimize the number of uninfected mosquitoes at a given horizon of time, under some relevant biological constraints. We derive properties of optimal controls, highlight a limit problem providing useful asymptotic properties of optimal controls. We numerically illustrate the relevance of our approach.
△ Less
Submitted 6 September, 2019;
originally announced September 2019.
-
Control strategies on mosquitos population for the fight against arboviruses
Authors:
Luís Almeida,
Michel Duprez,
Yannick Privat,
Nicolas Vauchelet
Abstract:
In the fight against vector-borne arboviruses, an important strategy of control of epidemic consists in controlling the population of vector, \textit{Aedes} mosquitoes in this case. Among possible actions, two techniques consist in releasing mosquitoes to reduce the size of the population (Sterile Insect Technique) or in replacing the wild population by a population carrying a bacteria, called \t…
▽ More
In the fight against vector-borne arboviruses, an important strategy of control of epidemic consists in controlling the population of vector, \textit{Aedes} mosquitoes in this case. Among possible actions, two techniques consist in releasing mosquitoes to reduce the size of the population (Sterile Insect Technique) or in replacing the wild population by a population carrying a bacteria, called \textit{Wolbachia}, blocking the transmission of viruses from mosquitoes to human. This paper is concerned with the question of optimizing the release protocol for these two strategies with the aim of getting as close as possible to the objectives. Starting from a mathematical model describing the dynamics of the population, we include the control function and introduce the cost functional for both \textit{population replacement} and \textit{Sterile Insect Technique} problems. Next, we establish some properties of the optimal control and illustrate them with some numerical simulations.
△ Less
Submitted 17 January, 2019;
originally announced January 2019.
-
Smooth and compactly supported viscous sub-cell shock capturing for Discontinuous Galerkin methods
Authors:
J. Glaubitz,
A. C. Nogueira Jr.,
J. L. S. Almeida,
R. F. Cantão,
C. A. C. Silva
Abstract:
In this work, a novel artificial viscosity method is proposed using smooth and compactly supported viscosities. These are derived by revisiting the widely used piecewise constant artificial viscosity method of Persson and Peraire as well as the piecewise linear refinement of Klöckner et al. with respect to the fundamental design criteria of conservation and entropy stability. Further investigating…
▽ More
In this work, a novel artificial viscosity method is proposed using smooth and compactly supported viscosities. These are derived by revisiting the widely used piecewise constant artificial viscosity method of Persson and Peraire as well as the piecewise linear refinement of Klöckner et al. with respect to the fundamental design criteria of conservation and entropy stability. Further investigating the method of modal filtering in the process, it is demonstrated that this strategy has inherent shortcomings, which are related to problems of Legendre viscosities to handle shocks near element boundaries. This problem is overcome by introducing certain functions from the fields of robust reprojection and mollififers as viscosity distributions. To the best of our knowledge, this is proposed for the first time in this work. The resulting $C_0^\infty$ artificial viscosity method is demonstrated to provide sharper profiles, steeper gradients and a higher resolution of small-scale features while still maintaining stability of the method.
△ Less
Submitted 4 October, 2018;
originally announced October 2018.
-
An Extension of Averaged-Operator-Based Algorithms
Authors:
Miguel Simões,
José Bioucas-Dias,
Luis B. Almeida
Abstract:
Many of the algorithms used to solve minimization problems with sparsity-inducing regularizers are generic in the sense that they do not take into account the sparsity of the solution in any particular way. However, algorithms known as semismooth Newton are able to take advantage of this sparsity to accelerate their convergence. We show how to extend these algorithms in different directions, and s…
▽ More
Many of the algorithms used to solve minimization problems with sparsity-inducing regularizers are generic in the sense that they do not take into account the sparsity of the solution in any particular way. However, algorithms known as semismooth Newton are able to take advantage of this sparsity to accelerate their convergence. We show how to extend these algorithms in different directions, and study the convergence of the resulting algorithms by showing that they are a particular case of an extension of the well-known Krasnosel'skiĭ--Mann scheme.
△ Less
Submitted 12 June, 2018;
originally announced June 2018.
-
Energy and implicit discretization of the Fokker-Planck and Keller-Segel type equations
Authors:
Luís Neves de Almeida,
Federica Bubba,
Benoît Perthame,
Camille Pouchol
Abstract:
The parabolic-elliptic Keller-Segel equation with sensitivity saturation, because of its pattern formation ability, is a challenge for numerical simulations. We provide two finite-volume schemes whose goals are to preserve, at the discrete level, the fundamental properties of the solutions, namely energy dissipation, steady states, positivity and conservation of total mass. These requirements happ…
▽ More
The parabolic-elliptic Keller-Segel equation with sensitivity saturation, because of its pattern formation ability, is a challenge for numerical simulations. We provide two finite-volume schemes whose goals are to preserve, at the discrete level, the fundamental properties of the solutions, namely energy dissipation, steady states, positivity and conservation of total mass. These requirements happen to be critical when it comes to distinguishing between discrete steady states, Turing unstable transient states, numerical artifacts or approximate steady states as obtained by a simple upwind approach. These schemes are obtained either by following closely the gradient flow structure or by a proper exponential rewriting inspired by the Scharfetter-Gummel discretization. An interesting feature is that upwind is also necessary for all the expected properties to be preserved at the semi-discrete level. These schemes are extended to the fully discrete level and this leads us to tune precisely the terms according to explicit or implicit discretizations. Using some appropriate monotony properties (reminiscent of the maximum principle), we prove well-posedness for the scheme as well as all the other requirements. Numerical implementations and simulations illustrate the respective advantages of the three methods we compare.
△ Less
Submitted 29 October, 2018; v1 submitted 28 March, 2018;
originally announced March 2018.
-
Oscillatory regimes in a mosquito population model with larval feedback on egg hatching
Authors:
Martin Strugarek,
Laetitia Dufour,
Nicolas Vauchelet,
Luis Almeida,
Benoît Perthame,
Daniel Villela
Abstract:
Understanding mosquitoes life cycle is of great interest presently because of the increasing impact of vector borne diseases in several countries. There is evidence of oscillations in mosquito populations independent of seasonality, still unexplained, based on observations both in laboratories and in nature. We propose a simple mathematical model of egg hatching enhancement by larvae which produce…
▽ More
Understanding mosquitoes life cycle is of great interest presently because of the increasing impact of vector borne diseases in several countries. There is evidence of oscillations in mosquito populations independent of seasonality, still unexplained, based on observations both in laboratories and in nature. We propose a simple mathematical model of egg hatching enhancement by larvae which produces such oscillations that conveys a possible explanation. We propose both a theoretical analysis, based on slow-fast dynamics and Hopf bifurcation, and numerical investigations in order to shed some light on the mechanisms at work in this model.
△ Less
Submitted 11 January, 2018;
originally announced January 2018.
-
A Class of Integrable Metrics and Gauge Fields
Authors:
Gabriel Luz Almeida,
Carlos Batista
Abstract:
Starting with the most general four-dimensional spacetime possessing two commuting Killing vectors and a nontrivial Killing tensor, we analytically integrate Einstein-Yang-Mills equations for a completely arbitrary gauge group. It is assumed that the gauge field inherits the symmetries of the background and is aligned with the principal null directions of the spacetime.
Starting with the most general four-dimensional spacetime possessing two commuting Killing vectors and a nontrivial Killing tensor, we analytically integrate Einstein-Yang-Mills equations for a completely arbitrary gauge group. It is assumed that the gauge field inherits the symmetries of the background and is aligned with the principal null directions of the spacetime.
△ Less
Submitted 14 July, 2017;
originally announced July 2017.
-
Traveling Pulses for a Two-Species Chemotaxis Model
Authors:
Casimir Emako,
Charlène Gayrard,
Axel Buguin,
Luís Neves de Almeida,
Nicolas Vauchelet
Abstract:
Mathematical models have been widely used to describe the collective movement of bacteria by chemotaxis. In particular, bacterial concentration waves traveling in a narrow channel have been experimentally observed and can be precisely described thanks to a mathematical model at the macroscopic scale. Such model was derived in [1] using a kinetic model based on an accurate description of the mesosc…
▽ More
Mathematical models have been widely used to describe the collective movement of bacteria by chemotaxis. In particular, bacterial concentration waves traveling in a narrow channel have been experimentally observed and can be precisely described thanks to a mathematical model at the macroscopic scale. Such model was derived in [1] using a kinetic model based on an accurate description of the mesoscopic run-and-tumble process. We extend this approach to study the behavior of the interaction between two populations of E. Coli. Separately, each population travels with its own speed in the channel. When put together, a synchronization of the speed of the traveling pulses can be observed. We show that this synchronization depends on the fraction of the fast population. Our approach is based on mathematical analysis of a macroscopic model of partial differential equations. Numerical simulations in comparison with experimental observations show qualitative agreement.
△ Less
Submitted 14 April, 2016;
originally announced April 2016.
-
Rank-1 Tensor Approximation Methods and Application to Deflation
Authors:
Alex Pereira da Silva,
Pierre Comon,
Andre Lima Ferrer de Almeida
Abstract:
Because of the attractiveness of the canonical polyadic (CP) tensor decomposition in various applications, several algorithms have been designed to compute it, but efficient ones are still lacking. Iterative deflation algorithms based on successive rank-1 approximations can be used to perform this task, since the latter are rather easy to compute. We first present an algebraic rank-1 approximation…
▽ More
Because of the attractiveness of the canonical polyadic (CP) tensor decomposition in various applications, several algorithms have been designed to compute it, but efficient ones are still lacking. Iterative deflation algorithms based on successive rank-1 approximations can be used to perform this task, since the latter are rather easy to compute. We first present an algebraic rank-1 approximation method that performs better than the standard higher-order singular value decomposition (HOSVD) for three-way tensors. Second, we propose a new iterative rank-1 approximation algorithm that improves any other rank-1 approximation method. Third, we describe a probabilistic framework allowing to study the convergence of deflation CP decomposition (DCPD) algorithms based on successive rank-1 approximations. A set of computer experiments then validates theoretical results and demonstrates the efficiency of DCPD algorithms compared to other ones.
△ Less
Submitted 21 August, 2015;
originally announced August 2015.
-
Consensus-based In-Network Computation of the PARAFAC Decomposition
Authors:
Alain Y. Kibangou,
André L. F. de Almeida
Abstract:
In this work, we present a new approach for the distributed computation of the PARAFAC decomposition of a third-order tensor across a network of collaborating nodes. We are interested in the case where the overall data gathered across the network can be modeled as a data tensor admitting an essentially unique PARAFAC decomposition, while each node only observes a sub-tensor with not necessarily en…
▽ More
In this work, we present a new approach for the distributed computation of the PARAFAC decomposition of a third-order tensor across a network of collaborating nodes. We are interested in the case where the overall data gathered across the network can be modeled as a data tensor admitting an essentially unique PARAFAC decomposition, while each node only observes a sub-tensor with not necessarily enough diversity so that identifiability conditions are not locally fulfilled at each node. In this situation, conventional (centralized) tensor based methods cannot be applied individually at each node. By allowing collaboration between neighboring nodes of the network, we propose distributed versions of the alternating least squares (ALS) and Levenberg-Marquardt (LM) algorithms for the in-network estimation of the factor matrices of a third-order tensor. We assume that one of the factor matrices contains parameters that are local to each node, while the two remaining factor matrices contain global parameters that are common to the whole network. The proposed algorithms combine the estimation of the local factors with an in-network computation of the global factors of the PARAFAC decomposition using average consensus over graphs. They emulate their centralized counterparts in the case of ideal data exchange and ideal consensus computations. The performance of the proposed algorithms are evaluated in both ideal and imperfect cases.
△ Less
Submitted 5 June, 2014;
originally announced June 2014.
-
Overview of Constrained PARAFAC Models
Authors:
Gérard Favier,
André L. F. de Almeida
Abstract:
In this paper, we present an overview of constrained PARAFAC models where the constraints model linear dependencies among columns of the factor matrices of the tensor decomposition, or alternatively, the pattern of interactions between different modes of the tensor which are captured by the equivalent core tensor. Some tensor prerequisites with a particular emphasis on mode combination using Krone…
▽ More
In this paper, we present an overview of constrained PARAFAC models where the constraints model linear dependencies among columns of the factor matrices of the tensor decomposition, or alternatively, the pattern of interactions between different modes of the tensor which are captured by the equivalent core tensor. Some tensor prerequisites with a particular emphasis on mode combination using Kronecker products of canonical vectors that makes easier matricization operations, are first introduced. This Kronecker product based approach is also formulated in terms of the index notation, which provides an original and concise formalism for both matricizing tensors and writing tensor models. Then, after a brief reminder of PARAFAC and Tucker models, two families of constrained tensor models, the co-called PARALIND/CONFAC and PARATUCK models, are described in a unified framework, for $N^{th}$ order tensors. New tensor models, called nested Tucker models and block PARALIND/CONFAC models, are also introduced. A link between PARATUCK models and constrained PARAFAC models is then established. Finally, new uniqueness properties of PARATUCK models are deduced from sufficient conditions for essential uniqueness of their associated constrained PARAFAC models.
△ Less
Submitted 29 July, 2014; v1 submitted 28 May, 2014;
originally announced May 2014.
-
Existence and diffusive limit of a two-species kinetic model of chemotaxis
Authors:
Luís Almeida,
Casimir Emako,
Nicolas Vauchelet
Abstract:
In this paper, we propose a kinetic model describing the collective motion by chemotaxis of two species in interaction emitting the same chemoattractant. Such model can be seen as a generalisation to several species of the Othmer-Dunbar-Alt model which takes into account the run-and-tumble process of bacteria. Existence of weak solutions for this two-species kinetic model is studied and the conver…
▽ More
In this paper, we propose a kinetic model describing the collective motion by chemotaxis of two species in interaction emitting the same chemoattractant. Such model can be seen as a generalisation to several species of the Othmer-Dunbar-Alt model which takes into account the run-and-tumble process of bacteria. Existence of weak solutions for this two-species kinetic model is studied and the convergence of its diffusive limit towards a macroscopic model of Keller-Segel type is analysed.
△ Less
Submitted 18 April, 2014;
originally announced April 2014.
-
Mean curvature flow with obstacles
Authors:
Luís Almeida,
Antonin Chambolle,
Matteo Novaga
Abstract:
We consider the evolution of fronts by mean curvature in the presence of obstacles. We construct a weak solution to the flow by means of a variational method, corresponding to an implicit time-discretization scheme. Assuming the regularity of the obstacles, in the two-dimensional case we show existence and uniqueness of a regular solution before the onset of singularities. Finally, we discuss an a…
▽ More
We consider the evolution of fronts by mean curvature in the presence of obstacles. We construct a weak solution to the flow by means of a variational method, corresponding to an implicit time-discretization scheme. Assuming the regularity of the obstacles, in the two-dimensional case we show existence and uniqueness of a regular solution before the onset of singularities. Finally, we discuss an application of this result to the positive mean curvature flow.
△ Less
Submitted 20 March, 2012; v1 submitted 22 November, 2011;
originally announced November 2011.
