graph
34516 papers tagged with this keyword
Bounding Width on Graph Classes of Constant Diameter
We determine if the width of a graph class ${\cal G}$ changes from unbounded to bounded if we consider only those graphs from ${\cal G}$ whose diameter is bounded. As parameters we consider treedepth, pathwidth, treewidth and clique-width, and as graph classes we consider classes defined by forbidding some specific graph $F$ as a minor, induced subgraph or subgraph, respectively. Our main focus is on treedepth for $F$-subgraph-free graphs of diameter at most~$d$ for some fixed integer $d$. We give classifications of boundedness of treedepth for $d\in \{4,5,\ldots\}$ and partial classifications for $d=2$ and $d=3$.
An Introductory Survey of Recursions in the Computation of Resistance Distance
This paper presents an introduction and expository account of a beautiful, current, and active application of recursions to the computation of resistance distance. Resistance distance, also referred to as effective resistance, is a well-known graph metric that arises naturally by considering a graph as an electrical circuit; heuristically resistance distance measures both the number of paths between two vertices in a graph and the cost of each path. This topic finds applications in a rich array of fields including social, biological, ecological, and transportation networks, chemistry, graph theory, numerical linear algebra, and engineering. A variety of methods are used in the field to determine resistance distance including recursive, mathematical, and graphical techniques. Sequences familiar to the readers of the Fibonacci Quarterly such as the Fibonacci and Lucas sequences appear quite often in results in the literature. Twenty five to forty years ago there were a handful of papers on resistance that appeared in the Fibonacci Quarterly and the Proceedings and recently papers on the subject have appeared again. It is hoped that this introductory expository account will interest readers of the Quarterly to renew interest in this current and active field.
Proof of a Conjecture on the Growth of the Maximal Resistance Distance in a Linear 3--Tree
Barret, Evans, and Francis conjectured that if $G$ is the straight linear 3-tree with $n$ vertices and $H$ is the straight linear 3-tree with $n+1$ vertices then
\[\lim_{n\rightarrow \infty} r_{H} (1, n+1) - r_G(1,n) = \frac{1}{14},\] where $r_G(u,v)$ and $r_H(u,v)$ are the resistance distance between vertices $u$ and $v$ in graphs $G$ and $H$ respectively. In this paper, we prove the conjecture by looking at the determinants of deleted Laplacian matrices. The proof uses a Laplace expansion method on a family of determinants to determine the underlying recursion this family satisfies and then uses routine linear algebra methods to obtain an exact Binet formula for the $n$-th term.
Strong edge-coloring of graphs with maximum edge weight seven
Published in J. Comb. Optim. 51 (2026), no. 1, Paper No. 2
• View Publication
• BIB
A strong edge-coloring of a graph $G$ is an edge-coloring such that any two edges of distance at most two receive distinct colors. The minimum number of colors we need in order to give $G$ a strong edge-coloring is called the strong chromatic index of $G$, denoted by $χ_s'(G)$. The maximum edge weight of $G$ is defined to be $\max\{d(u)+d(v):\ uv\in E(G)\}$. In this paper, using the discharging method, we prove that if $G$ is a graph with maximum edge weight $7$ and maximum average degree less than $\frac{40}{13}$, then $χ_s'(G)\le 13$. Also, we determine the largest possible maximum average degree of a graph with given maximum edge weight.
Effective resistance in planar graphs and continued fractions
For a simple graph $G=(V,E)$ and edge $e\in E$, the effective resistance is defined as a ratio $\frac{τ(G/e)}{τ(G)}$, where $τ(G)$ denotes the number of spanning trees in $G$. We resolve the inverse problem for the effective resistance for planar graphs. Namely, we determine (up to a constant) the smallest size of a simple planar graph with a given effective resistance. The results are motivated and closely related to our previous work arXiv:2411.18782 on Sedláček's inverse problem for the number of spanning trees.
Visibility in graphs under edge and vertex removal
For a connected graph $G$ and $X\subseteq V(G)$, we say that two vertices $u$, $v$ are $X$-visible if there is a shortest $u,v$-path $P$ with $V(P)\cap X \subseteq \{u,v\}$. If every two vertices from $X$ are $X$-visible, then $X$ is a mutual-visibility set in $G$. The largest cardinality of such a set in $G$ is the mutual-visibility number $μ(G)$. When the visibility constraint is extended to further types of vertex pairs, we get the definitions of outer, dual, and total mutual-visibility sets and the respective graph invariants $μ_o(G)$, $μ_d(G)$, and $μ_t(G)$.
This work concentrates on the possible changes in the four visibility invariants when an edge $e$ or a vertex $x$ is removed from $G$ and the graph remains connected. It is proved that $\frac{1}{2}μ(G) \le μ(G-e) \le 2μ(G)$ and $\frac{1}{6}μ_o(G) \le μ_o(G-e) \le 2μ_o(G)+1$ hold for every graph. Further general upper bounds established here are $μ_t(G-e) \leq μ_t(G)+2$ and $μ(G-x) \leq 2μ(G)$. For all but one of the remaining cases, it is shown that the visibility invariant may increase or decrease arbitrarily under the considered local operation. For example, neither $μ_d(G-e)$ nor $μ_d(G-x)$ allows lower or upper bounds of the form $a \cdot μ_d(G)+b$ with a positive constant $a$. Along the way, the realizability of the four visibility invariants in terms of the order is also characterized in the paper.
Notes on the Linear Algebraic View of Regularity Lemmas
When regularity lemmas were first developed in the 1970s, they were described as results that promise a partition of any graph into a ``small'' number of parts, such that the graph looks ``similar'' to a random graph on its edge subsets going between parts. Regularity lemmas have been repeatedly refined and reinterpreted in the years since, and the modern perspective is that they can instead be seen as purely linear-algebraic results about sketching a large, complicated matrix with a smaller, simpler one. These matrix sketches then have a nice interpretation about partitions when applied to the adjacency matrix of a graph.
In these notes we will develop regularity lemmas from scratch, under the linear-algebraic perspective, and then use the linear-algebraic versions to derive the familiar graph versions. We do not assume any prior knowledge of regularity lemmas, and we recap the relevant linear-algebraic definitions as we go, but some comfort with linear algebra will definitely be helpful to read these notes.
S-packing chromatic critical graphs
For a non-decreasing sequence of positive integers $S=(s_1,s_2,\ldots)$, the $S$-packing chromatic number of a graph $G$ is denoted by $χ_S(G)$. In this paper, $χ_S$-critical graphs are introduced as the graphs $G$ such that $χ_S(H) < χ_S(G)$ for each proper subgraph $H$ of $G$. Several families of $χ_S$-critical graphs are constructed, and $2$- and $3$-colorable $χ_S$-critical graphs are presented for all packing sequences $S$, while $4$-colorable $χ_S$-critical graphs are found for most of $S$. Cycles which are $χ_S$-critical are characterized under different conditions. It is proved that for any graph $G$ and any edge $e \in E(G)$, the inequality $χ_S(G - e) \ge χ_S(G)/2$ holds. Moreover, in several important cases, this bound can be improved to $χ_S(G - e) \ge (χ_S(G)+1)/2$. The sharpness of the bounds is also discussed. Along the way an earlier result on $χ_S$-vertex-critical graphs is supplemented.
Ordinary and symbolic powers of matroids via polarization
In this paper, we propose a uniform approach to tackle problems about squarefree monomial ideals whose powers have good properties. We employ this approach to achieve a twofold goal: (i) recover and extend several well--known results in the literature, especially regarding Stanley--Reisner ideals of matroids, and (ii) provide short, elementary proofs for these results. Among them, we provide simple proofs of two celebrated results of Minh and Trung, Varbaro, and Terai and Trung elegantly characterizing the Cohen-Macaulay property, or even Serre's condition $(S_2)$, of symbolic and ordinary powers of squarefree monomial ideals in terms of their combinatorial (matroidal) structure. Our work relies on the interplay of several combinatorial and algebraic concepts, including dualities, polarizations, Serre's conditions, matroids, Hochster-Huneke graphs, vertex decomposability, and careful choices of monomial orders.
Partition of Sparse Multigraphs into a Forest and a Forest with Restrictions
The following measure of sparsity of multigraphs refining the maximum average degree: For $a>0$ and an arbitrary real $b$, a multigraph $H$ is \emph{$(a,b)$-sparse} if it is loopless and for every $A\subseteq V(H)$ with $|A|\geq 2$, the induced subgraph $H[A]$ has at most $a|A|+b$ edges. Forests are exactly $(1,-1)$-sparse multigraphs. It is known that the vertex set of any $(2,-1)$-sparse multigraph can be partitioned into two parts each of which induces a forest.
For a given parameter $D$ we study for which pairs $(a,b)$ every $(a,b)$-sparse multigraph $G$ admits a vertex partition $(V_1, V_2)$ of $V(G)$ such that $G[V_1]$ and $G[V_2]$ are forests, and in addition either (i) $Δ(G[V_1])\leq D$ or (ii) every component of $G[V_1]$ has at most $D$ edges. We find exact bounds on $a$ and $b$ for both types of problems (i) and (ii). We also consider problems of type (i) in the class of simple graphs and find exact bounds for all $D\geq 2$.
Independence numbers of the 2-token graphs of some join graphs
The $2$-token graph $F_2(G)$ of a graph $G$ is the graph whose set of vertices consists of all the $2$-subsets of $V(G)$, where two vertices are adjacent if and only if their symmetric difference is an edge in $G$. Let $G$ be the join graph of $E_n$ and $H$, where $H$ is any graph. In this paper, we give a method to construct an independent set ${\mathcal I}'$ of $F_2(G)$ from an independent set ${\mathcal I}$ of $F_2(G)$ such that $|{\mathcal I}'| \geq |{\mathcal I}|$. As an application, we obtain the independence number of the $2$-token graphs of fan graphs $F_{n, m}$, wheel graphs $W_{n, m}$ and $E_n+K_n$.
Cubic graphs of colouring defect 3 and conjectures of Berge and Alon-Tarsi
We study two measures of uncolourability of cubic graphs, their colouring defect and perfect matching index. The colouring defect of a cubic graph $G$ is the smallest number of edges left uncovered by three perfect matchings; the perfect matching index of $G$ is the smallest number of perfect matchings that together cover all edges of $G$. We provide a complete characterisation of cubic graphs with colouring defect $3$ whose perfect matching index is greater or equal to $5$. The result states that every such graph arises from the Petersen graph with a fixed $6$-cycle $C$ by substituting edges or vertices outside $C$ with suitable $3$-edge-colourable cubic graphs. Our research is motivated by two deep and long-standing conjectures, Berge's conjecture stating that five perfect matchings are enough to cover the edges of any bridgeless cubic graph and the shortest cycle cover conjecture of Alon and Tarsi suggesting that every bridgeless graph can have its edges covered with cycles of total length at most $7/5\cdot m$, where $m$ is the number of edges. We apply our characterisation to showing that every cubic graph with colouring defect $3$ admits a cycle cover of length at most $4/3\cdot m +1$, where $m$ is the number of edges, the bound being achieved by the graphs whose perfect matching index equals $5$. We further prove that every snark containing a $5$-cycle with an edge whose endvertices removed yield a $3$-edge-colourable graph has a cycle cover of length at most $4/3\cdot m+1$, as well.
Paired domination in trees: A linear algorithm and asymptotic normality
A set $S$ of vertices in a graph $G$ is a paired dominating set if every vertex of $G$ is adjacent to a vertex in $S$ and the subgraph induced by $S$ contains a perfect matching (not necessarily as an induced subgraph). The paired domination number, $γ_{\mathrm{pr}}(G)$, of $G$ is the minimum cardinality of a paired dominating set of $G$. We present a linear algorithm for computing the paired domination number of a tree. As an application of our algorithm, we prove that the paired domination number is asymptotically normal in a random rooted tree of order $n$ generated by a conditioned Galton-Watson process as $n\to\infty$. In particular, we have found that the paired domination number of a random Cayley tree of order $n$, where each tree is equally likely, is asymptotically normal with expectation approaching $(0.5177\ldots)n$.
Finding d-Cuts in Claw-free Graphs
The Matching Cut problem is to decide if the vertex set of a connected graph can be partitioned into two non-empty sets $B$ and $R$ such that the edges between $B$ and $R$ form a matching, that is, every vertex in $B$ has at most one neighbour in $R$, and vice versa. If for some integer $d\geq 1$, we allow every neighbour in $B$ to have at most $d$ neighbours in $R$, and vice versa, we obtain the more general problem $d$-Cut. It is known that $d$-Cut is NP-complete for every $d\geq 1$. However, for claw-free graphs, it is only known that $d$-Cut is polynomial-time solvable for $d=1$ and NP-complete for $d\geq 3$. We resolve the missing case $d=2$ by proving NP-completeness. This follows from our more general study, in which we also bound the maximum degree. That is, we prove that for every $d\geq 2$, $d$-Cut, restricted to claw-free graphs of maximum degree $p$, is constant-time solvable if $p\leq 2d+1$ and NP-complete if $p\geq 2d+3$. Moreover, in the former case, we can find a $d$-cut in linear time. We also show how our positive results for claw-free graphs can be generalized to $S_{1^t,l}$-free graphs where $S_{1^t,l}$ is the graph obtained from a star on $t+2$ vertices by subdividing one of its edges exactly $l$ times.
On the geometric $k$-colored crossing number of $K_n$
We study the \emph{geometric $k$-colored crossing number} of complete graphs $\overline{\overline{\text{cr}}}_k(K_n)$, which is the smallest number of monochromatic crossings in any $k$-edge colored straight-line drawing of $K_n$.
We substantially improve asymptotic upper bounds on $\overline{\overline{\text{cr}}}_k(K_n)$ for $k=2,\ldots, 10$ by developing a procedure for general $k$ that derives $k$-edge colored drawings of $K_n$ for arbitrarily large $n$ from initial drawings with a low number of monochromatic crossings.
We obtain the latter by heuristic search, employing a \textsc{MAX-$k$-CUT}-formulation of a subproblem in the process.
Quantum $K$-theoretic divisor axiom for flag manifolds
We prove an identity for (torus-equivariant) 3-point, genus 0, $K$-theoretic Gromov-Witten invariants of flag manifolds $G/P$, which can be thought of as a replacement for the ``divisor axiom'' in their (torus-equivariant) quantum $K$-theory. This identity enables us to compute these invariants when two insertions are Schubert classes and the other a Schubert divisor class. Our type-independent proof utilizes the Chevalley formula for the (torus-equivariant) quantum $K$-theory ring of flag manifolds, which computes multiplications by Schubert divisor classes in terms of the quantum Bruhat graph.
On forest and bipartite cuts in sparse graphs
The paper is devoted to sufficient conditions for the existence of vertex cuts in simple graphs, where the induced subgraph on the cut vertices belongs to a specified graph class. In particular, we show that any connected graph with $n$ vertices and fewer than $(19n - 28)/8$ edges admits a forest cut. This result improves upon recent bounds, although it does not resolve the conjecture that the sharp threshold is $3n - 6$ (Chernyshev, Rauch, Rautenbach, 2024). Furthermore, we prove that if the number of edges is less than $(80n-134)/31$, then the graph admits a bipartite cut.
On the Two Paths Theorem and the Two Disjoint Paths Problem
A tuple (s1,t1,s2,t2) of vertices in a simple undirected graph is 2-linked when there are two vertex-disjoint paths respectively from s1 to t1 and s2 to t2. A graph is 2-linked when all such tuples are 2-linked. We give a new and simple proof of the ``two paths theorem'', a characterisation of edge-maximal graphs which are not 2-linked as webs: particular near triangulations filled with cliques. Our proof works by generalising the theorem, replacing the four vertices above by an arbitrary tuple; it does not require major theorems such as Kuratowski's or Menger's theorems. Instead it follows an inductive characterisation of generalised webs via parallel composition, a graph operation consisting in taking a disjoint union before identifying some pairs of vertices. We use the insights provided by this proof to design a simple O(nm) recursive algorithm for the ``two vertex-disjoint paths'' problem. This algorithm is constructive in that it returns either two disjoint paths, or an embedding of the input graph into a web.
Fractional balanced chromatic number and arboricity of planar (signed) graphs
A fractional coloring of a signed graph $(G, σ)$ is an assignment of nonnegative weights to the balanced sets (sets which do not induce a negative cycle) such that each vertex has an accumulated weight of at least 1. The minimum total wight among all such colorings is defined to be the fractional balanced chromatic number, denoted by $χ-{fb}(G, σ)$. This value is clearly upper bounded by the fractional arboricity of $G$, denoted $a_f (G)$, where weights are assigned to sets inducing no cycle rather than sets inducing no negative cycle. In this work we present an example of a planar signed simple graph of fractional balanced chromatic number larger than 2, thus in particular refuting a conjecture of Bonamy, Kardos, Kelly, and Postle suggesting that the fractional arboricity of planar graphs is bounded above by 2. By iterating the construction, we show that the supremum of the fractional balanced chromatic number of planar signed simple graphs is at least as $83/41 = 2 + 1/41$. With similar operations, we built a sequence of planar graphs whose limit of fractional arboricity is $a_f (G) = 2 + 2/25$.
Spanning trees of bounded degree in random geometric graphs
We determine the sharp threshold for the containment of all $n$-vertex trees of bounded degree in random geometric graphs with $n$ vertices. This provides a geometric counterpart of Montgomery's threshold result for binomial random graphs, and confirms a conjecture of Espuny Díaz, Lichev, Mitsche, and Wesolek. Our proof is algorithmic and adapts to other families of graphs, in particular graphs with bounded genus or tree-width.