Source author record

Patrick Schnider

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Computational Geometry math.CO math.MG

Catalog footprint

Research overview

6works

3topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

Enclosing Depth and other Depth Measures

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.

preprint2021arXiv

Efficiently stabbing convex polygons and variants of the Hadwiger-Debrunner $(p, q)$ -theorem

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.

preprint2020arXiv

Arrangements of Approaching Pseudo-Lines

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 flipping triangular cells, i.e., they have a connected flip graph, and every bichromatic arrangement of this type contains a bichromatic triangular cell.

preprint2020arXiv

Equipartitions with Wedges and Cones

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.

preprint2020arXiv

On the Average Complexity of the $k$ -Level

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})$ .

preprint2020arXiv

Weighted Epsilon-Nets

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.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Patrick Schnider

Research overview

Is this your work?

6 publications

Enclosing Depth and other Depth Measures

Efficiently stabbing convex polygons and variants of the Hadwiger-Debrunner $(p, q)$ -theorem

Arrangements of Approaching Pseudo-Lines

Equipartitions with Wedges and Cones

On the Average Complexity of the $k$ -Level

Weighted Epsilon-Nets

See the researcher in context

Building this map preview

Patrick Schnider

Research overview

Is this your work?

6 publications

Enclosing Depth and other Depth Measures

Efficiently stabbing convex polygons and variants of the Hadwiger-Debrunner (p,q)(p, q)(p,q)-theorem

Arrangements of Approaching Pseudo-Lines

Equipartitions with Wedges and Cones

On the Average Complexity of the kkk-Level

Weighted Epsilon-Nets

See the researcher in context

Building this map preview

Efficiently stabbing convex polygons and variants of the Hadwiger-Debrunner $(p, q)$ -theorem

On the Average Complexity of the $k$ -Level