Improved bounds for the crossing numbers of Km,n and Kn.
Klerk, Etienne de.
Pasechnik, Dmitrii V.
Richter, R. B.
Date of Issue2006
School of Physical and Mathematical Sciences
It has been long conjectured that the crossing number cr(Km,n) of the complete bipartite graph Km,n equals the Zarankiewicz number Z(m, n) :=[(m-1)/2][m/2][(n-1)/2][n/2]. Another longstanding conjecture states that the crossing number cr(Kn) of the complete graph Kn equals Z(n):=(1/4)[n/2][(n-1)/2][(n-2)/2][(n-3)/2]. In this paper we show the following improved bounds on the asymptotic ratios of these crossing numbers and their conjectured values: (i) for each fixed m ≥ 9, limn→∞ cr(Km,n)/Z(m, n) ≥ 0.83m/(m − 1); (ii) limn→∞ cr(Kn,n)/Z(n, n) ≥ 0.83; and iii) limn→∞ cr(Kn)/Z(n) ≥ 0.83. The previous best known lower bounds were 0.8m/(m−1), 0.8, and 0.8, respectively. These improved bounds are obtained as a consequence of the new bound cr(K7,n) ≥ 2.1796n2 −4.5n2. To obtain this improved lower bound for cr(K7,n), we use some elementary topological facts on drawings of K2,7 to set up a quadratic program on 6! variables whose minimum p satisfies cr(K7,n) ≥ (p/2)n2−4.5n, and then use state-of-the-art quadratic optimization techniques combined with a bit of invariant theory of permutation groups to show that p ≥ 4.3593.
SIAM journal of discrete mathematics
© 2006 SIAM This paper was published in SIAM Journal of Discrete Mathematics and is made available as an electronic reprint (preprint) with permission of Society for Industrial and Applied Mathematics. The paper can be found at: [DOI: http://dx.doi.org/10.1137/S0895480104442741]. One print or electronic copy may be made for personal use only. Systematic or multiple reproduction, distribution to multiple locations via electronic or other means, duplication of any material in this paper for a fee or for commercial purposes, or modification of the content of the paper is prohibited and is subject to penalties under law.