8
$\begingroup$

Consider two circles in the plane, one red and one blue with a purple intersection.

$\hskip2.5in$Venn diagram of two circles, one small red and one large blue

The proportion of the area in the plane that is occupied by each color can be seen as a point on the 3-simplex if we say that each triple is (Red Area, Blue Area, Purple Area). The illustration above would correspond to some point close to (0.14, 0.84, 0.02). All points on the 3-simplex can be realized by circles in this way. If we think of this as a function, $f_2 : X^2 \rightarrow \triangle^3$ (where $X$ is some parameterization of circles), then we would say that it's surjective.

If we now add a green circle to the plane we would be able to form 7 different colors.

$\hskip2.5in$Venn diagram of three circles

And now we get a new function, $f_3 : X^3 \rightarrow \triangle^7$. The difference is that this function isn't surjective. For example: consider a configuration where we only see yellow, purple and cyan, all having an area of $1/3$ each.

If we let $F_3$ be the fraction of points on the simplex that are in the image of $f_3$ then we can ask ourselves: what is the value of $F_3$?

This can of course be generalized to more circles with $f_n : X^n \rightarrow \triangle^{2^n-1}$ and $F_n$ defined similarly.

In that case we can easily prove that $F_n \leq F_{n-1}$ by considering the restrictions on all circles but one and then adding the last one. We can also prove the stronger statement that $$ F_n \leq \min(\{F_p^{\lfloor n/p \rfloor} \mid 1 < p < n\}) $$ This can be proved by splitting the circles into groups of size $p$ and using the fact that if one of the groups can't be formed then the whole configuration can't be formed. A corollary of this is that $$ (\exists n. F_n \neq 1) \implies \left(\lim_{n \rightarrow \infty} F_n=0\right) $$ But this argument doesn't construct the value of any $F_n$. So my questions are

What is the value of $F_3$?

What about for higher $n$?

If we can't find exact values, are there at least better bounds?

$\endgroup$
1
$\begingroup$

Observe that $X$ has real dimension $3$, since a circle in the plane is described by the coordinates of its center and its radius. So $X^n$ should be thought of as a $3n$-dimensional space - indeed, we can parameterize it by $3n$ real numbers in a natural way as described above, and when we do so the areas of each of the $2^n-1$ possible regions will be given by a function of these $3n$ parameters which is given by a piecewise composition of "nice" functions (e.g. "if these three circles are in the following type of configuration and all other circles are sufficiently far away, the area is given by the lune formed by $A$ and $B$ minus the intersection with $C$" and so on). In particular, the areas of these regions are not given by any sort of pathological space-filling curve functions of the $3n$ parameters.

This means that the image of $X^n$ under $f_n$ in $\Delta^{2^n-1}$ has dimension at most $3n$, while the latter space has dimension $2^n-2$.

In fact, for all circle arrangements $x\in X^n$, $f_n(x)$ is invariant under any combination of translation, rotation, and scaling of $x$, so we can effectively quotient out by a $4$-dimensional space of symmetries preserving $f_n$. This brings our dimension down to $3n-4$.

But $3n-4< 2^n-2$ for all $n>2$, so in fact we can conclude that $F_n=0$ for every $n>2$.

$\endgroup$

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.