Victor Magron

Chargé de recherche au CNRS
112
Documents

Domaines de recherche

Optimisation et contrôle [math.OC]

Compétences

optimisation polynomiale programmation semidéfinie hiérarchies moment-sommes de carrés

Publications

82
5
4
4
3
2
2
2
2
1
1
1
1
1
1
10
9
3
3
2
2
2
2
2
2
2
2
2
2
2
2
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
26
16
9
9
9
9
8
8
8
7
6
6
5
4
4
3
3
3
3
3
3
3
3
2
2
2
2
2
2
2
2
2
2
2
2
2
2
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
7
4
3
3
2
2
2
2
2
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
13
18
14
14
17
7
8
4
3
6
5
3
53
39
34
10
7
7
3
2
1
1
1
1
1
1
1
1
45
18
8
3
1
1
1
1
1
1
53
48
30
15
15
9
7
6
4
4
3
2
1
1
1

Publications

Sums of squares certificates for polynomial moment inequalities

Igor Klep , Victor Magron , Jurij Volčič

Foundations of Computational Mathematics, 2025, ⟨10.1007/s10208-025-09703-z⟩

Article dans une revue hal-04125262v1

On the Complexity of p-Order Cone Programs

Víctor Blanco , Victor Magron , Miguel Martínez-Antón

Journal of Complexity, 2025, 91, pp.101979. ⟨10.1016/j.jco.2025.101979⟩

Article dans une revue hal-04896611v1

A real moment-HSOS hierarchy for complex polynomial optimization with real coefficients

Jie Wang , Victor Magron

Computational Optimization and Applications, 2024, 90, ⟨10.1007/s10589-024-00617-0⟩

Article dans une revue hal-04189927v1

Convergence rates for sums-of-squares hierarchies with correlative sparsity

Milan Korda , Victor Magron , Rodolfo Ríos-Zertuche

Mathematical Programming, 2024, 209, ⟨10.1007/s10107-024-02071-6⟩

Article dans une revue hal-04049383v1

Induced Norm Analysis of Linear Systems for Nonnegative Input Signals

Yoshio Ebihara , Noboru Sebe , Hayato Waki , Dimitri Peaucelle , Sophie Tarbouriech et al.

Automatica, 2024, 183, pp.112606. ⟨10.1016/j.automatica.2025.112606⟩

Article dans une revue hal-04438031v1
Deposit thumbnail

Symmetry reduction and recovery of trajectories of optimal control problems via measure relaxations

Nicolas Augier , Didier Henrion , Milan Korda , Victor Magron

ESAIM: Control, Optimisation and Calculus of Variations, 2024, 30, pp.63. ⟨10.1051/cocv/2024053⟩

Article dans une revue hal-04694171v2
Deposit thumbnail

Slow convergence of the moment-SOS hierarchy for an elementary polynomial optimization problem

Didier Henrion , Adrien Le Franc , Victor Magron

SIAM Journal on Applied Algebra and Geometry, 2024, 9 (1), pp.261-278. ⟨10.1137/24M1645942⟩

Article dans une revue hal-04500960v4

Certifying ground-state properties of many-body systems

Jie Wang , Jacopo Surace , Irénée Frérot , Benoît Legat , Marc-Olivier Renou et al.

Physical Review X, 2024, 14 (3), pp.031006. ⟨10.1103/PhysRevX.14.031006⟩

Article dans une revue hal-04264341v1
Deposit thumbnail

Minimal Sparsity for Second-Order Moment-SOS Relaxations of the AC-OPF Problem

Adrien Le Franc , Victor Magron , Jean-Bernard Lasserre , Manuel Ruiz , Patrick Panciatici

IEEE Transactions on Power Systems, 2024, 39 (3), pp.5408 - 5415. ⟨10.1109/TPWRS.2023.3333691⟩

Article dans une revue hal-04110742v2
Deposit thumbnail

Revisiting semidefinite programming approaches to options pricing: complexity and computational perspectives

Didier Henrion , Felix Kirschner , Etienne de Klerk , Milan Korda , Jean-Bernard Lasserre et al.

INFORMS Journal on Computing, 2023, 35 (2), pp.265-517. ⟨10.1287/ijoc.2022.1220⟩

Article dans une revue hal-03429272v2

SONC Optimization and Exact Nonnegativity Certificates via Second-Order Cone Programming

Victor Magron , Jie Wang

Journal of Symbolic Computation, 2023, 115, pp.346-370. ⟨10.1016/j.jsc.2022.08.002⟩

Article dans une revue hal-03070864v1

Noncommutative Christoffel-Darboux Kernels

Serban Belinschi , Victor Magron , Victor Vinnikov

Transactions of the American Mathematical Society, 2023, 376, pp.181-230. ⟨10.1090/tran/8648⟩

Article dans une revue hal-03433869v1

Sum of Squares Decompositions of Polynomials over their Gradient Ideals with Rational Coefficients

Victor Magron , Mohab Safey El Din , Trung-Hieu Vu

SIAM Journal on Optimization, 2023, 33 (1), ⟨10.1137/21M1436245⟩

Article dans une revue hal-03312392v1

State polynomials: positivity, optimization and nonlinear Bell inequalities

Igor Klep , Victor Magron , Jurij Volčič , Jie Wang

Mathematical Programming, 2023, 207 (1-2), pp.645-691. ⟨10.1007/s10107-023-02024-5⟩

Article dans une revue hal-03964830v1
Deposit thumbnail

Exploiting ideal-sparsity in the generalized moment problem with application to matrix factorization ranks

Milan Korda , Monique Laurent , Victor Magron , Andries Steenkamp

Mathematical Programming, 2023, 205, pp.703-744. ⟨10.1007/s10107-023-01993-x⟩

Article dans une revue hal-03782934v1

Correlations constrained by composite measurements

John Selby , Ana Belén Sainz , Victor Magron , Łukasz Czekaj , Michał Horodecki

Quantum, 2023, 7, pp.1080. ⟨10.22331/q-2023-08-10-1080⟩

Article dans une revue hal-04117038v1

Dimension-free entanglement detection in multipartite Werner states

Felix Huber , Igor Klep , Victor Magron , Jurij Volčič

Communications in Mathematical Physics, 2022, 396, pp.1051-1070. ⟨10.1007/s00220-022-04485-9⟩

Article dans une revue hal-03322991v1

Exploiting Sparsity in Complex Polynomial Optimization

Jie Wang , Victor Magron

Journal of Optimization Theory and Applications, 2022, 192, pp.335-359. ⟨10.1007/s10957-021-01975-z⟩

Article dans une revue hal-03178832v1

A Sublevel Moment-SOS Hierarchy for Polynomial Optimization

Tong Chen , Jean-Bernard Lasserre , Victor Magron , Edouard Pauwels

Computational Optimization and Applications, 2022, 81 (1), pp.31-66. ⟨10.1007/s10589-021-00325-z⟩

Article dans une revue hal-03109978v1

Stability of Linear Systems under Extended Weakly-Hard Constraints

Nils Vreman , Paolo Pazzaglia , Jie Wang , Victor Magron , Martina Maggio

IEEE Control Systems Letters, 2022, 6, pp.2900-2905. ⟨10.1109/LCSYS.2022.3179960⟩

Article dans une revue hal-03127108v1

Certifying Global Optimality of AC-OPF Solutions via the CS-TSSOS Hierarchy

Jie Wang , Victor Magron , Jean-Bernard Lasserre

Electric Power Systems Research, 2022, 213, pp.108683. ⟨10.1016/j.epsr.2022.108683⟩

Article dans une revue hal-03351160v1

A sparse version of Reznick's Positivstellensatz

N. H. A. Mai , Victor Magron , Jean-Bernard Lasserre

Mathematics of Operations Research, 2022, ⟨10.1287/moor.2022.1284⟩

Article dans une revue hal-02477339v1
Deposit thumbnail

On the complexity of Putinar-Vasilescu's Positivstellensatz

Ngoc Hoang Anh Mai , Victor Magron

Journal of Complexity, 2022, ⟨10.1016/j.jco.2022.101663⟩

Article dans une revue hal-03820206v1

Exploiting constant trace property in large-scale polynomial optimization

Ngoc Hoang Anh Mai , Jean-Bernard Lasserre , Victor Magron , Jie Wang

ACM Transactions on Mathematical Software, 2022, 48 (4), pp.1-39. ⟨10.1145/3555309⟩

Article dans une revue hal-03079000v1

TSSOS: A Moment-SOS hierarchy that exploits term sparsity

Jie Wang , Victor Magron , Jean-Bernard Lasserre

SIAM Journal on Optimization, 2021, 31 (1), pp.30--58. ⟨10.1137/19M1307871⟩

Article dans une revue hal-02448389v1

Chordal-TSSOS: a moment-SOS hierarchy that exploits term sparsity with chordal extension

Jie Wang , Victor Magron , Jean-Bernard Lasserre

SIAM Journal on Optimization, 2021, ⟨10.1137/20M1323564⟩

Article dans une revue hal-02502131v1

Minimizing rational functions: a hierarchy of approximations via pushforward measures

Jean-Bernard Lasserre , Victor Magron , Swann Marx , Olivier Zahm

SIAM Journal on Optimization, 2021, 31 (3), pp.2285-2306. ⟨10.1137/20M138541X⟩

Article dans une revue hal-03053386v1

Exploiting term sparsity in Noncommutative Polynomial Optimization

Jie Wang , Victor Magron

Computational Optimization and Applications, 2021, 80, pp.483-521. ⟨10.1007/s10589-021-00301-7⟩

Article dans une revue hal-02967839v1
Deposit thumbnail

On Exact Reznick, Hilbert-Artin and Putinar's Representations

Victor Magron , Mohab Safey El Din

Journal of Symbolic Computation, 2021, 107, pp.221-250. ⟨10.1016/j.jsc.2021.03.005⟩

Article dans une revue hal-01935727v1

Optimization over trace polynomials

Igor Klep , Victor Magron , Jurij Volčič

Annales Henri Poincaré, 2021, ⟨10.1007/s00023-021-01095-4⟩

Article dans une revue hal-02879621v1

Positivity certificates and polynomial optimization on non-compact semialgebraic sets

Ngoc Hoang Anh Mai , Jean-Bernard Lasserre , Victor Magron

Mathematical Programming, Series A, 2021, ⟨10.1007/s10107-021-01634-1⟩

Article dans une revue hal-02382059v1

$l_2$ Induced Norm Analysis of Discrete-Time LTI Systems for Nonnegative Input Signals and Its Application to Stability Analysis of Recurrent Neural Networks

Yoshio Ebihara , Hayato Waki , Victor Magron , Ngoc Hoang Anh Mai , Dimitri Peaucelle et al.

European Journal of Control, 2021, 62, pp.99-104. ⟨10.1016/j.ejcon.2021.06.022⟩

Article dans une revue hal-03026445v1

Sparse Noncommutative Polynomial Optimization

Igor Klep , Victor Magron , Janez Povh

Mathematical Programming, Series A, 2020, ⟨10.1007/s10107-020-01610-1⟩

Article dans une revue hal-02278767v1

Computing the Hausdorff boundary measure of semi-algebraic sets

Jean-Bernard Lasserre , Victor Magron

SIAM Journal on Applied Algebra and Geometry, 2020, 4 (3), pp.441-469. ⟨10.1137/20M1314392⟩

Article dans une revue hal-02448149v1

Optimal Control of Linear PDEs using Occupation Measures and SDP Relaxations

Victor Magron , Christophe Prieur

IMA Journal of Mathematical Control and Information, 2020, 37 (1), pp.159-174. ⟨10.1093/imamci/dny044⟩

Article dans une revue hal-01966782v1

Semidefinite Approximations of Invariant Measures for Polynomial Systems

Victor Magron , Marcelo Forets , Didier Henrion

Discrete and Continuous Dynamical Systems - Series B, 2019, 24 (12), pp.6745-6770. ⟨10.3934/dcdsb.2019165⟩

Article dans une revue hal-01828443v1
Deposit thumbnail

Algorithms for Weighted Sums of Squares Decomposition of Non-negative Univariate Polynomials

Victor Magron , Mohab Safey El Din , Markus Schweighofer

Journal of Symbolic Computation, 2019, 93, pp.200-220. ⟨10.1016/j.jsc.2018.06.005⟩

Article dans une revue hal-01538729v1
Deposit thumbnail

EXACT OPTIMIZATION VIA SUMS OF NONNEGATIVE CIRCUITS AND SUMS OF AM/GM EXPONENTIALS

Victor Magron , Henning Seidler , Timo de Wolff

ACM Communications in Computer Algebra, 2019, ⟨10.1145/3326229.3326271⟩

Article dans une revue hal-02006899v1
Deposit thumbnail

Semidefinite Approximations of Reachable Sets for Discrete-time Polynomial Systems

Victor Magron , Pierre-Loïc Garoche , Didier Henrion , Xavier Thirioux

SIAM Journal on Control and Optimization, 2019, 57 (4), pp.2799-2820. ⟨10.1137/17M1121044⟩

Article dans une revue hal-01490897v1

Certified Roundoff Error Bounds using Bernstein Expansions and Sparse Krivine-Stengle Representations

Victor Magron , Alexandre Rocca , Thao Dang

IEEE Transactions on Computers, 2019, 68 (7), pp.953-966. ⟨10.1109/TC.2018.2851235⟩

Article dans une revue hal-01956817v1

In SDP relaxations, inaccurate solvers do robust optimization

Jean-Bernard Lasserre , Victor Magron

SIAM Journal on Optimization, 2019, 29 (3), pp.2128-2145. ⟨10.1137/18M1225677⟩

Article dans une revue hal-01915976v1

RealCertify: a Maple package for certifying non-negativity

Victor Magron , Mohab Safey El Din

ACM Communications in Computer Algebra, 2018, 52 (2), pp.34-37. ⟨10.1145/3282678.3282681⟩

Article dans une revue hal-01956812v1

Optimal data fitting: a moment approach

Jean-Bernard Lasserre , Victor Magron

SIAM Journal on Optimization, 2018, 28 (4), pp.3127-3144. ⟨10.1137/18M1170108⟩

Article dans une revue hal-01706850v1

Interval Enclosures of Upper Bounds of Roundoff Errors using Semidefinite Programming

Victor Magron

ACM Transactions on Mathematical Software, 2018, 44 (4), pp.41:1--41:18. ⟨10.1145/3206430⟩

Article dans une revue hal-01956815v1
Deposit thumbnail

Semidefinite approximations of projections and polynomial images of semialgebraic sets

Victor Magron , Didier Henrion , Jean-Bernard Lasserre

SIAM Journal on Optimization, 2015, 25 (4), pp. 2143-2164

Article dans une revue hal-01075343v2

Formal Proofs for Nonlinear Optimization

Victor Magron , Xavier Allamigeon , Stéphane Gaubert , Benjamin Werner

Journal of Formalized Reasoning, 2015, 8 (15), pp.1-24

Article dans une revue hal-00985675v1

Certification of real inequalities: templates and sums of squares

Victor Magron , Xavier Allamigeon , Stéphane Gaubert , Benjamin Werner

Mathematical Programming, 2014, 151 (2), pp.30. ⟨10.1007/s10107-014-0834-5⟩

Article dans une revue hal-01096485v1
Deposit thumbnail

Approximating Pareto Curves using Semidefinite Relaxations

Victor Magron , Didier Henrion , Jean-Bernard Lasserre

Operations Research Letters, 2014, 42 (6-7), pp.432-437

Article dans une revue hal-00980625v2

Error Bounds for Polynomial Optimization over the Hypercube using Putinar type Representations

Victor Magron

Optimization Letters, 2014, ⟨10.1007/s11590-014-0797-8⟩

Article dans une revue hal-00983485v1

Detecting Destabilizing Nonlinearities in Absolute Stability Analysis of Discrete-Time Feedback Systems

Hibiki Gyotoku , Tsuyoshi Yuno , Yoshio Ebihara , Dimitri Peaucelle , Sophie Tarbouriech et al.

11th IFAC Symposium on Robust Control Design ROCOND 2025, Jul 2025, Porto, Portugal. pp.242-247, ⟨10.1016/j.ifacol.2025.10.110⟩

Communication dans un congrès hal-04985724v1

Stability Analysis of Feedback Systems with ReLU Nonlinearities via Semialgebraic Set Representation

Shingo Nishinaka , Rin Saeki , Tsuyoshi Yuno , Yoshio Ebihara , Victor Magron et al.

4th IFAC Conference of Modelling, Identification and Control of nonlinear systems (MICNON), Sep 2024, Lyon, France

Communication dans un congrès hal-04495314v1

State polynomial optimization for nonlinear Bell inequalities

Victor Magron

Effective Methods in Algebraic Geometry, Jul 2024, Leipzig, Germany

Communication dans un congrès hal-04719283v1

Verifying Properties of Binary Neural Networks Using Sparse Polynomial Optimization

Jianting Yang , Srećko Ðurašinović , Jean-Bernard Lasserre , Victor Magron , Jun Zhao

Thirteenth International Conference on Learning Representations (ICLR), 2025, Apr 2025, Singapour, Singapore. 22 p

Communication dans un congrès hal-04589986v1

Upper bound hierarchies for noncommutative polynomial optimization

Igor Klep , Victor Magron , Gaël Massé , Jurij Volčič

26th International Symposium on Mathematical Theory of Networks and Systems (MTNS), Aug 2024, Cambridge (Angleterre), United Kingdom

Communication dans un congrès hal-04440949v1

Local Lipschitz Constant Computation of ReLU-FNNs: Upper Bound Computation with Exactness Verification

Yoshio Ebihara , Xin Dai , Victor Magron , Dimitri Peaucelle , Sophie Tarbouriech

European Control Conference (ECC 2024), Jun 2024, Stockholm, Sweden. ⟨10.23919/ECC64448.2024.10590974⟩

Communication dans un congrès hal-04247204v1

On Dual of LMIs for Absolute Stability Analysis of Nonlinear Feedback Systems with Static O'Shea-Zames-Falb Multipliers

Hibiki Gyotoku , Tsuyoshi Yuno , Yoshio Ebihara , Victor Magron , Dimitri Peaucelle et al.

2025 European Control Conference (ECC), Jun 2025, Thessaloniki, Greece. pp.1237-1242, ⟨10.23919/ECC65951.2025.11186908⟩

Communication dans un congrès hal-04797364v1

Trace polynomial optimization with applications in quantum information

Victor Magron

Workshop on Semidefinite and Polynomial Optimization, Aug 2024, Amsterdam (Hollande), Netherlands

Communication dans un congrès hal-04719307v1

Peak Estimation of Time Delay Systems using Occupation Measures

Jared Miller , Milan Korda , Victor Magron , Mario Sznaier

2023 62nd IEEE Conference on Decision and Control (CDC), Dec 2023, Singapore, Singapore. pp.5294-5300, ⟨10.1109/CDC49753.2023.10384165⟩

Communication dans un congrès hal-04047493v1

Pourchet's theorem in action: decomposing univariate nonnegative polynomials as sums of five squares

Przemysław Koprowski , Victor Magron , Tristan Vaccon

ISSAC 2023: International Symposium on Symbolic and Algebraic Computation 2023, Dec 2023, Kyoto, Japan. pp.425-433, ⟨10.1145/3597066.3597072⟩

Communication dans un congrès hal-03976836v1

Exploiting sparsity in polynomial optimization

Victor Magron

Journées nationales de calcul formel (JNCF), Mar 2023, Marseille (CIRM, Centre International de Rencontres Mathématiques), France

Communication dans un congrès hal-04719298v1

Sparse polynomial optimization: theory and practice

Victor Magron

17th International Symposium on Operations Research in Slovenia, Sep 2023, Bled, Slovenia

Communication dans un congrès hal-04719292v1
Deposit thumbnail

L 2+ Induced Norm Analysis of Continuous-Time LTI Systems Using Positive Filters and Copositive Programming

Yoshio Ebihara , Hayato Waki , Noboru Sebe , Victor Magron , Dimitri Peaucelle et al.

European Control Conference (ECC 2022), Jul 2022, Londres, United Kingdom. ⟨10.23919/ECC55457.2022.9838085⟩

Communication dans un congrès hal-03740522v1

Conic programming for certified polynomial optimization

Victor Magron

Conic Linear Optimization for Computer-Assisted Proofs, Apr 2022, Oberwolfach (Germany), Germany

Communication dans un congrès hal-04719316v1

Exact SOHS Decompositions of Trigonometric Univariate Polynomials with Gaussian Coefficients

Victor Magron , Mohab Safey El Din , Markus Schweighofer , Trung Hieu Vu

International Symposium on Symbolic and Algebraic Computation (ISSAC), Jul 2022, Lille, France

Communication dans un congrès hal-03575157v1

The Constant Trace Property in Noncommutative Optimization

Ngoc Hoang Anh Mai , Abhishek Bhardwaj , Victor Magron

International Symposium on Symbolic and Algebraic Computation, Jul 2021, Saint Petersbourg, Russia. ⟨10.1145/3452143.3465516⟩

Communication dans un congrès hal-03130967v1
Deposit thumbnail

Stability Analysis of Recurrent Neural Networks by IQC with Copositive Mutipliers

Yoshio Ebihara , Hayato Waki , Victor Magron , Ngoc Hoang Anh Mai , Dimitri Peaucelle et al.

Control and Decision Conference (CDC) 2021, Dec 2021, Austin, United States. pp.5098-5103, ⟨10.1109/CDC45484.2021.9683530⟩

Communication dans un congrès hal-03564261v1
Deposit thumbnail

TSSOS: a Julia library to exploit sparsity for large-scale polynomial optimization

Victor Magron , Jie Wang

Effective Methods in Algebraic Geometry, Jun 2021, Tromso, Norway. ⟨10.48550/arXiv.2103.00915⟩

Communication dans un congrès hal-03155742v1

Semialgebraic Representation of Monotone Deep Equilibrium Models and Applications to Certification

Tong Chen , Jean-Bernard Lasserre , Victor Magron , Edouard Pauwels

Advances in Neural Information Processing Systems, Dec 2021, Online, France

Communication dans un congrès hal-03265346v1

SparseJSR: A Fast Algorithm to Compute Joint Spectral Radius via Sparse SOS Decompositions

Jie Wang , Martina Maggio , Victor Magron

2021 American Control Conference (ACC), May 2021, New Orleans, United States. ⟨10.23919/ACC50511.2021.9483347⟩

Communication dans un congrès hal-02923348v1

Semialgebraic Optimization for Lipschitz Constants of ReLU Networks

Tong Chen , Jean-Bernard Lasserre , Victor Magron , Edouard Pauwels

Conference on Neural Information Processing Systems, Dec 2020, Vancouver, Canada

Communication dans un congrès hal-02940488v1

A second order cone characterization for sums of nonnegative circuits

Victor Magron , Jie Wang

45th International Symposium on Symbolic and Algebraic Computation (ISSAC'20), Jul 2020, Virtual, Greece. pp.450-457, ⟨10.1145/3373207.3404033⟩

Communication dans un congrès hal-02473446v1

On Exact Polya and Putinar's Representations

Victor Magron , Mohab Safey El Din

ISSAC '18 International Symposium on Symbolic and Algebraic Computation, Jul 2018, New-York, United States. pp.279-286, ⟨10.1145/3208976.3208986⟩

Communication dans un congrès hal-01720612v1

Automatic Synthesis of Piecewise Linear Quadratic Invariants for Programs

Assalé Adjé , Pierre-Loïc Garoche , Victor Magron

Verification Model Checking and Abstract Interpretation 2015 (VMCAI 2015), Jan 2015, Mumbai, India. pp.99-116

Communication dans un congrès hal-01371514v1

Property-based Polynomial Invariant Generation Using Sums-Of-Squares

Assalé Adjé , Pierre-Loïc Garoche , Victor Magron

Static Analysis Symposium 2015 (2015), Sep 2015, Saint-Malo, France. pp.235-251

Communication dans un congrès hal-01371508v1

NLCertify: A Tool for Formal Nonlinear Optimization

Victor Magron

International Congress on Mathematical Software (ICMS), Aug 2014, Seoul, South Korea. 6p

Communication dans un congrès hal-00995686v1

Certification of Bounds of Non-linear Functions: the Templates Method

Xavier Allamigeon , Stéphane Gaubert , Victor Magron , Benjamin Werner

Conferences on Intelligent Computer Mathematics (CICM 2013), Jul 2013, Bath, United Kingdom. pp.51-65, ⟨10.1007/978-3-642-39320-4_4⟩

Communication dans un congrès hal-00932333v1

Certification of inequalities involving transcendental functions: combining SDP and max-plus approximation

Xavier Allamigeon , Stéphane Gaubert , Victor Magron , Benjamin Werner

European Control Conference (ECC'13), Jul 2013, Zurich, Switzerland. pp.2244 - 2250

Communication dans un congrès hal-00932348v1

Leveraging Christoffel-Darboux Kernels to Strengthen Moment-SOS Relaxations

Srećko Ðurašinović , Perla Azzi , Jean-Bernard Lasserre , Victor Magron , Olga Mula et al.

2025

Pré-publication, Document de travail hal-04913273v1

Convergence rates for polynomial optimization on set products

Victor Magron

2025

Pré-publication, Document de travail hal-05086019v1
Deposit thumbnail

Complete Upper Bound Hierarchies for Spectral Minimum in Noncommutative Polynomial Optimization

Igor Klep , Victor Magron , Jurij Volčič

2025

Pré-publication, Document de travail hal-04875437v1

Finite Convergence of the Moment-SOS Hierarchy on the Product of Spheres

Sami Halaseh , Victor Magron , Mateusz Skomra

2025

Pré-publication, Document de travail hal-05415837v1

Exploiting Term Sparsity in Symmetry-Adapted Basis for Polynomial Optimization

Igor Klep , Victor Magron , Tobias Metzlaff , Jie Wang

2025

Pré-publication, Document de travail hal-05380867v1

Approximating the order 2 quantum Wasserstein distance using the moment-SOS hierarchy

Victor Magron , Saroj Prasad Chhatoi

2025

Pré-publication, Document de travail hal-05132133v1
Deposit thumbnail

Moment-SOS hierarchies for arrow-type polynomial matrix inequalities with applications to structural optimization

Marouan Handa , Marek Tyburec , Giovanni Fantuzzi , Victor Magron , Michal Kočvara

2025

Pré-publication, Document de travail hal-05240295v1

Inclusion constants for free spectrahedra with applications to quantum incompatibility

Andreas Bluhm , Eric Evert , Igor Klep , Victor Magron , Ion Nechita

2025

Pré-publication, Document de travail hal-05429010v1

Certified bounds on optimization problems in quantum theory

Younes Naceur , Jie Wang , Victor Magron , Antonio Acín

2025

Pré-publication, Document de travail hal-05428967v1
Deposit thumbnail

Mixtures Closest to a Given Measure: A Semidefinite Programming Approach

Srecko Durasinovic , Jean B Lasserre , Victor Magron

2025

Pré-publication, Document de travail hal-05289733v1

Sums of squares representations on singular loci

Ngoc Hoang Anh Mai , Victor Magron

2023

Pré-publication, Document de travail hal-04023980v1

Urysohn in action: separating semialgebraic sets by polynomials

Milan Korda , Jean-Bernard Lasserre , Alexey Lazarev , Victor Magron , Simone Naldi

2022

Pré-publication, Document de travail hal-03712510v1

Tractable hierarchies of convex relaxations for polynomial optimization on the nonnegative orthant

Ngoc Hoang Anh Mai , Victor Magron , Jean-Bernard Lasserre , Kim-Chuan Toh

2022

Pré-publication, Document de travail hal-03776853v1

Tractable semidefinite bounds of positive maximal singular values

Victor Magron , Ngoc Hoang Anh Mai , Yoshio Ebihara , Hayato Waki

2022

Pré-publication, Document de travail hal-03580048v1

A hierarchy of spectral relaxations for polynomial optimization

Ngoc Hoang Anh Mai , Victor Magron , Jean-Bernard Lasserre

2021

Pré-publication, Document de travail hal-03149938v1

Noncommutative Polynomial Optimization

Abhishek Bhardwaj , Igor Klep , Victor Magron

2021

Pré-publication, Document de travail hal-03333504v1

Exploiting Term Sparsity in Moment-SOS hierarchy for Dynamical Systems

Victor Magron , Jie Wang , Corbinian Schlosser , Milan Korda

2021

Pré-publication, Document de travail hal-03439458v1

CS-TSSOS: Correlative and term sparsity for large-scale polynomial optimization

Jie Wang , Victor Magron , Jean B Lasserre , Ngoc Hoang Anh Mai

2020

Pré-publication, Document de travail hal-02566472v1

Computer-assisted proofs for Lyapunov stability via Sums of Squares certificates and Constructive Analysis

Grigory Devadze , Victor Magron , Stefan Streif

2020

Pré-publication, Document de travail hal-02873040v1
Deposit thumbnail

A Sums-of-Squares Extension of Policy Iterations

Assalé Adjé , Pierre-Loïc Garoche , Victor Magron

2017

Pré-publication, Document de travail hal-01133405v2
Deposit thumbnail

Certified Roundoff Error Bounds using Bernstein Expansions and Sparse Krivine-Stengle Representations

Alexandre Rocca , Victor Magron , Thao Dang

2017

Pré-publication, Document de travail hal-01448167v1
Deposit thumbnail

A Certified Lower Bounds of Roundoff Errors using Semidefinite Programming

Victor Magron , Mountassir Farid

2017

Pré-publication, Document de travail hal-01448160v1
Deposit thumbnail

Property-based Polynomial Invariant Generation using Sums-of-Squares Optimization

Assalé Adjé , Pierre-Loïc Garoche , Victor Magron

2015

Pré-publication, Document de travail hal-01134816v1

Polynomial Template Generation using Sum-of-Squares Programming

Assalé Adjé , Victor Magron

2014

Pré-publication, Document de travail hal-01064305v1
Deposit thumbnail

Formal Proofs for Global Optimization -- Templates and Sums of Squares

Victor Magron

Optimization and Control [math.OC]. Ecole Polytechnique X, 2013. English. ⟨NNT : ⟩

Thèse pastel-00917779v1
Deposit thumbnail

The quest of modeling, certification and efficiency in polynomial optimization

Victor Magron

Automatic Control Engineering. Université Toulouse 3 Paul Sabatier, 2021

HDR tel-03246038v1