complete graph
2194 papers tagged with this keyword
Transitive and Gallai colorings
Published
• View Publication
• BIB
A Gallai coloring of the complete graph is an edge-coloring with no rainbow triangle. This concept first appeared in the study of comparability graphs and anti-Ramsey theory. We introduce a transitive analogue for acyclic directed graphs, and generalize both notions to Coxeter systems, matroids and commutative algebras.
It is shown that for any finite matroid (or oriented matroid), the maximal number of colors is equal to the matroid rank. This generalizes a result of Erdős-Simonovits-Sós for complete graphs. The number of Gallai (or transitive) colorings of the matroid that use at most $k$ colors is a polynomial in $k$. Also, for any acyclic oriented matroid, represented over the real numbers, the number of transitive colorings using at most 2 colors is equal to the number of chambers in the dual hyperplane arrangement.
We count Gallai and transitive colorings of the root system of type A using the maximal number of colors, and show that, when equipped with a natural descent set map, the resulting quasisymmetric function is symmetric and Schur-positive.
On the spectra of token graphs of cycles and other graphs
Published
• View Publication
• BIB
The $k$-token graph $F_k(G)$ of a graph $G$ is the graph whose vertices are the $k$-subsets of vertices from $G$, two of which being adjacent whenever their symmetric difference is a pair of adjacent vertices in $G$. It is a known result that the algebraic connectivity (or second Laplacian eigenvalue) of $F_k(G)$ equals the algebraic connectivity of $G$.
In this paper, we first give results that relate the algebraic connectivities of a token graph and the same graph after removing a vertex. Then, we prove the result on the algebraic connectivity of 2-token graphs for two infinite families: the odd graphs $O_r$ for all $r$, and the multipartite complete graphs $K_{n_1,n_2,\ldots,n_r}$ for all $n_1,n_2,\ldots,n_r$ In the case of cycles, we present a new method that allows us to compute the whole spectrum of $F_2(C_n)$. This method also allows us to obtain closed formulas that give asymptotically exact approximations for most of the eigenvalues of $F_2(\textit{}C_n)$.
The Rational Number Game
Published
• View Publication
• BIB
We investigate a game played between two players, Maker and Breaker, on a countably infinite complete graph where the vertices are the rational numbers. The players alternately claim unclaimed edges. It is Maker's goal to have after countably many turns a complete infinite graph contained in her coloured edges where the vertex set of the subgraph is order-isomorphic to the rationals. It is Breaker's goal to prevent Maker from achieving this. We prove that there is a winning strategy for Maker in this game. We also prove that there is a winning strategy for Breaker in the game where Maker must additionally make the vertex set of her complete graph dense in the rational numbers.
Eigenvalues of some classes of signed complete graphs
In this work, we discuss some properties of the eigenvalues of some classes of signed complete graphs. We also obtain the form of characteristic polynomial for these graphs.
Almost partitioning every $2$-edge-coloured complete $k$-graph into $k$ monochromatic tight cycles
Published
• View Publication
• BIB
A $k$-uniform tight cycle is a $k$-graph with a cyclic order of its vertices such that every $k$ consecutive vertices from an edge. We show that for $k\geq 3$, every red-blue edge-coloured complete $k$-graph on $n$ vertices contains $k$ vertex-disjoint monochromatic tight cycles that together cover $n - o(n)$ vertices.
Induced subgraphs and tree decompositions XI. Local structure in even-hole-free graphs of large treewidth
We prove a conjecture of Sintiari and Trotignon that every even-hole-free graph of sufficiently large treewidth contains a four-vertex induced subgraph with at least five edges (that is, either the four-vertex complete graph or the unique four-vertex graph with five edges, also known as the diamond).
In fact, we prove two stronger results: (a) For every $K_4$-free chordal graph $H$, every even-hole-free graph of sufficiently large treewidth contains either a four-vertex complete subgraph or an induced subgraph isomorphic to $H$ (when $H$ is the diamond, this yields their conjecture); and (b) For every $K_3$-free chordal graph $H$ (equivalently, for every forest $H$) and every $t \in \mathbb{N}$, every even-hole-free graph of sufficiently large treewidth contains either a $t$-vertex complete subgraph or an induced subgraph obtained from $H$ by adding a universal vertex (when $t=4$ and $H$ is the three-vertex path, this yields their conjecture).
The choice of $H$ in both result is best possible: (a) fails for every graph $H$ that is not $K_4$-free and chordal, and (b) fails for every graph $H$ that is not a forest.
Resistance distance in $k$-coalescence of certain graphs
Any graph can be considered as a network of resistors, each of which has a resistance of $1 Ω.$ The resistance distance $r_{ij}$ between a pair of vertices $i$ and $j$ in a graph is defined as the effective resistance between $i$ and $j$. This article deals with the resistance distance in the $k$-coalescence of complete graphs. We also present its results in connection with the Kemeny's constant, Kirchhoff index, additive degree-Kirchhoff index, multiplicative degree-Kirchhoff index and mixed degree-Kirchhoff index. Moreover, we obtain the resistance distance in the $k$-coalescence of a complete graph with particular graphs. As an application, we provide the resistance distance of certain graphs such as the vertex coalescence of a complete bipartite graph with a complete graph, a complete bipartite graph with a star graph, the windmill graph, pineapple graph, etc.
The $K^4$-Game
We investigate a two player game called the $K^4$-building game: two players alternately claim edges of an infinite complete graph. Each player's aim is to claim all six edges on some vertex set of size four for themself. The first player to accomplish this goal is declared the winner of the game. We present a winning strategy which guarantees a win for the first player.
Generalized Ramsey numbers at the linear and quadratic thresholds
Published
• View Publication
• BIB
The generalized Ramsey number $f(n, p, q)$ is the smallest number of colors needed to color the edges of the complete graph $K_n$ so that every $p$-clique spans at least $q$ colors. Erdős and Gyárfás showed that $f(n, p, q)$ grows linearly in $n$ when $p$ is fixed and $q=q_{\text{lin}}(p):=\binom p2-p+3$. Similarly they showed that $f(n, p, q)$ is quadratic in $n$ when $p$ is fixed and $q=q_{\text{quad}}(p):=\binom p2-\frac p2+2$. In this note we improve on the known estimates for $f(n, p, q_{\text{lin}})$ and $f(n, p, q_{\text{quad}})$. Our proofs involve establishing a significant strengthening of a previously known connection between $f(n, p, q)$ and another extremal problem first studied by Brown, Erdős and Sós, as well as building on some recent progress on this extremal problem by Delcourt and Postle and by Shangguan. Also, our upper bound on $f(n, p, q_{\text{lin}})$ follows from an application of the recent forbidden submatchings method of Delcourt and Postle.
Factoring complete graphs and hypergraphs into factors with few maximal cliques
Published in ANNALES UNIV. SCI. BUDAPEST., SECT. MATH. 65 (2022), 9-30
• Search Publication
For integers $r,t\geq2$ and $n\geq1$ let $f_r(t,n)$ be the minimum, over all factorizations of the complete $r$-uniform hypergraph of order $n$ into $t$ factors $H_1,\dots,H_t$, of $\sum_{i=1}^tc(H_i)$ where $c(H_i)$ is the number of maximal cliques in $H_i$. It is known that $f_2(2,n)=n+1$; in fact, if $G$ is a graph of order $n$, then $c(G)+c(\overline G)\geq n+1$ with equality iff $ω(G)+α(G)=n+1$ where $ω$ is the clique number and $α$ the independence number. In this paper we investigate $f_r(t,n)$ when $r>2$ or $t>2$. We also characterize graphs $G$ of order $n$ with $c(G)+c(\overline G)=n+2$.
2-Coupon Coloring of Cubic Graphs Containing 3-Cycle or 4-Cycle
Published
• View Publication
• BIB
Let $G$ be a graph. A total dominating set in a graph $G$ is a set $S$ of vertices of $G$ such that every vertex in $G$ is adjacent to a vertex in $S$. Recently, the following question was proposed: "Is it true that every connected cubic graph containing a $3$-cycle has two vertex disjoint total dominating sets?" In this paper, we give a negative answer to this question. Moreover, we prove that if we replace $3$-cycle with $4$-cycle the answer is affirmative. This implies every connected cubic graph containing a diamond (the complete graph of order $4$ minus one edge) as a subgraph can be partitioned into two total dominating sets, a result that was proved in 2017.
Laplacian $\{-1,0,1\}$- and $\{-1,1\}$-diagonalizable graphs
Published in Linear Algebra and its Applications, 704:309-339, 2025
• View Publication
• BIB
A graph is called "Laplacian integral" if the eigenvalues of its Laplacian matrix are all integers. We investigate the subset of these graphs whose Laplacian is furthermore diagonalized by a matrix with entries coming from a fixed set, in particular, the sets $\{-1,0,1\}$ or $\{-1,1\}$. Such graphs include as special cases the recently-investigated families of "Hadamard-diagonalizable" and "weakly Hadamard-diagonalizable" graphs. As a combinatorial tool to aid in our investigation, we introduce a family of vectors that we call "balanced", which generalizes totally balanced partitions, regular sequences, and complete partitions. We show that balanced vectors completely characterize which graph complements and complete multipartite graphs are $\{-1,0,1\}$-diagonalizable, and we furthermore prove results on diagonalizability of the Cartesian product, disjoint union, and join of graphs. Particular attention is paid to the $\{-1,0,1\}$- and $\{-1,1\}$-diagonalizability of the complete graphs and complete multipartite graphs. Finally, we provide a complete list of all simple, connected graphs on nine or fewer vertices that are $\{-1,0,1\}$- or $\{-1,1\}$-diagonalizable.
Distance-regular Cayley graphs over $\mathbb{Z}_{p^s}\oplus\mathbb{Z}_{p}$
Published
• View Publication
• BIB
In [Distrance-regular Cayley graphs on dihedral groups, J. Combin. Theory Ser B 97 (2007) 14--33], Miklavič and Potočnik proposed the problem of characterizing distance-regular Cayley graphs, which can be viewed as an extension of the problem of identifying strongly regular Cayley graphs, or equivalently, regular partial difference sets. In this paper, all distance-regular Cayley graphs over $\mathbb{Z}_{p^s}\oplus\mathbb{Z}_{p}$ with $p$ being an odd prime are determined. It is shown that every such graph is isomorphic to a complete graph, a complete multipartite graph, or the line graph of a transversal design $TD(r,p)$ with $2\leq r\leq p-1$.
Symmetric Nonnegative Trifactorization of Pattern Matrices
Published in Linear Algebra and its Applications (2024)
• View Publication
• BIB
A factorization of an $n \times n$ nonnegative symmetric matrix $A$ of the form $BCB^T$, where $C$ is a $k \times k$ symmetric matrix, and both $B$ and $C$ are required to be nonnegative, is called the Symmetric Nonnegative Matrix Trifactorization (SN-Trifactorization). The SNT-rank of $A$ is the minimal $k$ for which such factorization exists. The SNT-rank of a simple graph $G$ that allows loops is defined to be the minimal possible SNT-rank of all symmetric nonnegative matrices whose zero-nonzero pattern is prescribed by a given graph.
We define set-join covers of graphs, and show that finding the SNT-rank of $G$ is equivalent to finding the minimal order of a set-join cover of $G$. Using this insight we develop basic properties of the SNT-rank for graphs and compute it for trees and cycles without loops. We show the equivalence between the SNT-rank for complete graphs and the Katona problem, and discuss uniqueness of patterns of matrices in the factorization.
A study of $4-$cycle systems
A $4-$cycle system is a partition of the edges of the complete graph $K_n$ into $4-$cycles. Let ${ C}$ be a collection of cycles of length 4 whose edges partition the edges of $K_n$. A set of 4-cycles $T_1 \subset C$ is called a 4-cycle trade if there exists a set $T_2$ of edge-disjoint 4-cycles on the same vertices, such that $({C} \setminus T_1)\cup T_2$ also is a collection of cycles of length 4 whose edges partition the edges of $K_n$.
We study $4-$cycle trades of volume two (double-diamonds) and three and show that the set of all 4-CS(9) is connected with respect of trading with trades of volume 2 (double-diamond) and 3.
In addition, we present a full rank matrix whose null-space is containing trade-vectors.
Multicolor Ramsey numbers on stars versus pat
For given simple graphs $H_1,H_2,\dots,H_c$, the multicolor Ramsey number $R(H_1,H_2,\dots,H_c)$ is defined as the smallest positive integer $n$ such that for an arbitrary edge-decomposition $\{G_i\}^c_{i=1}$ of the complete graph $K_n$, at least one $G_i$ has a subgraph isomorphic to $H_i$. Let $m,n_1,n_2,\dots,n_c$ be positive integers and $Σ=\sum_{i=1}^{c}(n_i-1)$. Some bounds and exact values of $R(K_{1,n_1},\dots,K_{1,n_c},P_m)$ have been obtained in literature. Wang (Graphs Combin., 2020) conjectured that if $Σ\not\equiv 0\pmod{m-1}$ and $Σ+1\ge (m-3)^2$, then $R(K_{1,n_1},\ldots, K_{1,n_c}, P_m)=Σ+m-1.$ In this note, we give a new lower bound and some exact values of $R(K_{1,n_1},\dots,K_{1,n_c},P_m)$ when $m\leqΣ$, $Σ\equiv k\pmod{m-1}$, and $2\leq k \leq m-2$. These results partially confirm Wang's conjecture.
The degree threshold for covering with all the connected $3$-graphs with $3$ edges
Published
• View Publication
• BIB
Given two $r$-uniform hypergraphs $F$ and $H$, we say that $H$ has an $F$-covering if every vertex in $H$ is contained in a copy of $F$. Let $c_{i}(n,F)$ be the least integer such that every $n$-vertex $r$-graph $H$ with $δ_{i}(H)>c_i(n,F)$ has an $F$-covering. Falgas-Ravry, Markstöm and Zhao (Combin. Probab. Comput., 2021) asymptotically determined $c_1(n,K_{4}^{(3)-})$, where $K_{4}^{(3)-}$ is obtained by deleting an edge from the complete $3$-graph on $4$ vertices. Later, Tang, Ma and Hou (arXiv, 2022) asymptotically determined $c_1(n,C_{6}^{(3)})$, where $C_{6}^{(3)}$ is the linear triangle, i.e. $C_{6}^{(3)}=([6],\{123,345,561\})$. In this paper, we determine $c_1(n,F_5)$ asymptotically, where $F_5$ is the generalized triangle, i.e. $F_5=([5],\{123,124,345\})$. We also determine the exact values of $c_1(n,F)$, where $F$ is any connected $3$-graphs with $3$ edges and $F\notin\{K_4^{(3)-}, C_{6}^{(3)}, F_5\}$.
Transitive path decompositions of Cartesian products of complete graphs
Published
• View Publication
• BIB
An $H$-decomposition of a graph $Γ$ is a partition of its edge set into subgraphs isomorphic to $H$. A transitive decomposition is a special kind of $H$-decomposition that is highly symmetrical in the sense that the subgraphs (copies of $H$) are preserved and transitively permuted by a group of automorphisms of $Γ$. This paper concerns transitive $H$-decompositions of the graph $K_n \Box K_n$ where $H$ is a path. When $n$ is an odd prime, we present a construction for a transitive path decomposition where the paths in the decomposition are considerably large compared to the number of vertices. Our main result supports well-known Gallai's conjecture and an extended version of Ringel's conjecture.
Galois points for a finite graph
This paper introduces the notion of a Galois point for a finite graph, using the theory of linear systems of divisors for graphs discovered by Baker and Norine. We present a new characterization of complete graphs in terms of Galois points.
A survey on constructive methods for the Oberwolfach problem and its variants
Published
• View Publication
• BIB
The generalized Oberwolfach problem asks for a decomposition of a graph $G$ into specified 2-regular spanning subgraphs $F_1,\ldots, F_k$, called factors. The classic Oberwolfach problem corresponds to the case when all of the factors are pairwise isomorphic, and $G$ is the complete graph of odd order or the complete graph of even order with the edges of a $1$-factor removed. When there are two possible factor types, it is called the Hamilton-Waterloo problem.
In this paper we present a survey of constructive methods which have allowed recent progress in this area. Specifically, we consider blow-up type constructions, particularly as applied to the case when each factor consists of cycles of the same length. We consider the case when the factors are all bipartite (and hence consist of even cycles) and a method for using circulant graphs to find solutions. We also consider constructions which yield solutions with well-behaved automorphisms.