complete graph
2194 papers tagged with this keyword
All partitions have small parts - Gallai-Ramsey numbers of bipartite graphs
Published
• View Publication
• BIB
Gallai-colorings are edge-colored complete graphs in which there are no rainbow triangles. Within such colored complete graphs, we consider Ramsey-type questions, looking for specified monochromatic graphs. In this work, we consider monochromatic bipartite graphs since the numbers are known to grow more slowly than for non-bipartite graphs. The main result shows that it suffices to consider only $3$-colorings which have a special partition of the vertices. Using this tool, we find several sharp numbers and conjecture the sharp value for all bipartite graphs. In particular, we determine the Gallai-Ramsey numbers for all bipartite graphs with two vertices in one part and initiate the study of linear forests.
On the $α$-index of graphs with pendent paths
Published
• View Publication
• BIB
Let $G$ be a graph with adjacency matrix $A(G)$ and let $D(G)$ be the diagonal matrix of the degrees of $G$. For every real $α\in\left[ 0,1\right] $, write $A_α\left( G\right) $ for the matrix \[ A_α\left( G\right) =αD\left( G\right) +(1-α)A\left( G\right) . \] This paper presents some extremal results about the spectral radius $ρ_α\left( G\right) $ of $A_α\left( G\right) $ that generalize previous results about $ρ_{0}\left( G\right) $ and $ρ_{1/2}\left( G\right) $.
In particular, write $B_{p,q,r}$ be the graph obtained from a complete graph $K_{p}$ by deleting an edge and attaching paths $P_{q}$ and $P_{r}$ to its ends. It is shown that if $α\in\left[ 0,1\right) $ and $G$ is a graph of order $n$ and diameter at least $k,$ then% \[ ρ_α(G)\leqρ_α(B_{n-k+2,\lfloor k/2\rfloor,\lceil k/2\rceil}), \] with equality holding if and only if $G=B_{n-k+2,\lfloor k/2\rfloor,\lceil k/2\rceil}$. This result generalizes results of Hansen and Stevanović \cite{HaSt08}, and Liu and Lu \cite{LiLu14}.
Extremal problems on the hypercube and the codegree Turán density of complete $r$-graphs
Published in SIAM J. Discrete Math. 32:4 (2018) pp. 2667-2674
• View Publication
• BIB
Let $G$ be a finite abelian group, and $r$ be a multiple of its exponent. The generalized Erdős-Ginzburg-Ziv constant $s_r(G)$ is the smallest integer $s$ such that every sequence of length $s$ over $G$ has a zero-sum subsequence of length $r$. We show that $s_{2m}(\mathbb{Z}_2^d) \leq C_m 2^{d/m} + O(1)$ when $d\rightarrow\infty$, and $s_{2m}(\mathbb{Z}_2^d) \geq 2^{d/m} + 2m-1$ when $d=km$. We use results on $s_r(G)$ to prove new bounds for the codegree Turán density of complete $r$-graphs.
Decomposing graphs into edges and triangles
Published in Combinator. Probab. Comp. 28 (2019) 465-472
• View Publication
• BIB
We prove the following 30-year old conjecture of Győri and Tuza: the edges of every $n$-vertex graph $G$ can be decomposed into complete graphs $C_1,\ldots,C_\ell$ of orders two and three such that $|C_1|+\cdots+|C_\ell|\le (1/2+o(1))n^2$. This result implies the asymptotic version of the old result of Erdős, Goodman and Pósa that asserts the existence of such a decomposition with $\ell\le n^2/4$.
On the skeleton of the pyramidal tours polytope
Published
• View Publication
• BIB
We consider the skeleton of the pyramidal tours polytope. Hamiltonian tour is called pyramidal if the salesperson starts in city $1$, then visits some cities in increasing order, reaches city $n$ and returns to city $1$, visiting the remaining cities in decreasing order. The polytope $PYR(n)$ is defined as the convex hull of characteristic vectors of all pyramidal tours in the complete graph $K_{n}$. The skeleton of the polytope $PYR(n)$ is the graph whose vertex set is the vertex set of $PYR(n)$ and edge set is the set of geometric edges or one-dimensional faces of $PYR(n)$. We describe the necessary and sufficient condition for the adjacency of vertices of the polytope $PYR(n)$. On this basis we developed an algorithm to check the vertex adjacency with a linear complexity. We establish that the diameter of $PYR(n)$ skeleton equals 2, and the asymptotically exact estimate of $PYR(n)$ skeleton's clique number is $Θ(n^{2})$. It is known that this value characterizes the time complexity in a broad class of algorithms based on linear comparisons.
Cohen--Lenstra heuristics for torsion in homology of random complexes
Published
• View Publication
• BIB
We study torsion in homology of the random $d$-complex $Y \sim Y_d(n,p)$ experimentally. Our experiments suggest that there is almost always a moment in the process where there is an enormous burst of torsion in homology $H_{d-1}(Y)$. This moment seems to coincide with the phase transition studied in \cite{AL,LP,LP3} , where cycles in $H_d(Y)$ first appear with high probability.
Our main study is the limiting distribution on the $q$-part of the torsion subgroup of $H_{d-1}(Y)$ for small primes $q$. We find strong evidence for a limiting Cohen--Lenstra distribution, where the probability that the $q$-part is isomorphic to a given $q$-group $H$ is inversely proportional to the order of the automorphism group $|\mbox{Aut}(H)|$.
We also study the torsion in homology of the uniform random $\Q$-acyclic $2$-complex. This model is analogous to a uniform spanning tree on a complete graph, but more complicated topologically since Kalai showed that the expected order of the torsion group is exponentially large in $n^2$ \cite{Kalai}. We give experimental evidence that in this model also, the torsion is Cohen--Lenstra distributed in the limit.
Multiply Balanced Edge Colorings of Multigraphs
Published in J. Graph Theory 70 (2012), no. 3, 297-317
• View Publication
• BIB
In this paper, a theorem is proved that generalizes several existing amalgamation results in various ways. The main aim is to disentangle a given edge-colored amalgamated graph so that the result is a graph in which the edges are shared out among the vertices in ways that are fair with respect to several notions of balance (such as between pairs of vertices, degrees of vertices in the both graph and in each color class, etc). The connectivity of color classes is also addressed. Most results in the literature on amalgamations focus on the disentangling of amalgamated complete graphs and complete multipartite graphs. Many such results follow as immediate corollaries to the main result in this paper, which addresses amalgamations of graphs in general, allowing for example the final graph to have multiple edges. A new corollary of the main theorem is the settling of the existence of Hamilton decompositions of the family of graphs $K(a_1,\dots, a_p;λ_1, λ_2)$; such graphs arose naturally in statistical settings.
Computing the $A_α-$ eigenvalues of a bug
Let $G$ be a simple undirected graph. For $α\in [0,1]$, let \begin{equation*}
A_α\left( G\right) =αD\left( G\right) +(1-α)A\left( G\right) , \end{equation*} where $A(G)$ is the adjacency matrix of $G$ and $D(G)$ is the diagonal matrix of the degrees of $G$. In particular, $A_{0}(G)=A(G)$ and $A_{\frac{1}{2}}(G)=\frac{1}{2}Q(G)$ where $Q(G)$ is the signless Laplacian matrix of $G$. A bug $B_{p,q,r}$ is a graph obtained from a complete graph $K_{p}$ by deleting an edge and attaching paths $P_{q}$ and $P_{r}$ to its ends. In \cite{HaSt08}, Hansen and Stevanović proved that, among the graphs $G$ of order $n$ and diameter $d$, the largest spectral radius of $A(G)$ is attained by the bug $B_{n-d+2,\lfloor d/2\rfloor,\lceil d/2\rceil}$. In \cite{LiLu14}, Liu and Lu proved the same result for the spectral radius of $Q(G)$. Let $ρ_α(G)$ be the spectral radius of $A_α(G)$. In this note, for a bug $B$ of order $n$ and diameter $d$, it is shown that $(n-d+2)α-1$ is an eigenvalue of $A_α(B)$ with multiplicity $n-d-1$ and that the other eigenvalues, among them $ρ_α(B)$, can be computed as the eigenvalues of a symmetric tridiagonal matrix of order $d+1$. It is also shown that $ρ_α(B_{n-d+2,d/2,d/2})$ can be computed as the spectral radius of a symmetric tridiagonal matrix of order $\frac{d}{2}+1$ whenever $d$ is even.
Volumes and Ehrhart polynomials of flow polytopes
The Lidskii formula for the type $A_n$ root system expresses the volume and Ehrhart polynomial of the flow polytope of the complete graph with nonnegative integer netflows in terms of Kostant partition functions. For every integer polytope the volume is the leading coefficient of the Ehrhart polynomial. The beauty of the Lidskii formula is the revelation that for these polytopes its Ehrhart polynomial function can be deduced from its volume function! Baldoni and Vergne generalized Lidskii's result for flow polytopes of arbitrary graphs $G$ and nonnegative integer netflows. While their formulas are combinatorial in nature, their proofs are based on residue computations. In this paper we construct canonical polytopal subdivisions of flow polytopes which we use to prove the Baldoni-Vergne-Lidskii formulas. In contrast with the original computational proof of these formulas, our proof reveal their geometry and combinatorics. We conclude by exhibiting enumerative properties of the Lidskii formulas via our canonical polytopal subdivisions.
Star Saturation Number of Random Graphs
Published
• View Publication
• BIB
For a given graph $F$, the $F$-saturation number of a graph $G$ is the minimum number of edges in an edge-maximal $F$-free subgraph of $G$. Recently, the $F$-saturation number of the Erdős$\text{\bf--}$Rényi random graph $\mathbbmsl{G}(n, p)$ has been determined asymptotically for any complete graph $F$. In this paper, we give an asymptotic formula for the $F$-saturation number of $\mathbbmsl{G}(n, p)$ when $F$ is a star graph.
On the distribution of monochromatic complete subgraphs and arithmetic progressions
Published
• View Publication
• BIB
We investigate the distributions of the number of: (1) monochromatic complete subgraphs over edgewise 2-colorings of complete graphs; and (2) monochromatic arithmetic progressions over 2-colorings of intervals, as statistical Ramsey theory questions. We present convincing evidence that both distributions are very well-approximated by the Delaporte distribution.
The 6-girth-thickness of the complete graph
Published in AKCE International Journal of Graphs and Combinatorics-2020
• View Publication
• BIB
The $g$-girth-thickness $θ(g,G)$ of a graph $G$ is the minimum number of planar subgraphs of girth at least $g$ whose union is $G$. In this paper, we determine the $6$-girth-thickness $θ(6,K_n)$ of the complete graph $K_n$ in almost all cases. And also, we calculate by computer the missing value of $θ(4,K_n)$.
Maximum oriented forcing number for complete graphs
Published
• View Publication
• BIB
The maximum oriented $k$-forcing number of a simple graph $G$, written $\MOF_k(G)$, is the maximum directed $k$-forcing number among all orientations of $G$. This invariant was recently introduced by Caro, Davila and Pepper in [CaroDavilaPepper], and in the current paper we study the special case where $G$ is the complete graph with order $n$, denoted $K_n$. While $\MOF_k(G)$ is an invariant for the underlying simple graph $G$, $\MOF_k(K_n)$ can also be interpreted as an interesting property for tournaments. Our main results further focus on the case when $k=1$. These include a lower bound on $\MOF(K_n)$ of roughly $\frac{3}{4}n$, and for $n\ge 2$, a lower bound of $n - \frac{2n}{\log_2(n)}$. Along the way, we also consider various lower bounds on the maximum oriented $k$-forcing number for the closely related complete $q$-partite graphs.
A note on the 4-girth-thickness of K_{n,n,n}
Published
• View Publication
• BIB
The $4$-girth-thickness $θ(4,G)$ of a graph $G$ is the minimum number of planar subgraphs of girth at least four whose union is $G$. In this paper, we obtain that the 4-girth-thickness of complete tripartite graph $K_{n,n,n}$ is $\big\lceil\frac{n+1}{2}\big\rceil$ except for $θ(4,K_{1,1,1})=2$. And we also show that the $4$-girth-thickness of the complete graph $K_{10}$ is three which disprove the conjecture $θ(4,K_{10})=4$ posed by Rubio-Montiel (Ars Math Contemp 14(2) (2018) 319).
Globally simple Heffter arrays and orthogonal cyclic cycle decompositions
In this paper we introduce a particular class of Heffter arrays, called globally simple Heffter arrays, whose existence gives at once orthogonal cyclic cycle decompositions of the complete graph and of the cocktail party graph. In particular we provide explicit constructions of such decompositions for cycles of length $k\leq 10$. Furthermore, starting from our Heffter arrays we also obtain biembeddings of two $k$-cycle decompositions on orientable surfaces.
Gallai-Ramsey numbers of $C_9$ with multiple colors
We study Ramsey-type problems in Gallai-colorings. Given a graph $G$ and an integer $k\ge1$, the Gallai-Ramsey number $gr_k(K_3,G)$ is the least positive integer $n$ such that every $k$-coloring of the edges of the complete graph on $n$ vertices contains either a rainbow triangle or a monochromatic copy of $G$. It turns out that $gr_k(K_3, G)$ behaves more nicely than the classical Ramsey number $r_k(G)$. However, finding exact values of $gr_k (K_3, G)$ is far from trivial. In this paper, we prove that $gr_k(K_3, C_9)= 4\cdot 2^k+1$ for all $k\ge1$. This new result provides partial evidence for the first open case of the Triple Odd Cycle Conjecture of Bondy and Erdős from 1973. Our technique relies heavily on the structural result of Gallai on edge-colorings of complete graphs without rainbow triangles. We believe the method we developed can be used to determine the exact values of $gr_k(K_3, C_n)$ for odd integers $n\ge11$.
Locating-Dominating Sets of Functigraphs
Published
• View Publication
• BIB
A locating-dominating set of a graph $G$ is a dominating set of $G$ such that every vertex of $G$ outside the dominating set is uniquely identified by its neighborhood within the dominating set. The location-domination number of $G$ is the minimum cardinality of a locating-dominating set in $G$. Let $G_{1}$ and $G_{2}$ be the disjoint copies of a graph $G$ and $f:V(G_{1})\rightarrow V(G_{2})$ be a function. A functigraph $F^f_{G}$ consists of the vertex set $V(G_{1})\cup V(G_{2})$ and the edge set $E(G_{1})\cup E(G_{2})\cup \{uv:v=f(u)\}$. In this paper, we study the variation of the location-domination number in passing from $G$ to $F^f_{G}$ and find its sharp lower and upper bounds. We also study the location-domination number of functigraphs of the complete graphs for all possible definitions of the function $f$. We also obtain the location-domination number of functigraphs of a family of spanning subgraph of the complete graphs.
The Ramsey-Turán problem for cliques
Published in Israel Journal of Mathematics 230 (2019), no. 2, 613--652
• View Publication
• BIB
An important question in extremal graph theory raised by Vera T. Sós asks to determine for a given integer $t\ge 3$ and a given positive real number $δ$ the asymptotically supremal edge density $f_t(δ)$ that an $n$-vertex graph can have provided it contains neither a complete graph $K_t$ nor an independent set of size $δn$.
Building upon recent work of Fox, Loh, and Zhao [The critical window for the classical Ramsey-Turán problem, Combinatorica 35 (2015), 435-476], we prove that if $δ$ is sufficiently small (in a sense depending on $t$), then \[ f_t(δ)=
\begin{cases}
\frac{3t-10}{3t-4}+δ-δ^2 & \text{ if $t$ is even,} \cr
\frac{t-3}{t-1}+δ& \text{ if $t$ is odd.}
\end{cases} \]
Asymptotic normality of Laplacian coefficients of graphs
Published in J. Math. Anal. Appl. 455 (2017) 2030-2037
• View Publication
• BIB
Let $G$ be a simple graph with $n$ vertices and let $$C(G;x)=\sum_{k=0}^n(-1)^{n-k}c(G,k)x^k$$ denote the Laplacian characteristic polynomial of $G$. Then if the size $|E(G)|$ is large compared to the maximum degree $Δ(G)$, Laplacian coefficients $c(G,k)$ are approximately normally distributed (by central and local limit theorems). We show that Laplacian coefficients of the paths, the cycles, the stars, the wheels and regular graphs of degree $d$ are approximately normally distributed respectively. We also point out that Laplacian coefficients of the complete graphs and the complete bipartite graphs are approximately Poisson distributed respectively.
Graphs determined by their $A_α$-spectra
Let $G$ be a graph with $n$ vertices, and let $A(G)$ and $D(G)$ denote respectively the adjacency matrix and the degree matrix of $G$. Define $$ A_α(G)=αD(G)+(1-α)A(G) $$ for any real $α\in [0,1]$. The collection of eigenvalues of $A_α(G)$ together with multiplicities are called the \emph{$A_α$-spectrum} of $G$. A graph $G$ is said to be \emph{determined by its $A_α$-spectrum} if all graphs having the same $A_α$-spectrum as $G$ are isomorphic to $G$. We first prove that some graphs are determined by its $A_α$-spectrum for $0\leqα<1$, including the complete graph $K_m$, the star $K_{1,n-1}$, the path $P_n$, the union of cycles and the complement of the union of cycles, the union of $K_2$ and $K_1$ and the complement of the union of $K_2$ and $K_1$, and the complement of $P_n$. Setting $α=0$ or $\frac{1}{2}$, those graphs are determined by $A$- or $Q$-spectra. Secondly, when $G$ is regular, we show that $G$ is determined by its $A_α$-spectrum if and only if the join $G\vee K_m$ is determined by its $A_α$-spectrum for $\frac{1}{2}<α<1$. Furthermore, we also show that the join $K_m\vee P_n$ is determined by its $A_α$-spectrum for $\frac{1}{2}<α<1$. In the end, we pose some related open problems for future study.