graph
35299 papers tagged with this keyword
Quantum Sabidussi's Theorem
Sabidussi's theorem [Duke Math. J. 28, 1961] gives necessary and sufficient conditions under which the automorphism group of a lexicographic product of two graphs is a wreath product of the respective automorphism groups. We prove a quantum version of Sabidussi's theorem for finite graphs, with the automorphism groups replaced by quantum automorphism groups and the wreath product replaced by the free wreath product of quantum groups. This extends the result of Chassaniol [J. Algebra 456, 2016], who proved it for regular graphs. Moreover, we apply our result to lexicographic products of quantum vertex transitive graphs, determining their quantum automorphism groups even when Sabidussi's conditions do not apply.
Almost-linear time parameterized algorithm for rankwidth via dynamic rankwidth
Published
• View Publication
• BIB
We give an algorithm that given a graph $G$ with $n$ vertices and $m$ edges and an integer $k$, in time $O_k(n^{1+o(1)}) + O(m)$ either outputs a rank decomposition of $G$ of width at most $k$ or determines that the rankwidth of $G$ is larger than $k$; the $O_k(\cdot)$-notation hides factors depending on $k$. Our algorithm returns also a $(2^{k+1}-1)$-expression for cliquewidth, yielding a $(2^{k+1}-1)$-approximation algorithm for cliquewidth with the same running time. This improves upon the $O_k(n^2)$ time algorithm of Fomin and Korhonen [STOC 2022].
The main ingredient of our algorithm is a fully dynamic algorithm for maintaining rank decompositions of bounded width: We give a data structure that for a dynamic $n$-vertex graph $G$ that is updated by edge insertions and deletions maintains a rank decomposition of $G$ of width at most $4k$ under the promise that the rankwidth of $G$ never grows above $k$. The amortized running time of each update is $O_k(2^{\sqrt{\log n} \log \log n})$. The data structure furthermore can maintain whether $G$ satisfies some fixed ${\sf CMSO}_1$ property within the same running time. We also give a framework for performing ``dense'' edge updates inside a given set of vertices $X$, where the new edges inside $X$ are described by a given ${\sf CMSO}_1$ sentence and vertex labels, in amortized $O_k(|X| \cdot 2^{\sqrt{\log n} \log \log n})$ time. Our dynamic algorithm generalizes the dynamic treewidth algorithm of Korhonen, Majewski, Nadara, Pilipczuk, and Sokołowski [FOCS 2023].
Lettericity of graphs: an FPT algorithm and a bound on the size of obstructions
Published
• View Publication
• BIB
Lettericity is a graph parameter responsible for many attractive structural properties. In particular, graphs of bounded lettericity have bounded linear clique-width and they are well-quasi-ordered by induced subgraphs. The latter property implies that any hereditary class of graphs of bounded lettericity can be described by finitely many forbidden induced subgraphs. This, in turn, implies, in a non-constructive way, polynomial-time recognition of such classes. However, no constructive algorithms and no specific bounds on the size of forbidden graphs are available up to date. In the present paper, we develop an algorithm that recognizes $n$-vertex graphs of lettericity at most $k$ in time $f(k)n^3$ and show that any minimal graph of lettericity more than $k$ has at most $2^{O(k^2\log k)}$ vertices.
Treewidth versus clique number. IV. Tree-independence number of graphs excluding an induced star
Many recent works address the question of characterizing induced obstructions to bounded treewidth. In 2022, Lozin and Razgon completely answered this question for graph classes defined by finitely many forbidden induced subgraphs. Their result also implies a characterization of graph classes defined by finitely many forbidden induced subgraphs that are $(tw,ω)$-bounded, that is, treewidth can only be large due to the presence of a large clique. This condition is known to be satisfied for any graph class with bounded tree-independence number, a graph parameter introduced independently by Yolov in 2018 and by Dallard, Milanič, and Štorgel in 2024. Dallard et al. conjectured that $(tw,ω)$-boundedness is actually equivalent to bounded tree-independence number. We address this conjecture in the context of graph classes defined by finitely many forbidden induced subgraphs and prove it for the case of graph classes excluding an induced star. We also prove it for subclasses of the class of line graphs, determine the exact values of the tree-independence numbers of line graphs of complete graphs and line graphs of complete bipartite graphs, and characterize the tree-independence number of $P_4$-free graphs, which implies a linear-time algorithm for its computation. Applying the algorithmic framework provided in a previous paper of the series leads to polynomial-time algorithms for the Maximum Weight Independent Set problem in an infinite family of graph classes.
On the Idempotent Graph of Matrix Ring
Let F be a finite field and R = M2(F) be 2x2 matrix ring over F. In this paper, we explicitly determine all the idempotents in R. Using these idempotents, we study the idempotent graph of R whose vertex set is the set of non-trivial idempotents in R and two idempotents e, f are adjacent if ef = 0 or fe = 0. It is proved that the idempotent graph of R is connected regular graph with diameter 2. Its girth is also characterized. Further, we determine the Wiener and Harary index of the idempotent graph of R.
Paired $(n-1)$-to-$(n-1)$ disjoint path covers in bipartite transposition-like graphs
Published in Discrete Applied Mathematics 376 (2025), 449-461
• View Publication
• BIB
A paired $k$-to-$k$ disjoint path cover of a graph $G$ is a collection of pairwise disjoint path subgraphs $P_1,P_2,\dotsc,P_k$ such that each $P_i$ has prescribed vertices $s_i$ and $t_i$ as endpoints and the union of $P_1,P_2,\dotsc,P_k$ contains all vertices of $G$. In this paper, we introduce bipartite transposition-like graphs, which are inductively constructed from lower ranked bipartite transposition-like graphs. We show that every rank $n$ bipartite transposition-like graph $G$ admit a paired $(n-1)$-to-$(n-1)$ disjoint path cover for all choices of $S=\{s_1,s_2,\dotsc,s_{n-1}\}$ and $T=\{t_1,t_2,\dotsc,t_{n-1}\}$, provided that $S$ is in one partite set of $G$ and $T$ is in the other.
A lower bound on the saturation number and a strengthening for triangle-free graphs
Published in The Electronic Journal of Combinatorics 32(3) (2025), #P3.14
• View Publication
• BIB
The saturation number $\operatorname{sat}(n, H)$ of a graph $H$ and positive integer $n$ is the minimum size of a graph of order $n$ which does not contain a subgraph isomorphic to $H$ but to which the addition of any edge creates such a subgraph. Erdős, Hajnal, and Moon first studied saturation numbers of complete graphs, and Cameron and Puleo introduced a general lower bound on $\operatorname{sat}(n,H)$. In this paper, we present another lower bound on $\operatorname{sat}(n, H)$ with strengthenings for graphs $H$ in several classes, all of which include the class of triangle-free graphs. Demonstrating its effectiveness, we determine the saturation numbers of diameter-$3$ trees up to an additive constant; these are double stars $S_{s,t}$ of order $s + t$ whose central vertices have degrees $s$ and $t$. Faudree, Faudree, Gould, and Jacobson determined that $\operatorname{sat}(n, S_{t,t}) = (t-1)n/2 + O(1)$. We prove that $\operatorname{sat}(n,S_{s,t}) = (st+s)n/(2t+4) + O(1)$ when $s < t$. We also apply our lower bound to caterpillars and demonstrate an upper bound on the saturation numbers of certain diameter-$4$ caterpillars.
Permutations with a Given X-Descent Set
Building on the work of Grinberg and Stanley, we begin a systematic study of permutations with a prescribed $X$-descent set. In particular, for a set $X \subseteq \mathbb{N}^2$, and $I \subseteq [n-1]$, we study the permutations $π\in \mathfrak{S}_n$ whose $X$-descent set is precisely $I$, meaning $(π_i,π_{i+1}) \in X$ precisely when $i \in I$. The central focus is enumerating these permutations for a fixed $X,I$ and $n$: this count is denoted by $d_X(I;n)$. We derive a recursion which under expected conditions simplifies to a binomial-type recurrence determined entirely by the values $d_X(\emptyset;n)$. This extends the work of Díaz-Lopez et al.\ on descent polynomials. The resulting reduction shows that the general statistic $d_X(I;n)$ is typically governed by the ``descent-free'' quantities $d_X(\emptyset;n)$, motivating a closer analysis of these numbers. We observe that $d_X(\emptyset;n)$ enumerates Hamiltonian paths in a directed graph canonically associated to $X$. We then record several families of sets $X$ for which $d_X(\emptyset;n)$ is explicit or effectively computable. This includes families with periodicity for which transfer matrix methods apply, and families with succession-type relations where inclusion-exclusion applies. We then investigate the typical behavior of $d_X(\emptyset;n)$ from a probabilistic perspective.
Every connected graph admits a local antimagic orientation and almost every graph admits an antimagic orientation
Published
• View Publication
• BIB
An undirected graph $G$ is said to admit an antimagic orientation if there exist an orientation $D$ and a bijection between $E(G)$ and $\{1,2,\ldots,|E(G)|\}$ such that any two vertices have distinct vertex sums, where the vertex sum of a vertex is the sum of the labels of the in-edges minus that of the out-edges incident to the vertex. It is conjectured by Hefetz, Mütze, and Schwartz that every connected graph admits an antimagic orientation. A weak version of this problem is to require the distinct vertex sums only for the adjacent vertices. In that case, we say the graph admits a local antimagic orientation. Chang, Jing, and Wang~\cite{CJW20} conjectured that every connected graph admits a local antimagic orientation. In this paper, we give an affirmative answer to the conjecture of Chang et al., and show that almost every graph satisfies the conjecture of Hefetz et al.
On the spectrum of generalized H-join operation constrained by indexing maps -- I
Fix $m \in \mathbb N$. A new generalization of the $H$-join operation of a family of graphs $\{G_1, G_2, \dots, G_k\}$ constrained by indexing maps $I_1,I_2,\dots,I_k$ is introduced as $H_m$-join of graphs, where the maps $I_i:V(G_i)$ to $[m]$. Various spectra, including adjacency, Laplacian, and signless Laplacian spectra, of any graph $G$, which is a $H_m$-join of graphs is obtained by introducing the concept of $E$-main eigenvalues. More precisely, we deduce that in the case of adjacency spectra, there is an associated matrix $E_i$ of the graph $G_i$ such that a $E_i$-non-main eigenvalue of multiplicity $m_i$ of $A(G_i)$ carry forward as an eigenvalue for $A(G)$ with the same multiplicity $m_i$, while an $E_i$-main eigenvalue of multiplicity $m_i$ carry forward as an eigenvalue of $G$ with multiplicity at least $m_i - m$. As a corollary, the universal adjacency spectra of some families of graphs is obtained by realizing them as $H_m$-joins of graphs. As an application, infinite families of cospectral families of graphs are found.
Crossing number of graphs and $\mathsf{ΔY}$-move
The crossing number of a graph is the minimum number of double points over all generic immersions of the graph into the plane. In this paper we investigate the behavior of crossing number under a graph transformation, called $\mathsf{ΔY}$-move, on the complete graph $K_n$. Concretely it is shown that for any $k\in \mathbb{N}$, there exist a natural number $n$ and a sequence of $\mathsf{ΔY}$-moves $K_n\rightarrow G^{(1)}\rightarrow \cdots \rightarrow G^{(k)}$ which is decreasing with respect to the crossing number. We also discuss the decrease of crossing number for relatively small $n$.
Finding forest-orderings of tournaments is NP-complete
Published
• View Publication
• BIB
Given a class of (undirected) graphs $\mathcal{C}$, we say that a Feedback Arc Set (FAS for short) $F$ is a $\mathcal{C}$-FAS if the graph induced by the edges of $F$ (forgetting their orientations) belongs to $\mathcal{C}$. We show that deciding if a tournament has a $\mathcal{C}$-FAS is NP-complete when $\mathcal{C}$ is the class of all forests. We are motivated by connections between $\mathcal{C}$-FAS and structural parameters of tournaments, such as the dichromatic number, the clique number of tournaments, and the strong Erdős-Hajnal property.
Paired coalition in graphs
Published
• View Publication
• BIB
\noindent A paired coalition in a graph $G=(V,E)$ consists of two disjoint sets of vertices $V_1$ and $V_2$, neither of which is a paired dominating set but whose union $V_1 \cup V_2$ is a paired dominating set. A paired coalition partition (abbreviated $pc$-partition) in a graph $G$ is a vertex partition $π= \lbrace V_1,V_2,\dots ,V_k \rbrace$ such that each set $V_i$ of $π$ is not a paired dominating set but forms a paired coalition with another set $V_j \in π$. The paired coalition graph $PCG(G,π) $ of the graph $G$ and the $pc$-partition $π$ of $G$, is the graph whose vertices correspond one-to-one with the sets of $π$, and two vertices $V_i$ and $V_j$ are adjacent in $PCG(G,π) $ if and only if their corresponding sets $V_i$ and $V_j$ form a paired coalition in $G$. In this paper, we initiate the study of paired coalition partitions and paired coalition graphs. In particular, we determine the paired coalition number of paths and cycles, obtain some results on paired coalition partitions in trees and characterize pair coalition graphs of paths, cycles and trees. We also characterize triangle-free graphs $G$ with $PC(G)=n$ and unicyclic graphs $G$ with $PC(G)=n-2$.
Equidistant Circular Split Networks
Published
• View Publication
• BIB
Phylogenetic networks are generalizations of trees that allow for the modeling of non-tree like evolutionary processes. Split networks give a useful way to construct networks with intuitive distance structures induced from the associated split graph. We explore the polyhedral geometry of distance matrices built from circular split systems which have the added property of being equidistant. We give a characterization of the facet defining inequalities and the extreme rays of the cone of distances that arises from an equidistant network associated to any circular split network. We also explain a connection to the Chan-Robbins-Yuen polytope from geometric combinatorics.
Star-Forest Decompositions of Complete Graphs
We deal with the problem of decomposing a complete geometric graph into plane star-forests. In particular, we disprove a recent conjecture by Pach, Saghafian and Schnider by constructing for each $n$ a complete geometric graph on $n$ vertices which can be decomposed into $\frac{n}{2}+1$ plane star-forests. Additionally we prove that for even $n$, every decomposition of complete abstract graph on $n$ vertices into $\frac{n}{2}+1$ star-forests is composed of a perfect matching and $\frac{n}{2}$ star-forests with two edge-balanced components, which we call broken double stars.
Non-self-touching paths in plane graphs
Published
• View Publication
• BIB
A path in a graph $G$ is called non-self-touching if two vertices are neighbours in the path if and only if they are neighbours in the graph. We investigate the existence of doubly infinite non-self-touching paths in infinite plane graphs.
The matching graph $G_*$ of an infinite plane graph $G$ is obtained by adding all diagonals to all faces, and it plays an important role in the theory of site percolation on $G$. The main result of this paper is a necessary and sufficient condition on $G$ for the existence of a doubly infinite non-self-touching path in $G_*$ that traverses some diagonal. This is a key step in proving, for quasi-transitive $G$, that the critical points of site percolation on $G$ and $G_*$ satisfy the strict inequality $p_c(G_*) < p_c(G)$, and it complements the earlier result of Grimmett and Li (Random Struct. Alg. 65 (2024) 832--856), proved by different methods, concerning the case of transitive graphs. Furthermore it implies, for quasi-transitive graphs, that $p_u(G) + p_c(G) \ge 1$, with equality if and only if the graph $G_Δ$, obtained from $G$ by emptying all separating triangles, is a triangulation. Here, $p_u$ is the critical probability for the existence of a unique infinite open cluster.
Peaceful Colourings
Published in Bull. Inst. Math. Acad. Sin. (N.S.) 20 (2025), 95-129
• View Publication
• BIB
We introduce peaceful colourings, a variant of $h$-conflict free colourings. We call a colouring with no monochromatic edges $p$-peaceful if for each vertex $v$, there are at most $p$ neighbours of $v$ coloured with a colour appearing on another neighbour of $v$. An $h$-conflict-free colouring of a graph is a (vertex)-colouring with no monochromatic edges so that for every vertex $v$, the number of neighbours of $v$ which are coloured with a colour appearing on no other neighbour of $v$ is at least the minimum of $h$ and the degree of $v$. If $G$ is $Δ$-regular then it has an $h$-conflict free colouring precisely if it has a $(Δ-h)$-peaceful colouring. We focus on the minimum $p_Δ$ of those $p$ for which every graph of maximum degree $Δ$ has a $p$-peaceful colouring with $Δ+1$ colours. We show that $p_Δ> (1-\frac{1}{e}-o(1))Δ$ and that for graphs of bounded codegree, $p_Δ\leq (1-\frac{1}{e}+o(1))Δ$. We ask if the latter result can be improved by dropping the bound on the codegree. As a partial result, we show that $p_Δ\leq \frac{8000}{8001}Δ$ for sufficiently large $Δ$.
Colouring graphs from random lists
Published
• View Publication
• BIB
Given positive integers $k \leq m$ and a graph $G$, a family of lists $L = \{L(v) : v \in V(G)\}$ is said to be a random $(k,m)$-list-assignment if for every $v \in V(G)$ the list $L(v)$ is a subset of $\{1, \ldots, m\}$ of size $k$, chosen uniformly at random and independently of the choices of all other vertices. An $n$-vertex graph $G$ is said to be a.a.s. $(k,m)$-colourable if $\lim_{n \to \infty} \mathbb{P}(G \textrm{ is } L-colourable) = 1$, where $L$ is a random $(k,m)$-list-assignment. We prove that if $m \gg n^{1/k^2} Δ^{1/k}$ and $m \geq 3 k^2 Δ$, where $Δ$ is the maximum degree of $G$ and $k \geq 3$ is an integer, then $G$ is a.a.s. $(k,m)$-colourable. This is not far from being best possible, forms a continuation of the so-called palette sparsification results, and proves in a strong sense a conjecture of Casselgren. Additionally, we consider this problem under the additional assumption that $G$ is $H$-free for some graph $H$. For various graphs $H$, we estimate the smallest $m$ for which an $H$-free $n$-vertex graph $G$ is a.a.s. $(k,m)$-colourable. This extends and improves several results of Casselgren.
More on graph pebbling number
Published
• View Publication
• BIB
Let $G=(V,E)$ be a simple graph. A function $φ:V\rightarrow \mathbb{N}\cup \{0\}$ is called a configuration of pebbles on the vertices of $G$ and the quantity $\sum_{u\in V}φ(u)$ is called the size of $φ$ which is just the total number of pebbles assigned to vertices. A pebbling step from a vertex $u$ to one of its neighbors $v$ reduces $φ(u)$ by two and increases $φ(v)$ by one. Given a specified target vertex $r$ we say that $φ$ is $t$-fold $r$-solvable, if some sequence of pebbling steps places at least $t$ pebbles on $r$. Conversely, if no such steps exist, then $φ$ is $r$-unsolvable. The minimum positive integer $m$ such that every configuration of size $m$ on the vertices of $G$ is $t$-fold $r$-solvable is denoted by $π_t(G,r)$. The $t$-fold pebbling number of $G$ is defined to be $π_t(G)= max_{r\in V(G)}π_t(G,r)$. When $t=1$, we simply write $π(G)$, which is the pebbling number of $G$. In this note, we study the pebbling number for some specific graphs. Also we investigate the pebbling number of corona and neighbourhood corona of two graphs.
An improved lower bound on the Shannon capacities of complements of odd cycles
Published in Proc. Amer. Math. Soc. 153 (2025), 1751-1759
• View Publication
• BIB
Improving a 2003 result of Bohman and Holzman, we show that for $n \geq 1$, the Shannon capacity of the complement of the $2n+1$-cycle is at least $(2^{r_n} + 1)^{1/r_n} = 2 + Ω(2^{-r_n}/r_n)$, where $r_n = \exp(O((\log n)^2))$ is the number of partitions of $2(n-1)$ into powers of $2$. We also discuss a connection between this result and work by Day and Johnson in the context of graph Ramsey numbers.