The sublinear upper-bound conjecture for the crossing profile of complete graphs

For a rectilinear drawing of the complete graph KnK_n, let ek(Kn)e_k(K_n) denote the number of edges crossed exactly kk times, and let

max ek(Kn)\overline\max\ e_k(K_n)

denote the maximum of ek(Kn)e_k(K_n) over all rectilinear drawings of KnK_n. Sublinear crossing-profile conjecture. For every n1n\geq 1 and k1k\geq 1,

max ek(Kn)=o(nk).\overline\max\ e_k(K_n)=o(n\sqrt{k}).

More precisely, for every ϵ>0\epsilon>0 there exists a constant NN such that if nn and kk are larger than NN, then max ek(Kn)/(nk)<ϵ\overline\max\ e_k(K_n)/(n\sqrt{k})<\epsilon. The paper establishes the bounds Ω(n)max ek(Kn)O(nk)\Omega(n)\leq\overline\max\ e_k(K_n)\leq O(n\sqrt{k}) in the stated range, and this conjecture proposes that the upper bound is asymptotically non-sharp.

Sources & referencesView supporting material

Primary source

Isaac Chen and Oriol Solé-Pi, “On the crossing profile of rectilinear drawings of K_n”, arXiv:2501.04980 (2025).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.