graph
35436 papers tagged with this keyword
Proof of a conjecture on isolation of graphs with a universal vertex
Published in Discrete Applied Mathematics 396 (2027), 133-141
• View Publication
• BIB
A copy of a graph $F$ is called an $F$-copy. For any graph $G$, the $F$-isolation number of $G$, denoted by $ι(G,F)$, is the size of a smallest subset $D$ of the vertex set of $G$ such that the closed neighbourhood $N[D]$ of $D$ in $G$ intersects the vertex sets of the $F$-copies contained by $G$ (equivalently, $G-N[D]$ contains no $F$-copy). Thus, $ι(G,K_1)$ is the domination number $γ(G)$ of $G$, and $ι(G,K_2)$ is the vertex-edge domination number of $G$. Settling a conjecture of Zhang and Wu, the present first author proved that if $F$ is a $k$-edge graph, $γ(F) = 1$ (that is, $F$ has a vertex that is adjacent to all the other vertices of $F$), and $G$ is a connected $m$-edge graph, then $ι(G,F) \leq \frac{m+1}{k+2} $ unless $G$ is an $F$-copy or $F$ is a $3$-vertex path and $G$ is a $6$-cycle. The graphs that attain the bound were determined for $0 \leq k \leq 1$ by Fenech, Kaemawichanurat and the present first author, and for $k = 2$ by Zhang and Wu. In this paper, we determine them for $k \geq 3$. Our result was also conjectured by Zhang and Wu.
The domination number of the $k$-token graph of the complete bipartite graph $K_{m,n}$
This paper is about token graphs and domination number. Let $G=(X,E)$ denote an undirected graph that is connected, with no loops or multiple edges, vertex set $X$, and edge set $E$. Pick a positive integer $k\leq \vert X\vert$. The $k$-token graph of $G$, denoted by $F_k(G)$, is defined as follows. The vertex set $\mathcal{X}$ consists of all $k$-subsets of $X$. Two vertices $x,y\in \mathcal{X}$ are adjacent whenever the symmetric difference of $x$ and $y$ consists of two vertices that form an edge in $E$. In this paper, we compute the exact value for the domination number of $F_2(K_{m,n})$ where $K_{m,n}$ is the complete bipartite graph with parameters $m,n$. We present some bounds for the domination number of $F_k(K_{m,n})$ when $k\geq 3$.
Tree-independence number VIII. 3PC-free graphs have logarithmic tree-independence number
A three-path-configuration is a graph consisting of three pairwise internally vertex-disjoint paths, the union of every two of which is an induced cycle of length at least four. A graph is 3PC-free if no induced subgraph of it is a three-path-configuration. We show that 3PC-free graphs have logarithmic tree-independence number, which is asymptotically best possible.
From Wheel to Jahangir graphs: spectra and energy under structured edge deletion
The energy of a graph, introduced by Gutman, is defined as the sum of the absolute values of the eigenvalues of its adjacency matrix. In this work we study how the energy of the Wheel graph $W_n$ changes when a specific set of spokes is removed. The resulting graphs are precisely the Jahangir graphs $J_{m,n}$, where m divides n, and which may also be viewed as the Cycle graph $C_n$ together with an additional vertex adjacent to certain vertices of $C_n$ in a cyclic pattern. We determine the spectra of $J_{2,n}$, $J_{4,n}$, and $J_{6,n}$ by exploiting a factorization of their characteristic polynomials arising from equitable partitions. This yields explicit closed formulas for their energies. Moreover, under certain conditions, we establish the following monotonicity chain: \[\mathcal{E}(C_n) \;\leq\; \mathcal{E}(J_{6,n}) \;\leq\; \mathcal{E}(J_{4,n}) \;\leq\; \mathcal{E}(J_{2,n}) \;\leq\; \mathcal{E}(W_n).\]
A sharp bound on the binding number of $K_k$-free graphs and the Brandt conjecture
The binding number of a graph is the smallest ratio $|N(S)|/|S|$ among all nonempty vertex sets $S$ whose neighborhood $N(S)$ is not the whole vertex set. We prove that every finite nonempty $K_k$-free graph has binding number at most $k-2$ for every $k\ge6$, confirming Brandt's conjecture; the bound is sharp for complete $(k-1)$-partite graphs with equal nonempty parts. We first prove the case $k=6$ and then extend it to all $k\ge6$ by induction.
Sprinkling for random regular graphs and Kim-Vu's sandwich conjecture
We show that the uniform random $d$-regular graph model on $n$ vertices is, in total variation distance, asymptotically close to the union of $d$ uniformly random edge-disjoint perfect matchings, provided that $n$ is even and $ω(1) = d \leq n^{1/10}$. This confirms a conjecture by Hollom, Lichev, Mond, Portier, and Wang for this range of parameters. This result has a couple of interesting consequences. First, this shows that random $d$-regular graphs on $n$ vertices exhibit sprinkling properties for some range of parameters, thereby confirming a conjecture by Isaev, McKay, Southwell and Zhukovskii in that range. Second, we give a short alternative proof of the upper side of Kim-Vu's sandwich conjecture in the sparse regime.
Ordered Trees with Linear Off-Diagonal Ramsey Numbers
We characterize the following three classes of ordered trees:
$\qquad$ (1) trees $T$ satisfying $R_<(T,K_n)=O(n)$;
$\qquad$ (2) $χ$-bounding trees;
$\qquad$ (3) Ramsey-good trees.
In particular, we show that the first two classes coincide. The second characterization answers a question of Axenovich, Rollin and Ueckerdt, and the third resolves a problem of Balko and Poljak.
In our proof, we also introduce several novel constructions of ordered graphs with sublinear independence number, giving lower bounds on $R_<(F,K_n)$ for various ordered forests $F$.
Extremal graphs without cycles of length 0 modulo 4
In a remarkable recent result, Győri, Li, Salia, Tompkins, Varga and Zhu determined the maximum size in a graph of given order and containing no cycle of length divisible by 4. In this paper, we give a complete characterization of all graphs attaining this maximum. This answers a question posed by Li, Pan and Shi. Very recently, Chu, Park and Ryu established a sharp upper bound on the number of edges in a 2-connected graph containing no cycle of length divisible by 4. We also give a complete characterization of all such graphs attaining this bound.
Secure Domination in Odd-order Sierpinski Graphs
A nonempty vertex set D of a graph is secure if and only if, for every nonempty subset X of D, the closed neighborhood of X contains at least as many vertices of D as vertices outside D. A secure dominating set is a set that is both secure and dominating, and the secure domination number is the minimum cardinality of such a set. Previous work determined the secure domination number of Sierpinski graphs S_n k for even k and for odd k when n = 2. The exact values for odd k and n\geq3 remained open. In this paper, we determine these remaining values.
Fourier Decomposition and E-Eigenvalues of Hypergraph Polynomials over Finite Abelian Groups
Let $H=(V,E)$ be a $k$-uniform hypergraph with polynomial $f_H(\bm{x})=\sum_{e\in E}\prod_{v\in e}x_v$. For a finite abelian group $G$ and a subgroup $S$ of $G$, the $k$-partite Cayley hypergraph $K$ has $k$ disjoint vertex parts, each indexed by $G$, and $\{(1,g_1),\ldots,(k,g_k)\}$ is an edge if and only if $g_1+\cdots+g_k\in S$. For $k=2$, $K$ is isomorphic to the Bi-Cayley graph associated with $G$ and $S$. For $k\ge3$, we use character theory to express $f_K$, under a complex unitary change of variables, as a sum of exactly $[G:S]$ nonzero monomials in pairwise disjoint sets of variables. This yields a direct sum decomposition whenever $S$ is a proper subgroup of $G$. When $G=\Z_2^m$, this transformation is real and orthogonal, enabling us to determine the complete sets of complex E-eigenvalues and Z-eigenvalues of the adjacency tensor of $K$.
Berry--Esseen Bounds for Faces in Unimodular Triangulations of Random Polytopes
Consider the number of faces arising from unimodular triangulations of random polytopes associated with Erdős--Rényi graphs. Focusing on two-dimensional faces of regular unimodular triangulations of random symmetric edge polytopes, we derive precise asymptotic expansions for the expectation and variance and then establish a quantitative central limit theorem with an explicit Berry--Esseen bound. The proof combines an algebraically derived characterization of faces in terms of local graph configurations with a detailed combinatorial--geometric study of the relevant configurations. The normal approximation is established using the discrete Malliavin--Stein method. We also determine the asymptotic orders of the expectation and variance and establish a quantitative central limit theorem for the number of faces in each fixed higher dimension. These results identify a common local mechanism underlying the fluctuations of face numbers and extend the distributional theory of random symmetric edge polytopes [Donzelmann et al., arXiv:2603.10650] beyond edge statistics.
Size and spectral radius conditions for the existence of $k$-factor in graphs with given minimum degree
In recent years, characterizing the conditions for the existence of an $[a,b]$-factor in graphs has received significant academic attention. For integers $b\ge a\ge 1$, an $[a, b]$-factor of a graph $G$ is defined as a spanning subgraph $H$ such that $a\le d_{H}(v)\le b$ for every $v\in V(G)$. If $a=b=k$, a $[k, k]$-factor is called a $k$-factor of $G$. Let $δ(G)$ denote the minimum degree of a graph $G$. Hao and Li [Electron. J. Combin. (2024)] posed the problem of characterizing the size or spectral radius conditions for a graph to contain an $[a,b]$-factor with $δ(G)\ge a$. Fan, Lin and Zhu [Discrete Math. (2026)] solved the size version of this problem for the case $a < b.$ In this paper, for $a=b=k$, we characterize the size condition for a graph to have a $k$-factor with $δ(G)\ge k$. Using this result, we also characterize the spectral radius and distance spectral radius conditions for a graph to have a $k$-factor, respectively.
On minimum-size matroid counterexamples to the multiplicative Merino--Welsh inequality
Let $M$ be a matroid and let $\Tutte_M(x,y)$ be its Tutte polynomial. The multiplicative Merino--Welsh inequality \[ \Tutte_M(2,0)\Tutte_M(0,2)\geq \Tutte_M(1,1)^2 \] was proved to be false for matroids by Beke, Csáji, Csikvári, and Pituk (\emph{Adv. Math.} \textbf{446} (2024), 109674). Let $U_{n,r}$ denote the rank-$r$ uniform matroid on $n$ elements, where $0<r<n$, and let $U_{n,r}^{(q)}$ denote the matroid obtained by replacing each element of $U_{n,r}$ with $q$ parallel copies. They constructed an infinite family of counterexamples of the form $U_{n,r}^{(2)}$, including $U_{33,22}^{(2)}$. In this paper, we prove that every $U_{n,r}^{(q)}$ with $q\geq3$ satisfies the inequality. For $q=2$, we prove that the minimum number of elements in such a counterexample is $62$, attained by $U_{31,21}^{(2)}$. For loopless and bridgeless graphs, Noble and Royle (\emph{Eur. J. Comb.} \textbf{38} (2014), 24--35) showed that every edge of a minimum-size counterexample to the multiplicative Merino--Welsh conjecture lies in a series or parallel class of size two or three. For matroids, we further prove that every element of a minimum-size loopless and coloopless counterexample lies in exactly one series or parallel class of size two.
A proof of Vince's conjecture on the average order of connected induced subgraphs
We prove that the average order of connected induced subgraphs of a connected simple graph of order $n$ and minimum degree at least $3$ is strictly greater than $n/2$, which settles a conjecture of Vince~[\emph{J. Graph Theory} 97 (2021), 82--103]. We go further and show that, for connected simple graphs of order $n$ and minimum degree exactly $k\ge3$, $K_k\vee(K_1\cup K_{n-k-1})$ uniquely minimizes this average under additional conditions.
An Equivariant Main Conjecture for Branched $\mathbb Z_p$-Towers of Finite Graphs and Applications
Let $p$ be a prime and let $Y/X$ be a finite abelian branched cover of finite connected graphs. We consider a compatible branched $\mathbb Z_p$-tower above $Y$ whose total Galois group over $X$ is abelian. We construct an equivariant Picard Iwasawa module over the completed group ring of the total Galois group and give an explicit presentation of this module. On the analytic side, we construct an equivariant Artin--Ihara $L$-element at the top of the tower and isolate a modified factor whose value at $u=1$ is well defined. Our main result computes the Fitting ideal of the equivariant Picard Iwasawa module in terms of these special values and augmentation ideals determined by the inertia groups. As applications, we recover the main conjecture for branched $\mathbb Z_p$-towers from our earlier work and obtain finite-level Fitting-ideal and annihilation formulas which can be viewed as graph-theoretic analogues of the conjectures of Kurihara and Brumer--Stark.
Frozen colorings and recolorability of blowups
The $k$-reconfiguration graph $R_k(G)$ of the proper $k$-colorings of a graph $G$ is the graph whose vertices are the $k$-colorings of $G$, with an edge between two colorings if they differ on exactly one vertex. A graph $G$ is recolorable if $R_k(G)$ is connected for all $k \ge χ(G) + 1$.
In this paper, we study recolorability under blowups through frozen colorings, here blowup means replacing vertices with non-empty cliques. We characterize frozen colorings of a blowup of $G$ in terms of maximal independent sets of the base graph, and develop a lifting principle that transfers suitable frozen obstructions from an induced subgraph to a blowup of the ambient graph. This framework yields several consequences. In particular, we answer negatively a question of Belavadi, Cameron and Sintiari on recoloring via modular decomposition, and disprove their conjecture on blowups of prime graphs.
We further determine exactly which cycles have all blowups recolorable: this holds for $C_n$ if and only if $n\in\{3,4,5,7\}$. The frozen obstructions arising from the negative cases, together with the lifting principle, imply that if every blowup of a graph $G$ is recolorable, then every induced hole of $G$ has length $4$, $5$, or $7$. Finally, using linear programming duality, we show that every such graph $G$ is fractionally co-strongly perfect.
On Entries of Spectral Decompositions and Applications
The entries of the spectral idempotents of a graph are its local and crossed local multiplicities. This paper uses these classical quantities in three applications. First, in a graph on $n$ vertices without isolated vertices, every local multiplicity is at most $\frac{n-1}{n}$, and every diagonal entry of the Cesaro average mixing matrix is at most $1-\frac{2}{n}+\frac{2}{n^2}$. In both bounds equality holds only for the complete graph. This proves the connected form of the complete graph trace conjecture of Godsil, Guo and Sobchuk together with its equality case, and component and degree refinements follow. The two upper bounds and their attainment by complete graphs also occur in a recent machine checked proof, without a formal characterization of when equality holds. Second, for the line graph of a connected graph $Γ$, the average return probability at a bridge with a bipartite component on one side is at least the reciprocal of the rank of the unsigned incidence matrix. Equality holds exactly for $P_2$ and $P_3$. The proof combines local moments with known inverse-incidence formulas. Finally, the paper gives a short proof of Godsil's entry criterion, which says that vertices $u$ and $v$ are strongly cospectral exactly when $\left|(E_θ)_{uv}\right|=(E_θ)_{uu}$ for every eigenvalue $θ$. The criterion recovers the known classification in connected noncomplete strongly regular graphs, where the strongly cospectral pairs are precisely the two-vertex parts of cocktail party graphs.
Bowen--Franks groups and minus class groups of imaginary abelian fields
$\mathrm{Lei}$, $\mathrm{M\ddot{u}ller}$, and $\mathrm{Valli\grave{e}res}$ constructed a directed graph for which the torsion part of the corresponding Bowen--Franks group is related to the minus part of the class group of a cyclotomic number field with prime conductor. We extend this result to a general imaginary abelian field.
A Solution to the Kohayakawa-Prömel-Rödl Conjecture
The induced Ramsey number $r_{\mathrm{ind}}(G,H)$ is defined as the minimum order of a graph $F$ such that any 2-coloring of its edges with red and blue leads to either a red induced copy of $G$ or a blue induced copy of $H$. In 1998, Kohayakawa, Prömel, and Rödl conjectured that for any fixed graph $G$, there exists a constant $f=f(G)$ such that the induced Ramsey number $r_{\mathrm{ind}}(G, H)$ is bounded by $|V(H)|^f$ for every graph $H$. In this paper, we completely solve the Kohayakawa--Prömel--Rödl conjecture, which states that for any graphs $G$ and $H$ with $|V(G)|=k\ge2$ and $|V(H)|=t\ge2$, $r_{\mathrm{ind}}(G,H)\le t^{60k^2+3}$. This verifies the conjecture with $f(G)=60|V(G)|^2+3$.
A first order phase transition for lower tails in sparse random graphs
We study the graphon variational problem that governs lower tail large deviations of the number of copies of a fixed nonbipartite graph $H$ in a sparse Erdős--Rényi random graph. Our main new insight is that any non-constant minimizer of the variational problem exhibits a discontinuous jump away from the constant graphon. We deduce that the replica-symmetric and symmetry-breaking regimes are separated by a single critical parameter and that the phase transition is first order. In the supercritical regime $p \gg n^{-1/m_2(H)}$, we transfer these results to the conditioned random graph, showing that the edge density is a discontinuous order parameter and that the conditioned graph concentrates in cut distance near the full minimizer set.