Many Touchings Force Many Crossings

TL;DR

This paper establishes a lower bound on the number of crossings among continuous open curves in the plane based on the number of touching pairs, revealing a quadratic relationship under certain conditions.

Contribution

It provides a tight bound relating touching and crossing pairs in planar curves, advancing understanding of their combinatorial properties.

Findings

Crossings are at least proportional to the square of touches divided by the square of the number of curves.

The bound is tight apart from constant factors.

The result applies when the number of touches exceeds ten times the number of curves.

Abstract

Given $n$ continuous open curves in the plane, we say that a pair is touching if they have only one interior point in common and at this point the first curve does not get from one side of the second curve to its other side. Otherwise, if the two curves intersect, they are said to form a crossing pair. Let $t$ and $c$ denote the number of touching pairs and crossing pairs, respectively. We prove that $c \ge {1\over 10^5}{t^2\over n^2}$, provided that $t\ge 10n$. Apart from the values of the constants, this result is best possible.

Equations

$$c\ge \frac{1}{10^4}\frac{t^2}{n^2}.$$

$$\frac{1}{10^4}\frac{t^2}{n^2}\le \frac{n}{100}.$$

$$|E(G_t[U])|<3|U|\le 3n.$$

$$|U|=n-|T|\ge \frac{99n}{100}.$$

$$|U^{\prime }|<\frac{1}{10^4}\frac{t^2}{n^2}\le \frac{n}{100},$$

$$|E(G_t[T,U_0])|\ge t-|E(G_t[T\cup U^{\prime }])|-|E(G_t[U_0\cup U^{\prime }])|\ge t-\frac{t}{10}-3n>\frac{t}{2}.$$

$$\chi =\chi (G_c[T])\le \frac{1}{70}\cdot \frac{t}{n}.$$

$$|E(G_t[T,U_0])|\le \sum _{j=1}^{\chi }|E(G_t[I_j\cup U_0])|\le \frac{1}{70}\cdot \frac{t}{n}3n\le \frac{t}{20},$$

$$E[{\mathbf{n}}^{\prime }]=pn,E[{\mathbf{t}}^{\prime }]=p^{2}t,E[{\mathbf{c}}^{\prime }]=p^{2}c.$$

$$\mathrm{Prob}[|{\mathbf{n}}^{\prime }-pn|>\frac{1}{4}pn]<\frac{1}{3}.$$

$$\mathrm{Prob}[{\mathbf{c}}^{\prime }>3p^{2}c]<\frac{1}{3}.$$

$$X_{i}=\left\{\begin{array}[]{ll}1\;\;\;\mbox{ if $e_{i}$ was selected,}\\ 0\;\;\;\mbox{ otherwise.}\\ \end{array}\right.$$

$$\mathrm{var}[X_i]=E[(X_i-E[X_i]{)}^2]=p^2-p^4,$$

$$\mathrm{cov}[X_i,X_j]=E[X_i{X}_j]-E[X_i]E[X_j]=p^3-p^4.$$

$${\sigma }^2=\mathrm{var}[{\mathbf{t}}^{\prime }]=\sum _{i=1}^t\mathrm{var}[X_i]+\sum _{1\le i\ne j\le t}\mathrm{cov}[X_i,X_j]$$

$$=(p^2-p^4)t+(p^3-p^4)\sum _{i=1}^n{d}_i(d_i-1)<p^{2}t+2p^{3}nt.$$

$$\mathrm{Prob}[|{\mathbf{t}}^{\prime }-p^{2}t|\ge \lambda \sigma ]\le \frac{1}{{\lambda }^2}.$$

$$\mathrm{Prob}[|{\mathbf{t}}^{\prime }-p^{2}t|\ge \frac{p^{2}t}{4}]\le \frac{1}{4^2}<\frac{1}{3}.$$

$$|{\mathbf{n}}^{\prime }-pn|\le \frac{1}{4}pn,{\mathbf{c}}^{\prime }\le 3p^{2}c,|{\mathbf{t}}^{\prime }-p^{2}t|\le \frac{1}{4}{p}^{2}t.$$

$$t^{\prime }\ge \frac{3}{4}{p}^{2}t=\frac{300}{4}\cdot \frac{n^6}{t^3},$$

$$n^{\prime }\le \frac{5}{4}pn=\frac{50}{4}\cdot \frac{n^4}{t^2},$$

$$t^{\prime }\ge \frac{6n^2}{t}{n}^{\prime }\ge 10n^{\prime }.$$

$$t^{\prime }\le \frac{5}{4}{p}^{2}t=\frac{500}{4}\cdot \frac{n^6}{t^3},$$

$$n^{\prime }\ge \frac{3}{4}pn=\frac{30}{4}\cdot \frac{n^4}{t^2},$$

$$10(n^{\prime }{)}^{3/2}\ge 10\cdot \frac{30^{3/2}}{4^{3/2}}\cdot \frac{n^6}{t^3}>t^{\prime }.$$

$$3p^{2}c\ge c^{\prime },t^{\prime }\ge \frac{3}{4}{p}^{2}t,n^{\prime }\le \frac{5}{4}pn.$$

$$3p^{2}c\ge c^{\prime }\ge \frac{1}{10^4}\frac{t^{\prime 2}}{n^{\prime 2}}\ge \frac{1}{10^4}\frac{(3p^{2}t/4{)}^2}{(5pn/4{)}^2}=\frac{1}{10^4}{\left(\frac{3}{5}\right)}^2\frac{p^2{t}^2}{n^2}.$$

$$c\ge \frac{1}{10^5}\frac{t^2}{n^2},$$

Full text

1 Introduction

In the context of the theory of topological graphs and graph drawing, many interesting questions have been raised concerning the adjacency structure of a family of curves in the plane or in another surface [5]. In particular, during the past four decades, various important properties of string graphs (i.e., intersection graphs of curves in the plane) have been discovered, and the study of different crossing numbers of graphs and their relations to one another has become a vast area of research. A useful tool in these investigations is the so-called crossing lemma of Ajtai, Chvátal, Newborn, Szemerédi and Leighton [1], [7]. It states the following: Given a graph of $n$ vertices and $e>4n$ edges, no matter how we draw it in the plane by not necessarily straight-line edges, there are at least constant times $e^{3}/n^{2}$ crossing pairs of edges.

This lemma has inspired a number of results establishing the existence of many crossing subconfigurations of a given type in sufficiently rich geometric or topological structures [2], [10], [11], [6].

In this note, we will be concerned with families of curves in the plane. By a curve, we mean a non-selfintersecting continuous arc in the plane, that is, a homeomorphic image of the open interval $(0,1)$. Two curves are said to touch each other if they have precisely one interior point in common and at this point the first curve does not pass from one side of the second curve to the other. Any other pair of curves with nonempty intersection is called crossing. A family of curves is in general position if any two of them intersect in a finite number of points and no three pass through the same point.

Let $n$ be even, $t$ be a multiple of $n$, and suppose that $n\leq t<{n^{2}\over 4}$. Consider a collection $A$ of $n-{2t\over n}>{n\over 2}$ pairwise disjoint curves, and another collection $B$ of ${2t\over n}$ curves such that

(i) $A\cup B$ is in general position,

(ii) each element of $B$ touches precisely ${n\over 2}$ elements of $A$, and

(iii) no two elements of $B$ touch each other.

The family $A\cup B$ consists of $n$ curves such that the number of touching pairs among them is $t$. The only pairs of curves that may cross each other belong to $B$. Thus, the number of crossing pairs is at most ${2t/n\choose 2}\leq{2t^{2}\over n^{2}}$. See Figure 1.

The aim of the present note is to prove that this construction is optimal up to a constant factor, that is, any family of $n$ curves and $t$ touchings has at least constant times ${t^{2}\over n^{2}}$ crossing pairs.

Theorem. Consider a family of $n$ curves in general position in the plane which determines $t$ touching pairs and $c$ crossing pairs.

If $t\geq 10n$, then we have $c\geq{1\over 10^{5}}{t^{2}\over n^{2}}$. This bound is best possible up to a constant factor.

We make no attempt to optimize the constants in the theorem.

Pach, Rubin, and Tardos [8] established a similar relationship between $t$, the number of touching pairs, and $C$, the number of crossing points between the curves. They proved that $C\geq t(\log\log(t/n))^{\delta}$, for an absolute constant $\delta>0$. Obviously, we have $C\geq c$. There is an arrangement of $n$ red curves and $n$ blue curves in the plane such that every red curve touches every blue curve, and the total number of crossing points is $C=\Theta(n^{2}\log n)$; cf. [4]. Of course, the number of crossing pairs, $c$, can never exceed ${n\choose 2}$.

Between $n$ arbitrary curves, the number of touchings $t$ can be as large as $(\frac{3}{4}+o(1)){n\choose 2}$; cf. [9]. However, if we restrict our attention to algebraic plane curves of bounded degree, then we have $t=O(n^{3/2})$, where the constant hidden in the notation depends on the degree [3].

2 Proof of Theorem

We start with an easy observation.

Lemma. Given a family of $n\geq 3$ curves in general position in the plane, no two of which cross, the number of touchings, $t$, cannot exceed $3n-6$.

Proof. Pick a different point on each curve. Whenever two curves touch each other at a point $p$, connect them by an edge (arc) passing through $p$. In the resulting drawing, any two edges that do not share an endpoint are represented by disjoint arcs. According to the Hanani-Tutte theorem [13], this means that the underlying graph is planar, so that its number of edges, $t$, satisfies $t\leq 3n-6$. $\Box$

Proof of Theorem. We proceed by induction on $n$. For $n\leq 20$, the statement is void. Suppose that $n>20$ and that the statement has already been proved for all values smaller than $n$.

We distinguish two cases.

CASE A: $t\leq 10n^{3/2}$.

In this case, we want to establish the stronger statement

[TABLE]

By the assumption, we have

[TABLE]

Let $G_{t}$ (resp., $G_{c}$) denote the touching graph (resp., crossing graph) associated with the curves. That is, the vertices of both graphs correspond to the curves, and two vertices are connected by an edge if and only if the corresponding curves are touching (resp., crossing).

Let $T$ be a minimal vertex cover in $G_{c}$, that is, a smallest set of vertices of $G_{c}$ such that every edge of $G_{c}$ has at least one endpoint in $T$. Let $\tau=|T|$. Let $U$ denote the complement of $T$. Obviously, $U$ is an independent set in $G_{c}$. According to the Lemma, the number of edges in $G_{t}[U]$, the touching graph induced by $U$, satisfies

[TABLE]

By the minimality of $T$, $G_{c}$ has at least $|T|=\tau$ edges. That is, we have $c\geq\tau$, so we are done if $\tau\geq{1\over 10^{4}}{t^{2}\over n^{2}}$.

From now on, we can and shall assume that $\tau<{1\over 10^{4}}{t^{2}\over n^{2}}.$ By (1), we have ${1\over 10^{4}}{t^{2}\over n^{2}}\leq{n\over 100}$. Hence, $|T|\leq{n\over 100}$ and

[TABLE]

Let $U^{\prime}\subseteq U$ denote the set of all vertices in $U$ that are not isolated in the graph $G_{c}$. By the definition of $T$, all neighbors of a vertex $v\in U$ in $G_{c}$ belong to $T$. If $|U^{\prime}|\geq{1\over 10^{4}}{t^{2}\over n^{2}}$, then we are done, because $c\geq|U^{\prime}|.$

Therefore, we can assume that

[TABLE]

where the second inequality follows again by (1).

Letting $U_{0}=U\setminus U^{\prime}$, by (3) and (4) we obtain $|U_{0}|=|U|-|U^{\prime}|\geq{98n\over 100}$. Clearly, all vertices in $U_{0}$ are isolated in $G_{c}$.

Suppose that $G_{t}[T\cup U^{\prime}]$ has at least ${t\over 10}$ edges. Consider the set of curves $T\cup U^{\prime}$. We have $n_{0}=|T\cup U^{\prime}|\leq{2n\over 100}$ and, the number of touchings, $t_{0}=|E(G_{t}[T\cup U^{\prime}])|\geq{t\over 10}$. Therefore, by the induction hypothesis, for the number of crossings we have $c_{0}=|E(G_{c}[T\cup U^{\prime}])|\geq{1\over 10^{5}}{t_{0}^{2}\over n_{0}^{2}}\geq{1\over 10^{4}}{t^{2}\over n^{2}}$ and we are done. Hence, we assume in the sequel that $G_{t}[T\cup U^{\prime}]$ has fewer than ${t\over 10}$ edges.

Consequently, for the number of edges in $G_{t}$ running between $T$ and $U_{0}$, we have

[TABLE]

Here we used the assumption that $t\geq 10n$.

Let $\chi=\chi(G_{c}[T])$ denote the chromatic number of $G_{c}[T]$. In any coloring of a graph with the smallest possible number of colors, there is at least one edge between any two color classes. Hence, $G_{c}[T]$ has at least ${\chi\choose 2}\geq{1\over 10^{4}}{t^{2}\over n^{2}}$ edges, and we are done, provided that $\chi>{1\over 70}\cdot{t\over n}$.

Thus, we can suppose that

[TABLE]

Consider a coloring of $G_{c}[T]$ with $\chi$ colors, and denote the color classes by $I_{1},I_{2},\ldots,I_{\chi}$. Obviously, for every $j$, $I_{j}\cup U_{0}$ is an independent set in $G_{c}$. Therefore, by the Lemma, $G_{t}[I_{j}\cup U_{0}]$ has at most $3n$ edges. Summing up for all $j$ and taking (6) into account, we obtain

[TABLE]

contradicting (5). This completes the proof in CASE A.

CASE B: $t\geq 10n^{3/2}$. Set $p={10n^{3}\over t^{2}}\leq{1\over 10}$. Select each curve independently with probability $p$. Let ${\bf n^{\prime}}$, ${\bf t^{\prime}}$, and ${\bf c^{\prime}}$ denote the number of selected curves, the number of touching pairs, and the number of crossing pairs between them, respectively. Clearly,

[TABLE]

The number of selected curves, ${\bf n^{\prime}}$, has binomial distribution, therefore,

[TABLE]

By Markov’s inequality,

[TABLE]

Consider the touching graph $G_{t}$. Let $d_{1},\ldots,d_{n}$ denote the degrees of the vertices of $G_{t}$, and let $e_{1},\ldots,e_{t}$ denote its edges, listed in any order. We say that an edge $e_{i}$ is selected (or belongs to the random sample) if both of its endpoints were selected. Let $X_{i}$ be the indicator variable for $e_{i}$, that is,

[TABLE]

We have $E[X_{i}]=p^{2}$. Let ${\bf t^{\prime}}=\sum_{i=1}^{t}X_{i}$. It follows by straightforward computation that for every $i$,

[TABLE]

If $e_{i}$ and $e_{j}$ have a common endpoint for some $i\neq j$, then

[TABLE]

If $e_{i}$ and $e_{j}$ do not have a common vertex, then $X_{i}$ and $X_{j}$ are independent random variables and ${\rm cov}[X_{i},X_{j}]=0$. Therefore, we obtain

[TABLE]

[TABLE]

From here, we get $\sigma<\sqrt{p^{2}t}+\sqrt{2p^{3}nt}<p^{2}t=E[{\bf t^{\prime}}]$. By Chebyshev’s inequality,

[TABLE]

Setting $\lambda={1\over 4}$,

[TABLE]

It follows from (8), (9), and (10) that, with positive probability, we have

[TABLE]

Consider a fixed selection of $n^{\prime}$ curves with $t^{\prime}$ touching pairs and $c^{\prime}$ crossing pairs for which the above three inequalities are satisfied. Then we have

[TABLE]

[TABLE]

and, hence,

[TABLE]

On the other hand,

[TABLE]

[TABLE]

so that

[TABLE]

According to (12) and (13), the selected family meets the requirements of the Theorem in CASE A. Thus, we can apply the Theorem in this case to obtain that $c^{\prime}\geq{1\over 10^{4}}{t^{\prime 2}\over n^{\prime 2}}$. In view of (11), we have

[TABLE]

Thus,

[TABLE]

Comparing the left-hand side and the right-hand side, we conclude that

[TABLE]

as required. This completes the proof of the Theorem. $\Box$

Acknowledgment. The work of János Pach was partially supported by Swiss National Science Foundation Grants 200021-165977 and 200020-162884. Géza Tóth’s work was partially supported by the Hungarian National Research, Development and Innovation Office, NKFIH, Grant K-111827.