complete graph
2162 papers tagged with this keyword
Complete graph immersions in dense graphs
Published
• View Publication
• BIB
In this article we consider the relationship between vertex coloring and the immersion order. Specifically, a conjecture proposed by Abu-Khzam and Langston in 2003, which says that the complete graph with $t$ vertices can be immersed in any $t$-chromatic graph, is studied.
First, we present a general result about immersions and prove that the conjecture holds for graphs whose complement does not contain any induced cycle of length four and also for graphs having the property that every set of five vertices induces a subgraph with at least six edges.
Then, we study the class of all graphs with independence number less than three, which are graphs of interest for Hadwiger's Conjecture. We study such graphs for the immersion-analog. If Abu-Khzam and Langston's conjecture is true for this class of graphs, then an easy argument shows that every graph of independence number less than $3$ contains $K_{\left\lceil\frac{n}{2}\right\rceil}$ as an immersion. We show that the converse is also true. That is, if every graph with independence number less than $3$ contains an immersion of $K_{\left\lceil\frac{n}{2}\right\rceil}$, then Abu-Khzam and Langston's conjecture is true for this class of graphs. Furthermore, we show that every graph of independence number less than $3$ has an immersion of $K_{\left\lceil\frac{n}{3}\right\rceil}$.
Stability and Ramsey numbers for cycles and wheels
Published
• View Publication
• BIB
We study the structure of red-blue edge colorings of complete graphs, with no copies of the $n$-cycle $C_n$ in red, and no copies of the $n$-wheel $W_n = C_n \ast K_1$ in blue, for an odd integer $n$. Our first main result is that in any such coloring, deleting at most two vertices we obtain a vertex-partition of $G$ into three sets such that the edges inside the partition classes are red, and edges between partition classes are blue. As a second result, we obtain bounds for the Ramsey numbers of $r(C_{2k+1},W_{2j})$ for $k < j$ integers, which asymptotically confirm the values of $4j+1$, as it were conjectured by Zhang et al.
Turán's Theorem for random graphs
For a graph $G$, denote by $t_r(G)$ (resp. $b_r(G)$) the maximum size of a $K_r$-free (resp. $(r-1)$-partite) subgraph of $G$. Of course $t_r(G) \geq b_r(G)$ for any $G$, and Turán's Theorem says that equality holds for complete graphs. With $G_{n,p}$ the usual ("binomial" or "Erdős-Rényi") random graph, we show:
For each fixed r there is a C such that if \[ p=p(n) > Cn^{-\tfrac{2}{r+1}}\log^{\tfrac{2}{(r+1)(r-2)}}n, \] then $\Pr(t_r(G_{n,p})=b_r(G_{n,p}))\rightarrow 1$ as $n\rightarrow\infty$.
This is best possible (apart from the value of $C$) and settles a question first considered by Babai, Simonovits and Spencer about 25 years ago.
Reconstruction of the geometric structure of a set of points in the plane from its geometric tree graph
Published
• View Publication
• BIB
Let P be a finite set of points in general position in the plane. The structure of the complete graph K(P) as a geometric graph includes, for any pair [a,b],[c,d] of vertex-disjoint edges, the information whether they cross or not.
The simple (i.e., non-crossing) spanning trees (SSTs) of K(P) are the vertices of the so-called Geometric Tree Graph of P, G(P). Two such vertices are adjacent in G(P) if they differ in exactly two edges, i.e., if one can be obtained from the other by deleting an edge and adding another edge.
In this paper we show how to reconstruct from G(P) (regarded as an abstract graph) the structure of K(P) as a geometric graph. We first identify within G(P) the vertices that correspond to spanning stars. Then we regard each star S(z) with center z as the representative in G(P) of the vertex z of K(P). (This correspondence is determined only up to an automorphism of K(P) as a geometric graph.) Finally we determine for any four distinct stars S(a), S(b), S(c), and S(d), by looking at their relative positions in G(P), whether the corresponding segments cross.
Square Integer Heffter Arrays with Empty Cells
Published
• View Publication
• BIB
A Heffter array $H(m,n;s,t)$ is an $m \times n$ matrix with nonzero entries from $\mathbb{Z}_{2ms+1}$ such that $i)$ each row contains $s$ filled cells and each column contains $t$ filled cells, $ii)$ every row and column sum to 0, and $iii)$ no element from $\{x,-x\}$ appears twice. Heffter arrays are useful in embedding the complete graph $K_{2nm+1}$ on an orientable surface where the embedding has the property that each edge borders exactly one $s-$cycle and one $t-$cycle. Archdeacon, Boothby and Dinitz proved that these arrays can be constructed in the case when $s=m$, i.e. every cell is filled. In this paper we concentrate on square arrays with empty cells where every row sum and every column sum is $0$ in $\mathbb{Z}$. We solve most of the instances of this case.
Topological Symmetry Groups of Complete Bipartite Graphs
Published in Tokyo J. Math., vol. 39, 2016, pp. 133-156
• View Publication
• BIB
The symmetries of complex molecular structures can be modeled by the {\em topological symmetry group} of the underlying embedded graph. It is therefore important to understand which topological symmetry groups can be realized by particular abstract graphs. This question has been answered for complete graphs; it is natural next to consider complete bipartite graphs. In previous work we classified the complete bipartite graphs that can realize topological symmetry groups isomorphic to $A_4$, $S_4$ or $A_5$; in this paper we determine which complete bipartite graphs have an embedding in $S^3$ whose topological symmetry group is isomorphic to $\mathbb{Z}_m$, $D_m$, $\mathbb{Z}_r \times \mathbb{Z}_s$ or $(\mathbb{Z}_r \times \mathbb{Z}_s) \ltimes \mathbb{Z}_2$.
Game Brush Number
Published
• View Publication
• BIB
We study a two-person game based on the well-studied brushing process on graphs. Players Min and Max alternately place brushes on the vertices of a graph. When a vertex accumulates at least as many brushes as its degree, it sends one brush to each neighbor and is removed from the graph; this may in turn induce the removal of other vertices. The game ends once all vertices have been removed. Min seeks to minimize the number of brushes played during the game, while Max seeks to maximize it. When both players play optimally, the length of the game is the game brush number of the graph $G$, denoted $b_g(G)$.
By considering strategies for both players and modelling the evolution of the game with differential equations, we provide an asymptotic value for the game brush number of the complete graph; namely, we show that $b_g(K_n) = (1+o(1))n^2/e$. Using a fractional version of the game, we couple the game brush numbers of complete graphs and the binomial random graph $\mathcal{G}(n,p)$. It is shown that for $pn \gg \ln n$ asymptotically almost surely $b_g(\mathcal{G}(n,p)) = (1 + o(1))p b_g(K_n) = (1 + o(1))pn^2/e$. Finally, we study the relationship between the game brush number and the (original) brush number.
Heffter Arrays and Biembedding Graphs on Surfaces
Published
• View Publication
• BIB
A Heffter array is an m by n matrix with nonzero entries from Z_{2mn+1} such that i) every row and column sum to 0, and ii) no element from {x,-x} appears twice. We construct some Heffter arrays. These arrays are used to build current graphs used in topological graph theory. In turn, the current graphs are used to embed the complete graph K_{2mn+1} so that the faces can be 2-colored, called a biembedding. Under certain conditions each color class forms a cycle system. These generalize biembeddings of Steiner triple systems. We discuss some variations including Heffter arrays with empty cells, embeddings on nonorientable surfaces, complete multigraphs, and using integer in place of modular arithmetic.
Analogous to cliques for (m,n)-colored mixed graphs
Published
• View Publication
• BIB
Vertex coloring of a graph $G$ with $n$-colors can be equivalently thought to be a graph homomorphism (edge preserving vertex mapping) of $G$ to the complete graph $K_n$ of order $n$. So, in that sense, the chromatic number $χ(G)$ of $G$ will be the order of the smallest complete graph to which $G$ admits a homomorphism to. As every graph, which is not a complete graph, admits a homomorphism to a smaller complete graph, we can redefine the chromatic number $χ(G)$ of $G$ to be the order of the smallest graph to which $G$ admits a homomorphism to. Of course, such a smallest graph must be a complete graph as they are the only graphs with chromatic number equal to their order.
The concept of vertex coloring can be generalize for other types of graphs. Naturally, the chromatic number is defined to be the order of the smallest graph (of the same type) to which a graph admits homomorphism to. The analogous notion of clique turns out to be the graphs with order equal to their (so defined) "chromatic number". These "cliques" turns out to be much more complicated than their undirected counterpart and are interesting objects of study. In this article, we mainly study different aspects of "cliques" for signed (graphs with positive or negative signs assigned to each edge) and switchable signed graphs (equivalence class of signed graph with respect to switching signs of edges incident to the same vertex).
Outerplanar and planar oriented cliques
Published
• View Publication
• BIB
The clique number of an undirected graph $G$ is the maximum order of a complete subgraph of $G$ and is a well-known lower bound for the chromatic number of $G$. Every proper $k$-coloring of $G$ may be viewed as a homomorphism (an edge-preserving vertex mapping) of $G$ to the complete graph of order $k$. By considering homomorphisms of oriented graphs (digraphs without cycles of length at most 2), we get a natural notion of (oriented) colorings and oriented chromatic number of oriented graphs. An oriented clique is then an oriented graph whose number of vertices and oriented chromatic number coincide. However, the structure of oriented cliques is much less understood than in the undirected case.
In this paper, we study the structure of outerplanar and planar oriented cliques. We first provide a list of 11 graphs and prove that an outerplanar graph can be oriented as an oriented clique if and only if it contains one of these graphs as a spanning subgraph. Klostermeyer and MacGillivray conjectured that the order of a planar oriented clique is at most 15, which was later proved by Sen [S. Sen. Maximum Order of a Planar Oclique Is 15. Proc. IWOCA'2012. {\em Lecture Notes Comput. Sci.} 7643:130--142]. We show that any planar oriented clique on 15 vertices must contain a particular oriented graph as a spanning subgraph, thus reproving the above conjecture. We also provide tight upper bounds for the order of planar oriented cliques of girth $k$ for all $k \ge 4$.
Sparse Multipartite Graphs as Partition Universal for Graphs of Bounded-Degrees
Published
• View Publication
• BIB
For graphs $G$ and $H$, let $G\to (H,H)$ signify that any red/blue edge coloring of $G$ contains a monochromatic $H$ as a subgraph, and $\mathcal{H}(Δ,n)=\{H:|V(H)|=n,Δ(H)\le Δ\}$. For fixed $Δ$ and $n$, we say that $G$ is a partition universal graph for $\mathcal{H}(Δ,n)$ if $G\to (H,H)$ for every $H\in\mathcal{H}(Δ,n)$.
In 1983, Chvátal, Rödl, Szemerédi and Trotter proved that for any $Δ\ge2$ there exists a constant $B$ such that, for any $n$, if $N\ge Bn$ then $K_N$ is partition universal for $\mathcal{H}(Δ,n)$. Recently, Kohayakawa, Rödl, Schacht and Szemerédi proved that the complete graph $K_N$ in above result can be replaced by sparse graphs. They obtained that for fixed $Δ\ge2$, there exist constants $B$ and $C$ such that if $N\ge Bn$ and $p=C(\log N/N)^{1/Δ}$, then {\bf a.a.s.} $G(N,p)$ is partition universal graph for $\mathcal{H}(Δ,n)$, where $G(N,p)$ is the standard random graph on $N$ vertices with $\mathbb{P}(e)=p$ for each edge $e$. From some results of Bollobás and Łuczak, we know that {\bf a.a.s.} $χ(G(N,p)) = Θ((N/\log N)^{1-1/Δ})$.
In this paper, we shall show that the $G(N,p)$ in above result can be replaced by random multipartite graph. Let $K_{r}(N)$ be the complete $r$-partite graph with $N$ vertices in each part, and $G_r(N,p)$ the random spanning subgraph of $K_r(N)$, in which each edge appears with probability $p$. It is shown that for fixed $Δ\ge2$ there exist constants $r, B$ and $C$ depending only on $Δ$ such that if $N\ge Bn$ and $p=C(\log N/N)^{1/Δ}$, then {\bf a.a.s.} $G_r(N,p)$ is partition universal graph for $\mathcal{H}(Δ,n)$. The proof mainly uses the sparse multipartite regularity lemma.
On factorisations of complete graphs into circulant graphs and the Oberwolfach Problem
Published
• View Publication
• BIB
Various results on factorisations of complete graphs into circulant graphs and on 2-factorisations of these circulant graphs are proved. As a consequence, a number of new results on the Oberwolfach Problem are obtained. For example, a complete solution to the Oberwolfach Problem is given for every 2-regular graph of order 2p where p = 5 (mod 8) is prime.
Interval edge-colorings of complete graphs
Published
• View Publication
• BIB
An edge-coloring of a graph $G$ with colors $1,2,\ldots,t$ is an interval $t$-coloring if all colors are used, and the colors of edges incident to each vertex of $G$ are distinct and form an interval of integers. A graph $G$ is interval colorable if it has an interval $t$-coloring for some positive integer $t$. For an interval colorable graph $G$, $W(G)$ denotes the greatest value of $t$ for which $G$ has an interval $t$-coloring. It is known that the complete graph is interval colorable if and only if the number of its vertices is even. However, the exact value of $W(K_{2n})$ is known only for $n \leq 4$. The second author showed that if $n = p2^q$, where $p$ is odd and $q$ is nonnegative, then $W(K_{2n}) \geq 4n-2-p-q$. Later, he conjectured that if $n \in \mathbb{N}$, then $W(K_{2n}) = 4n - 2 - \left\lfloor\log_2{n}\right\rfloor - \left \| n_2 \right \|$, where $\left \| n_2 \right \|$ is the number of $1$'s in the binary representation of $n$.
In this paper we introduce a new technique to construct interval colorings of complete graphs based on their 1-factorizations, which is used to disprove the conjecture, improve lower and upper bounds on $W(K_{2n})$ and determine its exact values for $n \leq 12$.
Doyen-Wilson results for odd length cycle systems
Published
• View Publication
• BIB
For each odd $m \geq 3$ we completely solve the problem of when an $m$-cycle system of order $u$ can be embedded in an $m$-cycle system of order $v$, barring a finite number of possible exceptions. In cases where $u$ is large compared to $m$, where $m$ is a prime power, or where $m \leq 15$, the problem is completely resolved. In other cases, the only possible exceptions occur when $v-u$ is small compared to $m$. This result is proved as a consequence of a more general result which gives necessary and sufficient conditions for the existence of an $m$-cycle decomposition of a complete graph of order $v$ with a hole of size $u$ in the case where $u \geq m-2$ and $v-u \geq m+1$ both hold.
Families of locally separated Hamilton paths
We improve by an exponential factor the lower bound of Korner and Muzi for the cardinality of the largest family of Hamilton paths in a complete graph of n vertices in which the union of any two paths has degree 4. The improvement is through an explicit construction while the previous bound was obtained by a greedy algorithm. We solve a similar problem for permutations up to an exponential factor.
Minimum number of monotone subsequences of length 4 in permutations
Published in Combinator. Probab. Comp. 24 (2014) 658-679
• View Publication
• BIB
We show that for every sufficiently large $n$, the number of monotone subsequences of length four in a permutation on $n$ points is at least $\binom{\lfloor n/3 \rfloor}{4} + \binom{\lfloor(n+1)/3\rfloor}{4} + \binom{\lfloor (n+2)/3\rfloor}{4}$. Furthermore, we characterize all permutations on $[n]$ that attain this lower bound. The proof uses the flag algebra framework together with some additional stability arguments. This problem is equivalent to some specific type of edge colorings of complete graphs with two colors, where the number of monochromatic $K_4$'s is minimized. We show that all the extremal colorings must contain monochromatic $K_4$'s only in one of the two colors. This translates back to permutations, where all the monotone subsequences of length four are all either increasing, or decreasing only.
The $2nd-$convex hull of every optimal rectilinear drawing of $K_{n}$ is a triangle
A rectilinear drawing of a graph $G$ is optimal if it has the smallest number of crossings among all rectilinear drawings of $G$. In this paper it is shown that for $n\geq 8$, the second convex hull of every optimal rectilinear drawing of the complete graph $K_n$ is a triangle.
The genus of curve, pants and flip graphs
Published
• View Publication
• BIB
This article is about the graph genus of certain well studied graphs in surface theory: the curve, pants and flip graphs. We study both the genus of these graphs and the genus of their quotients by the mapping class group. The full graphs, except for in some low complexity cases, all have infinite genus. The curve graph once quotiented by the mapping class group has the genus of a complete graph so its genus is well known by a theorem of Ringel and Youngs. For the other two graphs we are able to identify the precise growth rate of the graph genus in terms of the genus of the underlying surface. The lower bounds are shown using probabilistic methods.
Best constants for the Hardy-Littlewood maximal operator on finite graphs
Published
• View Publication
• BIB
We study the behavior of averages for functions defined on finite graphs $G$, in terms of the Hardy-Littlewood maximal operator $M_G$. We explore the relationship between the geometry of a graph and its maximal operator and prove that $M_G$ completely determines $G$ (even though embedding properties for the graphs do not imply pointwise inequalities for the maximal operators). Optimal bounds for the $p$-(quasi)norm of a general graph $G$ in the range $0<p\le1$ are given, and it is shown that the complete graph $K_n$ and the star graph $S_n$ are the extremal graphs attaining, respectively, the lower and upper estimates. Finally, we study weak-type estimates and some connections with the dilation and overlapping indices of a graph.
Ordered Ramsey numbers
Published
• View Publication
• BIB
Given a labeled graph $H$ with vertex set $\{1, 2,\ldots,n\}$, the ordered Ramsey number $r_<(H)$ is the minimum $N$ such that every two-coloring of the edges of the complete graph on $\{1, 2, \ldots,N\}$ contains a copy of $H$ with vertices appearing in the same order as in $H$. The ordered Ramsey number of a labeled graph $H$ is at least the Ramsey number $r(H)$ and the two coincide for complete graphs. However, we prove that even for matchings there are labelings where the ordered Ramsey number is superpolynomial in the number of vertices. Among other results, we also prove a general upper bound on ordered Ramsey numbers which implies that there exists a constant $c$ such that $r_<(H) \leq r(H)^{c \log^2 n}$ for any labeled graph $H$ on vertex set $\{1,2, \dots, n\}$.