Let be the number of crossings in the drawing, placed in general position. Deleting at most one edge at each crossing leaves a planar graph, so the Euler formula for a connected planar graph gives
Now retain every vertex independently with probability , together with every edge whose endpoints survive. The expected numbers of retained vertices, edges and crossings are . Applying the preceding inequality to each sampled drawing and taking expectations gives
Because , choose . Then
and therefore
Thus the Crossing lemma holds here with the absolute constant .
Regard each equation as an incidence between the point and the graph of . On each polynomial graph, join consecutive incident points by the intervening arc. If is the number of incidences, the resulting topological graph has
edges and vertices.
Two distinct degree- polynomial graphs meet in at most points because a nonzero polynomial of degree at most has at most real roots. Their drawn arcs therefore create at most genuine crossings. Parallel arcs with the same endpoints may be perturbed to cross once; for each pair of polynomials, such crossing-free lenses occur only between consecutive roots of their difference and hence at most times. The total number of genuine and added crossings is consequently
After these perturbations, a crossing-free subgraph is simple, so the sampling proof of the Crossing lemma applies to this topological graph.
If , then . Otherwise the crossing lemma gives
and hence
Since , both cases combine to prove the incidences between points and polynomial graphs bound
for an absolute constant .

Articles by others on the same topic (0)

There are currently no matching articles.