graph
34516 papers tagged with this keyword
Dom-forcing sets in graphs
A dominating set $D_{f}\subseteq V(G)$ of vertices in a graph $G$ is called a \emph{dom-forcing set} if the sub-graph induced by $\langle D_{f} \rangle$ must form a zero forcing set. The minimum cardinality of such a set is known as the dom-forcing number of the graph $G$, denoted by $F_{d}(G)$. This article embarks on an exploration of the dom-forcing number of a graph $G$. Additionally, it delves into the precise determination of $F_{d}(G)$ for certain well-known graphs
10-list Recoloring of Planar Graphs
Published in European Journal of Combinatorics. Vol. 130, December 2025, Article 104190, 20pp
• Search Publication
Fix a planar graph $G$ and a list-assignment $L$ with $|L(v)|=10$ for all $v\in V(G)$. Let $α$ and $β$ be $L$-colorings of $G$. A recoloring sequence from $α$ to $β$ is a sequence of $L$-colorings, beginning with $α$ and ending with $β$, such that each successive pair in the sequence differs in the color on a single vertex of $G$. We show that there exists a constant $C$ such that for all choices of $α$ and $β$ there exists a recoloring sequence $σ$ from $α$ to $β$ that recolors each vertex at most $C$ times. In particular, $σ$ has length at most $C|V(G)|$. This confirms a conjecture of Dvořák and Feghali. For our proof, we introduce a new technique for quickly showing that many configurations are reducible. We believe this method may be of independent interest and will have application to other problems in this area.
Simplifying and Characterizing DAGs and Phylogenetic Networks via Least Common Ancestor Constraints
Rooted phylogenetic networks, or more generally, directed acyclic graphs (DAGs), are widely used to model species or gene relationships that traditional rooted trees cannot fully capture, especially in the presence of reticulate processes or horizontal gene transfers. Such networks or DAGs are typically inferred from observable data (e.g. genomic sequences of extant species), providing only an estimate of the true evolutionary history. However, these inferred DAGs are often complex and difficult to interpret. In particular, many contain vertices that do not serve as least common ancestors (LCAs) for any subset of the underlying genes or species, thus may lack direct support from the observable data. In contrast, LCA vertices are witnessed by historical traces justifying their existence and thus represent ancestral states substantiated by the data. To reduce unnecessary complexity and eliminate unsupported vertices, we aim to simplify a DAG to retain only LCA vertices while preserving essential evolutionary information.
In this paper, we characterize $\mathrm{LCA}$-relevant and $\mathrm{lca}$-relevant DAGs, defined as those in which every vertex serves as an LCA (or unique LCA) for some subset of taxa. We introduce methods to identify LCAs in DAGs and efficiently transform any DAG into an $\mathrm{LCA}$-relevant or $\mathrm{lca}$-relevant one while preserving key structural properties of the original DAG or network. This transformation is achieved using a simple operator ``$\ominus$'' that mimics vertex suppression.
Properties of Sub-Add Move Graphs
We introduce the notion of a move graph, that is, a directed graph whose vertex set is a $\mathbb Z$-module $\mathbb Z_n^m$, and whose arc set is uniquely determined by the action $M\!:\!\mathbb Z_n^m\to \mathbb Z_n^m$ where $M$ is an $m\times m$ matrix with integer entries. We study the manner in which properties of move graphs differ when one varies the choice of cyclic group $\mathbb Z_n$. Our principal focus is on a special family of such graphs, which we refer to as ``sub-add move graphs.''
The minimum size of a $3$-connected locally nonforesty graph
A local subgraph of a graph is the subgraph induced by the neighborhood of a vertex. Thus a graph of order $n$ has $n$ local subgraphs. A graph $G$ is called locally nonforesty if every local subgraph of $G$ contains a cycle. Recently, in studying forest cuts of a graph, Chernyshev, Rauch and Rautenbach posed the conjecture that if $n$ and $m$ are the order and size of a $3$-connected locally nonforesty graph respectively, then $m\ge 7(n-1)/3.$ We solve this problem by determining the minimum size of a $3$-connected locally nonforesty graph of order $n.$ It turns out that the conjecture does not hold.
Flipping Non-Crossing Spanning Trees
For a set $P$ of $n$ points in general position in the plane, the flip graph $F(P)$ has a vertex for each non-crossing spanning tree on $P$ and an edge between any two spanning trees that can be transformed into each other by one edge flip. The diameter ${\rm diam}(F(P))$ of this graph is subject of intensive study. For points in general position, it is between $3n/2-5$ and $2n-4$, with no improvement for 25 years. For points in convex position, it lies between $3n/2 - 5$ and $\approx1.95n$, where the lower bound was conjectured to be tight up to an additive constant and the upper bound is a recent breakthrough improvement over several bounds of the form $2n-o(n)$.
In this work, we provide new upper and lower bounds on ${\rm diam}(F(P))$, mainly focusing on points in convex position. We show $14n/9 - O(1) \le {\rm diam}(F(P)) \le 5n/3 - 3$, by this disproving the conjectured upper bound of $3n/2$ for convex position, and relevantly improving both the long-standing lower bound for general position and the recent new upper bound for convex position. We complement these by showing that if one of $T,T'$ has at most two boundary edges, then ${\rm dist}(T,T') \le 2d/2 < 3n/2$, where $d = |T-T'|$ is the number of edges in one tree that are not in the other.
To prove both the upper and the lower bound, we introduce a new powerful tool. Specifically, we convert the flip distance problem for given $T,T'$ to the problem of a largest acyclic subset in an associated conflict graph $H(T,T')$. In fact, this method is powerful enough to give an equivalent formulation of the diameter of $F(P)$ for points $P$ in convex position up to lower-order terms. As such, conflict graphs are likely the key to a complete resolution of this and possibly also other reconfiguration problems.
Lightweight Near-Additive Spanners
An $(α,β)$-spanner of a weighted graph $G=(V,E)$, is a subgraph $H$ such that for every $u,v\in V$, $d_G(u,v) \le d_H(u,v)\leα\cdot d_G(u,v)+β$. The main parameters of interest for spanners are their size (number of edges) and their lightness (the ratio between the total weight of $H$ to the weight of a minimum spanning tree).
In this paper we focus on near-additive spanners, where $α=1+\varepsilon$ for arbitrarily small $\varepsilon>0$. We show the first construction of {\em light} spanners in this setting. Specifically, for any integer parameter $k\ge 1$, we obtain an $(1+\varepsilon,O(k/\varepsilon)^k\cdot W(\cdot,\cdot))$-spanner with lightness $\tilde{O}(n^{1/k})$ (where $W(\cdot,\cdot)$ indicates for every pair $u, v \in V$ the heaviest edge in some shortest path between $u,v$). In addition, we can also bound the number of edges in our spanner by $O(kn^{1+3/k})$.
Using polynomials to find lower bounds for $r$-bond bootstrap percolation
The $r$-bond bootstrap percolation process on a graph $G$ begins with a set $S$ of infected edges of $G$ (all other edges are healthy). At each step, a healthy edge becomes infected if at least one of its endpoints is incident with at least $r$ infected edges (and it remains infected). If $S$ eventually infects all of $E(G)$, we say $S$ percolates. In this paper we provide recursive formulae for the minimum size of percolating sets in several large families of graphs. We utilise an algebraic method introduced by Hambardzumyan, Hatami, and Qian, and substantially extend and generalise their work.
Minimum number of distinct eigenvalues of distance-regular and signed Johnson graphs
We study the minimum number of distinct eigenvalues over a collection of matrices associated with a graph. Lower bounds are derived based on the existence or non-existence of certain cycle(s) in a graph. A key result proves that every Johnson graph has a signed variant with exactly two distinct eigenvalues. We also explore applications to weighing matrices, linear ternary codes, tight frames, and compute the minimum rank of Johnson graphs. Further results involve the minimum number of distinct eigenvalues for graphs in association schemes, distance-regular graphs, and Hamming graphs. We also draw some connections with simplicial complexes and higher-order Laplacians.
Upper bounds of Steklov eigenvalues on graphs
Let $Δ$ and $B$ be the maximum vertex degree and a subset of vertices in a graph $G$ respectively. In this paper, we study the first (non-trivial) Steklov eigenvalue $σ_2$ of $G$ with boundary $B$. Using metrical deformation via flows, we first show that $σ_2 = \mathcal{O}\left(\frac{Δ(g+1)^3}{|B|}\right)$ for graphs of orientable genus $g$ if $|B| \geq \max\{3 \sqrt{g},|V|^{\frac{1}{4} + ε}, 9\}$ for some $ε> 0$. This can be seen as a discrete analogue of Karpukhin's bound. Secondly, we prove that $σ_2 \leq \frac{8Δ+4X}{|B|}$ based on planar crossing number $X$. Thirdly, we show that $σ_2 \leq \frac{|B|}{|B|-1} \cdot δ_B$, where $δ_B$ denotes the minimum degree for boundary vertices in $B$. At last, we compare several upper bounds on Laplacian eigenvalues and Steklov eigenvalues.
Universal graph series and vertex-weighted version of chromatic symmetric function
We focus on two specific generalizations of the chromatic symmetric function: one involving universal graphs and the other concerning vertex-weighted graphs. In this paper, we introduce a unified generalization that incorporates both approaches and demonstrate that the resulting new invariants inherit characteristics from each, particularly the properties of complete invariants. Additionally, we construct complete invariants for directed acyclic graphs (DAGs) and partially ordered sets (posets). As a corollary, these invariants can distinguish hyperplane arrangements that are distinguishable by their intersection posets.
Erdős-Gyárfás conjecture on graphs without long induced paths
Erdős and Gyárfás conjectured in 1994 that every graph with minimum degree at least 3 has a cycle of length a power of 2. In 2022, Gao and Shan (Graphs and Combinatorics) proved that the conjecture is true for $P_8$-free graphs, i.e., graphs without any induced copies of a path on 8 vertices. In 2024, Hu and Shen (Discrete Mathematics) improved this result by proving that the conjecture is true for $P_{10}$ -free graphs. With the aid of a computer search, we improve this further by proving that the conjecture is true for $P_{13}$ -free graphs.
Sampling and counting triangle-free graphs near the critical density
We study the following combinatorial counting and sampling problems: can we efficiently sample from the Erdős-Rényi random graph $G(n,p)$ conditioned on triangle-freeness? Can we efficiently approximate the probability that $G(n,p)$ is triangle-free? These are prototypical instances of forbidden substructure problems ubiquitous in combinatorics. The algorithmic questions are instances of approximate counting and sampling for a hypergraph hard-core model.
Estimating the probability that $G(n,p)$ has no triangles is a fundamental question in probabilistic combinatorics and one that has led to the development of many important tools in the field. Through the work of several authors, the asymptotics of the logarithm of this probability are known if $p =o( n^{-1/2})$ or if $p =ω( n^{-1/2})$. The regime $p = Θ(n^{-1/2})$ is more mysterious, as this range witnesses a dramatic change in the the typical structural properties of $G(n,p)$ conditioned on triangle-freeness. As we show, this change in structure has a profound impact on the performance of sampling algorithms.
We give two different efficient sampling algorithms for triangle-free graphs (and complementary algorithms to approximate the triangle-freeness large deviation probability), one that is efficient when $p < c/\sqrt{n}$ and one that is efficient when $p > C/\sqrt{n}$ for constants $c, C>0$. The latter algorithm involves a new approach for dealing with large defects in the setting of sampling from low-temperature spin models.
Deduction, Constrained Zero Forcing, and Constrained Searching
Deduction is a recently introduced graph searching process in which searchers clear the vertex set of a graph with one move each, with each searcher's movement determined by which of its neighbors are protected by other searchers. In this paper, we show that the minimum number of searchers required to clear the graph is the same in deduction as in constrained versions of other previously studied graph processes, namely zero forcing and fast-mixed search. We give a structural characterization, new bounds and a spectrum result on the number of searchers required. We consider the complexity of computing this parameter, giving an NP-completeness result for arbitrary graphs, and exhibiting families of graphs for which the parameter can be computed in polynomial time. We also describe properties of the deduction process related to the timing of searcher movement and the success of terminal layouts.
Symmetric Domino Tilings of Aztec Diamonds
In this paper, we give inductive sum formulas to calculate the number of diagonally symmetric, and diagonally \& anti-diagonally symmetric domino tilings of Aztec Diamonds. As a byproduct, we also find such a formula for the unrestricted case as well. Our proofs rely on a new technique for counting the number of perfect matchings of graphs, proposed by the authors recently.
Bounding the parameter $β$ of a distance-regular graph with classical parameters
Let $Γ$ be a distance-regular graph with classical parameters $(D, b, α, β)$ satisfying $b\geq 2$ and $D\geq 3$. Let $r=1+b+b^2+\cdots+b^{D-1}$. In 1999, K. Metsch showed that there exists a positive constant $C(α,b)$ only depending on $α$ and $b$, such that if $β\geq C(α, b)r^2$, then either $Γ$ is a Grassmann graph or a bilinear forms graph.
In this work, we show that for $b\geq 2$ and $D\geq 3$, then there exists a constant $C_1(α, b)$ only depending on $α$ and $b$, such that if $β\geq C_1(α, b)r$, then either $Γ$ is a Grassmann graph, or a bilinear forms graph.
Bridge indices of spatial graphs and diagram colorings
Published in Discrete Math. 349.3 (2026) 114813
• View Publication
• BIB
We extend the Wirtinger number of links, an invariant originally defined by Blair, Kjuchukova, Velazquez, and Villanueva in terms of extending initial colorings of some strands of a diagram to the entire diagram, to spatial graphs. We prove that the Wirtinger number equals the bridge index of spatial graphs, and we implement an algorithm in Python which gives a more efficient way to estimate upper bounds of bridge indices. Combined with lower bounds from diagram colorings by elements from certain algebraic structures and clasping techniques, we obtain exact bridge indices for a large family of almost unknotted spatial graphs. We also show that for every possible negative Euler characteristic, there exist almost unknotted graphs of arbitrarily large bridge index.
Chip Firing on Directed $k$-ary Trees
Chip-firing is a combinatorial game played on a graph in which we place and disperse chips on vertices until a stable state is reached. We study a chip-firing variant played on an infinite rooted directed $k$-ary tree, where we place $k^\ell$ chips on the root for some positive integer $\ell$, and we say a vertex $v$ can fire if it has at least $k$ chips. A vertex fires by dispersing one chip to each out-neighbor. Once every vertex has less than $k$ chips, we reach a stable configuration since no vertex can fire. We determine the exact number and properties of the possible stable configurations of chips in the setting where chips are distinguishable.
Counting the fission trees and nonabelian Hodge graphs (untwisted case)
Published in J. Geom. Phys. 214 (2025) 105512
• View Publication
• BIB
Any algebraic connection on a vector bundle on a smooth complex algebraic curve determines an irregular class and in turn a fission tree at each puncture. The fission trees are the discrete data classifying the admissible deformation classes. Here we explain how to count the fission trees with given slope and number of leaves, in the untwisted case. This also leads to a clearer picture of the ``periodic table'' of the atoms that play the role of building blocks in 2d gauge theory.
Enumerating tame friezes over $\mathbb{Z}/n\mathbb{Z}$
We use a class of Farey graphs introduced by the final three authors to enumerate the tame friezes over $\mathbb{Z}/n\mathbb{Z}$. Using the same strategy we enumerate the tame regular friezes over $\mathbb{Z}/n\mathbb{Z}$, thereby reproving a recent result of Böhmler, Cuntz, and Mabilat.