-
Barking dogs: A Fréchet distance variant for detour detection
Authors:
Ivor van der Hoog,
Fabian Klute,
Irene Parada,
Patrick Schnider
Abstract:
Imagine you are a dog behind a fence $Q$ and a hiker is passing by at constant speed along the hiking path $P$. In order to fulfil your duties as a watchdog, you desire to bark as long as possible at the human. However, your barks can only be heard in a fixed radius $ρ$ and, as a dog, you have bounded speed $s$. Can you optimize your route along the fence $Q$ in order to maximize the barking time…
▽ More
Imagine you are a dog behind a fence $Q$ and a hiker is passing by at constant speed along the hiking path $P$. In order to fulfil your duties as a watchdog, you desire to bark as long as possible at the human. However, your barks can only be heard in a fixed radius $ρ$ and, as a dog, you have bounded speed $s$. Can you optimize your route along the fence $Q$ in order to maximize the barking time with radius $ρ$, assuming you can run backwards and forward at speed at most $s$?
We define the barking distance from a polyline $P$ on $n$ vertices to a polyline $Q$ on $m$ vertices as the time that the hiker stays in your barking radius if you run optimally along $Q$. This asymmetric similarity measure between two curves can be used to detect outliers in $Q$ compared to $P$ that other established measures like the Fréchet distance and Dynamic Time War** fail to capture at times. We consider this measure in three different settings. In the discrete setting, the traversals of $P$ and $Q$ are both discrete. For this case we show that the barking distance from $P$ to $Q$ can be computed in $O(nm\log s)$ time. In the semi-discrete setting, the traversal of $Q$ is continuous while the one of $P$ is again discrete. Here, we show how to compute the barking distance in time $O(nm\log (nm))$. Finally, in the continuous setting in which both traversals are continuous, we show that the problem can be solved in polynomial time. For all the settings we show that, assuming SETH, no truly subquadratic algorithm can exist.
△ Less
Submitted 20 February, 2024;
originally announced February 2024.
-
Computing Enclosing Depth
Authors:
Bernd Gärtner,
Fatime Rasiti,
Patrick Schnider
Abstract:
Enclosing depth is a recently introduced depth measure which gives a lower bound to many depth measures studied in the literature. So far, enclosing depth has only been studied from a combinatorial perspective. In this work, we give the first algorithms to compute the enclosing depth of a query point with respect to a data point set in any dimension. In the plane we are able to optimize the algori…
▽ More
Enclosing depth is a recently introduced depth measure which gives a lower bound to many depth measures studied in the literature. So far, enclosing depth has only been studied from a combinatorial perspective. In this work, we give the first algorithms to compute the enclosing depth of a query point with respect to a data point set in any dimension. In the plane we are able to optimize the algorithm to get a runtime of O(n log n). In constant dimension, our algorithms still run in polynomial time.
△ Less
Submitted 19 February, 2024;
originally announced February 2024.
-
Two Choices are Enough for P-LCPs, USOs, and Colorful Tangents
Authors:
Michaela Borzechowski,
John Fearnley,
Spencer Gordon,
Rahul Savani,
Patrick Schnider,
Simon Weber
Abstract:
We provide polynomial-time reductions between three search problems from three distinct areas: the P-matrix linear complementarity problem (P-LCP), finding the sink of a unique sink orientation (USO), and a variant of the $α$-Ham Sandwich problem. For all three settings, we show that "two choices are enough", meaning that the general non-binary version of the problem can be reduced in polynomial t…
▽ More
We provide polynomial-time reductions between three search problems from three distinct areas: the P-matrix linear complementarity problem (P-LCP), finding the sink of a unique sink orientation (USO), and a variant of the $α$-Ham Sandwich problem. For all three settings, we show that "two choices are enough", meaning that the general non-binary version of the problem can be reduced in polynomial time to the binary version. This specifically means that generalized P-LCPs are equivalent to P-LCPs, and grid USOs are equivalent to cube USOs. These results are obtained by showing that both the P-LCP and our $α$-Ham Sandwich variant are equivalent to a new problem we introduce, P-Lin-Bellman. This problem can be seen as a new tool for formulating problems as P-LCPs.
△ Less
Submitted 21 May, 2024; v1 submitted 12 February, 2024;
originally announced February 2024.
-
A Topological Version of Schaefer's Dichotomy Theorem
Authors:
Patrick Schnider,
Simon Weber
Abstract:
Schaefer's dichotomy theorem [Schaefer, STOC'78] states that a boolean constraint satisfaction problem (CSP) is polynomial-time solvable if one of six given conditions holds for every type of constraint allowed in its instances. Otherwise, it is NP-complete. In this paper, we analyze boolean CSPs in terms of their topological complexity, instead of their computational complexity. We attach a natur…
▽ More
Schaefer's dichotomy theorem [Schaefer, STOC'78] states that a boolean constraint satisfaction problem (CSP) is polynomial-time solvable if one of six given conditions holds for every type of constraint allowed in its instances. Otherwise, it is NP-complete. In this paper, we analyze boolean CSPs in terms of their topological complexity, instead of their computational complexity. We attach a natural topological space to the set of solutions of a boolean CSP and introduce the notion of projection-universality. We prove that a boolean CSP is projection-universal if and only if it is categorized as NP-complete by Schaefer's dichotomy theorem, showing that the dichotomy translates exactly from computational to topological complexity. We show a similar dichotomy for SAT variants and homotopy-universality.
△ Less
Submitted 7 July, 2023;
originally announced July 2023.
-
An FPT Algorithm for Splitting a Necklace Among Two Thieves
Authors:
Michaela Borzechowski,
Patrick Schnider,
Simon Weber
Abstract:
It is well-known that the 2-Thief-Necklace-Splitting problem reduces to the discrete Ham Sandwich problem. In fact, this reduction was crucial in the proof of the PPA-completeness of the Ham Sandwich problem [Filos-Ratsikas and Goldberg, STOC'19]. Recently, a variant of the Ham Sandwich problem called $α$-Ham Sandwich has been studied, in which the point sets are guaranteed to be well-separated [S…
▽ More
It is well-known that the 2-Thief-Necklace-Splitting problem reduces to the discrete Ham Sandwich problem. In fact, this reduction was crucial in the proof of the PPA-completeness of the Ham Sandwich problem [Filos-Ratsikas and Goldberg, STOC'19]. Recently, a variant of the Ham Sandwich problem called $α$-Ham Sandwich has been studied, in which the point sets are guaranteed to be well-separated [Steiger and Zhao, DCG'10]. The complexity of this search problem remains unknown, but it is known to lie in the complexity class UEOPL [Chiu, Choudhary and Mulzer, ICALP'20]. We define the analogue of this well-separability condition in the necklace splitting problem -- a necklace is $n$-separable, if every subset $A$ of the $n$ types of jewels can be separated from the types $[n]\setminus A$ by at most $n$ separator points. By the reduction to the Ham Sandwich problem it follows that this version of necklace splitting has a unique solution.
We furthermore provide two FPT algorithms: The first FPT algorithm solves 2-Thief-Necklace-Splitting on $(n-1+\ell)$-separable necklaces with $n$ types of jewels and $m$ total jewels in time $2^{O(\ell\log\ell)}+m^2$. In particular, this shows that 2-Thief-Necklace-Splitting is polynomial-time solvable on $n$-separable necklaces. Thus, attempts to show hardness of $α$-Ham Sandwich through reduction from the 2-Thief-Necklace-Splitting problem cannot work. The second FPT algorithm tests $(n-1+\ell)$-separability of a given necklace with $n$ types of jewels in time $2^{O(\ell^2)}\cdot n^4$. In particular, $n$-separability can thus be tested in polynomial time, even though testing well-separation of point sets is coNP-complete [Bergold et al., SWAT'22].
△ Less
Submitted 26 June, 2023;
originally announced June 2023.
-
Decomposition of Geometric Graphs into Star Forests
Authors:
János Pach,
Morteza Saghafian,
Patrick Schnider
Abstract:
We solve a problem of Dujmović and Wood (2007) by showing that a complete convex geometric graph on $n$ vertices cannot be decomposed into fewer than $n-1$ star-forests, each consisting of noncrossing edges. This bound is clearly tight. We also discuss similar questions for abstract graphs.
We solve a problem of Dujmović and Wood (2007) by showing that a complete convex geometric graph on $n$ vertices cannot be decomposed into fewer than $n-1$ star-forests, each consisting of noncrossing edges. This bound is clearly tight. We also discuss similar questions for abstract graphs.
△ Less
Submitted 25 August, 2023; v1 submitted 22 June, 2023;
originally announced June 2023.
-
On the Complexity of Recognizing Nerves of Convex Sets
Authors:
Patrick Schnider,
Simon Weber
Abstract:
We study the problem of recognizing whether a given abstract simplicial complex $K$ is the $k$-skeleton of the nerve of $j$-dimensional convex sets in $\mathbb{R}^d$. We denote this problem by $R(k,j,d)$. As a main contribution, we unify the results of many previous works under this framework and show that many of these works in fact imply stronger results than explicitly stated. This allows us to…
▽ More
We study the problem of recognizing whether a given abstract simplicial complex $K$ is the $k$-skeleton of the nerve of $j$-dimensional convex sets in $\mathbb{R}^d$. We denote this problem by $R(k,j,d)$. As a main contribution, we unify the results of many previous works under this framework and show that many of these works in fact imply stronger results than explicitly stated. This allows us to settle the complexity status of $R(1,j,d)$, which is equivalent to the problem of recognizing intersection graphs of $j$-dimensional convex sets in $\mathbb{R}^d$, for any $j$ and $d$. Furthermore, we point out some trivial cases of $R(k,j,d)$, and demonstrate that $R(k,j,d)$ is ER-complete for $j\in\{d-1,d\}$ and $k\geq d$.
△ Less
Submitted 26 February, 2023;
originally announced February 2023.
-
Combinatorial Depth Measures for Hyperplane Arrangements
Authors:
Patrick Schnider,
Pablo Soberón
Abstract:
Regression depth, introduced by Rousseeuw and Hubert in 1999, is a notion that measures how good of a regression hyperplane a given query hyperplane is with respect to a set of data points. Under projective duality, this can be interpreted as a depth measure for query points with respect to an arrangement of data hyperplanes. The study of depth measures for query points with respect to a set of da…
▽ More
Regression depth, introduced by Rousseeuw and Hubert in 1999, is a notion that measures how good of a regression hyperplane a given query hyperplane is with respect to a set of data points. Under projective duality, this can be interpreted as a depth measure for query points with respect to an arrangement of data hyperplanes. The study of depth measures for query points with respect to a set of data points has a long history, and many such depth measures have natural counterparts in the setting of hyperplane arrangements. For example, regression depth is the counterpart of Tukey depth. Motivated by this, we study general families of depth measures for hyperplane arrangements and show that all of them must have a deep point. Along the way we prove a Tverberg-type theorem for hyperplane arrangements, giving a positive answer to a conjecture by Rousseeuw and Hubert from 1999. We also get three new proofs of the centerpoint theorem for regression depth, all of which are either stronger or more general than the original proof by Amenta, Bern, Eppstein, and Teng. Finally, we prove a version of the center transversal theorem for regression depth.
△ Less
Submitted 15 February, 2023;
originally announced February 2023.
-
Well-Separation and Hyperplane Transversals in High Dimensions
Authors:
Helena Bergold,
Daniel Bertschinger,
Nicolas Grelier,
Wolfgang Mulzer,
Patrick Schnider
Abstract:
A family of $k$ point sets in $d$ dimensions is well-separated if the convex hulls of any two disjoint subfamilies can be separated by a hyperplane. Well-separation is a strong assumption that allows us to conclude that certain kinds of generalized ham-sandwich cuts for the point sets exist. But how hard is it to check if a given family of high-dimensional point sets has this property? Starting fr…
▽ More
A family of $k$ point sets in $d$ dimensions is well-separated if the convex hulls of any two disjoint subfamilies can be separated by a hyperplane. Well-separation is a strong assumption that allows us to conclude that certain kinds of generalized ham-sandwich cuts for the point sets exist. But how hard is it to check if a given family of high-dimensional point sets has this property? Starting from this question, we study several algorithmic aspects of the existence of transversals and separations in high-dimensions.
First, we give an explicit proof that $k$ point sets are well-separated if and only if their convex hulls admit no $(k - 2)$-transversal, i.e., if there exists no $(k - 2)$-dimensional flat that intersects the convex hulls of all $k$ sets. It follows that the task of checking well-separation lies in the complexity class coNP. Next, we show that it is NP-hard to decide whether there is a hyperplane-transversal (that is, a $(d - 1)$-transversal) of a family of $d + 1$ line segments in $\mathbb{R}^d$, where $d$ is part of the input. As a consequence, it follows that the general problem of testing well-separation is coNP-complete. Furthermore, we show that finding a hyperplane that maximizes the number of intersected sets is NP-hard, but allows for an $Ω\left(\frac{\log k}{k \log \log k}\right)$-approximation algorithm that is polynomial in $d$ and $k$, when each set consists of a single point. When all point sets are finite, we show that checking whether there exists a $(k - 2)$-transversal is in fact strongly NP-complete.
△ Less
Submitted 6 September, 2022;
originally announced September 2022.
-
Edge Partitions of Complete Geometric Graphs (Part 2)
Authors:
Oswin Aichholzer,
Johannes Obenaus,
Joachim Orthaber,
Rosna Paul,
Patrick Schnider,
Raphael Steiner,
Tim Taubner,
Birgit Vogtenhuber
Abstract:
Recently, the second and third author showed that complete geometric graphs on $2n$ vertices in general cannot be partitioned into $n$ plane spanning trees. Building up on this work, in this paper, we initiate the study of partitioning into beyond planar subgraphs, namely into $k$-planar and $k$-quasi-planar subgraphs and obtain first bounds on the number of subgraphs required in this setting.
Recently, the second and third author showed that complete geometric graphs on $2n$ vertices in general cannot be partitioned into $n$ plane spanning trees. Building up on this work, in this paper, we initiate the study of partitioning into beyond planar subgraphs, namely into $k$-planar and $k$-quasi-planar subgraphs and obtain first bounds on the number of subgraphs required in this setting.
△ Less
Submitted 15 December, 2021;
originally announced December 2021.
-
The complexity of sharing a pizza
Authors:
Patrick Schnider
Abstract:
Assume you have a 2-dimensional pizza with $2n$ ingredients that you want to share with your friend. For this you are allowed to cut the pizza using several straight cuts, and then give every second piece to your friend. You want to do this fairly, that is, your friend and you should each get exactly half of each ingredient. How many cuts do you need?
It was recently shown using topological meth…
▽ More
Assume you have a 2-dimensional pizza with $2n$ ingredients that you want to share with your friend. For this you are allowed to cut the pizza using several straight cuts, and then give every second piece to your friend. You want to do this fairly, that is, your friend and you should each get exactly half of each ingredient. How many cuts do you need?
It was recently shown using topological methods that $n$ cuts always suffice. In this work, we study the computational complexity of finding such $n$ cuts. Our main result is that this problem is PPA-complete when the ingredients are represented as point sets. For this, we give a new proof that for point sets $n$ cuts suffice, which does not use any topological methods.
We further prove several hardness results as well as a higher-dimensional variant for the case where the ingredients are well-separated.
△ Less
Submitted 14 September, 2021;
originally announced September 2021.
-
Topological Art in Simple Galleries
Authors:
Daniel Bertschinger,
Nicolas El Maalouly,
Tillmann Miltzow,
Patrick Schnider,
Simon Weber
Abstract:
Let $P$ be a simple polygon, then the art gallery problem is looking for a minimum set of points (guards) that can see every point in $P$. We say two points $a,b\in P$ can see each other if the line segment $seg(a,b)$ is contained in $P$. We denote by $V(P)$ the family of all minimum guard placements. The Hausdorff distance makes $V(P)$ a metric space and thus a topological space. We show homotopy…
▽ More
Let $P$ be a simple polygon, then the art gallery problem is looking for a minimum set of points (guards) that can see every point in $P$. We say two points $a,b\in P$ can see each other if the line segment $seg(a,b)$ is contained in $P$. We denote by $V(P)$ the family of all minimum guard placements. The Hausdorff distance makes $V(P)$ a metric space and thus a topological space. We show homotopy-universality, that is for every semi-algebraic set $S$ there is a polygon $P$ such that $V(P)$ is homotopy equivalent to $S$.
Furthermore, for various concrete topological spaces $T$, we describe instances $I$ of the art gallery problem such that $V(I)$ is homeomorphic to $T$.
△ Less
Submitted 30 May, 2023; v1 submitted 9 August, 2021;
originally announced August 2021.
-
Tukey Depth Histograms
Authors:
Daniel Bertschinger,
Jonas Passweg,
Patrick Schnider
Abstract:
The Tukey depth of a flat with respect to a point set is a concept that appears in many areas of discrete and computational geometry. In particular, the study of centerpoints, center transversals, Ham Sandwich cuts, or $k$-edges can all be phrased in terms of depths of certain flats with respect to one or more point sets. In this work, we introduce the Tukey depth histogram of $k$-flats in…
▽ More
The Tukey depth of a flat with respect to a point set is a concept that appears in many areas of discrete and computational geometry. In particular, the study of centerpoints, center transversals, Ham Sandwich cuts, or $k$-edges can all be phrased in terms of depths of certain flats with respect to one or more point sets. In this work, we introduce the Tukey depth histogram of $k$-flats in $\mathbb{R}^d$ with respect to a point set $P$, which is a vector $D^{k,d}(P)$, whose $i$'th entry $D^{k,d}_i(P)$ denotes the number of $k$-flats spanned by $k+1$ points of $P$ that have Tukey depth $i$ with respect to $P$. As our main result, we give a complete characterization of the depth histograms of points, that is, for any dimension $d$ we give a description of all possible histograms $D^{0,d}(P)$. This then allows us to compute the exact number of possible such histograms.
△ Less
Submitted 15 March, 2021;
originally announced March 2021.
-
Enclosing Depth and other Depth Measures
Authors:
Patrick Schnider
Abstract:
We study families of depth measures defined by natural sets of axioms. We show that any such depth measure is a constant factor approximation of Tukey depth. We further investigate the dimensions of depth regions, showing that the Cascade conjecture, introduced by Kalai for Tverberg depth, holds for all depth measures which satisfy our most restrictive set of axioms, which includes Tukey depth. Al…
▽ More
We study families of depth measures defined by natural sets of axioms. We show that any such depth measure is a constant factor approximation of Tukey depth. We further investigate the dimensions of depth regions, showing that the Cascade conjecture, introduced by Kalai for Tverberg depth, holds for all depth measures which satisfy our most restrictive set of axioms, which includes Tukey depth. Along the way, we introduce and study a new depth measure called enclosing depth, which we believe to be of independent interest, and show its relation to a constant-fraction Radon theorem on certain two-colored point sets.
△ Less
Submitted 10 August, 2022; v1 submitted 15 March, 2021;
originally announced March 2021.
-
Weighted Epsilon-Nets
Authors:
Daniel Bertschinger,
Patrick Schnider
Abstract:
Motivated by recent work of Bukh and Nivasch on one-sided $\varepsilon$-approximants, we introduce the notion of \emph{weighted $\varepsilon$-nets}. It is a geometric notion of approximation for point sets in $\mathbb{R}^d$ similar to $\varepsilon$-nets and $\varepsilon$-approximations, where it is stronger than the former and weaker than the latter. The main idea is that small sets can contain ma…
▽ More
Motivated by recent work of Bukh and Nivasch on one-sided $\varepsilon$-approximants, we introduce the notion of \emph{weighted $\varepsilon$-nets}. It is a geometric notion of approximation for point sets in $\mathbb{R}^d$ similar to $\varepsilon$-nets and $\varepsilon$-approximations, where it is stronger than the former and weaker than the latter. The main idea is that small sets can contain many points, whereas large sets must contain many points of the weighted $\varepsilon$-net.
In this paper, we analyze weak weighted $\varepsilon$-nets with respect to convex sets and axis-parallel boxes and give upper and lower bounds on $\varepsilon$ for weighted $\varepsilon$-nets of size two and three. Some of these bounds apply to classical $\varepsilon$-nets as well.
△ Less
Submitted 20 February, 2020;
originally announced February 2020.
-
Efficiently stabbing convex polygons and variants of the Hadwiger-Debrunner $(p, q)$-theorem
Authors:
Justin Dallant,
Patrick Schnider
Abstract:
Hadwiger and Debrunner showed that for families of convex sets in $\mathbb{R}^d$ with the property that among any $p$ of them some $q$ have a common point, the whole family can be stabbed with $p-q+1$ points if $p \geq q \geq d+1$ and $(d-1)p < d(q-1)$. This generalizes a classical result by Helly. We show how such a stabbing set can be computed for a family of convex polygons in the plane with a…
▽ More
Hadwiger and Debrunner showed that for families of convex sets in $\mathbb{R}^d$ with the property that among any $p$ of them some $q$ have a common point, the whole family can be stabbed with $p-q+1$ points if $p \geq q \geq d+1$ and $(d-1)p < d(q-1)$. This generalizes a classical result by Helly. We show how such a stabbing set can be computed for a family of convex polygons in the plane with a total of $n$ vertices in $O((p-q+1)n^{4/3}\log^{8} n(\log\log n)^{1/3} + np^2)$ expected time. For polyhedra in $\mathbb{R}^3$, we get an algorithm running in $O((p-q+1)n^{5/2}\log^{10} n(\log\log n)^{1/6} + np^3)$ expected time. We also investigate other conditions on convex polygons for which our algorithm can find a fixed number of points stabbing them. Finally, we show that analogous results of the Hadwiger and Debrunner $(p,q)$-theorem hold in other settings, such as convex sets in $\mathbb{R}^d\times\mathbb{Z}^k$ or abstract convex geometries.
△ Less
Submitted 16 February, 2021; v1 submitted 17 February, 2020;
originally announced February 2020.
-
Arrangements of Approaching Pseudo-Lines
Authors:
Stefan Felsner,
Alexander Pilz,
Patrick Schnider
Abstract:
We consider arrangements of $n$ pseudo-lines in the Euclidean plane where each pseudo-line $\ell_i$ is represented by a bi-infinite connected $x$-monotone curve $f_i(x)$, $x \in \mathbb{R}$, s.t.\ for any two pseudo-lines $\ell_i$ and $\ell_j$ with $i < j$, the function $x \mapsto f_j(x) - f_i(x)$ is monotonically decreasing and surjective (i.e., the pseudo-lines approach each other until they cro…
▽ More
We consider arrangements of $n$ pseudo-lines in the Euclidean plane where each pseudo-line $\ell_i$ is represented by a bi-infinite connected $x$-monotone curve $f_i(x)$, $x \in \mathbb{R}$, s.t.\ for any two pseudo-lines $\ell_i$ and $\ell_j$ with $i < j$, the function $x \mapsto f_j(x) - f_i(x)$ is monotonically decreasing and surjective (i.e., the pseudo-lines approach each other until they cross, and then move away from each other). We show that such \emph{arrangements of approaching pseudo-lines}, under some aspects, behave similar to arrangements of lines, while for other aspects, they share the freedom of general pseudo-line arrangements.
For the former, we prove: 1. There are arrangements of pseudo-lines that are not realizable with approaching pseudo-lines. 2. Every arrangement of approaching pseudo-lines has a dual generalized configuration of points with an underlying arrangement of approaching pseudo-lines.
For the latter, we show: 1. There are $2^{Θ(n^2)}$ isomorphism classes of arrangements of approaching pseudo-lines (while there are only $2^{Θ(n \log n)}$ isomorphism classes of line arrangements). 2. It can be decided in polynomial time whether an allowable sequence is realizable by an arrangement of approaching pseudo-lines.
Furthermore, arrangements of approaching pseudo-lines can be transformed into each other by flip** triangular cells, i.e., they have a connected flip graph, and every bichromatic arrangement of this type contains a bichromatic triangular cell.
△ Less
Submitted 23 January, 2020;
originally announced January 2020.
-
On the Average Complexity of the $k$-Level
Authors:
Man-Kwun Chiu,
Stefan Felsner,
Manfred Scheucher,
Patrick Schnider,
Raphael Steiner,
Pavel Valtr
Abstract:
Let ${\cal L}$ be an arrangement of $n$ lines in the Euclidean plane. The \emph{$k$-level} of ${\cal L}$ consists of all vertices $v$ of the arrangement which have exactly $k$ lines of ${\cal L}$ passing below $v$. The complexity (the maximum size) of the $k$-level in a line arrangement has been widely studied. In 1998 Dey proved an upper bound of $O(n\cdot (k+1)^{1/3})$. Due to the correspondence…
▽ More
Let ${\cal L}$ be an arrangement of $n$ lines in the Euclidean plane. The \emph{$k$-level} of ${\cal L}$ consists of all vertices $v$ of the arrangement which have exactly $k$ lines of ${\cal L}$ passing below $v$. The complexity (the maximum size) of the $k$-level in a line arrangement has been widely studied. In 1998 Dey proved an upper bound of $O(n\cdot (k+1)^{1/3})$. Due to the correspondence between lines in the plane and great-circles on the sphere, the asymptotic bounds carry over to arrangements of great-circles on the sphere, where the $k$-level denotes the vertices at distance at most $k$ to a marked cell, the \emph{south pole}.
We prove an upper bound of $O((k+1)^2)$ on the expected complexity of the $k$-level in great-circle arrangements if the south pole is chosen uniformly at random among all cells.
We also consider arrangements of great $(d-1)$-spheres on the sphere $\mathbb{S}^d$ which are orthogonal to a set of random points on $\mathbb{S}^d$. In this model, we prove that the expected complexity of the $k$-level is of order $Θ((k+1)^{d-1})$.
△ Less
Submitted 9 March, 2020; v1 submitted 6 November, 2019;
originally announced November 2019.
-
Equipartitions with Wedges and Cones
Authors:
Patrick Schnider
Abstract:
A famous result about mass partitions is the so called \emph{Ham-Sandwich theorem}. It states that any $d$ mass distributions in $\mathbb{R}^d$ can be simultaneously bisected by a single hyperplane. In this work, we study two related questions.
The first one is how many masses we can simultaneously partition with a $k$-fan, that is, $k$ half-hyperplanes in $\mathbb{R}^d$, emanating from a common…
▽ More
A famous result about mass partitions is the so called \emph{Ham-Sandwich theorem}. It states that any $d$ mass distributions in $\mathbb{R}^d$ can be simultaneously bisected by a single hyperplane. In this work, we study two related questions.
The first one is how many masses we can simultaneously partition with a $k$-fan, that is, $k$ half-hyperplanes in $\mathbb{R}^d$, emanating from a common $(d-2)$-dimensional apex. This question was extensively studied in the plane, but in higher dimensions the only known results are for the case where $k$ is an odd prime. We extend these results to a larger family of values of $k$. We further present a new result for $k=2$, which generalizes to cones.
The second question considers bisections with double wedges or, equivalently, Ham-Sandwich cuts after projective transformations. Here we prove that given $d$ families of $d+1$ point sets each, there is always a projective transformation such that after the transformation, each family has a Ham-Sandwich cut. We further prove a result on partitions with parallel hyperplanes after a projective transformation.
△ Less
Submitted 27 October, 2020; v1 submitted 29 October, 2019;
originally announced October 2019.
-
Bisecting three classes of lines
Authors:
Alexander Pilz,
Patrick Schnider
Abstract:
We consider the following problem: Let $\mathcal{L}$ be an arrangement of $n$ lines in $\mathbb{R}^3$ colored red, green, and blue. Does there exist a vertical plane $P$ such that a line on $P$ simultaneously bisects all three classes of points in the cross-section $\mathcal{L} \cap P$? Recently, Schnider [SoCG 2019] used topological methods to prove that such a cross-section always exists. In thi…
▽ More
We consider the following problem: Let $\mathcal{L}$ be an arrangement of $n$ lines in $\mathbb{R}^3$ colored red, green, and blue. Does there exist a vertical plane $P$ such that a line on $P$ simultaneously bisects all three classes of points in the cross-section $\mathcal{L} \cap P$? Recently, Schnider [SoCG 2019] used topological methods to prove that such a cross-section always exists. In this work, we give an alternative proof of this fact, using only methods from discrete geometry. With this combinatorial proof at hand, we devise an $O(n^2\log^2(n))$ time algorithm to find such a plane and the bisector of the induced cross-section. We do this by providing a general framework, from which we expect that it can be applied to solve similar problems on cross-sections and kinetic points.
△ Less
Submitted 10 September, 2019;
originally announced September 2019.
-
Sharing a pizza: bisecting masses with two cuts
Authors:
Luis Barba,
Alexander Pilz,
Patrick Schnider
Abstract:
Assume you have a pizza consisting of four ingredients (e.g., bread, tomatoes, cheese and olives) that you want to share with your friend. You want to do this fairly, meaning that you and your friend should get the same amount of each ingredient. How many times do you need to cut the pizza so that this is possible? We will show that two straight cuts always suffice. More formally, we will show the…
▽ More
Assume you have a pizza consisting of four ingredients (e.g., bread, tomatoes, cheese and olives) that you want to share with your friend. You want to do this fairly, meaning that you and your friend should get the same amount of each ingredient. How many times do you need to cut the pizza so that this is possible? We will show that two straight cuts always suffice. More formally, we will show the following extension of the well-known Ham-sandwich theorem: Given four mass distributions in the plane, they can be simultaneously bisected with two lines. That is, there exist two oriented lines with the following property: let $R^+_1$ be the region of the plane that lies to the positive side of both lines and let $R^+_2$ be the region of the plane that lies to the negative side of both lines. Then $R^+=R^+_1\cup R^+_2$ contains exactly half of each mass distribution.
△ Less
Submitted 4 April, 2019;
originally announced April 2019.
-
Ham-Sandwich cuts and center transversals in subspaces
Authors:
Patrick Schnider
Abstract:
The Ham-Sandwich theorem is a well-known result in geometry. It states that any $d$ mass distributions in $\mathbb{R}^d$ can be simultaneously bisected by a hyperplane. The result is tight, that is, there are examples of $d+1$ mass distributions that cannot be simultaneously bisected by a single hyperplane. In this abstract we will study the following question: given a continuous assignment of mas…
▽ More
The Ham-Sandwich theorem is a well-known result in geometry. It states that any $d$ mass distributions in $\mathbb{R}^d$ can be simultaneously bisected by a hyperplane. The result is tight, that is, there are examples of $d+1$ mass distributions that cannot be simultaneously bisected by a single hyperplane. In this abstract we will study the following question: given a continuous assignment of mass distributions to certain subsets of $\mathbb{R}^d$, is there a subset on which we can bisect more masses than what is guaranteed by the Ham-Sandwich theorem?
We investigate two types of subsets. The first type are linear subspaces of $\mathbb{R}^d$, i.e., $k$-dimensional flats containing the origin. We show that for any continuous assignment of $d$ mass distributions to the $k$-dimensional linear subspaces of $\mathbb{R}^d$, there is always a subspace on which we can simultaneously bisect the images of all $d$ assignments. We extend this result to center transversals, a generalization of Ham-Sandwich cuts. As for Ham-Sandwich cuts, we further show that for $d-k+2$ masses, we can choose $k-1$ of the vectors defining the $k$-dimensional subspace in which the solution lies.
The second type of subsets we consider are subsets that are determined by families of $n$ hyperplanes in $\mathbb{R}^d$. Also in this case, we find a Ham-Sandwich-type result. In an attempt to solve a conjecture by Langerman about bisections with several cuts, we show that our underlying topological result can be used to prove this conjecture in a relaxed setting.
△ Less
Submitted 29 March, 2019;
originally announced March 2019.
-
Extending the centerpoint theorem to multiple points
Authors:
Alexander Pilz,
Patrick Schnider
Abstract:
The centerpoint theorem is a well-known and widely used result in discrete geometry. It states that for any point set $P$ of $n$ points in $\mathbb{R}^d$, there is a point $c$, not necessarily from $P$, such that each halfspace containing $c$ contains at least $\frac{n}{d+1}$ points of $P$. Such a point $c$ is called a centerpoint, and it can be viewed as a generalization of a median to higher dim…
▽ More
The centerpoint theorem is a well-known and widely used result in discrete geometry. It states that for any point set $P$ of $n$ points in $\mathbb{R}^d$, there is a point $c$, not necessarily from $P$, such that each halfspace containing $c$ contains at least $\frac{n}{d+1}$ points of $P$. Such a point $c$ is called a centerpoint, and it can be viewed as a generalization of a median to higher dimensions. In other words, a centerpoint can be interpreted as a good representative for the point set $P$. But what if we allow more than one representative? For example in one-dimensional data sets, often certain quantiles are chosen as representatives instead of the median. We present a possible extension of the concept of quantiles to higher dimensions. The idea is to find a set $Q$ of (few) points such that every halfspace that contains one point of $Q$ contains a large fraction of the points of $P$ and every halfspace that contains more of $Q$ contains an even larger fraction of $P$. This setting is comparable to the well-studied concepts of weak $\varepsilon$-nets and weak $\varepsilon$-approximations, where it is stronger than the former but weaker than the latter.
△ Less
Submitted 24 October, 2018;
originally announced October 2018.
-
The Partition Spanning Forest Problem
Authors:
Philipp Kindermann,
Boris Klemz,
Ignaz Rutter,
Patrick Schnider,
André Schulz
Abstract:
Given a set of colored points in the plane, we ask if there exists a crossing-free straight-line drawing of a spanning forest, such that every tree in the forest contains exactly the points of one color class. We show that the problem is NP-complete, even if every color class contains at most five points, but it is solvable in $O(n^2)$ time when each color class contains at most three points. If w…
▽ More
Given a set of colored points in the plane, we ask if there exists a crossing-free straight-line drawing of a spanning forest, such that every tree in the forest contains exactly the points of one color class. We show that the problem is NP-complete, even if every color class contains at most five points, but it is solvable in $O(n^2)$ time when each color class contains at most three points. If we require that the spanning forest is a linear forest, then the problem becomes NP-complete even if every color class contains at most four points.
△ Less
Submitted 7 September, 2018;
originally announced September 2018.
-
Even flying cops should think ahead
Authors:
Anders Martinsson,
Florian Meier,
Patrick Schnider,
Angelika Steger
Abstract:
We study the entanglement game, which is a version of cops and robbers, on sparse graphs. While the minimum degree of a graph G is a lower bound for the number of cops needed to catch a robber in G, we show that the required number of cops can be much larger, even for graphs with small maximum degree. In particular, we show that there are 3-regular graphs where a linear number of cops are needed.
We study the entanglement game, which is a version of cops and robbers, on sparse graphs. While the minimum degree of a graph G is a lower bound for the number of cops needed to catch a robber in G, we show that the required number of cops can be much larger, even for graphs with small maximum degree. In particular, we show that there are 3-regular graphs where a linear number of cops are needed.
△ Less
Submitted 22 January, 2018;
originally announced January 2018.
-
A generalization of crossing families
Authors:
Patrick Schnider
Abstract:
For a set of points in the plane, a \emph{crossing family} is a set of line segments, each joining two of the points, such that any two line segments cross. We investigate the following generalization of crossing families: a \emph{spoke set} is a set of lines drawn through a point set such that each unbounded region of the induced line arrangement contains at least one point of the point set. We s…
▽ More
For a set of points in the plane, a \emph{crossing family} is a set of line segments, each joining two of the points, such that any two line segments cross. We investigate the following generalization of crossing families: a \emph{spoke set} is a set of lines drawn through a point set such that each unbounded region of the induced line arrangement contains at least one point of the point set. We show that every point set has a spoke set of size $\sqrt{\frac{n}{8}}$. We also characterize the matchings obtained by selecting exactly one point in each unbounded region and connecting every such point to the point in the antipodal unbounded region.
△ Less
Submitted 24 February, 2017;
originally announced February 2017.