Longer cycles in vertex transitive graphs

Matt DeVos

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

2023-02-09

Abstract:In 1979 Babai found a clever argument to prove that every connected vertex transitive graph on $n \ge 3$ vertices contains a cycle of length at least $\sqrt{3n}$. Here we modify his approach to show that such graphs must contain a cycle of length at least $(1 - o(1))n^{3/5}$.

Combinatorics

What problem does this paper attempt to address?

Longest cycles in vertex-transitive and highly connected graphs

Carla Groenland,Sean Longbrake,Raphael Steiner,Jérémie Turcotte,Liana Yepremyan

2024-08-09

Abstract:We present progress on two old conjectures about longest cycles in graphs. The first conjecture, due to Thomassen from 1978, states that apart from a finite number of exceptions, all connected vertex-transitive graphs contain a Hamiltonian cycle. The second conjecture, due to Smith from 1984, states that for $r\ge 2$ in every $r$-connected graph any two longest cycles intersect in at least $r$ vertices. In this paper, we prove a new lemma about the intersection of longest cycles in a graph which can be used to improve the best known bounds towards both of the aforementioned conjectures: First, we show that every connected vertex-transitive graph on $n\geq 3$ vertices contains a cycle of length at least $\Omega(n^{13/21})$, improving on $\Omega(n^{3/5})$ from [De Vos, arXiv:2302:04255, 2023]. Second, we show that in every $r$-connected graph with $r\geq 2$, any two longest cycles meet in at least $\Omega(r^{5/8})$ vertices, improving on $\Omega(r^{3/5})$ from [Chen, Faudree and Gould, J. Combin. Theory, Ser.~ B, 1998]. Our proof combines combinatorial arguments, computer-search and linear programming.

Combinatorics,Discrete Mathematics
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.
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
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
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 orders of automorphisms of vertex-transitive graphs

Primož Potočnik,Micael Toledo,Gabriel Verret

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

2024-05-01

Abstract:In this paper we investigate orders, longest cycles and the number of cycles of automorphisms of finite vertex-transitive graphs. In particular, we show that the order of every automorphism of a connected vertex-transitive graph with n vertices and of valence d, d ≤ 4 , is at most c d n where c 3 = 1 and c 4 = 9 . Whether such a constant c d exists for valencies larger than 4 remains an unanswered question. Further, we prove that every automorphism g of a finite connected 3-valent vertex-transitive graph Γ, Γ ≇ K 3 , 3 , has a regular orbit, that is, an orbit of 〈 g 〉 of length equal to the order of g. Moreover, we prove that in this case either Γ belongs to a well understood family of exceptional graphs or at least 5/12 of the vertices of Γ belong to a regular orbit of g. Finally, we give an upper bound on the number of orbits of a cyclic group of automorphisms C of a connected 3-valent vertex-transitive graph Γ in terms of the number of vertices of Γ and the length of a longest orbit of C.

mathematics
Cycles with many chords

Nemanja Draganić,Abhishek Methuku,David Munhá Correia,Benny Sudakov

2023-07-10

Abstract:How many edges in an $n$-vertex graph will force the existence of a cycle with as many chords as it has vertices? Almost 30 years ago, Chen, Erdős and Staton considered this question and showed that any $n$-vertex graph with $2n^{3/2}$ edges contains such a cycle. We significantly improve this old bound by showing that $\Omega(n\log^8n)$ edges are enough to guarantee the existence of such a cycle. Our proof exploits a delicate interplay between certain properties of random walks in almost regular expanders. We argue that while the probability that a random walk of certain length in an almost regular expander is self-avoiding is very small, one can still guarantee that it spans many edges (and that it can be closed into a cycle) with large enough probability to ensure that these two events happen simultaneously.

Combinatorics
Vertex-disjoint cycles of different lengths in tournaments

Yandong Bai,Wenpei Jia

2024-03-06

Abstract:Bermond and Thomassen conjectured in 1981 that every digraph with minimum outdegree at least $2k-1$ contains $k$ vertex-disjoint cycles,here $k$ is a positive integer. Lichiardopol conjectured in 2014 that for every positive integer $k$ there exists an integer $g(k)$ such that every digraph with minimum outdegree at least $g(k)$ contains $k$ vertex-disjoint cycles of different lengths. Recently, Chen and Chang proved in [J. Graph Theory 105 (2) (2024) 297-314] that for $k\geqslant 3$ every tournament with minimum outdegree at least $2k-1$ contains $k$ vertex-disjoint cycles in which two of them have different lengths. Motivated by the above two conjectures and related results, we investigate vertex-disjoint cycles of different lengths in tournaments, and show that when $k\geqslant 5$ every tournament with minimum outdegree at least $2k-1$ contains $k$ vertex-disjoint cycles in which three of them have different lengths. In addition, we show that every tournament with minimum outdegree at least $6$ contains three vertex-disjoint cycles of different lengths and the minimum outdegree condition is sharp. This answers a question proposed by Chen and Chang.

Combinatorics
Edge-disjoint cycles with the same vertex set

Debsoumya Chakraborti,Oliver Janzer,Abhishek Methuku,Richard Montgomery

2024-04-11

Abstract:In 1975, Erdős asked for the maximum number of edges that an $n$-vertex graph can have if it does not contain two edge-disjoint cycles on the same vertex set. It is known that Turán-type results can be used to prove an upper bound of $n^{3/2+o(1)}$. However, this approach cannot give an upper bound better than $\Omega(n^{3/2})$. We show that, for any $k\geq 2$, every $n$-vertex graph with at least $n \cdot \mathrm{polylog}(n)$ edges contains $k$ pairwise edge-disjoint cycles with the same vertex set, resolving this old problem in a strong form up to a polylogarithmic factor. The well-known construction of Pyber, Rödl and Szemerédi of graphs without $4$-regular subgraphs shows that there are $n$-vertex graphs with $\Omega(n\log \log n)$ edges which do not contain two cycles with the same vertex set, so the polylogarithmic term in our result cannot be completely removed.

Combinatorics
Cycle-factors in oriented graphs

Zhilan Wang,Jin Yan,Jie Zhang

2024-03-02

Abstract:Let $k$ be a positive integer. A $k$-cycle-factor of an oriented graph is a set of disjoint cycles of length $k$ that covers all vertices of the graph. In this paper, we prove that there exists a positive constant $c$ such that for $n$ sufficiently large, any oriented graph on $n$ vertices with both minimum out-degree and minimum in-degree at least $(1/2-c)n$ contains a $k$-cycle-factor for any $k\geq4$. Additionally, under the same hypotheses, we also show that for any sequence $n_1, \ldots, n_t$ with $\sum^t_{i=1}n_i=n$ and the number of the $n_i$ equal to $3$ is $\alpha n$, where $\alpha$ is any real number with $0<\alpha<1/3$, the oriented graph contains $t$ disjoint cycles of lengths $n_1, \ldots, n_t$. This conclusion is the best possible in some sense and refines a result of Keevash and Sudakov.

Combinatorics
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.
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
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
Tight Gaps in the Cycle Spectrum of 3-Connected Planar Graphs

Qing Cui,On-Hei Solomon Lo

DOI: https://doi.org/10.1137/20M1366770

IF: 0.868

2021-09-03

SIAM Journal on Discrete Mathematics

Abstract:SIAM Journal on Discrete Mathematics, Volume 35, Issue 3, Page 2039-2048, January 2021. For any positive integer , define (respectively, ) to be the minimal integer such that every 3-connected planar graph (respectively, 3-connected cubic planar graph ) of circumference has a cycle whose length is in the interval (respectively, ). Merker showed that for any , and for any even . He conjectured that for any . This conjecture was disproved by Zamfirescu, who gave an infinite family of counterexamples for every even whose graphs have no cycle length in , i.e., for any even . However, the exact value of was only known for , and it is a natural problem to determine for . In this paper, we improve Merker's upper bound, and give the exact value of for every . We show that , , , and for any or . For general 3-connected planar graphs, Merker conjectured that there exists some positive integer such that for any positive integer . We give a complete positive answer to this conjecture. We prove that for any , , and for any .

mathematics, applied
Towards a conjecture of Birmelé-Bondy-Reed on the Erdős-Pósa property of long cycles

Jie Ma,Chunlei Zu

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

2021-12-28

Abstract:A conjecture of Birmelé, Bondy and Reed states that for any integer $\ell\geq 3$, every graph $G$ without two vertex-disjoint cycles of length at least $\ell$ contains a set of at most $\ell$ vertices which meets all cycles of length at least $\ell$. They showed the existence of such a set of at most $2\ell+3$ vertices. This was improved by Meierling, Rautenbach and Sasse to $5\ell/3+29/2$. Here we present a proof showing that at most $3\ell/2+7/2$ vertices suffice.

Combinatorics
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
Long cycles and spectral radii in planar graphs

Ping Xu,Huiqiu Lin,Longfei Fang

2024-05-31

Abstract:There is a rich history of studying the existence of cycles in planar graphs. The famous Tutte theorem on the Hamilton cycle states that every 4-connected planar graph contains a Hamilton cycle. Later on, Thomassen (1983), Thomas and Yu (1994) and Sanders (1996) respectively proved that every 4-connected planar graph contains a cycle of length $n-1, n-2$ and $n-3$. Chen, Fan and Yu (2004) further conjectured that every 4-connected planar graph contains a cycle of length $\ell$ for $\ell\in\{n,n-1,\ldots,n-25\}$ and they verified that $\ell\in \{n-4, n-5, n-6\}$. When we remove the ``4-connected" condition, how to guarantee the existence of a long cycle in a planar graph? A natural question asks by adding a spectral radius condition: What is the smallest constant $C$ such that for sufficiently large $n$, every graph $G$ of order $n$ with spectral radius greater than $C$ contains a long cycle in a planar graph? In this paper, we give a stronger answer to the above question. Let $G$ be a planar graph with order $n\geq 1.8\times 10^{17}$ and $k\leq \lfloor\log_2(n-3)\rfloor-8$ be a non-negative integer, we show that if $\rho(G)\geq \rho(K_2\vee(P_{n-2k-4}\cup 2P_{k+1}))$ then $G$ contains a cycle of length $\ell$ for every $\ell\in \{n-k, n-k-1, \ldots, 3\}$ unless $G\cong K_2\vee(P_{n-2k-4}\cup 2P_{k+1})$.

Combinatorics
Cycle‐factors in oriented graphs

Zhilan Wang,Jin Yan,Jie Zhang

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

2024-04-27

Journal of Graph Theory

Abstract:Let k be a positive integer. A k ‐cycle‐factor of an oriented graph is a set of disjoint cycles of length k that covers all vertices of the graph. In this paper, we prove that there exists a positive constant c such that for n sufficiently large, any oriented graph on n vertices with both minimum out‐degree and minimum in‐degree at least (1∕2−c)n contains a k ‐cycle‐factor for any k≥4 . Additionally, under the same hypotheses, we also show that for any sequence n1,...,nt with ∑i=1tni=n and the number of the ni equal to 3 is αn , where α is any real number with 0

mathematics
Geodesic Cycles in Random Graphs.

Yuanzhi Li,Lingsheng Shi

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

IF: 0.961

2018-01-01

Discrete Mathematics

Abstract:A cycle in a graph is geodesic if the distance of each pair of nodes on the cycle coincides with their distance restricted on the cycle. In this article, we prove that a random graph in G(n,p) has a geodesic cycle of length at least (2−ϵ)logdn with probability tending to one as n→∞ for d>1+ϵ with d=np and each small positive constant ϵ. This lower bound on the length of the longest geodesic cycle is almost tight since the diameter of the giant component in the random graph is asymptotically almost surely within (1±ϵ)logdn for sufficiently large d. Taking four nodes that split the geodesic cycle into four paths of approximately the same length implies that the giant component in the random graph is a.a.s. not (1∕2−ϵ)logdn-hyperbolic. This bound on the hyperbolicity improves a super-constant bound of Narayan–Saniee–Tucci and also comes close to its exact value for d≫ln5n∕(lnlnn)2 which is obtained by Mitsche and Prałat.

Longer cycles in vertex transitive graphs

Longest cycles in vertex-transitive and highly connected graphs

Large Degree Vertices in Longest Cycles of Graphs, II

Longest Cycle above Erdős–Gallai Bound

On two cycles of consecutive even lengths

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

On orders of automorphisms of vertex-transitive graphs

Cycles with many chords

Vertex-disjoint cycles of different lengths in tournaments

Edge-disjoint cycles with the same vertex set

Cycle-factors in oriented graphs

Minimum Number of Edges That Occur in Odd Cycles

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

On graphs without cycles of length 0 modulo 4

Tight Gaps in the Cycle Spectrum of 3-Connected Planar Graphs

Towards a conjecture of Birmelé-Bondy-Reed on the Erdős-Pósa property of long cycles

Algorithmic Extensions of Dirac's Theorem

Long cycles and spectral radii in planar graphs

Cycle‐factors in oriented graphs

Geodesic Cycles in Random Graphs.