1 Team members, visitors, external collaborators
- Bernard Mourrain [Team leader, INRIA, Senior Researcher, HDR]
- Laurent Busé [INRIA, Senior Researcher, HDR]
- Evelyne Hubert [INRIA, Senior Researcher, HDR]
- Christos Konaxis [Secondary education, Researcher, Athens]
- Angelos Mantzaflaris [INRIA, Researcher]
- Ioannis Emiris [UNIV NKUA, Professor, HDR]
- André Galligo [UNIV COTE D'AZUR, Professor, Emeritus]
- Evangelos Bartzos [Secondary education , Athens]
- Lorenzo Baldi [INRIA, until Oct 2022]
- Ayoub Belhachmi [SCHLUMBERGER, INRIA, PhD Student CIFRE]
- Carles Checa [ATHENA Research Center, Enrolled at NKUA]
- Emmanouil Christoforou [Optasia Ltd, Phd student at NKUA]
- Riccardo Di Dio [UNIV. COTE D'AZUR, until Nov 2022]
- Pablo Gonzalez Mazon [INRIA]
- Mehran Hatamzadeh [UNIV COTE D'AZUR]
- Martin Jalard [INRIA, from Sep 2022]
- Rima Khouja [INRIA, UL, until Jul 2022]
- Thomas Laporte [UNIV COTE D'AZUR]
- Michelangelo Marsala [INRIA]
- Tobias Metzlaff [INRIA]
- Konstantinos Tertikas [ATHENA Research Center, from Jan 2023 until Apr 2022, Phd student at NKUA]
- Tong Zhao [INRIA, Thesis co-supervised by Titane and Aromath teams]
- Sophie Honnorat [INRIA]
- Ibrahim Adamou [Unv. UDDM Maradi (Niger), from Nov 2022]
- Amrutha Balanchandran Nair [University Barcelona (Espagne), until Apr 2022]
- Vinicius Bouça [Univ. Federal de Rio de Janeiro (Brazil), from Oct 2022 until Oct 2022]
- Carles Checa [Nat. Kapodistrian Univ. of Athens (Greece), until Apr 2022]
- Sebastian Debus [Arctic Univ. of Norway, from Jan 2023 until Apr 2022]
- Sofia Imperatore [Univ. Florence (Italy), from Apr 2022 until Jul 2022]
- Christos Karampatzakis [Aristotle University of Thessaloniki (Greece), from Jun 2022 until Jul 2022]
- Arne Lien [Univ. Konstanz (Germany), from Apr 2022 until May 2022]
- Hugo Verhelst [Univ. Utrecht (Netherlands), from Jun 2022 until Jul 2022]
- Nelly Villamizar [Swansea Univ. (UK), from Mar 2022 until Mar 2022]
2 Overall objectives
Our daily life environment is increasingly interacting with digital information. An important amount of this information is of geometric nature. It concerns the representation of our environment, the analysis and understanding of “real” phenomena, the control of physical mechanisms or processes. The interaction between physical and digital worlds is two-way. Sensors are producing digital data related to measurements or observations of our environment. Digital models are also used to “act” on the physical world. Objects that we use at home, at work, to travel, such as furniture, cars, planes, ... are nowadays produced by industrial processes which are based on digital representation of shapes. CAD-CAM (Computer Aided Design – Computer Aided Manufacturing) software is used to represent the geometry of these objects and to control the manufacturing processes which create them. The construction capabilities themselves are also expanding, with the development of 3D printers and the possibility to create daily-life objects “at home” from digital models.
The impact of geometry is also important in the analysis and understanding of phenomena. The 3D conformation of a molecule explains its biological interaction with other molecules. The profile of a wing determines its aeronautic behavior, while the shape of a bulbous bow can decrease significantly the wave resistance of a ship. Understanding such a behavior or analyzing a physical phenomenon can nowadays be achieved for many problems by numerical simulation. The precise representation of the geometry and the link between the geometric models and the numerical computation tools are closely related to the quality of these simulations. This also plays an important role in optimisation loops where the numerical simulation results are used to improve the “performance” of a model.
Geometry deals with structured and efficient representations of information and with methods to treat it. Its impact in animation, games and VAMR (Virtual, Augmented and Mixed Reality) is important. It also has a growing influence in e-trade where a consumer can evaluate, test and buy a product from its digital description. Geometric data produced for instance by 3D scanners and reconstructed models are nowadays used to memorize old works in cultural or industrial domains.
Geometry is involved in many domains (manufacturing, simulation, communication, virtual world...), raising many challenging questions related to the representations of shapes, to the analysis of their properties and to the computation with these models. The stakes are multiple: the accuracy in numerical engineering, in simulation, in optimization, the quality in design and manufacturing processes, the capacity of modeling and analysis of physical problems.
3 Research program
3.1 High order geometric modeling
The accurate description of shapes is a long standing problem in mathematics, with an important impact in many domains, inducing strong interactions between geometry and computation. Developing precise geometric modeling techniques is a critical issue in CAD-CAM. Constructing accurate models, that can be exploited in geometric applications, from digital data produced by cameras, laser scanners, observations or simulations is also a major issue in geometry processing. A main challenge is to construct models that can capture the geometry of complex shapes, using few parameters while being precise.
Our first objective is to develop methods, which are able to describe accurately and in an efficient way, objects or phenomena of geometric nature, using algebraic representations.
The approach followed in CAGD, to describe complex geometry is based on parametric representations called NURBS (Non Uniform Rational B-Spline). The models are constructed by trimming and gluing together high order patches of algebraic surfaces. These models are built from the so-called B-Spline functions that encode a piecewise algebraic function with a prescribed regularity at knots. Although these models have many advantages and have become the standard for designing nowadays CAD models, they also have important drawbacks. Among them, the difficulty to locally refine a NURBS surface and also the topological rigidity of NURBS patches that imposes to use many such patches with trims for designing complex models, with the consequence of the appearing of cracks at the seams. To overcome these difficulties, an active area of research is to look for new blending functions for the representation of CAD models. Some examples are the so-called T-Splines, LR-Spline blending functions, or hierarchical splines, that have been recently devised in order to perform efficiently local refinement. An important problem is to analyze spline spaces associated to general subdivisions, which is of particular interest in higher order Finite Element Methods. Another challenge in geometric modeling is the efficient representation and/or reconstruction of complex objects, and the description of computational domains in numerical simulation. To construct models that can represent efficiently the geometry of complex shapes, we are interested in developing modeling methods, based on alternative constructions such as skeleton-based representations. The change of representation, in particular between parametric and implicit representations, is of particular interest in geometric computations and in its applications in CAGD.
We also plan to investigate adaptive hierarchical techniques, which can locally improve the approximation of a shape or a function. They shall be exploited to transform digital data produced by cameras, laser scanners, observations or simulations into accurate and structured algebraic models.
The precise and efficient representation of shapes also leads to the problem of extracting and exploiting characteristic properties of shapes such as symmetry, which is very frequent in geometry. Reflecting the symmetry of the intended shape in the representation appears as a natural requirement for visual quality, but also as a possible source of sparsity of the representation. Recognizing, encoding and exploiting symmetry requires new paradigms of representation and further algebraic developments. Algebraic foundations for the exploitation of symmetry in the context of non linear differential and polynomial equations are addressed. The intent is to bring this expertise with symmetry to the geometric models and computations developed by aromath.
3.2 Robust algebraic-geometric computation
In many problems, digital data are approximated and cannot just be used as if they were exact. In the context of geometric modeling, polynomial equations appear naturally as a way to describe constraints between the unknown variables of a problem. An important challenge is to take into account the input error in order to develop robust methods for solving these algebraic constraints. Robustness means that a small perturbation of the input should produce a controlled variation of the output, that is forward stability, when the input-output map is regular. In non-regular cases, robustness also means that the output is an exact solution, or the most coherent solution, of a problem with input data in a given neighborhood, that is backward stability.
Our second long term objective is to develop methods to robustly and efficiently solve algebraic problems that occur in geometric modeling.
Robustness is a major issue in geometric modeling and algebraic computation. Classical methods in computer algebra, based on the paradigm of exact computation, cannot be applied directly in this context. They are not designed for stability against input perturbations. New investigations are needed to develop methods which integrate this additional dimension of the problem. Several approaches are investigated to tackle these difficulties.
One relies on linearization of algebraic problems based on “elimination of variables” or projection into a space of smaller dimension. Resultant theory provides a strong foundation for these methods, connecting the geometric properties of the solutions with explicit linear algebra on polynomial vector spaces, for families of polynomial systems (e.g., homogeneous, multi-homogeneous, sparse). Important progress has been made in the last two decades to extend this theory to new families of problems with specific geometric properties. Additional advances have been achieved more recently to exploit the syzygies between the input equations. This approach provides matrix based representations, which are particularly powerful for approximate geometric computation on parametrized curves and surfaces. They are tuned to certain classes of problems and an important issue is to detect and analyze degeneracies and to adapt them to these cases.
A more adaptive approach involves linear algebra computation in a hierarchy of polynomial vector spaces. It produces a description of quotient algebra structures, from which the solutions of polynomial systems can be recovered. This family of methods includes Gröbner Basis , which provides general tools for solving polynomial equations. Border Basis is an alternative approach, offering numerically stable methods for solving polynomial equations with approximate coefficients . An important issue is to understand and control the numerical behavior of these methods as well as their complexity and to exploit the structure of the input system.
In order to compute “only” the (real) solutions of a polynomial system in a given domain, duality techniques can also be employed. They consist in analyzing and adding constraints on the space of linear forms which vanish on the polynomial equations. Combined with semi-definite programming techniques, they provide efficient methods to compute the real solutions of algebraic equations or to solve polynomial optimization problems. The main issues are the completness of the approach, their scalability with the degree and dimension and the certification of bounds.
Singular solutions of polynomial systems can be analyzed by computing differentials, which vanish at these points. This leads to efficient deflation techniques, which transform a singular solution of a given problem into a regular solution of the transformed problem. These local methods need to be combined with more global root localisation methods.
Subdivision methods are another type of methods which are interesting for robust geometric computation. They are based on exclusion tests which certify that no solution exists in a domain and inclusion tests, which certify the uniqueness of a solution in a domain. They have shown their strength in addressing many algebraic problems, such as isolating real roots of polynomial equations or computing the topology of algebraic curves and surfaces. The main issues in these approaches is to deal with singularities and degenerate solutions.
4 Application domains
4.1 Geometric modeling for Design and Manufacturing.
The main domain of applications that we consider for the methods we develop is Computer Aided Design and Manufacturing.
Computer-Aided Design (CAD) involves creating digital models defined by mathematical constructions, from geometric, functional or aesthetic considerations. Computer-aided manufacturing (CAM) uses the geometrical design data to control the tools and processes, which lead to the production of real objects from their numerical descriptions.
CAD-CAM systems provide tools for visualizing, understanding, manipulating, and editing virtual shapes. They are extensively used in many applications, including automotive, shipbuilding, aerospace industries, industrial and architectural design, prosthetics, and many more. They are also widely used to produce computer animation for special effects in movies, advertising and technical manuals, or for digital content creation. Their economic importance is enormous. Their importance in education is also growing, as they are more and more used in schools and educational purposes.
CAD-CAM has been a major driving force for research developments in geometric modeling, which leads to very large software, produced and sold by big companies, capable of assisting engineers in all the steps from design to manufacturing.
Nevertheless, many challenges still need to be addressed. Many problems remain open, related to the use of efficient shape representations, of geometric models specific to some application domains, such as in architecture, naval engineering, mechanical constructions, manufacturing ...Important questions on the robustness and the certification of geometric computation are not yet answered. The complexity of the models which are used nowadays also appeals for the development of new approaches. The manufacturing environment is also increasingly complex, with new type of machine tools including: turning, 5-axes machining and wire EDM (Electrical Discharge Machining), 3D printer. It cannot be properly used without computer assistance, which raises methodological and algorithmic questions. There is an increasing need to combine design and simulation, for analyzing the physical behavior of a model and for optimal design.
The field has deeply changed over the last decades, with the emergence of new geometric modeling tools built on dedicated packages, which are mixing different scientific areas to address specific applications. It is providing new opportunities to apply new geometric modeling methods, output from research activities.
4.2 Geometric modeling for Numerical Simulation and Optimization
A major bottleneck in the CAD-CAM developments is the lack of interoperability of modeling systems and simulation systems. This is strongly influenced by their development history, as they have been following different paths.
The geometric tools have evolved from supporting a limited number of tasks at separate stages in product development and manufacturing, to being essential in all phases from initial design through manufacturing.
Current Finite Element Analysis (FEA) technology was already well established 40 years ago, when CAD-systems just started to appear, and its success stems from using approximations of both the geometry and the analysis model with low order finite elements (most often of degree ).
There has been no requirement between CAD and numerical simulation, based on Finite Element Analysis, leading to incompatible mathematical representations in CAD and FEA. This incompatibility makes interoperability of CAD/CAM and FEA very challenging. In the general case today this challenge is addressed by expensive and time-consuming human intervention and software developments.
Improving this interaction by using adequate geometric and functional descriptions should boost the interaction between numerical analysis and geometric modeling, with important implications in shape optimization. In particular, it could provide a better feedback of numerical simulations on the geometric model in a design optimization loop, which incorporates iterative analysis steps.
The situation is evolving. In the past decade, a new paradigm has emerged to replace the traditional Finite Elements by B-Spline basis element of any polynomial degree, thus in principle enabling exact representation of all shapes that can be modeled in CAD. It has been demonstrated that the so-called isogeometric analysis approach can be far more accurate than traditional FEA.
It opens new perspectives for the interoperability between geometric modeling and numerical simulation. The development of numerical methods of high order using a precise description of the shapes raises questions on piecewise polynomial elements, on the description of computational domains and of their interfaces, on the construction of good function spaces to approximate physical solutions. All these problems involve geometric considerations and are closely related to the theory of splines and to the geometric methods we are investigating. We plan to apply our work to the development of new interactions between geometric modeling and numerical solvers.
5 New software and platforms
5.1 New software
Geometry plus Simulation Modules
G+Smo (pronounced gismo or gizmo) is a C++ library for isogeometric analysis (IGA).
G+Smo (Geometry + Simulation Modules, pronounced "gismo") is an open-source C++ library that brings together mathematical tools for geometric design and numerical simulation. It implements the relatively new paradigm of isogeometric analysis, which suggests the use of a unified framework in the design and analysis pipeline. G+Smo is an object-oriented, cross-platform, template C++ library and follows the generic programming principle, with a focus on both efficiency and ease of use. The library aims at providing access to high quality, open-source software to the forming isogeometric numerical simulation community and beyond. Geometry plus simulation modules aims at the seamless integration of Computer-aided Design (CAD) and high order Finite Element Analysis (FEA).
The library and its documentation are available at https://gismo.github.io/
Global optimization, Moment, Polynomial equations, Semi-algebraic set, Convex relaxation
The package provides efficient tools to build convex relaxations of moment sequences and their dual Sum-of-Squares relaxations, to optimize vectors of moment sequences that satisfy positivity constraints or mass constraints, to compute global minimizers of polynomial and moment optimization problems from moment sequences, polar ideals, approximate real radical. It also provides tools for computing minimum enclosing ellipsoids of basic semi-algebraic sets. It uses a connection with SDP solvers via the JuMP interface.
The package is available at https://gitlab.inria.fr/AlgebraicGeometricModeling/MomentTools.jl and its documentation at http://www-sop.inria.fr/members/Bernard.Mourrain/software/MomentTools/
Lorenzo Baldi, Bernard Mourrain
Tensor decomposition, Multivariate series, Low rank models, Hankel
TensorDec is a Julia package for the decomposition of tensors and polynomial-exponential series. It provides tools to compute rank decomposition or Waring decomposition of symmetric tensors or multivariate homogeneous, of multilinear tensors, of multivariate series as sums of polynomial-exponential series, of measures as weighted sums of Diracs from moments, tools to perform sparse interpolation.
It allows to compute low rank tensor approximations of given tensors, using Riemannian optimization techniques, with well-chosen initial start. It also provides tools to compute catalecticant or Hankel operators associated to tensors and their apolar ideal.
The package is accessible at https://gitlab.inria.fr/AlgebraicGeometricModeling/TensorDec.jl and its documentation at http://www-sop.inria.fr/members/Bernard.Mourrain/software/TensorDec/
Rima Khouja, Bernard Mourrain
6 New results
6.1 On the Effective Putinar’s Positivstellensatz and Moment Approximation
Participants: Lorenzo Baldi, Bernard Mourrain.In 14, we analyse the representation of positive polynomials in terms of Sums of Squares. We provide a quantitative version of Putinar’s Positivstellensatz over a compact basic semialgebraic set S, with a new polynomial bound on the degree of the positivity certificates. This bound involves a Łojasiewicz exponent associated to the description of S. We show that if the gradients of the active constraints are linearly independent on S (Constraint Qualification condition), this Łojasiewicz exponent is equal to 1. We deduce the first general polynomial bound on the convergence rate of the optima in Lasserre’s Sum-of-Squares hierarchy to the global optimum of a polynomial function on S, and the first general bound on the Hausdorff distance between the cone of truncated (probability) measures supported on S and the cone of truncated pseudo-moment sequences, which are positive on the quadratic module of S.
6.2 Curve Valuations and Mixed Volumes in the Implicitization of Rational Varieties
Participants: Alicia Dickenstein, Maria Isabel Herrero, Bernard Mourrain.
In 21, we address the description of the tropicalization of families of rational varieties under parametrizations with prescribed support, via curve valuations. We recover and extend results by Sturmfels, Tevelev and Yu for generic coefficients, considering rational parametrizations with non-trivial denominator. The advantage of our point of view is that it can be generalized to deal with non-generic parametrizations. We provide a detailed analysis of the degree of the closed image, based on combinatorial conditions on the relative positions of the supports of the polynomials defining the parametrization. We obtain a new formula and finer bounds on the degree, when the supports of the polynomials are different. We also present a new formula and bounds for the order at the origin in case the closed image is a hypersurface.
6.3 Univariate Rational Sums of Squares
Participants: Teresa Krick, Bernard Mourrain, Agnes Szanto.Given rational univariate polynomials and such that and are relatively prime, we show in 27 that is non-negative on all the real roots of if and only if is a sum of squares of rational polynomials modulo . We complete our study by exhibiting an algorithm that produces a certificate that a polynomial is non-negative on the real roots of a non-zero polynomial , when the above assumption is satisfied.
6.4 A certified iterative method for isolated singular roots
Participants: Angelos Mantzaflaris, Bernard Mourrain, Agnes Szanto.In 28, we provide a new method to certify that a nearby polynomial system has a singular isolated root and we compute its multiplicity structure. More precisely, given a polynomial system , we present a Newton iteration on an extended deflated system that locally converges, under regularity conditions, to a small deformation of f such that this deformed system has an exact singular root. The iteration simultaneously converges to the coordinates of the singular root and the coefficients of the so-called inverse system that describes the multiplicity structure at the root. We use α-theory test to certify the quadratic convergence, and to give bounds on the size of the deformation and on the approximation error. The approach relies on an analysis of the punctual Hilbert scheme, for which we provide a new description. We show in particular that some of its strata can be rationally parametrized and exploit these parametrizations in the certification. We show in numerical experimentation how the approximate inverse system can be computed as a starting point of the Newton iterations and the fast numerical convergence to the singular root with its multiplicity structure, certified by our criteria.
6.5 Newton-Type Methods For Simultaneous Matrix Diagonalization
Participants: Rima Khouja, Bernard Mourrain, Jean-Claude Yakoubsohn.In 26, we propose a Newton-type method to solve numerically the eigenproblem of several diagonalizable matrices, which pairwise commute. A classical result states that these matrices are simultaneously diagonalizable. From a suitable system of equations associated to this problem, we construct a sequence that converges quadratically towards the solution. This construction is not based on the resolution of a linear system as this is the case in the classical Newton method. Moreover, we provide a theoretical analysis of this construction and exhibit a condition to get a quadratic convergence. We also propose numerical experiments, which illustrate the theoretical results.
6.6 Multigraded Sylvester forms, Duality and Elimination Matrices
Participants: Laurent Busé, Marc Chardin, Navid Nemati.
In 16 we study the equations of the elimination ideal associated with n+1 generic multihomogeneous polynomials defined over a product of projective spaces of dimension n. We first prove a duality property and then make this duality explicit by introducing multigraded Sylvester forms. These results provide a partial generalization of similar properties that are known in the setting of homogeneous polynomial systems defined over a single projective space. As an important consequence, we derive a new family of elimination matrices that can be used for solving zero-dimensional multiprojective polynomial systems by means of linear algebra methods.
6.7 Formulas for the eigendiscriminants of ternary and quaternary forms
Participants: Laurent Busé.
A -dimensional tensor of format defines naturally a rational map from the projective space to itself and its eigenscheme is then the subscheme of of fixed points of . The eigendiscriminant is an irreducible polynomial in the coefficients of that vanishes for a given tensor if and only if its eigenscheme is singular. In 17 we contribute to formulas for the computation of eigendiscriminants in the cases and . In particular, by restriction to symmetric tensors, we obtain closed formulas for the eigendiscriminants of plane curves and surfaces in as the ratio of some determinants of resultant matrices.
6.8 Tri-linear birational maps in dimension three
Participants: Laurent Busé, Pablo Gonzalez Mazon, Josef Schicho.
A tri-linear rational map in dimension three is a rational map defined by four tri-linear polynomials without a common factor. If admits an inverse rational map , it is a tri-linear birational map. In 18 we address computational and geometric aspects about these transformations. We prove a characterization of birationality based on the first syzygies of the entries. More generally, we describe all the possible minimal free resolutions of the ideal generated by these entries. With respect to geometry, we show that the set of tri-linear birational maps, up to automorphism of , is a locally closed algebraic subset of the Grassmannian of 4-dimensional subspaces in the vector space of tri-linear polynomials, and has eight irreducible components. Moreover, the group action on given by composition with automorphisms of defines 19 orbits, and each of these orbits determines an isomorphism class of the base loci of these transformations.
6.9 Efficient sampling in spectrahedra and volume approximation
Participants: Apostolos Chalkis, Ioannis Emiris, Vissarion Fisikopoulos, Panagiotis Repouskos, Elias Tsigaridas.
We present algorithmic, complexity, and implementation results on the problem of sampling points from a spectrahedron, that is, the feasible region of a semidefinite program. Our main tool is geometric random walks. We analyze the arithmetic and bit complexity of certain primitive geometric operations that are based on the algebraic properties of spectrahedra and the polynomial eigenvalue problem. This study leads to the implementation of a broad collection of random walks for sampling from spectrahedra that experimentally show faster mixing times than methods currently employed either in theoretical studies or in applications, including the popular family of Hit-and-Run walks. The different random walks offer a variety of advantages, thus allowing us to efficiently sample from general probability distributions, for example the family of log-concave distributions which arise in numerous applications. We focus on two major applications of independent interest: (i) approximate the volume of a spectrahedron, and (ii) compute the expectation of functions coming from robust optimal control. We exploit efficient linear algebra algorithms and implementations to address the aforementioned computations in very high dimension. In particular, we provide a C++ open source implementation of our methods that scales efficiently, for the first time, up to dimension 200. We illustrate its efficiency on various data sets 19.
6.10 New upper bounds for the number of embeddings of minimally rigid graphs
Participants: Evangelos Bartzos, Ioannis Emiris, Ilias Kotsireas, Charalambos Tzamos.
Determining the number of solutions of a multi-homogeneous polynomial system is a fundamental problem in algebraic geometry. The multi-homogeneous Bézout (m-Bézout) number bounds from above the number of non-singular solutions of a multi-homogeneous system, but its computation is a -hard problem. Recent work related the m-Bézout number of certain multi-homogeneous systems derived from rigidity theory with graph orientations, cf Bartzos et al. (2020). A first generalization applied graph orientations for bounding the root count of a multi-homogeneous system that can be modeled by simple undirected graphs, as shown by three of the authors (Bartzos et al., 2021). Here, we prove that every multi-homogeneous system can be modeled by hypergraphs and the computation of its m-Bézout bound is related to constrained hypergraph orientations. Thus, we convert the algebraic problem of bounding the number of roots of a polynomial system to a purely combinatorial problem of analyzing the structure of a hypergraph. We also provide a formulation of the orientation problem as a constraint satisfaction problem (CSP), hence leading to an algorithm that computes the multi-homogeneous bound by finding constrained hypergraph orientations 32.
6.11 New upper bounds for the number of embeddings of minimally rigid graphs
Participants: Evangelos Bartzos, Ioannis Emiris, Raimundas Vidunas.By definition, a rigid graph in (or on a sphere) has a finite number of embeddings up to rigid motions for a given set of edge length constraints. These embeddings are related to the real solutions of an algebraic system. Naturally, the complex solutions of such systems extend the notion of rigidity to . A major open problem has been to obtain tight upper bounds on the number of embeddings in , for a given number of vertices, which obviously also bound their number in . Moreover, in most known cases, the maximal numbers of embeddings in and coincide. For decades, only the trivial bound of was known on the number of embeddings. Recently, matrix permanent bounds have led to a small improvement for . This work improves upon the existing upper bounds for the number of embeddings in , by exploiting outdegree-constrained orientations on a graphical construction, where the proof iteratively eliminates vertices or vertex paths. For the most important cases of , , the new bounds are , , respectively. In general, we improve the exponent basis in the asymptotic behavior with respect to the number of vertices of the recent bound mentioned above by the factor of . Besides being the first substantial improvement upon a long-standing upper bound, our method is essentially the first general approach relying on combinatorial arguments rather than algebraic root counts 15.
6.12 A Greedy Approach to the Canny-Emiris Formula
Participants: Carles Checa, Ioannis Emiris.The Canny-Emiris formula (1991) gives the sparse resultant as a ratio between the determinant of a Sylvester-type matrix and a minor of it, by a subdivision algorithm. The most complete proof of the formula was given by D'Andrea et al. in (2021) under general conditions on the underlying mixed subdivision. Before the proof, Canny and Pedersen had proposed (1992) a greedy algorithm which provides smaller matrices, in general. The goal of this paper is to give an explicit class of mixed subdivisions for the greedy approach such that the formula holds, and the dimensions of the matrices are reduced compared to the subdivision algorithm. We measure this reduction for the case when the Newton polytopes are zonotopes generated by n line segments (where n is the rank of the underlying lattice), and for the case of multihomogeneous systems. This ISSAC 2022 article comes with a JULIA implementation of the treated cases. More recent work includes an approach based on tropical geometry for describing the relevant subdivisions 33.
6.13 Modeling complex root motion of real random polynomials under differentiation
Participants: André Galligo.In 34, we consider nonlocal, nonlinear partial differential equations to model anisotropic dynamics of complex root sets of random polynomials under differentiation. These equations aim to generalise the recent PDE obtained by Stefan Steinerberger (2019) in the real case, and the PDE obtained by Sean O'Rourke and Stefan Steinerberger (2020) in the radial case, which amounts to work in 1D. These PDEs approximate dynamics of the complex roots for random polynomials of sufficiently high degree n. The unit of the time t corresponds to n differentiations, and the increment corresponds to . The general situation in 2D, in particular for complex roots of real polynomials, was not yet addressed. The purpose of this paper is to present a first attempt in that direction. We assume that the roots are distributed according to a regular distribution with a local homogeneity property (defined in the text), and that this property is maintained under differentiation. This allows us to derive a system of two coupled equations to model the motion. Our system could be interesting for other applications. The paper is illustrated with examples computed with the Maple system.
6.14 Symmetry in Multivariate Ideal Interpolation
Participants: Evelyne Hubert, Erick Rodriguez-Bazan.
An interpolation problem is defined by a set of linear forms on the (multivariate) polynomial ring and values to be achieved by an interpolant. For Lagrange interpolation the linear forms consist of evaluations at some nodes, while Hermite interpolation also considers the values of successive derivatives. Both are examples of ideal interpolation in that the kernels of the linear forms intersect into an ideal. For an ideal interpolation problem with symmetry, we address in 30 the simultaneous computation of a symmetry adapted basis of the least interpolation space and the symmetry adapted H-basis of the ideal. Beside its manifest presence in the output, symmetry is exploited computationally at all stages of the algorithm. For an ideal invariant, under a group action, defined by a Groebner basis, the algorithm allows to obtain a symmetry adapted basis of the quotient and of the generators. We shall also note how it applies surprisingly but straightforwardly to compute fundamental invariants and equivariants of a reflection group.
6.15 Algorithms for Fundamental Invariants and Equivariants
Participants: Evelyne Hubert, Erick Rodriguez- Bazan.
For a finite group, we presented in 24 three algorithms to compute a generating set of invariants simultaneously to generating sets of basic equivariants, i.e., equivariants for the irreducible representations of the group. The main novelty resides in the exploitation of the orthogonal complement of the ideal generated by invariants; Its symmetry adapted basis delivers the fundamental equivariants. Fundamental equivariants allow to assemble symmetry adapted bases of polynomial spaces of higher degrees, and these are essential ingredients in exploiting and preserving symmetry in computations. They appear within algebraic computation and beyond, in physics, chemistry and engineering. Our first construction applies solely to reflection groups and consists in applying symmetry preserving interpolation, as developed by the same authors, along an orbit in general position. The fundamental invariants can be read off the H-basis of the ideal of the orbit while the fundamental equivariants are obtained from a symmetry adapted basis of an invariant direct complement to this ideal in the polynomial ring. The second algorithm takes as input primary invariants and the output provides not only the secondary invariants but also free bases for the modules of basic equivariants. These are constructed as the components of a symmetry adapted basis of the orthogonal complement, in the polynomial ring, to the ideal generated by primary invariants. The third algorithm proceeds degree by degree, determining the fundamental invariants as forming a H-basis of the Hilbert ideal, i.e., the polynomial ideal generated by the invariants of positive degree. The fundamental equivariants are simultaneously computed degree by degree as the components of a symmetry adapted basis of the orthogonal complement of the Hilbert ideal.
6.16 G1-smooth Biquintic Approximation of Catmull-Clark Subdivision Surfaces
Participants: Michelangelo Marsala, Angelos Mantzaflaris, Bernard Mourrain.In 29, a construction of a globally G family of Bézier surfaces, defined by smoothing masks approximating the well-known Catmull-Clark (CC) subdivision surface is presented. The resulting surface is a collection of Bézier patches, which are bicubic C around regular vertices and biquintic G around extraordinary vertices (and C on their one-rings vertices). Each Bézier point is computed using a locally defined mask around the neighboring mesh vertices. To define G conditions, we assign quadratic gluing data around extraordinary vertices that depend solely on their valence and we use degree five patches to satisfy these G constraints. We explore the space of possible solutions, considering several projections on the solution space leading to different explicit formulas for the masks. Certain control points are computed by means of degree elevation of the C scheme of Loop and Schaefer, while for others, explicit masks are deduced by providing closed-form solutions of the G1 conditions, expressed in terms of the masks. We come up with four different schemes and conduct curvature analysis on an extensive benchmark in order to assert the quality of the resulting surfaces and identify the ones that lead to the best result, both visually and numerically. We demonstrate that the resulting surfaces converge quadratically to the CC limit when the mesh is subdivided.
6.17 Near-neighbor preserving dimension reduction via coverings for doubling subsets of l1
Participants: Ioannis Emiris, Vasilis Margonis, Ioannis Psarros.
Randomized dimensionality reduction has been recognized as one of the cornerstones in handling high-dimensional data, originating in various foundational works such as the celebrated Johnson-Lindenstrauss Lemma. More specifically, nearest neighbor-preserving embeddings exist for L2 (Euclidean) and L1 (Manhattan) metrics, as well as doubling subsets of L2, where doubling dimension is today the most effective way of capturing intrinsic dimensionality, as well as input structure in various applications. These randomized embeddings bound the distortion only for distances between the query point and a point set. Motivated by the foundational character of fast Approximate Nearest Neighbor search in L1, this paper settles an important missing case, namely that of doubling subsets of L1. In particular, we introduce a randomized dimensionality reduction by means of a near neighbor-preserving embedding, which is related to the decision-with-witness problem. The input set gets represented with a carefully chosen covering point set; in a second step, the algorithm randomly projects the latter. In order to obtain the covering point sets, we leverage either approximate r-nets or randomly shifted grids, with different tradeoffs between preprocessing time and target dimension. We exploit Cauchy random variables, and derive a concentration bound of independent interest. Our algorithms are rather simple and should therefore be useful in practice 22.
6.18 Flux-aligned quad mesh generation in magnetohydrodynamic simulation
Participants: Meng Wu, Xuhui Wang, Bernard Mourrain, Gang Xu, Qian Ni, Yuan Liu, Boniface Nkonga.Flux-aligned mesh generation plays an important role in the magnetohydrodynamic (MHD) simulation of Tokamak plasmas. In 31, we present the existence theory of flux-aligned meshes by generalized Morse theory to the situation in Tokamak simulation. A high-order algorithm is developed to validate the theory by generating flux-aligned quad meshes with the same topologies as the typical flux contours in JOREK for Tokamak configuration MAST.
6.19 A kinematic-geometric model based on ankles’ depth trajectory in frontal plane for gait analysis using a single RGB-D camera
Participants: Mehran Hatamzadeh, Laurent Busé, Frédéric Chorin, Pierre Alliez, Jean-Dominique Favreau, Raphaël Zory.
The emergence of RGB-D cameras and the development of pose estimation algorithms offer opportunities in biomechanics. However, some challenges still remain when using them for gait analysis, including noise which leads to misidentification of gait events and inaccuracy. Therefore, in 23 we present a novel kinematic-geometric model for spatio-temporal gait analysis, based on ankles’ trajectory in the frontal plane and distance-to-camera data (depth). Our approach consists of three main steps: identification of the gait pattern and modeling via parameterized curves, development of a fitting algorithm, and computation of locomotive indices. The proposed fitting algorithm applies on both ankles’ depth data simultaneously, by minimizing through numerical optimization some geometric and biomechanical error functions. For validation, 15 subjects were asked to walk inside the walkway of the OptoGait, while the OptoGait and an RGB-D camera (Microsoft Azure Kinect) were both recording. Then, the spatiotemporal parameters of both feet were computed using the OptoGait and the proposed model. Validation results show that the proposed model yields good to excellent absolute statistical agreement (). Our kinematic-geometric model offers several benefits: (1) It relies only on the ankles’ depth trajectory both for gait events extraction and spatio-temporal parameters’ calculation; (2) it is usable with any kind of RGB-D camera or even with 3D marker-based motion analysis systems in absence of toes’ and heels’ markers; and (3) it enables improving the results by denoising and smoothing the ankles’ depth trajectory. Hence, the proposed kinematic-geometric model facilitates the development of portable markerless systems for accurate gait analysis.
6.20 Investigating the Bioactive Conformation of Angiotensin II Using Markov State Modeling Revisited with Web-Scale Clustering
Participants: Ioannis Emiris, Emmanouil Christoforou, Hari Leontiadou, Frank Noé, Jannis Samios, Zoe Cournia.
Molecular dynamics simulation is a powerful technique for studying the structure and dynamics of biomolecules in atomic-level detail by sampling their various conformations in real time. Because of the long timescales that need to be sampled to study biomolecular processes and the big and complex nature of the corresponding data, relevant analyses of important biophysical phenomena are challenging. Clustering and Markov state models (MSMs) are efficient computational techniques that can be used to extract dominant conformational states and to connect those with kinetic information. In this work, we perform Molecular Dynamics simulations to investigate the free energy landscape of Angiotensin II (AngII) in order to unravel its bioactive conformations using different clustering techniques and Markov state modeling. AngII is an octapeptide hormone, which binds to the AT1 transmembrane receptor, and plays a vital role in the regulation of blood pressure, conservation of total blood volume, and salt homeostasis. To mimic the water–membrane interface as AngII approaches the AT1 receptor and to compare our findings with available experimental results, the simulations were performed in water as well as in water–ethanol mixtures. Our results show that in the water–ethanol environment, AngII adopts more compact U-shaped (folded) conformations than in water, which resembles its structure when bound to the AT1 receptor. For clustering of the conformations, we validate the efficiency of an inverted-quantized k-means algorithm, as a fast approximate clustering technique for web-scale data (millions of points into thousands or millions of clusters) compared to k-means, on data from trajectories of molecular dynamics simulations with reasonable trade-offs between time and accuracy. Finally, we extract MSMs using various clustering techniques for the generation of microstates and macrostates, and for the selection of the macrostate representatives 20.
7 Bilateral contracts and grants with industry
7.1 Bilateral grants with industry
Participants: Ioannis Emiris, Apostolos Chalkis, Panagiotis Repouskos, Ioannis Psarros.
Ioannis Emiris coordinates a research contract with the industrial partner ANSYS (Greece), in collaboration with Athena Research Center. MSc students P. Repouskos and T. Pappas, PhD candidate A. Chalkis and postdoc fellow I. Psarros are partially funded.
Electronic design automation (EDA) and simulating Integrated Circuits requires robust geometric operations on thousands of electronic elements (capacitors, resistors, coils etc) represented by polyhedral objects in 2.5 dimensions, not necessarily convex. A special case may concern axis-aligned objects but the real challenge is the general case. The project, extended into 2022, focuses on 3 axes: (1) efficient data structures and prototype implementations for storing the aforementioned polyhedral objects so that nearest neighbor queries are fast in the L-max metric, which is the primary focus of the contract, (2) random sampling of the free space among objects, (3) data-driven algorithmic design for problems concerning data-structures and their construction and initialization.
It is expected to continue into 2023 along with a grant from the Greek ministry of Development.
Interactive construction of 3D models - Application to the modeling of complex geological structures.
Participants: Ayoub Belhachmi, Bernard Mourrain.
CIFRE collaboration between Schlumberger Montpellier (A. Azzedine) and Inria Sophia Antipolis (B. Mourrain). The PhD candidate is A. Belhachmi. The objective of the work is the development of a new spline based high quality geomodeler for reconstructing the stratigraphy of geological layers from the adaptive and efficient processing of large terrain information.
8 Partnerships and cooperations
8.1 International initiatives
8.1.1 Participation in other International Programs
High order methods for computational engineering and data analysis
Participants: Angelos Mantzaflaris, Bernard Mourrain.
High order methods for computational engineering and data analysis
Partenariats Hubert Curien (PHC) Alliance
January 2020 - December 2022
U. Swansea (UK)
The aim of this project is to develop a mathematical framework for the integration of geometric modeling and simulation using spline-based finite elements of high degree of smoothness. High-order methods are known to provide a robust and efficient methodology to tackle complex challenges in multi-physics simulations, shape optimization, and the analysis of large-scale datasets arising in data-driven engineering and design. However, the analysis and design of high-order methods is a daunting task requiring a concurrent effort from diverse fields such as applied algebraic geometry, approximation theory and splines, topological data analysis, and computational mathematics. Our strategic vision is to create a research team combining uniquely broad research expertise in these areas by establishing a link between the AROMATH and Swansea University.
Nelly Villamizar and Beihui Yuan visited the Aromath team for a week in the frame of the project.
Efficient high order learning for deep geometric design networks
Participants: Angelos Mantzaflaris, Bernard Mourrain, Michelangelo Marsala.
Efficient high order learning for deep geometric design networks
Partenariats Hubert Curien (PHC) Galilée
January 2022 - December 2023
U. Florence (IT)
The research program focuses on the interaction between the computational side of geometric models, and their application-oriented side devoted to the design and analysis of efficient adaptive spline approximation schemes. The unified geometry processing framework promoted by the research project will enable a seamless integration of modern computational methods with flexible modeling and approximation schemes to provide accurate, efficient and robust numerical simulations. Towards this ambitious goal, the work plan addresses important challenges in the area of geometric modeling and processing, creating a connection with suitable machine learning applications.
Carlotta Giannelli and Sofia Imperatore visited the Aromath team for a week and for three months, respectively, in the frame of the project.
8.2 International research visitors
8.2.1 Visits of international scientists
Institution of origin:
Federal University of Rio de Janeiro
Context of the visit:
The purpose of this visit was to intiate a research project at the interface of residual interesection theory, of which Vinicius Bouça is an expert, and residual elimination theory, a topic of study in Aromath.
Mobility program/type of mobility:
research stay funded by the french-brazilian network of mathematics (*).
Institution of origin:
Université Dan Dicko Dankoulodo de Maradi, Niger
1-15 Nov. and 1-17 Dec.
Context of the visit:
Computational Geometry, including Offset-surfaces of parametric curves and surfaces, Voronoï Diagrams of rational curves and Medial axis of domains with non-linear boundary.
Mobility program/type of mobility:
CIMPA-ICTP Research in Pairs.
8.3 European initiatives
8.3.1 H2020 projects
Polynomial Optimization, Efficiency through Moments and Algebra
From January 1, 2019 to June 30, 2023
- INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET AUTOMATIQUE (INRIA), France
- UNIVERSITETET I TROMSOE - NORGES ARKTISKE UNIVERSITET (UiT), Norway
- FRIEDRICH-ALEXANDER-UNIVERSITAET ERLANGEN-NUERNBERG (FAU), Germany
- UNIVERSITA DEGLI STUDI DI FIRENZE (UNIFI), Italy
- THE UNIVERSITY OF BIRMINGHAM (UoB), United Kingdom
- UNIVERSITAT KONSTANZ (UKON), Germany
- TILBURG UNIVERSITY- UNIVERSITEIT VAN TILBURG (TILBURG UNIVERSITY), Netherlands
- ARTELYS, France
- CENTRE NATIONAL DE LA RECHERCHE SCIENTIFIQUE CNRS (CNRS), France
- STICHTING NEDERLANDSE WETENSCHAPPELIJK ONDERZOEK INSTITUTEN (NWO-I), Netherlands
- SORBONNE UNIVERSITE, France
Non-linear optimization problems are present in many real-life applications and in scientific areas such as operations research, control engineering, physics, information processing, economy, biology, etc. However, efficient computational procedures, that can provide the guaranteed global optimum, are lacking for them. The project will develop new polynomial optimization methods, combining moment relaxation procedures with computational algebraic tools to address this type of problems. Recent advances in mathematical programming have shown that the polynomial optimization problems can be approximated by sequences of Semi-Definite Programming problems. This approach provides a powerful way to compute global solutions of non-linear optimization problems and to guarantee the quality of computational results. On the other hand, advanced algebraic algorithms to compute all the solutions of polynomial systems, with efficient implementations for exact and approximate solutions, were developed in the past twenty years.
The network combines the expertise of active European teams working in these two domains to address important challenges in polynomial optimization and to show the impact of this research on practical applications. The network will train a new squad of 15 young researchers to master high-level mathematics, algorithm design, scientific computation and software development, and to solve optimization problems for real-world applications. It will advance the research on algebraic methods for moment approaches, tackle mixed integer non-linear optimization problems and enhance the efficiency and robustness of moment relaxation methods. Specific applications of these approaches to optimization problems are related to smarter cities challenges, such as water distribution network management, energy flow in power systems, urban traffic management, as well as to oceanography and environmental monitoring and finance.
learninG, pRocessing, And oPtimising shapES
From December 1, 2019 to May 31, 2024
- INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET AUTOMATIQUE (INRIA), France
- UNIVERSITA DEGLI STUDI DI ROMA TOR VERGATA (UNITOV), Italy
- RHEINISCH-WESTFAELISCHE TECHNISCHE HOCHSCHULE AACHEN (RWTH AACHEN), Germany
- ATHINA-EREVNITIKO KENTRO KAINOTOMIAS STIS TECHNOLOGIES TIS PLIROFORIAS, TON EPIKOINONION KAI TIS GNOSIS (ATHENA - RESEARCH AND INNOVATION CENTER), Greece
- UNIVERSITAT LINZ (JOHANNES KEPLER UNIVERSITAT LINZ UNIVERSITY OF LINZ JOHANNES KEPLER UNIVERSITY OF LINZ JKU), Austria
- SINTEF AS (SINTEF), Norway
- VILNIAUS UNIVERSITETAS (Vilniaus universitetas), Lithuania
- UNIVERSITA DELLA SVIZZERA ITALIANA (USI), Switzerland
- UNIVERSITAT DE BARCELONA (UB), Spain
- GEOMETRY FACTORY SARL, France
- UNIVERSITY OF STRATHCLYDE, United Kingdom
GRAPES aims at considerably advancing the state of the art in Mathematics, Computer-Aided Design, and Machine Learning in order to promote game changing approaches for generating, optimising, and learning 3D shapes, along with a multisectoral training for young researchers. Recent advances in the above domains have solved numerous tasks concerning multimedia and 2D data. However, automation of 3D geometry processing and analysis lags severely behind, despite their importance in science, technology and everyday life, and the well-understood underlying mathematical principles. The CAD industry, although well established for more than 20 years, urgently requires advanced methods and tools for addressing new challenges.
The scientific goal of GRAPES is to bridge this gap based on a multidisciplinary consortium composed of leaders in their respective fields. Top-notch research is also instrumental in forming the new generation of European scientists and engineers. Their disciplines span the spectrum from Computational Mathematics, Numerical Analysis, and Algorithm Design, up to Geometric Modelling, Shape Optimisation, and Deep Learning. This allows the 15 PhD candidates to follow either a theoretical or an applied track and to gain knowledge from both research and innovation through a nexus of intersectoral secondments and Network-wide workshops.
Horizontally, our results lead to open-source, prototype implementations, software integrated into commercial libraries as well as open benchmark datasets. These are indispensable for dissemination and training but also to promote innovation and technology transfer. Innovation relies on the active participation of SMEs, either as a beneficiary hosting an ESR or as associate partners hosting secondments. Concrete applications include simulation and fabrication, hydrodynamics and marine design, manufacturing and 3D printing, retrieval and mining, reconstruction and visualisation, urban planning and autonomous driving.
8.4 National initiatives
GdR EFI and GDM: Evelyne Hubert is part of the Scientific Committee of the GdR Equations Fonctionnelles et Interactions and participates to the GdR Géometrie Differentielle et Mécanique (gdr-gdm.univ-lr.fr).
9.1 Promoting scientific activities
9.1.1 Scientific events: organisation
General chair, scientific chair
- Bernard Mourrain was conference co-chair of the international conference Geometry Modeling and Processing, GMP 2022.
Member of the organizing committees
- Angelos Mantzaflaris was a member of the organizing committee of the G+Smo Developer Days and preCICE meeting 2022, where he also delivered tutorials on the use of G+Smo in C++.
9.1.2 Scientific events: selection
Member of the conference program committees
- Laurent Busé was a member of the international program committees of GMP 2022 and SPM 2022.
- Angelos Mantzaflaris was a member of the program committees of GMP 2022, SPM 2022 and Isogeometric Analysis (IGA) 2022.
- Bernard Mourrain was a member of the program committee SPM 2022, of the conference Effective Methods in Algebraic Geometry, MEGA 2022
- Laurent Busé reviewed submissions for the international conferences GMP 2022, SPM 2022, SIGGRAPH 2022.
- Angelos Mantzaflaris reviewed submissions for the international conferences GMP 2022, SPM 2022.
- Bernard Mourrain reviewed submissions for the international conferences GMP 2022, SPM 2022, ISSAC 2022, MEGA 2022.
Member of the editorial boards
- Laurent Busé is an associated editor of Maple Transactions.
- Evelyne Hubert is associated editor for the journal Foundations of Computational Mathematics and the Journal of Symbolic Computation.
- Bernard Mourrain is associated editor for the Journal of Symbolic Computation.
Reviewer - reviewing activities
- Laurent Busé reviewed this year submissions for the following journals: Mathematics of Computations, Mathematica Scandinavica, Communications in Mathematics and Statistics, Computer Aided Geometric Design, Journal of Computational and Applied Mathematics, Journal of Computational Algebra, Computer-Aided Design, Rocky Mountain Journal of Mathematics, Journal of Combinatorial Algebra.
- Evelyne Hubert reviewed submissions for Foundations of Computational Mathematics, the Journal of Symbolic Computation and Computer Aided Geometric Design.
- Angelos Mantzaflaris reviewed for Computers and Mathematics with ApplicationsComputer Aided Geometric DesignComputer Methods in Applied Mechanics and EngineeringJournal of Symbolic ComputationComputer-Aided DesignMathematics of ComputationComputer Graphics ForumIEEE Transactions on Nanotechnology and Transactions of Cloud Computing.
- Bernard Mourrain reviewed submissions for the following journals: SIAM Journal of Matrix Analysis and Applications, SIAM Journal on Applied Algebra and Geometry, Mathematics of Computations, Journal of Mathematical Analysis and Applications, Computer Aided Geometric Design, Journal of Computational and Applied Mathematics, Forum of Mathematics, Sigma, Transactions on Mathematical Software, Journal of Scientific Computing, Journal of Mathematical Analysis and Applications.
9.1.4 Invited talks
- Lorenzo Baldi was invited to give a talk at a minimisymposium Semidefinite, Conic, and Polynomial Optimization of ICCOPT, Lehigh University, USA, Jul 25, "On Putinar’s Positivstellensatz and Convergence Rates in Polynomial Optimization"; at the seminar Real Geometry und Algebra, University of Konstanz, Germany, Jun 8–10 2022, "Convergence Rates and Flat Truncation in Lasserre’s Hierarchies"; at the Seminar on Nonlinear Algebra, MPI Leipzig, June 1, "Flat Truncation in Polynomial Optimization: a Geometric and Algebraic Perspective"; at the Reading Group on Polynomial Optimization, CWI, The Netherlands, April 4 (online), "Effective Putinar’s Positivstellensatz: a general Polynomial Bound"; at the joint PolSys–SpecFun Seminar, Paris Sorbonne, France, Feb. 3 (online) "On Finite Convergence and Convergence Rates in Polynomial Optimization".
- Laurent Busé was invited to give a talk at international conference Polynomial and Arithmetic, Lille, May 2-6, and at the joint MATHEXP-POLSYS seminar, Paris, November 18.
- Evelyne Hubert was invited to give a talk at the Oberwolfach workshop Interpolation, Approximation, and Algebra, the annual meeting of the GdR Géometrie Différentielle et Mécanique, at the Cetraro Workshop Algebraic Combinatorics of the Symmetric Groups and Coxeter Groups II, at the CWI workshop Solving Polynomial Systems, Amsterdam, The Netherlands.
- Rima Khouja was invited to give a talk at the workshops Algebraic geometry and complexity theory and Tensors in statistics, optimization and machine learning of Algebraic Geometry with Applications to TEnsors and Secants (AGATES) semester, Varsaw, Poland, at the online minisymposium on Low-rank Geometry and Computation at MPI, Leipzig, at the seminar of SiMul research group, CRAN, Nancy.
- Michelangelo Marsala was invited to give a talk in a minisymposium at the 10th International Conference on Curves and Surfaces, Arcachon, June 20-25 and at the GIMC SIMAI YOUNG Workshop 2022, Pavia, September 29-30.
- Pablo Gonzalez Mazon was invited to give a talk at the conference Congreso Bienal de la Real Sociedad Matemática Española 2022, at the special session Combinatorics and Computation in Commutative Algebra, Ciudad Real, Spain, 17-21 January, and at the seminar Séminaire de l'équipe d'algèbre, topologie et géométrie, Nice, France, 9 June.
- Angelos Mantzaflaris was invited to give a talk at the INdAM Meeting Approximation Theory and Numerical Analysis meet Algebra, Geometry, Topology, at Cortona, Italy and at the final Workshop of the ERC CHANGE project, that took place in Obergurgl, Austria.
- Bernard Mourrain was invited to give a talk at the conference Multivariate Approximation and Interpolation with Applications MAIA'2022, at the CWI workshop Solving Polynomial Systems, Amsterdam, The Netherlands; at the workshop Algebraic geometry and complexity theory of Algebraic Geometry with Applications to TEnsors and Secants (AGATES) semester, Varsaw, Poland.
9.1.5 Leadership within the scientific community
- Ioannis Emiris is the coordinator of the European MCSA network GRAPES (learninG, pRocessing, And oPtimising shapES).
- Bernard Mourrain is the coordinator of the European MCSA network POEMA (Polynomial Optimization, Efficiency through Moments and Algebra).
9.1.6 Scientific expertise
- Evelyne Hubert was invited to review Discovery Grants applications for the Natural Sciences and Engineering Research Council of Canada.
- Angelos Mantzaflaris served as an EU Expert for the evaluation of the Digital Europe program, Directorate-General for Communications Networks, Content and Technology (CNECT).
- Bernard Mourrain was reviewer for ANR submissions and for Swiss National Sciences Foundations (SNSF) projects.
9.1.7 Research administration
- Laurent Busé has the following administrative responsabilities:
- committee member, as a representative of the centre Inria of University Côte d'Azur, of the EUR Spectrum (CoPIL) of Université Côte d'Azur.
- committee member, as a representative of the centre Inria of University Côte d'Azur, of the Math Department of University Côte d'Azur.
- board member of french agency AMIES until September.
- co-chair of the french computer algebra group.
- chair of the CSD (comité de suivi doctoral) of the centre Inria of Univerity Côte d'Azur since September.
- member of the committee in charge of the recruitment of young Inria researchers at the Inria research center of Saclay (CRCN/ISFP).
- Angelos Mantzaflaris is a member of the Bureau of AMIES (Agence pour les Mathématiques en Interaction avec l'Entreprise et la Société).
- Bernard Mourrain is member of the Bureau du Comité des Equipes Projets (BCEP).
9.2 Teaching - Supervision - Juries
- License : Martin Jalard, Analyse, 64h (L1), Polytech Nice Sophia - Université Cote d'Azur
- Licence : Ioannis Emiris, Algorithms and complexity, 52 h (L2), NKU Athens
- Licence : Ioannis Emiris, Software development, 26 h (L3), NKU Athens
- Licence : Angelos Mantzaflaris, Fondements Mathématiques 2, 16 h, Université Cote d'Azur - Sciences et Technologie
- Master : Ioannis Emiris, Geometric data science, 52 h (M2), NKU Athens
- Master : Ioannis Emiris, Structural bioinformatics, 39 h (M2), NKU Athens
- Master : Laurent Busé, Geometric Modeling, 18h (M2), Polytech Nice Sophia - Univ Côte d'Azur.
- Master : Angelos Mantzaflaris, Geometric Modeling 6 h (M2) and Numerical Interpolation 20 h (M2), Polytech Nice Sophia - Univ Côte d'Azur.
- PhD: Lorenzo Baldi, Représentations Effectives en Géométrie Algébrique Réelle et Optimisation Polynomiale 36. POEMA Marie Skłodowska-Curie ITN, started in October 2019, defended in October 26, 2022, supervised by Bernard Mourrain.
- PhD in progress: Evangelos Bartzos, Algebraic elimination and Distance graphs. ARCADES Marie Skłodowska-Curie ITN, started in June 2016, NKUA, supervised by Ioannis Emiris.
- PhD in progress: Ayoub Belhachmi, Interactive construction of 3D models - Application to the modeling of complex geological structures. CIFRE, started in August 2020, Inria/Schlumberger, co-supervised by Bernard Mourrain.
- PhD in progress: Apostolos Chalkis, Sampling in high-dimensional convex regions, Google Summer of Code and Pegasus national Project, started in June 2018, NKUA, supervised by Ioannis Emiris.
- PhD in progress: Emmanouil Christoforou, Geometric approximation algorithms for clustering, Structural Bioinformatics national infrastructure "Inspire" and Pegasus national Project, started in Jan. 2018, NKUA, supervised by Ioannis Emiris.
- PhD in progress: Carles Checa, Algebraic computing for geometric predicate operations. GRAPES Marie Skłodowska-Curie ITN, started in December 2020, NKUA, supervised by Ioannis Emiris.
- PhD in progress: Riccardo Di Dio, Building a diagnosis tool to detect broncho-constrictions, BoostUrCAreer Marie Skłodowska-Curie COFUND fellowship. Started on November 2019, co-supervised by Benjamin Mauroy (UCA) and Angelos Mantzaflaris.
- PhD in progress: Pablo Gonzalez Mazon; Generation of valid high-order curved meshes. GRAPES Marie Skłodowska-Curie ITN, started in December 2020, Inria, supervised by Laurent Busé.
- PhD in progress: Mehran Hatamzadeh; An innovative gait analysis technology. PhD grant from the EU CoFUND BoostUrCareer program of UCA, co-supervised by Laurent Busé and Raphaël Zory (LAMHESS, UCA).
- PhD in progress: Martin Jalard. Stratification of orbit space by orbit type : a constructive approach through equivariants. Funded for the most part by Ecole Normale Supérieure de Rennes through a contrat doctoral Inria. Started October 1st 2022, supervised by Evelyne Hubert.
- PhD: Rima Khouja, Tensor decomposition, best approximations, algorithms and applications 37. Cotutelle Univ. Liban, started in November 2018, defunded in June 9, 2022, cosupervised by Houssam Khalil and Bernard Mourrain.
- PhD in progress: Thomas Laporte, Towards a 4D model of the respiratory system. Fellowship from ED SFA/UCA. Started on October 2019, co-supervised by Benjamin Mauroy (UCA) and Angelos Mantzaflaris.
- PhD: Tobias Metzlaff. Multivariate orthogonal polynomials and applications to global optimization 38. POEMA Marie Skłodowska-Curie ITN, started in December 2019, defended December 15 2022, supervised by Evelyne Hubert.
- PhD in progress: Michelangelo Marsala, Modelling and simulation using analysis-suitable subdivision surfaces and solids. GRAPES Marie Skłodowska-Curie ITN, started in November 2020, Inria, supervised by Angelos Mantzaflaris and Bernard Mourrain.
- PhD in progress: Konstantinos Tertikas, Machine learning for geometric shapes. GRAPES Marie Skłodowska-Curie ITN, started in December 2020, NKUA, supervised by Ioannis Emiris.
- PhD in progress: Tong Zhao; Learning priors and metrics for 3D reconstruction of large-scale scenes. PhD grant from the 3IA Institut of UCA, co-supervised by Pierre Alliez (TITANE) and Laurent Busé.
- Evelyne Hubert was a referee and member of the jury for the Habilitation à Diriger des Recherches of Marc Pouget (Inria Université de Lorraine).
- Laurent Busé participated to the following juries:
- member (president) for the PhD thesis of Vincent Vadez, Simplification géométrique pour la simulation thermique de satellites, CIFRE thesis of Université Côte d’Azur, supervised by Pierre Alliez and François Brunetti, defended June 10.
- referee and member for the PhD thesis of Evangelos Bartzos, Upper and lower bounds on the maximal number of graph embeddings, the National and Kapodistrian University Of Athens, Greece, supervised by Ioannis Emiris, defended on April 28.
- referee and member for the PhD thesis of Rafael Ferreira Holanda, Some aspects of local cohomology theory (Universidade Federal da Paraiba, Brazil, supervised by José Naéliton Marques da Silva, defended on May 18.
- Bernard Mourrain was
- member of the jury for the Habilitation à Diriger des Recherches of Oliver Ruatta (Univ. Limoges) entitled Polynômes du discret (codes correcteurs et cryptographie basée sur les codes) et du continu (autour des trajectoires optimales),
- jury member and reviewer of the HDR of Victor Magron (CNRS, LAAS) entitled The quest of modeling, certification and efficiency in polynomial optimization.
- jury member and reviewer of the PhD thesis of Trung Hieu Vu (Sorbonne Univerity) entitled Exact Sum of Squares Decompositions with Rational Coefficients, supervised by M. Safey El Din.
- advisor and jury member of the PhD thesis of Rima Khouja (Inria & UniV. Liban) entitled Tensor decomposition, best approximations, algorithms and applications and
- advisor and jury member of the PhD thesis of Lorenzo Baldi (Inria), entitled Représentations Effectives en Géométrie Algébrique Réelle et Optimisation Polynomiale.
Mehran Hatamzadeh participated to European Researchers’ Night (ERN) on Friday 30 September 2022 from 18:00 to 23:00, at Campus Valrose – Nice, France.
10 Scientific production
10.1 Major publications
- 1 articleOn the multihomogeneous Bézout bound on the number of embeddings of minimally rigid graphs.Applicable Algebra in Engineering, Communication and Computing315-62020, 325-357
- 2 articleNew upper bounds for the number of embeddings of minimally rigid graphs.Discrete and Computational Geometry6832022, 796
- 3 articleDegree and birationality of multi-graded rational maps.Proceedings of the London Mathematical Society12142020, 743-787
- 4 articleResultant of an equivariant polynomial system with respect to the symmetric group.Journal of Symbolic Computation762016, 142-157
- 5 articleProducts of Euclidean Metrics, Applied to Proximity Problems among Curves.ACM Transactions on Spatial Algorithms and Systems64August 2020, 1-20
- 6 articleScaffolding skeletons using spherical Voronoi diagrams: feasibility, regularity and symmetry.Computer-Aided Design102May 2018, 83 - 93
- 7 articleLocal (T)HB-spline projectors via restricted hierarchical spline fitting.Computer Aided Geometric Design80June 2020, 101865
- 8 articleRational invariants of even ternary forms under the orthogonal group.Foundations of Computational Mathematics192019, 1315-1361
- 9 articleAlgorithms for fundamental invariants and equivariants: (of finite groups).Mathematics of Computation913372022, 2459-2488
- 10 articleElimination ideals and Bezout relations.Journal of Algebra5622020, 621-626
- 11 articleLow Rank Tensor Methods in Galerkin-based Isogeometric Analysis.Computer Methods in Applied Mechanics and Engineering316April 2017, 1062-1085
- 12 articlePolynomial-Exponential Decomposition from Moments.Foundations of Computational Mathematics186December 2018, 1435--1492
- 13 articleSolving Polynomial Systems via a Stabilized Representation of Quotient Algebras.SIAM Journal on Matrix Analysis and Applications393October 2018, 1421--1447
10.2 Publications of the year
International peer-reviewed conferences
Edition (books, proceedings, special issue of a journal)
Doctoral dissertations and habilitation theses
Reports & preprints