arXiv++ Combinatorics

A nut graph is a non-trivial simple graph such that its adjacency matrix has a one-dimensional null space spanned by a full vector. It was recently shown by the authors that there exists a $d$-regular circulant nut graph of order $n$ if and only if $4 \mid d, \, 2 \mid n, \, d > 0$, together with $n \ge d + 4$ if $d \equiv_8 4$ and $n \ge d + 6$ if $8 \mid d$, as well as $(n, d) \neq (16, 8)$ [arXiv:2212.03026, 2022]. In this paper, we demonstrate the existence of a $d$-regular Cayley nut graph of order $n$ for each $4 \mid d, \, d > 0$ and $2 \mid n, \, n \ge d + 4$, thereby resolving the existence problem for Cayley nut graphs and vertex-transitive nut graphs whose degree is divisible by four.

A circulant graph is a simple graph whose adjacency matrix can be represented in the form of a circulant matrix, while a nut graph is considered to be a graph whose null space is spanned by a single full vector. In a previous study by Damnjanović [arXiv:2212.03026, 2022], the complete set of all the pairs $(n, d)$ for which there exists a $d$-regular circulant nut graph of order $n$ has been determined. Motivated by the said results, we put our focus on the quartic circulant graphs and derive an explicit formula for computing their nullities. Furthermore, we implement the aforementioned formula in order to obtain a method for inspecting the singularity of a particular quartic circulant graph and find the concise criteria to be used for testing whether such a graph is a nut graph. Subsequently, we compute the minimum and maximum nullity that a quartic circulant graph of a fixed order $n$ can attain, for each viable order $n \ge 5$. Finally, we determine all the graphs attaining these nullities and then provide a full characterization of all of their corresponding extremal null spaces.

A circulant nut graph is a non-trivial simple graph such that its adjacency matrix is a circulant matrix whose null space is spanned by a single vector without zero elements. Regarding these graphs, the order-degree existence problem can be thought of as the mathematical problem of determining all the possible pairs $(n, d)$ for which there exists a $d$-regular circulant nut graph of order $n$. This problem was initiated by Bašić et al. and the first major results were obtained by Damnjanović and Stevanović, who proved that for each odd $t \ge 3$ such that $t\not\equiv_{10}1$ and $t\not\equiv_{18}15$, there exists a $4t$-regular circulant nut graph of order $n$ for each even $n \ge 4t + 4$. Afterwards, Damnjanović improved these results by showing that there necessarily exists a $4t$-regular circulant nut graph of order $n$ whenever $t$ is odd, $n$ is even, and $n \ge 4t + 4$ holds, or whenever $t$ is even, $n$ is such that $n \equiv_4 2$, and $n \ge 4t + 6$ holds. In this paper, we extend the aforementioned results by completely resolving the circulant nut graph order-degree existence problem. In other words, we fully determine all the possible pairs $(n, d)$ for which there exists a $d$-regular circulant nut graph of order $n$.

Among all trees on $n$ vertices with a given degree sequence, how do we maximise or minimise the sum over all adjacent pairs of vertices $x$ and $y$ of $f(\mathrm{deg} x, \mathrm{deg} y)$? Here $f$ is a fixed symmetric function satisfying a 'monotonicity' condition that \[ f(x, a) + f(y, b) > f(y, a) + f(x, b) \quad \mbox{for any $x > y$ and $a > b$} . \] These functions arise naturally in several areas of graph theory, particularly chemical graph theory. Wang showed that the so-called 'greedy' tree maximises this quantity, while an 'alternating greedy' tree minimises it. Our aim in this paper is to solve the inverse problem: we characterise precisely which trees are extremal for these two problems.

We note here that the problem of determining extremal values of Sombor index for trees with a given degree sequence fits within the framework of results by Hua Wang from [Cent. Eur. J. Math. 12 (2014) 1656-1663], implying that the greedy tree has the minimum Sombor index, while an alternating greedy tree has the maximum Sombor index.

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$.

A circulant nut graph is a non-trivial simple graph whose adjacency matrix is a circulant matrix of nullity one such that its non-zero null space vectors have no zero elements. The study of circulant nut graphs was originally initiated by Bašić et al. [Art Discrete Appl. Math. 5(2) (2021) #P2.01], where a conjecture was made regarding the existence of all the possible pairs $(n, d)$ for which there exists a $d$-regular circulant nut graph of order $n$. Later on, it was proved by Damnjanović and Stevanović [Linear Algebra Appl. 633 (2022) 127-151] that for each odd $t \ge 3$ such that $t\not\equiv_{10}1$ and $t\not\equiv_{18}15$, the $4t$-regular circulant graph of order $n$ with the generator set $\{ 1, 2, 3, \ldots, 2t+1 \} \setminus \{t\})$ must necessarily be a nut graph for each even $n \ge 4t + 4$. In this paper, we extend these results by constructing two families of circulant nut graphs. The first family comprises the $4t$-regular circulant graphs of order $n$ which correspond to the generator sets $\{1, 2, \ldots, t-1\} \cup \left\{\frac{n}{4}, \frac{n}{4} + 1 \right\} \cup \left\{\frac{n}{2} - (t-1), \ldots, \frac{n}{2} - 2, \frac{n}{2} - 1 \right\}$, for each odd $t \in \mathbb{N}$ and $n \ge 4t + 4$ divisible by four. The second family consists of the $4t$-regular circulant graphs of order $n$ which correspond to the generator sets $\{1, 2, \ldots, t-1\} \cup \left\{\frac{n+2}{4}, \frac{n+6}{4} \right\} \cup \left\{\frac{n}{2} - (t-1), \ldots, \frac{n}{2} - 2, \frac{n}{2}-1 \right\}$, for each $t \in \mathbb{N}$ and $n \ge 4t + 6$ such that $n \equiv_{4} 2$. We prove that all of the graphs which belong to these families are indeed nut graphs, thereby fully resolving the $4t$-regular circulant nut graph order-degree existence problem whenever $t$ is odd and partially solving this problem for even values of $t$ as well.

We investigate the spectral properties of balanced trees and dendrimers, with a view toward unifying and improving the existing results. Here we find a semi-factorized formula for their characteristic polynomials. Afterwards, we determine their spectra via the aforementioned factors. In the end, we analyze the behavior of the energy of dendrimers and compute lower and upper bound approximations for it.

We investigate the spectral properties of rooted trees with the intention of improving the currently existing results that deal with this matter. The concept of an assigned rational function is recursively defined for each vertex of a rooted tree. Afterwards, two mathematical formulas are given which show how the characteristic polynomials of the adjacency and Laplacian matrix can be represented as products of the aforementioned rational functions. In order to demonstrate their general use case scenario, the obtained formulas are subsequently implemented on balanced trees, with a special focus on the Bethe trees. In the end, some of the previously derived results are used in order to construct a tree merging procedure which preserves the spectra of all of the starting trees.

For a graph $G$, its energy $\mathcal{E}(G)$ is the sum of absolute values of the eigenvalues of its adjacency matrix, the matching number $μ(G)$ is the number of edges in a maximum matching of $G$, while $Δ$ is the maximum vertex degree of $G$. Akbari, Alazemi and Anđelić in [Appl. Anal. Discrete Math. 15 (2021), 444--459] proved that $\mathcal{E}(G) \leq 2μ(G)$ when $G$ is connected and $Δ\geq6$, and conjectured that the same inequality is also valid when $2\leqΔ\leq5$. Here we first computationally enumerate small counterexamples for this conjecture and then provide two infinite families of counterexamples.

A nut graph is a simple graph whose adjacency matrix has the eigenvalue~0 with multiplicity~1 such that its corresponding eigenvector has no zero entries. Motivated by a question of Fowler et al.~[\emph{Disc. Math. Graph Theory} 40 (2020), 533--557] to determine the pairs $(n,d)$ for which a vertex-transitive nut graph of order $n$ and degree $d$ exists, Ba\v sić et al.\ [\arxiv{2102.04418}, 2021] initiated the study of circulant nut graphs. Here we first show that the generator set of a circulant nut graph necessarily contains equally many even and odd integers. Then we characterize circulant nut graphs with the generator set $\{x,x+1,\dots,x+2t-1\}$ for $x,t\in\N$, which generalizes the result of Ba\v sić et al.\ for the generator set $\{1,\dots,2t\}$. We further study circulant nut graphs with the generator set $\{1,\dots,2t+1\}\setminus\{t\}$, which yields nut graphs of every even order $n\geq 4t+4$ whenever $t$~is odd such that $t\not\equiv_{10}1$ and $t\not\equiv_{18}15$. This fully resolves Conjecture~9 from Ba\v sić et al.~[ibid.]. We also study the existence of $4t$-regular circulant nut graphs for small values of~$t$, which partially resolves Conjecture~10 of Ba\v sić et al.~[ibid.].