graph
35150 papers tagged with this keyword
On the approximation of permutons
We study the optimal rectangular-discrepancy approximation of permutons by finite permutations. We transfer bounds from discrepancy theory to this more restricted setup. Moreover, we show that superlinear approximation can occur only for permutons supported by graphs of measure-preserving functions, and demonstrate how the local regularity of this function obstructs approximability. We also consider the biased Brownian separable permuton and prove a lower bound on its approximation error by showing that its supporting measure-preserving function has Lipschitz points almost surely.
Graceful labelings of spiders with three-edge legs and pendant leaves at the center
A graph $G$ on $m$ edges is graceful if there is an injection $f : V(G) \to \{0, 1, \ldots, m\}$ whose induced edge labels $\{|f(u) - f(v)| : uv \in E(G)\}$ are exactly $\{1, 2, \ldots, m\}$. Ringel and Kotzig conjectured in 1964 that every tree is graceful. A computer check has confirmed this for all trees on at most 35 vertices (Fang 2010), but no general proof is known. Here we exhibit an infinite family of trees that escapes the named spider results of Bahls--Lake--Wertheim, Panpa--Poomsa-ard, and Panpa--Imnang--Wasuanankul: the family $T(k, m)$ of spiders with $k$ legs of length $3$ together with $m$ pendant leaves at the centre. We prove every such tree is graceful for all $k \ge 1$ and $m \ge 0$. The argument splits into two short lemmas. The first is a pendant-extension lemma that applies whenever the underlying graceful labeling sends the centre to $0$; the second is the base case, namely that $S_{k, 3}$ admits exactly such an apex-zero labeling, a fact already implicit in Bahls--Lake--Wertheim (2010). What is new is the explicit identification of $T(k, m)$ and the observation that the family is closed under both pendant addition and the apex-zero condition, so it includes infinitely many trees not handled by the named theorems above.
A characterization for positive semi-definite matrix products
A well-known fact in linear algebra is that $A^T A$ is always positive semi-definite for any real matrix $A$. We consider a generalization of this fact via the following decision problem. Given a symbolic product of length $k$, consisting of $\ell$ variables and their transposes, such as $ABB^TCA^T$, does there exist an $n\in\mathbb N$ and an assignment of matrices from $\mathbb R^{n\times n}$ such that the resulting matrix product has a negative eigenvalue? We show that this problem is decidable and provide a simple characterization of those symbolic products that have only non-negative real eigenvalues for any assignment of matrices. This characterization can also be understood as a matrix analogue of the positive graph conjecture by Camarena, Csóka, Hubai, Lippner, and Lovász, and the proof relies on this surprising connection to graph theory.
Graphons, Geometry, and Dynamics: Forward and Inverse Perspectives
In this work, we explore the interplay between graph limit theory, the geometry of underlying probability spaces, spectral theory, and network dynamical systems. We investigate two primary questions concerning forward and inverse perspectives: first, whether a graphon retains information about the geometry of the space on which it is defined, and second, whether spectral properties can distinguish graphons that originate from different geometric spaces. To address these questions, we differentiate between combinatorial equivalence and geometric structure, highlighting how these concepts are captured simultaneously by the class of pure graphons. Furthermore, we construct explicit examples of isospectral graphons -- graphons whose integral operators share the same spectrum -- that differ in their underlying geometry. By utilizing the heat kernels of Neumann- and Dirichlet-isospectral drums, we demonstrate that these graphons are not combinatorially equivalent. Finally, we establish new connections between the geometric aspects of graph limit theory and dynamical systems by analyzing a continuum Kuramoto model with graphon-defined interactions. We demonstrate that while isospectrality implies identical stability properties in certain cases, this correspondence breaks down when the differing boundary conditions of our specific Neumann and Dirichlet constructions are considered.
Proof of Thomassen's Conjecture on Highly connected subgraphs with large chromatic number
For integers $k\ge 1$ and $m\ge 2$, let $g(k,m)$ be the least integer $n\ge 1$ such that every graph with chromatic number at least $n$ contains a $(k+1)$-connected subgraph with chromatic number at least $m$. We prove that \[
g(k,m)\le \max(m+2k-2,\,3k+1) \] for all $k\ge 1$ and $m\ge 2$, establishing the 1983 conjecture of Thomassen that $g(k,k+1)\le 3k+1$. The key new ingredient is a Hall-feasibility argument replacing the final numerical step in the proof of Nguyen.
An Improved Threshold for the Minimum Degree Kruskal-Katona Theorem for 3-Uniform Hypergraphs
Given a set $X$ and a sufficiently large integer $t$, let $\mathcal{F}$ be a family of $k$-subsets of $X$. The Kruskal-Katona theorem states that if $|\mathcal{F}|\geq \binom{t}{k}$, then $|\partial_{k-1}\mathcal{F}|\geq\binom{t}{k-1}$. The minimum degree version of this problem asks: if $δ(\mathcal{F})\geq \binom{t}{k-1}$, how small can $|\partial_{k-1}\mathcal{F}|$ be? In this article, for the case $k=3$, we prove that every extremal graph for this problem contains an isolated copy of $K_{t+1}^3$ whenever $|X| \geq ct^2 + o(t^2)$, with the constant $c = 1 + \sqrt{928/33}$. Our proof uses a graph transformation that regularizes the neighborhood structure of extremal graphs, reducing the problem to a counting argument on the neighbors of a disjoint clique family. This improves a result of Füredi and Zhao [SIAM J.\ Discrete Math.\ 36(4), 2022], reducing the threshold from $O(t^3)$ to $O(t^2)$.
Shadows of Uniform Hypergraphs under a Minimum Degree Condition
Given a set $X$ and an integer $t$, let $\mathcal{F}$ be a family of $k$-subsets of $X$. The Kruskal--Katona theorem states that if $|\mathcal{F}|\geq \binom{t}{k}$, then $|\partial_\ell\mathcal{F}|\geq\binom{t}{\ell}$. The minimum degree version of this problem asks: if $δ(\mathcal{F})\geq \binom{t}{k-1}$, how small can $|\partial_\ell\mathcal{F}|$ be? We call a hypergraph \textit{extremal} if it achieves the minimum value of $|\partial_\ell \mathcal{F}|$ subject to the degree condition $δ(\mathcal{F}) \geq \binom{t}{k-1}$. Füredi and Zhao [SIAM J. Discrete Math. 36(4), 2022] proved that for $k=3$ and $\ell=2$, every extremal graph contains an isolated copy of $K_{t+1}^3$ when $|X| > \frac{1}{4}(t+1)^2(t+2)$. In this article, we study the general case $k > \ell \geq 2$. By developing a hypergraph transformation that combines shifting operations with antilexicographic compression, we prove that there exists an extremal hypergraph containing an isolated copy of $K^{k}_{t+1}$ whenever $|X| > \frac{1}{4}(t+1)^2\binom{t-1}{\ell-2} + 2t$.
Books versus Triangles near the n/6 Threshold
The book number $b(G)$ of a graph $G$ is the maximum number of triangles sharing a common edge. A strengthening of Mantel's theorem due to Rademacher states that every $n$-vertex graph with more than $\lfloor n^2/4\rfloor$ edges contains at least $\lfloor n/2\rfloor$ triangles. Another strengthening, initiated by Erdős, asserts that every such graph $G$ satisfies $b(G)\ge n/6$. Motivated by these results, Mubayi studied the tradeoff between the total number of triangles and the book number in such graphs, and asymptotically resolved the problem when $n/4\le b(G)\le n/2$. Conlon, Fox, and Sudakov conjectured that, for $n/6\le b< n/4$, every $n$-vertex graph with at least $\lfloor n^2/4\rfloor$ edges and book number at most $b$, other than the balanced complete bipartite graph, has at least $b^2(n-4b)$ triangles, with equality only for the blow-up $S_{b,n}$ of the $3$-prism. They proved the conjecture when $b$ lies in an interval with endpoint $n/4$, and also at the endpoint $b=n/6$, where they asked whether it remains valid in an interval containing this endpoint. In this paper, we answer this question affirmatively. We show that there exists a constant $\varepsilon>0$ such that the conjecture holds for all $n/6\le b\le (1/6+\varepsilon)n$. Our proof first establishes a stability theorem showing that every extremal graph is close to a blow-up of the $3$-prism, and then uses a detailed parameter analysis to force the exact six-partite structure.
A universal dichotomy for concentration in randomly colored graphs
Let $ζ$ be Euclidean norm of the degree sequence of a graph normalized by the graph size. We prove that when the vertices of a graph are randomly colored with $s$ colors such that the fraction of vertices in each color class is bounded away from zero, only two asymptotic regimes emerge. If $ζ=o(1)$, then the sizes of the subgraphs induced by the color classes concentrate around their expected values. If $ζ=Θ(1)$, then concentration depends on the color balance: for colorings with persisting imbalance, the total number $M$ of monochromatic edges stays bounded away from its mean with positive probability; otherwise, for vanishing imbalance, $M$ still concentrates. The same dichotomy holds for a broad class of randomly colored random graphs.
Existence of cycles of length divisible by 3 or 4
Dean conjectured that for each integer $k \ge 3$, every graph with minimum degree at least $k$ has a cycle whose length is divisible by $k$; this conjecture is known to be true for all $k\neq 5$. For $k\in\{3,4\}$, stronger statements are true: every graph with minimum degree at least $2$ and at most $k-2$ vertices of degree $2$ has a cycle whose length is divisible by $k$.
We further strengthen these results by characterizing all graphs with minimum degree at least $2$ and at most three vertices of degree $2$ that have no cycle of length divisible by $k$, for each $k\in\{3,4\}$. As a corollary, we obtain that every graph with minimum degree at least $2$ and at most two vertices of degree $2$ has a cycle whose length is divisible by $3$, and that every graph on at least nine vertices with minimum degree at least $2$ and at most three vertices of degree $2$ has a cycle whose length is divisible by $4$.
Ramsey numbers and Gallai--Ramsey numbers of disjoint unions of cherries
For graphs $G_1,\ldots,G_k$, the Ramsey number $R(G_1,\ldots,G_k)$ is the smallest positive integer $N$ such that every $k$-edge-coloring of $K_N$ contains a monochromatic copy of $G_i$ in color $i$ for some $i\in[k]$. The Gallai--Ramsey number $GR(G_1,\ldots,G_k)$ is defined analogously, with the colorings restricted to Gallai colorings (i.e., edge-colorings with no rainbow triangle).
A copy of $P_3$ is called a cherry. Let $n_iP_3$ denote the disjoint union of $n_i$ cherries. Wu, Magnant, Nowbandegani, and Xia (Discrete Appl. Math., 2019) proposed two conjectures: \[ R(n_1P_3,\ldots,n_kP_3)=N\ \text{and}\ GR(n_1P_3,\ldots,n_kP_3)=N\,, \] where $N=2\max\{n_1,\ldots,n_k\}+\sum_{i=1}^kn_i-k+1$. We disprove the Ramsey conjecture and provide some sufficient conditions for determining the exact value of $R(n_1P_3,\ldots,n_kP_3)$. In contrast, we confirm the Gallai--Ramsey conjecture.
Tropical Degenerations of Network Games:Valuation Classes and Equilibrium Coalescence
A valuation-theoretic framework is developed for studying tropical degenerations of multilinear network games. Equilibrium conditions are modeled by an ideal over the Puiseux field, and valuation classes and cluster multiplicities are used to describe the organization of Puiseux equilibrium branches under degeneration. For valuation vectors lying in the relative interiors of generator-wise maximal tropical cells, multilinearity is shown to force a binomial reduction of the generator-wise initial system. The resulting binomial systems are governed by exponent-difference graphs, strongly connected component decompositions, and lattice indices computed via Smith normal form. In particular, unimodular diagonal blocks yield initial-coefficient rigidity, whereas non-unimodular blocks give rise to torsion-type leading-coefficient multiplicities. The generic binomial theory is complemented by a collision-normalized cross-prism family. In this family, 2^L Puiseux equilibrium branches share the same valuation vector and the same leading-coefficient vector. The corresponding limiting initial fiber is supported at a single torus point, but this point is nonreduced with scheme-theoretic length 2^L. Thus valuation coalescence is realized as an intrinsic scheme-theoretic collision rather than merely as a loss of higher-order terms. These local degeneration invariants are then related to the algebraic-degree theory of network games, showing how global equilibrium counts can be refined by valuation classes, binomial initial systems, Smith lattice data, and nonreduced collision fibers.
On tree decompositions whose trees are subgraphs
Fix $k \in \mathbb{N}$ and let $G$ be a connected graph with treewidth at most $k$. We say that $xy \notin E(G)$ is a {\em $k$-ghost-edge} of $G$ if for every tree decomposition $(T, \cB)$ of $G$ with width at most $k$, both $x$ and $y$ are contained in a bag of $(T, \cB)$. Moreover, if $G$ does not contain any $k$-ghost-edges, then $G$ is {\em $k$-ghost-free}. Hickingbotham proposed a conjecture that every connected $k$-ghost-free graph $G$ has a tree decomposition $(T, \cB)$ with width at most $k$ such that $T$ is a subgraph of $G$. In this paper, we prove that Hickingbotham's conjecture is false for all $k\geq3$.
Two-place Laplacian matching root integral variations are impossible
Wang, Cui, and Cioabă introduced the Laplacian matching root integral variation of a graph and proved that it cannot occur in one place. They also showed that the two-place variation is impossible for connected graphs satisfying $g(G)/c(G)>7/6$, where $g(G)$ is the girth and $c(G)$ is the dimension of the cycle space, and conjectured that no connected graph admits such a two-place variation. In this paper, we confirm this conjecture. The proof combines a structural relation obtained in their paper with two new power-sum identities for Laplacian matching roots.
Hypergraph extensions of the Alon--Frankl Theorem and rainbow Turán problems
Given a graph $F$, the $r$-expansion $F^{(r)+}$ of $F$ is the $r$-uniform hypergraph obtained from $F$ by inserting $r-2$ new distinct vertices in each edge of $F$. Recently, Alon and Frankl (JCTB, 2024) and Gerbner (JGT, 2023) studied the maximum number of edges in $n$-vertex $F$-free graphs with bounded matching number, respectively. Gerbner, Tompkins and Zhou (EJC, 2025) considered the analogous Turán problems on hypergraphs with bounded matching number. In this paper, we study hypergraph extensions of the Alon--Frankl Theorem. More precisely, we determine the maximum number of hyperedges in an $n$-vertex $r$-uniform hypergraph containing neither a matching $M^r_{s+1}$ nor the expansion $K_{\ell+1}^{(r)+}$ of the clique $K_{\ell+1}$ for all small $s<\frac{\ell^2-1}{2}$ and all sufficiently large $s$, respectively. As a key tool, we determine the rainbow hyper-Turán number for expansions of cliques, which extends the result of Keevash, Saks, Sudakov and Verstra{ë}te (AAM, 2004) on rainbow copies of cliques. This shows a correlation between the hyper-Turán problem and the rainbow Turán number.
Schur States, Average Mixing, and Counting Trees on Line Graphs' CTQW
We introduce a family of complex-valued edge weights on a finite simple graph $\G$ arising from a continuous-time quantum walk on the line graph $\ell\G$, packaged as the \emph{Schur state}: an $n \times n$ Hermitian matrix encoding the amplitudes of an edge-state walk. The entrywise modulus square induces a real-weighted adjacency matrix $A(e)$ and Laplacian $L(e)$, and time-averaging yields a weighted graph whose spanning-tree count we relate to that of $\G$. Our main result is \[
tn\!\left(\G, \tfrac{1}{m}\right) = \frac{1}{m^{n-1}}\, tn(\G), \] valid whenever the initial edge state is \emph{uniform commutative}, where $n=|V\G|$, $m=|E\G|$, and $tn(\G, w)$ denotes the weighted spanning-tree count. We further identify a structural mechanism -- the $-2$ eigenspace of $\ell\G$ -- providing uniform commutative states beyond the regular case, in particular for line graphs of Eulerian graphs with an even number of edges. As a side result, we establish that commutative states are precisely the states whose von Neumann entropy is preserved under average mixing.
Generic Irreducibility of Bloch Varieties for Periodic Graph Operators
We give a complete characterization of generic irreducibility for dispersion polynomials and Bloch varieties of periodic graph operators. More precisely, we prove that for a generic choice of edge weights and potentials, the dispersion polynomial/Bloch variety of a nontrivial periodic graph is irreducible if and only if the quotient graph is connected.
Our proof uses a strong dichotomy for parameterized Laurent polynomials: reducibility either occurs for every parameter or fails on a nonempty Zariski-open set. After establishing this dichotomy, we reduce the problem to minimally connected periodic graphs.
Tree-alpha and excluding finitely many graphs
We prove that a hereditary graph class $\mathcal{G}$ defined by finitely many excluded induced subgraphs has bounded tree-$α$ if and only if it is "$(\mathrm{tw},ω)$-bounded" (that is, for all $t\in \mathbb N$, the class of all $K_t$-free graphs in $\mathcal{G}$ has bounded treewidth). Equivalently, $\mathcal{G}$ has bounded tree-$α$ if and only if it excludes a complete bipartite graph, a forest whose components each have at most three leaves, and the line graph of such a forest.
This resolves two conjectures of Dallard, Krnc, Kwon, Milanič, Munaro, Štorgel, and Wiederrecht: the above, and a weaker one that for all $a,b\in \mathbb N$, every hereditary class that excludes $K_{a,a}$ and the $b$-vertex path has bounded tree-$α$. The latter was already open even for $(a,b)\in \{(2,7),(3,5)\}$, and only recently proved for $(a,b)=(2,6)$.
The Normal Domination Partizan Game in Stars
The Domination game is an impartial game on graphs, introduced in 2010, and proved PSPACE-complete in the normal variant in 2026. In this game, Alice and Bob alternately select playable vertices, where a vertex is playable if it dominates at least one vertex not dominated by the vertices selected before in the game. The game ends when the selected vertices form a dominating set. In the normal variant, the player unable to move loses. In contrast to the impartial game, the partizan game has the vertices already colored with $A$, $B$, or $C$, in such a way that Alice (resp. Bob) can only select vertices colored with $A$ (resp. $B$) or $C$. The partizan game was proved PSPACE-hard in 2026. In this paper, we determine the winner of the Normal Partizan Domination game in graphs whose components are complete split graphs, including star forests, for any initial coloring of its vertices. We also obtain partial results for complete bipartite graphs.
Bowen--Franks groups and minus class groups of cyclotomic number fields with prime conductor
Let $p$ be an odd rational prime and consider the cyclotomic number field $K = \mathbb{Q}(ζ_{p})$ of conductor $p$. We construct a directed graph $Y$ on $p-1$ vertices for which the torsion part of the corresponding Bowen--Franks group is closely related to the minus part of the class group of $K$. In particular, both groups have the same cardinality up to an explicit power of $p$. Furthermore, they are both $\mathrm{Gal}(K/\mathbb{Q})$-modules, and we prove the equality of the cardinalities of their isotypic components after tensoring them with the valuation ring of an appropriate $\ell$-adic field for $\ell \nmid p-1$.