847 research outputs found
Lower Bounds for Pinning Lines by Balls
A line L is a transversal to a family F of convex objects in R^d if it
intersects every member of F. In this paper we show that for every integer d>2
there exists a family of 2d-1 pairwise disjoint unit balls in R^d with the
property that every subfamily of size 2d-2 admits a transversal, yet any line
misses at least one member of the family. This answers a question of Danzer
from 1957
Core congestion is inherent in hyperbolic networks
We investigate the impact the negative curvature has on the traffic
congestion in large-scale networks. We prove that every Gromov hyperbolic
network admits a core, thus answering in the positive a conjecture by
Jonckheere, Lou, Bonahon, and Baryshnikov, Internet Mathematics, 7 (2011) which
is based on the experimental observation by Narayan and Saniee, Physical Review
E, 84 (2011) that real-world networks with small hyperbolicity have a core
congestion. Namely, we prove that for every subset of vertices of a
-hyperbolic graph there exists a vertex of such that the
disk of radius centered at intercepts at least
one half of the total flow between all pairs of vertices of , where the flow
between two vertices is carried by geodesic (or quasi-geodesic)
-paths. A set intercepts the flow between two nodes and if
intersect every shortest path between and . Differently from what
was conjectured by Jonckheere et al., we show that is not (and cannot be)
the center of mass of but is a node close to the median of in the
so-called injective hull of . In case of non-uniform traffic between nodes
of (in this case, the unit flow exists only between certain pairs of nodes
of defined by a commodity graph ), we prove a primal-dual result showing
that for any the size of a -multi-core (i.e., the number
of disks of radius ) intercepting all pairs of is upper bounded by
the maximum number of pairwise -apart pairs of
Bounding Helly numbers via Betti numbers
We show that very weak topological assumptions are enough to ensure the
existence of a Helly-type theorem. More precisely, we show that for any
non-negative integers and there exists an integer such that
the following holds. If is a finite family of subsets of such that for any
and every
then has Helly number at most . Here
denotes the reduced -Betti numbers (with singular homology). These
topological conditions are sharp: not controlling any of these first Betti numbers allow for families with unbounded Helly number.
Our proofs combine homological non-embeddability results with a Ramsey-based
approach to build, given an arbitrary simplicial complex , some well-behaved
chain map .Comment: 29 pages, 8 figure
Helly-Type Theorems in Property Testing
Helly's theorem is a fundamental result in discrete geometry, describing the
ways in which convex sets intersect with each other. If is a set of
points in , we say that is -clusterable if it can be
partitioned into clusters (subsets) such that each cluster can be contained
in a translated copy of a geometric object . In this paper, as an
application of Helly's theorem, by taking a constant size sample from , we
present a testing algorithm for -clustering, i.e., to distinguish
between two cases: when is -clusterable, and when it is
-far from being -clusterable. A set is -far
from being -clusterable if at least
points need to be removed from to make it -clusterable. We solve
this problem for and when is a symmetric convex object. For , we
solve a weaker version of this problem. Finally, as an application of our
testing result, in clustering with outliers, we show that one can find the
approximate clusters by querying a constant size sample, with high probability
- …