148 research outputs found
Line transversals to disjoint balls
We prove that the set of directions of lines intersecting three disjoint
balls in in a given order is a strictly convex subset of . We then
generalize this result to disjoint balls in . As a consequence, we can
improve upon several old and new results on line transversals to disjoint balls
in arbitrary dimension, such as bounds on the number of connected components
and Helly-type theorems.Comment: 21 pages, includes figure
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
Set Systems and Families of Permutations with Small Traces
We study the maximum size of a set system on elements whose trace on any
elements has size at most . We show that if for some the
shatter function of a set system satisfies then ; this generalizes Sauer's Lemma on the size of
set systems with bounded VC-dimension. We use this bound to delineate the main
growth rates for the same problem on families of permutations, where the trace
corresponds to the inclusion for permutations. This is related to a question of
Raz on families of permutations with bounded VC-dimension that generalizes the
Stanley-Wilf conjecture on permutations with excluded patterns
On tangents to quadric surfaces
We study the variety of common tangents for up to four quadric surfaces in
projective three-space, with particular regard to configurations of four
quadrics admitting a continuum of common tangents.
We formulate geometrical conditions in the projective space defined by all
complex quadric surfaces which express the fact that several quadrics are
tangent along a curve to one and the same quadric of rank at least three, and
called, for intuitive reasons: a basket. Lines in any ruling of the latter will
be common tangents.
These considerations are then restricted to spheres in Euclidean three-space,
and result in a complete answer to the question over the reals: ``When do four
spheres allow infinitely many common tangents?''.Comment: 50 page
Convex Hulls of Random Order Types
We establish the following two main results on order types of points in general position in the plane (realizable simple planar order types, realizable uniform acyclic oriented matroids of rank 3):
(a) The number of extreme points in an n-point order type, chosen uniformly at random from all such order types, is on average 4+o(1). For labeled order types, this number has average 4-8/(n^2 - n +2) and variance at most 3.
(b) The (labeled) order types read off a set of n points sampled independently from the uniform measure on a convex planar domain, smooth or polygonal, or from a Gaussian distribution are concentrated, i.e., such sampling typically encounters only a vanishingly small fraction of all order types of the given size. Result (a) generalizes to arbitrary dimension d for labeled order types with the average number of extreme points 2d+o(1) and constant variance. We also discuss to what extent our methods generalize to the abstract setting of uniform acyclic oriented matroids. Moreover, our methods allow to show the following relative of the Erd?s-Szekeres theorem: for any fixed k, as n ? ?, a proportion 1 - O(1/n) of the n-point simple order types contain a triangle enclosing a convex k-chain over an edge.
For the unlabeled case in (a), we prove that for any antipodal, finite subset of the 2-dimensional sphere, the group of orientation preserving bijections is cyclic, dihedral or one of A?, S? or A? (and each case is possible). These are the finite subgroups of SO(3) and our proof follows the lines of their characterization by Felix Klein
Geometric Permutations of Non-Overlapping Unit Balls Revisited
Given four congruent balls in that have disjoint
interior and admit a line that intersects them in the order , we show
that the distance between the centers of consecutive balls is smaller than the
distance between the centers of and . This allows us to give a new short
proof that interior-disjoint congruent balls admit at most three geometric
permutations, two if . We also make a conjecture that would imply that
such balls admit at most two geometric permutations, and show that if
the conjecture is false, then there is a counter-example of a highly degenerate
nature
The monotonicity of f-vectors of random polytopes
Let K be a compact convex body in Rd, let Kn be the convex hull of n points
chosen uniformly and independently in K, and let fi(Kn) denote the number of
i-dimensional faces of Kn. We show that for planar convex sets, E(f0(Kn)) is
increasing in n. In dimension d>=3 we prove that if lim(E((f[d
-1](Kn))/(An^c)->1 when n->infinity for some constants A and c > 0 then the
function E(f[d-1](Kn)) is increasing for n large enough. In particular, the
number of facets of the convex hull of n random points distributed uniformly
and independently in a smooth compact convex body is asymptotically increasing.
Our proof relies on a random sampling argument
Limits of Order Types
The notion of limits of dense graphs was invented, among other reasons, to attack problems in extremal graph theory. It is straightforward to define limits of order types in analogy with limits of graphs, and this paper examines how to adapt to this setting two approaches developed to study limits of dense graphs.
We first consider flag algebras, which were used to open various questions on graphs to mechanical solving via semidefinite programming. We define flag algebras of order types, and use them to obtain, via the semidefinite method, new lower bounds on the density of 5- or 6-tuples in convex position in arbitrary point sets, as well as some inequalities expressing the difficulty of sampling order types uniformly.
We next consider graphons, a representation of limits of dense graphs that enable their study by continuous probabilistic or analytic methods. We investigate how planar measures fare as a candidate analogue of graphons for limits of order types. We show that the map sending a measure to its associated limit is continuous and, if restricted to uniform measures on compact convex sets, a homeomorphism. We prove, however, that this map is not surjective. Finally, we examine a limit of order types similar to classical constructions in combinatorial geometry (Erdos-Szekeres, Horton...) and show that it cannot be represented by any somewhere regular measure; we analyze this example via an analogue of Sylvester\u27s problem on the probability that k random points are in convex position
- …