Academia.edu no longer supports Internet Explorer.
To browse Academia.edu and the wider internet faster and more securely, please take a few seconds to upgrade your browser.
2015, Discrete & Computational Geometry
Simple rectilinear polygons (i.e. rectilinear polygons without holes or cutpoints) can be regarded as finite rectangular cell complexes coordinatized by two finite dendrons. The intrinsic l1-metric is thus inherited from the product of the two finite dendrons via an isometric embedding. The rectangular cell complexes that share this same embedding property are called ramified rectilinear polygons. The links of vertices in these cell complexes may be arbitrary bipartite graphs, in contrast to simple rectilinear polygons where the links of points are either 4-cycles or paths of length at most 3. Ramified rectilinear polygons are particular instances of rectangular complexes obtained from cube-free median graphs, or equivalently simply connected rectangular complexes with triangle-free links. The underlying graphs of finite ramified rectilinear polygons can be recognized among graphs in linear time by a Lexicographic Breadth-First-Search. Whereas the symmetry of a simple rectilinear polygon is very restricted (with automorphism group being a subgroup of the dihedral group D4), ramified rectilinear polygons are universal: every finite group is the automorphism group of some ramified rectilinear polygon.
Discrete Mathematics, 2008
We give sufficient (and necessary) conditions of local character ensuring that a geometric graph is the 1-skeleton of an unstacked triangulation of a simple polygon.
Discrete & Computational Geometry, 2020
This work is about graphs arising from Reuleaux polyhedra. Such graphs must necessarily be planar, 3-connected and strongly self-dual. We study the question of when these conditions are sufficient. If G is any such a graph with isomorphism τ : G → G * (where G * is the unique dual graph), a metric mapping is a map η : V (G) → R 3 such that the diameter of η(G) is 1 and for every pair of vertices (u, v) such that u ∈ τ (v) we have dist(η(u), η(v)) = 1. If η is injective, it is called a metric embedding. Note that a metric embedding gives rise to a Reuleaux Polyhedra. Our contributions are twofold: Firstly, we prove that any planar, 3-connected, strongly self-dual graph has a metric mapping by proving that the chromatic number of the diameter graph (whose vertices are V (G) and whose edges are pairs (u, v) such that u ∈ τ (v)) is at most 4, which means there exists a metric mapping to the tetrahedron. Furthermore, we use the Lovász neighborhoodcomplex theorem in algebraic topology to prove that the chromatic number of the diameter graph is exactly 4. Secondly, we develop algorithms that allow us to obtain every such graph with up to 14 vertices. Furthermore, we numerically construct metric embeddings for every such graph. From the theorem and this computational evidence we conjecture that every such graph is realizable as a Reuleaux polyhedron in R 3. In previous work the first and last authors described a method to construct a constant-width body from a Reuleaux polyhedron. So in essence, we also construct hundreds of new examples of constantwidth bodies. This is related to a problem of Vázsonyi, and also to a problem of Blaschke-Lebesgue.
Journal of Combinatorial Theory, Series A, 2006
Let W be a Weyl group corresponding to the root system A n-1 or Bn. We define a simplicial complex ∆ m W in terms of polygon dissections for such a group and any positive integer m. For m = 1, ∆ m W is isomorphic to the cluster complex corresponding to W , defined in . We enumerate the faces of ∆ m W and show that the entries of its h-vector are given by the generalized Narayana numbers N m W (i), defined in . We also prove that for any m ≥ 1 the complex ∆ m W is shellable and hence Cohen-Macaulay.
Journal of differential geometry
. We study the topology of moduli spaces of polygons with fixed side lengths in the Euclidean plane. We establish a duality between the spaces of marked Euclidean polygons with fixed side lengths and marked convex Euclidean polygons with prescribed angles. 1. We consider the space P n of all polygons with n distinguished vertices in the Euclidean plane E 2 whose sides have nonnegative length allowing all possible degenerations of the polygons except of the degeneration of the polygon to a point. Two polygons are identified if there exists an orientation preserving similarity of the complex plane C = E 2 which sends vertices of one polygon to vertices of another one. We shall denote the edges of the n-gon P by: e 1 ; :::; e n and vertices by v 1 ; :::; v n so that Gamma! e j = v j+1 Gamma v j+1 . The space P n is canonically isomorphic to the complex projective space P (H) where H ae C n is the hyperplane given by H = f(e 1 ; :::; e n ) 2 C n : e 1 + :::: + e n = 0g Th...
Geometriae Dedicata, 1994
Using the classification of the finite simple groups, we classify all finite generalized polygons having an automorphism group acting distance-transitively on the set of points. This proves an old conjecture of J. Tits saying that every group with an irreducible rank 2 BN-pair arises from a group of Lie type.
The Mathematical Intelligencer, 2017
2009
An algebraic foundation for the derivation of geometric construction schemes transforming arbitrary polygons with n vertices into k-regular n-gons is given. It is based on circulant polygon transformations and the asso ciated eigenpolygon decompositions leading to the definition of generalized Napole on vertices. Geometric construction schemes are derived exemplarily for different choices of n and k.
International Journal of Computational Geometry & Applications, 2010
In this paper we present purely combinatorial conditions that allow us to recognize the topological equivalence (or non-equivalence) of two given dissections. Using a computer program based on this result, we are able to generate a set which contains all topologically non-equivalent dissections of a p0-gon into convex pi-gons, i = 1…n, where n, p0,…,pn are integers such that n ≥ 2, pi ≥ 3. By analyzing generated structures, we are able to find all (up to similarity) dissections of a given type. Since the number of topologically non-equivalent dissections is huge even when the number of parts is small, it is necessary to find additional combinatorial conditions depending on the type of sought dissections, which will allow us to exclude the majority of generated structures. We present such conditions for some special dissections of a triangle into triangles. Finally we prove two new results concerning perfect dissections of a triangle into similar triangles.
Canonical Polygons are plane polygons defined on a square lattice with limitations on length of sides. The smaller sets are enumerated, and metrical and non-metrical properties are defined and calculated.
2016
Starting with an arbitrary complex number z, we will introduce a construction of a polygon P z derived from a given polygon P. The inductively constructed sequence ( P z ) , associated to z and P, is studied, and its geometric properties are investigated. The complex numbers z for which the sequence ( T (k) z ) associated to a triangle T is “regular” are characterized, and the same is done for the sequence ( Q z ) associated to a quadrilateral Q. By suitable choices of z, also the well known Napoleon theorem and some of its generalisations can be detected from the above characterizations. M.S.C. 2010: 51M04, 51N20, 52A10, 97G80.
Theoretical Computer Science, 1995
Combinatorial structure of visibility is probably one of the most fascinating and interesting areas of engineering and computer science. The usefulness of visibility graphs in computational geometry and robotic navigation problems like motion planning, unknown-terrain learning, shortest-path planning, etc., cannot be overstressed. The visibility graph, apart from being an important data structure for storing and updating geometric information, is a valuable mathematical tool in probing and understanding the nature of shapes of polygonal and polyhedral objects. In this research we wish to initially focus our attention on a fundamental class of geometric objects. These geometric objects may be looked upon as building blocks for more complex geometric objects, and which offer an ideal balance between complexity and simplicity, namely simple polygons. A major theme of the proposed paper is the investigation of the combinatorial structure of the visibility graph. More importantly, the goals of this paper are: (i) To characterize the visibility graphs of simple polygons by obtaining necessary and sufficient conditions a graph must satisfy to qualify for the visibility graph of a simple polygon (ii) To obtain hierarchical relationships between visibility graphs of simple polygons of a given number of vertices by treating them as representing simple polygons that are deformations of one another. (iii) To exploit the potential of complete graphs to be natural coordinate systems for addressing the problem of reconstructing a simple polygon from visibility graph. We intend to achieve this by defining appropriate "betweenness" relationships on points with respect to the edges of the complete graphs.
1996
Recurrent relations and explicit formulae for the dichromate of Tutte and Negami's polynomial for chains of n-gons are presented. The graphs called chains of n-gons consist of n-gons connected with each other by edges. Two arbitrary n-gons either have only a common edge (i.e. they are adjacent), or have no common vertices. Each n-gon is adjacent to no more than two other n-gons and no three n-gons which share a common edge. Two terminal n-gons of a chain are adjacent to exactly one other n-gon.
Doklady Mathematics, 2008
J.UCS The Journal of Universal Computer Science, 1996
A new internal structure for simple polygons, the straight s k eleton, is introduced and discussed. It is composed of pieces of angular bisectores which partition the interior of a given n-gon P in a tree-like fashion into n monotone polygons. Its straight-line structure and its lower combinatorial complexity may make the straight skeleton preferable to the widely used medial axis of a polygon. As a seemingly unrelated application, the straight skeleton provides a canonical way of constructing a polygonal roof above a general layout of ground walls.
2016
Thesis Submitted in Partial Fulfilment for the Degree of Master of Science In Pure Mathematics of Jomo Kenyatta University of Agriculture and Technology 2015
Journal of Physics: Conference Series, 2011
In two series of papers we construct quasi regular polyhedra and their duals which are similar to the Catalan solids. The group elements as well as the vertices of the polyhedra are represented in terms of quaternions. In the present paper we discuss the quasi regular polygons (isogonal and isotoxal polygons) using 2D Coxeter diagrams. In particular, we discuss the isogonal hexagons, octagons and decagons derived from 2D Coxeter diagrams and obtain aperiodic tilings of the plane with the isogonal polygons along with the regular polygons. We point out that one type of aperiodic tiling of the plane with regular and isogonal hexagons may represent a state of graphene where one carbon atom is bound to three neighboring carbons with two single bonds and one double bond. We also show how the plane can be tiled with two tiles; one of them is the isotoxal polygon, dual of the isogonal polygon. A general method is employed for the constructions of the quasi regular prisms and their duals in 3D dimensions with the use of 3D Coxeter diagrams.
Annales de l’institut Fourier, 2012
We study the space of 2-frieze patterns generalizing that of the classical Coxeter-Conway frieze patterns. The geometric realization of this space is the space of n-gons (in the projective plane and in 3-dimensional vector space) which is a close relative of the moduli space of genus 0 curves with n marked points. We show that the space of 2-frieze patterns is a cluster manifold and study its algebraic and arithmetic properties.
2016
We present two constructions in this paper : (a) A 10-vertex triangulation CP 2 10 of the complex projective plane CP 2 as a subcomplex of the join of the standard sphere (S 2 4) and the standard real projective plane (RP 2 6 , the decahedron), its automorphism group is A 4 ; (b) a 12-vertex triangulation (S 2 ×S 2) 12 of S 2 ×S 2 with automorphism group 2S 5 , the Schur double cover of the symmetric group S 5. It is obtained by generalized bistellar moves from a simplicial subdivision of the standard cell structure of S 2 ×S 2. Both constructions have surprising and intimate relationships with the icosahedron. It is well known that CP 2 has S 2 × S 2 as a twofold branched cover; we construct the triangulation CP 2 10 of CP 2 by presenting a simplicial realization of this covering map S 2 × S 2 → CP 2. The domain of this simplicial map is a simplicial subdivision of the standard cell structure of S 2 × S 2 , different from the triangulation alluded to in (b). This gives a new proof that Kühnel's CP 2 9 triangulates CP 2. It is also shown that CP 2 10 and (S 2 × S 2) 12 induce the standard piecewise linear structure on CP 2 and S 2 × S 2 respectively.
Acta Mathematica Hungarica, 1992
We easily conclude that the incidence structure of 2 and its flag structure determine each other. Fig. 1 shows two 1-adjacent flags l//k(vj, er, flk) and 2//k(Vj, es, f/k), eT es, symbolically and with picture as well (d = 3). Note that the polyhedron 2 can be given to a computer as the set of its flags, i.e. ordered d-tuples of natural numbers. For instance a 3dimensional tetrahedron is represented by 24 flags, a cube by 48 flags. The one-to-one correspondence between an n-face x ~ and the flag subset :~x-, defined above, makes possible the convenient translation of geometric facts into flag language, i.e. computer one, and vice versa. The main purpose of this section is to describe an algorithm for determining the automorphism group of 2, denoted by Aut 2. This automatically describes the automorphism group Aut ~ of the flag structure 2~. Ant 2 is a permutation group. Each permutation in Aut 2 consists of d component permutations. The n-th component permutes the n-faces of 2, 0 _< n _< d-1. Every elements of Aut 2 preserves the incidence structure of 2, i.e. if an n-face x ~ and an m-face y'~ are incident then for each permutation p from Aut2 the n-th and m-th components of p maps x n onto (x'~)P~ ym onto (ym)Pso that the images are also incident. Aut~ consists of all self-bijections of ~ which preserve n-adjacency relations for every n (0 _< n _< d-1). These bijections form a group by the composition as group operation. LEMMA 1.1. An automorphism a from AutO, resp. Aut2, is uniquely determined (if it exists) by a flag ~ and its a-image [a.
Algorithmica, 2020
Distance labeling schemes are schemes that label the vertices of a graph with short labels in such a way that the distance between any two vertices u and v can be determined efficiently by merely inspecting the labels of u and v, without using any other information. Similarly, routing labeling schemes label the vertices of a graph in a such a way that given the labels of a source node and a destination node, it is possible to compute efficiently the port number of the edge from the source that heads in the direction of the destination. One of important problems is finding natural classes of graphs admitting distance and/or routing labeling schemes with labels of polylogarithmic size. In this paper, we show that the class of cube-free median graphs on n nodes enjoys distance and routing labeling schemes with labels of O(log 3 n) bits.
Loading Preview
Sorry, preview is currently unavailable. You can download the paper by clicking the button above.