contain ↗ reference
7689 papers tagged with this keyword
The excluded minors for $\mathsf{Z}_{3}$-gainable and regular biased graphs
We prove that a biased graph is gainable over the group $\mathsf{Z}_{3}$ if and only if it contains no minor isomorphic to $(4K_{2},\emptyset)$, $\pm K_{3}$, or $-K_{4}$. We develop a theory of "partial groups" that is analogous to that of partial fields, and we use this theory to show that a biased graph is gainable over every non-trivial group if and only if it is gainable over $\mathsf{Z}_{2}$ and $\mathsf{Z}_{3}$. From this we derive an independent proof of the theorem due to Gerards that a biased graph is gainable over every non-trivial group if and only if it has no minor isomorphic to $(3K_{2},\emptyset)$, $\pm K_{3}$, or $-K_{4}$.
Turán numbers of $4$-uniform tight even cycles minus one edge
For every integer $k \ge 1$ and sufficiently large $n$, we show that the extremal construction for the Turán number of the $4$-uniform tight cycle of length $4k+2$ minus one edge is a complete odd-bipartite $4$-graph. In particular, since $C_{6}^{4-}$ contains the $4$-uniform expanded triangle as a subgraph, our result extends that of Frankl and Keevash--Sudakov on the Turán density and the Turán number of the $4$-uniform expanded triangle. We also show that the Turán density of $C_{4k+2}^{4}$ is $1/2$ for all integers $k \ge 2$, and establish the corresponding stability result. This strengthens the result of Sankar on the Turán density of $C_{4k+2}^{4}$ which holds only for all sufficiently large $k$.
On Connectivity of Comaximal Subgroup Graph
The co-maximal subgroup graph $Γ(G)$ of a finite group $G$ is defined to be a graph with the set of all non-trivial proper subgroups of $G$ as the set of vertices and two distinct vertices $H$ and $K$ are adjacent if and only if $HK=G$. The deleted co-maximal subgroup graph of $G$, denoted by $Γ^*(G)$, is defined as the graph obtained by removing the isolated vertices from $Γ(G)$. In this paper, we prove that for any finite group $G$, $Γ^*(G)$ is connected. Furthermore, we show that $Γ^*(G)$ either contains a cycle or is a star. When $Γ^*(G)$ contains a cycle, its girth is either $3$ or $4$. Finally, we classify all finite groups $G$ for which $Γ^*(G)$ is a star.
Saturation numbers of some joins of graphs
Let $H$ be a graph. A graph $G$ is $H$-saturated if $G$ is $H$-free, but adding any edge between two non-adjacent vertices of $G$ yields an $H$-copy as a subgraph. The saturation number $\mathrm{sat}(n, H)$ is the minimum number of edges in an $H$-saturated graph on $n$ vertices. The saturation number for the join of a vertex and a graph $F$, denoted by $K_1\vee F$, has attracted considerable attention. Cameron and Puleo [Discrete Math. 345 (2022), 112867] proved that $\mathrm{sat}(n,K_1 \vee F)\le n-1+\mathrm{sat}(n-1, F)$ for $n > |V(F)|$. A natural question is when the above equality holds. Most existing results impose conditions on $F$ and assume that $F$ has no isolated vertices. Let $K_p^-$ be the graph obtained by deleting one edge from the complete graph $K_p$. In this paper, we investigate the saturation number of $K_1\vee F$ when $F$ contains isolated vertices, and determine the exact value of $\mathrm{sat}(n, K_1\vee F)$ when $F=K^-_{3}\cup sK_1(s\ge 1)$ or $F=K^-_{p-1}\cup K_1(p\ge 5)$. In our results, $\mathrm{sat}(n,K_1 \vee F)= n-1+\mathrm{sat}(n-1, F)$ holds when $F=K^-_{3}\cup sK_1$ for any $s\ge 1$, but fails when $F=K^-_{p-1}\cup K_1$ for $p\ge 5$.
Saturation numbers for joins of graphs and characterization of extremal graphs
A graph $G$ is $H$-saturated if $G$ contains no $H$-copy as a subgraph, but adding any edge between two non-adjacent vertices in $G$ creates a copy of $H$. The saturation number $\mathrm{sat}(n,H)$ is the minimum number of edges in an $n$-vertex $H$-saturated graph. Saturation number for the join of a vertex and a graph $F$, denoted by $K_1\vee F$, has received considerable attention. Cameron and Puleo [Discrete Math. 345 (2022), 112867] showed that $\mathrm{sat}(n,K_1 \vee F)\le n-1+\mathrm{sat}(n-1, F)$ for all $n > |V(F)|$. A natural question is to ask when the above equality holds. Existing results for $\mathrm{sat}(n,K_1 \vee F)$ always constrain that a non-empty graph $F$ contains no isolated vertex. In this paper, we investigate the saturation number of $K_1\vee F$ when a non-empty graph $F$ contains an isolated vertex. We first determine the saturation number for $K_1\vee F$ when $F=K_{p-1}\cup K_1$. When $p=3$, we extend the result to any number of isolated vertices, and determine the saturation number for $K_1\vee F$ when $F=K_{2}\cup qK_1$, or $F=2K_{2}\cup qK_1$ for any $q\ge 1$. Moreover, all minimum saturated graphs are fully characterized. In our results, $\mathrm{sat}(n,K_1 \vee F)= n-1+\mathrm{sat}(n-1, F)$ holds when $F=K_2\cup qK_1$, or $F=2K_2\cup qK_1$ for any $q\ge 1$; but fails when $F=K_{p-1}\cup K_1$ for $p\ge 4$.
Schreier-Type Sets and Linear Recurrences: Connections and Developments
We demonstrate several common techniques for proving linear recurrences from counting Schreier-type sets. These techniques include formula-based arguments, bijective proofs, mathematical induction, the inclusion-exclusion principle, and the characteristic polynomial method.
As new contributions, we examine symmetric maximal Schreier sets, Schreier sets that contain a prescribed integer, and Schreier sets that avoid integers belonging to a fixed arithmetic progression. Along the way, we employ useful techniques for identifying meaningful patterns in data and establishing technical identities. The results presented here, together with the diverse proof techniques employed, are expected to serve as a valuable resource for undergraduate researchers interested in this area.
Some Symmetric Sign Patterns Requiring Full $P$-vertices
A sign pattern is a matrix whose entries belong to $\{+, -, 0\}$. Let $\mathcal{P}$ be a symmetric sign pattern and $A$ a real symmetric matrix in its qualitative class. A vertex $v_j$ of the underlying graph of $\mathcal{P}$ is called a $P$-vertex if $ m_{A(j)}(0)-m_A(0)=1,$ where $A(j)$ is the principal submatrix obtained by deleting the $j$-th row and column of $A$, and $m_A(0), ~m_{A(j)}(0)$ denotes the algebraic multiplicity of the eigenvalue $0$ of $A, ~A(j)$, respectively. We say that $\mathcal{P}$ requires full $P$-vertices if every symmetric matrix in its qualitative class has all vertices as $P$-vertices. In this paper, we investigate structural conditions under which symmetric sign patterns require full $P$-vertices. We establish necessary and sufficient conditions for several classes of sign patterns to require full $P$-vertices. In particular, we prove that a tree sign pattern with a $0$-diagonal requires full $P$-vertices if and only if its underlying graph admits a perfect matching. We also derive necessary and sufficient conditions for sign patterns whose underlying graphs contain cycles but no loops to require full $P$-vertices.
Rainbow triangles in edge-colored graphs with large minimum color degree
Let $G$ be an edge-colored graph on $n$ vertices, and let $\deltac(G)$ denote its minimum color degree. Li and, independently Li, Ning, Xu, and Zhang, proved that every edge-colored graph on $n$ vertices with $\deltac(G) \ge \frac{n+1}{2}$ contains a rainbow triangle. Let $\rt(G)$ denote the number of rainbow triangles in $G$, and define \[ f(n) = \min\{ \rt(G) : |V(G)| = n,\ \deltac(G) \ge (n+1)/2 \}. \] In \cite{LiNingShiZhang2024}, the following open problem was posed: determine all the values of $f(n)$. In this paper, we determine $f(n)$ completely: $f(n) = (n^2-1)/8$ for odd $n\geq 3$, $f(n) = \frac{n^2}{4} - 1$ for all even $n \ge 6,$ and $f(4) = 4$. This resolves an open problem raised in \cite{LiNingShiZhang2024}.
Improved Lower Bounds for the Hales-Jewett Numbers via Symmetric Colorings
The Hales-Jewett number $\mathrm{HJ}(t,r)$ is the least dimension $n$ in which every $r$-coloring of the cube $[t]^{n}$ contains a monochromatic combinatorial line. We prove $\mathrm{HJ}(3,3)\geq 22$ and $\mathrm{HJ}(4,2)\geq 14$, improving the previous records $\mathrm{HJ}(3,3)\geq 14$ (Farnsworth) and $\mathrm{HJ}(4,2)\geq 12$ (the van der Waerden bound). Both bounds are obtained from coordinate-symmetric colorings, which compress the cube onto the discrete simplex of letter-count vectors; a symmetric coloring is line-free if and only if no corner tuple on the simplex is monochromatic, an exact equivalence that turns line-freeness into a constraint-satisfaction problem of size polynomial in $n$. Each bound is certified by an explicit table of fewer than 600 cells together with a finite, mechanical check of the corner tuples; the SAT solver only finds the witness, while correctness rests on the published table, the reduction lemma, and a dependency-free verification that is in principle hand-auditable.
Connectivity preserving spanning $(u,v)$-paths in $k$-connected graphs
Hasunuma [Graphs Combin. 41:10 (2025)] proved that for $k\ge 2$, there exists a function $f(k)=O(k)$ such that every $k$-connected graph $G$ of order $n\ge f(k)$ with $δ(G)\ge \frac{n}{2}$ contains a Hamiltonian cycle $H$ such that $G-E(H)$ is $k$-connected. In this paper, we show that for $k\ge 2$, if $G$ is a $k$-connected graph of order $n\ge 6k+6$ with minimum degree at least $\frac{n+1}{2}$, then for any two distinct vertices $u,v\in V(G)$, there exists a Hamiltonian $(u,v)$-path $P$ such that $G-E(P)$ is $k$-connected. Moreover, we further extend this result to $s$ internally disjoint spanning $(u,v)$-paths.
Counting triangles in graphs with no wheels of order at least five
For a family of graphs $\mathcal F$, a graph $G$ is said to be $\mathcal F$-free if it contains no member of $\mathcal F$ as a subgraph. A wheel graph $W_k$ is a graph on $k+1$ vertices formed by joining a new vertex to all vertices of a $k$-cycle. Given an integer $k\ge 3$, we consider the problem of determining the maximum number of triangles in a $W_{\geq k}$-free graph, where $W_{\geq k}=\{W_\ell: \ell \geq k\}$. The case $k=3$ was raised by Gallai, who proposed a conjecture for this case (see Erdős [5]. Gallai's conjecture was disproved by Zhou [17] and independently by Füredi, Goemans, and Kleitman [9]. In this paper, we study the case $k=4$. Namely, for every integer $n\ge 3$, we determine the maximum number of triangles in an $n$-vertex $W_{\geq 4}$-free graph and characterize all extremal graphs.
Tree-independence number of $K_{1,d}$-free graph classes
In this paper, we investigate the tree-independence number of graph classes that do not contain $K_{1,d}$ as an induced subgraph. Dallard et al. conjectured that for any positive integer $d$ and any planar graph $H$, the class of all $K_{1,d}$-free graphs without $H$ as an induced minor has bounded tree-independence number. Our main contribution towards this conjecture is showing that the conjecture holds for outerstring graphs. Additionally we give linear and quadratic bounds for the tree-independence number of various $K_{1,d}$-free graph classes, sharpening previous bounds. Finally, we bound the tree-independence number of $K_{2,d}$-free graphs additionally forbidding holes of length at least $5$.
Tight minimum degree conditions for apex-outerplanar minors and subdivisions in graphs and digraphs
Published in J. Graph Theory 113 (2026), 470-489
• View Publication
• BIB
Motivated by Hadwiger's conjecture and related problems for list-coloring, we study graphs $H$ for which every graph with minimum degree at least $|V(H)|-1$ contains $H$ as a minor. We prove that a large class of apex-outerplanar graphs satisfies this property. Our result gives the first examples of such graphs whose vertex cover numbers are significantly larger than half of the number of its vertices, which breaks a barrier for attacking related coloring problems via extremal functions, and recovers all known such graphs that have arbitrarily large maximum degree. Our proof can be adapted to directed graphs to show that if $\vec H$ is the digraph obtained from a directed cycle or an in-arborescence by adding an apex source, then every digraph with minimum out-degree $|V(\vec H)|-1$ contains $\vec H$ as a subdivision or a butterfly minor respectively. These results provide the optimal upper bound for the chromatic number and dichromatic number of graphs and digraphs that do not contain the aforementioned graphs or digraphs as a minor, butterfly minor and a subdivision, respectively. Special cases of our results solve an open problem of Aboulker, Cohen, Havet, Lochet, Moura and Thomassé and strengthen results of Gishboliner, Steiner and Szabó.
A Non-Multiplicable Upho Poset Constructed from the Petersen Graph
An upper homogeneous (upho) poset is a poset whose every principal filter is isomorphic to the whole poset. Fu--Peng--Zhang conjectured that every finitary upho poset admits a compatible left-cancellative, invertible-free monoid structure whose left-divisibility order coincides with the given order. We disprove this conjecture. For every vertex-transitive graph $G$, we construct a finitary upho poset $P(G,v_0)$ from walks starting at a fixed vertex $v_0$. Applying this construction to the Petersen graph, we show that multiplicability of $P(G,v_0)$ would force the automorphism group of $G$ to contain a regular subgroup. This would imply that $G$ is a Cayley graph, contradicting the fact that the Petersen graph is not Cayley. Hence $P(G,v_0)$ is a non-multiplicable finitary upho poset. We also show that the analogous poset associated with the line graph of the Petersen graph is multiplicable, demonstrating that non-Cayleyness of the underlying graph alone does not determine multiplicability.
A coarse Menger theorem for hyperbolic graphs, finitely presented groups, and more
Menger's theorem is one of the most fundamental results in graph theory. It states that if a graph $G$ does not contain $k$ disjoint paths between two given sets $X$ and $Y$ of vertices in $G$, then there is a set of at most $k-1$ vertices that intersects every path between $X$ and $Y$. Nguyen, Scott, and Seymour gave a counterexample to the conjectured natural coarse variant in which the paths are required to be pairwise at distance at least $d$, and, conversely, there is a set of at most $k-1$ bounded-radius balls intersecting every path between $X$ and $Y$. In other words, the coarse Menger property does not hold in general.
We prove that graphs whose cycles space is generated by cycles of bounded length do have the coarse Menger property. As a corollary, we show that many natural graphs and geodesic metric spaces have the coarse Menger property. These include hyperbolic graphs, Cayley graphs of finitely presented groups, planar graphs with bounded face size, and complete Riemannian planes.
Universal probability bounds for partial Latin squares
This paper studies the probability of substructures occurring in random Latin squares. Our main result states that if $α,β>0$ are such that $2α+β<1$, then there are positive constants $δ= δ(α, β)$ and $Δ= Δ(α, β)$ such that if $P$ is a partial Latin square of order $n$ with $k = k(n)$ non-empty cells occupying at most $αn$ rows and $βn$ columns, the probability that a random Latin square of order $n$ contains $P$ lies between $(δ/n)^k$ and $(Δ/n)^k$. We apply this result to subsquares in random Latin squares to obtain the first proof of the fact that the expected number of subsquares of order $3$ in a random Latin square of order $n$ is non-vanishing as $n \to \infty$. We are also able to provide the best known asymptotics for the expected number of subsquares of order $a$ in a random Latin square of order $n$ when $2<a=o(n^{1/2})$. Finally, we discuss the implications of our result on other configurations in random Latin squares as well as on completions of partial Latin squares.
Proof of a conjecture on permutations
Given a positive integer $n$, define a function on the symmetric group $S_n$ by $$F(τ) = \sum_{k=1}^{n}k^2τ(k)^2.$$ Motivated by a conjecture of Zhi-Wei Sun, we investigate the residue classes attained by $F(τ)$ modulo $2n+1$. We prove that for every integer $n>4$, the set $\{F(τ):τ\in S_n\}$ contains a complete residue system modulo $2n+1$. The proof is based on a family of involutions whose values are controlled by subset sums of squares.
Perfect matchings, Fano planes, and orthogonal bases of type $E_8$
We use perfect matchings and labelled Fano planes to construct and study the $2025$ orthogonal bases of positive roots in the $E_8$ root system. The set of these bases forms a highly structured, Bruhat-like graded poset $(Ω, \leq_Q)$ whose rank function can be computed from the cardinalities of so-called generalized Rothe diagrams. We give combinatorial characterizations of these diagrams in terms of matchings and Fano planes, and we explain how to compute the ranks of the elements of $Ω$ using suitable combinatorial statistics such as the weights of perfect matchings. We establish simple formulas for the rank generating functions of $Ω$ and of its 50 congruence classes under a natural order congruence relation. Our derivation of the generating functions contains some intermediate results on general perfect matchings and labelled Fano planes that can be stated without mentioning root systems and may be of independent interest.
The independence number of uncrowded hypergraphs: bounds matching the shattering threshold
A foundational theorem of Ajtai, Komlós, Pintz, Spencer, and Szemerédi asserts that every $n$-vertex $k$-uniform uncrowded hypergraph with maximum degree $Δ$ contains an independent set of size $c_k n{\left(\frac{\log Δ}Δ\right)^{\frac{1}{k-1}}}$, for some constant $c_k>0$. Determining the optimal leading constant $c_k$ in this bound is a major open problem. A natural target is the so-called shattering-threshold constant $\left(\frac{1}{k-1}\right)^{\frac{1}{k-1}}$, which appears in the solution-space geometry of random constraint satisfaction problems, in average-case complexity theory, and in statistical physics, among other areas.
We prove that uncrowded hypergraphs attain this threshold. More precisely, for every $ε>0$ and $k\geq 2$, every $n$-vertex $k$-uniform uncrowded hypergraph of sufficiently large maximum degree $Δ$ contains an independent set of size at least $(1-ε) n {\left(\frac{1}{k-1}\frac{\log Δ}Δ\right)^{\frac{1}{k-1}}}$. Consequently, we obtain the first pseudorandom class of hypergraphs whose guaranteed independence number matches the shattering threshold, resolving a folklore conjecture. Moreover, as another direct consequence, we resolve a conjecture of Verstraëte and Wilson by proving that there exists a constant $c_k=1-o_k(1)$ such that every $n$-vertex $k$-uniform linear hypergraph of maximum degree $Δ$ has independence number at least $c_k n\left(\frac{\log Δ}Δ\right)^{\frac{1}{k-1}}$.
Our techniques are constructive yielding efficient algorithms for both static and distributed settings. Specifically, we provide an $\tilde O(nΔ)$-time randomized static algorithm and an $\tilde O(1)$-round randomized $\textsf{LOCAL}$ algorithm to find an independent set in uncrowded hypergraphs at the shattering threshold. These results extend seamlessly to the the setting of linear hypergraphs.
On independent sets in uncrowded uniform hypergraphs
We prove an average-degree lower bound on the independence number of uncrowded uniform hypergraphs. For every fixed integer $r\geq 2$ and every $η>0$, there exists $d_*=d_*(r,η)$ such that for every $d\geq d_*$, any uncrowded $(r+1)$-uniform hypergraph $G$ with $n$ vertices and average degree $d$ satisfies \[
α(G)\geq
(1-η)r^{-1/r}\left(\frac{\log d}{d}\right)^{1/r}n. \] The proof combines a cleaning procedure, which reduces the maximum $r$-degree to the average scale, with a random nibble that repeatedly extracts independent vertices while controlling all lower-order degrees created by the process. After an initial top-layer cleaning, we run a trace nibble. Since the residual hypergraph contains traces of all sizes $2,\ldots,r+1$, we track the maximum degrees in every layer. A binomial-type recurrence for this degree profile yields the stated leading constant.