arXiv++ Combinatorics

A graph is called "Laplacian integral" if the eigenvalues of its Laplacian matrix are all integers. We investigate the subset of these graphs whose Laplacian is furthermore diagonalized by a matrix with entries coming from a fixed set, in particular, the sets $\{-1,0,1\}$ or $\{-1,1\}$. Such graphs include as special cases the recently-investigated families of "Hadamard-diagonalizable" and "weakly Hadamard-diagonalizable" graphs. As a combinatorial tool to aid in our investigation, we introduce a family of vectors that we call "balanced", which generalizes totally balanced partitions, regular sequences, and complete partitions. We show that balanced vectors completely characterize which graph complements and complete multipartite graphs are $\{-1,0,1\}$-diagonalizable, and we furthermore prove results on diagonalizability of the Cartesian product, disjoint union, and join of graphs. Particular attention is paid to the $\{-1,0,1\}$- and $\{-1,1\}$-diagonalizability of the complete graphs and complete multipartite graphs. Finally, we provide a complete list of all simple, connected graphs on nine or fewer vertices that are $\{-1,0,1\}$- or $\{-1,1\}$-diagonalizable.

The set $S_{\{i,j\}_{n}^{m}}=\{0,1,2,\ldots,m-1,m,m,m+1,\ldots,n-1,n\}\setminus\{i,j\},\quad 0<i<j\leqslant n$, is called Laplacian realizable if there exists a simple connected graph $G$ whose Laplacian spectrum is $S_{\{i,j\}_{n}^{m}}$. In this case, the graph $G$ is said to realize $S_{\{i,j\}_{n}^{m}}$. In this paper, we completely describe graphs realizing the sets $S_{\{i,j\}_{n}^{m}}$ with $m=1,2$ and determine the structure of these graphs.

The quadratic embedding constant (QEC) of a finite, simple, connected graph $G$ is the maximum of the quadratic form of the distance matrix of $G$ on the subset of the unit sphere orthogonal to the all-ones vector. The study of these QECs was motivated by the classical work of Schoenberg on quadratic embedding of metric spaces [Ann. of Math., 1935] and [Trans. Amer. Math. Soc., 1938]. In this article, we provide sharp upper and lower bounds for the QEC of trees. We next explore the relation between distance spectra and quadratic embedding constants of graphs - and show two further results: $(i)$ We show that the quadratic embedding constant of a graph is zero if and only if its second largest distance eigenvalue is zero. $(ii)$ We identify a new subclass of nonsingular graphs whose QEC is the second largest distance eigenvalue. Finally, we show that the QEC of the cluster of an arbitrary graph $G$ with either a complete or star graph can be computed in terms of the QEC of $G$. As an application of this result, we provide new families of examples of graphs of QE class.

We analyze graphs attaining the extreme values of various spectral indices in the class of all simple connected graphs, as well as in the class of graphs which are not complete multipartite graphs. We also present results on density of spectral gap indices and its nonpersistency with respect to small perturbations of the underlying graph. We show that a small change in the set set of edges may result in a significant change of the spectral index like, e.g., the spectral gap or spectral index. We also present a statistical and numerical analysis of spectral indices of graphs of the order $m\le 10$. We analyze the extreme values for spectral indices for graphs and their small perturbations. Finally, we present the statistical and extreme properties of graphs on $m\le 10$ vertices.

A bond in a graph is a minimal nonempty edge-cut. A connected graph $G$ is dual Hamiltonian if the vertex set can be partitioned into two subsets $X$ and $Y$ such that the subgraphs induced by $X$ and $Y$ are both trees. There is much interest in studying the longest cycles and largest bonds in graphs. H. Wu conjectured that any longest cycle must meet any largest bond in a simple 3-connected graph. In this paper, the author proves that the above conjecture is true for certain classes of 3-connected graphs: Let $G$ be a simple 3-connected graph with $n$ vertices and $m$ edges. Suppose $c(G)$ is the size of a longest cycle, and $c^*(G)$ is the size of a largest bond. Then each longest cycle meets each largest bond if either $c(G) \geq n - 3$ or $c^*(G) \geq m - n - 1$. Sanford determined in her Ph.D. thesis the cycle spectrum of the well-known generalized Petersen graph $P(n, 2)$ ($n$ is odd) and $P(n, 3)$ ($n$ is even). Flynn proved in her honors thesis that any generalized Petersen graph $P(n, k)$ is dual Hamiltonian. The author studies the bond spectrum (called the co-spectrum) of the generalized Petersen graphs and extends Flynn's result by proving that in any generalized Petersen graph $P(n, k)$, $1 \leq k < \frac{n}{2}$, the co-spectrum of $P(n, k)$ is $\{3, 4, 5, ..., n+2\}$.

Phylogenetic networks are a special type of graph which generalize phylogenetic trees and that are used to model non-treelike evolutionary processes such as recombination and hybridization. In this paper, we consider {\em unrooted} phylogenetic networks, i.e. simple, connected graphs $\mathcal{N}=(V,E)$ with leaf set $X$, for $X$ some set of species, in which every internal vertex in $\mathcal{N}$ has degree three. One approach used to construct such phylogenetic networks is to take as input a collection $\mathcal{P}$ of phylogenetic trees and to look for a network $\mathcal{N}$ that contains each tree in $\mathcal{P}$ and that minimizes the quantity $r(\mathcal{N}) = |E|-(|V|-1)$ over all such networks. Such a network always exists, and the quantity $r(\mathcal{N})$ for an optimal network $\mathcal{N}$ is called the hybrid number of $\mathcal{P}$. In this paper, we give a new characterization for the hybrid number in case $\mathcal{P}$ consists of two trees. This characterization is given in terms of a cherry picking sequence for the two trees, although to prove that our characterization holds we need to define the sequence more generally for two forests. Cherry picking sequences have been intensively studied for collections of rooted phylogenetic trees, but our new sequences are the first variant of this concept that can be applied in the unrooted setting. Since the hybrid number of two trees is equal to the well-known tree bisection and reconnection distance between the two trees, our new characterization also provides an alternative way to understand this important tree distance.

Let G = (V, E) be a finite simple connected graph. We say a graph G realizes a code of the type 0^s_1 1^t_1 0^s_2 1^t_2 ... 0^s_k1^t_k if and only if G can obtained from the code by some rule. Some classes of graphs such as threshold and chain graphs realizes a code of the above mentioned type. In this paper, we develop some computationally feasible methods to determine some interesting graph theoretical invariants. We present an efficient algorithm to determine the metric dimension of threshold and chain graphs. We compute threshold dimension and restricted threshold dimension of threshold graphs. We discuss L(2, 1)-coloring of threshold and chain graphs. In fact, for every threshold graph G, we establish a formula by which we can obtain the λ-chromatic number of G. Finally, we provide an algorithm to compute the λ-chromatic number of chain graphs.

We characterize the simple connected graphs with the second largest eigenvalue less than 1/2, which consists of 13 classes of specific graphs. These 13 classes hint that $c_{2}\in [1/2, \sqrt{2+\sqrt{5}}]$, where $c_2$ is the minimum real number $c$ for which every real number greater than $c$ is a limit point in the set of the second largest eigenvalues of the simple connected graphs. We leave it as a problem.

For a simple connected graph $G=(V,E)$, let $d(u)$ be the degree of the vertex $u$ of $G$. The general Sombor index of $G$ is defined as $$SO_α(G)=\sum_{uv\in E} \left[d(u)^2+d(v)^2\right]^α$$ where $SO(G)=SO_{0.5}(G)$ is the recently invented Sombor index. In this paper, we show that in the class of connected graphs with a fixed degree sequence (for which the minimum degree being equal to one), there exists a special extremal $BFS$-graph with minimum general Sombor index for $0<α<1$ (resp. maximum general Sombor index for either $α>1$ or $α<0$). Moreover, for any given tree, unicyclic, and bicyclic degree sequences with minimum degree 1, there exists a unique extremal $BFS$-graph with minimum general Sombor index for $0<α<1$ and maximum general Sombor index for either $α>1$ or $α<0$.

Let $G$ be a finite simple connected graph on the vertex set $V(G)=[d]=\{1,\dots ,d\}$, with edge set $E(G)=\{e_{1},\dots , e_{n}\}$. Let $K[\mathbf{t}]=K[t_{1},\dots , t_{d}]$ be the polynomial ring in $d$ variables over a field $K$. The edge ring of $G$ is the semigroup ring $K[G]$ generated by monomials $\mathbf{t}^{e}:=t_{i}t_{j}$, for $e=\{i,j\} \in E(G)$. In this paper, we will prove that, given integers $d$ and $n$, where $d\geq 7$ and $d+1\leq n\leq \frac{d^{2}-7d+24}{2}$, there exists a finite simple connected graph $G$ with $|V(G)|=d$ and $|E(G)|=n$, such that $K[G]$ is non-normal and satisfies $(S_{2})$-condition.

In this paper we are interested in an intrinsic property of graphs which is derived from their embeddings into the Euclidean 3-space $\mathbb{R}^3$. An embedding of a graph into $\mathbb{R}^3$ is said to be linear, if it sends every edge to be a line segment. And we say that an embedding $f$ of a graph $G$ into $\mathbb{R}^3$ is free, if $π_1(\mathbb{R}^3-f(G))$ is a free group. Lastly a simple connected graph is said to be linearly free if every its linear embedding is free. In 1980s it was proved that every complete graph is linearly free, by Nicholson. In this paper, we develop Nicholson's arguments into a general notion, and establish a sufficient condition for a linear embedding to be free. As an application of the condition we give a partial answer for a question: how much can the complete graph $K_n$ be enlarged so that the linear freeness is preserved and the clique number does not increase? And an example supporting our answer is provided. As the second application it is shown that a simple connected graph of minimal valency at least $3$ is linearly free, if it has less than 8 vertices. The conditional inequality is strict, because we found a graph with $8$ vertices which is not linearly free. It is also proved that for $n, m \leq 6$ the complete bipartite graph $K_{n,m}$ is linearly free.

The eccentricity matrix $E(G)$ of a simple connected graph $G$ is obtained from the distance matrix $D(G)$ of $G$ by retaining the largest distance in each row and column, and by defining the remaining entries to be zero. This paper focuses on the eccentricity matrix $E(W_n)$ of the wheel graph $W_n$ with $n$ vertices. By establishing a formula for the determinant of $E(W_n)$, we show that $E(W_n)$ is invertible if and only if $n \not\equiv 1\Mod3$. We derive a formula for the inverse of $E(W_n)$ by finding a vector $\mathbf{w}\in \mathbb{R}^n$ and an $n \times n$ symmetric Laplacian-like matrix $\widetilde{L}$ of rank $n-1$ such that \begin{eqnarray*} E(W_n)^{-1} = -\frac{1}{2}\widetilde{L} + \frac{6}{n-1}\mathbf{w}\mathbf{w^{\prime}}. \end{eqnarray*} Further, we prove an analogous result for the Moore-Penrose inverse of $E(W_n)$ for the singular case. We also determine the inertia of $E(W_n)$.

The vertex (resp. edge) metric dimension of a graph G is the size of a smallest vertex set in G which distinguishes all pairs of vertices (resp. edges) in G and it is denoted by dim(G) (resp. edim(G)). The upper bounds dim(G) <= 2c(G) - 1 and edim(G) <= 2c(G)-1; where c(G) denotes the cyclomatic number of G, were established to hold for cacti without leaves distinct from cycles, and moreover all leafless cacti which attain the bounds were characterized. It was further conjectured that the same bounds hold for general connected graphs without leaves and this conjecture was supported by showing that the problem reduces to 2-connected graphs. In this paper we focus on Theta graphs, as the most simple 2-connected graphs distinct from cycle, and show that the the upper bound 2c(G) - 1 holds for both metric dimensions of Theta graphs and we characterize all Theta graphs for which the bound is attained. We conclude by conjecturing that there are no other extremal graphs for the bound 2c(G) - 1 in the class of leafless graphs besides already known extremal cacti and extremal Theta graphs mentioned here.

For every finite simple connected graph $G = (V,E)$, we introduce an invariant, its blowup-polynomial $p_G(\{ n_v : v \in V \})$. This is obtained by dividing the determinant of the distance matrix of its blowup graph $G[{\bf n}]$ (containing $n_v$ copies of $v$) by an exponential factor. We show that $p_G({\bf n})$ is indeed a polynomial function in the sizes $n_v$, which is moreover multi-affine and real-stable. This associates a hitherto unexplored delta-matroid to each graph $G$; and we provide a second unexplored one for each tree. As another consequence, we obtain a new characterization of complete multipartite graphs, via the homogenization at $-1$ of $p_G$ being completely/strongly log-concave, i.e., Lorentzian. (These results extend to weighted graphs.) Finally, we show $p_G$ is indeed a graph invariant, i.e., $p_G$ and its symmetries (in the variables ${\bf n}$) recover $G$ and its isometries, respectively.

Let $G$ be a simple connected graph. For any two vertices $u$ and $v$, let $d(u,v)$ denote the distance between $u$ and $v$ in $G$, and let $diam(G)$ denote the diameter of $G$. A radio-labeling of $G$ is a function $f$ which assigns to each vertex a non-negative integer (label) such that for every distinct vertices $u$ and $v$ in $G$, it holds that $|f(u)-f(v)| \geq diam(G) - d(u,v) +1$. The span of $f$ is the difference between the largest and smallest labels of $f(V)$. The radio number of $G$, denoted by $rn(G)$, is the smallest span of a radio labeling admitted by $G$. In this paper, we give a lower bound for the radio number of the Cartesian product of two trees. Moreover, we present three necessary and sufficient conditions, and three sufficient conditions for the product of two trees to achieve this bound. Applying these results, we determine the radio number of the Cartesian product of two stars as well as a path and a star.

For a fixed integer $k\geqslant 2$, let $G\in \mathcal{G}(n,p)$ be a simple connected graph on $n\rightarrow\infty$ vertices with the expected degree $d=np$ satisfying $d\geqslant c$ and $d^{k-1}= o(n)$ for some large enough constant $c$. We show that the asymptotical size of any maximal collection of edges $M$ in $G$ such that no two edges in $M$ are within distance $k$, which is called a distance $k$-matching, is between $ \frac{(k-1)n\log d}{4d^{k-1}}$ and $ \frac{k n \log d}{2d^{k-1}}$. We also design a randomized greedy algorithm to generate one large distance $k$-matching in $G$ with asymptotical size $ \frac{kn\log d}{4d^{k-1}}$. Our results partially generalize the results on the size of the largest distance $k$-matchings from the case $k=2$ or $d=c$ for some large constant $c$.

Let G be a simple connected graph. Then chi L(G) and chi D(G) will denote the locating chromatic number and the distinguishing chromatic number of G, respectively. In this paper, we investigate a comparison between chi L(G) and chi D(G). In fact, we prove that chi D(G) \leq chi L(G). Moreover, we determine some types of graphs whose locating and distinguishing chromatic numbers are equal. Specially, we characteristic all graph G with the property that chi D(G)= chi L(G) = 3.

For a simple connected graph $G$ of order $n$ having distance Laplacian eigenvalues $ ρ^{L}_{1}\geq ρ^{L}_{2}\geq \cdots \geq ρ^{L}_{n}$, the distance Laplacian energy $DLE(G)$ is defined as $DLE(G)=\sum_{i=1}^{n}\left|ρ^{L}_i-\frac{2 W(G)}{n}\right|$, where $W(G)$ is the Wiener index of $G$. We obtain a relationship between the Laplacian energy and distance Laplacian energy for graphs with diameter 2. We obtain lower bounds for the distance Laplacian energy $DLE(G)$ in terms of the order $n$, the Wiener index $W(G)$, independence number, vertex connectivity number and other given parameters. We characterize the extremal graphs attaining these bounds. We show that the complete bipartite graph has the minimum distance Laplacian energy among all connected bipartite graphs and complete split graph has the minimum distance Laplacian energy among all connected graphs with given independence number. Further, we obtain the distance Laplacian spectrum of the join of a graph with the union of two other graphs. We show that the graph $K_{k}\bigtriangledown(K_{t}\cup K_{n-k-t}), 1\leq t \leq \lfloor\frac{n-k}{2}\rfloor $, has the minimum distance Laplacian energy among all connected graphs with vertex connectivity $k$. We conclude this paper with a discussion on trace norm of a matrix and the importance of our results in the theory of trace norm of the matrix $D^L(G)-\frac{2W(G)}{n}I_n$.

The metric (resp. edge metric) dimension of a simple connected graph $G$, denoted by dim$(G)$ (resp. edim$(G)$), is the cardinality of a smallest vertex subset $S\subseteq V(G)$ for which every two distinct vertices (resp. edges) in $G$ have distinct distances to a vertex of $S$. It is an interesting topic to discuss the relation between dim$(G)$ and edim$(G)$ for some class of graphs $G$. In this paper, we settle two open problems on this topic for a widely studied class of graphs, called unicyclic graphs. Specifically, we introduce four classes of subgraphs to characterize the structure of a unicyclic graph whose metric (resp . edge metric) dimension is equal to the lower bound on this invariant for unicyclic graphs. Based on this, we determine the exact values of dim$(G)$ and edim$(G)$ for all unicyclic graphs $G$.

Let G be a simple connected graph with n vertices, and let d_i be the degree of the vertex v_i in G. The extended adjacency matrix of G is defined so that the ij-entry is 1/2(d_i/d_j+d_j/d_i) if the vertices v_i and v_j are adjacent in G, and 0 otherwise. This matrix was originally introduced for developing novel topological indices used in the QSPR/QSAR studies. In this paper, we consider extremal problems of the largest eigenvalue of the extended adjacency matrix (also known as the extended spectral radius) of trees. We show that among all trees of order n>= 5, the path Pn(resp., the star Sn) uniquely minimizes (resp., maximizes) the extended spectral radius. We also determine the first five trees with the maximal extended spectral radius.