complete graph
2160 papers tagged with this keyword
A local criterion for Tverberg graphs
The topological Tverberg theorem states that for any prime power q and continuous map from a (d+1)(q-1)-simplex to R}^d, there are q disjoint faces F_i of the simplex whose images intersect. It is possible to put conditions on which pairs of vertices of the simplex that are allowed to be in the same face F_i. A graph with the same vertex set as the simplex, and with two vertices adjacent if they should not be in the same F_i, is called a Tverberg graph if the topological Tverberg theorem still work.
These graphs have been studied by Hell, Schoneborn and Ziegler, and it is known that disjoint unions of small paths, cycles, and complete graphs are Tverberg graphs. We find many new examples by establishing a local criterion for a graph to be Tverberg. An easily stated corollary of our main theorem is that if the maximal degree of a graph is D, and D(D+1)<q, then it is a Tverberg graph.
We state the affine versions of our results and also describe how they can be used to enumerate Tverberg partitions.
On two problems in graph Ramsey theory
Published
• View Publication
• BIB
We study two classical problems in graph Ramsey theory, that of determining the Ramsey number of bounded-degree graphs and that of estimating the induced Ramsey number for a graph with a given number of vertices.
The Ramsey number r(H) of a graph H is the least positive integer N such that every two-coloring of the edges of the complete graph $K_N$ contains a monochromatic copy of H. A famous result of Chvátal, Rödl, Szemerédi and Trotter states that there exists a constant c(Δ) such that r(H) \leq c(Δ) n for every graph H with n vertices and maximum degree Δ. The important open question is to determine the constant c(Δ). The best results, both due to Graham, Rödl and Ruciński, state that there are constants c and c' such that 2^{c' Δ} \leq c(Δ) \leq 2^{c Δ\log^2 Δ}. We improve this upper bound, showing that there is a constant c for which c(Δ) \leq 2^{c Δ\log Δ}.
The induced Ramsey number r_{ind}(H) of a graph H is the least positive integer N for which there exists a graph G on N vertices such that every two-coloring of the edges of G contains an induced monochromatic copy of H. Erdős conjectured the existence of a constant c such that, for any graph H on n vertices, r_{ind}(H) \leq 2^{c n}. We move a step closer to proving this conjecture, showing that r_{ind} (H) \leq 2^{c n \log n}. This improves upon an earlier result of Kohayakawa, Prömel and Rödl by a factor of \log n in the exponent.
A conjecture of Erdős on graph Ramsey numbers
Published
• View Publication
• BIB
The Ramsey number $r(G)$ of a graph $G$ is the minimum $N$ such that every red-blue coloring of the edges of the complete graph on $N$ vertices contains a monochromatic copy of $G$. Determining or estimating these numbers is one of the central problems in combinatorics.
One of the oldest results in Ramsey Theory, proved by Erdős and Szekeres in 1935, asserts that the Ramsey number of the complete graph with $m$ edges is at most $2^{O(\sqrt{m})}$. Motivated by this estimate Erdős conjectured, more than a quarter century ago, that there is an absolute constant $c$ such that $r(G) \leq 2^{c\sqrt{m}}$ for any graph $G$ with $m$ edges and no isolated vertices. In this short note we prove this conjecture.
A note on dilation coefficient, plane-width, and resolution coefficient of graphs
In this note we study and compare three graph invariants related to the 'compactness' of graph drawing in the plane: the dilation coefficient, defined as the smallest possible quotient between the longest and the shortest edge length; the plane-width, which is the smallest possible quotient between the largest distance between any two points and the shortest length of an edge; and the resolution coefficient, the smallest possible quotient between the longest edge length and the smallest distance between any two points. These three invariants coincide for complete graphs.
We show that graphs with large dilation coefficient or plane-width have a vertex with large valence but there exist cubic graphs with arbitrarily large resolution coefficient. Surprisingly enough, the one-dimensional analogues of these three invariants allow us to revisit the three well known graph parameters: the circular chromatic number, the chromatic number, and the bandwidth. We also examine the connection between bounded resolution coefficient and minor-closed graph classes.
Symmetry Matters for Sizes of Extended Formulations
Published
• View Publication
• BIB
In 1991, Yannakakis (J. Comput. System Sci., 1991) proved that no symmetric extended formulation for the matching polytope of the complete graph K_n with n nodes has a number of variables and constraints that is bounded subexponentially in n. Here, symmetric means that the formulation remains invariant under all permutations of the nodes of K_n. It was also conjectured in the paper mentioned above that "asymmetry does not help much," but no corresponding result for general extended formulations has been found so far. In this paper we show that for the polytopes associated with the matchings in K_n with log(n) (rounded down) edges there are non-symmetric extended formulations of polynomial size, while nevertheless no symmetric extended formulations of polynomial size exist. We furthermore prove similar statements for the polytopes associated with cycles of length log(n) (rounded down). Thus, with respect to the question for smallest possible extended formulations, in general symmetry requirements may matter a lot. Compared to the extended abtract that has appeared in the Proceedings of IPCO XIV at Lausanne, this paper does not only contain proofs that had been ommitted there, but it also presents slightly generalized and sharpened lower bounds.
Drop cost and wavelength optimal two-period grooming with ratio 4
Published
• View Publication
• BIB
We study grooming for two-period optical networks, a variation of the traffic grooming problem for WDM ring networks introduced by Colbourn, Quattrocchi, and Syrotiuk. In the two-period grooming problem, during the first period of time, there is all-to-all uniform traffic among $n$ nodes, each request using $1/C$ of the bandwidth; and during the second period, there is all-to-all uniform traffic only among a subset $V$ of $v$ nodes, each request now being allowed to use $1/C'$ of the bandwidth, where $C' < C$. We determine the minimum drop cost (minimum number of ADMs) for any $n,v$ and C=4 and $C' \in \{1,2,3\}$. To do this, we use tools of graph decompositions. Indeed the two-period grooming problem corresponds to minimizing the total number of vertices in a partition of the edges of the complete graph $K_n$ into subgraphs, where each subgraph has at most $C$ edges and where furthermore it contains at most $C'$ edges of the complete graph on $v$ specified vertices. Subject to the condition that the two-period grooming has the least drop cost, the minimum number of wavelengths required is also determined in each case.
The Erdos-Ko-Rado theorem for perfect matchings
A $2k$-matching is a perfect matching of the complete graph on $2k$ vertices. Two $2k$-matchings are defined to be $t$-intersecting if they have at least $t$ edges in common. The main result in this paper is that if $k \geq 3t/2+1$, then the largest system of $t$-intersecting $2k$-matchings has size $(2(k-t)-1)!! = \prod_{i=0}^{k-t-1}(2k-2t-2i-1)$ and the only systems that meet this bound consist of all $2k$-matchings that contain a set of $t$ disjoint edges. Further, this bound on $k$ is sharp for $t\geq 6$. The method used is this paper is similar to the proof of the complete Erdős-Ko-Rado theorem given by Ahlswede and Khachatrian.
Topological Symmetry Groups of K_{4r+3}
Published in Discrete and Continuous Dynamical Systems, Vol 4, (2011), 1401-1411
• View Publication
• BIB
We present the concept of the topological symmetry group as a way to analyze the symmetries of non-rigid molecules. Then we characterize all of the groups which can occur as the topological symmetry group of an embedding of the complete graph K_{4r+3} in S^3.
Componentwise linearity of ideals arising from graphs
Published in Le Matematiche, Vol. 63 (2008), no. 2, 185--189
• Search Publication
Let $G$ be a simple undirected graph on $n$ vertices. Francisco and Van Tuyl have shown that if $G$ is chordal, then $\bigcap_{\{x_i,x_j\}\in E_G} < x_i,x_j>$ is componentwise linear. A natural question that arises is for which $t_{ij}>1$ the ideal $\bigcap_{\{x_i,x_j\}\in E_G}< x_i, x_j>^{t_{ij}}$ is componentwise linear, if $G$ is chordal. In this report we show that $\bigcap_{\{x_i,x_j\}\in E_G} < x_i, x_j>^{t}$ is componentwise linear for all $n\geq 3$ and positive $t$, if $G$ is a complete graph. We give also an example where $G$ is chordal, but the intersection ideal is not componentwise linear for any $t>1$.
On winning fast in Avoider-Enforcer games
We analyze the duration of the unbiased Avoider-Enforcer game for three basic positional games. All the games are played on the edges of the complete graph on $n$ vertices, and Avoider's goal is to keep his graph outerplanar, diamond-free and $k$-degenerate, respectively. It is clear that all three games are Enforcer's wins, and our main interest lies in determining the largest number of moves Avoider can play before losing.
Extremal graph theory offers a general upper bound for the number of Avoider's moves. As it turns out, for all three games we manage to obtain a lower bound that is just an additive constant away from that upper bound. In particular, we exhibit a strategy for Avoider to keep his graph outerplanar for at least $2n-8$ moves, being just 6 short of the maximum possible. A diamond-free graph can have at most $d(n)=\lceil\frac{3n-5}{2}\rceil$ edges, and we prove that Avoider can play for at least $d(n)-3$ moves. Finally, if $k$ is small compared to $n$, we show that Avoider can keep his graph $k$-degenerate for as many as $e(n)$ moves, where $e(n)$ is the maximum number of edges a $k$-degenerate graph can have.
Complete subgraphs in multipartite graphs
Published
• View Publication
• BIB
Turan's Theorem states that every graph of a certain edge density contains a complete graph $K^k$ and describes the unique extremal graphs. We give a similar Theorem for l-partite graphs. For large l, we find the minimal edge density $d^k_l$, such that every $\ell$-partite graph whose parts have pairwise edge density greater than $d^k_l$ contains a $K^k$. It turns out that $d^k_l=(k-2)/(k-1)$ for large enough l. We also describe the structure of the extremal graphs.
For the case of triangles we show that $d^3_{13}=1/2$, disproving a conjecture by Bondy, Shen, Thomasse and Thomassen.
The critical bias for the Hamiltonicity game is (1+o(1))n/ln n
Published
• View Publication
• BIB
We prove that in the biased 1:b Hamiltonicity Maker-Breaker game, played on the edges of the complete graph K_n, Maker has a winning strategy for b(n)<=(1-o(1))n/ln n, for all large enough n.
On Fall Colorings of Graphs
A fall $k$-coloring of a graph $G$ is a proper $k$-coloring of $G$ such that each vertex of $G$ sees all $k$ colors on its closed neighborhood. We denote ${\rm Fall}(G)$ the set of all positive integers $k$ for which $G$ has a fall $k$-coloring. In this paper, we study fall colorings of lexicographic product of graphs and categorical product of graphs and answer a question of \cite{dun} about fall colorings of categorical product of complete graphs. Then, we study fall colorings of union of graphs. Then, we prove that fall $k$-colorings of a graph can be reduced into proper $k$-colorings of graphs in a specified set. Then, we characterize fall colorings of Mycielskian of graphs. Finally, we prove that for each bipartite graph $G$, ${\rm Fall}(G^{c})\subseteq \{χ(G^{c}) \}$ and it is polynomial time to decision whether or not ${\rm Fall}(G^{c})=\{χ(G^{c}) \}$.
Higher order matching polynomials and d-orthogonality
Published in Advances in Applied Mathematics, vol 46, no 1-4, January 2011, pp 226-246
• View Publication
• BIB
We show combinatorially that the higher-order matching polynomials of several families of graphs are d-orthogonal polynomials. The matching polynomial of a graph is a generating function for coverings of a graph by disjoint edges; the higher-order matching polynomial corresponds to coverings by paths. Several families of classical orthogonal polynomials -- the Chebyshev, Hermite, and Laguerre polynomials -- can be interpreted as matching polynomials of paths, cycles, complete graphs, and complete bipartite graphs. The notion of d-orthogonality is a generalization of the usual idea of orthogonality for polynomials and we use sign-reversing involutions to show that the higher-order Chebyshev (first and second kinds), Hermite, and Laguerre polynomials are d-orthogonal. We also investigate the moments and find generating functions of those polynomials.
The early evolution of the H-free process
Published
• View Publication
• BIB
The H-free process, for some fixed graph H, is the random graph process defined by starting with an empty graph on n vertices and then adding edges one at a time, chosen uniformly at random subject to the constraint that no H subgraph is formed. Let G be the random maximal H-free graph obtained at the end of the process. When H is strictly 2-balanced, we show that for some c>0, with high probability as $n \to \infty$, the minimum degree in G is at least $cn^{1-(v_H-2)/(e_H-1)}(\log n)^{1/(e_H-1)}$. This gives new lower bounds for the Turán numbers of certain bipartite graphs, such as the complete bipartite graphs $K_{r,r}$ with $r \ge 5$. When H is a complete graph $K_s$ with $s \ge 5$ we show that for some C>0, with high probability the independence number of G is at most $Cn^{2/(s+1)}(\log n)^{1-1/(e_H-1)}$. This gives new lower bounds for Ramsey numbers R(s,t) for fixed $s \ge 5$ and t large. We also obtain new bounds for the independence number of G for other graphs H, including the case when H is a cycle. Our proofs use the differential equations method for random graph processes to analyse the evolution of the process, and give further information about the structure of the graphs obtained, including asymptotic formulae for a broad class of subgraph extension variables.
Optimal Pebbling in Products of Graphs
We prove a generalization of Graham's Conjecture for optimal pebbling with arbitrary sets of target distributions. We provide bounds on optimal pebbling numbers of products of complete graphs and explicitly find optimal $t$-pebbling numbers for specific such products. We obtain bounds on optimal pebbling numbers of powers of the cycle $C_5$. Finally, we present explicit distributions which provide asymptotic bounds on optimal pebbling numbers of hypercubes.
Chromatic number and complete graph substructures for degree sequences
Given a graphic degree sequence $D$, let $χ(D)$ (respectively $ω(D)$, $h(D)$, and $H(D)$) denote the maximum value of the chromatic number (respectively, the size of the largest clique, largest clique subdivision, and largest clique minor) taken over all simple graphs whose degree sequence is $D$. It is proved that $χ(D)\le h(D)$. Moreover, it is shown that a subdivision of a clique of order $χ(D)$ exists where each edge is subdivided at most once and the set of all subdivided edges forms a collection of disjoint stars. This bound is an analogue of the Hajos Conjecture for degree sequences and, in particular, settles a conjecture of Neil Robertson that degree sequences satisfy the bound $χ(D)\le H(D)$ (which is related to the Hadwiger Conjecture). It is also proved that $χ(D)\le {6/5}ω(D)+{3/5}$ and that $χ(D) \le {4/5}ω(D) + {1/5}Δ(D) + 1$, where $Δ(D)$ denotes the maximum degree in $D$. The latter inequality is a strengthened version of a conjecture of Bruce Reed. All derived inequalities are best possible.
Strongly regular edge-transitive graphs
Published
• View Publication
• BIB
In this paper, we examine the structure of vertex- and edge-transitive strongly regular graphs, using normal quotient reduction. We show that the irreducible graphs in this family have quasiprimitive automorphism groups, and prove (using the Classification of Finite Simple Groups) that no graph in this family has a holomorphic simple automorphism group. We also find some constraints on the parameters of the graphs in this family that reduce to complete graphs.
On the number of perfect matchings in random lifts
Published
• View Publication
• BIB
Let G be a fixed connected multigraph with no loops. A random n-lift of G is obtained by replacing each vertex of G by a set of n vertices (where these sets are pairwise disjoint) and replacing each edge by a randomly chosen perfect matching between the n-sets corresponding to the endpoints of the edge. Let X_G be the number of perfect matchings in a random lift of G. We study the distribution of X_G in the limit as n tends to infinity, using the small subgraph conditioning method.
We present several results including an asymptotic formula for the expectation of X_G when G is d-regular, d\geq 3. The interaction of perfect matchings with short cycles in random lifts of regular multigraphs is also analysed. Partial calculations are performed for the second moment of X_G, with full details given for two example multigraphs, including the complete graph K_4.
To assist in our calculations we provide a theorem for estimating a summation over multiple dimensions using Laplace's method. This result is phrased as a summation over lattice points, and may prove useful in future applications.
Phase transition in the spanning-hyperforest model on complete hypergraphs
Published in Nucl.Phys.B822:493-516,2009
• View Publication
• BIB
By using our novel Grassmann formulation we study the phase transition of the spanning-hyperforest model of the k-uniform complete hypergraph for any k>= 2. The case k=2 reduces to the spanning-forest model on the complete graph. Different k are studied at once by using a microcanonical ensemble in which the number of hyperforests is fixed. The low-temperature phase is characterized by the appearance of a giant hyperforest. The phase transition occurs when the number of hyperforests is a fraction (k-1)/k of the total number of vertices. The behaviour at criticality is also studied by means of the coalescence of two saddle points. As the Grassmann formulation exhibits a global supersymmetry we show that the phase transition is second order and is associated to supersymmetry breaking and we explore the pure thermodynamical phase at low temperature by introducing an explicit breaking field.