Submitted by Renata Lopes (renatasil82@gmail.com) on 2017-07-03T19:23:35Z No. of bitstreams: 1 josecarlosvalerio.pdf: 982623 bytes, checksum: 72d4cd36b83464bfd6a83caee289315d (MD5) / Approved for entry into archive by Adriana Oliveira (adriana.oliveira@ufjf.edu.br) on 2017-08-08T13:23:10Z (GMT) No. of bitstreams: 1 josecarlosvalerio.pdf: 982623 bytes, checksum: 72d4cd36b83464bfd6a83caee289315d (MD5) / Made available in DSpace on 2017-08-08T13:23:10Z (GMT). No. of bitstreams: 1 josecarlosvalerio.pdf: 982623 bytes, checksum: 72d4cd36b83464bfd6a83caee289315d (MD5) Previous issue date: 2017-05-04 / CAPES - Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Na presente dissertação será introduzido o desenvolvimento histórico da Geometria Hiperbólica. Será apresentado o quinto postulado de Euclides, de acordo com o ponto de vista dos Axiomas de Hilbert, correlacionando-os com os resultados da Geometria Neutra. Serão apresentados e provados alguns resultados da Geometria Hiperbólica, no que diz respeito às propriedades das retas paralelas, dos triângulos generalizados e seus critérios de congruência. Por fim, serão discutidas as propriedades que são válidas tanto para a Geometria Euclidiana quanto Hiperbólica, enfatizando que a principal diferença entre elas é o postulado das paralelas. / In the present dissertation we will introduce the historical development of the hyperbolic geometry. We will present Euclid’s fifth postulate from the Hilbert’s axioms point of view and we will correlate them with results of the Neutral Geometry. We will present and prove some results of the Hyperbolic Geometry, regarding the properties of the parallel lines, and the generalized triangles and their congruence criteria. At last, we will discuss the proprieties which are valid in both Euclidean and Hyperbolic Geometry, and we will emphasize that the main difference between them is the parallel postulate.

Orientador: Reginaldo Palazzo Junior / Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Elétrica e de Computação / Made available in DSpace on 2018-08-18T16:51:18Z (GMT). No. of bitstreams: 1 Leskow_LucilaHelenaAllan_D.pdf: 2583405 bytes, checksum: 3161d9deabaa60a8965a9e3d20ff36aa (MD5) Previous issue date: 2011 / Resumo: Neste trabalho apresentamos como contribuição um novo conjunto de tesselações do plano hiperbólico construídas a partir de uma tesselação bem conhecida, a tesselação de Farey. Nestas tesselações a região de Dirichlet é formada por polígonos hiperbólicos de n lados, com n > 3. Explorando as características dessas tesselações, apresentamos alguns tipos possíveis de aplicações. Inicialmente, estudando a relação existente entre a teoria das frações contínuas e a tesselação de Farey, propomos um novo método de codificação de geodésicas. A inovação deste método está no fato de ser possível realizar a codificação de uma geodésica pertencente a PSL(2,Z) em qualquer uma das tesselações ou seja, para qualquer valor de n com n > 3. Neste método mostramos como é possível associar as sequências cortantes de uma geodésica em cada tesselação à decomposição em frações contínuas do ponto atrator desta. Ainda explorando as características dessas novas tesselações, propomos dois tipos de aplicação em teoria de codificação de fontes discretas. Desenvolvendo dois novos códigos para compactação de fontes (um código de árvore e um código de bloco), estes dois métodos podem ser vistos como a generalização dos métodos de Elias e Tunstall para o caso hiperbólico / Abstract: In this work we present as contribution a new set of tessellations of the hyperbolic plane, built from a well known tessellation, the Farey tessellation. In this set of tessellations the Dirichlet region is made of hyperbolic polygons with n sides where n > 3. While studying these tessellations and theirs properties, we found some possible applications. In the first one, while exploring the relationship between the continued fractions theory and the Farey tessellation we propose a new method for coding geodesics. Using this method, it is possible to obtain a relationship between the cutting sequence of a geodesic belonging to PSL(2,Z) in each tessellation and the continued fraction decomposition of its attractor point. Exploring the characteristics of these tessellations we also propose two types of applications regarding the discrete memoryless source coding theory, a fixed-to-variable code and a variable length-to-fixed code. These methods can be seen as a generalized version of the Elias and Tunstall methods for the hyperbolic case / Doutorado / Telecomunicações e Telemática / Doutor em Engenharia Elétrica

The purpose of this thesis is to study the effects of hyperbolic transformations on the cubic that is determined by locus of centroids of the equilateral triangles in H² whose base coincides with the line y=0, and whose common vertex is at the origin. The derivation of the formulas within this work are based on the Poincaré disk model of H², where H² is understood to mean the hyperbolic plane. The thesis explores the properties of both the untransformed cubic (the original locus of centroids) and the transformed cubic (the original cubic taken under a linear fractional transformation).

The purpose of this study was to see how the fundamental properties of hyperbolic geometry applies in physics.

The main purpose of this thesis is to explore the conditions of the existence and properties of the Euler line of a triangle in the hyperbolic plane. Poincaré's conformal disk model and Hermitian matrices were used in the analysis.ʹ

abstract: Hyperbolic geometry, which is a geometry which concerns itself with hyperbolic space, has caught the eye of certain circles in the machine learning community as of late. Lauded for its ability to encapsulate strong clustering as well as latent hierarchies in complex and social networks, hyperbolic geometry has proven itself to be an enduring presence in the network science community throughout the 2010s, with no signs of fading into obscurity anytime soon. Hyperbolic embeddings, which map a given graph to hyperbolic space, have particularly proven to be a powerful and dynamic tool for studying complex networks. Hyperbolic embeddings are exploited in this thesis to illustrate centrality in a graph. In network science, centrality quantifies the influence of individual nodes in a graph. Eigenvector centrality is one type of such measure, and assigns an influence weight to each node in a graph by solving for an eigenvector equation. A procedure is defined to embed a given network in a model of hyperbolic space, known as the Poincare disk, according to the influence weights computed by three eigenvector centrality measures: the PageRank algorithm, the Hyperlink-Induced Topic Search (HITS) algorithm, and the Pinski-Narin algorithm. The resulting embeddings are shown to accurately and meaningfully reflect each node's influence and proximity to influential nodes. / Dissertation/Thesis / Masters Thesis Computer Science 2020

Nesta dissertação, definimos a geometria hiperbólica usando o disco de Poincaré (D2) e o semiplano superior (H2) com as respectivas propriedades. Além disso, apresentamos algumas funções e relações importantes da geometria hiperbólica; conceituamos as superfícies de Riemann, analisando suas propriedades e representações; estudamos o espaço de Teichmüller com a devida decomposição em calças. Esses temas são ferramentas necessárias para atingir o objetivo da dissertação: definir as coordenadas de Fenchel Nielsen como um sistema de coordenadas locais do espaço de Teichmüller Tg. / In this dissertation, we defined the hyperbolic geometry using the Poincares disk (D2) and upper half-plane (H2) with its properties. Besides, we presented some functions and important relations of the hyperbolic geometry; we conceptualize the Riemann surfaces, analyzing its properties and representations; we studied the Teichmüller Space with proper decomposition pants. These themes are essential tools to reach the goal of the work: The definition of the Fenchel Nielsen coordenates as local coordinate system of the Teichmüller space Tg.

La surface de Bolza est la surface hyperbolique orientable compacte la plus symétrique de genre 2. Pour tout genre supérieur à 2, il existe une surface orientable compacte construite de manière similaire à la surface de Bolza et ayant le même type de symétries. Nous appelons ces surfaces des surfaces hyperboliques symétriques. Cette thèse porte sur le calcul des triangulations de Delaunay (TD) de surfaces hyperboliques symétriques. Les TD de surfaces compactes peuvent être considérées comme des TD périodiques de leur revêtement universel (dans notre cas, le plan hyperbolique). Une TD est pour nous un complexe simplicial. Cependant, les ensembles de points ne définissent pas tous une décomposition simpliciale d'une surface hyperbolique symétrique. Dans la littérature, un algorithme a été proposé pour traiter ce problème avec l'utilisation de points factices : initialement une TD de la surface est construite avec un ensemble de points connu, puis des points d'entrée sont insérés avec le célèbre algorithme incrémental de Bowyer, et enfin les points factices sont supprimés, si la triangulation reste toujours un complexe simplicial. Pour la surface de Bolza, les points factices sont spécifiés. L'algorithme existant calcule une DT de la surface de Bolza comme une DT périodique du plan hyperbolique, ce qui nécessite de travailler dans un sous-ensemble approprié du plan hyperbolique. Nous étudions les propriétés des TD de la surface de Bolza définies par des ensembles de points contenants l'ensemble proposé de points factices, et nous décrivons en détail une implémentation de l'algorithme incrémentiel pour cette surface. Nous commençons par définir un représentant canonique unique qui est contenu dans un sous-ensemble borné du plan hyperbolique pour chaque face d'une TD de la surface. Nous donnons une structure de données pour représenter une TD de la surface de Bolza via les représentants canoniques de ses faces. Nous détaillons les étapes de la construction d'une telle triangulation et les opérations supplémentaires qui permettent de localiser les points et de retirer des sommets. Nous présentons également les résultats sur le degré algébrique des prédicats nécessaires pour toutes les opérations. Nous fournissons une implémentation entièrement dynamique pour la surface de Bolza, en offrant l'insertion de nouveaux points, la suppression des sommets existants, la localisation des points, et la construction d'objets duaux. Notre implémentation est basée sur la bibliothèque CGAL (Computational Geometry Algorithms Library), et est actuellement en cours de révision pour être intégrée dans la bibliothèque. L'intégration de notre code dans CGAL nécessite que tous les objets que nous introduisons soient compatibles avec le cadre existant et conformes aux standards adoptés par la bibliothèque. Nous donnons une description détaillée des classes utilisées pour représenter et traiter les triangulations hyperboliques périodiques et les objets associés. Des analyses comparatives et des tests sont effectués pour évaluer notre implémentation, et une application simple est donnée sous la forme d'une démonstration CGAL. Nous discutons une extension de notre implémentation à des surfaces hyperboliques symétriques de genre supérieur à 2. Nous proposons trois méthodes pour engendrer des ensembles de points factices pour chaque surface et présentons les avantages et les inconvénients de chaque méthode. Nous définissons un représentant canonique contenu dans un sous-ensemble borné du plan hyperbolique pour chaque face d'une TD de la surface. Nous décrivons une structure de données pour représenter une telle triangulation via les représentants canoniques de ses faces, et donnons des algorithmes pour l'initialisation de la triangulation. Enfin, nous discutons une implémentation préliminaire dans laquelle nous examinons les difficultés d'avoir des prédicats exacts efficaces pour la construction de TD de surfaces hyperboliques symétriques / The Bolza surface is the most symmetric compact orientable hyperbolic surface of genus 2. For any genus higher than 2, there exists one compact orientable surface constructed in a similar way as the Bolza surface having the same kind of symmetry. We refer to this family of surfaces as symmetric hyperbolic surfaces. This thesis deals with the computation of Delaunay triangulations of symmetric hyperbolic surfaces. Delaunay triangulations of compact surfaces can be seen as periodic Delaunay triangulations of their universal cover (in our case, the hyperbolic plane). A Delaunay triangulation is for us a simplicial complex. However, not all sets of points define a simplicial decomposition of a symmetric hyperbolic surface. In the literature, an algorithm has been proposed to deal with this issue by using so-called dummy points: initially a triangulation of the surface is constructed with a set of dummy points that defines a Delaunay triangulation of the surface, then input points are inserted with the well-known incremental algorithm by Bowyer, and finally the dummy points are removed, if the triangulation remains a simplicial complex after their removal. For the Bolza surface, the set of dummy points to initialize the triangulation is given. The existing algorithm computes a triangulation of the Bolza surface as a periodic triangulation of the hyperbolic plane and requires to identify a suitable subset of the hyperbolic plane in which to work. We study the properties of Delaunay triangulations of the Bolza surface defined by sets of points containing the proposed set of dummy points, and we describe in detail an implementation of the incremental algorithm for it. We begin by identifying a subset of the hyperbolic plane that contains at least one representative for each face of a Delaunay triangulation of the surface, which enables us to define a unique canonical representative in the hyperbolic plane for each face on the surface. We give a data structure to represent a Delaunay triangulation of the Bolza surface via the canonical representatives of its faces in the hyperbolic plane. We detail the construction of such a triangulation and additional operations that enable the location of points and the removal of vertices. We also report results on the algebraic degree of predicates needed for all operations. We provide a fully dynamic implementation for the Bolza surface, supporting insertion of new points, removal of existing vertices, point location, and construction of dual objects. Our implementation is based on CGAL, the Computational Geometry Algorithms Library, and is currently under revision for integration in the library. To incorporate our code into CGAL, all the objects that we introduce must be compatible with the existing framework and comply with the standards adopted by the library. We give a detailed description of the classes used to represent and handle periodic hyperbolic triangulations and related objects. Benchmarks and tests are performed to evaluate our implementation, and a simple application is given in the form of a CGAL demo. We discuss an extension of our implementation to symmetric hyperbolic surfaces of genus higher than 2. We propose three methods to generate sets of dummy points for each surface and present the advantages and shortcomings of each method. We identify a suitable subset of the hyperbolic plane that contains at least one representative for each face of a Delaunay triangulation of the surface, and we define a canonical representative in the hyperbolic plane for each face on the surface. We describe a data structure to represent such a triangulation via the canonical representatives of its faces, and give algorithms for the initialization of the triangulation with dummy points. Finally, we discuss a preliminary implementation in which we examine the difficulties of having efficient exact predicates for the construction of Delaunay triangulations of symmetric hyperbolic surfaces

Cette thèse traite de deux problèmes en géométrie hyperbolique réelle et complexe. On étudie dans un premier temps des structures géométriques sur des espaces de modules de métriques plates à singularités coniques sur la sphère. D'après des travaux de W. Thurston, l'espace de modules des métriques plates sur S^2 à n singularités coniques d'angles donnés admet une structure de variété hyperbolique complexe non complète, dont le complété métrique est une variété conique hyperbolique complexe. On étudie dans cette thèse des formes réelles de ces espaces complexes en se restreignant à des métriques invariantes par une involution. On décrit une structure hyperbolique réelle sur les espaces de modules de métriques plates symétriques à 6 (respectivement 8) singularités d'angles égaux. On décrit les composantes connexes de ces espaces comme ouverts denses d'orbifolds hyperboliques arithmétiques. On montre que les complétés métriques de ces composantes connexes admettent un recollement naturel, dont on étudie la structure.La deuxième partie de cette thèse traite des ensembles limites de groupes discrets d'isométries du plan hyperbolique complexe. On construit le premier exemple explicite de sous-groupe discret de PU(2,1) dont l'ensemble limite est homéomorphe à l'éponge de Menger / This thesis is concerned with two problems in real and complex hyperbolic geometry. The first problem is the study of geometric structures on moduli spaces of flat metrics on the sphere with cone singularities. W. Thurston proved that the moduli space of flat metrics on S^2 with n singularities of given angles forms a non complete complex hyperbolic manifold, and that its metric completion is a complex hyperbolic cone-manifold. In this thesis we study real forms of these complex spaces by restricting our attention to metrics that are invariant under an involution. We describe a real hyperbolic structure on moduli spaces of flat symmetric metrics of 6 (respectively 8) singularities of same angle. We describe explicitly the connected components of these spaces as dense open subsets of arithmetic hyperbolic orbifolds. We show that the metric completions of these components admit a natural gluing, and we study the structure of the glued space. The second part of this thesis is devoted to the study of limit sets of discrete subgroups of the isometry group of complex hyperbolic plane. We construct the first known explicit example of a discrete subgroup of PU(2,1) which admits a limit set homeomorphic to the Menger curve

Made available in DSpace on 2015-03-26T13:45:34Z (GMT). No. of bitstreams: 1 texto completo.pdf: 763497 bytes, checksum: 2a493cf586d69925a1022b40c47bd6f1 (MD5) Previous issue date: 2011-02-24 / In this paper we study a class of polygons on the Poincare disk, known as canonical Fricke polygon that are fundamental polygon related to a Fuchsian group, generating a surface of genus g. We rely on Article by Linda Keen [15], considering the case where the genus g > 0. Moreover, in order to apply the procedure adopted by Keen, we calculate the cycles and found the relationship of groups related to the tiles of the type {24λ + 4, 4} and {24λ − 12, 4}, which were originally obtained the tiles {12η − 8, 4} and {12η − 12, 4} given by Oliveira in [19]. Then we use a procedure developed by Agustini [1] to display the matrices associated with pairing functions coming this way to the vertices of the polygon associated key. / Neste trabalho fazemos um estudo de uma classe polígonos no disco de Poincaré, conhecidos como polígonos canônicos de Fricke, que são polígonos fundamentais relacionados a um grupo fuchsiano, gerador de uma superfície de gênero g. Nos baseamos no artigo de Linda Keen [15], considerando o caso em que o gênero g > 0. Além disso, com o intuito de aplicar o procedimento adotado por Keen, calculamos os ciclos e encontramos as relações do grupo relacionado aos ladrilhamentos de tipo {24λ +4, 4} e {24λ − 12, 4}, que originalmente foram obtidos dos ladrilhamentos {12η − 8, 4} e {12η − 12, 4} apresentados por Oliveira em [19]. Em seguida fazemos uso de um procedimento desenvolvido por Agustini [1] para exibir as matrizes associadas às funções de emparelhamento chegando desta maneira aos vértices do polígono fundamental associado.