Fractal Dimension and Lower Bounds for Geometric Problems

Abstract

We study the complexity of geometric problems on spaces of low fractal dimension. It was recently shown in Sidiropoulos and Sridhar (33rd International Symposium on Computational Geometry (Brisbane 2017). Leibniz Int. Proc. Inform., vol. 77, # 58. Leibniz-Zent. Inform., Wadern, 2017) that several problems admit improved solutions when the input is a pointset in Euclidean space with fractal dimension smaller than the ambient dimension. In this paper we prove nearly-matching lower bounds, thus establishing nearly-optimal bounds for various problems as a function of the fractal dimension. More specifically, we show that for any integer $$d > 1$$ , any $$\delta \in (1,d)$$ , and any $$n \in {\mathbb {N}}$$ , there exists a set X of n points in $${\mathbb {R}}^{d}$$ , with fractal dimension $$\delta $$ such that for any $$\varepsilon > 0$$ and $$c \ge 1$$ , any c-spanner of X has treewidth $$\Omega ( n^{1-1/(\delta - \epsilon )}/c^{d-1} )$$ . This lower bound matches the previous upper bound. The construction used to prove this lower bound on the treewidth of spanners, can also be used to derive lower bounds on the running time of algorithms for various problems, assuming the Exponential Time Hypothesis. We provide two prototypical results of this type: The above results nearly match previously known upper bounds from [op. cit.], and generalize analogous lower bounds for the case of ambient dimension due to Marx and Sidiropoulos (30th Annual Symposium on Computational Geometry (Kyoto 2014), pp. 67–76. ACM, New York, 2014).