Publications HAL du labo/EPI LAAS-POP

2024

Article dans une revue

titre
The Christoffel function: Applications, connections and extensions
auteur
Jean-Bernard Lasserre
article
Numerical Algebra, Control and Optimization, In press, ⟨10.3934/naco.2024011⟩
Accès au texte intégral et bibtex
https://laas.hal.science/hal-04488686/file/AIMS-lasserre-revised.pdf BibTex

Ouvrages

titre
Games on Graphs
auteur
Nathanaël Fijalkow, Nathalie Bertrand, Patricia Bouyer, Romain Brenguier, Arnaud Carayol, John Fearnley, Hugo Gimbert, Florian Horn, Rasmus Ibsen-Jensen, Nicolas Markey, Benjamin Monmege, Petr Novotny, Mickael Randour, Ocan Sankur, Sylvain Schmitz, Olivier Serre, Mateusz Skomra
article
pp.1-491, In press, ⟨10.48550/arXiv.2305.10546⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04273394/file/2305.10546.pdf BibTex

Pré-publication, Document de travail

titre
Verifying Properties of Binary Neural Networks Using Sparse Polynomial Optimization
auteur
Jianting Yang, Srećko Ðurašinović, Jean-Bernard Lasserre, Victor Magron, Jun Zhao
article
2024
Accès au bibtex
https://arxiv.org/pdf/2405.17049 BibTex
titre
Evolution of Measures in Nonsmooth Dynamical Systems: Formalisms and Computation
auteur
Saroj Prasad Chhatoi, Aneel Tanwani, Didier Henrion
article
2024
Accès au texte intégral et bibtex
https://hal.science/hal-04570185/file/article.pdf BibTex
titre
A hierarchy of convex relaxations for the total variation distance
auteur
Jean-Bernard Lasserre
article
2024
Accès au texte intégral et bibtex
https://laas.hal.science/hal-04367575/file/TV2-arxiv.pdf BibTex
titre
Slow convergence of the moment-SOS hierarchy for an elementary polynomial optimization problem
auteur
Didier Henrion, Adrien Le Franc, Victor Magron
article
2024
Accès au texte intégral et bibtex
https://hal.science/hal-04500960/file/slow.pdf BibTex
titre
Stability Analysis of Feedback Systems with ReLU Nonlinearities via Semialgebraic Set Representation
auteur
Shingo Nishinaka, Rin Saeki, Tsuyoshi Yuno, Yoshio Ebihara, Victor Magron, Dimitri Peaucelle, Samuele Zoboli, Sophie Tarbouriech
article
2024
Accès au bibtex
https://arxiv.org/pdf/2403.04016 BibTex
titre
Realistic Bell tests with homodyne measurements
auteur
Enky Oudot, Gaël Massé, Xavier Valcarce, Antonio Acín
article
2024
Accès au bibtex
https://arxiv.org/pdf/2402.01530 BibTex
titre
Upper bound hierarchies for noncommutative polynomial optimization
auteur
Igor Klep, Victor Magron, Gaël Massé, Jurij Volčič
article
2024
Accès au bibtex
https://arxiv.org/pdf/2402.02126 BibTex
titre
Induced Norm Analysis of Linear Systems for Nonnegative Input Signals
auteur
Yoshio Ebihara, Noboru Sebe, Hayato Waki, Dimitri Peaucelle, Sophie Tarbouriech, Victor Magron, Tomomichi Hagiwara
article
2024
Accès au bibtex
https://arxiv.org/pdf/2402.01288 BibTex
titre
Set-Valued Koopman Theory for Control Systems
auteur
Benoît Bonnet-Weill, Milan Korda
article
2024
Accès au texte intégral et bibtex
https://hal.science/hal-04408228/file/SetValuedKoopman.pdf BibTex
titre
Solving moment and polynomial optimization problems on Sobolev spaces
auteur
Didier Henrion, Alessandro Rudi
article
2024
Accès au texte intégral et bibtex
https://hal.science/hal-04393205/file/sobolevmoments.pdf BibTex

2023

Article dans une revue

titre
A modified Christoffel function and its asymptotic properties
auteur
Jean-Bernard Lasserre
article
Journal of Approximation Theory, 2023, 295, pp.105955. ⟨10.1016/j.jat.2023.105955⟩
Accès au texte intégral et bibtex
https://laas.hal.science/hal-03949201/file/extension-jat.pdf BibTex
titre
Exploiting ideal-sparsity in the generalized moment problem with application to matrix factorization ranks
auteur
Milan Korda, Monique Laurent, Victor Magron, Andries Steenkamp
article
Mathematical Programming, 2023, 205, pp.703-744. ⟨10.1007/s10107-023-01993-x⟩
Accès au bibtex
https://arxiv.org/pdf/2209.09573 BibTex
titre
Revisiting semidefinite programming approaches to options pricing: complexity and computational perspectives
auteur
Didier Henrion, Felix Kirschner, Etienne de Klerk, Milan Korda, Jean-Bernard Lasserre, Victor Magron
article
INFORMS Journal on Computing, 2023, 35 (2), pp.265-517. ⟨10.1287/ijoc.2022.1220⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03429272/file/options_rev_arxiv_submission.pdf BibTex
titre
Ensemble Approximations for Constrained Dynamical Systems using Liouville Equation
auteur
Marianne Souaiby, Aneel Tanwani, Didier Henrion
article
Automatica, 2023, 149, pp.110836. ⟨10.1016/j.automatica.2022.110836⟩
Accès au texte intégral et bibtex
https://laas.hal.science/hal-03167458/file/singleColVer3.pdf BibTex
titre
Stokes, Gibbs and volume computation of semi-algebraic sets
auteur
Matteo Tacchi, Jean Bernard Lasserre, Didier Henrion
article
Discrete and Computational Geometry, 2023, 69 (1), pp.260-283. ⟨10.1007/s00454-022-00462-0⟩
Accès au texte intégral et bibtex
https://laas.hal.science/hal-02947268/file/stokes.pdf BibTex
titre
Sum of Squares Decompositions of Polynomials over their Gradient Ideals with Rational Coefficients
auteur
Victor Magron, Mohab Safey El Din, Trung-Hieu Vu
article
SIAM Journal on Optimization, 2023, 33 (1), ⟨10.1137/21M1436245⟩
Accès au bibtex
https://arxiv.org/pdf/2107.11825 BibTex
titre
Noncommutative Christoffel-Darboux Kernels
auteur
Serban Belinschi, Victor Magron, Victor Vinnikov
article
Transactions of the American Mathematical Society, 2023, 376, pp.181-230. ⟨10.1090/tran/8648⟩
Accès au bibtex
https://arxiv.org/pdf/2106.06212 BibTex
titre
Volumes of sublevel sets of nonnegative forms and complete monotonicity
auteur
Khazhgali Kozhasov, Jean-Bernard Lasserre
article
SIAM Journal on Applied Algebra and Geometry, 2023, 7 (4), ⟨10.1137/22M1502458⟩
Accès au texte intégral et bibtex
https://laas.hal.science/hal-03693810/file/main.pdf BibTex
titre
Minimal Sparsity for Second-Order Moment-SOS Relaxations of the AC-OPF Problem
auteur
Adrien Le Franc, Victor Magron, Jean-Bernard Lasserre, Manuel Ruiz, Patrick Panciatici
article
IEEE Transactions on Power Systems, 2023, pp.1 - 10. ⟨10.1109/TPWRS.2023.3333691⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04110742/file/minimal_sparsity.pdf BibTex

Communication dans un congrès

titre
Controlling Microgrids Without External Data: A Benchmark of Stochastic Programming Methods
auteur
Alban Puech, Tristan Rigaut, Adrien Le Franc, William Templier, Jean-Christophe Alais, Maud Tournoud, Victor Bossard, Alejandro Yousef, Elena Stolyarova
article
IEEE PES Innovative Smart Grid Technologies Europe (ISGT EUROPE 2023), Oct 2023, Grenoble, France. ⟨10.1109/ISGTEUROPE56780.2023.10407934⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04083666/file/Controlling%20Microgrids%20Without%20External%20Data.pdf BibTex

Chapitre d'ouvrage

titre
Polynomial Optimization, Certificates of Positivity, and Christoffel Function
auteur
Jean-Bernard Lasserre
article
Michal Kočvara; Bernard Mourrain; Cordian Riener. Polynomial Optimization, Moments, and Applications, Springer, pp.1-20, 2023
Accès au texte intégral et bibtex
https://laas.hal.science/hal-04076663/file/poema-HAL-lasserre.pdf BibTex

Ouvrages

titre
Sparse Polynomial Optimization: Theory and Practice
auteur
Victor Magron, Jie Wang
article
World Scientific Press. 2023, Series on Optimization and Its Applications, 978-1-80061-294-5
Accès au bibtex
https://arxiv.org/pdf/2208.11158 BibTex

Pré-publication, Document de travail

titre
Uncertainty Quantification of Set-Membership Estimation in Control and Perception: Revisiting the Minimum Enclosing Ellipsoid
auteur
Yukai Tang, Jean-Bernard Lasserre, Heng Yang
article
2023
Accès au texte intégral et bibtex
https://laas.hal.science/hal-04311534/file/uncertainty-quantif.pdf BibTex
titre
Certifying ground-state properties of many-body systems
auteur
Jie Wang, Jacopo Surace, Irénée Frérot, Benoît Legat, Marc-Olivier Renou, Victor Magron, Antonio Acín
article
2023
Accès au bibtex
https://arxiv.org/pdf/2310.05844 BibTex
titre
Geometry of exactness of moment-SOS relaxations for polynomial optimization
auteur
Didier Henrion
article
2023
Accès au texte intégral et bibtex
https://hal.science/hal-04258249/file/exactness.pdf BibTex
titre
Local Lipschitz Constant Computation of ReLU-FNNs: Upper Bound Computation with Exactness Verification
auteur
Yoshio Ebihara, Xin Dai, Victor Magron, Dimitri Peaucelle, Sophie Tarbouriech
article
2023
Accès au bibtex
https://arxiv.org/pdf/2310.11104 BibTex
titre
The Moment-SOS hierarchy: Applications and related topics
auteur
Jean-Bernard Lasserre
article
2023
Accès au texte intégral et bibtex
https://laas.hal.science/hal-04201167/file/lasserre.pdf BibTex
titre
A real moment-HSOS hierarchy for complex polynomial optimization with real coefficients
auteur
Jie Wang, Victor Magron
article
2023
Accès au bibtex
https://arxiv.org/pdf/2308.14631 BibTex
titre
Symmetry reduction and recovery of trajectories of optimal control problems via measure relaxations
auteur
Nicolas Augier, Didier Henrion, Milan Korda, Victor Magron
article
2023
Accès au bibtex
https://arxiv.org/pdf/2307.03787 BibTex
titre
A Generalized Pell's equation for a class of multivariate orthogonal polynomials
auteur
Jean-Bernard Lasserre, Yuan Xu
article
2023
Accès au texte intégral et bibtex
https://laas.hal.science/hal-04163153/file/BX-revised.pdf BibTex
titre
Sums of squares certificates for polynomial moment inequalities
auteur
Igor Klep, Victor Magron, Jurij Volčič
article
2023
Accès au bibtex
https://arxiv.org/pdf/2306.05761 BibTex
titre
Occupation measure relaxations in variational problems: the role of convexity
auteur
Didier Henrion, Milan Korda, Martin Kružík, Rodolfo Rios-Zertuche
article
2023
Accès au texte intégral et bibtex
https://hal.science/hal-04118080/file/convexcov.pdf BibTex
titre
Correlations constrained by composite measurements
auteur
John H. Selby, Ana Belén Sainz, Victor Magron, Łukasz Czekaj, Michał Horodecki
article
2023
Accès au bibtex
https://arxiv.org/pdf/2009.04994 BibTex
titre
Infinite-dimensional moment-SOS hierarchy for nonlinear partial differential equations
auteur
Didier Henrion, Maria Infusino, Salma Kuhlmann, Victor Vinnikov
article
2023
Accès au texte intégral et bibtex
https://hal.science/hal-04117218/file/heatmom.pdf BibTex
titre
Convergence rates for sums-of-squares hierarchies with correlative sparsity
auteur
Milan Korda, Victor Magron, Rodolfo Rios-Zertuche
article
2023
Accès au bibtex
https://arxiv.org/pdf/2303.14824 BibTex
titre
Peak Estimation of Time Delay Systems using Occupation Measures
auteur
Jared Miller, Milan Korda, Victor Magron, Mario Sznaier
article
2023
Accès au bibtex
https://arxiv.org/pdf/2303.12863 BibTex
titre
Sums of squares representations on singular loci
auteur
Ngoc Hoang Anh Mai, Victor Magron
article
2023
Accès au bibtex
https://arxiv.org/pdf/2303.05081 BibTex
titre
CHEBYSHEV AND EQUILIBRIUM MEASURE VS BERNSTEIN AND LEBESGUE MEASURE
auteur
Jean-Bernard Lasserre
article
2023
Accès au texte intégral et bibtex
https://laas.hal.science/hal-04043186/file/comparison-1.pdf BibTex
titre
Algebraic certificates for the truncated moment problem
auteur
Didier Henrion, Simone Naldi, Mohab Safey El Din
article
2023
Accès au texte intégral et bibtex
https://laas.hal.science/hal-03987123/file/exactmoments.pdf BibTex
titre
POLYNOMIAL ARGMIN FOR RECOVERY AND APPROXIMATION OF MULTIVARIATE DISCONTINUOUS FUNCTIONS
auteur
Didier Henrion, Milan Korda, Jean-Bernard Lasserre
article
2023
Accès au texte intégral et bibtex
https://laas.hal.science/hal-03986252/file/polyargmin.pdf BibTex
titre
Pourchet's theorem in action: decomposing univariate nonnegative polynomials as sums of five squares
auteur
Victor Magron, Przemysław Koprowski, Tristan Vaccon
article
2023
Accès au bibtex
https://arxiv.org/pdf/2302.02202 BibTex
titre
State polynomials: positivity, optimization and nonlinear Bell inequalities
auteur
Igor Klep, Victor Magron, Jurij Volčič, Jie Wang
article
2023
Accès au bibtex
https://arxiv.org/pdf/2301.12513 BibTex
titre
Unsafe Probabilities and Risk Contours for Stochastic Processes using Convex Optimization
auteur
Jared Miller, Matteo Tacchi, Didier Henrion, Mario Sznaier
article
2023
Accès au texte intégral et bibtex
https://hal.univ-grenoble-alpes.fr/hal-04382156/file/2401.00815.pdf BibTex
titre
Gaussian mixtures closest to a given measure via optimal transport
auteur
Jean-Bernard Lasserre
article
2023
Accès au texte intégral et bibtex
https://laas.hal.science/hal-04560365/file/wasser-gauss.pdf BibTex

2022

Article dans une revue

titre
Certifying Global Optimality of AC-OPF Solutions via the CS-TSSOS Hierarchy
auteur
Jie Wang, Victor Magron, Jean-Bernard Lasserre
article
Electric Power Systems Research, 2022, 213, pp.108683. ⟨10.1016/j.epsr.2022.108683⟩
Accès au bibtex
https://arxiv.org/pdf/2109.10005 BibTex
titre
Dimension-free entanglement detection in multipartite Werner states
auteur
Felix Huber, Igor Klep, Victor Magron, Jurij Volčič
article
Communications in Mathematical Physics, 2022, 396, pp.1051-1070. ⟨10.1007/s00220-022-04485-9⟩
Accès au bibtex
https://arxiv.org/pdf/2108.08720 BibTex
titre
Koopman and Perron–Frobenius operators on reproducing kernel Banach spaces
auteur
Masahiro Ikeda, Isao Ishikawa, Corbinian Schlosser
article
Chaos: An Interdisciplinary Journal of Nonlinear Science, 2022, 32 (12), pp.123143. ⟨10.1063/5.0094889⟩
Accès au bibtex
https://arxiv.org/pdf/2203.12231 BibTex
titre
Exploiting constant trace property in large-scale polynomial optimization
auteur
Ngoc Hoang Anh Mai, Jean-Bernard Lasserre, Victor Magron, Jie Wang
article
ACM Transactions on Mathematical Software, 2022, 48 (4), pp.1-39. ⟨10.1145/3555309⟩
Accès au bibtex
https://arxiv.org/pdf/2012.08873 BibTex
titre
A DISINTEGRATION OF THE CHRISTOFFEL FUNCTION
auteur
Jean-Bernard Lasserre
article
Comptes Rendus. Mathématique, 2022, 360, pp.1071--1079. ⟨10.5802/crmath.380⟩
Accès au texte intégral et bibtex
https://laas.hal.science/hal-03624003/file/Cras-disintegration.pdf BibTex
titre
ON THE CHRISTOFFEL FUNCTION AND CLASSIFICATION IN DATA ANALYSIS
auteur
Jean-Bernard Lasserre
article
Comptes Rendus. Mathématique, 2022, 360, pp.919--928. ⟨10.5802/crmath.358⟩
Accès au texte intégral et bibtex
https://laas.hal.science/hal-03620965/file/Cras-classif.pdf BibTex
titre
On the complexity of Putinar-Vasilescu's Positivstellensatz
auteur
Ngoc Hoang Anh Mai, Victor Magron
article
Journal of Complexity, 2022, ⟨10.1016/j.jco.2022.101663⟩
Accès au bibtex
https://arxiv.org/pdf/2104.11606 BibTex
titre
Stability of Linear Systems under Extended Weakly-Hard Constraints
auteur
Nils Vreman, Paolo Pazzaglia, Jie Wang, Victor Magron, Martina Maggio
article
IEEE Control Systems Letters, 2022, 6, pp.2900-2905. ⟨10.1109/LCSYS.2022.3179960⟩
Accès au bibtex
https://arxiv.org/pdf/2101.11312 BibTex
titre
Converging Approximations of Attractors via Almost Lyapunov Functions and Semidefinite Programming
auteur
Corbinian Schlosser
article
IEEE Control Systems Letters, 2022, 6, pp.2912-2917. ⟨10.1109/LCSYS.2022.3180110⟩
Accès au texte intégral et bibtex
https://laas.hal.science/hal-03740699/file/root.pdf BibTex
titre
Optimization on the Euclidean Unit Sphere
auteur
Jean-Bernard Lasserre
article
SIAM Journal on Optimization, 2022, 32 (2), pp.1430--1445. ⟨10.1137/21M1433150⟩
Accès au texte intégral et bibtex
https://laas.hal.science/hal-03291242/file/linear-forms-RR.pdf BibTex
titre
Exploiting Sparsity in Complex Polynomial Optimization
auteur
Jie Wang, Victor Magron
article
Journal of Optimization Theory and Applications, 2022, 192, pp.335-359. ⟨10.1007/s10957-021-01975-z⟩
Accès au bibtex
https://arxiv.org/pdf/2103.12444 BibTex
titre
A sparse version of Reznick's Positivstellensatz
auteur
N. H. A. Mai, Victor Magron, Jean-Bernard Lasserre
article
Mathematics of Operations Research, 2022, ⟨10.1287/moor.2022.1284⟩
Accès au bibtex
https://arxiv.org/pdf/2002.05101 BibTex

Communication dans un congrès

titre
Signed Tropicalizations of Convex Semialgebraic Sets
auteur
Mateusz Skomra
article
Extended Abstracts presented at the 25th International Symposium on Mathematical Theory of Networks and Systems MTNS 2022, Sep 2022, Bayreuth, Germany. pp.697-700, ⟨10.15495/EPub_UBT_00006809⟩
Accès au texte intégral et bibtex
https://laas.hal.science/hal-04273455/file/MTNS22_final_submission.pdf BibTex
titre
Optimization of Polynomials with Sparsity Encoded in a Few Linear Forms
auteur
Jean-Bernard Lasserre
article
25th International Symposium on Mathematical Theory of Networks and Systems (MTNS 2022), Sep 2022, Beyreuth, Germany. pp.383-387
Accès au texte intégral et bibtex
https://laas.hal.science/hal-03628891/file/few-lin.pdf BibTex
titre
L 2+ Induced Norm Analysis of Continuous-Time LTI Systems Using Positive Filters and Copositive Programming
auteur
Yoshio Ebihara, Hayato Waki, Noboru Sebe, Victor Magron, Dimitri Peaucelle, Sophie Tarbouriech
article
European Control Conference (ECC 2022), Jul 2022, Londres, United Kingdom. ⟨10.23919/ECC55457.2022.9838085⟩
Accès au texte intégral et bibtex
https://laas.hal.science/hal-03740522/file/YHNVDS-ecc22.pdf BibTex

Pré-publication, Document de travail

titre
Tractable hierarchies of convex relaxations for polynomial optimization on the nonnegative orthant
auteur
Ngoc Hoang Anh Mai, Victor Magron, Jean-Bernard Lasserre, Kim-Chuan Toh
article
2022
Accès au bibtex
https://arxiv.org/pdf/2209.06175 BibTex
titre
Signed tropical halfspaces and convexity
auteur
Georg Loho, Mateusz Skomra
article
2022
Accès au texte intégral et bibtex
https://laas.hal.science/hal-03765509/file/main.pdf BibTex
titre
Optimal bounds for bit-sizes of stationary distributions in finite Markov chains
auteur
Mateusz Skomra
article
2022
Accès au texte intégral et bibtex
https://laas.hal.science/hal-03765666/file/main.pdf BibTex
titre
Urysohn in action: separating semialgebraic sets by polynomials
auteur
Milan Korda, Jean-Bernard Lasserre, Alexey Lazarev, Victor Magron, Simone Naldi
article
2022
Accès au bibtex
https://arxiv.org/pdf/2207.00570 BibTex
titre
Time-Varying Semidefinite Programming: Geometry of the Trajectory of Solutions
auteur
Antonio Bellon, Didier Henrion, Vyacheslav Kungurtsev, Jakub Mareček
article
2022
Accès au texte intégral et bibtex
https://hal.science/hal-03196925/file/main.pdf BibTex
titre
Tractable semidefinite bounds of positive maximal singular values
auteur
Victor Magron, Ngoc Hoang Anh Mai, Yoshio Ebihara, Hayato Waki
article
2022
Accès au bibtex
https://arxiv.org/pdf/2202.08731 BibTex

2021

Pré-publication, Document de travail

titre
Exploiting Term Sparsity in Moment-SOS hierarchy for Dynamical Systems
auteur
Victor Magron, Jie Wang, Corbinian Schlosser, Milan Korda
article
2021
Accès au bibtex
https://arxiv.org/pdf/2111.08347 BibTex
titre
Noncommutative Polynomial Optimization
auteur
Abhishek Bhardwaj, Igor Klep, Victor Magron
article
2021
Accès au bibtex
https://arxiv.org/pdf/2109.00786 BibTex
titre
A hierarchy of spectral relaxations for polynomial optimization
auteur
Ngoc Hoang Anh Mai, Victor Magron, Jean-Bernard Lasserre
article
2021
Accès au bibtex
https://arxiv.org/pdf/2007.09027 BibTex

2020

Pré-publication, Document de travail

titre
Sparse moment-sum-of-squares relaxations for nonlinear dynamical systems with guaranteed convergence
auteur
Corbinian Schlosser, Milan Korda
article
2020
Accès au texte intégral et bibtex
https://hal.science/hal-03059465/file/sparse.pdf BibTex
titre
Peak Estimation and Recovery with Occupation Measures
auteur
Jared Miller, Didier Henrion, Mario Sznaier
article
2020
Accès au texte intégral et bibtex
https://hal.science/hal-02937464/file/main.pdf BibTex
titre
CS-TSSOS: Correlative and term sparsity for large-scale polynomial optimization
auteur
Jie Wang, Victor Magron, Jean B Lasserre, Ngoc Hoang Anh Mai
article
2020
Accès au bibtex
https://arxiv.org/pdf/2005.02828 BibTex

2001

Article dans une revue

titre
Rank-one LMI approach to stability of 2-D polynomial matrices
auteur
Didier Henrion, Michael Sebek, Olivier Bachelier
article
Multidimensional Systems and Signal Processing, 2001, 12 (1), pp.33-48. ⟨10.1023/A:1008464726878⟩
Accès au bibtex
BibTex