graph
35299 papers tagged with this keyword
A new strategy for finding spanning trees without small degree stems
Published
• View Publication
• BIB
For an integer $k\geq 2$, a spanning tree of a graph without vertices of degree from $2$ to $k$ is called a {\it $[2,k]$-ST} of the graph. The concept of $[2,k]$-STs is a natural extension of a homeomorphically irreducible spanning tree (or HIST), which is a well-studied graph structure. In this paper, we give a new strategy for finding $[2,k]$-STs. By using the strategy, we refine or extend a known degree-sum condition for the existence of a HIST. Furthermore, we also investigate a degree-product condition for the existence of a $[2,k]$-ST.
Connectivity keeping edges of trees in 3-connected or 3-edge-connected graphs
Published
• View Publication
• BIB
Hasunuma [J. Graph Theory 102 (2023) 423-435] conjectured that for any tree $T$ of order $m$, every $k$-connected (or $k$-edge-connected) graph $G$ with minimum degree at least $k+m-1$ contains a tree $T'\cong T$ such that $G-E(T')$ is still $k$-connected (or $k$-edge connected). Hasunuma verified this conjecture for $k\leq 2$. In this paper, we confirm this conjecture for $k=3$.
The Prym variety of a dilated double cover of metric graphs
Published
• View Publication
• BIB
We calculate the volume of the tropical Prym variety of a harmonic double cover of metric graphs having non-trivial dilation. We show that the tropical Prym variety behaves discontinuously under deformations of the double cover that change the number of connected components of the dilation subgraph.
Cops and Robbers on Multi-Layer Graphs
Published in Discrete Applied Mathematics, Volume 385, 109-133, 2026
• View Publication
• BIB
We generalise the popular cops and robbers game to multi-layer graphs, where each cop and the robber are restricted to a single layer (or set of edges). We show that initial intuition about the best way to allocate cops to layers is not always correct, and prove that the multi-layer cop number is neither bounded from above nor below by any increasing function of the cop numbers of the individual layers. We determine that it is NP-hard to decide if $k$ cops are sufficient to catch the robber, even if every cop layer is a tree and a set of isolated vertices. However, we give a polynomial time algorithm to determine if $k$ cops can win when the robber layer is a tree. Additionally, we investigate a question of worst-case divisions of a simple graph into layers: given a simple graph $G$, what is the maximum number of cops required to catch a robber over all multi-layer graphs where each edge of $G$ is in at least one layer and all layers are connected? For cliques, suitably dense random graphs, and graphs of bounded treewidth, we determine this parameter up to multiplicative constants. Lastly we consider a multi-layer variant of Meyniel's conjecture, and show the existence of an infinite family of graphs whose multi-layer cop number is bounded from below by a constant times $n / \log n$, where $n$ is the number of vertices in the graph.
Forcing Generalized Quasirandom Graphs Efficiently
Published
• View Publication
• BIB
We study generalized quasirandom graphs whose vertex set consists of $q$ parts (of not necessarily the same sizes) with edges within each part and between each pair of parts distributed quasirandomly; such graphs correspond to the stochastic block model studied in statistics and network science. Lovász and Sós showed that the structure of such graphs is forced by homomorphism densities of graphs with at most $(10q)^q+q$ vertices; subsequently, Lovász refined the argument to show that graphs with $4(2q+3)^8$ vertices suffice. Our results imply that the structure of generalized quasirandom graphs with $q\ge 2$ parts is forced by homomorphism densities of graphs with at most $4q^2-q$ vertices, and, if vertices in distinct parts have distinct degrees, then $2q+1$ vertices suffice. The latter improves the bound of $8q-4$ due to Spencer.
Non-Cayley-Isomorphic Cayley graphs from non-Cayley-Isomorphic Cayley digraphs
A finite group $G$ is a "non-DCI group" if there exist subsets $S_1$ and $S_2$ of $G$, such that the associated Cayley digraphs $C\overrightarrow{ay}(G;S_1)$ and $C\overrightarrow{ay}(G;S_2)$ are isomorphic, but no automorphism of $G$ carries $S_1$ to $S_2$. Furthermore, $G$ is a "non-CI group" if the subsets $S_1$ and $S_2$ can be chosen to be closed under inverses, so we have undirected Cayley graphs $Cay(G;S_1)$ and $Cay(G;S_2)$.
We show that if $p$ is a prime number, and the elementary abelian $p$-group $(\mathbb{Z}_p)^r$ is a non-DCI group, then $(\mathbb{Z}_p)^{r+3}$ is a non-CI group. In most cases, we can also show that $(\mathbb{Z}_p)^{r+2}$ is a non-CI group. In particular, from Pablo Spiga's proof that $(\mathbb{Z}_p)^8$ is a non-DCI group, we conclude that $(\mathbb{Z}_3)^{10}$ is a non-CI group. This is the first example of a non-CI elementary abelian $3$-group.
Coarse Ricci curvature of weighted Riemannian manifolds
Published
• View Publication
• BIB
We show that the generalized Ricci tensor of a weighted complete Riemannian manifold can be retrieved asymptotically from a scaled metric derivative of Wasserstein 1-distances between normalized weighted local volume measures. As an application, we demonstrate that the limiting coarse curvature of random geometric graphs sampled from Poisson point process with non-uniform intensity converges to the generalized Ricci tensor.
Frames for signal processing on Cayley graphs
Published
• View Publication
• BIB
The spectral decomposition of graph adjacency matrices is an essential ingredient in the design of graph signal processing (GSP) techniques. When the adjacency matrix has multi-dimensional eigenspaces, it is desirable to base GSP constructions on a particular eigenbasis that better reflects the graph's symmetries. In this paper, we provide an explicit and detailed representation-theoretic account for the spectral decomposition of the adjacency matrix of a weighted Cayley graph. Our method applies to all weighted Cayley graphs, regardless of whether they are quasi-Abelian, and offers detailed descriptions of eigenvalues and eigenvectors derived from the coefficient functions of the representations of the underlying group. Next, we turn our attention to constructing frames on Cayley graphs. Frames are overcomplete spanning sets that ensure stable and potentially redundant systems for signal reconstruction. We use our proposed eigenbases to build frames that are suitable for developing signal processing on Cayley graphs. These are the Frobenius--Schur frames and Cayley frames, for which we provide a characterization and a practical recipe for their construction.
Maximizing the number of integer pairs summing to powers of 2 via graph labeling and solving restricted systems of linear (in)equations
Published in Journal of Computer and System Sciences 157 (2026), 103735
• View Publication
• BIB
We address the problem of finding sets of integers of a given size with a maximum number of pairs summing to powers of $2$. By fixing particular pairs, this problem reduces to finding a labeling of the vertices of a given graph with pairwise distinct integers such that the endpoint labels for each edge sum up to a power of $2$. We propose an efficient algorithm for this problem, which at its core relies on another algorithm that, given two sets of linear homogeneous polynomials with integer coefficients, computes all variable assignments to powers of $2$ that nullify polynomials from the first set but not from the second. With the proposed algorithms, we determine the maximum size of graphs of order $n$ that admit such a labeling for all $n\leq 21$, and construct the maximum admissible graphs for $n\leq 20$. We also identify the minimal forbidden subgraphs of order $\leq 11$, whose presence prevents the graphs from having such a labeling.
Efficient Domination in Lattice graphs
Given a graph $G$, a subset $S$ of vertices of $G$ is an efficient dominating set ($EDS$) if $|N[v] \cap S|=1,$ for all $v\in V(G)$. A graph $G$ is efficiently dominatable if it possesses an $EDS$. The efficient domination number of G is denoted by F(G) and is defined to be $\max \left\{\sum_{v \in S}(1 + \operatorname{deg} v):\right.$ $\left.S \subseteq V(G)\right.$ and $\left.|N[x] \cap S| \leq 1, \forall~ x \in V(G)\right\}$. In general, not every graph is efficiently dominatable. Further, the class of efficiently dominatable graphs has not been completely characterized and the problem of determining whether or not a graph is efficiently dominatable is NP-Complete. Hence, interest is shown to study the efficient domination property for graphs under restricted conditions or special classes of graphs. In this paper, we study the notion of efficient domination in some Lattice graphs, namely, rectangular grid graphs ($P_m \Box P_n$), triangular grid graphs, and hexagonal grid graphs.
Odd Chromatic Number of Graph Classes
Published
• View Publication
• BIB
A graph is called odd (respectively, even) if every vertex has odd (respectively, even) degree. Gallai proved that every graph can be partitioned into two even induced subgraphs, or into an odd and an even induced subgraph. We refer to a partition into odd subgraphs as an odd colouring of G. Scott [Graphs and Combinatorics, 2001] proved that a graph admits an odd colouring if and only if it has an even number of vertices. We say that a graph G is k-odd colourable if it can be partitioned into at most k odd induced subgraphs. We initiate the systematic study of odd colouring and odd chromatic number of graph classes. In particular, we consider for a number of classes whether they have bounded odd chromatic number. Our main results are that interval graphs, graphs of bounded modular-width and graphs of bounded maximum degree all have bounded odd chromatic number.
Complexity of (arc)-connectivity problems involving arc-reversals or deorientations
Published
• View Publication
• BIB
By a well known theorem of Robbins, a graph $G$ has a strongly connected orientation if and only if $G$ is 2-edge-connected and it is easy to find, in linear time, either a cut edge of $G$ or a strong orientation of $G$.
A result of Durand de Gevigny shows that for every $k\geq 3$ it is NP-hard to decide if a given graph $G$ has a $k$-strong orientation. Thomassen showed that one can check in polynomial time whether a given graph has a 2-strong orientation. This implies that for a given digraph $D$ we can determine in polynomial time whether we can reorient (=reverse) some arcs of $D=(V,A)$ to obtain a 2-strong digraph $D'=(V,A')$. This naturally leads to the question of determining the minimum number of such arcs to reverse before the resulting graph is 2-strong. In this paper we show that finding this number is NP-hard.
If a 2-connected graph $G$ has no 2-strong orientation, we may ask how many of its edges we may orient so that the resulting mixed graph is still 2-strong. Similarly, we may ask for a 2-edge-connected graph $G$ how many of its edges we can orient such that the resulting mixed graph remains 2-arc-strong. We prove that when restricted to graphs satisfying suitable connectivity conditions, both of these problems are equivalent to finding the minimum number of edges we must double in a 2-edge-connected graph in order to obtain a 4-edge-connected graph. Using this, we show that all these three problems are NP-hard.
Finally, we consider the operation of deorienting an arc $uv$ of a digraph $D$ meaning replacing it by an undirected edge between the same vertices. In terms of connectivity properties, this is equivalent to adding the opposite arc $vu$ to $D$. We prove that for every $\ell\geq 3$ it is NP-hard to find the minimum number of arcs to deorient in a digraph $D$ in order to obtain an $\ell$-strong digraph $D'$.
A Closure Lemma for tough graphs and Hamiltonian degree conditions
The closure of a graph $G$ is the graph $G^*$ obtained from $G$ by repeatedly adding edges between pairs of non-adjacent vertices whose degree sum is at least $n$, where $n$ is the number of vertices of $G$. The well-known Closure Lemma proved by Bondy and Chvátal states that a graph $G$ is Hamiltonian if and only if its closure $G^*$ is. This lemma can be used to prove several classical results in Hamiltonian graph theory. We prove a version of the Closure Lemma for tough graphs. A graph $G$ is $t$-tough if for any set $S$ of vertices of $G$, the number of components of $G-S$ is at most $t |S|$. A Hamiltonian graph must necessarily be 1-tough. Conversely, Chvátal conjectured that there exists a constant $t$ such that every $t$-tough graph is Hamiltonian. The {\it $t$-closure} of a graph $G$ is the graph $G^{t*}$ obtained from $G$ by repeatedly adding edges between pairs of non-adjacent vertices whose degree sum is at least $n-t$. We prove that, for $t\geq 2$, a $\frac{3t-1}{2}$-tough graph $G$ is Hamiltonian if and only if its $t$-closure $G^{t*}$ is. Hoàng conjectured the following: Let $G$ be a graph with degree sequence $d_1 \leq d_2 \leq \ldots \leq d_n$; then $G$ is Hamiltonian if $G$ is $t$-tough and, $\forall i <\frac{n}{2},\mbox{ if } d_i\leq i \mbox{ then } d_{n-i+t}\geq n-i$. This conjecture is analogous to the well known theorem of Chvátal on Hamiltonian ideals. Hoàng proved the conjecture for $t \leq 3$. Using the closure lemma for tough graphs, we prove the conjecture for $t = 4$.
An Exploration of Graph Pebbling
The topic of this treatise is a combinatorial technique called Graph Pebbling. We investigate pebbling numbers, weight functions, flow networks, hypercubes, and the zero-sum conjecture of Erdős and Lemke. This investigation is a comprehensive starting point for anyone who wants to study graph pebbling for the first time, and also includes some new ideas and results for those who have studied it before.
For an introductory video, see: https://www.youtube.com/watch?v=yPzyQ4M1f3c
Dynamic cycles in edge-colored multigraphs
Published
• View Publication
• BIB
Let $H$ be a graph possibly with loops and $G$ be a multigraph without loops. An $H$-coloring of $G$ is a function $c: E(G) \rightarrow V(H)$. We will say that $G$ is an $H$-colored multigraph, whenever we are taking a fixed $H$-coloring of $G$. The set of all the edges with end vertices $u$ and $v$ will be denoted by $E_{uv}$. We will say that $W=(v_0,e_0^1, \ldots, e_0^{k_0},v_1,e_1^1,\ldots,e_1^{k_1},v_2,\ldots,v_{n-1},e_{n-1}^1,\ldots,e_{n-1}^{k_{n-1}},v_n)$, where for each $i$ in $\{0,\ldots,n-1\}$, $k_i \geq 1$ and $e_i^j \in E_{v_iv_{i+1}}$ for every $j \in \{1,\ldots, k_i \}$, is a dynamic $H$-walk iff $c(e_i^{k_i})c(e_{i+1}^1)$ is an edge in $H$, for each $i \in \{0,\ldots,n-2\}$. We will say that a dynamic $H$-walk is a closed dynamic $H$-walk whenever $v_0=v_n$ and $c(e_{n-1}^{k_{n-1}})c(e_0^1)$ is an edge in $H$. Moreover, a closed dynamic $H$-walk is called dynamic $H$-cycle whenever $v_i\neq v_j$, for every $\{i,j\}\subseteq \{0,\ldots,v_{n-1}\}$. In particular, a dynamic $H$-walk is an $H$-walk whenever $k_i=1$, for every $i \in \{0,\ldots,n-1\}$, and when $H$ is a complete graph without loops, an $H$-walk is well known as a properly colored walk.
In this work, we study the existence and length of dynamic $H$-cycles, dynamic $H$-trails and dynamic $H$-paths in $H$-colored multigraphs. To accomplish this, we introduce a new concept of color degree, namely, the \textit{dynamic degree}, which allows us to extend some classic results, as Ore's Theorem, for $H$-colored multigraphs. Also, we give sufficient conditions for the existence of hamiltonian dynamic $H$-cycles in $H$-colored multigraphs, and as a consequence, we obtain sufficient conditions for the existence of properly colored hamiltonian cycle in edge-colored multigraphs, with at least $c\geq 3$ colors.
A Solution to the 1-2-3 Conjecture
Published in Journal of Combinatorial Theory, Series B Volume 166, May 2024
• View Publication
• BIB
We show that for every graph without isolated edge, the edges can be assigned weights from {1,2,3} so that no two neighbors receive the same sum of incident edge weights. This solves a conjecture of Karoński, Luczak, and Thomason from 2004.
Schnyder woods and Alon-Tarsi number of planar graphs
Published
• View Publication
• BIB
Thomassen in 1994 published a famous proof of the fact that the choosability of a planar graph is at most 5. Zhu in 2019 generalized this result by showing that the same bound holds for Alon-Tarsi numbers of planar graphs. We present an alternative proof of that fact, derived from the results on decompositions of planar graphs into trees known as Schnyder woods. It turns out that Thomassen's technique and our proof based on Schnyder woods have a lot in common. We discuss and explain the prominent role that counterclockwise 3-orientations play in proofs based on both these approaches.
Proximinal sets and connectedness in graphs
Published
• View Publication
• BIB
Let $G$ be a graph with a vertex set $V$. The graph $G$ is path-proximinal if there are a semimetric $d \colon V \times V \to [0, \infty[$ and disjoint proximinal subsets of the semimetric space $(V, d)$ such that $V = A \cup B$, and vertices $u$, $v \in V$ are adjacent iff \[ d(u, v) \leqslant \inf \{d(x, y) \colon x \in A, y \in B\}, \] and, for every $p \in V$, there is a path connecting $A$ and $B$ in $G$, and passing through $p$. It is shown that a graph is path-proximinal if and only if all its vertices are not isolated. It is also shown that a graph is simultaneously proximinal and path-proximinal for an ultrametric if and only if the degree of every its vertex is equal to $1$.
Union vertex-distinguishing edge colorings
Published
• View Publication
• BIB
The union vertex-distinguishing chromatic index $χ'_\cup(G)$ of a graph $G$ is the smallest natural number $k$ such that the edges of $G$ can be assigned nonempty subsets of $[k]$ so that the union of the subsets assigned to the edges incident to each vertex is different. We prove that $χ'_\cup(G) \in \left\{ \left\lceil \log_2\left(n +1\right) \right\rceil, \left\lceil \log_2\left(n +1\right) \right\rceil+1 \right\}$ for a graph $G$ on $n$ vertices without a component of order at most two. This answers a question posed by Bousquet, Dailly, Duchêne, Kheddouci and Parreau, and independently by Chartrand, Hallas and Zhang.
On the Regularity of squarefree part of symbolic powers of edge ideals
Published
• View Publication
• BIB
Assume that $G$ is a graph with edge ideal $I(G)$. For every integer $s\geq 1$, we denote the squarefree part of the $s$-th symbolic power of $I(G)$ by $I(G)^{\{s\}}$. We determine an upper bound for the regularity of $I(G)^{\{s\}}$ when $G$ is a chordal graph. If $G$ is a Cameron-Walker graphs, we compute ${\rm reg}(I(G)^{\{s\}}$ in terms of the induced matching number of $G$. Moreover, for any graph $G$, we provide sharp upper bounds for ${\rm reg}(I(G)^{\{2\}})$ and ${\rm reg}(I(G)^{\{3\}})$.