graph
35150 papers tagged with this keyword
Unavoidable induced subgraphs forced by graphs with many vertices of prescribed properties
Given a function $p : V(G)\to \mathbb N$ and an integer $k\ge 0$, define $p_k(G)$ as the number of vertices with $p(v)\ge k$. We say that $p_k(G)$ is bounded for all $\HH$-free graphs if there exists a constant $c=c(\HH)$ such that $p_k(G)<c$ for all such graphs $G$. Here, a graph $G$ is said to be $\HH$-free if it contains no member of $\HH$ as an induced subgraph. When $p$ represents the degree of a vertex, Ramsey's theorem implies that $p_0(G)$ is bounded for all $\{K_n, \overline K_n\}$-free graphs, where $K_n$ and $\overline K_n$ denote the complete graph and the edgeless graph on $n$ vertices, respectively. The connected version of Ramsey's theorem says that $p_0(G)$ is bounded for all $\{K_n, P_n, K_{1,n}\}$-free connected graphs, where $P_n$ and $K_{1,n}$ are the $n$-vertex path and the star with $n$ leaves. In this paper, we extend Ramsey's theorem to $p_2(G)$ where $p$ denotes the degree, the local independence number, the local component number, and sharp degree, that is, we characterize the forbidden family of graphs $\HH$ such that $p_2(G)$ is bounded for all (connected) $\HH$-free graphs. Moreover, we also characterize the forbidden family of graphs $\HH$ for which there is a constant $c=c(\HH)$ such that $p_c(G)$ is bounded for all $\HH$-free graphs.
Cluster deletion in cographs, permutation graphs, and graphs with bounded clique number
The Cluster Deletion problem asks for a minimum-size edge set whose deletion turns a graph into a disjoint union of complete graphs. Equivalently, the Clique Partition problem asks for a partition of the vertex set into cliques that maximizes the number of edges within the parts. We give a simpler proof of a result of Gao, Hare, and Nastos (Discete Mathematics, 2013), that Cluster Deletion is polynomial-time solvable on cographs. In addition, we show that the natural linear programming formulation of Clique Partition is exact on cographs.
We then show that Cluster Deletion is NP-complete on permutation graphs, which are a superclass of cographs. This answers an open question of Konstantinidis and Papadopoulos (Algorithmica, 2021). We also exhibit a permutation graph on nine vertices for which the linear programming formulation is not exact.
Finally, for graphs with clique number at most $c$, we give a polynomial-time $2\binom{c}{2}/(\binom{c}{2}+1)$-approximation algorithm for Clique Partition. More generally, the algorithm runs in polynomial time on every graph class for which a maximum clique can be found in polynomial time. For each fixed $c\geq 3$, we also construct infinitely many examples attaining the stated approximation ratio. The same examples show that, for Cluster Deletion , the algorithm is a $2$-approximation and no better, for every fixed $c \geq 3$.
On the Hamiltonicity, traceability and toughness of complements of line graphs
A coline graph $\text{co}(G)$ of a graph $G$ is the graph with vertex set $E(G)$ for which two vertices $e$ and $e'$ of $\text{co}(G)$ are adjacent if and only if they are not adjacent as edges in $G$. A graph $G$ is tough if the number of connected components of $G-S$ is at most $|S|$ for all cut sets $S$. Wu and Meng, and Liu independently gave similar characterisations of coline graphs that are Hamiltonian. In this paper we give an alternate proof of Wu and Meng's and Liu's results using the longest cycle method. We in fact prove the following reformulation of their results. A tough coline graph $\text{co}(G)$ is Hamiltonian unless $G$ is one of four examples, one of which is $K_5$, since $\text{co}(K_5)$ is the Petersen graph. Characterisations of tough coline graphs and of coline graphs that contain a Hamiltonian path are also given.
An inverse problem on eigenfunction triple products
On a connected closed smooth Riemannian manifold, the algebraic structure of the Laplace eigenfunctions, as described by eigenfunction triple products, uniquely determines the geometry. We refine this correspondence by introducing the notion of an $N$-product eigenbasis, which consists of eigenfunctions whose pairwise products may be written as linear combinations of at most $N$ basis elements. We prove that a manifold admits a $2$-product eigenbasis if and only if it is a flat torus. We also prove an analogous result for Laplace eigenvectors of bounded-degree graphs.
Polynomial Length Cycles In Tough Graphs
We prove that every $n$-vertex $15$-tough graph contains a cycle of length $Ω(n^{1/20})$.
Ramsey Obstructions to Disambiguation
A partial matrix has entries in $\{0,1,\star\}$, and a disambiguation replaces each $\star$ by $0$ or $1$. We construct partial matrices whose fully specified submatrices satisfy strong restrictions, yet every disambiguation contains every binary matrix of a prescribed size.
Our first result answers a question of Alon, Hanneke, Holzman and Moran on the disambiguation of linear classifiers with margin. For $0<\varepsilon<π/2$, let $M_\varepsilon^d$ be the partial matrix indexed by points of the unit sphere $\mathbb S^d$, with entry $0$ for pairs at spherical distance at most $\varepsilon$, $1$ for pairs at distance at least $π-\varepsilon$, and $\star$ otherwise. Although these matrices have VC-dimension bounded independently of $d$, we prove that every disambiguation contains every binary $k\times k$ matrix once $d$ is sufficiently large. This also yields a partial concept class of Littlestone dimension $1$ with no disambiguation of finite VC-dimension.
We also construct, for every $k$, a finite partial matrix whose fully specified $2\times2$ submatrices are all constant, while every disambiguation contains every binary $k\times k$ matrix. A symmetric analogue holds for partial graphs: for every $k$, there exists a partial graph of VC-dimension at most $1$ whose fully specified induced subgraphs are all cliques or stable sets, yet every disambiguation contains every $k$-vertex graph as an induced subgraph.
A disambiguation can be viewed as a $2$-coloring of the unspecified entries, making Ramsey theory a natural framework for forcing prescribed patterns. Our proofs draw on two recent Ramsey theorems: the geometric argument uses Pálvölgyi's Dense Block theorem, while the combinatorial constructions rely on the girth Ramsey theorem of Reiher and Rödl, a suitable strengthening of the induced Ramsey theorem.
Independent domination in central graphs
Let $G$ be a graph with vertex set $V(G)$. A set $I\subseteq V(G)$ is an independent dominating set of $G$ if no two vertices in $I$ are adjacent and every vertex in $V(G)\setminus I$ is adjacent to at least one vertex in $I$. The independent domination number of $G$ is the minimum cardinality among all independent dominating sets of $G$. The aim of this article is to obtain tight bounds and closed formulas for the independent domination number of central graphs. The results are expressed in terms of parameters of the original graph from which the central graph is constructed.
Matroids and isomorphism problems for Bestvina-Brady groups
We propose a factorization of the graph isomorphism problem for Bestvina-Brady groups (BBGs) through matroid theory. In particular, we show that finitely presented BBGs depend on their defining graphs only through their cycle matroids. On the other hand, we construct graphs of arbitrarily high connectivity such that they have non-isomorphic cycle matroids but their BBGs are isomorphic. To do so, we prove that if a graph admits a tree clique-spanner, then the Dicks-Leary presentation of its BBG can be explicitly simplified to a right-angled Artin group presentation. In particular, we show that BBGs defined by dually chordal graphs are right-angled Artin groups.
Additive quasi-isometries and cacti
We prove that if a geodesic metric space contains no $c$-fat theta curve for some $c>0$, then it is $(1,K)$-quasi-isometric to a cactus graph, where $K$ depends only on $c$. Using a coarse characterization of cacti in terms of $c$-fat theta curves this implies that every geodesic metric space quasi-isometric to a cactus is $(1,K)$-quasi-isometric to a cactus graph.
Local measures of interval edge-uncolorability
An interval edge coloring of a graph is a proper edge coloring by integers such that the colors on the edges incident with any vertex form an interval of integers. Not all graphs are interval colorable; a simple counterexample is $K_3$.
The (interval coloring) deficiency of a graph $G$ is the minimum number of pendant edges whose addition to $G$ yields a graph with an interval edge coloring. In this paper, we introduce and study further measures of how far from being interval colorable a graph is. The local deficiency of a graph $G$ is the smallest number of pendant edges that needs to be added at every vertex of $G$ in order to obtain a graph with an interval edge coloring; we can think of the colors of these added edges as ''locally missing'' at a vertex. We also study a weaker version of this notion, the weak local deficiency, which informally is the size of a largest set of consecutive integers ''locally missing'' at a vertex in a proper edge coloring of $G$ minimizing this size.
We compare weak local deficiency, local deficiency, and deficiency, and show that the difference can be arbitrarily large in both cases. Moreover, we give concrete examples of graphs whose weak local deficiency (and thus local deficiency) grows with the number of vertices as well as with the maximum degree. We also prove some constructive results on graphs with small weak local deficiency. In particular, all complete multipartite graphs have weak local deficiency at most $2$, and many complete multipartite graphs have weak local deficiency at most $1$. Moreover, bipartite graphs with maximum degree at most $6$, and Eulerian bipartite graphs with maximum degree at most $8$ both have weak local deficiency at most $1$. We conclude the paper by pointing to several open questions for further research.
Neither simpliciality nor mutation connectivity: conjectures of Las Vergnas and Cordovil-Las Vergnas fail
We construct a simple rank-$7$ oriented matroid on $24$ elements with no simplicial tope, disproving the Las Vergnas simplex conjecture from 1980. We then show that the mutation graph on uniform oriented matroids is disconnected for infinitely many values of rank $r$ and ground-set size $n$, disproving the Cordovil--Las Vergnas conjecture from 1988.
Improved Bounds for the Bilu--Linial Conjecture via Spectral Recovery from Mixed Determinantal Polynomials
The Bilu--Linial conjecture asks whether every finite $d$-regular graph with $d \geq 2$ admits an edge signing $σ$ whose signed adjacency matrix $A_σ$ has spectral radius at most $2\sqrt{d-1}$. We prove that every signing meeting the mixed-root condition $r_{A_σ}\leq\sqrt{2(d-1)}$ satisfies \[
ρ(A_σ) < \frac{3+\sqrt5}{2}\sqrt{d-1}, \] where $r_{A_σ}$ is the largest root of the mixed determinantal polynomial $χ[A_σ,-A_σ]$. The interlacing theorem of Ravichandran and Srivastava guarantees a signing satisfying the mixed-root condition, so our result improves the coefficient $2\sqrt2$ in their two-sided spectral bound.
In the proof, we construct a positive matrix-valued probability measure supported on the roots of $χ[A_σ,-A_σ]$. The second moment gives a simple matrix inequality $A_σ^2 + dI \preceq 4r_{A_σ}^2I$, which yields a preliminary coefficient $\sqrt{7}$. Estimates for the fourth moment use information about short walks to obtain the coefficient $(3+\sqrt{5})/2$. With more graph structural assumptions, the coefficient improves to $\sqrt6$ for triangle-free graphs and to $\sqrt{(5+3\sqrt5)/2}$ for graphs of girth at least five. As a result of independent interest, we extend the construction to $χ[A_1,\ldots,A_k]$ for Hermitian matrices $A_1,\ldots,A_k$ with zero diagonal, and compute the first two moments explicitly.
Finally, an explicit signing of $K_8$ shows that the mixed-root condition alone cannot guarantee a coefficient below $(4+\sqrt5)/\sqrt6$.
Independent Sets and Balanced Cycle-Linkings in 2-Connected Graphs
For every $α\ge3$ and all sufficiently large $n$, we identify a single graph that simultaneously maximizes the number of independent sets of every size among all $n$-vertex $2$-connected graphs with independence number $α$. This graph is unique up to isomorphism and is a balanced cycle-linking of the disjoint union of $α$ cliques whose orders differ by at most one. More precisely, for each $3\leβ\leα$, the graphs maximizing the number of independent $β$-sets are exactly the cycle-linkings whose clique-size cyclic words are $\lfloorβ/2\rfloor$-balanced. These results extend the corresponding extremal result for connected graphs to the $2$-connected setting. The proof combines generalized Turán-type clique counting and the edge-extremal theory of $2$-connected graphs with a coefficientwise balancing-switch argument. The switch also shows that a shortest imbalance of length $r$ first affects the independent-set count in degree $2r$.
An improved bound on the treewidth of planar graphs excluding a grid minor
We show that every planar graph with no $t \times t$ grid minor has treewidth at most $4t +4$. This improves on the previously best known bound of $\frac{9}{2}t - \frac{11}{2}$, due to Gu and Tamaki (2012), and is within a factor $2$ of optimal.
A key step in the proof is showing the following result, which might be of independent interest: Every $2$-connected plane graph $G$ with radius $d$ and faces of size at most $k$ has a tree-decomposition of width at most $\max\{3d+ k+5, 2d+2k+1\}$ such that the vertex set of every face of $G$ is contained in some bag.
Maximum number of spanning trees in bipartite graphs with a given diameter
The number of spanning trees is a classical graph invariant and an important measure of network reliability, as it counts the minimal connected spanning substructures that can maintain communication in a network. Let $\mathcal{B}(n,d)$ be the set of connected bipartite graphs of order $n$ and diameter $d$. Motivated by reliability design problems for bipartite network models with fixed order and diameter, this paper determines all graphs with the maximum number of spanning trees in $\mathcal{B}(n,d)$. The result gives an extremal characterization of bipartite network topologies with the largest number of connected spanning backbones under prescribed order and diameter constraints, and provides a structural reference for the design of reliable bipartite networks.
Large Complete Minors from a Cheeger Condition
Let $G$ be a graph on $n$ vertices, and let $e_G(S,V(G)\setminus S)$ be the number of edges with exactly one endpoint in $S$. The Cheeger constant and the restricted Cheeger constant of $G$, where $k\ge1$ is real, are, respectively, \[
h(G)=\min_{\substack{\emptyset\ne S\subseteq V(G)\\|S|\le \frac{n}{2}}}
\frac{e_G(S,V(G)\setminus S)}{|S|}
\text{ and }
h_k(G)=\min_{\substack{\emptyset\ne S\subseteq V(G)
|S|\le\min\{k,\frac{n}{2}\}}}
\frac{e_G(S,V(G)\setminus S)}{|S|}. \] The contraction clique number $\ccl(G)$ is the largest integer $r$ such that $G$ contains the complete graph $K_r$ as a minor. Krivelevich and Nenadov [Complete minors in graphs without sparse cuts, Int. Math. Res. Not. IMRN 12 (2021) 8996--9015] proved that, for every fixed $\eps>0$ and all sufficiently large $n$ and $d$, if $G$ is a graph on $n$ vertices with maximum degree at most $d$, then $h(G)\ge\eps d$ and $h_{\eps n}(G)\ge(\frac{1}{2}+\eps)d$ imply $\ccl(G)=Ω_\eps(\sqrt{\frac{nd}{\log d}})$. They asked to determine if one can guarantee the same lower bound on $\ccl(G)$ without the additional condition on $h_{\eps n}(G)$. They showed that this is the case when $d$ is a constant. We answer this question affirmatively. For every $\eps>0$, there are constants $β=β(\eps)>0$ and $n_0=n_0(\eps)$ such that, whenever $d\ge 3$ is an integer, for every graph $G$ with $n\ge n_0$ vertices and maximum degree at most $d$, if $h(G)\ge\eps d$, then $\ccl(G)\geβ\sqrt{\frac{nd}{\log d}}$. The dependence of this lower bound on $n$ and $d$ is best possible up to a constant factor. As a corollary, a lower bound is derived for the contraction clique number of $d$-regular graphs for which the second largest eigenvalue is bounded away from $d$, compared to earlier $\frac{d}{2}$. The proof combines spectral properties of graphs with an analysis of lazy random walks.
On Erdős Problem 767: Cycles with Chords
For integers $k\ge 1$ and $n\ge k+2$, let $g_k(n)$ be the maximum number of edges in an $n$-vertex graph containing no cycle with a vertex incident with at least $k$ chords. Erdős conjectured that $g_k(n)=(k+1)(n-k-1)$ for $n\ge 2k+2$. Lewin found a counterexample. Bollobás later conjectured that there exists a function $n(k)$ such that $g_k(n)=(k+1)(n-k-1)$ for all $n\ge n(k)$. Jiang confirmed this by proving the formula for all $n\ge3k+3$ when $k\ge1$. In this paper, we determine $g_k(n)$ completely. For all $k\ge1$ and $n\ge k+2$, we prove $g_k(n)=\big\{\lfloor\frac{(k+1)n}{2}\rfloor,\max\{a(n-a)+\lfloor\frac{a(k+1-a)}{2}\rfloor : a\in\mathbb Z,\; \lfloor {(k+1)}/{2}\rfloor+1\le a\le k+1\}\big\}$. For $k\ge2$, we prove $g_k(n)=(k+1)(n-k-1)$ when $n\ge \lceil(5k+1)/2\rceil$, and this threshold is sharp. Our proof builds on the method developed by Ma and the second author in [Ma and Ning, 2020].
Bipodal optimizers in the upper-tail variational problem for regular subgraph densities
Let $H$ be a fixed $d$-regular graph with $d\ge2$, and let $t(H,\cdot)$ denote its homomorphism density. We study the upper-tail event $t(H,G(n,p))\ge r^{|E(H)|}$ for fixed $0<p<r<1$ in a dense Erdős--Rényi random graph $G(n,p)$. Near the Lubetzky--Zhao replica-symmetric phase boundary and away from the exceptional target density $(d-1)/d$, we prove that the optimizer of the Chatterjee--Varadhan variational problem on the symmetry-breaking side is bipodal (two-block) and unique up to relabeling. Its block parameters depend analytically on $(p,r)$. To treat the exceptional boundary point, where the nonexceptional theory degenerates, we construct an analytic curve approaching that point from the symmetry-breaking side along which the unique optimizers are nonconstant rank-one bipodal graphons. In both settings, we derive asymptotic expansions of the edge-density deficit and the rate function that governs the exponential decay of the upper-tail probability. Moreover, the conditioned random graph converges in cut distance to the corresponding bipodal optimizer as $n\to\infty$. As $(p,r)$ approaches the phase boundary from the symmetry-breaking side, the optimizers converge to their constant limits through two distinct mechanisms. For each fixed nonexceptional target density, one block shrinks to zero measure, giving convergence in $L^1$ but not in $L^\infty$. Along the exceptional curve, both blocks remain macroscopic: their sizes tend to $1/2$ and all three block densities tend to $(d-1)/d$, yielding convergence in $L^\infty$.
A proof of the resistance diameter conjecture for line graphs
We prove the conjecture of Xu, Li, Hua, and Pan that the resistance diameter does not increase under the line-graph operation. For every finite connected simple graph $G$ with at least one edge, we establish $D_r(L(G))\le D_r(G)$, with equality if and only if $G$ is a cycle or $K_4$. The proof combines an exact electrical representation of $L(G)$ by stars with a sharp budget inequality for the branch core. This inequality controls the combined error terms arising from the comparison of degree-two paths and is central to both the diameter bound and the equality analysis.
Obstructions to coloring arithmetic graphs
The arithmetic graph $B_n$ joins distinct $a,b\in\N$ when $\max(a,b)/\gcd(a,b)\le n$. We prove $χ(B_{205})=206$, disproving the conjecture that $χ(B_n)=n$ for every $n$, equivalently the Rainbow Cascades Conjecture. The proof reduces an arbitrary tiling by the arithmetic exponent tile to a periodic tiling, then to two families of finite quotients, which are excluded using exact computations. We also construct a $208$-coloring using $\Z_{104}\times\Z_2$ and prove $212\leχ(B_{211})\le213$. The lower bound at $211$ follows from prime-cardinality tiling rigidity and the published nonexistence of a cyclic logarithm of length $211$; we give a direct proof of the required rigidity statement. Finally, we record the equivalence with the List Cascade Coloring Conjecture and the conjecture on ironic decorations, and deduce finite graph counterexamples to both. The least $n$ with $χ(B_n)>n$ is either $195$ or $205$; determining which remains open.