Rectilinear Crossing Number

DOWNLOAD Mathematica Notebook

The rectilinear crossing number of a graph G is the minimum number of crossings in a straight line embedding of G in a plane. It is variously denoted rcr(G), cr^_(G) (Schaefer 2017), RCN(G), or nu^_(G).

It is sometimes claimed that the rectilinear crossing number is also known as the linear or geometric(al) crossing number, but evidence for that is slim (Schafer 2017).

A disconnected graph has a rectilinear crossing number equal to the sums of the rectilinear crossing numbers of its connected components.

When the (non-rectilinear) graph crossing number satisfies cr(G)<=3,

 rcrnu(G)=rcr(G)
(1)

(Bienstock and Dean 1993). While Bienstock and Dean don't actually prove equality for the case rcr(G)=3, they state it can be established analogously to rcr(G)<=2. The result cannot be extended to cr<=4, since there exist graphs G with cr(G)=4 but rcr(G)=m for any m>=4 (Bienstock and Dean 1993; Schaefer 2017, p. 54).

G. Exoo (pers. comm., May 11-12, 2019) has written a program which can compute rectilinear crossing numbers for cubic graphs up to around 20 vertices and up to 11 or 12 vertices for arbitrary simple graphs.

The smallest simple graphs for which rcr(G)>cr(G) occur on 8 nodes. The four such examples as summarized in the following table.

graphcr(G)rcr(G)
16-cell graph K_(4×2)68
(8,5)-Turán graph910
8-double toroidal graph 8910
complete graph K_81819

For a complete graph K_n of order n>=10, the rectilinear crossing number is always larger than the general graph crossing number. For the complete graph K_n with n=1, 2, ..., rcr(K_n) is 0, 0, 0, 0, 1, 3, 9, 19, 36, 62, ... (OEIS A014540; White and Beineke 1978, Scheinerman and Wilf 1994). Although it had long been known that rcr(K_(10)) was either 61 or 62 (Singer 1971, Gardner 1986), it was finally proven to be 62 by Brodsky et al. (2000, 2001). The case n=11 was settled in 2004, and found to be 102. The Rectilinear Crossing Number Project (http://www.ist.tugraz.at/staff/aichholzer/crossings.html) has found all values for n<=17, and from very recent mathematical considerations, the rectilinear crossing numbers for n=19 and n=21 are also known. At the moment, the smallest value remaining unsettled is n=20.

RectilinearCrossingNumberK

The following table summarizes known results (Rectilinear Crossing Number Project), and embeddings with minimal rectilinear crossing numbers are illustrated above (Read and Wilson 1998, pp. 282-283, with the erroneous embedding for K_9 corrected).

nrcr(K_n)non-isomorphic embeddings
30
40
511
631
793
8192
93610
10622
11102374
121531
132294534
1432420
1544716001
1660336
17798>=37269
181029>=1
191318>=13243
20[1652,1657]>=6
212055?
22[2521,2528]?
23[3075,3077]?
24[3690,3699]?
25[4426,4430]?

Upper limits have been provided by Singer (1971), who showed that

 rcr(K_n)<=1/(312)(5n^4-39n^3+91n^2-57n),
(2)

and Jensen (1971), who showed that

 rcr(K_n)<=7/(432)n^4+O(n^3).
(3)

The best known bounds are given by

 (3/8+epsilon)(n; 4)+O(n^3)<rcr(K_n)<0.3807(n; 4)+O(n^3),
(4)

where epsilon approx 10^(-5). The upper bound is due to Aichholzer et al. (2002) and the lower bound to Lovász et al. (2004). A slightly weaker bound of 3/8(n; 4) was independently proved by Ábrego and Fernández-Merchand (2003). The small epsilon term in the lower bound is significant because it shows that the crossing number and the rectilinear crossing number of complete graphs differ in the leading term. In particular, it is known that there are non-rectilinear embeddings of K_n with 3/8(n; 4)+O(n^3) crossings (Moon 1965, Guy 1967).

Letting

 rho=lim_(n->infty)(rcr(K_n))/((n; 4)),
(5)

the best bounds known are

 0.290<(61)/(210)<=rho<=5/(13)<0.385,
(6)

where (n; k) is a binomial coefficient and the exact value of rho is not known (Finch 2003).

The rectilinear crossing number has an unexpected connection with Sylvester's four-point problem (Finch 2003).

Wolfram Web Resources

Mathematica »

The #1 tool for creating Demonstrations and anything technical.

Wolfram|Alpha »

Explore anything with the first computational knowledge engine.

Wolfram Demonstrations Project »

Explore thousands of free applications across science, mathematics, engineering, technology, business, art, finance, social sciences, and more.

Computerbasedmath.org »

Join the initiative for modernizing math education.

Online Integral Calculator »

Solve integrals with Wolfram|Alpha.

Step-by-step Solutions »

Walk through homework problems step-by-step from beginning to end. Hints help you try the next step on your own.

Wolfram Problem Generator »

Unlimited random practice problems and answers with built-in Step-by-step solutions. Practice online or make a printable study sheet.

Wolfram Education Portal »

Collection of teaching and learning tools built by Wolfram education experts: dynamic textbook, lesson plans, widgets, interactive Demonstrations, and more.

Wolfram Language »

Knowledge-based programming for everyone.