1,100 research outputs found
Compatible 4-Holes in Point Sets
Counting interior-disjoint empty convex polygons in a point set is a typical
Erd\H{o}s-Szekeres-type problem. We study this problem for 4-gons. Let be a
set of points in the plane and in general position. A subset of ,
with four points, is called a -hole in if is in convex position and
its convex hull does not contain any point of in its interior. Two 4-holes
in are compatible if their interiors are disjoint. We show that
contains at least pairwise compatible 4-holes.
This improves the lower bound of which is implied by a
result of Sakai and Urrutia (2007).Comment: 17 page
Linear Complexity Hexahedral Mesh Generation
We show that any polyhedron forming a topological ball with an even number of
quadrilateral sides can be partitioned into O(n) topological cubes, meeting
face to face. The result generalizes to non-simply-connected polyhedra
satisfying an additional bipartiteness condition. The same techniques can also
be used to reduce the geometric version of the hexahedral mesh generation
problem to a finite case analysis amenable to machine solution.Comment: 12 pages, 17 figures. A preliminary version of this paper appeared at
the 12th ACM Symp. on Computational Geometry. This is the final version, and
will appear in a special issue of Computational Geometry: Theory and
Applications for papers from SCG '9
Toric geometry of convex quadrilaterals
We provide an explicit resolution of the Abreu equation on convex labeled
quadrilaterals. This confirms a conjecture of Donaldson in this particular case
and implies a complete classification of the explicit toric K\"ahler-Einstein
and toric Sasaki-Einstein metrics constructed in [6,22,14]. As a byproduct, we
obtain a wealth of extremal toric (complex) orbi-surfaces, including
K\"ahler-Einstein ones, and show that for a toric orbi-surface with 4 fixed
points of the torus action, the vanishing of the Futaki invariant is a
necessary and sufficient condition for the existence of K\"ahler metric with
constant scalar curvature. Our results also provide explicit examples of
relative K-unstable toric orbi-surfaces that do not admit extremal metrics.Comment: 36 pages; v2: small changes (typos and sign convention); v3: few
typos corrected, adjustments in the trapezoid case; to appear in Journal of
Symplectic Geometr
The Triangle Closure is a Polyhedron
Recently, cutting planes derived from maximal lattice-free convex sets have
been studied intensively by the integer programming community. An important
question in this research area has been to decide whether the closures
associated with certain families of lattice-free sets are polyhedra. For a long
time, the only result known was the celebrated theorem of Cook, Kannan and
Schrijver who showed that the split closure is a polyhedron. Although some
fairly general results were obtained by Andersen, Louveaux and Weismantel [ An
analysis of mixed integer linear sets based on lattice point free convex sets,
Math. Oper. Res. 35 (2010), 233--256] and Averkov [On finitely generated
closures in the theory of cutting planes, Discrete Optimization 9 (2012), no.
4, 209--215], some basic questions have remained unresolved. For example,
maximal lattice-free triangles are the natural family to study beyond the
family of splits and it has been a standing open problem to decide whether the
triangle closure is a polyhedron. In this paper, we show that when the number
of integer variables the triangle closure is indeed a polyhedron and its
number of facets can be bounded by a polynomial in the size of the input data.
The techniques of this proof are also used to give a refinement of necessary
conditions for valid inequalities being facet-defining due to Cornu\'ejols and
Margot [On the facets of mixed integer programs with two integer variables and
two constraints, Mathematical Programming 120 (2009), 429--456] and obtain
polynomial complexity results about the mixed integer hull.Comment: 39 pages; made self-contained by merging material from
arXiv:1107.5068v
- …