complete graph
2162 papers tagged with this keyword
Subgraph densities in a surface
Published in Combinatorics, Probability and Computing, 31(5), 812-839 (2022)
• View Publication
• BIB
Given a fixed graph $H$ that embeds in a surface $Σ$, what is the maximum number of copies of $H$ in an $n$-vertex graph $G$ that embeds in $Σ$? We show that the answer is $Θ(n^{f(H)})$, where $f(H)$ is a graph invariant called the `flap-number' of $H$, which is independent of $Σ$. This simultaneously answers two open problems posed by Eppstein (1993). When $H$ is a complete graph we give more precise answers.
The Ramsey number of a long cycle and complete graphs
In this paper, we prove that the multicolored Ramsey number $R(G_1,\dots,G_n,K_{n_1},\dots,K_{n_r})$ is at least $(γ-1)(κ-1)+1$ for arbitrary connected graphs $G_1,\dots,G_n$ and $n_1,\dots,n_r\in\mathbb{N}$, where $γ=R(G_1,\dots,G_n)$ and $κ=R(K_{n_1},\dots,K_{n_r})$. Erd\H os at al. conjectured that $R(C_n,K_l)=(n-1)(l-1)+1$ for every $n\geq l\geq 3$ except for $n=l=3$. Nikiforov proved this conjecture for $n\geq 4l+2$. Using the above bound, we derive the following generalization of this result. $R(C_n,K_{n_1},\dots,K_{n_r})=(n-1)(κ-1)+1$, where $κ=R(K_{n_1},\dots,K_{n_r})$ and $n\geq 4κ+2$.
Asymptotics for Push on the Complete Graph
Published in Stochastic Processes and their Applications 137 (2021) 35-61
• View Publication
• BIB
We study the popular randomized rumour spreading protocol Push. Initially, a node in a graph possesses some information, which is then spread in a round based manner. In each round, each informed node chooses uniformly at random one of its neighbours and passes the information to it. The central quantity to investigate is the Runtime, that is, the number of rounds needed until every node has received the information.
The Push protocol and variations of it have been studied extensively. Here we study the case where the underlying graph is complete with $n$ nodes. Even in this most basic setting, specifying the limiting distribution of the runtime as well as determining related quantities, like its expectation, have remained open problems since the protocol was introduced.
In our main result we describe the limiting distribution of the runtime. We show that it does not converge, and that it becomes, after the appropriate normalization, asymptotically periodic both on the $\log_2n$ as well as on the $\ln n$ scale. In particular, the limiting distribution converges only if we restrict ourselves to suitable subsequences of $\mathbb N$, where simultaneously $\log_2 n-\lfloor\log_2n\rfloor\to x$ and $\ln n-\lfloor\ln n\rfloor\to y$ for some fixed $x,y\in [0,1)$. On such subsequences we show that the expected runtime is $\log_2 n+\ln n+h(x,y)+o(1)$, where $h$ is explicitly given and numerically $|\sup h - \inf h| \approx 2\cdot 10^{-4}$.
Complex uniformly resolvable decompositions of $K_v$
In this paper we consider the complex uniformly resolvable decompositions of the complete graph $K_v$ into subgraphs such that each resolution class contains only blocks isomorphic to the same graph from a given set $\mathcal H$. We completely determine the spectrum for the cases $\mathcal{H} = \{K_2, P_3, K_3\}$, $\mathcal{H} = \{P_4, C_4\}$, and $\mathcal{H} = \{K_2, P_4, C_4\}$.
Fast Strategies in Waiter-Client Games on $K_n$
Published in Electronic Journal of Combinatorics 27(3) (2020), #P3.57
• View Publication
• BIB
Waiter-Client games are played on some hypergraph $(X,\mathcal{F})$, where $\mathcal{F}$ denotes the family of winning sets. For some bias $b$, during each round of such a game Waiter offers to Client $b+1$ elements of $X$, of which Client claims one for himself while the rest go to Waiter. Proceeding like this Waiter wins the game if she forces Client to claim all the elements of any winning set from $\mathcal{F}$. In this paper we study fast strategies for several Waiter-Client games played on the edge set of the complete graph, i.e. $X=E(K_n)$, in which the winning sets are perfect matchings, Hamilton cycles, pancyclic graphs, fixed spanning trees or factors of a given graph.
On Broadcasting Time in the Model of Travelling Agents
Published
• View Publication
• BIB
Consider the following broadcasting process run on a connected graph $G=(V,E)$. Suppose that $k \ge 2$ agents start on vertices selected from $V$ uniformly and independently at random. One of the agents has a message that she wants to communicate to the other agents. All agents perform independent random walks on $G$, with the message being passed when an agent that knows the message meets an agent that does not know the message. The broadcasting time $ξ(G,k)$ is the time it takes to spread the message to all agents.
Our ultimate goal is to gain a better understanding of the broadcasting process run on real-world networks of roads of large cities that might shed some light on the behaviour of future autonomous and connected vehicles. Due to the complexity of road networks, such phenomena have to be studied using simulation in practical applications. In this paper, we study the process on the simplest scenario, i.e., the family of complete graphs, as in this case the problem is analytically tractable. We provide tight bounds for $ξ(K_n,k)$ that hold asymptotically almost surely for the whole range of the parameter $k$. These theoretical results reveal interesting relationships and, at the same time, are also helpful to understand and explain the behaviour we observe in more realistic networks.
Signed analogue of line graphs and their smallest eigenvalues
Published
• View Publication
• BIB
In this paper, we show that every connected signed graph with smallest eigenvalue strictly greater than $-2$ and large enough minimum degree is switching equivalent to a complete graph. This is a signed analogue of a theorem of Hoffman. The proof is based on what we call Hoffman's limit theorem which we formulate for Hermitian matrices, and also the extension of the concept of Hoffman graph and line graph for the setting of signed graphs.
The number of triangles is more when they have no common vertex
Published
• View Publication
• BIB
By the theorem of Mantel $[5]$ it is known that a graph with $n$ vertices and $\lfloor \frac{n^{2}}{4} \rfloor+1$ edges must contain a triangle. A theorem of Erdős gives a strengthening: there are not only one, but at least $\lfloor\frac{n}{2}\rfloor$ triangles. We give a further improvement: if there is no vertex contained by all triangles then there are at least $n-2$ of them. There are some natural generalizations when $(a)$ complete graphs are considered (rather than triangles), $(b)$ the graph has $t$ extra edges (not only one) or $(c)$ it is supposed that there are no $s$ vertices such that every triangle contains one of them. We were not able to prove these generalizations, they are posed as conjectures.
Constraints on Brouwer's Laplacian Spectrum Conjecture
Published
• View Publication
• BIB
Brouwer's Conjecture states that, for any graph $G$, the sum of the $k$ largest (combinatorial) Laplacian eigenvalues of $G$ is at most $|E(G)| + \binom{k+1}{2}$, $1 \leq k \leq n$. We present several interrelated results establishing Brouwer's conjecture $\text{BC}_k(G)$ for a wide range of graphs $G$ and parameters $k$. In particular, we show that (1) $\text{BC}_k(G)$ is true for low-arboricity graphs, and in particular for planar $G$ when $k \geq 11$; (2) $\text{BC}_k(G)$ is true whenever the variance of the degree sequence is not very high, generalizing previous results for $G$ regular or random; (3) $\text{BC}_k(G)$ is true if $G$ belongs to a hereditarily spectrally-bounded class and $k$ is sufficiently large as a function of $k$, in particular $k \geq \sqrt{32n}$ for bipartite graphs; (4) $\text{BC}_k(G)$ holds unless $G$ has edge-edit distance $< k \sqrt{2n} = O(n^{3/2})$ from a split graph; (5) no $G$ violates the conjectured upper bound by more than $O(n^{5/4})$, and bipartite $G$ by no more than $O(n)$; and (6) $\text{BC}_k(G)$ holds for all $k$ outside an interval of length $O(n^{3/4})$. Furthermore, we present a surprising negative result: asymptotically almost surely, a uniform random signed complete graph violates the conjectured bound by $Ω(n)$.
Partial DP-Coloring
Published
• View Publication
• BIB
In 1980, Albertson and Berman introduced partial coloring. In 2000, Albertson, Grossman, and Haas introduced partial list coloring. Here, we initiate the study of partial coloring for an insightful generalization of list coloring introduced in 2015 by Dvořák and Postle, DP-coloring (or correspondence coloring). We consider the DP-coloring analogue of the Partial List Coloring Conjecture, which generalizes a natural bound for partial coloring. We show that while this partial DP-coloring conjecture does not hold, several results on partial list coloring can be extended to partial DP-coloring. We also study partial DP-coloring of the join of a graph with a complete graph, and we present several interesting open questions.
Beyond Hamiltonicity of Prime Difference Graphs
A graph is Hamiltonian if it contains a cycle which visits every vertex of the graph exactly once. In this paper, we consider the problem of Hamiltonicity of a graph $G_n$, which will be called the prime difference graph of order $n$, with vertex set $\{1,2,\cdots, n\}$ and edge set $\{uv: |u-v|$ is a prime number$\}$. A recent result, conjectured by Sun and later proved by Chen, asserts that $G_n$ is Hamiltonian for $n\geq 5$. This paper extends their result in three directions. First, we prove that for any two integers $a$ and $b$ with $1\leq a<b\leq n$, there is a Hamilton path in $G_n$ from $a$ to $b$ except some cases of small $n$. This result implies robustness of the Hamiltonicity property of the prime difference graph in a sense that for any edge $e$ in $G_n$ there exists a Hamilton cycle containing $e$. Second, we show that the prime difference graph contains considerably more about the cycle structure than Hamiltonicity; precisely, for any integer $n\geq 7$, the prime difference graph $G_n$ contains any 2-factor of the complete graph of order $n$ as a subgraph. Finally, we find that $G_n$ may contain more edge-disjoint Hamilton cycles. In particular, these Hamilton cycles are generated by two prime differences.
Total Dominator Total Chromatic Numbers of Wheels, Complete bipartite graphs and Complete graphs
Total dominator total coloring of a graph is a total coloring of the graph such that each object of the graph is adjacent or incident to every object of some color class. The minimum namber of the color classes of a total dominator total coloring of a graph is called the total dominator total chromatic number of the graph. Here, we will find the total dominator chromatic numbers of wheels, complete bipartite graphs and complete graphs.
Spectra of chains connected to complete graphs
Published
• View Publication
• BIB
We characterize the spectrum of the Laplacian of graphs composed of one or two finite or infinite chains connected to a complete graph. We show the existence of localized eigenvectors of two types, eigenvectors that vanish exactly outside the complete graph and eigenvectors that decrease exponentially outside the complete graph. Our results also imply gaps between the eigenvalues corresponding to localized and extended eigenvectors.
Embedding and the rotational dimension of a graph containing a clique
Published
• View Publication
• BIB
The rotational dimension is a minor monotone graph invariant related to the dimension of an Euclidean space containing a spectral embedding corresponding to the first nonzero eigenvalue of the graph Laplacian, which is introduced by Göring, Helmberg and Wappler. In this paper, we study rotational dimensions of graphs which contain large complete graphs. The complete graph is characterized by its rotational dimension. It will be a obtained that a chordal graph may be made large while keeping the rotational dimension constant.
A Catlin-type Theorem for Graph Partitioning Avoiding Prescribed Subgraphs
Published
• View Publication
• BIB
As an extension of the Brooks theorem, Catlin in 1979 showed that if $H$ is neither an odd cycle nor a complete graph with maximum degree $Δ(H)$, then $H$ has a vertex $Δ(H)$-coloring such that one of the color classes is a maximum independent set. Let $G$ be a connected graph of order at least $2$. A $G$-free $k$-coloring of a graph $H$ is a partition of the vertex set of $H$ into $V_1,\ldots,V_k$ such that $H[V_i]$, the subgraph induced on $V_i$, does not contain any subgraph isomorphic to $G$. As a generalization of Catlin's theorem we show that a graph $H$ has a $G$-free $\lceil{Δ(H)\over δ(G)}\rceil$-coloring for which one of the color classes is a maximum $G$-free subset of $V(H)$ if $H$ satisfies the following conditions; (1) $H$ is not isomorphic to $G$ if $G$ is regular, (2) $H$ is not isomorphic to $K_{kδ(G)+1}$ if $G \simeq K_{δ(G)+1}$, and (3) $H$ is not an odd cycle if $G$ is isomorphic to $K_2$. Indeed, we show even more, by proving that if $G_1,\ldots,G_k$ are connected graphs with minimum degrees $d_1,\ldots,d_k$, respectively, and $Δ(H)=\sum_{i=1}^{k}d_k$, then there is a partition of vertices of $H$ to $V_1,\ldots,V_k$ such that each $H[V_i]$ is $G_i$-free and moreover one of $V_i$s can be chosen in a way that $H[V_i]$ is a maximum $G_i$-free subset of $V(H)$ except either $k=1$ and $H$ is isomorphic to $G_1$, each $G_i$ is isomorphic to $K_{d_i+1}$ and $H$ is not isomorphic to $K_{Δ(H)+1}$, or each $G_i$ is isomorphic to $K_{2}$ and $H$ is not an odd cycle.
The threshold bias of the clique-factor game
Published
• View Publication
• BIB
Let $r \ge 4$ be an integer and consider the following game on the complete graph $K_n$ for $n \in r \mathbb{Z}$: Two players, Maker and Breaker, alternately claim previously unclaimed edges of $K_n$ such that in each turn Maker claims one and Breaker claims $b \in \mathbb{N}$ edges. Maker wins if her graph contains a $K_r$-factor, that is a collection of $n/r$ vertex-disjoint copies of $K_r$, and Breaker wins otherwise. In other words, we consider a $b$-biased $K_r$-factor Maker-Breaker game. We show that the threshold bias for this game is of order $n^{2/(r+2)}$. This makes a step towards determining the threshold bias for making bounded-degree spanning graphs and extends a result of Allen et al.\ who resolved the case $r \in \{3,4\}$ up to a logarithmic factor.
Drawings of complete graphs in the projective plane
Published
• View Publication
• BIB
Hill's Conjecture states that the crossing number $\text{cr}(K_n)$ of the complete graph $K_n$ in the plane (equivalently, the sphere) is $\frac{1}{4}\lfloor\frac{n}{2}\rfloor\lfloor\frac{n-1}{2}\rfloor\lfloor\frac{n-2}{2}\rfloor\lfloor\frac{n-3}{2}\rfloor=n^4/64 + O(n^3)$. Moon proved that the expected number of crossings in a spherical drawing in which the points are randomly distributed and joined by geodesics is precisely $n^4/64+O(n^3)$, thus matching asymptotically the conjectured value of $\text{cr}(K_n)$. Let $\text{cr}_P(G)$ denote the crossing number of a graph $G$ in the projective plane. Recently, Elkies proved that the expected number of crossings in a naturally defined random projective plane drawing of $K_n$ is $(n^4/8π^2)+O(n^3)$. In analogy with the relation of Moon's result to Hill's conjecture, Elkies asked if $\lim_{n\to\infty} \text{cr}_P(K_n)/n^4=1/8π^2$. We construct drawings of $K_n$ in the projective plane that disprove this.
Packing a number of copies of a $(p,\,q)$-graph
Let $k,p,q$ be three positive integers. A graph $G$ with order $n$ is said to be $k$-placeable if there are $k$ edge disjoint copies of $G$ in the complete graph on $n$ vertices. A $(p,\,q)$-graph is a graph of order $p$ with $q$ edges. Packing results have proved useful in the study of the complexity of graph properties. Bollobás et al. investigated the $k$-placeable of $(n,\,n-2)$-graphs and $(n,\,n-1)$-graphs with $k=2$ and $k=3$. Motivated by their results, this paper characterizes $(n,\,n-1)$-graphs with girth at least $9$ which are $4$-placeable. We also consider the $k$-placeable of $(n,\,n+1)$-graphs and 2-factors.
Repeated patterns in proper colourings
Published
• View Publication
• BIB
For a fixed graph $H$, what is the smallest number of colours $C$ such that there is a proper edge-colouring of the complete graph $K_n$ with $C$ colours containing no two vertex-disjoint colour-isomorphic copies, or repeats, of $H$? We study this function and its generalisation to more than two copies using a variety of combinatorial, probabilistic and algebraic techniques. For example, we show that for any tree $T$ there exists a constant $c$ such that any proper edge-colouring of $K_n$ with at most $c n^2$ colours contains two repeats of $T$, while there are colourings with at most $c' n^{3/2}$ colours for some absolute constant $c'$ containing no three repeats of any tree with at least two edges. We also show that for any graph $H$ containing a cycle there exist $k$ and $c$ such that there is a proper edge-colouring of $K_n$ with at most $c n$ colours containing no $k$ repeats of $H$, while, for a tree $T$ with $m$ edges, a colouring with $o(n^{(m+1)/m})$ colours contains $ω(1)$ repeats of $T$.
Computational and analytical studies of the Randić index in Erdös-Rényi models
In this work we perform computational and analytical studies of the Randić index $R(G)$ in Erdös-Rényi models $G(n,p)$ characterized by $n$ vertices connected independently with probability $p \in (0,1)$. First, from a detailed scaling analysis, we show that $\left\langle \overline{R}(G) \right\rangle = \left\langle R(G)\right\rangle/(n/2)$ scales with the product $ξ\approx np$, so we can define three regimes: a regime of mostly isolated vertices when $ξ< 0.01$ ($R(G)\approx 0$), a transition regime for $0.01 < ξ< 10$ (where $0<R(G)< n/2$), and a regime of almost complete graphs for $ξ> 10$ ($R(G)\approx n/2$). Then, motivated by the scaling of $\left\langle \overline{R}(G) \right\rangle$, we analytically (i) obtain new relations connecting $R(G)$ with other topological indices and characterize graphs which are extremal with respect to the relations obtained and (ii) apply these results in order to obtain inequalities on $R(G)$ for graphs in Erdös-Rényi models.