graph
34516 papers tagged with this keyword
Sharp spectral Moon--Moser-type theorems in the linear range via feasible graph parameters
Moon and Moser proved a sharp edge-extremal theorem for Hamilton cycles in balanced bipartite graphs with minimum degree at least $k$. Li and Ning obtained spectral analogues for Hamiltonicity in balanced bipartite graphs of order $2n$ and for traceability in nearly balanced bipartite graphs with part sizes $n$ and $n-1$, under the assumption $n\ge (k+1)^2$. We show that their sharp spectral thresholds remain valid in the linear ranges $n\ge 2k$ and $n\ge 2k+1$, respectively. More precisely, we determine the extremal values of the adjacency spectral radius and the signless Laplacian spectral radius for non-Hamiltonian balanced bipartite graphs with minimum degree $δ(G)\ge k$, and for non-traceable nearly balanced bipartite graphs with $δ(G)\ge k$. In each case, the extremal graph is unique up to isomorphism. Our proof is based on feasible graph parameters: parameters that increase under edge addition and are nondecreasing under Kelmans operations. This yields Moon--Moser type extremal theorems for a general class of parameters, from which the spectral results follow.
Weak Limited Augmented Zarankiewicz Number
We introduce the weak limited augmented Zarankiewicz number $z_{WL}(m,n)$ by relaxing the generalized cycle-free conditions previously used to establish lower bounds for the biquadratic sum-of-squares (SOS) rank. The key innovation is a recursive weakening of Condition~2: we define a dependency graph on nondegenerate 2-edges and require that it be acyclic, together with a technical condition that if a nondegenerate 2-edge has both opposite cells occupied by 1-edges, then the associated biquadratic form must decompose as a direct sum of independent blocks. We prove that these weak conditions suffice for irreducibility of the associated doubly simple biquadratic form, yielding the inequality chain $$ \operatorname{BSR}(m,n) \ge z_{WL}(m,n) \ge z_L(m,n) \ge z(m,n), $$ where $\operatorname{BSR}(m,n)$ is the maximum SOS rank among all $m\times n$ biquadratic forms, $z_L(m,n)$ is the limited augmented Zarankiewicz number, and $z(m,n)$ is the classical Zarankiewicz number.
As a concrete application, we construct a $5 \times 3$ augmented graph with two 2-edges that satisfies the weak conditions but violates the original definition. This establishes $$ z_{WL}(5,3) \ge 10, $$ improving the previous limited augmented value \(z_L(5,3)=9\). Consequently, $$ \operatorname{BSR}(5,3) \ge 10. $$
Geodetic sets for directed acyclic planar geodetic graphs
A set of vertices $S$ of a directed graph $G$ is geodetic if every vertex of $G$ lies on a shortest path from a vertex of $S$ to a vertex of $S$. A directed graph is geodetic if there is at most one shortest path from every vertex of $G$ to every vertex of $G$. We prove the NP-completeness of the following decision problem. Given a directed acyclic planar geodetic graph $G$ and an integer $k$, does $G$ have a geodetic set with at most $k$ vertices? This implies that the question of whether $G$ has a strong or a monitoring geodetic set with at most $k$ vertices is also NP-complete for directed acyclic planar geodetic graphs. Furthermore, we prove that the number of vertices in a minimum geodetic set and the number of vertices in a minimum edge geodetic set can be computed in linear time for directed acyclic series-parallel graphs.
A coarse block-cut tree theorem
We prove a coarse analogue of the classic fact that every graph can be decomposed along its cut-vertices into $2$-connected components. Precisely, we prove that for every graph $G$ and a positive integer $d$, $G$ admits a tree decomposition whose adhesion sets have weak diameter at most $3d+2$ so that no two vertices $u,v$ lying in the same bag can be separated by a set of weak diameter at most $d$ whose distance from $u$ and $v$ is more than $d$. By the Coarse Menger's Theorem for two paths, this condition admits also a dual formulation, phrased in terms of the existence of two paths that are far from each other and connect the vicinity of $u$ with the vicinity of $v$.
A Matching-Number Refinement of Brouwer's Laplacian Eigenvalue Inequality
Let $G=(V,E)$ be a finite simple graph with Laplacian eigenvalues
$λ_1(L(G))\ge\cdots\geλ_{|V|}(L(G))$, and define
\[
\eps_k(G)=
\sum_{j=1}^{\min\{k,|V|\}}λ_j(L(G))-|E|.
\]
Let $ν(G)$ be the matching number of $G$, and let $n(G)$ be the number of
non-isolated vertices of $G$. Lew proved that
\(\eps_k(G)\le kν(G)+\lfloor k/2\rfloor\), and conjectured that the
additive term can be removed in the non-endpoint range. We prove this
conjecture:
\[
\eps_k(G)\le kν(G)
\qquad
(1\le k\le n(G)-2).
\]
We also characterize all equality cases. Up to isolated vertices, equality
holds precisely for stars, for \(K_1\vee(K_k\cup\overline{K_{n-k-1}})\) with
\(k\) odd, and for \(K_n-E(K_{1,t})\) with \(n\) odd, \(k=n-2\), and
\(1\le t\le n-2\). We also analyze the endpoint range \(k\ge n(G)-1\), where
\(\eps_k(G)=|E|\), and determine the specific cases where the inequality \(\varepsilon_k(G)\le kν(G)\) fails or holds with equality.
On Turán Number of Graphs with Small Minimum Feedback Vertex Numbers
Given a graph $H$, the minimum feedback vertex number of $H$ is the minimum number of vertices whose removal results in an acyclic graph. In this paper, we investigate Turán-type extremal problems for bipartite graphs in terms of their feedback vertex number. Our first result concerns bipartite graphs $H$ with minimum feedback vertex number one. Such graphs can be obtained from a forest by identifying a specified collection of leaves into a single vertex. For these graphs, we show that $\text{ex}(n, H)$ is upper bounded by $O(n^{1+1/k^\ast})$, where $2k^\ast$ is the length of the shortest cycle contained in $H$.
In addition, we consider a family of bipartite graphs with minimum feedback vertex number three. Let $E_{k,t}$ be the graph obtained from the theta graph $θ_{k,t}$ by joining a new vertex $x$ to one side of the bipartition and another vertex $y$ to the other. Let $E^+_{k,t}$ denote the graph obtained by adding the edge $xy$ to $E_{k,t}$. We prove that for any $k\geq 2$ and sufficiently large $t$, $\text{ex}(n, E^+_{k,t})= Θ(n^{\frac{3k-1}{2k-1}}).$
On minimally 1-tough $(K_1\cup P_4)$-free graphs
Agraph G is minimally t-tough if the toughness of G is t and the deletion of any edge from G decreases its toughness, where t is a positive real number. It is conjectured that every $(K_1\cup P_4)$-free 1-tough graph is hamiltonian. In this paper, we characterize the structure of minimally 1-tough $(K_1\cup P_4)$-free graphs, and thus show that the above conjecture is true for minimally 1-tough graphs. Furthermore, it is also proved that the Kriesell's conjecture which states that each minimally 1-tough graph has a vertex of degree 2 holds for minimally 1-tough $(K_1\cup P_4)$-free graphs.
Norm Bounds for Sparse Random Tensors and Spectral Gap of Random Hypergraphs
Friedman and Wigderson (1995) introduced a notion of second eigenvalue for hypergraphs that generalizes the second eigenvalue of the adjacency matrix of a graph. We show that $r$-uniform Erdős-Rényi hypergraphs on $n$ vertices exhibit a spectral gap as soon as their expected number of hyperedges $m$ satisfies $m \gg n^{r/2}$. Prior work identified this scale only up to logarithmic factors; removing these factors is the main technical challenge.
Our proof overcomes this obstacle through an explicit decomposition of an associated selector process, inspired by a generic decomposition theorem of Talagrand (2021). As a consequence of our techniques, we obtain improved norm bounds for sparse random tensors with independent entries. Finally, under a mild moment equivalence assumption, we extend to tensors a seminal result of Seginer (2000) for random matrices with i.i.d. entries.
The existence of some directed strongly regular graphs on 108 vertices
In this paper, we prove the existence of directed strongly regular graphs with parameters (108,11,3,2,1), (108,14,10,0,2), (108,22,12,6,4), (108,23,9,8,4), (108,25,15,8,5), (108,34,18,12,10), (108,38,22,12,14), (108,39,23,14,14), (108,41,35,16,15), (108,42,33,18,15) and (108,46,22,19,20). The constructions are obtained by considering finite groups acting transitively on 108 vertices.
Network Realignment Complexes over General Graphs
Network realignment complexes were introduced by Kozlov. We generalise their definition to arbitrary connected base graphs.
For a connected graph $G$, we characterise the connected components of the associated network realignment complex $X_G$ and show that $X_G$ admits an $\operatorname{Aut}(G)$-equivariant strong deformation retraction onto the disjoint union of a complete graph and a discrete $\operatorname{Aut}(G)$-space. For the complete base graph $K_n$, we study the metric structure of the network realignment graph $\mathcal{G}_n$ and obtain explicit upper and lower bounds for its diameter. Finally, we prove that $X_n$ is a cubical flag complex and that every automorphism of $X_n$ is induced by a relabelling of the underlying vertex set. In particular, $\operatorname{Aut}(X_n)\cong S_n$ for all $n\geq 5$.
Multiset Partition Dimension of Graphs
In this paper, we introduce the multiset partition dimension of graphs. This parameter extends the classical partition dimension to the multiset setting by considering multiset distances from vertices to parts of a vertex partition. We establish some fundamental properties of this parameter and determine its exact values for several important classes of graphs.
Odd covers for complete graphs and complete 3-graphs
The Graham-Pollak theorem says that one needs at least $n - 1$ complete bipartite graphs to cover each edge of a complete graph $K_{n}$ on $n$ vertices exactly once. The odd cover problem is a parity analogue which seeks the minimum number of complete bipartite graphs, denoted by $b_2(n)$, such that each edge of $ K_n $ is covered an odd number of times. An odd cover of a complte 3-graph $K_n^{(3)}$ on $n$ vertices is a family of complete $3$-partite $3$-graphs such that every triple is covered an odd number of times. Let $b_3(n)$ be the minimum size of such a family. The values of $b_2(n)$ and $b_3(n)$ are determined for some $n$ in several previous works. In this paper, we first determine the value of $b_2(n)$ for all $n$, which confirms a conjecture due to Buchanan et al. (JGT, 2026), and then show $b_3(n+1)=b_2(n)$ by which the value of $b_3(n)$ is determined for all $n$, that resolves a question posed by Leader and Tan (EJC, 2026).
Analytic Spread via Linear Matroids
We give a systematic analysis of the analytic spread of the determinantal ideal $J_{G,H}$ arising from a pair of graphs $(G, H)$. We give sharp bounds for this analytic spread, and combinatorial conditions and obstructions for its maximality via a linear matroid. When $H$ is a single edge, $J_{G,H}$ is isomorphic to the binomial edge ideal $J_G$ and its analytic spread is shown to equal the rank of $G$ in Kalai's $2$-hyperconnectivity matroid.
Newton polygons for the non-bipartite dimer model
We study the dimer model on two families of non-bipartite graphs on a torus. The first family is obtained by replacing degree $3$ vertices in a bipartite torus graph with triangles, while the second consists of corner graphs associated with bipartite torus graphs. We determine the relationship between the Newton polygons of these graphs and those of the underlying bipartite graphs. We also identify the primitive edge vectors of the Newton polygons with the homology classes of the zig-zag paths.
We further consider the marginal polynomials obtained by restricting to monomials corresponding to a boundary side of the Newton polygon. For the triangular lattice and the Fisher graph of the hexagonal lattice, we prove that these polynomials are real-rooted and obtain an explicit factorization of their roots. Finally, we introduce new local moves, including a move on non-planar graphs, that preserve the dimer partition functions up to a scale.
Unconditional Lower Bounds for Degree Fault Tolerant Spanners
We study multiplicative graph spanners in the $f$-degree fault tolerant ($f$-DFT) model, in which the spanner must approximately preserve distances even after any subset of edges of maximum degree $f$ temporarily "fails" and is removed from the graph. We prove that there are $n$-node lower bound graphs for which any $f$-DFT $(2k-1)$-stretch spanner $H$ must have size $$|E(H)| \ge Ω\left( f^{1-1/k} n^{1+1/k}\right).$$ This matches a lower bound that was previously only known to hold conditionally, under the 1963 girth conjecture of Erdős. It also matches the current upper bounds, up to a factor of $\texttt{exp}(k)$. Our proof is an analysis of the so-called Wenger graphs (J. Comb. Theory 1991), via their recent reinterpretation by Szabó and by Conlon (Am. Math. Monthly 2021).
Induced packing treewidth
In this paper, we introduce a framework that aims to unify classes defined by forbidden induced subgraphs or induced minors with classes defined by the existence of certain structured tree decompositions. Let $\mathcal{H}$ be a fixed family of graphs. We define \emph{induced-$\mathcal{H}$-packing treewidth}, a tree-decomposition-based graph parameter that, for each bag, measures the maximum number of pairwise anticomplete induced copies of graphs from $\mathcal{H}$ intersecting that bag. This notion generalizes some previously studied parameters: when $\mathcal{H}=\{P_1\}$, it is equivalent to tree-independence number, and when $\mathcal{H}=\{P_2\}$, it is equivalent to induced matching treewidth. We show that bounded induced-$\mathcal{H}$-packing treewidth yields new algorithmic consequences for a range of choices of $\mathcal{H}$. In particular, we prove the following results for graphs of bounded induced-$\mathcal{H}$-packing treewidth. Our results partially answer and substantially extend a question of Bodlaender, Fomin, and Korhonen [SODA~2026] on the tractability of \textsc{MWIS} for graphs of bounded induced-$\mathcal{H}$-packing treewidth for $\mathcal{H}=\{P_3\}$ and for $\mathcal{H}$ equal to the family of all cycles.
Induced Erdős--Pósa property for long holes, long thetas, and beyond
The induced Erdős--Pósa property in graphs relates the maximum number of pairwise anti-adjacent copies of an object with the minimum number of neighborhoods required to hit all copies. In this paper, the objects we consider are long cycles and long thetas, both as induced minors. Let $C_t$ denote the cycle with $t$ vertices and let $Θ_t$ be the graph consisting of three internally disjoint and anti-adjacent paths, each with $t$ internal vertices, connecting the same pair of distinct vertices.
We show that for every fixed $t$, both $C_t$ and $Θ_t$ have the induced Erdős--Pósa property with respect to the induced minor relation. More precisely, for every integer $k$ and every graph $G$, one of the following two outcomes occurs: (i) $G$ contains $k$ pairwise vertex-disjoint and anti-adjacent copies of $C_t$ (resp., $Θ_t$) as induced minors, or (ii) there is a set $X \subseteq V(G)$ of size $\mathcal{O}(tk \log k)$ such that the set $N[X]$, consisting of $X$ and its neighbors, hits all $C_t$ (resp., all $Θ_t$) induced minors in $G$.
This resolves in a strong form a special case of a conjecture of Ahn, Gollin, Huynh, and Kwon [SODA 2025]. From these results we derive that graphs that exclude $k$ disjoint copies of $Θ_t$ as an induced minor admit balanced separators consisting of the neighborhood of $\mathcal{O}(tk \log k)$ vertices. This in turn resolves a special case of a conjecture of Gartland and Lokshtanov and, combined with known techniques, yields a QPTAS for Maximum Weight Independent Set and a number of its generalizations.
Computation of small reflective and dihedral Ramsey numbers
Throughout, all graphs are simple, finite and have vertex sets of the form $\{ 0, 1, 2, \ldots, n - 1 \}$ for some $n \in \mathbb{N}$. For graphs $G$ and $H$, and a permutation group $Γ$ on the vertex set of $H$, we say that $H$ is $Γ$-embeddable in $G$ if there exists a graph homomorphism from $H$ to $G$ of the form $ψ\circ \varphi$, where $\varphi \in Γ$ and $ψ$ is an increasing injection. Recently, standard and ordered Ramsey numbers of graphs were unified through the introduction of permutational Ramsey numbers, defined as follows. For graphs $H_1, H_2, \ldots, H_k$ and permutation groups $Γ_1, Γ_2, \ldots, Γ_k$ on their respective vertex sets, the permutational Ramsey number $R(H_1^{Γ_1}, H_2^{Γ_2}, \ldots, H_k^{Γ_k})$ is the minimum $n \in \mathbb{N}$ such that for every $k$-edge-coloring of a complete graph on $n$ vertices, there exists some $j \in \{1, 2, \ldots, k\}$ for which $H_j$ is $Γ_j$-embeddable in the spanning subgraph of the complete graph comprising the edges of color $j$.
Here, we consider reflective (resp. dihedral) Ramsey numbers, which are a specific class of permutational Ramsey numbers in which each group $Γ_j$ is the reflection group (resp. dihedral group) on the naturally ordered vertex set of $H_j$. Focusing on the two-color case, we apply the SAT-based approach originally proposed by Poljak for ordered Ramsey numbers and recently extended to cyclic Ramsey numbers. We utilize the Kissat SAT solver to obtain exact values and lower bounds for small reflective and dihedral Ramsey numbers whose two arguments belong to the following graph classes: monotone and alternating paths, monotone cycles, start-central stars, complete graphs and nested matchings. We also derive several general results and formulate conjectures based on the computational findings.
Accessibility and Twin-width
We show that finite twin-width does not imply accessibility for finitely generated groups, which answers a question of Esperet. That is, we prove that there exists a finitely generated group $Γ$ that has finite uniform twin-width but is not accessible. In particular, for every finite generating set $S$ of $Γ$, the Cayley graph $Cay(Γ; S)$ has finite twin-width but is not accessible. The example is obtained by combining Wilkes construction of a finitely generated inaccessible residually $p$-finite groups with a result of Bonnet, Geniet, Tessera and Thomasse regarding the twin-width of groups acting faithfully on regular rooted trees.
Long Directed Cycles in Vertex-Transitive Digraphs
The search for Hamiltonian cycles in vertex-transitive graphs and digraphs is a classical problem at the interface of graph theory and group theory. In the undirected setting, this goes back to famous conjectures of Lovász and Thomassen predicting that every sufficiently large connected vertex-transitive graph is Hamiltonian. The directed analogue has an even richer history, originating with Rankin in 1946, naturally translating the search for long cycles into classical group rearrangement problems. It was shown by Trotter and Erdős in 1978 that connected vertex-transitive digraphs need not be Hamiltonian.
In 1981, Alspach asked whether there exist connected vertex-transitive digraphs whose longest directed cycle misses arbitrarily many vertices. This question was only recently resolved by Bucić, Hendrey, Mohar, Steiner and Yepremyan, who constructed connected vertex-transitive digraphs on $n$ vertices whose longest directed cycle omits $(1-o(1))\log n$ vertices. They further conjectured that the number of omitted vertices can grow linearly with $n$, remarking that it would already be interesting to improve their logarithmic lower bound to a polynomial bound. In this paper, we confirm their conjecture in a strong form by constructing infinitely many connected vertex-transitive digraphs on $n$ vertices whose longest directed cycle omits at least $n/12$ vertices.
In the same work, Bucić, Hendrey, Mohar, Steiner and Yepremyan also proved that every connected vertex-transitive digraph on $n$ vertices contains a directed cycle of length $Ω(n^{1/3})$, giving the first lower bound for this problem that grows with $n$. We improve this to $Ω(\sqrt n)$, matching the order of Babai's classical theorem from 1979 for undirected vertex-transitive graphs.