Visualising higher-dimensional space-time and space-scale objects as projections to ℝ3

9 Objects of more than three dimensions can be used to model geographic phenomena that occur in space, time and scale. For instance, a single 4D object can be used to represent the changes in a 3D object’s shape across time or all its optimal representations at various levels of detail. In this paper, we look at how such higher-dimensional space-time and space-scale objects can be visualised as projections from R4 to R3. We present three projections that we believe are particularly intuitive for this purpose: (i) a simple ‘long axis’ projection that puts 3D objects side by side; (ii) the well-known orthographic and perspective projections; and (iii) a projection to a 3-sphere (S3) followed by a stereographic projection to R3, which results in an inwards-outwards fourth axis. Our focus is in using these projections from R4 to R3, but they are formulated from R to Rn−1 so as to be easily extensible and to incorporate other non-spatial characteristics. We present a prototype interactive visualiser that applies these projections from 4D to 3D in real-time using the programmable pipeline and compute shaders of the Metal graphics API. 10 11 12 13 14 15 16 17 18 19 20 21 BACKGROUND 22 Projecting the 3D nature of the world down to two dimensions is one of the most common problems at 23 the juncture of geographic information and computer graphics, whether as the map projections in both 24 paper and digital maps (Snyder, 1987; Grafarend and You, 2014) or as part of an interactive visualisation 25 of a 3D city model on a computer screen (Foley and Nielson, 1992; Shreiner et al., 2013). However, 26 geographic information is not inherently limited to objects of three dimensions. Non-spatial characteristics 27 such as time (Hägerstrand, 1970; Güting et al., 2000; Hornsby and Egenhofer, 2002; Kraak, 2003) and 28 scale (Meijers, 2011a) are often conceived and modelled as additional dimensions, and objects of three or 29 more dimensions can be used to model objects in 2D or 3D space that also have changing geometries 30 along these non-spatial characteristics (van Oosterom and Stoter, 2010; Arroyo Ohori, 2016). For example, 31 a single 4D object can be used to represent the changes in a 3D object’s shape across time or all the best 32 representations of a 3D object at various levels of detail (van Oosterom and Meijers, 2014; Arroyo Ohori 33 et al., 2015a,c). 34 Objects of more than three dimensions can be however unintuitive (Noll, 1967; Frank, 2014), and 35 visualising them is a challenge. While some operations on a higher-dimensional object can be achieved by 36 running automated methods (e.g. certain validation tests or area/volume computations) or by visualising 37 only a chosen 2D or 3D subset (e.g. some of its bounding faces or a cross-section), sometimes there is 38 no substitute for being able to view a complete nD object—much like viewing floor or façade plans is 39 often no substitute for interactively viewing the complete 3D model of a building. By viewing a complete 40 model, one can see at once the 3D objects embedded in the model at every point in time or scale as well 41 as the equivalences and topological relationships between their constituting elements. More directly, it 42 also makes it possible to get an intuitive understanding of the complexity of a given 4D model. 43 For instance, in Fig. 1 we show an example of a 4D model representing a house at two different levels 44 of detail and all the equivalences its composing elements. It forms a valid manifold 4-cell (Arroyo Ohori 45 PeerJ Preprints | https://doi.org/10.7287/peerj.preprints.2844v1 | CC BY 4.0 Open Access | rec: 2 Mar 2017, publ: 2 Mar 2017

[1]  Menno-Jan Kraak,et al.  The space - time cube revisited from a geovisualization perspective , 2003 .

[2]  Hugo Ledoux,et al.  Constructing an n-dimensional Cell Complex from a Soup of (n - 1)-Dimensional Faces , 2014, ICAA.

[3]  Max J. Egenhofer,et al.  Modeling Moving Objects over Multiple Granularities , 2002, Annals of Mathematics and Artificial Intelligence.

[4]  Jantien E. Stoter,et al.  An evaluation and classification of nD topological data structures for the representation of objects in a higher-dimensional GIS , 2015, Int. J. Geogr. Inf. Sci..

[5]  Leonidas J. Guibas,et al.  Primitives for the manipulation of general subdivisions and the computation of Voronoi diagrams , 1983, STOC.

[6]  Peter van Oosterom,et al.  Reactive Data Structures for Geographic Information Systems , 1993 .

[7]  Leila De Floriani,et al.  Modeling and Manipulating Cell Complexes in Two, Three and Higher Dimensions , 2012 .

[8]  A. Michael Noll Computer animation and the fourth dimension , 1968, AFIPS '68 (Fall, part II).

[9]  A. Hanson,et al.  Meshview : Visualizing the Fourth Dimension , 1999 .

[10]  P. Boguslawski,et al.  Representing the Dual of Objects in a Four-Dimensional GIS , 2013 .

[11]  Jantien E. Stoter,et al.  5D Data Modelling: Full Integration of 2D/3D Space, Time and Scale Dimensions , 2010, GIScience.

[12]  Donna Peuquet,et al.  An Event-Based Spatiotemporal Data Model (ESTDM) for Temporal Analysis of Geographical Data , 1995, Int. J. Geogr. Inf. Sci..

[13]  A. Michael Noll A computer technique for displaying n-dimensional hyperobjects , 1967, CACM.

[14]  Akira Kageyama,et al.  A visualization method of four-dimensional polytopes by oval display of parallel hyperplane slices , 2015, Journal of Visualization.

[15]  Philippe Colantoni,et al.  Virtual Environments with Four or More Spatial Dimensions , 2000, Presence: Teleoperators & Virtual Environments.

[16]  Nico Van de Weghe,et al.  Development of a data model for spatio-temporal information , 2003 .

[17]  Ken Arroyo Ohori,et al.  Higher-dimensional modelling of geographic information , 2016 .

[18]  PASCAL LIENHARDT,et al.  N-Dimensional Generalized Combinatorial Maps and Cellular Quasi-Manifolds , 1994, Int. J. Comput. Geom. Appl..

[19]  E. Grafarend,et al.  Map Projections: Cartographic Information Systems , 2006 .

[20]  Topological Data Structure , 2009, Encyclopedia of Database Systems.

[21]  Andrew J. Hanson,et al.  Interactive visualization methods for four dimensions , 1993, Proceedings Visualization '93.

[22]  Hanspeter Bieri,et al.  Elementary Set Operations with d-Dimensional Polyhedra , 1988, Workshop on Computational Geometry.

[23]  Eugene Wong,et al.  Approximating parametric curves with strip trees using affine arithmetic , 2002, Proceedings. XV Brazilian Symposium on Computer Graphics and Image Processing.

[24]  Lutz Plümer,et al.  Achieving Integrity in Geographic Information Systems—Maps and Nested Maps , 1997, GeoInformatica.

[25]  Karl-Heinz Häfele,et al.  OGC City Geography Markup Language (CityGML) Encoding Standard , 2012 .

[26]  Markus Schneider,et al.  A foundation for representing and querying moving objects , 2000, TODS.

[27]  Y. Arenas,et al.  Visualizing 3 D Projections of Higher Dimensional Polytopes : An Approach Linking Art and Computers , 2006 .

[28]  Michael F. Worboys,et al.  A Unified Model for Spatial and Temporal Information , 1994, Comput. J..

[29]  J. Stoter,et al.  Modeling a 3 D City Model and Its Levels of Detail as a True 4 D Model , 2015 .

[30]  P. V. Oosterom,et al.  THE SPACE-SCALE CUBE: AN INTEGRATED MODEL FOR 2D POLYGONAL AREAS AND SCALE , 2011 .

[31]  Barbara P. Buttenfield,et al.  Multiple Representations: Scientific Report for the Specialist Meeting on Initiative 3 (89-3) , 1989 .

[32]  Dana H. Ballard,et al.  Strip trees: a hierarchical representation for curves , 1981, CACM.

[33]  Serge Abiteboul,et al.  Update Propagation in the IFO Database Model , 1985, FODO.

[34]  Roger Crawfis,et al.  Isosurfacing in higher dimensions , 2000, Proceedings Visualization 2000. VIS 2000 (Cat. No.00CH37145).

[35]  P. V. Oosterom Variable-scale Topological Data Structures Suitable for Progressive Data Transfer: The GAP- face Tree and GAP-edge Forest , 2005 .

[36]  H. Masuda Topological operators and Boolean operations for complex-based nonmanifold geometric models , 1993, Comput. Aided Des..

[37]  Torsten Hägerstraand WHAT ABOUT PEOPLE IN REGIONAL SCIENCE , 1970 .

[38]  Steven K. Feiner,et al.  Visualizing n-dimensional virtual worlds with n-vision , 1990, I3D '90.

[39]  Willi-Hans Steeb,et al.  The Nonlinear Workbook , 2005 .

[40]  T. Hamre,et al.  A 4D marine data model: Design and application in ice monitoring , 1997 .

[41]  Sargur N. Srihari,et al.  A hierarchical data structure for multidimensional digital images , 1983, CACM.

[42]  Thomas Davide P. Banchoff,et al.  Illustrating Beyond the Third Dimension , 1993 .

[43]  Monica Wachowicz,et al.  Towards temporality in GIS , 1994 .

[44]  J. Stoter,et al.  Modelling a 3 D citymodel and its levels of detail as a true 4 Dmodel , 2015 .

[45]  Martijn Meijers,et al.  Variable-scale Geo-information , 2011 .

[46]  Kritika Mishra,et al.  Object-Oriented Data Modelling for Spatial Databases , 2016 .

[47]  Norbert Paul Signed Simplicial Decomposition and Overlay of n-D Polytope Complexes , 2012, ArXiv.

[48]  Steven Feiner,et al.  Real-time 4D animation on a 3D graphics workstation , 1989 .

[49]  Christian S. Jensen,et al.  Object-relational management of multiply represented geographic entities , 2003, 15th International Conference on Scientific and Statistical Database Management, 2003..

[50]  Andrew J. Hanson,et al.  Geometry for N-Dimensional Graphics , 1994, Graphics Gems.

[51]  G.A.K. Arroyo Ohori,et al.  Storing a 3d City Model, its Levels of Detail and the Correspondences Between Objects as a 4d Combinatorial Map , 2015 .

[52]  Michel Scholl,et al.  Multi-Scale Partitions: Application to Spatial and Statistical Databases , 1995, SSD.

[53]  Andrew U. Frank Four-Dimensional Representation in Human Cognition and Difficulties with Demonstrations: A Commentary on Wang , 2014, Spatial Cogn. Comput..

[54]  H. Poincaré,et al.  On Analysis Situs , 2010 .

[55]  A. Elduque VECTOR CROSS PRODUCTS , 2005 .

[56]  Carine Grasset-Simon,et al.  nD generalized map pyramids: Definition, representations and basic operations , 2006, Pattern Recognit..

[57]  Nicholas Chrisman,et al.  Cartographic Data Structures , 1975 .

[58]  Thomas Banchoff Beyond the Third Dimension: Geometry, Computer Graphics, and Higher Dimensions , 1990 .

[59]  J. Lense Über die Hypothesen, welche der Geometrie zu Grunde liegen , 1922 .

[60]  Chi-Wing Fu,et al.  GL 4 D : A GPU-based Architecture for Interactive 4 D Visualization , 2013 .

[61]  Waldemar Celes Filho,et al.  A topological data structure for hierarchical planar subdivisions , 1995 .

[62]  Extension of a boundary representation technique for the description of N dimensional polytopes , 1989, Comput. Graph..

[63]  Niels Jørgen Christensen,et al.  A model for n-dimensional boundary topology , 1993, Solid Modeling and Applications.

[64]  C. Hinton A New Era of Thought , .

[65]  D. Peuquet It's About Time: A Conceptual Framework for the Representation of Temporal Dynamics in Geographic Information Systems , 1994 .

[66]  A. Requicha CONSTRUCTIVE SOLID GEOMETRY , 1977 .

[67]  Chi-Wing Fu,et al.  GL4D: A GPU-based Architecture for Interactive 4D Visualization , 2009, IEEE Transactions on Visualization and Computer Graphics.

[68]  Peter van Oosterom,et al.  Vario-scale data structures supporting smooth zoom and progressive transfer of 2D and 3D data , 2014, Int. J. Geogr. Inf. Sci..

[69]  M. Kada GENERALISATION OF 3 D BUILDING MODELS BY CELL DECOMPOSITION AND PRIMITIVE INSTANCING , 2007 .

[70]  Erik Brisson,et al.  Representing geometric structures in d dimensions: topology and order , 1989, SCG '89.

[71]  W. Massey Cross products of vectors in higher dimensional euclidean spaces , 1983 .

[72]  David E. Muller,et al.  Finding the Intersection of two Convex Polyhedra , 1978, Theor. Comput. Sci..

[73]  Marc P. Armstrong,et al.  Temporality in Spatial Databases , 1988 .

[74]  Gregory M. Nielson,et al.  Practical Techniques For Producing 3D Graphical Images , 1992 .

[75]  David Banks,et al.  Interactive manipulation and display of surfaces in four dimensions , 1992, I3D '92.