5
$\begingroup$

Let $M$ be a lattice polygon on a plane (i.e. its vertices are integer points $(i,j)\in\mathbb Z^2$).

Let us define lattice width in a direction $v=(m,n)\in\mathbb Z^2$ as $w_v(M)=\max\limits_{x,y\in M} v\cdot(x-y)$.

Suppose the $minimal$ lattice width of $M$ equals $d$. It is clear that the area of $M$ should be proportional to $d^2$.

One can prove an inequalities $area\geq d^2/4$ as is written in comments. But it seems far from the best one.

So, the question is what is the best $\alpha$ such that $area(M)\geq \alpha d^2$ for each $M$ with minimal lattice width equals $d$. From my comment below one can extract that $\alpha\leq 3/8$

Added: F. Petrov gave a link to the proof of the fact, but there is no complete proof in the Internet so I rewrote it in the appendix in http://arxiv.org/abs/1306.4688

$\endgroup$
4
  • 1
    $\begingroup$ Considering the quadrilateral $Q$ of maximal area inscribed into $M$. THen you may pass to the parallelogram with sides parallel to the diagonals of $Q$ --- its area is at most twice the area of $M$. Hence you may restrict yourself to the lattice parallelograms only. $\endgroup$ Commented Mar 28, 2013 at 6:55
  • $\begingroup$ Thay gives us $area(M)\geq d^2/4$, it is worse than $g\geq d^2/{2\sqrt{3}}$ $\endgroup$ Commented Mar 29, 2013 at 12:08
  • $\begingroup$ What is the question here? $\endgroup$ Commented Mar 30, 2013 at 22:31
  • $\begingroup$ @robot: I was looking for an estimation $area(M)\geq cd^2$ $\endgroup$ Commented Mar 31, 2013 at 7:11

2 Answers 2

3
$\begingroup$

$\alpha=3/8$ is sharp according to, say this article, the authors refer to [L. Fejes-Toth and E. Makai, Jr., On the thinnest non-separable lattice of convex plates, Studia Sci. Math. Hungar. 9 (1974), 191–193.]

$\endgroup$
1
$\begingroup$

This solution is not true, sorry. I can prove that $area(M)\geq 3d^2/8$. First of all find $v\in \mathbb Z^2$ such that $w_v(M)$ is minimal. Than by an affine transform $a$ put $v$ into vector $(1,1)$.

Now draw lines which give us widths of $a(M)$ in the directions $(1,0),(0,1)$. Now $a(M)$ is inside a horizontal stripe of width at least $d$, inside a vertical stripe of width at least $d$ and inside a diagonal (in the direction $(1,-1)$) stripe of width exactly $d/{\sqrt{2}}$.

Here I use usual widths.

Now look at the picture - we see a 6-gon (or 3,4-gon) $B$ as the intersection of the strips, we know that on each side of $B$ there is a vertex of $a(M)$. By playing with vertices one can find all the extremal cases (so, vertices of $a(M)$ must coincide with vertices of $B$).

Finally, in all the extremal cases the area of $a(M)$ is no less than $3d^2/8$

$\endgroup$
4
  • $\begingroup$ You need to be a bit more careful, since the affine transforms do not preserve scalar product. So in fact you need to put the vector orthogonal to $v$ into $(-1,1)$. $\endgroup$ Commented Mar 30, 2013 at 8:32
  • $\begingroup$ In fact, this bound is tight. Look at the triangle wth vertices $(0,0)$, $(2,1)$ and $(1,2)$. Its area is $3/2$, while its "integral width" is 2. To see that, first notice that all its altitude lengths are greater than 1, hence it is enough to check only the vectors of length less than 2. This check is straightforward. So, what is this bounty for? $\endgroup$ Commented Mar 30, 2013 at 8:35
  • $\begingroup$ @Ilya: I had started this bounty before I realized that it is a simple problem, and I was very nervous =)) Now I can not cancel it. Concerning the first comment: an affine transformation preserves the lattice width, it is enough for me. $\endgroup$ Commented Mar 30, 2013 at 12:44
  • $\begingroup$ @Ilya: it is not a simple problem, my solution is not true. $\endgroup$ Commented Apr 2, 2013 at 0:32

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .