graph
35150 papers tagged with this keyword
Universality for rainbow oriented cycles in perturbed digraphs
A randomly perturbed digraph is an $n$-vertex directed graph with all out- and in-degrees linear in $n$, to which a linear number (depending on the degree) of random edges have been randomly added. We show that randomly perturbed digraphs whose edges have been colored uniformly with $n$ colors have a rainbow copy of every orientation of every possible length cycle, simultaneously, with high probability. This is a common generalization of work of Araujo, Balogh, Krueger, Piga, and Treglown in the uncolored setting and Katsamaktsis, Letzter, and Sgueglia for consistently oriented spanning cycles. Our proof uses Montgomery's distributive absorption method.
Diameter Thresholds of Random Cayley Graphs
Given a group $G$, the model $\mathcal{G}(G,p)$ denotes the probability space of all Cayley graphs of $G$ where each element of $G$ is included in the generating set independently at random with probability $p$.
In this article, we investigate the threshold probabilities for the diameter of random graphs in this model. Specifically, let $d_N = (1-γ)\sqrt{\frac{\log{N}}{2\log{\log{N}}}}$, where $γ\in (0,1)$ is any fixed real number. We show that for any $\varepsilon > 0$, any family of groups $G_k$ of order $N_k$ for which $N_k \to \infty$, and any integer $2 \leqslant d\leqslant d_{N_k}$, a graph $Γ_k \in \mathcal{G}(G_k,p)$ with high probability has diameter at most $d$ if $p \geqslant \sqrt[d]{(1+\varepsilon) d! \frac{\log{N_k}}{N_k^{d-1}}}$, and diameter greater than $d$ if $p \leqslant \sqrt[d]{\frac{1-\varepsilon}{2^d} \frac{\log{N_k}}{N_k^{d-1}}}$.
Up to a constant factor, these thresholds are similar to those for the usual Erdős-Rényi random graphs. However, the precise thresholds in our model depend on the underlying family of groups. We provide specific examples of group families demonstrating that both of our bounds are best possible.
Sharp threshold for Hamilton cycles in randomly perturbed sparse graphs
We determine the sharp threshold for Hamilton cycles in randomly perturbed sparse graphs. For any $α=α(n)=o(1)$, let $G_α$ be an $n$-vertex graph with minimum degree $δ(G_α)\geαn$. We prove that if $$p\ge(1+\varepsilon)\frac{\log(1/α)}{n},$$ then the union $G_α\cup G(n,p)$ is Hamiltonian asymptotically almost surely. This significantly strengthens a recent result of Hahn-Klimroth, Maesaka, Mogge, Mohr, and Parczyk by improving the leading constant from 6 to the optimal value of 1. Crucially, we show that this bound on $p$ is best possible when $αn\rightarrow\infty$, thereby establishing the exact probability threshold for Hamiltonicity in this sparse regime. Our proof relies on a robust random expansion lemma, Pósa's booster lemma, and a sprinkling argument.
A Computational Study of Limited Augmented Zarankiewicz Numbers in the Incidence-Graph Family of Complete Graphs
Let $G_1$ denote the incidence graph of the complete graph $K_{q+1}$. We study limited augmented Zarankiewicz numbers in this family by combining exact 0--1 ILP computations for the smallest cases with a constructive search procedure followed by exact admissibility verification in the larger cases considered here. We obtain \[ z_L(6,4)=14,\qquad z_L(10,5)=26,\qquad z_L(15,6)\ge 43,\qquad z_L(21,7)\ge 64,\qquad z_L(28,8)\ge 88. \] The first two values are exact. The three lower bounds arise from explicitly verified admissible families with $|E_2|=13$, $|E_2|=22$, and $|E_2|=32$, respectively; the families used to obtain these bounds are nondegenerate in the sense of [8]. In each case, the resulting value improves the corresponding classical Zarankiewicz number and hence strengthens the available lower bounds for BSR(m,n) within this family.
Linear and matrix generalizations of some combinatorial min-max theorems
We review known linear and matrix generalizations of Hall's classic ``marriage theorem'' and Kőnig's theorem on partial matchings in bipartite graphs, and relate them to linear and matrix generalizations of Dilworth's theorem about chains and antichains in posets and Menger's theorem about disjoint paths in directed graphs.
Counterexamples to Clique Immersion Conjecture for Direct Products
Let \(G\) and \(H\) be graphs, and let \(G\times H\) denote their direct product. For a graph \(G\), let \(\operatorname{im}(G)\) be the largest integer \(t\) such that \(G\) contains a \(K_t\)-immersion. Collins, Heenehan, and McDonald conjectured that if \(\operatorname{im}(G)=t\) and \(\operatorname{im}(H)=r\), then \[\operatorname{im}(G\times H)\ge (t-1)(r-1)+1.\] We disprove this conjecture by constructing an infinite family of connected bipartite counterexamples.
A note on the Alon-Saks-Seymour problem
Let $f(k)$ be the maximum possible chromatic number of a graph whose edge set can be partitioned into at most $k$ complete bipartite graphs. Alon, Saks, and Seymour conjectured that $f(k)=k+1$ for all $k$. While the conjecture was verified for $k \leq 9$ by Gao et al., it was disproved by Huang and Sudakov, and further Balodis et al. proved that $f(k) \geq 2^{\widetildeΩ((\log k)^2)}$.
In this note, we give a simple proof of the recursive upper bound $f(k+1) \leq f(k)+f(\lfloor k/4 \rfloor)$. Consequently, $f(k) \leq 2^{(\log_2 (4k))^2/4}$ for $k \geq 1$. This improves the previous best known upper bound of Mubayi and Vishwanathan in the exponent by a factor which is asymptotically two. Note that these bounds are sharp up to a lower order factor in the exponent by the result of Balodis et al.
Jump and Gradient Invariants in the Partition Graph
We introduce edgewise jump invariants and gradient-type structures for the partition graph $G_n$, whose vertices are the partitions of $n$ and whose edges correspond to elementary transfers of one unit between parts. Previous work on $G_n$ has focused mainly on vertex-level invariants such as degree, local simplex dimension, and support size. Here we study how such invariants change along edges. For an oriented edge $e=(λ,μ)$ and a vertex invariant $F$, we define the signed jump $Δ_e F=F(μ)-F(λ)$ and focus on the basic jump signature \[ J(e)=(Δ_e d,Δ_eδ,Δ_eσ), \] where $d$ is degree, $δ$ is local simplex dimension, and $σ$ is support size. We prove that support jumps are universally bounded by $2$ and describe them in terms of local multiplicity data. We also develop a taxonomy of active, neutral, pure, and mixed transitions, relate nonzero jumps of integer-valued invariants to threshold-layer crossings, and discuss strict gradient orientations associated with real-valued vertex invariants. Finally, we formulate a reproducible protocol for a computational atlas of jump spectra, transition ranks, large-jump edges, and localization patterns. No large-scale computations are carried out here; the atlas is presented as a framework for subsequent work.
A stability theorem for embedding bounded degree spanning trees
We prove that if an $n$-vertex graph $G$ is non-extremal and $T$ is a bounded degree tree on $n$ vertices, then $T\subset G$ even when the minimum degree of $G$ is less than $n/2$ by a linear term. We avoid the use of the Regularity lemma, instead we apply a vertex decomposition theorem by the author, which does not require a tower-type lower bound for $n.$
Tightness of a MaxCut Lower Bound via Vector Chromatic Number
Recently, Balla, Janzer, and Sudakov showed a lower bound on the MaxCut in terms of the vector chromatic number, recovering known results on the MaxCut of $H$-free graphs. In this note, we show that their bound is tight, providing a construction that achieves a value arbitrarily close to the optimal constant. This answers a question raised by Elphick. Our construction is a modification of the geometric graph used by Feige and Schechtman to establish the integrality gap for the Goemans--Williamson semidefinite relaxation of the MaxCut.
Tree-partitions of graphs with given pathwidth
Graphs with bounded treewidth and bounded maximum degree are known to have tree-partitions of bounded width. What can be said if the bounded treewidth assumption is strengthened to bounded pathwidth? We prove that every graph with bounded pathwidth and bounded maximum degree has a tree-partition of bounded width, with the extra property that the underlying tree has bounded pathwidth. Moreover, we prove a lower bound showing that the bound on the pathwidth of the underlying tree is within a constant factor of optimal.
Sprout Symmetric Functions: Part 1
A \emph{sprout sequence} is a sequence
$\frakr=(R_0=1,R_1,R_2,\dots)$ of symmetric functions in the
variables $\bmx=(x_1,x_2,\dots)$ over a field $K$ generated from a
power series $F(t)=1+a_1t+a_2t^2+\cdots$ by the rule $\sum_{n\geq
0}R_nt^n = \prod_{i\geq 1} F(x_it)$. The power series $F(t)$ is
called the \emph{seed} of $\frakr$. This concept originated in the
work of Littlewood and Richardson (though not with the name ``sprout
sequence''), and numerous examples of sprout sequences have appeared
in the literature. They are related to chromatic Tutte polynomials
of complete graphs and complete hypergraphs, binomial posets, upper
homogeneous (upho) posets, topological genera, etc.
We first develop the basic theory of sprout sequences and then look
at the special case $F(t)=\sec(\sqrt{t})$. We give five
characterizations of sprout sequences and consider the expansion
of sprout symmetric functions in terms of well-known symmetric
function bases. The Schur positivity, elementary symmetric function
positivity, and complete homogeneous symmetric function positivity
of $R_n$ for all $n$ are completely characterized using the
Edrei-Thoma theorem from the theory of total positivity.
The seed $F(t)=\sec(\sqrt{t})$ is especially interesting. The
expansion of $R_n$ in the power sum or monomial basis is related to
alternating permutations. The Schur function expansion is related to
standard Young skew tableaux. The expansion in terms of the complete
symmetric functions has nonnegative integer coefficients, but we
don't know a combinatorial interpretation. Finally we give a formula
for $R_n$ as a sum of chromatic symmetric functions of interval
orders.
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.
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$.