arXiv++ Combinatorics

Browse math.CO papers from arXiv

complete graph

2194 papers tagged with this keyword
2018-08-29
Improved Upper Bounds for Gallai-Ramsey Numbers of Odd Cycles
A Gallai coloring of a complete graph is an edge-coloring such that no triangle has all its edges colored differently. A Gallai $k$-coloring is a Gallai coloring that uses $k$ colors. Given an integer $k\ge1$ and a graph $H$, the Gallai-Ramsey number $GR_k(H)$ is the least positive integer $n$ such that every Gallai $k$-coloring of the complete graph $K_n$ contains a monochromatic copy of $H$. Gyárfás, Sárközy, Sebő and Selkow proved in 2010 that $GR_k (H) $ is exponential in $k$ if $H$ is not bipartite, linear in $k$ if $H$ is bipartite but not a star, and constant (does not depend on $k$) when $H$ is a star. Hence, $GR_k(H)$ is more well-behaved than the classical Ramsey number $R_k(H)$. However, finding exact values of $GR_k (H)$ is far from trivial, even when $|V(H)|$ is small. In this paper, we first improve the existing upper bounds for Gallai-Ramsey numbers of odd cycles by showing that $GR_k(C_{2n+1}) \le (n\ln n) \cdot 2^k -(k+1)n+1$ for all $k \ge 3$ and $n \ge 8$. We then prove that $GR_k( C_{13})= 6\cdot 2^k+1$ and $GR_k( C_{15})= 7\cdot 2^k+1$ for all $k\ge1$.
Some results and a conjecture on certain subclasses of graphs according to the relations among certain energies, degrees and conjugate degrees of graphs
Let $G$ be a simple graph of order $n$ with degree sequence $(d)=(d_1,d_2,\ldots,d_n)$ and conjugate degree sequence $(d^*)=(d_1^*,d_2^*,\ldots,d_n^*)$. In \cite{AkbariGhorbaniKoolenObudi2010,DasMojallalGutman2017} it was proven that $\mathcal{E}(G)\leq \sum_{i=1}^{n} \sqrt{d_i}$ and $\sum_{i=1}^{n} \sqrt{d_i^*} \leq LEL(G) \leq IE(G) \leq \sum_{i=1}^{n} \sqrt{d_i}$, where $\mathcal{E}(G)$, $LEL(G)$ and $IE(G)$ are the energy, the Laplacian-energy-like invariant and the incidence energy of $G$, respectively, and in \cite{DasMojallalGutman2017} it was concluded that the class of all connected simple graphs of order $n$ can be dividend into four subclasses according to the position of $\mathcal{E}(G)$ in the order relations above. Then, they proposed a problem about characterizing all graphs in each subclass. In this paper, we attack this problem. First, we count the number of graphs of order $n$ in each of four subclasses for every $1\leq n \leq 8$ using a Sage code. Second, we present a conjecture on the ratio of the number of graphs in each subclass to the number of all graphs of order $n$ as $n$ approaches the infinity. Finally, as a first partial solution to the problem, we determine subclasses to which a path, a complete graph and a cycle graph of order $n\geq 1$ belong.
On Local Antimagic Vertex Coloring for Corona Products of Graphs
Let $G = (V, E)$ be a finite simple undirected graph without $K_2$ components. A bijection $f : E \rightarrow \{1, 2,\cdots, |E|\}$ is called a {\bf local antimagic labeling} if for any two adjacent vertices $u$ and $v$, they have different vertex sums, i.e. $w(u) \neq w(v)$, where the vertex sum $w(u) = \sum_{e \in E(u)} f(e)$, and $E(u)$ is the set of edges incident to $u$. Thus any local antimagic labeling induces a proper vertex coloring of $G$ where the vertex $v$ is assigned the color(vertex sum) $w(v)$. The {\bf local antimagic chromatic number} $χ_{la}(G)$ is the minimum number of colors taken over all colorings induced by local antimagic labelings of $G$. In this article among others we determine completely the local antimagic chromatic number $χ_{la}(G\circ \overline{K_m})$ for the corona product of a graph $G$ with the null graph $\overline{K_m}$ on $m\geq 1$ vertices, when $G$ is a path $P_n$, a cycle $C_n$, and a complete graph $K_n$.
Matrices in the Hosoya triangle
Published • View Publication • BIB
In this paper we use well-known results from linear algebra as tools to explore some properties of products of Fibonacci numbers. Specifically, we explore the behavior of the eigenvalues, eigenvectors, characteristic polynomials, determinants, and the norm of non-symmetric matrices embedded in the Hosoya triangle. We discovered that most of these objects either embed again in the Hosoya triangle or they give rise to Fibonacci identities. We also study the nature of these matrices when their entries are taken $\bmod$ $2$. As a result, we found an infinite family of non-connected graphs. Each graph in this family has a complete graph with loops attached to each of its vertices as a component and the other components are isolated vertices. The Hosoya triangle allowed us to show the beauty of both, the algebra and geometry.
2018-08-13
Off-diagonal ordered Ramsey numbers of matchings
Published • View Publication • BIB
For ordered graphs $G$ and $H$, the ordered Ramsey number $r_<(G,H)$ is the smallest $n$ such that every red/blue edge coloring of the complete graph on vertices $\{1,\dots,n\}$ contains either a blue copy of $G$ or a red copy of $H$, where the embedding must preserve the relative order of vertices. One number of interest, first studied by Conlon, Fox, Lee, and Sudakov, is the "off-diagonal" ordered Ramsey number $r_<(M, K_3)$, where $M$ is an ordered matching on $n$ vertices. In particular, Conlon et al. asked what asymptotic bounds (in $n$) can be obtained for $\max r_<(M, K_3)$, where the maximum is over all ordered matchings $M$ on $n$ vertices. The best-known upper bound is $O(n^2/\log n)$, whereas the best-known lower bound is $Ω((n/\log n)^{4/3})$, and Conlon et al. hypothesize that $r_<(M, K_3) = O(n^{2-ε})$ for every ordered matching $M$. We resolve two special cases of this conjecture. We show that the off-diagonal ordered Ramsey numbers for matchings in which edges do not cross are nearly linear. We also prove a truly sub-quadratic upper bound for random matchings with interval chromatic number $2$.
2018-08-12
Saturation numbers for Ramsey-minimal graphs
Published • View Publication • BIB
Given graphs $H_1, \dots, H_t$, a graph $G$ is $(H_1, \dots, H_t)$-Ramsey-minimal if every $t$-coloring of the edges of $G$ contains a monochromatic $H_i$ in color $i$ for some $i\in\{1, \dots, t\}$, but any proper subgraph of $G $ does not possess this property. We define $\mathcal{R}_{\min}(H_1, \dots, H_t)$ to be the family of $(H_1, \dots, H_t)$-Ramsey-minimal graphs. A graph $G$ is \dfn{$\mathcal{R}_{\min}(H_1, \dots, H_t)$-saturated} if no element of $\mathcal{R}_{\min}(H_1, \dots, H_t)$ is a subgraph of $G$, but for any edge $e$ in $\overline{G}$, some element of $\mathcal{R}_{\min}(H_1, \dots, H_t)$ is a subgraph of $G + e$. We define $sat(n, \mathcal{R}_{\min}(H_1, \dots, H_t))$ to be the minimum number of edges over all $\mathcal{R}_{\min}(H_1, \dots, H_t)$-saturated graphs on $n$ vertices. In 1987, Hanson and Toft conjectured that $sat(n, \mathcal{R}_{\min}(K_{k_1}, \dots, K_{k_t}) )= (r - 2)(n - r + 2)+\binom{r - 2}{2} $ for $n \ge r$, where $r=r(K_{k_1}, \dots, K_{k_t})$ is the classical Ramsey number for complete graphs. The first non-trivial case of Hanson and Toft's conjecture for sufficiently large $n$ was setteled in 2011, and is so far the only settled case. Motivated by Hanson and Toft's conjecture, we study the minimum number of edges over all $\mathcal{R}_{\min}(K_3, \mathcal{T}_k)$-saturated graphs on $n$ vertices, where $\mathcal{T}_k$ is the family of all trees on $k$ vertices. We show that for $n \ge 18$, $sat(n, \mathcal{R}_{\min}(K_3, \mathcal{T}_4)) =\lfloor {5n}/{2}\rfloor$. For $k \ge 5$ and $n \ge 2k + (\lceil k/2 \rceil +1) \lceil k/2 \rceil -2$, we obtain an asymptotic bound for $sat(n, \mathcal{R}_{\min}(K_3, \mathcal{T}_k))$.
2018-08-09 v3
The Ramsey number of books
Published in Advances in Combinatorics, 2019:3, 12 pp • View Publication • BIB
We show that in every two-colouring of the edges of the complete graph $K_N$ there is a monochromatic $K_k$ which can be extended in at least $(1 + o_k(1))2^{-k}N$ ways to a monochromatic $K_{k+1}$. This result is asymptotically best possible, as may be seen by considering a random colouring. Equivalently, defining the book $B_n^{(k)}$ to be the graph consisting of $n$ copies of $K_{k+1}$ all sharing a common $K_k$, we show that the Ramsey number $r(B_n^{(k)}) = 2^k n + o_k(n)$. In this form, our result answers a question of Erdős, Faudree, Rousseau and Schelp and establishes an asymptotic version of a conjecture of Thomason.
2018-08-06
The k-cube is k-representable
A graph is called $k$-representable if there exists a word $w$ over the nodes of the graph, each node occurring exactly $k$ times, such that there is an edge between two nodes $x,y$ if and only after removing all letters distinct from $x,y$, from $w$, a word remains in which $x,y$ alternate. We prove that if $G$ is $k$-representable for $k>1$, then the Cartesian product of $G$ and the complete graph on $n$ nodes is $(k+n-1)$-representable. As a direct consequence, the $k$-cube is $k$-representable for every $k \geq 1$. Our main technique consists of exploring occurrence based functions that replace every $i$th occurrence of a symbol $x$ in a word $w$ by a string $h(x,i)$. The representing word we construct to achieve our main theorem is purely composed from concatenation and occurrence based functions.
2018-08-02
Distance Magic Index One Graphs
In this paper, we determine the distance magic index of lexicograph product of a regular graph with the complement of complete graph, disjoint union of m copies of complete multi- partite graph and disjoint union of m copies of lexicographic product of cycle with complement of complete graph. In addition to that, we also prove some necessary conditions for a regular graph to be of distance magic index one.
Density of monochromatic infinite paths
Published • View Publication • BIB
For any subset $A \subseteq \mathbb{N}$, we define its upper density to be $\limsup_{ n \rightarrow \infty } |A \cap \{ 1, \dotsc, n \}| / n$. We prove that every $2$-edge-colouring of the complete graph on $\mathbb{N}$ contains a monochromatic infinite path, whose vertex set has upper density at least $(9 + \sqrt{17})/16 \approx 0.82019$. This improves on results of Erdős and Galvin, and of DeBiasio and McKenney.
2018-07-30 v2
On the number of biased graphs
Published • View Publication • BIB
A biased graph is a graph $G$, together with a distinguished subset $\mathcal{B}$ of its cycles so that no Theta-subgraph of $G$ contains precisely two cycles in $\mathcal{B}$. A large number of biased graphs can be constructed by choosing $G$ to be a complete graph, and $\mathcal{B}$ to be an arbitrary subset of its Hamilton cycles. We show that, on the logarithmic scale, the total number of simple biased graphs on $n$ vertices does not asymptotically exceed the number that can be constructed in this elementary way.
2018-07-27 v2
Hom complexes of graphs of diameter $1$
Given a finite simplicial complex $X$ and a connected graph $T$ of diameter $1$, in \cite{anton} Dochtermann had conjectured that $\text{Hom}(T,G_{1,X})$ is homotopy equivalent to $X$. Here, $G_{1, X}$ is the reflexive graph obtained by taking the $1$-skeleton of the first barycentric subdivision of $X$ and adding a loop at each vertex. This was proved by Dochtermann and Schultz in \cite{ds12}. In this article, we give an alternate proof of this result by understanding the structure of the cells of Hom$(K_n,G_{1,X})$, where $K_n$ is the complete graph on $n$ vertices. We prove that the neighborhood complex of $G_{1,X}$ is homotopy equivalent to $X$ and Hom$(K_n,G_{1,X})\simeq $ Hom$(K_{n-1},G_{1,X})$, for each $n\geq 3$.
2018-07-27 v3
Decompositions of complete multigraphs into stars of varying sizes
Published in Journal of Combinatorial Theory, Series B, 145 (2020) 32-64 • View Publication • BIB
In 1979 Tarsi showed that an edge decomposition of a complete multigraph into stars of size $m$ exists whenever some obvious necessary conditions hold. In 1992 Lonc gave necessary and sufficient conditions for the existence of an edge decomposition of a (simple) complete graph into stars of sizes $m_1,\ldots,m_t$. We show that the general problem of when a complete multigraph admits a decomposition into stars of sizes $m_1,\ldots,m_t$ is $\mathsf{NP}$-complete, but that it becomes tractable if we place a strong enough upper bound on $\max(m_1,\ldots,m_t)$. We determine the upper bound at which this transition occurs. Along the way we also give a characterisation of when an arbitrary multigraph can be decomposed into stars of sizes $m_1,\ldots,m_t$ with specified centres, and a generalisation of Landau's theorem on tournaments.
The average size of independent sets of graphs
Published • View Publication • BIB
In this paper, we study the average size of independent (vertex) sets of a graph. This invariant can be regarded as the logarithmic derivative of the independence polynomial evaluated at $1$. We are specifically concerned with extremal questions. The maximum and minimum for general graphs are attained by the empty and complete graph respectively, while for trees we prove that the path minimises the average size of independent sets and the star maximises it. While removing a vertex does not always decrease the average size of independent sets, we prove that there always exists a vertex for which this is the case.
2018-07-22 v2
Metric dimension and pattern avoidance in graphs
Published • View Publication • BIB
In this paper, we prove a number of results about pattern avoidance in graphs with bounded metric dimension or edge metric dimension. We show that the maximum possible number of edges in a graph of diameter $D$ and edge metric dimension $k$ is at most $(\lfloor \frac{2D}{3}\rfloor +1)^{k}+k \sum_{i = 1}^{\lceil \frac{D}{3}\rceil } (2i)^{k-1}$, sharpening the bound of $\binom{k}{2}+k D^{k-1}+D^{k}$ from Zubrilina (2018). We also show that the maximum value of $n$ for which some graph of metric dimension $\leq k$ contains the complete graph $K_{n}$ as a subgraph is $n = 2^{k}$. We prove that the maximum value of $n$ for which some graph of metric dimension $\leq k$ contains the complete bipartite graph $K_{n,n}$ as a subgraph is $2^{Θ(k)}$. Furthermore, we show that the maximum value of $n$ for which some graph of edge metric dimension $\leq k$ contains $K_{1,n}$ as a subgraph is $n = 2^{k}$. We also show that the maximum value of $n$ for which some graph of metric dimension $\leq k$ contains $K_{1,n}$ as a subgraph is $3^{k}-O(k)$. In addition, we prove that the $d$-dimensional grids $\prod_{i = 1}^{d} P_{r_{i}}$ have edge metric dimension at most $d$. This generalizes two results of Kelenc et al. (2016), that non-path grids have edge metric dimension $2$ and that $d$-dimensional hypercubes have edge metric dimension at most $d$. We also provide a characterization of $n$-vertex graphs with edge metric dimension $n-2$, answering a question of Zubrilina. As a result of this characterization, we prove that any connected $n$-vertex graph $G$ such that $edim(G) = n-2$ has diameter at most $5$. More generally, we prove that any connected $n$-vertex graph with edge metric dimension $n-k$ has diameter at most $3k-1$.
2018-07-18
Approximation algorithms on $k-$ cycle covering and $k-$ clique covering
Given a weighted graph $G(V,E)$ with weight $\mathbf w: E\rightarrow Z^{|E|}_{+}$. A $k-$cycle covering is an edge subset $A$ of $E$ such that $G-A$ has no $k-$cycle. The minimum weight of $k-$cycle covering is the weighted covering number on $k-$cycle, denoted by $τ_{k}(G_{w})$. In this paper, we design a $k-1/2$ approximation algorithm for the weighted covering number on $k-$cycle when $k$ is odd. Given a weighted graph $G(V,E)$ with weight $\mathbf w: E\rightarrow Z^{|E|}_{+}$. A $k-$clique covering is an edge subset $A$ of $E$ such that $G-A$ has no $k-$clique. The minimum weight of $k-$clique covering is the weighted covering number on $k-$clique, denoted by $\widetilde{τ_{k}}(G_{w})$. In this paper, we design a $(k^{2}-k-1)/2$ approximation algorithm for the weighted covering number on $k-$clique. Last, we discuss the relationship between $k-$clique covering and $k-$clique packing in complete graph $K_{n}$.
2018-07-18 v3
Throttling for Zero Forcing and Variants
Zero forcing is a process on a graph in which the goal is to force all vertices to become blue by applying a color change rule. Throttling minimizes the sum of the number of vertices that are initially blue and the number of time steps needed to color every vertex. We introduce a new universal definition of throttling for variants of zero forcing and the study of throttling for the minor monotone floor of zero forcing. We introduce the technique of using a zero forcing process to extend a given graph. For standard zero forcing and its floor, we use these extensions to characterize graphs with throttling number $\leq t$ as certain minors of Cartesian products of complete graphs and paths. We apply these characterizations to determine graphs with extreme throttling numbers.
2018-07-17
Fractional chromatic number of a random subgraph
Published • View Publication • BIB
It is well known that a random subgraph of the complete graph $K_n$ has chromatic number $Θ(n/\log n)$ w.h.p. Boris Bukh asked whether the same holds for a random subgraph of any $n$-chromatic graph, at least in expectation. In this paper it is shown that for every graph, whose fractional chromatic number is at least $n$, the fractional chromatic number of its random subgraph is at least $n/(8\log_2(4n))$ with probability more than $1-\frac{1}{2n}$. This gives the affirmative answer for a strengthening of Bukh's question for the fractional chromatic number.
2018-07-17 v3
Monochromatic cycle partitions in random graphs
Published in Combinator. Probab. Comp. 30 (2021) 136-152 • View Publication • BIB
Erdős, Gyárfás and Pyber showed that every $r$-edge-coloured complete graph $K_n$ can be covered by $25 r^2 \log r$ vertex-disjoint monochromatic cycles (independent of $n$). Here, we extend their result to the setting of binomial random graphs. That is, we show that if $p = p(n) = Ω(n^{-1/(2r)})$, then with high probability any $r$-edge-coloured $G(n,p)$ can be covered by at most $1000 r^4 \log r $ vertex-disjoint monochromatic cycles. This answers a question of Korándi, Mousset, Nenadov, Škorić and Sudakov.
2018-07-16 v2
Total Colourings of Direct Product Graphs
Published • View Publication • BIB
A graph is k-total colourable if there is an assignment of k different colours to the vertices and edges of the graph such that no two adjacent nor incident elements receive the same colour. The total chromatic number of some direct product graphs are determined. In particular, a sufficient condition is given for direct products of bipartite graphs to have total chromatic number equal to its maximum degree plus one. Partial results towards the total chromatic number of the direct product of complete graphs are also established.