contain ↗ reference
7689 papers tagged with this keyword
Cycle lengths in graphs of given minimum degree
Published
• View Publication
• BIB
In a graph, $k$ cycles are {\em admissible} if their lengths form an arithmetic progression with common difference one or two. Let $G$ be a 2-connected graph with minimum degree at least $k\geqslant 4$. We prove that
\begin{itemize}
\item [(1)] $G$ contains $k$ admissible cycles, unless $G\cong K_{k+1}$ or $K_{k,n-k}$;
\item [(2)] $G$ contains cycles of lengths $\ell$ modulo $k$ for all even $\ell$, unless $G\cong K_{k+1}$ or $K_{k,n-k}$;
\item [(3)] $G$ contains cycles of lengths $\ell$ modulo $k$ for all $\ell$, unless $G\cong K_{k+1}$ or $G$ is bipartite.
\end{itemize} In addition, we show that if $k$ is even and $G$ is 2-connected with minimum degree at least $k-1$ and order at least $k+2$, then $G$ contains cycles of lengths $\ell$ modulo $k$ for all even $\ell$. These findings provide a stability analysis of the main results on cycle lengths in graphs of given minimum degree in [J. Gao, Q. Huo, C. Liu, J. Ma, A unified proof of conjectures on cycle lengths in graphs, International Mathematics Research Notices 2022 (10) (2022) 7615--7653]. As a corollary, we determine the maximum number of edges in a graph that does not contain a cycle of length 0 modulo $k$ for all odd $k$.
Chords of longest cycles in graphs with large circumferences
Published
• View Publication
• BIB
A long-standing conjecture of Thomassen says that every longest cycle of a $3$-connected graph has a chord. Thomassen (2018) proved that if $G$ is a $2$-connected cubic graph, then any longest cycle must have a chord. He also showed that in any 3-connected graph with minimum degree at least four, some longest cycle must contain a chord. Harvey proved that every longest cycle has a chord for graphs with a large minimum degree. He also conjectured that any longest cycle in a 2-connected graph with minimum degree at least three has a chord. In this paper, we prove that both Thomassen's and Harvey's conjectures are true for graphs with large circumferences. We also prove a more general result for the existence of chords in longest cycles containing a linear forest.
Characterizations of undirected 2-quasi best match graphs
Bipartite best match graphs (BMG) and their generalizations arise in mathematical phylogenetics as combinatorial models describing evolutionary relationships among related genes in a pair of species. In this work, we characterize the class of \emph{undirected 2-quasi-BMGs} (un2qBMGs), which form a proper subclass of the $P_6$-free chordal bipartite graphs. We show that un2qBMGs are exactly the class of bipartite graphs free of $P_6$, $C_6$, and the eight-vertex Sunlet$_4$ graph. Equivalently, a bipartite graph $G$ is un2qBMG if and only if every connected induced subgraph contains a ``heart-vertex'' which is adjacent to all the vertices of the opposite color. We further provide a $O(|V(G)|^3)$ algorithm for the recognition of un2qBMGs that, in the affirmative case, constructs a labeled rooted tree that ``explains'' $G$. Finally, since un2qBMGs coincide with the $(P_6,C_6)$-free bi-cographs, they can also be recognized in linear time.
Zeros of Stern polynomials in the complex plane
The classical Stern sequence of positive integers was extended to a polynomial sequence $S_n(λ)$ by Klavžar et. al. by defining $S_0(λ) = 0$, $S_1(λ) = 1$, and $$S_{2n}(λ) = λS_n(λ),\quad S_{2n+1}(λ) = S_n(λ) + S_{n+1}(λ).$$ Dilcher et. al. conjectured that all roots of $S_n(λ)$ lie in the half-plane $\{\operatorname{Re} w < 1\}$. We make partial progress on this conjecture by proving that $\{|w-2| \leq 1\}\subseteq\mathbb C$ does not contain any roots of $S_n(λ)$. Our proof uses the Parabola Theorem for convergence of complex continued fractions. As a corollary, we establish a conjecture of Ulas and Ulas by showing that $S_p(λ)$ is irreducible in $\mathbb Z[λ]$ whenever $p$ is a positive prime.
Induced matching treewidth and tree-independence number, revisited
Published
• View Publication
• BIB
We study two graph parameters defined via tree decompositions: tree-independence number and induced matching treewidth. Both parameters are defined similarly as treewidth, but with respect to different measures of a tree decomposition $\mathcal{T}$ of a graph $G$: for tree-independence number, the measure is the maximum size of an independent set in $G$ included in some bag of $\mathcal{T}$, while for the induced matching treewidth, the measure is the maximum size of an induced matching in $G$ such that some bag of $\mathcal{T}$ contains at least one endpoint of every edge of the matching.
While the induced matching treewidth of any graph is bounded from above by its tree-independence number, the family of complete bipartite graphs shows that small induced matching treewidth does not imply small tree-independence number. On the other hand, Abrishami, Briański, Czyżewska, McCarty, Milanič, Rzążewski, and Walczak~[SIAM Journal on Discrete Mathematics, 2025] showed that, if a fixed biclique $K_{t,t}$ is excluded as an induced subgraph, then the tree-independence number is bounded from above by some function of the induced matching treewidth. The function resulting from their proof is exponential even for fixed $t$, as it relies on multiple applications of Ramsey's theorem. In this note we show, using the Kövári-Sós-Turán theorem, that for any class of $K_{t,t}$-free graphs, the two parameters are in fact polynomially related.
Open problems of the 33rd Workshop on Cycles and Colourings
Since its beginnings, every Cycles and Colourings workshop holds one or two open problem sessions; this document contains the problems (together with notes regarding the current state of the art and related bibliography) presented by participants of the 33rd edition of the workshop which took place in Nový Smokovec, Slovakia during August 31st - September 5th, 2025 (see the workshop webpage https://candc.upjs.sk).
Ramsey numbers of grid graphs
Let the grid graph $G_{M\times N}$ denote the Cartesian product $K_M \square K_N$. For a fixed subgraph $H$ of a grid, we study the off-diagonal Ramsey number $\operatorname{gr}(H, K_k)$, which is the smallest $N$ such that any red/blue edge coloring of $G_{N\times N}$ contains either a red copy of $H$ (a copy must preserve each edge's horizontal/vertical orientation), or a blue copy of $K_k$ contained inside a single row or column. Conlon, Fox, Mubayi, Suk, Verstraëte, and the first author recently showed that such grid Ramsey numbers are closely related to off-diagonal Ramsey numbers of bipartite $3$-uniform hypergraphs, and proved that $2^{Ω(\log ^2 k)} \le \operatorname{gr}(G_{2\times 2}, K_k) \le 2^{O(k^{2/3}\log k)}$. We prove that the square $G_{2\times 2}$ is exceptional in this regard, by showing that $\operatorname{gr}(C,K_k) = k^{O_C(1)}$ for any cycle $C \ne G_{2\times 2}$. We also obtain that a larger class of grid subgraphs $H$ obtained via a recursive blowup procedure satisfies $\operatorname{gr}(H,K_k) = k^{O_H(1)}$. Finally, we show that conditional on the multicolor Erdős-Hajnal conjecture, $\operatorname{gr}(H,K_k) = k^{O_H(1)}$ for any $H$ with two rows that does not contain $G_{2\times 2}$.
Exact Turán numbers of two vertex-disjoint paths
The Turán number of a graph $H$ is the maximum number of edges in any graph of order $n$ that does not contain $H$ as a subgraph. In 1959, Erd\H os and Gallai obtained a sharp upper bound of Turán numbers for a path of arbitrary length. In 1975, Faudree and Schelp, and independently in 1977, Kopylov determined the exact values of Turán numbers of paths with arbitrary length. In this paper, we determine the Turán number of two vertex-disjoint paths of odd order at least 4. Together with previous works, we determine the exact Turán numbers of two vertex-disjoint paths completely. This confirms the first $k=2$ case of a conjecture proposed by Yuan and Zhang in 2021, which generalizes the Turán number formula of paths due to Faudree-Schelp, and Kopylov in a broader setting. Our main tools include a refinement of Pósa's rotation lemma, a stability result of Kopylov's theorem on cycles, and a recent inequality on circumference, minimum degree, and clique number of a 2-connected graph.
On removable edge subsets in graphs with a nowhere-zero $4$-flow
A set $R\subseteq E(G)$ of a graph $G$ is $k$-removable if $G-R$ has a nowhere-zero $k$-flow. We prove that every graph $G$ admitting a nowhere-zero $4$-flow has a $3$-removable subset consisting of at most $\frac{1}{6}|E(G)|$ edges. This gives a positive answer to a conjecture of M. DeVos, J. McDonald, I. Pivotto, E. Rollová and R. Šámal [$3$-Flows with large support, J. Comb. Theory Ser. B 144 (2020), 32-80] in the case of graphs admitting a nowhere-zero $4$-flow.
Moreover, Hoffmann-Ostenhof recently conjectured that every cubic graph with a nowhere-zero $4$-flow has a $4$-removable edge. Bipartite cubic graphs verify this conjecture. Our result gives an approximation for Hoffmann-Ostenhof's Conjecture in the non-bipartite case.
Finally, for cubic graphs, our result implies that every $3$-edge-colorable cubic graph $G$ contains a subgraph $H$ whose connected components are either cycles or subdivisions of bipartite cubic graphs, such that $|E(H)|\ge \frac{5}{6}|E(G)|$.
Maximal sets of mutually orthogonal frequency squares and Doehlert-Klee designs
A binary frequency square of type $(n;λ_0,λ_1)$ is a $(0,1)$-matrix of order $n$ with $λ_0$ zeros and $λ_1$ ones in each row and in each column. Two such squares are orthogonal if there are exactly $λ_1^2$ cells where both squares contain ones. A set of binary MOFS is a set of binary frequency squares in which each pair is orthogonal. A set of binary MOFS of type $(n;λ_0,λ_1)$ is type maximal if there is no square of the type $(n;λ_0,λ_1)$ that is orthogonal to every square in the set.
A Doehlert-Klee design consists of points $V$ and blocks $B$, where every pair of points occurs in precisely $Λ$ blocks and every point occurs in precisely $R$ blocks, where $R^2=Λ|B|$. We show that sets of binary MOFS are equivalent to a particular kind of Doehlert-Klee design. In a distinct application, Doehlert-Klee designs can also be used to construct sets of binary MOFS that are cyclically generated from their first rows. We use these connections to find new constructions for sets of type-maximal binary MOFS.
Robustness for expander graphs
We study robust versions of properties of $(n,d,λ)$-graphs, namely, the property of a random sparsification of an $(n,d,λ)$-graph, where each edge is retained with probability $p$ independently. We prove such results for the containment problem of perfect matchings, Hamiltonian cycles, and triangle factors. These results address a series of problems posed by Frieze and Krivelevich.
First we prove that given $γ>0$, for sufficient large $n$, any $(n,d,λ)$-graph $G$ with $λ=o(d)$, $d=Ω(\log n)$ and $p\ge\frac{(1+γ)\log n}{d}$, $G\cap G(n,p)$ contains a Hamiltonian cycle (and thus a perfect matching if $n$ is even) with high probability. This result is asymptotically optimal.
Moreover, we show that for sufficient large $n$, any $(n,d,λ)$-graph $G$ with $λ=o(\frac{d^2}{n})$, $d=Ω(n^{\frac{5}{6}}\log^{\frac{1}{2}}n)$ and $p\gg d^{-1}n^{\frac{1}{3}}\log^{\frac{1}{3}} n$, $G\cap G(n,p)$ contains a triangle factor with high probability. Here, the restrictions on $p$ and $λ$ are asymptotically optimal.
Our proof for the triangle factor problem uses the iterative absorption approach to build a spread measure on the triangle factors, and we also prove and use a coupling result for triangles in the random subgraph of an expander $G$ and the hyperedges in the random subgraph of the triangle-hypergraph of $G$.
Bipartite holes, degree sums and Hamilton cycles
The {\em bipartite-hole-number} of a graph $G$, denoted as $\widetildeα(G)$, is the minimum number $k$ such that there exist integers $a$ and $b$ with $a + b = k+1$ such that for any two disjoint sets $A, B \subseteq V(G)$, there is an edge between $A$ and $B$.
McDiarmid and Yolov initiated research on bipartite holes by extending Dirac's classical theorem on minimum degree and Hamiltonian cycles.
They showed that a graph on at least three vertices with $δ(G) \ge \widetildeα(G)$ is Hamiltonian.
Later, Draganić, Munhá Correia and Sudakov proved that $δ\ge \widetildeα(G)$ implies that $G$ is pancyclic, unless $G = K_{\frac n2, \frac n2}$. This extended the result of McDiarmid and Yolov and generalized a theorem of Bondy on pancyclicity.
In this paper, we show that a $2$-connected graph $G$ is Hamiltonian if $σ_2(G) \ge 2 \widetildeα(G) - 1$, and that a connected graph $G$ contains a cycle through all vertices of degree at least $\widetildeα(G)$.
Both results extended McDiarmid and Yolov's result.
As a step toward proving pancyclicity, we show that if an $n$-vertex graph $G$ satisfies $σ_2(G) \ge 2 \widetildeα(G) - 1$, then it either contains a triangle or it is $K_{\frac n2, \frac n2}$.
Finally, we discuss the relationship between connectivity and the bipartite hole number.
Rooted $C_5$-Minors
Let $G$ be a graph and $x_1, x_2, \ldots, x_k$ be distinct vertices of $G$. We say $(G,x_1x_2\ldots x_k)$ has a $C_k$-minor or $G$ has a $C_k$-minor rooted at $x_1x_2\ldots x_k$, if there exist pairwise disjoint sets $X_1, X_2, \ldots, X_k\subseteq V(G)$, such that for all $i\in [k]$, $G[X_i]$ is connected, $x_i\in X_i$, and $G$ has an edge between $X_i$ and $X_{i+1}$, where $X_{k+1}=X_k$. When $k=3$ it is easy to determine when $(G,x_1x_2x_3)$ contains a $C_3$-minor. For $k=4$, Robertson, Seymour and Thomas gave a characterization of $(G,x_1x_2x_3x_4)$ with no $C_4$-minor, which, in particular, implies that such $G$ has connectivity at most 5. In this paper, we apply a method of Thomas and Wollan to prove a result, which implies that if $G$ is $10$-connected then, for all distinct vertices $x_1,x_2,x_3,x_4,x_5$ of $G$, $(G,x_1x_2x_3x_4x_5)$ has a $C_5$-minor.
Sárközy's theorem in $\mathbf{F}_2[x]$
Green showed that, conditional on GRH, a subset $A \subseteq [N]$ with $\mid A \mid \gg_ε N^{\frac{11}{12}+ε}$ must contain two elements whose difference is $p-1$ for $p$ a prime. We prove an analogous unconditional result for $\mathbf{F}_2[x]$, improving the exponent to $\frac{7}{8}+ε$.
Variance vs. range for linear extensions, and balancing extensions in posets of bounded width
An old conjecture of Kahn and Saks says, roughly, that any poset $P$ of large enough width contains elements $x,y$ which are "balanced" in the sense that the probability that $x$ precedes $y$ in a uniformly random linear extension of $P$ is close to $1/2$. We show this implies the seemingly stronger statement that the same conclusion holds if, instead of large width, we assume only that, for some $x$, the number, $π(x)$, of elements of $P$ incomparable to $x$ is large. The implication follows from our two main results: first, that if $π(P):=\max π(x)$ is large then $P$ has large variance, i.e. there is a $y$ whose position in a uniform extension of $P$ has large variance; and second, that the conclusion of the Kahn-Saks Conjecture holds for $P$ with large variance and bounded width. These two assertions also yield an easy proof of a (not easy) result of Chan, Pak and Panova on "sorting probabilities" for Young diagrams, together with its natural generalization to higher dimensions.
A Tight Lower Bound on Cubic Vertices and Upper Bounds on Thin and Non-thin edges in Planar Braces
For a subset $X$ of the vertex set $\VV(\GG)$ of a graph $\GG$, we denote the set of edges of $\GG$ which have exactly one end in $X$ by $\partial(X)$ and refer to it as the cut of $X$ or edge cut $\partial(X)$. A graph $\GG=(\VV,\EE)$ is called matching covered if $\forall e \in \EE(\GG), ~\exists \text{a perfect matching }M \text{ of }\GG \text{ s. t. } e \in M$. A cut $C$ of a matching covered graph $\GG$ is a separating cut if and only if, given any edge $e$, there is a perfect matching $M_{e}$ of $\GG$ such that $e \in M_{e}$ and $|C \cap M_{e}| = 1$. A cut $C$ in a matching covered graph $\GG$ is a tight cut of $\GG$ if $|C \cap M| = 1$ for every perfect matching $M$ of $\GG$. For, $X, Y \subseteq \VV(\GG)$, we denote the set of edges of $\EE(\GG)$ which have one endpoint in $X$ and the other endpoint in $Y$ by $E[X,Y]$. Let $\partial(X)=E[X,\overline{X}]$ be an edge cut, where $\overline{X}=\VV(\GG) \setminus X$. An edge cut is trivial if $|X|=1$ or $|\overline{X}|=1$. A matching covered graph, which is free of nontrivial tight cuts, is a brace if it is bipartite and is a brick if it is non-bipartite. An edge $e$ in a brace $\GG$ is \emph{thin} if, for every tight cut $\partial(X)$ of $\GG - e$, $|X| \le 3$ or $|\overline{X}| \le 3$.
Carvalho, Lucchesi and Murty conjectured that there exists a positive constant $c$ such that every brace $\GG$ has $c|\VV(\GG)|$ thin edges \cite{DBLP:journals/combinatorics/LucchesiCM15}. He and Lu \cite{HE2025153} showed a lower bound of thin edges in a brace in terms of the number of cubic vertices. We asked whether any planar brace exists that does not contain any cubic vertices. We answer negatively by showing that such set of planar braces is empty. We have been able to show a quantitively tight lower bound on the number of cubic vertices in a planar brace. We have proved tight upper bounds of nonthin edges and thin edges in a planar brace.
Ramsey Numbers in Kneser Graphs
We define the $r\textit{-Kneser Ramsey number}$ $R^{\textrm{KG}}_{r}(s, t)$ as the minimum integer $n$ such that every red/blue edge-coloring of the Kneser graph $\textrm{KG}(n,r)$ contains a red $s$-clique or a blue $t$-clique. We obtain general bounds on the numbers $R^{\textrm{KG}}_{r}(s, t)$, and make progress on two related Ramsey-type problems, one raised by Holmsen, Hrusak, and Roldán-Pensado, and the other posted by Pálvölgyi.
Subgraphs in random graphs with specified degrees and forbidden edges
Let $G$ be a uniformly chosen simple (labelled) random graph with given degree sequence $\boldsymbol{d}$ and let $X,Y,L$ be edge-disjoint graphs on the same vertex set as $G$. We investigate the probability that $X \subseteq G$ and that $G \cap Y = \emptyset$ both conditioned on the event $G \cap L = \emptyset$. We improve upon known bounds of these probabilities and extend them to a wider range of degree sequences through a more precise edge switching argument. Notably, a few vertices of linear degree are permitted provided that the subgraph $X$ does not have an edge incident with them. Further, the graph $L$ is permitted to contain many edges (we provide an example where $L$ is a spanning $r$-regular subgraph with $r = o(n)$).
We provide the same analysis when $G$ is a simple (labelled) bipartite random graph with a given degree sequence $(\boldsymbol{s},\boldsymbol{t})$. Our work extends the results of Gao and Ohapkin (2023) and McKay (1981, 2010).
Minimal Graph Embeddings via Point Deletions in Steiner triple systems
The game Nofil is a two-player combinatorial game in which players take turns marking points of a design such that the set of marked points does not contain a block. Equivalently, we can think of the points as being deleted from the design and points that are on singleton sets can no longer be marked. Every game play eventually results in the design becoming a graph. Previous work has shown that every graph is reachable from some Steiner triple system (STS), although the order of the constructed STS is often far from the known lower bounds. In this paper we give embeddings of complete graphs and star graphs into a $\STS$ that is minimal or very nearly meets the bounds. We further discuss possible minimal embeddings of empty graphs, paths, and cycles.
On Hyperbolic Sombor index of graphs
Published
• View Publication
• BIB
The Hyperbolic Sombor index $HSO(G)$ of a graph $G$ is defined as \begin{align*} HSO(G) = \sum_{v_iv_j \in E(G)} \frac{\sqrt{d_i^{2}+d_j^{2}}}{\min\{d_i,d_j\}}, \end{align*} where $d_i$ and $d_j$ denote the degrees of the vertices $v_i$ and $v_j$, respectively. This index was recently introduced by Barman et al. [Geometric approach to degree-based topological index: Hyperbolic Sombor index, MATCH Commun. Math. Comput. Chem. 95 (2026) 63-94], who explored some of its mathematical properties and applications. However, their work contains several inaccuracies that require correction. In this paper, we first identify and rectify the errors found in the earlier study. We then extend the investigation by establishing new mathematical results for the Hyperbolic Sombor index across various classes of graphs, including trees, unicyclic graphs, and bicyclic graphs. In addition, we derive some lower and upper bounds for $HSO(G)$ in terms of the number of edges, maximum degree and minimum degree, and we characterize the graphs that attain these bounds. Finally, we conclude the paper by outlining potential directions for future research in this emerging area.