arXiv++ Combinatorics

We investigate some topological and spectral properties of Erdős-Rényi (ER) random digraphs $D(n,p)$. In terms of topological properties, our primary focus lies in analyzing the number of non-isolated vertices $V_x(D)$ as well as two vertex-degree-based topological indices: the Randić index $R(D)$ and sum-connectivity index $χ(D)$. First, by performing a scaling analysis we show that the average degree $\langle k \rangle$ serves as scaling parameter for the average values of $V_x(D)$, $R(D)$ and $χ(D)$. Then, we also state expressions relating the number of arcs, spectral radius, and closed walks of length 2 to $(n,p)$, the parameters of ER random digraphs. Concerning spectral properties, we compute six different graph energies on $D(n,p)$. We start by validating $\langle k \rangle$ as the scaling parameter of the graph energies. Additionally, we reformulate a set of bounds previously reported in the literature for these energies as a function $(n,p)$. Finally, we phenomenologically state relations between energies that allow us to extend previously known bounds.

Let $G=(V(G), E(G))$ be a simple graph with vertex set $V(G)$ and edge set $E(G)$. Let $S$ be a subset of $V(G)$, and let $B(S)$ be the set of neighbours of $S$ in $V(G) \setminus S$. The differential $\partial(S)$ of $S$ is the number $|B(S)|-|S|$. The maximum value of $\partial(S)$ taken over all subsets $S\subseteq V(G)$ is the differential $\partial(G)$ of $G$. The graph $R{G}$ is defined as the graph obtained from $G$ by adding a new vertex $v_e$ for each $e\in E(G)$, and by joining $v_e$ to the end vertices of $e$. In this paper we study the relationship between $\partial(G)$ and $\partial(R(G))$, and give tight asymptotic bounds for $\partial(R(G))$. We also exhibit some relationships between certain vertex sets of $G$ and $R(G)$ which involve well known graph theoretical parameters.

We make use of multiplicative degree-based topological indices $X_Π(G)$ to perform a detailed analytical and statistical study of random networks $G=(V(G),E(G))$. We consider two classes of indices: $X_Π(G) = \prod_{u \in V(G)} F_V(d_u)$ and $X_Π(G) = \prod_{uv \in E(G)} F_E(d_u,d_v)$, where $uv$ denotes the edge of $G$ connecting the vertices $u$ and $v$, $d_u$ is the degree of the vertex $u$, and $F_V(x)$ and $F_E(x,y)$ are functions of the vertex degrees. Specifically, we find analytical inequalities involving these multiplicative indices. Also, we apply $X_Π(G)$ on three models of random networks: Erdös-Rényi networks, random geometric graphs, and bipartite random networks. We show that $\left< \ln X_Π(G) \right>$, normalized to the order of the network, scale with the corresponding average degree; here $\left< \cdot \right>$ denotes the average over an ensemble of random networks.

Given a simple connected non-directed graph $G=(V(G),E(G))$, we consider two families of graph invariants: $RX_Σ(G) = \sum_{uv \in E(G)} F(r_u,r_v)$ (which has gained interest recently) and $RX_Π(G) = \prod_{uv \in E(G)} F(r_u,r_v)$ (that we introduce in this work); where $uv$ denotes the edge of $G$ connecting the vertices $u$ and $v$, $r_u$ is the Revan degree of the vertex $u$, and $F$ is a function of the Revan vertex degrees. Here, $r_u = Δ+ δ- d_u$ with $Δ$ and $δ$ the maximum and minimum degrees among the vertices of $G$ and $d_u$ is the degree of the vertex $u$. Particularly, we apply both $RX_Σ(G)$ and R$X_Π(G)$ on two models of random graphs: Erdös-Rényi graphs and random geometric graphs. By a thorough computational study we show that $\left< RX_Σ(G) \right>$ and $\left< \ln RX_Π(G) \right>$, normalized to the order of the graph, scale with the average Revan degree $\left< r \right>$; here $\left< \cdot \right>$ denotes the average over an ensemble of random graphs. Moreover, we provide analytical expressions for several graph invariants of both families in the dense graph limit.

Inequalities play an important role in pure and applied mathematics. In particular, Opial inequality plays a main role in the study of the existence and uniqueness of initial and boundary value problems for differential equations. It has several interesting generalizations. In this work we prove some new Opial-type inequalities, and we apply them to generalized Riemann-Liouville-type integral operators.

We introduce a degree-based variable topological index inspired on the Stolarsky mean (known as the generalization of the logarithmic mean). We name this new index as the Stolarsky-Puebla index: $SP_α(G) = \sum_{uv \in E(G)} d_u$, if $d_u=d_v$, and $SP_α(G) = \sum_{uv \in E(G)} \left[\left( d_u^α-d_v^α\right)/\left( α(d_u-d_v\right)\right]^{1/(α-1)}$, otherwise. Here, $uv$ denotes the edge of the network $G$ connecting the vertices $u$ and $v$, $d_u$ is the degree of the vertex $u$, and $α\in \mathbb{R} \backslash \{0,1\}$. Indeed, for given values of $α$, the Stolarsky-Puebla index reproduces well-known topological indices such as the reciprocal Randic index, the first Zagreb index, and several mean Sombor indices. Moreover, we apply these indices to random networks and demonstrate that $\left< SP_α(G) \right>$, normalized to the order of the network, scale with the corresponding average degree $\left< d \right>$.

We perform a detailed computational study of the recently introduced Sombor indices on random graphs. Specifically, we apply Sombor indices on three models of random graphs: Erdös-Rényi graphs, random geometric graphs, and bipartite random graphs. Within a statistical random matrix theory approach, we show that the average values of Sombor indices, normalized to the order of the graph, scale with the graph average degree. Moreover, we discuss the application of average Sombor indices as complexity measures of random graphs and, as a consequence, we show that selected normalized Sombor indices are highly correlated with the Shannon entropy of the eigenvectors of the graph adjacency matrix.

A large number of graph invariants of the form $\sum_{uv \in E(G)} F(d_u,d_v)$ are studied in mathematical chemistry, where $uv$ denotes the edge of the graph $G$ connecting the vertices $u$ and $v$, and $d_u$ is the degree of the vertex $u$. Among them the variable inverse sum deg index $ISD_a$, with $F(d_u,d_v)=1/(d_u^a+d_v^a)$, was found to have applicative properties. The aim of this paper is to obtain new inequalities for the variable inverse sum deg index, and to characterize graphs extremal with respect to them. Some of these inequalities generalize and improve previous results for the inverse sum deg index. In addition, we computationally validate some of the obtained inequalities on ensembles of random graphs and show that the ratio $\left\langle ISD_a(G) \right\rangle/n$ ($n$ being the order of the graph) depends only on the average degree $\left\langle d \right\rangle$.

The aim of this work is to obtain new inequalities for the variable symmetric division deg index $SDD_α(G) = \sum_{uv \in E(G)} (d_u^α/d_v^α+d_v^α/d_u^α)$, and to characterize graphs extremal with respect to them. Here, $uv$ denotes the edge of the graph $G$ connecting the vertices $u$ and $v$, $d_u$ is the degree of the vertex $u$, and $α\in \mathbb{R}$. Some of these inequalities generalize and improve previous results for the symmetric division deg index. In addition, we computationally apply the $SDD_α(G)$ index on random graphs and show that the ratio $\left\langle SDD_α(G) \right\rangle/n$ ($n$ being the order of the graph) depends only on the average degree $\left\langle d \right\rangle$.

In this work we perform computational and analytical studies of the Randić index $R(G)$ in Erdös-Rényi models $G(n,p)$ characterized by $n$ vertices connected independently with probability $p \in (0,1)$. First, from a detailed scaling analysis, we show that $\left\langle \overline{R}(G) \right\rangle = \left\langle R(G)\right\rangle/(n/2)$ scales with the product $ξ\approx np$, so we can define three regimes: a regime of mostly isolated vertices when $ξ< 0.01$ ($R(G)\approx 0$), a transition regime for $0.01 < ξ< 10$ (where $0<R(G)< n/2$), and a regime of almost complete graphs for $ξ> 10$ ($R(G)\approx n/2$). Then, motivated by the scaling of $\left\langle \overline{R}(G) \right\rangle$, we analytically (i) obtain new relations connecting $R(G)$ with other topological indices and characterize graphs which are extremal with respect to the relations obtained and (ii) apply these results in order to obtain inequalities on $R(G)$ for graphs in Erdös-Rényi models.

Distinctive power of the alliance polynomial has been studied in previous works, for instance, it has been proved that the empty, path, cycle, complete, complete without one edge and star graphs are characterized by its alliance polynomial. Moreover, it has been proved that the family of alliance polynomial of regular graphs with small degree is a very special one, since it does not contain alliance polynomial of graphs other than regular graph with the same degree. In this work we prove that the alliance polynomial also determines the wheel graphs.

The concept of geometric-arithmetic index was introduced in the chemical graph theory recently, but it has shown to be useful. The aim of this paper is to obtain new inequalities involving the geometric-arithmetic index $GA_1$ and characterize graphs extremal with respect to them.

The alliance polynomial of a graph $G$ with order $n$ and maximum degree $Δ$ is the polynomial $A(G; x) = \sum_{k=-Δ}^Δ A_{k}(G) \, x^{n+k}$, where $A_{k}(G)$ is the number of exact defensive $k$-alliances in $G$. We obtain some properties of $A(G; x)$ and its coefficients for regular graphs. In particular, we characterize the degree of regular graphs by the number of non-zero coefficients of their alliance polynomial. Besides, we prove that the family of alliance polynomials of $Δ$-regular graphs with small degree is a very special one, since it does not contain alliance polynomials of graphs which are not $Δ$-regular. By using this last result and direct computation we find that the alliance polynomial determines uniquely each cubic graph of order less than or equal to $10$.

If X is a geodesic metric space and $x_1,x_2,x_3\in X$, a {\it geodesic triangle} $T=\{x_1,x_2,x_3\}$ is the union of the three geodesics $[x_1x_2]$, $[x_2x_3]$ and $[x_3x_1]$ in $X$. The space $X$ is $δ$-\emph{hyperbolic} $($in the Gromov sense$)$ if any side of $T$ is contained in a $δ$-neighborhood of the union of the two other sides, for every geodesic triangle $T$ in $X$. If $X$ is hyperbolic, we denote by $δ(X)$ the sharp hyperbolicity constant of $X$, i.e. $δ(X)=\inf\{δ\ge 0: \, X \, \text{ is $δ$-hyperbolic}\,\}\,.$ Some previous works characterize the hyperbolic product graphs (for the Cartesian product, strong product and lexicographic product) in terms of properties of the factor graphs. In this paper we characterize the hyperbolic product graphs for graph join $G_1\uplus G_2$ and the corona $G_1\diamond G_2$: $G_1\uplus G_2$ is always hyperbolic, and $G_1\diamond G_2$ is hyperbolic if and only if $G_1$ is hyperbolic. Furthermore, we obtain simple formulae for the hyperbolicity constant of the graph join $G_1\uplus G_2$ and the corona $G_1\diamond G_2$.

The alliance polynomial of a graph $Γ$ with order $n$ and maximum degree $δ_1$ is the polynomial $A(Γ; x) = \sum_{k=-δ_1}^{δ_1} A_{k}(Γ) \, x^{n+k}$, where $A_{k}(Γ)$ is the number of exact defensive $k$-alliances in $Γ$. We provide an algorithm for computing the alliance polynomial. Furthermore, we obtain some properties of $A(Γ; x)$ and its coefficients. In particular, we prove that the path, cycle, complete and star graphs are characterized by their alliance polynomials. We also show that the alliance polynomial characterizes many graphs that are not distinguished by other usual polynomials of graphs.

If X is a geodesic metric space and $x_1,x_2,x_3\in X$, a {\it geodesic triangle} $T=\{x_1,x_2,x_3\}$ is the union of the three geodesics $[x_1x_2]$, $[x_2x_3]$ and $[x_3x_1]$ in $X$. The space $X$ is $δ$-\emph{hyperbolic} $($in the Gromov sense$)$ if any side of $T$ is contained in a $δ$-neighborhood of the union of the two other sides, for every geodesic triangle $T$ in $X$. We denote by $δ(X)$ the sharp hyperbolicity constant of $X$, i.e. $δ(X):=\inf\{δ\ge 0: \, X \, \text{ is $δ$-hyperbolic}\,\}\,. $ The main result of this paper is the inequality $δ(G) \le δ(\mathcal L(G))$ for the line graph $\mathcal L(G)$ of every graph $G$. We prove also the upper bound $δ(\mathcal L(G)) \le 5 δ(G)+ 3 l_{max}$, where $l_{max}$ is the supremum of the lengths of the edges of $G$. Furthermore, if every edge of $G$ has length $k$, we obtain $δ(G) \le δ(\mathcal L(G)) \le 5 δ(G)+ 5k/2$.

For an ordered subset $S = \{s_1, s_2,\dots s_k\}$ of vertices and a vertex $u$ in a connected graph $G$, the metric representation of $u$ with respect to $S$ is the ordered $k$-tuple $ r(u|S)=(d_G(v,s_1), d_G(v,s_2),\dots,$ $d_G(v,s_k))$, where $d_G(x,y)$ represents the distance between the vertices $x$ and $y$. The set $S$ is a metric generator for $G$ if every two different vertices of $G$ have distinct metric representations. A minimum metric generator is called a metric basis for $G$ and its cardinality, $dim(G)$, the metric dimension of $G$. It is well known that the problem of finding the metric dimension of a graph is NP-Hard. In this paper we obtain closed formulae and tight bounds for the metric dimension of strong product graphs.

A defensive $k$-alliance in a graph is a set $S$ of vertices with the property that every vertex in $S$ has at least $k$ more neighbors in $S$ than it has outside of $S$. A defensive $k$-alliance $S$ is called global if it forms a dominating set. In this paper we study the problem of partitioning the vertex set of a graph into (global) defensive $k$-alliances. The (global) defensive $k$-alliance partition number of a graph $Γ=(V,E)$, ($ψ_{k}^{gd}(Γ)$) $ψ_k^{d}(Γ)$, is defined to be the maximum number of sets in a partition of $V$ such that each set is a (global) defensive $k$-alliance. We obtain tight bounds on $ψ_k^{d}(Γ)$ and $ψ_{k}^{gd}(Γ)$ in terms of several parameters of the graph including the order, size, maximum and minimum degree, the algebraic connectivity and the isoperimetric number. Moreover, we study the close relationships that exist among partitions of $Γ_1\times Γ_2$ into (global) defensive $(k_1+k_2)$-alliances and partitions of $Γ_i$ into (global) defensive $k_i$-alliances, $i\in \{1,2\}$.

We investigate the relationship between global offensive $k$-alliances and some characteristic sets of a graph including $r$-dependent sets and $τ$-dominating sets. As a consequence of the study, we obtain bounds on the global offensive $k$-alliance number in terms of several parameters of the graph.