graph
35150 papers tagged with this keyword
Bounds for the ratio between the independent domination number and the domination number
In this article we present new and improved results for the ratio between the independent domination number and the domination number in graphs with bounded degree. We present a general formula, that, for a fixed maximum degree, allows to compute an upper bound for this ratio as a function of an upper bound $β|V|$ for the independent domination number. We also apply this formula to several known upper bounds for the independent domination number. Furthermore we present constructions giving lower bounds for the best possible upper bound in various classes of graphs with bounded degree.
Whitney's 2-isomorphism theorem for graphings
We prove measurable analogues of Whitney's classical theorems on weak isomorphisms of finite graphs. For locally finite graphings, we define a weak isomorphism to be an edge-measure-preserving Borel bijection that preserves cycles and hyperfinite subgraphs, modulo null sets. Our rigidity theorem shows that every weak isomorphism of a weakly $3$-connected, infinitely-ended graphing is induced by an isomorphism of graphings. To our knowledge, this is the first general sufficient condition in measurable combinatorics for two given graphings to be isomorphic. We then prove a full measurable Whitney theorem, namely that every weak isomorphism between graphings is implemented by a finite composition of locally finite sequences of six measurable Whitney operations.
The proofs combine measurable-combinatorial techniques, applications of spanning forests from percolation theory, and graph decomposition arguments. A central ingredient is the construction and analysis of infinitely-ended leafless subforests. With these tools we also show that, between weakly $2$-connected, infinitely-ended graphings, preservation of hyperfiniteness alone forces preservation of cycles, which is of independent interest.
This work further develops the limit theory of matroids recently initiated by Lovász and provides its first application in finite graph theory. We show that Whitney's rigidity theorem is robust under sublinear errors for sequences of finite graphs with uniformly bounded degrees and suitable connectivity.
Gårding Polynomials
We introduce Gårding polynomials, a class of real multivariate polynomials characterized by positivity regions that are invariant under translation by positive vectors and closed under strictly positive affine transformations. We prove that this geometric formulation is equivalent both to a reduction to the multi-affine setting via polarization and to a recursive criterion in terms of partial derivatives.
The class of Gårding polynomials strictly extends that of real stable polynomials while preserving many of their structural properties. In particular, multi-affine Gårding polynomials with nonnegative coefficients satisfy the Rayleigh property, and their positive univariate specializations have ultra log-concave coefficient sequences.
The Gårding property for several matroid generating functions is preserved under natural matroid operations. As applications, we derive new negative dependence results for generating functions associated with various classes of matroids and graphs, including examples previously beyond the scope of real stability and Lorentzian methods. We further obtain analogous results for characteristic polynomials arising from certain matrix classes.
Minimum-excess coverings of complete graphs by 3-, 4-, and 5-cliques
We study two-level optimal coverings of the complete graph $K_v$ by cliques of orders $3$, $4$, and $5$. The first level minimizes the excess, namely the number of repeated edge occurrences, and the second level minimizes the number of cliques among coverings with minimum excess. We first isolate the two-size problem for triangles and 4-cliques, where the main congruence and local-degree methods already appear and where nonzero excess is unavoidable for one residue class of $v$. This motivates the passage to quintuples. For $\{K_3,K_4,K_5\}$ coverings we determine the minimum excess for every $v$, use an edge-count reduction for the secondary optimization, obtain exact values in ten residue classes modulo $20$, and give bounds for the remaining classes.
Uniquely labelled geodesics of Coxeter groups
Studying geodesics in Cayley graphs of groups has been a very active area of research over the last decades. We introduce the notion of a uniquely labelled geodesic, abbreviated with u.l.g. These will be studied first in finite Coxeter groups of type $A_n$. Here we introduce a generating function, and hence are able to precisely describe how many u.l.g.'s we have of a certain length and with which label combination. These results generalize several results about unique geodesics in Coxeter groups. In the second part of the paper, we expand our investigation to infinite Coxeter groups described by simply laced trees. We show that any u.l.g. of finite branching index has finite length. We use the example of the group $\widetilde{D}_6$ to show the existence of infinite u.l.g.'s in groups which do not have any infinite unique geodesics. We conclude by exhibiting a detailed description of the geometry of such u.l.g.'s and their relation to each other in the group $\widetilde{D}_6$.
On the Multi-Robber Damage Number
Published in Discrete Mathematics & Theoretical Computer Science, vol. 28:3, Graph Theory (October 5, 2026) dmtcs:16953
• View Publication
• BIB
We study a variant of the Cops and Robbers game on graphs in which the robbers damage the visited vertices, aiming to maximize the number of damaged vertices. For that game with one cop against $s$ robbers a conjecture was made by Carlson, Halloran and Reinhart that the cop can save three vertices from being damaged as soon as the maximum degree of the base graph is at least $\binom{s}{2} + 2$.
We are able to verify the conjecture and prove that it is tight once we add the assumption that the base graph is triangle free. We also study the game without that assumption, disproving the conjecture in full generality and further attempting to locate the smallest maximum degree of a base graph which guarantees that the cop can save three vertices against $s$ robbers. We show that this number is between $2\binom{s}{2} - 3$ and $2\binom{s}{2} + 1$.
Furthermore, after the game has been previously studied with one cop and multiple robbers, as well as with one robber and multiple cops, we initiate the study of the game with two cops and two robbers. In the case when the base graph is a cycle we determine the exact number of damaged vertices. Additionally, when the base graph is a path we provide bounds that differ by an additive constant.
The burning game on graphs
Published in N. Chiarelli, V. Iršič Chenoweth, M. Jakovac, W. B. Kinnersley, M. Mikalački, The burning game on graphs, Discrete Mathematics, Volume 349, Issue 5, 2026, 115027, ISSN 0012-365X
• View Publication
• BIB
Motivated by the burning and cooling processes, the burning game is introduced. Two players (Burner and Staller) play the game on a graph $G$ by alternately selecting vertices of $G$ to burn; as in the burning process, burning vertices spread fire to unburned neighbors. Burner aims to burn all vertices of $G$ 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, basic bounds on $b_{\rm g}(G)$ are given and several fundamental properties of the burning game established. Graphs with small game burning numbers are characterized and the game is studied on paths and cycles. An analogue of the burning number conjecture for the burning game is also considered. Finally, it is shown that the problem of determining whether or not $b_{\rm g}(G) \le k$ is NP-hard.
Cycle-factors of regular graphs via entropy
Published
• View Publication
• BIB
It is a classical result that a random permutation of $n$ elements has, on average, about $\log n$ cycles. We generalise this fact to all directed $d$-regular graphs on $n$ vertices by showing that, on average, a random cycle-factor of such a graph has $\mathcal{O}((n\log d)/d)$ cycles. This is tight up to the constant factor and improves the best previous bound of the form $\mathcal{O}(n/\sqrt{\log d})$ due to Vishnoi. Our results also yield randomised polynomial-time algorithms for finding such a cycle-factor and for finding a tour of length $(1+\mathcal{O}((\log d)/d)) \cdot n$ if the graph is connected. This makes progress on a conjecture of Magnant and Martin and on a problem studied by Vishnoi and by Feige, Ravi, and Singh. Our proof uses the language of entropy to exploit the fact that the upper and lower bounds on the number of perfect matchings in regular bipartite graphs are extremely close.
Strengthened upper bound on the third eigenvalue of graphs
Let $G$ be a graph on $n \ge 3$ vertices, whose adjacency matrix has eigenvalues $λ_1 \ge λ_2 \ge \dots \ge λ_n$. The problem of bounding $λ_k$ in terms of $n$ was first proposed by Hong and was studied by Nikiforov, who demonstrated strong upper and lower bounds for arbitrary $k$. Nikiforov also claimed a strengthened upper bound for $k \ge 3$, namely that $\frac{λ_k}{n} < \frac{1}{2\sqrt{k-1}} - \varepsilon_k$ for some positive $\varepsilon_k$, but omitted the proof due to its length. In this paper, we give a proof of this bound for $k = 3$. We achieve this by instead looking at $λ_{n-1} + λ_n$ and introducing a new graph operation which provides structure to minimising graphs, including $ω\le 3$ and $χ\le 4$. Then we reduce the hypothetical worst case to a graph that is $n/2$-regular and invariant under said operation. By considering a series of inequalities on the restricted eigenvector components, we prove that a sequence of graphs with $\frac{λ_{n-1} + λ_n}{n}$ converging to $-\frac{\sqrt{2}}{2}$ cannot exist.
A sandwich theorem for the spectrum of graph coverings
We show that all normal covers of a fixed finite graph $G$ sitting between the universal and maximal abelian covers share the same atomic part of their spectral measures. We give an explicit double formula for the mass of atoms which generalises and unifies known results on universal covering trees and maximal abelian covers. It also proves an extension of a conjecture in physics literature on hyperbolic lattices. Moreover, we also establish the logarithmic Hölder regularity of the continuous part of the spectral measures. Our proof combines techniques from von Neumann algebras, matching theory and the monotone labelling method.
In an appendix, we prove a converse generalised Gallai-Edmonds structural theorem which might be of independent interest.
Combinatorics and loop equations for antisymmetrised and Hermitised matrix product ensembles
The order $m$ antisymmetrised matrix product ensemble is represented by the product $X_1^T\cdots X_m^TJX_m\cdots X_1$, where $X_1,\ldots,X_m$ are independent real Ginibre matrices and $J$ is the elementary antisymmetric matrix, while the order $m$ Hermitised matrix product ensemble is represented by $X_1^\dagger\cdots X_m^\dagger HX_1\cdots X_m$, where $X_1,\ldots,X_m$ are now independent complex Ginibre matrices and $H$ is a Hermitian matrix drawn from the Gaussian unitary ensemble. These ensembles have recently been shown to be related to certain Muttalib--Borodin ensembles and integrals of Harish-Chandra--Itzykson--Zuber type, thereby motivating further investigation into their eigenvalue statistics. In this work, we construct ribbon graphs and constellations that are enumerated by the mixed cumulants of these ensembles and give loop equation characterisations for the generating functions of said cumulants when $m=1$.
LDPC Fractus Codes: Sparse Codes with Recursive Structure
We introduce a new family of recursively constructed sparse matrices, termed Fractus matrices, and investigate their use in constructing low-density parity-check (LDPC) codes. Generated through a self-similar recursive process, these matrices yield regular sparse parity-check matrices while preserving key structural properties across successive iterations. This recursive structure enables an efficient encoding algorithm with computational complexity that is nearly linear in the block length. Decoding is performed using standard iterative message-passing algorithms, thereby retaining the low-complexity decoding characteristic of LDPC codes. The proposed construction produces Tanner graphs with girth six and guarantees a minimum Hamming distance of at least $\ell+1$. We establish several algebraic properties of Fractus matrices, including sparsity, regularity, recursive decomposition, and symmetry under the flip-transpose operation. In addition, we show that the family of Fractus matrices admits a natural lattice structure and that the associated LDPC codes inherit corresponding lattice-theoretic properties. These results establish a connection between order theory and coding theory. Overall, the proposed framework integrates recursive matrix constructions, efficient encoding, graph-theoretic analysis, and lattice theory into a unified algebraic approach to the design and analysis of scalable LDPC codes.
Hadwiger--Nelson Problem for Typical Norms
The classical Hadwiger-Nelson problem asks for the chromatic number of the unit distance graph of the Euclidean plane. Over the years, this problem has been considered for a variety of other normed spaces, with higher-dimensional Euclidean space $\mathbb{R}^d$ being perhaps the most natural and well-studied. Alon, Bucić, and Sauermann proved that, for a typical norm on $\mathbb{R}^d$, the chromatic number of the unit distance graph is at most $2^d$. We improve this exponential bound to a linear one by showing that the chromatic number of a typical norm on $\mathbb{R}^d$ is at most $2d$ and that this is tight. This shows a stark difference in the behavior compared to the Euclidean case, where there is an exponential lower bound.
One of the key ingredients is a certain high-dimensional, matrix generalization of the Lonely runner conjecture, which also allows us to completely settle the so-called view-obstruction conjecture of Schoenberg from 1978 and a more recent covering-radius conjecture of Henze and Malikiosis.
Additive Quasi-isometry via rooted graph partitions and layering partition
For a graph $H$, $\langle H \rangle$ denotes the class of all subdivisions of $H$ and $tw(H)$ denotes the treewidth of $H$. In this paper, we prove the following. For $k\geq 1, R\geq 1$, let $G,H$ be two graphs such that strong isometric path complexities (Chakraborty et al. [\textsc{Disc. Math., 2026}]) of both $G$ and $\langle H \rangle$ are at most $k$, and $G$ admits an honest, ``nicely rooted'' $R$-bounded $H$-partition. Then, there is a graph $F$ with $tw(F)\leq tw(H)$ such that $G$ admits a $(1,33\cdot R\cdot k^2)$-quasi-isometry to $F$.
Using results of Albrechtsen, Distel, and Georgakopoulos (2025), we also obtain that $K_{2,t}$-asymptotic minor-free graphs admit quasi-isometries with additive distortion to $K_{2,t}$-minor-free graphs. This answers an open question raised by the above authors.
As part of our proof, we combine the graph-partition based method and the layering partition based method (Chepoi et al. [\textsc{Discrete Comput. Geom.} 2012]) to obtain additive quasi-isometry when both the source and all subdivisions of the target graph have bounded strong isometric path complexity.
Sharp Thresholds for Distance Patterns in Random Subsets of $\mathbb Z^d$
Let $d \geq 5$, $0 < γ< d - 2$, and $Ω_N$ be the binomial random subset of $Q_N = [-N,N]^d \cap \mathbb Z^d$ with retention probability $p_N = N^{-γ}$. We prove that, with failure probability of optimal exponential order, every subset $B \subseteq Ω_N$ of fixed positive relative density realizes, at each scale $p_N^{-2/(d - 2)} \lesssim λ\lesssim N^2$, a squared distance of the form $q^2 λ$, where $q$ belongs to a fixed finite set depending only on the dimension and the density. The lower scale $p_N^{-2/(d - 2)}$ is sharp. As a consequence,the squared-distance set $D^2(B)$ of $B$ has maximal order $N^2$ and contains affine copies of every fixed finite subset of $\mathbb Z$.
The main new input is a finite multidilate supersaturation theorem for dense subsets of $Q_N$, which, together with boundedness estimates for the associated spherical distance graphs down to the sharp scale, allows us to apply Schacht's transference theorem.
Zero divisors of Gorenstein Rings
Let $R$ be a commutative Artinian ring. We consider two graphs associated to $R$, namely the compressed zero-divisor graph $Γ_E(R)$ and the associate class graph $Γ_A(R)$. Partitioning the vertex set of a zero-divisor graph into its core and its boundary, we count the core vertices that dominate the core. This count is a graph invariant, and we estimate it for $Γ(R)$, $Γ_A(R)$ and $Γ_E(R)$. We prove that the count for $Γ_A(R)$ is bounded below by the count for $Γ_E(R)$, and that the lower bound is attained precisely when $R$ is Gorenstein. As a consequence we obtain that $R$ is Gorenstein if and only if $Γ_A(R)\congΓ_E(R)$ as graphs, the isomorphism being an arbitrary one and not merely the natural compression map. Using the same counting technique we then answer, for Artinian rings, a question of Anderson and LaGrange by showing that $Γ(R)\congΓ_E(R)$ if and only if $R\cong \mathbb Z_2^{\,n}$ for some $n\ge2$, or $R\cong\mathbb Z_4$, or $R\cong\mathbb Z_2[x]/(x^2)$.
Hamiltonicity of mildly pseudorandom regular graphs
We show that if an $(n,d,λ)$-graph satisfies $λ\leq (1-δ)d$ and $d\gg δ^{-6}(\log n)^{3}$ for some $δ>0$, then it is Hamiltonian. A qualitatively similar result was recently proven by Bradač and Janzer. Our proof here is shorter and gives better quantitative bounds. \par In our proof, as in earlier work of Ferber, Han, Mao, and Vershynin, we use a random matrix inequality to show that a mild spectral gap is typically preserved after randomly sampling an appropriate proportion of the vertices. This allows us to deduce that typical balanced bipartite subgraphs of pseudorandom graphs contain perfect matchings. To convert a collection of perfect matchings into a Hamilton cycle, we use a variant of the sorting network method.
Maximizing the discrepancy between zero forcing parameters relative to graph order
Zero forcing is a process described by a color change rule on the vertices of a graph. In this paper, we maximize the discrepancy between various zero forcing parameters relative to graph order. First, we find an upper bound on the difference in cardinality between minimal zero forcing sets (sets containing no proper zero forcing subset) of maximum and minimum size, and we show that this bound is sharp for an infinite family of graphs. Furthermore, we derive an upper bound for the discrepancy between the maximum and minimum propagation times of the minimum zero forcing sets of any graph, showing this bound is sharp for an infinite family of graphs.
Disproof of the dominating Hadwiger conjecture
Hadwiger's conjecture (1943) states that every graph $G$ with chromatic number at least $t$ contains a $K_t$-model: a collection of $t$ vertex-disjoint connected subgraphs $T_1,\dots,T_t$ such that for all $1\le i<j\le t$ some vertex in $T_j$ has a neighbour in $T_i$. Replacing "some" in this definition by "every" gives rise to the significantly stronger notion of a dominating $K_t$-model introduced by Illingworth and Wood (2024). They raised the question whether every graph of chromatic number at least $t$ contains a dominating $K_t$-model. This statement is a significant strengthening of Hadwiger's conjecture and has come to be known as the dominating Hadwiger conjecture.
We provide our own exposition of a disproof of this conjecture found by ChatGPT 6 Astra Ultra. The construction is the complement of a pseudorandom triangle-free graph that is obtained by randomly subsampling a block geometric graph based on the Suzuki-Tits ovoid.
Antimagicness of join graphs
An antimagic labelling of a graph G = (V,E) is a bijection from E to {1,2,...,|E|}, such that all vertex-sums are pairwise distinct, where the vertex-sum of each vertex is the sum of labels over edges incident to this vertex. A graph is antimagic if it has an antimagic labelling. Hartsfield and Ringel in 1990 stated the celebrated conjecture: Every connected graph other than K_2 is antimagic. We prove the conjecture for join graphs with at least three vertices.