arXiv++ Combinatorics

In 1996, Youngs proved a surprising theorem that quadrangulations of the projective plane could never have chromatic number exactly 3. This sparked a lot of interest, and the result has been further developed in many directions over the past decades. For example, the result is strengthened by considering the circular chromatic number, which is a real-valued lower bound on the chromatic number. The circular chromatic number of a quadrangulation cannot be in the interval (2,4). This parameter allows a generalization to larger even faces, for which a similar gap exists. In this work, we place these results into a framework based on the notion of winding number using extensions of colorings to continuous mappings. This yields unified and simplified proofs of gaps in the circular chromatic number for graphs with a distinguished set of directed even cycles. This generalizes the setting of graphs embedded on surfaces where every face is even. We further establish an analogous gap phenomenon when all faces are of a given odd length, previously known only in the case of triangulations. For example, we conclude that if G is a graph embedded on the projective plane such that all faces are 5-cycles, then either its circular chromatic number is 5/2 or at least 3, the former being the case only if G is Eulerian and every noncontractible facial walk is of odd length...

Given a signed bipartite graph $(B, π)$ of negative girth $2k$, we present a necessary and sufficient condition for it to have the following property: each signed bipartite graph $(G, σ)$ whose negative girth is at least $2k$ and whose underlying graph has treewidth at most $t$ admits a homomorphism to $(B, π)$. Applying the result on the signed projective cube $SPC(2k-1)$, we conclude that every signed bipartite graph of negative girth at least $2k$ whose underlying graph is a partial 3-tree admits a homomorphism to $SPC(2k-1)$. For planar partial 3-trees, applying duality we conclude that if $G$ is a planar $2k$-regular multigraph whose dual has treewidth at most 3 and such that every edge-cut $(X, V\backslash X)$, where $|X|$ is odd, has size at least $2k$, then $G$ is $2k$-edge-colorable. This supports a conjecture of Seymour which, in full generality, largely extends Tait's reformulation of the four-color theorem, claiming that the fractional edge-chromatic number of a planar multigraph determines its edge-chromatic number. Finally, noting the contrast between fractional isomorphism and quantum isomorphism, where the former admits a polynomial time algorithm while the latter is proved to be undecidable, and observing the similarities of these notions to the subject of our study, we ask if there is an algorithm to decide if an input signed graph $\widehat{B}$ has the following property: if a signed planar graph $\widehat{G}$ does not map to $\widehat{B}$, it would be because a cycle in $\widehat{G}$ does not map to $\widehat{B}$. In other words, minimal planar graphs that do not map to $\widehat{B}$ are signed cycles.

The balanced chromatic number of a signed graph G is the minimum number of balanced sets that cover all vertices of G. Studying structural conditions which imply bounds on the balanced chromatic number of signed graphs is among the most fundamental problems in graph theory. In this work, we initiate the study of coloring hereditary classes of signed graphs. More precisely, we say that a set F = {F_1, F_2, ..., F_l} is a GS (for Gyárfás-Sumner) set if there exists a constant c such that signed graphs with no induced subgraph switching equivalent to a member of F admit a balanced c-coloring. The focus of this work is to study GS sets of order 2. We show that if F is a GS set of order 2, then F_1 is either (K_3, -) or (K_4, -), and F_2 is a linear forest. In the case of F_1 = (K_3, -), we show that any choice of a linear forest for F_2 works. In the case of F_1 = (K_4, -), we show that if each connected component of F_2 is a path of length at most 4, then {F_1, F_2} is a GS set.

Circular $r$-coloring of a signed graph $(G,σ)$ is a mapping of its vertices to a circle of circumference $r$ such that: I. each pair of vertices with a negative connection is at distance at least $1$, and II. for each pair with a positive connection, the distance of one from the antipodal of the other is at least $1$. A signed graph $(G,σ)$ admits a circular $r$-coloring for some values of $r$ if and only if it has no negative loop. The smallest value of such $r$ is the circular chromatic number, denoted $χ_{c}(G,σ)$. The circular chromatic number is a refinement of the balanced chromatic number, which is mostly studied under the equivalent term $0$-free coloring in the literature. Extending Brooks' theorem, Má\v cajová, Raspaud, and Škoviera showed that if $Δ(G)$ is an even number, $G$ is connected, and $(G,σ)$ is not (switching) isomorphic to $(K_{Δ+1},-)$ or $C_{-\ell}$ (when $Δ(G)=2$), then $χ_c(G,σ)\leq Δ(G)$ and that the upper bound is tight. For the odd values of $Δ(G)$, assuming a connected signed graph $(G,σ)$ is not isomorphic to $(K_{Δ+1},-)$, determining the best upper bound for $χ_c(G, σ)$ proves to be more of a challenge. In this work, addressing the first step of this question, we show that if $(G, σ)$ is a signed graph of maximum degree 3 with no component isomorphic to $(K_4, -)$, then $χ_{c}(G, σ)\leq \frac{10}{3}$. The upper bound is tight even among signed cubic graphs of girth 5. In particular, there is a signature on the Petersen graph for which the upper of $\frac{10}{3}$ is achieved.

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 generalization of the four-color theorem, Hadwiger's conjecture is considered as one of the most important and challenging problems in graph theory, and odd Hadwiger's conjecture is a strengthening of Hadwiger's conjecture by way of signed graphs. In this paper, we prove that odd Hadwiger's conjecture is true for the complements $\overline{K}(n,k)$ of the Kneser graphs $K(n,k)$, where $n\geq 2k \ge 4$. This improves a result of G. Xu and S. Zhou (2017) which states that Hadwiger's conjecture is true for this family of graphs. Moreover, we prove that $\overline{K}(n,k)$ contains a 1-shallow complete minor of a special type with order no less than the chromatic number $χ(\overline{K}(n,k))$, and in the case when $7 \le 2k+1 \le n \le 3k-1$ the gap between the odd Hadwiger number and chromatic number of $\overline{K}(n,k)$ is $Ω(1.5^{k})$.

The core of a graph is the smallest graph (in terms of number of vertices) to which it is homomorphically equivalent. The question of the possible order of the core of the tensor product (also known as categorical, Heidetnemi or direct product) of two graphs captures some well known problems. For instance, the recent counterexample to the Hedetniemi conjecture for 5-chromatic graphs is equivalent to saying that there are cores of order at least 5 whose product has a core of order 4. In this work, motivated by a question from Leonid Libkin in the area of graph databases, we first present methods of building cores whose categorical product is also a core. Extending on this we present sufficient conditions for a set of cores to have a product which is also a core. Presenting an example of such a family of digraphs, we construct a family of $\binom{2n}{n}$ digraphs, where the number of vertices of each is between $n^2+5n+2$ and $3n^2+3n+2$ and the product is a core. We then present a method of transforming the example into a family of graphs.

A signed graph is a pair $(G,σ)$, where $G$ is a graph and $σ: E(G)\rightarrow \{-, +\}$, called signature, is an assignment of signs to the edges. Given a signed graph $(G,σ)$ with no negative loops, a balanced $(p,q)$-coloring of $(G,σ)$ is an assignment $f$ of $q$ colors to each vertex from a pool of $p$ colors such that each color class induces a balanced subgraph, i.e., no negative cycles. Let $(K_4,-)$ be the signed graph on $K_4$ with all edges being negative. In this work, we show that every signed (simple) subcubic graph admits a balanced $(5,3)$-coloring except for $(K_4,-)$ and signed graphs switching equivalent to it. For this particular signed graph the best balanced colorings are $(2p,p)$-colorings.

The Kneser signed graph $\KS(n,k)$, $k\leq n$, is the graph whose vertices are signed $k$-subsets of $[n]$ (i.e. $k$-subsets $S$ of $\{ \pm 1, \pm 2, \ldots, \pm n\}$ such that $S\cap (-S)=\emptyset$). Two vertices $A$ and $B$ are adjacent with a positive edge if $A\cap (-B)=\emptyset$ and with a negative edge if $A\cap B=\emptyset$. We prove that the balanced chromatic number of $\KS(n,k)$ is $n-k+1$. We then introduce the signed analogue of Schrijver graphs and show that they form vertex-critical subgraphs of $\KS(n,k)$ with respect to balanced colouring. Further connection to topological methods, in particular, connection to Borsuk signed graphs is also considered.

The $k$-th exact-distance graph, of a graph $G$ has $V(G)$ as its vertex set, and $xy$ as an edge if and only if the distance between $x$ and $y$ is (exactly) $k$ in $G$. We consider two possible extensions of this notion for signed graphs. Finding the chromatic number of a negative exact-distance square of a signed graph is a weakening of the problem of finding the smallest target graph to which the signed graph has a sign-preserving homomorphism. We study the chromatic number of negative exact-distance graphs of signed graphs that are planar, and also the relation of these chromatic numbers with the generalised colouring numbers of the underlying graphs. Our results are related to a theorem of Alon and Marshall about homomorphisms of signed graphs.

The (signed) projective cubes, as a special class of graphs closely related to the hypercubes, are on the crossroad of geometry, algebra, discrete mathematics and linear algebra. Defined as Cayley graphs on binary groups, they represent basic linear dependencies. Capturing the four-color theorem as a homomorphism target they show how mapping of discrete objects, namely graphs, may relate to special mappings of plane to projective spaces of higher dimensions. In this work, viewed as a signed graph, first we present a number of equivalent definitions each of which leads to a different development. In particular, the new notion of common product of signed graphs is introduced which captures both Cartesian and tensor products of graphs. We then have a look at some of their homomorphism properties. We first introduce an inverse technique for the basic no-homomorphism lemma, using which we show that every signed projective cube is of circular chromatic number 4. Then observing that the 4-color theorem is about mapping planar graphs into signed projective cube of dimension 2, we study some conjectures in extension of 4CT. Toward a better understanding of these conjectures we present the notion of extended double cover as a key operation in formulating the conjectures. With a deeper look into connection between some of these graphs and algebraic geometry, we discover that projective cube of dimension 4, widely known as the Clebsh graph, but also known as Greenwood-Gleason graph, is the intersection graph of the 16 straight lines of an algebraic surface known as Segre surface, which is a Del Pezzo surface of degree 4. We note that an algebraic surface known as the Clebsch surface is one of the most symmetric presentations of a cubic surface. Recall that each smooth cubic surface contains 27 lines. Hence, from hereafter, we believe, a proper name for this graph should be Segre graph.

Motivated by different characterizations of planar graphs and the 4-Color Theorem, several structural results concerning graphs of high chromatic number have been obtained. Toward strengthening some of these results, we consider the \emph{balanced chromatic number}, $χ_b(\hat{G})$, of a signed graph $\hat{G}$. This is the minimum number of parts into which the vertices of a signed graph can be partitioned so that none of the parts induces a negative cycle. This extends the notion of the chromatic number of a graph since $χ(G)=χ_b(\tilde{G})$, where $\tilde{G}$ denotes the signed graph obtained from~$G$ by replacing each edge with a pair of (parallel) positive and negative edges. We introduce a signed version of Hadwiger's conjecture as follows. Conjecture: If a signed graph $\hat{G}$ has no negative loop and no $\tilde{K_t}$-minor, then its balanced chromatic number is at most $t-1$. We prove that this conjecture is, in fact, equivalent to Hadwiger's conjecture and show its relation to the Odd Hadwiger Conjecture. Motivated by these results, we also consider the relation between subdivisions and balanced chromatic number. We prove that if $(G, σ)$ has no negative loop and no $\tilde{K_t}$-subdivision, then it admits a balanced $\frac{79}{2}t^2$-coloring. This qualitatively generalizes a result of Kawarabayashi (2013) on totally odd subdivisions.

Concerning the recent notion of circular chromatic number of signed graphs, for each given integer $k$ we introduce two signed bipartite graphs, each on $2k^2-k+1$ vertices, having shortest negative cycle of length $2k$, and the circular chromatic number 4. Each of the construction can be viewed as a bipartite analogue of the generalized Mycielski graphs on odd cycles, $M_{\ell}(C_{2k+1})$. In the course of proving our result, we also obtain a simple proof of the fact that $M_{\ell}(C_{2k+1})$ and some similar quadrangulations of the projective plane have circular chromatic number 4. These proofs have the advantage that they illuminate, in an elementary manner, the strong relation between algebraic topology and graph coloring problems.

Extending the notion of maxcut, the study of the frustration index of signed graphs is one of the basic questions in the theory of signed graphs. Recently two of the authors initiated the study of critically frustrated signed graphs. That is a signed graph whose frustration index decreases with the removal of any edge. The main focus of this study is on critical signed graphs which are not edge-disjoint unions of critically frustrated signed graphs (namely non-decomposable signed graphs) and which are not built from other critically frustrated signed graphs by subdivision. We conjecture that for any given $k$ there are only finitely many critically $k$-frustrated signed graphs of this kind. Providing support for this conjecture we show that there are only two of such critically $3$-frustrated signed graphs where there is no pair of edge-disjoint negative cycles. Similarly, we show that there are exactly ten critically $3$-frustrated signed planar graphs that are neither decomposable nor subdivisions of other critically frustrated signed graphs. We present a method for building non-decomposable critically frustrated signed graphs based on two given such signed graphs. We also show that the condition of being non-decomposable is necessary for our conjecture.

In this paper the concept of circular $r$-flows in a mono-directed signed graph $(G, σ)$ is introduced. That is a pair $(D, f)$, where $D$ is an orientation on $G$ and $f: E(G)\to (-r,r)$ satisfies that $|f(e)|\in [1, r-1]$ for each positive edge $e$ and $|f(e)|\in [0, \frac{r}{2}-1]\cup [\frac{r}{2}+1, r)$ for each negative edge $e$, and the total in-flow equals the total out-flow at each vertex. The circular flow index of a signed graph $(G, σ)$ with no positive bridge, denoted $Φ_c(G,σ)$, is the minimum $r$ such that $(G, σ)$ admits a circular $r$-flow. This is the dual notion of circular colorings and circular chromatic numbers of signed graphs recently introduced in [Circular chromatic number of signed graphs. R. Naserasr, Z. Wang, and X. Zhu. Electronic Journal of Combinatorics, 28(2)(2021), \#P2.44], and is distinct from the concept of circular flows in bi-directed graphs associated to signed graphs studied in the literature. We give several equivalent definitions, study basic properties of circular flows in mono-directed signed graphs, explore relations with flows in graphs, and focus on upper bounds on $Φ_c(G,σ)$ in terms of the edge-connectivity of $G$. Meanwhile, we note that for the particular values of $r_{_k}=\frac{2k}{k-1}$, and when restricted to two natural subclasses of signed graphs, the existence of a circular $r_{_k} $-flow is strongly connected with the existence of a modulo $k$-orientation, and in case of planar graphs, based on duality, with the homomorphisms to $C_{-k}$.

For a graph $G=(V,E)$, its exact-distance square, $G^{[\sharp 2]}$, is the graph with vertex set $V$ and with an edge between vertices $x$ and $y$ if and only if $x$ and $y$ have distance (exactly) $2$ in $G$. The graph $G$ is an exact-distance square root of $G^{[\sharp 2]}$. We give a characterization of graphs having an exact-distance square root, our characterization easily leading to a polynomial-time recognition algorithm. We show that it is NP-complete to recognize graphs with a bipartite exact-distance square root. These two results strongly contrast known results on (usual) graph squares. We then characterize graphs having a tree as an exact-distance square root, and from this obtain a polynomial-time recognition algorithm for these graphs. Finally, we show that, unlike for usual square roots, a graph might have (arbitrarily many) non-isomorphic exact-distance square roots which are trees.

A \emph{signed graph} $(G, σ)$ is a graph $G$ together with an assignment $σ:E(G) \rightarrow \{+,-\}$. The notion of homomorphisms of signed graphs is a relatively new development which allows to strengthen the connection between the theories of minors and colorings of graphs. Following this thread of thoughts, we investigate this connection through the notion of Extended Double Covers of signed graphs, which was recently introduced by Naserasr, Sopena and Zaslavsky. More precisely, we say that a signed graph $(B, π)$ is planar-complete if any planar signed graph $(G, σ)$ which verifies the conditions of a basic no-homomorphism lemma with respect to $(B,π)$ admits a homomorphism to $(B, π)$. Our conjecture then is that: if $(B, π)$ is a connected signed graph with no positive odd closed walk which is planar-complete, then its Extended Double Cover ${\rm EDC}(B,π)$ is also planar-complete. We observe that this conjecture largely extends the Four-Color Theorem and is strongly connected to a number of conjectures in extension of this famous theorem. A given (signed) graph $(B,π)$ \emph{bounds} a class of (signed) graphs if every (signed) graph in the class admits a homomorphism to $(B,π)$. In this work, and in support of our conjecture, we prove it for the subclass of signed $K_4$-minor free graphs. Inspired by this development, we then investigate the problem of finding optimal homomorphism bounds for subclasses of signed $K_4$-minor-free graphs with restrictions on their girth and we present nearly optimal solutions. Our work furthermore leads to the development of weighted signed graphs.

The notion of the circular coloring of signed graphs is a recent one that simultaneously extends both notions of the circular coloring of graphs and $0$-free coloring of signed graphs. A circular $r$-coloring of a signed graph $(G, σ)$ is to assign points of a circle of circumference $r$, $r\geq 2$, to the vertices of $G$ such that vertices connected by a positive edge are at circular distance at least $1$ and vertices connected by a negative edge are at circular distance at most $\frac{r}{2}-1$. The infimum of all $r$ for which $(G, σ)$ admits a circular $r$-coloring is said to be the circular chromatic number of $(G, σ)$ and is denoted by $χ_c(G, σ)$. For any rational number $r=\frac{p}{q}$, two notions of circular cliques are presented corresponding to the edge-sign preserving homomorphism and the switching homomorphism. It is also shown that the restriction of the study of circular chromatic numbers to the class of signed bipartite simple graphs already captures the study of circular chromatic numbers of graphs via basic graph operations, even though the circular chromatic number of every signed bipartite graph is bounded above by $4$. In this work, we consider the restriction of the circular chromatic number to this class of signed graphs and construct signed bipartite circular cliques with respect to both notions of homomorphisms. We then present reformulations of the $4$-Color Theorem and the Grötzsch theorem. As a bipartite analogue of Grötzsch's theorem, we prove that every signed bipartite planar graph of negative girth at least $6$ has circular chromatic number at most $3$.

A circular $r$-coloring of a signed graph $(G, σ)$ is an assignment $φ$ of points of a circle $C_r$ of circumference $r$ to the vertices of $(G, σ)$ such that for each positive edge $uv$ of $(G, σ)$ the distance of $φ(v)$ and $φ(v)$ is at least 1 and for each negative edge $uv$ the distance of $φ(u)$ from the antipodal of $φ(v)$ is at least 1. The circular chromatic number of $(G, σ)$, denoted $χ_c(G, σ)$, is the infimum of $r$ such that $(G, σ)$ admits a circular $r$-coloring. This notion is recently defined by Naserasr, Wang, and Zhu who, among other results, proved that for any signed $d$-degenerate simple graph $\hat{G}$ we have $χ_c(\hat{G})\leq 2d$. For $d\geq 3$, examples of signed $d$-degenerate simple graphs of circular chromatic number $2d$ are provided. But for $d=2$ only examples of signed 2-degenerate simple graphs of circular chromatic number close enough to $4$ are given, noting that these examples are also signed bipartite planar graphs. In this work we first observe the following restatement of the 4-color theorem: If $(G,σ)$ is a signed bipartite planar simple graph where vertices of one part are all of degree 2, then $χ_c(G,σ)\leq \frac{16}{5}$. Motivated by this observation, we provide an improved upper bound of $ 4-\dfrac{2}{\lfloor \frac{n+1}{2} \rfloor}$ for the circular chromatic number of a signed 2-degenerate simple graph on $n$ vertices and an improved upper bound of $ 4-\dfrac{4}{\lfloor \frac{n+2}{2} \rfloor}$ for the circular chromatic number of a signed bipartite planar simple graph on $n$ vertices. We then show that each of the bounds is tight for any value of $n\geq 4$.

A signed bipartite (simple) graph $(G, σ)$ is said to be $C_{-4}$-critical if it admits no homomorphism to $C_{-4}$ (a negative 4-cycle) but every proper subgraph of it does. In this work, first of all we show that the notion of 4-coloring of graphs and signed graphs is captured, through simple graph operations, by the notion of homomorphism to $C_{-4}$. In particular, the 4-color theorem is equivalent to: Given a planar graph $G$, the signed bipartite graph obtained from $G$ by replacing each edge with a negative path of length 2 maps to $C_{-4}$. We prove that, except for one particular signed bipartite graph on 7 vertices and 9 edges, any $C_{-4}$-critical signed graph on $n$ vertices must have at least $\lceil\frac{4n}{3}\rceil$ edges, and that this bound or $\lceil\frac{4n}{3}\rceil+1$ is attained for each value of $n\geq 9$. As an application, we conclude that all signed bipartite planar graphs of negative girth at least $8$ map to $C_{-4}$. Furthermore, we show that there exists an example of a signed bipartite planar graph of girth $6$ which does not map to $C_{-4}$, showing $8$ is the best possible and disproving a conjecture of Naserasr, Rollova and Sopena, in extension of the above mentioned restatement of the 4CT.