Orientador: Luiz Antonio Barrera San Martin / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Cientifica / Made available in DSpace on 2018-08-21T17:52:11Z (GMT). No. of bitstreams: 1 Ferraiol_ThiagoFanelli_D.pdf: 1248936 bytes, checksum: b0a3aefba1736bb7ff7be29e982d7aa0 (MD5) Previous issue date: 2012 / Resumo: Nesta tese apresentamos resultados que fornecem a regularidade dos expoentes de Lyapunov com uma abordagem via teoria de Lie. A generalização dos expoentes de Lyapunov para fluxos em fibrados flag associados a um fibrado principal é utilizada para obter a diferenciabilidade de certas combinações lineares do espectro de Lyapunov. Essas combinações que são diferenciáveis são determinadas a partir da caracterização da decomposição de Morse mais fina do fluxo nos fibrados flag. A diferenciabilidade é tomada com repeito à perturbação do fluxo por elementos do grupo de calibre do fibrado principal / Abstract: In this thesis we present results about regularity of Lyapunov Exponents via a Lie Theory approach. The generalization of Lyapunov Exponents for flows in flag bundles is used to obtain the differenciability of certain linear combinations of the Lyapunov spectra. This specific combinations that are differentiable are determined by the caracterization of the finest Morse decomposition of the flows on flag bundles. The differenciability is taken with respect to the perturbation of the flow by elements in the gauge group of the principal bundle / Doutorado / Matematica / Doutor em Matemática

Orientadores: Caio José Colletti Negreiros, Lino Anderson da Silva Grama / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Matemática Estatística e Computação Científica / Made available in DSpace on 2018-08-27T16:12:58Z (GMT). No. of bitstreams: 1 Oliveira_AiltonRibeirode_D.pdf: 1000877 bytes, checksum: 4f91902c1ef47fbb7b02f75348402924 (MD5) Previous issue date: 2015 / Resumo: A primeira parte do trabalho é dedicada ao estudo da formalidade geométrica em variedades flag. Uma Estrutura Riemanniana (M,g) é geometricamente formal se g possui a propriedade que todos os produtos wedge de formas harmônicas são harmônicos. Tal métrica g é chamada formal. Vamos analisar esse fato quando M é uma variedade flag usando métodos topológicos. Na verdade, mostraremos que muitas variedades flag não admitem nenhuma métrica formal g. Na segunda parte do trabalho, calcularemos os números de Chern de várias variedades flag e vamos usá-los para classificar algumas estruturas quase complexas invariantes. Além disso, mostraremos, com o auxílio do Teorema de Kodaira, que os números de Chern satisfazem algumas relações impostas pelo Teorema de Hirzebruch-Riemann-Roch / Abstract: The first part of work is dedicated to the study of geometric formality on flag manifolds. A Riemannian Structure (M,g) is geometrically formal if g has the property that all wedge products of harmonic forms are harmonic. Such metric g is called formal. We are going to analyse this fact when M is a flag manifold using topological methods. Indeed, we will show that many flag manifolds do not admit a formal metric g. In the second part of work, we will calculate Chern numbers of many flag manifolds and we are going to use them to classify some invariant almost complex structures. Furthermore, we will show with help of the Kodaira Theorem that the Chern numbers satisfy some relations imposed by the Hirzebruch-Riemann-Roch Theorem / Doutorado / Matematica / Doutor em Matemática

Soit G un groupe de Lie semisimple (de rang supérieur) et Γ un sous-groupe discret Zariski dense de G (de covolume infini). Dans cette thèse, on traite de deux questions reliées au cône limite de Benoist de Γ : l’une de marche aléatoire et l’autre de mélange topologique du flot directionnel des chambres de Weyl. Dans l’introduction, on énonce les résultats principaux de cette thèse dans leur contexte. Le second chapitre comporte des rappels sur les groupes de Lie et les éléments loxodromiques. Dans le troisième chapitre, on réalise tous les points de l’intérieur du cône limite par des vecteurs de Lyapunov. Dans le quatrième chapitre, on construit des coordonnées locales de G ainsi que des outils cruciaux pour la suite. Dans le cinquième chapitre, on introduit les ensembles invariants naturels de G. Dans le dernier chapitre de cette thèse, on prouve le critère de mélange topologique des flots directionnels réguliers des chambres de Weyl obtenu avec O. Glorieux et on généralise partiellement ce critère de mélange à Γ\G pour une classe de groupes de Lie incluant SL(n, R), SL(n, C), SO (p, p + 2). / Let G be a semisimple Lie group (of higher rank) and Γ a Zariski dense subgroup of G (of infinite covolume). In this thesis, we discuss two questions related to the Benoist limit cone of Γ : one concerns random walks, the other topological mixing of the directional Weyl chamber flow. In the introduction, we state the main results of this thesis in their context. In the second chapter, we recall some general facts about Lie groups and loxodromic elements. In the third chapter, we prove that every point of the interior of the limit cone is a Lyapunov vector. In the fourth chapter, we construct local coordinates of G and give key tools for the remaining parts. In the fifth chapter, we introduce the invariant subsets of G. In the last chapter of this thesis, we prove the topological mixing criterion of regular directional Weyl chamber flow obtained with O. Glorieux and we generalize this criterion to Γ\G for a class of Lie groups including SL(n, R), SL(n, C), SO(p, p + 2).

Les nouvelles générations de radars sont confrontées à des cibles de plus en plus menaçantes. Ces radars doivent effectuer plusieurs tâches en parallèle, dont la veille et la poursuite. Pour cela, ils peuvent être équipés de panneaux fixes, pour éviter les contraintes liées à la rotation de l'antenne. Le pistage du radar doit donc être renouvelé pour répondre à la double difficulté posée par le pistage des cibles très manoeuvrantes et la gestion des ressources. Dans ce contexte, cette thèse étudie de nouvelles méthodes de pistage pour les cibles hyper-manoeuvrantes. Un nouveau modèle de cible, en coordonnées intrinsèques, est proposé. Ce modèle est exprimé directement dans le repère de la cible, afin de décrire au mieux des manoeuvres fortes avec des accélérations normales bien supérieures à la gravité terrestre. Un algorithme de filtrage utilisant la formulation intrinsèque du modèle est développé. Cet algorithme ayant la même structure qu'une filtre de Kalman étendu, il a été testé sur de vraies données. La comparaison avec d'autres algorithmes de filtrage a montré de réelles améliorations sur un ensemble important de trajectoires. Une nouvelle méthode d'estimation, reposant sur la formulation en termes de moindres carrés de l'approche de lissage, et permettant de tenir compte de sauts dans la trajectoire est également proposée, et les bénéfices sur des méthodes plus classiques de sauts entre modèles sont montrés. Indépendamment, le problème de cadence adaptative est également traité. Un algorithme très général permettant d'optimiser la cadence de mesure pour ménager le budget temps du radar pour la surveillance est présenté. / The new generation of radars is facing increasingly threatening targets. These radars are asked to perform several tasks in parallel, including surveillance and tracking. To this aim, they can be equipped with staring antennas, so they overcome the constraints induced by the rotation of the antenna. The tracking function of the radar has thus to be upgraded to respond to the double issue of tracking highly manoeuvring targets and managing the resources to balance time between tasks. In this context, this thesis investigates new means of tracking highly manoeuvring targets. A new target model based on intrinsic coordinates to perform target tracking is proposed. This new target model is expressed in the frame of the target itself, and uses the Frenet-Serret frame, which is well suited to the description of highly dynamic manoeuvres involving normal accelerations that are much larger than earth gravity. A filtering algorithm using the special intrinsic formulation of the target model is developed. This filtering algorithm is very similar in terms of implementation to an Extended Kalman filter, and was implemented using real data. The comparison with standard target models and filtering algorithms show improvements over simple models and algorithms on a large set of trajectories. A new estimation method, relying on the least squares formulation of the smoothing approach, and taking into account kinematic jumps in the trajectory is also developed. This method also shows improvements over a set of common algorithms based on standard manoeuvre detection. And independently, we investigate the issue of update rate adaptation for radar measurements. A very general update rate adaptation algorithm is derived to optimise the time of revisit of each target, allowing to preserve the radar time budget for other tasks simultaneously performed, such as surveillance.

Dans le cadre discrétisé, la taille d'un ensemble à l'échelle δ est évaluée par son nombre de recouvrement par δ-boules (également connu sous le nom de l'entropie métrique). Dans cette thèse, nous étudions les propriétés combinatoires des ensembles discrétisés sous l'addition, la multiplication et les projections orthogonales. Il y a trois parties principales. Premièrement, nous démontrons un théorème somme-produit dans les algèbres de matrices, qui généralise un théorème somme-produit de Bourgain concernant l'anneau des réels. On améliore aussi des estimées somme-produit en dimension supérieure obtenues précédemment par Bougain et Gamburd. Deuxièmement, on étudie les projections orthogonales des sous-ensembles de l'espace euclidien et étend ainsi le théorème de projection discrétisé de Bourgain aux projections de rang supérieur. Enfin, dans un travail en commun avec Nicolas de Saxcé, nous démontrons un théorème produit dans les groupes de Lie parfaits. Ce dernier résultat généralise les travaux antérieurs de Bourgain-Gamburd et de Saxcé. / In the discretized setting, the size of a set is measured by its covering number by δ-balls (a.k.a. metric entropy), where δ is the scale. In this document, we investigate combinatorial properties of discretized sets under addition, multiplication and orthogonal projection. There are three parts. First, we prove sum-product estimates in matrix algebras, generalizing Bourgain's sum-product theorem in the ring of real numbers and improving higher dimensional sum-product estimates previously obtained by Bourgain-Gamburd. Then, we study orthogonal projections of subsets in the Euclidean space, generalizing Bourgain's discretized projection theorem to higher rank situations. Finally, in a joint work with Nicolas de Saxcé, we prove a product theorem for perfect Lie groups, generalizing previous results of Bourgain-Gamburd and Saxcé.

En utilisant des modèles sigma non-linéaires de fonctions d'un espace-temps D-dimensionnel à un espace symétrique G/H, nous discutons de solutions de type trou noir et membrane noire dans diverses théories de gravité supersymétriques. Un espace symétrique est une variété, riemannienne ou pseudo-riemannienne, pour laquelle le tenseur de Riemann est covariantement constant. L'utilisation du dictionnaire Kac-Moody/supergravité et les techniques de réduction dimensionnelles nous permettent de décrire des trous noirs de cohomogénéité un comme des géodésiques sur G/H. Un espace-temps M, potentiellement agrémenté d'un trou noir, est de cohomogénéité un s'il existe un groupe d'isométries Iso qui agit sur M et dont le quotient M/Iso est uni-dimensionnel. L'utilisation d'algèbres de Kac-Moody dans les théories de gravité a été développé dans l'espoir de décourvrir la symétrie sous-jacente de la théorie des cordes, aussi appelée théorie M. Les techniques de réduction dimensionnelle ont depuis longtemps été utilisées pour dévoiler les symétries cachées des théories de gravité. Dans la description du modèle sigma, les trous noirs extrémaux ou branes noires sont des géodésiques nulles et correspondent à un élément nilpotent de l'algèbre de Lie g de G. Un élément X nilpotent est caractérisé par la propriété X^n = 0. En utilisant le formalisme mathématique decrivant les orbites nilpotentes, nous classifions tous les trous noirs extrémaux dans la supergravité N=2 minimale à quatre dimensions, N=2 S^3 supergravité en quatre dimensions et la supergravité minimale en cinq dimensions. De la même manière, quand G est un sous-groupe d'un groupe Kac-Moody, très-étendu ou sur-étendu, on envoie l'orbite nilpotente minimale, en utilisant le plus haut poids de g, sur des solutions supersymétriques et non-supersymétriques de type brane dans les théories de supergravité à dix et onze dimensions. Nos résultats montrent que les symétries du groupe de Lie sont très utiles de ces solutions pour classer et trouver de nouvelles solutions de type trou noir. Afin de prouver l'unicité et plusieurs autres résultats formels, nous avons développé des méthodes préliminaires dans l'espoir qu'elles puissent être utilisées à l'avenir pour l'étude des trous noirs. / Doctorat en Sciences / info:eu-repo/semantics/nonPublished

We begin by giving some theoretical background to the underlying concepts of spin representations and spinors. This is done from the perspective of Lie groups and Lie algebras. In particular, we discuss the functionality of Clifford algebras in the determination of the double-covering spin groups. An introduction to K-algebras and Clifford algebras is then given, focusing on the properties of pseudo-Euclidean spaces <img src="http://www.diva-portal.org/cgi-bin/mimetex.cgi?%5Cmathbb%7BR%7D%5E%7Bp,q%7D" data-classname="equation" data-title="" />. Some low-dimensional examples are also included, culminating with a characterisation of some Clifford algebras as matrix algebras. Elementary representation theory is then introduced and quickly followed by the definition of the Clifford-Lipschitz and spin groups. The work of Lundholm and Svensson (2016), Vaz and da Rocha (2016), and Schwichtenberg (2018) is then united to construct a definition of the spin representations. An attempt at formulating a definition of spinors from a mathematical perspective is then given; formed by combining multiple approaches and definitions of the above-mentioned authors, as well as drawing inspiration from important cases in theoretical physics, in particular that of SO(3) and the Lorentz group SO(1,3).

As was recognized by same of the most reputable physicists of the world such as Galilee and Einstein, the basic laws of physics must inevitably be founded upon invariance principles. Galilean and special relativity stand as historical landmarks that emphasize this message. It's no wonder that the great developments of modern physics (such as those in elementary particle physics) have been keyed upon this concept. The modern formulation of classical mechanics (see Abraham and Marsden [1]) is based upon "qualitative" or geometric analysis. This is primarily due to the works of Poincare. Poincare showed the value of such geometric analysis in the solution of otherwise insoluble problems in stability theory. It seems that the insights of Poincare have proven fruitful by the now famous works of Kolmogorov, Arnold, and Moser. The concepts used in this geometric theory are again based upon invariance principles, or symmetries. The work of Sophus Lie from 1873 to 1893 laid the groundwork for the analysis of invariance or symmetry principles in modern physics. His primary studies were those of partial differential equations. This led him to the study of the theory of transformations and inevitably to the analysis of abstract groups and differential geometry. Here we show same further applications of Lie group theory through the use of transformation groups. We emphasize the use of transformation invariance to find conservation laws and dynamical properties in chemical physics.

<p>The use of lower airspace for air taxi and cargo applications opens up exciting prospects for futuristic Unmanned Aircraft Systems (UAS). However, ensuring the safety and security of these UAS within densely populated urban areas presents significant challenges. Most modern aircraft systems, whether unmanned or otherwise, rely on the Global Navigation Satellite System (GNSS) as a primary sensor for navigation. From satellite navigations point of view, the dense urban environment compromises positioning accuracy due to signal interference, multipath effects, etc. Furthermore, civilian GNSS receivers are susceptible to spoofing attacks since they lack encryption capabilities. Therefore, in this thesis, we focus on examining the safety and cybersecurity assurance of UAS in dense urban environments, from both theoretical and experimental perspectives. </p> <p>To facilitate the verification and validation of the UAS, the first part of the thesis focuses on the development of a realistic GNSS sensor emulation using a Gazebo plugin. This plugin is designed to replicate the complex behavior of the GNSS sensor in urban settings, such as multipath reflections, signal blockages, etc. By leveraging the 3D models of the urban environments and the ray-tracing algorithm, the plugin predicts the spatial and temporal patterns of GNSS signals in densely populated urban environments. The efficacy of the plugin is demonstrated for various scenarios including routing, path planning, and UAS cybersecurity. </p> <p>Subsequently, a robust state estimation algorithm for dynamical systems whose states can be represented by Lie Groups (e.g., rigid body motion) is presented. Lie groups provide powerful tools to analyze the complex behavior of non-linear dynamical systems by leveraging their geometrical properties. The algorithm is designed for time-varying uncertainties in both the state dynamics and the measurements using the log-linear property of the Lie groups. When unknown disturbances are present (such as GNSS spoofing, and multipath effects), the log-linearization of the non-linear estimation error dynamics results in a non-linear evolution of the linear error dynamics. The sufficient conditions under which this non-linear evolution of estimation error is bounded are derived, and Lyapunov stability theory is employed to design a robust filter in the presence of an unknown-but-bounded disturbance. </p>

<p>This thesis consists of two papers on the spectral geometry of locally symmetric spaces of Riemannian and Lorentzian signature. Both works are concerned with the idea of relating analysis on such spaces to structures on their boundaries.</p><p>The first paper is motivated by a conjecture of Patterson on the Selberg zeta function of Kleinian groups. We consider geometrically finite hyperbolic cylinders with non-compact Riemann surfaces of finite area as cross sections. For these cylinders, we present a detailed investigation of the Bunke-Olbrich extension operator under the assumption that the cross section of the cylinder has one cusp. We establish the meromorphic continuation of the extension of Eisenstein series and incomplete theta series through the limit set. Furthermore, we derive explicit formulas for the residues of the extension operator in terms of boundary values of automorphic eigenfunctions.</p><p>The motivation for the second paper comes from conformal geometry in Lorentzian signature. We prove the existence and uniqueness of a sequence of differential intertwining operators for spherical principal series representations, which are realized on boundaries of anti de Sitter spaces. Algebraically, these operators correspond to homomorphisms of generalized Verma modules. We relate these families to the asymptotics of eigenfunctions on anti de Sitter spaces.</p>