TITLES AND ABSTRACTS OF THE TALKS
Abstract: In this talk I will discuss the geometry of a number of integrable systems of interest and their relationship to optimal control problems. In particular I will discuss the dynamics of the $n$-dimensional smooth rigid body problem and its discretization as well as the sub-Riemmanian rigid body problem. I will also discuss geodesic flows on Stiefel manifolds and their relationship to optimal control problems, the rigid body problem and the Jacobi flow on an ellipsoid. Finally I will describe an interesting class of integrable flows on the symplectic group.
Abstract: The Carnot-Carath\'eodory metric on the Heisenberg group arises in a natural way as a boundary metric of the complex unit ball in ${\mathbb C}^2$ equipped with the Bergman metric. More generally, there is a relation between metrics on the boundary of a strictly pseudoconvex domain and biholomorphically invariant metrics inside the domain. This can be used to study the boundary behavior of proper holomorphic maps in several complex variables, for example.
Abstract: Sub-Riemannian geometry has given rise to a rich web of interconnected ideas. In this talk we will discuss results related to the higher dimensional "area processes" associated with an important special type of degenerate diffusions. Using the Brownian bridge we will compute statistical properties of the vector area process and relate them to fundamental solutions of certain prototype degenerate diffusions. Along the way we encounter a class of random matrices whose eigenvalue distributions will be explored and related to the geodesics of a particular sub-Riemannian space.
Abstract: Motivated by the recent trend to build autonomous underwater vehicles, we study the geometric properties related to the motion of a controlled submerged rigid body. Such system belong to the class of simple mechanical systems with potential and uncontrolled dissipative forces. After introducing the equations of motion, the talk will focus on the relation between the notion of decoupling vector fields for a left-invariant affine connection control system on the Lie group SE(3) and the notion of singular extremal in the time minimal problem for this same system.
Abstract: We will show that the structure of the visual cortex is of sub-Riemannian type. In this structure the discrete visual signal, constituted by independent stimula, is grouped and the object reconstructed. This functionality is modelled as difference equation, which depends on the the metric of the space, and which can be interpreted as the Euler--Lagrange equation of a discrete operator. This operator $\Gamma$-converges, as the dimension of the grid tends to zero to the Mumford--Shah functional in the sub-Riemannian structure.
Abstract: While some Carnot groups (e.g., the Heisenberg groups and, more generally, those arising from jet spaces) have infinite-dimensional spaces of smooth contact mappings, in others, the so-called rigid groups, contact mappings are automatically real analytic, and even the spaces of contact mappings defined on small open sets are finite-dimensional. In extreme cases, all contact mappings are generated by translations and dilations. This talk surveys the problem of determining whether Carnot groups are rigid or not, and highlights recent work of Rupert McCallum on this problem.
Abstract: Segmentation is a fundamental procedure in computer vision. It forms an important preliminary step whenever useful information is to be extracted from images automatically. Given an image depicing a scene with several objects in it, its goal is to determine which regions of the image contain distinct objects. Variational segmentation models, such as the Mumford-Shah functional and its variants, pose segmentation as finding the minimizer of an energy. The resulting optimization problrmes are often non-convex, and may have local minima that are not global minima, complicating their solution. We show that certain shape optimization problems that arise as simplified versions of these segmentation models can be given equivalent convex formulations, allowing us to find global minimizezrs of these non-convex problems via convex minimization techniques. In particular, we will show that a recent convex duality based algorithm due to A. Chamboile, which was originally developed for a total variation based image denoising model, can be adapted to the segmentation problem.
Abstract: A subset of a line is said to be quasisymmetrically (qs) thick if every image under a qs self map of a line has positive length. Conformal dimension of a metric space is the infimal Hausdorff dimension of all its qs images. Bishop and Tyson asked if there are sets on a line which are not qs thick but still have conformal dimension one. We answer this affirmatively by showing that regular Cantor sets (in the sense of Staples and Ward) are minimal for conformal dimension if they have Hausdorff dimension one.
Abstract: This talk is based on joint work with Stephen M. Buckley and Xiangdong Xie. The class of Euclidean spatial conformal mappings is generated by reflections across planes and inversions about spheres. We define a notion of inversion valid in the general metric space setting and establish several basic facts concerning these. For example, they are quasimoebius homeomorphisms and quasihyperbolically bilipshitz. Just as in the Euclidean setting, sphericalization can be realized as a special case of inversion. In a certain sense, inversion and sphericalization are dual processes; this is a consequence of the fact that the natural identity maps associated with each of the following processes are bilipschitz: inversion followed by inversion, inversion followed by sphericalization, sphericalization followed by inversion. We demonstrate that both inversion and sphericalization preserve the class of uniform subspaces. We introduce a notion called annular quasiconvexity and demonstrate that a space is quasiconvex and annular quasiconvex if and only if its inversions and its sphericalizations also enjoy these properties. Moreover, in the presence of an annular quasiconvex ambient space, we obtain improved quantitative information describing how uniformity constants change. Examples of metric spaces that are quasiconvex and annular quasiconvex include Banach spaces and upper regular Loewner spaces; the latter includes Carnot groups and certain Riemannian manifolds with non-negative Ricci curvature. Korte has recently verified that doubling metric measure spaces which support a $(1,p)$-Poincare inequality with sufficiently small $p$ are annular quasiconvex.
Abstract: In this talk I will present some recent results on the geometry of optimal control problems for second order under-actuated dynamical systems evolving on Riemannian manifolds. I will first describe the general setting, including the dynamic interpolation problem. I will then briefly discuss the special case when the manifold under consideration has a Lie group structure, including optimal trajectory tracking for rigid body motions. Finally, I will present some recent results on the control of nonholonomic under-actuated mechanical systems with some examples.
Abstract: We study Lipschitz mappings defined on an $H^n$-rectifiable metric space with values in an arbitrary metric space. We find necessary and sufficient conditions on the image and the preimage of a mapping for the validity of the coarea formula. As a consequence, we prove the coa`rea formula for some classes of mappings with $H^k$-$\sigma$-finite image. We also obtain the metric analog of the Implicit Function Theorem. All these results are extended to large classes of mappings with values in a metric space, including Sobolev mappings and $BV$-mappings.
Abstract: Motivated by a conjecture from computer science, I will discuss bi-Lipschitz embeddings $X\to V$ where $X$ is a metric space and $V$ is a Banach space. The focus will be on the case when $X$ is a metric measure space satisfying a Poincare inequality. Of particular interest is the case when the target Banach space is $L^1$, in which case there is a new link between embedding questions and the structure of sets of finite perimeter in $X$. By exploiting recent work on geometric measure theory in the Heisenberg group, we show that the Heisenberg group cannot be biLipschitz embedded in $L^1$, confirming a conjecture of Assaf Naor. This is joint work with Jeff Cheeger.
Abstract: I will describe a connection between generalized accretive operators introduced by Felix Browder and the theory of quasisymmetric mappings in Banach spaces pioneered by Jussi Vaisala. The interplay of the two fields allows for geometric proofs of continuity, differentiability, and surjectivity of generalized accretive operators.
Abstract: Let us fix a point of a submanifold embedded in a stratified group. We will present the relationship between the position of the tangent space with respect to the grading of the group and the behaviour of the rescaled submanifold at this point, when its magnification is arbitrarily large.
Abstract: We study, in the first Heisenberg group $H^1$, the structure of $C^2$ minimal graphs with empty characteristic locus and which, on every compact set, minimize the horizontal perimeter. As a corollary of our results we obtain a positive answer to a sub-Riemannian analogue of the Bernstein problem. (Joint work with Donatella Danielli, Nicola Garofalo and Scott Pauls)
Abstract: The general dimension distortion result says that a one dimensional set goes to a set of dimension at least $1-k$ under a planar $k$-quasiconformal mapping ($0\le k < 1$). An improved version for rectifiable sets appears in recent work of Astala, Clop, Mateu, Orobitg and Uriarte-Tuero in connection with quasiregular removability problems. We present an alternative proof of their result based on the original area distortion argument of Astala, establishing a bound of the form $1-ck^2$, provided that either the initial or the target set lies on a line. Connections to improved Painlev\'e removability for quasiregular mappings are discussed.
Abstract: In a Carnot group of step two the Riemannian metric is considered which makes $\{X_1, \ldots, X_m, T_{1,\epsilon}, \ldots, T_{k,\epsilon}\}$ an orthonormal basis, where $T_{s,\epsilon}=\sqrt\epsilon T_s$. Results from Riemannian geometry are then applied to obtain results in sub-Riemannian geometry such as integration-by-parts formulas, the first variation formula for the H-perimeter measure, and a second variation formula for H-perimeter measure with respect to vatiations in the horizontal normal direction.
Abstract: We suggest a notion of Lipschitz function from subgroups of a given Heisenberg group. We investigate some of their properties, the properties of their graphs, and the relation they have with the boundary of finite perimeter sets in $H\sp n$.
Abstract: We will study the Bernstein problem for entire regular intrinsic minimal graphs in the Heisenberg group $H^n$. In particular we will positively answer to the Bernstein problem in the case $n=1$ and we will provide counterexamples when $n\ge 5$.
Abstract: We study the differentiability of mappings in the geometry of Carnot-Caratheodory spaces under $C^1$-smoothness of vector fields. We introduce a concept of $hc$-differentiability and prove the $hc$-differentiability of Lipschitz mappings of Carnot-Caratheodory spaces (a generalization of the Rademacher theorem) and a generalization of the Stepanov theorem. We establish adequate geometric and analytic properties for their proofs in particular, we prove $hc$-differentiability of rectifiable curves. Besides of this, we give a new proof of a functorial property of a correspondence ``a local basis $\mapsto$ the nilponent tangent cone'', the $hc$-differentiability of a composition of $hc$-differentiable mappings and others. As a consequence, we obtain some applications to geometric measure theory on Carnot-Caratheodory spaces.
Abstract: We will show that free Carnot groups of step greater or equal to 4 are rigid using Tanaka prolongation.
Abstract: We characterize uniform domains (in metric spaces with annular quasiconvexity) among Gromov hyperbolic domains, in terms of the quasiconformal structure on the Gromov boundary. This generalizes a result of Bonk, Heinonen and Koskela. (Joint work with David Herron and Nageswari Shanmugalingam.) |