graph
34489 papers tagged with this keyword
The Erdős four-edge intersection problem
For an $n$-vertex graph $G$ and a permutation $σ$ of its vertex set, let $σ(G)$ denote the corresponding relabelling of $G$, and put \[
I_G(σ)=|E(G)\cap E(σ(G))|. \] Let $f(n,k)$ be the minimum number of edges in an $n$-vertex graph for which $I_G(σ)\geq k$ for every $σ$. In 1977 Erdős asked whether $f(n,4)=2n-4$, observing that $K_{2,n-2}$ gives the upper bound. We prove that, for all sufficiently large $n$, \[
f(n,4)=2n-4. \] Equivalently, every sufficiently large $n$-vertex graph with at most $2n-5$ edges has a relabelling with at most three common edges.
Our proof is inspired by the recent work of Fang and Hou on the Erdős--Mullin five-edge intersection problem and builds on their core--buffer and absorption framework. The main additional ingredients are a growing high-degree core $C$ satisfying \[
|C|Δ(G-C)=o(n), \] and a rigidity analysis of the equality case in the relevant first-moment estimate. This analysis shows that the only core--buffer configuration forcing four local common edges is of $K_{2,|C|}$ type; the strict bound $e(G)\leq2n-5$ then supplies a defect which breaks this configuration.
Time-Optimal APSP and Matrix Multiplication in Classes of Linear Neighborhood Complexity
The notion of linear neighborhood complexity is a very general structural assumption on a graph class, covering most classes of sparse graphs such as planar graphs, graphs excluding a fixed (topological) minor, or bounded expansion graphs, as well as many structured classes of dense graphs, such as graphs of bounded clique-width, twin-width, merge-width, or flip-width. In this work, we present $O(n^2)$-time optimal algorithms for $n$-vertex graphs coming from a class of linear neighborhood complexity for the following problems: $\bullet$ All-Pairs Shortest Paths, $\bullet$ the multiplication of the adjacency matrix $M$ of the input graph with any $n \times n$ matrix. More specifically, after a quadratic preprocessing, we can multiply $M$ with any $n$-vector in $O(n)$ time.
This solves several questions raised in [Bonnet, Kim, Geniet, Moon; ICALP '26], and improves and generalizes results in several other recent papers [Bonnet, Giocanti, Ossona de Mendez, Thomassé; STACS '23], [Bannach, Marwitz, Tantau; STACS '24], [Anand, van den Brand, McCarty; NeurIPS '26], [Kozma, Opler '26], and [Cardinal, McCarty, Yuditsky '26]. We also extend our results to classes of bounded VC density. In classes of linear neighborhood complexity, we also give a triangle-detection algorithm in randomized linear time $O(n+m)$ in $n$-vertex $m$-edge graphs, a $K_4$-detection algorithm in randomized $O(n \log^5 n + m \log n)$ or deterministic $O(n^2)$ time, and a $K_5$-detection algorithm in randomized $O(n \log^9 n + m \log^5 n)$ time.
Clique decompositions and covers for large graphs
In 1966, Erdős, Goodman, and Pósa showed that every $n$-vertex graph $G$ admits a cover of its edges using at most $\lfloor \frac{n^2}{4}\rfloor$ cliques, with tightness witnessed by the balanced complete bipartite graph. Erdős suggested the following strengthening: every $n$-vertex graph $G$ admits an edge decomposition into cliques with total cost at most $\lfloor \frac{n^2}{4}\rfloor$, where each $i$-clique has cost $i-1$. There is another generalization conjectured by Dau, Milenkovic and Puleo: for every $t\ge4$, every $n$-vertex graph $G$ admits a cover of its $t$-cliques using at most $\prod_{j=0}^{t-1}\left\lfloor\frac{n+j}{t}\right\rfloor$ cliques. Balogh, He, Krueger, Nguyen and Wigal proved asymptotic and fractional versions of these conjectures. We solve both conjectures for large $n$ and identify the equality cases. Our proof of Erdős's conjecture combines linear programming duality and the spanning-forest polytope with a weighted stability form of Mantel's theorem, followed by explicit decomposition algorithms around an almost balanced bipartition. For the $t$-clique-cover conjecture, we combine graph removal lemma and generalized Turán stability with an exact covering construction for graphs close to $T_{n,t}$.
Hamilton Cycles in 10-Tough $(2P_2 \cup P_1)$-Free Graphs
A graph is called 10-tough and $(2P_2 \cup P_1)$-free if every vertex set whose deletion leaves at least two components has cardinality at least ten times the number of those components and if the graph has no induced subgraph consisting of two disjoint edges and an isolated vertex. We prove that every finite simple 10-tough $(2P_2 \cup P_1)$-free graph on at least three vertices is Hamiltonian. The proof splits according to whether some edge has joint neighbourhood of order at most $4n/11$. In the small-neighbourhood case, a matched path-cover is compressed to a prescribed matching. In the large-neighbourhood case, an asymmetric analysis of the two components left by a putative small cut yields the required connectivity bound. A Hamilton cycle through the prescribed edges is then expanded, and a cycle-extension lemma inserts the remaining vertices.
An Ore-type condition for regular factors
Let $G$ be a simple graph of order $n$ satisfying the following Ore-type condition: For any two nonadjacent vertices $x$ and $y$ of $G$, $d_G(x)+d_G(y)\geq n+k-2$, where $1\leq k\leq n-1$, $kn$ is even and $d_G(x)$ is the degree of $x$ in $G$. It is well known that $G$ has a $k$-factor for $k=1$ or $2$. Lu and Ning (J. Graph Theory, 94(2020), 307-319) proved that if $k\geq n/2$, then $G$ has a $k$-factor. In this paper, we show that $G$ has a $k$-factor for any $1\leq k\leq n-1$.
Main-Factor Constraints on Generalized Cospectral Mates of Trees
We study how irreducible factors associated with main eigenvalues constrain the connected components of generalized cospectral mates. Let $M_G(x):=\prod_{λ {\rm main}}(x-λ)$ be the main polynomial of $G$, where the product is over the distinct main eigenvalues, and write $φ_G(x)=\prod_{i=1}^{r}f_i(x)^{m_i}$, where the $f_i$ are distinct monic irreducible polynomials over $\mathbb Q$. With $I_{\mathrm m}(G) :=\{\,i:f_i\mid M_G\,\}$, define $κ_{\mathrm m}(G):=\sum_{i\in I_{\mathrm m}(G)}m_i$. For a graph $X$, write $c(X)$ and $β(X)$ for its number of connected components and cycle rank, respectively. We prove that every graph $H$ with the same characteristic polynomial and main polynomial as $G$ satisfies $c(H)\leκ_{\mathrm m}(G)$. Consequently, if $T$ is a tree and $H$ is generalized cospectral with $T$, then $β(H)=c(H)-1 \le κ_{\mathrm m}(T)-1$.
We develop the case $κ_{\mathrm m}(T)=2$ further. A disconnected generalized cospectral mate must be the union of a tree and a connected bipartite unicyclic graph, and its two component coronals are uniquely prescribed by the canonical partial-fraction decomposition of the coronal of $T$ with respect to the two irreducible main factors. Consequently, these factor coronals must be realizable as coronals of actual graph components; their Laurent coefficients must therefore be nonnegative integers satisfying low-order walk identities. These realizability conditions, supplemented by matching restrictions on the unicyclic component, yield effective tree-forcing obstructions.
As an application, we show that the double star $D(2m,m+1)$ is determined by its generalized spectrum but not by its adjacency spectrum whenever $m\ge2$ and neither $m$ nor $2m+2$ is a perfect square. In particular, the double stars $D(8t+4,4t+3), t\ge0$, is an explicit infinite family of graphs that are DGS but not DS.
Induced-saturated graphs exist for even cycles
A graph $G$ is \emph{$H$-induced-saturated} if $G$ has no induced subgraph isomorphic to $H$ but changing the adjacency of an arbitrary pair of vertices in $G$ creates an induced copy of $H$. The existence problem for $H$-induced-saturated graphs had previously been settled when $H$ is a complete graph, a path, an odd cycle, or an even cycle of length at most $10$. In this paper, for every integer $q\ge3$, we construct a $C_{2q+2}$-induced-saturated graph. Hence, induced-saturated graphs exist for all cycles, except for the cycle of length 3.
On the Maximum Number of Vertices that Belong to Every Metric Basis
Metric bases of graphs have been widely studied since their introduction in the 1970's by Slater and, independently, by Harary and Melter. In this paper, we concentrate on the existence of vertices in a graph $G$ that belong to all metric bases of $G$. We call these basis forced vertices, and denote the number of them by $\mathrm{bf}(G)$. We show that $\mathrm{bf}(G)\le 2/3(n-k-1)$ for any connected nontrivial graph $G$ of order $n$ having $k$ vertices in each metric basis. In addition, we show that this bound can be attained. Furthermore, the previous result implies the bound $\mathrm{bf}(G)\le 2/5(n-1)$ formulated in terms of the order $n$ of the graph for any nontrivial connected graph $G$. This result answers a question posed by Bagheri et al. in 2016. Moreover, we provide a complete realization of the parameters $n$, $\dim(G)$ and $\mathrm{bf}(G) \ge 1$ within the previous bounds. We consider some extremal cases related to basis forced vertices in a graph, in particular, we give a full characterization of the graphs with $\mathrm{bf}(G) = 2$ and $\dim(G) = n-4$.
Stability for Helly-type and triangle-free families
We consider $k$-graphs, $\mathcal{F}\subset \binom{[n]}{k}$, $k\geq 3$. A $k$-graph is called intersecting if any two of its edges have non-empty intersection. It is called a star if all its edges share a common vertex. The $k$-graph $\mathcal{F}$ is called Helly if all its intersecting subfamilies are stars. If the same is required only for subfamilies consisting of three edges, it is called triangle-free. It is well known that for $n\geq 3k/2$, the full star is the unique largest triangle-free family whence the largest Helly family as well. In 1984 Tuza proved the best possible bound $|\mathcal{F}|\leq \binom{n-k-1}{k-1}+\binom{n-2}{k-2}+1$ for Helly families that are not stars, albeit only for some unspecified $n>n_0(k)$.
The aim of this paper is twofold. First we establish the same bound for $n>2k$. Second we show that for $n>12k^2$ the same upper bound holds for triangle-free families. It is shown as well that it is not true for $2k<n\leq 3k-4$.
A unified spectral bound for color-critical graphs via a weighted Turán theorem
In this paper, we establish the entropy-Perron bridge, and then use it to prove that for any color-critical graph $F$ with chromatic number $χ(F)=r+1\ge 4$, there exists a constant $λ_0=λ_0(F)$ such that if $G$ is an $F$-free graph with $λ(G)\ge λ_0$, then for every $\ell\ge 1$, \[ λ^\ell (G) \le \Big(1-\frac1r\Big)w_\ell(G), \] with equality if and only if $G$ is a regular complete $r$-partite graph, possibly together with isolated vertices when $\ell \ge 2$. For odd $\ell$, the hypothesis can be relaxed to $χ(F)\ge 3$, while at $\ell =2$, it cannot, since the bound fails for several forbidden graphs, e.g., $C_{2t+1}$ with $t\ge 2$. Moreover, walks may also be replaced by the homomorphism counts of unbalanced trees. As further applications, we extend a spectral supersaturation result of Bollobás and Nikiforov [J. Combin. Theory Ser. B (2007)], and also extend the entropic Turán theorem of Chao and Yu [J. London Math. Soc. (2026)] from $K_{r+1}$-free graphs to $F$-free graphs with $F$ color-critical.
We provide a framework by passing through weighted Turán theorems of independent interest. If $G$ is $F$-free and $\mathbf{p}$ is a probability vector on $V(G)$ with $\lVert \mathbf{p}\rVert_\infty$ sufficiently small, then \[ 2\sum_{uv\in E(G)}p_up_v \le 1-\frac1r + o(1), \] and the error term $o(1)$ can be removed if and only if $F$ is color-critical. This is a Motzkin-Straus-type inequality in which the clique number of $G$ is replaced by $χ(F)-1$. The proof of this weighted result combines a blow-up argument, the graph removal lemma, the Erdős-Simonovits stability theorem, a probabilistic sampling argument, and an exact estimate near a complete $r$-partite graph. The bridge linking spectral inequalities to weighted inequalities is based on the entropy method for the Markov chain attached to the Perron vector.
The Partition of Paley Graphs into Petersen Graphs and a New Strongly Regular Graph with Parameters (50, 21, 8, 9)
This paper utilizes an extremely simple idea: in the multiplicative group of a finite field $F_q$, cosets of a certain subgroup are considered, and an attempt is made to combine these cosets into pairs such that the resulting induced subgraph in the corresponding Paley graph is strongly regular. It is shown that there exists an infinite sequence of Paley graphs that can be partitioned into Petersen graphs in this manner. Furthermore, a new strongly regular graph with parameters $(50, 21, 8, 9)$ is constructed using this method.
Spectral extrema of 1-planar graphs with no short cycles or small cliques
The spectral Turán type problem, initiated by Nikiforov in 2007, aims to determine the graphs among $n$-vertex $H$-free graphs having maximum spectral radius. In this paper, we study this problem for $1$-planar graphs, i.e., graphs that admit a drawing in the plane such that each edge is crossed at most once. Recently, Xu and Chang proved that the graphs among all $n$-vertex $K_5$-free $1$-planar graphs having maximum spectral radius lie within a small family of candidates. First, this paper explicitly identifies the unique spectral extremal graph among the $n$-vertex $K_5$-free $1$-planar graphs. Second, it establishes a structural reduction theorem: For any forbidden subgraph $F$ with $δ(F)\ge2$ that is contained in $K_2\vee P_{n-2}^{2+}$ but not in $K_2\vee I_{n-2}$, every spectral extremal $F$-free $1$-planar graph contains a spanning complete bipartite graph $K_{2,n-2}$, where $P^{2+}_{n-2}$ is obtained from a path $u_1u_2\dots u_{n-2}$ by adding edge $u_1u_{n-2}$ and all edges $u_iu_{i+2}$ for $1\le i\le n-4$, and $I_{n-2}$ denotes the empty graph on $n-2$ vertices. As applications, the graph among all $n$-vertex $C_5$-free (resp. $2C_5$-free) $1$-planar graphs having maximum spectral radius is determined. These results extend spectral Turán type problems for $1$-planar graphs from cliques to cycles and their disjoint union.
Homomorphic-core phase transition threshold in Erdős--Rényi random graphs
It is shown in this manuscript that a random graph $G$ drawn from the Erdős--Rényi model $\mathcal{G}(n,p)$ with \[ p=p(n)\leq 1/2, \qquad \lim_{n\to+\infty}(np-\log n-\log\log n)=+\infty, \] is a homomorphic core, i.e., every homomorphism from $G$ to itself is an automorphism. This implies tight ETH-based lower bounds of the subgraph isomorphism problem for almost all $k$-vertex patterns with polynomial average degree.
Homomorphism and VC-dimension thresholds: spectra and separations
Minimum-degree thresholds ask when excluding a fixed graph $H$ forces a dense graph to admit a simple global description. For each fixed chromatic number, the chromatic threshold has only three possible values. We show that this finite-spectrum phenomenon is special to chromatic threshold: already among $3$-chromatic graphs, both the homomorphism and VC-dimension thresholds have infinite spectra and are nonmonotone under taking induced subgraphs. For complete tripartite graphs with a singleton part, we prove $δ_{\mathrm{hom}}(K_{1,s,t}) \ge \max\left\{\frac13,\frac{s}{1+s+t}\right\}$, with equality for an infinite range of $s,t$; in particular, $δ_{\mathrm{hom}}(K_{1,s,s})=s/(2s+1)$ for every $s\ge2$. More generally, for every $r\ge3$, the value $(r-2)/(r-1)$ is an accumulation point of the homomorphism thresholds of $r$-chromatic graphs. For maximal $H$-free graphs, we determine the VC-dimension threshold of every complete tripartite graph and prove that it is positive for every nonbipartite $H$, yielding in particular the exact value for every odd cycle. We also classify the chromatic threshold under an a priori VC-dimension bound.
Together with known blowup-threshold results, our theorems reveal that $δ_χ,δ_{\mathrm{hom}},δ_{\mathrm{VC}}$, and $δ_{\mathrm B}$ are \emph{pairwise distinct}: bounded colorability, homomorphic compressibility, neighborhood complexity, and exact blowup structure are genuinely different forms of global simplicity. The proofs develop random and grid-based obstructions to bounded homomorphic images, saturated gadgets that preserve high VC-dimension under maximal completion, and a core-orientation method for raising minimum degree while preserving $H$-freeness.
The exact Turán number of the even wheel $W_{2k+2}$ among non-$3$-partite graphs
Let $\mathrm{ex}(n,H)$ denote the Turán number of $H$. A graph is color-critical if there exists an edge $e\in E(H)$ such that $χ(H-e)<χ(H)$. For a color-critical graph $H$ with $χ(H)=r+1$, Simonovits' chromatic critical edge theorem implies that there exists an $n_0(H)$ such that $\mathrm{ex}(n,H)=e(T_{n,r})$ and the Turán graph $T_{n,r}$ is the only extremal graph provided $n\geq n_0(H).$ Let $W_{2k+2}$ be the even wheel obtained by joining a vertex to a cycle of length $2k+1,$ where $k\geq1$ is an integer. Since $W_{2k+2}$ is color-critical and $χ(W_{2k+2})=4$, $T_{n,3}$ is the unique extremal graph for $W_{2k+2}$-free graphs of sufficiently large $n.$ Note that the extremal graph $T_{n,3}$ is 3-partite. In this paper, we determine the exact Turán number of $W_{2k+2}$ in non-$3$-partite graphs and characterize all extremal graphs provided $n$ is sufficiently large.
A median degree from crossing graphs of median graphs
The crossing graph $\mathrm{Cross}(M)$ of a median graph $M$ is defined as the graph whose vertices are the $Θ$-classes of $M$ and whose edges connect two $Θ$-classes whenever they cross. It is known that every graph $X$ can be realised as the crossing graph of some median graph. In this article, we initiate the study of the space $\mathrm{Cross}^{-1}(X)$ of all the median graphs with crossing graph $X$. First, we prove that two finite median graphs have isomorphic crossing graphs if and only if one can be obtained from the other by a sequence of elementary transformations we call slidings. Then, motivated by the fact that $\mathrm{Cross}^{-1}(X)$ always contains a single median graph of maximal degree, namely the simplex-graph of $X$, we introduce the median degree of $X$ as the smallest possible degree of a median graph in $\mathrm{Cross}^{-1}(X)$. We compute the median degree for some families of graphs and characterise the graphs with maximal median degree.
Structure theorems for Lichnerowicz-sharp graphs
Hypercube graphs are fundamental model spaces of positive curvature in discrete comparison geometry. Let $G$ be a finite, connected, simple, unweighted graph with Bakry--Émery curvature bounded below by $K$. We call $G$ Lichnerowicz-sharp if its first non-zero non-normalized Laplacian eigenvalue $λ_1=K$. We prove that, after removing a canonical collection of edges on which every $K$-eigenfunction is constant, the resulting graph has a canonical bundle structure. Its fibers are regular, have similar structure with hypercubes, and are Laplacian-cospectral with hypercubes, although they need not themselves be hypercubes. If the base graph is nontrivial, then it satisfies $\mathrm{CD}(K,\infty)$ and has first eigenvalue strictly greater than $K$.
As a consequence, if the vertex degree in $G$ is constant along each canonical fiber, then every fiber is a hypercube and $G$ is a hypercube bundle. Conversely, for every $d\geq 4$, we construct Lichnerowicz-sharp graphs with non-hypercube canonical fibers of degree $d$.
Strategic geometry of competing first-passage random walks
Two competitors choose starting vertices for independent, constant-speed random walks, and each site is acquired by its first visitor. We study the spatial geometry of the resulting first-passage location game. On every finite path the optimal strategies are exactly the distributions supported on the central vertices. The proof combines reflecting-boundary harmonic barriers with a parameter-uniform aggregate estimate for product-chain exit probabilities. After diffusive rescaling, the complete two-start payoff landscape converges uniformly to the game between independent reflected Brownian motions. Its unique equilibrium concentrates at the midpoint, with explicit cubic stability. Beyond paths, attaching two leaves to every vertex of a clique of order k produces a 3k-vertex graph on which every exact optimal strategy randomizes over all k clique vertices; for k=2, this is a six-vertex tree with no pure equilibrium. The continuum best response to an endpoint is uniquely determined. A first-passage random-ranking representation relates the finite game to maximal lotteries without identifying it with nonstrategic painting, deterministic Voronoi allocation, or absorbing-trap placement. Parameter-uniform statements follow from analytic arguments or symbolic polynomial identities; identified finite exceptions and numerical enclosures have reproducible certificates.
The Equality Case in the Positive Square-Energy Strengthening of Turán's Theorem
Let $G$ be a graph of order $n$ with eigenvalues $λ_1(G) \geq \dots \geq λ_n(G)$, and let $s_+(G)=\sum_{λ_i(G)>0}λ_i(G)^2.$ Recently Liu, Tang, and Zhang proved the positive square-energy strengthening of Turán's theorem \[\sqrt{s_+(G)}\leq \left(1-\frac1r\right)n.\] where $r=ω(G)$ is the clique number of $G$. We characterize the families of graphs for which the above inequality is sharp. Precisely, we prove that, for $r\geq 2$, equality holds if and only if $r\mid n$ and $G$ is the complete regular $r$-partite graph $K_{n/r,\ldots,n/r}$.
Mod 2 magnitude cohomology ring of real hyperplane arrangements
Let $\mathcal{A}$ be a finite central real hyperplane arrangement and let $\mathcal{G}(\mathcal{A})$ be its tope graph. Koizumi recently proved that the crossing-graded magnitude homology of $\mathcal{G}(\mathcal{A})$ is torsion-free and is freely indexed by face flags. We refine his result by proving that a fixed crossing vector and terminal chamber determine a summand of rank at most one. Over $\mathbb{F}_2$, we use the canonical cohomology basis to determine the crossing-graded magnitude cohomology ring of $\mathcal{G}(\mathcal{A})$.