complete graph
2192 papers tagged with this keyword
Unavoidable Parallel Minors of 4-Connected Graphs
Published
• View Publication
• BIB
A parallel minor is obtained from a graph by any sequence of edge contractions and parallel edge deletions. We prove that, for any positive integer k, every internally 4-connected graph of sufficiently high order contains a parallel minor isomorphic to a variation of K_{4,k} with a complete graph on the vertices of degree k, the k-partition triple fan with a complete graph on the vertices of degree k, the k-spoke double wheel, the k-spoke double wheel with axle, the (2k+1)-rung Mobius zigzag ladder, the (2k)-rung zigzag ladder, or K_k. We also find the unavoidable parallel minors of 1-, 2-, and 3-connected graphs.
Hadwiger's Conjecture for Proper Circular Arc Graphs
Published
• View Publication
• BIB
Circular arc graphs are graphs whose vertices can be represented as arcs on a circle such that any two vertices are adjacent if and only if their corresponding arcs intersect. Proper circular arc graphs are graphs which have a circular arc representation where no arc is completely contained in any other arc. Hadwiger's conjecture states that if a graph $G$ has chromatic number $k$, then a complete graph of $k$ vertices is a minor of $G$. We prove Hadwiger's conjecture for proper circular arc graphs.
On generalised Paley graphs and their automorphism groups
The generalised Paley graphs are, as their name suggests, a generalisation of the Paley graphs, first defined by Paley in 1933 (see \cite{Paley}). They arise as the relation graphs of symmetric cyclotomic association schemes. However, their automorphism groups may be much larger than the groups of the corresponding schemes. We determine the parameters for which the graphs are connected, or equivalently, the schemes are primitive. Also we prove that generalised Paley graphs are sometimes isomorphic to Hamming graphs and consequently have large automorphism groups, and we determine precisely the parameters for this to occur. We prove that in the connected, non-Hamming case, the automorphism group of a generalised Paley graph is a primitive group of affine type, and we find sufficient conditions under which the group is equal to the one-dimensional affine group of the associated cyclotomic association scheme. The results have been applied in \cite{LLP} to distinguish between cyclotomic schemes and similar twisted versions of these schemes, in the context of homogeneous factorisations of complete graphs.
Edge-Transitive Homogeneous Factorisations of Complete Graphs
This thesis concerns the study of homogeneous factorisations of complete graphs with edge-transitive factors. A factorisation of a complete graph $K_n$ is a partition of its edges into disjoint classes. Each class of edges in a factorisation of $K_n$ corresponds to a spanning subgraph called a factor. If all the factors are isomorphic to one another, then a factorisation of $K_n$ is called an isomorphic factorisation. A homogeneous factorisation of a complete graph is an isomorphic factorisation where there exists a group $G$ which permutes the factors transitively, and a normal subgroup $M$ of $G$ such that each factor is $M$-vertex-transitive. If $M$ also acts edge-transitively on each factor, then a homogeneous factorisation of $K_n$ is called an edge-transitive homogeneous factorisation. The aim of this thesis is to study edge-transitive homogeneous factorisations of $K_n$. We achieve a nearly complete explicit classification except for the case where $G$ is an affine 2-homogeneous group of the form $Z_p^R \rtimes G_0$, where $G_0 \leq ΓL(1,p^R)$. In this case, we obtain necessary and sufficient arithmetic conditions on certain parameters for such factorisations to exist, and give a generic construction that specifies the homogeneous factorisation completely, given that the conditions on the parameters hold. Moreover, we give two constructions of infinite families of examples where we specify the parameters explicitly. In the second infinite family, the arc-transitive factors are generalisations of certain arc-transitive, self-complementary graphs constructed by Peisert in 2001.
Perfect packings with complete graphs minus an edge
Published
• View Publication
• BIB
Let K_r^- denote the graph obtained from K_r by deleting one edge. We show that for every integer r\ge 4 there exists an integer n_0=n_0(r) such that every graph G whose order n\ge n_0 is divisible by r and whose minimum degree is at least (1-1/chi_{cr}(K_r^-))n contains a perfect K_r^- packing, i.e. a collection of disjoint copies of K_r^- which covers all vertices of G. Here chi_{cr}(K_r^-)=r(r-2)/(r-1) is the critical chromatic number of K_r^-. The bound on the minimum degree is best possible and confirms a conjecture of Kawarabayashi for large n.
Spanning trees in complete uniform hypergraphs and a connection to extended r-Shi hyperplane arrangements
We give a Cayley type formula to count the number of spanning trees in the complete r-uniform hypergraph for all r >= 3. Similar to the bijection between spanning trees in complete graphs and Parking functions, we derive a bijection from spanning trees of the complete (r+1)-uniform hypergraph which arise from a fixed r-perfect matching and r-Parking functions. We observe a simple consequence of this bijection in terms of the number of regions of the extended Shi arrangement.
An Extremal Problem On Potentially $K_{r+1}-H$-graphic Sequences
Published in Ars Combinatoria, 94(2010), 289-298.
• Search Publication
Let $K_k$, $C_k$, $T_k$, and $P_{k}$ denote a complete graph on $k$ vertices, a cycle on $k$ vertices, a tree on $k+1$ vertices, and a path on $k+1$ vertices, respectively. Let $K_{m}-H$ be the graph obtained from $K_{m}$ by removing the edges set $E(H)$ of the graph $H$ ($H$ is a subgraph of $K_{m}$). A sequence $S$ is potentially $K_{m}-H$-graphical if it has a realization containing a $K_{m}-H$ as a subgraph. Let $σ(K_{m}-H, n)$ denote the smallest degree sum such that every $n$-term graphical sequence $S$ with $σ(S)\geq σ(K_{m}-H, n)$ is potentially $K_{m}-H$-graphical. In this paper, we determine the values of $σ(K_{r+1}-H, n)$ for $n\geq 4r+10, r\geq 3, r+1 \geq k \geq 4$ where $H$ is a graph on $k$ vertices which contains a tree on 4 vertices but not contains a cycle on 3 vertices. We also determine the values of $σ(K_{r+1}-P_2, n)$ for $n\geq 4r+8, r\geq 3$. There are a number of graphs on $k$ vertices which containing a tree on 4 vertices but not containing a cycle on 3 vertices (for example, the cycle on $k$ vertices, the tree on $k$ vertices, and the complete 2-partite graph on $k$ vertices, etc).
The characteristic ideal of a finite, connected, regular graph
Published in Proc. ISSAC-2004, ACM, 50-57
• View Publication
• BIB
Let $Φ(x,y)\in\mathbb{C}[x,y]$ be a symmetric polynomial of partial degree $d$. The graph $G(Φ)$ is defined by taking $\mathbb{C}$ as set of vertices and the points of $\mathbb{V}(Φ(x,y))$ as edges. We study the following problem: given a finite, connected, $d$-regular graph $H$, find the polynomials $Φ(x,y)$ such that $G(Φ)$ has some connected component isomorphic to $H$ and, in this case, if $G(Φ)$ has (almost) all components isomorphic to $H$. The problem is solved by associating to $H$ a characteristic ideal which offers a new perspective to the conjecture formulated in a previous paper, and allows to reduce its scope. In the second part, we determine the characteristic ideal for cycles of lengths $\le 5$ and for complete graphs of order $\le 6$. This results provide new evidence for the conjecture.
Sums and differences along Hamiltonian cycles
Published
• View Publication
• BIB
Given a finite abelian group $G$, consider the complete graph on the set of all elements of $G$. Find a Hamiltonian cycle in this graph and for each pair of consecutive vertices along the cycle compute their sum. What are the smallest and the largest possible number of sums that can emerge in this way? What is the expected number of sums if the cycle is chosen randomly? How the answers change if an orientation is given to the cycle and differences (instead of sums) are computed? We give complete solutions to some of these problems and establish reasonably sharp estimates for the rest.
Generating facets for the cut polytope of a graph by triangular elimination
Published
• View Publication
• BIB
The cut polytope of a graph arises in many fields. Although much is known about facets of the cut polytope of the complete graph, very little is known for general graphs. The study of Bell inequalities in quantum information science requires knowledge of the facets of the cut polytope of the complete bipartite graph or, more generally, the complete k-partite graph. Lifting is a central tool to prove certain inequalities are facet inducing for the cut polytope. In this paper we introduce a lifting operation, named triangular elimination, applicable to the cut polytope of a wide range of graphs. Triangular elimination is a specific combination of zero-lifting and Fourier-Motzkin elimination using the triangle inequality. We prove sufficient conditions for the triangular elimination of facet inducing inequalities to be facet inducing. The proof is based on a variation of the lifting lemma adapted to general graphs. The result can be used to derive facet inducing inequalities of the cut polytope of various graphs from those of the complete graph. We also investigate the symmetry of facet inducing inequalities of the cut polytope of the complete bipartite graph derived by triangular elimination.
Dissections, Hom-complexes and the Cayley trick
Published
• View Publication
• BIB
We show that certain canonical realizations of the complexes Hom(G,H) and Hom_+(G,H) of (partial) graph homomorphisms studied by Babson and Kozlov are in fact instances of the polyhedral Cayley trick. For G a complete graph, we then characterize when a canonical projection of these complexes is itself again a complex, and exhibit several well-known objects that arise as cells or subcomplexes of such projected Hom-complexes: the dissections of a convex polygon into k-gons, Postnikov's generalized permutohedra, staircase triangulations, the complex dual to the lower faces of a cyclic polytope, and the graph of weak compositions of an integer into a fixed number of summands.
Some bounds on convex combinations of $ω$ and $χ$ for decompositions into many parts
A \emph{$k$--decomposition} of the complete graph $K_n$ is a decomposition of $K_n$ into $k$ spanning subgraphs $G_1,...,G_k$. For a graph parameter $p$, let $p(k;K_n)$ denote the maximum of $\displaystyle \sum_{j=1}^{k} p(G_j)$ over all $k$--decompositions of $K_n$. It is known that $χ(k;K_n) = omega(k;K_n)$ for $k \leq 3$ and conjectured that this equality holds for all $k$. In an attempt to get a handle on this, we study convex combinations of $ω$ and $χ$; namely, the graph parameters $A_r(G) = (1-r) ω(G) + r χ(G)$ for $0 \leq r \leq 1$. It is proven that $A_r(k;K_n) \leq n + {k \choose 2}$ for small $r$. In addition, we prove some generalizations of a theorem of Kostochka, et al. \cite{kostochka}.
Threshold and Complexity Results for the Cover Pebbling Game
Published
• View Publication
• BIB
Given a configuration of pebbles on the vertices of a graph, a pebbling move is defined by removing two pebbles from some vertex and placing one pebble on an adjacent vertex. The cover pebbling number of a graph is the smallest number of pebbles necessary so that through a sequence of pebbling moves, a pebble can eventually be placed on every vertex simultaneously, no matter how the pebbles are initially distributed. We determine Bose Einstein and Maxwell Boltzmann cover pebbling thresholds for the complete graph. Also, we show that the cover pebbling decision problem is NP-complete.
Exact Computation of the Hypergraph Turan Function for Expanded Complete 2-Graphs
Published
• View Publication
• BIB
Let l>k>2. Let the k-graph H^k_l be obtained from the complete 2-graph K_l^2 by enlarging each edge with a new set of k-2 vertices. Mubayi ["A hypergraph extension of Turan's theorem", to appear in J. Combin. Th. (B)] computed asymptotically the Turan function ex(n,H_l^k). Here we determine the exact value of ex(n,H_l^k) for all sufficiently large n, settling a conjecture of Mubayi.
Majorization for Changes in Angles Between Subspaces, Ritz Values, and Graph Laplacian Spectra
Published in SIMAX Volume 29 Issue 1 Pages 15-32, 2006
• View Publication
• BIB
Many inequality relations between real vector quantities can be succinctly expressed as "weak (sub)majorization" relations. We explain these ideas and apply them in several areas: angles between subspaces, Ritz values, and graph Laplacian spectra, which we show are all surprisingly related... An application of our Ritz values weak majorization result for Laplacian graph spectra comparison is suggested, based on the possibility to interpret eigenvalues of the edge Laplacian of a given graph as Ritz values of the edge Laplacian of the complete graph. We prove that $ \sum_k |\lambda1_k - \lambda2_k| \leq n l,$ where $\lambda1_k$ and $\lambda2_k$ are all ordered elements of the Laplacian spectra of two graphs with the same $n$ vertices and with $l$ equal to the number of differing edges.
On lengths of rainbow cycles
Published in Electron. J. Combin. 13 (2006), no. 1, Research Paper 105, 14 pp. (electronic)
• View Publication
• BIB
We prove several results regarding edge-colored complete graphs and rainbow cycles, cycles with no color appearing on more than one edge. We settle a question posed by Ball, Pultr, and Vojtěchovský by showing that if such a coloring does not contain a rainbow cycle of length $n$, where $n$ is odd, then it also does not contain a rainbow cycle of length $m$ for all $m$ greater than $2n^2$. In addition, we present two examples which demonstrate that this result does not hold for even $n$. Finally, we state several open problems in the area.
Large-deviations/thermodynamic approach to percolation on the complete graph
Published in Random Structures & Algorithms 31 (2007), no. 3, 354-370
• View Publication
• BIB
We present a large-deviations/thermodynamic approach to the classic problem of percolation on the complete graph. Specifically, we determine the large-deviation rate function for the probability that the giant component occupies a fixed fraction of the graph while all other components are ``small.'' One consequence is an immediate derivation of the ``cavity'' formula for the fraction of vertices in the giant component. As a by-product of our analysis we compute the large-deviation rate functions for the probability of the event that the random graph is connected, the event that it contains no cycles and the event that it contains only ``small'' components.
Hadwiger Number and the Cartesian Product Of Graphs
Published
• View Publication
• BIB
The Hadwiger number mr(G) of a graph G is the largest integer n for which the complete graph K_n on n vertices is a minor of G. Hadwiger conjectured that for every graph G, mr(G) >= chi(G), where chi(G) is the chromatic number of G. In this paper, we study the Hadwiger number of the Cartesian product G [] H of graphs.
As the main result of this paper, we prove that mr(G_1 [] G_2) >= h\sqrt{l}(1 - o(1)) for any two graphs G_1 and G_2 with mr(G_1) = h and mr(G_2) = l. We show that the above lower bound is asymptotically best possible. This asymptotically settles a question of Z. Miller (1978).
As consequences of our main result, we show the following:
1. Let G be a connected graph. Let the (unique) prime factorization of G be given by G_1 [] G_2 [] ... [] G_k. Then G satisfies Hadwiger's conjecture if k >= 2.log(log(chi(G))) + c', where c' is a constant. This improves the 2.log(chi(G))+3 bound of Chandran and Sivadasan.
2. Let G_1 and G_2 be two graphs such that chi(G_1) >= chi(G_2) >= c.log^{1.5}(chi(G_1)), where c is a constant. Then G_1 [] G_2 satisfies Hadwiger's conjecture.
3. Hadwiger's conjecture is true for G^d (Cartesian product of G taken d times) for every graph G and every d >= 2. This settles a question by Chandran and Sivadasan (They had shown that the Hadiwger's conjecture is true for G^d if d >= 3.)
Associativity in multary quasigroups: The way of biased expansions
Published in Aequationes Mathematicae, 83 (2012), no. 1, 1--66. MR 2885498. Zbl 1235.05059
• View Publication
• BIB
A "biased expansion" of a graph is a kind of branched covering graph with additional structure related to combinatorial homotopy of circles. Some but not all biased expansions are constructed from groups ("group expansions"); these include all biased expansions of complete graphs (assuming order at least four), which correspond to Dowling's lattices of a group and encode an iterated group operation. A biased expansion of a circle with chords encodes a multary (polyadic, n-ary) quasigroup, the chords corresponding to factorizations, i.e., associative structure. We show that any biased expansion of a 3-connected graph (of order at least four) is a group expansion, and that all 2-connected biased expansions are constructed by expanded edge amalgamation from group expansions and irreducible multary quasigroups. If a 2-connected biased expansion covers every base edge at most three times, or if every four-node minor is a group expansion, then the whole biased expansion is a group expansion. In particular, if a multary quasigroup has a factorization graph that is 3-connected, if it has order 3, or if every residual ternary quasigroup is an iterated group isotope, it is isotopic to an iterated group. We mention applications to generalizing Dowling geometries and to transversal designs of high strength.
Cover pebbling cycles and certain graph products
A pebbling step on a graph consists of removing two pebbles from one vertex and placing one pebble on an adjacent vertex. A graph is said to be cover pebbled if every vertex has a pebble on it after a series of pebbling steps. The cover pebbling number of a graph is the minimum number of pebbles such that the graph can be cover pebbled, no matter how the pebbles are initially placed on the vertices of the graph. In this paper we determine the cover pebbling numbers of cycles, finite products of paths and cycles, and products of a path or a cycle with good graphs, amongst which are trees and complete graphs. In the process we provide evidence in support of an affirmative answer to a question posed in a paper by Cundiff, Crull, et al.