Topological Universality of the Art Gallery Problem

02/22/2022
by   Jack Stade, et al.
0

We prove that any compact semi-algebraic set is homeomorphic to the solution space of some art gallery problem. Previous works have established similar universality theorems, but holding only up to homotopy equivalence, rather than homeomorphism, and prior to this work, the existence of art galleries even for simple spaces such as the Möbius strip or the three-holed torus were unknown. Our construction relies on an elegant and versatile gadget to copy guard positions with minimal overhead, and is thus simpler than previous constructions, consisting of a single rectangular room with convex slits cut out from the edges. We additionally show that both the orientable and non-orientable surfaces of genus n require galleries with only O(n) vertices.

READ FULL TEXT
research
08/09/2021

Topological Art in Simple Galleries

Let P be a simple polygon, then the art gallery problem is looking for a...
research
09/19/2017

On the commutativity of the powerspace constructions

We investigate powerspace constructions on topological spaces, with a pa...
research
02/22/2021

Cut Locus Realizations on Convex Polyhedra

We prove that every positively-weighted tree T can be realized as the cu...
research
05/26/2020

Topological Drawings meet Classical Theorems from Convex Geometry

In this article we discuss classical theorems from Convex Geometry in th...
research
08/23/2018

Substitutive structure of Jeandel-Rao aperiodic tilings

We describe the substitutive structure of Jeandel-Rao aperiodic Wang til...
research
10/08/2020

Isometric and affine copies of a set in volumetric Helly results

We show that for any compact convex set K in ℝ^d and any finite family ℱ...

Please sign up or login with your details

Forgot password? Click here to reset