arXiv++ Combinatorics

A homomorphism of a signed graph $(G, σ)$ to $(H, π)$ is a mapping of vertices and edges of $G$ to (respectively) vertices and edges of $H$ such that adjacencies, incidences and the product of signs of closed walks are preserved. Motivated by reformulations of the $k$-coloring problem in this language, and specially in connection with results on $3$-coloring of planar graphs, such as Grötzsch's theorem, in this work we consider bounds on maximum average degree which are sufficient for mapping to the signed graph $(K_{2k}, σ_m)$ ($k\geq 3$) where $σ_m$ assigns to edges of a perfect matching the negative sign. For $k=3$, we show that the maximum average degree strictly less than $\frac{14}{5}$ is sufficient and that this bound is tight. For all values of $k\geq 4$, we find the best maximum average degree bound to be 3. While the homomorphisms of signed graphs is relatively new subject, through the connection with the homomorphisms of $2$-edge-colored graphs, which are largely studied, some earlier bounds are already given. In particular, it is implied from Theorem 2.5 of "Borodin, O. V., Kim, S.-J., Kostochka, A. V., and West, D. B., Homomorphisms from sparse graphs with large girth. J. Combin. Theory Ser. B (2004)" that if $G$ is a graph of girth at least 7 and maximum average degree $\frac{28}{11}$, then for any signature $σ$ the signed graph $(G,σ)$ maps to $(K_6, σ_m)$. We discuss applications of our work to signed planar graphs and, among others, we propose questions similar to Steinberg's conjecture for the class of signed bipartite planar graphs.

A signed graph is a pair $(G, σ)$, where $G$ is a graph and $σ: E(G) \to \{+, -\}$ is a signature which assigns to each edge of $G$ a sign. Various notions of coloring of signed graphs have been studied. In this paper, we extend circular coloring of graphs to signed graphs. Given a signed graph $(G, σ)$ a circular $r$-coloring of $(G, σ)$ is an assignment $ψ$ of points of a circle of circumference $r$ to the vertices of $G$ such that for every edge $e=uv$ of $G$, if $σ(e)=+$, then $ψ(u)$ and $ψ(v)$ have distance at least $1$, and if $σ(e)=-$, then $ψ(v)$ and the antipodal of $ψ(u)$ have distance at least $1$. The circular chromatic number $χ_c(G, σ)$ of a signed graph $(G, σ)$ is the infimum of those $r$ for which $(G, σ)$ admits a circular $r$-coloring. For a graph $G$, we define the signed circular chromatic number of $G$ to be $\max\{χ_c(G, σ): σ\text{ is a signature of $G$}\}$. We study basic properties of circular coloring of signed graphs and develop tools for calculating $χ_c(G, σ)$. We explore the relation between the circular chromatic number and the signed circular chromatic number of graphs, and present bounds for the signed circular chromatic number of some families of graphs. In particular, we determine the supremum of the signed circular chromatic number of $k$-chromatic graphs of large girth, of simple bipartite planar graphs, $d$-degenerate graphs, simple outerplanar graphs and series-parallel graphs. We construct a signed planar simple graph whose circular chromatic number is $4+\frac{2}{3}$. This is based and improves on a signed graph built by Kardos and Narboni as a counterexample to a conjecture of Máčajová, Raspaud, and Škoviera.

The dichromatic number of a digraph $D$ is the minimum number of colors needed to color its vertices in such a way that each color class induces an acyclic digraph. As it generalizes the notion of the chromatic number of graphs, it has been a recent center of study. In this work we look at possible extensions of Gyárfás-Sumner conjecture. More precisely, we propose as a conjecture a simple characterization of finite sets $\mathcal F$ of digraphs such that every oriented graph with sufficiently large dichromatic number must contain a member of $\mathcal F$ as an induce subdigraph. Among notable results, we prove that oriented triangle-free graphs without a directed path of length $3$ are $2$-colorable. If condition of "triangle-free" is replaced with "$K_4$-free", then we have an upper bound of $414$. We also show that an orientation of complete multipartite graph with no directed triangle is 2-colorable. To prove these results we introduce the notion of \emph{nice sets} that might be of independent interest.

We study the exact square chromatic number of subcubic planar graphs. An exact square coloring of a graph G is a vertex-coloring in which any two vertices at distance exactly 2 receive distinct colors. The smallest number of colors used in such a coloring of G is its exact square chromatic number, denoted $χ^{\sharp 2}(G)$. This notion is related to other types of distance-based colorings, as well as to injective coloring. Indeed, for triangle-free graphs, exact square coloring and injective coloring coincide. We prove tight bounds on special subclasses of planar graphs: subcubic bipartite planar graphs and subcubic K 4-minor-free graphs have exact square chromatic number at most 4. We then turn our attention to the class of fullerene graphs, which are cubic planar graphs with face sizes 5 and 6. We characterize fullerene graphs with exact square chromatic number 3. Furthermore, supporting a conjecture of Chen, Hahn, Raspaud and Wang (that all subcubic planar graphs are injectively 5-colorable) we prove that any induced subgraph of a fullerene graph has exact square chromatic number at most 5. This is done by first proving that a minimum counterexample has to be on at most 80 vertices and then computationally verifying the claim for all such graphs.

A signed graph is a graph together with an assignment of signs to the edges. A closed walk in a signed graph is said to be positive (negative) if it has an even (odd) number of negative edges, counting repetition. Recognizing the signs of closed walks as one of the key structural properties of a signed graph, we define a homomorphism of a signed graph $(G,σ)$ to a signed graph $(H, π)$ to be a mapping of vertices and edges of $G$ to (respectively) vertices and edges of $H$ which preserves incidence, adjacency and the signs of closed walks. In this work we first give a characterization of the sets of closed walks in a graph $G$ that correspond to the set of negative walks in some signed graph on $G$. We also give an easy algorithm for the corresponding decision problem. After verifying the equivalence between this definition and earlier ones, we discuss the relation between homomorphisms of signed graphs and those of 2-edge-colored graphs. Next we provide some basic no-homomorphism lemmas. These lemmas lead to a general method of defining chromatic number which is discussed at length. Finally, we list a few problems that are the driving force behind the study of homomorphisms of signed graphs.

A covering array $\rm{CA}(N;t,k,v)$ of strength $t$ is an $N \times k$ array of symbols from an alphabet of size $v$ such that in every $N \times t$ subarray, every $t$-tuple occurs in at least one row. A covering array is \emph{optimal} if it has the smallest possible $N$ for given $t$, $k$, and $v$, and \emph{uniform} if every symbol occurs $\lfloor N/v \rfloor$ or $\lceil N/v \rceil$ times in every column. Prior to this paper the only known optimal covering arrays for $t=2$ were orthogonal arrays, covering arrays with $v=2$ constructed from Sperner's Theorem and the Erdős-Ko-Rado Theorem, and eleven other parameter sets with $v>2$ and $N > v^2$. In all these cases, there is a uniform covering array with the optimal size. It has been conjectured that there exists a uniform covering array of optimal size for all parameters. In this paper a new lower bound as well as structural constraints for small uniform strength-$2$ covering arrays are given. Moreover, covering arrays with small parameters are studied computationally. The size of an optimal strength-$2$ covering array with $v > 2$ and $N > v^2$ is now known for $21$ parameter sets. Our constructive results continue to support the conjecture.

A signed graph $(G, Σ)$ is a graph $G$ and a subset $Σ$ of its edges which corresponds to an assignment of signs to the edges: edges in $Σ$ are negative while edges not in $Σ$ are positive. A closed walk of a signed graph is balanced if the product of the signs of its edges (repetitions included) is positive, and unbalanced otherwise. The unbalanced-girth of a signed graph is the length of a shortest unbalanced closed walk (if such a walk exists). A homomorphism of $(G,Σ)$ to $(H,Π)$ is a homomorphism of $G$ to $H$ which preserves the balance of closed walks. In this work, given a signed bipartite graph $(B, Π)$ of unbalanced-girth $2k$, we give a necessary and sufficient condition for $(B, Π)$ to admit a homomorphism from any signed bipartite graph of unbalanced-girth at least $2k$ whose underlying graph is $K_4$-minor-free. The condition can be checked in polynomial time with respect to the order of $B$. Let $SPC(2k)$ be the signed bipartite graph on vertex set $\mathbb{Z}_2^{2k-1}$ where vertices $u$ and $v$ are adjacent with a positive edge if their difference is in $\{e_1,e_2, \ldots, e_{2k-1}\}$ (where the $e_i$'s form the standard basis), and adjacent with a negative edge if their difference is $J$ (that is, the all-1 vector). As an application of our work, we prove that every signed bipartite $K_4$-minor-free graph of unbalanced-girth $2k$ admits a homomorphism to $SPC(2k)$. This supports a conjecture of Guenin claiming that every signed bipartite planar graph of unbalanced-girth $2k$ admits a homomorphism to $SPC(2k)$ (this would be an extension of the four-color theorem). We also give an application of our work to edge-coloring $2k$-regular $K_4$-minor-free multigraphs.

We present a necessary and sufficient condition for a graph of odd-girth $2k+1$ to bound the class of $K_4$-minor-free graphs of odd-girth (at least) $2k+1$, that is, to admit a homomorphism from any such $K_4$-minor-free graph. This yields a polynomial-time algorithm to recognize such bounds. Using this condition, we first prove that every $K_4$-minor free graph of odd-girth $2k+1$ admits a homomorphism to the projective hypercube of dimension $2k$. This supports a conjecture of the third author which generalizes the four-color theorem and relates to several outstanding conjectures such as Seymour's conjecture on edge-colorings of planar graphs. Strengthening this result, we show that the Kneser graph $K(2k+1,k)$ satisfies the conditions, thus implying that every $K_4$-minor free graph of odd-girth $2k+1$ has fractional chromatic number exactly $2+\frac{1}{k}$. Knowing that a smallest bound of odd-girth $2k+1$ must have at least ${k+2 \choose 2}$ vertices, we build nearly optimal bounds of order $4k^2$. Furthermore, we conjecture that the suprema of the fractional and circular chromatic numbers for $K_4$-minor-free graphs of odd-girth $2k+1$ are achieved by a same bound of odd-girth $2k+1$. If true, this improves, in the homomorphism order, earlier tight results on the circular chromatic number of $K_4$-minor-free graphs. We support our conjecture by proving it for the first few cases. Finally, as an application of our work, and after noting that Seymour provided a formula for calculating the edge-chromatic number of $K_4$-minor-free multigraphs, we show that stronger results can be obtained in the case of $K_4$-minor-free regular multigraphs.

Given a graph $H$, a graph $G$ is called $H$-critical if $G$ does not admit a homomorphism to $H$, but any proper subgraph of $G$ does. Observe that $K_{k-1}$-critical graphs are the standard $k$-(colour)-critical graphs. We consider questions of extremal nature previously studied for $k$-critical graphs and generalize them to $H$-critical graphs. After complete graphs, the next natural case to consider for $H$ is that of the odd-cycles. Thus, given integers $\ell$ and $k$, $\ell\geq k$, we ask: what is the smallest order of a $C_{2\ell +1}$-critical graph of odd-girth at least $2k+1$? Denoting this value by $η(k,C_{2\ell+1})$, we show that $η(k,C_{2\ell+1})=4k$ for $1\leq\ell\leq k\leq\frac{3\ell+i-3}{2}$ ($2k=i\bmod 3$) and that $η(3,C_5)=15$. The latter means that a smallest graph of odd-girth~$7$ not admitting a homomorphism to the $5$-cycle is of order~$15$. Computational work shows that there are exactly eleven such graphs on $15$~vertices of which only two are $C_5$-critical.

A tropical graph $(H,c)$ consists of a graph $H$ and a (not necessarily proper) vertex-colouring $c$ of $H$. Given two tropical graphs $(G,c_1)$ and $(H,c)$, a homomorphism of $(G,c_1)$ to $(H,c)$ is a standard graph homomorphism of $G$ to $H$ that also preserves the vertex-colours. We initiate the study of the computational complexity of tropical graph homomorphism problems. We consider two settings. First, when the tropical graph $(H,c)$ is fixed; this is a problem called $(H,c)$-COLOURING. Second, when the colouring of $H$ is part of the input; the associated decision problem is called $H$-TROPICAL-COLOURING. Each $(H,c)$-COLOURING problem is a constraint satisfaction problem (CSP), and we show that a complexity dichotomy for the class of $(H,c)$-COLOURING problems holds if and only if the Feder-Vardi Dichotomy Conjecture for CSPs is true. This implies that $(H,c)$-COLOURING problems form a rich class of decision problems. On the other hand, we were successful in classifying the complexity of at least certain classes of $H$-TROPICAL-COLOURING problems.

We study homomorphism problems of signed graphs from a computational point of view. A signed graph $(G,Σ)$ is a graph $G$ where each edge is given a sign, positive or negative; $Σ\subseteq E(G)$ denotes the set of negative edges. Thus, $(G, Σ)$ is a $2$-edge-coloured graph with the property that the edge-colours, $\{+, -\}$, form a group under multiplication. Central to the study of signed graphs is the operation of switching at a vertex, that results in changing the sign of each incident edge. We study two types of homomorphisms of a signed graph $(G,Σ)$ to a signed graph $(H,Π)$: ec-homomorphisms and s-homomorphisms. Each is a standard graph homomorphism of $G$ to $H$ with some additional constraint. In the former, edge-signs are preserved. In the latter, edge-signs are preserved after the switching operation has been applied to a subset of vertices of $G$. We prove a dichotomy theorem for s-homomorphism problems for a large class of (fixed) target signed graphs $(H,Π)$. Specifically, as long as $(H,Π)$ does not contain a negative (respectively a positive) loop, the problem is polynomial-time solvable if the core of $(H,Π)$ has at most two edges, and is NP-complete otherwise. (Note that this covers all simple signed graphs.) The same dichotomy holds if $(H,Π)$ has no negative digons, and we conjecture that it holds always. In our proofs, we reduce s-homomorphism problems to certain ec-homomorphism problems, for which we are able to show a dichotomy. In contrast, we prove that a dichotomy theorem for ec-homomorphism problems (even when restricted to bipartite target signed graphs) would settle the dichotomy conjecture of Feder and Vardi.

We consider the problems of finding optimal identifying codes, (open) locating-dominating sets and resolving sets of an interval or a permutation graph. In these problems, one asks to find a subset of vertices, normally called a \emph{solution} set, using which all vertices of the graph are distinguished. The identification can be done by considering the neighborhood within the solution set, or by employing the distances to the solution vertices. Normally the goal is to minimize the size of the solution set then. Here we study the case of interval graphs, unit interval graphs, (bipartite) permutation graphs and cographs. For these classes of graphs we give tight lower bounds for the size of such solution sets depending on the order of the input graph. While such lower bounds for the general class of graphs are in logarithmic order, the improved bounds in these special classes are of the order of either quadratic root or linear in terms of number of vertices. Moreover, the results for cographs lead to linear-time algorithms to solve the considered problems on inputs that are cographs.

It was proved by Raychaudhuri in 1987 that if a graph power $G^{k-1}$ is an interval graph, then so is the next power $G^k$. This result was extended to $m$-trapezoid graphs by Flotow in 1995. We extend the statement for interval graphs by showing that any interval representation of $G^{k-1}$ can be extended to an interval representation of $G^k$ that induces the same left endpoint and right endpoint orders. The same holds for unit interval graphs. We also show that a similar fact does not hold for trapezoid graphs.

In 1966, T. Gallai asked whether every connected graph has a vertex that appears in all longest paths. Since then this question has attracted much attention and many work has been done in this topic. One important open question in this area is to ask whether any three longest paths contains a common vertex in a connected graph. It was conjectured that the answer to this question is positive. In this paper, we propose a new approach in view of distances among longest paths in a connected graph, and give a substantial progress towards the conjecture along the idea.

A binary Cayley graph is a Cayley graph based on a binary group. In 1982, Payan proved that any non-bipartite binary Cayley graph must contain a generalized Mycielski graph of an odd-cycle, implying that such a graph cannot have chromatic number 3. We strengthen this result first by proving that any non-bipartite binary Cayley graph must contain a projective cube as a subgraph. We further conjecture that any homo- morphism of a non-bipartite binary Cayley graph to a projective cube must be surjective and we prove some special case of this conjecture.

As an extension of the Four-Color Theorem it is conjectured that every planar graph of odd-girth at least $2k+1$ admits a homomorphism to $PC_{2k}=(\mathbb{Z}_2^{2k}, \{e_1, e_2, ...,e_{2k}, J\})$ where $e_i$'s are standard basis and $J$ is all 1 vector. Noting that $PC_{2k}$ itself is of odd-girth $2k+1$, in this work we show that if the conjecture is true, then $PC_{2k}$ is an optimal such a graph both with respect to number of vertices and number of edges. The result is obtained using the notion of walk-power of graphs and their clique numbers. An analogous result is proved for bipartite signed planar graphs of unbalanced-girth $2k$. The work is presented on a uniform frame work of planar consistent signed graphs.

We consider the problems of finding optimal identifying codes, (open) locating-dominating sets and resolving sets (denoted IDENTIFYING CODE, (OPEN) LOCATING-DOMINATING SET and METRIC DIMENSION) of an interval or a permutation graph. In these problems, one asks to distinguish all vertices of a graph by a subset of the vertices, using either the neighbourhood within the solution set or the distances to the solution vertices. Using a general reduction for this class of problems, we prove that the decision problems associated to these four notions are NP-complete, even for interval graphs of diameter $2$ and permutation graphs of diameter $2$. While IDENTIFYING CODE and (OPEN) LOCATING-DOMINATING SET are trivially fixed-parameter-tractable when parameterized by solution size, it is known that in the same setting METRIC DIMENSION is $W[2]$-hard. We show that for interval graphs, this parameterization of METRIC DIMENSION is fixed-parameter-tractable.

An identifying code of a graph is a subset of its vertices such that every vertex of the graph is uniquely identified by the set of its neighbours within the code. We study the edge-identifying code problem, i.e. the identifying code problem in line graphs. If $\ID(G)$ denotes the size of a minimum identifying code of an identifiable graph $G$, we show that the usual bound $\ID(G)\ge \lceil\log_2(n+1)\rceil$, where $n$ denotes the order of $G$, can be improved to $Θ(\sqrt{n})$ in the class of line graphs. Moreover, this bound is tight. We also prove that the upper bound $\ID(\mathcal{L}(G))\leq 2|V(G)|-5$, where $\mathcal{L}(G)$ is the line graph of $G$, holds (with two exceptions). This implies that a conjecture of R. Klasing, A. Kosowski, A. Raspaud and the first author holds for a subclass of line graphs. Finally, we show that the edge-identifying code problem is NP-complete, even for the class of planar bipartite graphs of maximum degree~3 and arbitrarily large girth.

An identifying code of a (di)graph $G$ is a dominating subset $C$ of the vertices of $G$ such that all distinct vertices of $G$ have distinct (in)neighbourhoods within $C$. In this paper, we classify all finite digraphs which only admit their whole vertex set in any identifying code. We also classify all such infinite oriented graphs. Furthermore, by relating this concept to a well known theorem of A. Bondy on set systems we classify the extremal cases for this theorem.

An identifying code of a graph G is a dominating set C such that every vertex x of G is distinguished from all other vertices by the set of vertices in C that are at distance at most 1 from x. The problem of finding an identifying code of minimum possible size turned out to be a challenging problem. It was proved by N. Bertrand that if a graph on n vertices with at least one edge admits an identifying code, then a minimum identifying code has size at most n-1. Some classes of graphs whose smallest identifying code is of size n-1 were already known, and few conjectures were formulated to classify all these graphs. In this paper, disproving these conjectures, we classify all finite graphs for which all but one of the vertices are needed to form an identifying code. We also classify all infinite graphs needing the whole set of vertices in any identifying code. New upper bounds in terms of the number of vertices and the maximum degree of a graph are also provided.