arXiv++ Combinatorics

Treewidth is an important structural graph parameter that quantifies how closely a graph resembles a tree-like structure. It has applications in many algorithmic and combinatorial problems. In this paper, we study the treewidth of outer $k$-planar graphs, that is, graphs admitting a convex drawing (a straight-line drawing where all vertices lie on a circle) in which every edge crosses at most $k$ other edges. We also consider the more general class of outer min-$k$-planar graphs, which are graphs admitting a convex drawing where for every crossing of two edges at least one of these edges is crossed at most $k$ times. Firman, Gutowski, Kryven, Okada and Wolff [GD 2024] proved that every outer $k$-planar graph has treewidth at most $1.5k+2$ and provided a lower bound of $k+2$ for even $k$. We establish a lower bound of $1.5k+0.5$ for every odd $k$. Additionally, they showed that every outer min-$k$-planar graph has treewidth at most $3k+1$. We improve this upper bound to $3 \cdot \lfloor k/2 \rfloor+4$. Our approach also allows us to upper bound the separation number, a parameter closely related to treewidth, of outer min-$k$-planar graphs by $2 \cdot \lfloor k/2 \rfloor+4$. This improves upon the previous bound of $2k+1$ and achieves a bound with an optimal multiplicative constant.

For positive integers $n,n'$, we give a combinatorial characterization for the set of quadratic inequalities on minors that are valid for all $n\times n'$ totally nonnegative matrices. This is obtained as a consequence from our earlier results on stable quadratic identities on minors of matrices generated by flows in planar graphs via Lindström's construction.

Fix a positive integer $r$, and a graph $G$ that is $K_{3,r}$-minor-free. Let $I_s$ and $I_t$ be two independent sets in $G$, each of size $k$. We begin with a ``token'' on each vertex of $I_s$ and seek to move all tokens to $I_t$, by repeated ``token jumping'', removing a single token from one vertex and placing it on another vertex. We require that each intermediate arrangement of tokens again specifies an independent set of size $k$. Given $G$, $I_s$, and $I_t$, we ask whether there exists a sequence of token jumps that transforms $I_s$ into $I_t$. When $k$ is part of the input, this problem is known to be PSPACE-complete. However, it was shown by Ito, Kamiński, and Ono (2014) to be fixed-parameter tractable. That is, when $k$ is fixed, the problem can be solved in time polynomial in the order of $G$. Here we strengthen the upper bound on the running time in terms of $k$ by showing that the problem has a kernel of size linear in $k$. More precisely, we transform an arbitrary input problem on a $K_{3,r}$-minor-free graph into an equivalent problem on a ($K_{3,r}$-minor-free) graph with order $O(k)$. This answers positively a question of Bousquet, Mouawad, Nishimura, and Siebertz (2024) and improves the recent quadratic kernel of Cranston, Mühlenthaler, and Peyrille (2024+). For planar graphs, we further strengthen this upper bound to get a kernel of size at most $42k$.

Recently, the problem of establishing bounds on the edge density of 1-planar graphs, including their subclass IC-planar graphs, has received considerable attention. In 2018, Angelini et al. showed that any n-vertex bipartite IC-planar graph has at most 2.25n-4 edges, which implies that bipartite IC-planar graphs have vertex-connectivity at most 4. In this paper, we prove that any n-vertex maximal bipartite IC-plane graph with connectivity 2 has at least 3/2n-2 edges, and those with connectivity 3 has at least 2n-3 edges. All the above lower bounds are tight. For 4-connected maximal bipartite IC-planar graphs, the question of determining a non-trivial lower bound on the size remains open.

Let $G$ be a graph of order $ n(G) $, local metric dimension $ \dim_l(G) $, and clique number $ ω(G) $. It has been conjectured that if $ n(G) \geq ω(G) + 1 \geq 4 $, then $ \dim_l(G) \leq \left( \frac{ω(G) - 2}{ω(G) - 1} \right) n(G) $. In this paper the conjecture is confirmed for the case $ ω(G) = 3 $. Consequently, a problem regarding the local metric dimension of planar graphs is also resolved.

$k$-planar graphs are generalizations of planar graphs that can be drawn in the plane with at most $k > 0$ crossings per edge. One of the central research questions of $k$-planarity is the maximum edge density, i.e., the maximum number of edges a $k$-planar graph on $n$ vertices may have. While there are numerous results for the classes of general $k$-planar graphs for $k\leq 2$, there are only very few results for increasing $k=3$ or $4$ due to the complexity of the classes. We make a first step towards even larger $k>4$ by exploring the class of $5$-planar graphs. While our main tool is still the discharging technique, a better understanding of the structure of the denser parts leads to corresponding density bounds in a much simpler way. We first apply a simplified version of our technique to outer $5$-planar graphs and use the resulting density bound to assert that the structure of maximally dense $5$-planar graphs differs from the uniform structure when $k$ is small. As the central result of this paper, we then show that simple $5$-planar graphs have at most $\frac{340}{49}(n-2) \approx 6.94(n-2)$ edges, which is a drastic improvement from the previous best bound of $\approx8.3n$. This even implies a small improvement of the leading constant in the Crossing Lemma $cr(G) \ge c \frac{m^3}{n^2}$ from $c=\frac{1}{27.48}$ to $c=\frac{1}{27.19}$. To demonstrate the potential of our new technique, we also apply it to other graph classes, such as 4-planar and 6-planar graphs.

We study the maximum number of straight-line segments connecting $n$ points in convex position in the plane, so that each segment intersects at most $k$ others. This question can also be framed as the maximum number of edges of an outer $k$-planar graph on $n$ vertices. We outline several approaches to tackle the problem with the best approach yielding an upper bound of $(\sqrt{2}+\varepsilon)\sqrt{k}n$ edges (with $\varepsilon \rightarrow 0$ for sufficiently large $k$). We further investigate the case where the points are arbitrarily bicolored and segments always connect two different colors (i.e., the corresponding graph has to be bipartite). To this end, we also consider the maximum cut problem for the circulant graph $C_n^{1,2,\dots,r}$ which might be of independent interest.

A long-standing conjecture by Albertson and Berman states that every planar graph of order $n$ has an induced forest with at least $\lceil \frac{n}{2} \rceil$ vertices. As a variant of this conjecture, Chappell conjectured that every planar graph of order $n$ has an induced linear forest with at least $\lceil \frac{4n}{9} \rceil$ vertices. Pelsmajer proved that every outerplanar graph of order $n$ has an induced linear forest with at least $\lceil \frac{4n+2}{7}\rceil$ vertices and this bound is sharp. In this paper, we investigate the order of induced subgraphs of outerplanar graphs with a given pathwidth. The above result by Pelsmajer implies that every outerplanar graph of order $n$ has an induced subgraph with pathwidth one and at least $\lceil \frac{4n+2}{7}\rceil$ vertices. We extend this to obtain a result on the maximum order of any outerplanar graph with at most a given pathwidth. We also give its upper bound which generalizes Pelsmajer's construction.

We extend the theory of circular game chromatic numbers to signed graphs by defining the invariant $χ_c^g(G,σ)$ for signed graphs $(G,σ)$. Our analysis establishes tight bounds dependent on the structural properties of the underlying graph $G$ and its signature $σ$. Building on the foundational framework of Lin and Zhu \cite{LinZhu2009}, we demonstrate that the circular game chromatic number of a balanced signed graph $(G, σ)$ equals that of its underlying graph $G$, i.e., $χ_c^g(G,σ) = χ_c^g(G)$. For antibalanced signed graphs, we prove that $χ_c^g(G,σ)$ does not exceed the chromatic number of $G$ plus one, with tightness demonstrated for odd cycles. A dichotomy emerges for bipartite graphs: $χ_c^g(G,σ)$ equals $2$ when the graph is balanced, and otherwise remains bounded above by $3$. These results rely on switching equivalence principles (Lemma \ref{lem:Zaslavsky}) and critical properties of fundamental cycles (Lemma \ref{lem:ForcingTree}), adapting classical techniques from unsigned graph theory to the signed context. We further highlight open questions regarding computational complexity and planar graph extensions, creating new bridges between combinatorial game theory and signed graph structural analysis.

For a simple graph $G=(V,E)$ and edge $e\in E$, the effective resistance is defined as a ratio $\frac{τ(G/e)}{τ(G)}$, where $τ(G)$ denotes the number of spanning trees in $G$. We resolve the inverse problem for the effective resistance for planar graphs. Namely, we determine (up to a constant) the smallest size of a simple planar graph with a given effective resistance. The results are motivated and closely related to our previous work arXiv:2411.18782 on Sedláček's inverse problem for the number of spanning trees.

A fractional coloring of a signed graph $(G, σ)$ is an assignment of nonnegative weights to the balanced sets (sets which do not induce a negative cycle) such that each vertex has an accumulated weight of at least 1. The minimum total wight among all such colorings is defined to be the fractional balanced chromatic number, denoted by $χ-{fb}(G, σ)$. This value is clearly upper bounded by the fractional arboricity of $G$, denoted $a_f (G)$, where weights are assigned to sets inducing no cycle rather than sets inducing no negative cycle. In this work we present an example of a planar signed simple graph of fractional balanced chromatic number larger than 2, thus in particular refuting a conjecture of Bonamy, Kardos, Kelly, and Postle suggesting that the fractional arboricity of planar graphs is bounded above by 2. By iterating the construction, we show that the supremum of the fractional balanced chromatic number of planar signed simple graphs is at least as $83/41 = 2 + 1/41$. With similar operations, we built a sequence of planar graphs whose limit of fractional arboricity is $a_f (G) = 2 + 2/25$.

A graph is called bivalent or trivalent if there exists an eigenvector of the graph Laplacian composed from {-1,1} or {-1,0,1}, respectively. These bivalent and trivalent eigenvectors are important for engineering applications, in particular for vibrating systems. In this article, we determine the structure of bivalent and trivalent graphs in the following planar graph families: trees, unicyclic, bicyclic, and cactus.

Kriesel conjectured that every minimally $1$-tough graph has a vertex with degree precisely $2$. Katona and Varga (2018) proposed a generalized version of this conjecture which says that every minimally $t$-tough graph has a vertex with degree precisely $\lceil 2t\rceil$, where $t$ is a positive real number. This conjecture has been recently verified for several families of graphs. For example, Ma, Hu, and Yang (2023) confirmed it for claw-free minimally $3/2$-tough graphs. Recently, Zheng and Sun (2024) disproved this conjecture by constructing a family of $4$-regular graphs with toughness approaching to $1$. In this paper, we disprove this conjecture for planar graphs and their line graphs. In particular, we construct an infinite family of minimally $t$-tough non-regular claw-free graphs with minimum degree close to thrice their toughness. This construction not only disproves a renewed version of Generalized Kriesel's Conjecture on non-regular graphs proposed by Zheng and Sun (2024), it also gives a supplement to a result due to Ma, Hu, and Yang (2023) who proved that every minimally $t$-tough claw-free graph with $t\ge 2$ has a vertex of degree at most $3t+ \lceil (t-5)/3\rceil$. Moreover, we conjecture that there is not a fixed constant $c$ such that every minimally $t$-tough graph has minimum degree at most $\lceil c t \rceil$.

Homomorphism indistinguishability is a way of characterising many natural equivalence relations on graphs. Two graphs $G$ and $H$ are called homomorphism indistinguishable over a graph class $\mathcal{F}$ if for each $F \in \mathcal{F}$, the number of homomorphisms from $F$ to $G$ equals the number of homomorphisms from $F$ to $H$. Examples of such equivalence relations include isomorphism and cospectrality, as well as equivalence with respect to many formal logics. Quantum groups are a generalisation of topological groups that describe "non-commutative symmetries" and, inter alia, have applications in quantum information theory. An important subclass are the easy quantum groups, which enjoy a combinatorial characterisation and have been fully classified by Raum and Weber. A recent connection between these seemingly distant concepts was made by Mančinska and Roberson, who showed that quantum isomorphism, a relaxation of classical isomorphism that can be phrased in terms of the quantum symmetric group, is equivalent to homomorphism indistinguishability over the class of planar graphs. We generalise Mančinska and Roberson's result to all orthogonal easy quantum groups. We obtain for each orthogonal easy quantum group a graph isomorphism relaxation $\approx$ and a graph class $\mathcal{F}$, such that homomorphism indistinguishability over $\mathcal{F}$ coincides with $\approx$. Our results include a full classification of the $(0, 0)$-intertwiners of the graph-theoretic quantum group obtained by adding the adjacency matrix of a graph to the intertwiners of an orthogonal easy quantum group.

A classical result of Robertson and Seymour (1986) states that the treewidth of a graph is linearly tied to its separation number: the smallest integer $k$ such that, for every weighting of the vertices, the graph admits a balanced separator of size at most $k$. Motivated by recent progress on coarse treewidth, Abrishami, Czyżewska, Kluk, Pilipczuk, Pilipczuk, and Rzążewski (2025) conjectured a coarse analogue to this result: every graph that has a balanced separator consisting of a bounded number of balls of bounded radius is quasi-isometric to a graph with bounded treewidth. In this paper, we confirm their conjecture for $K_{t,t}$-induced-subgraph-free graphs when the separator consists of a bounded number of balls of radius $1$. In doing so, we bridge two important conjectures concerning the structure of graphs that exclude a planar graph as an induced minor.

A generalization of the notion of spanning tree congestion for weighted graphs is introduced. The $L^p$ congestion of a spanning tree is defined as the $L^p$ norm of the edge congestion of that tree. In this context, the classical congestion is the $L^\infty$-congestion. Explicit estimations of the minimal spanning tree $L^p$ congestion for some families of graphs are given. In addition, we introduce a polynomial-time algorithm for approximating the minimal $L^p$-congestion spanning tree in any weighted graph and another two similar algorithms for weighted planar graphs. The performance of these algorithms is tested in several graphs.

The n-dimensional hypercube Q_n is a graph with vertex set {0,1}^n such that there is an edge between two vertices if and only if they differ in exactly one coordinate. Let H be a graph, and a graph is called H-free if it does not contain H as a subgraph. Given a graph H, the Turan number of H in Q_n, denoted by ex(Q_n, H), is the maximum number of edges of a subgraph of Q_n that is H-free. A double star S_{k,l} is the graph obtained by taking an edge uv and joining u with k vertices, v with l vertices which are different from the k vertices. We say a double star is a balanced double star if k = l. Currently, the Turan number of the balanced star S_{n,n} is has been studied in the planar graphs. In the hypercubes, the researchers look for the maximum number of edges of the graphs that are C_k-free. However, the Turan number of the double star in the hypercube remains unexplored. Building upon prior research, we initiate the first study on the Turan number of the balanced double star in the hypercube. In this paper, we give the exact value of the Turan number of the balanced double star S_{n-1,n-1} in the hypercube Q_n, which is 2^{n-3}*(4n- 3) for all n >= 3.

A 1-planar graph is a graph which has a drawing on the plane such that each edge is crossed at most once. If a 1-planar graph is drawn in that way, the drawing is called a {\it 1-plane graph}. A graph is maximal 1-plane (or 1-planar) if no additional edge can be added without violating 1-planarity or simplicity. It is known that any maximal 1-plane graph is $k$-connected for some $k$ with $2\le k\le 7$. Recently, Huang et al. proved that any maximal 1-plane graph with $n$ ($\ge 5$) vertices has at least $\lceil\frac{7}{3}n\rceil-3$ edges, which is tight for all integers $n\ge 5$. In this paper, we study $k$-connected maximal 1-plane graphs for each $k$ with $3\le k\le 7$, and establish a lower bound for their crossing numbers and a lower bound for their edge numbers, respectively.

Thomassen showed that planar graphs are 5-list-colourable, and that planar graphs of girth at least five are 3-list-colourable. An easy degeneracy argument shows that planar graphs of girth at least four are 4-list-colourable. In 2022, Postle and Smith-Roberge proved a common strengthening of these three results: with $g(v)$ denoting the length of a shortest cycle containing a vertex $v$, they showed that if $G$ is a planar graph and $L$ a list assignment for $G$ where $|L(v)| \geq \max\{3,8-g(v)\}$ for all $v \in V(G)$, then $G$ is $L$-colourable. Moreover, they conjectured that an analogous theorem should hold for correspondence colouring. We prove this conjecture; in fact, our main theorem holds in the still more restrictive setting of weak degeneracy, and moreover acts as a joint strengthening of the fact that planar graphs are weakly 4-degenerate (originally due to Bernshteyn, Lee, and Smith-Roberge), and that planar graphs of girth at least five are weakly 2-degenerate (originally due to Han et al.).

We prove that every 2-connected, cubic, planar graph with faces of size at most 6 is Hamiltonian, and show that the 6-face condition is tight. Our results push the connectivity condition of the Barnette-Goodey conjecture to the weakest possible.