Showing 1–14 of 14 results for author: Legat, B

Certifying ground-state properties of quantum many-body systems

Authors: Jie Wang, Jacopo Surace, Irénée Frérot, Benoît Legat, Marc-Olivier Renou, Victor Magron, Antonio Acín

Abstract: A ubiquitous problem in quantum physics is to understand the ground-state properties of many-body systems. Confronted with the fact that exact diagonalisation quickly becomes impossible when increasing the system size, variational approaches are typically employed as a scalable alternative: energy is minimised over a subset of all possible states and then different physical quantities are computed… ▽ More A ubiquitous problem in quantum physics is to understand the ground-state properties of many-body systems. Confronted with the fact that exact diagonalisation quickly becomes impossible when increasing the system size, variational approaches are typically employed as a scalable alternative: energy is minimised over a subset of all possible states and then different physical quantities are computed over the solution state. Despite remarkable success, rigorously speaking, all what variational methods offer are upper bounds on the ground-state energy. On the other hand, so-called relaxations of the ground-state problem based on semidefinite programming represent a complementary approach, providing lower bounds to the ground-state energy. However, in their current implementation, neither variational nor relaxation methods offer provable bound on other observables in the ground state beyond the energy. In this work, we show that the combination of the two classes of approaches can be used to derive certifiable bounds on the value of any observable in the ground state, such as correlation functions of arbitrary order, structure factors, or order parameters. We illustrate the power of this approach in paradigmatic examples of 1D and 2D spin-one-half Heisenberg models. To improve the scalability of the method, we exploit the symmetries and sparsity of the considered systems to reach sizes of hundreds of particles at much higher precision than previous works. Our analysis therefore shows how to obtain certifiable bounds on many-body ground-state properties beyond energy in a scalable way. △ Less

Submitted 4 March, 2024; v1 submitted 9 October, 2023; originally announced October 2023.

Comments: 25 pages, 14 figures, 15 tables

Sequential sum-of-squares programming for analysis of nonlinear systems

Authors: Torbjørn Cunis, Benoît Legat

Abstract: Numerous interesting properties in nonlinear systems analysis can be written as polynomial optimization problems with nonconvex sum-of-squares problems. To solve those problems efficiently, we propose a sequential approach of local linearizations leading to tractable, convex sum-of-squares problems. Local convergence is proven under the assumption of strong regularity and the new approach is appli… ▽ More Numerous interesting properties in nonlinear systems analysis can be written as polynomial optimization problems with nonconvex sum-of-squares problems. To solve those problems efficiently, we propose a sequential approach of local linearizations leading to tractable, convex sum-of-squares problems. Local convergence is proven under the assumption of strong regularity and the new approach is applied to estimate the region of attraction of a polynomial aircraft model. △ Less

Submitted 5 October, 2022; originally announced October 2022.

Comments: Submitted to 2023 American Control Conference

Journal ref: 2023 American Control Conference

Flexible Differentiable Optimization via Model Transformations

Authors: Mathieu Besançon, Joaquim Dias Garcia, Benoît Legat, Akshay Sharma

Abstract: We introduce DiffOpt.jl, a Julia library to differentiate through the solution of optimization problems with respect to arbitrary parameters present in the objective and/or constraints. The library builds upon MathOptInterface, thus leveraging the rich ecosystem of solvers and composing well with modeling languages like JuMP. DiffOpt offers both forward and reverse differentiation modes, enabling… ▽ More We introduce DiffOpt.jl, a Julia library to differentiate through the solution of optimization problems with respect to arbitrary parameters present in the objective and/or constraints. The library builds upon MathOptInterface, thus leveraging the rich ecosystem of solvers and composing well with modeling languages like JuMP. DiffOpt offers both forward and reverse differentiation modes, enabling multiple use cases from hyperparameter optimization to backpropagation and sensitivity analysis, bridging constrained optimization with end-to-end differentiable programming. DiffOpt is built on two known rules for differentiating quadratic programming and conic programming standard forms. However, thanks ability to differentiate through model transformation, the user is not limited to these forms and can differentiate with respect to the parameters of any model that can be reformulated into these standard forms. This notably includes programs mixing affine conic constraints and convex quadratic constraints or objective function. △ Less

Submitted 31 July, 2023; v1 submitted 10 June, 2022; originally announced June 2022.

Low-Rank Univariate Sum of Squares Has No Spurious Local Minima

Authors: Benoît Legat, Chenyang Yuan, Pablo A. Parrilo

Abstract: We study the problem of decomposing a polynomial $p$ into a sum of $r$ squares by minimizing a quadratically penalized objective $f_p(\mathbf{u}) = \left\lVert \sum_{i=1}^r u_i^2 - p\right\lVert^2$. This objective is nonconvex and is equivalent to the rank-$r$ Burer-Monteiro factorization of a semidefinite program (SDP) encoding the sum of squares decomposition. We show that for all univariate pol… ▽ More We study the problem of decomposing a polynomial $p$ into a sum of $r$ squares by minimizing a quadratically penalized objective $f_p(\mathbf{u}) = \left\lVert \sum_{i=1}^r u_i^2 - p\right\lVert^2$. This objective is nonconvex and is equivalent to the rank-$r$ Burer-Monteiro factorization of a semidefinite program (SDP) encoding the sum of squares decomposition. We show that for all univariate polynomials $p$, if $r \ge 2$ then $f_p(\mathbf{u})$ has no spurious second-order critical points, showing that all local optima are also global optima. This is in contrast to previous work showing that for general SDPs, in addition to genericity conditions, $r$ has to be roughly the square root of the number of constraints (the degree of $p$) for there to be no spurious second-order critical points. Our proof uses tools from computational algebraic geometry and can be interpreted as constructing a certificate using the first- and second-order necessary conditions. We also show that by choosing a norm based on sampling equally-spaced points on the circle, the gradient $\nabla f_p$ can be computed in nearly linear time using fast Fourier transforms. Experimentally we demonstrate that this method has very fast convergence using first-order optimization algorithms such as L-BFGS, with near-linear scaling to million-degree polynomials. △ Less

Submitted 7 July, 2023; v1 submitted 23 May, 2022; originally announced May 2022.

Comments: 18 pages, to appear in SIAM Journal on Optimization

MSC Class: 90C23; 90C26; 90C22 ACM Class: G.1.6; F.2.1

Journal ref: SIAM Journal on Optimization, Vol. 33, Iss. 3 (2023)

Geometric control of hybrid systems

Authors: Benoît Legat, Raphaël M. Jungers

Abstract: In this paper, we present a geometric approach for computing controlled invariant sets for hybrid control systems. While the problem is well studied in the ellipsoidal case, this family is quite conservative for constrained or switched linear systems. We reformulate the invariance of a set as an inequality for its support function that is valid for any convex set. This produces novel algebraic con… ▽ More In this paper, we present a geometric approach for computing controlled invariant sets for hybrid control systems. While the problem is well studied in the ellipsoidal case, this family is quite conservative for constrained or switched linear systems. We reformulate the invariance of a set as an inequality for its support function that is valid for any convex set. This produces novel algebraic conditions for the invariance of sets with polynomial or piecewise quadratic support function. △ Less

Submitted 6 December, 2021; originally announced December 2021.

Comments: 20 pages, 2 figures, submitted to Nonlinear Analysis: Hybrid Systems (NAHS). arXiv admin note: substantial text overlap with arXiv:2101.06990

MSC Class: 93D15; 93D30; 93B40; 93B05; 93B25; 93B40 ACM Class: F.2.1; G.1.6

Geometric control of algebraic systems

Authors: Benoît Legat, Raphaël M. Jungers

Abstract: In this paper, we present a geometric approach for computing the controlled invariant set of a continuous-time control system. While the problem is well studied for in the ellipsoidal case, this family is quite conservative for constrained or switched linear systems. We reformulate the invariance of a set as an inequality for its support function that is valid for any convex set. This produces nov… ▽ More In this paper, we present a geometric approach for computing the controlled invariant set of a continuous-time control system. While the problem is well studied for in the ellipsoidal case, this family is quite conservative for constrained or switched linear systems. We reformulate the invariance of a set as an inequality for its support function that is valid for any convex set. This produces novel algebraic conditions for the invariance of sets with polynomial or piecewise quadratic support function. We compare it with the common algebraic approach for polynomial sublevel sets and show that it is significantly more conservative than our method. △ Less

Submitted 18 January, 2021; originally announced January 2021.

Comments: 7 pages, 2 figures, submitted to the 7th IFAC Conference on Analysis and Design of Hybrid Systems (ADHS 2021)

MSC Class: 93D15; 93D30; 93B40; 93B05; 93B25; 93B40 ACM Class: F.2.1; G.1.6

Abstraction-based branch and bound approach to Q-learning for hybrid optimal control

Authors: Benoît Legat, Raphaël M. Jungers, Jean Bouchat

Abstract: In this paper, we design a theoretical framework allowing to apply model predictive control on hybrid systems. For this, we develop a theory of approximate dynamic programming by leveraging the concept of alternating simulation. We show how to combine these notions in a branch and bound algorithm that can further refine the Q-functions using Lagrangian duality. We illustrate the approach on a nume… ▽ More In this paper, we design a theoretical framework allowing to apply model predictive control on hybrid systems. For this, we develop a theory of approximate dynamic programming by leveraging the concept of alternating simulation. We show how to combine these notions in a branch and bound algorithm that can further refine the Q-functions using Lagrangian duality. We illustrate the approach on a numerical example. △ Less

Submitted 22 November, 2020; originally announced November 2020.

Comments: 13 pages, 1 figure, submitted to the 3rd Annual Learning for Dynamics & Control Conference (L4DC 2021)

MSC Class: 49M29; 90C57; 93B47; 93B45 ACM Class: F.2.1; G.1.2; G.1.6

Stability of Planar Switched Systems under Delayed Event Detection

Authors: Benoît Legat, Cláudio Gomes, Paschalis Karalis, Raphaël M. Jungers, Eva M. Navarro-López, Hans Vangheluwe

Abstract: In this paper, we analyse the impact of delayed event detection on the stability of a 2-mode planar hybrid automata. We consider hybrid automata with a unique equilibrium point for all the modes, and we find the maximum delay that preserves stability of that equilibrium point. We also show for the class of hybrid automata treated that the instability of the equilibrium point for the equivalent hyb… ▽ More In this paper, we analyse the impact of delayed event detection on the stability of a 2-mode planar hybrid automata. We consider hybrid automata with a unique equilibrium point for all the modes, and we find the maximum delay that preserves stability of that equilibrium point. We also show for the class of hybrid automata treated that the instability of the equilibrium point for the equivalent hybrid automaton with delay in the transitions is equivalent to the existence of a closed orbit in the hybrid state space, a result that is inspired by the Joint Spectral Radius theorem. This leads to an algorithm for computing the maximum stable delay exactly. Other potential applications of our technique include co-simulation, networked control systems and delayed controlled switching with a state feedback control. △ Less

Submitted 9 September, 2020; originally announced September 2020.

Comments: This is the extended version of the corresponding paper at the CDC Conference: Legat, Benoît, Cláudio Gomes, Paschalis Karalis, Raphaël M. Jungers, Eva M. Navarro-López, and Hans Vangheluwe. "Stability of Planar Switched Systems under Delayed Event Detection." In 2020 IEEE 59th Conference on Decision and Control. Virtual event: IEEE Comput. Soc. Press, 2020

MSC Class: 65P40 ACM Class: G.1.0

Piecewise semi-ellipsoidal control invariant sets

Authors: Benoît Legat, Saša V. Raković, Raphaël M. Jungers

Abstract: Computing control invariant sets is paramount in many applications. The families of sets commonly used for computations are ellipsoids and polyhedra. However, searching for a control invariant set over the family of ellipsoids is conservative for systems more complex than unconstrained linear time invariant systems. Moreover, even if the control invariant set may be approximated arbitrarily closel… ▽ More Computing control invariant sets is paramount in many applications. The families of sets commonly used for computations are ellipsoids and polyhedra. However, searching for a control invariant set over the family of ellipsoids is conservative for systems more complex than unconstrained linear time invariant systems. Moreover, even if the control invariant set may be approximated arbitrarily closely by polyhedra, the complexity of the polyhedra may grow rapidly in certain directions. An attractive generalization of these two families are piecewise semi-ellipsoids. We provide in this paper a convex programming approach for computing control invariant sets of this family. △ Less

Submitted 6 July, 2020; originally announced July 2020.

Comments: 7 pages, 3 figures, to be published in IEEE Control Systems Letters

MSC Class: 93D15; 93D30; 93B40; 93B05; 93B25; 93B40 ACM Class: F.2.1; G.1.6

MathOptInterface: a data structure for mathematical optimization problems

Authors: Benoit Legat, Oscar Dowson, Joaquim Dias Garcia, Miles Lubin

Abstract: We introduce MathOptInterface, an abstract data structure for representing mathematical optimization problems based on combining pre-defined functions and sets. MathOptInterface is significantly more general than existing data structures in the literature, encompassing, for example, a spectrum of problems classes from integer programming with indicator constraints to bilinear semidefinite programm… ▽ More We introduce MathOptInterface, an abstract data structure for representing mathematical optimization problems based on combining pre-defined functions and sets. MathOptInterface is significantly more general than existing data structures in the literature, encompassing, for example, a spectrum of problems classes from integer programming with indicator constraints to bilinear semidefinite programming. We also outline an automated rewriting system between equivalent formulations of a constraint. MathOptInterface has been implemented in practice, forming the foundation of a recent rewrite of JuMP, an open-source algebraic modeling language in the Julia language. The regularity of the MathOptInterface representation leads naturally to a general file format for mathematical optimization we call MathOptFormat. In addition, the automated rewriting system provides modeling power to users while making it easy to connect new solvers to JuMP. △ Less

Submitted 16 September, 2020; v1 submitted 9 February, 2020; originally announced February 2020.

An entropy-based bound for the computational complexity of a switched system

Authors: Benoît Legat, Pablo A. Parrilo, Raphaël M. Jungers

Abstract: The joint spectral radius (JSR) of a set of matrices characterizes the maximal asymptotic growth rate of an infinite product of matrices of the set. This quantity appears in a number of applications including the stability of switched and hybrid systems. A popular method used for the stability analysis of these systems searches for a Lyapunov function with convex optimization tools. We analyse the… ▽ More The joint spectral radius (JSR) of a set of matrices characterizes the maximal asymptotic growth rate of an infinite product of matrices of the set. This quantity appears in a number of applications including the stability of switched and hybrid systems. A popular method used for the stability analysis of these systems searches for a Lyapunov function with convex optimization tools. We analyse the accuracy of this method for constrained switched systems, a class of systems that has attracted increasing attention recently. We provide a new guarantee for the upper bound provided by the sum of squares implementation of the method. This guarantee relies on the p-radius of the system and the entropy of the language of allowed switching sequences. We end this paper with a method to reduce the computation of the JSR of low rank matrices to the computation of the constrained JSR of matrices of small dimension. △ Less

Submitted 1 July, 2019; originally announced July 2019.

Comments: 8 pages, 4 figures, will appear in IEEE Transactions on Automatic Control. arXiv admin note: substantial text overlap with arXiv:1710.01814

MSC Class: 93D05; 93D20; 93D30 ACM Class: F.2.1; G.1.6

Minimally Constrained Stable Switched Systems and Application to Co-simulation

Authors: Cláudio Gomes, Raphaël M. Jungers, Benoît Legat, Hans Vangheluwe

Abstract: We propose an algorithm to restrict the switching signals of a constrained switched system in order to guarantee its stability, while at the same time attempting to keep the largest possible set of allowed switching signals. Our work is motivated by applications to (co-)simulation, where numerical stability is a hard constraint, but should be attained by restricting as little as possible the allow… ▽ More We propose an algorithm to restrict the switching signals of a constrained switched system in order to guarantee its stability, while at the same time attempting to keep the largest possible set of allowed switching signals. Our work is motivated by applications to (co-)simulation, where numerical stability is a hard constraint, but should be attained by restricting as little as possible the allowed behaviours of the simulators. We apply our results to certify the stability of an adaptive co-simulation orchestration algorithm, which selects the optimal switching signal at run-time, as a function of (varying) performance and accuracy requirements. △ Less

Submitted 7 September, 2018; originally announced September 2018.

Comments: Technical report complementing the following conference publication: Gomes, Cláudio, Benoît Legat, Raphaël Jungers, and Hans Vangheluwe. "Minimally Constrained Stable Switched Systems and Application to Co-Simulation." In IEEE Conference on Decision and Control. Miami Beach, FL, USA, 2018

MSC Class: 68U20; 34K34; 93Dxx

Computing controlled invariant sets for hybrid systems with applications to model-predictive control

Authors: Benoît Legat, Paulo Tabuada, Raphaël M. Jungers

Abstract: In this paper, we develop a method for computing controlled invariant sets using Semidefinite Programming. We apply our method to the controller design problem for switching affine systems with polytopic safe sets. The task is reduced to a semidefinite programming problem by enforcing an invariance relation in the dual space of the geometric problem. The paper ends with an application to safety cr… ▽ More In this paper, we develop a method for computing controlled invariant sets using Semidefinite Programming. We apply our method to the controller design problem for switching affine systems with polytopic safe sets. The task is reduced to a semidefinite programming problem by enforcing an invariance relation in the dual space of the geometric problem. The paper ends with an application to safety critical model predictive control. △ Less

Submitted 17 February, 2018; v1 submitted 13 February, 2018; originally announced February 2018.

Comments: 7 pages, 7 figures, submitted to ADHS 2018 (under review)

MSC Class: 93D15; 93D30; 93B40; 93B05; 93B25; 93B40 ACM Class: F.2.1; G.1.6

Certifying unstability of Switched Systems using Sum of Squares Programming

Authors: B. Legat, P. A. Parrilo, R. M. Jungers

Abstract: The joint spectral radius (JSR) of a set of matrices characterizes the maximal asymptotic growth rate of an infinite product of matrices of the set. This quantity appears in a number of applications including the stability of switched and hybrid systems. A popular method used for the stability analysis of these systems searches for a Lyapunov function with convex optimization tools. We investigate… ▽ More The joint spectral radius (JSR) of a set of matrices characterizes the maximal asymptotic growth rate of an infinite product of matrices of the set. This quantity appears in a number of applications including the stability of switched and hybrid systems. A popular method used for the stability analysis of these systems searches for a Lyapunov function with convex optimization tools. We investigate dual formulations for this approach and leverage these dual programs for develo** new analysis tools for the JSR. We show that the dual of this convex problem searches for the occupations measures of trajectories with high asymptotic growth rate. We both show how to generate a sequence of guaranteed high asymptotic growth rate and how to detect cases where we can provide lower bounds to the JSR. We deduce from it a new guarantee for the upper bound provided by the sum of squares lyapunov program. We end this paper with a method to reduce the computation of the JSR of low rank matrices to the computation of the constrained JSR of matrices of small dimension. All results of this paper are presented for the general case of constrained switched systems, that is, systems for which the switching signal is constrained by an automaton. △ Less

Submitted 4 October, 2017; originally announced October 2017.

Comments: 25 pages (31 including abstract), 6 figures, submitted to SICON (under review)

MSC Class: 93D05; 93D20; 93D30 ACM Class: F.2.1; G.1.6