Applied Mathematics

The Applied Mathematics group gathers 8 professors and about twenty researchers who are working on several subfields.Principal Investigators :

Pierre-Antoine Absil, Gianluca Bianchin, Vincent Blondel, Jean-Charles Delvenne, François Glineur, Geovani Grapiglia, Laurent Jacques, Raphaël Jungers, Estelle Massart

Research Lab :

INMA (Mathematical Engineering research division)

Research Areas :

Research in the algebra team focuses on various structures whose automorphism groups are linear algebraic groups, notably quadratic forms and algebras over arbitrary fields. These structures are studied using methods from number theory and algebraic geometry, such as valuation theory and Galois cohomology. The current projects aim at developing new cohomological invariants and a noncommutative valuation theory for central simple algebras with involution. This activity is run in cooperation with the group theory team of the IRMP.

Balance laws are hyperbolic partial differential equations that are commonly used to express the fundamental dynamics of open conservative systems. Many physical systems having an engineering interest are described by systems of one-dimensional hyperbolic balance laws. Typical examples are for instance the telegrapher equations for electrical lines, the shallow water (Saint-Venant) equations for open channels, the Euler equations for gas flow in pipelines or the Aw-Rascle equations for road traffic. In this research, our concern is to analyse the exponential stability (in the sense of Lyapunov) of the steady-states of such systems.

This research relies on the use of non-negative convex algebra for solving underdetermined linear systems of equations under positive constraints. Such problems arise in various domains of Systems Biology. We are particularly concerned with the decomposition of complex metabolic networks into elementary pathways and with the metabolic flux analysis which aims at computing the entire intracellular flux distribution from a limited number of flux measurements.

The group works on numerical methods for rational approximation, linear algebra and optimization with applications in systems and control, economy, biology and medicine. In approximation theory we look at approximation problems in the complex plane (orthogonal polynomials, quadrature formulas) and at the solution of functional equations, with applications in science, technology and economy. In linear algebra we study the model reduction problem via interpolation and projection of state-space models. We also look at optimal Hankel-norm approximations and their formulation via convex optimization techniques.  In optimization, we are looking for general schemes with provable global complexity estimates. This extends onto the methods for solving systems of nonlinear equations and optimization on nonlinear manifolds. These techniques are applied to problems in signals and systems.

We study several types of matrix factorization techniques, in particular variants where nonnegative factors are required. We focus on both algorithmic (mehods and computational complexity) and applicative (machine learning, graph problems, polyhedral combinatorics) points of view.

The complex rheological behaviour of non-Newtonian liquids is dictated by the flow induced evolution of their internal microstructure. For example, in homogeneous polymeric fluids, the relevant microstructure is the conformation of the macromolecules. Each macroscopic fluid element contains a large number of polymers with a statistical distribution of conformations. During flow, the polymer conformations evolve along the fluid trajectories. Also, the macroscopic stress carried by each fluid element is itself governed by the distribution of conformations within that element. One thus faces a highly non-linear coupling between rheological behaviour, flow-induced evolution of the microstructure, and flow conditions. The fundamental scientific challenges in rheology and non-Newtonian fluid mechanics are indeed to fully comprehend the nature of this non-linear coupling and to predict its consequences in flow problems of interest. We currently focus on the development of molecular models of kinetic theory and methods of computational rheology.

Most recent publications

Below are listed the 10 most recent journal articles and conference papers produced in this research area. You also can access all publications by following this link : see all applied mathematics publications.


Journal Articles


1. Farid, Yousef; Jungers, Raphaël M. Binary Combinatorial Optimization-based Path Planning and Optimal Reach Control in Piecewise Linear Neural Abstraction Domain. In: I E E E Transactions on Neural Networks and Learning Systems, (2024). (Soumis). http://hdl.handle.net/2078.1/285558

2. Si, Wutao; Absil, Pierre-Antoine; Huang, Wen; Jiang, Rujun; Vary, Simon. A Riemannian Proximal Newton Method. In: SIAM Journal on Optimization, Vol. 34, no.1, p. 654-681 (2023). doi:10.1137/23m1565097. http://hdl.handle.net/2078.1/285108

3. Leblanc, Olivier; Hofer, Matthias; Sivankutty, Siddharth; Rigneault, Hervé; Jacques, Laurent. Interferometric Lensless Imaging: Rank-One Projections of Image Frequencies With Speckle Illuminations. In: IEEE Transactions on Computational Imaging, Vol. 10, p. 208-222 (2024). doi:10.1109/tci.2024.3359178. http://hdl.handle.net/2078.1/284957

4. Bendokat, Thomas; Zimmermann, Ralf; Absil, Pierre-Antoine. A Grassmann manifold handbook: basic geometry and computational aspects. In: Advances in Computational Mathematics, Vol. 50, no.1 (2024). doi:10.1007/s10444-023-10090-8. http://hdl.handle.net/2078.1/282834

5. Hautecoeur, Cécile; De Lathauwer, Lieven; Gillis, Nicolas; Glineur, François. Least-Squares Methods for Nonnegative Matrix Factorization Over Rational Functions. In: IEEE Transactions on Signal Processing, Vol. 71, p. 1712-1724 (2023). doi:10.1109/tsp.2023.3260560. http://hdl.handle.net/2078.1/281916

6. Kirkove, Murielle; Zhao, Yuchen; Leblanc, Olivier; Jacques, Laurent; Georges, Marc. ADMM-inspired image reconstruction for terahertz off-axis digital holography. In: Journal of the Optical Society of America A, Vol. 41, no.3, p. A1 (2023). doi:10.1364/josaa.504126. http://hdl.handle.net/2078.1/281368

7. Tachella, Julián; Jacques, Laurent. Learning to Reconstruct Signals From Binary Measurements. In: Transactions on Machine Learning Research, , no.1400, p. 1-25 (2023). doi:10.48550/arXiv.2303.08691. http://hdl.handle.net/2078.1/281268

8. Vermeylen, Charlotte; Olikier, Guillaume; Absil, Pierre-Antoine; Van Barel, Marc. Rank Estimation for Third-Order Tensor Completion in the Tensor-Train Format. In: Proceedings of the 31st European Signal Processing Conference (EUSIPCO 2023, , p. 965-969 (2023). doi:10.48550/arXiv.2309.15170. http://hdl.handle.net/2078.1/281058

9. Barry,Demba; Tignol, Jean-Pierre. Trialitarian triples. In: Documenta Mathematica, Vol. 28, no.28, p. 939-1026 (2023). doi:10.4171/DM/926. http://hdl.handle.net/2078.1/279149

10. Nayak, Satya Prakash; Neves Egidio, Lucas; Della Rossa, Matteo; Schmuck, Anne-Kathrin; Jungers, Raphaël M. Context-Triggered Abstraction-Based Control Design. In: IEEE Open Journal of Control Systems, Vol. 2, p. 277-296 (2023). doi:10.1109/ojcsys.2023.3305835. http://hdl.handle.net/2078.1/278891


Conference Papers


1. Jungers, Raphaël M.. Statistical comparison of Path-Complete Lyapunov Functions: a Discrete-Event Systems perspective. In: In Proc. of IFAC-WODES'24. (2024). 2024 xxx. http://hdl.handle.net/2078.1/285977

2. Delogne, Rémi; Jacques, Laurent. Quadratic polynomial kernel approximation with asymmetric embeddings. In: International Workshop on Deep Learning and Kernel Machines (2024). 2024 xxx. http://hdl.handle.net/2078.1/285963

3. Debauche, Virginie; Jungers, Raphaël M.. Formal Synthesis of Lyapunov Stability Certificates for Linear Switched Systems using ReLU Neural Networks. 2024 xxx. http://hdl.handle.net/2078.1/283182

4. Debauche, Virginie; Alec Edwards; Jungers, Raphaël M.; Alessandro Abate. Stability Analysis of Switched Linear Systems with Neural Lyapunov Functions. 2024 xxx. http://hdl.handle.net/2078.1/283176

5. Wang, Zheming; Chen, Bo; Jungers, Raphaël M.; Yu, li. Data-driven reachability analysis of Lipschitz nonlinear systems via support vector data description. 2023 xxx. http://hdl.handle.net/2078.1/284535

6. Chorobura, Flavia; Glineur, François; Necoara, Ion. Can random proximal coordinate descent be accelerated on nonseparable convex composite minimization problems?. In: 2023 European Control Conference (ECC), I E E E, 2023, 978-3-907144-08-4 xxx. doi:10.23919/ecc57647.2023.10178217. http://hdl.handle.net/2078.1/281935

7. Tanji, Sofiane; Vecchia, Andrea Della; Glineur, François; Villa, Silvia. Snacks: a fast large-scale kernel SVM solver. In: IEEE Xplore, I E E E, 2023, 978-3-907144-08-4 xxx. doi:10.23919/ecc57647.2023.10178323. http://hdl.handle.net/2078.1/281922

8. Vermeylen, Charlotte; Olikier, Guillaume; Van Barel, Marc. An Approximate Projection onto the Tangent Cone to the Variety of Third-Order Tensors of Bounded Tensor-Train Rank. In: Lecture Notes in Computer Science : Geometric Science of Information, volume14071, Springer Nature Switzerland: Switzerland, 2023, 9783031382703, p. 484-493 xxx. doi:10.1007/978-3-031-38271-0_48. http://hdl.handle.net/2078.1/281060

9. Daglayan Sevim, Hazan; Vary, Simon; Leplat, Valentin; Gillis, Nicolas; Absil, Pierre-Antoine. Direct Exoplanet Detection Using L1 Norm Low-Rank Approximation. In: Proceedings of BNAIC/BeNeLearn 2023. p. 1-13 (2023). arXiv, 2023 xxx. doi:10.48550/arXiv.2304.03619. http://hdl.handle.net/2078.1/281059

10. Daglayan Sevim, Hazan; Vary, Simon; Cantalloube, Faustine; Absil, Pierre-Antoine; Absil, Olivier. Likelihood ratio map for direct exoplanet detection. In: 2022 IEEE 5th International Conference on Image Processing Applications and Systems (IPAS), IEEE, 2023, 978-1-6654-6220-4, p. 1-5 xxx. doi:10.1109/ipas55744.2022.10052997. http://hdl.handle.net/2078.1/278880