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 givesBecause , choose . Thenand thereforeThus 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 hasedges 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 consequentlyAfter 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 givesand henceSince , both cases combine to prove the incidences between points and polynomial graphs boundfor an absolute constant .
Articles by others on the same topic
There are currently no matching articles.