graph
35150 papers tagged with this keyword
Edge-Defect Spectral Methods for Higher-Order Rankings of Spanning Tree Counts
In this paper, we study the higher-order ranking, by spanning-tree count, of graphs obtained from a complete graph by deleting a fixed number of edges. Using the edge-defect matrix determined by the deleted edges and the interaction number measuring the local overlap among them, we derive a stability inequality that quantitatively estimates the decrease in the number of spanning trees from the matching-deletion case. Combining this stability estimate with a classification of deletion graphs having small interaction number, we determine, up to isomorphism, the nine deletion graphs with the largest spanning-tree counts for $p\geq6$ and $n\geq2p$. We also clarify the relation between the interaction number, the local structure of the deletion graph, and the decrease in the number of spanning trees through a logarithmic expansion of the normalized spanning-tree count.
Covering Families for DP-Coloring of Cartesian Products with Complete Bipartite Graphs
A famous folklore result in list coloring demonstrating that the gap between the list chromatic number and chromatic number of a graph can be arbitrarily large is: $χ_{\ell}(K_{l,t}) = 1+l$ if and only if $t \geq l^l$. DP-coloring (also called correspondence coloring) is a well-studied generalization of list coloring introduced in 2015. In 2018, Mudrock studied the DP analogue of the aforementioned folklore result. He proved that for $l \in\mathbb{N}$, if $μ(l)$ is the smallest integer $t$ such that $χ_{DP}(K_{l,t})=1+l$, then $\left\lceil l^l/l!\right\rceil \leq μ(l) \leq 1+l^l(\log(l!)+1)/l!$. Recently, Kaul, Mudrock, and Sharma studied a more general version of this problem by studying the smallest $t$ for which $χ_{DP}(G \square K_{l,t}) = k + l$, where $G$ satisfies certain criticality conditions and $G \square K_{l,t}$ denotes the Cartesian product of $G$ and $K_{l,t}$. In this paper, we introduce a notion we call covering families that gives a new perspective on these DP-coloring questions. In particular, if $κ(l)$ denotes the minimum size of a covering family of $[l]^l$, we show that $μ(l)=κ(l)$. We use this equivalence to prove $μ(4)=12$ and to obtain new general lower bounds on $μ(l)$. We also prove a general upper bound on the minimum size of covering families which yields an improved general upper bound on $μ(l)$ and gives improvements on known bounds for related DP-coloring questions involving Cartesian products with complete bipartite graphs.
Strong edge coloring of graphs with maximum degree $6$
Let $G$ be a graph. Under a strong edge coloring of $G$, every color class is an induced matching. The strong chromatic index of $G$, denoted by $χ'_s(G)$, is the smallest integer $k$ such that $G$ admits a strong edge coloring with $k$ colors. Denote by $Δ(G)$ the maximum degree of $G$. In this paper, we prove that every graph $G$ with $Δ(G)\le 6$ satisfies $χ'_s(G)\le 57$, improving the best known upper bound $60$.
On the (independent) semitotal domination in subdivision, middle, and central graphs
A dominating set $D$ of a nontrivial connected graph $G$ is called a semitotal dominating set of $G$ if every vertex in $D$ is at distance at most two from another vertex in $D$. If, in addition, $D$ is an independent set, then $D$ is called an independent semitotal dominating set of $G$. The (independent) semitotal domination number of $G$ is the minimum cardinality among all (independent) semitotal dominating sets of $G$. In this paper, we obtain closed formulas for these parameters in the following three well-known graph operators defined from a connected graph: the subdivision, middle, and central graphs.
Det-extremal cubic graphs and the total domatic number
A graph $G$ is det-extremal if $|\operatorname{det} A|=\operatorname{per} A$ for its adjacency matrix $A$. Det-extremal cubic bipartite graphs arise in the study of Pólya's permanent problem, and McCuaig characterized the $3$-connected ones as vertex-sums of copies of the Heawood graph. The total domatic number of a graph is the largest number of pairwise disjoint total dominating sets. Characterization of the cubic graphs with total domatic number $1$ has been a long-standing open problem.
In this paper, we prove that a connected cubic graph is det-extremal if and only if its total domatic number is $1$. We further show that McCuaig's characterization extends to all $3$-connected cubic graphs, and that every connected det-extremal cubic graph has girth $3$, $5$ or $6$. We also prove that a connected det-extremal cubic non-bipartite graph has at least $28$ vertices, and that this bound is best possible. Through this correspondence, these results carry over to cubic graphs with total domatic number $1$. In addition, in the language of configurations, our results imply that every triangle-free $3$-configuration has a blocking set.
FIID Coloring Random Maps
We show that the percolation components on a square grid can be $5$-colored as a factor of iid so that neighboring components get different colors. Above the critical probability, we observe that these regions can be 4-colored. Along the way, we extend the classical correspondence between fiid process and measurable labellings of the Bernoulli shift to this quotient setting, prove a general coloring result about hyperfinite pmp planar graphs, and clarify some foundational issues about how to define planarity for Borel graphs.
Orthogonal and unitary signings of cube-like graphs
A unitary signing of a $d$-regular graph is a Hermitian adjacency matrix $M$ whose nonzero entries lie in $\{\pm1,\pm i\}$ and satisfies $M^2=dI$. Motivated by the work of Alon and Zheng on orthogonal and unitary signings of cube-like graphs, we introduce the $Θ$-property for a generating set $S\subseteq\mathbb Z_2^n$: whenever three pairwise disjoint subsets of $S$ have the same sum, at least two of them have even size.
We prove that every zero-free generating set with the $Θ$-property gives a cube-like graph $Q_S$ admitting a unitary signing, and we give an explicit local formula for such a signing. For Sidon sets, the $Θ$-property is also necessary, yielding a characterization of the Sidon cube-like graphs that admit unitary signings. In this setting there are exactly $2^{|S|-n}$ switching-equivalence classes of unitary signings, and we characterize when a unitary signing can be chosen to be orthogonal.
The $Θ$-property admits a linear-algebraic description in terms of the dependency space $\mathcal D$ of $S$:
\[
|D_1\cap D_2|
\equiv
|D_1||D_2|
\pmod2
\qquad
(D_1,D_2\in\mathcal D).
\]
Equivalently, the map
\[
D\longmapsto \binom{|D|}{2}\pmod2
\] is linear on $\mathcal D$. For the corresponding extremal set problem, in which zero is permitted, this formulation yields the sharp bound $|S|\leq 2n+1$ for generating sets with the $Θ$-property. We give elementary constructions attaining this bound for every $n\geq3$. Under the additional Sidon condition, the same extremal value is attained for every $n\geq10$ using binary self-dual codes. The exact Sidon maximum is also determined for $3\leq n\leq9$.
Quantitative Merino--Welsh inequalities for joins
For a connected graph \(G\), let \[ Q(G)=\frac{T(G;2,0)T(G;0,2)}{T(G;1,1)^2}. \] We obtain quantitative lower bounds for \(Q\) under the graph join operation. If \(A\) and \(B\) are arbitrary simple graphs of orders \(3\le a\le b\), then \(Q(A\vee B)\) admits an explicit lower bound depending only on \(a\) and \(b\), and this bound is strictly greater than \(1\). We further quantify the improvement produced by edges inside the two factors. For every simple graph \(F\), with \(n=|V(F)|+2\ge4\), we prove \[ Q(K_2\vee F)\ge \frac{27}{n^2}\left(\frac32\right)^{n-4}. \] Consequently, every join of at least three nonempty factors, and every complete multipartite graph with at least one edge and no cut edges, satisfies the strict multiplicative Merino--Welsh inequality. The proofs combine orientation estimates with spanning-tree comparisons based on effective resistance and block elimination.
Polynomial Compressibility and Forbidden Oriented Forests
For a nonempty acyclic oriented graph $H$, let $p(H)$ be the order of a longest directed path and let $τ(H)$ be the least positive integer $n$ such that $H$ admits a homomorphism to every tournament of order $n$. For all $p\ge3$ and $g\ge1$, we construct a connected acyclic oriented graph $H$ with underlying girth greater than $g$, absolute and relative oriented clique numbers equal to three, and \[
p(H)=p,\qquad τ(H)=r_{\mathrm{tr}}(p), \] where $r_{\mathrm{tr}}(p)=2^{Θ(p)}$ is the tournament Ramsey number for a transitive $p$-vertex tournament. This disproves the conjectured polynomial bounds under bounded absolute or relative oriented clique number. It also shows that a forbidden graph can yield a polynomially $τ$-bounded class only if its underlying graph is a forest. For fixed $g$, the least order of these examples is bounded by a polynomial in $p$. A separate construction gives maximum in- and outdegree $O(p^2)$, uniformly in $g$. For $p=4$, the least order is $2^{Θ(g)}$. We also establish polynomial $τ$-boundedness for every orientation of the two four-vertex trees. The pure-claw case follows from the known $O(p^4)$ bound. We obtain the bound $2p-2$ for mixed claws and one-turn orientations of $P_4$ when $p\ge2$, and bounds $4$ and $3p-2$ for the directed and alternating orientations of $P_4$, respectively. In the alternating case, $τ(H)=p(H)$ when the underlying graph is triangle-free.
A Hopf Algebraic Theory of the Quantum Magnusian
We develop a Hopf-algebraic theory of the graph coefficients arising in the quantum Magnus expansion. At the classical level, the graph expansion is governed by directed trees, whereas its quantum counterpart involves loop graphs, multiple edges, and different types of edge data. We introduce a contraction Hopf algebra of mixed quivers containing these physical diagrams and closed under contraction.
On the Hopf subalgebra spanned by quivers, we define a character $e$ from normalized linear-extension data and a tadpole prescription, and let $ω$ be its convolution inverse. Our main result is a universal closed formula for the connected function $ω_c$ on every finite quiver. The formula is a finite sum over ordered set partitions of the vertex set and is valid without acyclicity or simplicity assumptions. We also give a local characterization: a two-vertex contraction identity, together with tadpole factorization, vanishing on disconnected graphs, and boundary data, determines $ω_c$ uniquely.
For acyclic quivers, the general formula reduces to a permutation formula whose coefficients depend only on descent numbers. We derive the same formula independently from the quantum Magnus expansion via operator products and Wick contractions, showing that its physical graph coefficients are governed by the convolution structure of the contraction Hopf algebra. As further consequences, we obtain a refined quantum Murua formula and orientation-sum identities related to Tutte and chromatic polynomials.
Explicit Fractalizers: Prime-Order Paley Graphs and other Cayley Graphs
The inducibility problem asks for the maximum number of induced copies of a fixed graph among all graphs with a prescribed number of vertices. Inducibility has been an active area of research in extremal combinatorics, but determining all extremal graphs for explicitly defined patterns remains challenging, particularly when the description is required to hold at every host order. A graph $H$ is called a fractalizer if, for every positive integer $n$, every $n$-vertex graph maximizing the number of induced copies of $H$ is a balanced iterated blow-up of $H$, obtained by recursively repeating the same pattern in parts whose sizes differ by at most one. Previous probabilistic results show that large random graphs and random abelian Cayley graphs are fractalizers with probability tending to one, establishing their abundance without directly providing explicit families.
We prove that every sufficiently large prime-order Paley graph is a fractalizer. Thus these classical arithmetic patterns determine the exact recursive structure of every extremal host, at every host order and without any algebraic assumptions on the host. We also construct a second explicit infinite family of nontrivial Cayley fractalizers, for which the fractalizer property admits a simpler proof than in the Paley case. Together, these results resolve the explicit-construction question discussed at the 2025 American Institute of Mathematics workshop "Flag Algebras and Extremal Combinatorics."
A Curved-Path Refinement of the Kalai--Kleitman Diameter Bound
Let $Δ_u(d,n)$ be the maximum graph diameter of a pointed $d$-dimensional polyhedron with $n$ facets. Using a curved-path encoding of the iterated Kalai--Kleitman recurrence, we prove, uniformly over $n\geq d\geq 4$, \[
Δ_u(d,n) \leq (n-d)^{\log_2 G_d},\qquad
G_d = (4\ln 2+o(1))\frac{d}{(\ln d)^2}, \] where the asymptotic expression for $G_d$ is understood as $d\to\infty$, improving the exponent of the previous best quasi-polynomial bound by an additional logarithmic factor. With the quantitative $d$-step reduction, we also obtain the complementary excess-based bound \[
Δ_u(d,n) \leq (n-d)^{\frac{1}{2}\log_2(n-d)+O(1)}, \] where the implied constant is absolute. In the regime $n - d = Θ(d)$, the latter bound is asymptotically stronger and halves the leading coefficient in the exponent. We further examine their behavior as $n$ grows relative to $d$, obtaining sharper exponents when $n = d^{1/γ+o(1)}$ for fixed $0<γ<1$ and an almost-linear bound in the deep-tail regime $(\ln n)/d\to\infty$. We also show that the leading term of the general bound is sharp within this positive path-counting framework.
The minimum spectral radius of maximal outerplanar graphs
An outerplanar graph is \emph{maximal} if no edge can be added without losing outerplanarity. Lin and Ning determined the outerplanar graph with the largest spectral radius, and the maximizer is a maximal outerplanar graph. We determine the minimizer. In this paper, we prove that every $n$-vertex maximal outerplanar graph $G$ satisfies $ρ(G)\geρ(F_n)$, where $F_n$ is the zig-zag triangulation of the $n$-gon, that is, the square of the path on $n$ vertices, with equality if and only if $G=F_n$. The proof uses three local operations on maximal outerplanar graphs, each of which strictly decreases the spectral radius: the first reverses the way a piece is attached along a chord, and the second and third move a piece from one vertex to its twin across a chord when the twin carries nothing or a single ear, respectively. A graph at which no operation applies is $F_n$, or has spectral radius greater than $4$, or consists of a central triangle with three zig-zag blades of at least three triangles each and has at most $15$ vertices; in the last case it contains one of two explicit graphs on $12$ vertices whose spectral radius exceeds that of $F_{15}$. Since $ρ(F_n)<4$ for all $n$, this completes the proof. The numerical inequalities used along the way are certified by explicit integer vectors with small entries.
A planar algebraic Zarankiewicz theorem over prime fields
We prove an incidence bound for bipartite graphs on finite subsets of $\mathbb{F}^2\times \mathbb{F}^2$ defined by Boolean combinations of polynomial equations of bounded degree. If such a graph is $K_{k,k}$-free and its vertex classes have sizes $m$ and $n$, then it has $O_{t,k}((mn)^{2/3}+m+n+mn/p)$ edges, where $t$ bounds the description complexity, $p$ is the characteristic of $\mathbb{F}$, and $1/p=0$ in characteristic zero. We also prove this bound for incidences between points and distinct geometrically irreducible components of a two-parameter polynomial family, allowing singular and nonreduced members. The proof extends Lewko's interpolation and contact-multiplicity method from lines to algebraic families. Applications include rich components, polynomial values on difference sets, and polynomial expansion.
Proper circular arc graphs are $e$-positive
We prove an $e$-positive formula for the chromatic symmetric function of proper circular arc graphs solving the $q=1$ case of Ellzey's conjecture. In doing so, we provide a new proof of the $e$-positivity of unit interval graphs, which alongside Guay-Paquet's reduction gives a new proof of the Stanley--Stembridge conjecture. We define color matrices, which count proper colorings, and tableau matrices, whose entries are nonnegative rational numbers and ratios of elementary symmetric functions. We prove the two matrices are related by a single family of change of basis matrices, which become invertible after restricting to finitely many colors, and we show the chromatic symmetric function of proper circular arc graphs comes from taking the trace of these matrices. Using Hikita's tableaux, this gives an explicit formula for the chromatic symmetric function of a proper circular arc graph as a weighted sum over tableaux whose first and last $k$ vertices lie in the same columns.
Vizing's theorem for signed multigraphs
We prove that every finite loopless signed multigraph $Σ=(G,σ)$ satisfies $χ'(Σ)\leqΔ(G)+μ(G)$, where $χ'(Σ)$ is its chromatic index, and $Δ(G)$ and $μ(G)$ are the maximum degree and maximum multiplicity of $G$, respectively. This bound is sharp, even when both positive and negative edges are present, and generalizes both Vizing's theorem for ordinary multigraphs and Behr's theorem for signed simple graphs.
There are no nontrivial uniquely C_9-saturated graphs
A graph G is uniquely C_t-saturated if G contains no cycle of length t and, for every edge e of the complement, G+e contains exactly one cycle of length t; it is nontrivial if it has at least t vertices. Wenger and West proved that no nontrivial uniquely C_6- or C_7-saturated graphs exist, and conjectured the same for every t >= 6; the case t=8 was verified but never published, and t >= 9 has remained open. We prove the conjecture for t=9: there is no nontrivial uniquely C_9-saturated graph. The proof is a case analysis on the length L of a longest even cycle of length at most 12 (L is 4, 6, 8, 10, or 12). The cases L=12, L=10, and L=4 are settled by hand; for L=6 and L=8, hand classifications of the components outside the cycle reduce each case to a bounded finite family of configurations, eliminated by a short, replayable computer enumeration with known-answer controls and completeness certified by zero cap hits. Along the way we prove, in sharpened form, the t=9 instance of a structural lemma Wenger and West stated without proof.
Proper conflict-free choosability of sparse graphs with girth at least seven
A proper conflict-free coloring of a graph is a proper vertex coloring in which every non-isolated vertex has a color appearing exactly once in its neighborhood. A graph $G$ is proper conflict-free $(\mathrm{degree}+2)$-choosable if every list assignment $L$ with $|L(v)|\ge d_G(v)+2$ for each $v\in V(G)$ admits such a coloring from the lists. We prove that every graph with girth at least $7$ and maximum average degree less than $8/3$ is proper conflict-free $(\mathrm{degree}+2)$-choosable. Consequently, every planar graph of girth at least $8$ has this property, improving the previously established sufficient girth bound of $9$.
Bipartite Turán Numbers of Trees and Star Forests
The bipartite Turán number of a graph $H$, denoted $\text{ex}(m, n; H)$, is the maximum
number of edges in any $H$-free bipartite graph $G = (A, B; E)$ with parts of size $|A| = m$ and $|B| = n$. We study this problem for two families. For a tree $T = T(r, s)$ with parts $R$ and $S$ of sizes $|R| = r \le s = |S|$, we prove
\[
(r - 1) n \;\le\; \text{ex}(m, n; T(r, s)) \;\le\; (r - 1) n + C(m,r,s)
\]
for $n$ sufficiently large compared to $m$, $r$, and $s$, where $C(m,r,s)$ does not depend on $n$, determining the leading-order term exactly (with the star case $r = 1$ solved with an exact formula). For a star forest $F = \bigcup_{i=1}^k S_{d_i}$ with $d_1 \ge \cdots \ge d_k$, we determine the exact value $\text{ex}(m, n; F) = (k - 1) n + (d_k - 1)(m - k + 1)$ for $n$ sufficiently large, and characterize the unique extremal graph.
DP vertex-arboricity of sparse graphs
The vertex arboricity $\mathrm{va}(G)$ of a multigraph $G$ is the minimum number $k$ for which $V(G)$ can be partitioned into $k$ subsets, each of which induces an acyclic subgraph of $G$. By definition, if $\mathrm{va}(G)= k$, then the chromatic number, $χ(G)$, satisfies $k\leq χ(G)\leq 2k$. Fundamental results by Borodin from 1976 and Bollobás and Manvel from 1979 imply an analog of Gallai's lower bound on the number of edges in a $(2k-1)$-critical graph. We consider a slight generalization of vertex arboricity in the setting of DP-coloring. Using this framework, we derive lower bounds on the number of edges in graphs critical for vertex arboricity and for list arboricity that are better than Gallai's bound, along with similar bounds in our DP-setting.