12
$\begingroup$

Let $(U_n)_n$ be an arbitrary sequence of open convex subsets of the unit disk $D(0,1)\subseteq \mathbb{R}^2$ s.t. $\sum_{n=0}^\infty \lambda(U_n)=\infty$ (where $\lambda$ is the Lebesgue measure). Does there exist a sequence $(q_n)_n$ in $\mathbb{R}^2$ s.t. $D(0,1) \subseteq \bigcup_{n=0}^\infty (q_n+U_n)$?

With the notation $q_n+U_n$, I mean $$q_n+U_n:=\{x\in \mathbb{R}^2|x-q_n\in U_n\}$$

This question is very similar to this one, but I was encouraged in the comments over there to ask away nontheless.

$\endgroup$
  • 2
    $\begingroup$ That should be doable by translating each set by a random vector in B(0,2) (and then with probability 1, the set of uncovered points has measure 0). $\endgroup$ – Sam Zbarsky Nov 10 '19 at 20:43
  • 4
    $\begingroup$ @alesia almost all disk may be covered even without convexity assumption (greedy algorithm works, for example: if you already fixed the translates of the first $n$ sets, choose the translate of the $(n+1)$-st set which covers the maximal possible uncovered area.) $\endgroup$ – Fedor Petrov Nov 10 '19 at 21:01
  • 1
    $\begingroup$ This makes me think of the question of how to tell, given a sequence of interval lengths, whether randomly placed intervals of those lengths will cover $[0,1]$ with probability 0, 1, or something in between. Maybe it's worth posting as a question. $\endgroup$ – Sam Zbarsky Nov 11 '19 at 3:27
  • 4
    $\begingroup$ I’m just repeating a comment I made on the previous incarnation. By Fritz John’s theorem, you can assume wlog that the $U_n$’s are ellipses (with axes not necessarily parallel to the coordinate axes) $\endgroup$ – Anthony Quas Nov 11 '19 at 3:39
  • 2
    $\begingroup$ The problem is similar to Makai–Pach translative plank conjecture about covering by strips (or higher-diensional slabs). The conjecture was proved in the plane, and a weaker version in R^d: math.nyu.edu/~pach/publications/SlabsPrint.pdf $\endgroup$ – Jan Kyncl Nov 27 '19 at 23:36
3
$\begingroup$

The planar case is rather simple but I'm still struggling with dimension 3 and higher, so we'd better keep this thread open at least for a while.

Lemma 1: Suppose we have finitely many infinite strips of total width at least $8$. Then we can move them (without rotations) so that they cover a disk of radius $1/4$ (the exact numbers do not matter; all that is essential is that they are two absolute constants).

Proof: We can choose a subset of strips with total width at least $1$ so that all directions lie in an angle of size $\pi/4$. WLOG, that angle is $0\le\theta\le \frac \pi 4$, where the angles are counted from the vertical up direction counterclockwise. Arrange the strips so that their directions satisfy $0\le \theta_1\le\theta_2\le\dots\le\theta_n\le\frac\pi 4$. Let $w_1,w_2,\dots,w_n>0$ be their widths. We will think of our strips as going "vertically", so each strip has the "left" and the "right" edge. Now position the $j$-th strip so that its right edge passes through the point $(w_1+\dots+w_j,0)$ on the horizontal axis. By induction, we can see that then the first $j$ strips cover the triangle bounded by the horizontal axis, the vertical axis, and the line passing through $(w_1+\dots+w_j,0)$ in direction $\theta_j$ (note that this triangle doesn't need to depend on $j$ in a monotone way!). Thus, in the end we'll cover the triangle bounded by the axes and the line through $(w_1+\dots+w_n,0)$ in direction $\frac \pi 4$, which, since $w_1+\dots+w_n\ge 1$, contains a disk of the required size.

WLOG all our convex sets $U_j$ are rectangles with sides $a_j\le b_j$; moreover, we can think that $b_j$ is always some negative power of $2$.

Lemma 2: Assume that we have some finite collection of $U_j$ with common $b$ and various $a$'s and orientations. If $\sum_j a_j\ge 8b$, then we can use them to cover a disk of radius $\frac b4$.

Proof: This is just Lemma 1 in disguise: scaling by a factor of $b$ does not matter and the piece of any strip of width $a_j$ in the disk so small is always contained in a rectangle $a_j\times b$ in the same direction.

Now we just take a fixed $b$ and start dividing rectangles into finite families with sum of $a_j$ between $8b$ and $9b$. Each family can be used to cover a disk of area comparable with the total area of the family and the useless remainders will have total area of $8b^2$ or less, so the sum of remainder areas will be finite.

This reduces the problem to the case when all convex sets are disks, which can be handled similarly to the classical Vitali lemma: just consider 2 times smaller disks and throw them into the unit disk $D(0,1)$ (at least their center has to be thrown in that disk), without intersection with previously thrown disks and throwing them in decreasing order of radius as long as you can. This process must terminate after a finite number $N$ of steps since at every step the yet uncovered area decreases with the area of the disk currently being thrown and those areas sum to infinity. For later purposes, recollect $0<r_{N+1}(\leq r_N\leq...)$ as the radius of the disk which was just about to be thrown before the termination of our throwing-process. Now consider the configuration of disks $\{D(x_j,2r_j)\}_{1\leq j \leq N}$ with the same center-positions $x_j$ but double the radius. We have $D(0,1)\subseteq \bigcup_{j=1}^N D(x_j,2r_j)$. For suppose that $x\in B(0,1)$ was not in that union, then $x$ is a distance of at least $2r_j \geq r_j+r_{N+1}$ removed from $x_j$. So $D(x,r_{N+1})\cap D(x_j,r_j)=\emptyset$ for all $1\leq j\leq N$. So the $N+1$'th disk can still be thrown disjointly from the previous disks, which contradicts that we had thrown disks as long as we could.

As I said, this argument is $2$-dimensional. To my shame, I do not know even if the analogue of Lemma 1 holds in higher dimensions (and, unlike the 2D case, Lemma 1 would not immediately imply Lemma 2, though the Vitali game, if one can reach it, can be played in any dimension). Any bright ideas?

| cite | improve this answer | |
$\endgroup$
  • 1
    $\begingroup$ as far as I know, an analogue of Lemma 1 in dimension greater than 2 is open $\endgroup$ – Fedor Petrov Nov 30 '19 at 13:14

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.