Unicyclic graphs with bicyclic inverses

summary:A graph is nonsingular if its adjacency matrix $A(G)$ is nonsingular. The inverse of a nonsingular graph $G$ is a graph whose adjacency matrix is similar to $A(G)^{-1}$ via a particular type of similarity. Let $\mathcal {H}$ denote the class of connected bipartite graphs with unique perfect matchings. Tifenbach and Kirkland (2009) characterized the unicyclic graphs in $\mathcal {H}$ which possess unicyclic inverses. We present a characterization of unicyclic graphs in $\mathcal {H}$ which possess bicyclic inverses

Spectra of Coronae

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.Comment: 9 page

Approximating the Permanent of a Matrix with Deep Rejection Sampling

Computing the permanent of a matrix is a famous #P-hard problem with a wide range of applications. The fastest known exact algorithms for the problem require an exponential number of operations, and all known fully polynomial randomized approximation schemes are rather complicated to implement and have impractical time complexities. The most promising recent advancements on approximating the permanent are based on rejection sampling and upper bounds for the permanent. In this thesis, we improve the current state of the art by developing the deep rejection sampling method, which combines an exact algorithm with the rejection sampling method. The algorithm precomputes a dynamic programming table that tightens the initial upper bound used by the rejection sampling method. In a sense, the table is used to jump-start the sampling process. We give a high probability upper bound for the time complexity of the deep rejection sampling method for random (0, 1)-matrices in which each entry is 1 with probability p. For matrices with p < 1/5, our high probability bound is stronger than in previous work. In addition to that, we empirically observe that our algorithm outperforms earlier rejection sampling methods by testing it with different parameters against other algorithms on multiple classes of matrices. The improvements in sampling times are especially notable in cases in which the ratios of the permanental upper bounds and the exact value of the permanent are huge

Quantum State Transfer in Graphs

Let X be a graph, A its adjacency matrix, and t a non-negative real number. The matrix exp(i t A) determines the evolution in time of a certain quantum system defined on the graph. It represents a continuous-time quantum walk in X. We say that X admits perfect state transfer from a vertex u to a vertex v if there is a time t such that | exp(i t A)_(u,v) | = 1. The main problem we study in this thesis is that of determining which simple graphs admit perfect state transfer. For some classes of graphs the problem is solved. For example, a path on n vertices admits perfect state transfer if and only if n=2 or n=3. However, the general problem of determining all graphs that admit perfect state transfer is substantially hard. In this thesis, we focus on some special cases. We provide necessary and sufficient conditions for a distance-regular graph to admit perfect state transfer. In particular, we provide a detailed account of which distance-regular graphs of diameter three do so. A graph is said to be spectrally extremal if the number of distinct eigenvalues is equal to the diameter plus one. Distance-regular graphs are examples of such graphs. We study perfect state transfer in spectrally extremal graphs and explore rich connections to the topic of orthogonal polynomials. We characterize perfect state transfer in such graphs. We also provide a general framework in which perfect state transfer in graph products can be studied. We use this to determine when direct products and double covers of graphs admit perfect state transfer. As a consequence, we provide many new examples of simple graphs admitting perfect state transfer. We also provide some advances in the understanding of perfect state transfer in Cayley graphs for the groups (Z_2)^d and Z_n. Finally, we consider the problem of determining which trees admit perfect state transfer. We show more generally that, except for the path on two vertices, if a connected bipartite graph contains a unique perfect matching, then it cannot admit perfect state transfer. We also consider this problem in the context of another model of quantum walks determined by the matrix exp(i t L), where L is the Laplacian matrix of the graph. In particular, we show that no tree on an odd number of vertices admits perfect state transfer according to this model

Bipartite Distance-Regular Graphs of Diameter Four

Using a method by Godsil and Roy, bipartite distance-regular graphs of diameter four can be used to construct $\{0,\alpha\}$-sets, a generalization of the widely applied equiangular sets and mutually unbiased bases. In this thesis, we study the properties of these graphs. There are three main themes of the thesis. The first is the connection between bipartite distance-regular graphs of diameter four and their halved graphs, which are necessarily strongly regular. We derive formulae relating the parameters of a graph of diameter four to those of its halved graphs, and use these formulae to derive a necessary condition for the point graph of a partial geometry to be a halved graph. Using this necessary condition, we prove that several important families of strongly regular graphs cannot be halved graphs. The second theme is the algebraic properties of the graphs. We study Krein parameters as the first part of this theme. We show that bipartite-distance regular graphs of diameter four have one ``special" Krein parameter, denoted by \krein. We show that the antipodal bipartite distance-regular graphs of diameter four with \krein=0 are precisely the Hadamard graphs. In general, we show that a bipartite distance-regular graph of diameter four satisfies \krein=0 if and only if it satisfies the so-called $Q$-polynomial property. In relation to halved graphs, we derive simple formulae for computing the Krein parameters of a halved graph in terms of those of the bipartite graph. As the second part of the algebraic theme, we study Terwilliger algebras. We describe all the irreducible modules of the complex space under the Terwilliger algebra of a bipartite distance-regular graph of diameter four, and prove that no irreducible module can contain two linearly independent eigenvectors of the graph with the same eigenvalue. Finally, we study constructions and bounds of $\{0,\alpha\}$-sets as the third theme. We present some distance-regular graphs that provide new constructions of $\{0,\alpha\}$-sets. We prove bounds for the sizes of $\{0,\alpha\}$-sets of flat vectors, and characterize all the distance-regular graphs that yield $\{0,\alpha\}$-sets meeting the bounds at equality. We also study bipartite covers of linear Cayley graphs, and present a geometric condition and a coding theoretic condition for such a cover to produce $\{0,\alpha\}$-sets. Using simple operations on graphs, we show how new $\{0,\alpha\}$-sets can be constructed from old ones