1: \documentclass[twocolumn]{article}

2: % \documentclass[11pt]{article}

3: % \documentclass[12pt]{article}

4: 

5: %\usepackage{doublespace}

6: %\usepackage{psfig}

7: \usepackage{amsmath}

8: \usepackage{amsfonts}

9: %\usepackage{latexsym}

10: 

11: \usepackage{fullpage}

12: 

13: \begin{document}

14: \newcommand{\captionfontstyle}{\bf\footnotesize}

15: \newcommand{\Xng}[2]{{#1$\times$#2}}

16: \newcommand{\mytheoremcounter}{section}

17: \include{my_macros}

18: \include{figbox}

19: \bibliographystyle{alpha}

20: 

21: \title{The Rectilinear Crossing Number of $K_{10}$ is $62$}

22: %\title{On the Rectilinear Crossing Number of $K_{10}$}

23: \author{ Alex Brodsky\thanks{Supported by NSERC PGSB}\\

24: %         abrodsky@cs.ubc.ca

25:        \and 

26:          Stephane Durocher\\

27: %         durocher@cs.ubc.ca

28:        \and Ellen Gethner\thanks{{\tt \{abrodsky,durocher,egethner\}@cs.ubc.ca},

29: Department of Computer Science, 

30: University of British Columbia, 201 - 2366 Main Mall,

31: Vancouver, B.C., Canada,

32: V6T 1Z4}

33: %         egethner@cs.ubc.ca

34:         }

35: 

36: \maketitle

37: 

38: 

39: %Include Ellen's abstract and intro

40: \input{intro}

41: 

42: \section{Edge Crossing Toolbox}

43: \subsection{Definitions}

44: We assume that all drawings are in general position, i.e., no three

45: vertices are collinear.  A rectilinear drawing of a graph is

46: decomposable into a set of convex \myem{hulls}.  The \myem{first hull}

47: \figbox[r]{\boxeps{convex.eps}{0.25}}{figure}{fig:convex}{}

48: of a drawing is the convex hull.  The \myem{$i$th hull} is the

49: convex hull of the drawing of the subgraph strictly contained within

50: the $(i-1)$st hull.

51: 

52: The \myem{responsibility} of a vertex in a rectilinear drawing, defined

53: in~\cite{Gu72}, is the total number of crossings on all edges incident

54: on the vertex.

55: 

56: \figbox[r]{\boxeps{nested.eps}{0.25}}{figure}{fig:nested}{}

57: A \myem{polygon of size $k$} is a rectilinear drawing of a non-crossing

58: cycle on $k$ vertices.  A polygon is \myem{contained} within another

59: polygon if all the vertices of the former are strictly contained within

60: the boundaries of the latter; the former is termed the \myem{inner}

61: polygon and the latter, the \myem{outer} polygon.  We say that $n$

62: polygons are \myem{nested} if the $(i+1)$st polygon is contained within

63: the $i$th polygon for all $1 \leq i < n$.  A triangle is a polygon of

64: size three and every hull is a convex polygon.

65: 

66: \figbox[r]{\boxeps{concentric.eps}{0.25}}{figure}{fig:concentric}{}

67: A rectilinear drawing of $K_n$ is called a \myem{nested triangle

68: drawing} if any pair of hulls of the drawing are nested

69: triangles.

70: 

71: Two polygons are \myem{concentric} if one polygon contains the other

72: polygon and any edge between the two polygons intersects neither the

73: inner nor the outer polygon.  Given two nested polygons, if the inner

74: polygon is not a triangle then the two polygons a priori cannot be

75: concentric.  A crossing of two edges is called a \myem{non-concentric

76: crossing} if one of its edges is on the inner hull and the other has

77: endpoints on the inner and outer hulls.

78: 

79: We know that the first hull of an optimal rectilinear drawing of

80: $K_9$ must be a triangle~\cite{Gu72}.  Furthermore, in

81: Subsection~\ref{sec:K_10} we will reproduce a theorem from \cite{Si71},

82: that the outer two hulls of a rectilinear drawing of $K_9$ must be

83: triangles.

84: 

85: \figbox[l]{\boxeps{colours.eps}{0.25}}{figure}{fig:colours}{}

86: For clarity, we colour the outer triangle red, the second triangle

87: green, and the inner triangle blue.  The vertices of a triangle take on

88: the same colour as the triangle, and an edge between two vertices is

89: labeled by a colour pair, e.g., red-blue (rb).  A crossing of two edges

90: is labeled by the colours of the comprising edges, e.g.,

91: red-blue$\times$red-green (\Xng{rb}{rg}).  A crossing is called

92: \myem{2-coloured} if only two colours are involved in the crossing.

93: This occurs when both edges are incident on the same two triangles,

94: e.g., \Xng{rg}{rg}, or when one of the edges belongs to the triangle

95: \figbox[l]{\boxeps{crossing.eps}{0.25}}{figure}{fig:crossing}{} 

96: that the other edge is incident on, e.g., \Xng{rg}{gg}.  A

97: \myem{3-coloured} crossing is one where the two edges that are involved

98: are incident on three different triangles, e.g., \Xng{rb}{rg}.

99: A \myem{4-coloured} crossing is defined similarly.

100: 

101: Crossings may be referred to by their full colour specification, the

102: colours of an edge comprising the crossing, or the colour of a vertex

103: comprising the crossing.  For example, an \Xng{rg}{rb}\ crossing is

104: fully specified by the four colours, two per edge; the crossing is also

105: a red-blue crossing and a red-green crossing because one of the edges

106: is coloured red-blue and the other is coloured red-green.  Since the

107: edges of the crossing are incident on the red, green and blue vertices,

108: the crossing may also be called red, green or blue; a \Xng{rg}{rg}\ 

109: crossing is neither red-blue nor blue.

110: 

111: 

112: \subsection{Configurations}

113: \figbox[l]{\boxeps{ccc.eps}{0.25}}{figure}{fig:ccc}{CCC}

114: Given a nested triangle drawing of $K_6$, a \myem{kite} is a set of

115: three edges radiating from a single vertex of the outer triangle to

116: each of the vertices of the inner triangle.  A kite comprises four

117: vertices:  the origin vertex, labeled $o$, from which the kite

118: originates, and three internal vertices.  The internal vertices are

119: labeled in a clockwise order, with respect to the origin vertex,  by

120: the labels left ($l$), middle ($m$), and right $(r)$; the angle

121: $<\!\!lor$ must be acute.  The kite also has three edges, two outer

122: edges, $(o,l)$ and $(o,r)$, and the inner edge $(o,m)$.  The origin

123: \figbox[r]{\boxeps{vvv.eps}{0.25}}{figure}{fig:vvv}{VVV} 

124: vertex corresponds to the vertex on the outer triangle and the middle

125: vertex is located within the sector defined by $<\!\!lor$; see

126: Figure~\ref{fig:ccc}.  A kite is called \myem{concave} if $m$ is

127: contained within the triangle $\Delta lor$, see Figure~\ref{fig:ccc},

128: and is called \myem{convex} if $m$ is not contained in the triangle

129: $\Delta lor$, see Figure~\ref{fig:vvv}.  We shall denote a convex kite

130: by V and a concave kite by C.  A vertex is said to be inside a kite if

131: it is within the convex hull of that kite, otherwise the vertex is said

132: to be outside the kite.

133: 

134: \figbox[r]{\boxeps{cvv_a.eps}{0.25}}{figure}{fig:cvv_a}{CVV}

135: %\figbox[l]{\boxeps{cvv_s.eps}{0.25}}{figure}{fig:cvv_s}{CVV}

136: A \myem{configuration} of kites is a set of three kites in a nested

137: triangle drawing of $K_6$.  Each kite originates from a different

138: vertex of the outer triangle and is incident on the same inner triangle.

139: There are four different configurations: CCC, CCV, CVV, and VVV,

140: corresponding to the number of concave and convex kites in the

141: drawing.

142: 

143: \figbox[r]{\boxeps{ccv_s.eps}{0.25}}{figure}{fig:ccv_s}{Unary CCV}

144: A configuration determines how many non-concentric crossings there are,

145: i.e., the number of edges intersecting the inner triangle; CCC has zero,

146: CCV has one, CVV has two, and VVV has three non-concentric edge

147: crossings.  A \myem{sub-configuration} corresponds to the number of

148: distinct middle vertices of concave kites; this can vary depending on

149: whether the concave kites share the middle vertex.

150: 

151: \begin{remark}

152: A CCV configuration is the only one that has more than one

153: sub-configuration.  A VVV configuration has no concave kites, a

154: CVV configuration has only one concave kite, and in a CCC

155: configuration no two kites share a middle vertex.  

156: \end{remark}

157: 

158: In configuration CCC, Figure~\ref{fig:ccc}, there are three distinct

159: middle vertices of concave kites, and in configuration VVV,

160: Figure~\ref{fig:vvv}, there are zero because there are no concave

161: kites.  Configuration CVV, Figure~\ref{fig:cvv_a}, has only one

162: middle vertex that belongs to a concave kite because it has only one

163: concave kite.

164: 

165: \figbox[l]{\boxeps{ccv_a.eps}{0.25}}{figure}{fig:ccv_a}{Binary CCV}

166: The configuration CCV has two sub-configurations; the first, termed

167: \myem{unary}, has one middle vertex that is shared by both concave

168: kites; see Figure~\ref{fig:ccv_s}.  The second, termed \myem{binary},

169: has two distinct middle vertices belonging to each of the concave

170: kites; see Figure~\ref{fig:ccv_a}.

171: 

172: \begin{theorem}\label{thm:config}

173: A nested triangle drawing of $K_6$ belongs to one of the four

174: configurations: CCC, CCV, CVV or VVV.

175: \end{theorem}

176: \begin{proof}

177: According to~\cite{HoDCM} there are exactly two different rectilinear

178: drawings of $K_4$, of which the convex hull is either a triangle or a

179: quadrilateral.  The former has no crossings and corresponds to the

180: concave kite.  The latter has one crossing and corresponds to the

181: convex kite.

182: 

183: Since the drawing is comprised of nested triangles, a kite originates 

184: at each of the three outer vertices.  Since the vertices are non-collinear,

185: each of the kites is either convex or concave.  The drawing can have,

186: zero (CCC), one (CCV), two (CVV), or three (VVV) convex kites, with the

187: rest being concave.  

188: \end{proof}

189: 

190: \begin{lemma}\label{lem:cfg_concave}

191: If $m$ is a middle vertex of a concave kite in a nested triangle

192: drawing of $K_6$, then $m$ is contained within a quadrilateral 

193: composed of kite edges.

194: \end{lemma}

195: \begin{proof}

196: \figbox[l]{\boxeps{contain.eps}{0.25}}{figure}{fig:contain}{}

197: Let $\kappa$ be a concave kite in a nested triangle drawing with the

198: standard vertex labels $o$, $l$, $m$, and $r$.  Since $\kappa$ is

199: concave, the middle vertex $m$ is within the triangle $\Delta lor$.

200: The vertices $l$ and $r$ determine a line that defines a half-plane $p$ 

201: that does not contain $\kappa$.  Since the vertices $l$, $m$, and $r$

202: comprise the inner triangle of the drawing and must be contained within

203: the outer triangle, there must be an outer triangle vertex located

204: in the half-plane $p$.  Denote this vertex by $\op$ and note that a

205: kite originates from it; hence, there are kite edges $(\op,l)$ and

206: $(\op,r)$.  Thus, $m$ is contained within the quadrilateral

207: $(o,l,\op,r)$.  

208: \end{proof}

209: 

210: \begin{corollary}\label{cor:contain}

211: If $m$ is a middle vertex of a concave kite in a nested triangle 

212: drawing of $K_6$ and an edge $(v,m)$, originating outside the 

213: drawing, is incident on $m$, then the edge $(v,m)$ must cross one of

214: the kite edges.

215: \end{corollary}

216: 

217: \begin{remark}[Containment Argument]\label{rem:cont_arg}

218: Lemma~\ref{lem:cfg_concave} uses what will henceforth be referred to 

219: as the containment argument.  Consider two vertices contained in a

220: polygon.  These vertices define a line that bisects the plane.

221: In order for these vertices to be contained within the polygon, the two

222: half-planes must each contain at least one vertex of the polygon.

223: Similarly, if a vertex is contained inside two nested polygons and has

224: edges incident on all vertices of the outer polygon, then at least two

225: distinct edges of the inner polygon must be crossed by edges incident on

226: the contained vertex.

227: \end{remark}

228: 

229: \begin{lemma}[Barrier Lemma]\label{lem:barrier}

230: Let $o_1$, $o_2$, and $o_3$ be the outer vertices of a nested triangle

231: \figbox[r]{\boxeps{barx.eps}{0.25}}{figure}{fig:barx}{}

232: drawing of $K_6$, let $w$ be an inner vertex of the drawing, and

233: let $u$ and $v$ be two additional vertices located outside the outer 

234: triangle of the drawing.  If the edge $(u,w)$ crosses $(o_1,o_2)$

235: and the edge $(v,w)$ crosses $(o_2,o_3)$, then the total number of

236: kite edge crossings contributed by $(u,w)$ and $(v,w)$ is at least 

237: two.

238: \end{lemma}

239: \begin{proof}

240: \figbox[r]{\boxeps{barrier.eps}{0.25}}{figure}{fig:barrier}{}

241: If both edges $(u,w)$ and $(v,w)$ each cross at least one kite edge,

242: then we are done.  Without loss of generality, assume that $(u,w)$ does

243: not cross any kite edges.  Let $w_1$ and $w_2$ be the other two

244: inner vertices, and consider the path $(o_1,w_1,o_2)$.  Since edge

245: $(u,w)$ does not intersect the path, $(o_1,w_1,o_2)$ creates a barrier on 

246: the other side of path $(o_1,w,o_2)$.  The same argument with edge 

247: $(u,w)$ applies to path $(o_1w_2o_2)$, hence two barriers are present, 

248: forcing two crossings.

249: \end{proof}

250: 

251: To deal with the unary CCV configuration, see Figures~\ref{fig:ccv_s} and

252: \ref{fig:ccv_match}, we need to say something about the orientation of

253: the kites.  In a unary CCV configuration, the labels of the internal

254: vertices of the two concave kites must match; given a label, left,

255: middle, or right, and a vertex, it is impossible to distinguish one

256: concave kite from the other.  For example, the left vertex of one concave 

257: \figbox[l]{\boxeps{ccv_match.eps}{0.25}}{figure}{fig:ccv_match}{Inside the

258: unary CCV}

259: kite is also the left vertex of the other concave kite.

260: 

261: \begin{lemma}\label{lem:shared}

262: If a nested triangle drawing of $K_6$ is in a unary CCV configuration,

263: then all three internal vertices of the two concave kites share the same 

264: labels.

265: \end{lemma}

266: \begin{proof}

267: Since the two concave kites share the same middle vertex, there are two

268: possible cases.  Either the labels of the internal vertices match, in 

269: which case we are done.  Otherwise, the left and right labels are 

270: interchanged.  By way of contradiction, assume that they are 

271: interchanged; this implies that the kites are disjoint, i.e. do not

272: overlap.  Consequently, they cannot share the middle vertex that is inside

273: both of the kites; this is contradiction.

274: \end{proof}

275: 

276: Lemma~\ref{lem:shared} implies that both concave kites are in the

277: half-plane defined by their left and right vertices, which contains the

278: shared middle vertex.  Moreover, by the containment argument 

279: (Remark~\ref{rem:cont_arg}), the convex kite must be in the other

280: half-plane.  Furthermore, no two kites in a CCC configuration share a

281: middle vertex.  

282: 

283: Just like the Barrier Lemma, the Kite Lemma, CCC Lemma, and $K_5$

284: Principle Lemma, are general lemmas that are used to derive properties

285: \figbox[l]{\boxeps{2kites.eps}{0.25}}{figure}{fig:2kites}{}

286: of specific drawings.

287: 

288: \begin{lemma}[Kite Lemma]\label{lem:kites}

289: Let $\kappa_1 = (o_1,l,m,r)$ and $\kappa_2 = (o_2,l,m,r)$ be two concave 

290: kites such that they share the same internal vertices, the internal

291: vertices are labeled identically, and kite $\kappa_2$ does not contain 

292: vertex $o_1$ within it.  Let $A$ be the intersection of the sectors give 

293: by $<\!\!lo_1r$ and $<\!\!lmr$.  If $p$ is a vertex located in region $A$ 

294: and is noncollinear with any other pair vertices, then the edge $(o_1,p)$ 

295: must cross edge $(o_2,l)$ or edge $(o_2,r)$.

296: \end{lemma}  

297: \begin{proof}

298: Either vertex $o_2$ is contained in kite $\kappa_1$ or not.  If $o_2$ is

299: inside $\kappa_1$, then, because kite $\kappa_2$ is concave, a barrier 

300: path $(l,o_2,r)$ is created between vertex $o_1$ and vertex $p$.  Hence,

301: edge $(o_1,p)$ must cross the path $(l,o_2,r)$, intersecting one of the

302: path's two edges.

303: 

304: \figbox[r]{\boxeps{sidekite.eps}{0.25}}{figure}{fig:sidekite}{}

305: If vertex $o_2$ is not contained in kite $\kappa_1$, then assume, that

306: vertex $o_2$ is on the left side of kite $\kappa_1$ (clockwise with

307: respect to $o_1$).  The edge $(o_2,r)$ defines a half-plane that

308: separates vertex $p$ from vertex $o_1$.  Furthermore, the segment

309: defining the half-plane located within the sector $<\!\!lo_1r$

310: corresponds to part of the edge $(o_2,r)$.  Since the edge $(o_1,p)$

311: must be within the sector $<\!\!lo_1r$, it must cross edge $(o_2,r)$.

312: 

313: If vertex $o_2$ is on the right, by a similar argument, the edge

314: $(o_1,p)$ will cross edge $(o_2,l)$.

315: \end{proof}

316: 

317: \begin{lemma}[CCC Lemma]\label{lem:ccc_lem}

318: Given three kites in a CCC configuration,

319: denote the internal vertices $i_1$, $i_2$, $i_3$, and outer vertices

320: $o_1$, $o_2$, $o_3$ such that the middle vertex of a kite originating

321: \figbox[r]{\boxeps{ccc_setup.eps}{0.25}}{figure}{fig:ccc_setup}{}

322: at $o_j$ is $i_j$.  Let $A$ be the region defined by the intersection

323: of sectors $<\!\!i_1o_2i_3$, $<\!\!i_2o_3i_1$, and $<\!\!i_3o_1i_2$.

324: Let vertex $u$ not be contained in any kite, let vertex $v$ be located in 

325: region $A$, and assume that no three vertices are collinear.  The edge 

326: $(u,v)$ must cross at least two kite edges.

327: \end{lemma}

328: \begin{proof}

329: \figbox[r]{\boxeps{ccc_lem.eps}{0.25}}{figure}{fig:ccc_lem}{}

330: Using the kite edges we construct two polygons $(o_3,i_2,o_1,i_1,o_3)$

331: and $(o_2,i_3,o_1,i_1,o_2)$.  Since both polygons contain region $A$ and

332: since the only shared edge, is a middle edge, edge $(u,v)$ must cross

333: into both polygons, contributing at least one kite edge crossing from

334: each.  

335: \end{proof}

336: 

337: \begin{lemma}[$K_5$ Principle]\label{lem:k5_princ}

338: Let a drawing of $K_n$ have a triangular convex hull with the hull

339: coloured red and $n-3$ vertices contained within it coloured green.

340: The drawing has exactly $\binom{n-3}{2}$ \Xng{rg}{rg}\ edge crossings.

341: \end{lemma}

342: \begin{proof}

343: \figbox[l]{\boxeps{k5princ.eps}{0.25}}{figure}{fig:k5princ}{$K_5$ principle}

344: Select a pair of green vertices and remove all other green vertices

345: from the drawing.  This forms a $K_5$ with exactly one \Xng{rg}{rg}\

346: edge crossing that is uniquely identified by the two green vertices.

347: Since there are $\binom{n-3}{2}$ pairs of green vertices, there must be

348: $\binom{n-3}{2}$ \Xng{rg}{rg}\ edge crossings.  

349: \end{proof}

350: 

351: 

352: \section{The Proof}

353: Using configurations to abstract the vertex positions in drawings we

354: are now ready to combinatorially compute $\reccr{K_9}$ and

355: $\reccr{K_{10}}$.  We first reproduce the results from \cite{Si71} and

356: \cite{Gu72} proving that $\reccr{K_9} = 36$ and use these results to

357: show that $\reccr{K_{10}} = 62$.

358: 

359: The argument is as follows:  

360: \begin{enumerate}

361: \item Since $\reccr{K_{10}} \geq 61$, assume $\reccr{K_{10}} = 61$.

362: \item If $\reccr{K_{10}} = 61$ then the convex hull of an optimal of 

363:       $K_{10}$ must be a triangle.

364: \item If the convex hull of a drawing of $K_{10}$ is triangular then

365:       that drawing has 62 or more crossings, contradiction.

366: \item Therefore, $\reccr{K_{10}} \geq 62$

367: \end{enumerate}

368: 

369: \subsection{The Rectilinear Crossing Number of $K_9$}\label{sec:K_9}

370: We know from \cite{Si71} and \cite{Gu72} that the convex hull of an

371: optimal rectilinear drawing of $K_9$ must be a triangle.  By a

372: counting argument in~\cite{Si71}, the drawing must be composed of three

373: nested triangles, which we colour red, green, and blue.  Furthermore, the 

374: same paper argues that the red and green triangles are pairwise

375: concentric.  We derive these results for completeness.

376: 

377: As mentioned in the introduction, the rectilinear crossing numbers of

378: $K_6$ and $K_9$ are 3 and 36 respectively (see Table~\ref{tab:small_cr}); 

379: we make use of these facts throughout the following proofs.  We first

380: reproduce a result from~\cite{Si71} that states that an optimal

381: rectilinear drawing of $K_9$ must comprise of three nested triangles.

382: 

383: \begin{lemma}[Singer, \cite{Si71}]\label{lem:nested}

384: An optimal rectilinear drawing of $K_9$ consists of three nested 

385: triangles.

386: \end{lemma}

387: \begin{proof}

388: That the convex hull of an optimal rectilinear drawing of $K_9$ is a

389: triangle has been shown in~\cite{Gu72} and~\cite{Si71}.  Using a

390: counting technique similar to~\cite{Si71}, consider a drawing

391: composed of a red triangle that contains a green convex quadrilateral

392: that contains two blue vertices.  By the $K_5$ principle there are

393: $\binom{4}{2} = 6$ \Xng{rg}{rg}\ crossings.  At least two \Xng{rg}{gg}\

394: crossings are present because a convex quadrilateral cannot be

395: concentric with a triangle.  Selecting one green and one blue vertex at

396: a time and applying the $K_5$ principle yields, $4\cdot2 = 8$

397: \Xng{rb}{rg}\ crossings.  Six \Xng{rb}{gg}\ crossings are due to the

398: red-blue edges entering the green quadrilateral.  Applying the $K_5$

399: principle to the blue vertices yields one \Xng{rb}{rb}\ crossing.

400: There are $2 + 4 = 6$

401: \figbox[r]{\mbox{ \begin{tabular}{|l|l|}\hline

402: Crossing        & Count \\ \hline

403: \Xng{rg}{rg}    & 6 \\

404: \Xng{rg}{gg}    & 2 \\

405: \Xng{rb}{rg}    & 8 \\

406: \Xng{rb}{gg}    & 6 \\

407: \Xng{rb}{rb}    & 1 \\

408: \Xng{gg}{gg}    & 1 \\

409: \Xng{gb}{gg}    & 4 \\

410: \Xng{gb}{gb}    & 2 \\

411: \Xng{rb}{gb/gg} & 8 \\ \hline

412: Total           & 38 \\ \hline

413: \end{tabular}}}{table}{tab:nested}{Crossing contributions}

414: \Xng{gb}{gb}\ and \Xng{gb}{gg}\ crossings; the green quadrilateral is

415: initially partitioned into four parts by one \Xng{gg}{gg}\ crossing,

416: adding the first blue vertex creates two \Xng{gb}{gg}\ and adding the

417: second vertex creates two more \Xng{gb}{gg}\ crossings and two

418: \Xng{gb}{gb}\ crossings.  This totals 30 crossings.  An additional

419: eight \Xng{rb}{gb}\ and \Xng{rb}{gg}\ crossings occur inside the green

420: quadrilateral, four per blue vertex, totaling 38 crossings, which is

421: greater than the optimal 36.  By a similar argument any drawing whose

422: second hull is not a triangle will also be non-optimal; see 

423: Appendix~\ref{sec:k9_app}.

424: \end{proof}

425: 

426: Lemmas \ref{lem:2colour}, \ref{lem:non_conc}, \ref{lem:rb-gg}, 

427: \ref{lem:rb-rg}, and \ref{lem:internal}, count the number of different

428: crossings in an optimal drawing of $K_9$, making use of the nested

429: triangle property of Lemma~\ref{lem:nested}.

430: 

431: \begin{lemma}\label{lem:2colour}

432: A rectilinear drawing of $K_9$ comprising of nested triangles has a

433: minimum of three 2-coloured crossings of red-green, red-blue, and

434: green-blue.

435: \end{lemma}

436: \begin{proof}

437: Select two of the three red, green, and blue triangles.  These two

438: triangles form a nested triangle drawing of $K_6$ with three 2-colour

439: crossings.  Hence, there are three 2-colour edges of each type.

440: \end{proof}

441: 

442: \begin{lemma}\label{lem:non_conc}

443: A rectilinear drawing of $K_6$ comprising of nested non-concentric 

444: triangles has more than three crossings.

445: \end{lemma}

446: \begin{proof}

447: Let the outer triangle be red and the inner green.  By the $K_5$

448: Principle (Lemma~\ref{lem:k5_princ}) there are three \Xng{rg}{rg}\ edge

449: crossings.  If the two triangles are non-concentric then there is at

450: least one \Xng{rg}{gg}\ crossing.  

451: \end{proof}

452: 

453: \begin{lemma}\label{lem:rb-gg}

454: A rectilinear drawing of $K_9$ comprising of nested triangles has 

455: exactly nine \Xng{rb}{gg}\ crossings.  

456: \end{lemma}

457: \begin{proof}

458: The red triangle contains the green triangle and the green triangle

459: contains the blue triangle.  Therefore, every red-blue edge must cross

460: into the green triangle.  Since there are nine red-blue edges, there

461: are nine \Xng{rb}{gg}\ crossings.

462: \end{proof}

463: 

464: \begin{lemma}\label{lem:rb-rg}

465: A rectilinear drawing of $K_9$ comprising of nested triangles has at least 

466: nine \Xng{rb}{rg}\ crossings.  

467: \end{lemma}

468: \begin{proof}

469: The are three green and three blue vertices, thus there are nine unique 

470: green-blue pairs of vertices.  By the $K_5$ principle, each pair contributes

471: exactly one \Xng{rg}{rb}\ crossing.  Hence, a nested triangle drawing

472: of $K_9$ has exactly nine \Xng{rg}{rb}\ crossings.

473: \end{proof}

474: 

475: We call a crossing \myem{internal} if it is coloured either \Xng{rb}{gb}\ 

476: or \Xng{gb}{bb}.  The set of internal crossings consists of all

477: internal crossings in a drawing.  Intuitively, all internal

478: crossings take place within the green triangle.  We call a red-blue

479: kite \myem{full} if it contains a green vertex; otherwise we call it

480: \myem{empty}.  Intuitively a full red-blue kite contains a green-blue

481: kite.

482: 

483: \begin{lemma}\label{lem:internal}

484: The number of internal crossings in a nested triangle drawing of

485: $K_9$ is at least nine.

486: \end{lemma}

487: \begin{proof}

488: We make use of the fact that the green and blue triangles form a $K_6$

489: and that any rectilinear drawing of $K_6$ falls into one of the

490: five configurations: CCC, VVV, CVV, binary CCV, and unary CCV.  The

491: proof is by case analysis on the green-blue $K_6$ sub-drawing.  The

492: green-blue $K_6$ is drawn in one of the five configurations:

493: 

494: \noindent{\bf CCC configuration:\ }

495: Since each of the blue vertices is a middle vertex of a concave kite,

496: and all middle labels are distinct, by Corollary~\ref{cor:contain} each

497: of the nine red-blue edge crosses one green-blue edge, hence there are

498: nine \Xng{rb}{gb}\ crossings.

499: 

500: \noindent{\bf VVV or CVV configuration:\ }

501: If the drawing is in a VVV configuration, by the Barrier Lemma

502: (Lemma~\ref{lem:barrier}) there are two \Xng{rb}{gb}\ crossings per

503: blue vertex.  Adding the three \Xng{gb}{bb}\ crossings yields nine.  In

504: the CVV configuration one of the blue vertices is responsible for at

505: least three \Xng{rb}{gb}\ crossings rather than two; adding the two

506: \Xng{gb}{bb}\ crossings yields the required result.

507: 

508: \noindent{\bf Binary CCV configuration:\ }

509: Note that two of the blue vertices are responsible for three

510: \Xng{rb}{gb}\ crossings, and the third vertex is responsible for two.

511: \figbox[r]{\boxeps{ccv_split.eps}{0.25}}{figure}{fig:ccv_split}{Partition of

512: Drawing}

513: Adding the single \Xng{gb}{bb}\ crossing yields nine.

514: 

515: \noindent{\bf Unary CCV configuration:\ }

516: In the case of the unary CCV configuration, the drawing is

517: partitioned into a heavy and light part by extending the blue edges

518: incident on the middle vertex of the convex kite; see

519: Figure~\ref{fig:ccv_split}.  A red-blue kite whose origin vertex is in

520: the heavy side of the drawing is responsible for four or six

521: \Xng{rb}{gb}\ crossings while a red-blue kite originating in the light

522: side of the partition is responsible for three crossings if it is

523: empty, and one crossing if it is full; the six edge crossings occur if

524: there is an empty red-blue kite between the two concave kites.  In

525: order for the green triangle to be nested within the red, by the 

526: containment argument, at least one of the red-blue kites must originate 

527: in the heavy partition.  This implies that in order to get fewer than

528: \figbox[r]{\boxeps{twofull.eps}{0.25}}{figure}{fig:twofull}{}

529: eight \Xng{rb}{gb}\ crossings, two of the red-blue kites must be full and

530: contain the green-blue kite in the light partition.  This implies that

531: the third red-blue kite must be an empty kite between the two concave

532: red-green kites.  Since this kite is responsible for six crossings,

533: it follows that there are at least eight \Xng{rb}{gb}\ crossings and

534: therefore at least nine internal crossings.  \end{proof}

535: 

536: Singer's Theorem~\cite{Si71} follows from the previous lemmas.  A

537: stronger version of the theorem is given next.

538: 

539: \begin{theorem}\label{thm:optimal_k9}

540: An optimal rectilinear drawing of $K_9$ consists of three nested

541: triangles.  Furthermore, the red and green triangles, and the red and

542: blue triangles are concentric.

543: \end{theorem}

544: \begin{proof}

545: The first part of the statement is proven in~\cite{Gu72} and the

546: counting argument in Lemma~\ref{lem:nested}.

547: 

548: \figbox[l]{\mbox{ \begin{tabular}{|l|l|}\hline

549: Contribution                & Count \\ \hline

550: Lemma~\ref{lem:2colour}     & $\geq 9$ \\

551: Lemma~\ref{lem:rb-gg}       & $9$ \\

552: Lemma~\ref{lem:rb-rg}       & $9$ \\

553: Lemma~\ref{lem:internal}    & $\geq 9$ \\ \hline

554: Total                       & $\geq 36$ \\ \hline

555: \end{tabular}}}{table}{tab:optimal_k9}{Lower bound}

556: Putting Corollary~\ref{lem:2colour}, Lemma~\ref{lem:rb-gg}, and

557: Lemma~\ref{lem:rb-rg} together accounts for 27 of the 36 crossings in

558: an optimal drawing.  Lemma~\ref{lem:internal} states that there are

559: at least nine internal crossings.  Since $\reccr{K_9} = 36$, the number

560: of \Xng{rg}{gg}\ and \Xng{rb}{bb}\ crossings must be zero; this implies 

561: concentricity.

562: \end{proof}

563: 

564: \begin{corollary}\label{cor:nine_max}

565: An optimal rectilinear drawing of $K_9$ has at most nine \Xng{rb}{gb}\ 

566: crossings, at most two \Xng{gb}{bb}\ crossings and the total number of 

567: internal crossings is exactly nine.  

568: \end{corollary}

569: \begin{proof}

570: By Theorem~\ref{thm:optimal_k9}, an optimal drawing of a $K_9$ has 36

571: crossings.  Referring to Table~\ref{tab:optimal_k9}, an optimal

572: drawing has at least 27 non-internal edge crossings (Lemmas

573: \ref{lem:2colour}, \ref{lem:rb-gg}, and \ref{lem:rb-rg}).  By

574: Lemma~\ref{lem:internal}, there are at least nine internal edge

575: crossings and hence, an optimal drawing has exactly nine internal edge

576: crossings.

577: 

578: Three \Xng{gb}{bb} crossing occur if the green-blue $K_6$ part of the

579: drawing has configuration VVV.  However by a Barrier argument similar

580: to Lemma~\ref{lem:barrier} the configuration VVV creates nine

581: \Xng{rb}{gb}\ crossings plus three \Xng{gb}{bb}\ crossings, which

582: totals 12 internal crossings and cannot occur in an optimal drawing

583: of $K_9$.  Consequently at most two \Xng{gb}{bb}\ crossings may occur.

584: \end{proof}

585: 

586: 

587: \subsubsection{Optimal $K_9$ Drawings}

588: One is tempted to believe that an optimal drawing of $K_9$ is 

589: necessarily comprised of three nested triangles that are pairwise 

590: concentric.  However, this belief is fallacious, as is shown in

591: Figures~\ref{fig:k9_ccv} and~\ref{fig:k9_cvv}.

592: \figbox[h]{\boxeps{k9_ccc.eps}{0.35}}{figure}{fig:k9_ccc}{Blue-Green 

593: CCC Drawing}

594: \figbox[h]{\boxeps{k9_ccv.eps}{0.35}}{figure}{fig:k9_ccv}{Blue-Green 

595: CCV Drawing}

596: \figbox[h]{\boxeps{k9_cvv.eps}{0.35}}{figure}{fig:k9_cvv}{Blue-Green 

597: CVV Drawing}

598: 

599: 

600: \subsection{The Rectilinear Crossing Number of $K_{10}$}\label{sec:K_10}

601: We begin by reproducing a proof from~\cite{Si71} that $\reccr{K_{10}}

602: > 60$.  Since Singer~\cite{Si71,Ga86} exhibited a 62 crossing

603: rectilinear drawing of $K_{10}$, it follows that $61 \leq

604: \reccr{K_{10}} \leq 62$.

605: 

606: \begin{theorem}[Singer, \cite{Si71}]\label{thm:singer}

607: $\reccr{K_{10}} > 60$.

608: \end{theorem}

609: \begin{proof}

610: By way of contradiction, assume that there exists a rectilinear

611: drawing of $K_{10}$ with 60 crossings.  Since each edge crossing

612: comprises of four vertices, the sum of responsibilities of each vertex

613: totals $4 \cdot 60$.  Therefore, the average responsibility of each

614: vertex is $\frac{4 \cdot 60}{10} = 24$.  Furthermore, each vertex in

615: the drawing is responsible for exactly 24 edge crossings.  For if a

616: vertex is responsible for more than 24 edge crossings, then removing

617: the vertex from the drawing yields a drawing of $K_9$ with fewer than

618: 36 edge crossings, which contradicts $\reccr{K_9}= 36$.  Similarly, if

619: the drawing has a vertex that is responsible for fewer than 24

620: crossings, then by the averaging argument, there must be a vertex that

621: is responsible for more than 24 crossings, leading to the same

622: contradiction.  Therefore, each vertex is responsible for 24

623: crossings.  Thus, any drawing of $K_{10}$ with 60 crossings contains an

624: optimal drawing of $K_9$.

625: 

626: Starting with an optimal drawing of $K_9$ we try to place the tenth 

627: vertex.  We have two choices; either place it such that one of the

628: hulls of the $K_{10}$ drawing is a convex quadrilateral or the

629: drawing comprises of nested triangles with a vertex in the inner

630: triangle.  In the latter case, the edge connecting the tenth vertex to

631: one of the outer triangle vertices must intersect an inner triangle

632: edge. Removing the inner triangle vertex that is opposite the

633: intersected edge creates a drawing of $K_9$ that fails the

634: concentricity condition.  Hence, the latter drawing will not be

635: optimal.  If the former situation arises there are two subcases.  If

636: the quadrilateral is the outer or the second hull, then removing an

637: inner vertex creates a non-optimal $K_9$ drawing, which is a

638: contradiction.  If the innermost hull is a convex quadrilateral, then

639: a priori it is not concentric with the outer triangle.  Let $b$ be

640: the vertex such that there is an edge from it to a vertex in the

641: outer triangle that intersects the quadrilateral.  Remove a vertex from

642: the quadrilateral that is antipodal to $b$.  This creates a non-optimal

643: $K_9$ drawing.  The result follows.  By an identical argument any 

644: rectilinear drawing of $K_{10}$ cannot have fewer than 60 crossings.

645: \end{proof}

646: 

647: Next, we study drawings of $K_{10}$ that have a nested triangle

648: sub-drawing of $K_9$ coloured in the standard way.  Let the tenth

649: vertex be coloured white; the responsibility of the tenth vertex is the

650: number of white crossings in the corresponding drawing of $K_{10}$.

651: The following technical Lemma is needed in the proof of Theorem

652: ~\ref{thm:inner}.  This Lemma gives a lower bound on some of the white

653: crossings that occur within the green triangle.

654: 

655: \begin{lemma}\label{lem:rw-bw-x}

656: If a white vertex is added to a nested triangle drawing of $K_9$ such

657: that it is contained in the green triangle, then at least six crossings 

658: must exist of the types \Xng{rw}{gb}, \Xng{rb}{bw}, \Xng{gb}{bw}, and 

659: \Xng{rg}{gg}.

660: \end{lemma}

661: \begin{proof}

662: At least two of the red-white edges must cross into the green triangle

663: on distinct green-green edges as a consequence of the nested triangle

664: requirement and the containment argument.  Select two of the three

665: red-white edges such that they cross into the green triangle on distinct

666: green-green edges and such that the total number of \Xng{rw}{gb}\

667: crossings is minimized.  Let $c_1$ and $c_2$ be the number of

668: \Xng{rw}{gb}\ crossings for which each of the two red-white edges is

669: responsible and assume, without loss of generality, that $c_1 \leq c_2$.

670: The lower bound on the total number of \Xng{rw}{gb}\ crossings is $2c_1

671: + c_2$.  We say that the red-white edge of lesser responsibility ($c_1$)

672: has \myem{weight two}, and we say that the other red-white edge, of

673: responsibility $c_2$, has \myem{weight one}.

674: 

675: Upon examining \Xng{rw}{gb}\ crossings the proof falls into three main 

676: cases corresponding to the numbers of \Xng{rw}{gb}\ crossings; if there

677: are six or more \Xng{rw}{gb}\ crossings then we are done.  We consider

678: the cases when the number of \Xng{rw}{gb}\ crossings is $\{0,1,2\}$, 

679: $\{3\}$, and $\{4,5\}$, the latter being the most challenging.

680: 

681: \noindent{\bf Case 1: 0, 1, or 2 \Xng{rw}{gb}\ crossings}\\

682: By the Barrier Lemma, every blue vertex forces at least one

683: \Xng{rw}{gb}\ crossing.  Hence, there must be at least three

684: \Xng{rw}{gb}\ crossings.

685: 

686: \noindent{\bf Case 2: 3 \Xng{rw}{gb}\ crossings}\\ 

687: Considering only the \Xng{rw}{gb}\ crossings, the configuration that

688: minimizes the number of \Xng{rw}{gb}\ crossings occurs when the

689: \figbox[r]{\boxeps{min3.eps}{0.25}}{figure}{fig:min3}{}

690: red-white edge of weight two crosses zero green-blue edges and the

691: red-white edge of weight one crosses three.  However, we must consider

692: blue-white edges also; by the Barrier principle one of the blue-white

693: edges must cross at least two green-blue edges, and the other must

694: cross at least one.  This brings the total up to at least six.

695: 

696: \noindent{\bf Case 3: 4 or 5 \Xng{rw}{gb}\ crossings}\\

697: Assume there are at least four \Xng{rw}{gb}\ crossings.  If there are

698: two or more \Xng{gb}{bw}\ crossings then we are done.  It remains to

699: consider two subcases: that of zero or one \Xng{gb}{bw}\ crossings.

700: 

701: \noindent{\bf Subcase 3.1: $0$ \Xng{gb}{bw}\ crossings} \\

702: Assume there are zero \Xng{gb}{bw}\ crossings.  This case can only occur 

703: when no green-blue edge intersects the blue triangle, i.e., the

704: \figbox[l]{\boxeps{free.eps}{0.25}}{figure}{fig:free}{}

705: green-blue kites are in a CCC configuration because there are no

706: \Xng{gb}{bb}\ crossings.  The white vertex is in the green-blue

707: free zone; a \myem{free zone} consists of all regions of a nested

708: triangle drawing of $K_6$ where a seventh vertex can be placed such

709: that no kite edge blocks visibility of any inner vertices.  Note that

710: removal of the inner edges of all convex kites in a configuration

711: creates a free zone.  A free zone occurs naturally in a CCC

712: configuration.   

713: 

714: If there is a green-blue edge intersecting the blue triangle, then

715: there exists a green-blue-green path between two of the blue vertices

716: that forces at least one \Xng{gb}{bw}\ crossing.  Since the white

717: \figbox[l]{\boxeps{gbpart.eps}{0.25}}{figure}{fig:gbpart}{The path}

718: vertex must be in the naturally occurring green-blue free zone, i.e., a

719: green-blue CCC configuration, by the CCC Lemma (Lemma~\ref{lem:ccc_lem},

720: this forces every red-white edge to generate at least two \Xng{rw}{gb}\ 

721: crossings.  This yields a total of at least six crossings.

722: 

723: \begin{remark}

724: We reach a count of five crossings of the required type.  The remainder

725: of the proof is devoted to producing one more edge crossing of one of

726: the required types. 

727: \end{remark}

728: 

729: \noindent{\bf Subcase 3.2: $1$ \Xng{gb}{bw}\ crossing}\\

730: We now consider the \Xng{rb}{bw}\ crossings.  Consider the red-blue

731: kite configuration.  Either the configuration is a CCC or not.

732: 

733: \noindent{\bf Subcase 3.2.1: Non-CCC red-blue configuration}\\

734: Assume that the red-blue kite configuration is not in a CCC

735: configuration.  By the converse of the argument used in Subcase 3.1

736: there is at least one \Xng{rb}{bw}\ crossing.  Adding to the existing

737: five yields at least six distinct crossings of the required type.

738: This leaves only one case: the CCC red-blue configuration.

739: 

740: \noindent{\bf Subcase 3.2.2: CCC red-blue configuration}\\

741: We now consider the five subcases corresponding to the distinct

742: green-blue configurations within the red-blue CCC configuration.

743: 

744: \noindent{\bf Subcase 3.2.2.1: CCC green-blue configuration}\\

745: If the green-blue kites are in a CCC configuration, then this case is

746: covered by subcase 3.1.

747: 

748: \noindent{\bf Subcase 3.2.2.2: CVV and VVV green-blue configurations}\\

749: For every green-blue edge that intersects the blue triangle, there is

750: at least one \Xng{gb}{bw}\ edge crossing; see Figure~\ref{fig:gbpart}.  

751: Hence, if the green-blue kites are in a CVV or a VVV configuration then

752: we have at least two \Xng{gb}{bw}\ crossings.  This sums to at least

753: six crossings.

754: 

755: \noindent{\bf Subcase 3.2.2.3: Unary CCV green-blue configuration} \\

756: If the green-blue configuration is a unary CCV configuration then the red

757: and green triangles are not concentric; therefore, there is at least one

758: \Xng{rg}{gg}\ crossing.  Adding at least four \Xng{rb}{bw}\ crossings, and

759: at least one \Xng{gb}{bw} crossing, by the same argument as in subcase 

760: 3.2.2.2, yields at least six crossings.

761: 

762: \noindent{\bf Subcase 3.2.2.4: Binary CCV green-blue configurations}\\

763: We are now left with the case of a CCC red-blue kite configuration and

764: a binary CCV green-blue kite configuration with the white vertex either

765: inside the red-blue free zone or not.

766: 

767: If the white vertex is not inside the red-blue free zone then there is

768: at least one \Xng{rb}{bw}\ crossing, by the same argument used in

769: subcase 3.1, plus at least one \Xng{gb}{bw} crossing, by the same

770: argument as in subcase 3.2.2.2, plus at least four \Xng{rw}{gb}\ 

771: crossings.  The sum of these crossings is at least six.  

772: 

773: Thus, assume that the white vertex is in the red-blue free zone.  We

774: will argue that there must always be either at least five

775: \Xng{rw}{gb}\ crossings plus at least one \Xng{gb}{bw}\ crossing, or at

776: least four \Xng{rw}{gb}\ crossings plus at least two

777: \Xng{gb}{bw}\ crossings.

778: 

779: Consider the drawing minus the single green-blue edge in the only

780: convex green-blue kite, i.e., the inner edge of the convex kite.  This

781: creates a green-blue free zone, inside of which there are no

782: \Xng{gb}{bw}\ edge crossings.

783: 

784: \begin{remark}\label{rem:usekites}

785: In order to cross into the green-blue free zone, a red-white edge must

786: cross a green-blue edge.  Furthermore, if a green-blue kite and a

787: red-blue kite are both concave, and have their internal (blue) vertices

788: labeled identically, then we may invoke Lemma~\ref{lem:kites} (Kite

789: Lemma).  That is, the red-white edge, incident on the origin vertex

790: (red) of the red-blue kite, must cross into the concave green-blue kite

791: before crossing into the free zone.  This produces an additional

792: \Xng{rw}{gb}\ crossing.  

793: \end{remark}

794: 

795: The white vertex is either inside the green-blue free zone or not.

796: 

797: If the white vertex is inside the green-blue free zone, then the

798: red-blue CCC configuration together with the pigeon-hole principle

799: implies that we can match up a concave red-blue kite with each of the

800: two concave blue-green kites.  By remark~\ref{rem:usekites}, each of

801: these match-ups contribute at least two \Xng{rw}{gb}\ crossings, and

802: the third red-white edge contributes at least one \Xng{rw}{gb}\ 

803: crossing.  Thus, if the white vertex is in the green-blue free zone

804: there are five \Xng{rw}{gb}\ crossings.  By the argument used in

805: subcase 3.2.2.2, the single convex green-blue kite contributes to at

806: least one \Xng{gb}{bw}\ crossing.  Thus we get at least six crossings.

807: 

808: If the white vertex is outside the green-blue free zone, then we get at

809: least one \Xng{gb}{bw}\ crossing by the same argument used in subcase 3.1

810: and at least one \Xng{gb}{bw}\ crossing by the same argument used in

811: subcase 3.2.2.2.  Since we have at least four \Xng{rw}{gb}\ crossings

812: (case 3), we get a grand total of at least six crossings.

813: 

814: In all possible cases that can occur we have shown that the number of

815: crossings of the required type is at least six.

816: \end{proof}

817: 

818: Lemma~\ref{lem:nested} imposed a nested triangle requirement on any

819: optimal rectilinear drawing of $K_9$.  The following lemma imposes a

820: similar constraint on optimal rectilinear drawings of $K_{10}$.

821: 

822: \begin{lemma}\label{lem:tri_hull}

823: If $\reccr{K_{10}} = 61$ then the first two hulls of an optimal 

824: rectilinear drawing of $K_{10}$ must be triangles.

825: \end{lemma}

826: \begin{proof}

827: By way of contradiction, assume that there exits an optimal rectilinear

828: drawing of $K_{10}$ whose convex hull is not a triangle and 61 edge

829: crossings.  By the same averaging argument used in

830: Theorem~\ref{thm:singer}, at least four of the vertices are responsible

831: for 25 edge crossings; removing any of them yields an optimal drawing

832: of $K_9$ with 36 crossings.  If any of the vertices with responsibility

833: 25 are not on the convex hull, then removing such a vertex yields a

834: drawing of $K_9$ with a non-triangular convex hull, which is a

835: contradiction.  Therefore, all the vertices of responsibility 25 must

836: be on the convex hull of the original drawing.  Since we can always

837: remove one of the four vertices such that the outer hull of the new

838: drawing is not a triangle, this contradicts the original assumption.

839: Hence, the first convex hull must be a triangle.

840: 

841: Assume that the second hull is not a triangle.  Either the second hull

842: is a convex quadrilateral or the second hull has more than four

843: vertices; assume the latter.  Since at least four of the vertices must

844: have responsibility 25 and the outer hull is a triangle, at least one

845: vertex of responsibility 25 must either belong to the second hull, or

846: be contained within it.  In either case, removing said vertex creates

847: a drawing of $K_9$ that has 36 crossings and whose second hull is

848: not a triangle.  This is a contradiction.

849: 

850: Finally, assume that the second hull is a convex quadrilateral.

851: If within the second hull there is a vertex of responsibility 24 or

852: higher, removing said vertex creates a drawing of $K_9$ with 37 or

853: fewer vertices.  By Lemma~\ref{lem:nested} such a drawing should have

854: at least 38 crossings, contradiction.  Hence, assume that all three

855: vertices inside the second hull have responsibility 23.  Consequently,

856: the remaining 7 vertices, must have responsibility 25.  Since, the

857: second hull is non-concentric with the first, by the same argument used 

858: in Theorem~\ref{thm:singer}, we can always remove one of the vertices 

859: from the second hull such that the outer two hulls are non-concentric.

860: This implies that we can create an optimal drawing of $K_9$ whose

861: outer two hulls are non-concentric, a contradiction of

862: Theorem~\ref{thm:optimal_k9}.  

863: 

864: Hence, the outer two hulls must be triangular. 

865: \end{proof}

866: 

867: \begin{theorem}\label{thm:inner}

868: If $\reccr{K_{10}} = 61$ then an optimal drawing of $K_{10}$ will

869: consist of two nested triangles containing a convex quadrilateral.

870: \end{theorem}

871: \begin{proof}

872: \figbox[r]{\mbox{ \begin{tabular}{|l|l|}\hline

873: Crossing & Count \\ \hline

874: \Xng{gw}{bb}    & 3 \\

875: \Xng{gw}{gb}    & 3 \\

876: \Xng{gw}{rb}    & 3 \\ 

877: \hline

878: \Xng{rw}{gg}    & 3 \\

879: \Xng{rw}{bb}    & 3 \\

880: \Xng{rw}{rg}    & 3 \\ 

881: \Xng{rw}{rb}    & 3 \\

882: \hline

883: \Xng{rw}{gb}    & 6 \\

884: \Xng{rb}{bw}    &   \\ 

885: \Xng{gb}{bw}    &   \\ 

886: \Xng{rg}{gg}    &   \\ \hline

887: Total    & 27 \\ \hline

888: \end{tabular}}}{table}{tab:inner}{}

889: By Lemma~\ref{lem:tri_hull} the outer two hulls of the optimal 

890: drawing $K_{10}$ must be triangles.  We must still account for the

891: four internal vertices.  If the four vertices form a convex quadrilateral

892: then we are done; otherwise, assume the tenth vertex is inside the third

893: nested triangle.

894: 

895: Colour the tenth vertex white.  Now count the number of red-white and

896: green-white edge crossings, starting with the green-white edge

897: crossings.  Each green-white edge must cross into the blue triangle;

898: multiplying by three yields a total of three \Xng{gw}{bb}\ crossings.

899: By the $K_5$ principle there are three \Xng{gw}{gb}\ crossings.  Each

900: blue vertex has three incident red-blue edges that partition the green

901: \figbox[l]{\boxeps{tripart.eps}{0.25}}{figure}{fig:tripart}{}

902: triangle into three regions.  The white vertex must be in one of the

903: regions; by the Barrier argument there is at least one \Xng{gw}{rb}\ 

904: crossing per blue vertex.   The total of the green-white edge crossings

905: sums to nine.

906: 

907: Each red-white edge must cross into both the green and blue triangles,

908: totaling six edge crossings.  By the $K_5$ principle,

909: there are three \Xng{rw}{rg}\ crossings and three rw-rb crossings.

910: This gives an additional 12 crossings.

911: 

912: By Lemma~\ref{lem:rw-bw-x} there are at least six additional crossings

913: of the \Xng{rw}{gb}, \Xng{rb}{bw}, \Xng{gb}{bw}\, and \Xng{rg}{gg} type, 

914: of which at least three are \Xng{rw}{gb}\ crossings.

915: 

916: Altogether, the number of white and \Xng{rg}{gg} crossings is 27.

917: Since $\reccr{K_9} = 36$, the number of edge crossings in the drawing

918: of $K_{10}$ with the white vertex in the blue triangle is, $36 + 27 =

919: 63 > 61$.

920: \end{proof}

921: 

922: \begin{theorem}\label{thm:near_main_result}

923: $\reccr{K_{10}} > 61$.

924: \end{theorem}

925: \begin{proof}

926: By way of contradiction assume that $\reccr{K_{10}} = 61$.

927: By Theorem~\ref{thm:inner} the inner hull

928: must be a convex quadrilateral.  Repeat the argument from

929: Theorem~\ref{thm:inner} disregarding the \Xng{rw}{bb}\ and 

930: \Xng{gw}{bb}\ edge crossings (because there is no blue triangle).  

931: This gives us an initial count of $63 - 6 = 57$ edge crossings.  Let

932: the entire inner convex quadrilateral be coloured blue.  Inside the

933: \figbox[l]{\boxeps{phantom.eps}{0.25}}{figure}{fig:phantom}{}

934: quadrilateral there will be one \Xng{bb}{bb}\ crossing (the

935: diagonals).  Furthermore, since the quadrilateral is neither concentric

936: with the red triangle nor the green triangle, there will be a minimum

937: of two \Xng{rb}{bb}\ edge crossings and two \Xng{gb}{bb}\ edge

938: crossings.  Summing the edge crossings yields $57 + 5 = 62 > 61$.

939: \end{proof}

940: 

941: \begin{theorem}\label{thm:main_result}

942: $\reccr{K_{10}} = 62$.

943: \end{theorem}

944: \begin{proof}

945: Singer's rectilinear drawing of $K_{10}$ with 62 edge crossings

946: \cite{Si71} is exhibited in \cite[p. 142]{Ga86}, and hence

947: $\reccr{K_{10}} \leq 62$.  By Theorem~\ref{thm:near_main_result} 

948: $\reccr{K_{10}} \geq 62$.  The result follows.

949: \end{proof}

950: 

951: An even stronger statement can be made.  Just as in the case of $K_9$,

952: the outer two hulls of an optimal rectilinear drawing of $K_{10}$ must

953: be triangles.%; see Appendix~\ref{sec:k10_hull}. 

954: % {\it (Note to Editor: Proofs will be included in appendix upon request.)}  

955: These properties could be useful, just as in the case

956: of $K_{10}$, for determing the rectilinear crossing number of $K_{11}$.

957: 

958: Theorem~\ref{thm:main_result} enables us to improve the lower bound in 

959: equations~(\ref{equ:rectasymptotics}) and~(\ref{equ:oldasymptotics}).

960: 

961: 

962: %Include Steph's Section

963: \input{lowerb}

964: 

965: %Include Ellen's conclusion

966: \input{conclusion}

967: 

968: \bibliography{biblio}

969: 

970: \appendix

971: \input{appendix}

972: 

973: % \input{appendix_b}

974: 

975: \end{document}

976: