graph
34516 papers tagged with this keyword
On zero-sum Ramsey numbers modulo 3
We start with a systematic study of the zero-sum Ramsey numbers. For a graph $G$ with $0 \ (\!\!\!\!\mod 3)$ edges, the zero-sum Ramsey number is defined as the smallest positive integer $R(G, \mathbb{Z}_3)$ such that for every $n \geq R(G, \mathbb{Z}_3)$ and every edge-colouring $f$ of $K_n$ using $\mathbb{Z}_3$, there is a zero-sum copy of $G$ in $K_n$ coloured by $f$, that is: $\sum_{e \in E(G)} f(e) \equiv 0 \ (\!\!\!\!\mod 3)$.
Only sporadic results are known for these Ramsey numbers, and we discover many new ones. In particular we prove that for every forest $F$ on $n$ vertices and with $0 \ (\!\!\!\!\mod 3)$ edges, $R(F, \mathbb{Z}_3) \leq n+2$, and this bound is tight if all the vertices of $F$ have degrees $1 \ (\!\!\!\!\mod 3)$. We also determine exact values of $R(T, \mathbb{Z}_3)$ for infinite families of trees.
A condition for non-negative Lin-Lu-Yau curvature
We investigate the Ollivier-Ricci curvature and its modification introduced by Lin, Lu, and Yau on locally finite graphs. The main contribution of this work is a lower bound on the minimum vertex degree of a graph ensuring non-negative Lin-Lu-Yau curvature. Additionally, we examine the sharpness of this lower bound.
Quantum fractional revival on unitary Cayley graphs over finite commutative rings
In this paper, we investigate the existence of quantum fractional revival in unitary Cayley graphs over finite commutative rings with identity. We characterize all finite local rings that permit quantum fractional revival in their unitary Cayley graphs. Additionally, we present results for the case of finite commutative rings, as they can be expressed as products of finite local rings.
Efficient $k$-limited Dominating Broadcasts in Product Graphs
In a graph $ G $, a subset of vertices $ S $ is called an efficient dominating set (EDS) if every vertex in the graph is uniquely dominated by exactly one vertex in $ S $. A graph is said to be efficiently dominatable if it contains an EDS. Additionally, a function $ f: V(G) \rightarrow \{0, 1, 2, \dots, k\} $ is termed a $ k $-limited dominating broadcast if, for every vertex $ u \in V(G) $, there exists a vertex $ v $, with $ f(v) \geq 1$ such that $ d(u, v) \leq f(v) $. A vertex $u$ is said to be dominated by a vertex $v$. In this work, we unify these two concepts to explore the notion of efficient $k$-limited broadcast domination in graphs. A $ k $-limited dominating broadcast $f$ is called an efficient $k$-limited dominating broadcast ($k$-$ELDB$) if each vertex in the graph is dominated exactly once. The minimum value of $k$ for which the given graph $G$ has $k$-$ELDB$ is defined as $mcr(G)$. We prove determining $mcr(G)$ is NP-Complete for general graphs and explore the $mcr(G)$ values and other related parameters on standard graphs and their products.
Shallow brambles
Published in Discrete Mathematics & Theoretical Computer Science, vol. 27:3, Graph Theory (September 17, 2025) dmtcs:15257
• View Publication
• BIB
A graph class $\mathcal{C}$ has polynomial expansion if there is a polynomial function $f$ such that for every graph $G\in \mathcal{C}$, each of the depth-$r$ minors of $G$ has average degree at most $f(r)$. In this note, we study bounded-radius variants of some classical graph parameters such as bramble number, linkedness and well-linkedness, and we show that they are pairwise polynomially related. Furthermore, in a monotone graph class with polynomial expansion they are all uniformly bounded by a polynomial in $r$.
Unweighted One-Sided Code Sparsifiers and Thin Subgraphs
For a linear code $\mathcal{C} \subseteq \mathbb{F}_2^n$ and $α\in [0,1]$, call a set $S \subseteq [n]$ an (unweighted) one-sided $α$-sparsifier of $\mathcal{C}$ if for all $c \in \mathcal{C}$, $\mathrm{wt}(c_S)\geq α\cdot \mathrm{wt}(c)$, where $c_S$ is the projection of $c$ onto the coordinates in $S$ and $\mathrm{wt}(c)$ is the Hamming weight of $c$. \\ We show that every $k$-dimensional linear code $\mathcal{C}\subseteq \mathbb{F}_2^n$ has at least $2^{n - k}$ many unweighted one-sided $1/2$-sparsifiers and hence one of size at most $n/2 + O(\sqrt{n k})$. As an application, letting $\mathcal{C} \subseteq \mathbb{F}_2^E$ denote the cut-space of a graph $G=(V, E)$, we show a lower bound of $2^{\lvert E \rvert- (\lvert V \rvert - 1)}$ on the number of $1/2$-thin subgraphs of $G$ and the existence of a $1/2$-thin subgraph with at least $\lvert E \rvert /2-O(\sqrt{\lvert E \rvert \cdot \lvert V \rvert})$ edges. In contrast to previous results on thin subgraphs, our proofs are purely "combinatorial".
Positive matching decompositions of the cartesian product of graphs
Let $Γ=(V,E)$ be a finite simple graph. A matching $M \subseteq E$ is positive if there exists a weight function on $V$ such that the matching $M$ is characterized by those edges with positive weights. A positive matching decomposition (pmd) of $Γ$ with $p$ parts is an ordered partition $E_1,\ldots,E_p$ of $E$ such that $E_i$ is a positive matching of $(V, E \setminus \bigcup_{j=1}^{i-1} E_j)$, for $i = 1, \ldots, p$. The smallest $p$ for which $Γ$ admits a pmd with $p$ parts is denoted by $\mathrm{pmd}(Γ)$. We study the pmd of the Cartesian product of graphs and give sharp upper bounds for them in terms of the pmds and chromatic numbers of their components. In special cases, we compute the pmd of grid graphs that is the Cartesian product of paths and cycles.
On a trace formula of counting Eulerian cycles
We make connections of a counting problem of Eulerian cycles for undirected graphs to homological spectral graph theory, and formulate explicitly a trace formula that identifies the number of Eulerian circuits on an Eulerian graph with the trace sum of certain twisted vertex and edge adjacency matrices of the graph. Moreover, we show that reduction of computation can be achieved by taking into account symmetries related to twisted adjacency matrices induced by spectral antisymmetry and graph automorphisms.
Subgroups of Bestvina-Brady groups
In "Subgroups of Graph Groups", 1987, J. Alg., Droms proved that all the subgroups of a right-angled Artin group (RAAG) defined by a finite simplicial graph $Γ$ are themselves RAAGs if, and only if, $Γ$ has no induced square graph nor line-graph of length $3$. The present work provides a similar result for specific normal subgroups of RAAGs, called Bestvina-Brady groups: We characterize those graphs in which every subgroup of such a group is itself a RAAG. In turn, we confirm several Galois theoretic conjectures for the pro-$p$ completions of these groups.
Short Paths in the Planar Graph Product Structure Theorem
The Planar Graph Product Structure Theorem of Dujmović et al. [J. ACM '20] says that every planar graph $G$ is contained in $H\boxtimes P\boxtimes K_3$ for some planar graph $H$ with treewidth at most 3 and some path $P$. This result has been the key to solving several old open problems. Several people have asked whether the Planar Graph Product Structure Theorem can be proved with good upper bounds on the length of $P$. No $o(n)$ upper bound was previously known for $n$-vertex planar graphs. We answer this question in the affirmative, by proving that for any $ε\in (0,1)$ every $n$-vertex planar graph is contained in $H\boxtimes P\boxtimes K_{O(1/ε)}$, for some planar graph $H$ with treewidth 3 and for some path $P$ of length $O(\frac{1}εn^{(1+ε)/2})$. This bound is almost tight since there is a lower bound of $Ω(n^{1/2})$ for certain $n$-vertex planar graphs. In fact, we prove a stronger result with $P$ of length $O(\frac{1}ε\,\textrm{tw}(G)\,n^ε)$, which is tight up to the $O(\frac{1}ε\,n^ε)$ factor for every $n$-vertex planar graph $G$. Finally, taking $ε=\frac{1}{\log n}$, we show that every $n$-vertex planar graph $G$ is contained in $H\boxtimes P\boxtimes K_{O(\log n)}$ for some planar graph $H$ with treewidth at most 3 and some path $P$ of length $O(\textrm{tw}(G)\,\log n)$. This result is particularly attractive since the treewidth of the product $H\boxtimes P\boxtimes K_{O(\log n)}$ is within a $O(\log^2n)$ factor of the treewidth of $G$.
Number of spanning trees in a wheel graph with two identified vertices via hitting times
In this paper, we provide an exact formula for the average hitting times in a wheel graph $W_{N+1}$ using a combinatorial approach. For this wheel graph, the average hitting times can be expressed using Fibonacci numbers when the number of surrounding vertices is odd and Lucas numbers when it is even. Furthermore, combining the exact formula for the average hitting times with the general formula for the effective resistance of the graph allows determination of the number of spanning trees of the graph with two identified vertices.
A Survey on Ordered Ramsey Numbers
The ordered Ramsey number of a graph $G^<$ with a linearly ordered vertex set is the smallest positive integer $N$ such that any two-coloring of the edges of the ordered complete graph on $N$ vertices contains a monochromatic copy of $G^<$ in the given ordering. The study of the quantitative behavior of ordered Ramsey numbers is a relatively new theme in Ramsey theory full of interesting and difficult problems.
In this survey paper, we summarize recent developments in the theory of ordered Ramsey numbers. We point out connections to other areas of combinatorics and some well-known conjectures. We also list several new and challenging open problems and highlight the often strikingly different behavior from the unordered case.
Edge-transitive cubic graphs: Cataloguing and Enumeration
This paper deals with finite cubic ($3$-regular) graphs whose automorphism group acts transitively on the edges of the graph. Such graphs split into two broad classes, namely arc-transitive and semisymmetric cubic graphs, and then these divide respectively into $7$ types (according to a classification by Djoković and Miller (1980)) and $15$ types (according to a classification by Goldschmidt(1980)), in terms of certain group amalgams. Such graphs of small order were previously known up to orders $2048$ and $768$, respectively, and we have extended each of the two lists of all such graphs up to order $10000$. Before describing how we did that, we carry out an analysis of the $22$ amalgams, to show which of the finitely-presented groups associated with the $15$ Goldschmidt amalgams can be faithfully embedded in one or more of the other $21$ (as subgroups of finite index), complementing what is already known about such embeddings of the $7$ Djoković-Miller groups in each other. We also give an example of a graph of each of the $22$ types, and in most cases, describe the smallest such graph, and we then use regular coverings to prove that there are infinitely many examples of each type. Finally, we discuss the asymptotic enumeration of the graph orders, proving that if $f_{\mathcal C}(n)$ is the number of cubic edge-transitive graphs of type ${\mathcal C}$ on at most $n$ vertices, then there exist positive real constants $a$ and $b$ and a positive integer $n_0$ such that $n^{a \log(n)} \le f_{\mathcal C}(n) \le n^{b \log(n)}$ for all $\ n\ge n_0$.
On a conjecture of Pach-Spencer-Tóth for graph crossing numbers
The crossing number of a graph $G$ denotes the minimum number of crossings in any planar drawing of $G$. In this short note, we confirm a long-standing conjecture posed by Pach, Spencer, and Tóth over 25 years ago, establishing an optimal lower bound on the crossing number of graphs that satisfy some monotone properties. Furthermore, we address a related open problem introduced by Pach and Tóth in 2000, which explores the interplay between the crossing number of a graph, its degree sequence, and its bisection width.
A note on Ordered Ruzsa-Szemerédi graphs
A recent breakthrough of Behnezhad and Ghafari [FOCS 2024] and subsequent work of Assadi, Khanna, and Kiss [SODA 2025] gave algorithms for the fully dynamic $(1-\varepsilon)$-approximate maximum matching problem whose runtimes are determined by a purely combinatorial quantity: the maximum density of Ordered Ruzsa-Szemerédi (ORS) graphs. We say a graph $G$ is an $(r,t)$-ORS graph if its edges can be partitioned into $t$ matchings $M_1,M_2, \ldots, M_t$ each of size $r$, such that for every $i$, $M_i$ is an induced matching in the subgraph $M_{i} \cup M_{i+1} \cup \cdots \cup M_t$. This is a relaxation of the extensively-studied notion of a Ruzsa-Szemerédi (RS) graph, the difference being that in an RS graph each $M_i$ must be an induced matching in $G$.
In this note, we show that these two notions are roughly equivalent. Specifically, let $\mathrm{ORS}(n)$ be the largest $t$ such that there exists an $n$-vertex ORS-$(Ω(n), t)$ graph, and define $\mathrm{RS}(n)$ analogously. We show that if $\mathrm{ORS}(n) \ge Ω(n^c)$, then for any fixed $δ> 0$, $\mathrm{RS}(n) \ge Ω(n^{c(1-δ)})$. This resolves a question of Behnezhad and Ghafari.
Fault tolerance for metric dimension and its variants
Hernando et al. (2008) introduced the fault-tolerant metric dimension $\text{ftdim}(G)$, which is the size of the smallest resolving set $S$ of a graph $G$ such that $S-\left\{s\right\}$ is also a resolving set of $G$ for every $s \in S$. They found an upper bound $\text{ftdim}(G) \le \dim(G) (1+2 \cdot 5^{\dim(G)-1})$, where $\dim(G)$ denotes the standard metric dimension of $G$. It was unknown whether there exists a family of graphs where $\text{ftdim}(G)$ grows exponentially in terms of $\dim(G)$, until recently when Knor et al. (2024) found a family with $\text{ftdim}(G) = \dim(G)+2^{\dim(G)-1}$ for any possible value of $\dim(G)$. We improve the upper bound on fault-tolerant metric dimension by showing that $\text{ftdim}(G) \le \dim(G)(1+3^{\dim(G)-1})$ for every connected graph $G$. Moreover, we find an infinite family of connected graphs $J_k$ such that $\dim(J_k) = k$ and $\text{ftdim}(J_k) \ge 3^{k-1}-k-1$ for each positive integer $k$. Together, our results show that \[\lim_{k \rightarrow \infty} \left( \max_{G: \text{ } \dim(G) = k} \frac{\log_3(\text{ftdim}(G))}{k} \right) = 1.\] In addition, we consider the fault-tolerant edge metric dimension $\text{ftedim}(G)$ and bound it with respect to the edge metric dimension $\text{edim}(G)$, showing that \[\lim_{k \rightarrow \infty} \left( \max_{G: \text{ } \text{edim}(G) = k} \frac{\log_2(\text{ftedim}(G))}{k} \right) = 1.\] We also obtain sharp extremal bounds on fault-tolerance for adjacency dimension and $k$-truncated metric dimension. Furthermore, we obtain sharp bounds for some other extremal problems about metric dimension and its variants. In particular, we prove an equivalence between an extremal problem about edge metric dimension and an open problem of Erdős and Kleitman (1974) in extremal set theory.
Bound for the energy of graphs in terms of degrees and leaves
We provide a new upper bound for the energy of graphs in terms of degrees and number of leaves. We apply this formula to study the energy of Erdös-Rényi graphs and Barabasi-Albert trees.
Functional Central Limit Theorem for the simultaneous subgraph count of dynamic Erdős-Rényi random graphs
In this paper we consider a dynamic Erdős-Rényi random graph with independent identically distributed edge processes. Our aim is to describe the joint evolution of the entries of a subgraph count vector. The main result of this paper is a functional central limit theorem: we establish, under an appropriate centering and scaling, the joint functional convergence of the vector of subgraph counts to a specific multidimensional Gaussian process. The result holds under mild assumptions on the edge processes, most notably a Lipschitz-type condition.
Kronecker classes and cliques in derangement graphs
Given a permutation group $G$, the derangement graph of $G$ is defined with vertex set $G$, where two elements $x$ and $y$ are adjacent if and only if $xy^{-1}$ is a derangement. We establish that, if $G$ is transitive with degree exceeding 30, then the derangement graph of $G$ contains a complete subgraph with four vertices.
As a consequence, if $G$ is a normal subgroup of $A$ such that $|A : G| = 3$, and if $U$ is a subgroup of $G$ satisfying $G = \bigcup_{a \in A} U^a$, then $|G : U| \leq 10$. This result provides support for a conjecture by Neumann and Praeger concerning Kronecker classes.
Flow-critical graphs
Lovász et al. proved that every $6$-edge-connected graph has a nowhere-zero $3$-flow. In fact, they proved a more technical statement which says that there exists a nowhere zero $3$-flow that extends the flow prescribed on the incident edges of a single vertex $z$ with bounded degree. We extend this theorem of Lovász et al. to allow $z$ to have arbitrary degree, but with the additional assumption that there is another vertex $x$ with large degree and no small cut separating $x$ and $z$. Using this theorem, we prove two results regarding the generation of minimal graphs with the property that prescribing the edges incident to a vertex with specific flow does not extend to a nowhere-zero $3$-flow. We use this to further strengthen the theorem of Lovász et al., as well as make progress on a conjecture of Li et al.