arXiv++ Combinatorics

In 1986, Brualdi and Solheid firstly proposed the problem of determining the maximum spectral radius of graphs in the set $\mathcal{H}_{n,m}$ consisting of all simple connected graphs with $n$ vertices and $m$ edges, which is a very tough problem and far from resolved. The $A_α$-spectral radius of a simple graph of order $n$, denoted by $ρ_α(G)$, is the largest eigenvalue of the matrix $A_α(G)$ which is defined as $αD(G)+(1-α)A(G)$ for $0\le α< 1$, where $D(G)$ and $A(G)$ are the degree diagonal and adjacency matrices of $G$, respectively. In this paper, if $r$ is a positive integer, $n>30r$ and $n-1\leq m \le rn-\frac{r(r+1)}{2}$, we characterize all extremal graphs which have the maximum $A_α$-spectral radius of graphs in the set $\mathcal{H}_{n,m}$. Moreover, the problem on $A_α$-spectral radius proposed by Chang and Tam [T.-C. Chang and B.-T. Tam, Graphs of fixed order and size with maximal $A_α$-index. Linear Algebra Appl. 673 (2023), 69-100] has been solved.

Let $\mathcal{D}_{n,τ}$ be the set of all simple connected graphs of order $n$ and dissociation number $τ.$ In this paper, we study the minimum size and the minimum spectral radius of graphs in $\mathcal{D}_{n,τ}$ in connection with Turán-type problems for complete multipartite graphs. We characterize the Tur\' an graphs for several complete multipartite graphs where the size of one of the partite sets is much smaller than the size of the remaining partites. This extends a result of Erdős and Simonovits [16]. Additionally, we prove some stability results to get the structure of graphs without such a forbidden complete multipartite subgraph, and close to Turán number of edges. As an application, we show that a graph with the minimum spectral radius in $\mathcal{D}_{n,τ}$ must be a graph with the minimum size in $\mathcal{D}_{n, τ}$ when $n$ is sufficiently large and satisfies some parity conditions. We then describe a few structural properties of graphs with the minimum spectral radius in $\mathcal{D}_{n,τ}$. For even dissociation numbers and any order $n$, we compute the minimum size of a graph in $\mathcal{D}_{n,τ}$ and use it to characterize the graphs in $\mathcal{D}_{n, 4}$ that attain the minimum size and the minimum spectral radius. We also apply the stability results to upper bound the minimum number of edges and spectral radius for connected graphs with a given $d$-independence number when the order of the graph is sufficiently large. Finally, we derive two new bounds on the value of $τ(G)$ for a given graph $G$.

The study of radio graceful labelings is motivated by modeling efficient frequency assignment to radio towers, cellular towers, and satellite networks. For a simple, connected graph $G = (V(G), E(G))$, a radio labeling is a mapping $f: V(G) \rightarrow \mathbb{Z}^+$ satisfying (for any distinct vertices $u,v$) $$|f(u)-f(v)| + d(u,v) \geq diam(G)+1,$$ where $d(u,v)$ is the distance between $u$ and $v$ in $G$ and $diam(G)$ is the diameter of $G$. A graph is radio graceful if there is a radio labeling such that $f(V(G)) = \{1, \dots, |V(G)|\}$. In this paper, we determine the radio gracefulness of low-diameter graphs with connections to high-performance computing, including Moore graphs, bipartite Moore graphs, and approximate Moore graphs like $(r,g)-$cages, Erdős-Rényi polarity graphs, and McKay-Miller-Širáň graphs. We prove a new necessary and sufficient condition for radio graceful bipartite graphs with diameter $3$. We compute the radio number of $(r,g)-$cages arising from generalized $n-$gons. Additionally, we determine Erdős-Rényi polarity graphs and McKay-Miller-Širáň graphs are radio graceful.

Let $G$ be a simple connected graph with vertex set $V(G)=\{v_{1}, v_{2}, \ldots, v_{n}\}$. The distance $d_G(v_i,v_j)$ between two vertices $v_i$ and $v_j$ of $G$ is the length of a shortest path between $v_i$ and $v_j$. The distance matrix of $G$ is defined as $D(G)=(d_G(v_i,v_j))_{n\times n}$. The second largest distance eigenvalue of \( G \) is the second largest eigenvalues of $D(G)$. Guo and Zhou [Discrete Math. 347(2024), 114082] proved that any connected graph with the second largest distance eigenvalue less than $-\frac{1}{2}$ is chordal, and characterize all bicyclic graphs and split graphs with the second largest distance eigenvalue less than $-\frac{1}{2}$. Based on this, we characterize all tricyclic graphs with the second largest distance eigenvalue less than $-\frac{1}{2}$.

Let $D(G)$ be the distance matrix of a simple connected graph $G$. The Hadamard product $D(G)~\circ~ D(G)$ is called the squared distance matrix of $G$, and is denoted by $Δ(G)$. A simple connected graph is called a starlike block graph if it has a central cut vertex, and each of its blocks is a complete graph. Let $ \mathcal{S}(n_1, n_2, \ldots, n_b)$ be the starlike block graph with blocks $K_{n_1+1}, K_{n_2+1}, \ldots, K_{n_b+1} $ on $n=1 + \sum_{i=1}^b n_i$ vertices. In this article, we compute the determinant of $Δ( \mathcal{S}(n_1, n_2, \ldots, n_b))$ and find its inverse as a rank-one perturbation of a positive semidefinite Laplacian-like matrix $\mathcal{L}$ with rank $n-1$. We also investigate the inertia of $Δ( \mathcal{S}(n_1, n_2, \ldots, n_b))$. Furthermore, for a fixed value of $ n $ and $ b $, we determine the extremal graphs that uniquely attain the maximum and minimum spectral radius of the squared distance matrix for starlike block graphs on $ n $ vertices and $ b $ blocks.

For a simple connected graph $G$ of order $n$, a bijective function $f:V(G)\to\{1,2,\cdots,n\}$ is said to be a Legendre cordial labeling modulo $p$, where $p$ is an odd prime, if the induced function $f_p^*:E(G)\to \{0,1\}$, defined by $f_p^*(uv)=0$ whenever $([f(u)+f(v)]/p)=-1$ or $f(u)+f(v)\equiv 0(\text{mod }p)$, and $f_p^*(uv)=1$ whenever $([f(u)+f(v)]/p)=1$, satisfies the condition $|e_{f_p^*}(0)-e_{f_p^*}(1)|\leq 1$ where $e_{f_p^*}(i)$ is the number of edges with label $i$ ($i=0,1$). This paper investigates the Legendre cordial labeling of graphs obtained through various operations: join, corona, lexicographic product, cartesian product, tensor product, and strong product.

Let $p$ be an odd prime. For a simple connected graph $G$ of order $n$, a bijective function $f:V(G)\to\{1,2,\ldots,n\}$ is said to be a Legendre cordial labeling modulo $p$ if the induced function $f_p^*:E(G)\to \{0,1\}$, defined by $f_p^* (uv)=0$ whenever $([f(u)+f(v)]/p)=-1$ or $f(u)+f(v)\equiv 0(\text{mod } p)$ and $f_p^* (uv)=1$ whenever $([f(u)+f(v)]/p)=1$, satisfies the condition $|e_{f_p^*}(0)-e_{f_p^*}(1)|\leq 1$ where $e_{f_p^*}(i)$ is the number of edges with label $i$ ($i=0,1$). This paper explores the characterization of the Legendre cordial labeling modulo $p$ of the complete graph $K_n$ using the concept of Legendre graph.

We prove that if the number of edges does not exceed 7 then the asymptotics of eigenvalues of the Dirichlet problem uniquely determine the shape of the graph.

The quadratic embedding constant (QEC) of a finite, simple, connected graph originated from the classical work of Schoenberg [Ann. of Math., 1935] and [Trans. Amer. Math. Soc., 1938] on Euclidean distance geometry. In this article, we study the QEC of graphs in terms of two graph operations: the Cartesian product and the join of graphs. We derive a general formula for the QEC of the join of an arbitrary graph with a regular graph and with a complete multipartite graph. We then provide quadratic embedding constants for the Cartesian product of an arbitrary graph $G$ with a complete graph and with a complete bipartite graph in terms of QEC$(G)$.

This article investigates the isomorphism problem for graphs derived from the four standard graph products: Cartesian, Kronecker (direct), strong, and lexicographic product. We provide a complete characterization of all simple connected graphs for which their corresponding products are isomorphic. As a by-product, we identify a novel family of non-distance-regular graphs that possess fewer than d+1 distinct distance eigenvalues, where d represents the diameter of the graph. This result offers a new perspective on Problem 4.3 posed in [2], moving beyond the current approaches.

Let $G$ be a simple connected graph with order $ n(G)$, local metric dimension $ {\rm dim}_l(G)$, local adjacency metric dimension $ {\rm dim}_{A,l}(G)$, and clique number $ ω(G)$, where $G\not\cong K_{n(G)}$ and $ω(G)\geq3$. It is proved that $ {\rm dim}_{A,l}(G) \leq \left\lfloor \left(\frac{ω(G) - 2}{ω(G) - 1}\right)n(G)\right\rfloor$. Consequently, the conjecture asserting that the latter expression is an upper bound for ${\rm dim}_l(G)$ is confirmed. It is important to note that there are infinitely many graphs that satisfy the equalities.

We exhibit the joint symmetric distribution of the following two parameters on the set of unlabeled, simple, connected graphs with $n$ vertices. The first parameter is the maximal number of leaves attached to a vertex. The second parameter is the size of the largest set of vertices sharing the same closed neighborhood minus $1$. Apparently, this is the first example of a natural, non-trivial equidistribution of graph parameters on unlabeled connected graphs on a fixed set of vertices. Our proof is enumerative, using the theory of species. Exhibiting an explicit bijection interchanging the two parameters remains an open problem.

Substituting each edge of a simple connected graph $G$ by a path of length 1 and $k$ paths of length 5 generates the $k$-hexagonal graph $H^k(G)$. Iterative graph $H^k_n(G)$ is produced when the preceding constructions are repeated $n$ times. According to the graph structure, we obtain a set of linear equations, and derive the entirely normalized Laplacian spectrum of $H^k_n(G)$ when $k = 1$ and $k \geqslant 2$ respectively by analyzing the structure of the solutions of these linear equations. We find significant formulas to calculate the Kemeny's constant, multiplicative degree-Kirchhoff index and number of spanning trees of $H^k_n(G)$ as applications.

Independently posed by Behzad and Vizing, the Total Coloring Conjecture asserts that the total chromatic number of a simple connected graph $G$ is either $Δ(G)+1$ or $Δ(G)+2$, where $Δ(G)$ is the largest degree of any vertex of $G$. To decide whether a cubic graph $G$ has total chromatic number $Δ(G)+1$, even for bipartite cubic graphs, is NP-hard. The resulting problems and research persist even for total colorings that are equitable, namely with the cardinalities of the color classes differing at most by 1. Williams and Holroyd gave a new condition to solve total coloring problems via the introduction of semi-total colorings. We focus on how to obtain equitable total colorings of symmetric cubic graphs and cage graphs by means of a variation of Kempe'a 1879 graph-coloring algorithm. Such variation takes semi-total colorings to equitable ones.

Let $G$ be a simple connected graph with vertex set $V(G)$ and edge set $E(G)$. Let $T$ be a subset of $ V(G)$ with cardinality $|T|\geq2$. A path connecting all vertices of $T$ is called a $T$-path of $G$. Two $T$-paths $P_i$ and $P_j$ are said to be internally disjoint if $V(P_i)\cap V(P_j)=T$ and $E(P_i)\cap E(P_j)=\emptyset$. Denote by $π_G(T)$ the maximum number of internally disjoint $T$- paths in G. Then for an integer $\ell$ with $\ell\geq2$, the $\ell$-path-connectivity $π_\ell(G)$ of $G$ is formulated as $\min\{π_G(T)\,|\,T\subseteq V(G)$ and $|T|=\ell\}$. In this paper, we study the $3$-path-connectivity of $n$-dimensional bubble-sort star graph $BS_n$. By deeply analyzing the structure of $BS_n$, we show that $π_3(BS_n)=\lfloor\frac{3n}2\rfloor-3$, for any $n\geq3$.

Local Irregularity Conjecture states that every simple connected graph, except special cacti, can be decomposed into at most three locally irregular graphs, i.e., graphs in which adjacent vertices have different degrees. The connected minimization problem, finding the minimum number $k$ such that a graph can be decomposed into $k$ locally irregular graphs, is known to be NP-hard in general (Baudon, Bensmail, and Sopena, 2015). This naturally raises interest in the study of related problems. Among others, the concept of local irregularity was defined for digraphs in several different ways. In this paper we present the following new methods of defining a locally irregular digraph. The first one, weak local irregularity, is based on distinguishing adjacent vertices by indegree-outdegree pairs, and the second one, strong local irregularity, asks for different balanced degrees (i.e., difference between the outdegree and the indegree of a vertex) of adjacent vertices. For both of these irregularities, we define locally irregular decompositions and colorings of digraphs. We discuss relation of these concept to others, which were studied previously, and provide related conjectures on the minimum number of colors in weak and strong locally irregular colorings. We support these conjectures with new results, using the chromatic and structural properties of digraphs and their skeletons (Eulerian and symmetric digraphs, orientations of regular graphs, cacti, etc.).

In this article, we study radio \(k\)-colorings of simple connected graphs \(G\) with diameter \(d\), where a radio \(k\)-coloring \(g\) assigns non-negative integers to \(V(G)\) (vertices of \(G\)) such that \(|g(u) - g(v)| \geq 1 + k - d(u, v)\) for any two vertices \(u, v\) with \(1 \leq k \leq d\). The span of a radio \(k\)-coloring \(g\), expressed by \(rc_k(g)\), is the maximum integer assigned by \(g\), and the radio \(k\)-chromatic number \(rc_k(G)\) is the minimum span among all radio \(k\)-colorings of \(G\). A coloring \(g\) is minimal if \(rc_k(g) = rc_k(G)\). When \(k = d-1\), this coloring is known as the antipodal coloring, and \(rc_{d-1}(G)\) referred to as the antipodal number, is denoted by \(ac(G)\). We derive a sufficient condition for an antipodal coloring to be minimal and apply this criterion to determine the antipodal number of the generalized Petersen graph \(GP(n,1)\) for all \(n\) except when \(n \equiv 2 \pmod{8}\), and for toroidal grids \(T_{r,s} = C_r \square C_s\) when \(rs\) is even. Additionally, we establish a lower bound for \(ac(T_{r,s})\) when \(rs\) is odd.

The eccentricity matrix of a simple connected graph is derived from its distance matrix by preserving the largest non-zero distance in each row and column, while the other entries are set to zero. This article examines the $ε$-spectrum, $ε$-energy, $ε$-inertia and irreducibility of the central graph (respectively complement of the central graph) of a triangle-free regular graph(respectively regular graph). Also look into the $ε-$spectrum and the irreducibility of different central graph operations, such as central vertex join, central edge join, and central vertex-edge join. We also examine the $ε-$ energy of some specific graphs. These findings allow us to construct new families of $ε$-cospectral graphs and non $ε$-cospectral $ε-$equienergetic graphs. Additionally, we investigate certain upper and lower bounds for the eccentricity Wiener index of graphs. Also, provide an upper bound for the eccentricity energy of a self-centered graph.

This article discusses $Δ$-convexity on simple connected graphs. We establish general bounds for the Helly number, Radon number, and rank with respect to $Δ$-convexity on graphs. Additionally, we give the exact values for the Helly number and Radon number for chordal graphs, as well as the rank for block graphs.

Let $G$ be a simple connected graph. If every pendant path in $G$ is at least $P_s$, we denote that $G\in \mathbb{G}_s$. For $G \in \mathbb{G}_s$, let $Q_s(G)$ be the set of vertices in $G$ that are distance $s$ from the pendant vertex, and let $|Q_s(G)| = q_s(G)$. For $G \in \mathbb{G}_s$, Li et al. (2024) proved that when $λ$ is not an eigenvalue of $P_s$ and $G$ is neither a cycle nor a starlike tree $T_k$, it holds that $m_G(λ) \leq 2c(G) + q_s(G) - 1$ and characterized the extremal graphs when $G$ is a tree. In this article, we characterize the extremal graphs for which $m_G(λ) = 2c(G) + q_s(G) - 1$ when $G \in \mathbb{G}_{s}$ and $λ\notin σ(P_s)$.