Victor Magron

Identifiers

• name variant Victor Magron 0.60 · backfill

Papers (80)

1. Sums of squares in polynomial time math.OC · 2026 · author #2
2. The bulk spectral gap is semi-decidable: a convergent family of certified upper bounds quant-ph · 2026 · author #4
3. Quantitative semidefinite certificates for ground-state energies of Pauli Hamiltonians quant-ph · 2026 · author #3
4. Duality attainment and strict feasibility of the generalized moment problem and its relaxations math.OC · 2026 · author #2
5. Robust self-testing with CHSH mod 3 math.OC · 2026 · author #3
6. Mixtures Closest to a Given Measure: A Semidefinite Programming Approach math.OC · 2025 · author #3
7. Convergence rates for polynomial optimization on set products math.OC · 2025 · author #1
8. $L_{2+}$ Induced Norm Analysis of Continuous-Time LTI Systems Using Positive Filters and Copositive Programming math.OC · 2024 · author #4
9. Local Lipschitz Constant Computation of ReLU-FNNs: Upper Bound Computation with Exactness Verification math.OC · 2023 · author #3
10. Certifying ground-state properties of quantum many-body systems quant-ph · 2023 · author #6
11. A real moment-HSOS hierarchy for complex polynomial optimization with real coefficients math.OC · 2023 · author #2
12. Symmetry reduction and recovery of trajectories of optimal control problems via measure relaxations math.OC · 2023 · author #4
13. Sums of squares certificates for polynomial moment inequalities math.FA · 2023 · author #2
14. Convergence rates for sums-of-squares hierarchies with correlative sparsity math.OC · 2023 · author #2
15. Peak Estimation of Time Delay Systems using Occupation Measures math.OC · 2023 · author #3
16. Sums of squares representations on singular loci math.AG · 2023 · author #2
17. Pourchet's theorem in action: decomposing univariate nonnegative polynomials as sums of five squares cs.SC · 2023 · author #1
18. Time-dependent moments from partial differential equations and the time-dependent set of atoms math.FA · 2022 · author #4
19. Exploiting ideal-sparsity in the generalized moment problem with application to matrix factorization ranks math.OC · 2022 · author #3
20. Sparse Polynomial Optimization: Theory and Practice math.OC · 2022 · author #1
21. Urysohn in action: separating semialgebraic sets by polynomials math.AG · 2022 · author #4
22. Tractable semidefinite bounds of positive maximal singular values math.OC · 2022 · author #1
23. Exact SOHS decompositions of trigonometric univariate polynomials with Gaussian coefficients cs.SC · 2022 · author #1
24. Stability Analysis of Recurrent Neural Networks by IQC with Copositive Mutipliers math.OC · 2022 · author #3
25. Exploiting Term Sparsity in Moment-SOS hierarchy for Dynamical Systems math.OC · 2021 · author #4
26. Revisiting semidefinite programming approaches to options pricing: complexity and computational perspectives math.OC · 2021 · author #6
27. Certifying Global Optimality of AC-OPF Solutions via sparse polynomial optimization math.OC · 2021 · author #2
28. Noncommutative Polynomial Optimization math.OC · 2021 · author #3
29. Dimension-free entanglement detection in multipartite Werner states quant-ph · 2021 · author #3
30. Sum of Squares Decompositions of Polynomials over their Gradient Ideals with Rational Coefficients cs.SC · 2021 · author #1
31. Noncommutative Christoffel-Darboux Kernels math.OA · 2021 · author #2
32. Semialgebraic Representation of Monotone Deep Equilibrium Models and Applications to Certification math.OC · 2021 · author #3
33. On the complexity of Putinar-Vasilescu's Positivstellensatz math.OC · 2021 · author #2
34. TSSOS: a Julia library to exploit sparsity for large-scale polynomial optimization math.OC · 2021 · author #1
35. The Constant Trace Property in Noncommutative Optimization math.OC · 2021 · author #3
36. Stability of Linear Systems under Extended Weakly-Hard Constraints math.OC · 2021 · author #4
37. A Sublevel Moment-SOS Hierarchy for Polynomial Optimization math.OC · 2021 · author #3
38. Exploiting constant trace property in large-scale polynomial optimization math.OC · 2020 · author #3
39. Minimizing rational functions: a hierarchy of approximations via pushforward measures math.OC · 2020 · author #2
40. $l_2$ Induced Norm Analysis of Discrete-Time LTI Systems for Nonnegative Input Signals and Its Application to Stability Analysis of Recurrent Neural Networks math.OC · 2020 · author #3
41. Exploiting term sparsity in Noncommutative Polynomial Optimization math.OC · 2020 · author #2
42. Correlations constrained by composite measurements quant-ph · 2020 · author #3
43. SparseJSR: A Fast Algorithm to Compute Joint Spectral Radius via Sparse SOS Decompositions math.OC · 2020 · author #3
44. A hierarchy of spectral relaxations for polynomial optimization math.OC · 2020 · author #2
45. Optimization over trace polynomials math-ph · 2020 · author #2
46. Computer-assisted proofs for Lyapunov stability via Sums of Squares certificates and Constructive Analysis math.OC · 2020 · author #2
47. CS-TSSOS: Correlative and term sparsity for large-scale polynomial optimization math.OC · 2020 · author #2
48. Chordal-TSSOS: a moment-SOS hierarchy that exploits term sparsity with chordal extension math.OC · 2020 · author #2
49. A sparse version of Reznick's Positivstellensatz math.AG · 2020 · author #2
50. Semialgebraic Optimization for Lipschitz Constants of ReLU Networks math.OC · 2020 · author #3
51. Computing the Hausdorff boundary measure of semi-algebraic sets math.OC · 2020 · author #2
52. TSSOS: A Moment-SOS hierarchy that exploits term sparsity math.OC · 2019 · author #2
53. Positivity certificates and polynomial optimization on non-compact semialgebraic sets math.OC · 2019 · author #3
54. Sparse Noncommutative Polynomial Optimization math.OC · 2019 · author #2
55. A second order cone characterization for sums of nonnegative circuits math.OC · 2019 · author #2
56. Exact Optimization via Sums of Nonnegative Circuits and Sums of AM/GM Exponentials cs.SC · 2019 · author #1
57. In SDP relaxations, inaccurate solvers do robust optimization math.OC · 2018 · author #2
58. Semidefinite Approximations of Invariant Measures for Polynomial Systems math.DS · 2018 · author #1
59. RealCertify: a Maple package for certifying non-negativity cs.SC · 2018 · author #1
60. On Exact Polya and Putinar's Representations cs.SC · 2018 · author #1
61. Certified Roundoff Error Bounds using Bernstein Expansions and Sparse Krivine-Stengle Representations cs.NA · 2018 · author #1
62. Optimal data fitting: a moment approach math.OC · 2018 · author #2
63. Optimal Control of PDEs using Occupation Measures and SDP Relaxations math.OC · 2017 · author #1
64. Occupation measure methods for modelling and analysis of biological hybrid automata eess.SY · 2017 · author #3
65. Algorithms for Weighted Sums of Squares Decomposition of Non-negative Univariate Polynomials cs.SC · 2017 · author #1
66. Semidefinite Approximations of Reachable Sets for Discrete-time Polynomial Systems math.OC · 2017 · author #1
67. Interval Enclosures of Upper Bounds of Roundoff Errors using Semidefinite Programming cs.NA · 2016 · author #1
68. Certified Roundoff Error Bounds using Bernstein Expansions and Sparse Krivine-Stengle Representations cs.NA · 2016 · author #2
69. Semidefinite approximations of projections and polynomial images of semialgebraic sets math.OC · 2015 · author #1
70. Certified Roundoff Error Bounds Using Semidefinite Programming cs.NA · 2015 · author #1
71. A Sums-of-Squares Extension of Policy Iterations cs.LO · 2015 · author #3
72. Property-based Polynomial Invariant Generation using Sums-of-Squares Optimization cs.LO · 2015 · author #3
73. A formal proof of the Kepler conjecture math.MG · 2015 · author #8
74. Polynomial Template Generation using Sum-of-Squares Programming cs.LO · 2014 · author #2
75. NLCertify: A Tool for Formal Nonlinear Optimization cs.MS · 2014 · author #1
76. Formal Proofs for Nonlinear Optimization cs.LO · 2014 · author #1
77. Error Bounds for Polynomial Optimization over the Hypercube using Putinar type Representations math.OC · 2014 · author #1
78. Certification of Real Inequalities -- Templates and Sums of Squares math.OC · 2014 · author #3
79. Certification of inequalities involving transcendental functions: combining SDP and max-plus approximation math.OC · 2013 · author #3
80. Certification of Bounds of Non-linear Functions: the Templates Method cs.SC · 2013 · author #3

Mentions

• 2006.09884 #2 · arxiv_oai · confidence 0.70 Victor Magron
• 2310.05844 #6 · arxiv_oai · confidence 0.70 Victor Magron
• 2306.05761 #2 · arxiv_oai · confidence 0.70 Victor Magron
• 2310.11104 #3 · arxiv_oai · confidence 0.70 Victor Magron
• 2308.14631 #2 · arxiv_oai · confidence 0.70 Victor Magron
• 2003.03210 #2 · arxiv_oai · confidence 0.70 Victor Magron
• 2401.03242 #4 · arxiv_oai · confidence 0.70 Victor Magron
• 2111.08347 #4 · arxiv_oai · confidence 0.70 Victor Magron
• 2202.06544 #1 · arxiv_oai · confidence 0.70 Victor Magron
• 2009.04994 #3 · arxiv_oai · confidence 0.70 Victor Magron
• 2209.09573 #3 · arxiv_oai · confidence 0.70 Victor Magron
• 2307.03787 #4 · arxiv_oai · confidence 0.70 Victor Magron
• 2303.12863 #3 · arxiv_oai · confidence 0.70 Victor Magron
• 2303.14824 #2 · arxiv_oai · confidence 0.70 Victor Magron
• 2211.04416 #4 · arxiv_oai · confidence 0.70 Victor Magron
• 2303.05081 #2 · arxiv_oai · confidence 0.70 Victor Magron
• 2302.02202 #1 · arxiv_oai · confidence 0.70 Victor Magron
• 2108.08720 #3 · arxiv_oai · confidence 0.70 Victor Magron
• 1909.00569 #2 · arxiv_oai · confidence 0.70 Victor Magron
• 2101.11312 #4 · arxiv_oai · confidence 0.70 Victor Magron
• 2208.11158 #1 · arxiv_oai · confidence 0.70 Victor Magron
• 2109.10005 #2 · arxiv_oai · confidence 0.70 Victor Magron
• 2207.00570 #4 · arxiv_oai · confidence 0.70 Victor Magron
• 2111.07701 #6 · arxiv_oai · confidence 0.70 Victor Magron
• 2006.12510 #2 · arxiv_oai · confidence 0.70 Victor Magron
• 2202.08731 #1 · arxiv_oai · confidence 0.70 Victor Magron
• 2202.04592 #3 · arxiv_oai · confidence 0.70 Victor Magron
• 2106.06212 #2 · arxiv_oai · confidence 0.70 Victor Magron
• 2109.00786 #3 · arxiv_oai · confidence 0.70 Victor Magron
• 1902.02123 #1 · arxiv_oai · confidence 0.70 Victor Magron
• 2107.11825 #1 · arxiv_oai · confidence 0.70 Victor Magron
• 2005.02828 #2 · arxiv_oai · confidence 0.70 Victor Magron
• 2106.01453 #3 · arxiv_oai · confidence 0.70 Victor Magron
• 2104.11606 #2 · arxiv_oai · confidence 0.70 Victor Magron
• 2008.11441 #3 · arxiv_oai · confidence 0.70 Victor Magron
• 2103.00915 #1 · arxiv_oai · confidence 0.70 Victor Magron
• 2102.02162 #3 · arxiv_oai · confidence 0.70 Victor Magron
• 2101.05167 #3 · arxiv_oai · confidence 0.70 Victor Magron
• 2012.08873 #3 · arxiv_oai · confidence 0.70 Victor Magron
• 2012.05793 #2 · arxiv_oai · confidence 0.70 Victor Magron
• 2011.12726 #3 · arxiv_oai · confidence 0.70 Victor Magron
• 2002.03657 #3 · arxiv_oai · confidence 0.70 Victor Magron
• 2010.06956 #2 · arxiv_oai · confidence 0.70 Victor Magron
• 2007.09027 #2 · arxiv_oai · confidence 0.70 Victor Magron
• 1912.08899 #2 · arxiv_oai · confidence 0.70 Victor Magron
• 2002.05101 #2 · arxiv_oai · confidence 0.70 Victor Magron
• 1906.06179 #2 · arxiv_oai · confidence 0.70 Victor Magron
• 2001.07598 #2 · arxiv_oai · confidence 0.70 Victor Magron
• 1911.11428 #3 · arxiv_oai · confidence 0.70 Victor Magron
• 1811.02879 #2 · arxiv_oai · confidence 0.70 Victor Magron
• 1703.05085 #1 · arxiv_oai · confidence 0.70 Victor Magron
• 1802.03259 #2 · arxiv_oai · confidence 0.70 Victor Magron
• 1807.00754 #1 · arxiv_oai · confidence 0.70 Victor Magron
• 1805.02201 #1 · arxiv_oai · confidence 0.70 Victor Magron
• 1802.10339 #1 · arxiv_oai · confidence 0.70 Victor Magron
• 1710.04520 #1 · arxiv_oai · confidence 0.70 Victor Magron
• 1706.03941 #1 · arxiv_oai · confidence 0.70 Victor Magron
• 1503.08090 #3 · arxiv_oai · confidence 0.70 Victor Magron
• 1507.06143 #1 · arxiv_oai · confidence 0.70 Victor Magron
• 1503.07025 #3 · arxiv_oai · confidence 0.70 Victor Magron
• 1501.02155 #8 · arxiv_oai · confidence 0.70 Victor Magron
• 1404.7282 #1 · arxiv_oai · confidence 0.70 Victor Magron
• 1409.3941 #2 · arxiv_oai · confidence 0.70 Victor Magron
• 1403.5899 #3 · arxiv_oai · confidence 0.70 Victor Magron
• 1405.5668 #1 · arxiv_oai · confidence 0.70 Victor Magron
• 1404.6145 #1 · arxiv_oai · confidence 0.70 Victor Magron
• 1307.3231 #3 · arxiv_oai · confidence 0.70 Victor Magron
• 1307.7002 #3 · arxiv_oai · confidence 0.70 Victor Magron
• 2606.25118 #2 · arxiv_oai · confidence 0.70 Victor Magron
• 2509.22879 #3 · arxiv_oai · confidence 0.70 Victor Magron
• 2505.18580 #1 · arxiv_oai · confidence 0.70 Victor Magron
• 1802.04385 #1 · arxiv_oai · confidence 0.70 Victor Magron
• 1710.03158 #3 · arxiv_oai · confidence 0.70 Victor Magron
• 1611.01318 #1 · arxiv_oai · confidence 0.70 Victor Magron
• 1610.07038 #2 · arxiv_oai · confidence 0.70 Victor Magron
• 1507.03331 #1 · arxiv_oai · confidence 0.70 Victor Magron
• 1507.06143 #1 · backfill · confidence 0.70 Victor Magron
• 1507.03331 #1 · backfill · confidence 0.70 Victor Magron
• 1503.08090 #3 · backfill · confidence 0.70 Victor Magron
• 2606.03836 #4 · arxiv_oai · confidence 0.70 Victor Magron
• 1503.07025 #3 · backfill · confidence 0.70 Victor Magron
• 1501.02155 #8 · backfill · confidence 0.70 Victor Magron
• 1409.3941 #2 · backfill · confidence 0.70 Victor Magron
• 1405.5668 #1 · backfill · confidence 0.70 Victor Magron
• 1404.7282 #1 · backfill · confidence 0.70 Victor Magron
• 1404.6145 #1 · backfill · confidence 0.70 Victor Magron
• 1403.5899 #3 · backfill · confidence 0.70 Victor Magron
• 2605.29959 #3 · arxiv_oai · confidence 0.70 Victor Magron
• 1307.7002 #3 · backfill · confidence 0.70 Victor Magron
• 1307.3231 #3 · backfill · confidence 0.70 Victor Magron

Frequent Coauthors

• Jean-Bernard Lasserre 15 shared papers
• Jie Wang 15 shared papers
• Ngoc Hoang Anh Mai 11 shared papers
• Igor Klep 8 shared papers
• Milan Korda 8 shared papers
• Mohab Safey El Din 5 shared papers
• Yoshio Ebihara 5 shared papers
• Benjamin Werner 4 shared papers
• Didier Henrion 4 shared papers
• Dimitri Peaucelle 4 shared papers
• Hayato Waki 4 shared papers
• Sophie Tarbouriech 4 shared papers
• St\'ephane Gaubert 4 shared papers
• Xavier Allamigeon 4 shared papers
• Alexandre Rocca 3 shared papers
• Edouard Pauwels 3 shared papers
• Jurij Vol\v{c}i\v{c} 3 shared papers
• Thao Dang 3 shared papers
• Tong Chen 3 shared papers
• Abhishek Bhardwaj 2 shared papers