44 research outputs found
Sunflowers of Convex Open Sets
A sunflower is a collection of sets such that the
pairwise intersection is the same for all choices of distinct
and . We study sunflowers of convex open sets in , and provide
a Helly-type theorem describing a certain "rigidity" that they possess. In
particular we show that if is a sunflower in , then any hyperplane that intersects all must also intersect
. We use our results to describe a combinatorial code
for all which is on the one hand minimally non-convex,
and on the other hand has no local obstructions. Along the way we further
develop the theory of morphisms of codes, and establish results on the covering
relation in the poset
Combinatorial Depth Measures for Hyperplane Arrangements
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.Comment: To be presented at the 39th International Symposium on Computational
Geometry (SoCG 2023
Theorems of Carathéodory, Helly, and Tverberg without dimension
We initiate the study of no-dimensional versions of classical theorems in convexity. One example is Carathéodory’s theorem without dimension: given an n-element set P in a Euclidean space, a point a∈convP, and an integer r≤n, there is a subset Q⊂P of r elements such that the distance between a and convQ is less than diamP/2r−−√. In an analoguos no-dimension Helly theorem a finite family F of convex bodies is given, all of them are contained in the Euclidean unit ball of Rd. If k≤d, |F|≥k, and every k-element subfamily of F is intersecting, then there is a point q∈Rd which is closer than 1/k−−√ to every set in F. This result has several colourful and fractional consequences. Similar versions of Tverberg’s theorem and some of their extensions are also established