arXiv++ Combinatorics

A nut graph is a simple graph whose kernel is spanned by a single full vector (i.e. the adjacency matrix has a single zero eigenvalue and all non-zero kernel eigenvectors have no zero entry). We classify generalisations of nut graphs to nut digraphs: a digraph whose kernel (resp. co-kernel) is spanned by a full vector is dextro-nut (resp. laevo-nut); a bi-nut digraph is both laevo- and dextro-nut; an ambi-nut digraph is a bi-nut digraph where kernel and co-kernel are spanned by the same vector; a digraph is inter-nut if the intersection of the kernel and co-kernel is spanned by a full vector. It is known that a nut graph is connected, leafless and non-bipartite. It is shown here that an ambi-nut digraph is strongly connected, non-bipartite (i.e. has a non-bipartite underlying graph) and has minimum in-degree and minimum out-degree of at least $2$. Refined notions of core and core-forbidden vertices apply to singular digraphs. Infinite families of nut digraphs and systematic coalescence, cross-over and multiplier constructions are introduced. Relevance of nut digraphs to topological physics is discussed.

A nut graph is a simple graph for which the adjacency matrix has a single zero eigenvalue such that all non-zero kernel eigenvectors have no zero entry. It is known that infinitely many $d$-regular nut graphs exist for $3 \leq d \leq 12$ and for $d \geq 4$ such that $d \equiv 0 \pmod{4}$. Here it is shown that infinitely many $d$-regular nut graphs exist for each degree $d \geq 3$. Moreover, we prove that there are infinitely many $d$-regular Cayley nut graphs for each even $d \ge 4$. This implies that we have identified all feasible degrees $d$ for which a $d$-regular Cayley nut graph exists.

Conduction graphs are defined here in order to elucidate at a glance the often complicated conduction behaviour of molecular graphs as ballistic molecular conductors. The graph $G^{\mathrm C}$ describes all possible conducting devices associated with a given base graph $G$ within the context of the Source-and-Sink-Potential model of ballistic conduction. The graphs $G^{\mathrm C}$ and $G$ have the same vertex set, and each edge $xy$ in $G^{\mathrm C}$ represents a conducting device with graph $G$ and connections $x$ and $y$ that conducts at the Fermi level. If $G^{\mathrm C}$ is isomorphic with the simple graph $G$ (in which case we call $G$ conduction-isomorphic), then $G$ has nullity $η(G)=0$ and is an ipso omni-insulator. Motivated by this, examples are provided of ipso omni-insulators of odd order, thereby answering a recent question. For $η(G)=0$, $G^{\mathrm C}$ is obtained by 'booleanising' the inverse adjacency matrix $A^{-1}(G)$, to form $A(G^{\mathrm C})$, i.e. by replacing all non-zero entries $(A(G)^{-1})_{xy}$ in the inverse by $1+δ_{xy}$ where $δ_{xy}$ is the Kronecker delta function. Constructions of conduction-isomorphic graphs are given for the cases of $G$ with minimum degree equal to two or any odd integer. Moreover, it is shown that given any connected non-bipartite conduction-isomorphic graph $G$, a larger conduction-isomorphic graph $G'$ with twice as many vertices and edges can be constructed. It is also shown that there are no 3-regular conduction-isomorphic graphs. A census of small (order $\leq 11$) connected conduction-isomorphic graphs and small (order $\leq 22$) connected conduction-isomorphic graphs with maximum degree at most three is given. For $η(G)=1$, it is shown that $G^{\mathrm C}$ is connected if and only if $G$ is a nut graph (a singular graph of nullity one that has a full kernel vector).

A nut graph is a simple graph of order 2 or more for which the adjacency matrix has a single zero eigenvalue such that all non-zero kernel eigenvectors have no zero entry (i.e. are full). It is shown by construction that every finite group can be represented as the group of automorphisms of infinitely many nut graphs. It is further shown that such nut graphs exist even within the class of regular graphs; the cases where the degree is 8, 12, 16, 20 or 24 are realised explicitly.

A nut graph is a simple graph for which the adjacency matrix has a single zero eigenvalue such that all non-zero kernel eigenvectors have no zero entry. If the isolated vertex is excluded as trivial, nut graphs have seven or more vertices; they are connected, non-bipartite, and have no leaves. It is shown that a nut graph $G$ always has at least one more edge orbit than it has vertex orbits: $o_e(G) \geq o_v(G) + 1$, with the obvious corollary that edge transitive nut graphs do not exist. We give infinite familes of vertex-transitive nut graphs with two orbits of edges, and infinite families of nut graphs with two orbits of vertices and three of edges. Several constructions for nut graphs from smaller starting graphs are known: double subdivision of a bridge, four-fold subdivision of an edge, a construction for extrusion of a vertex with preservation of the degree sequence. To these we add multiplier constructions that yield nut graphs from regular (not necessarily nut graph) parents. In general, constructions can have different effects on automorphism group and counts of vertex and edge orbits, but in the case where the automorphism group is `preserved', they can be used in a predictable way to control vertex and edge orbit numbers.

Altanisation (formation of the altan of a parent structure) originated in the chemical literature as a formal device for constructing generalised coronenes from smaller structures. The altan of graph $G$, denoted $\mathfrak{a}(G, H)$, depends on the choice of attachment set $H$ (a cyclic $h$-tuple of vertices of $G$). From a given pair $(G, H)$, the altan construction produces a pair $(G', H')$, where $H'$ is called the induced attachment set. Repetition of the construction, using at each stage the attachment set induced in the previous step, defines the iterated altan. Here, we prove sharp bounds for the nullity of altan and iterated altan graphs based on a general parent graph: for any attachment set with odd $h$, nullities of altan and parent are equal; for any $h$ and all $k \geq 1$, the $k$-th altan has the same nullity as the first; for any attachment set with even $h$, the nullity of the altan exceeds the nullity of the parent graph by one of the three values $\{0, 1, 2\}$. The case of excess nullity $2$ has not been noticed before; for benzenoids with the natural attachment set consisting of the CH sites, it occurs first for a parent structure with $5$ hexagons. On the basis of extensive computation, it is conjectured that in fact no altan of a convex benzenoid has excess nullity $2$.

Catacondensed benzenoids (those benzenoids having no carbon atom belonging to three hexagonal rings) form the simplest class of polycyclic aromatic hydrocarbons (PAH). They have a long history of study and are of wide chemical importance. In this paper, mathematical possibilities for natural extension of the notion of a catacondensed benzenoid are discussed, leading under plausible chemically and physically motivated restrictions to the notion of a catacondensed chemical hexagonal complex (CCHC). A general polygonal complex is a topological structure composed of polygons that are glued together along certain edges. A polygonal complex is flat if none of its edges belong to more than two polygons. A connected flat polygonal complex determines an orientable or nonorientable surface, possibly with boundary. A CCHC is then a connected flat polygonal complex all of whose polygons are hexagons and each of whose vertices belongs to at most two hexagonal faces. We prove that all CCHC are Kekulean and give formulas for counting the perfect matchings in a series of examples based on expansion of cubic graphs in which the edges are replaced by linear polyacenes of equal length. As a preliminary assessment of the likely stability of molecules with CCHC structure, all-electron quantum chemical calculations are applied to molecular structures based on several CCHC, using either linear or kinked unbranched catafused polyacenes as the expansion motif. The systems examined all have closed shells according to Hückel theory and all correspond to minima on the potential surface, thus passing the most basic test for plausibility as a chemical species.

A signed graph has edge weights drawn from the set $\{+1,-1\}$, and is termed sign-balanced if it is equivalent to an unsigned graph under the operation of sign switching; otherwise it is called sign-unbalanced. A nut graph has a one dimensional kernel with a corresponding eigenvector that is full. In this paper we generalise the notion of nut graphs to signed graphs. Orders for which unsigned regular nut graphs exist were determined recently for the degrees up to $11$. By extending the definition to signed nut graphs, we find all pairs $(ρ, n)$ for which a $ρ$-regular nut graph (sign-balanced or sign-unbalanced) of order $n$ exists with $ρ\le 11$. We devise a construction for signed nut graphs based on a smaller `seed' graph, giving infinite series of both sign-balanced and sign-unbalanced $ρ$-regular nut graphs. All orders for which a complete sign-unbalanced nut graph exists are characterised; they have underlying graph $K_n$ with $n \equiv 1 \pmod 4$. All orders for which a regular sign-unbalanced nut graph with $ρ= n - 2$ exists are also characterised; they have an underlying cocktail-party graph $\mathrm{CP}(n)$ with even $n \geq 8$.

Molecular graphs of unsaturated carbon frameworks or hydrocarbons pruned of hydrogen atoms, are chemical graphs. A chemical graph is a connected simple graph of maximum degree $3$ or less. A nut graph is a connected simple graph with a singular adjacency matrix that has one zero eigenvalue and a non-trivial kernel eigenvector without zero entries. Nut graphs have no vertices of degree $1$: they are leafless. The intersection of these two sets, the chemical nut graphs, is of interest in applications in chemistry and molecular physics, corresponding to structures with fully distributed radical reactivity and omniconducting behaviour at the Fermi level. A chemical nut graph consists of $v_2 \ge 0$ vertices of degree $2$ and an even number, $v_3 > 0$, of vertices of degree $3$. With the aid of systematic local constructions that produce larger nut graphs from smaller, the combinations $(v_3, v_2)$ corresponding to realisable chemical nut graphs are characterised. Apart from a finite set of small cases, and two simply defined infinite series, all combinations $(v_3, v_2 )$ with even values of $v_3 > 0$ are realisable as chemical nut graphs. Of these combinations, only $(20,0)$ cannot be realised by a planar chemical nut graph. The main result characterises the ranges of edge counts for chemical nut graphs of all orders $n$.

In 2012, a family of benzenoids was introduced by Cruz, Gutman, and Rada, which they called convex benzenoids. In this paper we introduce the convexity deficit, a new topological index intended for benzenoids and, more generally, fusenes. This index measures by how much a given fusene departs from convexity. It is defined in terms of the boundary-edges code. In particular, convex benzenoids are exactly the benzenoids having convexity deficit equal to 0. Quasi-convex benzenoids form the family of non-convex benzenoids that are closest to convex, i.e., they have convexity deficit equal to 1. Finally, we investigate convexity deficit of several important families of benzenoids.

A nut graph is a singular graph with one-dimensional kernel and corresponding eigenverctor with no zero elements. The problem of determining the orders $n$ for which $d$-regular nut graphs exist was recently posed by Gauci, Pisanski and Sciriha. These orders are known for $d \leq 4$. Here we solve the problem for all remaining cases $d\leq 11$ and determine the complete lists of all $d$-regular nut graphs of order $n$ for small values of $d$ and $n$. The existence or non-existence of small regular nut graphs is determined by a computer search. The main tool is a construction that produces, for any $d$-regular nut graph of order $n$, another $d$-regular nut graph of order $n + 2d$. If we are given a sufficient number of $d$-regular nut graphs of consecutive orders, called seed graphs, this construction may be applied in such a way that the existence of all $d$-regular nut graphs of higher orders is established. For even $d$ the orders $n$ are indeed consecutive, while for odd $d$ the orders $n$ are consecutive even numbers. Furthermore, necessary conditions for combinations of order and degree for vertex-transitive nut graphs are derived.

A nut graph is a graph on at least 2 vertices whose adjacency matrix has nullity 1 and for which non-trivial kernel vectors do not contain a zero. Chemical graphs are connected, with maximum degree at most three. We present a new algorithm for the exhaustive generation of non-isomorphic nut graphs. Using this algorithm, we determined all nut graphs up to 13 vertices and all chemical nut graphs up to 22 vertices. Furthermore, we determined all nut graphs among the cubic polyhedra up to 34 vertices and all nut fullerenes up to 250 vertices. Nut graphs are of interest in chemistry of conjugated systems, in models of electronic structure, radical reactivity and molecular conduction. The relevant mathematical properties of chemical nut graphs are the position of the zero eigenvalue in the graph spectrum, and the dispersion in magnitudes of kernel eigenvector entries ($r$: the ratio of maximum to minimum magnitude of entries). Statistics are gathered on these properties for all the nut graphs generated here. We also show that all chemical nut graphs have $r \ge 2$ and that there is at least one chemical nut graph with $r = 2$ for every order $n \ge 9$ (with the exception of $n = 10$).

Stability and chemistry, both exohedral and endohedral, of fullerenes are critically dependent on the distribution of their obligatory 12 pentagonal faces. It is well known that there are infinitely many IPR-fullerenes and that the pentagons in these fullerenes can be at an arbitrarily large distance from each other. IPR-fullerenes can be described as fullerenes in which each connected cluster of pentagons has size 1. In this paper we study the combinations of cluster sizes that can occur in fullerenes and whether the clusters can be at an arbitrarily large distance from each other. For each possible partition of the number 12, we are able to decide whether the partition describes the sizes of pentagon clusters in a possible fullerene, and state whether the different clusters can be at an arbitrarily large distance from each other. We will prove that all partitions with largest cluster of size 5 or less can occur in an infinite number of fullerenes with the clusters at an arbitrarily large distance of each other, that 9 partitions occur in only a finite number of fullerene isomers and that 15 partitions do not occur at all in fullerenes.

In this paper we revisit coronoids, in particular multiple coronoids. We consider a mathematical formalisation of the theory of coronoid hydrocarbons that is solely based on incidence between hexagons of the infinite hexagonal grid in the plane. In parallel, we consider perforated patches, which generalise coronoids: in addition to hexagons, other polygons may also be present. Just as coronoids may be considered as benzenoids with holes, perforated patches are patches with holes. Both cases, coronoids and perforated patches, admit a generalisation of the altan operation that can be performed at several holes simultaneously. A formula for the number of Kekulé structures of a generalised altan can be derived easily if the number of Kekulé structures is known for the original graph. Pauling Bond Orders for generalised altans are also easy to derive from those of the original graph.