graph
35396 papers tagged with this keyword
Spectral radius and edge-disjoint spanning trees
The spanning tree packing number of a graph $G$, denoted by $τ(G)$, is the maximum number of edge-disjoint spanning trees contained in $G$. The study of $τ(G)$ is one of the classic problems in graph theory. Cioabă and Wong initiated to investigate $τ(G)$ from spectral perspectives in 2012 and since then, $τ(G)$ has been well studied using the second largest eigenvalue of the adjacency matrix in the past decade. In this paper, we further extend the results in terms of the number of edges and the spectral radius, respectively; and prove tight sufficient conditions to guarantee $τ(G)\geq k$ with extremal graphs characterized. Moreover, we confirm a conjecture of Ning, Lu and Wang on characterizing graphs with the maximum spectral radius among all graphs with a given order as well as fixed minimum degree and fixed edge connectivity. Our results have important applications in rigidity and nowhere-zero flows. We conclude with some open problems in the end.
On smallest $3$-polytopes of given graph radius
Published
• View Publication
• BIB
The $3$-polytopes are planar, $3$-connected graphs. A classical question is, for $r\geq 3$, is the $2(r-1)$-gonal prism $K_2\times C_{2(r-1)}$ the unique $3$-polytope of graph radius $r$ and smallest size? Under some extra assumptions, we answer this question in the positive.
Certain properties of the enhanced power graph associated with a finite group
Published
• View Publication
• BIB
The enhanced power graph of a finite group $G$, denoted by $\mathcal{P}_E(G)$, is the simple undirected graph whose vertex set is $G$ and two distinct vertices $x, y$ are adjacent if $x, y \in \langle z \rangle$ for some $z \in G$. In this article, we determine all finite groups such that the minimum degree and the vertex connectivity of $\mathcal{P}_E(G)$ are equal. Also, we classify all groups whose (proper) enhanced power graphs are strongly regular. Further, the vertex connectivity of the enhanced power graphs associated to some nilpotent groups is obtained. Finally, we obtain a lower bound and an upper bound for the Wiener index of $\mathcal{P}_E(G)$, where $G$ is a nilpotent group. The finite nilpotent groups attaining these bounds are also characterized.
Combing a Linkage in an Annulus
Published
• View Publication
• BIB
A linkage in a graph $G$ of size $k$ is a subgraph $L$ of $G$ whose connected components are $k$ paths. The pattern of a linkage of size $k$ is the set of $k$ pairs formed by the endpoints of these paths. A consequence of the Unique Linkage Theorem is the following: there exists a function $f:\mathbb{N}\to\mathbb{N}$ such that if a plane graph $G$ contains a sequence $\mathcal{C}$ of at least $f(k)$ nested cycles and a linkage of size at most $k$ whose pattern vertices lay outside the outer cycle of $\mathcal{C},$ then $G$ contains a linkage with the same pattern avoiding the inner cycle of $\mathcal{C}$. In this paper we prove the following variant of this result: Assume that all the cycles in $\mathcal{C}$ are "orthogonally" traversed by a linkage $P$ and $L$ is a linkage whose pattern vertices may lay either outside the outer cycle or inside the inner cycle of $\mathcal{C}:=[C_{1},\ldots,C_{p},\ldots,C_{2p-1}]$. We prove that there are two functions $g,f:\mathbb{N}\to\mathbb{N}$, such that if $L$ has size at most $k$, $P$ has size at least $f(k),$ and $|\mathcal{C}|\geq g(k)$, then there is a linkage with the same pattern as $L$ that is "internally combed" by $P$, in the sense that $L\cap C_{p}\subseteq P\cap C_{p}$. In fact, we prove this result in the most general version where the linkage $L$ is $s$-scattered: no two vertices of distinct paths of $L$ are within distance at most $s$. We deduce several variants of this result in the cases where $s=0$ and $s>0$. These variants permit the application of the unique linkage theorem on several path routing problems on embedded graphs.
Connectivity of random hypergraphs with a given hyperedge size distribution
Published in Discrete Applied Mathematics 357:1--13, 2024
• View Publication
• BIB
This article discusses random hypergraphs with varying hyperedge sizes, admitting large hyperedges with size tending to infinity, and heavy-tailed limiting hyperedge size distributions. The main result describes a threshold for the random hypergraph to be connected with high probability, and shows that the average hyperedge size suffices to characterise connectivity under mild regularity assumptions. Especially, the connectivity threshold is in most cases insensitive to the shape and higher moments of the hyperedge size distribution. Similar results are also provided for related random intersection graph models.
Bounding the List Color Function Threshold from Above
Published in Involve 16 (2023) 849-882
• View Publication
• BIB
The chromatic polynomial of a graph $G$, denoted $P(G,m)$, is equal to the number of proper $m$-colorings of $G$ for each $m \in \mathbb{N}$. In 1990, Kostochka and Sidorenko introduced the list color function of graph $G$, denoted $P_{\ell}(G,m)$, which is a list analogue of the chromatic polynomial. The list color function threshold of $G$, denoted $τ(G)$, is the smallest $k \geq χ(G)$ such that $P_{\ell}(G,m) = P(G,m)$ whenever $m \geq k$. It is known that for every graph $G$, $τ(G)$ is finite, and in fact, $τ(G) \leq (|E(G)|-1)/\ln(1+ \sqrt{2}) + 1$. It is also known that when $G$ is a cycle or chordal graph, $G$ is enumeratively chromatic-choosable which means $τ(G) = χ(G)$. A recent paper of Kaul et al. suggests that understanding the list color function threshold of complete bipartite graphs is essential to the study of the extremal behavior of $τ$. In this paper we show that for any $n \geq 2$, $τ(K_{2,n}) \leq \lceil (n+2.05)/1.24 \rceil$ which gives an improvement on the general upper bound for $τ(G)$ when $G = K_{2,n}$. We also develop additional tools that allow us to show that $τ(K_{2,3}) = χ(K_{2,3})$ and $τ(K_{2,4}) = τ(K_{2,5}) = 3$.
Canonical graph decompositions via coverings
We present a canonical way to decompose finite graphs into highly connected local parts. The decomposition depends only on an integer parameter whose choice sets the intended degree of locality. The global structure of the graph, as determined by the relative position of these parts, is described by a coarser $\it model$. This is a simpler graph determined entirely by the decomposition, not imposed.
The model and decomposition are obtained as projections of the tangle-tree structure of a covering of the given graph that reflects its local structure while unfolding its global structure. In this way, the tangle theory from graph minors is brought to bear canonically on arbitrary graphs, which need not be tree-like.
Our theorem extends to locally finite quasi-transitive graphs, and in particular to locally finite Cayley graphs. It thereby offers a canonical decomposition for finitely generated groups into local parts, whose relative structure is displayed by a graph.
Killing a Vortex
Published
• View Publication
• BIB
The Graph Minors Structure Theorem of Robertson and Seymour asserts that, for every graph $H,$ every $H$-minor-free graph can be obtained by clique-sums of ``almost embeddable'' graphs. Here a graph is ``almost embeddable'' if it can be obtained from a graph of bounded Euler-genus by pasting graphs of bounded pathwidth in an ``orderly fashion'' into a bounded number of faces, called the \textit{vortices}, and then adding a bounded number of additional vertices, called \textit{apices}, with arbitrary neighborhoods. Our main result is a {full classification} of all graphs $H$ for which the use of vortices in the theorem above can be avoided. To this end we identify a (parametric) graph $\mathscr{S}_{t}$ and prove that all $\mathscr{S}_{t}$-minor-free graphs can be obtained by clique-sums of graphs embeddable in a surface of bounded Euler-genus after deleting a bounded number of vertices. We show that this result is tight in the sense that the appearance of vortices cannot be avoided for $H$-minor-free graphs, whenever $H$ is not a minor of $\mathscr{S}_{t}$ for some $t\in\mathbb{N}.$
Using our new structure theorem, we design an algorithm that, given an $\mathscr{S}_{t}$-minor-free graph $G,$ computes the generating function of all perfect matchings of $G$ in polynomial time. Our results, combined with known complexity results, imply a complete characterization of minor-closed graph classes where the number of perfect matchings is polynomially computable: They are exactly those graph classes that do not contain every $\mathscr{S}_{t}$ as a minor. This provides a \textit{sharp} complexity dichotomy for the problem of counting perfect matchings in minor-closed classes.
Vertex Partitions and Maximum $\G$-free Subgraphs
We define a $(V_1, V_2, \ldots, V_k)$-partition for a given graph $H$ and graphical properties $P_1, P_2, \ldots, P_k$ as a partition where each $V_i$ induces a subgraph of $H$ with property $P_i$. Matamala (2007) extended this result by showing that for any graph $H$ with $Δ(H)=p+q$, there exists a $(V_1, V_2)$-partition of $V(H)$ where $H[V_1]$ is a maximum order $(p-1)$-degenerate induced subgraph and $H[V_2]$ is $(q-1)$-degenerate. Additionally, Catlin and Lai proved that if $Δ(H)\geq 5$, $H$ has a $(V_1, V_2)$-partition such that $H[V_1]$ is a maximum order acyclic induced subgraph, $ω(H[V_2])\leq Δ(H)-2$, and $Δ(H[V_2])\leq Δ(H)-2$.
Rowshan and Taherkhani demonstrated that given a graph $G$ with a minimum degree $δ(G)$ and for $k=\lceil \frac{Δ(H)}{δ(G)}\rceil$, there exists a $(V_1, V_2, \ldots, V_k)$-partition of the vertex set of $H$, such that each $H[V_i]$ is $G$-free, meaning it does not contain a subgraph isomorphic to $G$, and $H[V_1]$ is a maximum order $G$-free induced subgraph.
In our paper, we present a novel result for a connected graph $H$ with $Δ(H)\geq 5$ and without $K_{Δ(H)+1}\setminus e$ as a subgraph. We establish that when $p_1\geq p_2\geq\cdots\geq p_{k-1}\geq 2$, $p_k\geq 4$, $\sum_{i=1}^k p_i=Δ(H)-1+k$, and $\mathcal{G}_i$ represents a family of graphs with a minimum degree at least $p_i-1$ for each $i\in [k-1]$, a $(V_1, V_2, \ldots, V_k)$-partition of $V(H)$ exists. This partition guarantees that $H[V_1]$ is a maximum order $\mathcal{G}_1$-free induced subgraph, $H[V_i]$ is $\mathcal{G}_i$-free for each $2\leq i\leq k-1$, $Δ(H[V_k])\leq p_k$, and either $H[V_k]$ is $K_{p_k}$-free or its $p_k$-cliques are disjoint.
Dynamic random graphs with vertex removal
We introduce and analyse a Dynamic Random Graph with Vertex Removal (DRGVR) defined as follows. At every step, with probability $p > 1/2$ a new vertex is introduced, and with probability $1-p$ a vertex, chosen uniformly at random among the present ones (if any), is removed from the graph together with all edges adjacent to it. In the former case, the new vertex connects by an edge to every other vertex with probability inversely proportional to the number of vertices already present.
We prove that the DRGVR converges to a local limit and determine this limit. Moreover, we analyse its component structure and distinguish a subcritical and a supercritical regime with respect to the existence of a giant component. As a byproduct of this analysis, we obtain upper and lower bounds for the critical parameter. Furthermore, we provide precise expression of the maximum degree (as well as in- and out-degree for a natural orientation of the DRGVR). Several concentration and stability results complete the study.
Size-Ramsey numbers of graphs with maximum degree three
The size-Ramsey number $\hat{r}(H)$ of a graph $H$ is the smallest number of edges a (host) graph $G$ can have, such that for any red/blue colouring of $G$, there is a monochromatic copy of $H$ in $G$. Recently, Conlon, Nenadov and Trujić showed that if $H$ is a graph on $n$ vertices and maximum degree three, then $\hat{r}(H) = O(n^{8/5})$, improving upon the upper bound of $n^{5/3 + o(1)}$ by Kohayakawa, Rödl, Schacht and Szemerédi. In this paper we show that $\hat{r}(H)\leq n^{3/2+o(1)}$. While the previously used host graphs were vanilla binomial random graphs, we prove our result using a novel host graph construction. Our bound hits a natural barrier of the existing methods.
The threshold for the constrained Ramsey property
Given graphs $G$, $H_1$, and $H_2$, let $G\xrightarrow{\text{mr}}(H_1,H_2)$ denote the property that in every edge colouring of $G$ there is a monochromatic copy of $H_1$ or a rainbow copy of $H_2$. The constrained Ramsey number, defined as the minimum $n$ such that $K_n\xrightarrow{\text{mr}}(H_1,H_2)$, exists if and only if $H_1$ is a star or $H_2$ is a forest. We determine the threshold for the property $G(n,p)\xrightarrow{\text{mr}}(H_1,H_2)$ when $H_2$ is a forest, explicitly when the threshold is $Ω(n^{-1})$ and implicitly otherwise.
Large sets of strongly cospectral vertices in Cayley graphs
Published
• View Publication
• BIB
Strong cospectrality is an equivalence relation on the set of vertices of a graph that is of importance in the study of quantum state transfer in graphs. We construct families of abelian Cayley graphs in which the number of mutually strongly cospectral vertices can be arbitrarily large.
Reduced Power Graphs of $\mathrm{PGL}_n(\mathbb{F}_q)$
Given a group $G$, let us connect two non-identity elements by an edge if and only if one is a power of another. This gives a graph structure on $G$ minus identity, called the reduced power graph. It is conjectured by Akbari and Ashrafi that if a non-abelian finite simple group has a connected reduced power graph, then it must be an alternating group.
In this paper, we shall give a complete description of when the reduced power graphs of $\mathrm{PGL}_n(\mathbb{F}_q)$ are connected for all $q$ and all $n\geq 3$. In particular, the conjectured by Akbari and Ashrafi is false. We shall also provide an upper bound in their diameters, and in case of disconnection, provide a description of all connected components.
Large independent sets in recursive Markov random graphs
Published in Mathematics of Operations Research, Articles in Advance, pp. 1--24, 2024
• View Publication
• BIB
Computing the maximum size of an independent set in a graph is a famously hard combinatorial problem that has been well-studied for various classes of graphs. When it comes to random graphs, only the classical Erdős-Rényi-Gilbert random graph $G_{n,p}$ has been analysed and shown to have largest independent sets of size $Θ(\log{n})$ w.h.p. This classical model does not capture any dependency structure between edges that can appear in real-world networks. We initiate study in this direction by defining random graphs $G^{r}_{n,p}$ whose existence of edges is determined by a Markov process that is also governed by a decay parameter $r\in(0,1]$. We prove that w.h.p. $G^{r}_{n,p}$ has independent sets of size $(\frac{1-r}{2+ε}) \frac{n}{\log{n}}$ for arbitrary $ε> 0$, which implies an asymptotic lower bound of $Ω(π(n))$ where $π(n)$ is the prime-counting function. This is derived using bounds on the terms of a harmonic series, Turán bound on stability number, and a concentration analysis for a certain sequence of dependent Bernoulli variables that may also be of independent interest. Since $G^{r}_{n,p}$ collapses to $G_{n,p}$ when there is no decay, it follows that having even the slightest bit of dependency (any $r < 1$) in the random graph construction leads to the presence of large independent sets and thus our random model has a phase transition at its boundary value of $r=1$. For the maximal independent set output by a greedy algorithm, we deduce that it has a performance ratio of at most $1 + \frac{\log{n}}{(1-r)}$ w.h.p. when the lowest degree vertex is picked at each iteration, and also show that under any other permutation of vertices the algorithm outputs a set of size $Ω(n^{1/1+τ})$, where $τ=1/(1-r)$, and hence has a performance ratio of $O(n^{\frac{1}{2-r}})$.
Spanning trees with at most $5$ leaves and branch vertices in total of $K_{1,5}$-free graphs
Published
• View Publication
• BIB
In this paper, we prove that every $n$-vertex connected $K_{1,5}$-free graph $G$ with $σ_4(G)\geq n-1$ contains a spanning tree with at most $5$ leaves and branch vertices in total. Moreover, the degree sum condition "$σ_4(G)\geq n-1$" is best possible.
Exchange graphs of cluster algebras have the non-leaving-face property
Published in Bulletin London Math. Soc. (2023), 55, 2062-2069
• View Publication
• BIB
The claim in the title is proved.
Joins of normal matrices, their spectrum, and applications
Motivated by studies of oscillator networks, we study the spectrum of the join of several normal matrices with constant row sums. We apply our results to compute the characteristic polynomial of the join of several regular graphs. We then use this theorem to study several problems in spectral graph theory. In particular, we provide some simple constructions of Ramanujan graphs and give new proofs for some theorems in the classical book of Cvetković, Rowlinson, and Slobodan.
Riemann-Roch for Toric Rank Functions
In this thesis we study toric rank functions for chip firing games and prove special cases of a conjectural Riemann-Roch. The original motivation for an investigation into this area of study came for the adaptation (due to Matt Baker) of Riemann-Roch into a graph theoretic analogue through the use of chip-firing games. Here, we collect known results and present new observations that indicate Riemann--Roch holds for trees and polygons. We also prove an asymptotic case of Riemann--Roch (i.e.~Riemann--Roch for divisors of large degree). Finally, we also provide magma code and computational evidence that Riemann--Roch holds for the toric rank function.
The $\!{}\bmod k$ chromatic index of random graphs
Published
• View Publication
• BIB
The $\!{}\bmod k$ chromatic index of a graph $G$ is the minimum number of colors needed to color the edges of $G$ in a way that the subgraph spanned by the edges of each color has all degrees congruent to $1\!\!\pmod k$. Recently, the authors proved that the $\!{}\bmod k$ chromatic index of every graph is at most $198k-101$, improving, for large $k$, a result of Scott [Discrete Math. 175, 1-3 (1997), 289-291]. Here we study the $\!{}\bmod k$ chromatic index of random graphs. We prove that for every integer $k\geq2$, there is $C_k>0$ such that if $p\geq C_kn^{-1}\log{n}$ and $n(1-p) \rightarrow\infty$ as $n\to\infty$, then the following holds: if $k$ is odd, then the $\!{}\bmod k$ chromatic index of $G(n,p)$ is asymptotically almost surely equal to $k$, while if $k$ is even, then the $\!{}\bmod k$ chromatic index of $G(2n,p)$ (respectively $G(2n+1,p)$) is asymptotically almost surely equal to $k$ (respectively $k+1$).