complete graph
2194 papers tagged with this keyword
Locally Hamiltonian graphs and minimal size of maximal graphs on a surface
Published
• View Publication
• BIB
We prove that every locally Hamiltonian graph with $n\ge 3$ vertices and possibly with multiple edges has at least $3n-6$ edges with equality if and only if it triangulates the sphere. As a consequence, every edge-maximal embedding of a graph $G$ graph on some 2-dimensional surface $Σ$ (not necessarily compact) has at least $3n-6$ edges with equality if and only if $G$ also triangulates the sphere. If, in addition, $G$ is simple, then for each vertex $v$, the cyclic ordering of the edges around $v$ on $Σ$ is the same as the clockwise or anti-clockwise orientation around $v$ on the sphere. If $G$ contains no complete graph on 4 vertices and has at least 4 vertices, then the face-boundaries are the same in the two embeddings.
Representations of automorphism groups on the homology of matroids
Published in European Journal of Combinatorics 94 (2021) 103312
• View Publication
• BIB
Given a group $G$ of automorphisms of a matroid $M$, we describe the representations of $G$ on the homology of the independence complex of the dual matroid $M^*$. These representations are related with the homology of the lattice of flats of $M$, and (when $M$ is realizable) with the top cohomology of a hyperplane arrangement. Finally we analyze in detail the case of the complete graph, which has applications to algebraic geometry.
A proof of Ringel's Conjecture
Published
• View Publication
• BIB
A typical decomposition question asks whether the edges of some graph $G$ can be partitioned into disjoint copies of another graph $H$. One of the oldest and best known conjectures in this area, posed by Ringel in 1963, concerns the decomposition of complete graphs into edge-disjoint copies of a tree. It says that any tree with $n$ edges packs $2n+1$ times into the complete graph $K_{2n+1}$. In this paper, we prove this conjecture for large $n$.
(Theta, triangle)-free and (even hole, $K_4$)-free graphs. Part 2 : bounds on treewidth
Published in J Graph Theory. 2021; 97: 624-641
• View Publication
• BIB
A {\em theta} is a graph made of three internally vertex-disjoint chordless paths $P_1 = a \dots b$, $P_2 = a \dots b$, $P_3 = a \dots b$ of length at least~2 and such that no edges exist between the paths except the three edges incident to $a$ and the three edges incident to $b$. A {\em pyramid} is a graph made of three chordless paths $P_1 = a \dots b_1$, $P_2 = a \dots b_2$, $P_3 = a \dots b_3$ of length at least~1, two of which have length at least 2, vertex-disjoint except at $a$, and such that $b_1b_2b_3$ is a triangle and no edges exist between the paths except those of the triangle and the three edges incident to~$a$. An \emph{even hole} is a chordless cycle of even length. For three non-negative integers $i\leq j\leq k$, let $S_{i,j,k}$ be the tree with a vertex $v$, from which start three paths with $i$, $j$, and $k$ edges respectively. We denote by $K_t$ the complete graph on $t$ vertices.
We prove that for all non-negative integers $i, j, k$, the class of graphs that contain no theta, no $K_3$, and no $S_{i, j, k}$ as induced subgraphs have bounded treewidth. We prove that for all non-negative integers $i, j, k, t$, the class of graphs that contain no even hole, no pyramid, no $K_t$, and no $S_{i, j, k}$ as induced subgraphs have bounded treewidth. To bound the treewidth, we prove that every graph of large treewidth must contain a large clique or a minimal separator of large cardinality.
The probability of selecting $k$ edge-disjoint Hamilton cycles in the complete graph
Let $H_1,\dots,H_k$ be Hamilton cycles in $K_n$, chosen independently and uniformly at random. We show, for $k = o(n^{1/100})$, that the probability of $H_1,\dots,H_k$ being edge-disjoint is $(1+o(1))e^{-2\binom{k}{2}}$. This extends a corresponding estimate obtained by Robbins in the case $k=2$.
Packing chromatic numbers of finite super subdivisions of graphs
Published
• View Publication
• BIB
The \textit{packing chromatic number} of a graph $G$, denoted by $% χ_ρ(G)$, is the smallest integer $k$ such that the vertex set of $G$ can be partitioned into sets $V_i$, $i\in \{1,\ldots,k\}$, where each $V_i$ is an $i$-packing. In this paper, we present some general properties of packing chromatic numbers of \textit{finite super subdivisions} of graphs. We determine the packing chromatic numbers of the finite super subdivisions of complete graphs, cycles and \textit{neighborhood corona graphs} of a cycle and a path respectively of a complete graph and a path.
Uniformly most reliable three-terminal graph of dense graphs
Published
• View Publication
• BIB
A graph $G$ with $k$ specified target vertices in vertex set is a $k$-terminal graph. The $k$-terminal reliability is the connection probability of the fixed $k$ target vertices in a $k$-terminal graph when every edge of this graph survives independently with probability $p$. For the class of two-terminal graphs with a large number of edges, Betrand, Goff, Graves and Sun constructed a locally most reliable two-terminal graph for $p$ close to $1$, and illustrated by a counterexample that this locally most reliable graph is not the uniformly most reliable two-terminal graph. At the same time, they also determined that there is a uniformly most reliable two-terminal graph in the class obtained by deleting an edge from the complete graph with two target vertices. This article focuses on the uniformly most reliable three-terminal graph of dense graphs with $n$ vertices and $m$ edges. First, we give the locally most reliable three-terminal graphs of $n$ and $m$ in certain ranges for $p$ close to $0$ and $1$. Then, it is proved that there is no uniformly most reliable three-terminal graph with specific $n$ and $m$, where $n\geq7$ and $\binom{n}{2}-\lfloor\frac{n-3}{2}\rfloor\leq m\leq\binom{n}{2}-2$. Finally, some uniformly most reliable graphs are given for $n$ vertices and $m$ edges, where $4\leq n\leq 6$ and $m=\binom{n}{2}-2$ or $n\geq5$ and $m=\binom{n}{2}-1$.
Restricted extension of sparse partial edge colorings of complete graphs
Published
• View Publication
• BIB
Given a partial edge coloring of a complete graph $K_n$ and lists of allowed colors for the non-colored edges of $K_n$, can we extend the partial edge coloring to a proper edge coloring of $K_n$ using only colors from the lists? We prove that this question has a positive answer in the case when both the partial edge coloring and the color lists satisfy certain sparsity conditions.
Colored unavoidable patterns and balanceable graphs
Published
• View Publication
• BIB
We study a Turán-type problem on edge-colored complete graphs. We show that for any $r$ and $t$, any sufficiently large $r$-edge-colored complete graph on $n$ vertices with $Ω(n^{2-1/tr^r})$ edges in each color contains a member from certain finite family $\mathcal{F}_t^r$ of $r$-edge-colored complete graphs. We conjecture that $Ω(n^{2-1/t})$ edges in each color are sufficient to find a member from ${\mathcal{F}}_t^r$. A result of Girão and Narayanan confirms this conjecture when $r=2$.
Next, we study a related problem where the corresponding Turán threshold is linear. We call an edge-coloring of a path $P_{rk}$ balanced if each color appears $k$ times in the coloring. We show that any $3$-edge-coloring of a large complete graph with $kn+o(n)$ edges in each color contains a balanced $P_{3k}$. This is tight up to a constant factor of $2$. For more colors, the problem becomes surprisingly more delicate. Already for $r=7$, we show that even $n^{2-o(1)}$ edges from each color does not guarantee existence of a balanced $P_{7k}$.
New methods to attack the Buratti-Horak-Rosa conjecture
Published
• View Publication
• BIB
The conjecture, still widely open, posed by Marco Buratti, Peter Horak and Alex Rosa states that a list $L$ of $v-1$ positive integers not exceeding $\left\lfloor \frac{v}{2}\right\rfloor$ is the list of edge-lengths of a suitable Hamiltonian path of the complete graph with vertex-set $\{0,1,\ldots,v-1\}$ if and only if, for every divisor $d$ of $v$, the number of multiples of $d$ appearing in $L$ is at most $v-d$. In this paper we present new methods that are based on linear realizations and can be applied to prove the validity of this conjecture for a vast choice of lists. As example of their flexibility, we consider lists whose underlying set is one of the following: $\{x,y,x+y\}$, $\{1,2,3,4\}$, $\{1,2,4,\ldots,2x\}$, $\{1,2,4,\ldots,2x,2x+1\}$. We also consider lists with many consecutive elements.
Bounded VC-dimension implies the Schur-Erdos conjecture
Published
• View Publication
• BIB
In 1916, Schur introduced the Ramsey number $r(3;m)$, which is the minimum integer $n$ such that for any $m$-coloring of the edges of the complete graph $K_n$, there is a monochromatic copy of $K_3$. He showed that $r(3;m) \leq O(m!)$, and a simple construction demonstrates that $r(3;m) \geq 2^{Ω(m)}$. An old conjecture of Erd\H os states that $r(3;m) = 2^{Θ(m)}$. In this note, we prove the conjecture for $m$-colorings with bounded VC-dimension, that is, for $m$-colorings with the property that the set system $\mathcal{F}$ induced by the neighborhoods of the vertices with respect to each color class has bounded VC-dimension.
Multi-color forcing in graphs
Published
• View Publication
• BIB
Let $G=(V,E)$ be a finite connected graph along with a coloring of the vertices of $G$ using the colors in a given set $X$. In this paper, we introduce multi-color forcing, a generalization of zero-forcing on graphs, and give conditions in which the multi-color forcing process terminates regardless of the number of colors used. We give an upper bound on the number of steps required to terminate a forcing procedure in terms of the number of vertices in the graph on which the procedure is being applied. We then focus on multi-color forcing with three colors and analyze the end states of certain families of graphs, including complete graphs, complete bipartite graphs, and paths, based on various initial colorings. We end with a few directions for future research.
Gaussian graphical models with toric vanishing ideals
Published
• View Publication
• BIB
Gaussian graphical models are semi-algebraic subsets of the cone of positive definite covariance matrices. They are widely used throughout natural sciences, computational biology and many other fields. Computing the vanishing ideal of the model gives us an implicit description of the model.
In this paper, we resolve two conjectures of Sturmfels and Uhler from \cite{BS n CU}. In particular, we characterize those graphs for which the vanishing ideal of the Gaussian graphical model is generated in degree $1$ and $2$. These turn out to be the Gaussian graphical models whose ideals are toric ideals, and the resulting graphs are the $1$-clique sums of complete graphs.
On the star-critical Ramsey number of a forest versus complete graphs
Published
• View Publication
• BIB
Let $G$ and $G_1, G_2, \ldots , G_t$ be given graphs. By $G\rightarrow (G_1, G_2, \ldots , G_t)$ we mean if the edges of $G$ are arbitrarily colored by $t$ colors, then for some $i$, $1\leq i\leq t$, the spanning subgraph of $G$ whose edges are colored with the $i$-th color, contains a copy of $G_i$. The Ramsey number $R(G_1, G_2, \ldots, G_t)$ is the smallest positive integer $n$ such that $K_n\rightarrow (G_1, G_2, \ldots , G_t)$ and the size Ramsey number $\hat{R}(G_1, G_2, \ldots , G_t)$ is defined as $\min\{|E(G)|:~G\rightarrow (G_1, G_2, \ldots , G_t)\}$. Also, for given graphs $G_1, G_2, \ldots , G_t$ with $r=R(G_1, G_2, \ldots , G_t)$, the star-critical Ramsey number $R_*(G_1, G_2, \ldots , G_t)$ is defined as $\min\{δ(G):~G\subseteq K_r, ~G\rightarrow (G_1, G_2, \ldots , G_t)\}$. In this paper, the Ramsey number and also the star-critical Ramsey number of a forest versus any number of complete graphs will be computed exactly in terms of the Ramsey number of complete graphs. As a result, the computed star-critical Ramsey number is used to give a tight bound for the size Ramsey number of a forest versus a complete graph.
A Note on Induced Path Decomposition of Graphs
Let $G$ be a graph of order $n$. The path decomposition of $G$ is a set of disjoint paths, say $\mathcal{P}$, which cover all vertices of $G$. If all paths are induced paths in $G$, then we say $\mathcal{P}$ is an induced path decomposition of $G$. Moreover, if every path is of order at least 2, then we say $G$ has an IPD. In this paper, we prove that every connected $r$-regular graph which is not complete graph of odd order admits an IPD. Also we show that every connected bipartite cubic graph of order $n$ admits an IPD of size at most $\frac{n}{3}$. We classify all connected claw-free graphs which admit an IPD.
Graph Universal Cycles of Combinatorial Objects
Published
• View Publication
• BIB
A connected digraph in which the in-degree of any vertex equals its out-degree is Eulerian; this baseline result is used as the basis of existence proofs for universal cycles (also known as ucycles or generalized deBruijn cycles or U-cycles) of several combinatorial objects. The existence of ucycles is often dependent on the specific representation that we use for the combinatorial objects. For example, should we represent the subset $\{2,5\}$ of $\{1,2,3,4,5\}$ as "25" in a linear string? Is the representation "52" acceptable? Or it it tactically advantageous (and acceptable) to go with $\{0,1,0,0,1\}$? In this paper, we represent combinatorial objects as graphs, as in \cite{bks}, and exhibit the flexibility and power of this representation to produce {\it graph universal cycles}, or {\it Gucycles}, for $k$-subsets of an $n$-set; permutations (and classes of permutations) of $[n]=\{1,2,\ldots,n\}$, and partitions of an $n$-set, thus revisiting the classes first studied in \cite{cdg}. Under this graphical scheme, we will represent $\{2,5\}$ as the subgraph $A$ of $C_5$ with edge set consisting of $\{2,3\}$ and $\{5,1\}$, namely the "second" and "fifth" edges in $C_5$. Permutations are represented via their permutation graphs, and set partitions through disjoint unions of complete graphs.
Colourings of star systems
Published
• View Publication
• BIB
An $e$-star is a complete bipartite graph $K_{1,e}$. An $e$-star system of order $n>1$, $S_e(n)$, is a partition of the edges of the complete graph $K_n$ into $e$-stars. An $e$-star system is said to be $k$-colourable if its vertex set can be partitioned into $k$ sets (called colour classes) such that no $e$-star is monochromatic. The system $S_e(n)$ is $k$-chromatic if $S_e(n)$ is $k$-colourable but is not $(k-1)$-colourable. If every $k$-colouring of an $e$-star system can be obtained from some $k$-colouring $φ$ by a permutation of the colours, we say that the system is uniquely $k$-colourable. In this paper, we first show that for any integer $k\geq 2$, there exists a $k$-chromatic 3-star system of order $n$ for all sufficiently large admissible $n$. Next, we generalize this result for $e$-star systems for any $e\geq 3$. We show that for all $k\geq 2$ and $e\geq 3$, there exists a $k$-chromatic $e$-star system of order $n$ for all sufficiently large $n$ such that $n\equiv 0,1$ (mod $2e$). Finally, we prove that for all $k\geq 2$ and $e\geq 3$, there exists a uniquely $k$-chromatic $e$-star system of order $n$ for all sufficiently large $n$ such that $n\equiv 0,1$ (mod $2e$).
New Bounds on the Biplanar and $k$-Planar Crossing Numbers
The biplanar crossing number of a graph $G$ is the minimum number of crossings over all possible drawings of the edges of $G$ in two disjoint planes. We present new bounds on the biplanar crossing number of complete graphs and complete bipartite graphs. In particular, we prove that the biplanar crossing number of complete bipartite graphs can be approximated to within a factor of $3$, improving over the best previously known approximation factor of $4.03$. For complete graphs, we provide a new approximation factor of $3.17$, improving over the best previous factor of $4.34$. We provide similar improved approximation factors for the $k$-planar crossing number of complete graphs and complete bipartite graphs, for any positive integer $k$. We also investigate the relation between (ordinary) crossing number and biplanar crossing number of general graphs in more depth, and prove that any graph with a crossing number of at most $10$ is biplanar.
Jungerman ladders and index 2 constructions for genus embeddings of dense regular graphs
Published
• View Publication
• BIB
We construct several families of minimum genus embeddings of dense graphs using index 2 current graphs. In particular, we complete the genus formula for the octahedral graphs, solving a longstanding conjecture of Jungerman and Ringel, and find triangular embeddings of complete graphs minus a Hamiltonian cycle, making partial progress on a problem of White. Index 2 current graphs are also applied to various cases of the genus of the complete graphs, in some cases yielding simpler solutions, e.g., the nonorientable genus of $K_{12s+8}-K_2$. In addition, we give a topological proof of a theorem of Jungerman that shows that a symmetric type of such current graphs might not exist roughly "half of the time."
The niche graphs of multipartite tournaments
Published
• View Publication
• BIB
The niche graph of a digraph $D$ has $V(D)$ as the vertex set and an edge $uv$ if and only if $(u,w) \in A(D)$ and $(v,w) \in A(D)$, or $(w,u) \in A(D)$ and $(w,v) \in A(D)$ for some $w \in V(D)$. The notion of niche graph was introduced by Cable et al. (1989) as a variant of competition graph. If a graph is the niche graph of a digraph $D$, it is said to be niche-realizable through $D$. If a graph $G$ is niche-realizable through a $k$-partite tournament for an integer $k \ge 2$, then we say that the pair $(G, k)$ is niche-realizable. Bowser et al. (1999) studied the graphs that are niche-realizable through a tournament and Eoh et al. (2018) studied niche-realizable pairs $(G, k)$ for $k=2$. In this paper, we study niche-realizable pairs $(G, k)$ when $G$ is a graph and $k$ is an integer at least $3$ to extend their work. We show that the niche graph of a $k$-partite tournament has at most three components if $k \ge 3$ and is connected if $k \ge 4$. Then we find all the niche-realizable pairs $(G, k)$ when $G$ is a disconnected graph, when $G$ is a complete graph, and when $G$ is a connected triangle-free graph.