complete graph
2162 papers tagged with this keyword
Linearly many rainbow trees in properly edge-coloured complete graphs
Published
• View Publication
• BIB
A subgraph of an edge-coloured complete graph is called rainbow if all its edges have different colours. The study of rainbow decompositions has a long history, going back to the work of Euler on Latin squares. In this paper we discuss three problems about decomposing complete graphs into rainbow trees: the Brualdi-Hollingsworth Conjecture, Constantine's Conjecture, and the Kaneko-Kano-Suzuki Conjecture. We show that in every proper edge-colouring of $K_n$ there are $10^{-6}n$ edge-disjoint spanning isomorphic rainbow trees. This simultaneously improves the best known bounds on all these conjectures. Using our method we also show that every properly $(n-1)$-edge-coloured $K_n$ has $n/9$ edge-disjoint rainbow trees, giving further improvement on the Brualdi-Hollingsworth Conjecture.
The Interactive Sum Choice Number of Graphs
Published
• View Publication
• BIB
We introduce a variant of the well-studied sum choice number of graphs, which we call the interactive sum choice number. In this variant, we request colours to be added to the vertices' colour-lists one at a time, and so we are able to make use of information about the colours assigned so far to determine our future choices. The interactive sum choice number cannot exceed the sum choice number and we conjecture that, except in the case of complete graphs, the interactive sum choice number is always strictly smaller than the sum choice number. In this paper we provide evidence in support of this conjecture, demonstrating that it holds for a number of graph classes, and indeed that in many cases the difference between the two quantities grows as a linear function of the number of vertices.
The 4-girth-thickness of the complete graph
Published in Ars Mathematica Contemporanea-2018
• View Publication
• BIB
In this paper, we define the $4$-girth-thickness $θ(4,G)$ of a graph $G$ as the minimum number of planar subgraphs of girth at least $4$ whose union is $G$. We obtain the $4$-girth-thickness of the arbitrary complete graph $K_n$ getting that $θ(4,K_n)=\left\lceil \frac{n+2}{4}\right\rceil$ for $n\not=6,10$ and $θ(4,K_6)=3$.
Volume computation for sparse boolean quadric relaxations
Published
• View Publication
• BIB
Motivated by understanding the quality of tractable convex relaxations of intractable polytopes, Ko et al. gave a closed-form expression for the volume of a standard relaxation $\mathscr{Q}(G)$ of the boolean quadric polytope (also known as the (full) correlation polytope) $\mathscr{P}(G)$ of the complete graph $G=K_n$. We extend this work to structured sparse graphs, giving: (i) an efficient algorithm for $vol(\mathscr{Q}(G))$ when $G$ has bounded tree width, (ii) closed-form expressions (and asymptotic behaviors) for $vol(\mathscr{Q}(G))$ for all stars, paths, and cycles, and (iii) a closed-form expression for $vol(\mathscr{P}(G))$ for all cycles. Further, we demonstrate that when $G$ is a cycle, the simple relaxation $\mathscr{Q}(G)$ is a very close model for the much more complicated $\mathscr{P}(G)$. Additionally, we give some computational results demonstrating that this behavior of the cycle seems to extend to more complicated graphs. Finally, we speculate on the possibility of extending some of our results to cactii or even series-parallel graphs.
Virtually fibering random right-angled Coxeter groups
Published
• View Publication
• BIB
We show that the Right-Angled Coxeter group $C=C(G)$ associated to a random graph $G\sim \mathcal{G}(n,p)$ with $\frac{\log n + \log\log n + ω(1)}{n} \leq p < 1- ω(n^{-2})$ virtually algebraically fibers. This means that $C$ has a finite index subgroup $C'$ and a finitely generated normal subgroup $N\subset C'$ such that $C'/N \cong \mathbb{Z}$. We also obtain the corresponding hitting time statements, more precisely, we show that as soon as $G$ has minimum degree at least 2 and as long as it is not the complete graph, then $C(G)$ virtually algebraically fibers. The result builds upon the work of Jankiewicz, Norin, and Wise and it is essentially best possible.
Hajós-like theorem for signed graphs
Published
• View Publication
• BIB
The paper designs five graph operations, and proves that every signed graph with chromatic number $q$ can be obtained from all-positive complete graphs $(K_q,+)$ by repeatedly applying these operations. This result gives a signed version of the Hajós theorem, emphasizing the role of all-positive complete graphs played in the class of signed graphs, as played in the class of unsigned graphs.
A $(5,5)$-coloring of $K_n$ with few colors
For fixed integers $p$ and $q$, let $f(n,p,q)$ denote the minimum number of colors needed to color all of the edges of the complete graph $K_n$ such that no clique of $p$ vertices spans fewer than $q$ distinct colors. Any edge-coloring with this property is known as a $(p,q)$-coloring. We construct an explicit $(5,5)$-coloring that shows that $f(n,5,5) \leq n^{1/3 + o(1)}$ as $n \rightarrow \infty$. This improves upon the best known probabilistic upper bound of $O\left(n^{1/2}\right)$ given by Erdős and Gyárfás, and comes close to matching the best known lower bound $Ω\left(n^{1/3}\right)$.
On the Total Forcing Number of a Graph
Published
• View Publication
• BIB
Let $G$ be a simple and finite graph without isolated vertices. In this paper we study forcing sets (zero forcing sets) which induce a subgraph of $G$ without isolated vertices. Such a set is called a total forcing set, introduced and first studied by Davila \cite{Davila}. The minimum cardinality of a total forcing set in $G$ is the total forcing number of $G$, denoted $F_t(G)$. We study basic properties of $F_t(G)$, relate $F_t(G)$ to various domination parameters, and establish $NP$-completeness of the associated decision problem for $F_t(G)$. We also prove that if $G$ is a connected graph of order $n \ge 3$ and maximum degree $Δ$, then $F_t(G) \le ( \fracΔ{Δ+1} ) n$, with equality if and only if $G$ is a complete graph $K_{Δ+ 1}$.
L-Infinity optimization to Bergman fans of matroids with an application to phylogenetics
Published
• View Publication
• BIB
Given a dissimilarity map $δ$ on finite set $X$, the set of ultrametrics (equidistant tree metrics) which are $l^\infty$-nearest to $δ$ is a tropical polytope. We give an internal description of this tropical polytope which we use to derive a polynomial-time checkable test for the condition that all ultrametrics $l^\infty$-nearest to $δ$ have the same tree structure. It was shown by Ardila and Klivans \cite{ardila-klivans2006} that the set of all ultrametrics on a finite set of size $n$ is the Bergman fan associated to the matroid underlying the complete graph on $n$ vertices. Therefore, we derive our results in the more general context of Bergman fans of matroids. This added generality allows our results to be used on dissimilarity maps where only a subset of the entries are known.
Upper Bounds for Ordered Ramsey Numbers of Small 1-Orderings
A $k$-ordering of a graph $G$ assigns distinct order-labels from the set $\{1,\ldots,|G|\}$ to $k$ vertices in $G$. Given a $k$-ordering $H$, the ordered Ramsey number $R_<(H)$ is the minimum $n$ such that every edge-2-coloring of the complete graph on the vertex set $\{1, \ldots, n\}$ contains a copy of $H$, the $i$th smallest vertex of which either has order-label $i$ in $H$ or no order-label in $H$.
This paper conducts the first systematic study of ordered Ramsey numbers for $1$-orderings of small graphs. We provide upper bounds for $R_<(H)$ for each connected $1$-ordering $H$ on $4$ vertices. Additionally, for every $1$-ordering $H$ of the $n$-vertex path $P_n$, we prove that $R_<(H) \in O(n)$. Finally, we provide an upper bound for the generalized ordered Ramsey number $R_<(K_n, H)$ which can be applied to any $k$-ordering $H$ containing some vertex with order-label $1$.
On a question of Erdos and Faudree on the size Ramsey numbers
Published
• View Publication
• BIB
For given simple graphs $G_1$ and $G_2$, the size Ramsey number $\hat{R}(G_1,G_2)$ is the smallest positive integer $m$, where there exists a graph $G$ with $m$ edges such that in any edge coloring of $G$ with two colors red and blue, there is either a red copy of $G_1$ or a blue copy of $G_2$. In 1981, Erdős and Faudree investigated the size Ramsey number $\hat{R}(K_n,tK_2)$, where $K_n$ is a complete graph on $n$ vertices and $tK_2$ is a matching of size $t$. They obtained the value of $\hat{R}(K_n,tK_2)$ when $n\geq 4t-1$ as well as for $t=2$ and asked for the behavior of these numbers when $ t $ is much larger than $ n $. In this regard, they posed the following interesting question: For every positive integer $n$, is it true that $$\lim_{t\to \infty} \frac{\hat{R}(K_n,tK_2)} {t\, \hat{R}(K_n,K_2)} = \min\left\{\dfrac{\binom{n+2t-2}{2}} {t\binom{n}{2}}\mid t\in \mathbb{N}\right\} ? $$ In this paper, we obtain the exact value of $ \hat{R}(K_n,tK_2) $ for every positive integers $ n,t $ and as a byproduct, we give an affirmative answer to the question of Erdős and Faudree.
Twin domination number of Tournaments
Let $D=(V,A)$ be a digraph. A subset $S$ of $V$ is called a twin dominating set of $D$ if for every vertex $v\in V-S$, there exists vertices $u_1,u_2 \in S$ such that $(v,u_1)$ and $(u_2,v)$ are arcs in $D$. The minimum cardinality of a twin dominating set in $D$ is called the twin domination number of $D$ and is denoted by $γ^{*}(D)$.
The upper orientable twin domination number of a graph $G$ is $DOM^{*}(G)=\max\{ γ^{*}(D)|D \ \text{is an orientation of G} \}.$ It has been conjectured that for the complete graph $K_n$ with $n\geq 8$, $DOM^{*}(K_n)=\left\lceil \frac{n+1}{2}\right\rceil$. In this work we prove $DOM^{*}(K_8)= DOM^{*}(K_9)= 4$ and establish new upper bounds for $DOM^{*}(K_n)$, disproving the same above conjecture for all $n \geq 8$.
On sequences of polynomials arising from graph invariants
Published
• View Publication
• BIB
Graph polynomials are deemed useful if they give rise to algebraic characterizations of various graph properties, and their evaluations encode many other graph invariants. Algebraic: The complete graphs $K_n$ and the complete bipartite graphs $K_{n,n}$ can be characterized as those graphs whose matching polynomials satisfy a certain recurrence relations and are related to the Hermite and Laguerre polynomials. An encoded graph invariant: The absolute value of the chromatic polynomial $χ(G,X)$ of a graph $G$ evaluated at $-1$ counts the number of acyclic orientations of $G$.
In this paper we prove a general theorem on graph families which are characterized by families of polynomials satisfying linear recurrence relations. This gives infinitely many instances similar to the characterization of $K_{n,n}$. We also show where to use, instead of the Hermite and Laguerre polynomials, linear recurrence relations where the coefficients do not depend on $n$.
Finally, we discuss the distinctive power of graph polynomials in specific form.
Decomposing the Complete $r$-Graph
Published
• View Publication
• BIB
Let $f_r(n)$ be the minimum number of complete $r$-partite $r$-graphs needed to partition the edge set of the complete $r$-uniform hypergraph on $n$ vertices. Graham and Pollak showed that $f_2(n) = n-1$. An easy construction shows that $f_r(n)\le (1-o(1))\binom{n}{\lfloor r/2\rfloor}$ and it has been unknown if this upper bound is asymptotically sharp. In this paper we show that $f_r(n)\le (\frac{14}{15}+o(1))\binom{n}{r/2}$ for each even $r\ge 4$.
Hamilton paths with lasting separation
Published
• View Publication
• BIB
We determine the asymptotics of the largest cardinality of a set of Hamilton paths in the complete graph with vertex set [n] under the condition that for any two of the paths in the family there is a subpath of length k entirely contained in only one of them and edge{disjoint from the other one.
Proof of Komlós's conjecture on Hamiltonian subsets
Published
• View Publication
• BIB
Komlós conjectured in 1981 that among all graphs with minimum degree at least $d$, the complete graph $K_{d+1}$ minimises the number of Hamiltonian subsets, where a subset of vertices is Hamiltonian if it contains a spanning cycle. We prove this conjecture when $d$ is sufficiently large. In fact we prove a stronger result: for large $d$, any graph $G$ with average degree at least $d$ contains almost twice as many Hamiltonian subsets as $K_{d+1}$, unless $G$ is isomorphic to $K_{d+1}$ or a certain other graph which we specify.
The Kite Graph is Determined by Its Adjacency Spectrum
Published
• View Publication
• BIB
The Kite graph $Kite_{p}^{q}$ is obtained by appending the complete graph $K_{p}$ to a pendant vertex of the path $P_{q}$. In this paper, the kite graph is proved to be determined by the spectrum of its adjacency matrix.
Dense $3$-uniform hypergraphs containing a large clique
Published
• View Publication
• BIB
An $r$-uniform graph $G$ is dense if and only if every proper subgraph $G'$ of $G$ satisfies $λ(G') < λ(G)$, where $λ(G)$ is the Lagrangian of a hypergraph $G$. In 1980's, Sidorenko showed that $π(F)$, the Turán density of an $r$-uniform hypergraph $F$ is $r!$ multiplying the supremum of the Lagrangians of all dense $F$-hom-free $r$-uniform hypergraphs. This connection has been applied in estimating Turán density of hypergraphs. When $r=2$, the result of Motzkin and Straus shows that a graph is dense if and only if it is a complete graph. However, when $r\ge 3$, it becomes much harder to estimate the Lagrangians of $r$-uniform hypergraphs and to characterize the structure of all dense $r$-uniform graphs. The main goal of this note is to give some sufficient conditions for $3$-uniform graphs with given substructures to be dense. For example, if $G$ is a $3$-graph with vertex set $[t]$ and $m$ edges containing $[t-1]^{(3)}$, then $G$ is dense if and only if $m \ge {t-1 \choose 3}+{t-2 \choose 2}+1$. We also give sufficient condition condition on the number of edges for a $3$-uniform hypergraph containing a large clique minus $1$ or $2$ edges to be dense.
Union of Random Trees and Applications
Published
• View Publication
• BIB
In 1986, Janson showed that the number of edges in the union of $k$ random spanning trees in the complete graph $K_n$ is a shifted Poisson distribution. Using results from the theory of electrical networks, we provide a new proof of this result, and we obtain an explicit rate of convergence. This rate of convergence allows us to show a new upper tail bound on the number of trees in $G(n,p)$, for $p$ a constant not depending on $n$. The number of edges in the union of $k$ random trees is related to moments of the number of spanning trees in $G(n, p)$.
As an application, we prove the law of the iterated logarithm for the number of spanning trees in $G(n,p)$. More precisely, consider the infinite random graph $G(\mathbb{N}, p)$, with vertex set $\mathbb{N}$ and where each edge appears independently with constant probability $p$. By restricting to $\{1, 2, \dotsc, n\}$, we obtain a series of nested Erdös-Réyni random graphs $G(n,p)$. We show that a scaled version of the number of spanning trees satisfies the law of the iterated logarithm.
Strongly regular decompositions and symmetric association schemes of a power of two
For any positive integer $m$, the complete graph on $2^{2m}(2^m+2)$ vertices is decomposed into $2^m+1$ commuting strongly regular graphs, which give rise to a symmetric association scheme of class $2^{m+2}-2$. Furthermore, the eigenmatrices of the symmetric association schemes are determined explicitly. As an application, the eigenmatrix of the commutative strongly regular decomposition obtained from the strongly regular graphs is derived.