MathOverflow will be down for maintenance for approximately 3 hours, starting Monday evening (06/24/2013) at approximately 9:00 PM Eastern time (UTC-4).
show/hide this revision's text 3 fixed spelling of title

The area of the intersectiion intersection of convex sets with prescribed pairwise intersections

show/hide this revision's text 2 added 1 characters in body; edited tags

Consider two numbers $a>b>0$. Let $A_1,A_2,A_3$ be three convex sets in ${\mathbb R}^2$ such that $\mu(A_i)=a$, $\mu(A_i\cap A_j)=b$ ($\mu$ is the usual measure on ${\mathbb R}^2$). What is the minimal possible value of $\mu(A_1\cap A)2\cap A_3$A_2\cap A_3)$?

Surely, if we omit the convexity assumption, the answer is trivial. But it is not necessary realizable by convex sets. Consider, for instance, the case $a=2b$: the answer is nonzero!

It seems that the optimal construction is the following one. Take a triangle $ABC$, and cut three trapezoids $A_BA_CBC$, $B_AB_CCA$, $C_AC_BBA$ (here $A_BA_C\parallel BC$, $B_A,C_A\in BC$, similar relations for the others). E.g., for $a=2b$ the altitude of the trapezoid is $2/5$ of the altitude of triangle; hence the answer in this case seems to be $1/16$.

The generalizations are also interesting. E.g., what happens if we fix the areas but omit the relation that they are equal?

show/hide this revision's text 1

The area of the intersectiion of convex sets with prescribed pairwise intersections

Consider two numbers $a>b>0$. Let $A_1,A_2,A_3$ be three convex sets in ${\mathbb R}^2$ such that $\mu(A_i)=a$, $\mu(A_i\cap A_j)=b$ ($\mu$ is the usual measure on ${\mathbb R}^2$). What is the minimal possible value of $\mu(A_1\cap A)2\cap A_3$?

Surely, if we omit the convexity assumption, the answer is trivial. But it is not necessary realizable by convex sets. Consider, for instance, the case $a=2b$: the answer is nonzero!

It seems that the optimal construction is the following one. Take a triangle $ABC$, and cut three trapezoids $A_BA_CBC$, $B_AB_CCA$, $C_AC_BBA$ (here $A_BA_C\parallel BC$, $B_A,C_A\in BC$, similar relations for the others). E.g., for $a=2b$ the altitude of the trapezoid is $2/5$ of the altitude of triangle; hence the answer in this case seems to be $1/16$.

The generalizations are also interesting. E.g., what happens if we fix the areas but omit the relation that they are equal?