I The number of intersection graphs of ##n## convex sets in the plane

AI Thread Summary
The discussion centers on the number of intersection graphs formed by n convex sets in the plane, specifically showing that this number is at least 2^{Ω(n^2)}. Participants explore the relationship between intersection graphs of simple curves and convex sets, suggesting that proving the lower bound for curves may involve constructing various configurations. One example provided involves parallel lines with detours crossing other curves, illustrating how independent choices can lead to different intersection graphs. However, this example is deemed insufficient for reaching the desired lower bound, prompting a search for more robust methods. The conversation emphasizes the complexity of proving the intersection graph count and the need for innovative approaches.
kmitza
Messages
17
Reaction score
4
TL;DR Summary
My friend gave me a problem that's been given in her combinatorial geometry class, I have been struggling with finding any ideas on how to do it. I don't have many tools from this topic and I might not understand any hints/solutions but I would still like to see if people have any ideas
Let ##S## be a set of n geometric objects in the plane. The intersection graph of ##S## is a
graph on ##n## vertices that correspond to the objects in ##S##. Two vertices are connected
by an edge if and only if the corresponding objects intersect.

Show that the number of intersection graphs of ##n## simple curves in the plane is at least ##2^{\Omega(n^2)}##.

I thought that this would be easy to see, online I found out that this is equivalent to finding this number is equivalent to finding the number for convex sets. This doesn't change the nature of the problem though and I think this shouldn't be too hard to prove but I can't figure it out. Any hints and ideas on how to think about this would be appreciated
 
Mathematics news on Phys.org
What is the definition of simple curve here? I'm not sure why you think convex sets are involved.
 
You might be able to show how to construct curves in enough different ways to reach that limit.

Imagine a set of N parallel lines parallel to the x axis. At x=1, line 1 at the lowest y value makes a "detour" crossing 0...n-1 other curves above it. At x=2, line 2 makes a detour crossing 0...n-2 other curves above it. And so on. For each line the choice is independent and each choice leads to a different intersection graph, so we get (n-1)! different intersection graphs. That's not enough, you'll need a better approach, but it's an example how you can show a lower bound.
 
Suppose ,instead of the usual x,y coordinate system with an I basis vector along the x -axis and a corresponding j basis vector along the y-axis we instead have a different pair of basis vectors ,call them e and f along their respective axes. I have seen that this is an important subject in maths My question is what physical applications does such a model apply to? I am asking here because I have devoted quite a lot of time in the past to understanding convectors and the dual...
Fermat's Last Theorem has long been one of the most famous mathematical problems, and is now one of the most famous theorems. It simply states that the equation $$ a^n+b^n=c^n $$ has no solutions with positive integers if ##n>2.## It was named after Pierre de Fermat (1607-1665). The problem itself stems from the book Arithmetica by Diophantus of Alexandria. It gained popularity because Fermat noted in his copy "Cubum autem in duos cubos, aut quadratoquadratum in duos quadratoquadratos, et...
Thread 'Imaginary Pythagorus'
I posted this in the Lame Math thread, but it's got me thinking. Is there any validity to this? Or is it really just a mathematical trick? Naively, I see that i2 + plus 12 does equal zero2. But does this have a meaning? I know one can treat the imaginary number line as just another axis like the reals, but does that mean this does represent a triangle in the complex plane with a hypotenuse of length zero? Ibix offered a rendering of the diagram using what I assume is matrix* notation...
Back
Top