-
Transport maps as flows of control-affine systems
Authors:
Marco Caponigro,
Arianna Vicari
Abstract:
We consider the problem of transporting \nota{one probability measure into another through} the flow of a given driftless control-affine system. Under suitable regularity conditions, the controllability of the system by means of open-loop controls is a sufficient condition for the existence of time-varying feedback controls such that the $1$-time flow of the system is the optimal transport map for…
▽ More
We consider the problem of transporting \nota{one probability measure into another through} the flow of a given driftless control-affine system. Under suitable regularity conditions, the controllability of the system by means of open-loop controls is a sufficient condition for the existence of time-varying feedback controls such that the $1$-time flow of the system is the optimal transport map for the quadratic cost.
△ Less
Submitted 20 June, 2025; v1 submitted 19 April, 2024;
originally announced April 2024.
-
On the controllability in projections for linear quantum systems
Authors:
Thomas Chambrion,
Nabile Boussaid,
Marco Caponigro
Abstract:
We present sufficient conditions for the exact controllability in projection of the linear Schr{ö}dinger equations in the case where the spectrum of the free Hamiltonian is pure point. We consider the general case in which the Hamiltonian may be nonlinear with respect to the control. The controllability result applies, in particular, to Schr{ö}dinger equations with a polarizability term.
We present sufficient conditions for the exact controllability in projection of the linear Schr{ö}dinger equations in the case where the spectrum of the free Hamiltonian is pure point. We consider the general case in which the Hamiltonian may be nonlinear with respect to the control. The controllability result applies, in particular, to Schr{ö}dinger equations with a polarizability term.
△ Less
Submitted 12 April, 2024;
originally announced April 2024.
-
On the Ball-Marsden-Slemrod obstruction for bilinear control systems
Authors:
Nabile Boussaid,
Marco Caponigro,
Thomas Chambrion
Abstract:
In this paper we present an extension to the case of $L^1$-controls of a famous result by Ball--Marsden--Slemrod on the obstruction to the controllability of bilinear control systems in infinite dimensional spaces.
In this paper we present an extension to the case of $L^1$-controls of a famous result by Ball--Marsden--Slemrod on the obstruction to the controllability of bilinear control systems in infinite dimensional spaces.
△ Less
Submitted 14 March, 2019;
originally announced March 2019.
-
Mean-Field Sparse Jurdjevic--Quinn Control
Authors:
Marco Caponigro,
Benedetto Piccoli,
Francesco Rossi,
Emmanuel Trélat
Abstract:
We consider nonlinear transport equations with non-local velocity, describing the time-evolution of a measure, which in practice may represent the density of a crowd. Such equations often appear by taking the mean-field limit of finite-dimensional systems modelling collective dynamics. We first give a sense to dissipativity of these mean-field equations in terms of Lie derivatives of a Lyapunov fu…
▽ More
We consider nonlinear transport equations with non-local velocity, describing the time-evolution of a measure, which in practice may represent the density of a crowd. Such equations often appear by taking the mean-field limit of finite-dimensional systems modelling collective dynamics. We first give a sense to dissipativity of these mean-field equations in terms of Lie derivatives of a Lyapunov function depending on the measure. Then, we address the problem of controlling such equations by means of a time-varying bounded control action localized on a time-varying control subset with bounded Lebesgue measure (sparsity space constraint). Finite-dimensional versions are given by control-affine systems, which can be stabilized by the well known Jurdjevic--Quinn procedure. In this paper, assuming that the uncontrolled dynamics are dissipative, we develop an approach in the spirit of the classical Jurdjevic--Quinn theorem, showing how to steer the system to an invariant sublevel of the Lyapunov function. The control function and the control domain are designed in terms of the Lie derivatives of the Lyapunov function, and enjoy sparsity properties in the sense that the control support is small. Finally, we show that our result applies to a large class of kinetic equations modelling multi-agent dynamics.
△ Less
Submitted 5 January, 2017;
originally announced January 2017.
-
Interaction Network, State Space and Control in Social Dynamics
Authors:
Aylin Aydogdu,
Marco Caponigro,
Sean McQuade,
Benedetto Piccoli,
Nastassia Pouradier Duteil,
Francesco Rossi,
Emmanuel Trélat
Abstract:
In the present chapter we study the emergence of global patterns in large groups in first and second-order multi-agent systems, focusing on two ingredients that influence the dynamics: the interaction network and the state space. The state space determines the types of equilibrium that can be reached by the system. Meanwhile, convergence to specific equilibria depends on the connectivity of the in…
▽ More
In the present chapter we study the emergence of global patterns in large groups in first and second-order multi-agent systems, focusing on two ingredients that influence the dynamics: the interaction network and the state space. The state space determines the types of equilibrium that can be reached by the system. Meanwhile, convergence to specific equilibria depends on the connectivity of the interaction network and on the interaction potential. When the system does not satisfy the necessary conditions for convergence to the desired equilibrium, control can be exerted, both on finite-dimensional systems and on their mean-field limit.
△ Less
Submitted 25 July, 2016; v1 submitted 1 July, 2016;
originally announced July 2016.
-
Regular propagators of bilinear quantum systems
Authors:
Thomas Chambrion,
Nabile Boussaid,
Marco Caponigro
Abstract:
The present analysis deals with the regularity of solutions of bilinear control systems of the type $x'=(A+u(t)B)x$where the state $x$ belongs to some complex infinite dimensional Hilbert space, the (possibly unbounded) linear operators $A$ and $B$ are skew-adjoint and the control $u$ is a real valued function. Such systems arise, for instance, in quantum control with the bilinear Schrödinger equa…
▽ More
The present analysis deals with the regularity of solutions of bilinear control systems of the type $x'=(A+u(t)B)x$where the state $x$ belongs to some complex infinite dimensional Hilbert space, the (possibly unbounded) linear operators $A$ and $B$ are skew-adjoint and the control $u$ is a real valued function. Such systems arise, for instance, in quantum control with the bilinear Schrödinger equation. For the sake of the regularity analysis, we consider a more general framework where $A$ and $B$ are generators of contraction semi-groups.Under some hypotheses on the commutator of the operators $A$ and $B$, it is possible to extend the definition of solution for controls in the set of Radon measures to obtain precise a priori energy estimates on the solutions, leading to a natural extension of the celebrated noncontrollability result of Ball, Marsden, and Slemrod in 1982. Complementary material to this analysis can be found in [hal-01537743v1]
△ Less
Submitted 30 September, 2019; v1 submitted 30 June, 2014;
originally announced June 2014.
-
Approximate controllability of the Schrödinger Equation with a polarizability term in higher Sobolev norms
Authors:
Nabile Boussaid,
Marco Caponigro,
Thomas Chambrion
Abstract:
This analysis is concerned with the controllability of quantum systems in the case where the standard dipolar approximation, involving the permanent dipole moment of the system, is corrected with a polarizability term, involving the field induced dipole moment. Sufficient conditions for approximate controllability are given. For transfers between eigenstates of the free Hamiltonian, the control la…
▽ More
This analysis is concerned with the controllability of quantum systems in the case where the standard dipolar approximation, involving the permanent dipole moment of the system, is corrected with a polarizability term, involving the field induced dipole moment. Sufficient conditions for approximate controllability are given. For transfers between eigenstates of the free Hamiltonian, the control laws are explicitly given. The results apply also for unbounded or non-regular potentials.
△ Less
Submitted 15 June, 2014;
originally announced June 2014.
-
Efficient finite dimensional approximations for the bilinear Schrodinger equation with bounded variation controls
Authors:
Nabile Boussaid,
Marco Caponigro,
Thomas Chambrion
Abstract:
This the text of a proceeding accepted for the 21st International Symposium on Mathematical Theory of Networks and Systems (MTNS 2014). We present some results of an ongoing research on the controllability problem of an abstract bilinear Schrodinger equation. We are interested by approximation of this equation by finite dimensional systems. Assuming that the uncontrolled term $A$ has a pure discre…
▽ More
This the text of a proceeding accepted for the 21st International Symposium on Mathematical Theory of Networks and Systems (MTNS 2014). We present some results of an ongoing research on the controllability problem of an abstract bilinear Schrodinger equation. We are interested by approximation of this equation by finite dimensional systems. Assuming that the uncontrolled term $A$ has a pure discrete spectrum and the control potential $B$ is in some sense regular with respect to $A$ we show that such an approximation is possible. More precisely the solutions are approximated by their projections on finite dimensional subspaces spanned by the eigenvectors of $A$. This approximation is uniform in time and in the control, if this control has bounded variation with a priori bounded total variation. Hence if these finite dimensional systems are controllable with a fixed bound on the total variation of the control then the system is approximatively controllable. The main outcome of our analysis is that we can build solutions for low regular controls such as bounded variation ones and even Radon measures.
△ Less
Submitted 9 June, 2014;
originally announced June 2014.
-
Regularization of chattering phenomena via bounded variation control
Authors:
Marco Caponigro,
Roberta Ghezzi,
Benedetto Piccoli,
Emmanuel Trélat
Abstract:
In control theory, the term chattering is used to refer to strong oscillations of controls, such as an infinite number of switchings over a compact interval of times. In this paper we focus on three typical occurences of chattering: the Fuller phenomenon, referring to situations where an optimal control switches an infinite number of times over a compact set; the Robbins phenomenon, concerning opt…
▽ More
In control theory, the term chattering is used to refer to strong oscillations of controls, such as an infinite number of switchings over a compact interval of times. In this paper we focus on three typical occurences of chattering: the Fuller phenomenon, referring to situations where an optimal control switches an infinite number of times over a compact set; the Robbins phenomenon, concerning optimal control problems with state constraints, meaning that the optimal trajectory touches the boundary of the constraint set an infinite number of times over a compact time interval; the Zeno phenomenon, referring as well to an infinite number of switchings over a compact set, for hybrid optimal control problems. From the practical point of view, when trying to compute an optimal trajectory, for instance by means of a shooting method, chattering may be a serious obstacle to convergence.
In this paper we propose a general regularization procedure, by adding an appropriate penalization of the total variation. This produces a quasi-optimal control, and we prove that the family of quasi-optimal solutions converges to the optimal solution of the initial problem as the penalization tends to zero. Under additional assumptions, we also quantify the quasi-optimality property by determining a speed of convergence of the costs.
△ Less
Submitted 31 August, 2016; v1 submitted 22 March, 2013;
originally announced March 2013.
-
Total Variation of the Control and Energy of Bilinear Quantum Systems
Authors:
Nabile Boussaid,
Marco Caponigro,
Thomas Chambrion
Abstract:
In the present note, we give two examples of bilinear quantum systems showing good agreement between the total variation of the control and the variation of the energy of solutions, with bounded or unbounded coupling term. The corresponding estimates in terms of the total variation of the control appear to be optimal.
In the present note, we give two examples of bilinear quantum systems showing good agreement between the total variation of the control and the variation of the energy of solutions, with bounded or unbounded coupling term. The corresponding estimates in terms of the total variation of the control appear to be optimal.
△ Less
Submitted 14 March, 2013;
originally announced March 2013.
-
Multi-input Schrödinger equation: controllability, tracking, and application to the quantum angular momentum
Authors:
Ugo Boscain,
Marco Caponigro,
Mario Sigalotti
Abstract:
We present a sufficient condition for approximate controllability of the bilinear discrete-spectrum Schrödinger equation exploiting the use of several controls. The controllability result extends to simultaneous controllability, approximate controllability in $H^s$, and tracking in modulus. The result is more general than those present in the literature even in the case of one control and permits…
▽ More
We present a sufficient condition for approximate controllability of the bilinear discrete-spectrum Schrödinger equation exploiting the use of several controls. The controllability result extends to simultaneous controllability, approximate controllability in $H^s$, and tracking in modulus. The result is more general than those present in the literature even in the case of one control and permits to treat situations in which the spectrum of the uncontrolled operator is very degenerate (e.g. it has multiple eigenvalues or equal gaps among different pairs of eigenvalues). We apply the general result to a rotating polar linear molecule, driven by three orthogonal external fields. A remarkable property of this model is the presence of infinitely many degeneracies and resonances in the spectrum preventing the application of the results in the literature.
△ Less
Submitted 18 February, 2013;
originally announced February 2013.
-
Which notion of energy for bilinear quantum systems?
Authors:
Nabile Boussaid,
Marco Caponigro,
Thomas Chambrion
Abstract:
In this note we investigate what is the best L^p-norm in order to describe the relation between the evolution of the state of a bilinear quantum system with the L^p-norm of the external field. Although L^2 has a structure more easy to handle, the L^1 norm is more suitable for this purpose. Indeed for every p>1, it is possible to steer, with arbitrary precision, a generic bilinear quantum system fr…
▽ More
In this note we investigate what is the best L^p-norm in order to describe the relation between the evolution of the state of a bilinear quantum system with the L^p-norm of the external field. Although L^2 has a structure more easy to handle, the L^1 norm is more suitable for this purpose. Indeed for every p>1, it is possible to steer, with arbitrary precision, a generic bilinear quantum system from any eigenstate of the free Hamiltonian to any other with a control of arbitrary small L^p norm. Explicit optimal costs for the L^1 norm are computed on an example.
△ Less
Submitted 4 February, 2013;
originally announced February 2013.
-
Energy Estimates for Low Regularity Bilinear Schrödinger Equations
Authors:
Nabile Boussaid,
Marco Caponigro,
Thomas Chambrion
Abstract:
This paper presents an energy estimate in terms of the total variation of the control for bilinear infinite dimensional quantum systems with unbounded potentials. These estimates allow a rigorous construction of propagators associated with controls of bounded variation. Moreover, upper bounds of the error made when replacing the infinite dimensional system by its finite dimensional Galerkin approx…
▽ More
This paper presents an energy estimate in terms of the total variation of the control for bilinear infinite dimensional quantum systems with unbounded potentials. These estimates allow a rigorous construction of propagators associated with controls of bounded variation. Moreover, upper bounds of the error made when replacing the infinite dimensional system by its finite dimensional Galerkin approximations is presented.
△ Less
Submitted 7 February, 2013; v1 submitted 4 February, 2013;
originally announced February 2013.
-
Sparse Stabilization and Control of Alignment Models
Authors:
Marco Caponigro,
Massimo Fornasier,
Benedetto Piccoli,
Emmanuel Trélat
Abstract:
From a mathematical point of view self-organization can be described as patterns to which certain dynamical systems modeling social dynamics tend spontaneously to be attracted. In this paper we explore situations beyond self-organization, in particular how to externally control such dynamical systems in order to eventually enforce pattern formation also in those situations where this wished phenom…
▽ More
From a mathematical point of view self-organization can be described as patterns to which certain dynamical systems modeling social dynamics tend spontaneously to be attracted. In this paper we explore situations beyond self-organization, in particular how to externally control such dynamical systems in order to eventually enforce pattern formation also in those situations where this wished phenomenon does not result from spontaneous convergence. Our focus is on dynamical systems of Cucker-Smale type, modeling consensus emergence, and we question the existence of stabilization and optimal control strategies which require the minimal amount of external intervention for nevertheless inducing consensus in a group of interacting agents. We provide a variational criterion to explicitly design feedback controls that are componentwise sparse, i.e. with at most one nonzero component at every instant of time. Controls sharing this sparsity feature are very realistic and convenient for practical issues. Moreover, the maximally sparse ones are instantaneously optimal in terms of the decay rate of a suitably designed Lyapunov functional, measuring the distance from consensus. As a consequence we provide a mathematical justification to the general principle according to which "sparse is better" in the sense that a policy maker, who is not allowed to predict future developments, should always consider more favorable to intervene with stronger action on the fewest possible instantaneous optimal leaders rather than trying to control more agents with minor strength in order to achieve group consensus. We then establish local and global sparse controllability properties to consensus and, finally, we analyze the sparsity of solutions of the finite time optimal control problem where the minimization criterion is a combination of the distance from consensus and of the l1-norm of the control.
△ Less
Submitted 21 March, 2014; v1 submitted 21 October, 2012;
originally announced October 2012.
-
Small time reachable set of bilinear quantum systems
Authors:
Nabile Boussaid,
Marco Caponigro,
Thomas Chambrion
Abstract:
This note presents an example of bilinear conservative system in an infinite dimensional Hilbert space for which approximate controllability in the Hilbert unit sphere holds for arbitrary small times. This situation is in contrast with the finite dimensional case and is due to the unboundedness of the drift operator.
This note presents an example of bilinear conservative system in an infinite dimensional Hilbert space for which approximate controllability in the Hilbert unit sphere holds for arbitrary small times. This situation is in contrast with the finite dimensional case and is due to the unboundedness of the drift operator.
△ Less
Submitted 9 July, 2012;
originally announced July 2012.
-
Controllability of the bilinear Schrödinger equation with several controls and application to a 3D molecule
Authors:
Ugo Boscain,
Marco Caponigro,
Mario Sigalotti
Abstract:
We show the approximate rotational controllability of a polar linear molecule by means of three nonresonant linear polarized laser fields. The result is based on a general approximate controllability result for the bilinear Schrödinger equation, with wavefunction varying in the unit sphere of an infinite-dimensional Hilbert space and with several control potentials, under the assumption that the i…
▽ More
We show the approximate rotational controllability of a polar linear molecule by means of three nonresonant linear polarized laser fields. The result is based on a general approximate controllability result for the bilinear Schrödinger equation, with wavefunction varying in the unit sphere of an infinite-dimensional Hilbert space and with several control potentials, under the assumption that the internal Hamiltonian has discrete spectrum.
△ Less
Submitted 26 April, 2012;
originally announced April 2012.
-
Periodic control laws for bilinear quantum systems with discrete spectrum
Authors:
Nabile Boussaïd,
Marco Caponigro,
Thomas Chambrion
Abstract:
We provide bounds on the error between dynamics of an infinite dimensional bilinear Schrödinger equation and of its finite dimensional Galerkin approximations. Standard averaging methods are used on the finite dimensional approximations to obtain constructive controllability results. As an illustration, the methods are applied on a model of a 2D rotating molecule.
We provide bounds on the error between dynamics of an infinite dimensional bilinear Schrödinger equation and of its finite dimensional Galerkin approximations. Standard averaging methods are used on the finite dimensional approximations to obtain constructive controllability results. As an illustration, the methods are applied on a model of a 2D rotating molecule.
△ Less
Submitted 19 November, 2011;
originally announced November 2011.
-
Implementation of logical gates on infinite dimensional quantum oscillators
Authors:
Nabile Boussaid,
Marco Caponigro,
Thomas Chambrion
Abstract:
In this paper we study the error in the approximate simultaneous controllability of the bilinear Schrodinger equation. We provide estimates based on a tracking algorithm for general bilinear quantum systems and on the study of the finite dimensional Galerkin approximations for a particular class of quantum systems, weakly-coupled systems. We then present two physical examples: the perturbed quantu…
▽ More
In this paper we study the error in the approximate simultaneous controllability of the bilinear Schrodinger equation. We provide estimates based on a tracking algorithm for general bilinear quantum systems and on the study of the finite dimensional Galerkin approximations for a particular class of quantum systems, weakly-coupled systems. We then present two physical examples: the perturbed quantum harmonic oscillator and the infinite potential well.
△ Less
Submitted 30 October, 2011;
originally announced October 2011.
-
Weakly-coupled systems in quantum control
Authors:
Nabile Boussaid,
Marco Caponigro,
Thomas Chambrion
Abstract:
This paper provides rigorous definitions and analysis of the dynamics of weakly-coupled systems and gives sufficient conditions for an infinite dimensional quantum control system to be weakly-coupled. As an illustration we provide examples chosen among common physical systems.
This paper provides rigorous definitions and analysis of the dynamics of weakly-coupled systems and gives sufficient conditions for an infinite dimensional quantum control system to be weakly-coupled. As an illustration we provide examples chosen among common physical systems.
△ Less
Submitted 31 March, 2013; v1 submitted 9 September, 2011;
originally announced September 2011.
-
A weak spectral condition for the controllability of the bilinear Schrödinger equation with application to the control of a rotating planar molecule
Authors:
Ugo Boscain,
Marco Caponigro,
Thomas Chambrion,
Mario Sigalotti
Abstract:
In this paper we prove an approximate controllability result for the bilinear Schrödinger equation. This result requires less restrictive non-resonance hypotheses on the spectrum of the uncontrolled Schrödinger operator than those present in the literature. The control operator is not required to be bounded and we are able to extend the controllability result to the density matrices. The proof is…
▽ More
In this paper we prove an approximate controllability result for the bilinear Schrödinger equation. This result requires less restrictive non-resonance hypotheses on the spectrum of the uncontrolled Schrödinger operator than those present in the literature. The control operator is not required to be bounded and we are able to extend the controllability result to the density matrices. The proof is based on fine controllability properties of the finite dimensional Galerkin approximations and allows to get estimates for the $L^{1}$ norm of the control. The general controllability result is applied to the problem of controlling the rotation of a bipolar rigid molecule confined on a plane by means of two orthogonal external fields.
△ Less
Submitted 25 October, 2011; v1 submitted 22 January, 2011;
originally announced January 2011.
-
Families of vector fields which generate the group of diffeomorphisms
Authors:
Andrei Agrachev,
Marco Caponigro
Abstract:
Given a compact manifold M, we prove that any bracket generating and invariant under multiplication on smooth functions family of vector fields on M generates the connected component of unit of the group Diff(M).
Given a compact manifold M, we prove that any bracket generating and invariant under multiplication on smooth functions family of vector fields on M generates the connected component of unit of the group Diff(M).
△ Less
Submitted 28 April, 2008;
originally announced April 2008.
