complete graph
2162 papers tagged with this keyword
Independence number of hypergraphs under degree conditions
A well-known result of Ajtai et al. from 1982 states that every $k$-graph $H$ on $n$ vertices, with girth at least five, and average degree $t^{k-1}$ contains an independent set of size $c n (\log t)^{1/(k-1)}/t$ for some $c>0$. In this paper we show that an independent set of the same size can be found under weaker conditions allowing certain cycles of length 2, 3 and 4.
Our work is motivated by a problem of Lo and Zhao, who asked for $k\ge 4$, how large of an independent set a $k$-graph $H$ on $n$ vertices necessarily has when its maximum $(k-2)$-degree $Δ_{k-2}(H)\le dn$. (The corresponding problem with respect to $(k-1)$-degrees was solved by Kostochka, Mubayi, and Varstraëte [Random Structures & Algorithms 44, 224--239, 2014].) In this paper we show that every $k$-graph $H$ on $n$ vertices with $Δ_{k-2}(H)\le dn$ contains an independent set of size $c (\frac nd \log\log \frac nd)^{1/(k-1)}$, and under additional conditions, an independent set of size $c (\frac nd \log \frac nd)^{1/(k-1)}$. The former assertion gives a new upper bound for the $(k-2)$-degree Turán density of complete $k$-graphs.
Biembeddings of Archdeacon type: their full automorphism group and their number
Archdeacon, in his seminal paper $[1]$, defined the concept of Heffter array in order to provide explicit constructions of $\mathbb{Z}_{v}$-regular biembeddings of complete graphs $K_v$ into orientable surfaces.
In this paper, we first introduce the quasi-Heffter arrays as a generalization of the concept of Heffer array and we show that, in this context, we can define a $2$-colorable embedding of Archdeacon type of the complete multipartite graph $K_{\frac{v}{t}\times t}$ into an orientable surface. Then, our main goal is to study the full automorphism groups of these embeddings: here we are able to prove, using a probabilistic approach, that, almost always, this group is exactly $\mathbb{Z}_{v}$.
As an application of this result, given a positive integer $t\not\equiv 0\pmod{4}$, we prove that there are, for infinitely many pairs of $v$ and $k$, at least $(1-o(1)) \frac{(\frac{v-t}{2})!}{φ(v)} $ non-isomorphic biembeddings of $K_{\frac{v}{t}\times t}$ whose face lengths are multiples of $k$. Here $φ(\cdot)$ denotes the Euler's totient function. Moreover, in case $t=1$ and $v$ is a prime, almost all these embeddings define faces that are all of the same length $kv$, i.e. we have a more than exponential number of non-isomorphic $kv$-gonal biembeddings of $K_{v}$.
A $C_{4}$-decomposition of the $λ$-fold line graph of $K_{m,n}$
The small cycle decompositions of line graph ($λ$-fold line graph) of complete graphs and complete bipartite graphs are studied by many papers. In particular, Colby and Rodger obtained necessary and sufficient conditions for the existence of a $C_{4}$-decomposition of the $λ$-fold line graph of $K_{n}$, and Ganesamurthy and Paulraja completely determined the values of $n$ and $λ$ for which the $λ$-fold line graph of $K_{n}$ has a $C_{5}$-decomposition. In this paper, we obtain the necessary and sufficient condition for the existence of a $C_{4}$-decomposition of the $λ$-fold line graph of $K_{m,n}$.
Bunkbed conjecture for complete bipartite graphs and related classes of graphs
Let $G = (V,E)$ be a simple finite graph. The corresponding bunkbed graph $G^\pm$ consists of two copies $G^+ = (V^+,E^+),G^- = (V^-,E^-)$ of $G$ and additional edges connecting any two vertices $v_+ \in V_+,v_- \in V_-$ that are the copies of a vertex $v \in V$. The bunkbed conjecture states that for independent bond percolation on $G^\pm$, for all $v,w \in V$, it is more likely for $v_-,w_-$ to be connected than for $v_-,w_+$ to be connected. While this seems very plausible, so far surprisingly little is known rigorously. Recently the conjecture has been proved for complete graphs. Here we give a proof for complete bipartite graphs, complete graphs minus the edges of a complete subgraph, and symmetric complete $k$-partite graphs.
Balanced subdivisions of cliques in graphs
Published
• View Publication
• BIB
Given a graph $H$, a balanced subdivision of $H$ is a graph obtained from $H$ by subdividing every edge the same number of times. In 1984, Thomassen conjectured that for each integer $k\ge 1$, high average degree is sufficient to guarantee a balanced subdivision of $K_k$. Recently, Liu and Montgomery resolved this conjecture. We give an optimal estimate up to an absolute constant factor by showing that there exists $c>0$ such that for sufficiently large $d$, every graph with average degree at least $d$ contains a balanced subdivision of a clique with at least $cd^{1/2}$ vertices. It also confirms a conjecture from Verstra{ë}te: every graph of average degree $cd^2$, for some absolute constant $c>0$, contains a pair of disjoint isomorphic subdivisions of the complete graph $K_d$. We also prove that there exists some absolute $c>0$ such that for sufficiently large $d$, every $C_4$-free graph with average degree at least $d$ contains a balanced subdivision of the complete graph $K_{cd}$, which extends a result of Balogh, Liu and Sharifzadeh.
Monochromatic components with many edges
Published
• View Publication
• BIB
Given an $r$-edge-coloring of the complete graph $K_n$, what is the largest number of edges in a monochromatic connected component? This natural question has only recently received the attention it deserves, with work by two disjoint subsets of the authors resolving it for the first two special cases, when $r = 2$ or $3$. Here we introduce a general framework for studying this problem and apply it to fully resolve the $r = 4$ case, showing that any $4$-edge-coloring of $K_n$ contains a monochromatic component with at least $\frac{1}{12}\binom{n}{2}$ edges, where the constant $\frac{1}{12}$ is optimal only when the coloring matches a certain construction of Gyárfás.
Coloring ($P_5$, kite)-free graphs
Let $P_n$ and $K_n$ denote the induced path and complete graph on $n$ vertices, respectively. The {\em kite} is the graph obtained from a $P_4$ by adding a vertex and making it adjacent to all vertices in the $P_4$ except one vertex with degree 1. A graph is ($P_5$, kite)-free if it has no induced subgraph isomorphic to a $P_5$ or a kite. For a graph $G$, the chromatic number of $G$ (denoted by $χ(G)$) is the minimum number of colors needed to color the vertices of $G$ such that no two adjacent vertices receive the same color, and the clique number of $G$ is the size of a largest clique in $G$. Here, we are interested in the class of ($P_5$, kite)-free graphs with small clique number. It is known that every ($P_5$,~kite, $K_3$)-free graph $G$ satisfies $χ(G)\leq 3$, every ($P_5$,~kite, $K_4$)-free graph $G$ satisfies $χ(G)\leq 4$, and that every ($P_5$,~kite, $K_5$)-free graph $G$ satisfies $χ(G)\leq 6$. In this paper, we showed the following:
$\bullet$ Every ($P_5$, kite, $K_6$)-free graph $G$ satisfies $χ(G)\leq 7$.
$\bullet$ Every ($P_5$, kite, $K_7$)-free graph $G$ satisfies $χ(G)\leq 9$.
We also give examples to show that the above bounds are tight.
Rainbow clique subdivisions
Published
• View Publication
• BIB
We show that for any integer $t \ge 2$, every properly edge colored $n$-vertex graph with average degree at least $(\log n)^{2+o(1)}$ contains a rainbow subdivision of a complete graph of size $t$. Note that this bound is within $(\log n)^{1+o(1)}$ factor of the lower bound. This also implies a result on the rainbow Turán number of cycles.
Facets of Random Symmetric Edge Polytopes, Degree Sequences, and Clustering
Published in Discrete Mathematics & Theoretical Computer Science, vol. 25:2, Combinatorics (December 11, 2023) dmtcs:9925
• View Publication
• BIB
Symmetric edge polytopes are lattice polytopes associated with finite simple graphs that are of interest in both theory and applications. We investigate the facet structure of symmetric edge polytopes for various models of random graphs. For an Erdős-Renyi random graph, we identify a threshold probability at which with high probability the symmetric edge polytope shares many facet-supporting hyperplanes with that of a complete graph. We also investigate the relationship between the average local clustering, also known as the Watts-Strogatz clustering coefficient, and the number of facets for graphs with either a fixed number of edges or a fixed degree sequence. We use well-known Markov Chain Monte Carlo sampling methods to generate empirical evidence that for a fixed degree sequence, higher average local clustering in a connected graph corresponds to higher facet numbers in the associated symmetric edge polytope.
The Ceresa class and tropical curves of hyperelliptic type
Published
• View Publication
• BIB
We define a new algebraic invariant of a graph $G$ called the Ceresa-Zharkov class and show that it is trivial if and only if $G$ is of hyperelliptic type, equivalently, $G$ does not have as a minor the complete graph on 4 vertices or the loop of 3 loops. After choosing edge-lengths, this class specializes to an algebraic invariant of a tropical curve with underlying graph $G$ that is closely related to the Ceresa cycle for an algebraic curve defined over $\mathbb{C}(\!(t)\!)$.
Colourings of path systems
Published
• View Publication
• BIB
A $P_m$ path in a graph is a path on $m$ vertices. A $P_m$ system of order $n>1$ is a partition of the edges of the complete graph $K_n$ into $P_m$ paths. A $P_m$ system is said to be $k$-colourable if the vertex set of $K_n$ can be partitioned into $k$ sets called colour classes such that no path in the system is monochromatic. The system is $k$-chromatic if it is $k$-colourable but is not $(k-1)$-colourable. If every $k$-colouring of a $P_m$ system can be obtained from some $k$-colouring $φ$ by a permutation of the colours, we say that the system is uniquely $k$-colourable. In this paper, we first observe that there exists a $k$-chromatic $P_m$ system for any $k\geq 2$ and $m\geq 4$ where $m$ is even. Next, we prove that there exists an equitably 2-chromatic $P_4$ system of order $n$ for each admissible order $n$. We then show that for all $k\geq 3$, there exists a $k$-chromatic $P_4$ system of order $n$ for all sufficiently large admissible $n$. Finally, we show that there exists a uniquely 2-chromatic $P_4$ system of order $n$ for each admissible $n \geq 109$.
Maximum principal ratio of the signless Laplacian of graphs
Published
• View Publication
• BIB
Let $G$ be a connected graph and $Q(G)$ be the signless Laplacian of $G$. The principal ratio $γ(G)$ of $Q(G)$ is the ratio of the maximum and minimum entries of the Perron vector of $Q(G)$. In this paper, we consider the maximum principal ratio $γ(G)$ among all connected graphs of order $n$, and show that for sufficiently large $n$ the extremal graph is a kite graph obtained by identifying an end vertex of a path to any vertex of a complete graph.
Pseudo-Geometric Strongly Regular Graphs with a Regular Point
We study pseudo-geometric strongly regular graphs whose second subconstituent with respect to a vertex is a cover of a strongly regular graph or a complete graph. By studying the structure of such graphs, we characterize all graphs containing such a vertex, and use our characterization to find many new strongly regular graphs. Thereby, we answer a question posed by Gardiner, Godsil, Hensel, and Royle. We give an explicit construction for q new, pairwise non-isomorphic graphs with the same parameters as the collinearity graph of generalized quadrangles of order $(q,q)$ and a new non-geometric graph with the same parameters as the collinearity graph of the Hermitian generalized quadrangle of order $(q^2, q)$, for prime powers $q$. Using our characterization, we computed 135478 new strongly regular graphs with parameters (85,20,3,5) and 27 039 strongly regular graphs with parameters (156, 30, 4, 6).
The evolution of unavoidable bi-chromatic patterns and extremal cases of balanceability
Published
• View Publication
• BIB
We study the color patterns that, for $n$ sufficiently large, are unavoidable in $2$-colorings of the edges of a complete graph $K_n$ with respect to $\min \{e(R), e(B)\}$, where $e(R)$ and $e(B)$ are the numbers of red and, respectively, blue edges. More precisely, we determine how such unavoidable patterns evolve from the case without restriction in the coloring, namely that $\min \{e(R), e(B)\} \ge 0$ (given by Ramsey's theorem), to the highest possible restriction, namely that $|e(R) - e(B)| \le 1$. We also investigate the effect of forbidding certain sub-structures in each color. In particular, we show that, in $2$-colorings whose graphs induced by each of the colors are both free from an induced matching on $r$ edges, the appearance of the unavoidable patterns is already granted with a much weaker restriction on $\min \{e(R), e(B)\}$. We finish analyzing the consequences of these results to the balancing number $bal(n,G)$ of a graph $G$ (i.e. the minimum $k$ such that every $2$-edge coloring of $K_n$ with $\min \{e(R), e(B)\} > k$ contains a copy of $G$ with half the edges in each color), and show that, for every $\varepsilon > 0$, there are graphs $G$ with $bal(n,G) \ge c n^{2-\varepsilon}$, which is the highest order of magnitude that is possible to achieve, as well as graphs where $bal(n,G) \le c(G)$, where $c(G)$ is a constant that depends only $G$. We characterize the latter ones.
Existence of a Non-Zero $(0,1)$-Vector in the Row Space of Adjacency Matrices of Simple Graphs
Published in Bull. Malays. Math. Sci. Soc. (2025) 48:56
• View Publication
• BIB
We look for a non-zero $(0, 1)$-vector in the row space of the adjacency matrix $A(Γ)$ of a graph $Γ,$ provided $Γ$ has at least one edge. Akbari, Cameron, and Khosrovshahi conjectured that there exists a non-zero $(0,1)$-vector in the row space of $A(Γ)$ (over the real numbers) which does not occur as a row of $A(Γ).$ This conjecture can be easily verified for graphs having diameter is equal to $1$ (complete graphs). In this article, we affirmatively prove this conjecture for any graph whose diameter is $\geq 4.$ Furthermore, in the remaining two cases that is, for graphs with diameter is equal to $2$ or $3,$ we report some progress in support of the conjecture.
Partitioning a 2-edge-coloured graph of minimum degree $2n/3 + o(n)$ into three monochromatic cycles
Published
• View Publication
• BIB
Lehel conjectured in the 1970s that every red and blue edge-coloured complete graph can be partitioned into two monochromatic cycles. This was confirmed in 2010 by Bessy and Thomassé. However, the host graph $G$ does not have to be complete. It it suffices to require that $G$ has minimum degree at least $3n/4$, where $n$ is the order of $G$, as was shown recently by Letzter, confirming a conjecture of Balogh, Barát, Gerbner, Gyárfás and Sárközy. This degree condition is asymptotically tight.
Here we continue this line of research, by proving that for every red and blue edge-colouring of an $n$-vertex graph of minimum degree at least $2n/3 + o(n)$, there is a partition of the vertex set into three monochromatic cycles. This approximately verifies a conjecture of Pokrovskiy and is essentially tight.
On Reconfiguration Graphs of Independent Sets under Token Sliding
Published in Graphs and Combinatorics: Vol. 39: Iss. 3, Article 59 (2023)
• View Publication
• BIB
An independent set of a graph $G$ is a vertex subset $I$ such that there is no edge joining any two vertices in $I$. Imagine that a token is placed on each vertex of an independent set of $G$. The $\mathsf{TS}$- ($\mathsf{TS}_k$-) reconfiguration graph of $G$ takes all non-empty independent sets (of size $k$) as its nodes, where $k$ is some given positive integer. Two nodes are adjacent if one can be obtained from the other by sliding a token on some vertex to one of its unoccupied neighbors. This paper focuses on the structure and realizability of these reconfiguration graphs. More precisely, we study two main questions for a given graph $G$: (1) Whether the $\mathsf{TS}_k$-reconfiguration graph of $G$ belongs to some graph class $\mathcal{G}$ (including complete graphs, paths, cycles, complete bipartite graphs, connected split graphs, maximal outerplanar graphs, and complete graphs minus one edge) and (2) If $G$ satisfies some property $\mathcal{P}$ (including $s$-partitedness, planarity, Eulerianity, girth, and the clique's size), whether the corresponding $\mathsf{TS}$- ($\mathsf{TS}_k$-) reconfiguration graph of $G$ also satisfies $\mathcal{P}$, and vice versa. Additionally, we give a decomposition result for splitting a $\mathsf{TS}_k$-reconfiguration graph into smaller pieces.
Proper conflict-free coloring of sparse graphs
Published
• View Publication
• BIB
A {\it proper conflict-free $c$-coloring} of a graph is a proper $c$-coloring such that each non-isolated vertex has a color appearing exactly once on its neighborhood. This notion was formally introduced by Fabrici et al., who proved that planar graphs have a proper conflict-free 8-coloring and constructed a planar graph with no proper conflict-free 5-coloring. Caro, Petruševski, and Škrekovski investigated this coloring concept further, and in particular studied upper bounds on the maximum average degree that guarantees a proper conflict-free $c$-coloring for $c\in\{4,5,6\}$.
Along these lines, we completely determine the threshold on the maximum average degree of a graph $G$, denoted $mad(G)$, that guarantees a proper conflict-free $c$-coloring for all $c$ and also provide tightness examples. Namely, for $c\geq 5$ we prove that a graph $G$ with $mad(G)\leq \frac{4c}{c+2}$ has a proper conflict-free $c$-coloring, unless $G$ contains a $1$-subdivision of the complete graph on $c+1$ vertices. When $c=4$, we show that a graph $G$ with $mad(G)<\frac{12}{5}$ has a proper conflict-free $4$-coloring, unless $G$ contains an induced $5$-cycle. In addition, we show that a planar graph with girth at least 5 has a proper conflict-free $7$-coloring.
The Gonality of Rook Graphs
Two dimensional rook graphs are the Cartesian product of two complete graphs. In this paper we prove that the gonality of these graphs is the expected value of $(n-1)m$ where $n$ is the size of the smaller complete graph and $m$ is the size of the larger. furthermore we compute the 2 and 3 gonalities of these graphs. We also explore the scramble number of these graphs, which is a new graph invariant and a lower bound on the gonality.
The Constructor-Blocker Game
We study the following game version of the generalized graph Turán problem. For two fixed graphs $F$ and $H$, two players, Constructor and Blocker, alternately claim unclaimed edges of the complete graph $K_n$. Constructor can only claim edges so that he never claims all edges of any copy of $F$, i.e. his graph must remain $F$-free, while Blocker can claim unclaimed edges without restrictions. The game ends when Constructor cannot claim further edges or when all edges have been claimed. The score of the game is the number of copies of $H$ with all edges claimed by Constructor. Constructor's aim is to maximize the score, while Blocker tries to keep the score as low as possible. We denote by $g(n,H,F)$ the score of the game when both players play optimally and Constructor starts the game.
In this paper, we obtain the exact value of $g(n,H,F)$ when both $F$ and $H$ are stars and when $F=P_4$, $H=P_3$. We determine the asymptotics of $g(n,H,F)$ when $F$ is a star and $H$ is a tree and when $F=P_5$, $H=K_3$, and we derive upper and lower bounds on $g(n,P_4,P_5)$.