Standard quadratic programs have numerous applications and play an important role in copositivity detection. We consider reformulating a standard quadratic program as a mixed integer linear programming (MILP) problem. We propose alternative MILP reformulations that exploit the specific structure of standard quadratic programs. We report extensive computational results on various classes of instances. Our experiments reveal that our MILP reformulations significantly outperform other global solution approaches. 
This is joint work with Jacek Gondzio.

The derivation of first-order nonlinear transport PDEs via interacting particles subject only to deterministic forces is crucial in the socio-biological sciences and in the real world applications (e.g. vehicular traffic, pedestrian movements), as it provides a rigorous justification to a "continuum" description in situations more naturally described by a discrete approach. This talk will collect recent results on the derivation of entropy solutions to scalar conservation laws (arising e.g. in traffic flow) as many particle limits of "follow-the-leader"-type ODEs, including extensions to the case with Dirichlet boundary conditions and to the Hughes model for pedestrian movements (the results involve S. Fagioli, M. D. Rosini, G. Russo). I will then describe a recent extension of this approach to nonlocal transport equations with a "nonlinear mobility" modelling prevention of overcrowding for high densities (in collaboration with S. Fagioli and E. Radici). 

Amplituhedra are mathematical objects generalising the notion of polytopes into the Grassmannian. Proposed as a geometric construction encoding scattering amplitudes in the four-dimensional maximally supersymmetric Yang-Mills theory, they are mathematically interesting objects on their own. In my talk I strengthen the relation between scattering amplitudes and geometry by linking the amplituhedron to the Jeffrey-Kirwan residue, a powerful concept in symplectic and algebraic geometry. I focus on a particular class of amplituhedra in any dimension, namely cyclic polytopes, and their even-dimensional
conjugates. I show how the Jeffrey-Kirwan residue prescription allows to extract the correct amplituhedron canonical differential form in all these cases. Notably, this also naturally exposes the rich combinatorial structures of amplituhedra, such as their regular triangulations

The Beilinson-Drinfeld Grassmannian, which classifies a G-bundle trivialised away from a finite set of points on a curve, is one of the basic objects in the geometric Langlands programme. Similar construction in higher dimensions in the algebraic and analytic settings are not very interesting because of Hartogs' theorem. In this talk I will discuss a differentiable version. I will also explain a theory of D-modules on differentiable spaces and use it
to define differentiable chiral and factorisation algebras. By linearising the Grassmannian we get examples of differentiable chiral algebras. This is joint work with Dennis Borisov.

We describe the moduli space of distributions in terms of Grothendieck’s Quot-scheme for the tangent bundle. In certain cases, we show that the moduli space of codimension one distributions on the projective space is an irreducible, nonsingular quasi-projective variety.

 We study codimension one holomorphic distributions on projective three-space, analyzing the properties of their singular schemes and tangent sheaves. In particular, we provide a classification of codimension one distributions of degree at most 2. We show how the connectedness of the curves in the singular sets of foliations is an integrable phenomenon. This part of the  talk  is work joint with  M. Jardim(Unicamp) and O. Calvo-Andrade(Cimat).

We also study foliations by curves via the investigation  of their  singular schemes and  conormal  sheaves and we provide a classification  of foliations of degree at most 3 with  conormal  sheaves locally free.  Foliations of degrees  1 and 2 are aways given by a global intersection of two codimension one distributions. In the classification of degree 3 appear Legendrian foliations, foliations whose  conormal sheaves are instantons and other ” exceptional”
type examples. This part of the  talk   is  work joint with  M. Jardim(Unicamp) and S. Marchesi(Unicamp).

Introduced by Konno, hyperpolygon spaces are examples of Nakajima quiver varieties.  The simplest of these is a noncompact complex surface admitting the structure of a gravitational instanton, and therefore fits nicely into the Kronheimer-Nakajima classification of complete ALE hyperkaehler 4-manifolds, which is a geometric realization of the McKay correspondence for finite subgroups of SU(2).  For more general hyperpolygon spaces, we can speculate on how
this classification might be extended by studying the geometry of hyperpolygons at "infinity". This is ongoing work with Hartmut Weiss.

In recent joint work with Lorenzo Foscolo and Johannes Nordstr\”om we gave an analytic construction of large families of complete circle-invariant $G_2$
holonomy metrics on the total space of circle bundles over a complete noncompact Calabi—Yau 3-fold with asymptotically conical geometry. The
asymptotic models for the geometry of these $G_2$ metrics are circle bundles with fibres of constant length $l$, so-called asymptotically local conical
(ALC) geometry. These ALC $G_2$ metrics can Gromov—Hausdorff collapse with bounded curvature to the given asymptotically conical Calabi—Yau 3-fold as the fibre length $l$ goes to $0$. A natural question is: what happens to these families of $G_2$ metrics as we try to make $l$ large? In general the answer to this question is not known, but in cases with sufficient symmetry we have recently been able to give a complete picture.  

We give an overview of all these results and discuss some analogies with the class of asymptotically locally flat (ALF) hyperkaehler 4-manifolds. In
particular we suggest that a particular $G_2$ metric we construct should be regarded as a $G_2$ analogue of the Euclidean Taub—NUT metric on the complex plane.

In this talk, we consider the question of exact (boundary) controllability of wave equations: whether one can steer their solutions from any initial state to any final state using appropriate boundary data. In particular, we discuss new and fully general results for linear wave equations on time-dependent domains with moving boundaries. We also discuss the novel geometric Carleman estimates that are the main tools for proving these controllability results