arXiv++ Combinatorics

We introduce a new invariant, the coronal of a graph, and use it to compute the spectrum of the corona $G\circ H$ of two graphs $G$ and $H$. In particular, we show that this spectrum is completely determined by the spectra of $G$ and $H$ and the coronal of $H$. Previous work has computed the spectrum of a corona only in the case that $H$ is regular. We then explicitly compute the coronals for several families of graphs, including regular graphs, complete $n$-partite graphs, and paths. Finally, we use the corona construction to generate many infinite families of pairs of cospectral graphs.

Extending the work of Godsil and others, we investigate the notion of the inverse of a graph (specifically, of bipartite graphs with a unique perfect matching). We provide a concise necessary and sufficient condition for the invertibility of such graphs and generalize the notion of invertibility to multigraphs. We examine the question of whether there exists a "litmus subgraph" whose bipartiteness determines invertibility. As an application of our invertibility criteria, we quickly describe all invertible unicyclic graphs. Finally, we describe a general combinatorial procedure for iteratively constructing invertible graphs, giving rise to large new families of such graphs.