graph
34516 papers tagged with this keyword
Graphs with girth 8 and without longer even holes are 3-colorable
For an integer $\ell\geq 2$, let ${\cal{H}}_{\ell}$ denote the family of graphs which have girth $2\ell$ and have no even hole of length greater than $2\ell$. Wu, Xu and Xu conjectured that every graph in $\bigcup_{\ell\geq 2} {\cal{H}}_{\ell}$ is $3$-colorable. Chen showed that every graph in $\bigcup_{\ell\geq 5} {\cal{H}}_{\ell}$ is $3$-colorable. In this paper, we prove that every graph in ${\cal{H}}_4$ is $3$-colorable.
Hadwiger's Conjecture for $\{\text{co-claw}, \text{co-gem}\}$-free graphs and $\{\text{fork}, \text{antifork}\}$-free graphs
We prove Hadwiger's Conjecture for $\{\text{co-claw}, \text{co-gem}\}$-free graphs and $\{\text{fork}, \text{antifork}\}$-free graphs, where the co-claw is the disjoint union of a triangle and a vertex, the co-gem is the disjoint union of a 4-vertex path and a vertex, the fork is obtained from $K_{1,3}$ by subdividing one of the edges, and the antifork is the complement of the fork. The $\{\text{co-claw}, \text{co-gem}\}$-free graphs include the complements of line graphs of triangle-free multigraphs, and thus our results imply Hadwiger's Conjecture for these graphs. In fact, we prove a stronger result: every $\{\text{co-claw}, \text{co-gem}\}$-free graph $G$ has a $K_{χ(G)}$-model where each branch set has size at most 2, and every $\{\text{fork}, \text{antifork}\}$-free graph $G$ has a $K_{χ(G)}$-model where at most one branch set has size greater than 2.
Two-disjoint-cycle-cover vertex pancyclicity of split-star networks
Let $r_1$ and $r_2$ be positive integers with $r_1 \le r_2$. A graph $G$ is called $2$-DCC vertex $[r_1,r_2]$-pancyclic if, for any two distinct vertices of $G$ and any integer $\ell \in [r_1,r_2]$, there exist two vertex-disjoint cycles of lengths $\ell$ and $|V(G)|-\ell$, respectively, containing the two vertices separately. In this paper, we investigate the two-disjoint-cycle-cover vertex pancyclicity of the split-star network $S_n^2$. We prove that $S_n^2$ is $2$-DCC vertex $[3,n!/2]$-pancyclic for $n\ge4$.
The Abu-Khzam$\unicode{x2013}$Langston Conjecture for Graphs with $α(G) = 2$
The Abu-Khzam--Langston conjecture, that is the weak-immersion analogue of Hadwiger's conjecture and a weak version of an earlier conjecture of Lescure and Meyniel, asserts that every graph $G$ contains a weak immersion of $K_{χ(G)}$. We prove the conjecture for the class of graphs of independence number two. Along the way, we introduce a notion of \emph{cycle-matching colouring} of a graph, a relaxation of edge-colouring in which colour classes induce vertex-disjoint unions of edges and odd cycles, and prove a sharpening of Vizing's theorem in this setting: every multigraph admits a cycle-matching colouring with at most $Δ(G)$ colours.
Small-scale operations on graphic sequences
A sequence D=(d1, d2, ..., dn) of positive integers is graphic if it is the degree sequence of a simple graph, called in this case a {\em realization} of D. In this paper, we introduce the operation of 2-reduction, that subtracts 1 from two integers of D such that the resulting sequence D' is graphic if and only if D is graphic. We show that 2-reductions allow us to simply generate all the realizations of D, to prove existing characterizations of graphic sequences, as well as to propose new characterizations that highlight connections between mathematical and algorithmic aspects of graphic sequences.
On the Smallest Eigenvalues and Quantum Chromatic Numbers of Hamming Graphs and Generalizations
The smallest eigenvalues of (distance-j) Hamming graphs with distance parameter j at least half the length were completely determined by Brouwer et al. (2018). In the present work, we address the complementary regime, namely distances j strictly less than half the length, and derive asymptotic lower bounds on the smallest eigenvalue of binary Hamming graphs. For certain natural generalizations, specifically Cayley graphs defined over quaternary vector spaces, we asymptotically determine the smallest eigenvalue as well. As an application, we obtain lower bounds on the quantum chromatic number of these graphs. In particular, for the aforementioned Cayley graphs over quaternary vectors, our lower bounds for the quantum chromatic number coincide with known upper bounds.
Intersection Orbital Graphs of Permutation Groups and Reconstruction of Simple Groups
We introduce the \emph{intersection orbital graph} $Γ(G_1, G_2; Ω)$ associated with two permutation groups $G_1, G_2 \leq \mathrm{Sym}(Ω)$ on a finite set $Ω$.
On the Ramsey classes of random hypergraphs
Let $r,s,t\geq2$ be integers. For $r$-graphs $G$ and $F_1,\dots,F_s$, we write $G\to(F_1,\dots,F_s)$ if every $s$-edge-coloring of $G$ yields a monochromatic copy of $F_i$ in the $i$-th color for some $1\leq i\leq s$. Let $\mathcal{R}(F_1,\dots,F_s)$ denote the family of all $r$-graphs $G$ with $G\to(F_1,\dots,F_s)$. When $F_1=\dots=F_s=F$, we write $\mathcal{R}(F;s)=\mathcal{R}(F_1,\dots,F_s)$.
In this paper, we investigate when $\mathcal{R}(H;s)\subseteq\mathcal{R}(Q_1,\dots,Q_t)$ holds, where $H=H^{(r)}(n,p)$ is a random $r$-graph and $Q_1,\dots,Q_t$ are fixed $r$-graphs. Our main result determines the threshold for a large class of such $Q_1,\dots,Q_t$, including complete $r$-graphs. The key ingredient in our proof is a generalization of a result of Graham, Łuczak, Rödl, and Ruciński, which provides a necessary and sufficient condition for $\mathcal{R}(F_1,\dots,F_s)\subseteq\mathcal{R}(Q_1,\dots,Q_t)$, where $Q_1,\dots,Q_t$ are highly connected. As a byproduct, we characterize when two tuples of highly connected $r$-graphs are Ramsey equivalent.
Defect Spaces and Gram Operators for Tensor-Valued Incidence Maps
We study vector-valued incidence maps obtained from ordinary graph incidence maps by linear observation of the free vertex space. Let $\mathbb{F}$ be a field, $D = (X, E, s, t)$ a finite directed multigraph, $U$ an $\mathbb{F}$-vector space, and $φ: X \to U$ a vertex labeling with $\mathbb{F}$-linear extension $\hatφ : \mathbb{F}^X \to U$. The vector-valued incidence map $\partial_φ: \mathbb{F}^E \to U$, $\partial_φ(\mathbf{1}_e) = φ(t(e)) - φ(s(e))$, factors as $\partial_φ= \hatφ \circ B_D$, where $B_D$ is the classical incidence map of $D$. We prove the formula $\dim_{\mathbb{F}} \mathrm{Ker}(\partial_φ) = |E| - |X| + c(D) + δ_φ,$ where $c(D)$ is the number of weakly connected components of $D$ and $δ_φ:= \dim_{\mathbb{F}}(\mathrm{Im}(B_D) \cap \mathrm{Ker}(\hatφ))$ is the defect invariant. We apply this framework to directed tensor-labeled hypergraphs $\mathcal{H} = (Q_0, Q_1, β)$, in which each hyperedge carries a pair of boundary tensors $(A_e, B_e)$ in the tensor algebra $T(\mathbb{F}^{Q_0})$, and prove that $δ(\mathcal{H}) = 0$ over any field for each of the six standard constructions, including symmetric encodings that degenerate in positive characteristic.
Over $\mathbb{F} = \mathbb{R}$, the edge Gram operator $\mathcal{L} = \partial_β^* \partial_β$ has rank $|V_{\mathrm{macro}}| - c_{\mathrm{macro}} - δ(\mathcal{H})$, and its degree-truncated operators form a Loewner-monotone filtration whose rank increments equal the decrements of the defect filtration. We further realize the cycle space of every oriented hypergraph (in the sense of Reff--Rusnak) as $\mathrm{Ker}(\partial_β)$ within this framework, and exhibit a four-edge inclusion--exclusion example with $δ(\mathcal{H}) = 1$.
Vertex-critical $(P_5,\text{chair})$-free and $(P_5,\text{cricket})$-free graphs
For graphs $G, F_1$ and $F_2$, we say that $G$ is $(F_1,F_2)$-free if neither $F_1$ nor $F_2$ is an induced subgraph of $G$. We say that $G$ is $k$-vertex-critical if the chromatic number of $G$ is $k$, but every proper induced subgraph of $G$ has chromatic number at most $k-1$. The $\textit{chair}$ graph is a $5$-vertex graph obtained by adding a pendant vertex to one of the two central vertices of a path on $4$ vertices. The $\textit{cricket}$ graph is a $5$-vertex graph obtained by adding two pendant vertices to a common vertex of a triangle. The path on $5$ vertices is denoted by $P_5$. We prove that for every $k \geq 1$, there are only finitely many $(P_5,\text{chair})$-free $k$-vertex-critical graphs. We also prove that the same conclusion holds if $\text{chair}$ is replaced by $\text{cricket}$. We further characterize all $5$-vertex-critical $(P_5,\text{chair})$-free graphs, all $5$-vertex-critical $(P_5,\text{cricket})$-free graphs and all $6$-vertex-critical $(P_5,\text{cricket})$-free graphs. Our proofs rely on bounding the size of antichains and developing Ramsey-theoretic ideas. For any fixed integer $k \geq 1$, our results imply the existence of a polynomial time algorithm to decide whether a $(P_5,\text{chair})$-free (or $(P_5,\text{cricket})$-free) graph is $(k-1)$-colourable such that this algorithm can also present a negative constant-size certificate in case the graph is not $(k-1)$-colourable.
A higher homological approach to the $q$-characters of representations of quantum affine algebras
For any acyclic quiver $Q$ without multiple edges, we construct a monoidal category $\mathcal{R}_Q$ whose indecomposable objects are tensor products (over the base field) of finite-dimensional modules over the path algebra of $Q$. We show the existence and uniqueness up to homotopy of certain distinguished chain complexes satisfying good homological properties (higher almost split complexes) preserved under tensoring by objects in $\mathcal{R}_Q$. As a crucial ingredient for this construction, we establish the existence of a family of complete exceptional sequences in $\mathrm{mod}\,\mathbf{k}Q$ satisfying many good properties, which we believe might be of independent interest. We then prove that when $Q$ admits a height function, the Euler characteristics of (the images under certain additive functor of) these complexes coincide with the truncated $q$-characters of the standard modules in Hernandez-Leclerc's category $\mathcal{C}^{(1)}$. Applying our results to the case where the underlying graph of $Q$ is a Dynkin diagram of type $A_n, n \geq 1$, we also interpret the cluster characters of all cluster variables in the finite type cluster algebra $\mathcal{A}_Q$ as Euler characteristics of certain chain complexes in $\mathcal{R}_Q$.
Improved bounds for the double cap conjecture
In 1974, Witsenhausen asked for the maximum possible density $α_n$ of a measurable subset $A$ of the unit sphere $\mathbb{S}^{n-1}\subset \mathbb{R}^n$ such that $A$ contains no pair of orthogonal vectors. For $n=3$, the best known lower bound is $1 - 1/\sqrt{2} = 0.29289\dots$, obtained from the natural "double cap" construction of two opposite spherical caps, which is conjectured to be optimal for all $n$ by Gil Kalai. In this paper, we use a novel approach to establish an upper bound of $α_3\le 0.2953$, improving the previous best known bound $0.2977$ due to Bekker et al. (2025). Our approach combines harmonic-analytic arguments with the geometric fractional chromatic number of finite graphs, recently introduced by Ambrus et al. (2024). In this framework, any finite subset of the sphere yields an upper bound for $α_n$, and we obtain our bound by identifying an appropriate 33-element point set through a large-scale computer search.
The same method can also be used in higher dimensions to yield potential improvements of the best known bounds.
Nearly tight exponents for off-diagonal Ramsey numbers
We construct a new family of $K_s$-free graphs that leads to improved lower bounds for Ramsey numbers across a wide range of parameters. For any fixed $s \ge 4$, we show that the off-diagonal Ramsey numbers satisfy $r(s, k) \ge k^{s-2 + o(1)}.$ For $s \ge 6,$ this improves the best known lower bound of the form $r(s, k) \ge k^{\frac{s+1}{2} + o(1)}$ which was first established by Spencer in 1977 and has since only seen logarithmic improvements. This nearly matches the best known upper bound which is of the form $r(s, k) \le k^{s-1 + o(1)}$ and which is widely believed to give the correct exponent. More generally, we show that if $s, k/s \rightarrow \infty$, then $r(s, k) = \left(\frac{k}{s}\right)^{(1+o(1)) s},$ where the upper follows from the seminal work of Erdős and Szekeres in 1935. We also obtain improved lower bounds for Ramsey numbers extremely close to the diagonal as well as for diagonal multicolor Ramsey numbers.
Prime Certificates for Exact Vertex-Coprime Ramsey Numbers
Let $G_n$ be the coprime graph on $\{1,\ldots,n\}$. We prove that the mixed vertex-coloring coprime Ramsey number satisfies \[
\Rcop(k_1,\ldots,k_c)=p_{\sum_{i=1}^c(k_i-1)}, \] where $p_m$ is the $m$-th prime. The proof is elementary: the prime clique $\{1\}\cup\{p\le n:p\text{ prime}\}$ gives the upper bound by pigeonhole, while a prime-bin partition gives the matching lower bound by coloring each composite with a bin containing one of its prime divisors. We reserve $\Rcop$ for this vertex-coloring parameter; the edge-coloring parameter on the same host graph is denoted $\Redge$. The same certificate viewpoint yields several extensions, including a support-disjointness generalization, a polynomial-time certificate-extraction primitive, and an exact reduction of the edge-coloring variant to classical Ramsey numbers: $\Redge(k_1,\ldots,k_c)=p_{\Rcl(k_1,\ldots,k_c)-1}$. These two formulas are rank transfers from the same clique-label certificate. We also prove that the balanced two-color diagonal threshold equals the unrestricted threshold $p_{2k-2}$ for all $k\ge2$, via a deterministic prime-bin split requiring only the weak inequality $2p_m<p_{2m}<3p_m$; for fixed $c$, a Hall argument plus a standard Selberg--Delange estimate gives eventual multicolor balanced certificates.
A palindromicity criterion for the $h$-polynomials of bipartite edge rings
We study a symmetry problem for the $h$-polynomials of edge rings of bipartite graphs. Let $G$ be a bipartite graph and write $h(\mathbb{k}[G];t)=h_0+h_1t+\cdots+h_st^s$. We prove that if $\Bbbk[G]$ is pseudo-Gorenstein and $h_1=h_{s-1}$, then $\Bbbk[G]$ is Gorenstein. Equivalently, under these assumptions the $h$-polynomial of $\Bbbk[G]$ is palindromic. The proof treats the $2$-connected case first by translating the numerical condition $h_1=h_{s-1}$ into a tight-separation condition for non-edges, and then passes to arbitrary bipartite graphs using the block decomposition. We also construct a blockwise Gorenstein closure, obtained by adjoining all non-edges not separated by tight acceptable sets, and show that this construction preserves the next-to-leading coefficient of the $h$-polynomial.
Proper Additive Edge Colorings of Regular Graphs
We show that if $G$ is a $d$-regular Vizing-class-1 graph, then the proper additive chromatic index of $G$, denoted $η'_p(G)$, is equal to its chromatic index. This verifies that a strengthening of the Additive Coloring Conjecture of Czerwiński et al. holds for line graphs of $d$-regular Vizing-class-1 graphs. We show that if $G$ is a $d$-regular Vizing-class-2 graph, $η'_{p}(G)\leq \frac{(2^{\lceil \log_2 (d+1)\rceil})^2+2}{3}$, and if $G$ is a $d$-regular Vizing-class-2 graph that admits a proper edge-coloring with a smallest color class of size $r$ and $\text{girth}(G)\geq 6r-5$, then $η_p'(G)\leq 2d$, among other results.
Constructing Block Designs from Complete Graphs
Block designs are combinatorial structures in which each pair of a set of varieties appears together in a fixed number of blocks. Complete graphs are graphs in which every pair of vertices are adjacent. We present some new constructions of block designs using complete graphs, including two infinite families of designs using edge sets of complete graphs.
Dimensions of Mycielskians of cycles
The Mycielskian is a standard construction studied in many an introductory graph theory course. It is natural to consider Mycielskians of cycles, some of the simplest of all graphs. This paper deals with the so-called ``dimension'' of such graphs. The dimension of a graph $G$ is the smallest positive integer $n$ such that there exists a one-to-one correspondence between the vertices of $G$ and some collection of points in $n$-dimensional Euclidean space such that if two vertices in $G$ are adjacent, then the distance between the corresponding points is $1$. In previous works, it had been proven that the dimension of the Mycielskian of a $k$-cycle is 3 when $k$ is $3$, $4$, or $5$, and 2 when $k=10$. In this paper, we answer the question completely. Namely, we show that the dimension is $3$ when $k\neq 10$, and $2$ when $k=10$.
The maximum number of paths of a given length in a nonhamiltonian graph
In 1980, Paul Erdős posed the following problem: For every positive integer $n,$ determine a nonhamiltonian graph of order $n$ having the maximum number of Hamilton paths. We solve the more general problem of determining the nonhamiltonian graphs of order $n$ having the maximum number of paths of length $k$ for given integers $n$ and $k$ with $1\le k\le n-1.$ The case $k=n-1$ gives a solution to Erdős's problem and the case $k=1$ corresponds to a theorem due to Ore and Bondy.
Spectral Sidorenko inequalities and edge-spectral supersaturation
We develop a spectral approach to Sidorenko-type inequalities and apply it to establish sharp edge-spectral supersaturation results. Let $H$ be a bipartite graph with $v$ vertices and $e$ edges, where $v\le e$, and write $M(G)=2e(G)$. We prove that Sidorenko's conjecture is equivalent to a spectral strengthening: \[
\hom(H,G)\ge M(G)^e |V(G)|^{v-2e} \quad \text{ if and only if }\quad \hom(H,G)\ge λ(G)^{2e-v}M(G)^{v-e}. \] We also introduce an operator-norm certificate which, via the Riesz--Thorin interpolation, gives direct proofs of the spectral Sidorenko inequality in several cases. The converse direction in the equivalence theorem is proved by a tensor-power spectral regularization lemma.
As an application, we obtain sharp asymptotic edge-spectral supersaturation results for complete bipartite graphs and even cycles. Let $S_{t-1,m}$ be the split graph with $m$ edges obtained by joining a clique $K_{t-1}$ with an independent set. For any $m$-edge graph $G$ with $λ(G)>λ(S_{t-1,m})$, $$\texttt{#} K_{t,t}(G)
\ge
\Big(\frac{2^{-(t-1)^2}}{(t!)^2}-o(1)\Big)m^t \quad \text{and}\quad
\texttt{#}C_{2t}(G)
\ge
\Big(\frac{(t-1)!}{2t^t}-o(1)\Big)m^t.$$ Both constants are best possible: the first is attained asymptotically by random graphs, while the second is attained by split graphs. The supersaturation proofs combine spectral Sidorenko inequalities with heavy-edge pruning process, a Perron-vector localized/delocalized dichotomy, and incidence-matrix inequalities.