arXiv++ Combinatorics

The trace of the average mixing matrix of a quantum walk measures the "laziness" of the walk: the higher the trace, the more likely that the walker returns home in the long run. In this paper, we develop tools to study this graph invariant arising from Laplacian quantum walks. It is known that the complete graph $K_n$ is the laziest connected graph on $n$ vertices. Using our machinery, we show that the star $S_n$ is the second laziest connected graph on $n$ vertices (and hence the laziest tree on $n$ vertices), the complete multipartite graph $K_{n-2,1,1}$ is the third laziest connected graph on $n$ vertices, and the double star $DS(n-3,1)$ is the second laziest tree on $n$ vertices. We also show that on the same number of vertices, more unbalanced double stars are lazier.

This paper studies uniform mixing in continuous-time quantum walks. We show that for some unitary signing $σ$ the complete graph $K^σ_n$ has probabilistic uniform mixing. In contrast, it is known {\em no} complete graph has uniform mixing except for $K_2$, $K_3$, and $K_4$. Our technique is based on a stopping rule for quantum walks which reduces global to local uniform mixing. As a special case, we found an orientation of $H(n,4)$ that mixes to uniform faster than any other Hamming graphs. We also show that there are infinite families of oriented circulants with {\em average} uniform mixing. This is a chiral violation of Godsil's {\em No-Go} theorem which states that no graph has average uniform mixing except for $K_2$.

A paradoxical idea in quantum transport is that attaching weakly-coupled edges to a large base graph creates high-fidelity quantum state transfer. We provide a mathematical treatment that rigorously prove this folklore idea. Our proofs are elementary and build upon the Feshbach-Schur method from perturbation theory. We also show the idea is effective in circumventing Anderson localization in spin chains and finding speedups in hitting times useful for quantum search.

Given a graph with Hermitian adjacency matrix $H$, perfect state transfer occurs from vertex $a$ to vertex $b$ if the $(b,a)$-entry of the unitary matrix $\exp(-iHt)$ has unit magnitude for some time $t$. This phenomenon is relevant for information transmission in quantum spin networks and is known to be monogamous under real symmetric matrices. We prove the following results: 1. For oriented graphs (whose nonzero weights are $\pm i$), the oriented $3$-cycle and the oriented edge are the only graphs where perfect state transfer occurs between every pair of vertices. This settles a conjecture of Cameron et al. On the other hand, we construct an infinite family of oriented graphs with perfect state transfer between any pair of vertices on a subset of size four. 2. There are infinite families of Hermitian graphs with one-way perfect state transfer, where perfect state transfer occurs without periodicity. In contrast, perfect state transfer implies periodicity whenever the adjacency matrix has algebraic entries (as shown by Godsil). 3. There are infinite families with non-monogamous pretty good state transfer in rooted graph products. In particular, we generalize known results on double stars (due to Fan and Godsil) and on paths with loops (due to Kempton, Lippner and Yau). The latter extends the experimental observation of quantum transport (made by Zimborás et al.) and shows non-monogamous pretty good state transfer can occur amongst distant vertices.

We consider quantum state transfer on finite graphs which are attached to infinite paths. The finite graph represents an operational quantum system for performing useful quantum information tasks. In contrast, the infinite paths represent external infinite-dimensional systems which have limited (but nontrivial) interaction with the finite quantum system. We show that {\em perfect} state transfer can surprisingly still occur on the finite graph even in the presence of the infinite tails. Our techniques are based on a decoupling theorem for eventually-free Jacobi matrices, equitable partitions, and standard Lie theoretic arguments. Through these methods, we rehabilitate the notion of a dark subspace which had been so far viewed in an unflattering light.

Spatial search occurs in a connected graph if a continuous-time quantum walk on the adjacency matrix of the graph, suitably scaled, plus a rank-one perturbation induced by any vertex will unitarily map the principal eigenvector of the graph to the characteristic vector of the vertex. This phenomenon is a natural continuous-time analogue of Grover search. The spatial search is said to be optimal if it occurs with constant fidelity and in time inversely proportional to the shadow of the target vertex on the principal eigenvector. Extending a result of Chakraborty et al. (Physical Review A, 102:032214, 2020), we prove a simpler characterization of optimal spatial search. Based on this characterization, we observe that some families of distance-regular graphs, such as Hamming and Grassmann graphs, have optimal spatial search. We also show a matching lower bound on time for spatial search with constant fidelity, which extends a bound due to Farhi and Gutmann for perfect fidelity. Our elementary proofs employ standard tools, such as Weyl inequalities and Cauchy determinant formula.

We develop a general spectral framework to analyze quantum fractional revival in quantum spin networks. In particular, we introduce generalizations of the notions of cospectral and strongly cospectral vertices to arbitrary subsets of vertices, and give various examples. This work resolves two open questions of Chan et.~al. ["Quantum Fractional Revival on graphs". Discrete Applied Math, 269:86-98, 2019.]

Fractional revival occurs between two vertices in a graph if a continuous-time quantum walk unitarily maps the characteristic vector of one vertex to a superposition of the characteristic vectors of the two vertices. This phenomenon is relevant in quantum information in particular for entanglement generation in spin networks. We study fractional revival in graphs whose adjacency matrices belong to the Bose-Mesner algebra of association schemes. A specific focus is a characterization of balanced fractional revival (which corresponds to maximal entanglement) in graphs that belong to the Hamming scheme. Our proofs exploit the intimate connections between algebraic combinatorics and orthogonal polynomials.

Fractional revival is a quantum transport phenomenon important for entanglement generation in spin networks. This takes place whenever a continuous-time quantum walk maps the characteristic vector of a vertex to a superposition of the characteristic vectors of a subset of vertices containing the initial vertex. A main focus will be on the case when the subset has two vertices. We explore necessary and sufficient spectral conditions for graphs to exhibit fractional revival. This provides a characterization of fractional revival in paths and cycles. Our work builds upon the algebraic machinery developed for related quantum transport phenomena such as state transfer and mixing, and it reveals a fundamental connection between them.

A continuous-time quantum walk on a graph is a matrix-valued function $\exp(-\mathtt{i} At)$ over the reals, where $A$ is the adjacency matrix of the graph. Such a quantum walk has universal perfect state transfer if for all vertices $u,v$, there is a time where the $(v,u)$ entry of the matrix exponential has unit magnitude. We prove new characterizations of graphs with universal perfect state transfer. This extends results of Cameron et al. (Linear Algebra and Its Applications, 455:115-142, 2014). Also, we construct non-circulant families of graphs with universal perfect state transfer. All prior known constructions were circulants. Moreover, we prove that if a circulant, whose order is prime, prime squared, or a power of two, has universal perfect state transfer then its underlying graph must be complete. This is nearly tight since there are universal perfect state transfer circulants with non-prime-power order where some edges are missing.

We study state transfer in quantum walk on graphs relative to the adjacency matrix. Our motivation is to understand how the addition of pendant subgraphs affect state transfer. For two graphs $G$ and $H$, the Frucht-Harary corona product $G \circ H$ is obtained by taking $|G|$ copies of the cone $K_{1} + H$ and by connecting the conical vertices according to $G$. Our work explores conditions under which the corona $G \circ H$ exhibits state transfer. We also describe new families of graphs with state transfer based on the corona product. Some of these constructions provide a generalization of related known results.

We prove that the corona product of two graphs has no Laplacian perfect state transfer whenever the first graph has at least two vertices. This complements a result of Coutinho and Liu who showed that no tree of size greater than two has Laplacian perfect state transfer. In contrast, we prove that the corona product of two graphs exhibits Laplacian pretty good state transfer, under some mild conditions. This provides the first known examples of families of graphs with Laplacian pretty good state transfer. Our result extends of the work of Fan and Godsil on double stars to the Laplacian setting. Moreover, we also show that the corona product of any cocktail party graph with a single vertex graph has Laplacian pretty good state transfer, even though odd cocktail party graphs have no perfect state transfer.

A continuous-time quantum walk on a graph $G$ is given by the unitary matrix $U(t) = \exp(-itA)$, where $A$ is the Hermitian adjacency matrix of $G$. We say $G$ has pretty good state transfer between vertices $a$ and $b$ if for any $ε> 0$, there is a time $t$, where the $(a,b)$-entry of $U(t)$ satisfies $|U(t)_{a,b}| \ge 1-ε$. This notion was introduced by Godsil (2011). The state transfer is perfect if the above holds for $ε= 0$. In this work, we study a natural extension of this notion called universal state transfer. Here, state transfer exists between every pair of vertices of the graph. We prove the following results about graphs with this stronger property: (1) Graphs with universal state transfer have distinct eigenvalues and flat eigenbasis (where each eigenvector has entries which are equal in magnitude). (2) The switching automorphism group of a graph with universal state transfer is abelian and its order divides the size of the graph. Moreover, if the state transfer is perfect, then the switching automorphism group is cyclic. (3) There is a family of prime-length cycles with complex weights which has universal pretty good state transfer. This provides a concrete example of an infinite family of graphs with the universal property. (4) There exists a class of graphs with real symmetric adjacency matrices which has universal pretty good state transfer. In contrast, Kay (2011) proved that no graph with real-valued adjacency matrix can have universal perfect state transfer. We also provide a spectral characterization of universal perfect state transfer graphs that are switching equivalent to circulants.

A signed graph is a graph whose edges are given (-1,+1) weights. In such a graph, the sign of a cycle is the product of the signs of its edges. A signed graph is called balanced if its adjacency matrix is similar to the adjacency matrix of an unsigned graph via conjugation by a diagonal (-1,+1) matrix. For a signed graph $Σ$ on n vertices, its exterior k-th power, where k=1,..,n-1, is a graph $\bigwedge^{k} Σ$ whose adjacency matrix is given by \[ A({$\bigwedge^{k} Σ$}) = P^{\dagger} A(Σ^{\Box k}) P, \] where P is the projector onto the anti-symmetric subspace of the k-fold tensor product space $(\mathbb{C}^{n})^{\otimes k}$ and $Σ^{\Box k}$ is the k-fold Cartesian product of $Σ$ with itself. The exterior power creates a signed graph from any graph, even unsigned. We prove sufficient and necessary conditions so that $\bigwedge^{k} Σ$ is balanced. For k=1,..,n-2, the condition is that either $Σ$ is a signed path or $Σ$ is a signed cycle that is balanced for odd k or is unbalanced for even k; for k=n-1, the condition is that each even cycle in $Σ$ is positive and each odd cycle in $Σ$ is negative.

We describe new constructions of graphs which exhibit perfect state transfer on continuous-time quantum walks. Our constructions are based on variants of the double cones [BCMS09,ANOPRT10,ANOPRT09] and the Cartesian graph products (which includes the n-cube) [CDDEKL05]. Some of our results include: (1) If $G$ is a graph with perfect state transfer at time $t_{G}$, where $t_{G}\Spec(G) \subseteq \ZZπ$, and $H$ is a circulant with odd eigenvalues, their weak product $G \times H$ has perfect state transfer. Also, if $H$ is a regular graph with perfect state transfer at time $t_{H}$ and $G$ is a graph where $t_{H}|V_{H}|\Spec(G) \subseteq 2\ZZπ$, their lexicographic product $G[H]$ has perfect state transfer. (2) The double cone $\overline{K}_{2} + G$ on any connected graph $G$, has perfect state transfer if the weights of the cone edges are proportional to the Perron eigenvector of $G$. This generalizes results for double cone on regular graphs studied in [BCMS09,ANOPRT10,ANOPRT09]. (3) For an infinite family $\GG$ of regular graphs, there is a circulant connection so the graph $K_{1}+\GG\circ\GG+K_{1}$ has perfect state transfer. In contrast, no perfect state transfer exists if a complete bipartite connection is used (even in the presence of weights) [ANOPRT09]. We also describe a generalization of the path collapsing argument [CCDFGS03,CDDEKL05], which reduces questions about perfect state transfer to simpler (weighted) multigraphs, for graphs with equitable distance partitions.