complete graph
2162 papers tagged with this keyword
Face distributions of embeddings of complete graphs
Published
• View Publication
• BIB
A longstanding open question of Archdeacon and Craft asks whether every complete graph has a minimum genus embedding with at most one nontriangular face. We exhibit such an embedding for each complete graph except $K_8$, the complete graph on 8 vertices, and we go on to prove that no such embedding can exist for this graph. Our approach also solves a more general problem, giving a complete characterization of the possible face distributions (i.e. the numbers of faces of each length) realizable by minimum genus embeddings of each complete graph. We also tackle analogous questions for nonorientable and maximum genus embeddings.
Improved Bounds for the Graham-Pollak Problem for Hypergraphs
Published
• View Publication
• BIB
For a fixed $r$, let $f_r(n)$ denote the minimum number of complete $r$-partite $r$-graphs needed to partition the complete $r$-graph on $n$ vertices. The Graham-Pollak theorem asserts that $f_2(n)=n-1$. An easy construction shows that $f_r(n) \leq (1+o(1))\binom{n}{\lfloor r/2 \rfloor}$, and we write $c_r$ for the least number such that $f_r(n) \leq c_r (1+o(1))\binom{n}{\lfloor r/2 \rfloor}$.
It was known that $c_r < 1$ for each even $r \geq 4$, but this was not known for any odd value of $r$. In this short note, we prove that $c_{295}<1$. Our method also shows that $c_r \rightarrow 0$, answering another open problem.
Partite Saturation of Complete Graphs
We study the problem of determining $sat(n,k,r)$, the minimum number of edges in a $k$-partite graph $G$ with $n$ vertices in each part such that $G$ is $K_r$-free but the addition of an edge joining any two non-adjacent vertices from different parts creates a $K_r$. Improving recent results of Ferrara, Jacobson, Pfender and Wenger, and generalizing a recent result of Roberts, we define a function $α(k,r)$ such that $sat(n,k,r) = α(k,r)n + o(n)$ as $n \rightarrow \infty$. Moreover, we prove that \[ k(2r-4) \le α(k,r) \le \begin{cases} (k-1)(4r-k-6) &\text{ for }r \le k \le 2r-3, \\(k-1)(2r-3) &\text{ for }k \ge 2r-3, \end{cases} \] and show that the lower bound is tight for infinitely many values of $r$ and every $k\geq 2r-1$. This allows us to prove that, for these values, $sat(n,k,r) = k(2r-4)n + O(1)$ as $n \rightarrow \infty$. Along the way, we disprove a conjecture and answer a question of the first set of authors mentioned above.
Partitioning a graph into monochromatic connected subgraphs
A well-known result by Haxell and Kohayakawa states that the vertices of an $r$-coloured complete graph can be partitioned into $r$ monochromatic connected subgraphs of distinct colours; this is a slightly weaker variant of a conjecture by Erdős, Pyber and Gyárfás that states that there exists a partition into $r-1$ monochromatic connected subgraphs. We consider a variant of this problem, where the complete graph is replaced by a graph with large minimum degree, and prove two conjectures of Bal and DeBiasio, for two and three colours.
Domination and Upper Domination of Direct Product Graphs
Published
• View Publication
• BIB
The unitary Cayley graph of $\mathbb{Z} /n \mathbb{Z}$, denoted $X_{\mathbb{Z} / n \mathbb{Z}}$, has vertices $0,1, \dots, n-1$ with $x$ adjacent to $y$ if $x-y$ is relatively prime to $n$. We present results on the tightness of the known inequality $γ(X_{\mathbb{Z} / n \mathbb{Z}})\leq γ_t(X_{\mathbb{Z} / n \mathbb{Z}})\leq g(n)$, where $γ$ and $γ_t$ denote the domination number and total domination number, respectively, and $g$ is the arithmetic function known as Jacobsthal's function. In particular, we construct integers $n$ with arbitrarily many distinct prime factors such that $γ(X_{\mathbb{Z} / n \mathbb{Z}})\leqγ_t(X_{\mathbb{Z} / n \mathbb{Z}})\leq g(n)-1$. Extending work of Mekiš, we give lower bounds for the domination numbers of direct products of complete graphs. We also present a simple conjecture for the exact values of the upper domination numbers of direct products of balanced, complete multipartite graphs and prove the conjecture in certain cases. We end with some open problems.
On some three color Ramsey numbers for paths, cycles, stripes and stars
Published
• View Publication
• BIB
For given graphs $G_{1}, G_{2}, ... , G_{k}, k \geq 2$, the multicolor Ramsey number $R(G_{1}, G_{2}, ... , G_{k})$ is the smallest integer $n$ such that if we arbitrarily color the edges of the complete graph of order $n$ with $k$ colors, then it always contains a monochromatic copy of $G_{i}$ colored with $i$, for some $1 \leq i \leq k$. The bipartite Ramsey number $b(G_1, \cdots, G_k)$ is the least positive integer $b$ such that any coloring of the edges of $K_{b,b}$ with $k$ colors will result in a monochromatic copy of bipartite $G_i$ in the $i$-th color, for some $i$, $1 \le i \le k$.
There is very little known about $R(G_{1},\ldots, G_{k})$ even for very special graphs, there are a lot of open cases. In this paper, by using bipartite Ramsey numbers we obtain the exact values of some multicolor Ramsey numbers. We show that for sufficiently large $n_{0}$ and three following cases:
1. $n_{1}=2s$, $n_{2}=2m$ and $m-1<2s$,
2. $n_{1}=n_{2}=2s$,
3. $n_{1}=2s+1$, $n_{2}=2m$ and $s<m-1<2s+1$, we have
$$R(C_{n_0}, P_{n_{1}},P_{n_{2}}) = n_0 + \Big \lfloor \frac{n_1}{2} \Big \rfloor + \Big \lfloor \frac{n_2}{2} \Big \rfloor -2.$$
We prove that $R(P_n,kK_{2},kK_{2})=n+2k-2$ for large $n$. In addition, we prove that for even $k$, $R((k-1)K_{2},P_{k},P_{k})=3k-4$. For $s < m-1<2s+1$ and $t\geq m+s-1$, we obtain that $R(tK_{2},P_{2s+1},P_{2m})=s+m+2t-2$ where $P_{k}$ is a path on $k$ vertices and $tK_{2}$ is a matching of size $t$.
We also provide some new exact values or generalize known results for other multicolor Ramsey numbers of paths, cycles, stripes and stars versus other graphs.
Orthogonally Resolvable Matching Designs
Published
• View Publication
• BIB
An Orthogonally resolvable Matching Design OMD$(n, k)$ is a partition of the edges the complete graph $K_n$ into matchings of size $k$, called blocks, such that the blocks can be resolved in two different ways. Such a design can be represented as a square array whose cells are either empty or contain a matching of size $k$, where every vertex appears exactly once in each row and column. In this paper we show that an OMD$(n.k)$ exists if and only if $n \equiv 0 \pmod{2k}$ except when $k=1$ and $n = 4$ or $6$.
Monochromatic Subgraphs in Randomly Colored Graphons
Published in European Journal of Combinatorics, 81, 328-353, 2019
• View Publication
• BIB
Let $T(H, G_n)$ be the number of monochromatic copies of a fixed connected graph $H$ in a uniformly random coloring of the vertices of the graph $G_n$. In this paper we give a complete characterization of the limiting distribution of $T(H, G_n)$, when $\{G_n\}_{n \geq 1}$ is a converging sequence of dense graphs. When the number of colors grows to infinity, depending on whether the expected value remains bounded, $T(H, G_n)$ either converges to a finite linear combination of independent Poisson variables or a normal distribution. On the other hand, when the number of colors is fixed, $T(H, G_n)$ converges to a (possibly infinite) linear combination of independent centered chi-squared random variables. This generalizes the classical birthday problem, which involves understanding the asymptotics of $T(K_s, K_n)$, the number of monochromatic $s$-cliques in a complete graph $K_n$ ($s$-matching birthdays among a group of $n$ friends), to general monochromatic subgraphs in a network.
On basic graphs of symmetric graphs of valency five
Published
• View Publication
• BIB
A graph $\G$ is {\em symmetric} or {\em arc-transitive} if its automorphism group $\Aut(\G)$ is transitive on the arc set of the graph, and $\G$ is {\em basic} if $\Aut(\G)$ has no non-trivial normal subgroup $N$ such that the quotient graph $\G_N$ has the same valency with $\G$. In this paper, we classify symmetric basic graphs of order $2qp^n$ and valency 5, where $q<p$ are two primes and $n$ is a positive integer. It is shown that such a graph is isomorphic to a family of Cayley graphs on dihedral groups of order $2q$ with $5\di (q-1)$, the complete graph $K_6$ of order $6$, the complete bipartite graph $K_{5,5}$ of order 10, or one of the nine sporadic coset graphs associated with non-abelian simple groups. As an application, connected pentavalent symmetric graphs of order $kp^n$ for some small integers $k$ and $n$ are classified.
Linear dependence between hereditary quasirandomness conditions
Published in Electronic Journal of Combinatorics 25 (2018), P4.12
• View Publication
• BIB
Answering a question of Simonovits and S\' os, Conlon, Fox, and Sudakov proved that for any nonempty graph $H$, and any $\varepsilon>0$, there exists $δ>0$ polynomial in $\varepsilon$, such that if $G$ is an $n$-vertex graph with the property that every $U\subseteq V(G)$ contains $p^{e(H)}|U|^{v(H)}\pmδn^{v(H)}$ labeled copies of $H$, then $G$ is $(p,\varepsilon)$-quasirandom in the sense that every subset $U\subseteq G$ contains $\frac{1}{2}p|U|^{2}\pm\varepsilon n^{2}$ edges. They conjectured that $δ$ may be taken to be linear in $\varepsilon$ and proved this in the case that $H$ is a complete graph. We study a labelled version of this quasirandomness property proposed by Reiher and Schacht. Let $H$ be any nonempty graph on $r$ vertices $v_{1},\ldots,v_{r}$, and $\varepsilon>0$. We show that there exists $δ=δ(\varepsilon)>0$ linear in $\varepsilon$, such that if $G$ is an $n$-vertex graph with the property that every sequence of $r$ subsets $U_{1},\ldots,U_{r}\subseteq V(G)$, the number of copies of $H$ with each $v_{i}$ in $U_{i}$ is $p^{e(H)}\prod|U_{i}|\pmδn^{v(H)}$, then $G$ is $(p,\varepsilon)$-quasirandom.
The spectral radius of graphs without long cycles
Published
• View Publication
• BIB
Nikiforov conjectured that for a given integer $k\ge 2$, any graph $G$ of sufficiently large order $n$ with spectral radius $μ(G)\geq μ(S_{n,k})$ (or $μ(G)\ge μ(S_{n,k}^+))$ contains $C_{2k+1}$ or $C_{2k+2}$(or $C_{2k+2}$), unless $G=S_{n,k}$ (or $G=S_{n,k}^+)$, where $C_\ell$ is a cycle of length $\ell$ and $S_{n,k}=K_k\vee \overline{K_{n-k}}$, the join graph of a complete graph of order $k$ and an empty graph on $n-k$ vertices, and $S_{n,k}^+$ is the graph obtained from $S_{n,k}$ by adding an edge in the independent set of $S_{n,k}$. %This can be vie as spectral version of Erdös and Sós conjecture. In this paper, a weaker version of Nikiforov's conjecture is considered, we prove that for a given integer $k\ge 2$, any graph $G$ of sufficiently large order $n$ with spectral radius $μ(G)\geq μ(S_{n,k})$ (or $μ(G)\ge μ(S_{n,k}^+))$ %$C_{2k+1}$ or $C_{2k+2}$(or $C_{2k+2}$), unless $G=S_{n,k}$ (or $G=S_{n,k}^+)$$S_{n,k}$ ( or $S_{n,k}^+$) is the unique extremal graph with maximum radius among all of the graphs of order $n$ and contains a cycle $C_{\ell}$ with $\ell \geq 2k+1$ (or $C_{\ell}$ with $\ell \geq 2k+2$), unless $G=S_{n,k}$ (or $G=S_{n,k}^+)$. These results also imply a result of Nikiforov given in [Theorem 2, The spectral radius of graphs without paths and cycles of specified length, LAA, 2010].
Efficient Generation of One-Factorizations through Hill Climbing
It is well known that for every even integer $n$, the complete graph $K_{n}$ has a one-factorization, namely a proper edge coloring with $n-1$ colors. Unfortunately, not much is known about the possible structure of large one-factorizations. Also, at present we have only woefully few explicit constructions of one-factorizations. Specifically, we know essentially nothing about the {\em typical} properties of one-factorizations for large $n$.
Suppose that $\cal C_{\rm n}$ is a graph whose vertex set includes the set of all order-$n$ one-factorizations and that $Ψ: V(\cal C_{\rm n})\to \mathbb R$ takes its minimum precisely at the one-factorizations. Given $\cal C_{\rm n}$ and $Ψ$, we can generate one-factorizations via hill climbing. Namely, by taking a walk on $\cal C_{\rm n}$ that tends to go from a vertex to a neighbor of smaller $Ψ$. For over 30 years, hill-climbing has been essentially the only method for generating many large one-factorizations. However, the validity of such methods was supported so far only by numerical evidence. Here, we present for the first time hill-climbing algorithms that provably generate an order-$n$ one-factorization in $\text{polynomial}(n)$ steps regardless of the starting state, while all vertex degrees in the underlying graph are appropriately bounded.
We also raise many questions and conjectures regarding hill-climbing methods and concerning the possible and typical structure of one-factorizations.
Colouring games based on autotopisms of Latin hyper-rectangles
Published in Quaestiones Mathematicae 42:7 (2019) 953-975
• View Publication
• BIB
Every partial colouring of a Hamming graph is uniquely related to a partial Latin hyper-rectangle. In this paper we introduce the $Θ$-stabilized $(a,b)$-colouring game for Hamming graphs, a variant of the $(a,b)$-colouring game so that each move must respect a given autotopism $Θ$ of the resulting partial Latin hyper-rectangle. We examine the complexity of this variant by means of its chromatic number. We focus in particular on the bi-dimensional case, for which the game is played on the Cartesian product of two complete graphs, and also on the hypercube case.
On anti-Kekulé and $s$-restricted matching preclusion problems
Published in Journal of Combinatorial Optimization (2023) 45:103
• View Publication
• BIB
The anti-Kekulé number of a connected graph $G$ is the smallest number of edges whose deletion results in a connected subgraph having no Kekulé structures (perfect matchings). As a common generalization of (conditional) matching preclusion number and anti-Kekulé number of a graph $G$, we introduce $s$-restricted matching preclusion number of $G$ as the smallest number of edges whose deletion results in a subgraph without perfect matchings such that each component has at least $s+1$ vertices. In this paper, we first show that conditional matching preclusion problem and anti-Kekulé problem are NP-complete, respectively, then generalize this result to $s$-restricted matching preclusion problem. Moreover, we give some sufficient conditions to compute $s$-restricted matching preclusion numbers of regular graphs. As applications, $s$-restricted matching preclusion numbers of complete graphs, hypercubes and hyper Petersen networks are determined.
The Dimension of the Negative Cycle Vectors of Signed Graphs
Published in Ars Mathematica Contemporanea, 16(2) (2019), 625-639
• View Publication
• BIB
A "signed graph" is a graph $Γ$ where the edges are assigned sign labels, either "$+$" or "$-$". The sign of a cycle is the product of the signs of its edges. Let $\mathrm{SpecC}(Γ)$ denote the list of lengths of cycles in $Γ$. We equip each signed graph with a vector whose entries are the numbers of negative $k$-cycles for $k\in\mathrm{SpecC}(Γ)$. These vectors generate a subspace of $\mathbb R^{\mathrm{SpecC}(Γ)}$. Using matchings with a strong permutability property, we provide lower bounds on the dimension of this space; in particular, we show for complete graphs, complete bipartite graphs, and a few other graphs that this space is all of $\mathbb R^{\mathrm{SpecC}(Γ)}$.
Laplacian Simplices
Published
• View Publication
• BIB
This paper initiates the study of the "Laplacian simplex" $T_G$ obtained from a finite graph $G$ by taking the convex hull of the columns of the Laplacian matrix for $G$. Basic properties of these simplices are established, and then a systematic investigation of $T_G$ for trees, cycles, and complete graphs is provided. Motivated by a conjecture of Hibi and Ohsugi, our investigation focuses on reflexivity, the integer decomposition property, and unimodality of Ehrhart $h^*$-vectors. We prove that if $G$ is a tree, odd cycle, complete graph, or a whiskering of an even cycle, then $T_G$ is reflexive. We show that while $T_{K_n}$ has the integer decomposition property, $T_{C_n}$ for odd cycles does not. The Ehrhart $h^*$-vectors of $T_G$ for trees, odd cycles, and complete graphs are shown to be unimodal. As a special case it is shown that when $n$ is an odd prime, the Ehrhart $h^*$-vector of $T_{C_n}$ is given by $(h_0^*,\ldots,h_{n-1}^*)=(1,\ldots,1,n^2-n+1,1,\ldots, 1)$. We also provide a combinatorial interpretation of the Ehrhart $h^*$-vector for $T_{K_n}$.
Bernoulli Correlations and Cut Polytopes
Published
• View Publication
• BIB
Given $n$ symmetric Bernoulli variables, what can be said about their correlation matrix viewed as a vector? We show that the set of those vectors $R(\mathcal{B}_n)$ is a polytope and identify its vertices. Those extreme points correspond to correlation vectors associated to the discrete uniform distributions on diagonals of the cube $[0,1]^n$. We also show that the polytope is affinely isomorphic to a well-known cut polytope ${\rm CUT}(n)$ which is defined as a convex hull of the cut vectors in a complete graph with vertex set $\{1,\ldots,n\}$. The isomorphism is obtained explicitly as $R(\mathcal{B}_n)= {\mathbf{1}}-2~{\rm CUT}(n)$. As a corollary of this work, it is straightforward using linear programming to determine if a particular correlation matrix is realizable or not. Furthermore, a sampling method for multivariate symmetric Bernoullis with given correlation is obtained. In some cases the method can also be used for general, not exclusively Bernoulli, marginals.
$H$-free subgraphs of dense graphs maximizing the number of cliques and their blow-ups
Published
• View Publication
• BIB
We consider the structure of $H$-free subgraphs of graphs with high minimal degree. We prove that for every $k>m$ there exists an $ε:=ε(k,m)>0$ so that the following holds. For every graph $H$ with chromatic number $k$ from which one can delete an edge and reduce the chromatic number, and for every graph $G$ on $n>n_0(H)$ vertices in which all degrees are at least $(1-ε)n$, any subgraph of $G$ which is $H$-free and contains the maximum number of copies of the complete graph $K_m$ is $(k-1)$-colorable.
We also consider several extensions for the case of a general forbidden graph $H$ of a given chromatic number, and for subgraphs maximizing the number of copies of balanced blowups of complete graphs.
Nerves, minors, and piercing numbers
Published
• View Publication
• BIB
We make the first step towards a "nerve theorem" for graphs. Let $G$ be a simple graph and let $\mathcal{F}$ be a family of induced subgraphs of $G$ such that the intersection of any members of $\mathcal{F}$ is either empty or connected. We show that if the nerve complex of $\mathcal{F}$ has non-vanishing homology in dimension three, then $G$ contains the complete graph on five vertices as a minor. As a consequence we confirm a conjecture of Goaoc concerning an extension of the planar $(p,q)$ theorem due to Alon and Kleitman: Let $\mathcal{F}$ be a finite family of open connected sets in the plane such that the intersection of any members of $\mathcal{F}$ is either empty or connected. If among any $p \geq 3$ members of $\mathcal{F}$ there are some three that intersect, then there is a set of $C$ points which intersects every member of $\mathcal{F}$, where $C$ is a constant depending only on $p$.
Long rainbow cycles and Hamiltonian cycles using many colors in properly edge-colored complete graphs
Published
• View Publication
• BIB
We prove two results regarding cycles in properly edge-colored graphs.
First, we make a small improvement to the recent breakthrough work of Alon, Pokrovskiy and Sudakov who showed that every properly edge-colored complete graph $G$ on $n$ vertices has a rainbow cycle on at least $n - O(n^{3/4})$ vertices, by showing that $G$ has a rainbow cycle on at least $n - O(\log n \sqrt{n})$ vertices.
Second, by modifying the argument of Hatami and Shor which gives a lower bound for the length of a partial transversal in a Latin Square, we prove that every properly colored complete graph has a Hamilton cycle in which at least $n - O((\log n)^2)$ different colors appear.
For large $n$, this is an improvement of the previous best known lower bound of $n - \sqrt{2n}$ of Andersen.