arXiv++ Combinatorics

A conjecture of Richter and Salazar about graphs that are critical for a fixed crossing number $k$ is that they have bounded bandwidth. A weaker well-known conjecture of Richter is that their maximum degree is bounded in terms of $k$. In this note we disprove these conjectures for every $k\ge 171$, by providing examples of $k$-crossing-critical graphs with arbitrarily large maximum degree.

Two categorifications are given for the arrow polynomial, an extension of the Kauffman bracket polynomial for virtual knots. The arrow polynomial extends the bracket polynomial to infinitely many variables, each variable corresponding to an integer {\it arrow number} calculated from each loop in an oriented state summation for the bracket. The categorifications are based on new gradings associated with these arrow numbers, and give homology theories associated with oriented virtual knots and links via extra structure on the Khovanov chain complex. Applications are given to the estimation of virtual crossing number and surface genus of virtual knots and links. Key Words: Jones polynomial, bracket polynomial, extended bracket polynomial, arrow polynomial, Miyazawa polynomial, Khovanov complex, Khovanov homology, Reidemeister moves, virtual knot theory, differential, partial differential, grading, dotted grading, vector grading.

In this paper we give the stable classification of ordered, pointed, oriented multi-component curves on surfaces with minimal crossing number less than or equal to 2 such that any equivalent curve has no simply closed curves in its components. To do this, we use the theory of words and phrases which was introduced by V. Turaev. Indeed we give the homotopy classification of nanophrases with less than or equal to 4 letters. It is an extension of the classification of nanophrases of length 2 with less than or equal to 4 letters which was given by the author in a previous paper. This is a corrected version of Hokkaido University Preprint Series in Mathematics #921. I corrected the subsection 5.3 and added proofs of propositions.

Classes with bounded expansion, which generalise classes that exclude a topological minor, have recently been introduced by Nešetřil and Ossona de Mendez. These classes are defined by the fact that the maximum average degree of a shallow minor of a graph in the class is bounded by a function of the depth of the shallow minor. Several linear-time algorithms are known for bounded expansion classes (such as subgraph isomorphism testing), and they allow restricted homomorphism dualities, amongst other desirable properties. In this paper we establish two new characterisations of bounded expansion classes, one in terms of so-called topological parameters, the other in terms of controlling dense parts. The latter characterisation is then used to show that the notion of bounded expansion is compatible with Erdös-Rényi model of random graphs with constant average degree. In particular, we prove that for every fixed $d>0$, there exists a class with bounded expansion, such that a random graph of order $n$ and edge probability $d/n$ asymptotically almost surely belongs to the class. We then present several new examples of classes with bounded expansion that do not exclude some topological minor, and appear naturally in the context of graph drawing or graph colouring. In particular, we prove that the following classes have bounded expansion: graphs that can be drawn in the plane with a bounded number of crossings per edge, graphs with bounded stack number, graphs with bounded queue number, and graphs with bounded non-repetitive chromatic number. We also prove that graphs with `linear' crossing number are contained in a topologically-closed class, while graphs with bounded crossing number are contained in a minor-closed class.

We extend known results regarding the maximum rectilinear crossing number of the cycle graph (C_n) and the complete graph (K_n) to the class of general d-regular graphs R_{n,d}. We present the generalized star drawings of the d-regular graphs S_{n,d} of order n where n+d= 1 mod 2 and prove that they maximize the maximum rectilinear crossing numbers. A star-like drawing of S_{n,d} for n = d = 0 mod 2 is introduced and we conjecture that this drawing maximizes the maximum rectilinear crossing numbers, too. We offer a simpler proof of two results initially proved by Furry and Kleitman as partial results in the direction of this conjecture.

We prove that two disjoint graphs must always be drawn separately on the Klein bottle, in order to minimize the crossing number of the whole drawing.

Let $P_{n,k}$ be the number of permutations $π$ on [n]={1, 2,..., n} such that the length of the longest increasing subsequences of $π$ equals k, and let $M_{2n, k}$ be the number of matchings on [2n] with crossing number k. Define $P_n(x)= \sum_k P_{n,k}x^k$ and $M_{2n}(x)=\sum_{k} M_{2n,k}x^k$. We propose some conjectures on the log-concavity and q-log-convexity of the polynomials $P_n(x)$ and $M_{2n}(x)$. We also introduce the notions of $\infty$-q-log-convexity and $\infty$-q-log-concavity, and the notion of higher order log-concavity with respect to $\infty$-q-log-convex or $\infty$-q-log-concavity. A conjecture on the $\infty$-q-log-convexity of the Boros-Moll polynomials is presented. It seems that $M_{2n}(x)$ are log-concave of any order with respect to $\infty$-q-log-convexity.

Even the most superficial glance at the vast majority of crossing-minimal geometric drawings of $K_n$ reveals two hard-to-miss features. First, all such drawings appear to be 3-fold symmetric (or simply {\em 3-symmetric}) . And second, they all are {\em 3-decomposable}, that is, there is a triangle $T$ enclosing the drawing, and a balanced partition $A, B, C$ of the underlying set of points $P$, such that the orthogonal projections of $P$ onto the sides of $T$ show $A$ between $B$ and $C$ on one side, $B$ between $A$ and $C$ on another side, and $C$ between $A$ and $B$ on the third side. In fact, we conjecture that all optimal drawings are 3-decomposable, and that there are 3-symmetric optimal constructions for all $n$ multiple of 3. In this paper, we show that any 3-decomposable geometric drawing of $K_n$ has at least $0.380029\binom{n}{4}+Θ(n^3)$ crossings. On the other hand, we produce 3-symmetric and 3-decomposable drawings that improve the {\em general} upper bound for the rectilinear crossing number of $K_n$ to $0.380488\binom{n}{4}+Θ(n^3)$. We also give explicit 3-symmetric and 3-decomposable constructions for $n<100$ that are at least as good as those previously known.

In this paper we present three different results dealing with the number of $(\leq k)$-facets of a set of points: 1. We give structural properties of sets in the plane that achieve the optimal lower bound $3\binom{k+2}{2}$ of $(\leq k)$-edges for a fixed $0\leq k\leq \lfloor n/3 \rfloor -1$; 2. We give a simple construction showing that the lower bound $3\binom{k+2}{2}+3\binom{k-\lfloor \frac{n}{3} \rfloor+2}{2}$ for the number of $(\leq k)$-edges of a planar point set appeared in [Aichholzer et al. New lower bounds for the number of ($\leq k$)-edges and the rectilinear crossing number of $K_n$. {\em Disc. Comput. Geom.} 38:1 (2007), 1--14] is optimal in the range $\lfloor n/3 \rfloor \leq k \leq \lfloor 5n/12 \rfloor -1$; 3. We show that for $k < \lfloor n/(d+1) \rfloor$ the number of $(\leq k)$-facets of a set of $n$ points in general position in $\mathbb{R}^d$ is at least $(d+1)\binom{k+d}{d}$, and that this bound is tight in the given range of $k$.

The point sets of all known optimal rectilinear drawings of $K_n$ share an unmistakeable clustering property, the so--called {\em 3--decomposability}. It is widely believed that the underlying point sets of all optimal rectilinear drawings of $K_n$ are 3--decomposable. We give a lower bound for the minimum number of $(\le k)$--sets in a 3--decomposable $n$--point set. As an immediate corollary, we obtain a lower bound for the crossing number $\rcr(\dd)$ of any rectilinear drawing $\dd$ of $K_n$ with underlying 3--decomposable point set, namely $\rcr(\dd) > {2/27}(15-π^{2})\binom{n}{4}+Θ(n^{3}) \approx 0.380029\binom{n}{4} + Θ(n^3)$. This closes this gap between the best known lower and upper bounds for the rectilinear crossing number $\rcr(K_n)$ of $K_n$ by over 40%, under the assumption of 3--decomposability.

We found that Lemma 6.3 in the paper ``The crossing number of $K_{4,n}$ on the torus and the Klein bottle" is wrong.

Twisted graph diagrams are virtual graph diagrams with bars on edges. A bijection between abstract graph diagrams and twisted graph diagrams is constructed. Then a polynomial invariant of Yamada-type is developed which provides a lower bound for the virtual crossing number of virtual graph diagrams.

In this paper we consider faultfree tromino tilings of rectangles and characterize rectangles that admit such tilings. We introduce the notion of {\it crossing numbers} for tilings and derive bounds on the crossing numbers of faultfree tilings. We develop an iterative scheme for generating faultfree tromino tilings for rectangles and derive the closed form expression for the exact number of faultfree tromino tilings for $4\times3t$ rectangles and the exact generating function for $5\times 3t$ rectangles, $t\geq 1$. Our iterative scheme generalizes to arbitrary rectangles; for $6\times 6t$ and $7\times 6t$ rectangles, $t\geq 1$, we derive generating functions for estimating lower bounds on the number of faultfree tilings. We also derive an upper bound on the number of tromino tilings of an $m\times n$ rectangle, where $3|mn$ and $m,n>0$.

The "minor crossing number" of a graph $G$ is the minimum crossing number of a graph that contains $G$ as a minor. It is proved that for every graph $H$ there is a constant $c$, such that every graph $G$ with no $H$-minor has minor crossing number at most $c|V(G)|$.

We provide a new lower bound on the number of $(\leq k)$-edges of a set of $n$ points in the plane in general position. We show that for $0 \leq k \leq\lfloor\frac{n-2}{2}\rfloor$ the number of $(\leq k)$-edges is at least $$ E_k(S) \geq 3\binom{k+2}{2} + \sum_{j=\lfloor\frac{n}{3}\rfloor}^k (3j-n+3), $$ which, for $k\geq \lfloor\tfrac{n}{3}\rfloor$, improves the previous best lower bound in [J. Balogh, G. Salazar, Improved bounds for the number of ($\leq k$)-sets, convex quadrilaterals, and the rectilinear crossing number of $K_n$]. As a main consequence, we obtain a new lower bound on the rectilinear crossing number of the complete graph or, in other words, on the minimum number of convex quadrilaterals determined by $n$ points in the plane in general position. We show that the crossing number is at least $$ \Bigl({41/108}+ε\Bigr) \binom{n}{4} + O(n^3) \geq 0.379631 \binom{n}{4} + O(n^3), $$ which improves the previous bound of $0.37533 \binom{n}{4} + O(n^3)$ in [J. Balogh, G. Salazar, Improved bounds for the number of ($\leq k$)-sets, convex quadrilaterals, and the rectilinear crossing number of $K_n$] and approaches the best known upper bound $0.38058\binom{n}{4}$ in [O. Aichholzer, H. Krasser, Abstract order type extension and new results on the rectilinear crossing number].

We calculate the outerplanar crossing numbers of complete multipartite graphs which have $n$ partite sets with $m$ vertices and one partite set with $p$ vertices, where either $p|mn$ or $mn|p$.

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.

Tree decompositions of graphs are of fundamental importance in structural and algorithmic graph theory. Planar decompositions generalise tree decompositions by allowing an arbitrary planar graph to index the decomposition. We prove that every graph that excludes a fixed graph as a minor has a planar decomposition with bounded width and a linear number of bags. The crossing number of a graph is the minimum number of crossings in a drawing of the graph in the plane. We prove that planar decompositions are intimately related to the crossing number. In particular, a graph with bounded degree has linear crossing number if and only if it has a planar decomposition with bounded width and a linear number of bags. It follows from the above result about planar decompositions that every graph with bounded degree and an excluded minor has linear crossing number. Analogous results are proved for the convex and rectilinear crossing numbers. In particular, every graph with bounded degree and bounded tree-width has linear convex crossing number, and every $K_{3,3}$-minor-free graph with bounded degree has linear rectilinear crossing number.

A diagonal surface in a link exterior M is a properly embedded, incompressible, boundary incompressible surface which furthermore has the same number of boundary components and same slope on each component of the boundary of M. We derive a formula for the boundary slope of a diagonal surface in the exterior of a 2-bridge link which is analogous to the formula for the boundary slope of a 2-bridge knot found by Hatcher and Thurston. Using this formula we show that the diameter of a 2-bridge link, that is, the difference between the smallest and largest finite slopes of diagonal surfaces, is equal to the crossing number.

It is proved that the rectilinear crossing number of every graph with bounded tree-width and bounded degree is linear in the number of vertices. **** This paper has been withdrawn by the author. **** The results have been superseeded by the author's paper with Jan Arne Telle: "Planar decompositions and the crossing number of graphs with an excluded minor", http://arxiv.org/math/0604467.