graph
35150 papers tagged with this keyword
$t$-Young complexes and squarefree powers of $t$-path ideals
We introduce a new class of simplicial complexes, called \emph{$t$-Young complexes}, arising from Young diagrams and a positive integer~$t$. We show that every $t$-Young complex is either contractible or homotopy equivalent to a wedge of spheres, and a complete characterization of their vertex-decomposability is provided. Interestingly, $t$-Young complexes naturally appear as the Alexander dual complexes of squarefree powers of $t$-path ideals of path graphs. For this family, we use generating functions to obtain an explicit formula for homotopy type. As applications, we determine the projective dimension and the Krull dimension of these squarefree powers.
Localized Erdős-Pósa Property for Subdivisions
For a graph $H$, we say that $H$ has the Erdős-Pósa property for subdivisions with function $f$, if, for every nonnegative integer $k$ and every graph $G$, either $G$ contains (as a subgraph) $k+1$ pairwise vertex-disjoint subdivisions of $H$ or there exists a set $X\subseteq V(G)$ such that $G\setminus X$ contains no $H$-subdivision and $|X|\leq f(k)$. We show that every connected graph $H$ that has the Erdős-Pósa property for subdivision also satisfies a localized version of the Erdős-Pósa property, as follows. Let $H$ be a connected graph that has the Erdős-Pósa property for subdivisions with function $f$, and let $G$ be a graph that does not contain $k+1$ vertex-disjoint subdivisions of $H$. We demonstrate the existence of a set of at most $k$ vertex-disjoint subdivisions of $H$ in $G$ such that in their union, we can find a set $X$ with the property that $G \setminus X$ contains no $H$-subdivision and $|X| \leq 2^{f(k)}mk -k(m-n)$ where $n$ and $m$ are the number of vertices and edges.
On finite groups whose coprime graph is a divisor graph
In this paper, we first characterize which generalized lexicographic products are divisor graphs. As applications, we show that power graphs, reduced power graphs and order graphs are all divisor graphs, which also implies the main result in [Power graph of a finite group is always divisor graph, Asian-European Journal of Mathematics 16 (2023)]. We then show that, the coprime graph of a group is a generalized lexicographic product, and characterize which coprime graphs are divisor graphs. Finally, we classify the finite groups $G$ having at most four prime divisors, whose coprime graphs are divisor graphs, and we also classify the finite groups $G$ whose coprime graphs are divisor graphs, if $G$ is a nilpotent group, a dihedral group, a generalized quaternion group, a symmetric group, an alternating group, a direct product of two non-trivial groups, and a sporadic simple group.
Characterization of Some Graphs Realizing Regularity Bounds for Binomial Edge Ideals
In this paper, we characterize all graphs $G$ satisfying \[\operatorname{reg}(S/J_G)=\ell(G)=c(G)\] where $\ell(G)$ is the sum of the lengths of the longest induced paths in each connected component of $G$ and $c(G)$ is the number of the maximal cliques of $G$. We also characterize all connected graphs $G$ that satisfy \[\operatorname{reg}(S/J_G)=\ell(G)=|V(G)|-ω(G)+1\] where $ω(G)$ is the clique number of $G$. Moreover, we investigate the possible values of the regularity of $S/J_G$ within the intervals $[\ell(G), c(G)]$ and $[\ell(G), |V(G)|-ω(G)+1]$.
On perfect matchings, edge-colourings and eigenvalues of cubic graphs
Published
• View Publication
• BIB
We discuss the question whether the existence of perfect matchings in a cubic graph can be seen from the spectrum of its adjacency matrix. For regular graphs in general and for three edge-disjoint perfect matchings in a cubic graph (that is, an edge colouring with three colors) the answer is known to be negative. In the latter case, a few counter examples (found by computer) are known. Here we show that these counter examples can be extended to an infinite family by use of truncation. Thus we obtain infinitely many pairs of cospectral cubic graphs with different edge-chromatic number. For all these pairs both graphs have a perfect matching, and the mentioned question is still open. We obtain a few more results concerning spectral characterisations of cubic graphs, and point out a serious mistake in Section 3 of an earlier version of this paper.
The number of Laplacian eigenvalues of trees less than one
Let $m_T[0,1)$ denote the number of Laplacian eigenvalues of a tree $T$ that are strictly less than $1$. Guo, Xue and Liu \cite{GXL} proved that every tree $T$ of diameter $d$ satisfies $m_T[0,1)\ge \lceil(d+1)/3\rceil$, and that this bound is sharp when $d\equiv2\pmod3$. It is classical that every graph of diameter $d$ has domination number at least $\lceil(d+1)/3\rceil$. In this paper, for any diameter $d$, $m_T[0,1)=\lceil(d+1)/3\rceil$ if and only if $γ(T)=\lceil(d+1)/3\rceil$; we characterize all trees satisfying this necessary and sufficient condition, and also prove that almost all trees satisfy $m_T[0,1)\ge\lceil(d+1)/3\rceil+1$.
$\ell_{1}$-Embeddability of Regular Quadrilateral Maps on the Torus and the Klein Bottle
A connected graph is called $\ell_1$-embeddable if its shortest-path metric admits an isometric embedding into the $\ell_1$-space; equivalently, in the finite case, it admits a scale embedding into a hypercube. This paper gives a complete parameter-level classification of $\ell_1$-embeddability for regular quadrilateral maps on the torus and the Klein bottle. We treat the two toroidal families $Q_{k,m,r}$ and $Q_{k,m,e}$, obtained from suitable identifications of finite square grids, and, using the known isomorphisms among Klein-bottle quadrilateral maps, the three essential Klein-bottle families $Q_{k,m,a}$, $Q_{k,m,b}$, and $Q_{k,m,h}$. The $\ell_1$-embeddable toroidal maps are exactly
$Q_{k,m,0}, Q_{k,2,1}, Q_{k,1,e}, Q_{5,2,e}, Q_{2i,2,e} (i\ge 2)$,
and the $\ell_1$-embeddable Klein-bottle maps are exactly $
Q_{2,2,a}, Q_{4,2,a}, Q_{2,m,b}, Q_{1,2,h}.$
All other members of these five families are not $\ell_1$-embeddable.
One and Seven-Eighths Divisibility Problems of Propp
We provide one full solution, and another nearly complete solution, to two problems from Jim Propp's 1999 article "Enumeration of matchings; problems and progress" (namely, Problems 30 and 31) involving divisibility properties of the number of matchings of two non-bipartite triangular graphs. We extend our method of proof of the second problem to show that the number of matchings of any graph composed of tetrahedral cells, such that the number of cells is suitably few relative to the number of vertices, is divisible by a power of 3; in particular, we then exhibit a collection of non-planar graphs whose number of matchings is divisible by 3.
The List Total Colouring Conjecture is False
We exhibit a cubic graph with total chromatic number equal to four and list total chromatic number five. This disproves the List Total Colouring Conjecture of Borodin--Kostochka--Woodall, Juvan--Mohar--Škrekovski and Hilton--Johnson from the late 1990s. ChatGPT 6 Astra Ultra discovered the counterexample with little input from the author.
The Burr-Erdős-Graham-Sós conjecture for the seven-cycle
For a graph $H$, let $f(n,e,H)$ be the least number of colors in an edge-coloring of some $n$-vertex graph with at least $e$ edges in which every copy of $H$ is rainbow. Burr, Erdős, Graham, and Sós conjectured that $f(n,\lfloor n^2/4\rfloor+1,C_{2k+1})=(1/8+o(1))n^2$ for every fixed $k\ge3$, and Bucić, Chen, and Ma recently proved this for all $k\ge4$. We prove the remaining case $k=3$: \[
f\left(n,\left\lfloor n^2/4\right\rfloor+1,C_7\right)
=\left(\frac18+o(1)\right)n^2. \] The lower bound rests on a weighted palette inequality, which we prove with an exact rational certificate on five sampled vertices. Its main ingredients are a fractional matching of compatible triangular edges and private resources attached to nontriangular edges. A stable form of the inequality, combined with regularity, triangle removal, and a direct argument for graphs close to bipartite, transfers the bound to arbitrary edge-colorings. We also describe a Lean 4 formalization of the conjecture for every fixed $k\ge3$, which combines the new seven-cycle proof with a formalization of the Bucić-Chen-Ma argument for $k\ge4$.
On the Burning Game: Nordhaus-Gaddum Bounds and Graph Products
We continue research on the burning game on graphs. Given a graph $G$, two players, Burner and Staller, take turns in selecting vertices of $G$ to burn. All burned vertices spread fire to unburned neighboring vertices, as in the burning process. The goal of Burner is to burn the graph as quickly as possible, while Staller wants the process to last as long as possible. If both players play optimally, then the number of time steps needed to burn the whole graph $G$ is the game burning number $b_{\rm g}(G)$ if Burner makes the first move, and the Staller-start game burning number $b_{\rm g}'(G)$ if Staller starts.
In this paper, we study this game further, establishing Nordhaus-Gaddum bounds on the game burning number, as well as bounds for four different types of graph products: strong, Cartesian, lexicographic and corona products.
A nearly linear bound for the Lovász conjecture
The celebrated conjecture of Lovász from 1969 asks whether every connected vertex-transitive graph has a Hamiltonian path. Bucić, Christoph, Pokrovskiy and Steiner recently proved that every such graph on $n$ vertices contains a cycle of length $n^{2/3-o(1)}$.
In this paper, we improve this bound to $n^{1-o(1)}$. Our proof uses a structure theorem of Tessera and Tointon to first obtain a partition of the vertex set into sets of small diameter in the original graph. When the parts are large, we repeatedly traverse a spanning tree of maximum degree at most three in the quotient graph, and use the Lovász local lemma to join random short paths along this traversal and extract a long path in the original graph. When the parts are small, we apply Babai's contraction lemma to reduce the problem to finding a long path in a connected Cayley graph of a nilpotent group with boundedly many generators and bounded nilpotency class, and then show that such a Cayley graph on $m$ vertices contains a path on $m^{1-o(1)}$ vertices.
Peaks and peak-nestings on unit interval graphs
Unit interval graphs admit a classical Catalan encoding by area sequences, or equivalently by Dyck paths. We introduce a new statistic on these graphs, called peak-nesting, defined as the largest number of peak-cliques containing a common vertex. Through the correspondence with area sequences, peak-nesting also defines a new statistic on Dyck paths. We construct a bijection between Dyck paths and bicolored Motzkin paths which simultaneously records peak-nesting and the number of peaks. This yields a refinement of Touchard's identity, coefficient formulas involving Dyck paths of given height, and new combinatorial interpretations for several sequences recorded in the OEIS. We study the peak and peak-nesting polynomials over all unit interval graphs and over the subclasses of connected, Abelian, $2$-nested, and reduced unit interval graphs. For these families we obtain closed formulas, recurrences, and, for the symmetric cases, nonnegative expansions in the gamma-basis with explicit combinatorial interpretations. We also investigate questions regarding the location of zeros and the log-concavity of the corresponding coefficient sequences: some of the polynomial families form generalized Sturm sequences, whereas others fail to be real-rooted but appear nevertheless to have log-concave coefficients. Finally, we relate the peak-clique presentation of a unit interval graph to lattice path matroids.
On the asymptotics of the Erdős-Rogers function
The Erdős-Rogers function $f_{\ell,s}(n)$ is the largest order of a $K_\ell$-free induced subgraph guaranteed to exist in every $K_s$-free graph on $n$ vertices. While this function is well understood for $s=\ell+1$, the case where $s$ is much larger than $\ell$ has remained wide open. A long-standing lower bound of Sudakov states that $f_{\ell,s}(n)\geq n^{\frac{\ell}{2s}+O_\ell(s^{-2})}$, while a recent result of Bradač shows that $f_{\ell,s}(n)\leq n^{\frac{\ell-1}{s-1}+o(1)}$.
In this paper, we close this gap asymptotically by proving that $f_{\ell,s}(n)= n^{\frac{\ell}{2s}+O_\ell(s^{-2})}$. More precisely, we prove that for all $2\leq \ell<s$, we have $f_{\ell,s}(n)\leq n^{\frac{\ell}{2s-\ell}+o(1)}$. Our proof builds on Bradač's recent tight construction for off-diagonal Ramsey numbers, which can be viewed as the $\ell=2$ case of our result.
Independence number, essential connectivity and the distance spectral radius of graphs
An independent set of a graph G is a subset of VG, no two of which are adjacent. The cardinality of a maximum independent set in a graph G is called the independence number of G, denoted by alpha(G). The essential connectivity kappa'(G) of a graph G is denoted as the minimum number of vertices of G whose removal produces a disconnected graph with at least two non-trivial components. In this paper, we determine the n-vertex connected graphs with given independence number and essential connectivity that attain the minimum distance spectral radius, and fully characterize the corresponding extremal graphs.
Quadratic inequalities between the largest eigenvalues of a graph
We prove a sharp quadratic inequality between the largest two eigenvalues $λ_1 \ge λ_2$ of a graph with $n$ vertices. We also prove a quadratic inequality between the second and third largest eigenvalues $λ_2 \ge λ_3$. These results in particular imply the bounds $λ_1 + λ_2 \le \frac{8}{7} n - 2$, $λ_3 \le \frac{n}{3} - 1$ and $λ_2 + λ_3 \le \frac{2}{3} n - 2$. In fact we determine the closure of the set of possible $(\frac{λ_1+1}{n}, \frac{λ_2+1}{n}) \in \mathbb{R}^2$ and $(\frac{λ_2+1}{n}, \frac{λ_3+1}{n}) \in \mathbb{R}^2$. More generally, we prove quadratic bounds in the case of symmetric matrices in $[0,1]^{n \times n}$, and we also give a quadratic bound for two eigenvalues of a symmetric matrix in $[-1,1]^{n \times n}$. These bounds are proved by transforming the problem into extremal geometric questions in $\mathbb{R}^3$ and $\mathbb{R}^2$. We use the method of Lagrange multipliers to reduce to special cases with at most five points, and we deal with these special cases directly.
There is no $8$-regular $K_3$-irregular graph
A graph is $K_3$-irregular if its vertices belong to pairwise distinct numbers of triangles. We prove that no $8$-regular $K_3$-irregular graph exists, settling the last unresolved case. Following the initial discovery of such graphs for regularities $r \in \{10,11,12\}$ (Stevanovi'c et al., 2024), our previous work (Hak et al., 2025) showed that no such graphs exist for $r \le 7$, provided the first example for $r=9$, and proved that any $8$-regular candidate must have between $17$ and $22$ vertices. We exclude these possible orders for $r=8$ by combining careful analysis of triangle degrees with integer linear programming techniques. Meanwhile, a recent construction (Zhang, 2026) established that regular $K_3$-irregular graphs do exist for all $r \ge 9$. Together with our results, this establishes that an $r$-regular $K_3$-irregular graph exists if and only if $r\geq 9$.
On-line majority edge-colourings of graphs
A majority edge-colouring of a graph $G$ is a colouring of the edges of $G$ such that, for every vertex $v$ of $G$, at most half of the edges incident with $v$ receive the same colour. This notion was introduced by Bock et al. in 2023, who proved that every graph of minimum degree at least $2$ has a majority $4$-edge-colouring.
We investigate an on-line variant of majority edge-colouring in which the graph is revealed by the Presenter edge-by-edge and the Algorithm must colour each edge immediately and irrevocably. In particular. we prove that the greedy strategy, which uses at most five colours, is optimal among on-line algorithms if $δ= O(\frac{\log n}{\log\log n})$. We further extend our results to $1/k$-majority edge-colourings.
Tight bounds for positive discrepancy via eigenvalues
Given an $n\times n$ symmetric matrix $M$ with largest eigenvalue $λ_1\geq 0$, it is easy to show that the solution of the optimisation problem $\max_{v\in [-1,1]^n}v^TMv$ is at most $λ_1 n$. We prove the following converse: if every $n'\times n'$ principal submatrix of $M$ has maximal eigenvalue at least $λ$, then $\max_{v\in [-1,1]^n}v^TMv\geq λ(n-n'+1)$. We use this lemma to improve a number of recent results on the MaxCut, bisection width, and discrepancy of graphs. Among others, we prove that every $n$-vertex $m$-edge graph that is far from a disjoint union of cliques has a cut of size at least $m/2+n^{5/4-o(1)}$, which is sharp up to the $o(1)$-term. Moreover, we prove that every $d$-regular $n$-vertex graph has bisection width at most $dn/4-Ω_{\varepsilon}(d^{1/3}n)$ for $d\leq (1-\varepsilon)n/2$, which is optimal for $d=Ω(n)$. This confirms a conjecture of Räty, Sudakov and Tomon.
Nonexistence of strongly regular graphs via multipoint spherical semidefinite bounds
We use multipoint semidefinite programming to prove the nonexistence of strongly regular graphs. A normalized eigenspace projection of a primitive strongly regular graph gives a spherical two-distance set with one point for each vertex. A bound smaller than the required number of points therefore rules out the graph. Following the formulations of de Laat et al. and Kao and Yu, we use, for each reference type, coefficient matrices indexed by the feasible inner-product labels of the selected points. In degree zero, we combine the matrix coordinates indexed by the reference points into a single coordinate. The resulting programs use configurations of up to six points, with matrix orders at most $2^m+1$ for a reference set of $m$ points. Feasible dual solutions, verified in exact rational arithmetic, exclude strongly regular graphs with parameters $(351,140,73,44)$, $(550,162,75,36)$, $(703,182,81,35)$ and $(1344,221,88,26)$.