-
Degree-Similar Graphs
Authors:
Chris Godsil,
Wanting Sun
Abstract:
The degree matrix of a graph is the diagonal matrix with diagonal entries equal to the degrees of the vertices of $X$. If $X_1$ and $X_2$ are graphs with respective adjacency matrices $A_1$ and $A_2$ and degree matrices $D_1$ and $D_2$, we say that $X_1$ and $X_2$ are degree similar if there is an invertible real matrix $M$ such that $M^{-1}A_1M=A_2$ and $M^{-1}D_1M=D_2$. If graphs $X_1$ and…
▽ More
The degree matrix of a graph is the diagonal matrix with diagonal entries equal to the degrees of the vertices of $X$. If $X_1$ and $X_2$ are graphs with respective adjacency matrices $A_1$ and $A_2$ and degree matrices $D_1$ and $D_2$, we say that $X_1$ and $X_2$ are degree similar if there is an invertible real matrix $M$ such that $M^{-1}A_1M=A_2$ and $M^{-1}D_1M=D_2$. If graphs $X_1$ and $X_2$ are degree similar, then their adjacency matrices, Laplacian matrices, unsigned Laplacian matrices and normalized Laplacian matrices are similar. We first show that the converse is not true. Then, we provide a number of constructions of degree-similar graphs. Finally, we show that the matrices $A_1-μD_1$ and $A_2-μD_2$ are similar over the field of rational functions $\mathbb{Q}(μ)$ if and only if the Smith normal forms of the matrices $tI-(A_1-μD_1)$ and $tI-(A_2-μD_2)$ are equal.
△ Less
Submitted 15 July, 2024;
originally announced July 2024.
-
Oriented or signed Cayley graphs with all eigenvalues integer multiples of $\sqrtΔ$
Authors:
Chris Godsil,
Xiaohong Zhang
Abstract:
Let $G$ be a finite abelian group. Bridges and Mena characterized the Cayley graphs of $G$ that have only integer eigenvalues. Here we consider the $(0,1,-1)$ adjacency matrix of an oriented Cayley graph or of a signed Cayley graph $X$ on $G$. We give a characterization of when all the eigenvalues of $X$ are integer multiples of $\sqrtΔ$ for some square-free integer $Δ$. These are exactly the orie…
▽ More
Let $G$ be a finite abelian group. Bridges and Mena characterized the Cayley graphs of $G$ that have only integer eigenvalues. Here we consider the $(0,1,-1)$ adjacency matrix of an oriented Cayley graph or of a signed Cayley graph $X$ on $G$. We give a characterization of when all the eigenvalues of $X$ are integer multiples of $\sqrtΔ$ for some square-free integer $Δ$. These are exactly the oriented or signed Cayley graphs on which the continuous quantum walks are periodic, a necessary condition for walks on such graphs to admit perfect state transfer. This also has applications in the study of uniform mixing on oriented Cayley graphs, as the occurrence of local uniform mixing at vertex $a$ in an oriented graph $X$ implies periodicity of the walk at $a$. We give examples of oriented Cayley graphs which admit uniform mixing or multiple state transfer.
△ Less
Submitted 22 May, 2024;
originally announced May 2024.
-
Quantum independence and chromatic numbers
Authors:
Chris Godsil,
Mariia Sobchuk
Abstract:
We construct a new graph on 120 vertices whose quantum and classical independence numbers are different. At the same time, we construct an infinite family of graphs whose quantum chromatic numbers are smaller than the classical chromatic numbers. Furthermore, we discover the relation to Kochen-Specker sets that characterizes quantum cocliques that are strictly bigger than classical ones. Finally,…
▽ More
We construct a new graph on 120 vertices whose quantum and classical independence numbers are different. At the same time, we construct an infinite family of graphs whose quantum chromatic numbers are smaller than the classical chromatic numbers. Furthermore, we discover the relation to Kochen-Specker sets that characterizes quantum cocliques that are strictly bigger than classical ones. Finally, we prove that for graphs with independence number is two, quantum and classical independence numbers coincide.
△ Less
Submitted 7 February, 2024; v1 submitted 29 January, 2024;
originally announced January 2024.
-
A Note on Eigenvalues of Cayley Graphs
Authors:
Arnbjörg Soffía Árnadóttir,
Chris Godsil
Abstract:
A graph is called integral if all its eigenvalues are integers. A Cayley graph is called normal if its connection set is a union of conjugacy classes. We show that a non-empty integral normal Cayley graph for a group of odd order has an odd eigenvalue.
A graph is called integral if all its eigenvalues are integers. A Cayley graph is called normal if its connection set is a union of conjugacy classes. We show that a non-empty integral normal Cayley graph for a group of odd order has an odd eigenvalue.
△ Less
Submitted 13 October, 2023;
originally announced October 2023.
-
Cospectral graphs obtained by edge deletion
Authors:
Chris Godsil,
Wanting Sun,
Xiaohong Zhang
Abstract:
Let $M\circ N$ denote the Schur product of two matrices $M$ and $N$. A graph $X$ with adjacency matrix $A$ is walk regular if $A^k\circ I$ is a constant times $I$ for each $k\ge0$, and $X$ is 1-walk-regular if it is walk regular and $A^k\circ A$ is a constant times $A$ for each $k\ge0$. Assume $X$ is 1-walk regular. Here we show that by deleting an edge in $X$, or deleting edges of a graph inside…
▽ More
Let $M\circ N$ denote the Schur product of two matrices $M$ and $N$. A graph $X$ with adjacency matrix $A$ is walk regular if $A^k\circ I$ is a constant times $I$ for each $k\ge0$, and $X$ is 1-walk-regular if it is walk regular and $A^k\circ A$ is a constant times $A$ for each $k\ge0$. Assume $X$ is 1-walk regular. Here we show that by deleting an edge in $X$, or deleting edges of a graph inside a clique of $X$, we obtain families of graphs that are not necessarily isomorphic, but are cospectral with respect to four types of matrices: the adjacency matrix, Laplacian matrix, unsigned Laplacian matrix, and normalized Laplacian matrix. Furthermore, we show that removing edges of Laplacian cospectral graphs in cliques of a 1-walk regular graph results in Laplacian cospectral graphs; removing edges of unsigned Laplacian cospectral graphs whose complements are also cospectral with respect to the unsigned Laplacian in cliques of a 1-walk regular graph results in unsigned Laplacian cospectral graphs.
△ Less
Submitted 7 February, 2023;
originally announced February 2023.
-
State Transfer in Complex Quantum Walks
Authors:
Antonio Acuaviva,
Ada Chan,
Summer Eldridge,
Chris Godsil,
Matthew How-Chun-Lun,
Christino Tamon,
Emily Wright,
Xiaohong Zhang
Abstract:
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 gr…
▽ More
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.
△ Less
Submitted 4 January, 2023;
originally announced January 2023.
-
Irrational quantum walks
Authors:
Gabriel Coutinho,
Pedro Ferreira Baptista,
Chris Godsil,
Thomás Jung Spier,
Reinhard Werner
Abstract:
The adjacency matrix of a graph G is the Hamiltonian for a continuous-time quantum walk on the vertices of G. Although the entries of the adjacency matrix are integers, its eigenvalues are generally irrational and, because of this, the behaviour of the walk is typically not periodic. In consequence we can usually only compute numerical approximations to parameters of the walk. In this paper, we de…
▽ More
The adjacency matrix of a graph G is the Hamiltonian for a continuous-time quantum walk on the vertices of G. Although the entries of the adjacency matrix are integers, its eigenvalues are generally irrational and, because of this, the behaviour of the walk is typically not periodic. In consequence we can usually only compute numerical approximations to parameters of the walk. In this paper, we develop theory to exactly study any quantum walk generated by an integral Hamiltonian. As a result, we provide exact methods to compute the average of the mixing matrices, and to decide whether pretty good (or almost) perfect state transfer occurs in a given graph. We also use our methods to study geometric properties of beautiful curves arising from entries of the quantum walk matrix, and discuss possible applications of these results.
△ Less
Submitted 18 August, 2022;
originally announced August 2022.
-
Hamiltonians of Bipartite Walks
Authors:
Qiuting Chen,
Chris Godsil,
Mariia Sobchuk,
Harmony Zhan
Abstract:
In this paper, we introduce a discrete quantum walk model called bipartite walks. Bipartite walks include many known discrete quantum walk models, like arc-reversal walks, vertex-face walks. For the transition matrix of a quantum walk, there is a Hamiltonian associated with it. We will study the Hamiltonians of the bipartite walks. Let $S$ be a skew-symmetric matrix. We are mainly interested in th…
▽ More
In this paper, we introduce a discrete quantum walk model called bipartite walks. Bipartite walks include many known discrete quantum walk models, like arc-reversal walks, vertex-face walks. For the transition matrix of a quantum walk, there is a Hamiltonian associated with it. We will study the Hamiltonians of the bipartite walks. Let $S$ be a skew-symmetric matrix. We are mainly interested in the Hamiltonians of the form $iS$. We show that the Hamiltonian can be written as $iS$ if and only if the adjacency matrix of the bipartite graph is invertible. We show that arc-reversal walks and vertex-face walks are special cases of bipartite walks. Via the Hamiltonians, phenomena of bipartite walks lead to phenomena of continuous walks. We show in detail how we use bipartite walks on paths to construct universal perfect state transfer in continuous walks.
△ Less
Submitted 4 July, 2022;
originally announced July 2022.
-
On state transfer in Cayley graphs for abelian groups
Authors:
Arnbjörg Soffía Árnadóttir,
Chris Godsil
Abstract:
In this paper, we characterize perfect state transfer in Cayley graphs for abelian groups that have a cyclic Sylow-2-subgroup. This generalizes a result of Bašić from 2013 where he provides a similar characterization for Cayley graphs of cyclic groups.
In this paper, we characterize perfect state transfer in Cayley graphs for abelian groups that have a cyclic Sylow-2-subgroup. This generalizes a result of Bašić from 2013 where he provides a similar characterization for Cayley graphs of cyclic groups.
△ Less
Submitted 13 December, 2022; v1 submitted 20 April, 2022;
originally announced April 2022.
-
Of Shadows and Gaps in Spatial Search
Authors:
Ada Chan,
Chris Godsil,
Christino Tamon,
Weichen Xie
Abstract:
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…
▽ More
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.
△ Less
Submitted 30 August, 2022; v1 submitted 8 April, 2022;
originally announced April 2022.
-
Quantum walks do not like bridges
Authors:
Gabriel Coutinho,
Chris Godsil,
Emanuel Juliano,
Christopher M. van Bommel
Abstract:
We consider graphs with two cut vertices joined by a path with one or two edges, and prove that there can be no quantum perfect state transfer between these vertices, unless the graph has no other vertex. We achieve this result by applying the 1-sum lemma for the characteristic polynomial of graphs, the neutrino identities that relate entries of eigenprojectors and eigenvalues, and variational pri…
▽ More
We consider graphs with two cut vertices joined by a path with one or two edges, and prove that there can be no quantum perfect state transfer between these vertices, unless the graph has no other vertex. We achieve this result by applying the 1-sum lemma for the characteristic polynomial of graphs, the neutrino identities that relate entries of eigenprojectors and eigenvalues, and variational principles for eigenvalues (Cauchy interlacing, Weyl inequalities and Wielandt minimax principle). We see our result as an intermediate step to broaden the understanding of how connectivity plays a key role in quantum walks, and as further evidence of the conjecture that no tree on four or more vertices admits state transfer. We conclude with some open problems.
△ Less
Submitted 6 December, 2021;
originally announced December 2021.
-
Fractional revival on non-cospectral vertices
Authors:
Chris Godsil,
Xiaohong Zhang
Abstract:
Perfect state transfer and fractional revival can be used to move information between pairs of vertices in a quantum network. While perfect state transfer has received a lot of attention, fractional revival is newer and less studied. One problem is to determine the differences between perfect state transfer and fractional revival. If perfect state transfer occurs between two vertices in a graph, t…
▽ More
Perfect state transfer and fractional revival can be used to move information between pairs of vertices in a quantum network. While perfect state transfer has received a lot of attention, fractional revival is newer and less studied. One problem is to determine the differences between perfect state transfer and fractional revival. If perfect state transfer occurs between two vertices in a graph, the vertices must be cospectral. Further if there is perfect state transfer between vertices $a$ and $b$ in a graph, there cannot be perfect state transfer from $a$ to any other vertex. No examples of unweighted graphs with fractional revival between non-cospectral vertices were known; here we give an infinite family of such graphs. No examples of unweighted graphs where the pairs involved in fractional revival overlapped were known; we give examples of such graphs as well.
△ Less
Submitted 12 June, 2022; v1 submitted 14 October, 2021;
originally announced October 2021.
-
Strongly cospectral vertices in normal Cayley graphs
Authors:
Arnbjörg Soffía Árnadóttir,
Chris Godsil
Abstract:
We prove an upper bound on the number of pairwise strongly cospectral vertices in a normal Cayley graph, in terms of the multiplicities of its eigenvalues. We use this to determine an explicit bound in Cayley graphs of $\mathbb{Z}_2^d$ and $\mathbb{Z}_4^d$. We also provide some infinite families of Cayley graphs of $\mathbb{Z}_2^d$ with a set of four pairwise strongly cospectral vertices and show…
▽ More
We prove an upper bound on the number of pairwise strongly cospectral vertices in a normal Cayley graph, in terms of the multiplicities of its eigenvalues. We use this to determine an explicit bound in Cayley graphs of $\mathbb{Z}_2^d$ and $\mathbb{Z}_4^d$. We also provide some infinite families of Cayley graphs of $\mathbb{Z}_2^d$ with a set of four pairwise strongly cospectral vertices and show that such graphs exist in every dimension.
△ Less
Submitted 23 January, 2023; v1 submitted 15 September, 2021;
originally announced September 2021.
-
Fundamentals of fractional revival in graphs
Authors:
Ada Chan,
Gabriel Coutinho,
Whitney Drazen,
Or Eisenberg,
Chris Godsil,
Gabor Lippner,
Mark Kempton,
Christino Tamon,
Hanmeng Zhan
Abstract:
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,…
▽ More
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.]
△ Less
Submitted 2 April, 2020;
originally announced April 2020.
-
Graph covers with two new eigenvalues
Authors:
Chris Godsil,
Maxwell Levit,
Olha Silina
Abstract:
A certain signed adjacency matrix of the hypercube, which Hao Huang used last year to resolve the sensitivity conjecture, is closely related to the unique, 4-cycle free, 2-fold cover of the hypercube. We develop a framework in which this connection is a natural first example of the relationship between group labeled adjacency matrices with few eigenvalues, and combinatorially interesting covering…
▽ More
A certain signed adjacency matrix of the hypercube, which Hao Huang used last year to resolve the sensitivity conjecture, is closely related to the unique, 4-cycle free, 2-fold cover of the hypercube. We develop a framework in which this connection is a natural first example of the relationship between group labeled adjacency matrices with few eigenvalues, and combinatorially interesting covering graphs. In particular, we define a two-eigenvalue cover to be a covering graph whose adjacency spectra differs (as a multiset) from that of the graph it covers by exactly two eigenvalues. We show that walk regularity of a graph implies walk regularity of any abelian two-eigenvalue cover. We also give a spectral characterization for when a cyclic two-eigenvalue cover of a strongly-regular graph is distance regular.
△ Less
Submitted 7 October, 2020; v1 submitted 2 March, 2020;
originally announced March 2020.
-
Perfect State Transfer on Oriented Graphs
Authors:
Chris Godsil,
Sabrina Lato
Abstract:
Quantum walks on undirected graphs have been studied using symmetric matrices, such as the adjacency or Laplacian matrix, and many results about perfect state transfer are known. We extend some of those results to oriented graphs. We also study the phenomena, unique to oriented graphs, of multiple state transfer, where there is a set of vertices such that perfect state transfer occurs between ever…
▽ More
Quantum walks on undirected graphs have been studied using symmetric matrices, such as the adjacency or Laplacian matrix, and many results about perfect state transfer are known. We extend some of those results to oriented graphs. We also study the phenomena, unique to oriented graphs, of multiple state transfer, where there is a set of vertices such that perfect state transfer occurs between every pair in that set. We give a characterization of multiple state transfer, and a new example of a graph where it occurs.
△ Less
Submitted 24 June, 2020; v1 submitted 11 February, 2020;
originally announced February 2020.
-
Algebras, graphs and thetas
Authors:
Marcel K. de Carli Silva,
Gabriel Coutinho,
Chris Godsil,
David E. Roberson
Abstract:
We extend the clique-coclique inequality, previously known to hold for graphs in association schemes and vertex-transitive graphs, to graphs in homogeneous coherent configurations and 1-walk regular graphs. We further generalize it to a stronger inequality involving the Lovász theta number of such graphs, and some theta variants, including characterizations of the equality.
We extend the clique-coclique inequality, previously known to hold for graphs in association schemes and vertex-transitive graphs, to graphs in homogeneous coherent configurations and 1-walk regular graphs. We further generalize it to a stronger inequality involving the Lovász theta number of such graphs, and some theta variants, including characterizations of the equality.
△ Less
Submitted 14 October, 2019;
originally announced October 2019.
-
Transversal polynomial of r-fold covers
Authors:
Chris Godsil,
Krystal Guo,
Gordon Royle
Abstract:
We explore the interplay between algebraic combinatorics and algorithmic problems in graph theory by defining a polynomial with connections to correspondence colouring (also known as DP-colouring), a recent generalization of list-colouring, and the Unique Games Conjecture. Like the chromatic polynomial of a graph, we are able to evaluate this polynomial at a point, despite the complexity of comput…
▽ More
We explore the interplay between algebraic combinatorics and algorithmic problems in graph theory by defining a polynomial with connections to correspondence colouring (also known as DP-colouring), a recent generalization of list-colouring, and the Unique Games Conjecture. Like the chromatic polynomial of a graph, we are able to evaluate this polynomial at a point, despite the complexity of computing this polynomial.
We construct a cover of a graph $X$ by blowing up each vertex to a set of $r$ vertices and joining each pair of sets corresponding to adjacent vertices by a matching with $r$ edges. To each cover $Y$ of $X$ we associate a polynomial $ξ(Y,t)$, called the transversal polynomial. The coefficient $t^k$ of $ξ(Y,t)$ is the number of $k$-edge induced subgraphs of $Y$ whose vertex set is a transversal of the set system given by the blown-up vertices. We show that $ξ(Y,t)$ satisfies a contraction-deletion formula, and that if $n=|V_X|$ and the cover has index $r$, then $ξ(Y,-(r-1)) \equiv 0 \mod r^n$.
△ Less
Submitted 15 December, 2022; v1 submitted 11 October, 2019;
originally announced October 2019.
-
Diagonal entries of the average mixing matrix
Authors:
Chris Godsil,
Krystal Guo,
Mariia Sobchuk
Abstract:
We study the diagonal entries of the average mixing matrix of continuous quantum walks. The average mixing matrix is a graph invariant; it is the sum of the Schur squares of spectral idempotents of the Hamiltonian. It is non-negative, doubly stochastic and positive semi-definite. We investigate the diagonal entries of this matrix. We study the graphs for which the trace of the average mixing matri…
▽ More
We study the diagonal entries of the average mixing matrix of continuous quantum walks. The average mixing matrix is a graph invariant; it is the sum of the Schur squares of spectral idempotents of the Hamiltonian. It is non-negative, doubly stochastic and positive semi-definite. We investigate the diagonal entries of this matrix. We study the graphs for which the trace of the average mixing matrix is maximum or minimum and we classify those which are maximum. We give two constructions of graphs whose average mixing matrices have constant diagonal.
△ Less
Submitted 4 October, 2019;
originally announced October 2019.
-
Pair State Transfer
Authors:
Qiuting Chen,
Chris Godsil
Abstract:
Let $L$ denote the Laplacian matrix of a graph $G$. We study continuous quantum walks on $G$ defined by the transition matrix $U(t)=\exp\left(itL\right)$. The initial state is of the pair state form, $e_a-e_b$ with $a,b$ being any two vertices of $G$. We provide two ways to construct infinite families of graphs that have perfect pair transfer. We study a "transitivity" phenomenon which cannot occu…
▽ More
Let $L$ denote the Laplacian matrix of a graph $G$. We study continuous quantum walks on $G$ defined by the transition matrix $U(t)=\exp\left(itL\right)$. The initial state is of the pair state form, $e_a-e_b$ with $a,b$ being any two vertices of $G$. We provide two ways to construct infinite families of graphs that have perfect pair transfer. We study a "transitivity" phenomenon which cannot occur in vertex state transfer. We characterize perfect pair state transfer on paths and cycles. We also study the case when quantum walks are generated by the unsigned Laplacians of underlying graphs and the initial states are of the plus state form, $e_a+e_b$. When the underlying graphs are bipartite, plus state transfer is equivalent to pair state transfer.
△ Less
Submitted 3 September, 2020; v1 submitted 4 June, 2019;
originally announced June 2019.
-
An Introduction to the Moebius Function
Authors:
Chris Godsil
Abstract:
This is an introduction to the Möbius function of a poset. The chief novelty is in the exposition. We show how order-preserving maps from one poset to another can be used to relate their Möbius functions. We derive the basic results on the Möbius function, applying them in particular to geometric lattices.
This is an introduction to the Möbius function of a poset. The chief novelty is in the exposition. We show how order-preserving maps from one poset to another can be used to relate their Möbius functions. We derive the basic results on the Möbius function, applying them in particular to geometric lattices.
△ Less
Submitted 18 March, 2018;
originally announced March 2018.
-
Using the existence of t-designs to prove Erdős-Ko-Rado
Authors:
Chris Godsil,
Krystal Guo
Abstract:
In 1984, Wilson proved the Erdős-Ko-Rado theorem for $t$-intersecting families of $k$-subsets of an $n$-set: he showed that if $n\ge(t+1)(k-t+1)$ and $\mathcal{F}$ is a family of $k$-subsets of an $n$-set such that any two members of $\mathcal{F}$ have at least $t$ elements in common, then $|\mathcal{F}|\le\binom{n-t}{k-t}$. His proof made essential use of a matrix whose origin is not obvious. In…
▽ More
In 1984, Wilson proved the Erdős-Ko-Rado theorem for $t$-intersecting families of $k$-subsets of an $n$-set: he showed that if $n\ge(t+1)(k-t+1)$ and $\mathcal{F}$ is a family of $k$-subsets of an $n$-set such that any two members of $\mathcal{F}$ have at least $t$ elements in common, then $|\mathcal{F}|\le\binom{n-t}{k-t}$. His proof made essential use of a matrix whose origin is not obvious. In this paper we show that this matrix can be derived, in a sense, as a projection of $t$-$(n,k,1)$ design.
△ Less
Submitted 9 February, 2018;
originally announced February 2018.
-
Vector Coloring the Categorical Product of Graphs
Authors:
Chris Godsil,
David E. Roberson,
Brendan Rooney,
Robert Šámal,
Antonios Varvitsiotis
Abstract:
A vector $t$-coloring of a graph is an assignment of real vectors $p_1, \ldots, p_n$ to its vertices such that $p_i^Tp_i = t-1$ for all $i=1, \ldots, n$ and $p_i^Tp_j \le -1$ whenever $i$ and $j$ are adjacent. The vector chromatic number of $G$ is the smallest real number $t \ge 1$ for which a vector $t$-coloring of $G$ exists. For a graph $H$ and a vector $t$-coloring $p_1,\ldots,p_n$ of a graph…
▽ More
A vector $t$-coloring of a graph is an assignment of real vectors $p_1, \ldots, p_n$ to its vertices such that $p_i^Tp_i = t-1$ for all $i=1, \ldots, n$ and $p_i^Tp_j \le -1$ whenever $i$ and $j$ are adjacent. The vector chromatic number of $G$ is the smallest real number $t \ge 1$ for which a vector $t$-coloring of $G$ exists. For a graph $H$ and a vector $t$-coloring $p_1,\ldots,p_n$ of a graph $G$, the assignment $(i,\ell) \mapsto p_i$ is a vector $t$-coloring of the categorical product $G \times H$. It follows that the vector chromatic number of $G \times H$ is at most the minimum of the vector chromatic numbers of the factors. We prove that equality always holds, constituting a vector coloring analog of the famous Hedetniemi Conjecture from graph coloring. Furthermore, we prove a necessary and sufficient condition for when all of the optimal vector colorings of the product can be expressed in terms of the optimal vector colorings of the factors. The vector chromatic number is closely related to the well-known Lovász theta function, and both of these parameters admit formulations as semidefinite programs. This connection to semidefinite programming is crucial to our work and the tools and techniques we develop could likely be of interest to others in this field.
△ Less
Submitted 24 January, 2018;
originally announced January 2018.
-
Sedentary quantum walks
Authors:
Chris Godsil
Abstract:
Let $X$ be a graph with adjacency matrix $A$. The \textsl{continuous quantum walk} on $X$ is determined by the unitary matrices $U(t)=\exp(itA)$. If $X$ is the complete graph $K_n$ and $a\in V(X)$, then \[1-|U(t)_{a,a}|\le2/n. \] In a sense, this means that a quantum walk on a complete graph stay home with high probability. In this paper we consider quantum walks on cones over an $\ell$-regular gr…
▽ More
Let $X$ be a graph with adjacency matrix $A$. The \textsl{continuous quantum walk} on $X$ is determined by the unitary matrices $U(t)=\exp(itA)$. If $X$ is the complete graph $K_n$ and $a\in V(X)$, then \[1-|U(t)_{a,a}|\le2/n. \] In a sense, this means that a quantum walk on a complete graph stay home with high probability. In this paper we consider quantum walks on cones over an $\ell$-regular graph on $n$ vertices. We prove that if $\ell^2/n\to\infty$ as $n$ increases, than a quantum walk that starts on the apex of the cone will remain on it with probability tending to $1$ as $n$ increases. On the other hand, if $\ell\le2$ we prove that there is a time $t$ such that local uniform mixing occurs, i.e., all vertices are equally likely.
We investigate when a quantum walk on strongly regular graph has a high probability of "staying at home", producing large families of examples with the stay-at-home property where the valency is small compared to the number of vertices.
△ Less
Submitted 30 October, 2017;
originally announced October 2017.
-
Real State Transfer
Authors:
Chris Godsil
Abstract:
A continuous quantum walk on a graph $X$ with adjacency matrix $A$ is specified by the 1-parameter family of unitary matrices $U(t)=\exp(itA)$. These matrices act on the state space of a quantum system, the states of which we may represent by density matrices, positive semidefinite matrices with rows and columns indexed by $V(X)$ and with trace $1$. The square of the absolute values of the entries…
▽ More
A continuous quantum walk on a graph $X$ with adjacency matrix $A$ is specified by the 1-parameter family of unitary matrices $U(t)=\exp(itA)$. These matrices act on the state space of a quantum system, the states of which we may represent by density matrices, positive semidefinite matrices with rows and columns indexed by $V(X)$ and with trace $1$. The square of the absolute values of the entries of a column of $U(t)$ define a probability density on $V(X)$, and it is precisely these densities that predict the outcomes of measurements. There are two special cases of physical interest: when the column density is supported on a vertex, and when it is uniform. In the first case we have perfect state transfer; in the second, uniform mixing.
There are many results concerning state transfer and uniform mixing. In this paper we show that these results on perfect state transfer hold largely because at the time it occurs, the density matrix is real. We also show that the results on uniform mixing obtained so far hold because the entries of the density matrix are algebraic numbers. As a consequence of these we derive strong restrictions on the occurence of uniform mixing on bipartite graphs and on oriented graphs.
△ Less
Submitted 11 October, 2017;
originally announced October 2017.
-
State transfer in strongly regular graphs with an edge perturbation
Authors:
Chris Godsil,
Krystal Guo,
Mark Kempton,
Gabor Lippner
Abstract:
Quantum walks, an important tool in quantum computing, have been very successfully investigated using techniques in algebraic graph theory. We are motivated by the study of state transfer in continuous-time quantum walks, which is understood to be a rare and interesting phenomenon. We consider a perturbation on an edge $uv$ of a graph where we add a weight $β$ to the edge and a loop of weight $γ$…
▽ More
Quantum walks, an important tool in quantum computing, have been very successfully investigated using techniques in algebraic graph theory. We are motivated by the study of state transfer in continuous-time quantum walks, which is understood to be a rare and interesting phenomenon. We consider a perturbation on an edge $uv$ of a graph where we add a weight $β$ to the edge and a loop of weight $γ$ to each of $u$ and $v$. We characterize when for this perturbation results in strongly cospectral vertices $u$ and $v$. Applying this to strongly regular graphs, we give infinite families of strongly regular graphs where some perturbation results in perfect state transfer. Further, we show that, for every strongly regular graph, there is some perturbation which results in pretty good state transfer. We also show for any strongly regular graph $X$ and edge $e \in E(X)$, that $φ(X\setminus e)$ does not depend on the choice of $e$.
△ Less
Submitted 5 October, 2017;
originally announced October 2017.
-
Strongly Cospectral Vertices
Authors:
Chris Godsil,
Jamie Smith
Abstract:
Two vertices $a$ and $b$ in a graph $X$ are cospectral if the vertex-deleted subgraphs $X\setminus a$ and $X\setminus b$ have the same characteristic polynomial. In this paper we investigate a strengthening of this relation on vertices, that arises in investigations of continuous quantum walks. Suppose the vectors $e_a$ for $a$ in $V(X)$ are the standard basis for $\mathbb{R}^{V(X)}$. We say that…
▽ More
Two vertices $a$ and $b$ in a graph $X$ are cospectral if the vertex-deleted subgraphs $X\setminus a$ and $X\setminus b$ have the same characteristic polynomial. In this paper we investigate a strengthening of this relation on vertices, that arises in investigations of continuous quantum walks. Suppose the vectors $e_a$ for $a$ in $V(X)$ are the standard basis for $\mathbb{R}^{V(X)}$. We say that $a$ and $b$ are strongly cospectral if, for each eigenspace $U$ of $A(X)$, the orthogonal projections of $e_a$ and $e_b$ are either equal or differ only in sign. We develop the basic theory of this concept and provide constructions of graphs with pairs of strongly cospectral vertices. Given a continuous quantum walk on on a graph, each vertex determines a curve in complex projective space. We derive results that show tht the closer these curves are, the more "similar" the corresponding vertices are.
△ Less
Submitted 22 September, 2017;
originally announced September 2017.
-
Average mixing matrix of trees
Authors:
Chris Godsil,
Krystal Guo,
John Sinkovic
Abstract:
We investigate the rank of the average mixing matrix of trees, with all eigenvalues distinct. The rank of the average mixing matrix of a tree on $n$ vertices with $n$ distinct eigenvalues is upper-bounded by $\frac{n}{2}$. Computations on trees up to $20$ vertices suggest that the rank attains this upper bound most of the times. We give an infinite family of trees whose average mixing matrices hav…
▽ More
We investigate the rank of the average mixing matrix of trees, with all eigenvalues distinct. The rank of the average mixing matrix of a tree on $n$ vertices with $n$ distinct eigenvalues is upper-bounded by $\frac{n}{2}$. Computations on trees up to $20$ vertices suggest that the rank attains this upper bound most of the times. We give an infinite family of trees whose average mixing matrices have ranks which are bounded away from this upper bound. We also give a lower bound on the rank of the average mixing matrix of a tree.
△ Less
Submitted 22 September, 2017;
originally announced September 2017.
-
A New Perspective on the Average Mixing Matrix
Authors:
Gabriel Coutinho,
Chris Godsil,
Krystal Guo,
Hanmeng Zhan
Abstract:
We consider the continuous-time quantum walk defined on the adjacency matrix of a graph. At each instant, the walk defines a mixing matrix which is doubly-stochastic. The average of the mixing matrices contains relevant information about the quantum walk and about the graph. We show that it is the matrix of transformation of the orthogonal projection onto the commutant algebra of the adjacency mat…
▽ More
We consider the continuous-time quantum walk defined on the adjacency matrix of a graph. At each instant, the walk defines a mixing matrix which is doubly-stochastic. The average of the mixing matrices contains relevant information about the quantum walk and about the graph. We show that it is the matrix of transformation of the orthogonal projection onto the commutant algebra of the adjacency matrix, restricted to diagonal matrices. Using this formulation of the average mixing matrix, we find connections between its rank and automorphisms of the graph.
△ Less
Submitted 11 September, 2017;
originally announced September 2017.
-
Discrete-Time Quantum Walks and Graph Structures
Authors:
Chris Godsil,
Hanmeng Zhan
Abstract:
We formulate three current models of discrete-time quantum walks in a combinatorial way. These walks are shown to be closely related to rotation systems and 1-factorizations of graphs. For two of the models, we compute the traces and total entropies of the average mixing matrices for some cubic graphs. The trace captures how likely a quantum walk is to revisit the state it started with, and the to…
▽ More
We formulate three current models of discrete-time quantum walks in a combinatorial way. These walks are shown to be closely related to rotation systems and 1-factorizations of graphs. For two of the models, we compute the traces and total entropies of the average mixing matrices for some cubic graphs. The trace captures how likely a quantum walk is to revisit the state it started with, and the total entropy measures how close the limiting distribution is to uniform. Our numerical results indicate three relations between quantum walks and graph structures: for the first model, rotation systems with higher genera give lower traces and higher entropies, and for the second model, the symmetric 1-factorizations always give the highest trace.
△ Less
Submitted 16 May, 2019; v1 submitted 16 January, 2017;
originally announced January 2017.
-
Graph Homomorphisms via Vector Colorings
Authors:
Chris Godsil,
David E. Roberson,
Brendan Rooney,
Robert Šámal,
Antonios Varvitsiotis
Abstract:
In this paper we study the existence of homomorphisms $G\to H$ using semidefinite programming. Specifically, we use the vector chromatic number of a graph, defined as the smallest real number $t \ge 2$ for which there exists an assignment of unit vectors $i\mapsto p_i$ to its vertices such that $\langle p_i, p_j\rangle\le -1/(t-1),$ when $i\sim j$. Our approach allows to reprove, without using the…
▽ More
In this paper we study the existence of homomorphisms $G\to H$ using semidefinite programming. Specifically, we use the vector chromatic number of a graph, defined as the smallest real number $t \ge 2$ for which there exists an assignment of unit vectors $i\mapsto p_i$ to its vertices such that $\langle p_i, p_j\rangle\le -1/(t-1),$ when $i\sim j$. Our approach allows to reprove, without using the Erdős-Ko-Rado Theorem, that for $n>2r$ the Kneser graph $K_{n:r}$ and the $q$-Kneser graph $qK_{n:r}$ are cores, and furthermore, that for $n/r = n'/r'$ there exists a homomorphism $K_{n:r}\to K_{n':r'}$ if and only if $n$ divides $n'$. In terms of new applications, we show that the even-weight component of the distance $k$-graph of the $n$-cube $H_{n,k}$ is a core and also, that non-bipartite Taylor graphs are cores. Additionally, we give a necessary and sufficient condition for the existence of homomorphisms $H_{n,k}\to H_{n',k'}$ when $n/k = n'/k'$. Lastly, we show that if a 2-walk-regular graph (which is non-bipartite and not complete multipartite) has a unique optimal vector coloring, it is a core. Based on this sufficient condition we conducted a computational study on Ted Spence's list of strongly regular graphs and found that at least 84% are cores.
△ Less
Submitted 28 March, 2019; v1 submitted 31 October, 2016;
originally announced October 2016.
-
Cycle Spaces of Digraphs
Authors:
Chris Godsil,
Krystal Guo
Abstract:
The cycle space of a graph corresponds to the kernel of an incidence matrix. We investigate an analogous subspace for digraphs. In the case of digraphs of graphs, where every edge is replaced by two oppositely directed arcs, we give a combinatorial description of a basis of such a space. We are motivated by a connection to the transition matrices of discrete-time quantum walks.
The cycle space of a graph corresponds to the kernel of an incidence matrix. We investigate an analogous subspace for digraphs. In the case of digraphs of graphs, where every edge is replaced by two oppositely directed arcs, we give a combinatorial description of a basis of such a space. We are motivated by a connection to the transition matrices of discrete-time quantum walks.
△ Less
Submitted 28 September, 2016;
originally announced September 2016.
-
Pretty Good State Transfer in Qubit Chains - The Heisenberg Hamiltonian
Authors:
Leonardo Banchi,
Gabriel Coutinho,
Chris Godsil,
Simone Severini
Abstract:
Pretty good state transfer in networks of qubits occurs when a continuous-time quantum walk allows the transmission of a qubit state from one node of the network to another, with fidelity arbitrarily close to 1. We prove that in a Heisenberg chain with n qubits there is pretty good state transfer between the nodes at the j-th and (n-j+1)-th position if n is a power of 2. Moreover, this condition i…
▽ More
Pretty good state transfer in networks of qubits occurs when a continuous-time quantum walk allows the transmission of a qubit state from one node of the network to another, with fidelity arbitrarily close to 1. We prove that in a Heisenberg chain with n qubits there is pretty good state transfer between the nodes at the j-th and (n-j+1)-th position if n is a power of 2. Moreover, this condition is also necessary for j=1. We obtain this result by applying a theorem due to Kronecker about Diophantine approximations, together with techniques from algebraic graph theory.
△ Less
Submitted 20 June, 2018; v1 submitted 16 August, 2016;
originally announced August 2016.
-
Perfect state transfer is poly-time
Authors:
Gabriel Coutinho,
Chris Godsil
Abstract:
We show that deciding whether a graph admits perfect state transfer can be done in polynomial time with respect to the size of the graph on a classical computer.
We show that deciding whether a graph admits perfect state transfer can be done in polynomial time with respect to the size of the graph on a classical computer.
△ Less
Submitted 6 December, 2021; v1 submitted 7 June, 2016;
originally announced June 2016.
-
Universal completability, least eigenvalue frameworks, and vector colorings
Authors:
Chris Godsil,
David E. Roberson,
Brendan Rooney,
Robert Šámal,
Antonios Varvitsiotis
Abstract:
An embedding $i \mapsto p_i\in \mathbb{R}^d$ of the vertices of a graph $G$ is called universally completable if the following holds: For any other embedding $i\mapsto q_i~\in \mathbb{R}^{k}$ satisfying $q_i^T q_j = p_i^T p_j$ for $i = j$ and $i$ adjacent to $j$, there exists an isometry mapping the $q_i$'s to the $p_i$'s for all $ i\in V(G)$. The notion of universal completability was introduced…
▽ More
An embedding $i \mapsto p_i\in \mathbb{R}^d$ of the vertices of a graph $G$ is called universally completable if the following holds: For any other embedding $i\mapsto q_i~\in \mathbb{R}^{k}$ satisfying $q_i^T q_j = p_i^T p_j$ for $i = j$ and $i$ adjacent to $j$, there exists an isometry mapping the $q_i$'s to the $p_i$'s for all $ i\in V(G)$. The notion of universal completability was introduced recently due to its relevance to the positive semidefinite matrix completion problem. In this work we focus on graph embeddings constructed using the eigenvectors of the least eigenvalue of the adjacency matrix of $G$, which we call least eigenvalue frameworks. We identify two necessary and sufficient conditions for such frameworks to be universally completable. Our conditions also allow us to give algorithms for determining whether a least eigenvalue framework is universally completable. Furthermore, our computations for Cayley graphs on $\mathbb{Z}_2^n \ (n \le 5)$ show that almost all of these graphs have universally completable least eigenvalue frameworks. In the second part of this work we study uniquely vector colorable (UVC) graphs, i.e., graphs for which the semidefinite program corresponding to the Lovász theta number (of the complementary graph) admits a unique optimal solution. We identify a sufficient condition for showing that a graph is UVC based on the universal completability of an associated framework. This allows us to prove that Kneser and $q$-Kneser graphs are UVC. Lastly, we show that least eigenvalue frameworks of 1-walk-regular graphs always provide optimal vector colorings and furthermore, we are able to characterize all optimal vector colorings of such graphs. In particular, we give a necessary and sufficient condition for a 1-walk-regular graph to be uniquely vector colorable.
△ Less
Submitted 15 December, 2015;
originally announced December 2015.
-
Quantum Walks on Generalized Quadrangles
Authors:
Chris Godsil,
Krystal Guo,
Tor G. J. Myklebust
Abstract:
We study the transition matrix of a quantum walk on strongly regular graphs. It is proposed by Emms, Hancock, Severini and Wilson in 2006, that the spectrum of $S^+(U^3)$, a matrix based on the amplitudes of walks in the quantum walk, distinguishes strongly regular graphs. We probabilistically compute the spectrum of the line intersection graphs of two non-isomorphic generalized quadrangles of ord…
▽ More
We study the transition matrix of a quantum walk on strongly regular graphs. It is proposed by Emms, Hancock, Severini and Wilson in 2006, that the spectrum of $S^+(U^3)$, a matrix based on the amplitudes of walks in the quantum walk, distinguishes strongly regular graphs. We probabilistically compute the spectrum of the line intersection graphs of two non-isomorphic generalized quadrangles of order $(5^2,5)$ under this matrix and thus provide strongly regular counter-examples to the conjecture.
△ Less
Submitted 5 November, 2015;
originally announced November 2015.
-
An algebraic proof of the Erdős-Ko-Rado theorem for intersecting families of perfect matchings
Authors:
Chris Godsil,
Karen Meagher
Abstract:
In this paper we give a proof that the largest set of perfect matchings, in which any two contain a common edge, is the set of all perfect matchings that contain a fixed edge. This is a version of the famous Erdős-Ko-Rado theorem for perfect matchings. The proof given in this paper is algebraic, we first determine the least eigenvalue of the perfect matching derangement graph and use properties of…
▽ More
In this paper we give a proof that the largest set of perfect matchings, in which any two contain a common edge, is the set of all perfect matchings that contain a fixed edge. This is a version of the famous Erdős-Ko-Rado theorem for perfect matchings. The proof given in this paper is algebraic, we first determine the least eigenvalue of the perfect matching derangement graph and use properties of the perfect matching polytope. We also prove that the perfect matching derangement graph is not a Cayley graph.
△ Less
Submitted 29 June, 2015;
originally announced June 2015.
-
Uniform Mixing on Cayley Graphs
Authors:
Chris Godsil,
Hanmeng Zhan
Abstract:
We provide new examples of Cayley graphs on which the quantum walks reach uniform mixing. Our first result is a complete characterization of all $2(d+2)$-regular Cayley graphs over $\mathbb{Z}_3^d$ that admit uniform mixing at time $2π/9$. Our second result shows that for every integer $k\ge 3$, we can construct Cayley graphs over $\mathbb{Z}_q^d$ that admit uniform mixing at time $2π/q^k$, where…
▽ More
We provide new examples of Cayley graphs on which the quantum walks reach uniform mixing. Our first result is a complete characterization of all $2(d+2)$-regular Cayley graphs over $\mathbb{Z}_3^d$ that admit uniform mixing at time $2π/9$. Our second result shows that for every integer $k\ge 3$, we can construct Cayley graphs over $\mathbb{Z}_q^d$ that admit uniform mixing at time $2π/q^k$, where $q=3, 4$.
We also find the first family of irregular graphs, the Cartesian powers of the star $K_{1,3}$, that admit uniform mixing.
△ Less
Submitted 10 July, 2017; v1 submitted 2 April, 2015;
originally announced April 2015.
-
Equiangular Lines and Covers of the Complete Graph
Authors:
Gabriel Coutinho,
Chris Godsil,
Mirhamed Shirazi,
Harmony Zhan
Abstract:
The relation between equiangular sets of lines in the real space and distance-regular double covers of the complete graph is well known and studied since the work of Seidel and others in the 70's. The main topic of this paper is to continue the study on how complex equiangular lines relate to distance-regular covers of the complete graph with larger index. Given a set of equiangular lines meeting…
▽ More
The relation between equiangular sets of lines in the real space and distance-regular double covers of the complete graph is well known and studied since the work of Seidel and others in the 70's. The main topic of this paper is to continue the study on how complex equiangular lines relate to distance-regular covers of the complete graph with larger index. Given a set of equiangular lines meeting the relative (or Welch) bound, we show that if the entries of the corresponding Gram matrix are prime roots of unity, then these lines can be used to construct an antipodal distance-regular graph of diameter three. We also study in detail how the absolute (or Gerzon) bound for a set of equiangular lines can be used to derive bounds of the parameters of abelian distance-regular covers of the complete graph.
△ Less
Submitted 31 March, 2015;
originally announced April 2015.
-
Hardness of Computing Clique Number and Chromatic Number For Cayley Graphs
Authors:
Chris Godsil,
Brendan Rooney
Abstract:
Computing the clique number and chromatic number of a general graph are well-known NP-Hard problems. Codenotti et al. (Bruno Codenotti, Ivan Gerace, and Sebastiano Vigna. Hardness results and spectral techniques for combinatorial problems on circulant graphs. \emph{Linear Algebra Appl.}, 285(1-3): 123--142, 1998) showed that computing clique number and chromatic number are still NP-Hard problems f…
▽ More
Computing the clique number and chromatic number of a general graph are well-known NP-Hard problems. Codenotti et al. (Bruno Codenotti, Ivan Gerace, and Sebastiano Vigna. Hardness results and spectral techniques for combinatorial problems on circulant graphs. \emph{Linear Algebra Appl.}, 285(1-3): 123--142, 1998) showed that computing clique number and chromatic number are still NP-Hard problems for the class of circulant graphs. We show that computing clique number is NP-Hard for the class of Cayley graphs for the groups $G^n$, where $G$ is any fixed finite group (e.g., cubelike graphs). We also show that computing chromatic number cannot be done in polynomial time (under the assumption $\text{P}\neq \text{NP}$) for the same class of graphs. Our presentation uses free Cayley graphs. The proof combines free Cayley graphs with quotient graphs and Goppa codes.
△ Less
Submitted 26 January, 2016; v1 submitted 3 February, 2015;
originally announced February 2015.
-
Perfect state transfer in products and covers of graphs
Authors:
Gabriel Coutinho,
Chris Godsil
Abstract:
A continuous-time quantum walk on a graph $X$ is represented by the complex matrix $\exp (-\mathrm{i} t A)$, where $A$ is the adjacency matrix of $X$ and $t$ is a non-negative time. If the graph models a network of interacting qubits, transfer of state among such qubits throughout time can be formalized as the action of the continuous-time quantum walk operator in the characteristic vectors of the…
▽ More
A continuous-time quantum walk on a graph $X$ is represented by the complex matrix $\exp (-\mathrm{i} t A)$, where $A$ is the adjacency matrix of $X$ and $t$ is a non-negative time. If the graph models a network of interacting qubits, transfer of state among such qubits throughout time can be formalized as the action of the continuous-time quantum walk operator in the characteristic vectors of the vertices.
Here we are concerned with the problem of determining which graphs admit a perfect transfer of state. More specifically, we will study graphs whose adjacency matrix is a sum of tensor products of $01$-matrices, focusing on the case where a graph is the tensor product of two other graphs. As a result, we will construct many new examples of perfect state transfer.
△ Less
Submitted 22 May, 2018; v1 submitted 19 January, 2015;
originally announced January 2015.
-
Completely Transitive Designs
Authors:
Chris D. Godsil,
Cheryl E. Praeger
Abstract:
We view a design $\mathcal{D}$ as a set of $k$-subsets of a fixed set $X$ of $v$ points. A $k$-subset of $X$ is at distance $i$ from $\mathcal{D}$ if it intersects some $k$-set in $\mathcal{D}$ in $k-i$ points, and no subset in more than $k-i$ points. Thus $\mathcal{D}$ determines a partition by distance of the $k$-subsets of $X$. We say $\mathcal{D}$ is completely transitive if the cells of this…
▽ More
We view a design $\mathcal{D}$ as a set of $k$-subsets of a fixed set $X$ of $v$ points. A $k$-subset of $X$ is at distance $i$ from $\mathcal{D}$ if it intersects some $k$-set in $\mathcal{D}$ in $k-i$ points, and no subset in more than $k-i$ points. Thus $\mathcal{D}$ determines a partition by distance of the $k$-subsets of $X$. We say $\mathcal{D}$ is completely transitive if the cells of this partition are the orbits of the automorphism group of $\mathcal{D}$ in its induced action on the $k$-subsets of $X$. This paper initiates a study of completely transitive designs $\mathcal{D}$. A classification is given of all examples for which the automorphism group is not primitive on $X$. In the primitive case the focus is on examples with the property that any two distinct $k$-subsets in $\mathcal{D}$ have at most $k-3$ points in common. Here a reduction is given to the case where the automorphism group is $2$-transitive on $X$. New constructions are given by classifying all examples for some families of $2$-transitive groups, leaving several unresolved cases.
△ Less
Submitted 9 May, 2014;
originally announced May 2014.
-
Rationality conditions for the eigenvalues of normal finite Cayley graphs
Authors:
Chris Godsil,
Pablo Spiga
Abstract:
Given a finite group G, we say that a subset C of G is power-closed if, for every x in C and y in <x> with <x>=<y>, we have that y lies in C.
In this paper we are interested in finite Cayley digraphs Cay(G,C) over G with connection set C, where C is a union of conjugacy classes of G. We show that each eigenvalue of Cay(G,C) is integral if and only if C is power-closed. This result will follow fr…
▽ More
Given a finite group G, we say that a subset C of G is power-closed if, for every x in C and y in <x> with <x>=<y>, we have that y lies in C.
In this paper we are interested in finite Cayley digraphs Cay(G,C) over G with connection set C, where C is a union of conjugacy classes of G. We show that each eigenvalue of Cay(G,C) is integral if and only if C is power-closed. This result will follow from a discussion of some more general rationality conditions on the eigenvalues of Cay(G,C).
△ Less
Submitted 22 February, 2014;
originally announced February 2014.
-
Perfect state transfer on distance-regular graphs and association schemes
Authors:
Gabriel Coutinho,
Chris Godsil,
Krystal Guo,
Frédéric Vanhove
Abstract:
We consider the representation of a continuous-time quantum walk in a graph $X$ by the matrix $\exp(itA(X))$. We provide necessary and sufficient criteria for distance-regular graphs and, more generally, for graphs in association schemes to have perfect state transfer. Using these conditions, we provide several new examples of perfect state transfer in simple graphs.
We consider the representation of a continuous-time quantum walk in a graph $X$ by the matrix $\exp(itA(X))$. We provide necessary and sufficient criteria for distance-regular graphs and, more generally, for graphs in association schemes to have perfect state transfer. Using these conditions, we provide several new examples of perfect state transfer in simple graphs.
△ Less
Submitted 8 January, 2014;
originally announced January 2014.
-
Entropy of Symmetric Graphs
Authors:
Seyed Saeed Changiz Rezaei,
Chris Godsil
Abstract:
A graph $G$ is called \emph{symmetric with respect to a functional $F_G(P)$} defined on the set of all the probability distributions on its vertex set if the distribution $P^*$ maximizing $F_G(P)$ is uniform on $V(G)$. Using the combinatorial definition of the entropy of a graph in terms of its vertex packing polytope and the relationship between the graph entropy and fractional chromatic number,…
▽ More
A graph $G$ is called \emph{symmetric with respect to a functional $F_G(P)$} defined on the set of all the probability distributions on its vertex set if the distribution $P^*$ maximizing $F_G(P)$ is uniform on $V(G)$. Using the combinatorial definition of the entropy of a graph in terms of its vertex packing polytope and the relationship between the graph entropy and fractional chromatic number, we prove that vertex transitive graphs are symmetric with respect to graph entropy. As the main result of this paper, we prove that a perfect graph is symmetric with respect to graph entropy if and only if its vertices can be covered by disjoint copies of its maximum-size clique. Particularly, this means that a bipartite graph is symmetric with respect to graph entropy if and only if it has a perfect matching.
△ Less
Submitted 26 November, 2013;
originally announced November 2013.
-
Sabidussi Versus Hedetniemi for Three Variations of the Chromatic Number
Authors:
Chris Godsil,
David Roberson,
Robert Šámal,
Simone Severini
Abstract:
We investigate vector chromatic number, Lovasz theta of the complement, and quantum chromatic number from the perspective of graph homomorphisms. We prove an analog of Sabidussi's theorem for each of these parameters, i.e. that for each of the parameters, the value on the Cartesian product of graphs is equal to the maximum of the values on the factors. We also prove an analog of Hedetniemi's conje…
▽ More
We investigate vector chromatic number, Lovasz theta of the complement, and quantum chromatic number from the perspective of graph homomorphisms. We prove an analog of Sabidussi's theorem for each of these parameters, i.e. that for each of the parameters, the value on the Cartesian product of graphs is equal to the maximum of the values on the factors. We also prove an analog of Hedetniemi's conjecture for Lovasz theta of the complement, i.e. that its value on the categorical product of graphs is equal to the minimum of its values on the factors. We conjecture that the analogous results hold for vector and quantum chromatic number, and we prove that this is the case for some special classes of graphs.
△ Less
Submitted 23 May, 2013;
originally announced May 2013.
-
Uniform Mixing and Association Schemes
Authors:
Chris Godsil,
Natalie Mullin,
Aidan Roy
Abstract:
We consider continuous-time quantum walks on distance-regular graphs of small diameter. Using results about the existence of complex Hadamard matrices in association schemes, we determine which of these graphs have quantum walks that admit uniform mixing.
First we apply a result due to Chan to show that the only strongly regular graphs that admit instantaneous uniform mixing are the Paley graph…
▽ More
We consider continuous-time quantum walks on distance-regular graphs of small diameter. Using results about the existence of complex Hadamard matrices in association schemes, we determine which of these graphs have quantum walks that admit uniform mixing.
First we apply a result due to Chan to show that the only strongly regular graphs that admit instantaneous uniform mixing are the Paley graph of order nine and certain graphs corresponding to regular symmetric Hadamard matrices with constant diagonal. Next we prove that if uniform mixing occurs on a bipartite graph X with n vertices, then n is divisible by four. We also prove that if X is bipartite and regular, then n is the sum of two integer squares. Our work on bipartite graphs implies that uniform mixing does not occur on C_{2m} for m >= 3. Using a result of Haagerup, we show that uniform mixing does not occur on C_p for any prime p such that p >= 5. In contrast to this result, we see that epsilon-uniform mixing occurs on C_p for all primes p.
△ Less
Submitted 11 March, 2014; v1 submitted 24 January, 2013;
originally announced January 2013.
-
Perfect State Transfer on Signed Graphs
Authors:
J. Brown,
C. Godsil,
D. Mallory,
A. Raz,
C. Tamon
Abstract:
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 si…
▽ More
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.
△ Less
Submitted 2 November, 2012;
originally announced November 2012.
-
Pretty good state transfer on double stars
Authors:
Xiaoxia Fan,
Chris Godsil
Abstract:
Let A be the adjacency matrix of a graph $X$ and suppose U(t)=exp(itA). We view A as acting on $\cx^{V(X)}$ and take the standard basis of this space to be the vectors $e_u$ for $u$ in $V(X)$. Physicists say that we have perfect state transfer from vertex $u$ to $v$ at time $τ$ if there is a scalar $γ$ such that $U(τ)e_u = γe_v$. (Since $U(t)$ is unitary, $\normγ=1$.) For example, if $X$ is the…
▽ More
Let A be the adjacency matrix of a graph $X$ and suppose U(t)=exp(itA). We view A as acting on $\cx^{V(X)}$ and take the standard basis of this space to be the vectors $e_u$ for $u$ in $V(X)$. Physicists say that we have perfect state transfer from vertex $u$ to $v$ at time $τ$ if there is a scalar $γ$ such that $U(τ)e_u = γe_v$. (Since $U(t)$ is unitary, $\normγ=1$.) For example, if $X$ is the $d$-cube and $u$ and $v$ are at distance $d$ then we have perfect state transfer from $u$ to $v$ at time $π/2$. Despite the existence of this nice family, it has become clear that perfect state transfer is rare. Hence we consider a relaxation: we say that we have pretty good state transfer from $u$ to $v$ if there is a complex number $γ$ and, for each positive real $ε$ there is a time $t$ such that $\norm{U(t)e_u - γe_v} < ε$. Again we necessarily have $|γ|=1$.
Godsil, Kirkland, Severini and Smith showed that we have have pretty good state transfer between the end vertices of the path $P_n$ if and only $n+1$ is a power of two, a prime, or twice a prime. (There is perfect state transfer between the end vertices only for $P_2$ and $P_3$.) It is something of a surprise that the occurrence of pretty good state transfer is characterized by a number-theoretic condition. In this paper we study double-star graphs, which are trees with two vertices of degree $k+1$ and all other vertices with degree one. We prove that there is never perfect state transfer between the two vertices of degree $k+1$, and that there is pretty good state transfer between them if and only if $4k+1$ is a perfect square.
△ Less
Submitted 31 August, 2012; v1 submitted 1 June, 2012;
originally announced June 2012.
-
Colouring the Sphere
Authors:
C. D. Godsil,
J. Zaks
Abstract:
Let $G$ be the graph with the points of the unit sphere in $\mathbb{R}^3$ as its vertices, by defining two unit vectors to be adjacent if they are orthogonal as vectors. We present a proof, based on work of Hales and Straus chromatic number of this graph is four. We also prove that the subgraph of G induced by the unit vectors with rational coordinates is 3-colourable.
Let $G$ be the graph with the points of the unit sphere in $\mathbb{R}^3$ as its vertices, by defining two unit vectors to be adjacent if they are orthogonal as vectors. We present a proof, based on work of Hales and Straus chromatic number of this graph is four. We also prove that the subgraph of G induced by the unit vectors with rational coordinates is 3-colourable.
△ Less
Submitted 2 January, 2012;
originally announced January 2012.
