Every $k$-Quasi-Planar Graph Has Linearly Many Edges
Authors: Ankan Sadhu
Abstract
For every fixed integer $k\ge2$, we prove that every simple graph on $n$ vertices drawn in the plane with no $k$ pairwise crossing edges has at most $C_kn$ edges, where $C_k$ depends only on $k$. We allow any finite number of proper crossings between two edges, including edges with a common endpoint. For $n\ge3$, removing a small disk around each vertex turns the drawing into a family of arcs on a sphere with $n$ boundary circles. Each arc joins two different boundary circles, and different edges have different unordered pairs of endpoint circles. The arcs are therefore essential and pairwise nonhomotopic, with endpoints allowed to move along their boundary circles during a homotopy. Any family of pairwise intersecting lifts to the universal cover projects to distinct graph edges that cross pairwise. Its size is consequently at most $k-1$. Beeker and Lazarovich's theorem on surface patterns then bounds the number of arcs. Their estimate is linear in the size of a triangulation, and an explicit triangulation of the $n$-holed sphere has linearly many edges and triangles.
The papers around it, by date and closeness
Higher is closer to this paper; left is older. Lines join papers close to each other: groups of lines are sub-topics. Select a point to see why it is there. Back to the summary of this paper
Papers around this one
Ranked by how close their title and abstract are to this paper’s. Select some to read them together.
Closest papers
-
On the number of edges in quasiplanar graphsJ. Pach, G. Tardos, Ji Zeng · 2026 · Not summarized yet
On the number of edges in quasiplanar graphs presents a simplified proof that forbidding k pairwise crossing edges yields a linear edge bound.
Abstract
A $k$-quasiplanar graph is a graph drawn in the plane with no $k$ pairwise crossing edges. Pach, Shahrokhi, and Szegedy conjectured that every such graph on $n$ vertices has $O_k(n)$ edges. ChatGPT produced a proof of this conjecture. Here, we present a simplified, self-contained version of that proof.
-
New bounds on the maximum number of edges in k-quasi-planar graphsAndrew Suk, Bartosz Walczak · 2013 · Computational geometry · cited 43 times · Not summarized yet
New bounds studies the same edge-bound problem but gives near-linear estimates under bounded pairwise intersections, rather than a linear bound allowing repeated crossings.
Abstract
A topological graph is k-quasi-planar if it does not contain k pairwise crossing edges. A 20-year-old conjecture asserts that for every fixed k, the maximum number of edges in a k-quasi-planar graph on n vertices is O ( n ) . Fox and Pach showed that every k-quasi-planar graph with n vertices has at most n ( log ? n ) O ( log ? k ) edges. We improve this upper bound to 2 α ( n ) c n log ? n , where α ( n ) denotes the inverse Ackermann function and c depends only on k, for k-quasi-planar graphs in which any two edges intersect in a bounded number of points. We also show that every k-quasi-planar graph with n vertices in which any two edges have at most one point in common has at most O ( n l…
-
Quasi-planar graphs have a linear number of edgesP. Agarwal, B. Aronov, J. Pach et al. · 1995 · International Symposium Graph Drawing and Network Visualization · cited 150 times · Not summarized yet
Quasi-planar graphs have a linear number of edges addresses whether forbidding pairwise-crossing edge sets forces a linear edge bound.
-
The Exact Number of Pentagons in Book-Free GraphsWen-Tao Hu · 2026 · Not summarized yet
The Exact Number of Pentagons studies extremal counts for graphs avoiding book configurations, not crossing restrictions in graph drawings.
Abstract
Let $B_k$ denote the book consisting of $k$ triangles sharing a common edge. We prove that there exist absolute constants $\rho>0$ and $N$ such that, for every pair of integers $n,k$ with $n\ge N$ and $2\le k\le \rho n$, writing $n=5q+r$ with $0\le r<5$, \[ \operatorname{ex}(n,C_5,B_k)=q^{\,5-r}(q+1)^r, \] with the balanced complete $C_5$-blow-ups as the only extremal graphs. The linear order of this range is best possible since for all sufficiently large $n$, the formula fails whenever $k\ge0.14n$.
-
Quasiplanar graphs, string graphs, and the Erdős-Gallai problemJacob Fox, J. Pach, Andrew Suk · 2021 · International Symposium Graph Drawing and Network Visualization · cited 12 times · Not summarized yet
Quasiplanar graphs, string graphs, and the Erdős-Gallai problem studies edge bounds for quasiplanar graphs alongside clique and coloring properties of string graphs.
Abstract
An $r$-quasiplanar graph is a graph drawn in the plane with no $r$ pairwise crossing edges. Let $s \geq 3$ be an integer and $r=2^s$. We prove that there is a constant $C$ such that every $r$-quasiplanar graph with $n \geq r$ vertices has at most $n\left(Cs^{-1}\log n\right)^{2s-4}$ edges. A graph whose vertices are continuous curves in the plane, two being connected by an edge if and only if they intersect, is called a string graph. We show that for every $\epsilon>0$, there exists $\delta>0$ such that every string graph with $n$ vertices, whose chromatic number is at least $n^{\epsilon}$ contains a clique of size at least $n^{\delta}$. A clique of this size or a coloring using fewer than $…
-
Minimum Label $k$-Cut on Planar Graphs: Complexity and Color StructureYuan-Hao Wang, Wei Wang · 2026 · Not summarized yet
Minimum Label k-Cut studies color deletion and component counts in planar graphs, rather than crossing restrictions or edge bounds.
Abstract
Minimum Label $k$-Cut asks for a minimum-size set of colors such that deleting all edges of these colors leaves at least $k$ connected components. We study how the structure of the underlying graph and its color classes affects the complexity of this problem. Regarding fixed-parameter tractability with respect to $k$ on simple planar graphs, we prove that the problem is W[1]-hard, even when the underlying graph is a cactus graph and each color appears at most twice. Furthermore, for cactus graphs in which every color class is connected, we establish a complexity boundary in terms of the maximum monochromatic degree: when this degree is at most two, an optimal solution can be found in $O(Nk^2…
-
Smallest Cubic Non-1-Planar GraphsS. Pupyrev · 2026 · arXiv.org · preprint, not peer reviewed · Not summarized yet
Smallest Cubic Non-1-Planar Graphs studies crossing constraints in graph drawings, using SAT methods to determine 1-planarity of small cubic graphs.
Abstract
A graph is 1-planar if it has a drawing in which every edge is crossed at most once. We show that the smallest cubic non-1-planar graphs have $30$ vertices. Two such graphs are the Tutte-Coxeter graph of girth eight and a graph of girth seven that we call the Byte graph. Every subcubic graph with fewer than $30$ vertices is 1-planar. Our proof is computer-assisted, but directly testing all relevant graphs is impractical. To establish non-1-planarity of the two graphs, we extend a SAT-based solver with a custom clause propagator based on separating cycles and a case split based on graph automorphisms, allowing independent cases to be solved in parallel. To show that all smaller subcubic graph…
-
Coloring Curves that Cross a Fixed CurveAlexandre Rok, Bartosz Walczak · 2015 · International Symposium on Computational Geometry · cited 14 times · Not summarized yet
Coloring Curves proves an O(n log n) edge bound for k-quasi-planar graphs when pairs of edges cross at most t times.
Abstract
We prove that for every integer $$t\geqslant 1$$t⩾1, the class of intersection graphs of curves in the plane each of which crosses a fixed curve in at least one and at most t points is $$\chi $$χ-bounded. This is essentially the strongest $$\chi $$χ-boundedness result one can get for those kind of graph classes. As a corollary, we prove that for any fixed integers $$k\geqslant 2$$k⩾2 and $$t\geqslant 1$$t⩾1, every k-quasi-planar topological graph on n vertices with any two edges crossing at most t times has $$O(n\log n)$$O(nlogn) edges.
Prior work it builds on
-
Relaxing Planarity for Topological GraphsJ. Pach, R. Radoičić, G. Tóth · 2002 · JCDCG · cited 57 times · Not summarized yet
Relaxing Planarity for Topological Graphs is a chapter surveying relaxed planarity concepts for topological graphs.
Abstract
Note: Professor Pach's number: [175]; Also in: More Sets, Graphs and Numbers, E. Gy{\Ho}ri, G.O.H. Katona, L. Lovasz (eds.), Bolyai Society mathematical studies, 15, Budapest, 2006, 559-576 Reference DCG-CHAPTER-2008-029 Record created on 2008-11-18, modified on 2017-05-12
-
On the Maximum Number of Edges in Topological Graphs with no Four Pairwise Crossing EdgesEyal Ackerman · 2006 · SCG '06 · cited 99 times · Not summarized yet
On the Maximum Number of Edges in Topological Graphs with no Four Pairwise Crossing Edges addresses an edge bound under a pairwise-crossing prohibition.
-
A parity Erd\H{o}s-Hajnal theorem for $t$-intersecting curvesAndrew Suk, Su Zhou · 2026 · cited 1 time · Not summarized yet
A parity Erdős-Hajnal theorem studies large subfamilies of pairwise t-intersecting curves with uniform intersection parity.
Abstract
For every fixed $t\ge 1$, we prove a parity analogue of the mighty Erd\H{o}s-Hajnal property for $t$-intersecting curves in the plane. Let $\mathcal B$ be a set of blue curves and $\mathcal G$ a set of green curves in the plane such that $\mathcal B\cup\mathcal G$ is a collection of $t$-intersecting curves in general position. We show that there exist subfamilies $\mathcal B'\subseteq\mathcal B$ and $\mathcal G'\subseteq\mathcal G$ such that $|\mathcal B'|\geq \varepsilon|\mathcal B|$ and $|\mathcal G'|\geq \varepsilon|\mathcal G|$, where $\varepsilon>0$ depends only on $t$, such that either every pair in $\mathcal B'\times\mathcal G'$ intersects an even number of times or every such pair in…
-
Cubical accessibility and bounds on curves on surfacesB. Beeker, Nir Lazarovich · 2017 · Journal of Topology · cited 6 times · Not summarized yet
Cubical accessibility and bounds on curves on surfaces derives bounds on curves on surfaces, a setting related to the paper's surface-arc method.
Abstract
We bound the size of d ‐dimensional cubulations of finitely presented groups. We apply this bound to obtain acylindrical accessibility for actions on CAT(0) cube complexes and bounds on curves on surfaces.
-
Notes on Geometric Graph TheoryJ. Pach · 1990 · Discrete & Computational Geometry · cited 32 times · Not summarized yet
Notes on Geometric Graph Theory is a chapter about geometric graph theory, the broader field containing quasi-planar graph edge bounds.
Abstract
Note: Professor Pach's number: [092] Reference DCG-CHAPTER-2008-008 Record created on 2008-11-18, modified on 2017-05-12
Go further
How are these papers found?
We compare the title and abstract of this paper with those of every paper summarized on this site, and with the papers Semantic Scholar recommends, those it cites and those citing it (for a much-cited paper, its most recent citations and, from OpenAlex, the most cited ones). Among the prior work and the follow-ups, the papers that use each other in depth, a method it uses and the much-cited follow-ups come a little higher. The levels (very close, close, related) come from the similarity of the texts, not from a judgment of quality; * marks a paper without an abstract, compared by its title. The sentence under a paper is written by an AI from the two abstracts: check it in the papers. A paper marked not relevant by three readers leaves the list.
Updated on 9 November 2026.