Showing 1–50 of 52 results for author: Abate, M

Dynamics of Fuchsian meromorphic connections with real periods

Authors: Marco Abate, Karim Rakhimov

Abstract: In this paper, we study the dynamics of geodesics of Fuchsian meromorphic connections with real periods, giving a precise characterization of the possible $ω$-limit sets of simple geodesics in this case. The main tools are the study of the singular flat metric associated to the meromorphic connection, an explicit description of the geodesics nearby a Fuchsian pole with real residue larger than… ▽ More In this paper, we study the dynamics of geodesics of Fuchsian meromorphic connections with real periods, giving a precise characterization of the possible $ω$-limit sets of simple geodesics in this case. The main tools are the study of the singular flat metric associated to the meromorphic connection, an explicit description of the geodesics nearby a Fuchsian pole with real residue larger than $-1$ and a far-reaching generalization to our case of the classical Teichmüller lemma for quadratic differentials. △ Less

Submitted 19 June, 2024; originally announced June 2024.

Khronos: A Unified Approach for Spatio-Temporal Metric-Semantic SLAM in Dynamic Environments

Authors: Lukas Schmid, Marcus Abate, Yun Chang, Luca Carlone

Abstract: Perceiving and understanding highly dynamic and changing environments is a crucial capability for robot autonomy. While large strides have been made towards develo** dynamic SLAM approaches that estimate the robot pose accurately, a lesser emphasis has been put on the construction of dense spatio-temporal representations of the robot environment. A detailed understanding of the scene and its evo… ▽ More Perceiving and understanding highly dynamic and changing environments is a crucial capability for robot autonomy. While large strides have been made towards develo** dynamic SLAM approaches that estimate the robot pose accurately, a lesser emphasis has been put on the construction of dense spatio-temporal representations of the robot environment. A detailed understanding of the scene and its evolution through time is crucial for long-term robot autonomy and essential to tasks that require long-term reasoning, such as operating effectively in environments shared with humans and other agents and thus are subject to short and long-term dynamics. To address this challenge, this work defines the Spatio-temporal Metric-semantic SLAM (SMS) problem, and presents a framework to factorize and solve it efficiently. We show that the proposed factorization suggests a natural organization of a spatio-temporal perception system, where a fast process tracks short-term dynamics in an active temporal window, while a slower process reasons over long-term changes in the environment using a factor graph formulation. We provide an efficient implementation of the proposed spatio-temporal perception approach, that we call Khronos, and show that it unifies exiting interpretations of short-term and long-term dynamics and is able to construct a dense spatio-temporal map in real-time. We provide simulated and real results, showing that the spatio-temporal maps built by Khronos are an accurate reflection of a 3D scene over time and that Khronos outperforms baselines across multiple metrics. We further validate our approach on two heterogeneous robots in challenging, large-scale real-world environments. △ Less

Submitted 20 May, 2024; v1 submitted 21 February, 2024; originally announced February 2024.

Comments: Accepted to Robotics: Science and Systems, 2024. Code to be released at https://github.com/MIT-SPARK/Khronos Video available at https://www.youtube.com/watch?v=YsH6YIL5_kc

Kimera2: Robust and Accurate Metric-Semantic SLAM in the Real World

Authors: Marcus Abate, Yun Chang, Nathan Hughes, Luca Carlone

Abstract: We present improvements to Kimera, an open-source metric-semantic visual-inertial SLAM library. In particular, we enhance Kimera-VIO, the visual-inertial odometry pipeline powering Kimera, to support better feature tracking, more efficient keyframe selection, and various input modalities (eg monocular, stereo, and RGB-D images, as well as wheel odometry). Additionally, Kimera-RPGO and Kimera-PGMO,… ▽ More We present improvements to Kimera, an open-source metric-semantic visual-inertial SLAM library. In particular, we enhance Kimera-VIO, the visual-inertial odometry pipeline powering Kimera, to support better feature tracking, more efficient keyframe selection, and various input modalities (eg monocular, stereo, and RGB-D images, as well as wheel odometry). Additionally, Kimera-RPGO and Kimera-PGMO, Kimera's pose-graph optimization backends, are updated to support modern outlier rejection methods - specifically, Graduated-Non-Convexity - for improved robustness to spurious loop closures. These new features are evaluated extensively on a variety of simulated and real robotic platforms, including drones, quadrupeds, wheeled robots, and simulated self-driving cars. We present comparisons against several state-of-the-art visual-inertial SLAM pipelines and discuss strengths and weaknesses of the new release of Kimera. The newly added features have been released open-source at https://github.com/MIT-SPARK/Kimera. △ Less

Submitted 11 January, 2024; originally announced January 2024.

Comments: Presented at ISER 2023

Multi-Camera Visual-Inertial Simultaneous Localization and Map** for Autonomous Valet Parking

Authors: Marcus Abate, Ariel Schwartz, Xue Iuan Wong, Wangdong Luo, Rotem Littman, Marc Klinger, Lars Kuhnert, Douglas Blue, Luca Carlone

Abstract: Localization and map** are key capabilities for self-driving vehicles. In this paper, we build on Kimera and extend it to use multiple cameras as well as external (eg wheel) odometry sensors, to obtain accurate and robust odometry estimates in real-world problems. Additionally, we propose an effective scheme for closing loops that circumvents the drawbacks of common alternatives based on the Per… ▽ More Localization and map** are key capabilities for self-driving vehicles. In this paper, we build on Kimera and extend it to use multiple cameras as well as external (eg wheel) odometry sensors, to obtain accurate and robust odometry estimates in real-world problems. Additionally, we propose an effective scheme for closing loops that circumvents the drawbacks of common alternatives based on the Perspective-n-Point method and also works with a single monocular camera. Finally, we develop a method for dense 3D map** of the free space that combines a segmentation network for free-space detection with a homography-based dense map** technique. We test our system on photo-realistic simulations and on several real datasets collected on a car prototype developed by the Ford Motor Company, spanning both indoor and outdoor parking scenarios. Our multi-camera system is shown to outperform state-of-the art open-source visual-inertial-SLAM pipelines (Vins-Fusion, ORB-SLAM3), and exhibits an average trajectory error under 1% of the trajectory length across more than 8km of distance traveled (combined across all datasets). A video showcasing the system is available at: youtu.be/H8CpzDpXOI8. △ Less

Submitted 11 January, 2024; v1 submitted 25 April, 2023; originally announced April 2023.

Loc-NeRF: Monte Carlo Localization using Neural Radiance Fields

Authors: Dominic Maggio, Marcus Abate, **gnan Shi, Courtney Mario, Luca Carlone

Abstract: We present Loc-NeRF, a real-time vision-based robot localization approach that combines Monte Carlo localization and Neural Radiance Fields (NeRF). Our system uses a pre-trained NeRF model as the map of an environment and can localize itself in real-time using an RGB camera as the only exteroceptive sensor onboard the robot. While neural radiance fields have seen significant applications for visua… ▽ More We present Loc-NeRF, a real-time vision-based robot localization approach that combines Monte Carlo localization and Neural Radiance Fields (NeRF). Our system uses a pre-trained NeRF model as the map of an environment and can localize itself in real-time using an RGB camera as the only exteroceptive sensor onboard the robot. While neural radiance fields have seen significant applications for visual rendering in computer vision and graphics, they have found limited use in robotics. Existing approaches for NeRF-based localization require both a good initial pose guess and significant computation, making them impractical for real-time robotics applications. By using Monte Carlo localization as a workhorse to estimate poses using a NeRF map model, Loc-NeRF is able to perform localization faster than the state of the art and without relying on an initial pose estimate. In addition to testing on synthetic data, we also run our system using real data collected by a Clearpath Jackal UGV and demonstrate for the first time the ability to perform real-time global localization with neural radiance fields. We make our code publicly available at https://github.com/MIT-SPARK/Loc-NeRF. △ Less

Submitted 19 September, 2022; originally announced September 2022.

Robust Training and Verification of Implicit Neural Networks: A Non-Euclidean Contractive Approach

Authors: Saber Jafarpour, Alexander Davydov, Matthew Abate, Francesco Bullo, Samuel Coogan

Abstract: This paper proposes a theoretical and computational framework for training and robustness verification of implicit neural networks based upon non-Euclidean contraction theory. The basic idea is to cast the robustness analysis of a neural network as a reachability problem and use (i) the $\ell_{\infty}$-norm input-output Lipschitz constant and (ii) the tight inclusion function of the network to ove… ▽ More This paper proposes a theoretical and computational framework for training and robustness verification of implicit neural networks based upon non-Euclidean contraction theory. The basic idea is to cast the robustness analysis of a neural network as a reachability problem and use (i) the $\ell_{\infty}$-norm input-output Lipschitz constant and (ii) the tight inclusion function of the network to over-approximate its reachable sets. First, for a given implicit neural network, we use $\ell_{\infty}$-matrix measures to propose sufficient conditions for its well-posedness, design an iterative algorithm to compute its fixed points, and provide upper bounds for its $\ell_\infty$-norm input-output Lipschitz constant. Second, we introduce a related embedded network and show that the embedded network can be used to provide an $\ell_\infty$-norm box over-approximation of the reachable sets of the original network. Moreover, we use the embedded network to design an iterative algorithm for computing the upper bounds of the original system's tight inclusion function. Third, we use the upper bounds of the Lipschitz constants and the upper bounds of the tight inclusion functions to design two algorithms for the training and robustness verification of implicit neural networks. Finally, we apply our algorithms to train implicit neural networks on the MNIST dataset and compare the robustness of our models with the models trained via existing approaches in the literature. △ Less

Submitted 7 August, 2022; originally announced August 2022.

Comments: arXiv admin note: text overlap with arXiv:2112.05310

Comparative Analysis of Interval Reachability for Robust Implicit and Feedforward Neural Networks

Authors: Alexander Davydov, Saber Jafarpour, Matthew Abate, Francesco Bullo, Samuel Coogan

Abstract: We use interval reachability analysis to obtain robustness guarantees for implicit neural networks (INNs). INNs are a class of implicit learning models that use implicit equations as layers and have been shown to exhibit several notable benefits over traditional deep neural networks. We first establish that tight inclusion functions of neural networks, which provide the tightest rectangular over-a… ▽ More We use interval reachability analysis to obtain robustness guarantees for implicit neural networks (INNs). INNs are a class of implicit learning models that use implicit equations as layers and have been shown to exhibit several notable benefits over traditional deep neural networks. We first establish that tight inclusion functions of neural networks, which provide the tightest rectangular over-approximation of an input-output map, lead to sharper robustness guarantees than the well-studied robustness measures of local Lipschitz constants. Like Lipschitz constants, tight inclusions functions are computationally challenging to obtain, and we thus propose using mixed monotonicity and contraction theory to obtain computationally efficient estimates of tight inclusion functions for INNs. We show that our approach performs at least as well as, and generally better than, applying state-of-the-art interval bound propagation methods to INNs. We design a novel optimization problem for training robust INNs and we provide empirical evidence that suitably-trained INNs can be more robust than comparably-trained feedforward networks. △ Less

Submitted 31 March, 2022; originally announced April 2022.

Robustness Certificates for Implicit Neural Networks: A Mixed Monotone Contractive Approach

Authors: Saber Jafarpour, Matthew Abate, Alexander Davydov, Francesco Bullo, Samuel Coogan

Abstract: Implicit neural networks are a general class of learning models that replace the layers in traditional feedforward models with implicit algebraic equations. Compared to traditional learning models, implicit networks offer competitive performance and reduced memory consumption. However, they can remain brittle with respect to input adversarial perturbations. This paper proposes a theoretical and… ▽ More Implicit neural networks are a general class of learning models that replace the layers in traditional feedforward models with implicit algebraic equations. Compared to traditional learning models, implicit networks offer competitive performance and reduced memory consumption. However, they can remain brittle with respect to input adversarial perturbations. This paper proposes a theoretical and computational framework for robustness verification of implicit neural networks; our framework blends together mixed monotone systems theory and contraction theory. First, given an implicit neural network, we introduce a related embedded network and show that, given an $\ell_\infty$-norm box constraint on the input, the embedded network provides an $\ell_\infty$-norm box overapproximation for the output of the given network. Second, using $\ell_{\infty}$-matrix measures, we propose sufficient conditions for well-posedness of both the original and embedded system and design an iterative algorithm to compute the $\ell_{\infty}$-norm box robustness margins for reachability and classification problems. Third, of independent value, we propose a novel relative classifier variable that leads to tighter bounds on the certified adversarial robustness in classification problems. Finally, we perform numerical simulations on a Non-Euclidean Monotone Operator Network (NEMON) trained on the MNIST dataset. In these simulations, we compare the accuracy and run time of our mixed monotone contractive approach with the existing robustness verification approaches in the literature for estimating the certified adversarial robustness. △ Less

Submitted 9 December, 2021; originally announced December 2021.

Run Time Assurance for Safety-Critical Systems: An Introduction to Safety Filtering Approaches for Complex Control Systems

Authors: Kerianne Hobbs, Mark Mote, Matthew Abate, Samuel Coogan, Eric Feron

Abstract: Run Time Assurance (RTA) Systems are online verification mechanisms that filter an unverified primary controller output to ensure system safety. The primary control may come from a human operator, an advanced control approach, or an autonomous control approach that cannot be verified to the same level as simpler control systems designs. The critical feature of RTA systems is their ability to alter… ▽ More Run Time Assurance (RTA) Systems are online verification mechanisms that filter an unverified primary controller output to ensure system safety. The primary control may come from a human operator, an advanced control approach, or an autonomous control approach that cannot be verified to the same level as simpler control systems designs. The critical feature of RTA systems is their ability to alter unsafe control inputs explicitly to assure safety. In many cases, RTA systems can functionally be described as containing a monitor that watches the state of the system and output of a primary controller, and a backup controller that replaces or modifies control input when necessary to assure safety. An important quality of an RTA system is that the assurance mechanism is constructed in a way that is entirely agnostic to the underlying structure of the primary controller. By effectively decoupling the enforcement of safety constraints from performance-related objectives, RTA offers a number of useful advantages over traditional (offline) verification. This article provides a tutorial on develo** RTA systems. △ Less

Submitted 6 June, 2022; v1 submitted 7 October, 2021; originally announced October 2021.

Random iteration on hyperbolic Riemann surfaces

Authors: Marco Abate, Argyrios Christodoulou

Abstract: Let $\{f_ν\}$ be a sequence of holomorphic self-maps of a hyperbolic Riemann surface $X$. In this paper we shall study the asymptotic behavior of the sequences obtained by iteratively left-composing or right-composing the maps $\{f_ν\}$; the sequences of self-maps of $X$ so obtained are called left (respectively, right) iterated function systems. We shall prove the analogue for left iterated funct… ▽ More Let $\{f_ν\}$ be a sequence of holomorphic self-maps of a hyperbolic Riemann surface $X$. In this paper we shall study the asymptotic behavior of the sequences obtained by iteratively left-composing or right-composing the maps $\{f_ν\}$; the sequences of self-maps of $X$ so obtained are called left (respectively, right) iterated function systems. We shall prove the analogue for left iterated function systems of the theorems proved by Beardon, Carne, Minda and Ng for right iterated function systems with value in a Bloch domain; and we shall extend to the setting of general hyperbolic Riemann surfaces results obtained by Short and the second author in the unit disk for iterated function systems generated by maps close enough to a given self-map. △ Less

Submitted 21 September, 2021; originally announced September 2021.

MSC Class: 37H12; 37F99; 30D05

Kimera: from SLAM to Spatial Perception with 3D Dynamic Scene Graphs

Authors: Antoni Rosinol, Andrew Violette, Marcus Abate, Nathan Hughes, Yun Chang, **gnan Shi, Arjun Gupta, Luca Carlone

Abstract: Humans are able to form a complex mental model of the environment they move in. This mental model captures geometric and semantic aspects of the scene, describes the environment at multiple levels of abstractions (e.g., objects, rooms, buildings), includes static and dynamic entities and their relations (e.g., a person is in a room at a given time). In contrast, current robots' internal representa… ▽ More Humans are able to form a complex mental model of the environment they move in. This mental model captures geometric and semantic aspects of the scene, describes the environment at multiple levels of abstractions (e.g., objects, rooms, buildings), includes static and dynamic entities and their relations (e.g., a person is in a room at a given time). In contrast, current robots' internal representations still provide a partial and fragmented understanding of the environment, either in the form of a sparse or dense set of geometric primitives (e.g., points, lines, planes, voxels) or as a collection of objects. This paper attempts to reduce the gap between robot and human perception by introducing a novel representation, a 3D Dynamic Scene Graph(DSG), that seamlessly captures metric and semantic aspects of a dynamic environment. A DSG is a layered graph where nodes represent spatial concepts at different levels of abstraction, and edges represent spatio-temporal relations among nodes. Our second contribution is Kimera, the first fully automatic method to build a DSG from visual-inertial data. Kimera includes state-of-the-art techniques for visual-inertial SLAM, metric-semantic 3D reconstruction, object localization, human pose and shape estimation, and scene parsing. Our third contribution is a comprehensive evaluation of Kimera in real-life datasets and photo-realistic simulations, including a newly released dataset, uHumans2, which simulates a collection of crowded indoor and outdoor scenes. Our evaluation shows that Kimera achieves state-of-the-art performance in visual-inertial SLAM, estimates an accurate 3D metric-semantic mesh model in real-time, and builds a DSG of a complex indoor environment with tens of objects and humans in minutes. Our final contribution shows how to use a DSG for real-time hierarchical semantic path-planning. The core modules in Kimera are open-source. △ Less

Submitted 20 October, 2021; v1 submitted 18 January, 2021; originally announced January 2021.

Comments: 34 pages, 25 figures, 9 tables. arXiv admin note: text overlap with arXiv:2002.06289

Multipoint Julia theorems

Authors: Marco Abate

Abstract: Following ideas introduced by Beardon-Minda and by Baribeau-Rivard-Wegert in the context of the Schwarz-Pick lemma, we use the iterated hyperbolic difference quotients to prove a multipoint Julia lemma. As applications, we give a sharp estimate from below of the angular derivative at a boundary point, generalizing results due to Osserman, Mercer and others; and we prove a generalization to multipl… ▽ More Following ideas introduced by Beardon-Minda and by Baribeau-Rivard-Wegert in the context of the Schwarz-Pick lemma, we use the iterated hyperbolic difference quotients to prove a multipoint Julia lemma. As applications, we give a sharp estimate from below of the angular derivative at a boundary point, generalizing results due to Osserman, Mercer and others; and we prove a generalization to multiple fixed points of an interesting estimate due to Cowen and Pommerenke. These applications show that iterated hyperbolic difference quotients and multipoint Julia lemmas can be useful tools for exploring in a systematic way the influence of higher order derivatives on the boundary behaviour of holomorphic self-maps of the unit disk. △ Less

Submitted 10 January, 2021; originally announced January 2021.

Comments: 25 pages

MSC Class: 30C80 (primary); 30E25; 30F45; 30J10 (secondary)

A Numerical Method to Compute Stability Margins of Switching Linear Systems

Authors: Corbin Klett, Matthew Abate, Samuel Coogan, Eric Feron

Abstract: Stability margins for linear time-varying (LTV) and switched-linear systems are traditionally computed via quadratic Lyapunov functions, and these functions certify the stability of the system under study. In this work, we show how the more general class of homogeneous polynomial Lyapunov functions is used to compute stability margins with reduced conservatism, and we show how these Lyapunov funct… ▽ More Stability margins for linear time-varying (LTV) and switched-linear systems are traditionally computed via quadratic Lyapunov functions, and these functions certify the stability of the system under study. In this work, we show how the more general class of homogeneous polynomial Lyapunov functions is used to compute stability margins with reduced conservatism, and we show how these Lyapunov functions aid in the search for periodic trajectories for marginally stable LTV systems. Our work is premised on the recent observation that the search for a homogeneous polynomial Lyapunov function for some LTV systems is easily encoded as the search for a quadratic Lyapunov function for a related LTV system, and our main contribution is an intuitive algorithm for generating upper and lower bounds on the system's stability margin. We show also how the worst-case switching scheme - which draws an LTV system closest to a periodic orbit - is generated. Three numerical examples are provided to aid the reader and demonstrate the theoretical contributions of the work. △ Less

Submitted 4 December, 2020; originally announced December 2020.

Improving the Fidelity of Mixed-Monotone Reachable Set Approximations via State Transformations

Authors: Matthew Abate, Samuel Coogan

Abstract: Mixed-monotone systems are separable via a decomposition function into increasing and decreasing components, and this decomposition function allows for embedding the system dynamics in a higher-order monotone embedding system. Embedding the system dynamics in this way facilitates the efficient over-approximation of reachable sets with hyperrectangles, however, unlike the monotonicity property, whi… ▽ More Mixed-monotone systems are separable via a decomposition function into increasing and decreasing components, and this decomposition function allows for embedding the system dynamics in a higher-order monotone embedding system. Embedding the system dynamics in this way facilitates the efficient over-approximation of reachable sets with hyperrectangles, however, unlike the monotonicity property, which can be applied to compute, e.g., the tightest hyperrectangle containing a reachable set, the application of the mixed-monotonicity property generally results in conservative reachable set approximations. In this work, explore conservatism in the method and we consider, in particular, embedding systems that are monotone with respect to an alternative partial order. This alternate embedding system is constructed with a decomposition function for a related system, formed via a linear transformation of the initial state-space. We show how these alternate embedding systems allow for computing reachable sets with improved fidelity, i.e., reduced conservatism. △ Less

Submitted 18 March, 2021; v1 submitted 2 October, 2020; originally announced October 2020.

Comments: 8 Page. 7 Figures. American Controls Conference 2021, To Appear. Code available: https://github.com/gtfactslab/Abate_ACC2021_2

Performance Analysis and Non-Quadratic Lyapunov Functions for Linear Time-Varying Systems

Authors: Matthew Abate, Corbin Klett, Samuel Coogan, Eric Feron

Abstract: Performance analysis for linear time-invariant (LTI) systems has been closely tied to quadratic Lyapunov functions ever since it was shown that LTI system stability is equivalent to the existence of such a Lyapunov function. Some metrics for LTI systems, however, have resisted treatment via means of quadratic Lyapunov functions. Among these, point-wise-in-time metrics, such as peak norms, are not… ▽ More Performance analysis for linear time-invariant (LTI) systems has been closely tied to quadratic Lyapunov functions ever since it was shown that LTI system stability is equivalent to the existence of such a Lyapunov function. Some metrics for LTI systems, however, have resisted treatment via means of quadratic Lyapunov functions. Among these, point-wise-in-time metrics, such as peak norms, are not captured accurately using these techniques, and this shortcoming has prevented the development of tools to analyze system behavior by means other than e.g. time-domain simulations. This work demonstrates how the more general class of homogeneous polynomial Lyapunov functions can be used to approximate point-wise-in-time behavior for LTI systems with greater accuracy, and we extend this to the case of linear time-varying (LTV) systems as well. Our findings rely on the recent observation that the search for homogeneous polynomial Lyapunov functions for LTV systems can be recast as a search for quadratic Lyapunov functions for a related hierarchy of time-varying Lyapunov differential equations; thus, performance guarantees for LTV systems are attainable without heavy computation. Numerous examples are provided to demonstrate the findings of this work. △ Less

Submitted 10 September, 2020; v1 submitted 1 September, 2020; originally announced September 2020.

Comments: 8 Pages, 12 Figures, Submitted to American Controls Conference 2020

Enforcing Safety at Runtime for Systems with Disturbances

Authors: Matthew Abate, Samuel Coogan

Abstract: Safety for control systems is often posed as an invariance constraint; the system is said to be safe if state trajectories avoid some unsafe region of the statespace for all time. An assured controller is one that enforces safety online by filtering a desired control input at runtime, and control barrier functions (CBFs) provide an assured controller that renders a safe subset of the state-space f… ▽ More Safety for control systems is often posed as an invariance constraint; the system is said to be safe if state trajectories avoid some unsafe region of the statespace for all time. An assured controller is one that enforces safety online by filtering a desired control input at runtime, and control barrier functions (CBFs) provide an assured controller that renders a safe subset of the state-space forward invariant. Recent extensions propose CBF-based assured controllers that allow the system to leave a known safe set so long as a given backup control strategy eventually returns to the safe set, however, these methods have yet to be extended to consider systems subjected to unknown disturbance inputs. In this work, we present a problem formulation for CBF-based runtime assurance for systems with disturbances, and controllers which solve this problem must, in some way, incorporate the online computation of reachable sets. In general, computing reachable sets in the presence of disturbances is computationally costly and cannot be directly incorporated in a CBF framework. To that end, we present a particular solution to the problem, whereby reachable sets are approximated via the mixed-monotonicity property. Efficient algorithms exist for overapproximating reachable sets for mixed-monotone systems with hyperrectangles, and we show that such approximations are suitable for incorporating into a CBF-based runtime assurance framework. △ Less

Submitted 16 August, 2020; originally announced August 2020.

Comments: 8 pages, 3 figures, to appear in 2020 IEEE 59th Conference on Decision and Control (CDC)

Tight Decomposition Functions for Continuous-Time Mixed-Monotone Systems with Disturbances

Authors: Matthew Abate, Maxence Dutreix, Samuel Coogan

Abstract: The vector field of a mixed-monotone system is decomposable via a decomposition function into increasing (cooperative) and decreasing (competitive) components, and this decomposition allows for, e.g., efficient computation of reachable sets and forward invariant sets. A main challenge in this approach, however, is identifying an appropriate decomposition function. In this work, we show that any co… ▽ More The vector field of a mixed-monotone system is decomposable via a decomposition function into increasing (cooperative) and decreasing (competitive) components, and this decomposition allows for, e.g., efficient computation of reachable sets and forward invariant sets. A main challenge in this approach, however, is identifying an appropriate decomposition function. In this work, we show that any continuous-time dynamical system with a Lipschitz continuous vector field is mixed-monotone, and we provide a construction for the decomposition function that yields the tightest approximation of reachable sets when used with the standard tools for mixed-monotone systems. Our construction is similar to that recently proposed by Yang and Ozay for computing decomposition functions of discrete-time systems [1] where we make appropriate modifications for the continuous-time setting and also extend to the case with unknown disturbance inputs. As in [1], our decomposition function construction requires solving an optimization problem for each point in the state-space; however, we demonstrate through example how tight decomposition functions can sometimes be calculated in closed form. As a second contribution, we show how under-approximations of reachable sets can be efficiently computed via the mixed-monotonicity property by considering the backward-time dynamics. △ Less

Submitted 21 May, 2020; v1 submitted 17 March, 2020; originally announced March 2020.

Comments: 6 pages. 3 figures. Submitted to Control Systems Letters (L-CSS)

Computing Robustly Forward Invariant Sets for Mixed-Monotone Systems

Authors: Matthew Abate, Samuel Coogan

Abstract: This work presents new tools for studying reachability and set invariance for continuous-time mixed-monotone dynamical systems subject to a disturbance input. The vector field of a mixed-monotone system is decomposable via a decomposition function into increasing and decreasing components, and this decomposition enables embedding the original dynamics in a higher-dimensional embedding system. Whil… ▽ More This work presents new tools for studying reachability and set invariance for continuous-time mixed-monotone dynamical systems subject to a disturbance input. The vector field of a mixed-monotone system is decomposable via a decomposition function into increasing and decreasing components, and this decomposition enables embedding the original dynamics in a higher-dimensional embedding system. While the original system is subject to an unknown disturbance input, the embedding system has no disturbances and its trajectories provide bounds for finite-time reachable sets of the original dynamics. Our main contribution is to show how one can efficiently identify robustly forward invariant and attractive sets for mixed-monotone systems by studying certain equilibria of this embedding system. We show also how this approach, when applied to the backward-time dynamics, establishes different robustly forward invariant sets for the original dynamics. Lastly, we present an independent result for computing decomposition functions for systems with polynomial dynamics. These tools and results are demonstrated through several examples and a case study. △ Less

Submitted 21 August, 2020; v1 submitted 12 March, 2020; originally announced March 2020.

Comments: 8 Pages, 6 Figures, To appear in 59th Conference on Decision and Control (CDC 2020)

3D Dynamic Scene Graphs: Actionable Spatial Perception with Places, Objects, and Humans

Authors: Antoni Rosinol, Arjun Gupta, Marcus Abate, **gnan Shi, Luca Carlone

Abstract: We present a unified representation for actionable spatial perception: 3D Dynamic Scene Graphs. Scene graphs are directed graphs where nodes represent entities in the scene (e.g. objects, walls, rooms), and edges represent relations (e.g. inclusion, adjacency) among nodes. Dynamic scene graphs (DSGs) extend this notion to represent dynamic scenes with moving agents (e.g. humans, robots), and to in… ▽ More We present a unified representation for actionable spatial perception: 3D Dynamic Scene Graphs. Scene graphs are directed graphs where nodes represent entities in the scene (e.g. objects, walls, rooms), and edges represent relations (e.g. inclusion, adjacency) among nodes. Dynamic scene graphs (DSGs) extend this notion to represent dynamic scenes with moving agents (e.g. humans, robots), and to include actionable information that supports planning and decision-making (e.g. spatio-temporal relations, topology at different levels of abstraction). Our second contribution is to provide the first fully automatic Spatial PerceptIon eNgine(SPIN) to build a DSG from visual-inertial data. We integrate state-of-the-art techniques for object and human detection and pose estimation, and we describe how to robustly infer object, robot, and human nodes in crowded scenes. To the best of our knowledge, this is the first paper that reconciles visual-inertial SLAM and dense human mesh tracking. Moreover, we provide algorithms to obtain hierarchical representations of indoor environments (e.g. places, structures, rooms) and their relations. Our third contribution is to demonstrate the proposed spatial perception engine in a photo-realistic Unity-based simulator, where we assess its robustness and expressiveness. Finally, we discuss the implications of our proposal on modern robotics applications. 3D Dynamic Scene Graphs can have a profound impact on planning and decision-making, human-robot interaction, long-term autonomy, and scene prediction. A video abstract is available at https://youtu.be/SWbofjhyPzI △ Less

Submitted 16 June, 2020; v1 submitted 14 February, 2020; originally announced February 2020.

Comments: 11 pages, 5 figures

Extent-Compatible Control Barrier Functions

Authors: Mohit Srinivasan, Matthew Abate, Gustav Nilsson, Samuel Coogan

Abstract: Safety requirements in dynamical systems are commonly enforced with set invariance constraints over a safe region of the state space. Control barrier functions, which are Lyapunov-like functions for guaranteeing set invariance, are an effective tool to enforce such constraints and guarantee safety when the system is represented as a point in the state space. In this paper, we introduce extent-comp… ▽ More Safety requirements in dynamical systems are commonly enforced with set invariance constraints over a safe region of the state space. Control barrier functions, which are Lyapunov-like functions for guaranteeing set invariance, are an effective tool to enforce such constraints and guarantee safety when the system is represented as a point in the state space. In this paper, we introduce extent-compatible control barrier functions as a tool to enforce safety for the system including its volume (extent) in the physical world. In order to implement the extent-compatible control barrier functions framework, a sum-of-squares based optimization program is proposed. Since sum-of-squares programs can be computationally prohibitive, we additionally introduce a sampling based method in order to retain the computational advantage of a traditional barrier function based quadratic program controller. We prove that the proposed sampling based controller retains the guarantee for safety. Simulation and robotic implementation results are also provided. △ Less

Submitted 20 January, 2020; originally announced January 2020.

Kimera: an Open-Source Library for Real-Time Metric-Semantic Localization and Map**

Authors: Antoni Rosinol, Marcus Abate, Yun Chang, Luca Carlone

Abstract: We provide an open-source C++ library for real-time metric-semantic visual-inertial Simultaneous Localization And Map** (SLAM). The library goes beyond existing visual and visual-inertial SLAM libraries (e.g., ORB-SLAM, VINS- Mono, OKVIS, ROVIO) by enabling mesh reconstruction and semantic labeling in 3D. Kimera is designed with modularity in mind and has four key components: a visual-inertial o… ▽ More We provide an open-source C++ library for real-time metric-semantic visual-inertial Simultaneous Localization And Map** (SLAM). The library goes beyond existing visual and visual-inertial SLAM libraries (e.g., ORB-SLAM, VINS- Mono, OKVIS, ROVIO) by enabling mesh reconstruction and semantic labeling in 3D. Kimera is designed with modularity in mind and has four key components: a visual-inertial odometry (VIO) module for fast and accurate state estimation, a robust pose graph optimizer for global trajectory estimation, a lightweight 3D mesher module for fast mesh reconstruction, and a dense 3D metric-semantic reconstruction module. The modules can be run in isolation or in combination, hence Kimera can easily fall back to a state-of-the-art VIO or a full SLAM system. Kimera runs in real-time on a CPU and produces a 3D metric-semantic mesh from semantically labeled images, which can be obtained by modern deep learning methods. We hope that the flexibility, computational efficiency, robustness, and accuracy afforded by Kimera will build a solid basis for future metric-semantic SLAM and perception research, and will allow researchers across multiple areas (e.g., VIO, SLAM, 3D reconstruction, segmentation) to benchmark and prototype their own efforts without having to start from scratch. △ Less

Submitted 3 March, 2020; v1 submitted 6 October, 2019; originally announced October 2019.

Comments: 8 pages

Monitor-Based Runtime Assurance for Temporal Logic Specifications

Authors: Matthew Abate, Eric Feron, Samuel Coogan

Abstract: This paper introduces the safety controller architecture as a runtime assurance mechanism for system specifications expressed as safety properties in Linear Temporal Logic (LTL). The safety controller has three fundamental components: a performance controller, a backup controller, and an assurance mechanism. The assurance mechanism uses a monitor, constructed as a finite state machine (FSM), to an… ▽ More This paper introduces the safety controller architecture as a runtime assurance mechanism for system specifications expressed as safety properties in Linear Temporal Logic (LTL). The safety controller has three fundamental components: a performance controller, a backup controller, and an assurance mechanism. The assurance mechanism uses a monitor, constructed as a finite state machine (FSM), to analyze a suggested performance control input and search for system trajectories that are bad prefixes of the system specification. A fault flag from the assurance mechanism denotes a potentially dangerous future system state and triggers a sequence of inputs that is guaranteed to keep the system safe for all time. A case study is presented which details the construction and implementation of a safety controller on a non-deterministic cyber-physical system. △ Less

Submitted 8 August, 2019; originally announced August 2019.

Comments: 8 Pages, 4 Figures. IEEE Conference on Decision and Control, 2019, to appear

MSC Class: 93A99

Lyapunov Differential Equation Hierarchy and Polynomial Lyapunov Functions for Switched Linear Systems

Authors: Matthew Abate, Corbin Klett, Samuel Coogan, Eric Feron

Abstract: This work studies the problem of searching for homogeneous polynomial Lyapunov functions for stable switched linear systems. Specifically, we show an equivalence between polynomial Lyapunov functions for systems of this class and quadratic Lyapunov functions for a related hierarchy of Lyapunov differential equations. This creates an intuitive procedure for checking the stability properties of swit… ▽ More This work studies the problem of searching for homogeneous polynomial Lyapunov functions for stable switched linear systems. Specifically, we show an equivalence between polynomial Lyapunov functions for systems of this class and quadratic Lyapunov functions for a related hierarchy of Lyapunov differential equations. This creates an intuitive procedure for checking the stability properties of switched linear systems and a computationally competitive algorithm is presented for generating high-order homogeneous polynomial Lyapunov functions in this manner. Additionally, we provide a comparison between polynomial Lyapunov functions generated with our proposed approach and polynomial Lyapunov functions generated with a more traditional sum-of-squares based approach. △ Less

Submitted 18 February, 2020; v1 submitted 11 June, 2019; originally announced June 2019.

Comments: 8 pages, 2 figures

MSC Class: 93D05

Toeplitz Operators and Skew Carleson measures for weighted Bergman spaces on strongly pseudoconvex domains

Authors: Marco Abate, Samuele Mongodi, Jasmin Raissy

Abstract: In this paper we study map** properties of Toeplitz-like operators on weighted Bergman spaces of bounded strongly pseudconvex domains in $\mathbb{C}^n$. In particular we prove that a Toeplitz operator built using as kernel a weighted Bergman kernel of weight $β$ and integrating against a measure $μ$ maps continuously (when $β$ is large enough) a weighted Bergman space $A^{p_1}_{α_1}(D)$ into a w… ▽ More In this paper we study map** properties of Toeplitz-like operators on weighted Bergman spaces of bounded strongly pseudconvex domains in $\mathbb{C}^n$. In particular we prove that a Toeplitz operator built using as kernel a weighted Bergman kernel of weight $β$ and integrating against a measure $μ$ maps continuously (when $β$ is large enough) a weighted Bergman space $A^{p_1}_{α_1}(D)$ into a weighted Bergman space $A^{p_2}_{α_2}(D)$ if and only if $μ$ is a $(λ,γ)$-skew Carleson measure, where $λ=1+\frac{1}{p_1}-\frac{1}{p_2}$ and $γ=\frac{1}λ\left(β+\frac{α_1}{p_1}-\frac{α_2}{p_2}\right)$. This theorem generalizes results obtained by Pau and Zhao on the unit ball, and extends and makes more precise results obtained by Abate, Raissy and Saracco on a smaller class of Toeplitz operators on bounded strongly pseudoconvex domains. △ Less

Submitted 29 May, 2019; originally announced May 2019.

Comments: 21 pages. arXiv admin note: text overlap with arXiv:1710.01631

MSC Class: 32A36 (primary); 32A25; 32Q45; 32T15; 46E22; 46E15; 47B35 (secondary)

Skew Carleson measures in strongly pseudoconvex domains

Authors: Marco Abate, Jasmin Raissy

Abstract: Given a bounded strongly pseudoconvex domain $D$ in $\mathbb{C}^n$ with smooth boundary, we give a characterization through products of functions in weighted Bergman spaces of $(λ,γ)$-skew Carleson measures on $D$, with $λ>0$ and $γ>1-\frac{1}{n+1}$. Given a bounded strongly pseudoconvex domain $D$ in $\mathbb{C}^n$ with smooth boundary, we give a characterization through products of functions in weighted Bergman spaces of $(λ,γ)$-skew Carleson measures on $D$, with $λ>0$ and $γ>1-\frac{1}{n+1}$. △ Less

Submitted 4 October, 2017; originally announced October 2017.

Comments: 19 pages

MSC Class: 32A36 (primary); 32A25; 32Q45; 32T15; 46E22; 46E15; 47B35 (secondary)

The Kobayashi distance in holomorphic dynamics and operator theory

Authors: Marco Abate

Abstract: These are the notes of a short course I gave in the school "Aspects métriques et dynamiques en analyse complete", Lille, May 2015. The aim of this notes is to describe how to use a geometric structure (namely, the Kobayashi distance) to explore and encode analytic properties of holomorphic functions and maps defined on complex manifolds. We shall first describe the main properties of the Kobayashi… ▽ More These are the notes of a short course I gave in the school "Aspects métriques et dynamiques en analyse complete", Lille, May 2015. The aim of this notes is to describe how to use a geometric structure (namely, the Kobayashi distance) to explore and encode analytic properties of holomorphic functions and maps defined on complex manifolds. We shall first describe the main properties of the Kobayashi distance, and then we shall present applications to holomorphic dynamics in taut manifolds, strongly pseudo convex domains and convex domains, and to operator theory in Bergman spaces (Carleson measures and Toeplitz operators). △ Less

Submitted 4 September, 2015; originally announced September 2015.

Comments: 66 pages

MSC Class: 32H50; 37F99; 32A36; 32F45; 32Q45; 47B35

Fatou flowers and parabolic curves

Authors: Marco Abate

Abstract: In this survey we shall collect the main results known up to now (July 2015) regarding possible generalizations to several complex variables of the classical Leau-Fatou flower theorem in holomorphic parabolic dynamics. In this survey we shall collect the main results known up to now (July 2015) regarding possible generalizations to several complex variables of the classical Leau-Fatou flower theorem in holomorphic parabolic dynamics. △ Less

Submitted 14 July, 2015; v1 submitted 9 January, 2015; originally announced January 2015.

Comments: 26 pages, A few more misprints has been corrected, and the survey has been updated to July 2015

MSC Class: 32H50; 37F75; 37F99

A Poincaré-Bendixson theorem for meromorphic connections on Riemann surfaces

Authors: Marco Abate, Fabrizio Bianchi

Abstract: We prove a Poincaré-Bendixson theorem describing the asymptotic behavior of geodesics for a meromorphic connection on a compact Riemann surface. We shall also briefly discuss the case of non-compact Riemann surfaces, and study in detail the geodesics for a holomorphic connection on a complex torus. We prove a Poincaré-Bendixson theorem describing the asymptotic behavior of geodesics for a meromorphic connection on a compact Riemann surface. We shall also briefly discuss the case of non-compact Riemann surfaces, and study in detail the geodesics for a holomorphic connection on a complex torus. △ Less

Submitted 26 June, 2014; originally announced June 2014.

MSC Class: 32H50 (Primary) 34M03; 34M40; 37F99 (Secondary)

A Julia-Wolff-Carathéodory theorem for infinitesimal generators in the unit ball

Authors: Marco Abate, Jasmin Raissy

Abstract: We prove a Julia-Wolff-Carathédory theorem on angular derivatives of infinitesimal generators of one-parameter semigroups of holomorphic self-maps of the unit ball $B^n\subset\mathbb{C}^n$, starting from results recently obtained by Bracci and Shoikhet. We prove a Julia-Wolff-Carathédory theorem on angular derivatives of infinitesimal generators of one-parameter semigroups of holomorphic self-maps of the unit ball $B^n\subset\mathbb{C}^n$, starting from results recently obtained by Bracci and Shoikhet. △ Less

Submitted 26 June, 2014; v1 submitted 4 March, 2014; originally announced March 2014.

Comments: We have added an example showing the relevance of the hypotheses in our main theorem; 16 pages

MSC Class: 37L05 (primary); 32A40; 32H50; 20M20 (secondary)

Common boundary regular fixed points for holomorphic semigroups in strongly convex domains

Authors: Marco Abate, Filippo Bracci

Abstract: Let $D$ be a bounded strongly convex domain with smooth boundary in $\mathbb C^N$. Let $(φ_t)$ be a continuous semigroup of holomorphic self-maps of $D$. We prove that if $p\in \partial D$ is an isolated boundary regular fixed point for $φ_{t_0}$ for some $t_0>0$, then $p$ is a boundary regular fixed point for $φ_t$ for all $t\geq 0$. Along the way we also study backward iteration sequences for el… ▽ More Let $D$ be a bounded strongly convex domain with smooth boundary in $\mathbb C^N$. Let $(φ_t)$ be a continuous semigroup of holomorphic self-maps of $D$. We prove that if $p\in \partial D$ is an isolated boundary regular fixed point for $φ_{t_0}$ for some $t_0>0$, then $p$ is a boundary regular fixed point for $φ_t$ for all $t\geq 0$. Along the way we also study backward iteration sequences for elliptic holomorphic self-maps of $D$. △ Less

Submitted 15 February, 2014; originally announced February 2014.

Wolff-Denjoy theorems in non-smooth convex domains

Authors: Marco Abate, Jasmin Raissy

Abstract: We give a short proof of Wolff-Denjoy theorem for (not necessarily smooth) strictly convex domains. With similar techniques we are also able to prove a Wolff-Denjoy theorem for weakly convex domains, again without any smoothness assumption on the boundary. We give a short proof of Wolff-Denjoy theorem for (not necessarily smooth) strictly convex domains. With similar techniques we are also able to prove a Wolff-Denjoy theorem for weakly convex domains, again without any smoothness assumption on the boundary. △ Less

Submitted 11 November, 2012; originally announced November 2012.

Comments: 13 pages

Toeplitz operators and Carleson measures in strongly pseudoconvex domains

Authors: Marco Abate, Jasmin Raissy, Alberto Saracco

Abstract: We study map** properties of Toeplitz operators associated to a finite positive Borel measure on a bounded strongly pseudoconvex domain D in n complex variables. In particular, we give sharp conditions on the measure ensuring that the associated Toeplitz operator maps the Bergman space A^p(D) into A^r(D) with r>p, generalizing and making more precise results by Cuckovic and McNeal. To do so, we… ▽ More We study map** properties of Toeplitz operators associated to a finite positive Borel measure on a bounded strongly pseudoconvex domain D in n complex variables. In particular, we give sharp conditions on the measure ensuring that the associated Toeplitz operator maps the Bergman space A^p(D) into A^r(D) with r>p, generalizing and making more precise results by Cuckovic and McNeal. To do so, we give a geometric characterization of Carleson measures and of vanishing Carleson measures of weighted Bergman spaces in terms of the intrinsic Kobayashi geometry of the domain, generalizing to this setting results obtained by Kaptanoglu for the unit ball. △ Less

Submitted 6 February, 2012; originally announced February 2012.

Comments: 36 pages

MSC Class: 32A36 (Primary) 47B35; 46E15; 46E22; 32A25; 32Q45; 32T15 (Secondary)

Open problems in local discrete holomorphic dynamics

Authors: Marco Abate

Abstract: This paper contains a selection, dictated by personal taste and by no means complete, of open problems in local discrete holomorphic dynamics. This paper contains a selection, dictated by personal taste and by no means complete, of open problems in local discrete holomorphic dynamics. △ Less

Submitted 25 July, 2011; originally announced July 2011.

MSC Class: 37F99; 32H50

Index theorems for meromorphic self-maps of the projective space

Authors: Marco Abate

Abstract: In this short note we would like to show how it is possible to use techniques introduced in the theory of local dynamics of holomorphic germs tangent to the identity to study global meromorphic self-maps of the complex projective space. In particular we shall show how a meromorphic self-map of a complex projective space induces a holomorphic foliation of the projective space in Riemann surfaces, w… ▽ More In this short note we would like to show how it is possible to use techniques introduced in the theory of local dynamics of holomorphic germs tangent to the identity to study global meromorphic self-maps of the complex projective space. In particular we shall show how a meromorphic self-map of a complex projective space induces a holomorphic foliation of the projective space in Riemann surfaces, whose singular points are exactly the fixed points and the indeterminacy points of the map; and we shall prove three index theorems, relating suitably defined local residues at the fixed and indeterminacy points with Chern classes of the projective space. △ Less

Submitted 13 June, 2011; originally announced June 2011.

MSC Class: Primary 32H04; 32H50; 14M20; 37F75; 37F99; 58J20

Backward iteration in strongly convex domains

Authors: Marco Abate, Jasmin Raissy

Abstract: We prove that a backward orbit with bounded Kobayashi step for a hyperbolic or strongly elliptic holomorphic self-map of a bounded strongly convex domain in the d-dimensional complex Euclidean space necessarily converges to a boundary fixed point, generalizing previous results obtained by Poggi-Corradini in the unit disk and by Ostapyuk in the unit ball. We prove that a backward orbit with bounded Kobayashi step for a hyperbolic or strongly elliptic holomorphic self-map of a bounded strongly convex domain in the d-dimensional complex Euclidean space necessarily converges to a boundary fixed point, generalizing previous results obtained by Poggi-Corradini in the unit disk and by Ostapyuk in the unit ball. △ Less

Submitted 2 October, 2018; v1 submitted 28 April, 2011; originally announced April 2011.

Comments: We have found a gap in the proofs of Lemmas 2.2 and 2.5 of the published version of this paper. Here we add to the previous version a note where we fill these gaps, giving a proof of the main results using different arguments. For the benefit of the reader, we report the complete proof of the main theorem, including the needed background results

MSC Class: 32H50; 37F99

Stable manifolds for holomorphic automorphisms

Authors: Marco Abate, Alberto Abbondandolo, Pietro Majer

Abstract: We give a sufficient condition for the abstract basin of attraction of a sequence of holomorphic self-maps of balls in \mathbb{C}^{d} to be biholomorphic to \mathbb{C}^{d}. As a consequence, we get a sufficient condition for the stable manifold of a point in a compact hyperbolic invariant subset of a complex manifold to be biholomorphic to a complex Euclidean space. Our result immediately implies… ▽ More We give a sufficient condition for the abstract basin of attraction of a sequence of holomorphic self-maps of balls in \mathbb{C}^{d} to be biholomorphic to \mathbb{C}^{d}. As a consequence, we get a sufficient condition for the stable manifold of a point in a compact hyperbolic invariant subset of a complex manifold to be biholomorphic to a complex Euclidean space. Our result immediately implies previous theorems obtained by Jonsson-Varolin and by Peters; in particular, we prove (without using Oseledec's theory) that the stable manifold of any point where the negative Lyapunov exponents are well-defined is biholomorphic to a complex Euclidean space. Our approach is based on the solution of a linear control problem in spaces of subexponential sequences, and on careful estimates of the norm of hte conjugacy operator by a lower triangular matrix on the space of \textit{k}-homogeneous polynomial endomorphisms of \mathbb{C}^{d}. △ Less

Submitted 22 December, 2011; v1 submitted 23 April, 2011; originally announced April 2011.

Comments: 29 pages; A few minor changes in the introduction

MSC Class: 37F99 (Primary) 32H50; 37D25; 37H99 (Secondary)

Journal ref: J. Reine Angew. Math. 690 (2014), 217-247

Formal Poincare'-Dulac renormalization for holomorphic germs

Authors: Marco Abate, Jasmin Raissy

Abstract: In this revised version, applying a general renormalization procedure for formal self-maps, producing a formal normal form simpler than the classical Poincaré-Dulac normal form, we shall give a complete list of normal forms for bi-dimensional superattracting germs with non-vanishing quadratic term; in most cases, our normal forms will be the simplest possible ones (in the sense of Wang, Zheng and… ▽ More In this revised version, applying a general renormalization procedure for formal self-maps, producing a formal normal form simpler than the classical Poincaré-Dulac normal form, we shall give a complete list of normal forms for bi-dimensional superattracting germs with non-vanishing quadratic term; in most cases, our normal forms will be the simplest possible ones (in the sense of Wang, Zheng and Peng). We shall also discuss a few examples of renormalization of germs tangent to the identity, revealing interesting second-order resonance phenomena. △ Less

Submitted 13 June, 2011; v1 submitted 2 August, 2010; originally announced August 2010.

Comments: 30 pages

MSC Class: 32H50; 37F99

Localization of Atiyah classes

Authors: Marco Abate, Filippo Bracci, Tatsuo Suwa, Francesca Tovena

Abstract: We construct Atiyah classes using debar-closed forms. Under this point of view and using the Cech-Dolbeault cohomology, we provide several types of results about vanishing and localization of Atiyah classes and applications. We construct Atiyah classes using debar-closed forms. Under this point of view and using the Cech-Dolbeault cohomology, we provide several types of results about vanishing and localization of Atiyah classes and applications. △ Less

Submitted 10 May, 2010; originally announced May 2010.

Comments: 29 pages

Carleson measures and uniformly discrete sequences in strongly pseudoconvex domains

Authors: Marco Abate, Alberto Saracco

Abstract: We characterize using the Bergman kernel Carleson measures of Bergman spaces in strongly pseudoconvex bounded domains in several complex variables, generalizing to this setting theorems proved by Duren and Weir for the unit ball. We also show that uniformly discrete (with respect to the Kobayashi distance) sequences give examples of Carleson measures, and we compute the speed of escape to the bo… ▽ More We characterize using the Bergman kernel Carleson measures of Bergman spaces in strongly pseudoconvex bounded domains in several complex variables, generalizing to this setting theorems proved by Duren and Weir for the unit ball. We also show that uniformly discrete (with respect to the Kobayashi distance) sequences give examples of Carleson measures, and we compute the speed of escape to the boundary of uniformly discrete sequences in strongly pseudoconvex domains, generalizing results obtained in the unit ball by Jevtić, Massaneda and Thomas, by Duren and Weir, and by MacCluer. △ Less

Submitted 19 September, 2009; originally announced September 2009.

Comments: 17 pages

MSC Class: 32A36 (Primary); 46E22; 32F45; 32T15 (Secondary)

Poincaré-Bendixson theorems for meromorphic connections and homogeneous vector fields

Authors: Marco Abate, Francesca Tovena

Abstract: We first study the dynamics of the geodesic flow of a meromorphic connection on a Riemann surface, and prove a Poincaré-Bendixson theorem describing recurrence properties and $ω$-limit sets of geodesics for a meromorphic connection on $¶^1(\C)$. We then show how to associate to a homogeneous vector field $Q$ in ${\Bbb C}^n$ a rank 1 singular holomorphic foliation $\cal F$ of $¶^{n-1}(\C)$ and a… ▽ More We first study the dynamics of the geodesic flow of a meromorphic connection on a Riemann surface, and prove a Poincaré-Bendixson theorem describing recurrence properties and $ω$-limit sets of geodesics for a meromorphic connection on $¶^1(\C)$. We then show how to associate to a homogeneous vector field $Q$ in ${\Bbb C}^n$ a rank 1 singular holomorphic foliation $\cal F$ of $¶^{n-1}(\C)$ and a (partial) meromorphic connection $\nabla^o$ along $\ca F$ so that integral curves of $Q$ are described by the geodesic flow of $\nabla^o$ along the leaves of $\ca F$, which are Riemann surfaces. The combination of these results yields powerful tools for a detailed study of the dynamics of homogeneous vector fields. For instance, in dimension two we obtain a description of recurrence properties of integral curves of $Q$, and of the behavior of the geodesic flow in a neighbourhood of a singularity, classifying the possible singularities both from a formal point of view and (for generic singularities) from a holomorphic point of view. We also get examples of unexpected new phenomena, we put in a coherent context scattered results previously known, and we obtain (as far as we know for the first time) a complete description of the dynamics in a full neighbourhood of the origin for a substantial class of 2-dimensional holomorphic maps tangent to the identity. Finally, as an example of application of our methods we study in detail the dynamics of quadratic homogeneous vector fields in $\C^2$. △ Less

Submitted 16 December, 2009; v1 submitted 20 March, 2009; originally announced March 2009.

Comments: We generalized some of the main ideas to homogeneous vector fields in ${\Bbb C}^n$ for any n, rewriting the introduction and adding a new section

MSC Class: 32H50 (Primary); 37F75; 32S65; 34M35 (secondary)

Discrete holomorphic local dynamical systems

Authors: Marco Abate

Abstract: This is a survey on local dynamics of holomorphic maps in one and several complex variables, discussing in particular normal forms and the structure of local stable sets in the non-hyperbolic case, and including several proofs and a vast bibliography. It updates and enlarge the previous survey arXiv:math/0310089v1. This is a survey on local dynamics of holomorphic maps in one and several complex variables, discussing in particular normal forms and the structure of local stable sets in the non-hyperbolic case, and including several proofs and a vast bibliography. It updates and enlarge the previous survey arXiv:math/0310089v1. △ Less

Submitted 19 March, 2009; originally announced March 2009.

Comments: Notes of the CIME course given in Cetraro (Italy) in July 2008. To appear in "Holomorphic dynamics", G.Gentili, J. Guenot, G. Patrizio eds., Lect. Notes in Math., Springer, Berlin, 2009

MSC Class: 37F99 (Primary); 32H50; 30D05 (Secondary)

Isometries for the Caratheodory Metric

Authors: Marco Abate, Jean-Pierre Vigue

Abstract: Under certain hypothesises, we prove that a map which is an isometry for the Caratheodory infinitesimal metric at a point is an analytic isomorphism onto its image. Under certain hypothesises, we prove that a map which is an isometry for the Caratheodory infinitesimal metric at a point is an analytic isomorphism onto its image. △ Less

Submitted 19 September, 2007; v1 submitted 16 July, 2007; originally announced July 2007.

Comments: 6 pages

MSC Class: 32H99

Embeddings of submanifolds and normal bundles

Authors: Marco Abate, Filippo Bracci, Francesca Tovena

Abstract: This paper is devoted to the study of the embeddings of a complex submanifold $S$ inside a larger complex manifold $M$; in particular, we are interested in comparing the embedding of $S$ in $M$ with the embedding of $S$ as the zero section in the total space of the normal bundle $N_S$ of $S$ in $M$. We explicitely describe some cohomological classes allowing to measure the difference between the… ▽ More This paper is devoted to the study of the embeddings of a complex submanifold $S$ inside a larger complex manifold $M$; in particular, we are interested in comparing the embedding of $S$ in $M$ with the embedding of $S$ as the zero section in the total space of the normal bundle $N_S$ of $S$ in $M$. We explicitely describe some cohomological classes allowing to measure the difference between the two embeddings, in the spirit of the work by Grauert, Griffiths, and Camacho-Movasati-Sad; we are also able to explain the geometrical meaning of the separate vanishing of these classes. Our results holds for any codimension, but even for curves in a surface we generalize previous results due to Laufert and Camacho-Movasati-Sad. △ Less

Submitted 15 December, 2006; originally announced December 2006.

Comments: 29 pages

MSC Class: 32S65; 37F10; 32A27; 37F75

Index theorems for holomorphic maps and foliations

Authors: Marco Abate, Filippo Bracci, Francesca Tovena

Abstract: We describe a general construction providing index theorems localizing the Chern classes of the normal bundle of a subvariety inside a complex manifold. As particular instances of our construction we recover both Lehmann-Suwa's generalization of the classical Camacho-Sad index theorem for holomorphic foliations and our index theorem for holomorphic maps with positive dimensional fixed point set.… ▽ More We describe a general construction providing index theorems localizing the Chern classes of the normal bundle of a subvariety inside a complex manifold. As particular instances of our construction we recover both Lehmann-Suwa's generalization of the classical Camacho-Sad index theorem for holomorphic foliations and our index theorem for holomorphic maps with positive dimensional fixed point set. Furthermore, we also obtain generalizations of recent index theorems of Camacho-Movasati-Sad and Camacho-Lehmann for holomorphic foliations transversal to a subvariety. △ Less

Submitted 25 January, 2006; originally announced January 2006.

Comments: 46 pages

MSC Class: 32S65; 37F10; 32A27; 37F75

Index theorems for holomorphic self-maps

Authors: Marco Abate, Filippo Bracci, Francesca Tovena

Abstract: Let $M$ be a complex manifold and $S\subset M$ a (possibly singular) subvariety of $M$. Let $f\colon M\to M$ be a holomorphic map such that $f$ restricted to $S$ is the identity. We show that one can associate to $f$ a holomorphic section $X_f$ of a sheaf related to the embedding of $S$ in $M$ and that such a section reads the dynamical behavior of $f$ along $S$. In particular we prove that unde… ▽ More Let $M$ be a complex manifold and $S\subset M$ a (possibly singular) subvariety of $M$. Let $f\colon M\to M$ be a holomorphic map such that $f$ restricted to $S$ is the identity. We show that one can associate to $f$ a holomorphic section $X_f$ of a sheaf related to the embedding of $S$ in $M$ and that such a section reads the dynamical behavior of $f$ along $S$. In particular we prove that under generic hypotheses the canonical section $X_f$ induces a holomorphic action in the sense of Bott on the normal bundle of (the regular part of) $S$ in $M$ and this allows to obtain for holomorphic self-maps with non- isolated fixed points index theorems similar to Camacho-Sad, Baum-Bott and variation index theorems for holomorphic foliations. Finally we apply our index theorems to obtain information about topology and dynamics of holomorphic self-maps of surfaces with a compact curve of fixed points. △ Less

Submitted 28 September, 2005; originally announced September 2005.

Comments: 46 pages, published version

Journal ref: Ann. of Math. (2), Vol. 159 (2004), no. 2, 819-864

Ritt's theorem and the Heins map in hyperbolic complex manifolds

Authors: Marco Abate, Filippo Bracci

Abstract: Let X be a Kobayashi hyperbolic complex manifold, and assume that X does not contain compact complex submanifolds of positive dimension (e.g., X Stein). We shall prove the following generalization of Ritt's theorem: every holomorphic self-map f of X such that f(X) is relatively compact in X has a unique fixed point p(f) in X, which is attracting. Furthermore, we shall prove that p(f) depends hol… ▽ More Let X be a Kobayashi hyperbolic complex manifold, and assume that X does not contain compact complex submanifolds of positive dimension (e.g., X Stein). We shall prove the following generalization of Ritt's theorem: every holomorphic self-map f of X such that f(X) is relatively compact in X has a unique fixed point p(f) in X, which is attracting. Furthermore, we shall prove that p(f) depends holomorphically on f in a suitable sense, generalizing results by Heins, Joseph-Kwack and the second author. △ Less

Submitted 4 November, 2004; originally announced November 2004.

Comments: 5 pages; submitted to Proceedings of 2004 Bei**g International Conference on Several Complex Variables

MSC Class: 32H50 (Primary); 32Q45; 37F99 (Secondary)

Formal normal forms for holomorphic maps tangent to the identity

Authors: Marco Abate, Francesca Tovena

Abstract: We describe a procedure for constructing formal normal forms of holomorphic maps with a hypersurface of fixed points, and we apply it to obtain a complete list of formal normal forms for 2-dimensional holomorphic maps tangential to a curve of fixed points. We describe a procedure for constructing formal normal forms of holomorphic maps with a hypersurface of fixed points, and we apply it to obtain a complete list of formal normal forms for 2-dimensional holomorphic maps tangential to a curve of fixed points. △ Less

Submitted 4 November, 2004; originally announced November 2004.

Comments: 12 pages; submitted to Proceedings of the Fifth International Conference on Dynamical Systems and Differential Equations, June 2004, Pomona, CA, USA

MSC Class: 32H50 (Primary); 37F99

Discrete local holomorphic dynamics

Authors: Marco Abate

Abstract: This is a survey on the local structure about a fixed point of discrete finite-dimensional holomorphic dynamical systems, discussing in particular the existence of local topological conjugacies to normal forms, and the structure of local stable sets in the non-hyperbolic case. The author hopes to keep the survey up to date, and thus it would be grateful to anybody pointing out missing (or mistak… ▽ More This is a survey on the local structure about a fixed point of discrete finite-dimensional holomorphic dynamical systems, discussing in particular the existence of local topological conjugacies to normal forms, and the structure of local stable sets in the non-hyperbolic case. The author hopes to keep the survey up to date, and thus it would be grateful to anybody pointing out missing (or mistaken) results and references, and/or suggesting topics to be included or expanded in it. △ Less

Submitted 7 October, 2003; originally announced October 2003.

Comments: Plain-TeX file, 22 pages, to be published in the proceedings of the 13th Seminar on analysis and its applications, Isfahan, March 16-17, 2003

MSC Class: 37F99 (Primary); 37F50; 32H50 (Secondary)

Diagonalization of non-diagonalizable discrete holomorphic dynamical systems

Authors: Marco Abate

Abstract: We describe a canonical procedure for associating to any (germ of) holomorphic self-map f of C^n fixing the origin such that df_O is invertible and non-diagonalizable an n-dimensional complex manifold M, a holomorphic map p from M to C^n, a point e in M and a (germ of) holomorphic self-map F of M so that: p restricted to the complement of p^{-1}(O) is a biholomorphism between this complement and… ▽ More We describe a canonical procedure for associating to any (germ of) holomorphic self-map f of C^n fixing the origin such that df_O is invertible and non-diagonalizable an n-dimensional complex manifold M, a holomorphic map p from M to C^n, a point e in M and a (germ of) holomorphic self-map F of M so that: p restricted to the complement of p^{-1}(O) is a biholomorphism between this complement and C^n minus the origin; p semiconjugates f and F; and e is a fixed point of F such that dF_e is diagonalizable. Furthermore, we use this construction to describe the local dynamics of such an f nearby the origin when the only eigenvalue of df_O is 1. △ Less

Submitted 6 October, 1999; originally announced October 1999.

Comments: Plain-TeX file, 17 pages

MSC Class: 32H50 (Primary); 32H02; 58F23 (Secondary)

The Julia-Wolff-Caratheodory theorem in polydisks

Authors: Marco Abate

Abstract: The classical Julia-Wolff-Caratheodory theorem gives a condition ensuring the existence of the non-tangential limit of both a bounded holomorphic function and its derivative at a given boundary point of the unit disk in the complex plane. This theorem has been generalized by Rudin to holomorphic maps between unit balls in C^n, and by the author to holomorphic maps between strongly (pseudo)convex… ▽ More The classical Julia-Wolff-Caratheodory theorem gives a condition ensuring the existence of the non-tangential limit of both a bounded holomorphic function and its derivative at a given boundary point of the unit disk in the complex plane. This theorem has been generalized by Rudin to holomorphic maps between unit balls in C^n, and by the author to holomorphic maps between strongly (pseudo)convex domains. Here we describe Julia-Wolff-Caratheodory theorems for holomorphic maps defined in a polydisk and with image either in the unit disk, or in another polydisk, or in a strongly convex domain. One of main tool for the proof is a general version of Lindelof's principle valid for not necessarily bounded holomorphic functions. △ Less

Submitted 17 December, 1996; originally announced December 1996.

MSC Class: 32