Publications HAL du projet européen 813211

2024

Journal articles

titre
Computing roadmaps in unbounded smooth real algebraic sets I: connectivity results
auteur
Rémi Prébet, Mohab Safey El Din, Éric Schost
article
Journal of Symbolic Computation, 2024, 120, pp.102234. ⟨10.1016/j.jsc.2023.102234⟩
Accès au texte intégral et bibtex
https://hal.sorbonne-universite.fr/hal-03508000/file/rmconnect.pdf BibTex
titre
On the degree of varieties of sum of squares
auteur
Andrew Ferguson, Giorgio Ottaviani, Mohab Safey El Din, Ettore Turatti
article
Journal of Pure and Applied Algebra, In press
Accès au texte intégral et bibtex
https://hal.sorbonne-universite.fr/hal-03698213/file/Firenze_Paris.pdf BibTex
titre
Degree Bounds for Putinar's Positivstellensatz on the hypercube
auteur
Lorenzo Baldi, Lucas Slot
article
SIAM Journal on Applied Algebra and Geometry, 2024, 8 (1), pp.1-25. ⟨10.1137/23M1555430⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04003633/file/putinar_hypercube.pdf BibTex

Preprints, Working Papers, ...

titre
Convergence rates for the moment-SoS hierarchy
auteur
Corbinian Schlosser, Matteo Tacchi, Alexey Lazarev
article
2024
Accès au texte intégral et bibtex
https://hal.univ-grenoble-alpes.fr/hal-04430952/file/rates.pdf BibTex

2023

Journal articles

titre
A Signature-based Algorithm for Computing the Nondegenerate Locus of a Polynomial System
auteur
Christian Eder, Pierre Lairez, Rafael Mohr, Mohab Safey El Din
article
Journal of Symbolic Computation, 2023, 119, pp.1-21. ⟨10.1016/j.jsc.2023.02.001⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03590675/file/sgb_nondegen.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
Computing critical points for invariant algebraic systems
auteur
Jean-Charles Faugère, George Labahn, Mohab Safey El Din, Éric Schost, Thi Xuan Vu
article
Journal of Symbolic Computation, 2023, 116, pp.365-399. ⟨10.1016/j.jsc.2022.10.002⟩
Accès au texte intégral et bibtex
https://hal.sorbonne-universite.fr/hal-02927636/file/hal-critpoint-main.pdf BibTex
titre
An effective version of Schmüdgen’s Positivstellensatz for the hypercube
auteur
Monique Laurent, Lucas Slot
article
Optimization Letters, 2023, 17 (3), pp.515-530. ⟨10.1007/s11590-022-01922-5⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04089812/file/s11590-022-01922-5-1.pdf 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
SONC Optimization and Exact Nonnegativity Certificates via Second-Order Cone Programming
auteur
Victor Magron, Jie Wang
article
Journal of Symbolic Computation, 2023, 115, pp.346-370. ⟨10.1016/j.jsc.2022.08.002⟩
Accès au bibtex
https://arxiv.org/pdf/2012.07903 BibTex
titre
Convex scalarizations of the mean-variance-skewness-kurtosis problem in portfolio selection
auteur
Andries Steenkamp
article
Journal of Portfolio Management, 2023
Accès au bibtex
https://arxiv.org/pdf/2302.10573 BibTex
titre
Sum-of-squares hierarchies for binary polynomial optimization
auteur
Lucas Slot, Monique Laurent
article
Mathematical Programming, 2023, 197 (2), pp.621-660. ⟨10.1007/s10107-021-01745-9⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04088837/file/2011.04027.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

Conference papers

titre
Fast Algorithms for Discrete Differential Equations
auteur
Alin Bostan, Hadrien Notarantonio, Mohab Safey El Din
article
ISSAC 2023 - 48th International Symposium on Symbolic and Algebraic Computation, Jul 2023, Tromso, Norvège, Norway
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03978089/file/reviewed_BoNoSa2023--HAL-ARXIV.pdf BibTex

Book sections

titre
Symmetries in polynomial optimization
auteur
Philippe Moustrou, Cordian Riener, Hugues Verdure
article
Michal Kočvara; Bernard Mourrain; Cordian Riener. Polynomial Optimization, Moments, and Applications, Springer, pp.47-98, In press, ⟨10.48550/arXiv.2305.05219⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04099322/file/2305.05219.pdf BibTex
titre
Matrix factorization ranks via polynomial optimization
auteur
Andries Steenkamp
article
Michal Kočvara; Bernard Mourrain; Cordian Riener. Polynomial Optimization, Moments, and Applications, Springer, pp.135-162, 2023, ⟨10.48550/arXiv.2302.09994⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-04081571/file/2302.09994.pdf BibTex
titre
Assessing Safety for Control Systems Using Sum-of-Squares Programming
auteur
Han Wang, Kostas Margellos, Antonis Papachristodoulou
article
Michal Kočvara; Bernard Mourrain; Cordian Riener. Polynomial Optimization, Moments, and Applications, Springer, pp.187-214, In press
Accès au texte intégral et bibtex
https://hal.science/hal-04085455/file/POEMA_WMP.pdf BibTex
titre
Relative entropy methods in constrained polynomial and signomial optimization
auteur
Thorsten Theobald
article
Michal Kočvara; Bernard Mourrain; Cordian Riener. Polynomial Optimization, Moments, and Applications, Springer, pp.21-46, In press
Accès au texte intégral et bibtex
https://hal.science/hal-04097069/file/amgm-survey.pdf BibTex
titre
Polynomial optimization in geometric modeling
auteur
Soodeh Habibi, Michal Kočvara, Bernard Mourrain
article
Michal Kočvara; Bernard Mourrain; Cordian Riener. Polynomial Optimization, Moments, and Applications, Springer, pp.163-186, In press
Accès au texte intégral et bibtex
https://hal.science/hal-04081849/file/Polynomial_optimization_in_geometric_modeling.pdf BibTex
titre
Polynomial Equations: Theory and Practice
auteur
Simon Telen
article
Michal Kočvara; Bernard Mourrain; Cordian Riener. Polynomial Optimization, Moments, and Applications, Springer, pp.215-240, In press, ⟨10.48550/arXiv.2210.04939⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04076672/file/workshop_CWI-6.pdf BibTex
titre
Copositive matrices, sums of squares and the stability number of a graph
auteur
Luis Felipe Vargas, Monique Laurent
article
Michal Kočvara; Bernard Mourrain; Cordian Riener. Polynomial Optimization, Moments, and Applications, Springer, pp.99-132, In press
Accès au texte intégral et bibtex
https://hal.science/hal-04087992/file/chaper-SOS-cop-Vargas-Laurent.pdf BibTex
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

Habilitation à diriger des recherches

titre
Contributions to polynomial system solving: Recurrences and Gröbner bases
auteur
Jérémy Berthomieu
article
Symbolic Computation [cs.SC]. Sorbonne Université, 2023
Accès au texte intégral et bibtex
https://hal.sorbonne-universite.fr/tel-04289532/file/hdr_berthomieu%20%281%29.pdf BibTex

Other publications

titre
The Wonderful Geometry of the Vandermonde map
auteur
Jose Acevedo, Grigoriy Blekherman, Sebastian Debus, Cordian Riener
article
2023
Accès au bibtex
https://arxiv.org/pdf/2303.09512 BibTex
titre
Semidefinite approximations for bicliques and biindependent pairs
auteur
Monique Laurent, Sven Polak, Luis Felipe Vargas
article
2023
Accès au bibtex
https://arxiv.org/pdf/2302.08886 BibTex

Books

titre
Polynomial Optimization, Moments, and Applications
auteur
Michal Kočvara, Bernard Mourrain, Cordian Riener
article
Springer. Springer, 206, pp.258, 2023, SOIA. Springer Optimization and Its Applications, 978-3-031-38658-9
Accès au bibtex
BibTex
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

Preprints, Working Papers, ...

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
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
A predictor-corrector algorithm for semidefinite programming that uses the factor width cone
auteur
Felix Kirschner, Etienne de Klerk
article
2023
Accès au bibtex
https://arxiv.org/pdf/2301.06368 BibTex
titre
New efficient algorithms for computing Gröbner bases of saturation ideals (F4SAT) and colon ideals (Sparse-FGLM-colon)
auteur
Jérémy Berthomieu, Christian Eder, Mohab Safey El Din
article
2023
Accès au texte intégral et bibtex
https://hal.sorbonne-universite.fr/hal-03590430/file/new_saturation.pdf BibTex
titre
Construction of multivariate polynomial approximation kernels via semidefinite programming
auteur
Felix Kirschner, Etienne de Klerk
article
2023
Accès au bibtex
https://arxiv.org/pdf/2203.05892 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
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
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
Solving Lasserre relaxations of unconstrained binary quadratic optimization problems by an interior-point method
auteur
Soodeh Habibi, Michal Kočvara, Michael Stingl
article
2023
Accès au texte intégral et bibtex
https://hal.science/hal-04076510/file/main.pdf BibTex
titre
Loraine - An interior-point solver for low-rank semidefinite programming
auteur
Soodeh Habibi, Michal Kočvara, Michael Stingl
article
2023
Accès au texte intégral et bibtex
https://hal.science/hal-04076509/file/Loraine_paper.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
Optimization of trigonometric polynomials with crystallographic symmetry and spectral bounds for set avoiding graphs
auteur
Evelyne Hubert, Tobias Metzlaff, Philippe Moustrou, Cordian Riener
article
2023
Accès au texte intégral et bibtex
https://hal.science/hal-03768067/file/trigonometric.pdf 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
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
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

2022

Journal articles

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
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
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
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
On the exactness of sum-of-squares approximations for the cone of 5 × 5 copositive matrices
auteur
Monique Laurent, Luis Felipe Vargas
article
Linear Algebra and its Applications, 2022, 651, pp.26-50. ⟨10.1016/j.laa.2022.06.015⟩
Accès au bibtex
BibTex
titre
On the Effective Putinar’s Positivstellensatz and Moment Approximation
auteur
Lorenzo Baldi, Bernard Mourrain
article
Mathematical Programming, Series A, 2022, ⟨10.1007/s10107-022-01877-6⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03437328/file/effective_putinar.pdf BibTex
titre
Bounding the separable rank via polynomial optimization
auteur
Sander Gribling, Monique Laurent, Andries Steenkamp
article
Linear Algebra and its Applications, 2022, 648, pp.1-55. ⟨10.1016/j.laa.2022.04.010⟩
Accès au bibtex
https://arxiv.org/pdf/2109.14494 BibTex
titre
A certified iterative method for isolated singular roots
auteur
Angelos Mantzaflaris, Bernard Mourrain, Agnes Szanto
article
Journal of Symbolic Computation, 2022, 115, pp.223-247. ⟨10.1016/j.jsc.2022.08.006⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03079910/file/paper-ext.pdf BibTex
titre
Gröbner bases and critical values: The asymptotic combinatorics of determinantal systems
auteur
Jérémy Berthomieu, Alin Bostan, Andrew Ferguson, Mohab Safey El Din
article
Journal of Algebra, 2022, 602, pp.154-180. ⟨10.1016/j.jalgebra.2022.03.002⟩
Accès au texte intégral et bibtex
https://hal.sorbonne-universite.fr/hal-03214157/file/CombDetv2.pdf BibTex
titre
Guessing Gröbner Bases of Structured Ideals of Relations of Sequences
auteur
Jérémy Berthomieu, Mohab Safey El Din
article
Journal of Symbolic Computation, 2022, 111, pp.1-26. ⟨10.1016/j.jsc.2021.11.001⟩
Accès au texte intégral et bibtex
https://hal.sorbonne-universite.fr/hal-02935550/file/structured_recurrences.pdf BibTex
titre
Globally Optimal Solution to Inverse Kinematics of 7DOF Serial Manipulator
auteur
Pavel Trutman, Mohab Safey El Din, Didier Henrion, Tomas Pajdla
article
IEEE Robotics and Automation Letters, 2022, 7 (3), pp.6012 - 6019. ⟨10.1109/LRA.2022.3163444⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02905816/file/main.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
Computing totally real hyperplane sections and linear series on algebraic curves
auteur
Huu Phuoc Le, Dimitri Manevich, Daniel Plaumann
article
Le Matematiche, 2022, 77 (1), pp.119-141. ⟨10.4418/2022.77.1.7⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03283378/file/hyperplanesections.pdf BibTex
titre
The span of singular tuples of a tensor beyond the boundary format
auteur
Luca Sodomaco, Ettore Teixeira Turatti
article
Journal of Symbolic Computation, 2022, 120, pp.102230. ⟨10.1016/j.jsc.2023.102230⟩
Accès au bibtex
https://arxiv.org/pdf/2206.08606 BibTex
titre
On the Nonemptiness and Boundedness of Solution Sets of Weakly Homogeneous Optimization Problems
auteur
Trung-Hieu Vu
article
Set-Valued and Variational Analysis, 2022, 30 (3), pp.1105-1116. ⟨10.1007/s11228-022-00637-0⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03654665/file/WHOP.pdf 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
On tensors that are determined by their singular tuples
auteur
Ettore Turatti
article
SIAM Journal on Applied Algebra and Geometry, 2022, 6 (2), pp.319-338. ⟨10.1137/21M1412980⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03193911/file/Eigenschemefinal.pdf BibTex
titre
T-orbit spaces of multiplicative actions and applications
auteur
Evelyne Hubert, Tobias Metzlaff, Philippe Moustrou, Cordian Riener
article
ACM Communications in Computer Algebra, 2022, 56 (2), pp.72-75. ⟨10.1145/3572867.3572879⟩
Accès au bibtex
BibTex
titre
Polynomial-Division-Based Algorithms for Computing Linear Recurrence Relations
auteur
Jérémy Berthomieu, Jean-Charles Faugère
article
Journal of Symbolic Computation, 2022, 109, pp.1-30. ⟨10.1016/j.jsc.2021.07.002⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01935229/file/main.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 Sublevel Moment-SOS Hierarchy for Polynomial Optimization
auteur
Tong Chen, Jean-Bernard Lasserre, Victor Magron, Edouard Pauwels
article
Computational Optimization and Applications, 2022, 81 (1), pp.31-66. ⟨10.1007/s10589-021-00325-z⟩
Accès au bibtex
https://arxiv.org/pdf/2101.05167 BibTex
titre
Finite convergence of sum-of-squares hierarchies for the stability number of a graph
auteur
Monique Laurent, Luis Felipe Vargas Beltran
article
SIOPT, 2022
Accès au texte intégral et bibtex
https://hal.science/hal-03170822/file/Luis.pdf BibTex
titre
Solving parametric systems of polynomial equations over the reals through Hermite matrices
auteur
Huu Phuoc Le, Mohab Safey El Din
article
Journal of Symbolic Computation, In press, 112, pp.25-61. ⟨10.1016/j.jsc.2021.12.002⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03029441/file/mainRRC.pdf 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

Conference papers

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
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
titre
Deciding Cuspidality of Manipulators through Computer Algebra and Algorithms in Real Algebraic Geometry
auteur
Damien Chablat, Rémi Prébet, Mohab Safey El Din, Durgesh Salunkhe, Philippe Wenger
article
ISSAC 2022 - 47th International Symposium on Symbolic and Algebraic Computation, Jul 2022, Lille, France. ⟨10.1145/3476446.3535477⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03596704/file/main.pdf BibTex
titre
Faster change of order algorithm for Gröbner bases under shape and stability assumptions
auteur
Jérémy Berthomieu, Vincent Neiger, Mohab Safey El Din
article
2022 International Symposium on Symbolic and Algebraic Computation, Jul 2022, Lille, France. ⟨10.1145/3476446.3535484⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03580736/file/fast-change-of-order.pdf BibTex
titre
Finer Complexity Estimates for the Change of Ordering of Gröbner Bases for Generic Symmetric Determinantal Ideals
auteur
Andrew Ferguson, Huu Phuoc Le
article
International Symposium on Symbolic and Algebraic Computation (ISSAC '22), Jul 2022, Villeneuve-d'Ascq, France. pp.9, ⟨10.1145/3476446.3536182⟩
Accès au texte intégral et bibtex
https://hal.sorbonne-universite.fr/hal-03573833/file/symdet.pdf BibTex
titre
Algorithms for discrete differential equations of order 1
auteur
Alin Bostan, Frédéric Chyzak, Hadrien Notarantonio, Mohab Safey El Din
article
ISSAC 2022 - 47th International Symposium on Symbolic and Algebraic Computation, Jul 2022, Lille, France. pp.101-110
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03616406/file/BoChNoSa22-hal-v2.pdf BibTex
titre
Exact SOHS Decompositions of Trigonometric Univariate Polynomials with Gaussian Coefficients
auteur
Victor Magron, Mohab Safey El Din, Markus Schweighofer, Trung Hieu Vu
article
International Symposium on Symbolic and Algebraic Computation (ISSAC), Jul 2022, Lille, France
Accès au bibtex
https://arxiv.org/pdf/2202.06544 BibTex

Master thesis

titre
The Christoffel function for supervised learning: theory and practice
auteur
Srećko Ðurašinović
article
Machine Learning [stat.ML]. 2022
Accès au texte intégral et bibtex
https://laas.hal.science/hal-03768886/file/The%20CF%20for%20supervised%20learning.pdf BibTex

Other publications

titre
Converging approximations of attractors via almost Lyapunov functions and semidefinite programming
auteur
Corbinian Schlosser
article
2022
Accès au bibtex
https://arxiv.org/pdf/2203.02806 BibTex

Theses

titre
Certified Polynomial Optimization Based on Exact Sum of Squares Decompositions
auteur
Trung-Hieu Vu
article
Mathematics [math]. Sorbonne Université, 2022. English. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://hal.science/tel-04175459/file/VU_Trung_Hieu_these_2022.pdf BibTex

Preprints, Working Papers, ...

titre
On Łojasiewicz Inequalities and the Effective Putinar's Positivstellensatz
auteur
Lorenzo Baldi, Bernard Mourrain, Adam Parusinski
article
2022
Accès au texte intégral et bibtex
https://hal.science/hal-03899373/file/main.pdf BibTex
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
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
The poset of Specht ideals for hyperoctahedral groups
auteur
Sebastian Debus, Philippe Moustrou, Cordian Riener, Hugues Verdure
article
2022
Accès au bibtex
https://arxiv.org/pdf/2206.08925 BibTex
titre
Exact Moment Representation in Polynomial Optimization
auteur
Lorenzo Baldi, Bernard Mourrain
article
2022
Accès au texte intégral et bibtex
https://hal.science/hal-03082531/file/exact_baldi_mourrain.pdf BibTex
titre
Faster algorithms for computing real isolated points of an algebraic hypersurface
auteur
Huu Phuoc Le
article
2022
Accès au texte intégral et bibtex
https://hal.science/hal-03590187/file/mainiso.pdf BibTex
titre
Computing the set of asymptotic critical values of polynomial mappings from smooth algebraic sets
auteur
Jérémy Berthomieu, Andrew Ferguson, Mohab Safey El Din
article
2022
Accès au texte intégral et bibtex
https://hal.sorbonne-universite.fr/hal-03598352/file/main.pdf BibTex
titre
Orbit spaces of Weyl groups acting on compact tori: a unified and explicit polynomial description
auteur
Evelyne Hubert, Tobias Metzlaff, Cordian Riener
article
2022
Accès au texte intégral et bibtex
https://hal.science/hal-03590007/file/Hermite.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

Journal articles

titre
Converging outer approximations to global attractors using semidefinite programming
auteur
Corbinian Schlosser, Milan Korda
article
Automatica, 2021, 134, pp.109900. ⟨10.1016/j.automatica.2021.109900⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02709820/file/Global_Attractor_arxiv.pdf BibTex
titre
On Exact Reznick, Hilbert-Artin and Putinar's Representations
auteur
Victor Magron, Mohab Safey El Din
article
Journal of Symbolic Computation, 2021, 107, pp.221-250. ⟨10.1016/j.jsc.2021.03.005⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01935727/file/S0747717121000249.pdf BibTex
titre
Optimization over trace polynomials
auteur
Igor Klep, Victor Magron, Jurij Volčič
article
Annales Henri Poincaré, 2021, ⟨10.1007/s00023-021-01095-4⟩
Accès au bibtex
https://arxiv.org/pdf/2006.12510 BibTex
titre
On the solution existence and stability of polynomial optimization problems
auteur
Trung-Hieu Vu
article
Optimization Letters, 2021, ⟨10.1007/s11590-021-01788-z⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03002431/file/POP_210714.pdf BibTex
titre
Exploiting term sparsity in Noncommutative Polynomial Optimization
auteur
Jie Wang, Victor Magron
article
Computational Optimization and Applications, 2021, 80, pp.483-521. ⟨10.1007/s10589-021-00301-7⟩
Accès au bibtex
https://arxiv.org/pdf/2010.06956 BibTex
titre
Minimizing rational functions: a hierarchy of approximations via pushforward measures
auteur
Jean-Bernard Lasserre, Victor Magron, Swann Marx, Olivier Zahm
article
SIAM Journal on Optimization, 2021, 31 (3), pp.2285-2306. ⟨10.1137/20M138541X⟩
Accès au bibtex
https://arxiv.org/pdf/2012.05793 BibTex
titre
Towards fast one-block quantifier elimination through generalised critical values
auteur
Jérémy Berthomieu, Andrew Ferguson, Mohab Safey El Din
article
ACM Communications in Computer Algebra, In press, 54 (3), pp.109-113. ⟨10.1145/3457341.3457348⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02929626/file/abstract.pdf BibTex
titre
Chordal-TSSOS: a moment-SOS hierarchy that exploits term sparsity with chordal extension
auteur
Jie Wang, Victor Magron, Jean-Bernard Lasserre
article
SIAM Journal on Optimization, 2021, ⟨10.1137/20M1323564⟩
Accès au bibtex
https://arxiv.org/pdf/2003.03210 BibTex
titre
Computing real radicals and S-radicals of polynomial systems
auteur
Mohab Safey El Din, Zhi-Hong Yang, Lihong Zhi
article
Journal of Symbolic Computation, 2021, 102, pp.259-278. ⟨10.1016/j.jsc.2019.10.018⟩
Accès au bibtex
BibTex
titre
TSSOS: A Moment-SOS hierarchy that exploits term sparsity
auteur
Jie Wang, Victor Magron, Jean-Bernard Lasserre
article
SIAM Journal on Optimization, 2021, 31 (1), pp.30--58. ⟨10.1137/19M1307871⟩
Accès au bibtex
https://arxiv.org/pdf/1912.08899 BibTex
titre
Homotopy techniques for solving sparse column support determinantal polynomial systems
auteur
George Labahn, Mohab Safey El Din, Éric Schost, Thi Xuan Vu
article
Journal of Complexity, 2021, 66, pp.101557. ⟨10.1016/j.jco.2021.101557⟩
Accès au texte intégral et bibtex
https://hal.sorbonne-universite.fr/hal-02927630/file/hal-column-support-main.pdf BibTex

Conference papers

titre
Stability Analysis of Recurrent Neural Networks by IQC with Copositive Mutipliers
auteur
Victor Magron, Yoshio Ebihara, Hayato Waki, Ngoc Hoang Anh Mai, Dimitri Peaucelle, Sophie Tarbouriech
article
Control and Decision Conference (CDC) 2021, Dec 2021, Austin, United States
Accès au bibtex
https://arxiv.org/pdf/2202.04592 BibTex
titre
msolve: A Library for Solving Polynomial Systems
auteur
Jérémy Berthomieu, Christian Eder, Mohab Safey El Din
article
2021 International Symposium on Symbolic and Algebraic Computation, Jul 2021, Saint Petersburg, Russia. pp.51-58, ⟨10.1145/3452143.3465545⟩
Accès au texte intégral et bibtex
https://hal.sorbonne-universite.fr/hal-03191666/file/main.pdf BibTex
titre
The Constant Trace Property in Noncommutative Optimization
auteur
Ngoc Hoang Anh Mai, Abhishek Bhardwaj, Victor Magron
article
International Symposium on Symbolic and Algebraic Computation, Jul 2021, Saint Petersbourg, Russia. ⟨10.1145/3452143.3465516⟩
Accès au bibtex
https://arxiv.org/pdf/2102.02162 BibTex
titre
Computing real radicals by moment optimization
auteur
Lorenzo Baldi, Bernard Mourrain
article
ISSAC 2021 - 46th International Symposium on Symbolic and Algebraic Computation, Jul 2021, Saint-Pétersbourg, Russia. ⟨10.1145/3452143.3465541⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03145501/file/paper.pdf BibTex
titre
Faster One Block Quantifier Elimination for Regular Polynomial Systems of Equations
auteur
Huu Phuoc Le, Mohab Safey El Din
article
International Symposium on Symbolic and Algebraic Computation 2021 (ISSAC '21), Jul 2021, Saint Petersburg, Russia. pp.265-272, ⟨10.1145/3452143.3465546⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03180730/file/main.pdf BibTex
titre
Computing the dimension of real algebraic sets
auteur
Pierre Lairez, Mohab Safey El Din
article
ISSAC 2021 - 46th International Symposium on Symbolic and Algebraic Computation, Jul 2021, Saint-Pétersbourg, Russia. pp.257-264, ⟨10.1145/3452143.3465551⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03232068/file/real-algebraic-dimension.pdf BibTex
titre
Polynomial optimization based schemes for solving AC Optimal Power Flow problems
auteur
Edgar Fuentes, Bernard Mourrain, Michaël Gabay
article
EURO 2021, Jul 2021, Athens, Greece
Accès au bibtex
BibTex
titre
TSSOS: a Julia library to exploit sparsity for large-scale polynomial optimization
auteur
Victor Magron, Jie Wang
article
Effective Methods in Algebraic Geometry, Jun 2021, Tromso, Norway
Accès au bibtex
https://arxiv.org/pdf/2103.00915 BibTex
titre
SparseJSR: A Fast Algorithm to Compute Joint Spectral Radius via Sparse SOS Decompositions
auteur
Jie Wang, Martina Maggio, Victor Magron
article
2021 American Control Conference (ACC), May 2021, New Orleans, United States. ⟨10.23919/ACC50511.2021.9483347⟩
Accès au bibtex
https://arxiv.org/pdf/2008.11441 BibTex

Other publications

titre
Sparsity structures for Koopman operators
auteur
Corbinian Schlosser, Milan Korda
article
2021
Accès au bibtex
https://arxiv.org/pdf/2112.10887 BibTex
titre
Minimum cross-entropy distributions on Wasserstein balls and their applications
auteur
Luis Felipe Vargas, Mauricio Velasco
article
2021
Accès au bibtex
https://arxiv.org/pdf/2106.03226 BibTex

Preprints, Working Papers, ...

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
Barrier and penalty methods for low-rank semidefinite programming with application to truss topology design
auteur
Soodeh Habibi, Arefeh Kavand, Michal Kocvara, Michael Stingl
article
2021
Accès au bibtex
https://arxiv.org/pdf/2105.08529 BibTex
titre
On the computation of asymptotic critical values of polynomial maps and applications
auteur
Jérémy Berthomieu, Andrew Ferguson, Mohab Safey El Din
article
2021
Accès au texte intégral et bibtex
https://hal.sorbonne-universite.fr/hal-03188279/file/main.pdf BibTex
titre
CONVERGENCE RATES OF RLT AND LASSERRE-TYPE HIERARCHIES FOR THE GENERALIZED MOMENT PROBLEM OVER THE SIMPLEX AND THE SPHERE
auteur
Felix Kirschner, Etienne de Klerk
article
2021
Accès au texte intégral et bibtex
https://hal.science/hal-03170812/file/Felix.pdf 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

Journal articles

titre
Optimizing hypergraph-based polynomials modeling job-occupancy in queueing with redundancy scheduling
auteur
Monique Laurent, Andries Steenkamp, Daniel Brosch
article
SIAM Journal on Control and Optimization, 2020
Accès au texte intégral et bibtex
https://hal.science/hal-03141433/file/Optimizing%20hypergraph-based%20polynomials%20modeling%20job-occupancy%20in%20queueing%20with%20redundancy%20scheduling.pdf BibTex
titre
Computing the Hausdorff boundary measure of semi-algebraic sets
auteur
Jean-Bernard Lasserre, Victor Magron
article
SIAM Journal on Applied Algebra and Geometry, 2020, 4 (3), pp.441-469. ⟨10.1137/20M1314392⟩
Accès au bibtex
https://arxiv.org/pdf/2001.07598 BibTex
titre
Computing controlled invariant sets from data using convex optimization
auteur
Milan Korda
article
SIAM Journal on Control and Optimization, 2020, 58 (5), pp.2871-2899. ⟨10.1137/19M1305835⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02398027/file/MCI_data.pdf BibTex
titre
Decomposition of arrow type positive semidefinite matrices with application to topology optimization
auteur
Michal Kočvara
article
Mathematical Programming, 2020, ⟨10.1007/s10107-020-01526-w⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03133908/file/Kocvara_MPA_revision2.pdf BibTex
titre
Cooperativity, absolute interaction, and algebraic optimization
auteur
Nidhi Kaihnsa, Yue Ren, Mohab Safey El Din, Johannes W R Martini
article
Journal of Mathematical Biology, In press, ⟨10.1007/s00285-020-01540-8⟩
Accès au texte intégral et bibtex
https://hal.sorbonne-universite.fr/hal-02925505/file/interaction.pdf BibTex
titre
Two remarks on sums of squares with rational coefficients.
auteur
Jose Capco, Claus Scheiderer
article
Banach Center Publications, 2020, 121, pp.25-36. ⟨10.4064/bc121-2⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03141517/file/02Scheiderer.pdf BibTex

Conference papers

titre
Semialgebraic Optimization for Lipschitz Constants of ReLU Networks
auteur
Tong Chen, Jean-Bernard Lasserre, Victor Magron, Edouard Pauwels
article
Conference on Neural Information Processing Systems, Dec 2020, Vancouver, Canada
Accès au bibtex
https://arxiv.org/pdf/2002.03657 BibTex
titre
Computation of free non-commutative Gröbner Bases over Z with Singular:Letterplace
auteur
Viktor Levandovskyy, Tobias Metzlaff, Karim Abou Zeid
article
ISSAC 2020 - International Symposium on Symbolic and Algebraic Computation, Jul 2020, Kalamata, Greece. ⟨10.1145/3373207.3404052⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02496535/file/Computation%20of%20free%20non-commutative%20GB%20with%20LP.pdf BibTex
titre
Punctual Hilbert Schemes and Certified Approximate Singularities
auteur
Angelos Mantzaflaris, Bernard Mourrain, Agnes Szanto
article
ISSAC 2020 - International Symposium on Symbolic and Algebraic Computation, Jul 2020, Kalamata, Greece. ⟨10.1145/3373207.3404024⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-02478768/file/paper.pdf BibTex
titre
Robots, computer algebra and eight connected components
auteur
Jose Capco, Mohab Safey El Din, Josef Schicho
article
ISSAC '20: International Symposium on Symbolic and Algebraic Computation, Jul 2020, Kalamata / Virtual, Greece. pp.62-69, ⟨10.1145/3373207.3404048⟩
Accès au texte intégral et bibtex
https://hal.sorbonne-universite.fr/hal-02925478/file/casasc20.pdf BibTex
titre
Computing the real isolated points of an algebraic hypersurface
auteur
Huu Phuoc Le, Mohab Safey El Din, Timo de Wolff
article
ISSAC '20: International Symposium on Symbolic and Algebraic Computation, Jul 2020, Kalamata / Virtual, Greece. pp.297-304, ⟨10.1145/3373207.3404049⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02920059/file/arxiv.pdf BibTex
titre
A second order cone characterization for sums of nonnegative circuits
auteur
Victor Magron, Jie Wang
article
45th International Symposium on Symbolic and Algebraic Computation (ISSAC'20), Jul 2020, Virtual, Greece. pp.450-457, ⟨10.1145/3373207.3404033⟩
Accès au bibtex
BibTex

Preprints, Working Papers, ...

titre
Computing Free Non-commutative Groebner Bases over Z with Singular:Letterplace
auteur
Viktor Levandovskyy, Tobias Metzlaff, Karim Abou Zeid
article
2020
Accès au texte intégral et bibtex
https://hal.science/hal-03085431/file/main4arxiv.pdf BibTex
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
Reflection groups and cones of sums of squares
auteur
Sebastian Debus, Cordian Riener
article
2020
Accès au bibtex
https://arxiv.org/pdf/2011.09997 BibTex
titre
Binary forms of suprageneric rank and the multiple root loci
auteur
Alejandro González Nevado, Ettore Teixeira Turatti
article
2020
Accès au texte intégral et bibtex
https://hal.science/hal-02892152/file/Ettore___Alejandro.pdf BibTex
titre
Computer-assisted proofs for Lyapunov stability via Sums of Squares certificates and Constructive Analysis
auteur
Grigory Devadze, Victor Magron, Stefan Streif
article
2020
Accès au bibtex
https://arxiv.org/pdf/2006.09884 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

2019

Journal articles

titre
Computing minimal Gorenstein covers
auteur
Juan Elias, Roser Homs, Bernard Mourrain
article
Journal of Pure and Applied Algebra, 2019, ⟨10.1016/j.jpaa.2019.106280⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01978906/file/EHM_MinimalGorensteinCovers_v2.pdf BibTex

Conference papers

titre
Computing the volume of compact semi-algebraic sets
auteur
Pierre Lairez, Marc Mezzarobba, Mohab Safey El Din
article
ISSAC 2019 - International Symposium on Symbolic and Algebraic Computation, Jul 2019, Beijing, China
Accès au texte intégral et bibtex
https://hal.science/hal-02110556/file/volumes.pdf BibTex

Book sections

titre
A Survey of Semidefinite Programming Approaches to the Generalized Problem of Moments and Their Error Analysis
auteur
Etienne de Klerk, Etienne De Klerk, Monique Laurent
article
World Women in Mathematics 2018, pp.17-56, 2019, ⟨10.1007/978-3-030-21170-7_1⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02407295/file/1811.05439.pdf BibTex

Other publications

titre
Symmetric Ideals, Specht Polynomials and Solutions to Symmetric Systems of Equations
auteur
Philippe Moustrou, Cordian Riener, Hugues Verdure
article
2019
Accès au texte intégral et bibtex
https://hal.science/hal-02436751/file/1912.05266.pdf BibTex
titre
Convergence analysis of a Lasserre hierarchy of upper bounds for polynomial minimization on the sphere
auteur
Etienne de Klerk, Monique Laurent
article
2019, ⟨10.1007/s10107-019-01465-1⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02407335/file/Convergence%20analysis%20of%20a%20Lasserre%20hierarchy%20of%20upper%20bounds%20for%20polynomial%20minimization%20on%20the%20sphere.pdf BibTex