Abstract Lightmap Generation And

Total Page:16

File Type:pdf, Size:1020Kb

Abstract Lightmap Generation And ABSTRACT LIGHTMAP GENERATION AND PARAMETERIZATION FOR REAL-TIME 3D INFRA-RED SCENES by Meisam Amjad Having high resolution Infra-Red (IR) imagery in cluttered environment of battlespace is crucial for capturing intelligence in search and target acquisition tasks such as whether or not a vehicle (or any heat source) has been moved or used and in which direction. While 3D graphic simulation of large scenes helps with retrieving information and training analysts, using traditional 3D rendering techniques are not enough, and an additional parameter needs to be solved due to different concept of visibility in IR scenes. In 3D rendering of IR scenes, the problem of what can currently be seen by a participant of the simulation does not just depend on emitted thermal energy from objects, and the visibility also depends on previous scenes as thermal energy is slowly retained and diffused over time. Therefore, time as an additional factor must be included since the aggregation of heat energy in the scene relates to its past. Our solution uses lightmaps for storing energy that reaches surfaces over time. We modify the lightmaps to solve the problem of lightmap parameterization between 3D surfaces and 2D mapping and add an extra ability to let us periodically update only necessary areas based on dynamic aspects of the scene. LIGHTMAP GENERATION AND PARAMETERIZATION IN A REAL-TIME 3D INFRA-RED SCENES A Thesis Submitted to the Faculty of Miami University in partial fulfillment of the requirements for the degree of Master of Science by Meisam Amjad Miami University Oxford, Ohio 2019 Advisor: Dr.John Femiani Reader: Dr.Eric Bachmann Reader: Dr.Vijayalakshmi Ramasamy c 2019 Meisam Amjad This Thesis titled LIGHTMAP GENERATION AND PARAMETERIZATION IN A REAL-TIME 3D INFRA-RED SCENES by Meisam Amjad has been approved for publication by The College of Arts and Science and Department of Computer Science and Software Engineering Dr.John Femiani Dr.Eric Bachmann Dr.Vijayalakshmi Ramasamy Contents LIST OF TABLESv LIST OF FIGURES vi ACKNOWLEDGEMENTS viii 1 INTRODUCTION1 2 CONTRIBUTION7 3 BACKGROUND8 3.1 Parameterization . .8 3.1.1 Non-shape-preserving embedding . .9 3.1.2 Angle preserving or conformal parameterization . 10 3.1.3 Distance preserving parameterization . 12 3.1.4 Area preserving parameterization . 13 3.1.5 Trade-off between metrics . 14 3.2 Cutting . 15 3.2.1 Mesh segmentation . 15 3.2.2 Chart packing . 16 3.2.3 Seam Cutting . 16 4 AREA TARGETING PARAMETERIZATION 17 4.1 Generating Initial Mesh . 17 4.1.1 Mesh Data Structure . 17 4.1.2 Identifying Non-Manifold errors . 17 4.1.3 Identifying Seams . 21 4.1.4 Merging patches and scaling . 22 iii 4.2 Per-part area-preserving parameterization . 23 4.2.1 Detecting outer boundary for mapping to a disk . 24 4.2.2 Area-preserving parameterization of the mesh . 25 5 EVALUATION 33 5.1 Metrics . 33 5.1.1 Metrics for a Complete System . 33 5.1.2 Metrics for the Parametrization Component . 34 5.2 Experiments . 34 5.2.1 Testing different objects . 35 5.2.2 Testing in a dynamic scene . 40 5.3 Results . 40 6 CONCLUSION 42 References 43 Appendices 50 Appendix LIGHTMAPPER LIBRARY 51 iv List of Tables 3.1 Summary of basic approaches in parameterization . 14 5.1 Result of parameterization for different 3D objects . 41 5.2 Result of simulation a dynamic scene where there is a heat source moving . 41 v List of Figures 1.1 An Example of Thermal Inertia . .2 1.2 Demonstration of the problem: Input and Desired Output . .3 1.3 Solution overview . .4 1.4 Example of results (generated lightmap) . .5 1.5 Snapshot from created library . .6 4.1 Sample 3D object that is used for demonstration and explanation. 18 4.2 Demonstration of non-manifold edge. 19 4.3 Demonstration of the first generated Lightmap atlas. 20 4.4 Demonstration of folded surfaces. 20 4.5 Demonstration of overlapping. 20 4.6 Demonstration of different kind of edges . 22 4.7 UV mesh before scaling in 3D space . 23 4.8 Complete UV mesh after scaling in 3D space . 23 4.9 A sample island for parameterization . 24 4.10 Demonstration of different boundaries. 24 4.11 Filled in image of the island. 25 4.12 Topological disk mesh in 3D and UV space. 25 4.13 Three equal-area disk patches examples . 26 4.14 Polygon explaining the weights used by sibson’s interpolant . 28 4.15 Phantom triangles for relaxing the boundary . 29 4.16 Island without added phantom triangles to relax the boundary . 29 4.17 Square error in parameterization in area-preserving parameterization. 30 4.18 Final UV mesh . 31 4.19 Final result after generating lightmap atlas for our 3D object . 32 5.1 3D Cube object . 35 5.2 Generated lightmap from Cube before parameterization. 36 vi 5.3 Generated lightmap from Cube before parameterization. 36 5.4 Parameterized island from cube . 36 5.5 3D Monkey object . 37 5.6 Final lightmap for monkey . 37 5.7 Errors after parameterizing two of the islands from monkey . 38 5.8 3D Bunny object . 38 5.9 Final lightmap for bunny . 39 5.10 Errors after parameterizing two of the islands from bunny . 39 5.11 Different frames of created dynamic scene . 40 vii ACKNOWLEDGEMENTS I would first like to thank my advisor, Dr.John Femiani, for presenting me with this interest- ing problem, and for many conversations providing critical guidance throughout the project. I also thank him for being patient and helping me to grow during my time as a graduate student. I also thank Drs. Eric Bachmann and Vijayalakshmi Ramasamy, for taking the time to read this thesis and offer their insights, as well as for a great deal of friendly conver- sation and enjoyable classroom instruction during my time in Miami University. Last, but certainly not least, I offer a great deal of thanks to wife, without whom I would have lacked crucial support and guidance in maintaining my interest and desire to finish this graduate program. viii Chapter 1 INTRODUCTION High resolution IR imagery is currently acquired from a variety of mobile sensors; including cameras mounted on aircraft and drones. A key benefit of IR sensors is that they can capture thermal energy that is retained, diffused, and slowly re-emitted over time by a surface; a process we call thermal inertia. Thermal inertia makes it possible for an analyst looking at sensor imagery to make deductions such as whether machinery has been used recently or whether a vehicle has been moved because the heat emitted, or blocked, by the object leaves a persistent thermal signature in the scene. In order to train analysts, it is important to simulate IR sensors including the effect of heat inertia in physically accurate large scenes. Existing 3D simulations and training solutions can simulate IR sensors and allow operators to search for objects that are warmer or cooler than their surroundings. However, prior to this work we are unaware of any work that attempts to model the important effect of heat inertia. A key challenge when rendering IR with thermal inertia is the visibility problem in computer graphics. For traditional 3D scene rendering, one need only solve the challenging problem of what can currently be seen by a participant in the simulation. For thermal inertia situations, an additional dimension of time must be included because the appearance of a scene depends on its past. Heat slowly diffuses through and between surface materials, so that in order to predict the IR signature of a surface you must aggregate the effects of energy diffusion over a window in time. Our solution uses an existing technique for rendering diffuse lighting, called a lightmap. Lightmaps are a rendering solution used as a solution for storing view-independent irradiance in a real-time 3D IR scene. A lightmap is pre-computed irradiance texture that can be stored in memory and reused during rendering to capture complex diffuse lighting effects. For static scenes, it is useful to solve the radiosity equations to find a steady-state lighting solution that does not need to be modified in a scene unless the light sources are changed or the objects move. If the lighting changes in a scene, however, then the lightmap will need to be modified. 1 We propose to modify lightmaps to record and accumulate the incident energy that reaches a surface over time; unlike lightmaps used for radiosity the thermal energy will not generally reach a steady state as the simulations will involve moving heat-sources. In our approach, a real time photon-mapping solution is used to determine the incoming thermal energy from dynamic objects, as well as the energy that was absorbed and re-emitted by static objects in the scene. The lightmap data is periodically updated based on incoming heat energy from dynamic objects and a heat-diffusion equation. A key challenge of this approach is that the lightmap must be recomputed for all dynamic objects in a scene, not just the ones that are currently visible by a player in a simulation. Based on these challenges, we aim to solve the problem of generating a lightmap param- eterization of a scene that associates 3D (XYZ) surfaces with unique 2D (UV) locations on a lightmap image so that portions of the surface exposed to more thermal energy variation (closer to heat sources) occupy more area than the portions of the surface that are far from the heat sources. Although the solution we discuss is based on thermal energy, this dynamic approach can be use whenever one wishes to control the photon density in lightmaps.
Recommended publications
  • Ravi's Speech at the Banquet
    Speech at the Conference on Conformal Geometry and Riemann Surfaces October 27, 2013 Ravi S. Kulkarni October 29, 2013 1 Greetings I am very happy today. I did not know that so many people loved me enough to gather at Queens College to wish me a healthy, long, and productive life over and above the 71 years I have already lived. It includes my teacher Shlomo Sternberg, present here on skype, and my \almost"-teachers Hyman Bass, and Cliff Earle. Alex Lubotzky came from Israel, Ulrich Pinkall from Germany, and Shiga from Japan. If I have counted correctly there are 14 people among the speakers who are above 65, and 5 below 65, of which only 3 in their 30s to 50s. There are many more in the audience who are in their 50s and below. I interpret this as: we old people have done something right. And of course that something right, is that we have done mathematics. The conference of this type is new for the Math department at Queens College, although it had many distinguished mathematicians like Arthur Sard, Leo Zippin, Banesh Hoffman, Edwin Moise, ... before, on its faculty. I find this Conference especially gratifying since I already went back to In- dia in 2001, enjoyed several leaves without pay, and finally retired from Queens College, in Feb 2008. However I keep coming back to Queens college and Grad- uate Center twice a year and enjoy my emeritus positions with all the office and library/computer advantages. For a long time, I felt that people here thought that I was an Indian in America.
    [Show full text]
  • The Circle Packing Theorem
    Alma Mater Studiorum · Università di Bologna SCUOLA DI SCIENZE Corso di Laurea in Matematica THE CIRCLE PACKING THEOREM Tesi di Laurea in Analisi Relatore: Pesentata da: Chiar.mo Prof. Georgian Sarghi Nicola Arcozzi Sessione Unica Anno Accademico 2018/2019 Introduction The study of tangent circles has a rich history that dates back to antiquity. Already in the third century BC, Apollonius of Perga, in his exstensive study of conics, introduced problems concerning tangency. A famous result attributed to Apollonius is the following. Theorem 0.1 (Apollonius - 250 BC). Given three mutually tangent circles C1, C2, 1 C3 with disjoint interiors , there are precisely two circles tangent to all the three initial circles (see Figure1). A simple proof of this fact can be found here [Sar11] and employs the use of Möbius transformations. The topic of circle packings as presented here, is sur- prisingly recent and originates from William Thurston's famous lecture notes on 3-manifolds [Thu78] in which he proves the theorem now known as the Koebe-Andreev- Thurston Theorem or Circle Packing Theorem. He proves it as a consequence of previous work of E. M. Figure 1 Andreev and establishes uniqueness from Mostov's rigid- ity theorem, an imporant result in Hyperbolic Geometry. A few years later Reiner Kuhnau pointed out a 1936 proof by german mathematician Paul Koebe. 1We dene the interior of a circle to be one of the connected components of its complement (see the colored regions in Figure1 as an example). i ii A circle packing is a nite set of circles in the plane, or equivalently in the Riemann sphere, with disjoint interiors and whose union is connected.
    [Show full text]
  • Universidade Tecnológica Federal Do Paraná Campus Curitiba – Sede Central Departamento Acadêmico De Desenho Industrial Tecnologia Em Design Gráfico
    UNIVERSIDADE TECNOLÓGICA FEDERAL DO PARANÁ CAMPUS CURITIBA – SEDE CENTRAL DEPARTAMENTO ACADÊMICO DE DESENHO INDUSTRIAL TECNOLOGIA EM DESIGN GRÁFICO ALEXANDRE DA SILVA SANTANA A ESTAÇÃO DE TREM DE CURITIBA EM MODELAGEM 3D: UMA FORMA DE RETRATAR A HISTÓRIA DO TREM TRABALHO DE CONCLUSÃO DE CURSO CURITIBA-PR 2017 ALEXANDRE DA SILVA SANTANA A ESTAÇÃO DE TREM DE CURITIBA EM MODELAGEM 3D: UMA FORMA DE RETRATAR A HISTÓRIA DO TREM Monografia apresentada ao Curso Superior de Tecnologia em Design Gráfico do Departamento Acadêmico de Desenho Industrial – DADIN – da Universidade Tecnológica Federal do Paraná – UTFPR, como requisito parcial para obtenção do título de Graduação em Tecnologia em Design Gráfico. Orientadora: Prof.ª MSc. Ana Cristina Munaro. CURITIBA-PR 2017 Ministério da Educação Universidade Tecnológica Federal do Paraná PR Câmpus Curitiba UNIVERSIDADE TECNOLÓGICA FEDERAL DO PARANÁ Diretoria de Graduação e Educação Profissional Departamento Acadêmico de Desenho Industrial TERMO DE APROVAÇÃO TRABALHO DE CONCLUSÃO DE CURSO 039 A ESTAÇÃO DE TREM DE CURITIBA EM MODELAGEM 3D: UMA FORMA DE REVIVER A HISTÓRIA DO TREM por Alexandre da Silva Santana – 1612557 Trabalho de Conclusão de Curso apresentado no dia 28 de novembro de 2017 como requisito parcial para a obtenção do título de TECNÓLOGO EM DESIGN GRÁFICO, do Curso Superior de Tecnologia em Design Gráfico, do Departamento Acadêmico de Desenho Industrial, da Universidade Tecnológica Federal do Paraná. O aluno foi arguido pela Banca Examinadora composta pelos professores abaixo, que após deliberação, consideraram o trabalho aprovado. Banca Examinadora: Prof. Alan Ricardo Witikoski (Dr.) Avaliador DADIN – UTFPR Prof. Francis Rodrigues da Silva (Esp.) Convidado DADIN – UTFPR Profa. Ana Cristina Munaro (MSc.) Orientadora DADIN – UTFPR Prof.
    [Show full text]
  • Algebra + Homotopy = Operad
    Symplectic, Poisson and Noncommutative Geometry MSRI Publications Volume 62, 2014 Algebra + homotopy = operad BRUNO VALLETTE “If I could only understand the beautiful consequences following from the concise proposition d 2 0.” —Henri Cartan D This survey provides an elementary introduction to operads and to their ap- plications in homotopical algebra. The aim is to explain how the notion of an operad was prompted by the necessity to have an algebraic object which encodes higher homotopies. We try to show how universal this theory is by giving many applications in algebra, geometry, topology, and mathematical physics. (This text is accessible to any student knowing what tensor products, chain complexes, and categories are.) Introduction 229 1. When algebra meets homotopy 230 2. Operads 239 3. Operadic syzygies 253 4. Homotopy transfer theorem 272 Conclusion 283 Acknowledgements 284 References 284 Introduction Galois explained to us that operations acting on the solutions of algebraic equa- tions are mathematical objects as well. The notion of an operad was created in order to have a well defined mathematical object which encodes “operations”. Its name is a portemanteau word, coming from the contraction of the words “operations” and “monad”, because an operad can be defined as a monad encoding operations. The introduction of this notion was prompted in the 60’s, by the necessity of working with higher operations made up of higher homotopies appearing in algebraic topology. Algebra is the study of algebraic structures with respect to isomorphisms. Given two isomorphic vector spaces and one algebra structure on one of them, 229 230 BRUNO VALLETTE one can always define, by means of transfer, an algebra structure on the other space such that these two algebra structures become isomorphic.
    [Show full text]
  • Prospects in Topology
    Annals of Mathematics Studies Number 138 Prospects in Topology PROCEEDINGS OF A CONFERENCE IN HONOR OF WILLIAM BROWDER edited by Frank Quinn PRINCETON UNIVERSITY PRESS PRINCETON, NEW JERSEY 1995 Copyright © 1995 by Princeton University Press ALL RIGHTS RESERVED The Annals of Mathematics Studies are edited by Luis A. Caffarelli, John N. Mather, and Elias M. Stein Princeton University Press books are printed on acid-free paper and meet the guidelines for permanence and durability of the Committee on Production Guidelines for Book Longevity of the Council on Library Resources Printed in the United States of America by Princeton Academic Press 10 987654321 Library of Congress Cataloging-in-Publication Data Prospects in topology : proceedings of a conference in honor of W illiam Browder / Edited by Frank Quinn. p. cm. — (Annals of mathematics studies ; no. 138) Conference held Mar. 1994, at Princeton University. Includes bibliographical references. ISB N 0-691-02729-3 (alk. paper). — ISBN 0-691-02728-5 (pbk. : alk. paper) 1. Topology— Congresses. I. Browder, William. II. Quinn, F. (Frank), 1946- . III. Series. QA611.A1P76 1996 514— dc20 95-25751 The publisher would like to acknowledge the editor of this volume for providing the camera-ready copy from which this book was printed PROSPECTS IN TOPOLOGY F r a n k Q u in n , E d it o r Proceedings of a conference in honor of William Browder Princeton, March 1994 Contents Foreword..........................................................................................................vii Program of the conference ................................................................................ix Mathematical descendants of William Browder...............................................xi A. Adem and R. J. Milgram, The mod 2 cohomology rings of rank 3 simple groups are Cohen-Macaulay........................................................................3 A.
    [Show full text]
  • On Dynamical Gaskets Generated by Rational Maps, Kleinian Groups, and Schwarz Reflections
    ON DYNAMICAL GASKETS GENERATED BY RATIONAL MAPS, KLEINIAN GROUPS, AND SCHWARZ REFLECTIONS RUSSELL LODGE, MIKHAIL LYUBICH, SERGEI MERENKOV, AND SABYASACHI MUKHERJEE Abstract. According to the Circle Packing Theorem, any triangulation of the Riemann sphere can be realized as a nerve of a circle packing. Reflections in the dual circles generate a Kleinian group H whose limit set is an Apollonian- like gasket ΛH . We design a surgery that relates H to a rational map g whose Julia set Jg is (non-quasiconformally) homeomorphic to ΛH . We show for a large class of triangulations, however, the groups of quasisymmetries of ΛH and Jg are isomorphic and coincide with the corresponding groups of self- homeomorphisms. Moreover, in the case of H, this group is equal to the group of M¨obiussymmetries of ΛH , which is the semi-direct product of H itself and the group of M¨obiussymmetries of the underlying circle packing. In the case of the tetrahedral triangulation (when ΛH is the classical Apollonian gasket), we give a piecewise affine model for the above actions which is quasiconformally equivalent to g and produces H by a David surgery. We also construct a mating between the group and the map coexisting in the same dynamical plane and show that it can be generated by Schwarz reflections in the deltoid and the inscribed circle. Contents 1. Introduction 2 2. Round Gaskets from Triangulations 4 3. Round Gasket Symmetries 6 4. Nielsen Maps Induced by Reflection Groups 12 5. Topological Surgery: From Nielsen Map to a Branched Covering 16 6. Gasket Julia Sets 18 arXiv:1912.13438v1 [math.DS] 31 Dec 2019 7.
    [Show full text]
  • Castle Game Engine Documentation
    Castle Game Engine documentation Michalis Kamburelis Castle Game Engine documentation Michalis Kamburelis Copyright © 2006, 2007, 2008, 2009, 2010, 2011, 2012, 2013, 2014 Michalis Kamburelis You can redistribute and/or modify this document under the terms of the GNU General Public License [http://www.gnu.org/licenses/gpl.html] as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version. Table of Contents Goals ....................................................................................................................... vii 1. Overview of VRML ............................................................................................... 1 1.1. First example ............................................................................................... 1 1.2. Fields .......................................................................................................... 3 1.2.1. Field types ........................................................................................ 3 1.2.2. Placing fields within nodes ................................................................ 5 1.2.3. Examples .......................................................................................... 5 1.3. Children nodes ............................................................................................. 7 1.3.1. Group node examples ........................................................................ 7 1.3.2. The Transform node .......................................................................
    [Show full text]
  • Study on the Problem of the Number Ring Transformation
    The Research on Circle Family and Sphere Family The Original Topic: The Research and Generalizations on Several Kinds of Partition Problems in Combinatorics The Affiliated High School of South China Normal University Yan Chen Zhuang Ziquan Faculty Adviser:Li Xinghuai 153 The Research on Circle Family and Sphere Family 【Abstract】 A circle family is a group of separate or tangent circles in the plane. In this paper, we study how many parts at most a plane can be divided by several circle families if the circles in a same family must be separate (resp. if the circles can be tangent). We also study the necessary conditions for the intersection of two circle families. Then we primarily discuss the similar problems in higher dimensional space and in the end, raise some conjectures. 【Key words】 Circle Family; Structure Graph; Sphere Family; Generalized Inversion 【Changes】 1. Part 5 ‘Some Conjectures and Unsolved Problems’ has been rewritten. 2. Lemma 4.2 has been restated. 3. Some small mistakes have been corrected. 154 1 The Definitions and Preliminaries To begin with, we introduce some newly definitions and related preliminaries. Definition 1.1 Circle Family A circle family of the first kind is a group of separate circles;A circle family of the second kind is a group of separate or tangent circles. The capacity of a circle family is the number of circles in a circle family,the intersection of circle families means there are several circle families and any two circles in different circle families intersect. Definition 1.2 Compaction If the capacity of a circle family is no less than 3,and it intersects with another circle family with capacity 2,we call such a circle family compact.
    [Show full text]
  • 15 BASIC PROPERTIES of CONVEX POLYTOPES Martin Henk, J¨Urgenrichter-Gebert, and G¨Unterm
    15 BASIC PROPERTIES OF CONVEX POLYTOPES Martin Henk, J¨urgenRichter-Gebert, and G¨unterM. Ziegler INTRODUCTION Convex polytopes are fundamental geometric objects that have been investigated since antiquity. The beauty of their theory is nowadays complemented by their im- portance for many other mathematical subjects, ranging from integration theory, algebraic topology, and algebraic geometry to linear and combinatorial optimiza- tion. In this chapter we try to give a short introduction, provide a sketch of \what polytopes look like" and \how they behave," with many explicit examples, and briefly state some main results (where further details are given in subsequent chap- ters of this Handbook). We concentrate on two main topics: • Combinatorial properties: faces (vertices, edges, . , facets) of polytopes and their relations, with special treatments of the classes of low-dimensional poly- topes and of polytopes \with few vertices;" • Geometric properties: volume and surface area, mixed volumes, and quer- massintegrals, including explicit formulas for the cases of the regular simplices, cubes, and cross-polytopes. We refer to Gr¨unbaum [Gr¨u67]for a comprehensive view of polytope theory, and to Ziegler [Zie95] respectively to Gruber [Gru07] and Schneider [Sch14] for detailed treatments of the combinatorial and of the convex geometric aspects of polytope theory. 15.1 COMBINATORIAL STRUCTURE GLOSSARY d V-polytope: The convex hull of a finite set X = fx1; : : : ; xng of points in R , n n X i X P = conv(X) := λix λ1; : : : ; λn ≥ 0; λi = 1 : i=1 i=1 H-polytope: The solution set of a finite system of linear inequalities, d T P = P (A; b) := x 2 R j ai x ≤ bi for 1 ≤ i ≤ m ; with the extra condition that the set of solutions is bounded, that is, such that m×d there is a constant N such that jjxjj ≤ N holds for all x 2 P .
    [Show full text]
  • Planar Separator Theorem a Geometric Approach
    Planar Separator Theorem A Geometric Approach based on A Framework for ETH-Tight Algorithms and Lower Bounds in Geometric Intersection Graphs by Mark de Berg, Hans L. Bodlaender, S´andor Kisfaludi-Bak, D´anielMarx and Tom C. van der Zanden Unit Disk Graphs • represent vertices as unit disks, i.e., disks with diameter 1 • disks intersect iff corresponding vertices are adjacent a d a b d b f $ e f e g g h h c c Unit Disk Graphs • represent vertices as unit disks, i.e., disks with diameter 1 • disks intersect iff corresponding vertices are adjacent • some unit disk graphs are planar a d a b d b f $ e f e g g h h c c Unit Disk Graphs • represent vertices as unit disks, i.e., disks with diameter 1 • disks intersect iff corresponding vertices are adjacent • some unit disk graphs are planar • some planar graphs are not unit disk graphs c c d b a d a 6$ b e f e f Geometric Separators Geometric Separators Geometric Separators Geometric Separators H Observation: Disks intersecting the boundary of H separate disks strictly inside H from disks strictly outside H . Small Balanced Separators Let G = (V ; E) be a graph. H ⊆ V is • a separator if there is a partition H; V1; V2 of V so that no edge in E has onep endpoint in V1 and one endpoint in V2, • small if jHj 2 O( n), • balanced if jV1j; jV2j ≤ βn for some constant β Small Balanced Geometric Separators H p Claim: There exists an H intersecting O( n) disks with ≤ 36=37n disks strictly inside H and ≤ 36=37n disks strictly outside H , i.e., H is a small balanced separator.
    [Show full text]
  • Fixed Points, Koebe Uniformization and Circle Packings
    Annals of Mathematics, 137 (1993), 369-406 Fixed points, Koebe uniformization and circle packings By ZHENG-XU HE and ODED SCHRAMM* Contents Introduction 1. The space of boundary components 2. The fixed-point index 3. The Uniqueness Theorem 4. The Schwarz-Pick lemma 5. Extension to the boundary 6. Maximum modulus, normality and angles 7. Uniformization 8. Domains in Riemann surfaces 9. Uniformizations of circle packings Addendum Introduction A domain in the Riemann sphere C is called a circle domain if every connected component of its boundary is either a circle or a point. In 1908, P. Koebe [Kol] posed the following conjecture, known as Koebe's Kreisnormierungsproblem: A ny plane domain is conformally homeomorphic to a circle domain in C. When the domain is simply connected, this is the con­ tent of the Riemann mapping theorem. The conjecture was proved for finitely connected domains and certain symmetric domains by Koebe himself ([K02], [K03]); for domains with various conditions on the "limit boundary compo­ nents" by R. Denneberg [De], H. Grotzsch [Gr], L. Sario [Sa], H. Meschowski *The authors were supported by N.S.F. Grants DMS-9006954 and DMS-9112150, respectively. The authors express their thanks to Mike Freedman, Dennis Hejhal, Al Marden, Curt McMullen, Burt Rodin, Steffen Rohde and Bill Thurston for conversations relating to this work. Also thanks are due to the referee, and to Steffen Rohde, for their careful reading and subsequent corrections. The paper of Sibner [Si3l served as a very useful introduction to the subject. I. Benjamini, O. Häggström (eds.), Selected Works of Oded Schramm, Selected Works in Probability and Statistics, DOI 10.1007/978-1-4419-9675-6_6, C Springer Science+Business Media, LLC 2011 105 370 z.-x.
    [Show full text]
  • The Design and Evolution of the Uberbake Light Baking System
    The design and evolution of the UberBake light baking system DARIO SEYB∗, Dartmouth College PETER-PIKE SLOAN∗, Activision Publishing ARI SILVENNOINEN, Activision Publishing MICHAŁ IWANICKI, Activision Publishing WOJCIECH JAROSZ, Dartmouth College no door light dynamic light set off final image door light only dynamic light set on Fig. 1. Our system allows for player-driven lighting changes at run-time. Above we show a scene where a door is opened during gameplay. The image on the left shows the final lighting produced by our system as seen in the game. In the middle, we show the scene without the methods described here(top).Our system enables us to efficiently precompute the associated lighting change (bottom). This functionality is built on top of a dynamic light setsystemwhich allows for levels with hundreds of lights who’s contribution to global illumination can be controlled individually at run-time (right). ©Activision Publishing, Inc. We describe the design and evolution of UberBake, a global illumination CCS Concepts: • Computing methodologies → Ray tracing; Graphics system developed by Activision, which supports limited lighting changes in systems and interfaces. response to certain player interactions. Instead of relying on a fully dynamic solution, we use a traditional static light baking pipeline and extend it with Additional Key Words and Phrases: global illumination, baked lighting, real a small set of features that allow us to dynamically update the precomputed time systems lighting at run-time with minimal performance and memory overhead. This ACM Reference Format: means that our system works on the complete set of target hardware, ranging Dario Seyb, Peter-Pike Sloan, Ari Silvennoinen, Michał Iwanicki, and Wo- from high-end PCs to previous generation gaming consoles, allowing the jciech Jarosz.
    [Show full text]