arXiv++ Combinatorics

Recently, Gutman defined a new vertex-degree-based graph invariant, named the Sombor index $SO$ of a graph $G$, and is defined by $$SO(G)=\sum_{uv\in E(G)}\sqrt{d_G(u)^2+d_G(v)^2},$$ where $d_G(v)$ is the degree of the vertex $v$ of $G$. In this paper, we obtain the sharp lower and upper bounds on $SO(G)$ of a connected graph, and characterize graphs for which these bounds are attained.

A set of novel vertex-degree-based invariants was introduced by Gutman, denoted by \newline $SO_1, SO_2, \ldots,SO_6$. These invariants were constructed through geometric reasoning based on a new graph invariant framework. Motivated by proposed open problems in [Z. Tang, Q. Li, H. Deng, \textit{Trees with Extremal Values of the Sombor-Index-Like Graph Invariants}, MATCH Commun. Math. Comput. Chem. \textbf{90} (2023) 203-222], we have found the maximum values of $SO_5$ and $SO_6$ in the set of molecular trees with a given number of vertices, respectively, and we have found the maximum value of $SO_5$ in a class of connected graphs.

A 1-removed subgraph $G_f$ of a graph $G=(V,E)$ is obtained by $(i)$ selecting at most one edge $f(v)$ for each vertex $v\in V$, such that $v\in f(v)\in E$ (the mapping $f:V\to E \cup \{\varnothing\}$ is allowed to be non-injective), and $(ii)$ deleting all the selected edges $f(v)$ from the edge set $E$ of $G$. Proper vertex colorings of 1-removed subgraphs proved to be a useful tool for earlier research on some Turán-type problems. In this paper, we introduce a systematic investigation of the graph invariant 1-robust chromatic number, denoted as $ω_1(G)$. This invariant is defined as the minimum chromatic number $χ(G_f)$ among all 1-removed subgraphs $G_f$ of $G$. We also examine other standard graph invariants in a similar manner.

If $X$ is a subset of vertices of a graph $G$, then vertices $u$ and $v$ are $X$-visible if there exists a shortest $u,v$-path $P$ such that $V(P)\cap X \subseteq \{u,v\}$. If each two vertices from $X$ are $X$-visible, then $X$ is a mutual-visibility set. The mutual-visibility number of $G$ is the cardinality of a largest mutual-visibility set of $G$ and has been already investigated. In this paper a variety of mutual-visibility problems is introduced based on which natural pairs of vertices are required to be $X$-visible. This yields the total, the dual, and the outer mutual-visibility numbers. We first show that these graph invariants are related to each other and to the classical mutual-visibility number, and then we prove that the three newly introduced mutual-visibility problems are computationally difficult. According to this result, we compute or bound their values for several graphs classes that include for instance grid graphs and tori. We conclude the study by presenting some inter-comparison between the values of such parameters, which is based on the computations we made for some specific families.

We describe recent achievements in the theory of weight systems, which are functions on chord diagrams satisfying so-called $4$-term relations. Our main attention is devoted to constructions of weight systems. The two main sources of these constructions that are discussed in the paper are invariants of intersection graphs of chord diagrams that satisfy $4$-term relations for graphs and metrized Lie algebras. For the simplest nontrivial metrized Lie algebra $\mathfrak {sl}(2)$, we present recent results about the explicit form of generating functions for the values of the corresponding weight system on important families of chord diagrams. We also explain another recent result: construction of recurrence relations for computing the values of the $\mathfrak{gl}(N)$-weight system. These relations are based on M. Kazarian's extension of the $\mathfrak{gl}(N)$-weight system to arbitrary permutations. Certain recent papers suggest an approach to extending weight systems and graph invariants to arbitrary embedded graphs, which is based on the study of the corresponding Hopf algebra structures; we describe this approach. Weight systems defined on arbitrary embedded graphs correspond to finite type invariants of links (multicomponent knots).

Let $G$ be a graph. Denote by $d_x$, $E(G)$, and $D(G)$ the degree of a vertex $x$ in $G$, the set of edges of $G$, and the degree set of $G$, respectively. This paper proposes to investigate (both from mathematical and applications points of view) those graph invariants of the form $\sum_{uv\in E(G)}\varphi(d_v,d_w)$ in which $\varphi$ can be defined either using well-known means of $d_v$ and $d_w$ (for example: arithmetic, geometric, harmonic, quadratic, and cubic means) or by applying a basic arithmetic operation (addition, subtraction, multiplication, and division) on any of two such means, provided that $\varphi$ is a non-negative and symmetric function defined on the Cartesian square of $D(G)$. Many existing well-known graph invariants can be defined in this way; however, there are many exceptions too. One of such uninvestigated graph invariants is the harmonic-arithmetic (HA) index, which is obtained from the aforementioned setting by taking $\varphi$ as the ratio of the harmonic and arithmetic means of $d_v$ and $d_w$. A molecular tree is a tree whose maximum degree does not exceed four. Given the class of all (molecular) trees with a fixed order, graphs that have the largest or least value of the HA index are completely characterized in this paper.

Carbon nanotube Y-junctions are of great interest to the next generation of innovative multi-terminal nanodevices. Topological indices are graph-theoretically based parameters that describe various structural properties of a chemical molecule. The entropy of a graph is a topological descriptor that serves to characterize the complexity of the underlying molecular graph. The concept of entropy is a physical property of a thermodynamic system. Graph entropies are the essential thermophysical quantities defined for various graph invariants and are applied to measure the heterogeneity and relative stabilities of molecules. In this paper, several neighborhood degree sum-based topological indices including graph-based entropies of carbon nanotube Y-junction graphs are computed.

Token graphs, or symmetric powers of graphs, see \cite{alavi2002survey} and \cite{Fabila-Monroy2012}, are defined on the $k$-combinations of the vertex set of some graph $L$, where edges exist between two such combinations, if their symmetric difference corresponds to an edge in the underlying graph $L$. It has been noted, for example in \cite{AUDENAERT200774}, that these graphs constitute an inherent correspondence between the relationships between random walks and graph invariants, and particle systems and higher order graph properties, employing in particular the structure of vertex induced sub-graphs. In this work, we contribute to this perspective, by giving a synthetic perspective on the vertex connectivity of token graphs, which equals its minimal degree, as well as on their diameter, if the underlying graph $L$ has diameter $2$. Some combinatorial results on the clique-Johnson graph link between $L$ and its token graph are proven as well.

The power graph denoted by $\mathcal{P}(\mathcal{G})$ of a finite group $\mathcal{G}$ is a graph with vertex set $\mathcal{G}$ and there is an edge between two distinct elements $u, v \in \mathcal{G}$ if and only if $u^m = v$ or $v^m = u$ for some $m \in \mathbb{N}$. Depending on the distance, the Hosoya polynomial contains a lot of knowledge about graph invariants which can be used to determine well-known chemical descriptors. The Hosoya index of a graph $Γ$ is the total number of matchings in $Γ$. In this article, the Hosoya properties of the power graphs associated with a finite group, including the Hosoya index, Hosoya polynomial, and its reciprocal are calculated.

A new graph invariant called the secure vertex cover pebbling number, which is a combination of two graph invariants, namely secure vertex cover and cover pebbling number, is introduced in this paper. The secure vertex cover pebbling number of a graph G is the minimum number m so that every distribution of m pebbles can reach some secure vertex cover of G by a sequence of pebbling moves. In this paper, the complexity of the secure vertex cover problem and secure vertex cover pebbling problem are discussed. Also, we obtain some basic results and the secure vertex cover pebbling number for complete r- partite graphs, paths, Friendship graphs, and wheel graphs.

The scramble number of a graph provides a lower bound for gonality and an upper bound for treewidth, making it a graph invariant of interest. In this paper we study graphs of scramble number at most two, and give a classification of all such graphs with a finite list of forbidden topological minors. We then prove that there exists no finite list of forbidden topological minors to characterize graphs of any fixed scramble number greater than two.

Topological indices are graph invariants numeric quantities, which are utilized by researchers to analyze a variety of physiochemical aspects of molecules. The goal of developing topological indices is to give each chemical structure a numerical value while maintaining the highest level of differentiation. Using these indices, the classification of various structures, and their physiochemical and biological properties can be predicted. In this paper, the leap and leap hyper Zagreb indices, as well as their polynomials for a zigzag benzenoid system $Z_{p}$ and a rhombic benzenoid system $R_{p}$ are determined. In addition, new $k$-distance degree-based topological indices such as leap-Somber index, hyper leap forgotten index, leap $Y$ index, and leap $Y$ coindex are also computed for the molecular graphs of $Z_p$ and $R_p$. Furthermore, their numerical computation and discussion are performed to determine the significance of their physiochemical properties.

Given a simple, finite graph with vertex set $V(G)$, we define a zero forcing set of $G$ as follows. Choose $S\subseteq V(G)$ and color all vertices of $S$ blue and all vertices in $V(G) - S$ white. The color change rule is if $w$ is the only white neighbor of blue vertex $v$, then we change the color of $w$ from white to blue. If after applying the color change rule as many times as possible eventually every vertex of $G$ is blue, we call $S$ a zero forcing set of $G$. $Z(G)$ denotes the minimum cardinality of a zero forcing set. Davila and Henning proved in \cite{zerocubic} that for any claw-free cubic graph $G$, $Z(G) \le \frac{1}{3}|V(G)| + 1$. We show that if $G$ is $2$-edge-connected, claw-free, and cubic, then $Z(G) \le \left\lceil\frac{5n(G)}{18}\right\rceil+1$. We also study a similar graph invariant known as the loop zero forcing number of a graph $G$ which happens to be the dual invariant to the Grundy domination number of $G$. Specifically, we study the loop zero forcing number in two particular types of planar graphs.

Recently, Gutman [MATCH Commun. Math. Comput. Chem. 86 (2021) 11-16] defined a new graph invariant which is named the Sombor index $\mathrm{SO}(G)$ of a graph $G$ and is computed via the expression \[ \mathrm{SO}(G) = \sum_{u \sim v} \sqrt{\mathrm{deg}(u)^2 + \mathrm{deg}(v)^2} , \] where $\mathrm{deg}(u)$ represents the degree of the vertex $u$ in $G$ and the summing is performed across all the unordered pairs of adjacent vertices $u$ and $v$. Here we take into consideration the set of all the trees $\mathcal{T}_D$ that have a specified degree sequence $D$ and show that the greedy tree attains the minimum Sombor index on the set $\mathcal{T}_D$.

In 2012 we announced the House of Graphs (https://houseofgraphs.org) [Discrete Appl. Math. 161 (2013), 311-314], which was a new database of graphs. The House of Graphs hosts complete lists of graphs of various graph classes, but its main feature is a searchable database of so called "interesting" graphs, which includes graphs that already occurred as extremal graphs or as counterexamples to conjectures. An important aspect of this database is that it can be extended by users of the website. Over the years, several new features and graph invariants were added to the House of Graphs and users uploaded many interesting graphs to the website. But as the development of the original House of Graphs website started in 2010, the underlying frameworks and technologies of the website became outdated. This is why we completely rebuilt the House of Graphs using modern frameworks to build a maintainable and expandable web application that is future-proof. On top of this, several new functionalities were added to improve the application and the user experience. This article describes the changes and new features of the new House of Graphs website.

The graph invariant examined in this paper is the largest eigenvalue of the adjacency matrix of a graph. Previous work demonstrates the tight relationship between this invariant, the birth and death rate of a contagion spreading on the graph, and the trajectory of the contagion over time. We begin by conducting a simulation confirming this and explore bounds on the birth and death rate in terms of well-known graph invariants. As a result, the change in the largest eigenvalue resulting from removal of a vertex in the network is the best measure of effectiveness of interventions that slow the spread of a contagion. We define the spread centrality of a vertex $v$ in a graph $G$ as the difference between the largest eigenvalues of $G$ and $G-v$. While the spread centrality is a distinct centrality measure and serves as another graph invariant for distinguishing graphs, we found experimental evidence that vertices ranked by the spread centrality and those ranked by eigenvector centrality are strongly correlated. Since eigenvector centrality is easier to compute than the spread centrality, this justifies using eigenvector centrality as a measure of spread, especially in large networks with unknown portions. We also examine two strategies for selecting members of a population to vaccinate.

Foucaud, Krishna and Lekshmi recently introduced the concept of monitoring edge-geodetic sets in graphs, and a related graph invariant. These are sets of vertices such that the removal of any edge changes the distance between some pair of vertices in the set. They studied the minimum possible size of such a set in a given graph, which we call the monitoring edge-geodetic number. We show that the decision problem for the monitoring edge-geodetic number is NP-complete. We also give best-possible upper and lower bounds for the Cartesian and strong products of two graphs. These bounds establish the exact value in many cases, including many new examples of graphs whose only monitoring edge-geodetic set is the whole vertex set.

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.

Topological indices are molecular descriptors that describe the properties of chemical compounds. These topological indices correlate specific physico-chemical properties like boiling point, enthalpy of vaporization, strain energy, and stability of chemical compounds. This article introduces a new graph operation based on central graph called central vertex-edge join and provides its results related to graph invariants like eccentric-connectivity index, connective eccentricity index, total-eccentricity index, average eccentricity index, Zagreb eccentricity indices, eccentric geometric-arithmetic index, eccentric atom-bond connectivity index, and Wiener index. Also, we discuss the distance spectrum of the central vertex-edge join of three regular graphs. Furthermore, we obtain new families of $D$-equienergetic graphs, which are non $D$-cospectral.

Graph invariants are a useful tool in graph theory. Not only do they encode useful information about the graphs to which they are associated, but complete invariants can be used to distinguish between non-isomorphic graphs. Polynomial invariants for graphs such as the well-known Tutte polynomial have been studied for several years, and recently there has been interest to also define such invariants for phylogenetic networks, a special type of graph that arises in the area of evolutionary biology. Recently Liu gave a complete invariant for (phylogenetic) trees. However, the polynomial invariants defined thus far for phylogenetic networks that are not trees require vertex labels and either contain a large number of variables, or they have exponentially many terms in the number of reticulations. This can make it difficult to compute these polynomials and to use them to analyse unlabelled networks. In this paper, we shall show how to circumvent some of these difficulties for rooted cactuses and cactuses. As well as being important in other areas such as operations research, rooted cactuses contain some common classes of phylogenetic networks such phylogenetic trees and level-1 networks. More specifically, we define a polynomial $F$ that is a complete invariant for the class of rooted cactuses without vertices of indegree 1 and outdegree 1 that has 5 variables, and a polynomial $Q$ that is a complete invariant for the class of rooted cactuses that has 6 variables \vince{whose degree can be bounded linearly in terms of the size of the rooted cactus}. We also explain how to extend the $Q$ polynomial to define a complete invariant for leaf-labelled rooted cactuses as well as (unrooted) cactuses.