Graphs with no $2δ+ 1$ cycle

Galen E. Turner,Galen E. Turner III

DOI: https://doi.org/10.48550/arXiv.math/0307123

2003-07-09

Combinatorics

Abstract:Dirac proved that any graph with minimum vertex degree $\delta$ contains either a cycle of length at least $2\delta$ or a Hamilton cycle. Motivated by this result, we characterize those graphs having no cycle longer than $2\delta$.

What problem does this paper attempt to address?

Large Degree Vertices in Longest Cycles of Graphs, II

Binlong Li,Liming Xiong,Jun Yin

DOI: https://doi.org/10.5614/ejgta.2019.7.2.7

2015-01-01

Discussiones Mathematicae Graph Theory

Abstract:In this paper, we consider the least integer d such that every k-connected graph G of order n (and of independent number α) has a longest cycle containing all vertices of degree at least d. We completely determine the d when k = 2. We propose a conjecture for those k-connected graph, where k ≥ 3.
Algorithmic Extensions of Dirac's Theorem

Fedor V. Fomin,Petr A. Golovach,Danil Sagunov,Kirill Simonov

2024-04-12

Abstract:In 1952, Dirac proved the following theorem about long cycles in graphs with large minimum vertex degrees: Every $n$-vertex $2$-connected graph $G$ with minimum vertex degree $\delta\geq 2$ contains a cycle with at least $\min\{2\delta,n\}$ vertices. In particular, if $\delta\geq n/2$, then $G$ is Hamiltonian. The proof of Dirac's theorem is constructive, and it yields an algorithm computing the corresponding cycle in polynomial time. The combinatorial bound of Dirac's theorem is tight in the following sense. There are 2-connected graphs that do not contain cycles of length more than $2\delta+1$. Also, there are non-Hamiltonian graphs with all vertices but one of degree at least $n/2$. This prompts naturally to the following algorithmic questions. For $k\geq 1$,

Data Structures and Algorithms
Triangle-free Graphs with Large Minimum Common Degree

Jian Wang,Weihua Yang,Fan Zhao

2024-08-10

Abstract:Let $G$ be a graph. For $x\in V(G)$, let $N(x)=\{y\in V(G)\colon xy\in E(G)\}$. The minimum common degree of $G$, denoted by $\delta_{2}(G)$, is defined as the minimum of $|N(x)\cap N(y)|$ over all non-edges $xy$ of $G$. In 1982, Häggkvist showed that every triangle-free graph with minimum degree greater than $\lfloor\frac{3n}{8}\rfloor$ is homomorphic to a cycle of length 5. In this paper, we prove that every triangle-free graph with minimum common degree greater than $\lfloor\frac{n}{8}\rfloor$ is homomorphic to a cycle of length 5, which implies Häggkvist's result. The balanced blow-up of the Möbius ladder graph shows that it is best possible.

Combinatorics
Monochromatic paths and cycles in $2$-edge-colored graphs with large minimum degree

József Balogh,Alexandr Kostochka,Mikhail Lavrov,Xujun Liu

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

2019-06-07

Combinatorics

Abstract:A graph $G$ arrows a graph $H$ if in every $2$-edge-coloring of $G$ there exists a monochromatic copy of $H$. Schelp had the idea that if the complete graph $K_n$ arrows a small graph $H$, then every "dense" subgraph of $K_n$ also arrows $H$, and he outlined some problems in this direction. Our main result is in this spirit. We prove that for every sufficiently large $n$, if $n = 3t+r$ where $r \in \{0,1,2\}$ and $G$ is an $n$-vertex graph with $\delta(G) \ge (3n-1)/4$, then for every $2$-edge-coloring of $G$, either there are cycles of every length $\{3, 4, 5, \dots, 2t+r\}$ of the same color, or there are cycles of every even length $\{4, 6, 8, \dots, 2t+2\}$ of the same color. Our result is tight in the sense that no longer cycles (of length $>2t+r$) can be guaranteed and the minimum degree condition cannot be reduced. It also implies the conjecture of Schelp that for every sufficiently large $n$, every $(3t-1)$-vertex graph $G$ with minimum degree larger than $3|V(G)|/4$ arrows the path $P_{2n}$ with $2n$ vertices. Moreover, it implies for sufficiently large $n$ the conjecture by Benevides, {\L}uczak, Scott, Skokan and White that for $n=3t+r$ where $r \in \{0,1,2\}$ and every $n$-vertex graph $G$ with $\delta(G) \ge 3n/4$, in each $2$-edge-coloring of $G$ there exists a monochromatic cycle of length at least $2t+r$.
Hamilton cycles in random digraphs with minimum degree at least one

Colin Cooper,Alan Frieze

2023-12-12

Abstract:We study the existence of a directed Hamilton cycle in random digraphs with $m$ edges where we condition on minimum in- and out-degree at least one. Denote such a random graph by $D_{n,m}^{(\delta\geq1)}$. We prove that if $m=\tfrac n2(\log n+2\log\log n+c_n)$ then \[ \lim_{n\to\infty}\Pr(D_{n,m}^{(\delta\geq1)}\text{ is Hamiltonian})=\begin{cases}0&c_n\to-\infty.\\e^{-e^{-c}/4}&c_n\to c.\\1&c_n\to\infty.\end{cases} \]

Combinatorics
Graphs without even holes or diamonds

Ton Kloks

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

2011-04-20

Abstract:An even hole is an induced chordless cycle of even length at least four. A diamond is an induced subgraph isomorphic to K_4-e. We show that graphs without even holes and without diamonds can be decomposed via clique-separators into graphs that have uniformly bounded cliquewidth.

Combinatorics
Degree stability of graphs forbidding odd cycles

Xiaoli Yuan,Yuejian Peng

2023-05-04

Abstract:Erdős and Simonovits asked the following question: For an integer $r\geq 2$ and a family of non-bipartite graphs $\mathcal{H}$, what is the tight bound of $\alpha$ such that any $\mathcal{H}$-free $n$-vertex graph with minimum degree at least $\alpha n$ has chromatic number at most $r$? We answer this question for $r=2$ and any family of odd cycles. Let $l\le k$ and $n\ge 1000k^{8}$ be positive integers. Let ${\mathcal C}$ be a family of odd cycles, $C_{2l+1}$ be the shortest odd cycle not in ${\mathcal C}$, and $C_{2k+1}$ be the longest odd cycle in ${\mathcal C}$. Let $BC_{2l+1}(n)$ denote the graph obtained by taking $2l+1$ vertex-disjoint copies of $K_{\frac{n}{2(2l+1)},\frac{n}{2(2l+1)}}$ and selecting a vertex in each of them such that these vertices form a cycle of length $2l+1$. Let $C_{2k+3}({n \over 2k+3})$ denote the balanced blow up of $C_{2k+3}$ with $n$ vertices. Note that both $BC_{2l+1}(n)$ and $C_{2k+3}({n \over 2k+3})$ are $n$-vertex ${\mathcal C}$-free non-bipartite graphs. We show that if $G$ is an $n$-vertex ${\mathcal C}$-free graph with $\delta(G)>\max\{ \frac{n}{2(2l+1)}, \frac{2}{2k+3}n\}$, then $G$ is bipartite. The bound is tight evident by $BC_{2l+1}(n)$ and $C_{2k+3}({n \over 2k+3})$. Moreover, the only $n$-vertex ${\mathcal C}$-free non-bipartite graph with minimum degree $\max\{ \frac{n}{2(2l+1)}, \frac{2}{2k+3}n\}=\frac{n}{2(2l+1)}$ is $BC_{2l+1}(n)$, and the the only $n$-vertex ${\mathcal C}$-free non-bipartite graph with minimum degree $\max\{ \frac{n}{2(2l+1)}, \frac{2}{2k+3}n\}=\frac{2}{2k+3}n$ is $C_{2k+3}({n \over 2k+3})$. Our result also unifies stability results of Andrásfai, Erdős and Sós, Häggkvist and Yuan and Peng for large $n$.

Combinatorics
A generalization of the Hamiltonian cycle in dense digraphs

Jie Zhang,Zhilan Wang,Jin Yan

2024-07-26

Abstract:Let D be a digraph and C be a cycle in D. For any two vertices x and y in D, the distance from x to y is the minimum length of a path from x to y. We denote the square of Let $D$ be a digraph and $C$ be a cycle in $D$. For any two vertices $x$ and $y$ in $D$, the distance from $x$ to $y$ is the minimum length of a path from $x$ to $y$. We denote the square of the cycle $C$ to be the graph whose vertex set is $V(C)$ and for distinct vertices $x$ and $y$ in $C$, there is an arc from $x$ to $y$ if and only if the distance from $x$ to $y$ in $C$ is at most $2$. The reverse square of the cycle $C$ is the digraph with the same vertex set as $C$, and the arc set $A(C)\cup \{yx: \mbox{the vertices}\ x, y\in V(C)\ \mbox{and the distance from $x$ to $y$ on $C$ is $2$}\}$. In this paper, we show that for any real number $\gamma>0$ there exists a constant $n_0=n_0(\gamma)$, such that every digraph on $n\geq n_0$ vertices with the minimum in- and out-degree at least $(2/3+\gamma)n$ contains the reverse square of a Hamiltonian cycle. Our result extends a result of Czygrinow, Kierstead and Molla.

Combinatorics
On two cycles of consecutive even lengths

Jun Gao,Binlong Li,Jie Ma,Tianying Xie

DOI: https://doi.org/10.1002/jgt.23074

2024-01-25

Journal of Graph Theory

Abstract:Bondy and Vince showed that every graph with minimum degree at least three contains two cycles of lengths differing by one or two. We prove the following average degree counterpart that every n ‐vertex graph G with at least 5 2 ( n − 1 ) edges, unless 4 | ( n − 1 ) and every block of G is a clique K 5 , contains two cycles of consecutive even lengths. Our proof is mainly based on structural analysis, and a crucial step which may be of independent interest shows that the same conclusion holds for every 3‐connected graph with at least six vertices. This solves a special case of a conjecture of Verstraëte. The quantitative bound is tight and also provides the optimal extremal number for cycles of length two modulo four.

mathematics
The distinguishing index of graphs with at least one cycle is not more than its distinguishing number

Saeid Alikhani,Samaneh Soltani

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

2017-10-23

Abstract:The distinguishing number (index) $D(G)$ ($D'(G)$) of a graph $G$ is the least integer $d$ such that $G$ has an vertex (edge) labeling with $d$ labels that is preserved only by the trivial automorphism. It is known that for every graph $G$ we have $D'(G) \leq D(G) + 1$. The complete characterization of finite trees $T$ with $D'(T)=D(T)+ 1$ has been given recently. In this note we show that if $G$ is a finite connected graph with at least one cycle, then $D'(G)\leq D(G)$. Finally, we characterize all connected graphs for which $D'(G) \leq D(G)$.

Combinatorics
On a property of $2$-connected graphs and Dirac's Theorem

Alexandr Kostochka,Ruth Luo,Grace McCourt

2023-08-24

Abstract:We refine a property of $2$-connected graphs described in the classical paper of Dirac from 1952 and use the refined property to somewhat shorten Dirac's proof of the fact that each $2$-connected $n$-vertex graph with minimum degree at least $k$ has a cycle of length at least $\min\{n,2k\}$.

Combinatorics
Minimum degree conditions for the existence of cycles of all lengths modulo $k$ in graphs

Shuya Chiba,Tomoki Yamashita

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

2019-04-08

Abstract:Thomassen, in 1983, conjectured that for a positive integer $k$, every $2$-connected non-bipartite graph of minimum degree at least $k + 1$ contains cycles of all lengths modulo $k$. In this paper, we settle this conjecture affirmatively.

Combinatorics
Longest Cycle above Erdős–Gallai Bound

Fedor V. Fomin,Petr A. Golovach,Danil Sagunov,Kirill Simonov

DOI: https://doi.org/10.1137/23m1558008

IF: 0.868

2024-11-01

SIAM Journal on Discrete Mathematics

Abstract:SIAM Journal on Discrete Mathematics, Volume 38, Issue 4, Page 2721-2749, December 2024. In 1959, Erdős and Gallai proved that every graph [math] with average vertex degree [math] contains a cycle of length at least [math]. We provide an algorithm that for [math], in time [math] decides whether a 2-connected [math]-vertex graph [math] contains a cycle of length at least [math]. This resolves an open problem explicitly mentioned in several papers. The main ingredients of our algorithm are new graph-theoretical results interesting on their own.

mathematics, applied
Cycles in graphs and in hypergraphs: results and problems

E. Alkin,S. Dzhenzher,O. Nikitenko,A. Skopenkov,A. Voropaev

2024-07-23

Abstract:This is an expository paper. A $1$-cycle in a graph is a set $C$ of edges such that every vertex is contained in an even number of edges from $C$. E.g., a cycle in the sense of graph theory is a $1$-cycle, but not vice versa. It is easy to check that the sum (modulo $2$) of $1$-cycles is a $1$-cycle. In this text we study the following problems: to find $\bullet$ the number of all 1-cycles in a given graph; $\bullet$ a small number of 1-cycles in a given graph such that any 1-cycle is the sum of some of them. We also consider generalizations (of these problems) to graphs with symmetry, and to $2$-cycles in $2$-dimensional hypergraphs.

History and Overview,Discrete Mathematics,Algebraic Topology,Combinatorics
A strengthening on consecutive odd cycles in graphs of given minimum degree

Hao Lin,Guanghui Wang,Wenling Zhou

2024-10-01

Abstract:Liu and Ma [J. Combin. Theory Ser. B, 2018] conjectured that every $2$-connected non-bipartite graph with minimum degree at least $k+1$ contains $\lceil k/2\rceil $ cycles with consecutive odd lengths. In particular, they showed that this conjecture holds when $k$ is even. In this paper, we confirm this conjecture for any $k\in \mathbb N$. Moreover, we also improve some previous results about cycles of consecutive lengths.

Combinatorics
Erdős-Gyárfás conjecture on graphs without long induced paths

Anand Shripad Hegde,R. B. Sandeep,P. Shashank

2024-10-30

Abstract:In 1994, Erdős and Gyárfás conjectured that every graph with minimum degree at least 3 has a cycle of length a power of 2. In 2022, Gao and Shan (Graphs and Combinatorics) proved that the conjecture is true for $P_8$-free graphs, i.e., graphs without any induced copies of a path on 8 vertices. In 2024, Hu and Shen (Discrete Mathematics) improved this result by proving that the conjecture is true for $P_{10}$-free graphs. With the aid of a computer search, we improve this further by proving that the conjecture is true for $P_{13}$-free graphs.

Combinatorics,Data Structures and Algorithms
On the number of cycles in a graph with restricted cycle lengths

Dániel Gerbner,Balázs Keszegh,Cory Palmer,Balázs Patkós

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

2016-10-12

Abstract:Let $L$ be a set of positive integers. We call a (directed) graph $G$ an $L$\emph{-cycle graph} if all cycle lengths in $G$ belong to $L$. Let $c(L,n)$ be the maximum number of cycles possible in an $n$-vertex $L$-cycle graph (we use $\vec{c}(L,n)$ for the number of cycles in directed graphs). In the undirected case we show that for any fixed set $L$, we have $c(L,n)=\Theta_L(n^{\lfloor k/\ell \rfloor})$ where $k$ is the largest element of $L$ and $2\ell$ is the smallest even element of $L$ (if $L$ contains only odd elements, then $c(L,n)=\Theta_L(n)$ holds.) We also give a characterization of $L$-cycle graphs when $L$ is a single element. In the directed case we prove that for any fixed set $L$ we have $\vec{c}(L,n)=(1+o(1))(\frac{n-1}{k-1})^{k-1}$, where $k$ is the largest element of $L$. We determine the exact value of $\vec{c}(\{k\},n)$ for every $k$ and characterize all graphs attaining this maximum.

Combinatorics
On graphs without cycles of length 0 modulo 4

Ervin Győri,Binlong Li,Nika Salia,Casey Tompkins,Kitti Varga,Manran Zhu

2023-12-16

Abstract:Bollobás proved that for every $k$ and $\ell$ such that $k\mathbb{Z}+\ell$ contains an even number, an $n$-vertex graph containing no cycle of length $\ell \bmod k$ can contain at most a linear number of edges. The precise (or asymptotic) value of the maximum number of edges in such a graph is known for very few pairs $\ell$ and $k$. In this work we precisely determine the maximum number of edges in a graph containing no cycle of length $0 \bmod 4$.

Combinatorics
Graphs with Large Girth and Small Cop Number

Alexander Clow

2024-07-19

Abstract:In this paper we consider the cop number of graphs with no, or few, short cycles. We show that when $G$ is graph of girth $g$ and the minimum degree $\delta \geq 2$, then $c(G) = O(n\log(n)(\delta-1)^{-\lfloor \frac{g+1}{4} \rfloor})$ as a function of $n$. This extends work of Frankl and implies that if $G$ is large and dense in the sense that $\delta \geq n^{\frac{2}{g}+\epsilon}$, then $G$ satisfies Meyniel's conjecture, that is $c(G) = O(\sqrt{n})$. Moreover, it implies that if $G$ is large and dense in the sense that there $\delta \geq n^{\epsilon}$, some $\epsilon >0$, while also having girth $g \geq 7$, then there exists an $\alpha>0$ such that $c(G) = O(n^{1-\alpha})$, thereby satisfying the weak Meyniel's conjecture. Of course, this implies similar results for dense graphs with small, that is $O(n^{1-\alpha})$, numbers of short cycles, as each cycle can be broken by adding a single cop.

Combinatorics
A Generalization of Fan'S Results: Distribution of Cycle Lengths in Graphs

Jun Zhang,Jinghua Xiang

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

IF: 0.961

2009-01-01

Discrete Mathematics

Abstract:Fan [G. Fan, Distribution of cycle lengths in graphs, J. Combin. Theory Ser. B 84 (2002) 187–202] proved that if G is a graph with minimum degree δ(G)≥3k for any positive integer k, then G contains k+1 cycles C0,C1,…,Ck such that k+1<|E(C0)|<|E(C1)|<⋯<|E(Ck)|, |E(Ci)−E(Ci−1)|=2, 1≤i≤k−1, and 1≤|E(Ck)|−|E(Ck−1)|≤2, and furthermore, if δ(G)≥3k+1, then |E(Ck)|−|E(Ck−1)|=2. In this paper, we generalize Fan’s result, and show that if we let G be a graph with minimum degree δ(G)≥3, for any positive integer k (if k≥2, then δ(G)≥4), if dG(u)+dG(v)≥6k−1 for every pair of adjacent vertices u,v∈V(G), then G contains k+1 cycles C0,C1,…,Ck such that k+1<|E(C0)|<|E(C1)|<⋯<|E(Ck)|, |E(Ci)−E(Ci−1)|=2, 1≤i≤k−1, and 1≤|E(Ck)|−|E(Ck−1)|≤2, and furthermore, if dG(u)+dG(v)≥6k+1, then |E(Ck)|−|E(Ck−1)|=2.

Graphs with no $2δ+ 1$ cycle

Large Degree Vertices in Longest Cycles of Graphs, II

Algorithmic Extensions of Dirac's Theorem

Triangle-free Graphs with Large Minimum Common Degree

Monochromatic paths and cycles in $2$-edge-colored graphs with large minimum degree

Hamilton cycles in random digraphs with minimum degree at least one

Graphs without even holes or diamonds

Degree stability of graphs forbidding odd cycles

A generalization of the Hamiltonian cycle in dense digraphs

On two cycles of consecutive even lengths

The distinguishing index of graphs with at least one cycle is not more than its distinguishing number

On a property of $2$-connected graphs and Dirac's Theorem

Minimum degree conditions for the existence of cycles of all lengths modulo $k$ in graphs

Longest Cycle above Erdős–Gallai Bound

Cycles in graphs and in hypergraphs: results and problems

A strengthening on consecutive odd cycles in graphs of given minimum degree

Erdős-Gyárfás conjecture on graphs without long induced paths

On the number of cycles in a graph with restricted cycle lengths

On graphs without cycles of length 0 modulo 4

Graphs with Large Girth and Small Cop Number

A Generalization of Fan'S Results: Distribution of Cycle Lengths in Graphs