complete graph
2194 papers tagged with this keyword
New Upper Bounds for the Erdős-Gyárfás Problem on Generalized Ramsey Numbers
Published
• View Publication
• BIB
A $(p,q)$-coloring of a graph $G$ is an edge-coloring of $G$ which assigns at least $q$ colors to each $p$-clique. The problem of determining the minimum number of colors, $f(n,p,q)$, needed to give a $(p,q)$-coloring of the complete graph $K_n$ is a natural generalization of the well-known problem of identifying the diagonal Ramsey numbers $r_k(p)$. The best-known general upper bound on $f(n,p,q)$ was given by Erdős and Gyárfás in 1997 using a probabilistic argument. Since then, improved bounds in the cases where $p=q$ have been obtained only for $p\in\{4,5\}$, each of which was proved by giving a deterministic construction which combined a $(p,p-1)$-coloring using few colors with an algebraic coloring.
In this paper, we provide a framework for proving new upper bounds on $f(n,p,p)$ in the style of these earlier constructions. We characterize all colorings of $p$-cliques with $p-1$ colors which can appear in our modified version of the $(p,p-1)$-coloring of Conlon, Fox, Lee, and Sudakov. This allows us to greatly reduce the amount of case-checking required in identifying $(p,p)$-colorings, which would otherwise make this problem intractable for large values of $p$. In addition, we generalize our algebraic coloring from the $p=5$ setting and use this to give improved upper bounds on $f(n,6,6)$ and $f(n,8,8)$.
Threshold for weak saturation stability
Published
• View Publication
• BIB
We study the weak $K_s$-saturation number of the Erdős--Rényi random graph $\mathbbmsl{G}(n, p)$, denoted by $\mathrm{wsat}(\mathbbmsl{G}(n, p), K_s)$, where $K_s$ is the complete graph on $s$ vertices. Korándi and Sudakov in 2017 proved that the weak $K_s$-saturation number of $K_n$ is stable, in the sense that it remains the same after removing edges with constant probability. In this paper, we prove that there exists a threshold for this stability property and give upper and lower bounds on the threshold. This generalizes the result of Korándi and Sudakov. A general upper bound for $\mathrm{wsat}(\mathbbmsl{G}(n, p), K_s)$ is also provided.
Extremal problems and results related to Gallai-colorings
Published in DiscreteMathematics, 2021
• View Publication
• BIB
A Gallai-coloring (Gallai-$k$-coloring) is an edge-coloring (with colors from $\{1, 2, \ldots, k\}$) of a complete graph without rainbow triangles. Given a graph $H$ and a positive integer $k$, the $k$-colored Gallai-Ramsey number $GR_k(H)$ is the minimum integer $n$ such that every Gallai-$k$-coloring of the complete graph $K_n$ contains a monochromatic copy of $H$. In this paper, we consider two extremal problems related to Gallai-$k$-colorings. First, we determine upper and lower bounds for the maximum number of edges that are not contained in any rainbow triangle or monochromatic triangle in a $k$-edge-coloring of $K_n$. Second, for $n\geq GR_k(K_3)$, we determine upper and lower bounds for the minimum number of monochromatic triangles in a Gallai-$k$-coloring of $K_{n}$, yielding the exact value for $k=3$. Furthermore, we determine the Gallai-Ramsey number $GR_k(K_4+e)$ for the graph on five vertices consisting of a $K_4$ with a pendant edge.
Line Completion Number of Grid Graph $P_n \times P_m$
Published in Communications in Combinatorics and Optimization, Vol. 6, No. 2, 2021 pp.299-313
• View Publication
• BIB
The concept of super line graph was introduced in the year 1995 by Bagga, Beineke and Varma. Given a graph with at least $r$ edges, the super line graph of index $r$, $L_r(G)$, has as its vertices the sets of $r$ edges of $G$, with two adjacent if there is an edge in one set adjacent to an edge in the other set. The line completion number $lc(G)$ of a graph $G$ is the least positive integer $r$ for which $L_r(G)$ is a complete graph. In this paper, we find the line completion number of grid graph $P_n \times P_m$ for various cases of $n$ and $m$.
A Strengthening of the Erdős-Szekeres Theorem
Published
• View Publication
• BIB
The Erdős-Szekeres Theorem stated in terms of graphs says that any red-blue coloring of the edges of the ordered complete graph $K_{rs+1}$ contains a red copy of the monotone increasing path with $r$ edges or a blue copy of the monotone increasing path with $s$ edges. Although $rs + 1$ is the minimum number of vertices needed for this result, not all edges of $K_{rs+1}$ are necessary. We characterize the subgraphs of $K_{rs+1}$ with this coloring property as follows: they are exactly the subgraphs that contain all the edges of a graph we call the circus tent graph $CT(r,s)$.
Additionally, we use similar proof techniques to improve upon some of the bounds on the online ordered size Ramsey number of a path given by Pérez-Giménez, Pralat, and West.
Gallai-Ramsey numbers for graphs with chromatic number three
Published
• View Publication
• BIB
Given a graph $H$ and an integer $k\ge1$, the Gallai-Ramsey number $GR_k(H)$ is defined to be the minimum integer $n$ such that every $k$-edge coloring of the complete graph $K_n$ contains either a rainbow (all different colored) triangle or a monochromatic copy of $H$. In this paper, we study Gallai-Ramsey numbers for graphs with chromatic number three such as $\widehat{K}_m$ for $m\ge2$, where $\widehat{K}_m$ is a kipas with $m+1$ vertices obtained from the join of $K_1$ and $P_m$, and a class of graphs with five vertices, denoted by $\mathscr{H}$. We first study the general lower bound of such graphs and propose a conjecture for the exact value of $GR_k(\widehat{K}_m)$. Then we give a unified proof to determine the Gallai-Ramsey numbers for many graphs in $\mathscr{H}$ and obtain the exact value of $GR_k(\widehat{K}_4)$ for $k\ge1$. Our outcomes not only indicate that the conjecture on $GR_k(\widehat{K}_m)$ is true for $m\le4$, but also imply several results on $GR_k(H)$ for some $H\in \mathscr{H}$ which are proved individually in different papers.
An Evans-style result for block designs
Published in SIAM J. Discrete Math. 36 (2022), 47-63
• View Publication
• BIB
For positive integers $n$ and $k$ with $n \geq k$, an $(n,k,1)$-design is a pair $(V, \mathcal{B})$ where $V$ is a set of $n$ points and $\mathcal{B}$ is a collection of $k$-subsets of $V$ called blocks such that each pair of points occur together in exactly one block. If we weaken this condition to demand only that each pair of points occur together in at most one block, then the resulting object is a partial $(n,k,1)$-design. A completion of a partial $(n,k,1)$-design $(V,\mathcal{A})$ is a (complete) $(n,k,1)$-design $(V,\mathcal{B})$ such that $\mathcal{A} \subseteq \mathcal{B}$. Here, for all sufficiently large $n$, we determine exactly the minimum number of blocks in an uncompletable partial $(n,k,1)$-design. This result is reminiscent of Evans' now-proved conjecture on completions of partial latin squares. We also prove some related results concerning edge decompositions of almost complete graphs into copies of $K_k$.
Group-Graph Reciprocal Pairs
In a 2018 paper, Cameron and Semeraro posed the problem of finding all group-graph reciprocal pairs. In this paper, we make a significant contribution to finding all such pairs. A group and graph form a reciprocal pair if they satisfy the relation $$P_{Γ,G}(x)=(-1)^nF_G(-x)$$ where $P_{Γ,G}(x)$ is the orbital chromatic polynomial of a graph $Γ$ and $F_G(x)$ is the cycle polynomial of a finite permutation group. We define a set of graphs to be \textit{$k$-stars} and prove that they satisfy a reciprocality relation with some group depending on $k$. These graphs are comprised of a complete graph with $k$ vertices and a further $α$ `points' which are only connected to each vertex in the centre. This group is a subgroup of $S_k\times S_α$, which is the automorphism group of a \textit{$k$-star} and $α$ is the number of points on the star. We conjecture a list of group-graph reciprocal pairs.
Topological Drawings meet Classical Theorems from Convex Geometry
Published
• View Publication
• BIB
In this article we discuss classical theorems from Convex Geometry in the context of topological drawings and beyond. In a simple topological drawing of the complete graph $K_n$, any two edges share at most one point: either a common vertex or a point where they cross. Triangles of simple topological drawings can be viewed as convex sets. This gives a link to convex geometry.
As our main result, we present a generalization of Kirchberger's Theorem that is of purely combinatorial nature. It turned out that this classical theorem also applies to "generalized signotopes" - a combinatorial generalization of simple topological drawings, which we introduce and investigate in the course of this article. As indicated by the name they are a generalization of signotopes, a structure studied in the context of encodings for arrangements of pseudolines.
We also present a family of simple topological drawings with arbitrarily large Helly number, and a new proof of a topological generalization of Carathéodory's Theorem in the plane and discuss further classical theorems from Convex Geometry in the context of simple topological drawings.
Shortest paths with a cost constraint: a probabilistic analysis
Published in Discrete Appl. Math. 302 (2021), 46--53
• View Publication
• BIB
We consider a constrained version of the shortest path problem on the complete graphs whose edges have independent random lengths and costs. We establish the asymptotic value of the minimum length as a function of the cost-budget within a wide range.
The Erdős-Hajnal conjecture for three colors and multiple forbidden patterns
Published
• View Publication
• BIB
Erdős and Szekeres's quantitative version of Ramsey's theorem asserts that any complete graph on n vertices that is edge-colored with two colors has a monochromatic clique on at least 1/2log(n) vertices. The famous Erdős-Hajnal conjecture asserts that forbidding fixed color patterns ensures larger monochromatic cliques. Specifically, it claims that for any fixed integer k and any clique K on k vertices edge-colored with two colors, there is a positive constant a such that in any complete n-vertex graph edge-colored with two colors that does not contain a copy of K, there is a monochromatic clique on at least n^a vertices.
We consider edge-colorings with three colors. For a family H of triangles, each colored with colors from {r, b, y}, Forb(n,H) denotes a family of edge-colorings of the complete n-vertex graph using colors from {r, b, y} and containing none of the colorings from H. Let h_2(n, H) be the maximum q such that any coloring from Forb(n, H) has a clique on at least q vertices using at most two colors. We provide bounds on h_2(n, H) for all families H consisting of at most three triangles. For most of them, our bounds are asymptotically tight. This extends a result of Fox, Grinshpun, and Pach, who determined h_2(n, H) for H consisting of a rainbow triangle, and confirms the multicolor Erdős-Hajnal conjecture for these sets of patterns.
Propagation time for weighted zero forcing
Zero forcing is a graph coloring process that was defined as a tool for bounding the minimum rank and maximum nullity of a graph. It has also been used for studying control of quantum systems and monitoring electrical power networks. One of the problems from the 2017 AIM workshop "Zero forcing and its applications" was to explore edge-weighted probabilistic zero forcing, where edges have weights that determine the probability of a successful force if forcing is possible under the standard zero forcing coloring rule.
In this paper, we investigate the expected time to complete the weighted zero forcing coloring process, known as the expected propagation time, as well as the time for the process to be completed with probability at least $α$, known as the $α$-confidence propagation time. We demonstrate how to find the expected and confidence propagation times of any edge-weighted graph using Markov matrices. We also determine the expected and confidence propagation times for various families of edge-weighted graphs including complete graphs, stars, paths, and cycles.
Remarks on the structure of simple drawings of $K_n$
In studying properties of simple drawings of the complete graph in the sphere, two natural questions arose for us: can an edge have multiple segments on the boundary of the same face? and is each face the intersection of sides of 3-cycles? The second is asserted to be obvious in two previously published articles, but when asked, authors of both papers were unable to provide a proof. We present a proof. The first is quite easily proved and the technique yields a third, even simpler, fact: no three edges at a vertex all have internal points incident with the same face.
On the Graceful Game
A graceful labeling of a graph $G$ with $m$ edges consists of labeling the vertices of $G$ with distinct integers from $0$ to $m$ such that, when each edge is assigned as induced label the absolute difference of the labels of its endpoints, all induced edge labels are distinct. Rosa established two well known conjectures: all trees are graceful (1966) and all triangular cacti are graceful (1988). In order to contribute to both conjectures we study graceful labelings in the context of graph games. The Graceful game was introduced by Tuza in 2017 as a two-players game on a connected graph in which the players Alice and Bob take turns labeling the vertices with distinct integers from 0 to $m$. Alice's goal is to gracefully label the graph as Bob's goal is to prevent it from happening. In this work, we study winning strategies for Alice and Bob in complete graphs, paths, cycles, complete bipartite graphs, caterpillars, prisms, wheels, helms, webs, gear graphs, hypercubes and some powers of paths.
New constructions of strongly regular Cayley graphs on abelian groups
Published
• View Publication
• BIB
Davis and Jedwab (1997) established a great construction theory unifying many previously known constructions of difference sets, relative difference sets and divisible difference sets. They introduced the concept of building blocks, which played an important role in the theory. On the other hand, Polhill (2010) gave a construction of Paley type partial difference sets (conference graphs) based on a special system of building blocks, called a covering extended building set, and proved that there exists a Paley type partial difference set in an abelian group of order $9^iv^4$ for any odd positive integer $v>1$ and any $i=0,1$. His result covers all orders of nonelementary abelian groups in which Paley type partial difference sets exist. In this paper, we give new constructions of strongly regular Cayley graphs on abelian groups by extending the theory of building blocks. The constructions are large generalizations of Polhill's construction. In particular, we show that for a positive integer $m$ and elementary abelian groups $G_i$, $i=1,2,\ldots,s$, of order $q_i^4$ such that $2m\,|\,q_i+1$, there exists a decomposition of the complete graph on the abelian group $G=G_1\times G_2\times \cdots\times G_s$ by strongly regular Cayley graphs with negative Latin square type parameters $(u^2,c(u+1),- u+c^2+3 c,c^2+ c)$, where $u=q_1^2q_2^2\cdots q_s^2$ and $c=(u-1)/m$. Such strongly regular decompositions were previously known only when $m=2$ or $G$ is a $p$-group. Moreover, we find one more new infinite family of decompositions of the complete graphs by Latin square type strongly regular Cayley graphs. Thus, we obtain many strongly regular graphs with new parameters.
On the difference between the eccentric connectivity index and eccentric distance sum of graphs
Published
• View Publication
• BIB
The eccentric connectivity index of a graph $G$ is $ξ^c(G) = \sum_{v \in V(G)}\varepsilon(v)°(v)$, and the eccentric distance sum is $ξ^d(G) = \sum_{v \in V(G)}\varepsilon(v)D(v)$, where $\varepsilon(v)$ is the eccentricity of $v$, and $D(v)$ the sum of distances between $v$ and the other vertices. A lower and an upper bound on $ξ^d(G) - ξ^c(G)$ is given for an arbitrary graph $G$. Regular graphs with diameter at most $2$ and joins of cocktail-party graphs with complete graphs form the graphs that attain the two equalities, respectively. Sharp lower and upper bounds on $ξ^d(T) - ξ^c(T)$ are given for arbitrary trees. Sharp lower and upper bounds on $ξ^d(G)+ξ^c(G)$ for arbitrary graphs $G$ are also given, and a sharp lower bound on $ξ^d(G)$ for graphs $G$ with a given radius is proved.
Star Edge-Coloring of Square Grids
Published
• View Publication
• BIB
A star edge-coloring of a graph $G$ is a proper edge-coloring without bichromatic paths or cycles of length four. The smallest integer $k$ such that $G$ admits a star edge-coloring with $k$ colors is the star chromatic index of $G$. In the seminal paper on the topic, Dvořák, Mohar, and Šámal asked if the star chromatic index of complete graphs is linear in the number of vertices and gave an almost linear upper bound. Their question remains open, and consequently, to better understand the behavior of the star chromatic index, this parameter has been studied for a number of other classes of graphs. In this paper, we consider star edge-colorings of square grids; namely, the Cartesian products of paths and cycles and the Cartesian products of two cycles. We improve previously established bounds and, as a main contribution, we prove that the star chromatic index of graphs in both classes is either $6$ or $7$ except for prisms. Additionally, we give a number of exact values for many considered graphs.
Perfect matchings and Hamiltonicity in the Cartesian product of cycles
Published in Ann. Comb. 25, No. 3, 789-796 (2021). SharedIt link: https://rdcu.be/csdJK
• View Publication
• BIB
A pairing of a graph $G$ is a perfect matching of the complete graph having the same vertex set as $G$. If every pairing of $G$ can be extended to a Hamiltonian cycle of the underlying complete graph using only edges from $G$, then $G$ has the PH-property. A somewhat weaker property is the PMH-property, whereby every perfect matching of $G$ can be extended to a Hamiltonian cycle of $G$. In an attempt to characterise all 4-regular graphs having the PH-property, we answer a question made in 2015 by Alahmadi et al. by showing that the Cartesian product $C_p\square C_q$ of two cycles on $p$ and $q$ vertices does not have the PMH-property, except for $C_4\square C_4$ which is known to have the PH-property.
The $\mathcal{N}\mathcal{F}$-Number of a Simplicial Complex
Published
• View Publication
• BIB
Let $Δ$ be a simplicial complex on $[n]$. The $\mathcal{N}\mathcal{F}$-complex of $Δ$ is the simplicial complex $δ_{\mathcal{N}\mathcal{F}}(Δ)$ on $[n]$ for which the facet ideal of $Δ$ is equal to the Stanley--Reisner ideal of $δ_{\mathcal{N}\mathcal{F}}(Δ)$. Furthermore, for each $k = 2,3,\ldots$\,, we introduce {\em $k^{th}$ $\mathcal{N}\mathcal{F}$-complex} $δ^{(k)}_{\mathcal{N}\mathcal{F}}(Δ)$ which is inductively defined by $δ^{(k)}_{\mathcal{N}\mathcal{F}}(Δ) = δ_{\mathcal{N}\mathcal{F}}(δ^{(k-1)}_{\mathcal{N}\mathcal{F}}(Δ))$ with setting $δ^{(1)}_{\mathcal{N}\mathcal{F}}(Δ) = δ_{\mathcal{N}\mathcal{F}}(Δ)$. One can set $δ^{(0)}_{\mathcal{N}\mathcal{F}}(Δ) = Δ$. The $\mathcal{N}\mathcal{F}$-number of $Δ$ is the smallest integer $k > 0$ for which $δ^{(k)}_{\mathcal{N}\mathcal{F}}(Δ) \simeq Δ$. In the present paper we are especially interested in the $\mathcal{N}\mathcal{F}$-number of a finite graph, which can be regraded as a simplicial complex of dimension one. It is shown that the $\mathcal{N}\mathcal{F}$-number of the finite graph $K_n\coprod K_m$ on $[n + m]$, which is the disjoint union of the complete graphs $K_n$ on $[n]$ and $K_m$ on $[m]$, where $n \geq 2$ and $m \geq 2$ with $(n,m) \neq (2,2)$, is equal to $n + m + 2$. Its corollary says that the $\mathcal{N}\mathcal{F}$-number of the complete bipartite graph $K_{n,m}$ on $[n+m]$ is also equal to $n + m + 2$.
Skeleton Ideals of Certain Graphs, Standard Monomials and Spherical Parking Functions
Published
• View Publication
• BIB
Let $G$ be an (oriented) graph on the vertex set $V = \{ 0, 1,\ldots,n\}$ with root $0$. Postnikov and Shapiro associated a monomial ideal $\mathcal{M}_G$ in the polynomial ring $ R = {\mathbb{K}}[x_1,\ldots,x_n]$ over a field $\mathbb{K}$. A subideal $\mathcal{M}_G^{(k)}$ of $\mathcal{M}_G$ generated by subsets of $\widetilde{V}=V\setminus \{0\}$ of size at most $k+1$ is called a $k$-skeleton ideal of the graph $G$. Many interesting homological and combinatorial properties of $1$-skeleton ideal $\mathcal{M}_G^{(1)}$ are obtained by Dochtermann for certain classes of simple graph $G$. A finite sequence $\mathcal{P}=(p_1,\ldots,p_n) \in \mathbb{N}^n$ is called a spherical $G$-parking function if the monomial $\mathbf{x}^{\mathcal{P}} = \prod_{i=1}^{n} x_i^{p_i} \in \mathcal{M}_G \setminus \mathcal{M}_G^{(n-2)}$. Let ${\rm sPF}(G)$ be the set of all spherical $G$-parking functions. In this paper, a combinatorial description for all multigraded Betti numbers of the $k$-skeleton ideal $\mathcal{M}_{K_{n+1}}^{(k)}$ of the complete graph $K_{n+1}$ on $V$ are given. Also, using DFS burning algorithms of Perkinson-Yang-Yu (for simple graph) and Gaydarov-Hopkins (for multigraph), we give a combinatorial interpretation of spherical $G$-parking functions for the graph $G = K_{n+1}- \{e\}$ obtained from the complete graph $K_{n+1}$ on deleting an edge $e$. In particular, we showed that $|{\rm sPF}(K_{n+1}- \{e_0\} )|= (n-1)^{n-1}$ for an edge $e_0$ through the root $0$, but $|{\rm sPF}(K_{n+1} - \{e_1\})| = (n-1)^{n-3}(n-2)^2$ for an edge $e_1$ not through the root.