arXiv++ Combinatorics

The square $G^2$ of a graph $G$ is the graph defined on $V(G)$ such that two vertices $u$ and $v$ are adjacent in $G^2$ if the distance between $u$ and $v$ in $G$ is at most 2. Let $χ(H)$ and $χ_{\ell}(H)$ be the chromatic number and the list chromatic number of $H$, respectively. A graph $H$ is called {\em chromatic-choosable} if $χ_{\ell} (H) = χ(H)$. It is an interesting problem to find graphs that are chromatic-choosable. Motivated by the List Total Coloring Conjecture, Kostochka and Woodall (2001) proposed the List Square Coloring Conjecture which states that $G^2$ is chromatic-choosable for every graph $G$. Recently, Kim and Park showed that the List Square Coloring Conjecture does not hold in general by finding a family of graphs whose squares are complete multipartite graphs with partite sets of unbounded size. It is a well-known fact that the List Total Coloring Conjecture is true if the List Square Coloring Conjecture holds for special class of bipartite graphs. On the other hand, the counterexamples to the List Square Coloring Conjecture are not bipartite graphs. Hence a natural question is whether $G^2$ is chromatic-choosable or not for every bipartite graph $G$. In this paper, we give a bipartite graph $G$ such that $χ_{\ell} (G^2) \neq χ(G^2)$. Moreover, we show that the value $χ_{\ell}(G^2) - χ(G^2)$ can be arbitrarily large.

The domination game on a graph $G$ (introduced by B. Brešar, S. Klavžar, D.F. Rall \cite{BKR2010}) consists of two players, Dominator and Staller, who take turns choosing a vertex from $G$ such that whenever a vertex is chosen by either player, at least one additional vertex is dominated. Dominator wishes to dominate the graph in as few steps as possible, and Staller wishes to delay this process as much as possible. The game domination number $γ_{\small g}(G)$ is the number of vertices chosen when Dominator starts the game; when Staller starts, it is denoted by $γ_{\small g}^{\prime }(G).$ In this paper, the domination game on line graph $L\left( K_{\overline{m}}\right) $ of complete multipartite graph $K_{\overline{m}}$ $(\overline{m}\equiv (m_{1},...,m_{n})\in \mathbb{N} ^{n})$ is considered, the exact values for game domination numbers are obtained and optimal strategy for both players is described. Particularly, it is proved that for $m_{1}\leq m_{2}\leq ...\leq m_{n}$ both $γ_{\small g}\left( L\left( K_{\overline{m}}\right) \right) =\min \left\{ \left\lceil \frac{2}{3}\left\vert V\left( K_{\overline{m}}\right) \right\vert \right\rceil ,\right.$ $\left. 2\max \left\{ \left\lceil \frac{1}{2}\left( m_{1}+...+m_{n-1}\right) \right\rceil ,\text{ }m_{n-1}\right\} \right\} -1$ when $n\geq 2$ and $γ_{g}^{\prime }(L\left( K_{\overline{m}}\right) )=\min \left\{ \left\lceil \frac{2}{3}\left( \left\vert V(K_{_{\overline{m}}})\right\vert -2\right) \right\rceil ,\right.$ $\left. 2\max \left\{ \left\lceil \frac{1}{2}\left( m_{1}+...+m_{n-1}-1\right) \right\rceil ,\text{ }m_{n-1}\right\} \right\} $ when $n\geq 4$.

Let $G$ be a graph, and $Z$ a subset of its vertices, which we color black, while the remaining are colored white. We define the skew color change rule as follows: if $u$ is a vertex of $G$, and exactly one of its neighbors $v$, is white, then change the color of $v$ to black. A set $Z$ is a skew zero forcing set for $G$ if the application of the skew color change rule (as many times as necessary) will result in all the vertices in $G$ colored black. A set $Z$ is a minimum skew zero forcing set for $G$ if it is a skew zero forcing set for $G$ of least cardinality. The skew zero forcing number $\sZ (G)$ is the minimum of $|Z|$ over all skew zero forcing sets $Z$ for $G$. In this paper we discuss graphs that have extreme skew zero forcing number. We characterize complete multipartite graphs in terms of $\sZ (G)$. We note relations between minimum skew zero forcing sets and matchings in some bipartite graphs, and in unicyclic graphs. We establish that the elements in the set of minimum skew zero forcing sets in certain bipartite graphs are the bases of a matroid.

We show that there is a constant $k$ such that when $r \geq 2$ and $m \geq r^k$, the complete $r$-partite graph $K_{m*r}$ has a non-colorable list assignment $L$ such that $|L(v)| \geq \frac{7}{750}r\ln m$ for all $v$ and such that $|L(u) \cap L(v)| \leq \left\lfloor \frac{2r}{r-1} \right\rfloor$ whenever $u \neq v$. This roughly extends a result of Alon to the context of "choosability with separation", introduced by Kratochvíl, Tuza, and Voigt.

For a simple connected graph $G$, the $Q$-generating function of the numbers $N_k$ of semi-edge walks of length $k$ in $G$ is defined by $W_Q(t)=\sum\nolimits_{k = 0}^\infty {N_k t^k }$. This paper reveals that the $Q$-generating function $W_Q(t)$ may be expressed in terms of the $Q$-polynomials of the graph $G$ and its complement $\overline{G}$. Using this result, we study some $Q$-spectral properties of graphs and compute the $Q$-polynomials for some graphs obtained by the use of some operation on graphs, such as the complement graph of a regular graph, the join of two graphs, the (edge)corona of two graphs and so forth. As another application of the $Q$-generating function $W_Q(t)$, we also give a combinatorial interpretation of the $Q$-coronal of $G$, which is defined to be the sum of the entries of the matrix $(λI_n-Q(G))^{-1}$. This result may be used to obtain the many alternative calculations of the $Q$-polynomials of the (edge)corona of two graphs. Further, we also compute the $Q$-coronals of the join of two graphs and the complete multipartite graphs.

We introduce the concept of NIC-planar graphs and present the full characterization of NIC-planar complete k-partite graphs.

In this paper, we find the crossing number of the complete multipartite graphs $K_{1,1,1,1,n}$, $K_{1,2,2,n}$, $K_{1,1,1,2,n}$ and $K_{1,4,n}$.

A tree in an edge-colored graph $G$ is said to be a rainbow tree if no two edges on the tree share the same color. Given two positive integers $k$, $\ell$ with $k\geq 3$, the \emph{$(k,\ell)$-rainbow index} $rx_{k,\ell}(G)$ of $G$ is the minimum number of colors needed in an edge-coloring of $G$ such that for any set $S$ of $k$ vertices of $G$, there exist $\ell$ internally disjoint rainbow trees connecting $S$. This concept was introduced by Chartrand et al., and there have been very few results about it. In this paper, we investigate the $(k,\ell)$-rainbow index for complete bipartite graphs and complete multipartite graphs. Some asymptotic values of their $(k,\ell)$-rainbow index are obtained.

The $k$th power $G^k$ of a graph $G$ is the graph defined on $V(G)$ such that two vertices $u$ and $v$ are adjacent in $G^k$ if the distance between $u$ and $v$ in $G$ is at most $k$. Let $χ(H)$ and $χ_l(H)$ be the chromatic number and the list chromatic number of $H$, respectively. A graph $H$ is called {\em chromatic-choosable} if $χ_l (H) = χ(H)$. It is an interesting problem to find graphs that are chromatic-choosable. A natural question raised by Xuding Zhu (2012) is whether there exists a constant integer $k$ such that $G^k$ is chromatic-choosable for every graph $G$. Motivated by the List Total Coloring Conjecture, Kostochka and Woodall (2001) asked whether $G^2$ is chromatic-choosable for every graph $G$. Kim and Park (2013) answered the Kostochka and Woodall's question in the negative by finding a family of graphs whose squares are complete multipartite graphs with partite sets of equal and unbounded size. In this paper, we answer Zhu's question by showing that for every integer $k \geq 2$, there exists a graph $G$ such that $G^k$ is not chromatic-choosable. Moreover, for any fixed $k$ we show that the value $χ_l(G^k) - χ(G^k)$ can be arbitrarily large.

A graph $G$ is called \emph{chromatic-choosable} if its choice number is equal to its chromatic number, namely $Ch(G)=χ(G)$. Ohba has conjectured that every graph $G$ satisfying $|V(G)|\leq 2χ(G)+1$ is chromatic-choosable. Since each $k$-chromatic graph is a subgraph of a complete $k$-partite graph, we see that Ohba's conjecture is true if and only if it is true for every complete multipartite graph. However, the only complete multipartite graphs for which Ohba's conjecture has been verified are: $K_{3*2,2*(k-3),1}$, $K_{3,2*(k-1)}$, $K_{s+3,2*(k-s-1),1*s}$, $K_{4,3,2*(k-4),1*2}$, and $K_{5,3,2*(k-5),1*3}$. In this paper, we show that Ohba's conjecture is true for two new classes of complete multipartite graphs: graphs with three parts of size 3 and graphs with one part of size 4 and two parts of size 3. Namely, we prove that $Ch(K_{3*3,2*(k-5),1*2})=k$ and $Ch(K_{4,3*2,2*(k-6),1*3})=k$ (for $k\geq 5$ and $k\geq 6$, respectively).

It is well known that the complete multipartite graphs can not be determined by their adjacency spectra. But in this paper, we prove that they can be determined by their distance spectra, which confirms the conjecture proposed by Lin, Hong, Wang and Shu.

We show that there are polynomial-time algorithms to compute maximum independent sets in the categorical products of two cographs and two splitgraphs. The ultimate categorical independence ratio of a graph G is defined as lim_{k --> infty} α(G^k)/n^k. The ultimate categorical independence ratio is polynomial for cographs, permutation graphs, interval graphs, graphs of bounded treewidth and splitgraphs. When G is a planar graph of maximal degree three then alpha(G \times K_4) is NP-complete. We present a PTAS for the ultimate categorical independence ratio of planar graphs. We present an O^*(n^{n/3}) exact, exponential algorithm for general graphs. We prove that the ultimate categorical independent domination ratio for complete multipartite graphs is zero, except when the graph is complete bipartite with color classes of equal size (in which case it is 1/2).

This paper studies the on-line choice number on complete multipartite graphs with independence number $m$. We give a unified strategy for every prescribed $m$. Our main result leads to several interesting consequences comparable to known results. (1) If $ k_1-\sum_{p=2}^m(\frac{p^2}{2}-\frac{3p}{2}+1)k_p\geq 0$, where $k_p$ denotes the number of parts of cardinality $p$, then $G$ is on-line chromatic-choosable. (2) If $ |V(G)|\leq\frac{m^2-m+2}{m^2-3m+4}χ(G)$, then $G$ is on-line chromatic-choosable. (3) The on-line choice number of regular complete multipartite graphs $K_{m\star k}$ is at most $(m+\frac{1}{2}-\sqrt{2m-2})k$ for $m\geq 3$.

In July 2012, at the Conference on Applications of Graph Spectra in Computer Science, Barcelona, D. Stevanovic posed the following open problem: which graphs have the zero as the largest eigenvalue of their modularity matrix? The conjecture was that only the complete and complete multipartite graphs. They indeed have this property, but are they the only ones? In this paper, we will give an affirmative answer to this question and prove a bit more: both the modularity and the normalized modularity matrix of a graph is negative semidefinite if and only if the graph is complete or complete multipartite.

A sequence of nonnegative integers $π$ is {\it graphic} if it is the degree sequence of some graph $G$. In this case we say that $G$ is a \textit{realization} of $π$, and we write $π=π(G)$. A graphic sequence $π$ is {\it potentially $H$-graphic} if there is a realization of $π$ that contains $H$ as a subgraph. Given nonincreasing graphic sequences $π_1=(d_1,\ldots,d_n)$ and $π_2 = (s_1,\ldots,s_n)$, we say that $π_1$ {\it majorizes} $π_2$ if $d_i \geq s_i$ for all $i$, $1 \leq i \leq n$. In 1970, Erdős showed that for any $K_{r+1}$-free graph $H$, there exists an $r$-partite graph $G$ such that $π(G)$ majorizes $π(H)$. In 2005, Pikhurko and Taraz generalized this notion and showed that for any graph $F$ with chromatic number $r+1$, the degree sequence of an $F$-free graph is, in an appropriate sense, nearly majorized by the degree sequence of an $r$-partite graph. In this paper, we give similar results for degree sequences that are not potentially $H$-graphic. In particular, there is a graphic sequence $π^*(H)$ such that if $π$ is a graphic sequence that is not potentially $H$-graphic, then $π$ is close to being majorized by $π^*(H)$. Similar to the role played by complete multipartite graphs in the traditional extremal setting, the sequence $π^*(H)$ asymptotically gives the maximum possible sum of a graphic sequence $π$ that is not potentially $H$-graphic.

A \textit{distinguishing partition} of a group $X$ with automorphism group ${aut}(X)$ is a partition of $X$ that is fixed by no nontrivial element of ${aut}(X)$. In the event that $X$ is a complete multipartite graph with its automorphism group, the existence of a distinguishing partition is equivalent to the existence of an asymmetric hypergraph with prescribed edge sizes. An asymptotic result is proven on the existence of a distinguishing partition when $X$ is a complete multipartite graph with $m_1$ parts of size $n_1$ and $m_2$ parts of size $n_2$ for small $n_1$, $m_2$ and large $m_1$, $n_2$. A key tool in making the estimate is counting the number of trees of particular classes.

Recently, Choi and Park introduced an invariant of a finite simple graph, called signed a-number, arising from computing certain topological invariants of some specific kinds of real toric manifolds. They also found the signed a-numbers of path graphs, cycle graphs, complete graphs, and star graphs. We introduce a signed a-polynomial which is a generalization of the signed a-number and gives a-, b-, and c-numbers. The signed a-polynomial of a graph $G$ is related to the Poincaré polynomial $P_{M(G)}(z)$, which is the generating function for the Betti numbers of the real toric manifold $M(G)$. We give the generating functions for the signed a-polynomials of not only path graphs, cycle graphs, complete graphs, and star graphs, but also complete bipartite graphs and complete multipartite graphs. As a consequence, we find the Euler characteristic number and the Betti numbers of the real toric manifold $M(G)$ for complete multipartite graphs $G$.

Turán's theorem is a cornerstone of extremal graph theory. It asserts that for any integer $r \geq 2$ every graph on $n$ vertices with more than ${\tfrac{r-2}{2(r-1)}\cdot n^2}$ edges contains a clique of size $r$, i.e., $r$ mutually adjacent vertices. The corresponding extremal graphs are balanced $(r-1)$-partite graphs. The question as to how many such $r$-cliques appear at least in any $n$-vertex graph with $γn^2$ edges has been intensively studied in the literature. In particular, Lovász and Simonovits conjectured in the 1970s that asymptotically the best possible lower bound is given by the complete multipartite graph with $γn^2$ edges in which all but one vertex class is of the same size while the remaining one may be smaller. Their conjecture was recently resolved for $r=3$ by Razborov and for $r=4$ by Nikiforov. In this article, we prove the conjecture for all values of $r$.

Let $r \geqslant 0$ and $k \geqslant 1$ be integers. We say that a graph $G$ has an $r$-equitable $k$-coloring if there exists a proper $k$-coloring of $G$ such that the sizes of any two color classes differ by at most $r$. The least $k$ such that a graph $G$ has an $r$-equitable $k$-coloring is denoted by $χ_{r=} (G)$, and the least $n$ such that a graph $G$ has an $r$-equitable $k$-coloring for all $k \geqslant n$ is denoted by $χ^*_{r=} (G)$. In this paper, we propose a necessary and sufficient condition for a complete multipartite graph $G$ to have an $r$-equitable $k$-coloring, and also give exact values of $χ_{r=} (G)$ and $χ^*_{r=} (G)$.

In recent papers by Grohe and Marx, the treewidth of the line graph of the complete graph is a critical example. We determine the exact treewidth of the line graph of the complete graph. By extending these techniques, we determine the exact treewidth of the line graph of a regular complete multipartite graph. For an arbitrary complete multipartite graph, we determine the treewidth of the line graph up to a lower order term.