-
Multi-qubit Lattice Surgery Scheduling
Authors:
Allyson Silva,
Xiangyi Zhang,
Zak Webb,
Mia Kramer,
Chan Woo Yang,
Xiao Liu,
Jessica Lemieux,
Ka-Wai Chen,
Artur Scherer,
Pooya Ronagh
Abstract:
Fault-tolerant quantum computation using two-dimensional topological quantum error correcting codes can benefit from multi-qubit long-range operations. By using simple commutation rules, a quantum circuit can be transpiled into a sequence of solely non-Clifford multi-qubit gates. Prior work on fault-tolerant compilation avoids optimal scheduling of such gates since they reduce the parallelizabilit…
▽ More
Fault-tolerant quantum computation using two-dimensional topological quantum error correcting codes can benefit from multi-qubit long-range operations. By using simple commutation rules, a quantum circuit can be transpiled into a sequence of solely non-Clifford multi-qubit gates. Prior work on fault-tolerant compilation avoids optimal scheduling of such gates since they reduce the parallelizability of the circuit. We observe that the reduced parallelization potential is outweighed by the significant reduction in the number of gates. We therefore devise a method for scheduling multi-qubit lattice surgery using an earliest-available-first policy, solving the associated forest packing problem using a representation of the multi-qubit gates as Steiner trees. Our extensive testing on random and application-inspired circuits demonstrates the method's scalability and performance. We show that the transpilation significantly reduces the circuit length on the set of circuits tested, and that the resulting circuit of multi-qubit gates has a further reduction in the expected circuit execution time compared to serial execution.
△ Less
Submitted 10 June, 2024; v1 submitted 27 May, 2024;
originally announced May 2024.
-
The persistent homology of genealogical networks
Authors:
Zachary M. Boyd,
Nick Callor,
Taylor Gledhill,
Abigail Jenkins,
Robert Snellman,
Benjamin Z. Webb,
Raelynn Wonnacott
Abstract:
Genealogical networks (i.e. family trees) are of growing interest, with the largest known data sets now including well over one billion individuals. Interest in family history also supports an 8.5 billion dollar industry whose size is projected to double within 7 years (FutureWise report HC1137). Yet little mathematical attention has been paid to the complex network properties of genealogical netw…
▽ More
Genealogical networks (i.e. family trees) are of growing interest, with the largest known data sets now including well over one billion individuals. Interest in family history also supports an 8.5 billion dollar industry whose size is projected to double within 7 years (FutureWise report HC1137). Yet little mathematical attention has been paid to the complex network properties of genealogical networks, especially at large scales.
The structure of genealogical networks is of particular interest due to the practice of forming unions, e.g. marriages, that are typically well outside one's immediate family. In most other networks, including other social networks, no equivalent restriction exists on the distance at which relationships form. To study the effect this has on genealogical networks we use persistent homology to identify and compare the structure of 101 genealogical and 31 other social networks. Specifically, we introduce the notion of a network's persistence curve, which encodes the network's set of persistence intervals. We find that the persistence curves of genealogical networks have a distinct structure when compared to other social networks. This difference in structure also extends to subnetworks of genealogical and social networks suggesting that, even with incomplete data, persistent homology can be used to meaningfully analyze genealogical networks. Here we also describe how concepts from genealogical networks, such as common ancestor cycles, are represented using persistent homology. We expect that persistent homology tools will become increasingly important in genealogical exploration as popular interest in ancestry research continues to expand.
△ Less
Submitted 27 January, 2023;
originally announced January 2023.
-
Using Social Networks to Improve Group Transition Prediction in Professional Sports
Authors:
Emily J. Evans,
Rebecca Jones,
Joseph Leung,
Benjamin Z. Webb
Abstract:
We examine whether social data can be used to predict how members of Major League Baseball (MLB) and members of the National Basketball Association (NBA) transition between teams during their career. We find that incorporating social data into various machine learning algorithms substantially improves the algorithms' ability to correctly determine these transitions. In particular, we measure how p…
▽ More
We examine whether social data can be used to predict how members of Major League Baseball (MLB) and members of the National Basketball Association (NBA) transition between teams during their career. We find that incorporating social data into various machine learning algorithms substantially improves the algorithms' ability to correctly determine these transitions. In particular, we measure how player performance, team fitness, and social data individually and collectively contribute to predicting these transitions. Incorporating individual performance and team fitness both improve the predictive accuracy of our algorithms. However, this improvement is dwarfed by the improvement seen when we include social data suggesting that social relationships have a comparatively large effect on player transitions in both MLB and in the NBA.
△ Less
Submitted 1 September, 2020;
originally announced September 2020.
-
Uncovering Hierarchical Structure in Social Networks using Isospectral Reductions
Authors:
Chi-Jen Wang,
Seokjoo Chae,
Leonid A. Bunimovich,
Benjamin Z. Webb
Abstract:
We employ the recently developed theory of isospectral network reductions to analyze multi-mode social networks. This procedure allows us to uncover the hierarchical structure of the networks we consider as well as the hierarchical structure of each mode of the network. Additionally, by performing a dynamical analysis of these networks we are able to analyze the evolution of their structure allowi…
▽ More
We employ the recently developed theory of isospectral network reductions to analyze multi-mode social networks. This procedure allows us to uncover the hierarchical structure of the networks we consider as well as the hierarchical structure of each mode of the network. Additionally, by performing a dynamical analysis of these networks we are able to analyze the evolution of their structure allowing us to find a number of other network features. We apply both of these approaches to the Southern Women Data Set, one of the most studied social networks and demonstrate that these techniques provide new information, which complements previous findings.
△ Less
Submitted 5 December, 2017;
originally announced January 2018.
-
Specialization Models of Network Growth
Authors:
L. A. Bunimovich,
D. C. Smith,
B. Z. Webb
Abstract:
One of the most important features observed in real networks is that, as a network's topology evolves so does the network's ability to perform various complex tasks. To explain this, it has also been observed that as a network grows certain subnetworks begin to specialize the function(s) they perform. Here, we introduce a class of models of network growth based on this notion of specialization and…
▽ More
One of the most important features observed in real networks is that, as a network's topology evolves so does the network's ability to perform various complex tasks. To explain this, it has also been observed that as a network grows certain subnetworks begin to specialize the function(s) they perform. Here, we introduce a class of models of network growth based on this notion of specialization and show that as a network is specialized using this method its topology becomes increasingly sparse, modular, and hierarchical, each of which are important properties observed in real networks. This procedure is also highly flexible in that a network can be specialized over any subset of its elements. This flexibility allows those studying specific networks the ability to search for mechanisms that describe the growth of these particular networks. As an example, we find that by randomly selecting these elements a network's topology acquires some of the most well-known properties of real networks including the small-world property, disassortativity, power-law like degree distributions, and power-law like clustering coefficients. As far as the authors know, this is the first such class of models that creates an increasingly modular and hierarchical network topology with these properties.
△ Less
Submitted 5 December, 2017;
originally announced December 2017.
-
The Clifford group forms a unitary 3-design
Authors:
Zak Webb
Abstract:
Unitary $k$-designs are finite ensembles of unitary matrices that approximate the Haar distribution over unitary matrices. Several ensembles are known to be 2-designs, including the uniform distribution over the Clifford group, but no family of ensembles was previously known to form a 3-design. We prove that the Clifford group is a 3-design, showing that it is a better approximation to Haar-random…
▽ More
Unitary $k$-designs are finite ensembles of unitary matrices that approximate the Haar distribution over unitary matrices. Several ensembles are known to be 2-designs, including the uniform distribution over the Clifford group, but no family of ensembles was previously known to form a 3-design. We prove that the Clifford group is a 3-design, showing that it is a better approximation to Haar-random unitaries than previously expected. Our proof strategy works for any distribution of unitaries satisfying a property we call Pauli 2-mixing and proceeds without the use of heavy mathematical machinery. We also show that the Clifford group does not form a 4-design, thus characterizing how well random Clifford elements approximate Haar-random unitaries. Additionally, we show that the generalized Clifford group for qudits is not a 3-design unless the dimension of the qudit is a power of 2.
△ Less
Submitted 8 November, 2016; v1 submitted 9 October, 2015;
originally announced October 2015.
-
Complexity of the XY antiferromagnet at fixed magnetization
Authors:
Andrew M. Childs,
David Gosset,
Zak Webb
Abstract:
We prove that approximating the ground energy of the antiferromagnetic XY model on a simple graph at fixed magnetization (given as part of the instance specification) is QMA-complete. To show this, we strengthen a previous result by establishing QMA-completeness for approximating the ground energy of the Bose-Hubbard model on simple graphs. Using a connection between the XY and Bose-Hubbard models…
▽ More
We prove that approximating the ground energy of the antiferromagnetic XY model on a simple graph at fixed magnetization (given as part of the instance specification) is QMA-complete. To show this, we strengthen a previous result by establishing QMA-completeness for approximating the ground energy of the Bose-Hubbard model on simple graphs. Using a connection between the XY and Bose-Hubbard models that we exploited in previous work, this establishes QMA-completeness of the XY model.
△ Less
Submitted 19 October, 2015; v1 submitted 24 March, 2015;
originally announced March 2015.
-
Momentum switches
Authors:
Andrew M. Childs,
David Gosset,
Daniel Nagaj,
Mouktik Raha,
Zak Webb
Abstract:
Certain continuous-time quantum walks can be viewed as scattering processes. These processes can perform quantum computations, but it is challenging to design graphs with desired scattering behavior. In this paper, we study and construct momentum switches, graphs that route particles depending on their momenta. We also give an example where there is no exact momentum switch, although we construct…
▽ More
Certain continuous-time quantum walks can be viewed as scattering processes. These processes can perform quantum computations, but it is challenging to design graphs with desired scattering behavior. In this paper, we study and construct momentum switches, graphs that route particles depending on their momenta. We also give an example where there is no exact momentum switch, although we construct an arbitrarily good approximation.
△ Less
Submitted 17 June, 2014;
originally announced June 2014.
-
The Bose-Hubbard model is QMA-complete
Authors:
Andrew M. Childs,
David Gosset,
Zak Webb
Abstract:
The Bose-Hubbard model is a system of interacting bosons that live on the vertices of a graph. The particles can move between adjacent vertices and experience a repulsive on-site interaction. The Hamiltonian is determined by a choice of graph that specifies the geometry in which the particles move and interact. We prove that approximating the ground energy of the Bose-Hubbard model on a graph at f…
▽ More
The Bose-Hubbard model is a system of interacting bosons that live on the vertices of a graph. The particles can move between adjacent vertices and experience a repulsive on-site interaction. The Hamiltonian is determined by a choice of graph that specifies the geometry in which the particles move and interact. We prove that approximating the ground energy of the Bose-Hubbard model on a graph at fixed particle number is QMA-complete. In our QMA-hardness proof, we encode the history of an n-qubit computation in the subspace with at most one particle per site (i.e., hard-core bosons). This feature, along with the well-known map** between hard-core bosons and spin systems, lets us prove a related result for a class of 2-local Hamiltonians defined by graphs that generalizes the XY model. By avoiding the use of perturbation theory in our analysis, we circumvent the need to multiply terms in the Hamiltonian by large coefficients.
△ Less
Submitted 13 November, 2013;
originally announced November 2013.
-
Pseudospectra of Isospectrally Reduced Matrices and Systems
Authors:
Fernando Guevara Vasquez,
Benjamin Z. Webb
Abstract:
The isospectral reduction of matrix, which is closely related to its Schur complement, allows to reduce the size of a matrix while maintaining its eigenvalues up to a known set. Here we generalize this procedure by increasing the number of possible ways a matrix can be isospectrally reduced. The reduced matrix has rational functions as entries. We show that the notion of pseudospectrum can be exte…
▽ More
The isospectral reduction of matrix, which is closely related to its Schur complement, allows to reduce the size of a matrix while maintaining its eigenvalues up to a known set. Here we generalize this procedure by increasing the number of possible ways a matrix can be isospectrally reduced. The reduced matrix has rational functions as entries. We show that the notion of pseudospectrum can be extended to this class of matrices and that the pseudospectrum of a matrix shrinks as the matrix is reduced. Hence the eigenvalues of a reduced matrix are more robust to entry-wise perturbations than the eigenvalues of the original matrix. We also introduce the notion of inverse pseudospectrum (or pseudoresonances), which indicates how stable the poles of a matrix with rational function entries are to certain matrix perturbations. A mass spring system is used to illustrate and give a physical interpretation to both pseudospectra and inverse pseudospectra.
△ Less
Submitted 17 October, 2012;
originally announced October 2012.
-
Universal computation by multi-particle quantum walk
Authors:
Andrew M. Childs,
David Gosset,
Zak Webb
Abstract:
A quantum walk is a time-homogeneous quantum-mechanical process on a graph defined by analogy to classical random walk. The quantum walker is a particle that moves from a given vertex to adjacent vertices in quantum superposition. Here we consider a generalization of quantum walk to systems with more than one walker. A continuous-time multi-particle quantum walk is generated by a time-independent…
▽ More
A quantum walk is a time-homogeneous quantum-mechanical process on a graph defined by analogy to classical random walk. The quantum walker is a particle that moves from a given vertex to adjacent vertices in quantum superposition. Here we consider a generalization of quantum walk to systems with more than one walker. A continuous-time multi-particle quantum walk is generated by a time-independent Hamiltonian with a term corresponding to a single-particle quantum walk for each particle, along with an interaction term. Multi-particle quantum walk includes a broad class of interacting many-body systems such as the Bose-Hubbard model and systems of fermions or distinguishable particles with nearest-neighbor interactions. We show that multi-particle quantum walk is capable of universal quantum computation. Since it is also possible to efficiently simulate a multi-particle quantum walk of the type we consider using a universal quantum computer, this model exactly captures the power of quantum computation. In principle our construction could be used as an architecture for building a scalable quantum computer with no need for time-dependent control.
△ Less
Submitted 15 February, 2013; v1 submitted 16 May, 2012;
originally announced May 2012.
-
Isospectral Reductions of Dynamical Networks
Authors:
L. A. Bunimovich,
B. Z. Webb
Abstract:
We present a general and flexible procedure which allows for the reduction (or expansion) of any dynamical network while preserving the spectrum of the network's adjacency matrix. Computationally, this process is simple and easily implemented for the analysis of any network. Moreover, it is possible to isospectrally reduce a network with respect to any network characteristic including centrality,…
▽ More
We present a general and flexible procedure which allows for the reduction (or expansion) of any dynamical network while preserving the spectrum of the network's adjacency matrix. Computationally, this process is simple and easily implemented for the analysis of any network. Moreover, it is possible to isospectrally reduce a network with respect to any network characteristic including centrality, betweenness, etc. This procedure also establishes new equivalence relations which partition all dynamical networks into spectrally equivalent classes. Here, we present general facts regarding isospectral network transformations which we then demonstrate in simple examples. Overall, our procedure introduces new possibilities for the analysis of networks in ways that are easily visualized.
△ Less
Submitted 20 October, 2010;
originally announced October 2010.
-
Isospectral Graph Transformations, Spectral Equivalence, and Global Stability of Dynamical Networks
Authors:
L. A. Bunimovich,
B. Z. Webb
Abstract:
In this paper we present a general procedure that allows for the reduction or expansion of any network (considered as a weighted graph). This procedure maintains the spectrum of the network's adjacency matrix up to a set of eigenvalues known beforehand from its graph structure. This procedure can be used to establish new equivalence relations on the class of all weighted graphs (networks) where tw…
▽ More
In this paper we present a general procedure that allows for the reduction or expansion of any network (considered as a weighted graph). This procedure maintains the spectrum of the network's adjacency matrix up to a set of eigenvalues known beforehand from its graph structure. This procedure can be used to establish new equivalence relations on the class of all weighted graphs (networks) where two graphs are equivalent if they can be reduced to the same graph. Additionally, dynamical networks (or any finite dimensional, discrete time dynamical system) can be analyzed using isospectral transformations. By so doing we obtain stronger results regarding the global stability (strong synchronization) of dynamical networks when compared to other standard methods.
△ Less
Submitted 14 November, 2011; v1 submitted 15 October, 2010;
originally announced October 2010.
-
Isospectral Graph Reductions and Improved Estimates of Matrices' Spectra
Authors:
L. A. Bunimovich,
B. Z. Webb
Abstract:
Via the process of isospectral graph reduction the adjacency matrix of a graph can be reduced to a smaller matrix while its spectrum is preserved up to some known set. It is then possible to estimate the spectrum of the original matrix by considering Gershgorin-type estimates associated with the reduced matrix. The main result of this paper is that eigenvalue estimates associated with Gershgorin,…
▽ More
Via the process of isospectral graph reduction the adjacency matrix of a graph can be reduced to a smaller matrix while its spectrum is preserved up to some known set. It is then possible to estimate the spectrum of the original matrix by considering Gershgorin-type estimates associated with the reduced matrix. The main result of this paper is that eigenvalue estimates associated with Gershgorin, Brauer, Brualdi, and Varga improve as the matrix size is reduced. Moreover, given that such estimates improve with each successive reduction, it is also possible to estimate the eigenvalues of a matrix with increasing accuracy by repeated use of this process.
△ Less
Submitted 16 November, 2011; v1 submitted 12 November, 2009;
originally announced November 2009.
-
A Short Working Distance Multiple Crystal X-ray Spectrometer
Authors:
B. Dickinson,
G. T. Seidler,
Z. W. Webb,
J. A. Bradley,
K. P. Nagle,
S. M. Heald,
R. A. Gordon,
I. M. Chou
Abstract:
For x-ray spot sizes of a few tens of microns or smaller, a mm-sized flat analyzer crystal placed ~ 1 cm from the sample will exhibit high energy resolution while subtending a collection solid angle comparable to that of a typical spherically bent crystal analyzer (SBCA) at much larger working distances. Based on this observation and a non-focusing geometry for the analyzer optic, we have constr…
▽ More
For x-ray spot sizes of a few tens of microns or smaller, a mm-sized flat analyzer crystal placed ~ 1 cm from the sample will exhibit high energy resolution while subtending a collection solid angle comparable to that of a typical spherically bent crystal analyzer (SBCA) at much larger working distances. Based on this observation and a non-focusing geometry for the analyzer optic, we have constructed and tested a short working distance (SWD) multicrystal x-ray spectrometer. This prototype instrument has a maximum effective collection solid angle of 0.14 sr, comparable to that of 17 SBCA at 1 meter working distance. We find good agreement with prior work for measurements of the Mn K_beta x-ray emission and resonant inelastic x-ray scattering (RIXS) for MnO and also for measurements of the x-ray absorption near-edge structure for Dy metal using Lalpha2 partial-fluorescence yield detection. We discuss future applications at third- and fourth-generation light sources. For concentrated samples, the extremely large collection angle of SWD spectrometers will permit collection of high-resolution x-ray emission spectra with a single pulse of the Linac Coherent Light Source.
△ Less
Submitted 21 September, 2008;
originally announced September 2008.