graph
35367 papers tagged with this keyword
Extremal trees for Maximum Sombor index with given degree sequence
Let $G=(V, E)$ be a simple graph with vertex set $V$ and edge set $E$. The Sombor index of the graph $G$ is a degree-based topological index, defined as $$SO(G)=\sum_{uv \in E}\sqrt{d(u)^2+d(v)^2},$$ in which $d(x)$ is the degree of the vertex $x \in V$ for $x=u, v$. In this paper, we characterize the extremal trees with a given degree sequence that maximizes the Sombor index.
The generalized 3-connectivity of burnt pancake graphs and godan graphs
Published
• View Publication
• BIB
The generalized $k$-connectivity of a graph $G$, denoted by $κ_k(G)$, is the minimum number of internally edge disjoint $S$-trees for any $S\subseteq V(G)$ and $|S|=k$. The generalized $k$-connectivity is a natural extension of the classical connectivity and plays a key role in applications related to the modern interconnection networks. The burnt pancake graph $BP_n$ and the godan graph $EA_n$ are two kinds of Cayley graphs which posses many desirable properties. In this paper, we investigate the generalized 3-connectivity of $BP_n$ and $EA_n$. We show that $κ_3(BP_n)=n-1$ and $κ_3(EA_n)=n-1$.
Full Degree Spanning Trees in Random Regular Graphs
Published
• View Publication
• BIB
We study the problem of maximizing the number of full degree vertices in a spanning tree $T$ of a graph $G$; that is, the number of vertices whose degree in $T$ equals its degree in $G$. In cubic graphs, this problem is equivalent to maximizing the number of leaves in $T$ and minimizing the size of a connected dominating set of $G$. We provide an algorithm which produces (w.h.p.) a tree with at least $0.4591n$ vertices of full degree (and also, leaves) when run on a random cubic graph. This improves the previously best known lower bound of $0.4146 n$. We also provide lower bounds on the number of full degree vertices in the random regular graph $G(n,r)$ for $r \le 10$.
Finite $3$-connected-set-homogeneous locally $2\K_n$ graphs and $s$-arc-transitive graphs
Published
• View Publication
• BIB
In this paper, all graphs are assumed to be finite. For $s\geq 1$ and a graph $\G$, if for every pair of isomorphic connected induced subgraphs on at most $s$ vertices there exists an automorphism of $\G$ mapping the first to the second, then we say that $\G$ is $s$-connected-set-homogeneous, and if every isomorphism between two isomorphic connected induced subgraphs on at most $s$ vertices can be extended to an automorphism of $\G$, then we say that $\G$ is $s$-connected-homogeneous. For $n\geq 1$, a graph $\G$ is said to be locally $2\K_n$ if the subgraph $[\G(u)]$ induced on the set of vertices of $\G$ adjacent to a given vertex $u$ is isomorphic to $2\K_n$.
Note that $2$-connected-set-homogeneous but not $2$-connected-homogeneous graphs are just the half-arc-transitive graphs which are a quite active topic in algebraic graph theory. Motivated by this, we posed the problem of characterizing or classifying $3$-connected-set-homogeneous graphs of girth $3$ which are not $3$-connected-homogeneous in (Eur. J. Combin. 93 (2021) 103275). Until now, there have been only two known families of $3$-connected-set-homogeneous graphs of girth $3$ which are not $3$-connected-homogeneous, and these graphs are locally $2\K_n$ with $n=2$ or $4$. In this paper, we complete the classification of finite $3$-connected-set-homogeneous graphs which are locally $2\K_n$ with $n\geq 2$, and all such graphs are line graphs of some specific $2$-arc-transitive graphs. Furthermore, we give a good description of finite $3$-connected-set-homogeneous but not $3$-connected-homogeneous graphs which are locally $2\K_n$ and have solvable automorphism groups. This is then used to construct some new $3$-connected-set-homogeneous but not $3$-connected-homogeneous graphs as well as some new $2$-arc-transitive graphs.
Directed Acyclic Outerplanar Graphs Have Constant Stack Number
Published in TheoretiCS, Volume 4 (October 17, 2025) theoretics:13453
• View Publication
• BIB
The stack number of a directed acyclic graph $G$ is the minimum $k$ for which there is a topological ordering of $G$ and a $k$-coloring of the edges such that no two edges of the same color cross, i.e., have alternating endpoints along the topological ordering. We prove that the stack number of directed acyclic outerplanar graphs is bounded by a constant, which gives a positive answer to a conjecture by Heath, Pemmaraju and Trenk [SIAM J. Computing, 1999]. As an immediate consequence, this shows that all upward outerplanar graphs have constant stack number, answering a question by Bhore et al. [Eur. J. Comb., 2023] and thereby making significant progress towards the problem for general upward planar graphs originating from Nowakowski and Parker [Order, 1989]. As our main tool we develop the novel technique of directed $H$-partitions, which might be of independent interest. We complement the bounded stack number for directed acyclic outerplanar graphs by constructing a family of directed acyclic 2-trees that have unbounded stack number, thereby refuting a conjecture by Nöllenburg and Pupyrev [GD 2023].
Spanning trees in sparse expanders
Given integers $n\ge Δ\ge 2$, let $\mathcal{T}(n, Δ)$ be the collection of all $n$-vertex trees with maximum degree at most $Δ$. A question of Alon, Krivelevich and Sudakov in 2007 asks for determining the best possible spectral gap condition forcing an $(n, d,λ)$-graph to be $\mathcal{T}(n, Δ)$-universal, namely, it contains all members of $\mathcal{T}(n, Δ)$ as a subgraph simultaneously. In this paper we show that for sufficiently large integer $n$ and all $Δ\in \mathbb{N}$, every $(n, d,λ)$-graph with \[ λ\le\frac{d}{2Δ^{5\sqrt{\log n}}} \] is $\mathcal{T}(n, Δ)$-universal. As an immediate corollary, this implies that Alon's ingenious construction of triangle-free sparse expander is $\mathcal{T}(n, Δ)$-universal, which provides an explicit construction of such graphs and thus solves a question of Johannsen, Krivelevich and Samotij. Our main result is formulated under a much more general context, namely, the $(n,d)$-expanders. More precisely, we show that there exist absolute constants $C,c>0$ such that the following statement holds for sufficiently large integer $n$.
(1).For all $Δ\in \mathbb{N}$, every $(n, Δ^{5\sqrt{\log n}})$-expander is $\mathcal{T}(n, Δ)$-universal.
(2).For all $Δ\in \mathbb{N}$ with $Δ\le c\sqrt{n}$, every $(n, CΔn^{1/2})$-expander is $\mathcal{T}(n, Δ)$-universal.
Both results significantly improve a result of Johannsen, Krivelevich and Samotij, and have further implications in locally sparse expanders and Maker-Breaker games that also improve previously known results drastically.
An improvement of sufficient condition for $k$-leaf-connected graphs
Published
• View Publication
• BIB
For integer $k\geq2,$ a graph $G$ is called $k$-leaf-connected if $|V(G)|\geq k+1$ and given any subset $S\subseteq V(G)$ with $|S|=k,$ $G$ always has a spanning tree $T$ such that $S$ is precisely the set of leaves of $T.$ Thus a graph is $2$-leaf-connected if and only if it is Hamilton-connected. In this paper, we present a best possible condition based upon the size to guarantee a graph to be $k$-leaf-connected, which not only improves the results of Gurgel and Wakabayashi [On $k$-leaf-connected graphs, J. Combin. Theory Ser. B 41 (1986) 1-16] and Ao, Liu, Yuan and Li [Improved sufficient conditions for $k$-leaf-connected graphs, Discrete Appl. Math. 314 (2022) 17-30], but also extends the result of Xu, Zhai and Wang [An improvement of spectral conditions for Hamilton-connected graphs, Linear Multilinear Algebra, 2021]. Our key approach is showing that an $(n+k-1)$-closed non-$k$-leaf-connected graph must contain a large clique if its size is large enough. As applications, sufficient conditions for a graph to be $k$-leaf-connected in terms of the (signless Laplacian) spectral radius of $G$ or its complement are also presented.
The Stanley-Reisner ideal of the rook complex of polyominoes
Published
• View Publication
• BIB
We study the properties of the rook complex $\mathcal{R}$ of a polyomino $\mathcal{P}$ seen as independence complex of a graph $G$, and the associated Stanley--Reisner ideal $I_\mathcal{R}$. In particular, we characterize the polyominoes $\mathcal{P}$ having a pure rook complex, and the ones whose Stanley--Reisner ideal has linear resolution. Furthermore, we prove that for a class of polyominoes the Castelnuovo-Mumford regularity of $I_\mathcal{R}$ coincides with the induced matching number of $G$.
New transmission irregular chemical graphs
Published
• View Publication
• BIB
The transmission of a vertex $v$ of a (chemical) graph $G$ is the sum of distances from $v$ to other vertices in $G$. If any two vertices of $G$ have different transmissions, then $G$ is a transmission irregular graph. It is shown that for any odd number $n\geq 7$ there exists a transmission irregular chemical tree of order $n$. A construction is provided which generates new transmission irregular (chemical) trees. Two additional families of chemical graphs are characterized by property of transmission irregularity and two sufficient condition provided which guarantee that the transmission irregularity is preserved upon adding a new edge.
On 2-arc-transitive graphs of product action type
Published
• View Publication
• BIB
In this paper, we discuss the structural information about 2-arc-transitive (non-bipartite and bipartite) graphs of product action type. It is proved that a 2-arc-transitive graph of product action type requires certain restrictions on either the vertex-stabilizers or the valency. Based on the existence of some equidistant linear codes, a construction is given for 2-arc-transitive graphs of non-diagonal product action type, which produces several families of such graphs. Besides, a nontrivial construction is given for 2-arc-transitive bipartite graphs of diagonal product action type
On the distance-edge-monitoring numbers of graphs
Published
• View Publication
• BIB
Foucaud et al. [Discrete Appl. Math. 319 (2022), 424-438] recently introduced and initiated the study of a new graph-theoretic concept in the area of network monitoring. For a set $M$ of vertices and an edge $e$ of a graph $G$, let $P(M, e)$ be the set of pairs $(x, y)$ with a vertex $x$ of $M$ and a vertex $y$ of $V(G)$ such that $d_G(x, y)\neq d_{G-e}(x, y)$. For a vertex $x$, let $EM(x)$ be the set of edges $e$ such that there exists a vertex $v$ in $G$ with $(x, v) \in P(\{x\}, e)$. A set $M$ of vertices of a graph $G$ is distance-edge-monitoring set if every edge $e$ of $G$ is monitored by some vertex of $M$, that is, the set $P(M, e)$ is nonempty. The distance-edge-monitoring number of a graph $G$, denoted by $dem(G)$, is defined as the smallest size of distance-edge-monitoring sets of $G$. The vertices of $M$ represent distance probes in a network modeled by $G$; when the edge $e$ fails, the distance from $x$ to $y$ increases, and thus we are able to detect the failure. It turns out that not only we can detect it, but we can even correctly locate the failing edge. In this paper, we continue the study of \emph{distance-edge-monitoring sets}. In particular, we give upper and lower bounds of $P(M,e)$, $EM(x)$, $dem(G)$, respectively, and extremal graphs attaining the bounds are characterized. We also characterize the graphs with $dem(G)=3$.
Decomposition of Probability Marginals for Security Games in Max-Flow/Min-Cut Systems
Published
• View Publication
• BIB
Given a set system $(E, \mathcal{P})$ with $ρ\in [0, 1]^E$ and $π\in [0,1]^{ \mathcal{P}}$, our goal is to find a probability distribution for a random set $S \subseteq E$ such that $\operatorname{Pr}[e \in S] = ρ_e$ for all $e \in E$ and $\operatorname{Pr}[P \cap S \neq \emptyset] \geq π_P$ for all $P \in \mathcal{P}$. We extend the results of Dahan, Amin, and Jaillet (MOR 2022) who studied this problem motivated by a security game in a directed acyclic graph (DAG).
We focus on the setting where $π$ is of the affine form $π_P = 1 - \sum_{e \in P} μ_e$ for $μ\in [0, 1]^E$. A necessary condition for the existence of the desired distribution is that $\sum_{e \in P} ρ_e \geq π_P$ for all $P \in \mathcal{P}$. We show that this condition is sufficient if and only if $\mathcal{P}$ has the weak max-flow/min-cut property. We further provide an efficient combinatorial algorithm for computing the corresponding distribution in the special case where $(E, \mathcal{P})$ is an abstract network. As a consequence, equilibria for the security game by Dahan et al. can be efficiently computed in a wide variety of settings (including arbitrary digraphs).
As a subroutine of our algorithm, we provide a combinatorial algorithm for computing shortest paths in abstract networks, partially answering an open question by McCormick (SODA 1996). We further show that a conservation law proposed by Dahan et al. for the requirement vector $π$ in DAGs can be reduced to the setting of affine requirements described above.
An iterative approach for counting reduced ordered binary decision diagrams
For three decades binary decision diagrams, a data structure efficiently representing Boolean functions, have been widely used in many distinct contexts like model verification, machine learning, cryptography and also resolution of combinatorial problems. The most famous variant, called reduced ordered binary decision diagram (ROBDD for short), can be viewed as the result of a compaction procedure on the full decision tree. A useful property is that once an order over the Boolean variables is fixed, each Boolean function is represented by exactly one ROBDD. In this paper we aim at computing the exact distribution of the Boolean functions in $k$ variables according to the ROBDD size}, where the ROBDD size is equal to the number of decision nodes of the underlying directed acyclic graph (DAG for short) structure. Recall the number of Boolean functions with $k$ variables is equal to $2^{2^k}$, which is of double exponential growth with respect to the number of variables. The maximal size of a ROBDD with $k$ variables is $M_k \approx 2^k / k$. Apart from the natural combinatorial explosion observed, another difficulty for computing the distribution according to size is to take into account dependencies within the DAG structure of ROBDDs. In this paper, we develop the first polynomial algorithm to derive the distribution of Boolean functions over $k$ variables with respect to ROBDD size denoted by $n$. The algorithm computes the (enumerative) generating function of ROBDDs with $k$ variables up to size $n$. It performs $O(k n^4)$ arithmetical operations on integers and necessitates storing $O((k+n) n^2)$ integers with bit length $O(n\log n)$. Our new approach relies on a decomposition of ROBDDs layer by layer and on an inclusion-exclusion argument.
Rational Homotopy Type of Complements of Submanifold Arrangements
In this work we provide an explicit cdga that controls the rational homotopy type of the complement $X-\cup_i Z_i$, where $X$ is a smooth compact algebraic variety and $\{Z_i\}$ is a collection of subvarieties such that all set-theoretical intersections are smooth. The model is given in terms of the cohomology of all intersections of $Z_i$'s, and the natural maps induced by the inclusions. Our construction is inspired by the work of J.Morgan, who covered the fundamental case where $\{Z_i\}$ is a divisor with normal crossings, and it is built on developments of the theory of mixed Hodge diagrams by Cirici-Horel. We avoid any explicit reduction to the normal crossings divisor case, e.g. via the wonderful compactification of De Concini-Procesi. As an application of our approach we recover and generalize a few separate results on the complements of arrangements in a uniform manner. These include the Kritz-Totaro model for graph configuration spaces, Yuzvinsky's model for affine subspace arrangements and Dupont's model for complements of hypersurfaces with hyperplane-like intersection.
The minimum ABS index of trees with given number of pendent vertices
The recently developed atom-bond sum-connection (ABS) index is a variation of the well-studied graph-based molecular descriptors connectivity (Randic), atom-bond connectivity, and sum-connectivity indices.We present the minimum ABS index of trees with a given number of pendent vertices in this paper, which provides a solution to the problem proposed by A. Ali, I. Gutman and I. Redzepovic, Atom-Bond Sum-Connectivity Index of Unicyclic Graphs and Some Applications, Electron. J. Math.(2023) 1-7
Minimum Atom-Bond Sum-Connectivity Index of Trees With a Fixed Order and/or Number of Pendent Vertices
Published
• View Publication
• BIB
Let $d_u$ be the degree of a vertex $u$ of a graph $G$. The atom-bond sum-connectivity (ABS) index of a graph $G$ is the sum of the numbers $(1-2(d_v+d_w)^{-1})^{1/2}$ over all edges $vw$ of $G$. This paper gives the characterization of the graph possessing the minimum ABS index in the class of all trees of a fixed number of pendent vertices; the star is the unique extremal graph in the mentioned class of graphs. The problem of determining graphs possessing the minimum ABS index in the class of all trees with $n$ vertices and $p$ pendent vertices is also addressed; such extremal trees have the maximum degree $3$ when $n\ge 3p-2\ge7$, and the balanced double star is the unique such extremal tree for the case $p=n-2$.
$4$-choosability of planar graphs with $4$-cycles far apart via the Combinatorial Nullstellensatz
Published
• View Publication
• BIB
By a well-known theorem of Thomassen and a planar graph depicted by Voigt, we know that every planar graph is $5$-choosable, and the bound is tight. In 1999, Lam, Xu and Liu reduced $5$ to $4$ on $C_4$-free planar graphs. In the paper, by applying the famous Combinatorial Nullstellensatz, we design an effective algorithm to deal with list coloring problems. At the same time, we prove that a planar graph $G$ is $4$-choosable if any two $4$-cycles having distance at least $5$ in $G$, which extends the result of Lam et al.
Detecting Hidden Communities by Power Iterations with Connections to Vanilla Spectral Algorithms
Published
• View Publication
• BIB
Community detection in the stochastic block model is one of the central problems of graph clustering. Since its introduction, many subsequent papers have made great strides in solving and understanding this model. In this setup, spectral algorithms have been one of the most widely used frameworks. However, despite the long history of study, there are still unsolved challenges. One of the main open problems is the design and analysis of "simple"(vanilla) spectral algorithms, especially when the number of communities is large.
In this paper, we provide two algorithms. The first one is based on the power-iteration method. It is a simple algorithm which only compares the rows of the powered adjacency matrix. Our algorithm performs optimally (up to logarithmic factors) compared to the best known bounds in the dense graph regime by Van Vu (Combinatorics Probability and Computing, 2018). Furthermore, our algorithm is also robust to the "small cluster barrier", recovering large clusters in the presence of an arbitrary number of small clusters. Then based on a connection between the powered adjacency matrix and eigenvectors, we provide a vanilla spectral algorithm for large number of communities in the balanced case. This answers an open question by Van Vu (Combinatorics Probability and Computing, 2018) in the balanced case. Our methods also partially solve technical barriers discussed by Abbe, Fan, Wang and Zhong (Annals of Statistics, 2020).
In the technical side, we introduce a random partition method to analyze each entry of a powered random matrix. This method can be viewed as an eigenvector version of Wigner's trace method. Recall that Wigner's trace method links the trace of powered matrix to eigenvalues. Our method links the whole powered matrix to the span of eigenvectors. We expect our method to have more applications in random matrix theory.
Noncommutative Schur functions for posets
Published
• View Publication
• BIB
The machinery of noncommutative Schur functions is a general approach to Schur positivity of symmetric functions initiated by Fomin-Greene. Hwang recently adapted this theory to posets to give a new approach to the Stanley-Stembridge conjecture. We further develop this theory to prove that the symmetric function associated to any $P$-Knuth equivalence graph is Schur positive. This settles a conjecture of Kim and the third author, and refines results of Gasharov, Shareshian-Wachs, and Hwang on the Schur positivity of chromatic symmetric functions.
Directed Steiner path packing and directed path connectivity
For a digraph $D=(V(D), A(D))$, and a set $S\subseteq V(D)$ with $r\in S$ and $|S|\geq 2$, a directed $(S, r)$-Steiner path or, simply, an $(S, r)$-path is a directed path $P$ started at $r$ with $S\subseteq V(P)$. Two $(S, r)$-paths are said to be arc-disjoint if they have no common arc. Two arc-disjoint $(S, r)$-paths are said to be internally disjoint if the set of common vertices of them is exactly $S$. Let $κ^p_{S,r}(D)$ (resp. $λ^p_{S,r}(D)$) be the maximum number of internally disjoint (resp. arc-disjoint) $(S, r)$-paths in $D$. The directed path $k$-connectivity of $D$ is defined as $$κ^p_k(D)= \min \{κ^p_{S,r}(D)\mid S\subseteq V(D), |S|=k, r\in S\}.$$ Similarly, the directed path $k$-arc-connectivity of $D$ is defined as $$λ^p_k(D)= \min \{λ^p_{S,r}(D)\mid S\subseteq V(D), |S|=k, r\in S\}.$$ The directed path $k$-connectivity and directed path $k$-arc-connectivity are also called directed path connectivity which extends the path connectivity on undirected graphs to directed graphs and could be seen as a generalization of classical connectivity of digraphs.
In this paper, we obtain complexity results for $κ^p_{S,r}(D)$ on Eulerian digraphs and symmetric digraphs, and $λ^p_{S,r}(D)$ on general digraphs. We also give bounds for the parameters $κ^p_k(D)$ and $λ^p_k(D)$.