graph
34489 papers tagged with this keyword
Note on adjacency spectra for twice punctured hypercubes
Eigenspaces of hypercube graph adjacency matrices are well understood. We extend this to subgraphs obtained by removing a vertex or antipodal pair of vertices, motivated by a question on zonotopes.
The forbidden structure for zero forcing number
The {\it zero forcing number} of a graph $G$, $Z(G)$, is a well-studied parameter which arises from a color changing process and has strong connections to {\it minimum rank}, {\it critical ideals} and related invariants. In this work, we consider the complementary parameter $\mz(G) = |V(G)| - Z(G)$. This parameter is monotone under taking induced subgraphs. This leads us to the study of graphs for which $\mz(G)$ is bounded, via forbidden induced subgraphs. We prove that the number of minimal forbidden graphs for graphs with $\mz(G)\leq k$ is finite for any $k\geq 1$. We determine the complete set of minimal forbidden graphs for the case $k = 3$, and we provide partial characterizations of graphs with $\mz(G) \leq 3$, based on girth. Our results suggest new directions for the structural understanding of zero forcing-type parameters.
Diagonal F-threshold of binomial edge ideals
We compute the diagonal $F$-threshold of binomial edge ideals associated to graphs in the case of cycles, cycles with whiskers, bipartite graphs, and block graphs. Moreover, we provide general bounds for any graph.
Singular difference graphs of vector spaces of square matrices
The singular difference graph, denoted by $Γ$, of the vector space of square matrices over a field
is a graph whose vertex set is the set of
all elements of the vector space, where two distinct vertices are adjacent if and only if the difference
of the corresponding matrices is singular. In this paper, we investigate fundamental
graph-theoretic properties of $Γ$, including connectivity, diameter, regularity,
the Eulerian property, independence number, clique number, and domination
number. We show that $Γ$ is a connected regular graph with diameter two. Over finite
fields, we obtain an explicit formula for the
degree of each vertex and characterize precisely when $Γ$ is
Eulerian. We determine the independence number and clique number and
provide explicit constructions attaining these values using companion
matrices of irreducible polynomials. We also construct an explicit
dominating set, yielding an upper bound for the domination number.
Analysis of Polynomial Threshold Functions on Random Regular Graphs: Computational Complexity of Detecting Noisy Random Lift
In this work, we present the first analysis of low degree polynomial threshold functions for the natural hypothesis testing problem of detecting the noisy random lift of a base $d$-regular graph from a uniformly random $d$-regular graph. Along the way, we obtain a new result for the distribution of short cycle counts in noisy random lift up to logarithmic lengths, which generalizes results by McKay, Wormald, and Wysocka and by Johnson in the case of random regular graphs, and the result by Fortin and Rudinsky in the case of random lift.
The Erdős-Hajnal Property for the six-vertex Graph with Edge Set $\{ab,bc,cd,de,af,bf,df\}$
We prove that the six-vertex graph with edge set $\{ab,bc,cd,de,af,bf,df\}$ has the Erdős-Hajnal property. The proof adapts the iterative-sparsification method of Nguyen, Scott, and Seymour within the comb-based framework of Huang, Ju, and Zhou.
On identifying codes on oriented graphs
This article studies identifying codes in oriented graphs from a computational complexity perspective. We investigate the $\mathcal{F}$-Id Code problem, where given a simple graph $G$ and a vertex subset $C$, which induces a subgraph in the family $\mathcal{F}$, as inputs
and ask whether it is possible to orient $G$ in such a way that $C$ becomes its oriented identifying code.
Focusing on the family $\mathcal{F}_d$ of $d$-regular graphs, we establish a complete dichotomy by proving that the problem is polynomial-time solvable for $d\leq1$ and NP-complete for all $d\geq2$.
Optimal connectivity of second order iterated line graphs
The line graph $L(G)$ of a graph $G$ is defined to be the simple graph whose vertices are the edges of $G$, where two vertices in $L(G)$ are adjacent if and only if the corresponding edges in $G$ are incident with a common vertex, and define $L^2(G)=L(L(G))$. For positive integers $d$ and $k$, the function
$κ_{L^2}(d,k) = \inf\{κ(L^2(G)): κ'(G) \ge k \mbox{ and } δ(G) \ge d\}$ has been investigated. Niepel and Knor proved that $κ_{L^2}(d,1)\geq d-1$, for any integer $d \ge 3$. In this research, it is proved that if $d\geq 3$ and $k\geq 1$, then $κ_{L^2}(d,k)= \min\{f(d,k), 4d-6\}$, where \begin{equation} f(d,k) = \left\{ \begin{array}{ll} k(d-k), & \mbox{ if $1\leq k\leq \lfloor\frac{d}{2}\rfloor$, } \\ kd-k^2+2k(\lceil \frac{d}{2}\rceil)-(\lceil\frac{d}{2}\rceil)d, & \mbox{ if $\lfloor\frac{d}{2}\rfloor< k <\frac{3d-1}{4}$, } \\ kd-k^2+2k\lfloor \frac{d}{2}\rfloor-2(\lfloor \frac{d}{2}\rfloor)^2, & \mbox{ if $\frac{3d-1}{4}\leq k<d$, }\\ d(\lceil \frac{d}{2}\rceil), & \mbox{ if } d=k. \end{array} \right.\nonumber \end{equation}
Unbalanced Turán and spectral Turán problems with prescribed large maximum degree
Classical Turán-type problems determine the maximum number of edges and spectral radius of an $n$-vertex $F$-free graph without a degree constraint. We study the corresponding problems in the class of $n$-vertex $F$-free graphs $G$ with prescribed maximum degree $Δ(G)=Δ$. Let $χ(F)=r+1\ge3$ and $\lceil(r-1)n/r\rceil\leΔ\le n-1$. The maximum-degree condition leads to the complete $r$-partite graph $S_{n,Δ}^{(r)}=(n-Δ)K_1\vee T(Δ,r-1)$, whose part of size $n-Δ$ is generally smaller than the other parts; this is the source of the unbalanced Turán problem considered here. Let $\mathrm{ex}_F(n,Δ)$ and $\mathrm{spex}_F(n,Δ)$ denote the maximum number of edges and adjacency spectral radius, respectively, in this class. For $F=K_{r+1}$, we prove that $S_{n,Δ}^{(r)}$ is the unique extremal graph for both parameters. For a general graph $F$, let $a(F)$ be the minimum size of an independent set $I$ such that $χ(F-I)\le r$. If $a(F)=1$, we prove edge and spectral stability with respect to $S_{n,Δ}^{(r)}$. If $a(F)>1$, the extremal values have the usual Erdős--Stone--Simonovits asymptotics, and the edge- and spectral-extremal graphs are $o(n^2)$-close to $T(n,r)$. Finally, for a finite forbidden family, we prove that a decomposition-family edge bound of order $O(n^{1+s})$ yields a spectral-radius bound with error term $O(n^s)$, where $0\le s<1$. This can be used to obtain spectral-radius estimates from decomposition-family bounds in other unbalanced Turán problems.
Signless Laplacian spectral conditions for rainbow matchings in a collection of bipartite graphs
Let ${\cal G}=\{{G_1},\ldots,{G_k}\}$ be a collection of (not necessarily distinct) bipartite graphs on the same vertex bipartition $(X,Y)$ with $|X|=a$ and $|Y|=b$, where $k$, $a$ and $b$ are positive integers. A collection ${\cal G}$ of bipartite graphs admits a rainbow matching if there exists a set of pairwise disjoint edges such that any two edges are from distinct bipartite graphs of ${\cal G}$. Denote by $q({G})$ the signless Laplacian spectral radius of a bipartite graph $G$. In this paper, we prove that if $q({G_i})\ge b+k-1+\sqrt{(k-1)b} $ for each ${G_i}\in{\cal G}=\{{G_1}, \ldots, {G_k}\}$, where $2\leq k\leq a\leq b$, then ${\cal G}$ admits a rainbow matching of size $k$ unless ${G_1}={G_2}=\cdots={G_k}\cong{K_{k-1,b}}\cup\overline{K_{a-k+1}}$, by using the shifting technique.
Packing and Covering Cycles Through Prescribed Vertices
Let $G$ be a finite simple graph and let $S\subseteq V(G)$. We prove that the minimum number of vertices meeting every cycle that intersects $S$ is at most the maximum number of vertices of $S$ covered by a collection of vertex-disjoint cycles. This answers a question posed by Bowler, Ghorbani, Gut, Jacobs, and Reich [\emph{SIAM Journal on Discrete Mathematics} \textbf{40} (2026), 988--999]. An incidence-based reduction to their bidirected packing--covering theorem preserves the packing value and projects transversals without increasing their cardinality.
On orientability, Poincaré duality, and connectivity of GKM graphs
We investigate a combinatorial notion of orientability for abstract GKM graphs and its connections to graph cohomology in the sense of Guillemin--Zara. In particular, we prove that orientability of the GKM graph is equivalent to Poincaré duality of the rational (non-equivariant) graph cohomology algebra. As an application, we prove that orientable GKM graphs remain connected after removing any single vertex.
The Bounded-VC chromatic thresholds of graphs
For a graph $H$, the chromatic threshold $δ_χ(H)$ is the infimum of $c>0$ such that the chromatic number of every $n$-vertex $H$-free graph with minimum degree at least $cn$ is bounded by a constant depending only on $H$ and $c$. Allen, Böttcher, Griffiths, Kohayakawa, and Morris proved that if $χ(H)=r\geq 3$, then $δ_χ(H)\in\{\frac{r-3}{r-2}, \frac{2r-5}{2r-3}, \frac{r-2}{r-1}\}$. Liu, Shangguan, Skokan, and Xu introduced the bounded-VC chromatic threshold $\text{VC}(H)$ by restricting the host graphs to have bounded VC-dimension. We determine this parameter for graph $H$ with $χ(H)\ge 3$. More precisely, let $\mathcal{M}(H)$ be the decomposition family of an $r$-chromatic graph $H$, then \[ \text{VC}(H)= \begin{cases}
\dfrac{r-3}{r-2},&\text{if $\mathcal{M}(H)$ contains a forest},\\[4pt]
\dfrac{r-2}{r-1},&\text{otherwise}. \end{cases} \]
On the spherical design properties of a $P$- and $Q$-polynomial association scheme
We show that the strength as a spherical design of the spherical embedding of a $P$- and $Q$-polynomial association scheme with at least three classes with respect to a $Q$-polynomial idempotent is at most five, provided that the multiplicity is at least three. We also identify the examples that attain this upper bound on the strength. Our result improves on Suda's earlier upper bound of eight [J. Combin. Des. 19 (2011)], and is considered dual to the results of Lewis [Discrete Math. 223 (2000)] and Miklavič [Electron. J. Combin. 32 (2025)] concerning the girth of a $Q$-polynomial distance-regular graph with diameter and valency both at least three. To establish our upper bound, we introduce and discuss a polynomial method that works by constructing an appropriate polynomial that vanishes at every point of the spherical embedding.
Counting Successor-Closed Subsets of Functional Digraphs
A functional digraph is a directed graph where each vertex has an out-degree of at most 1. We study the number of successor-closed subsets of a functional digraph, that is, subsets from which no edge leaves, and show that this decomposition yields a simple recursive formula for the corresponding generating function. Using this formula, we determine, among all functional digraphs with a fixed number of vertices and edges, the one maximizing the number of successor-closed subsets of every size simultaneously. Somewhat unexpectedly, this extremal result yields a quantitative strengthening of the set-pairs inequality of Bollobas: rather than merely guaranteeing that some pair of a large enough family must violate the hypothesis of the theorem, we show that a uniformly random subset of the family witnesses a violation with high probability, quantitatively in terms of how far the family size exceeds the classical threshold. We further show that the same approach applies to the skew variant of Bollobas's inequality due to Hegedus and Frankl, yielding an analogous probabilistic strengthening.
On Eigenvalue Bounds for Bounded Genus Graphs and Minor-Free Graphs
In this paper, we resolve a 30-year-old conjecture of Spielman and Teng concerning the performance of the spectral partitioning method on graphs embeddable on an orientable surface of genus $g$. In particular, for such a graph $G$ with $n$ vertices and maximum degree $Δ$, we show that the second-smallest eigenvalue of its Laplacian matrix satisfies $λ_2(L_G)\lesssimΔ\frac g n$. We also obtain an improved eigenvalue bound for $K_h$-minor-free graphs of $λ_2(L_G)\lesssimΔ\frac{h^2(\log h)^2}n$.
In fact, our results directly prove much stronger results for reweighted eigenvalues, including higher reweighted eigenvalues. As a consequence, we obtain bounds not just on Laplacian eigenvalues, but also on normalized Laplacian eigenvalues and Steklov eigenvalues. Our results for genus-$g$ graphs are optimal for all of these kinds of eigenvalues, while our results for $K_h$-minor-free graphs are optimal up to $\log(h)$ factors.
Our techniques for genus-$g$ graphs bootstrap bounded-degree bounds of normalized eigenvalues for entire classes to bounds for reweighted eigenvalues for the same classes without the bounded-degree limitation, while our techniques for $K_h$-minor-free graphs generalize an argument of Korhonen and Lokshtanov, making use of the Lovász local lemma.
On di-Cayley graphs and their spectrum
Given a group $G$ and three subsets $S_\ell, S_r, S_m \subset G$, we consider di-Cayley graphs $DX(G;S_\ell,S_r,S_m)$ and di-Cayley sum graphs $DX^+(G;S_\ell,S_r,S_m)$, directed generalizations of the bi-Cayley (sum) graphs $BX(G;S_\ell,S_r,S_m)$ and $BX^+(G;S_\ell,S_r,S_m)$. We refer to these four kinds of graphs collectively as $X^*(G;S_\ell,S_r,S_m)$. First, we give the basic properties of these graphs and compute their adjacency matrices. Then, we obtain the eigenvalues of $X^*(G;S_\ell,S_r,S_m)$ in terms of the spectra of the associated Cayley graphs $X(G,S)$ with $S\in \{S_\ell,S_r,S_m\}$ in two ways, using adjacency matrices and using irreducible characters of $G$.
An Extremal Spectral Problem for Triangle-Free Graphs Arising from Quantum Transport
For a graph $G$ of order $n$ with adjacency matrix $A$, let $F_G(t)$ be the average of $|(\exp(-\ii tA))_{vu}|^2$ over distinct ordered vertex pairs. Under the dense scaling $t=τ/n$, the quantities $n^2F_G(τ/n)$ lead to a graphon functional $Φ_τ$ whose leading term is $τ^2$ times the edge density and whose remaining terms form a weighted alternating series of even cycle densities. For $0\leτ\leτ_{\mathrm c}$, we determine the exact maximum of $Φ_τ$ over all triangle-free graphons. The balanced complete bipartite graphon $B_1$ is the unique maximizer, up to weak isomorphism, when $0<τ\leτ_{\mathrm c}$, where $τ_{\mathrm c}$ is the unique positive solution of \[
τ_{\mathrm c}=4\sin(τ_{\mathrm c}/2),
\qquad τ_{\mathrm c}\approx3.79099, \] and the maximum equals $4(1-\cos(τ/2))$. This threshold is sharp: $B_1$ is not globally optimal for $τ>τ_{\mathrm c}$. For $τ>τ_{\mathrm c}$, the unique maximizer within the bipartite class, up to weak isomorphism, is the balanced bipartite graphon $B_{q_τ}$, where $q_τ\in(0,1)$; the unrestricted maximization problem beyond $τ_{\mathrm c}$ remains open. We also prove an explicit edge density deficit bound and quantitative cut distance stability, uniform for $τ$ in compact subintervals of $(0,τ_{\mathrm c})$, together with qualitative cut distance stability on compact subintervals of $(0,τ_{\mathrm c}]$. The corresponding finite triangle-free extremal values converge locally uniformly to the graphon maximum, with an $O(n^{-1})$ error uniformly on $[0,τ_{\mathrm c}]$. The proof uses a coefficient criterion for spectral graphon functionals and combines a sixth-degree spectral minorant with a four-vertex inequality and a six-vertex moment inequality; the latter is established by an exact rational flag algebra certificate.
Kronecker Products, Polarity Quotients and Large Graph Constructions
In this paper, we establish a structural compatibility between the Kronecker product of bipartite graphs that admit polarity and their polarity quotient, and provide a sharp upper bound on the diameter of these graphs.
For certain factor graphs, the diameter of the Kronecker product meets the upper bound on diameter, among them the generalized polygons. Generalized polygons with their polarity quotients have been notably used in the past to construct very large graphs. We apply the structural theorems in the paper to generalized polygons $\mathbb{G}_n(q,q)$ used as factor graphs, and build three new families of graphs of large order covering an infinite but sparse set of degrees, one of diameter $2$, one of diameter $3$ and one of diameter $5$.
These asymptotically approach a theoretical upper bound on graph size as orders $q$ and $r$ of the generalized polygon factors increase. As an example, we develop one such family, derived from generalized quadrangles, and construct new diameter-$3$ graphs of low degree that are larger than any previously known at their degrees.
Sharp Same-Color Cycle Covers in Two-Colored Complete Graphs
We extend the conjecture of Erdős and Gyárfás on monochromatic path covers to the setting of monochromatic cycle covers. We prove that, for all $n$, every 2-edge-coloring of the complete graph on $n$ vertices contains a collection of at most $\lceil\sqrt{n}\rceil$ monochromatic cycles, all of the same color, that together cover all vertices. The order of the bound is best possible, and the ceiling is necessary for infinitely many $n$.