BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Francesco Rossi

Francesco Rossi appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math.OCmath.APmath-phmath.DGmath.DSmath.MPphysics.soc-phmath.CAmath.MGmath.NA

Catalog footprint

What is connected

25works
10topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

25 published item(s)

preprint2022arXiv

Retracing Reconstruction. Establishing an analytical method for the comprehension and systematisation of urban metamorphosis following extreme events

The problem of identifying models of post-disaster reconstruction is an issue that has been dealt with in depth in a number of works, mostly dedicated to individual cases or to the comparison of models. There are also a number of works that have attempted a systematisation on an historiographic basis. To date, however, there is no overall work aimed at constructing a quantitative method for evaluating and comparing reconstruction experiences. This article proposes to establish a scientific method for the systematic classification of post-disaster reconstructions, based on data analysis. The method consists of four phases: the redrawing of cases with a precise replicable technique; the choice of indicators; the measurement of urban development; the classification of cases. The method is applied to cases that are comparable with each other in terms of type of event and period: we have chosen post-World War II reconstructions in Europe given the larger availability of documentation. The paper leads both to the consolidation of the model as effective and replicable and to the construction of the application, which revises the qualitative classification of most of the addressed cases.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

Generalized solutions to bounded-confidence models

Bounded-confidence models in social dynamics describe multi-agent systems, where each individual interacts only locally with others. Several models are written as systems of ordinary differential equations with discontinuous right-hand side: this is a direct consequence of restricting interactions to a bounded region with non-vanishing strength at the boundary. Various works in the literature analyzed properties of solutions, such as barycenter invariance and clustering. On the other side, the problem of giving a precise definition of solution, from an analytical point of view, was often overlooked. However, a rich literature proposing different concepts of solution to discontinuous differential equations is available. Using several concepts of solution, we show how existence is granted under general assumptions, while uniqueness may fail even in dimension one, but holds for almost every initial conditions. Consequently, various properties of solutions depend on the used definition and initial conditions.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

Intrinsic Lipschitz Regularity of Mean-Field Optimal Controls

In this article, we provide sufficient conditions under which the controlled vector fields solution of optimal control problems formulated on continuity equations are Lipschitz regular in space. Our approach involves a novel combination of mean-field approximations for infinite-dimensional multi-agent optimal control problems, along with a careful extension of an existence result of locally optimal Lipschitz feedbacks. The latter is based on the reformulation of a coercivity estimate in the language of Wasserstein calculus, which is used to obtain uniform Lipschitz bounds along sequences of approximations by empirical measures.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

The Pontryagin Maximum Principle in the Wasserstein Space

We prove a Pontryagin Maximum Principle for optimal control problems in the space of probability measures, where the dynamics is given by a transport equation with non-local velocity. We formulate this first-order optimality condition using the formalism of subdifferential calculus in Wasserstein spaces. We show that the geometric approach based on needle variations and on the evolution of the covector (here replaced by the evolution of a mesure on the dual space) can be translated into this formalism.

0 citations0 reviewsNo code linkedOpen access
preprint2019arXiv

Minimal time for the continuity equation controlled by a localized perturbation of the velocity vector field

In this work, we study the minimal time to steer a given crowd to a desired configuration. The control is a vector field, representing a perturbation of the crowd velocity, localized on a fixed control set. We will assume that there is no interaction between the agents. We give a characterization of the minimal time both for microscopic and macroscopic descriptions of a crowd. We show that the minimal time to steer one initial configuration to another is related to the condition of having enough mass in the control region to feed the desired final configuration. The construction of the control is explicit, providing a numerical algorithm for computing it. We finally give some numerical simulations.

0 citations0 reviewsNo code linkedOpen access
preprint2017arXiv

Approximate and exact controllability of the continuity equation with a localized vector field

We study the controllability of a Partial Differential Equation of transport type, that arises in crowd models. We are interested in controlling it with a control being a vector field, representing a perturbation of the velocity, localized on a fixed control set. We prove that, for each initial and final configuration, one can steer approximately one to another with Lipschitz controls when the uncontrolled dynamics allows to cross the control set. We also show that the exact controllability only holds for controls with less regularity, for which one may lose uniqueness of the associated solution.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Control of reaction-diffusion equations on time-evolving manifolds

Among the main actors of organism development there are morphogens, which are signaling molecules diffusing in the developing organism and acting on cells to produce local responses. Growth is thus determined by the distribution of such signal. Meanwhile, the diffusion of the signal is itself affected by the changes in shape and size of the organism. In other words, there is a complete coupling between the diffusion of the signal and the change of the shapes. In this paper, we introduce a mathematical model to investigate such coupling. The shape is given by a manifold, that varies in time as the result of a deformation given by a transport equation. The signal is represented by a density, diffusing on the manifold via a diffusion equation. We show the non-commutativity of the transport and diffusion evolution by introducing a new concept of Lie bracket between the diffusion and the transport operator. We also provide numerical simulations showing this phenomenon.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Interaction Network, State Space and Control in Social Dynamics

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.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Traffic regulation via controlled speed limit

We study an optimal control problem for traffic regulation via variable speed limit. The traffic flow dynamics is described with the Lighthill-Whitham-Richards (LWR) model with Newell-Daganzo flux function. We aim at minimizing the $L^2$ quadratic error to a desired outflow, given an inflow on a single road. We first provide existence of a minimizer and compute analytically the cost functional variations due to needle-like variation in the control policy. Then, we compare three strategies: instantaneous policy; random exploration of control space; steepest descent using numerical expression of gradient. We show that the gradient technique is able to achieve a cost within 10% of random exploration minimum with better computational performances.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

A traffic flow model with non-smooth metric interaction: well-posedness and micro-macro limit

We prove existence and uniqueness of solutions to a transport equation modelling vehicular traffic in which the velocity field depends non-locally on the downstream traffic density via a discontinuous anisotropic kernel. The result is obtained recasting the problem in the space of probability measures equipped with the $\infty$-Wasserstein distance. We also show convergence of solutions of a finite dimensional system, which provide a particle method to approximate the solutions to the original problem.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Developmental Partial Differential Equations

In this paper, we introduce the concept of Developmental Partial Differential Equation (DPDE), which consists of a Partial Differential Equation (PDE) on a time-varying manifold with complete coupling between the PDE and the manifold's evolution. In other words, the manifold's evolution depends on the solution to the PDE, and vice versa the differential operator of the PDE depends on the manifold's geometry. DPDE is used to study a diffusion equation with source on a growing surface whose growth depends on the intensity of the diffused quantity. The surface may, for instance, represent the membrane of an egg chamber and the diffused quantity a protein activating a signaling pathway leading to growth. Our main objective is to show controllability of the surface shape using a fixed source with variable intensity for the diffusion. More specifically, we look for a control driving a symmetric manifold shape to any other symmetric shape in a given time interval. For the diffusion we take directly the Laplace-Beltrami operator of the surface, while the surface growth is assumed to be equal to the value of the diffused quantity. We introduce a theoretical framework, provide approximate controllability and show numerical results. Future applications include a specific model for the oogenesis of Drosophila melanogaster.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Mean-Field Pontryagin Maximum Principle

We derive a Maximum Principle for optimal control problems with constraints given by the coupling of a system of ODEs and a PDE of Vlasov-type. Such problems arise naturally as $Γ$-limits of optimal control problems subject to ODE constraints, modeling, for instance, external interventions on crowd dynamics. We obtain these first-order optimality conditions in the form of Hamiltonian flows in the Wasserstein space of probability measures with forward-backward boundary conditions with respect to the first and second marginals, respectively. In particular, we recover the equations and their solutions by means of a constructive procedure, which can be seen as the mean-field limit of the Pontryagin Maximum Principle applied to the discrete optimal control problems, under a suitable scaling of the adjoint variables.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Control to flocking of the kinetic Cucker-Smale model

The well-known Cucker-Smale model is a macroscopic system reflecting flocking, i.e. the alignment of velocities in a group of autonomous agents having mutual interactions. In the present paper, we consider the mean-field limit of that model, called the kinetic Cucker-Smale model, which is a transport partial differential equation involving nonlocal terms. It is known that flocking is reached asymptotically whenever the initial conditions of the group of agents are in a favorable configuration. For other initial configurations, it is natural to investigate whether flocking can be enforced by means of an appropriate external force, applied to an adequate time-varying subdomain. In this paper we prove that we can drive to flocking any group of agents governed by the kinetic Cucker-Smale model, by means of a sparse centralized control strategy, and this, for any initial configuration of the crowd. Here, "sparse control" means that the action at each time is limited over an arbitrary proportion of the crowd, or, as a variant, of the space of configurations; "centralized" means that the strategy is computed by an external agent knowing the configuration of all agents. We stress that we do not only design a control function (in a sampled feedback form), but also a time-varying control domain on which the action is applied. The sparsity constraint reflects the fact that one cannot act on the whole crowd at every instant of time. Our approach is based on geometric considerations on the velocity field of the kinetic Cucker-Smale PDE, and in particular on the analysis of the particle flow generated by this vector field. The control domain and the control functions are designed to satisfy appropriate constraints, and such that, for any initial configuration, the velocity part of the support of the measure solution asymptotically shrinks to a singleton, which means flocking.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Mean-Field Sparse Optimal Control

We introduce the rigorous limit process connecting finite dimensional sparse optimal control problems with ODE constraints, modeling parsimonious interventions on the dynamics of a moving population divided into leaders and followers, to an infinite dimensional optimal control problem with a constraint given by a system of ODE for the leaders coupled with a PDE of Vlasov-type, governing the dynamics of the probability distribution of the followers. In the classical mean-field theory one studies the behavior of a large number of small individuals freely interacting with each other, by simplifying the effect of all the other individuals on any given individual by a single averaged effect. In this paper we address instead the situation where the leaders are actually influenced also by an external policy maker, and we propagate its effect for the number $N$ of followers going to infinity. The technical derivation of the sparse mean-field optimal control is realized by the simultaneous development of the mean-field limit of the equations governing the followers dynamics together with the $Γ$-limit of the finite dimensional sparse optimal control problems.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

On properties of the Generalized Wasserstein distance

The Wasserstein distances $W_p$ ($p\geq 1$), defined in terms of solution to the Monge-Kantorovich problem, are known to be a useful tool to investigate transport equations. In particular, the Benamou-Brenier formula characterizes the square of the Wasserstein distance $W_2$ as the infimum of the kinetic energy, or action functional, of all vector fields moving one measure to the other. Another important property of the Wasserstein distances is the Kantorovich-Rubinstein duality stating the equality between the distance $W_1$ and the supremum of the integrals of Lipschitz continuous functions with Lipschitz constant bounded by one. An intrinsic limitation of Wasserstein distances is the fact that they are defined only between measures having the same mass. To overcome such limitation, we recently introduced the generalized Wasserstein distances $W_p^{a,b}$, defined in terms of both the classical Wasserstein distance $W_p$ and the total variation (or $L^1$) distance. Here $p$ plays the same role as for the classic Wasserstein distance, while $a$ and $b$ are weights for the transport and the total variation term. In this paper we prove two important properties of the generalized Wasserstein distances: 1) a generalized Benamou-Brenier formula providing the equality between $W_2^{a,b}$ and the supremum of an action functional, which includes a transport term (kinetic energy) and a source term. 2) a duality à la Kantorovich-Rubinstein establishing the equality between $W_1^{1,1}$ and the flat metric.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Approximate controllability, exact controllability, and conical eigenvalue intersections for quantum mechanical systems

We study the controllability of a closed control-affine quantum system driven by two or more external fields. We provide a sufficient condition for controllability in terms of existence of conical intersections between eigenvalues of the Hamiltonian in dependence of the controls seen as parameters. Such spectral condition is structurally stable in the case of three controls or in the case of two controls when the Hamiltonian is real. The spectral condition appears naturally in the adiabatic control framework and yields approximate controllability in the infinite-dimensional case. In the finite-dimensional case it implies that the system is Lie-bracket generating when lifted to the group of unitary transformations, and in particular that it is exactly controllable. Hence, Lie algebraic conditions are deduced from purely spectral properties. We conclude the article by proving that approximate and exact controllability are equivalent properties for general finite-dimensional quantum systems.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Curve cuspless reconstruction via sub-Riemannian geometry

We consider the problem of minimizing $\int_{0}^L \sqrt{ξ^2 +K^2(s)}\, ds $ for a planar curve having fixed initial and final positions and directions. The total length $L$ is free. Here $s$ is the variable of arclength parametrization, $K(s)$ is the curvature of the curve and $ξ>0$ a parameter. This problem comes from a model of geometry of vision due to Petitot, Citti and Sarti. We study existence of local and global minimizers for this problem. We prove that if for a certain choice of boundary conditions there is no global minimizer, then there is neither a local minimizer nor a geodesic. We finally give properties of the set of boundary conditions for which there exists a solution to the problem.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Anthropomorphic image reconstruction via hypoelliptic diffusion

In this paper we study a model of geometry of vision due to Petitot, Citti and Sarti. One of the main features of this model is that the primary visual cortex V1 lifts an image from $R^2$ to the bundle of directions of the plane. Neurons are grouped into orientation columns, each of them corresponding to a point of this bundle. In this model a corrupted image is reconstructed by minimizing the energy necessary for the activation of the orientation columns corresponding to regions in which the image is corrupted. The minimization process intrinsically defines an hypoelliptic heat equation on the bundle of directions of the plane. In the original model, directions are considered both with and without orientation, giving rise respectively to a problem on the group of rototranslations of the plane SE(2) or on the projective tangent bundle of the plane $PTR^2$. We provide a mathematical proof of several important facts for this model. We first prove that the model is mathematically consistent only if directions are considered without orientation. We then prove that the convolution of a $L^2(R^2,R)$ function (e.g. an image) with a 2-D Gaussian is generically a Morse function. This fact is important since the lift of Morse functions to $PTR^2$ is defined on a smooth manifold. We then provide the explicit expression of the hypoelliptic heat kernel on $PTR^2$ in terms of Mathieu functions. Finally, we present the main ideas of an algorithm which allows to perform image reconstruction on real non-academic images. A very interesting point is that this algorithm is massively parallelizable and needs no information on where the image is corrupted.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Generalized Wasserstein distance and its application to transport equations with source

In this article, we generalize the Wasserstein distance to measures with different masses. We study the properties of such distance. In particular, we show that it metrizes weak convergence for tight sequences. We use this generalized Wasserstein distance to study a transport equation with source, in which both the vector field and the source depend on the measure itself. We prove existence and uniqueness of the solution to the Cauchy problem when the vector field and the source are Lipschitzian with respect to the generalized Wasserstein distance.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Large time behavior for the heat equation on Carnot groups

We first generalize a decomposition of functions on Carnot groups as linear combinations of the Dirac delta and some of its derivatives, where the weights are the moments of the function. We then use the decomposition to describe the large time behavior of solutions of the hypoelliptic heat equation on Carnot groups. The solution is decomposed as a weighted sum of the hypoelliptic fundamental kernel and its derivatives, the coefficients being the moments of the initial datum.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Transport equation with nonlocal velocity in Wasserstein spaces: convergence of numerical schemes

Motivated by pedestrian modelling, we study evolution of measures in the Wasserstein space. In particular, we consider the Cauchy problem for a transport equation, where the velocity field depends on the measure itself. We deal with numerical schemes for this problem and prove convergence of a Lagrangian scheme to the solution, when the discretization parameters approach zero. We also prove convergence of an Eulerian scheme, under more strict hypotheses. Both schemes are discretizations of the push-forward formula defined by the transport equation. As a by-product, we obtain existence and uniqueness of the solution. All the results of convergence are proved with respect to the Wasserstein distance. We also show that $L^1$ spaces are not natural for such equations, since we lose uniqueness of the solution.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Existence of planar curves minimizing length and curvature

In this paper we consider the problem of reconstructing a curve that is partially hidden or corrupted by minimizing the functional $\int \sqrt{1+K_γ^2} ds$, depending both on length and curvature $K$. We fix starting and ending points as well as initial and final directions. For this functional we discuss the problem of existence of minimizers on various functional spaces. We find non-existence of minimizers in cases in which initial and final directions are considered with orientation. In this case, minimizing sequences of trajectories can converge to curves with angles. We instead prove existence of minimizers for the "time-reparameterized" functional $$\int \| \dotγ(t) \|\sqrt{1+K_\ga^2} dt$$ for all boundary conditions if initial and final directions are considered regardless to orientation. In this case, minimizers can present cusps (at most two) but not angles.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Hypoelliptic heat kernel on 3-step nilpotent Lie groups

In this paper we provide explicitly the connection between the hypoelliptic heat kernel for some 3-step sub-Riemannian manifolds and the quartic oscillator. We study the left-invariant sub-Riemannian structure on two nilpotent Lie groups, namely the (2,3,4) group (called the Engel group) and the (2,3,5) group (called the Cartan group or the generalized Dido problem). Our main technique is noncommutative Fourier analysis that permits to transform the hypoelliptic heat equation in a one dimensional heat equation with a quartic potential.

0 citations0 reviewsNo code linkedOpen access