2,290 research outputs found
Counting Carambolas
We give upper and lower bounds on the maximum and minimum number of geometric
configurations of various kinds present (as subgraphs) in a triangulation of
points in the plane. Configurations of interest include \emph{convex
polygons}, \emph{star-shaped polygons} and \emph{monotone paths}. We also
consider related problems for \emph{directed} planar straight-line graphs.Comment: update reflects journal version, to appear in Graphs and
Combinatorics; 18 pages, 13 figure
An update on the Hirsch conjecture
The Hirsch conjecture was posed in 1957 in a letter from Warren M. Hirsch to
George Dantzig. It states that the graph of a d-dimensional polytope with n
facets cannot have diameter greater than n - d.
Despite being one of the most fundamental, basic and old problems in polytope
theory, what we know is quite scarce. Most notably, no polynomial upper bound
is known for the diameters that are conjectured to be linear. In contrast, very
few polytopes are known where the bound is attained. This paper collects
known results and remarks both on the positive and on the negative side of the
conjecture. Some proofs are included, but only those that we hope are
accessible to a general mathematical audience without introducing too many
technicalities.Comment: 28 pages, 6 figures. Many proofs have been taken out from version 2
and put into the appendix arXiv:0912.423
Optimal randomized incremental construction for guaranteed logarithmic planar point location
Given a planar map of segments in which we wish to efficiently locate
points, we present the first randomized incremental construction of the
well-known trapezoidal-map search-structure that only requires expected preprocessing time while deterministically guaranteeing worst-case
linear storage space and worst-case logarithmic query time. This settles a long
standing open problem; the best previously known construction time of such a
structure, which is based on a directed acyclic graph, so-called the history
DAG, and with the above worst-case space and query-time guarantees, was
expected . The result is based on a deeper understanding of the
structure of the history DAG, its depth in relation to the length of its
longest search path, as well as its correspondence to the trapezoidal search
tree. Our results immediately extend to planar maps induced by finite
collections of pairwise interior disjoint well-behaved curves.Comment: The article significantly extends the theoretical aspects of the work
presented in http://arxiv.org/abs/1205.543
Improved Implementation of Point Location in General Two-Dimensional Subdivisions
We present a major revamp of the point-location data structure for general
two-dimensional subdivisions via randomized incremental construction,
implemented in CGAL, the Computational Geometry Algorithms Library. We can now
guarantee that the constructed directed acyclic graph G is of linear size and
provides logarithmic query time. Via the construction of the Voronoi diagram
for a given point set S of size n, this also enables nearest-neighbor queries
in guaranteed O(log n) time. Another major innovation is the support of general
unbounded subdivisions as well as subdivisions of two-dimensional parametric
surfaces such as spheres, tori, cylinders. The implementation is exact,
complete, and general, i.e., it can also handle non-linear subdivisions. Like
the previous version, the data structure supports modifications of the
subdivision, such as insertions and deletions of edges, after the initial
preprocessing. A major challenge is to retain the expected O(n log n)
preprocessing time while providing the above (deterministic) space and
query-time guarantees. We describe an efficient preprocessing algorithm, which
explicitly verifies the length L of the longest query path in O(n log n) time.
However, instead of using L, our implementation is based on the depth D of G.
Although we prove that the worst case ratio of D and L is Theta(n/log n), we
conjecture, based on our experimental results, that this solution achieves
expected O(n log n) preprocessing time.Comment: 21 page
Matching measure, Benjamini-Schramm convergence and the monomer-dimer free energy
We define the matching measure of a lattice L as the spectral measure of the
tree of self-avoiding walks in L. We connect this invariant to the
monomer-dimer partition function of a sequence of finite graphs converging to
L.
This allows us to express the monomer-dimer free energy of L in terms of the
measure. Exploiting an analytic advantage of the matching measure over the
Mayer series then leads to new, rigorous bounds on the monomer-dimer free
energies of various Euclidean lattices. While our estimates use only the
computational data given in previous papers, they improve the known bounds
significantly.Comment: 18 pages, 3 figure
Counting Unique-Sink Orientations
Unique-sink orientations (USOs) are an abstract class of orientations of the
n-cube graph. We consider some classes of USOs that are of interest in
connection with the linear complementarity problem. We summarise old and show
new lower and upper bounds on the sizes of some such classes. Furthermore, we
provide a characterisation of K-matrices in terms of their corresponding USOs.Comment: 13 pages; v2: proof of main theorem expanded, plus various other
corrections. Now 16 pages; v3: minor correction
On the maximum size of an anti-chain of linearly separable sets and convex pseudo-discs
We show that the maximum cardinality of an anti-chain composed of
intersections of a given set of n points in the plane with half-planes is close
to quadratic in n. We approach this problem by establishing the equivalence
with the problem of the maximum monotone path in an arrangement of n lines. For
a related problem on antichains in families of convex pseudo-discs we can
establish the precise asymptotic bound: it is quadratic in n. The sets in such
a family are characterized as intersections of a given set of n points with
convex sets, such that the difference between the convex hulls of any two sets
is nonempty and connected.Comment: 10 pages, 3 figures. revised version correctly attributes the idea of
Section 3 to Tverberg; and replaced k-sets by "linearly separable sets" in
the paper and the title. Accepted for publication in Israel Journal of
Mathematic
Upper and Lower Bounds on Long Dual-Paths in Line Arrangements
Given a line arrangement with lines, we show that there exists a
path of length in the dual graph of formed by its
faces. This bound is tight up to lower order terms. For the bicolored version,
we describe an example of a line arrangement with blue and red lines
with no alternating path longer than . Further, we show that any line
arrangement with lines has a coloring such that it has an alternating path
of length . Our results also hold for pseudoline
arrangements.Comment: 19 page
- …