arXiv++ Combinatorics

For a graph $G$ and a related symmetric matrix $M$, the continuous-time quantum walk on $G$ relative to $M$ is defined as the unitary matrix $U(t) = \exp(-itM)$, where $t$ varies over the reals. Perfect state transfer occurs between vertices $u$ and $v$ at time $τ$ if the $(u,v)$-entry of $U(τ)$ has unit magnitude. This paper studies quantum walks relative to graph Laplacians. Some main observations include the following closure properties for perfect state transfer: (1) If a $n$-vertex graph has perfect state transfer at time $τ$ relative to the Laplacian, then so does its complement if $nτ$ is an integer multiple of $2π$. As a corollary, the double cone over any $m$-vertex graph has perfect state transfer relative to the Laplacian if and only if $m \equiv 2 \pmod{4}$. This was previously known for a double cone over a clique (S. Bose, A. Casaccino, S. Mancini, S. Severini, Int. J. Quant. Inf., 7:11, 2009). (2) If a graph $G$ has perfect state transfer at time $τ$ relative to the normalized Laplacian, then so does the weak product $G \times H$ if for any normalized Laplacian eigenvalues $λ$ of $G$ and $μ$ of $H$, we have $μ(λ-1)τ$ is an integer multiple of $2π$. As a corollary, a weak product of $P_{3}$ with an even clique or an odd cube has perfect state transfer relative to the normalized Laplacian. It was known earlier that a weak product of a circulant with odd integer eigenvalues and an even cube or a Cartesian power of $P_{3}$ has perfect state transfer relative to the adjacency matrix. As for negative results, no path with four vertices or more has antipodal perfect state transfer relative to the normalized Laplacian. This almost matches the state of affairs under the adjacency matrix (C. Godsil, Discrete Math., 312:1, 2011).

We study perfect state transfer of quantum walks on signed graphs. Our aim is to show that negative edges are useful for perfect state transfer. Specific results we prove include: (1) The signed join of a negative 2-clique with any positive (n,3)-regular graph has perfect state transfer even if the unsigned join does not. Curiously, the perfect state transfer time improves as n increases. (2) A signed complete graph has perfect state transfer if its positive subgraph is a regular graph with perfect state transfer and its negative subgraph is periodic. This shows that signing is useful for creating perfect state transfer since no complete graph (except for the 2-clique) has perfect state transfer. (3) The double-cover of a signed graph has perfect state transfer if the positive subgraph has perfect state transfer and the negative subgraph is periodic. Here, signing is useful for constructing unsigned graphs with perfect state transfer. Furthermore, we study perfect state transfer on a family of signed graphs called the exterior powers which is derived from a many-fermion quantum walk on graphs.

We propose new families of graphs which exhibit quantum perfect state transfer. Our constructions are based on the join operator on graphs, its circulant generalizations, and the Cartesian product of graphs. We build upon the results of Bašić et al \cite{bps09,bp09} and construct new integral circulants and regular graphs with perfect state transfer. More specifically, we show that the integral circulant $\textsc{ICG}_{n}(\{2,n/2^{b}\} \cup Q)$ has perfect state transfer, where $b \in \{1,2\}$, $n$ is a multiple of 16 and $Q$ is a subset of the odd divisors of $n$. Using the standard join of graphs, we also show a family of double-cone graphs which are non-periodic but exhibit perfect state transfer. This class of graphs is constructed by simply taking the join of the empty two-vertex graph with a specific class of regular graphs. This answers a question posed by Godsil \cite{godsil08}.