complete graph
2162 papers tagged with this keyword
Mixing time and cutoff phenomenon for the interchange process on dumbbell graphs and the labelled exclusion process on the complete graph
We find the total variation mixing time of the interchange process on the dumbbell graph (two complete graphs, $K_n$ and $K_m$, connected by a single edge), and show that this sequence of chains exhibits the cutoff phenomenon precisely when the smaller size $m$ goes to infinity. The mixing time undergoes a phase transition at $m\asymp \sqrt{n}$. We also state a conjecture on when exactly cutoff holds for the interchange process on general graphs.
Our proofs use coupling methods, and they also give the mixing time of the simple exclusion process of $k$ labelled particles in the complete graph $K_n$, for any $k\leq n$, with cutoff, as conjectured by Lacoin and Leblond (2011). In particular, this is a new probabilistic proof for the mixing time of random transpositions, first established by Diaconis and Shahshahani (1981).
On the 2-colored crossing number
Let $D$ be a straight-line drawing of a graph. The rectilinear 2-colored crossing number of $D$ is the minimum number of crossings between edges of the same color, taken over all possible 2-colorings of the edges of $D$. First, we show lower and upper bounds on the rectilinear 2-colored crossing number for the complete graph $K_n$. To obtain this result, we prove that asymptotic bounds can be derived from optimal and near-optimal instances with few vertices. We obtain such instances using a combination of heuristics and integer programming. Second, for any fixed drawing of $K_n$, we improve the bound on the ratio between its rectilinear 2-colored crossing number and its rectilinear crossing number.
The general spectral radius and majorization theorem of $t$-cone graphs with given degree sequences
The general spectral radius of a graph $G$, denoted by $Θ(G,α)$, is the maximal eigenvalue of $M_α(G)=A(G)+αD(G)$ $(α\geq 0)$, where $A(G)$ and $D(G)$ are the adjacency matrix and the diagonal matrix of vertex degrees of $G$, respectively. A graph $G$ is called $Θ_α$-maximal in a class of connected simple graphs $\mathcal {G}$ if $Θ(G,α)$ is maximal among all graphs of $\mathcal {G}$. A $t$-cone $c$-cyclic graph is the join of a complete graph $K_t$ and a $c$-cyclic connected simple graph. Let $π=\big(d_1,d_2,\ldots,d_n\big)$ and $π'=\big(d'_1,d'_2,\ldots,d'_n\big)$ be two non-increasing degree sequences of $t$-cone $c$-cyclic graphs with $n$ vertices. We say $π$ is strictly majorized by $π'$, denoted by $π\lhd π'$, if $π\neq π'$, $\sum_{i=1}^n d_i=\sum_{i=1}^n d_i'$, and $\sum_{i=1}^k d_i\leq \sum_{i=1}^k d_i'$ for $k=1,2,\ldots,n-1$. Denote by $Γ(π,t;c)$ the class of $t$-cone $c$-cyclic graphs with $π$ as its degree sequence. In this paper, we determine some properties of $Θ_α$-maximal graphs of $Γ(π,t;c)$ and characterize the unique $Θ_α$-maximal graph of $Γ(π,t;0)$ \big(resp. $Γ(π,t;1)$ and $Γ(π,t;2)$\big). Moreover, we prove that if $π\lhd π'$, $G$ and $G'$ are the $Θ_α$-maximal graphs of $Γ(π,t;c)$ and $Γ(π',t;c)$ respectively, then $Θ(G,α)<Θ(G',α)$ for $c\in \big\{0,1\big\}$, and we also consider the similar result for $c=2$.
Quasirandom quantum channels
Published in Quantum 4, 298 (2020)
• View Publication
• BIB
Mixing (or quasirandom) properties of the natural transition matrix associated to a graph can be quantified by its distance to the complete graph. Different mixing properties correspond to different norms to measure this distance. For dense graphs, two such properties known as spectral expansion and uniformity were shown to be equivalent in seminal 1989 work of Chung, Graham and Wilson. Recently, Conlon and Zhao extended this equivalence to the case of sparse vertex transitive graphs using the famous Grothendieck inequality. Here we generalize these results to the non-commutative, or `quantum', case, where a transition matrix becomes a quantum channel. In particular, we show that for irreducibly covariant quantum channels, expansion is equivalent to a natural analog of uniformity for graphs, generalizing the result of Conlon and Zhao. Moreover, we show that in these results, the non-commutative and commutative (resp.) Grothendieck inequalities yield the best-possible constants.
Clustered Variants of Hajós' Conjecture
Published in J. Combin. Theory Ser. B 152 (2022), 27--54
• View Publication
• BIB
Hajós conjectured that every graph containing no subdivision of the complete graph $K_{s+1}$ is properly $s$-colorable. This conjecture was disproved by Catlin. Indeed, the maximum chromatic number of such graphs is $Ω(s^2/\log s)$. We prove that $O(s)$ colors are enough for a weakening of this conjecture that only requires every monochromatic component to have bounded size (so-called clustered coloring). Our approach leads to more results. Say that a graph is an almost $(\leq 1)$-subdivision of a graph $H$ if it can be obtained from $H$ by subdividing edges, where at most one edge is subdivided more than once. Note that every graph with no $H$-subdivision does not contain an almost $(\leq 1)$-subdivision of $H$. We prove the following (where $s \geq 2$):
(1) Graphs of bounded treewidth and with no almost $(\leq 1)$-subdivision of $K_{s+1}$ are $s$-choosable with bounded clustering.
(2) For every graph $H$, graphs with no $H$-minor and no almost $(\leq 1)$-subdivision of $K_{s+1}$ are $(s+1)$-colorable with bounded clustering.
(3) For every graph $H$ of maximum degree at most $d$, graphs with no $H$-subdivision and no almost $(\leq 1)$-subdivision of $K_{s+1}$ are $\max\{s+3d-5,2\}$-colorable with bounded clustering.
(4) For every graph $H$ of maximum degree $d$, graphs with no $K_{s,t}$ subgraph and no $H$-subdivision are $\max\{s+3d-4,2\}$-colorable with bounded clustering.
(5) Graphs with no $K_{s+1}$-subdivision are $(4s-5)$-colorable with bounded clustering.
The first result shows that the weakening of Hajós' conjecture is true for graphs of bounded treewidth in a stronger sense; the final result is the first $O(s)$ bound on the clustered chromatic number of graphs with no $K_{s+1}$-subdivision.
Hajós and Ore constructions for digraphs
Published
• View Publication
• BIB
The chromatic number $\overrightarrowχ(D)$ of a digraph $D$ is the minimum number of colors needed to color the vertices of $D$ such that each color class induces an acyclic subdigraph of $D$. A digraph $D$ is $k$-critical if $\overrightarrowχ(D) = k$ but $\overrightarrowχ(D') < k$ for all proper subdigraphs $D'$ of $D$. We examine methods for creating infinite families of critical digraphs, the Dirac join and the directed and bidirected Hajós join. We prove that a digraph $D$ has chromatic number at least $k$ if and only if it contains a subdigraph that can be obtained from bidirected complete graphs on $k$ vertices by (directed) Hajós joins and identifying non-adjacent vertices. Building upon that, we show that a digraph $D$ has chromatic number at least $k$ if and only if it can be constructed from bidirected $K_k$'s by using directed and bidirected Hajós joins and identifying non-adjacent vertices (so called Ore joins), thereby transferring a well-known result of Urquhart to digraphs. Finally, we prove a Gallai-type theorem that characterizes the structure of the low vertex subdigraph of a critical digraph, that is, the subdigraph, which is induced by the vertices that have in-degree $k-1$ and out-degree $k-1$ in $D$.
On the anti-Ramsey number of forests
Published
• View Publication
• BIB
We call a subgraph of an edge-colored graph rainbow subgraph, if all of its edges have different colors. The anti-Ramsey number of a graph $G$ in a complete graph $K_{n}$, denoted by $ar(K_{n}, G)$, is the maximum number of colors in an edge-coloring of $K_{n}$ with no rainbow subgraph copy of $G$. In this paper, we determine the exact value of the anti-Ramsey number for star forests and the approximate value of the anti-Ramsey number for linear forests. Furthermore, we compute the exact value of $ar(K_{n}, 2P_{4})$ for $n\ge 8$ and $ar(K_{n}, S_{p,q})$ for large $n$, where $S_{p,q}$ is the double star with $p+q$ leaves.
Domination in direct products of complete graphs
Published
• View Publication
• BIB
Let $X_{n}$ denote the unitary Cayley graph of $\mathbb{Z}/n\mathbb{Z}$. We continue the study of cases in which the inequality $γ_t(X_n) \le g(n)$ is strict, where $γ_t$ denotes the total domination number, and $g$ is the arithmetic function known as Jacobsthal's function. The best that is currently known in this direction is a construction of Burcroff which gives a family of $n$ with arbitrarily many prime factors that satisfy $γ_t(X_n) \le g(n)-2$. We present a new interpretation of the problem which allows us to use recent results on the computation of Jacobsthal's function to construct $n$ with arbitrarily many prime factors that satisfy $γ_t(X_n) \le g(n)-16$. We also present new lower bounds on the domination numbers of direct products of complete graphs, which in turn allow us to derive new asymptotic lower bounds on $γ(X_n)$, where $γ$ denotes the domination number. Finally, resolving a question of Defant and Iyer, we completely classify all graphs $G = \prod_{i=1}^t K_{n_i}$ satisfying $γ(G) = t+2$.
Modular Construction of Free Hyperplane Arrangements
Published in SIGMA 16 (2020), 080, 19 pages
• View Publication
• BIB
In this article, we study freeness of hyperplane arrangements. One of the most investigated arrangement is a graphic arrangement. Stanley proved that a graphic arrangement is free if and only if the corresponding graph is chordal and Dirac showed that a graph is chordal if and only if the graph is obtained by "gluing" complete graphs. We will generalize Dirac's construction to simple matroids with modular joins introduced by Ziegler and show that every arrangement whose associated matroid is constructed in the manner mentioned above is divisionally free. Moreover, we apply the result to arrangements associated with gain graphs and arrangements over finite fields.
Affine flag graphs and classification of a family of symmetric graphs with complete quotients
Published in Discrete Math. 342 (2019) 1792-1798
• View Publication
• BIB
A graph $Γ$ is $G$-symmetric if $G$ is a group of automorphisms of $Γ$ which is transitive on the set of ordered pairs of adjacent vertices of $Γ$. If $V(Γ)$ admits a nontrivial $G$-invariant partition ${\cal B}$ such that for blocks $B, C \in {\cal B}$ adjacent in the quotient graph $Γ_{\cal B}$ of $Γ$ relative to ${\cal B}$, exactly one vertex of $B$ has no neighbour in $C$, then $Γ$ is called an almost multicover of $Γ_{\cal B}$. In this case an incidence structure with point set ${\cal B}$ arises naturally, and it is a $(G, 2)$-point-transitive and $G$-block-transitive 2-design if in addition $Γ_{\cal B}$ is a complete graph. In this paper we classify all $G$-symmetric graphs $Γ$ such that (i) ${\cal B}$ has block size $|B| \ge 3$; (ii) $Γ_{\cal B}$ is complete and almost multi-covered by $Γ$; (iii) the incidence structure involved is a linear space; and (iv) $G$ contains a regular normal subgroup which is elementary abelian. This classification together with earlier results in [A. Gardiner and C. E. Praeger, Australas. J. Combin. 71 (2018) 403--426], [M.~Giulietti et al., J. Algebraic Combin. 38 (2013) 745--765] and [T. Fang et al., Electronic J. Combin. 23 (2) (2016) P2.27] completes the classification of symmetric graphs satisfying (i) and (ii).
Edge-transitive embeddings of complete graphs
Published
• View Publication
• BIB
Building on earlier work of Biggs, James, Wilson and the author, and using the Graver-Watkins description of the 14 classes of edge-transitive maps, we complete the classification of the edge-transitive embeddings of complete graphs.
$C_4$ and $C_6$ decomposition of the tensor product of complete graphs
Published
• View Publication
• BIB
Let $G$ be a simple and finite graph. A graph is said to be \textit{decomposed} into subgraphs $H_1$ and $H_2$ which is denoted by $G= H_1 \oplus H_2$, if $G$ is the edge disjoint union of $H_1$ and $H_2$. If $G= H_1 \oplus H_2 \oplus H_3 \oplus \cdots \oplus H_k$, where\ $H_1$,$H_2$,$H_3$, ..., $H_k$ are all isomorphic to $H$, then $G$ is said to be $H$-decomposable. Futhermore, if $H$ is a cycle of length $m$ then we say that $G$ is $C_m$-decomposable and this can be written as $C_m|G$. Where $ G\times H$ denotes the tensor product of graphs $G$ and $H$, in this paper, we prove the necessary and sufficient conditions for the existence of $C_4$-decomposition (respectively, $C_6$-decomposition ) of $K_m \times K_n$. Using these conditions it can be shown that every even regular complete multipartite graph $G$ is $C_4$-decomposable (respectively, $C_6$-decomposable) if the number of edges of $G$ is divisible by $4$ (respectively, $6$).
Phase Transitions of Best-of-Two and Best-of-Three on Stochastic Block Models
Published
• View Publication
• BIB
This paper is concerned with voting processes on graphs where each vertex holds one of two different opinions. In particular, we study the \emph{Best-of-two} and the \emph{Best-of-three}. Here at each synchronous and discrete time step, each vertex updates its opinion to match the majority among the opinions of two random neighbors and itself (the Best-of-two) or the opinions of three random neighbors (the Best-of-three). Previous studies have explored these processes on complete graphs and expander graphs, but we understand significantly less about their properties on graphs with more complicated structures.
In this paper, we study the Best-of-two and the Best-of-three on the stochastic block model $G(2n,p,q)$, which is a random graph consisting of two distinct Erdős-Rényi graphs $G(n,p)$ joined by random edges with density $q\leq p$. We obtain two main results. First, if $p=ω(\log n/n)$ and $r=q/p$ is a constant, we show that there is a phase transition in $r$ with threshold $r^*$ (specifically, $r^*=\sqrt{5}-2$ for the Best-of-two, and $r^*=1/7$ for the Best-of-three). If $r>r^*$, the process reaches consensus within $O(\log \log n+\log n/\log (np))$ steps for any initial opinion configuration with a bias of $Ω(n)$. By contrast, if $r<r^*$, then there exists an initial opinion configuration with a bias of $Ω(n)$ from which the process requires at least $2^{Ω(n)}$ steps to reach consensus. Second, if $p$ is a constant and $r>r^*$, we show that, for any initial opinion configuration, the process reaches consensus within $O(\log n)$ steps. To the best of our knowledge, this is the first result concerning multiple-choice voting for arbitrary initial opinion configurations on non-complete graphs.
Decomposition of Cartesian Product of Complete Graphs into Sunlet Graphs of Order Eight
Published
• View Publication
• BIB
we define the sunlet graph is the graph obtained by taking one copy of the cycle and joined every vertex of the cycle to an exactly one pendant vertex such that the degree of each vertex in the cycle is three. In this paper, we establish necessary and sufficient conditions for the existence of decomposition of the Cartesian product of complete graphs into sunlet graph of order eight.
Minimum coprime graph labelings
A coprime labeling of a graph $G$ is a labeling of the vertices of $G$ with distinct integers from $1$ to $k$ such that adjacent vertices have coprime labels. The minimum coprime number of $G$ is the least $k$ for which such a labeling exists. In this paper, we determine the minimum coprime number for several well-studied classes of graphs, including the coronas of complete graphs with empty graphs and the joins of two paths. In particular, we resolve a conjecture of Seoud, El Sonbaty, and Mahran and two conjectures of Asplund and Fox. We also provide an asymptotic for the minimum coprime number of the Erdős-Rényi random graph.
Thresholds in random motif graphs
We introduce a natural generalization of the Erdős-Rényi random graph model in which random instances of a fixed motif are added independently. The binomial random motif graph $G(H,n,p)$ is the random (multi)graph obtained by adding an instance of a fixed graph $H$ on each of the copies of $H$ in the complete graph on $n$ vertices, independently with probability $p$. We establish that every monotone property has a threshold in this model, and determine the thresholds for connectivity, Hamiltonicity, the existence of a perfect matching, and subgraph appearance. Moreover, in the first three cases we give the analogous hitting time results; with high probability, the first graph in the random motif graph process that has minimum degree one (or two) is connected and contains a perfect matching (or Hamiltonian respectively).
$\ell^1$-Cospectrality of graphs
The following problem has been proposed in [Research problems from the Aveiro workshop on graph spectra, {\em Linear Algebra and its Applications}, {\bf 423} (2007) 172-181.]:\\ (Problem AWGS.4) Let $G_n$ and $G'_n$ be two nonisomorphic graphs on $n$ vertices with spectra $$λ_1 \geq λ_2 \geq \cdots \geq λ_n \;\;\;\text{and}\;\;\; λ'_1 \geq λ'_2 \geq \cdots \geq λ'_n,$$ respectively. Define the distance between the spectra of $G_n$ and $G'_n$ as $$λ(G_n,G'_n) =\sum_{i=1}^n (λ_i-λ'_i)^2 \;\;\; \big(\text{or use}\; \sum_{i=1}^n|λ_i-λ'_i|\big).$$ %Let $ε$ be a nonnegative number. Graphs $G_n$ and $G'_n$ are $ε$-cospectral if $λ(G_n,G'_n)\leq ε$. Thus, $G_n$ %and $G'_n$ are $0$-cospectral if and only if $G_n$ and $G'_n$ are cospectral. Define the cospectrality of $G_n$ by $$\text{cs}(G_n) = \min\{λ(G_n,G'_n) \;:\; G'_n \;\;\text{not isomorphic to} \; G_n\}.$$ %Thus $\text{cs}(G_n) = 0$ if and only if $G_n$ has a cospectral mate. %This function measures how far apart the spectrum of a graph with $n$ vertices can be from the %spectrum of any other graph with $n$ vertices.\\ {\bf Problem A.} Investigate $\text{cs}(G_n)$ for special classes of graphs.
In this paper we study Problem A for certain graphs with respect to the $\ell^1$-norm, i.e. $σ(G_n,G'_n)=\sum_{i=1}^n|λ_i-λ'_i|$. We find $\text{cs}(K_n)$, $\text{cs}(nK_1)$, $\text{cs}(K_2+(n-2)K_1)$ ($n\geq 2$), $\text{cs}(K_{n,n})$ and $\text{cs}(K_{n,n+1})$, where $K_n, nK_1, K_2+(n-2)K_1, K_{n,m} $ denote the complete graph on $n$ vertices, the null graph on $n$ vertices, the disjoint union of the $K_2$ with $n-2$ isolated vertices ($n\geq 2$), and the complete bipartite graph with parts of sizes $n$ and $m$, respectively.
Spanning Structures in Walker--Breaker Games
Published in Fundamenta Informaticae, Volume 185, Issue 1 (March 10, 2022) fi:9064
• View Publication
• BIB
We study the biased $(2:b)$ Walker--Breaker games, played on the edge set of the complete graph on $n$ vertices, $K_n$. These games are a variant of the Maker--Breaker games with the restriction that Walker (playing the role of Maker) has to choose her edges according to a walk. We look at the two standard graph games -- the Connectivity game and the Hamilton Cycle game and show that Walker can win both games even when playing against Breaker whose bias is of the order of magnitude $n/ \ln n$.
Formulas counting spanning trees in line graphs and their extensions
For any connected multigraph $G=(V,E)$ and any $M\subseteq E$, if $M$ induces an acyclic subgraph of $G$ and removing all edges in $M$ yields a subgraph of $G$ whose components are complete graphs, a formula for $τ_G(M)$ is obtained, where $τ_G(M)$ is the number of spanning trees in $G$ which contain all edges in $M$. Applying this result, we can easily obtain a formula for the number of spanning trees in the line graph or the middle graph of an arbitrary graph. Applying this result, we also show that for any connected graph $G$ with a clique $U$ which is a cut-set of $G$, the number of spanning trees in $G$ has a factorization which is analogous to a property of the chromatic polynomial of $G$.
An Ongoing Project to Improve the Rectilinear and the Pseudolinear Crossing Constants
Published
• View Publication
• BIB
A drawing of a graph in the plane is {\it pseudolinear} if the edges of the drawing can be extended to doubly-infinite curves that form an arrangement of pseudolines, that is, any pair of edges crosses precisely once. A special case are {\it rectilinear} drawings where the edges of the graph are drawn as straight line segments. The rectilinear (pseudolinear) crossing number of a graph is the minimum number of pairs of edges of the graph that cross in any of its rectilinear (pseudolinear) drawings. In this paper we describe an ongoing project to continuously obtain better asymptotic upper bounds on the rectilinear and pseudolinear crossing number of the complete graph $K_n$.