Moments and Positive Polynomials
We are interested in the very rich theory of moments and its dual facet, that of positive polynomials. We have been a pioneer in the development of what is called the MomentSOS hierarchy (see also the Lasserre hierarchy and SumofSquare Optimization), and notably for global optimization. This approach is very natural and the resulting hierarchy of semidefinite relaxations perfectly matches both sides of the same theory, namely the theory of moments and its dual theory of positive polynomials. As a byproduct one also obtains KarushKuhnTucker global optimality conditions, in which the multipliers are nonnegative polynomials instead of scalars as in the usual (local) optimality conditions. In fact the MomentSOS hierarchy also applies to solving the Generalized Moment Problem (GMP) (with polynomial data) whose list of important applications is endless. In fact, global polynomial optimization is the simplest instance. To appreciate the impact of this methodology in and outside optimization, see for instance:
 Optimization over polynomials: Selected Topics, M. Laurent, Proceedings of ICM 2014 Congress, Seoul, 2014.
 On the Exactness of Lasserre Relaxations and Pure States Over Real Closed Fields, TomLukas Kriel and M. Schweighofer, Foundations of Computational Mathematics 19, pages1223–1263 (2019)
 A multilevel analysis of the Lasserre hierarchy, J.S. Campos, R. Misener, P. Parpas, Eur. J. Oper. Res. 277, pp. 3241, 2019.
1223–1263 (2019)
and especially for its impact in Combinatorial Optimization and Theoretical Computer Science, see for instance:
 SumofSquares proofs and the quest toward optimal algorithms, B. Barak and D. Steurer, Proceedings of ICM 2014 Congress, Seoul, 2014.
 Candidate Lasserre Integrality Gap For Unique Games, S. Khot and D. Mohskovitz, Electronic Colloquium on Computational Complexity, Report No. 142 (2014).
 High dimensional estimation via SumofSquares proofs, D. Steurer, Proceedings of ICM 2018 Congress, Rio de janeiro
 The MomentSOS Hierarchy, J.B. Lasserre, Proceedings of ICM 2018 Congress, Rio de Janeiro
 Partial Lasserre relaxation for sparse MaxCut, J.S. Campos, R. Misener, P. Parpas, Optimization & Engineering (2022)
 Stable rankone matrix completion is solved by the level 2 Lasserre relaxation, A. Cosse, L. Demanet, Found. Comp. Math. 21(4), pp. 891940, 2022.
 Application of the level2 Lasserre Hierarchy in quantum approximation algorithms, O. Parekh, K. Thompson, LIPIcs. Leibniz Int. Proc. Inform., 198., art 102, 20 pp., 2021
 Lasserre hierarchy for graph isomorphism and homomorphism indistinguishability, D.E. Robertson, T. Seppelt, TheoretiCS 3, article 20, pp. 142, 2024
In Machine Learning
 Evolving scientific discovery by unifying data and background knowledge with AI Hilbert. R CoryWright, C. Cornello, S. Dash, B. El Khadir, L. Horesh, Nature Communications 15, Article number: 5922 (2024),
and also its impact in extremal discrete geometry (e.g. for sphere packing problems and/or energy minimization) as described in the workshop ``Three days of computational methods for extremal discrete geometry" (University of Cologne, Germany, 2022)
In particular this methodology has been used:
 for Motion Planning in Robotics. See the algorithm NUROA ( Numerical Roadmap Algorithm) and the associated paper:
NUROA: A Numerical Roadmap Algorithm, Reza Iraji, Hamidreza Chitsaz. Proceedings IEEE CDC Conference, Los Angeles, December 20214. arXiv:1403.5384
 For solving the Optimal Power Flow Problem, an important problem for the optimal management of energy networks. See e.g. the recent papers:

Advanced optimization methods for power systems, P. Panciatici, M.C. Campi, S. Garratti, S.H. Low, D.K. Molzhan, A.X. Sun and L. Wehenkel. Proceedings 18th Power Systems Computation Conference, Wroclaw, Poland, August 2014.

SparsityExploiting MomentBased Relaxations of the Optimal Power Flow Problem, D.K. Molzahn and I.A. Hiskens, IEEE Transactions on Power Systems, 2015. arXiv:1404.5071

Global Optimization for power dispatch problems based on theory of moments, J. Tian, H. Wei and J. Tan, Electrical Power and Energy Systems 71, 2015, pp. 184194.

Lasserre hierarchy for largescale polynomial optimization in real and complex variabales, D. Molzahn, C. Josz, SIAM J. Optim. 28 (2018), pp. 10171048

Deciding robust feasibility and infeasibility using a set containment approach: An application to stationary passive gas network operations, D. Haussmann, F. Liers, M. Stingl, J.C. Vera, SIAM J. Optim. 28 (2018), pp. 24892517

MomentSOS relaxation of the medium term hydrothermal dispatch problem, F. Cicconet, K.C. Almeida, Int. J. Elec. Power & Energy Systems 104, pp. 124133, 2019

Structural impact of the startup sequence on Pelton turbines lifetime: Analytical prediction and polynomial optimization, A.L Alerci, E. Vagnoni, M. Paolone, Renewable Energy 218, 119341, 2023.
 In Computer Vision, Geometric perception and Pattern Recognition :
 Convex Relaxations for Consensus and NonMinimal Problems in 3D Vision, T. Probst, D. Dani Paudel, A. Chhatkuli, L. Van Gool, IEEE Int. Conf. Comp. Vision (ICCV), 2019, pp. 1023310242.
 Certifiably optimal and robust camera pose estimation from points and lines, Lei Sun, Zhongliang Deng, IEEE Access, 2020.
 In perfect shape: Certifiably optimal 3D shap reconstruction from 2D landmarks, Heng Yang, L. Carlone, Proceedings of teh IEEE/CVR conference on Computer Vision and Pattern Recognition, (CVPR), pp. 621630, 2020

TEASER: Fast and Certifiable Point Cloud Registration. H. Yang, J. Shi, and L. Carlone. IEEE Trans. Robotics, 2020.
 Selfsupervised geometric perception. H. Yang, W. Dong, L. Carlone, and V. Koltun. In IEEE Conf. on Computer Vision and Pattern Recognition (CVPR), pp. 14350–14361, 2021.

Certifiable OutlierRobust Geometric Perception: Exact Semidefinite Relaxations and Scalable Global Optimization. H. Yang and L. Carlone. arXiv:2109.0334 (2021)
Optimal and Robust CategoryLevel Perception: Object Pose and Shape Estimation From 2D and 3D Semantic Keypoints. Jingnan Shi, H. Yang and L. Carlone. IEEE Trans. Robotics 39(5), 2023
 In Computer Graphics: Hexahedral mesh repair via SumofSquares relaxations. Z. Marschner, D. Palmer, P. Zhang, J Solomon, Eurographics Symposium on Geometry Processing 39, No 5, pp. 133147, 2020
 In Geometry Processing: SumofSquares Geometry Processing. Z. Marschner, D. Palmer, P. Zhang, J Solomon, ACM Transactions on Graphics 40 (6), pp. 113, 2021
 In IoT Signal Processing for radar applications: Localization with 1Bit passive radars in Narrow Band IoTapplications using multivariate polynomial optimization, Saeid Sedighi, Kumar Vijay Mishra, Bhavani Shankar M. R., Björn Ottersten (2021), IEEE Transactions on Signal Processing 69, pp. 25252540.
 In Signal Processing for SuperResolution, extending seminal work of Candès & FernandezGranda: Exact solutions to Super Resolution on semialgebraic domains in higher dimensions, De Castro Y, Gamboa F, Henrion D., Lasserre J.B. (2017) , IEEE Trans. Info. Theory 63, pp. 621630, and also:

Low Complexity Beamspace Super Resolution for DOA Estimation of Linear Array, Pan Jie, Fu Jiang, Sensors 20, No 8, 2020.

Sparse signal reconstruction for nonlinear models via piecewise rational optimization, A. Marmin, M. Castella, JC. Pequet, L. Duval, Signal Processing 179, 2021
 In Statistics for Optimal Design: Approximate Optimal Designs for Multivariate Polynomial Regression, De Castro Y, Gamboa F, Henrion D., Hess R., Lasserre J.B. (2019) , Annals of Statistics 47, pp. 125157.
 In Machine Learning for Certification of Robustness for Neural Networks: Lipschitz Constant Estimator of Neural Networks via Sparse Polynomial Optimization, F. Latorre, P. Rolland, V. Cevher, ICLR, December 2020.
 In Physics for bounding groundstate energy of interacting particule systems: Moment methods in energy minimization: New bounds for Riesz minimal energy problems, D. de Laat, Trans. Amer. Math. Soc. 373, pp. 14071453, 2020, and also in Ising models in Bootstrap, Markov chain Monte Carlo, and LP/SDP hierarchy for the lattice Ising model, Minjae Cho and Xin Sun, J. High Energy Physics, 2023
 In Chemistry for deriving bounds on stochastic chemical kinetic systems: Dynamics bounds on stochastic chemical kinetic systems using semidefinite programming, G.R. Dowdy, P. I. Barton, J. Chemical Physics 149, 74103, 2018, and Tighter bounds on transient moments of stochastic chemical systems, F. Holtorf, P. I. Barton, J. Optimization Theory & Applications, 2023
 In Quantum Information for several problems in entanglement theory: Complete hierarchies of efficient approximations to problems in entanglement theory, Jens Eisert, Philipp Hyllus, Otfried Gühne, and Marcos Curty, Physical Review A 70, 062317, 2004, and Ruling out static latent homophily in citation networks, P. Wittek, S. Darany, l G. Nelhans, Scientometrics 110(2), pp. 765777, 2016, Semideviceindependent selftesting of unsharp measurments, N. Miklin, J. Borkala, M. Pawlowski, Physical Review Research 2, pp. 033014, 2020. Correlations constrained by composite measurement, Lukasz Czekaj, Ana Bel´en Sainz, John H. Selby, and Michal Horodecki, PArXiv:2009.04994, 2020. Verifying the output of quantum optimizers groundstate energy lower bounds, F. Bacari, C. Gogolin, P. Wittek and A. Acin, Physical Review Research 2, 043163, 2020.
 In Quantum Science: Mutually unbiaised bases: polynomial optimization and symmetry, S. Gribling and S. Polak, Quantum 8, p. 1318, 2024
 in traffic networks for bounding travel time: Momentbased travel time reliability assessment with Lasserre's relaxation, Xiangfeng Ji, Xuegang (Jeff) Ban, Jian Zhang, Bin Ran, Transportmetrica B: Transport Dynamics 7(1), pp. 401422, 2019
 In models for control of chemo and immunotherapy: Robust Optimal Controlbased Design of Combined ChemoandImmunotherapy Delivery Profile, K. Moussa, M. Fiacchini, M. Alamir, IFAC Papers On Line 5226 (2019), pp. 76–81
 In Engineering for battery fastcharging: Discretisationfree battery fastcharging optimisation using the measuremoment approach, N.E. Courtier, R. Drummond, P. Ascensio, L.D. Couto, D.A. Howey, 2022 European Control Conference (ECC), July 2022, London, UK, pp. 628634, 2022
This approach also permits to obtain (numerically) bounds on measures that satisfy prespecified moment conditions. As a consequence we can apply these techniques to provide upper and lower bounds in several problems of performance evaluation. For instance, for option pricing models in financial mathematics based on diffusions (such as Black and Scholes, OrnsteinUlhenbeck, CoxIngersoll interest models) we may obtain good upper and lower bound on e.g. Asian and Barrier options, and risk theory. See for instance:
 Pricing a class of exotic options via moments and SDP relaxations, J.B. Lasserre, T. PriétoRumeau, M. Zervos, Math. Finance 16, pp. 469494, 2006
 Moment and polynomial bounds for ruinrelated quantities in risk theory, Yue He, Reiichiro Kawai, European J. Operational Research, 2022
 In management of hydropower plants : Structural impact of the startup sequence on Pelton turbines lifetime: Analyticla prediction and polynomial optimization, A.L. Alerci, E. Vagnoni, M. Paolone, Renewable Energy, 2023
 In Optimal Transport :
 MomentSoS methods in optimal transport problems, O. Mula, A. Nouy, Numer. Math. (2024),
 Gaussian mixtures closest to a given measure via optimal transport, J.B. Lasserre, Comptes Rendus Mathématique (2024)
The method is also generic to diffusion type models. It can be also applied (and provides a new methodology) :
 For solving weak formulations of Optimal Control problems and of a class of nonlinear hyperbolic PDEs (e.g. the Burgers equation).
 For solving some problems in computational geometry and probability (e.g. Lebesgue and/or Gaussian volume of semialgebraic sets, Lebesgue decomposition of a measure).
 For modelling chanceconstraints (or probabilistic constraints) and distributionally robust chanceconstraints in control or optimization under uncertainty.
 For SuperResolution in Signal Processing, i.e., to recover a sparse signal (an atomic signed measure) from a few moments.
 For Optimal Design in Statistics,
to cite a few of its applications, some described in the book :
The MomentSOS Hierarchy:
Lectures in Lectures in Probability, Statistics, Computational Geometry, Control and Nonlinear PDEs
by D. Henrion, M. Korda and J.B. Lasserre, World Scientific Publishing, Singapore, 2020.
More generally, we are also interested in all aspects of positivity of polynomials (and even semialgebraic functions) on basic semialgebraic sets, including certificates of positivity with tractable characterization (to be amenable to practical computation).