scholarly journals The Siegel–Klein Disk: Hilbert Geometry of the Siegel Disk Domain

Entropy ◽  
2020 ◽  
Vol 22 (9) ◽  
pp. 1019
Author(s):  
Frank Nielsen

We study the Hilbert geometry induced by the Siegel disk domain, an open-bounded convex set of complex square matrices of operator norm strictly less than one. This Hilbert geometry yields a generalization of the Klein disk model of hyperbolic geometry, henceforth called the Siegel–Klein disk model to differentiate it from the classical Siegel upper plane and disk domains. In the Siegel–Klein disk, geodesics are by construction always unique and Euclidean straight, allowing one to design efficient geometric algorithms and data structures from computational geometry. For example, we show how to approximate the smallest enclosing ball of a set of complex square matrices in the Siegel disk domains: We compare two generalizations of the iterative core-set algorithm of Badoiu and Clarkson (BC) in the Siegel–Poincaré disk and in the Siegel–Klein disk: We demonstrate that geometric computing in the Siegel–Klein disk allows one (i) to bypass the time-costly recentering operations to the disk origin required at each iteration of the BC algorithm in the Siegel–Poincaré disk model, and (ii) to approximate fast and numerically the Siegel–Klein distance with guaranteed lower and upper bounds derived from nested Hilbert geometries.

EDUPEDIA ◽  
2018 ◽  
Vol 2 (2) ◽  
pp. 161
Author(s):  
Febriyana Putra Pratama ◽  
Julan Hernadi

This research aims to know the interpretation the undefined terms on Hyperbolic geometry and it’s consistence with respect to own axioms of Poincare disk model. This research is a literature study that discusses about Hyperbolic geometry. This study refers to books of Foundation of Geometry second edition by Gerard A. Venema (2012), Euclidean and Non Euclidean Geometry (Development and History)  by Greenberg (1994), Geometry : Euclid and Beyond by Hartshorne (2000) and Euclidean Geometry: A First Course by M. Solomonovich (2010). The steps taken in the study are: (1) reviewing the various references on the topic of Hyperbolic geometry. (2) representing the definitions and theorems on which the Hyperbolic geometry is based. (3) prepare all materials that have been collected in coherence to facilitate the reader in understanding it. This research succeeded in interpret the undefined terms of Hyperbolic geometry on Poincare disk model. The point is coincide point in the Euclid on circle . Then the point onl γ is not an Euclid point. That point interprets the point on infinity. Lines are categoried in two types. The first type is any open diameters of   . The second type is any open arcs of circle. Half-plane in Poincare disk model is formed by Poincare line which divides Poincare field into two parts. The angle in this model is interpreted the same as the angle in Euclid geometry. The distance is interpreted in Poincare disk model defined by the cross-ratio as follows. The definition of distance from  to  is , where  is cross-ratio defined by  . Finally the study also is able to show that axioms of Hyperbolic geometry on the Poincare disk model consistent with respect to associated undefined terms.


2010 ◽  
Vol 41 (4) ◽  
pp. 324-350 ◽  
Author(s):  
Karen F. Hollebrands ◽  
AnnaMarie Conner ◽  
Ryan C. Smith

Prior research on students' uses of technology in the context of Euclidean geometry has suggested it can be used to support students' development of formal justifications and proofs. This study examined the ways in which students used a dynamic geometry tool, NonEuclid, as they constructed arguments about geometric objects and relationships in hyperbolic geometry. Eight students enrolled in a college geometry course participated in a task-based interview that was focused on examining properties of quadrilaterals in the Poincaré disk model. Toulmin's argumentation model was used to analyze the nature of the arguments students provided when they had access to technology while solving the problems. Three themes related to the structure of students' arguments were identified. These involved the explicitness of warrants provided, uses of technology, and types of tasks.


Author(s):  
Diane Castonguay ◽  
Erika Morais Martins Coelho ◽  
Hebert Coelho ◽  
Julliano Nascimento

In the geodetic convexity, a set of vertices $S$ of a graph $G$ is \textit{convex} if all vertices belonging to any shortest path between two vertices of $S$ lie in $S$. The \textit{convex hull} $H(S)$ of $S$ is the smallest convex set containing $S$. If $H(S) = V(G)$, then $S$ is a \textit{hull set}. The cardinality $h(G)$ of a minimum hull set of $G$ is the \textit{hull number} of $G$. The \textit{complementary prism} $G\overline{G}$ of a graph $G$ arises from the disjoint union of the graph $G$ and $\overline{G}$ by adding the edges of a perfect matching between the corresponding vertices of $G$ and $\overline{G}$. A graph $G$ is \textit{autoconnected} if both $G$ and $\overline{G}$ are connected. Motivated by previous work, we study the hull number for complementary prisms of autoconnected graphs. When $G$ is a split graph, we present lower and upper bounds showing that the hull number is unlimited. In the other case, when $G$ is a non-split graph, it is limited by $3$.


2013 ◽  
Vol 5 (2) ◽  
pp. 169-183 ◽  
Author(s):  
Levente Lócsi

Abstract The Nelder-Mead simplex method is a widespread applied numerical optimization method with a vast number of practical applications, but very few mathematically proven convergence properties. The original formulation of the algorithm is stated in Rn using terms of Euclidean geometry. In this paper we introduce the idea of a hyperbolic variant of this algorithm using the Poincaré disk model of the Bolyai- Lobachevsky geometry. We present a few basic properties of this method and we also give a Matlab implementation in 2 and 3 dimensions


2013 ◽  
Vol 56 (2) ◽  
pp. 272-282 ◽  
Author(s):  
Lixin Cheng ◽  
Zhenghua Luo ◽  
Yu Zhou

AbstractIn this note, we first give a characterization of super weakly compact convex sets of a Banach space X: a closed bounded convex set K ⊂ X is super weakly compact if and only if there exists a w* lower semicontinuous seminorm p with p ≥ σK ≌ supxєK 〈.,x〉 such that p2 is uniformly Fréchet differentiable on each bounded set of X*. Then we present a representation theoremfor the dual of the semigroup swcc(X) consisting of all the nonempty super weakly compact convex sets of the space X.


Author(s):  
A. de Korvin ◽  
R. Kleyle

In this paper the concept of a*-mixing process is extended to multivalued maps from a probability space into closed, bounded convex sets of a Banach space. The main result, which requires that the Banach space be separable and reflexive, is a convergence theorem for*-mixing sequences which is analogous to the strong law of large numbers. The impetus for studying this problem is provided by a model from information science involving the utilization of feedback data by a decision maker who is uncertain of his goals. The main result is somewhat similar to a theorem for real valued processes and is of interest in its own right.


Sign in / Sign up

Export Citation Format

Share Document