graph
34516 papers tagged with this keyword
The tape reconfiguration problem and its consequences for dominating set reconfiguration
A dominating set of a graph $G=(V,E)$ is a set of vertices $D \subseteq V$ whose closed neighborhood is $V$, i.e., $N[D]=V$. We view a dominating set as a collection of tokens placed on the vertices of $D$. In the token sliding variant of the Dominating Set Reconfiguration problem (TS-DSR), we seek to transform a source dominating set into a target dominating set in $G$ by sliding tokens along edges, and while maintaining a dominating set all along the transformation.
TS-DSR is known to be PSPACE-complete even restricted to graphs of pathwidth $w$, for some non-explicit constant $w$ and to be XL-complete parameterized by the size $k$ of the solution. The first contribution of this article consists in using a novel approach to provide the first explicit constant for which the TS-DSR problem is PSPACE-complete, a question that was left open in the literature.
From a parameterized complexity perspective, the token jumping variant of DSR, i.e., where tokens can jump to arbitrary vertices, is known to be FPT when parameterized by the size of the dominating sets on nowhere dense classes of graphs. But, in contrast, no non-trivial result was known about TS-DSR. We prove that DSR is actually much harder in the sliding model since it is XL-complete when restricted to bounded pathwidth graphs and even when parameterized by $k$ plus the feedback vertex set number of the graph. This gives, for the first time, a difference of behavior between the complexity under token sliding and token jumping for some problem on graphs of bounded treewidth. All our results are obtained using a brand new method, based on the hardness of the so-called Tape Reconfiguration problem, a problem we believe to be of independent interest.
Characteristic polynomial of $\overline{\mathcal{M}}_{0,n}$ and log-concavity
Motivated by Stanley's generalization of the chromatic polynomial of a graph to the chromatic symmetric function, we introduce the characteristic polynomial of a representation of the symmetric group, or more generally, of a symmetric function. When the representation arises from geometry, the coefficients of its characteristic polynomial tend to form a log-concave sequence. To illustrate, we investigate explicit examples, including the $n$-fold products of the projective spaces, the GIT moduli spaces of points on $\mathbb{P}^1$ and Hessenberg varieties. Our main focus lies on the cohomology of the moduli space of pointed rational curves, for which we prove asymptotic formulas of its characteristic polynomial and establish asymptotic log-concavity.
Going deep and going wide: Counting logic and homomorphism indistinguishability over graphs of bounded treedepth and treewidth
We study the expressive power of first-order logic with counting quantifiers, especially the $k$-variable and quantifier-rank-$q$ fragment $\mathsf{C}^k_q$, using homomorphism indistinguishability. Recently, Dawar, Jakl, and Reggio (2021) proved that two graphs satisfy the same $\mathsf{C}^k_q$-sentences iff they are homomorphism indistinguishable over the class $\mathcal{T}^k_q$ of graphs admitting a $k$-pebble forest cover of depth $q$. After reproving this result using elementary means, we provide a graph-theoretic analysis of $\mathcal{T}^k_q$. This allows us to separate $\mathcal{T}^k_q$ from the intersection $\mathcal{TW}_{k-1} \cap \mathcal{TD}_q$, provided that $q$ is sufficiently larger than $k$. Here $\mathcal{TW}_{k-1}$ is the class of all graphs of treewidth at most $k-1$ and $\mathcal{TD}_q$ is the class of all graphs of treedepth at most $q$.
We are able to lift this separation to a separation of the respective homomorphism indistinguishability relations $\equiv_{\mathcal{T}^k_q}$ and $\equiv_{\mathcal{TW}_{k-1} \cap \mathcal{TD}_q}$. We do this by showing that the classes $\mathcal{TD}_q$ and $\mathcal{T}^k_q$ are homomorphism distinguishing closed, as conjectured by Roberson (2022).
In order to prove Roberson's conjecture for $\mathcal{T}^k_q$, we characterise $\mathcal{T}^k_q$ in terms of a monotone Cops-and-Robber game. The crux is to prove that if Cop has a winning strategy then Cop also has a winning strategy that is monotone. To that end, we transform Cops' winning strategy into a pree-tree-decomposition, which is inspired by decompositions of matroids, and then apply an intricate breadth-first cleaning up procedure along the pree-tree-decomposition (which may temporarily lose the property of representing a strategy). Thereby, we achieve monotonicity while controlling the number of rounds across all branches of the decomposition via a vertex exchange argument.
Corrigendum to "Topology of matching complexes of complete graphs via discrete Morse theory'' [arXiv:2305.02973, Discrete Math. Theor. Comput. Sci. 26:3#13 (2024)]
In this corrigendum to arXiv:2305.02973, we justify that the motivation behind Conjecture 5.1 is based on a mistaken notion. Moreover, we prove a stronger theorem that disproves the conjecture, and obtain an optimal gradient vector field on the matching complex of the complete graph of order 7.
More efficient sifting for grid norms, and applications to multiparty communication complexity
Building on the techniques behind the recent progress on the 3-term arithmetic progression problem [KM'23], Kelley, Lovett, and Meka [KLM'24] constructed the first explicit 3-player function $f:[N]^3 \rightarrow \{0,1\}$ that demonstrates a strong separation between randomized and (non-)deterministic NOF communication complexity. Specifically, their hard function can be solved by a randomized protocol sending $O(1)$ bits, but requires $Ω(\log^{1/3}(N))$ bits of communication with a deterministic (or non-deterministic) protocol.
We show a stronger $Ω(\log^{1/2}(N))$ lower bound for their construction. To achieve this, the key technical advancement is an improvement to the sifting argument for grid norms of (somewhat dense) bipartite graphs. In addition to quantitative improvement, we qualitatively improve over [KLM'24] by relaxing the hardness condition: while [KLM'24] proved their lower bound for any function $f$ that satisfies a strong two-sided pseudorandom condition, we show that a weak one-sided condition suffices. This is achieved by a new structural result for cylinder intersections (or, in graph-theoretic language, the set of triangles induced from a tripartite graph), showing that any small cylinder intersection can be efficiently covered by a sum of simple ``slice'' functions.
Combinatorics of Even-Valent Graphs on Riemann Surfaces
Using connections to random matrix theory and orthogonal polynomials, we develop a framework for obtaining explicit closed-form formulae for the number, $\mathscr{N}_{g}(2ν,j)$, of connected $2ν$-valent labeled graphs with $j$ vertices that can be embedded on a compact Riemann surface of minimal genus $g$. We also derive formulae for their two-legged counterparts $\mathcal{N}_{g}(2ν,j)$. Our method recovers the known explicit results for graphs embedded on the plane and the torus, and extends them to all genera $g \geq 2$. In earlier work, Ercolani, Lega, and Tippings (2023) showed that $\mathscr{N}_{g}(2ν,j)$ and $\mathcal{N}_{g}(2ν,j)$ admit structural expressions as linear combinations of, respectively, $3g-2$ and $3g$ Gauss hypergeometric functions ${}_2F_1$, but with coefficients left undetermined. The framework developed here provides a systematic procedure to compute these coefficients, thereby turning the structural expressions into fully explicit formulae for $\mathscr{N}_{g}(2ν,j)$ and $\mathcal{N}_{g}(2ν,j)$ as functions of both $j$ and $ν$. Detailed results are given for $g=2,3,$ and $4$, and the framework extends naturally to all $g \geq 5$ with increasing computational effort. This closes the fixed genus combinatorics for even-valent graphs.
Internally-disjoint Directed Pendant Steiner Trees in Digraphs
For a digraph $D=(V(D),A(D))$ and a set $S\subseteq V(D)$ with $|S|\geq 2$ and $r\in S$, a directed pendant $(S,r)$-Steiner tree (or, simply, a pendant $(S,r)$-tree) is an out-tree $T$ rooted at $r$ such that $S\subseteq V(T)$ and each vertex of $S$ has degree one in $T$. Two pendant $(S,r)$-trees are called internally-disjoint if they are arc-disjoint and their common vertex set is exactly $S$. The goal of the {\sc Internally-disjoint Directed Pendant Steiner Tree Packing (IDPSTP)} problem is to find a largest collection of pairwise internally-disjoint pendant $(S,r)$-trees in $D$. We use $τ_{S,r}(D)$ to denote the maximum number of pairwise internally-disjoint pendant $(S,r)$-trees in $D$ and define the directed pendant-tree $k$-connectivity of $D$ as
\begin{align*}
τ_{k}(D)=\min\{τ_{S,r}(D)\mid S\subseteq V(D),|S|=k,r\in S\}.
\end{align*}
IDPSTP is a restriction of the {\sc Internally-disjoint Directed Steiner Tree Packing} problem studied by Cheriyan and Salavatipour [Algorithmica, 2006] and Sun and Yeo [JGT, 2023]. The directed pendant-tree $k$-connectivity extends the concept of pendant-tree $k$-connectivity in undirected graphs studied by Hager [JCTB, 1985] and could be seen as a generalization of classical vertex-connectivity of digraphs.
In this paper, we completely determine the computational complexity for the parameter $τ_{S,r}(D)$ on Eulerian digraphs and symmetric digraphs. We also give sharp bounds and values for the parameter $τ_{k}(D)$.
Maximum list $r$-colorable induced subgraphs in $kP_3$-free graphs
We show that, for every fixed positive integers $r$ and $k$, \textsc{Max-Weight List $r$-Colorable Induced Subgraph} admits a polynomial-time algorithm on $kP_3$-free graphs. This problem is a common generalization of \textsc{Max-Weight Independent Set}, \textsc{Odd Cycle Transversal} and \textsc{List $r$-Coloring}, among others. Our result has several consequences.
First, it implies that, for every fixed $r \geq 5$, assuming $\mathsf{P}\neq \mathsf{NP}$, \textsc{Max-Weight List $r$-Colorable Induced Subgraph} is polynomial-time solvable on $H$-free graphs if and only if $H$ is an induced subgraph of either $kP_3$ or $P_5+kP_1$, for some $k \geq 1$. Second, it makes considerable progress toward a complexity dichotomy for \textsc{Odd Cycle Transversal} on $H$-free graphs, allowing to answer a question of Agrawal, Lima, Lokshtanov, Rz{ą}{ż}ewski, Saurabh, and Sharma [TALG 2024]. Third, it gives a short and self-contained proof of the known result of Chudnovsky, Hajebi, and Spirkl [Combinatorica 2024] that \textsc{List $r$-Coloring} on $kP_3$-free graphs is polynomial-time solvable for every fixed $r$ and $k$.
We also consider two natural distance-$d$ generalizations of \textsc{Max-Weight Independent Set} and \textsc{List $r$-Coloring} and provide polynomial-time algorithms on $kP_3$-free graphs for every fixed integers $r$, $k$, and $d \geq 6$.
A census of face-transitive surfaces
A face-transitive surface is a triangulated 2-dimensional manifold whose automorphism group acts transitively on its set of triangles. In this paper, we investigate this class of highly symmetric surface triangulations. We identify seven types of such face-transitive surfaces, splitting up further into a total of thirteen sub-types, distinguished by how their automorphism groups act on them. We use these theoretical results to compute a census of face-transitive surfaces with up to 1280 faces by constructing suitable cycle double covers of cubic node-transitive graphs.
Equating three degrees of graphs
In this paper, we prove that, for every graph with at least 5 vertices, one can delete at most 3 vertices such that the subgraph obtained has at least three vertices with the same degree. This solves an open problem of Caro, Shapira and Yuster [Electron. J. Combin. 21 (2014) P1.24].
A complement of the Erdős-Hajnal problem on paths with equal-degree endpoints
Answering a question of Erdős and Hajnal, Chen and Ma proved that for all \(n\geq600\) every graph with \(2n + 1\) vertices and at least \(n^2 + n+1\) edges contains two vertices of equal degree connected by a path of length three. The complete bipartite graph $K_{n,n+1}$ shows that this edge bound is sharp. In this paper, we develop a novel approach to handle graphs with large equal degrees, which enables us to establish the result for all $n\ge2$, thereby fully resolving the problem posed by Erdős and Hajnal.
Moving through Cartesian products, coronas and joins in general position
The general position problem asks for large sets of vertices such that no three vertices of the set lie on a common shortest path. Recently a dynamic version of this problem was defined, called the \emph{mobile general position problem}, in which a collection of robots must visit all the vertices of the graph whilst remaining in general position. In this paper we investigate this problem in the context of Cartesian products, corona products and joins, giving upper and lower bounds for general graphs and exact values for families including grids, cylinders, Hamming graphs and prisms of trees.
Decomposing graphs into stable and ordered parts
Connections between structural graph theory and finite model theory recently gained a lot of attention. In this setting, many interesting questions remain on the properties of dependent (NIP) hereditary classes of graphs, in particular related to first-order transductions. In this paper, we study modelizations (which are strong forms of transduction pairings) of classes of graphs by classes of structures. In particular, we consider models obtained by coupling a partial order and a colored graph (thus forming a partially ordered colored graph). Motivated by Simon's decomposition theorem of dependent types into a stable part and a distal (order-like) part, we conjecture that every dependent hereditary class of graphs admits a modelization in a monadically dependent coupling of a class of posets with bounded treewidth cover graphs and a monadically stable class of colored graphs. In this paper, we consider the first non-trivial case (classes with bounded linear cliquewidth) and prove that the conjecture holds in a strong form, the model class being a monadically dependent coupling of a class of disjoint unions of chains and a class of colored graphs with bounded pathwidth. We extend our study to classes that admit bounded-size bounded linear cliquewidth decompositions and prove that they have a modelization in a monadically dependent coupling of a class of disjoint unions of chains and a class of colored graphs with bounded expansion, the model class also admitting bounded-size bounded linear cliquewidth decompositions.
Irregularity and Topological Indices in Fibonacci Word Trees and Modified Fibonacci Word Index
Published in Chebyshevskii Sbornik, 26(3), 257-273, 2025; ISSN 2226-8383 (print), ISSN 2587-7119 (online)
• View Publication
• BIB
This paper introduces the concept of the Fibonacci Word Index $\operatorname{FWI}$, a novel topological index derived from the Albertson index, applied to trees constructed from Fibonacci words. Building upon the classical Fibonacci sequence and its generalizations, we explore the structural properties of Fibonacci word trees and their degree-based irregularity measures. We define the $\operatorname{FWI}$ and its variants, including the total irregularity and modified Fibonacci Word Index where it defined as \[ \operatorname{FWI}^*(T)=\sum_{n,m\in E(\mathscr{T})}[deg F_n^2-deg F_m^2], \] and establish foundational inequalities relating these indices to the maximum degree of the underlying trees. Our results extend known graph invariants to the combinatorial setting of Fibonacci words, providing new insights into their algebraic and topological characteristics.
The design spectrum of the Shrikhande graph
The design spectrum of a simple graph $G$ is the set of positive integers $n$ such that there exists an edgewise decomposition of the complete graph $K_n$ into $n(n - 1)/(2 |E(G)|)$ copies of $G$. The purpose of this short paper is to prove that the Shrikhande graph and the line graph of $K_{4,4}$ have the design spectrum $\{96t + 1: t = 1, 2, \dots\}$.
Towards a format for describing networks / 1. Networks and knowledge graphs
Published in Proceedings of Information Society 2025, SiKDD, 6-10 October 2025, Ljubljana, Slovenia, p. 102-105
• View Publication
• BIB
The relationship between the concepts of network and knowledge graph is explored. A knowledge graph can be considered a special type of network. When using a knowledge graph, various networks can be obtained from it, and network analysis procedures can be applied to them. RDF is a formalization of the knowledge graph concept for the Semantic Web, but some of its solutions are also extensible to a format for describing general networks.
Cluster deletion and clique partitioning in graphs with bounded clique number
The Cluster Deletion problem takes a graph $G$ as input and asks for a minimum size set of edges $X$ such that $G-X$ is the disjoint union of complete graphs. An equivalent formulation is the Clique Partition problem, which asks to find a partition of $V(G)$ into cliques such that the number of edges in the cliques is maximized.
We begin by giving a much simpler proof of a theorem of Gao, Hare, and Nastos that Cluster Deletion is efficiently solvable on the class of cographs. We then investigate Cluster Deletion and Clique Partition on permutation graphs, which are a superclass of cographs. Our findings suggest that Cluster Deletion may be NP-hard on permutation graphs.
Finally, we prove that for graphs with clique number at most $c$, there is a $\frac{2\binom{c}{2}}{\binom{c}{2}+1}$-approximation algorithm for Clique Partition. This is the first polynomial time algorithm which achieves an approximation ratio better than 2 for graphs with bounded clique number. More generally, our algorithm runs in polynomial time on any graph class for which Maximum Clique can be computed in polynomial time. We also provide a class of examples which shows that our approximation ratio is best possible.
The Metric Dimension of Sparse Random Graphs
In 2013, Bollobás, Mitsche, and Pralat at gave upper and lower bounds for the likely metric dimension of random Erdős-Rényi graphs $G(n,p)$ for a large range of expected degrees $d=pn$. However, their results only apply when $d \ge \log^5 n$, leaving open sparser random graphs with $d < \log^5 n$. Here we provide upper and lower bounds on the likely metric dimension of $G(n,p)$ from just above the connectivity transition, i.e., where $d=pn=c \log n$ for some $c > 1$, up to $d=\log^5 n$. Our lower bound technique is based on an entropic argument which is more general than the use of Suen's inequality by Bollobás, Mitsche, and Pralat, whereas our upper bound is similar to theirs.
Combinatorial Identities Using the Matrix Tree Theorem
In this paper, we explore some interesting applications of the matrix tree theorem. In particular, we present a combinatorial interpretation of a distribution of $(n-1)^{n-1}$, in the context of uprooted spanning trees of the complete graph $K_{n}$, which was previously obtained by Chauve--Dulucq--Guibert. Additionally, we establish a combinatorial explanation for the distribution of $m^{n-1}n^{m-1}$, related to spanning trees of the complete bipartite graph $K_{m,n}$, which seems new. Furthermore, we extend this study to the graph $K_{n}\setminus \{e_{1,n}\}$, obtained by deleting an edge from $K_n$, and derive a new identity for the number of its uprooted spanning trees.
1-2 Conjectures for Graphs with Low Degeneracy Properties
In a recent work, Keusch proved the so-called 1-2-3 Conjecture, raised by Karoński, Łuczak, and Thomason in 2004: for every connected graph different from $K_2$, we can assign labels~$1,2,3$ to the edges so that no two adjacent vertices are incident to the same sum of labels. Despite this significant result, several problems close to the 1-2-3 Conjecture in spirit remain widely open. In this work, we focus on the so-called 1-2 Conjecture, raised by Przybyło and Woźniak in 2010, which is a counterpart of the 1-2-3 Conjecture where labels~$1,2$ only can be assigned, and both vertices and edges are labelled. We consider both the 1-2 Conjecture in its original form, where adjacent vertices must be distinguished w.r.t.~their sums of incident labels, and variants for products and multisets. We prove some of these conjectures for graphs with bounded maximum degree (at most~$6$) and bounded maximum average degree (at most~$3$), going beyond earlier results of the same sort.