No description available.

In this thesis we discuss possible ways to give quantitative measurement for two spaces not being quasi-isometric. From this quantitative point of view, we reconsider the definition of quasi-isometries and propose a notion of ''quasi-isometric distortion growth'' between two metric spaces. We revise our article [32] where an optimal upper-bound for Morse Lemma is given, together with the dual variant which we call Anti-Morse Lemma, and their applications.Next, we focus on lower bounds on quasi-isometric distortion growth for hyperbolic metric spaces. In this class, $L^p$-cohomology spaces provides useful quasi-isometry invariants and Poincaré constants of balls are their quantitative incarnation. We study how Poincaré constants are transported by quasi-isometries. For this, we introduce the notion of a cross-kernel. We calculate Poincaré constants for locally homogeneous metrics of the form $dt^2+\sum_ie^{2\mu_it}dx_i^2$, and give a lower bound on quasi-isometric distortion growth among such spaces.This allows us to give examples of different quasi-isometric distortion growths, including a sublinear one (logarithmic).

The work of mathematical giants, such as Lobachevsky, Gauss, Riemann, Klein and Poincaré, to name a few, lies at the foundation of the study of the highly structured Riemann surfaces, which allow definition of holomorphic maps, corresponding to analytic maps in the theory of complex analysis. A topological result of Poincaré states that every path-connected Riemann surface can be realised by a construction of identifying congruent points in the complex plane, the Riemann sphere or the hyperbolic plane; just three simply connected surfaces that cover the underlying Riemann surface. This requires the discontinuous action of a discrete subgroup of the automorphisms of the corresponding space. In the hyperbolic plane, which is the richest source for Riemann surfaces, these groups are called Fuchsian, and there are several ways to study the action of such groups geometrically by computing fundamental domains. What is accomplished in this thesis is a combination of the methods found by Reidemeister & Schreier, Singerman and Voight, and thus provides a unified way of finding Dirichlet domains for subgroups of cofinite groups with a given index. Several examples are considered in-depth.

After reviewing some properties of the two dimensional hyperbolic toral automorphism called Arnold's discrete cat map, including its generalizations with matrices having positive unit determinant, this thesis contains a definition of a novel cat map where the elements of the matrix are found in the sequence of Pell numbers. This mapping is therefore denoted as Pell's cat map. The main result of this thesis is a theorem determining the upper bound for the minimal period of Pell's cat map. From numerical results four conjectures regarding properties of Pell's cat map are also stated. A brief exposition of some applications of Arnold's discrete cat map is found in the last part of the thesis.

We review the construction of three Smale spaces associated to a unimodular Pisot substitution on d letters: a subshift of finite type (SFT), a substitution tiling space, and a hyperbolic toral automorphism on the Euclidean d-torus. By considering an SFT whose elements are biinfinite, rather than infinite, paths in the graph associated to the substitution, we modify a well-known map to obtain a factor map between our SFT and the hyperbolic toral automorphism on the d-torus given by the incidence matrix of the substitution. We prove that if the tiling substitution forces its border, then this factor map is the composition of an s-resolving factor map from the SFT to a one-dimensional substitution tiling space and a u-resolving factor map from the tiling space to the d-torus.

The existence and -if exists- the nature of the solutions of the scalar wave equation in spacetimes with closed timelike curves are investigated. The general properties of the solutions on some class of spacetimes are obtained. Global monochromatic solutions of the scalar wave equation are obtained in flat wormholes of dimensions 2+1 and 3+1. The solutions are in the form of infinite series involving cylindirical and spherical wave functions and they are elucidated by the multiple scattering method. Explicit solutions for some limiting cases are illustrated as well. The results of 2+1 dimensions are verified by using numerical methods.

A set of technical issues are addressed related to benchmarking best practice behavior in warehouses. In order to identify best practice, first performance needs to be measured. There are a variety of tools available to measure productivity and efficiency. One of the most common tools is data envelopment analysis (DEA). Given a system that consumes inputs to generate outputs, previous work has shown production theory can be used to develop basic postulates about the production possibility space and to construct an efficient frontier which is used to quantify efficiency. Beyond inputs and outputs warehouses typically have practices (techniques used in the warehouse) or attributes (characteristics of the environment of the warehouse including demand characteristics) which also influence efficiency. Previously in the literature, a two-stage method has been developed to investigate the impact of practices and attributes on efficiency. When applying this method, two issues arose: how to measure efficiency in small samples and how to identify outliers. The small sample efficiency measurement method developed in this thesis is called multi-input / multi-output quantile based approach (MQBA) and uses deleted residuals to estimate efficiency. The outlier detection method introduces the inefficient frontier. Both overly efficient and overly inefficient outliers can be identified by constructing an efficient and an inefficient frontier. The outlier detection method incorporates an iterative procedure previously described, but has not been implemented in the literature. Further, this thesis also discusses issues related to selecting an orientation in super efficiency models. Super efficiency models are used in outlier detection, but are also commonly used in measuring technical progress via the Malmquist index. These issues are addressed using two data sets recently collected in the warehousing industry. The first data set consists of 390 observations of various types of warehouses. The other data set has 25 observations from a specific industry. For both data sets, it is shown that significantly different results are realized if the methods suggested in this document are adopted.

We review the construction of three Smale spaces associated to a unimodular Pisot substitution on d letters: a subshift of finite type (SFT), a substitution tiling space, and a hyperbolic toral automorphism on the Euclidean d-torus. By considering an SFT whose elements are biinfinite, rather than infinite, paths in the graph associated to the substitution, we modify a well-known map to obtain a factor map between our SFT and the hyperbolic toral automorphism on the d-torus given by the incidence matrix of the substitution. We prove that if the tiling substitution forces its border, then this factor map is the composition of an s-resolving factor map from the SFT to a one-dimensional substitution tiling space and a u-resolving factor map from the tiling space to the d-torus.

Η παρούσα διατριβή αφορά στη μελέτη του συνόρου υπερβολικών δισδιάστατων πολυέδρων. Οι χώροι οι οποίοι μελετώνται κατασκευάζονται κολλώντας υπερβολικά τρίγωνα τα οποία έχουν 2 τουλάχιστον κορυφές στο άπειρο. Οι συγκολλήσεις γίνονται με ισομετρίες κατά μήκος των πλευρών των τριγώνων και οι χώροι οι οποίοι προκύπτουν εφοδιάζονται φυσιολογικά με μία γεωμετρία η οποία έχει ομοιότητες με την γεωμετρία των υπερβολικών πολλαπλοτήτων. Αρχικά μελετάμε τις βασικές ιδιότητες των δισδιάστατων ιδεωδών πολυέδρων και αποδεικνύουμε ότι: «Για κάθε δύο σημεία του συνόρου του καθολικού καλύμματος του χώρου που κατασκευάζουμε, υπάρχει άπειρο πλήθος υποχώρων του συνόρου ομοιομορφικών με το οι οποίοι περιέχουν τα σημεία αυτά». Στη συνέχεια, για μια ειδική κλάση πολυέδρων που κατασκευάζουμε κολλώντας με ισομετρίες κατά μήκος των πλευρών τους πεπερασμένα υπερβολικά τρίγωνα τα οποία έχουν δύο κορυφές στο άπειρο, αποδεικνύουμε επιπλέον ότι: «το σύνορο του καθολικού καλύμματος του χώρου που κατασκευάζουμε είναι τοπικά συνεκτικό κατά τόξα». Τέλος, στην τρίτη ενότητα δίδουμε μια τοπολογική περιγραφή του συνόρου των ιδεωδών πολυέδρων διάστασης 2. / The present work is related to the study of the visual boundary of hyperbolic two dimensional simplicial complexes. We construct (and study) spaces by gluing hyperbolic triangles with at least two vertices at infinity. We glue the triangles by isometries along their sides and we study the derived spaces. In the first chapter it is proved that for every two points in the visual boundary of the universal covering of a two dimensional ideal polyhedron, there is an infinity of paths joining them. In the second chapter, a class of hyperbolic two dimensional complexes X is defined. Is is shown that the limit set of the action of π1(X) on the universal covering of X, is equal to the visual boundary and also that the visual boundary is path connected and locally path connected. Finally, in the third chapter a kind of Sierpinski set is described which is homeomorphic to the visual boundary of certain ideal polyhedra.

The investigation of the hidden metric space behind complex network topologies is a fervid topic in current network science and the hyperbolic space is one of the most studied, because it seems associated to the structural organization of many real complex systems. The popularity-similarity-optimization (PSO) model simulates how random geometric graphs grow in the hyperbolic space, generating realistic networks with clustering, small-worldness, scale-freeness and rich-clubness. However, it misses to reproduce an important feature of real complex networks, which is the community organization. The geometrical-preferential-attachment (GPA) model was recently developed in order to confer to the PSO also a soft community structure, which is obtained by forcing different angular regions of the hyperbolic disk to have a variable level of attractiveness. However, the number and size of the communities cannot be explicitly controlled in the GPA, which is a clear limitation for real applications. Here, we introduce the nonuniform PSO (nPSO) model. Differently from GPA, the nPSO generates synthetic networks in the hyperbolic space where heterogeneous angular node attractiveness is forced by sampling the angular coordinates from a tailored nonuniform probability distribution (for instance a mixture of Gaussians). The nPSO differs from GPA in other three aspects: it allows one to explicitly fix the number and size of communities; it allows one to tune their mixing property by means of the network temperature; it is efficient to generate networks with high clustering. Several tests on the detectability of the community structure in nPSO synthetic networks and wide investigations on their structural properties confirm that the nPSO is a valid and efficient model to generate realistic complex networks with communities.