graph
34516 papers tagged with this keyword
Quantitative Obata's theorem in discrete setting
Under mild assumptions, we show that a connected weighted graph $G$ with lower Ricci curvature bound $K>0$ in the sense of Bakry-Émery and the $d$-th non-zero Laplacian eigenvalue $λ_d$ close to $K$, with $d$ being the maximal combinatorial vertex degree of $G$, has an underlying combinatorial structure of the $d$-dimensional hypercube graph. Moreover, such a graph $G$ is close in terms of Frobenius distance to a properly weighted hypercube graph. Furthermore, we establish their closeness in terms of eigenfunctions. Our results can be viewed as discrete analogies of the almost rigidity theorem and quantitative Obata's theorem on Rimennian manifolds.
Beyond Nash-Williams: Counterexamples to Clique Decomposition Thresholds for All Cliques Larger than Triangles
A central open question in extremal design theory is Nash-Williams' Conjecture from 1970 that every $K_3$-divisible graph on $n$ vertices (for $n$ large enough) with minimum degree at least $3n/4$ has a $K_3$-decomposition. A folklore generalization of Nash-Williams' Conjecture extends this to all $q\ge 4$ by positing that every $K_q$-divisible graph on $n$ vertices (for $n$ large enough) with minimum degree at least $\left(1-\frac{1}{q+1}\right)n$ has a $K_q$-decomposition. We disprove this conjecture for all $q\ge 4$; namely, we show that for each $q\ge 4$, there exists $c > 1$ such that there exist infinitely many $K_q$-divisible graphs $G$ with minimum degree at least $\left(1-\frac{1}{c\cdot(q+1)}\right)v(G)$ and no $K_q$-decomposition; indeed we construct them admitting no fractional $K_q$-decomposition thus disproving the fractional relaxation of this conjecture. Our result also disproves the more general partite version. Indeed, we even show the folklore conjecture is off by a multiplicative factor by showing that for every $\varepsilon > 0$ and every large enough integer $q$, there exist infinitely many $K_q$-divisible graphs $G$ with minimum degree at least $\bigg(1-\frac{1}{\left(\frac{1+\sqrt{2}}{2}-\varepsilon\right)\cdot (q+1)}\bigg)v(G)$ with no (fractional) $K_q$-decomposition.
Computer-assisted graph theory: a survey
Computers and algorithms play an ever-increasing role in obtaining new results in graph theory. In this survey, we present a broad range of techniques used in computer-assisted graph theory, including the exhaustive generation of all pairwise non-isomorphic graphs within a given class, the use of searchable databases containing graphs and invariants as well as other established and emerging algorithmic paradigms. We cover approaches based on mixed integer linear programming, semidefinite programming, dynamic programming, SAT solving, metaheuristics and machine learning. The techniques are illustrated with numerous detailed results covering several important subareas of graph theory such as extremal graph theory, graph coloring, structural graph theory, spectral graph theory, regular graphs, topological graph theory, special sets in graphs, algebraic graph theory and chemical graph theory. We also present some smaller new results that demonstrate how readily a computer-assisted graph theory approach can be applied once the appropriate tools have been developed.
Turán's theorem for Dowling geometries
The Dowling geometry $Q_n(Γ)$, where $Γ$ is a finite group, is a matroid that generalizes the complete-graphic matroid $M(K_{n+1})$. We determine the maximum size of an $N$-free submatroid of $Q_n(Γ)$ for various choices of $N$, including subgeometries $Q_m(Γ')$, lines $U_{2,\ell}$, and graphic matroids $M(H)$. When the group $Γ$ is trivial and $N=M(K_t)$, this problem reduces to Turán's classical result in extremal graph theory. We show that when $Γ$ is nontrivial, a complex dependence on $Γ$ emerges, even when $N=M(K_4)$.
Planar percolation and the loop O(n) model
We show that a large class of site percolation processes on any planar graph contains either zero or infinitely many infinite connected components. The assumptions that we require are: tail triviality, positive association (FKG) and that the set of open vertices is stochastically dominated by the set of closed ones. This covers the case of Bernoulli site percolation at parameter $p\leq 1/2$ and resolves Conjecture 8 from the work of Benjamini and Schramm from 1996. Our result also implies that $p_c\geq 1/2$ for any invariantly amenable unimodular random rooted planar graph.
Furthermore, we apply our statement to the loop O(n) model on the hexagonal lattice and confirm a part of the phase diagram conjectured by Nienhuis in 1982: the existence of infinitely many loops around every face whenever $n\in [1,2]$ and $x\in [1/\sqrt{2},1]$. The point $n=2,x=1/\sqrt{2}$ is conjectured to be critical. This is the first instance that this behavior has been proven in such a large region of parameters. In a big portion of this region, the loop O(n) model has no known FKG representation. We apply our percolation result to quenched distributions that can be described as divide and color models.
Vertex-Based Localization of Generalized Turán Problems
Let $\mathcal{F}$ be a family of graphs. A graph is called $\mathcal{F}$-free if it does not contain any member of $\mathcal{F}$. Generalized Turán problems aim to maximize the number of copies of a graph $H$ in an $n$-vertex $\mathcal{F}$-free graph. This maximum is denoted by $ex(n, H, \mathcal{F})$. When $H \cong K_2$, it is simply denoted by $ex(n,F)$. Erdős and Gallai established the bounds $ex(n, P_{k+1}) \leq \frac{n(k-1)}{2}$ and $ex(n, C_{\geq k+1}) \leq \frac{k(n-1)}{2}$. This was later extended by Luo \cite{luo2018maximum}, who showed that $ex(n, K_s, P_{k+1}) \leq \frac{n}{k} \binom{k}{s}$ and $ex(n, K_s, C_{\geq k+1}) \leq \frac{n-1}{k-1} \binom{k}{s}$. Let $N(G,K_s)$ denote the number of copies of $K_s$ in $G$. In this paper, we use the vertex-based localization framework, introduced in \cite{adak2025vertex}, to generalize Luo's bounds. In a graph $G$, for each $v \in V(G)$, define $p(v)$ to be the length of the longest path that contains $v$. We show that \[N(G,K_s) \leq \sum_{v \in V(G)} \frac{1}{p(v)+1}{p(v)+1\choose s} = \frac{1}{s}\sum_{v \in V(G)}{p(v) \choose s-1}\] We strengthen the cycle bound from \cite{luo2018maximum} as follows: In graph $G$, for each $v \in V(G)$, let $c(v)$ be the length of the longest cycle that contains $v$, or $2$ if $v$ is not part of any cycle. We prove that \[N(G,K_s) \leq \left(\sum_{v\in V(G)}\frac{1}{c(v)-1}{c(v) \choose s}\right) - \frac{1}{c(u)-1}{c(u) \choose s}\] where $c(u)$ denotes the circumference of $G$. Furthermore, we characterize the class of extremal graphs that attain equality for these bounds. We provide full proofs for the cases $s = 1$ and $s \geq 3$, while the case $s = 2$ follows from the result in \cite{adak2025vertex}. We also conclude with a generalization of a result by Balister-Bollobás-Riordan-Schelp \cite{BALISTER2003366}.
Localization: A Framework to Generalize Extremal Problems
Extremal graph theory studies the maximum or minimum number of subgraphs isomorphic to a prescribed graph under given constraints. \textit{Localization} has recently emerged as a framework that refines such problems by assigning extremal quantities locally (to vertices or edges) and then aggregating them. This perspective not only recovers classical results but also leads to sharper bounds.
A classical result states that a connected planar graph with a finite girth $g$ satisfies \begin{equation*}
m \leq \frac{g}{g-2}(n-2) \end{equation*} Wood~\cite{wood} derived upper bounds on the number of $K_t$-cliques in graphs of bounded maximum degree, expressed in terms of both the number of vertices and the number of edges: \begin{align*}
ex(n,K_t,K_{1,d+1}) \leq \frac{n}{d+1}\binom{d+1}{t} \\ mex(m,K_t,K_{1,d+1}) \leq \frac{m}{\binom{d+1}{2}}\binom{d+1}{t} \end{align*} More recently, Chakraborty and Chen~\cite{CHAKRABORTI2024103955} established a similar upper bound for graphs with bounded path length: \begin{equation*}
mex(m,K_t,P_{r+1}) \leq \frac{m}{\binom{r}{2}}\binom{r}{t} \end{equation*}
In this paper, we employ the localization framework to improve these bounds and provide structural characterizations of the extremal graphs attaining them.
Edge-connectivity and non-negative Lin-Lu-Yau curvature
By definition, the edge-connectivity of a connected graph is no larger than its minimum degree. In this paper, we prove that the edge connectivity of a finite connected graph with non-negative Lin-Lu-Yau curvature is equal to its minimum degree. This answers an open question of Chen, Liu and You. Notice that our conclusion would be false if we did not require the graph to be finite. We actually classify all connected graphs with non-negative Lin-Lu-Yau curvature and edge-connectivity smaller than their minimum degree. In particular, they are all infinite.
The Edge-Distinguishing Game
In this paper, we introduce a graph coloring game called the Edge-Distinguishing Game (EDGe). The edge-distinguishing chromatic number of a graph is used to determine the moves each player can make. We determine which player has a winning strategy for particular graphs and graph families. Additionally, utilizing principles from game theory as well as previous work on a computational solution for the Game of Cycles.
A Note on Distance-Fall Colorings
We say a proper coloring of a graph is distance-$k$ fall if every vertex is within distance $k$ of at least one vertex of every color. We show that if $G$ is a connected graph of order at least $3$ that is $3$-colorable, thenit has a distance-2 fall 3-coloring. Further, for every integer $k\ge 2$, if $T$ is a tree of order at least $k$, then $T$ has a $k$-coloring such that every vertex is within distance $k-1$ of every color. This proves an old conjecture of Beineke and Henning that every tree of order $n$ has an independent distance-$d$-dominating set of size at most $n/(d + 1)$.
Various spectral aspects of NCCC-graphs of certain finite non-abelian groups
Let ${G}$ be a finite non-abelian group. The non-commuting conjugacy class graph (abbreviated as NCCC-graph) of $G$ is a simple undirected graph whose vertex set is the set of conjugacy classes of non-central elements of $G$ and two vertices $x^G$ and $y^G$ are adjacent to each other if $x'$ and $y'$ does not commute for all $x'\in x^G$ and $y'\in y^G$, where $x^G$ is the conjugacy class of $x \in G$. In this paper, we compute the spectrum, Laplacian spectrum, signless Laplacian spectrum and corresponding energies of NCCC-graphs of certain families of finite non-abelian groups. We determine whether these graphs are integral, L-integral and Q-integral. Further, we compare energy, Laplacian energy and signless Laplacian energy; and determine whether these graphs are borderenergetic, L-borderenergetic, Q-borderenergetic, hyperenergetic, L-hyperenergetic or Q-hyperenergetic.
Fractional domatic number and minimum degree
The domatic number of a graph $G$ is the maximum number of pairwise disjoint dominating sets of $G$. We are interested in the LP-relaxation of this parameter, which is called the fractional domatic number of $G$. We study its extremal value in the class of graphs of minimum degree $d$. The fractional domatic number of a graph of minimum degree $d$ is always at most $d+1$, and at least $(1-o(1))\, d/\ln d$ as $d\to \infty$. This is asymptotically tight even within the class of split graphs. Our main result concerns the case $d=2$; we show that, excluding $8$ exceptional graphs, the fractional domatic number of every connected graph of minimum degree (at least) $2$ is at least $5/2$. We also show that this bound cannot be improved if only finitely many graphs are excluded, even when restricting to bipartite graphs of girth at least $6$. This proves in a stronger sense a conjecture by Gadouleau, Harms, Mertzios, and Zamaraev (2024). This also extends and generalises results from McCuaig and Shepherd (1989), from Fujita, Kameda, and Yamashita (2000), and from Abbas, Egerstedt, Liu, Thomas, and Whalen (2016). Finally, we show that planar graphs of minimum degree at least $2$ and girth at least $g$ have fractional domatic number at least $3 - O(1/g)$ as $g\to\infty$.
Examples of diameter-2 graphs with no triangle or $K_{2,t}$
For each $t \ge 1$ let $W_t$ denote the class of graphs other than stars that have diameter $2$ and contain neither a triangle nor a $K_{2,t}$. The famous Hoffman--Singleton Theorem implies that $W_2$ is finite. Recently Wood suggested the study of $W_t$ for $t > 2$ and conjectured that $W_t$ is finite for all $t \ge 2$. In this note we show that (1) $W_3$ is infinite, (2) $W_5$ contains infinitely many regular graphs, and (3) $W_7$ contains infinitely many Cayley graphs. Our $W_3$ and $W_5$ examples are based on so-called crooked graphs, first constructed by de Caen, Mathon, and Moorhouse. Our $W_7$ examples are Cayley graphs with vertex set $\mathbb{F}_p^2$ for prime $p \equiv 11 \pmod {12}$.
On the chromatic numbers of Johnson type graphs
Published in Combinatorics and graph theory. Part XIII, Zap. Nauchn. Sem. POMI, 518, POMI, St. Petersburg, 2022, 192--200 (in Russian)
• Search Publication
A Johnson type graph $J_{\pm}(n,k,t)$ is a graph whose vertex set consists of vectors from $\{-1,0,1\}^n$ of the length $\sqrt{k}$ and edges connect vertices with scalar product $t$. The paper determines the order of growth of the chromatic numbers of graphs $J_\pm(n,2,-1)$ and $J_\pm(n,3,-1)$ (logarithmic on $n$), and also $J_\pm(n,3,-2)$ (double logarithmic on $n$).
On the Polytope Model and Near End node Isomorphisms of Type $A$ Kirillov--Reshetikhin Crystals
We prove an inductive formula to construct a path from the highest weight element to any given vertex in the crystal graph of the polytope realization of the Kirillov-Reshetikhin crystal $KR^{i,m}$ of type $A$. For $i \leq 2$ or $i \geq n-1$, we provide explicit formulas of the same by only using the lowering crystal operators and in those cases, using these paths, we determine the explicit image of any element under the affine crystal isomorphisms between the polytope and the tableau realizations of the Kirillov-Reshetikhin crystals.
Cubic vertex-transitive graphs of girth seven
In this paper we classify cubic vertex-transitive graphs of girth $7$, based on their signature. Such a graph is either a truncation of an arc-transitive dihedral scheme on a $7$-regular graph, the skeleton of a rotary map of type $\{7,3\}$, a member of an infinite family of Cayley graphs, or is one of the of the generalised Petersen graphs $\text{Pet}(13,5)$, $\text{Pet}(15,4)$, $\text{Pet}(17,4)$ or the Coxeter graph. We show that for a cubic vertex-transitive graphs $Γ$ of girth $7$, if every edge of $Γ$ is contained in the same number of $7$-cycles, then $Γ$ is also arc-transitive.
The incidence matrix of a $q$-ary graph
In this short note we will propose a definition of a $q$-ary graph. Furthermore, we describe how to make an incidence matrix for it, with an eye on the corresponding $q$-matroid.
Non-existence of co-spectral simple connected graphs with small number of edges
We prove that if the number of edges does not exceed 7 then the asymptotics of eigenvalues of the Dirichlet problem uniquely determine the shape of the graph.
Tropical linear series and matroids
We study a notion of tropical linear series on metric graphs that combines two essential properties of tropicalizations of linear series on algebraic curves: the Baker-Norine rank and the independence rank. Our main results relate the local and global geometry of these tropical linear series to the combinatorial geometry of matroids and valuated matroids, respectively. As an application, we characterize exactly when the tropicalization of the canonical linear series on a single curve is equal to the locus of realizable tropical canonical divisors determined by Möller, Ulirsch, and Werner. We also illustrate our results with a wealth of examples; in particular, we show that the Bergman fan of every matroid appears as the local fan of a tropical linear series on a metric graph. The paper concludes with a list of ten open questions for future investigation.
Chromatic quasisymmetric functions for signed graphs
In 1995, Stanley introduced the chromatic symmetric function of a graph, which specializes to its chromatic polynomial, and which has been the focus of intense research. In 2017, Shareshian, Wachs, and Ellzey defined a refinement of this function for a directed graph, that appears to be in $QSym$, the algebra of quasisymmetric functions, which is of great interest in algebraic combinatorics. Our goal is to extend this work to signed graphs, taking into account the perspective of the hyperplane arrangement associated with a signed graph, developed by Zaslavsky. We introduce the signed chromatic quasisymmetric invariant, and obtain structural properties. As a consequence, we define and study $SQSym$, the algebra of signed quasisymmetric functions.