Packing Triangles in K 4-Free Graphs

Shunchang Huang,Lingsheng Shi

DOI: https://doi.org/10.1007/s00373-013-1300-5

2013-01-01

Graphs and Combinatorics

Abstract:Paul Erdős conjectured that every K 4-free graph of order n and size ${k + \lfloor n^2/4\rfloor}$ contains at least k edge disjoint triangles. In this note, we prove that such a graph contains at least 32k/35 + o(n 2) edge disjoint triangles and prove his conjecture for k ≥ 0.077n 2.

What problem does this paper attempt to address?

Many Triangles in C5-free Graphs

Zequn Lv,Zhen He,Mei Lu

DOI: https://doi.org/10.1016/j.aam.2024.102740

IF: 1.271

2024-01-01

Advances in Applied Mathematics

Abstract:In the present paper, we introduce a new approach and use it to prove that the maximum number of triangles in a C5-free graph on n vertices is at most 126(1+o(1))n3/2, improving an estimate of Ergemlidze and Methuku [4]. We also show that the maximum size of an induced-C4-free and C5-free graph on n vertices is at most 16(1+o(1))n3/2, also improving an estimate of Ergemlidze and Methuku [4].
Counting triangles in regular graphs

Jialin He,Xinmin Hou,Jie Ma,Tianying Xie

2024-01-18

Abstract:In this paper, we investigate the minimum number of triangles, denoted by $t(n,k)$, in $n$-vertex $k$-regular graphs, where $n$ is an odd integer and $k$ is an even integer. The well-known Andrásfai-Erdős-Sós Theorem has established that $t(n,k)>0$ if $k>\frac{2n}{5}$. In a striking work, Lo has provided the exact value of $t(n,k)$ for sufficiently large $n$, given that $\frac{2n}{5}+\frac{12\sqrt{n}}{5}<k<\frac{n}{2}$. Here, we bridge the gap between the aforementioned results by determining the precise value of $t(n,k)$ in the entire range $\frac{2n}{5}<k<\frac{n}{2}$. This confirms a conjecture of Cambie, de Joannis de Verclos, and Kang for sufficiently large $n$.

Combinatorics
The maximum number of triangles in $F_k$-free graphs

Xiutao Zhu,Yaojun Chen,Dániel Gerbner,Ervin Győri,Hilal Hama Karim

DOI: https://doi.org/10.48550/arXiv.2207.10162

2022-08-18

Abstract:The generalized Turán number $ex(n,K_s,H)$ is the maximum number of complete graph $K_s$ in an $H$-free graph on $n$ vertices. Let $F_k$ be the friendship graph consisting of $k$ triangles. Erdős and Sós (1976) determined the value of $ex(n,K_3,F_2)$. Alon and Shikhelman (2016) proved that $ex(n,K_3, F_k)\le (9k-15)(k+1)n.$ In this paper, by using a method developed by Chung and Frankl in hypergraph theory, we determine the exact value of $ex(n,K_3,F_k)$ and the extremal graph for any $F_k$ when $n\ge 4k^3$.

Combinatorics
Turán Number of Disjoint Triangles in 4-Partite Graphs

Jie Han,Yi Zhao

DOI: https://doi.org/10.37236/10148

2022-05-20

The Electronic Journal of Combinatorics

Abstract:Let $k\ge 2$ and $n_1\ge n_2\ge n_3\ge n_4$ be integers such that $n_4$ is sufficiently larger than $k$. We determine the maximum number of edges of a 4-partite graph with parts of sizes $n_1,\dots, n_4$ that does not contain $k$ vertex-disjoint triangles. For any $r> t\ge 3$, we give a conjecture on the maximum number of edges of an $r$-partite graph that does not contain $k$ vertex-disjoint cliques $K_t$.

mathematics, applied
Minimum Number of Edges That Occur in Odd Cycles

Andrzej Grzesik,Ping Hu,Jan Volec

DOI: https://doi.org/10.1016/j.jctb.2018.12.003

IF: 1.491

2018-01-01

Journal of Combinatorial Theory Series B

Abstract:If a graph G has n ≥ 4 k vertices and more than n 2 / 4 edges, then it contains a copy of C 2 k + 1. In 1992, Erdős, Faudree and Rousseau showed even more, that the number of edges that occur in a triangle of such a G is at least 2 ⌊ n / 2 ⌋ + 1, and this bound is tight. They also showed that the minimum number of edges in G that occur in a copy of C 2 k + 1 for k ≥ 2 suddenly starts being quadratic in n , and conjectured that for any k ≥ 2, the correct lower bound should be 2 n 2 / 9 − O ( n ). Very recently, Füredi and Maleki constructed a counterexample for k = 2 and proved an asymptotically matching lower bound, namely that for any ε > 0 graphs with ( 1 + ε ) n 2 / 4 edges contain at least ( 2 + 2 ) n 2 / 16 ∼ 0.2134 n 2 edges that occur in C 5. In this paper, we use a different approach to tackle this problem and prove the following stronger result: Every n -vertex graph with at least ⌊ n 2 / 4 ⌋ + 1 edges has at least ( 2 + 2 ) n 2 / 16 − O ( n 15 / 8 ) edges that occur in C 5. Next, for all k ≥ 3 and n sufficiently large, we determine the exact minimum number of edges that occur in C 2 k + 1 for n -vertex graphs with more than n 2 / 4 edges, and show it is indeed equal to ⌊ n 2 4 ⌋ + 1 − ⌊ n + 4 6 ⌋ ⌊ n + 1 6 ⌋ = 2 n 2 / 9 − O ( n ). For both of these results, we give a structural description of all the large extremal configurations as well as obtain the corresponding stability results, which answers a conjecture of Füredi and Maleki. The main ingredient of our results is a novel approach that combines the semidefinite method from flag algebras together with ideas from finite forcibility of graph limits, which may be of independent interest. This approach allowed us to keep track of the additional extra edge needed to guarantee even the existence of a single copy of C 2 k + 1, which a standard flag algebra approach would not be able to handle. Also, we establish the first application of the semidefinite method in a setting, where the set of tight examples has exponential size and arises from two very different constructions.
Counting triangles in graphs without vertex disjoint odd cycles

Jianfeng Hou,Caihong Yang,Qinghou Zeng

DOI: https://doi.org/10.1016/j.disc.2024.114015

IF: 0.961

2024-04-10

Discrete Mathematics

Abstract:Given two graphs H and F , the maximum possible number of copies of H in an F -free graph on n vertices is denoted by ex(n,H,F) . Let l⋅F denote l vertex disjoint copies of F . Győri and Li (2012) obtained results on ex(n,C3,C2k+1) , which was further improved by Alon and Shikhelman (2016). In this paper, we determine the exact value of ex(n,C3,l⋅C2k+1) and its extremal graph for all l≥2 and large n .

mathematics
Complete tripartite subgraphs of balanced tripartite graphs with large minimum degree

Yihan Chen,Jialin He,Allan Lo,Cong Luo,Jie Ma,Yi Zhao

2024-11-29

Abstract:In 1975 Bollobás, Erdős, and Szemerédi asked what minimum degree guarantees an octahedral subgraph $K_3(2)$ in any tripartite graph $G$ with $n$ vertices in each vertex class. We show that $\delta(G)\geq n+2n^{\frac{5}{6}}$ suffices thus improving the bound $n+(1+o(1))n^{\frac{11}{12}}$ of Bhalkikar and Zhao obtained by following their approach. Bollobás, Erdős, and Szemerédi conjectured that $n+cn^{\frac{1}{2}}$ suffices and there are many $K_3(2)$-free tripartite graphs $G$ with $\delta(G)\geq n+cn^{\frac{1}{2}}$. We confirm this conjecture under the additional assumption that every vertex in $G$ is adjacent to at least $(1/5+\varepsilon)n$ vertices in any other vertex class.

Combinatorics
Near packings with restriction on degrees in graphs

Qian Yang,Yunshu Gao

DOI: https://doi.org/10.1016/j.amc.2024.128828

IF: 4.397

2024-05-23

Applied Mathematics and Computation

Abstract:In graph theory, a packing within graph G is defined as a collection H={H1,H2} , where H1 and H2 are both equivalent to G , yet they exist as edge-disjoint subgraphs within Kn . Considering a positive integer k , we introduce Dk , a set comprising graphs within G , each with a maximum degree not exceeding k . Extending the concept of a packing, a near packing that accommodates Dk in graph G emerges, realized by overlapping two iterations of G . In this configuration, the intersecting subgraph formed by edges shared in both G copies is a member of Dk . The notation m(n,Dk) represents the highest possible value of m , ensuring each graph with order n and size at most m can incorporate a near packing that accommodates Dk . A notable case is m(n,D0)=n−2 , highlighting that a near packing which admits D0 equates to a standard packing. This paper focuses on establishing the value of m(n,D1)=⌊3n−52⌋ .

mathematics, applied
A stability result for $C_{2k+1}$-free graphs

Sijie Ren,Jian Wang,Shipeng Wang,Weihua Yang

2023-07-16

Abstract:A graph $G$ is called $C_{2k+1}$-free if it does not contain any cycle of length $2k+1$. In 1981, Haggkvist, Faudree and Schelp showed that every $n$-vertex triangle-free graph with more than $\frac{(n-1)^2}{4}+1$ edges is bipartite. In this paper, we extend their result and show that for $1\leq t\leq 2k-2$ and $n\geq 318t^2k$, every $n$-vertex $C_{2k+1}$-free graph with more than $\frac{(n-t-1)^2}{4}+\binom{t+2}{2}$ edges can be made bipartite by either deleting at most $t-1$ vertices or deleting at most $\binom{\lfloor\frac{t+2}{2}\rfloor}{2}+\binom{\lceil\frac{t+2}{2}\rceil}{2}-1$ edges. The construction shows that this is best possible.

Combinatorics
The fine triangle intersections for maximum kite packings

Guizhi Zhang,Yanxun Chang,Tao Feng

DOI: https://doi.org/10.48550/arXiv.1207.3931

2012-07-17

Abstract:In this paper the fine triangle intersection problem for a pair of maximum kite packings is investigated. Let $Fin(v)={(s,t):$ $\exists$ a pair of maximum kite packings of order $v$ intersecting in $s$ blocks and $s+t$ triangles$}$. Let $Adm(v)={(s,t): s+t\leq b_v, s,t$ are non-negative integers$}$, where $b_v=\lfloor v(v-1)/8\rfloor$. It is established that $Fin(v)= Adm(v)\setminus {(b_v-1,0),(b_v-1,1)}$ for any integer $v\equiv 0,1 ({\rm mod} 8)$ and $v\geq 8$; $Fin(v)=Adm(v)$ for any integer $v\equiv 2,3,4,5,6,7 ({\rm mod} 8)$ and $v\geq 4$.

Combinatorics
A Stability Theorem for Maximal $C_{2k+1}$-free Graphs

Jian Wang,Shipeng Wang,Weihua Yang,Xiaoli Yuan

DOI: https://doi.org/10.48550/arXiv.2011.11427

2020-11-23

Combinatorics

Abstract:For any positive integer $k$, we show that every maximal $C_{2k+1}$-free graph with at least $n^2/4-o(n^{3/2})$ edges contains an induced complete bipartite subgraph on $(1-o(1))n$ vertices. We also show that this is best possible.
Coloring ( P 5 , kite)-free graphs with small cliques

Shenwei Huang,Yiao Ju,T. Karthick

DOI: https://doi.org/10.1016/j.dam.2023.11.025

IF: 1.254

2024-02-01

Discrete Applied Mathematics

Abstract:Let P n and K n denote the induced path and complete graph on n vertices, respectively. The 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 coloring 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 ) ≤ 3 , every ( P 5 , kite, K 4 )-free graph G satisfies χ ( G ) ≤ 4 , and that every ( P 5 , kite, K 5 )-free graph G satisfies χ ( G ) ≤ 6 . In this paper, we show the following: • Every ( P 5 , kite, K 6 )-free graph G satisfies χ ( G ) ≤ 7 . • Every ( P 5 , kite, K 7 )-free graph G satisfies χ ( G ) ≤ 9 . We also give examples to show that the above bounds are tight. Based on these partial results and some other examples, we conjecture that every ( P 5 , kite)-free graph G satisfies χ ( G ) ≤ ⌊ 3 ω ( G ) 2 ⌋ , and that the bound is tight.

mathematics, applied
Extremal triangle-free graphs with chromatic number at least four

Sijie Ren,Jian Wang,Shipeng Wang,Weihua Yang

2024-04-11

Abstract:Let $G$ be an $n$-vertex triangle-free graph. The celebrated Mantel's theorem showed that $e(G)\leq \lfloor\frac{n^2}{4}\rfloor$. In 1962, Erdős (together with Gallai), and independently Andrásfai, proved that if $G$ is non-bipartite then $e(G)\leq \lfloor\frac{(n-1)^2}{4}\rfloor+1$. In this paper, we extend this result and show that if $G$ has chromatic number at least four and $n\geq 150$, then $e(G)\leq \lfloor\frac{(n-3)^2}{4}\rfloor+5$. The blow-up of Grötzsch graph shows that this bound is best possible.

Combinatorics
Book free $3$-Uniform Hypergraphs

Debarun Ghosh,Ervin Győri,Judit Nagy-György,Addisu Paulos,Chuanqi Xiao,Oscar Zamora

DOI: https://doi.org/10.48550/arXiv.2110.01184

2023-10-30

Abstract:A $k$-book in a hypergraph consists of $k$ Berge triangles sharing a common edge. In this paper we prove that the number of the hyperedges in a $k$-book-free 3-uniform hypergraph on $n$ vertices is at most $\frac{n^2}{8}(1+o(1))$.

Combinatorics
The planar Turán number of $\{K_4,Θ_5\}$

Tao Fang

2024-04-08

Abstract:Let $\mathcal{F}$ be a set of graphs. The planar Turán number, $ex_{\mathcal{P}}(n,\mathcal{F})$, is the maximum number of edges in an $n$-vertex planar graph which does not contain any member of $\mathcal{F}$ as a subgraph. In this paper, we give upper bounds of $ex_{\mathcal{P}}(n,\{K_4,\Theta_5\})\leqslant25/11(n-2)$. We also give constructions which show the bounds are tight for infinitely many graphs.

Combinatorics
Sparse Sets in Triangle-free Graphs

Tınaz Ekim,Burak Nur Erdem,John Gimbel

2024-06-05

Abstract:A set of vertices is $k$-sparse if it induces a graph with a maximum degree of at most $k$. In this missive, we consider the order of the largest $k$-sparse set in a triangle-free graph of fixed order. We show, for example, that every triangle-free graph of order 11 contains a 1-sparse 5-set; every triangle-free graph of order 13 contains a 2-sparse 7-set; and every triangle-free graph of order 8 contains a 3-sparse 6-set. Further, these are all best possible. For fixed $k$, we consider the growth rate of the largest $k$-sparse set of a triangle-free graph of order $n$. Also, we consider Ramsey numbers of the following type. Given $i$, what is the smallest $n$ having the property that all triangle-free graphs of order $n$ contain a 4-cycle or a $k$-sparse set of order $i$. We use both direct proof techniques and an efficient graph enumeration algorithm to obtain several values for defective Ramsey numbers and a parameter related to largest sparse sets in triangle-free graphs, along with their extremal graphs.

Combinatorics,Discrete Mathematics
Edge-fault diameter of C4-free graphs

Alex Alochukwu,Peter Dankelmann

DOI: https://doi.org/10.1016/j.disc.2023.113678

IF: 0.961

2024-01-01

Discrete Mathematics

Abstract:Let G be a connected graph and k ∈ N . The k-edge-fault diameter of G is defined as the largest diameter of the graphs arising from G by deleting k edges. In this paper we show that the k-edge-fault diameter of a ( k + 1 ) -edge connected graph of order n not containing a 4-cycle cannot exceed 5 k 2 + k + 1 n + 9 , and we construct graphs that show that for k + 1 a prime power this bound is close to optimal if k is large. For the special case k = 2 we improve the above bound and obtain the sharp bound n 2 on the 2-edge-fault diameter of 3-edge-connected graphs of order n not containing a 4-cycle.

mathematics
A note on the Erdős conjecture about square packing

Junnosuke Koizumi,Takahiro Ueoro

2024-11-11

Abstract:Let $f(n)$ denote the maximum total length of the sides of $n$ squares packed inside a unit square. Erdős conjectured that $f(k^2+1)=k$. We show that the conjecture is true if we assume that the sides of the squares are parallel to the sides of the unit square.

Combinatorics,Metric Geometry
A Proof of the Tree Packing Conjecture

Parikshit Chalise,Antwan Clark,Edinah K. Gnang

2024-10-23

Abstract:We prove a conjecture of Gyárfás (1976), which asserts that any family of trees $T_1, \dots, T_{n}$ where each $T_k$ has $k$ vertices packs into $K_n$. We do so by translating the decomposition problem into a labeling problem, namely complete labeling. Our proof employs the polynomial method using a functional reformulation of the conjecture.

Combinatorics

Packing Triangles in K 4-Free Graphs

Many Triangles in C5-free Graphs

Counting triangles in regular graphs

The maximum number of triangles in $F_k$-free graphs

Turán Number of Disjoint Triangles in 4-Partite Graphs

Minimum Number of Edges That Occur in Odd Cycles

Counting triangles in graphs without vertex disjoint odd cycles

Complete tripartite subgraphs of balanced tripartite graphs with large minimum degree

Near packings with restriction on degrees in graphs

A stability result for $C_{2k+1}$-free graphs

The fine triangle intersections for maximum kite packings

A Stability Theorem for Maximal $C_{2k+1}$-free Graphs

Coloring ( P 5 , kite)-free graphs with small cliques

Extremal triangle-free graphs with chromatic number at least four

Book free $3$-Uniform Hypergraphs

The planar Turán number of $\{K_4,Θ_5\}$

Sparse Sets in Triangle-free Graphs

Edge-fault diameter of C4-free graphs

A note on the Erdős conjecture about square packing

A Proof of the Tree Packing Conjecture