graph
35150 papers tagged with this keyword
Rings are $χ$-bounded
We prove that there is a function $f:\mathbb N\to\mathbb N$ such that $χ(Γ(R))\leq f(ω(Γ(R)))$ for the zero-divisor graph of any ring $R$, if the clique number is finite. On the one hand, this consolidates a disproved conjecture of Beck from 1988, claiming $χ(Γ(R))=ω(Γ(R))$ for unital commutative rings. While previous counterexamples satisfy $χ(Γ(R))\leq ω(Γ(R))+2$, we obtain the lower bound $f\geq k^{Ω(\log k)}$ among finite commutative rings. Finally, we show that neither zero-divisor graphs of finite commutative semirings nor those of finite commutative nonassociative rings are $χ$-bounded.
Poset dimension and maximum comparability degree
In 1986, Füredi and Kahn showed that the dimension $\dim(P)$ of any finite poset $P$ satisfies $\dim(P) = O(d \log^2 d)$, where $d$ is the maximum degree of the comparability graph of $P$. Scott and Wood more recently improved this bound to one of the form $d \log^{1+o(1)} d$. We show that $\dim(P) = O(d \log d)$, thus confirming that the corresponding lower bound of Erdős, Kierstead, and Trotter is tight up to the implicit constant.
CAT(0) square complexes that do not embed into finite products of trees
Answering a question of Chepoi and Hagen, we give two constructions of bounded degree CAT(0) square complexes that cannot be isometrically embedded into any finite product of trees.
The first is based on Burling graphs and has degree at most five, which is optimal. These square complexes topologically embed into $\R^3$ since we further prove that every CAT(0) square complex whose vertices have degree at most five can be topologically embedded into the product of a line and a star. It turns out that in this setting, Burling graphs are the only obstruction: we prove that CAT(0) square complexes that topologically embed into $\R^3$ and whose crossing graph forbids some induced Burling graph can be isometrically embedded into a finite product of trees.
Our second CAT(0) square complex has degree at most six and its crossing graph forbids an induced Burling graph. Of independent graph-theoretic interest, along the way we construct intersections of chordal and interval graphs with arbitrarily large girth and chromatic number. We also discuss connections to nice labellings of event structures.
Characterization of graphs attaining the maximum signless Laplacian spectral radius under forbidden cycles and theta graphs
Spectral Turán-type problems ask how the absence of prescribed subgraphs constrains the spectral radius of a matrix associated with a graph. Given a family of graphs $\mathcal{F}$, a graph is called $\mathcal{F}$-free if it contains no member of $\mathcal{F}$ as a subgraph. The theta graph $θ(l_1,\ldots,l_k)$ consists of $k$ internally disjoint paths of lengths $l_1,\ldots,l_k$ with two common end vertices. In this paper, we study two spectral Turán-type extremal problems for the signless Laplacian spectral radius. First, among all $\{C_3,C_4\}$-free graphs of fixed order with no pendant vertices, we determine the maximum signless Laplacian spectral radius and uniquely characterize the extremal graph attaining it. The extremal structure exhibits a parity phenomenon: odd and even orders give rise to two distinct graph families. These results, in particular, sharpen a recent general upper bound for this class given by Liu and Wang (2026). Next, we obtain the corresponding extremal results for all $\{θ(1,2,2),θ(1,2,3)\}$-free graphs of fixed size with no pendant vertices when the size is congruent to $1$ modulo $3$ and $2$ modulo $3$, again obtaining unique but structurally different maximizing graphs in the two cases. Together with the previously known result for sizes congruent to $0$ modulo $3$ by Liu and Wang (2026), this completes the fixed-size problem across all three congruence classes modulo $3$.
The forced colouring function of a graph
The forced colouring function of a graph gives the probability that a random assignment of colours to a random subset of vertices can be extended, by a simple local process called forcing, to give a proper colouring of the whole graph using the same set of available colours. This is a polynomial for each fixed number of colours, and was introduced as a subject for research on the general theory of graph polynomials. In this paper we establish its fundamental properties and give combinatorial interpretations of its derivatives at two particular points. We also prove that the problem of computing its value at any specific point in a certain interval is #P-hard.
Hall algebras of graphs and rooted trees
Hall algebras can be associated with a broad class of combinatorial structures through the theory of 2-Segal sets. In this paper, we study the Hall algebras arising from the 2-Segal sets of rooted trees, undirected graphs, and directed graphs. In each case, we establish an analogue of Green's theorem giving a twisted bialgebra structure to the Hall algebra, describe the primitive elements, and derive a presentation by generators and relations. As an application, we realize the Hall algebra of an undirected graph as the cohomology ring of a topological space. In the case of directed graphs, we introduce the Hall polynomial, defined as the Poincar{é} polynomial of the space of primitive elements. The Hall polynomial is an invariant of the underlying undirected graph which we show to be closely related to the Tutte polynomial. We furthermore give examples of graphs with equal Tutte polynomials but distinct Hall polynomials showing thus that the Hall polynomial encodes different information from that of the Tutte polynomial.
Ordered Ramsey numbers of 3-uniform hypergraphs with bounded weak degeneracy
The \emph{ordered Ramsey number} $r_<(G,H)$ of ordered $k$-graphs $G$ and $H$ is the least integer $N$ such that every red-blue edge-coloring of the naturally ordered complete $k$-graph on $[N]$ contains a blue ordered copy of $G$ or a red ordered copy of $H$. We prove that there is an absolute constant $c>0$ such that, for every integer $d\ge1$, there is a constant $C_d>0$ for which every weakly $d$-degenerate ordered $3$-graph $H$ on $t$ vertices satisfies \[ r_<\bigl(H,K_3^{(3)}(n)\bigr) \le t\,2^{C_d n^{2-c/d}} \] for every positive integer $n$. This resolves a problem posed by Balko and Vizer ({\em SIAM J. Discrete Math., 2022}) in a stronger form.
Furthermore, we show that the weak-degeneracy hypothesis cannot be replaced by bounded standard degeneracy. In particular, for every sufficiently large $n$, there exists a $1$-degenerate ordered $3$-graph $F$ on at most $2^{O(n)}$ vertices such that $r_<\bigl(F,K_3^{(3)}(n)\bigr)>2^{Ω(n^2)}.$
Annihilator Multiplication Modules: Ring Characterizations and Constructions
An $A$-module $E$ is annihilator multiplication if the annihilator of each element equals that of $IE$ for a finitely generated ideal $I$. We characterize rings for which every faithful module has this property as the commutative quasi-Frobenius rings, and rings for which every module has the property as the Artinian principal ideal rings. Both characterizations reduce to two-generated modules. Over a reduced ring with finitely many minimal primes, faithful annihilator multiplication modules are exactly the regular-torsion-free modules, and principal ideals suffice in the definition. An ascending chain condition on annihilator ideals gives finite detection of the module annihilator, yielding localization and graph rigidity results. We also prove equality of associated primes with those of the faithful quotient and establish projective tensor and trace characterizations. Over local square-zero rings, the property is equivalent to nonsingularity of a bilinear multiplication map. A projective dimension argument gives a sharp length bound, attained by explicit faithful indecomposable nonprojective modules whose endomorphism rings are computed. Every cyclic submodule of these examples embeds in the ring, although the whole module is not torsionless. Support, hereditary torsion, and amalgamation criteria connect these structural results with further module constructions.
Pretty good quantum state transfer via transcendental edge weights
We prove that if we take a rooted product of a circulant graph with universal perfect state transfer with a path of fixed length whose end edge is weighted with a transcendental number, then there is pretty good state transfer between any pair of endpoints of these paths. As a consequence, in a path with an even number of vertices with transcendental weights on the two edges incident to the endpoints, there is pretty good state transfer.
Billiard Orbits in Young Diagrams: Medial Links, Bicycle Spaces, and Domino Tilings
We study diagonal billiard trajectories inside the Young diagram of an integer partition $λ$. A trajectory has slope $\pm 1$, passes straight through sides shared by adjacent cells, and reflects from the exterior boundary until it closes. Let $σ(λ)$ be the number of closed orbits. This extends the mirror-curve model of Chokwe sona sand drawings studied by Gerdes from rectangular grids to arbitrary Young diagrams.
Let $G_λ$ be the cell-adjacency graph of $λ$, with its natural planar embedding. We identify the billiard orbits with the components of the medial link of $G_λ$, and deduce that $σ(λ) = 1 + \dim \mathcal{B}(G_λ) = \mathrm{nullity}\, L(G_λ)$ over $\mathbb{F}_2$, where $\mathcal{B}$ is the binary bicycle space and $L$ the mod-2 Laplacian. Writing $λ^\square$ for the diagram obtained by deleting the first row and column of $λ$, we further prove $σ(λ) = 1 + \mathrm{nullity}_{\mathbb{F}_2} A(G_{λ^\square})$. For rectangles this recovers Gerdes' formula $σ(n^m) = \gcd(m,n)$ via identities for Fibonacci polynomials over $\mathbb{F}_2$, and in general it gives the characterization: $σ(λ) = 1$ if and only if $λ^\square$ has an odd number of domino tilings.
Using the checkerboard bipartition of $λ^\square$, we decompose $σ(λ) - 1$ into a color-imbalance term, related to the BG-rank of Berkovich-Garvan, and an even rank-deficiency term. This yields parity restrictions and lower bounds for the orbit number, and shows that for any fixed $d$, asymptotically all partitions have more than $d$ orbits. We also prove that $σ(λ)$ is at most the Durfee length of $λ$, determine $σ(n, n-1, \ldots, 1) = \lceil n/2 \rceil$ for staircase partitions, and show that the adjacency-nullity formula is independent of the ground field.
Higher-order rich clubs and configuration models on general directed hypergraphs
Detecting structure in complex networks, especially those arising from physical systems, is a central problem across the sciences. One approach is via rich club analysis, which identifies important vertices using a centrality metric and measures whether those vertices are more tightly interconnected than expected by chance. While informative, this approach captures only pairwise interactions, missing out on higher-order ones known to shape the structure and function of many complex systems. We propose a hyper-rich club pipeline that asks whether central vertices are more tightly interconnected than expected by chance through hyperedges encoding higher-order interactions, which also enables the inclusion of important, often omitted, directional information. We work in a broad class of hypergraphs, which we call general directed hypergraphs, that includes as special cases undirected hypergraphs, head-and-tail directed hypergraphs, and totally ordered hypergraphs (a hypergraph related to directed simplicial complexes from topological data analysis). This unifies several non-equivalent notions of directed hypergraph under one definition. On these hypergraphs we define a hyper-rich club framework whose concrete construction depends on explicit choices the domain scientist fixes according to their research goals. Particular choices recover the existing rich club notions for graphs and undirected hypergraphs, and yield the first such notion for each version of directed hypergraphs. We demonstrate that the pipeline recovers meaningful structure in data by studying networks of very different origins: connectomes, temporal networks of infectious spread, networks of poems, and the XGI hypergraph database, in each case detecting structure the standard graph rich club misses.
Character sums on an oriented singer conic and explicit Ramanujan double covers
Let $q$ be odd. The trace conic in $\mathbb{F}_{q^3}$ determines a Singer difference set in $\mathbb{F}_{q^3}^\times / \mathbb{F}_q^\times$ and a natural square-class lift to $\mathbb{F}_{q^3}^\times / \mathbb{F}_q^{\times 2}$. We study the odd multiplicative Fourier coefficients of this lift and prove that they are bounded in absolute value by $2\sqrt{q}$. The proof improves the naive six-puncture Weil bound by exploiting a projective Klein-four symmetry of the associated rank-one local system. The resulting nontrivial cocycle produces a quaternionic action on its four-dimensional cohomology, while Frobenius symmetry reduces the relevant trace to two Weil-scale eigenvalues. As an application, the oriented conic yields an explicit Singer-invariant signing of the point-line incidence graph of $\mathrm{PG}(2, q)$. The corresponding dihedral Cayley graph is a connected Ramanujan double cover. Thus a conic lift already known in finite-geometric constructions has an additional Ramanujan spectral property governed by its odd multiplicative character sums.
Cayley-graph density of Thompson's group F: local deletions and finite-window bounds
Let $Γ$ be the Cayley graph of Thompson's group $F$ with its standard generators. Belk and Brown constructed finite marked-forest subgraphs of limiting density $7/2$, and Guba showed that deleting certain low-degree vertices gives density greater than $3.5004$. We refine this approach in two directions. First, a deterministic interval-deletion rule followed by root-sensitive triple and pair deletions yields finite induced subgraphs with \[ \operatorname{dens}(Γ)>3.50074529. \] The interval rule is evaluated by a nine-state recurrence, while the simultaneous deletion conditions created by split and merge operations are computed exactly by a common-suffix first-passage argument. Second, we determine the joint distribution of the categories of a tree and its two children and reduce optimization over every fixed category-window retention rule to a weighted densest-subgraph problem. An explicit edge-allocation certificate shows that, for every fixed $a\ge0$, the optimal limiting density of a rule depending on the window $[-a,1]$ is exactly $7/2$. Thus arbitrary finite left context together with one right-hand category does not improve the Belk--Brown limit, whereas the root-sensitive whole-segment construction does. All constants are explicit elements of $\mathbb Q(\sqrt3,\sqrt{2\sqrt3-1})$.
The scramble number of outerplanar graphs
For planar graphs, it is known that their treewidth is bounded by $O(\sqrt{n})$, where $n$ is the number of vertices of the graph. A related invariant to treewidth, is the scramble number of graphs. Recently, Connor et. al proved that planar graphs of bounded maximal degree have scramble number bounded by $O(\sqrt{n})$. An open question is whether the scramble number of any planar graph follows this same bound. We give a definitive answer with an explicit bound for a subset of planar graphs, the simple outerplanar graphs and the simple near outerplanar graphs.
On the gonality of Kneser graphs
The Kneser graphs $\text{KG}(n,k)$ are a classically studied family of graphs. One known invariant of graphs is gonality (also called divisorial gonality), which is the minimum degree of a rank 1 divisor on the graph. Using known bounds on gonality of simple, connected graphs, one may obtain that the gonality of $\text{KG}(n,k)$ is bounded above by $\binom{n-1}{k}$. In 2014, Harvey and Wood showed that the treewidth (a lower bound on gonality) for $\text{KG}(n,k)$ is $\binom{n-1}{k}-1$ for $n\geq 4k^2-3k+2$. In this paper, using scramble number, another lower bound on gonality, we improve this polynomial bound and show that the gonality of $\text{KG}(n,k)$ is exactly $\binom{n-1}{k}$ for $n\geq \frac{3k^2+k+2}{2}$, and conjecture an even stricter polynomial bound using the uniform edge scramble. We then extend our argument to the family of generalized Kneser Graphs, computing the scramble number and gonality using the same polynomial bound.
Making spanning graphs
We prove that for each $D\ge 2$ there exists $c>0$ such that whenever $b\le c\big(\tfrac{n}{\log n}\big)^{1/D}$, in the $(1:b)$ Maker-Breaker game played on $E(K_n)$, Maker has a strategy to guarantee claiming a graph $G$ containing copies of all graphs $H$ with $v(H)\le n$ and $Δ(H)\le D$. We show further that the graph $G$ guaranteed by this strategy also contains copies of any graph $H$ with bounded maximum degree and degeneracy at most $\tfrac{D-1}{2}$. This lower bound on the threshold bias is sharp up to the $\log$-factor when $H$ consists of $\tfrac{n}{3}$ vertex-disjoint triangles or $\tfrac{n}{4}$ vertex-disjoint $K_4$-copies.
Partition universality for graphs of bounded degeneracy and degree
Published
• View Publication
• BIB
We prove asymptotically optimal bounds on the number of edges a graph $G$ must have in order that any $r$-colouring of $E(G)$ has a colour class which contains every $D$-degenerate graph on $n$ vertices with bounded maximum degree. We also improve the upper bounds on the number of edges $G$ must have in order that any $r$-colouring of $E(G)$ has a colour class which contains every $n$-vertex graph with maximum degree $Δ$, for each $Δ\ge 4$. In both cases, we show that a binomial random graph with $Cn$ vertices and a suitable edge probability is likely to provide the desired $G$.
Proof of the Clustered Hadwiger Conjecture
Hadwiger's Conjecture asserts that every $K_h$-minor-free graph is properly $(h-1)$-colourable. We prove the following improper analogue of Hadwiger's Conjecture: for fixed $h$, every $K_h$-minor-free graph is $(h-1)$-colourable with monochromatic components of bounded size. The number of colours is best possible regardless of the size of monochromatic components. It solves an open problem of Edwards, Kang, Kim, Oum and Seymour [SIAM J. Disc. Math. 2015], and concludes a line of research initiated in 2007. Similarly, for fixed $t\geq s$, we show that every $K_{s,t}$-minor-free graph is $(s+1)$-colourable with monochromatic components of bounded size. The number of colours is best possible, solving an open problem of van de Heuvel and Wood [J. London Math. Soc. 2018]. We actually prove a single theorem from which both of the above results are immediate corollaries. For an excluded apex minor, we strengthen the result as follows: for fixed $t\geq s\geq 3$, and for any fixed apex graph $X$, every $K_{s,t}$-subgraph-free $X$-minor-free graph is $(s+1)$-colourable with monochromatic components of bounded size. The number of colours is again best possible.
Extremal problems about the order and size of nonhamiltonian locally linear graphs
Published in Discrete Mathematics & Theoretical Computer Science, vol. 28:3, Graph Theory (September 16, 2026) dmtcs:18029
• View Publication
• BIB
The relation between local structure and global cycle properties is a classical topic in graph theory. A graph $G$ is locally linear if $G[N(v)]$ is a path for every $v\in V(G)$. It is locally Hamiltonian or locally traceable if every vertex neighborhood induces a Hamiltonian or traceable graph, respectively. Earlier work by Pareek and Skupień, Skupień, Davies and Thomassen, Asratian and Oksimets, and de Wet and van Aardt studied extremal questions for these related graph classes. We prove that the minimum order of a nonhamiltonian locally linear graph is $12$ and that, for every integer $n\geq 12$, the minimum size of such a graph of order $n$ is $2n$. We also prove that every nontraceable locally linear graph of order $n$ has at least $2n+3$ edges.
Clique covers and decompositions of cliques of graphs
Published in Advances in Combinatorics 2026:9, 37pp
• View Publication
• BIB
In 1966, Erdős, Goodman, and Pósa showed that if $G$ is an $n$-vertex graph, then at most $\lfloor n^2/4 \rfloor$ cliques of $G$ are needed to cover the edges of $G$, and the bound is best possible as witnessed by the balanced complete bipartite graph. This was generalized independently by Győri--Kostochka, Kahn, and Chung, who showed that every $n$-vertex graph admits an edge-decomposition into cliques of total `cost' at most $2 \lfloor n^2/4 \rfloor$, where an $i$-vertex clique has cost $i$. Erdős suggested the following strengthening: every $n$-vertex graph admits an edge-decomposition into cliques of total cost at most $\lfloor n^2/4 \rfloor$, where now an $i$-vertex clique has cost $i-1$. We prove fractional relaxations and asymptotically optimal versions of both this conjecture and a conjecture of Dau, Milenkovic, and Puleo on covering the $t$-vertex cliques of a graph instead of the edges. Our proofs introduce a general framework for these problems using Zykov symmetrization, the Frankl-Rödl nibble method, and the Szemerédi Regularity Lemma.