DeepAI AI Chat
Log In Sign Up

Topological Universality of the Art Gallery Problem

by   Jack Stade, et al.

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.


Topological Art in Simple Galleries

Let P be a simple polygon, then the art gallery problem is looking for a...

On the commutativity of the powerspace constructions

We investigate powerspace constructions on topological spaces, with a pa...

Cut Locus Realizations on Convex Polyhedra

We prove that every positively-weighted tree T can be realized as the cu...

Topological Drawings meet Classical Theorems from Convex Geometry

In this article we discuss classical theorems from Convex Geometry in th...

Substitutive structure of Jeandel-Rao aperiodic tilings

We describe the substitutive structure of Jeandel-Rao aperiodic Wang til...

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 ℱ...