The circular $k$-partite crossing number of $K_{m,n}$

Adrian Riskin

DOI: https://doi.org/10.48550/arXiv.math/0605235

2006-05-09

Combinatorics

Abstract:We define a new kind of crossing number which generalizes both the bipartite crossing number and the outerplanar crossing number. We calculate exact values of this crossing number for many complete bipartite graphs and also give a lower bound.

What problem does this paper attempt to address?

The crossing number of the complete 4-partite graph $K_{1,1,m,n}$

Xiwu Yang,Ni Lu,Xiaodong Chen,Yuansheng Yang

DOI: https://doi.org/10.48550/arXiv.2201.09465

2022-01-24

Abstract:Let $\textrm{cr}(G)$ denote the crossing number of a graph $G$. The well-known Zarankiewicz's conjecture (ZC) asserted $\textrm{cr}(K_{m,n})$ in 1954. In 1971, Harborth gave a conjecture (HC) on $\textrm{cr}(K_{x_1,...,x_n})$. HC on $K_{1,m,n}$ is verified if ZC is true by Ho et al. in 2021. In this paper, we showed the following results: If both $m$ and $n$ are even, then \[\textrm{cr}(K_{1,1,m,n})\geq \frac{1}{2}(\textrm{cr}(K_{m+1,n+3})+\textrm{cr}(K_{m+3,n+1})-mn-\frac{1}{4}(m^2+n^2));\] If both $m$ and $n$ are odd, then \[\textrm{cr}(K_{1,1,m,n})\geq \frac{1}{2}(\textrm{cr}(K_{1,m+1,n+1})+\textrm{cr}(K_{2,m,n})-\frac{1}{4}(m+1)(n+1)+1);\] If $m$ is even and $n$ is odd, then \begin{equation}\nonumber \begin{split} \textrm{cr}(K_{1,1,m,n})&\geq \frac{1}{4}(\textrm{cr}(K_{m+1,n+2})+\textrm{cr}(K_{m+3,n+2})+2\textrm{cr}(K_{2,m,n}) \\&-m(n+1)-\frac{1}{4}(n+1)^2). \end{split} \end{equation} The lower bounds in our result imply that if both $m$ and $n$ are even and ZC is true, then HC on $K_{1,1,m,n}$ holds; if at least one of $m$ and $n$ is odd and both ZC and HC on $K_{2,m,n}$ are true, then HC on $K_{1,1,m,n}$ holds.

Combinatorics
New lower bounds on crossing numbers of $K_{m,n}$ from semidefinite programming

Daniel Brosch,Sven Polak

2023-10-13

Abstract:In this paper, we use semidefinite programming and representation theory to compute new lower bounds on the crossing number of the complete bipartite graph $K_{m,n}$, extending a method from de Klerk et al. [SIAM J. Discrete Math. 20 (2006), 189--202] and the subsequent reduction by De Klerk, Pasechnik and Schrijver [Math. Prog. Ser. A and B, 109 (2007) 613--624]. We exploit the full symmetry of the problem using a novel decomposition technique. This results in a full block-diagonalization of the underlying matrix algebra, which we use to improve bounds on several concrete instances. Our results imply that $\text{cr}(K_{10,n}) \geq 4.87057 n^2 - 10n$, $\text{cr}(K_{11,n}) \geq 5.99939 n^2-12.5n$, $\text{cr}(K_{12,n}) \geq 7.25579 n^2 - 15n$, $\text{cr}(K_{13,n}) \geq 8.65675 n^2-18n$ for all $n$. The latter three bounds are computed using a new and well-performing relaxation of the original semidefinite programming bound. This new relaxation is obtained by only requiring one small matrix block to be positive semidefinite.

Combinatorics,Discrete Mathematics,Optimization and Control,Representation Theory
The tripartite-circle crossing number of graphs with two small partition classes

Charles Camacho,Silvia Fernández-Merchant,Marija Jelić Milutinović,Rachel Kirsch,Linda Kleist,Elizabeth Bailey Matson,Jennifer White

2023-06-30

Abstract:A tripartite-circle drawing of a tripartite graph is a drawing in the plane, where each part of a vertex partition is placed on one of three disjoint circles, and the edges do not cross the circles. The tripartite-circle crossing number of a tripartite graph is the minimum number of edge crossings among all its tripartite-circle drawings. We determine the exact value of the tripartite-circle crossing number of $K_{a,b,n}$, where $a,b\leq 2$.

Combinatorics,Discrete Mathematics
On the Orchard crossing number of complete bipartite graphs

Elie Feder,David Garber

DOI: https://doi.org/10.48550/arXiv.1008.2638

2010-08-16

Abstract:We compute the Orchard crossing number, which is defined in a similar way to the rectilinear crossing number, for the complete bipartite graphs K_{n,n}.

Combinatorics,Discrete Mathematics
The rectilinear local crossing number of $K_n$

Bernardo M. Ábrego,Silvia Fernández-Merchant

2024-05-17

Abstract:We determine ${\bar{\rm{lcr}}}(K_n)$, the rectilinear local crossing number of the complete graph $K_n$ for every $n$. More precisely, for every $n \notin \{8, 14 \}, $ \[ {\bar{\rm{lcr}}}(K_n)=\left\lceil \frac{1}{2} \left( n-3-\left\lceil \frac{n-3}{3} \right\rceil \right) \left\lceil \frac{n-3}{3} \right\rceil \right\rceil, \] ${\bar{\rm{lcr}}}(K_8)=4$, and ${\bar{\rm{lcr}}}(K_{14})=15$.

Combinatorics
Bounding the tripartite-circle crossing number of complete tripartite graphs

Charles Camacho,Silvia Fernández-Merchant,Marija Jelić Milutinović,Rachel Kirsch,Linda Kleist,Elizabeth Bailey Matson,Jennifer White

DOI: https://doi.org/10.1002/jgt.22763

2023-06-30

Abstract:A tripartite-circle drawing of a tripartite graph is a drawing in the plane, where each part of a vertex partition is placed on one of three disjoint circles, and the edges do not cross the circles. We present upper and lower bounds on the minimum number of crossings in tripartite-circle drawings of $K_{m,n,p}$. In contrast to 1- and 2-circle drawings, which may attain the Harary-Hill bound, our results imply that balanced restricted 3-circle drawings of the complete graph are not optimal.

Combinatorics
The generalized Tur'{a}n number of long cycles in graphs and bipartite graphs

Changchang Dong,Mei Lu,Jixiang Meng,Bo Ning

2024-06-25

Abstract:Given a graph $T$ and a family of graphs $\mathcal{F}$, the maximum number of copies of $T$ in an $\mathcal{F}$-free graph on $n$ vertices is called the generalized Turán number, denoted by $ex(n, T , \mathcal{F})$. When $T= K_2$, it reduces to the classical Turán number $ex(n, \mathcal{F})$. Let $ex_{bip}(b,n, T , \mathcal{F})$ be the maximum number of copies of $T$ in an $\mathcal{F}$-free bipartite graph with two parts of sizes $b$ and $n$, respectively. Let $P_k$ be the path on $k$ vertices, $\mathcal{C}_{\ge k}$ be the family of all cycles with length at least $k$ and $M_k$ be a matching with $k$ edges. In this article, we determine $ex_{bip}(b,n, K_{s,t}, \mathcal{C}_{\ge 2n-2k})$ exactly in a connected bipartite graph $G$ with minimum degree $\delta(G) \geq r\ge 1$, for $b\ge n\ge 2k+2r$ and $k\in \mathbb{Z}$, which generalizes a theorem of Moon and Moser, a theorem of Jackson and gives an affirmative evidence supporting a conjecture of Adamus and Adamus. As corollaries of our main result, we determine $ex_{bip}(b,n, K_{s,t}, P_{2n-2k})$ and $ex_{bip}(b,n, K_{s,t}, M_{n-k})$ exactly in a connected bipartite graph $G$ with minimum degree $\delta(G) \geq r\ge 1$, which generalizes a theorem of Wang. Moreover, we determine $ex(n, K_{s,t}, \mathcal{C}_{\ge k})$ and $ex(n, K_{s,t}, P_{k})$ respectively in a connected graph $G$ with minimum degree $\delta(G) \geq r\ge 1$, which generalizes a theorem of Lu, Yuan and Zhang.

Combinatorics
On Kainen's conjectures on surface crossing numbers

Timothy Sun

2024-05-10

Abstract:In 1972, Kainen proved a general lower bound on the crossing number of a graph in a closed surface and conjectured that this bound is tight when the graph is either a complete graph or a complete bipartite graph, and the surface is of genus close to the minimum genus of that graph. Prior to the present work, these conjectures were known to be true only for small cases and when the conjectures predict a crossing number of 0, i.e., when a triangular or quadrangular embedding was already known. We show that Kainen's conjectures are true except for the three graphs $K_9$, $K_{3,5}$, and $K_{5,5}$. We also prove nonorientable analogues of these conjectures, where the only exceptions to the general formulas are $K_7$ and $K_8$.

Combinatorics
The Rectilinear Crossing Number of K_10 is 62

Alex Brodsky,Stephane Durocher,Ellen Gethner

DOI: https://doi.org/10.48550/arXiv.cs/0009023

IF: 0.961

2000-09-22

Discrete Mathematics

Abstract:A drawing of a graph G in the plane is said to be a rectilinear drawing of G if the edges are required to be line segments (as opposed to Jordan curves). We assume no three vertices are collinear. The rectilinear crossing number of G is the fewest number of edge crossings attainable over all rectilinear drawings of G. Thanks to Richard Guy, exact values of the rectilinear crossing number of K_n, the complete graph on n vertices, for n = 3,...,9, are known (Guy 1972, White and Beinke 1978, Finch 2000, Sloanes A014540). Since 1971, thanks to the work of David Singer (1971, Gardiner 1986), the rectilinear crossing number of K_10 has been known to be either 61 or 62, a deceptively innocent and tantalizing statement. The difficulty of determining the correct value is evidenced by the fact that Singer's result has withstood the test of time. In this paper we use a purely combinatorial argument to show that the rectilinear crossing number of K_10 is 62. Moreover, using this result, we improve an asymptotic lower bound for a related problem. Finally, we close with some new and old open questions that were provoked, in part, by the results of this paper, and by the tangled history of the problem itself.
Invariants of Bipartite Kneser B type-\MakeLowercase{k} graphs

Jayakumar C,Sreekumar K.G.,Manilal K.,Ismail Naci Cangul

2024-09-14

Abstract:Let $\mathscr{B}_n = \{ \pm x_1, \pm x_2, \pm x_3, \cdots, \pm x_{n-1}, x_n \}$ where $n>1$ is fixed, $x_i \in \mathbb{R}^+$, $i = 1, 2, 3, \cdots, n$ and $x_1 < x_2 < x_3 < \cdots < x_n$. Let $\phi(\mathscr{B}_n)$ be the set of all non-empty subsets $S = \{u_1, u_2,\cdots, u_t\}$ of $\mathscr{B}_n$ such that $|u_1|<|u_2|<\cdots <|u_{t-1}|<u_t $ where $u_t\in \mathbb{R}^+$. Let $\mathscr{B}_n^+ = \{ x_1, x_2, x_3, \cdots, x_{n-1}, x_n \}$. For a fixed $k$, let $V_1$ be the set of $k$-element subsets of $\mathscr{B}_n^+$, $1 \leq k <n$. $V_2= \phi(\mathscr{B}_n)-V_1$. For any $A \in V_2$, let $A^\dagger = \{\lvert x \rvert: x \in A\}$. Define a bipartite graph with parts $V_1$ and $V_2$ and having adjacency as $X \in V_1$ is adjacent to $Y\in V_2$ if and only if $X \subset Y^\dagger$ or $Y^\dagger \subset X$. A graph of this type is called a bipartite Kneser B type-$k$ graph and denoted by $H_B(n,k)$. In this paper, we calculated various graph invariants of $H_B(n,k)$.

Combinatorics
Improving the Crossing Lemma by Characterizing Dense 2-Planar and 3-Planar Graphs

Aaron Büngener,Michael Kaufmann

2024-09-05

Abstract:The classical Crossing Lemma by Ajtai et al.~and Leighton from 1982 gave an important lower bound of $c \frac{m^3}{n^2}$ for the number of crossings in any drawing of a given graph of $n$ vertices and $m$ edges. The original value was $c= 1/100$, which then has gradually been improved. Here, the bounds for the density of $k$-planar graphs played a central role. Our new insight is that for $k=2,3$ the $k$-planar graphs have substantially fewer edges if specific local configurations that occur in drawings of $k$-planar graphs of maximum density are forbidden. Therefore, we are able to derive better bounds for the crossing number $\text{cr}(G)$ of a given graph $G$. In particular, we achieve a bound of $\text{cr}(G) \ge \frac{37}{9}m-\frac{155}{9}(n-2)$ for the range of $5n < m \le 6n$, while our second bound $\text{cr}(G) \ge 5m - \frac{203}{9}(n-2)$ is even stronger for larger $m>6n$. For $m > 6.77n$, we finally apply the standard probabilistic proof from the BOOK and obtain an improved constant of $c>1/27.48$ in the Crossing Lemma. Note that the previous constant was $1/29$. Although this improvement is not too impressive, we consider our technique as an important new tool, which might be helpful in various other applications.

Combinatorics,Discrete Mathematics
On the crossing number of K_13

Dan McQuillan,Shengjun Pan,R. Bruce Richter

DOI: https://doi.org/10.48550/arXiv.1307.3297

2013-07-12

Combinatorics

Abstract:Since the crossing number of K_{12} is now known to be 150, it is well-known that simple counting arguments and Kleitman's parity theorem for the crossing number of K_{2n+1} combine with a specific drawing of K_{13} to show that the crossing number of K_{13} is one of the numbers in {217,219,221,223,225}. We show that the crossing number is not 217.
Book crossing numbers of the complete graph and small local convex crossing numbers

Bernardo M. Ábrego,Julia Dandurand,Silvia Fernández-Merchant,Evgeniya Lagoda,Yakov Sapozhnikov

2024-05-17

Abstract:A $ k $-page book drawing of a graph $ G $ is a drawing of $ G $ on $ k $ halfplanes with common boundary $ l $, a line, where the vertices are on $ l $ and the edges cannot cross $ l $. The $ k $-page book crossing number of the graph $ G $, denoted by $ \nu_k(G) $, is the minimum number of edge-crossings over all $ k $-page book drawings of $ G $. Let $G=K_n$ be the complete graph on $n$ vertices. We improve the lower bounds on $ \nu_k(K_n) $ for all $ k\geq 14 $ and determine $ \nu_k(K_n) $ whenever $ 2 < n/k \leq 3 $. Our proofs rely on bounding the number of edges in convex graphs with small local crossing numbers. In particular, we determine the maximum number of edges that a convex graph with local crossing number at most $ \ell $ can have for $ \ell\leq 4 $.

Combinatorics
Maximum Cut Parameterized by Crossing Number

Markus Chimani,Christine Dahn,Martina Juhnke-Kubitzke,Nils M. Kriege,Petra Mutzel,Alexander Nover

DOI: https://doi.org/10.7155/jgaa.00523

2020-07-22

Abstract:Given an edge-weighted graph $G$ on $n$ nodes, the NP-hard Max-Cut problem asks for a node bipartition such that the sum of edge weights joining the different partitions is maximized. We propose a fixed-parameter tractable algorithm parameterized by the number $k$ of crossings in a given drawing of $G$. Our algorithm achieves a running time of $O(2^k \cdot p(n + k))$, where $p$ is the polynomial running time for planar Max-Cut. The only previously known similar algorithm [8] is restricted to 1-planar graphs (i.e., at most one crossing per edge) and its dependency on $k$ is of order $3^k$ . A direct consequence of our result is that Max-Cut is fixed-parameter tractable w.r.t. the crossing number, even without a given drawing. Moreover, the results naturally carry over to the minor crossing number.

Data Structures and Algorithms,Computational Complexity
On the rectilinear crossing number of complete balanced multipartite graphs and layered graphs

Ruy Fabila-Monroy,Rosna Paul,Jenifer Viafara-Chanchi,Alexandra Weinberger

2024-04-20

Abstract:A rectilinear drawing of a graph is a drawing of the graph in the plane in which the edges are drawn as straight-line segments. The rectilinear crossing number of a graph is the minimum number of pairs of edges that cross over all rectilinear drawings of the graph. Let $n \ge r$ be positive integers. The graph $K_n^r$, is the complete $r$-partite graph on $n$ vertices, in which every set of the partition has at least $\lfloor n/r \rfloor$ vertices. The layered graph, $L_n^r$, is an $r$-partite graph on $n$ vertices, in which for every $1\le i \le r-1$, all the vertices in the $i$-th partition are adjacent to all the vertices in the $(i+1)$-th partition. In this paper, we give upper bounds on the rectilinear crossing numbers of $K_n^r$ and~$L_n^r$.

Combinatorics,Computational Geometry
Improved lower bounds on book crossing numbers of complete graphs

Etienne de Klerk,Dmitrii V. Pasechnik,Gelasio Salazar

DOI: https://doi.org/10.1137/120886777

2012-07-24

Abstract:A "book with k pages" consists of a straight line (the "spine") and k half-planes (the "pages"), such that the boundary of each page is the spine. If a graph is drawn on a book with k pages in such a way that the vertices lie on the spine, and each edge is contained in a page, the result is a k-page book drawing (or simply a k-page drawing). The k-page crossing number nu_k(G) of a graph G is the minimum number of crossings in a k-page drawing of G. In this paper we investigate the k-page crossing numbers of complete graphs K_n. We use semidefinite programming techniques to give improved lower bounds on nu_k(K_n) for various values of k. We also use a maximum satisfiability reformulation to calculate the exact value of nu_k(K_n) for several values of k and n. Finally, we investigate the best construction known for drawing K_n in k pages, calculate the resulting number of crossings, and discuss this upper bound in the light of the new results reported in this paper.

Combinatorics
Improvement on the Crossing Number of Crossing-Critical Graphs

János Barát,Géza Tóth

DOI: https://doi.org/10.1007/s00454-020-00264-2

2020-12-18

Abstract:Abstract The crossing number of a graph G is the minimum number of edge crossings over all drawings of G in the plane. A graph G is k -crossing-critical if its crossing number is at least k , but if we remove any edge of G , its crossing number drops below k . There are examples of k -crossing-critical graphs that do not have drawings with exactly k crossings. Richter and Thomassen proved in 1993 that if G is k -crossing-critical, then its crossing number is at most $$2.5\, k+16$$ 2.5 k + 16 . We improve this bound to $$2k+8\sqrt{k}+47$$ 2 k + 8 k + 47 .

mathematics,computer science, theory & methods
Crossing Numbers of Beyond Planar Graphs Re-revisited: A Framework Approach

Markus Chimani,Torben Donzelmann,Nick Kloster,Melissa Koch,Jan-Jakob Völlering,Mirko H. Wagner

2024-09-04

Abstract:Beyond planarity concepts (prominent examples include k-planarity or fan-planarity) apply certain restrictions on the allowed patterns of crossings in drawings. It is natural to ask, how much the number of crossings may increase over the traditional (unrestricted) crossing number. Previous approaches to bound such ratios, e.g. [<a class="link-https" data-arxiv-id="1908.03153" href="https://arxiv.org/abs/1908.03153">arXiv:1908.03153</a>, <a class="link-https" data-arxiv-id="2105.12452" href="https://arxiv.org/abs/2105.12452">arXiv:2105.12452</a>], require very specialized constructions and arguments for each considered beyond planarity concept, and mostly only yield asymptotically non-tight bounds. We propose a very general proof framework that allows us to obtain asymptotically tight bounds, and where the concept-specific parts of the proof typically boil down to a couple of lines. We show the strength of our approach by giving improved or first bounds for several beyond planarity concepts.

Computational Geometry,Discrete Mathematics
Equivariant crossing numbers for two-bridge knots

Jundai Nanasawa

2023-04-02

Abstract:Symmetries of knots have been studied extensively, and strongly invertible knots are one of them. Lamm defined the equivariant crossing number $c_t(K)$, the minimum crossing number among all symmetric diagrams for a strongly invertible knot $K$. In this paper, we define $c_2(K)$ for two-bridge knots by restricting diagrams to two types. This gives an upper bound for $c_t(K)$. We give an algorithm to determine $c_2(K)$ for any two-bridge knot. The results of calculation by a computer up to 14 crossings are shown. As a corollary, we show 20 examples of knots up to 10 crossings in Rolfsen's knot table whose symmetry can be improved without increasing the number of crossings.

Geometric Topology
Non-Homotopic Drawings of Multigraphs

António Girão,Freddie Illingworth,Alex Scott,David R. Wood

2024-01-19

Abstract:A multigraph drawn in the plane is non-homotopic if no two edges connecting the same pair of vertices can be continuously deformed into each other without passing through a vertex, and is $k$-crossing if every pair of edges (self-)intersects at most $k$ times. We prove that the number of edges in an $n$-vertex non-homotopic $k$-crossing multigraph is at most $6^{13 n (k + 1)}$, which is a big improvement over previous upper bounds.

Combinatorics

The circular $k$-partite crossing number of $K_{m,n}$

The crossing number of the complete 4-partite graph $K_{1,1,m,n}$

New lower bounds on crossing numbers of $K_{m,n}$ from semidefinite programming

The tripartite-circle crossing number of graphs with two small partition classes

On the Orchard crossing number of complete bipartite graphs

The rectilinear local crossing number of $K_n$

Bounding the tripartite-circle crossing number of complete tripartite graphs

The generalized Tur'{a}n number of long cycles in graphs and bipartite graphs

On Kainen's conjectures on surface crossing numbers

The Rectilinear Crossing Number of K_10 is 62

Invariants of Bipartite Kneser B type-\MakeLowercase{k} graphs

Improving the Crossing Lemma by Characterizing Dense 2-Planar and 3-Planar Graphs

On the crossing number of K_13

Book crossing numbers of the complete graph and small local convex crossing numbers

Maximum Cut Parameterized by Crossing Number

On the rectilinear crossing number of complete balanced multipartite graphs and layered graphs

Improved lower bounds on book crossing numbers of complete graphs

Improvement on the Crossing Number of Crossing-Critical Graphs

Crossing Numbers of Beyond Planar Graphs Re-revisited: A Framework Approach

Equivariant crossing numbers for two-bridge knots

Non-Homotopic Drawings of Multigraphs