4,743 research outputs found

    On the Covering Densities of Quarter-Convex Disks

    Full text link
    It is conjectured that for every convex disks K, the translative covering density of K and the lattice covering density of K are identical. It is well known that this conjecture is true for every centrally symmetric convex disks. For the non-symmetric case, we only know that the conjecture is true for triangles. In this paper, we prove the conjecture for a class of convex disks (quarter-convex disks), which includes all triangles and convex quadrilaterals

    Unsplittable coverings in the plane

    Get PDF
    A system of sets forms an {\em mm-fold covering} of a set XX if every point of XX belongs to at least mm of its members. A 11-fold covering is called a {\em covering}. The problem of splitting multiple coverings into several coverings was motivated by classical density estimates for {\em sphere packings} as well as by the {\em planar sensor cover problem}. It has been the prevailing conjecture for 35 years (settled in many special cases) that for every plane convex body CC, there exists a constant m=m(C)m=m(C) such that every mm-fold covering of the plane with translates of CC splits into 22 coverings. In the present paper, it is proved that this conjecture is false for the unit disk. The proof can be generalized to construct, for every mm, an unsplittable mm-fold covering of the plane with translates of any open convex body CC which has a smooth boundary with everywhere {\em positive curvature}. Somewhat surprisingly, {\em unbounded} open convex sets CC do not misbehave, they satisfy the conjecture: every 33-fold covering of any region of the plane by translates of such a set CC splits into two coverings. To establish this result, we prove a general coloring theorem for hypergraphs of a special type: {\em shift-chains}. We also show that there is a constant c>0c>0 such that, for any positive integer mm, every mm-fold covering of a region with unit disks splits into two coverings, provided that every point is covered by {\em at most} c2m/2c2^{m/2} sets
    • …
    corecore