arXiv++ Combinatorics

For a graph $G$, the spectral radius $ρ(G)$ of $G$ is the largest eigenvalue of its adjacency matrix. In this paper, we give three lammas on $ρ(G)$ when $G$ contains a spanning complete bipartite graph. Using these lemmas and typical spectral method, we characterized the unique extremal graph with the maximum spectral radius among all planar graphs of large order $n$ without a cycle of length $\ell$, where $5\leq \ell\leq n$.

The square of a graph $G$, denoted $G^2$, has the same vertex set as $G$ and has an edge between two vertices if the distance between them in $G$ is at most $2$. Thomassen [12] showed that $χ(G^2) \leq 7$ if $G$ is a subcubic planar graph. A natural question is whether $χ_{\ell}(G^2) \leq 7$ or not if $G$ is a subcubic planar graph. Recently Kim and Lian [11] showed that $χ_{\ell}(G^2) \leq 7$ if $G$ is a subcubic planar graph of girth at least 6. And Jin, Kang, and Kim [10] showed that $χ_{\ell}(G^2) \leq 7$ if $G$ is a subcubic planar graph without 4-cycles and 5-cycles. In this paper, we show that the square of a subcubic planar graph without 5-cycles is 7-choosable, which improves the results of [10] and [11].

As the class $\mathcal T_4$ of graphs of twin-width at most 4 contains every finite subgraph of the infinite grid and every graph obtained by subdividing each edge of an $n$-vertex graph at least $2 \log n$ times, most NP-hard graph problems, like Max Independent Set, Dominating Set, Hamiltonian Cycle, remain so on $\mathcal T_4$. However, Min Coloring and k-Coloring are easy on both families because they are 2-colorable and 3-colorable, respectively. We show that Min Coloring is NP-hard on the class $\mathcal T_3$ of graphs of twin-width at most 3. This is the first hardness result on $\mathcal T_3$ for a problem that is easy on cographs (twin-width 0), on trees (whose twin-width is at most 2), and on unit circular-arc graphs (whose twin-width is at most 3). We also show that for every $k \geqslant 3$, k-Coloring is NP-hard on $\mathcal T_4$. We finally make two observations: (1) there are currently very few problems known to be in P on $\mathcal T_d$ (graphs of twin-width at most $d$) and NP-hard on $\mathcal T_{d+1}$ for some nonnegative integer $d$, and (2) unlike $\mathcal T_4$, which contains every graph as an induced minor, the class $\mathcal T_3$ excludes a fixed planar graph as an induced minor; thus it may be viewed as a special case (or potential counterexample) for conjectures about classes excluding a (planar) induced minor. These observations are accompanied by several open questions.

We prove that for every fixed integer $s$ and every planar graph $H$, the class of $H$-induced-minor-free and $K_{1,s}$-induced-subgraph-free graphs has polylogarithmic tree-independence number. This is a weakening of a conjecture of Dallard, Krnc, Kwon, Milanič, Munaro, Štorgel, and Wiederrecht.

A proper conflict-free coloring of a graph is a proper vertex coloring wherein each non-isolated vertex's open neighborhood contains at least one color appearing exactly once. For a non-negative integer $k$, a graph $G$ is said to be proper conflict-free (degree+$k$)-choosable if given any list assignment $L$ for $G$ where $|L(v)| = d(v) + k$ holds for every vertex $v \in V(G)$, there exists a proper conflict-free coloring $φ$ of $G$ such that $φ(v) \in L(v)$ for all $v \in V(G)$. Recently, Kashima, Škrekovski, and Xu proposed two related conjectures on proper conflict-free choosability: the first asserts the existence of an absolute constant $k$ such that every graph is proper conflict-free (degree+$k$)-choosable, while the second strengthens this claim by restricting to connected graphs other than the cycle of length 5 and reducing the constant to $k=2$. In this paper, we confirm the second conjecture for three graph classes: $K_4$-minor-free graphs with maximum degree at most 4, outer-1-planar graphs with maximum degree at most 4, and planar graphs with girth at least 12; we also confirm the first conjecture for these same graph classes, in addition to all outer-1-planar graphs (without degree constraints). Moreover, we prove that planar graphs with girth at least 12 and outer-1-planar graphs are proper conflict-free $6$-choosable.

In an undirected graph, the odd cycle packing number is the maximum number of pairwise vertex-disjoint odd cycles. The odd cycle transversal number is the minimum number of vertices that hit every odd cycle. The maximum ratio between transversal and packing number is called Erdős-Pósa ratio. We show that in planar graphs, this ratio does not exceed 4. This improves on the previously best known bound of 6 by Král', Sereni and Stacho.

Around 10 years ago, Agol and Krushkal showed that the number of chromatic polynomials $P_{G}$ arising from graphs $G$ on $n$ vertices grows exponentially with $n$, by establishing that the (dual) flow polynomial $F_{G}\left(\frac{3+\sqrt{5}}{2}\right)$ already takes on exponentially many values, if one varies $G$ over all planar cubic graphs $G$ on $n$ vertices. We show, more generally, that the size of the set $\{P_G(q): |V(G)|=n\}$ is exponential in $n$, for every fixed real number $q \neq 0,1,2$. In fact, our approach can also be pushed to show that $P_{G}(q)$ already takes on exponentially many values, if we only vary $G$ over all planar graphs on $n$ vertices. The case $q=3$ confirms a conjecture of Agol, which was initially motivated by the $\mathsf{NP}$-completeness of planar $3$-colorability.

We initiate the study of nowhere-zero flow reconfiguration. The natural question is whether any two nowhere-zero $k$-flows of a given graph $G$ are connected by a sequence of nowhere-zero $k$-flows of $G$, such that any two consecutive flows in the sequence differ only on a cycle of $G$. We conjecture that any two nowhere-zero 5-flows in any 2-edge-connected graph are connected in this way. This can be seen as a reconfiguration variant of Tutte's 5-flow conjecture. We study this problem in the setting of integer flows and group flows, and show that the structure of groups affects the answer, contrary to the existence of nowhere-zero flows. We also highlight a duality with recoloring in planar graphs and deduce that any two nowhere-zero 7-flows in a planar graph are connected, among other results. Finally we show that for any graph $G$, there is an abelian group $A$ such that all nowhere-zero $A$-flows in $G$ are connected, which is a weak form of our original conjecture. We conclude with several problems and conjectures.

We present a formal version of the numbers of vertices, edges, and faces for infinite planar regular triangular meshes of degree r>6. These numbers are defined via Euler summation of sequences obtained from iterated expansions of a convex combinatorial disk. We prove that these formal quantities satisfy the classical Euler formula, providing a combinatorial analogue of Euler's formula for infinite planar graphs.

An $r$-regular graph is an $r$-graph, if every odd set of vertices is connected to its complement by at least $r$ edges. We prove for $r \in \{4,5\}$, every projective planar $r$-graph with no Petersen-minor is $r$-edge colorable.

A 1-planar graph refers to a graph that can be drawn on the plane such that each edge has at most one crossing. In this paper, focusing on the spectral Turán-type problems of $1$-planar graphs, we determine completely the unique spectral extremal graph among all $K_3$-free or $K_4$-free $1$-planar graphs, and provide a characterization of the spectral extremal graphs for $K_5$-free $1$-planar graphs, confining the candidates to a specific, small family.

For a finite collection of connected graphs $\mathcal{F}$, the $\mathcal{F}$-MINOR-DELETION problem consists in, given a graph $G$ and an integer $\ell$, deciding whether $G$ contains a vertex set of size at most $\ell$ whose removal results in an $\mathcal{F}$-minor-free graph. We lift the existence of (approximate) polynomial kernels for $\mathcal{F}$-MINOR-DELETION by the solution size to (approximate) polynomial kernels parameterized by the vertex-deletion distance to graphs of bounded elimination distance to $\mathcal{F}$-minor-free graphs. This results in exact polynomial kernels for every family $\mathcal{F}$ that contains a planar graph, and an approximate polynomial kernel for PLANAR VERTEX DELETION. Moreover, combining our result with a previous lower bound, we obtain the following infinite set of dichotomies, assuming $NP \not\subseteq coNP/poly$: for any finite set $\mathcal{F}$ of biconnected graphs on at least three vertices containing a planar graph, and any minor-closed class of graphs $\mathcal{C}$, $\mathcal{F}$-MINOR-DELETION admits a polynomial kernel parameterized by the vertex-deletion distance to $\mathcal{C}$ if and only if $\mathcal{C}$ has bounded elimination distance to $\mathcal{F}$-minor-free graphs. For instance, this yields dichotomies for CACTUS VERTEX DELETION, OUTERPLANAR VERTEX DELETION, and TREEWIDTH-$t$ VERTEX DELETION for every integer $t \geq 0$. Prior to our work, such dichotomies were only known for the particular cases of VERTEX COVER and FEEDBACK VERTEX SET. Our approach builds on the techniques developed by Jansen and Pieterse [Theor. Comput. Sci. 2020] and also uses adaptations of some of the results by Jansen, de Kroon, and Wlodarczyk [STOC 2021].

Gartland and Lokshtanov conjectured that every graph that excludes some planar graph as an induced minor has a balanced separator, that is, a separator whose deletion leaves every component with no more than half of the vertices of the graph, which is dominated by a bounded number of vertices. We confirm this conjecture for excluding any fixed wheel, that is, a cycle together with a universal vertex, as an induced minor.

In this paper we relate the location of the complex zeros of the reliability polynomial to parameters at which a certain family of rational functions derived from the reliability polynomial exhibits chaotic behaviour. We use this connection to prove new results about the location of reliability zeros. In particular we show that there are zeros with modulus larger than $1$ with essentially any possible argument. We moreover use this connection to show that approximately evaluating the reliability polynomial for planar graphs at a non-positive algebraic number in the unit disk is #P-hard.

A classical result of Tutte shows that every 4-connected planar graph is Hamiltonian. In recent years, there has been growing interest in extending classical Hamiltonian results from planar graphs to sparse graphs with drawings allowing crossings, such as $k$-planar graphs, where each edge is crossed at most $k$ times. For example, using different approaches, Hudák, Tomáš and Suzuki, as well as Noguchi and Suzuki, independently proved that every optimal 1-planar graph is Hamiltonian. Here, an optimal 1-planar graph refers to one that attains the maximum possible number of edges. In this paper, we establish results on the Hamiltonicity of optimal 2-planar graphs, that is, 2-planar graphs with the maximum number of edges. More precisely, we show that every 4-connected optimal 2-planar graph is Hamiltonian-connected. With vertex-connectivity 3, there exist infinitely many optimal 2-planar graphs that are non-Hamiltonian.

The {\em square} of a graph $G$, denoted $G^2$, has the same vertex set as $G$ and an edge between any two vertices at distance at most $2$ in $G$. Wegner (1977) conjectured that for a planar graph $G$, $χ(G^2) \leq 7$ if $Δ(G) = 3$, $χ(G^2) \leq Δ(G)+5$ if $4 \leq Δ(G) \leq 7$, and $χ(G^2) \leq \lfloor 3Δ(G)/2 \rfloor$ if $Δ(G) \geq 8$, and Thomassen (2018) confirmed the conjecture for $Δ(G) = 3$. Dvořák et al. (2008) and Feder et al. (2021) further conjectured that $χ(G^2) \leq 6$ for cubic bipartite planar graphs. A natural question is whether this bound also holds for the list-chromatic number, i.e., whether $χ_{\ell}(G^2) \leq 6$ for such graphs. More generally, it is of interest to determine sufficient conditions ensuring $χ_{\ell}(G^2) \leq 6$ for subcubic planar graphs. In this paper, we prove that $χ_{\ell}(G^2) \leq 6$ for subcubic planar graphs containing no $k$-cycles for $4 \leq k \leq 8$, improving a result of Cranston and Kim (2008).

Seaweed algebras are a class of Lie algebras that are naturally characterized by a pair of compositions, which in turn are represented visually as planar graphs called meanders. These meanders provide a straightforward method for computing the index of the associated algebra. The goal of this paper is to enumerate those seaweed algebras with a fixed index and whose associated compositions have restricted part sizes. In particular, we enumerate those with composition part sizes from so-called acyclic sets. We also establish a bijection between sets of indecomposable seaweed algebras with meanders with certain restricted part sizes and sets of permutations with restricted displacements. In certain cases, the index of the algebra can be determined by a simple statistic on the permutation.

We consider Eulerian cycles without transversal selfintersections in $4$-valent planar graphs. We prove that any cycle of this type in the graph of an ideal right-angled hyperbolic $3$-polytope corresponds to a hyperbolic link such that its complement consists of $4$-copies of this polytope glued according to its checkerboard coloring. Moreover, this link consists of trivially embedded circles bijectively corresponding to the vertices of the polytope. We prove that there is always at least one Eulerian cycle of this type and introduce a transformation of a cycle along conjugated vertices allowing to build new cycles from a given one. The $2$-fold branched covering space corresponding to our link is a small cover over some simple $3$-polytope. It corresponds to a Hamiltonian cycle on this polytope via the A.D. Mednykh's construction. We show that any Hamiltonian cycle on a compact right-angled hyperbolic $3$-polytope arises in this way, while in the finite volume case the necessary and sufficient condition is that at each ideal vertex it does not go straight. The link corresponding to a Hamiltonian cycle on a simple $3$-polytope always contains the Hopf link consisting of two circles. We consider links corresponding to Hamiltonian theta-graphs and Hamiltonian $K_4$-graphs on simple $3$-polytopes introduced by A.D. Mednykh and A.Yu. Vesnin. We give a criterion when such a link consists of mutually unlinked circles and when it is trivial. We give a necessary condition for such a link to be hyperbolic. The simplest example is the Borromean rings corresponding to the Hamiltonian theta-graph on the cube. We introduce the notions of a nonselfcrossing Eulerian theta-graph and $K_4$-graph on a right-angled hyperbolic $3$-polytope of finite volume with $2$ or $4$ finite vertices and construct the corresponding hyperbolic link.

Given a graph or multigraph $G$, let $χ'_{trans}(G)$ denote the minimum integer $n$ such that any proper $χ'(G)$--edge coloring of $G$ can be transformed into any other proper $χ'(G)$--edge coloring of $G$ by a series of transformations such that each of the intermediate colorings is a proper $χ'(G)$--edge coloring of $G$ and each of the transformations involves at most $n$ color classes of the previous coloring. We call $χ'_{trans}(G)$ the {\it edge chromatic transformation index of $G$}. In this paper we show that if $G$ is a graph with maximum degree at least $4$, where every block is either a bipartite graph, a series-parallel graph, a chordless graph, a wheel graph or a planar graph of girth at least $7$, then $χ'_{trans}(G)\leq 4$. This bound is sharp for series-parallel and wheel graphs. We also show that $χ'_{trans}(G)\leq 8$ for all planar graphs $G$, $χ'_{trans}(G)\leq 5$ if $G$ is a Halin graph and $χ'_{trans}(G)=2$ if $G$ is a regular bipartite planar multigraph. Finally, we consider the analogous problem for vertex colorings, and show that for any $k\geq 3$ there is an infinite class $\cal G$$(k)$ of graphs with chromatic number $k$ such that for every $G\in \cal G$$(k)$ any two proper $k$-vertex colorings of $G$ can be transformed to each other only by a transformation, involving all $k$ color classes.

We prove that several natural graph classes have tree-decompositions with minimum width such that each bag has bounded treewidth. For example, every planar graph has a tree-decomposition with minimum width such that each bag has treewidth at most 3. This treewidth bound is best possible. More generally, every graph of Euler genus $g$ has a tree-decomposition with minimum width such that each bag has treewidth in $O(g)$. This treewidth bound is best possible. Most generally, every $K_p$-minor-free graph has a tree-decomposition with minimum width such that each bag has treewidth at most some polynomial function $f(p)$. In such results, the assumption of an excluded minor is justified, since we show that analogous results do not hold for the class of 1-planar graphs, which is one of the simplest non-minor-closed monotone classes. In fact, we show that 1-planar graphs do not have tree-decompositions with width within an additive constant of optimal, and with bags of bounded treewidth. On the other hand, we show that 1-planar $n$-vertex graphs have tree-decompositions with width $O(\sqrt{n})$ (which is the asymptotically tight bound) and with bounded treewidth bags. Moreover, this result holds in the more general setting of bounded layered treewidth, where the union of a bounded number of bags has bounded treewidth.