-
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.
-
Quantum sampling algorithms for quantum state preparation and matrix block-encoding
Authors:
Jessica Lemieux,
Matteo Lostaglio,
Sam Pallister,
William Pol,
Karthik Seetharam,
Sukin Sim,
Burak Şahinoğlu
Abstract:
The problems of quantum state preparation and matrix block-encoding are ubiquitous in quantum computing: they are crucial parts of various quantum algorithms for the purpose for initial state preparation as well as loading problem relevant data. We first present an algorithm based on QRS that prepares a quantum state $|ψ_f\rangle \propto \sum^N_{x=1} f(x)|x\rangle$. When combined with efficient re…
▽ More
The problems of quantum state preparation and matrix block-encoding are ubiquitous in quantum computing: they are crucial parts of various quantum algorithms for the purpose for initial state preparation as well as loading problem relevant data. We first present an algorithm based on QRS that prepares a quantum state $|ψ_f\rangle \propto \sum^N_{x=1} f(x)|x\rangle$. When combined with efficient reference states the algorithm reduces the cost of quantum state preparation substantially, if certain criteria on $f$ are met. When the preparation of the reference state is not the dominant cost, and the function $f$ and relevant properties are efficiently computable or provided otherwise with cost $o(N)$, the QRS-based method outperforms the generic state preparation algorithm, which has cost $O(N)$. We demonstrate the detailed performance (in terms of the number of Toffoli gates) of the QRS-based algorithm for quantum states commonly appearing in quantum applications, e.g., those with coefficients that obey power law decay, Gaussian, and hyperbolic tangent, and compare it with other methods. Then, we adapt QRS techniques to the matrix block-encoding problem and introduce a QRS-based algorithm for block-encoding a given matrix $A = \sum_{ij} A_{ij} |i\rangle \langle j|$. We work out rescaling factors for different access models, which encode how the information about the matrix is provided to the quantum computer. We exemplify these results for a particular Toeplitz matrix with elements $A_{\mathbf{ij}}= 1/\|{\mathbf{i}}-{\mathbf{j}}\|^2$, which appears in quantum chemistry, and PDE applications, e.g., when the Coulomb interaction is involved. Our work unifies, and in certain ways goes beyond, various quantum state preparation and matrix block-encoding methods in the literature, and gives detailed performance analysis of important examples that appear in quantum applications.
△ Less
Submitted 18 May, 2024;
originally announced May 2024.
-
Reflection-Based Adiabatic State Preparation
Authors:
Jessica Lemieux,
Artur Scherer,
Pooya Ronagh
Abstract:
We propose a circuit-model quantum algorithm for eigenpath traversal that is based on a combination of concepts from Grover's search and adiabatic quantum computation. Our algorithm deploys a sequence of reflections determined from eigenspaces of instantaneous Hamiltonians defined along an adiabatic schedule in order to prepare a ground state of a target problem Hamiltonian. We provide numerical e…
▽ More
We propose a circuit-model quantum algorithm for eigenpath traversal that is based on a combination of concepts from Grover's search and adiabatic quantum computation. Our algorithm deploys a sequence of reflections determined from eigenspaces of instantaneous Hamiltonians defined along an adiabatic schedule in order to prepare a ground state of a target problem Hamiltonian. We provide numerical evidence suggesting that, for combinatorial search problems, our algorithm can find a solution faster, on average, than Grover's search. We demonstrate our findings by applying both algorithms to solving the NP-hard MAX-2SAT problem.
△ Less
Submitted 9 November, 2021;
originally announced November 2021.
-
Simulating linear kinematic features in viscous-plastic sea ice models on quadrilateral and triangular grids
Authors:
C. Mehlmann,
S. Danilov,
M. Losch,
J. F. Lemieux,
N. Hutter,
T. Richter,
P. Blain,
E. C. Hunke,
P Korn
Abstract:
Linear Kinematic Features (LKFs) are found everywhere in the Arctic sea ice cover. They are strongly localized deformations often associated with the formation of leads and pressure ridges. Viscous-plastic sea ice models start to generate LKFs at high spatial grid resolution, typically with a grid spacing below 5 km. Besides grid spacing, other aspects of a numerical implementation, such as discre…
▽ More
Linear Kinematic Features (LKFs) are found everywhere in the Arctic sea ice cover. They are strongly localized deformations often associated with the formation of leads and pressure ridges. Viscous-plastic sea ice models start to generate LKFs at high spatial grid resolution, typically with a grid spacing below 5 km. Besides grid spacing, other aspects of a numerical implementation, such as discretization details, may affect the number and definition of simulated LKFs. To explore these effects, the solutions of sea ice models with different grid spacings, mesh types, and numerical discretization techniques are compared in an idealized configuration, which could also serve as a benchmark problem in the future. The A, B, and C-grid discretizations of sea ice dynamics on quadrilateral meshes leads to a similar number of LKFs as the A-grid approximation on triangular meshes (with the same number of vertices). The discretization on an Arakawa CD-grid on both structured quadrilateral and triangular meshes resolves the same number of LKFs as conventional Arakawa A-grid, B-grid, and C-grid approaches, but on two times coarser meshes. This is due to the fact that the CD-grid approach has a higher number of degrees of freedom to discretize the velocity field. Due to its enhanced resolving properties, the CD-grid discretization is an attractive alternative to conventional discretizations.
△ Less
Submitted 7 March, 2021;
originally announced March 2021.
-
Resource estimate for quantum many-body ground-state preparation on a quantum computer
Authors:
Jessica Lemieux,
Guillaume Duclos-Cianci,
David Sénéchal,
David Poulin
Abstract:
We estimate the resources required to prepare the ground state of a quantum many-body system on a quantum computer of intermediate size. This estimate is made possible using a combination of quantum many-body methods and analytic upper bounds. Our routine can also be used to optimize certain design parameters for specific problem instances. Lastly, we propose and benchmark an improved quantum stat…
▽ More
We estimate the resources required to prepare the ground state of a quantum many-body system on a quantum computer of intermediate size. This estimate is made possible using a combination of quantum many-body methods and analytic upper bounds. Our routine can also be used to optimize certain design parameters for specific problem instances. Lastly, we propose and benchmark an improved quantum state preparation procedure. We find that it reduces the circuit T-depth by a factor as large as $10^6$ for intermediate-size lattices.
△ Less
Submitted 10 May, 2021; v1 submitted 8 June, 2020;
originally announced June 2020.
-
Efficient Quantum Walk Circuits for Metropolis-Hastings Algorithm
Authors:
Jessica Lemieux,
Bettina Heim,
David Poulin,
Krysta Svore,
Matthias Troyer
Abstract:
We present a detailed circuit implementation of Szegedy's quantization of the Metropolis-Hastings walk. This quantum walk is usually defined with respect to an oracle. We find that a direct implementation of this oracle requires costly arithmetic operations and thus reformulate the quantum walk in a way that circumvents the implementation of that specific oracle and which closely follows the class…
▽ More
We present a detailed circuit implementation of Szegedy's quantization of the Metropolis-Hastings walk. This quantum walk is usually defined with respect to an oracle. We find that a direct implementation of this oracle requires costly arithmetic operations and thus reformulate the quantum walk in a way that circumvents the implementation of that specific oracle and which closely follows the classical Metropolis-Hastings walk. We also present heuristic quantum algorithms that use the quantum walk in the context of discrete optimization problems and numerically study their performances. Our numerical results indicate polynomial quantum speedups in heuristic settings.
△ Less
Submitted 25 June, 2020; v1 submitted 3 October, 2019;
originally announced October 2019.
-
Vehicle Speed Prediction using Deep Learning
Authors:
Joe Lemieux,
Yuan Ma
Abstract:
Global optimization of the energy consumption of dual power source vehicles such as hybrid electric vehicles, plug-in hybrid electric vehicles, and plug in fuel cell electric vehicles requires knowledge of the complete route characteristics at the beginning of the trip. One of the main characteristics is the vehicle speed profile across the route. The profile will translate directly into energy re…
▽ More
Global optimization of the energy consumption of dual power source vehicles such as hybrid electric vehicles, plug-in hybrid electric vehicles, and plug in fuel cell electric vehicles requires knowledge of the complete route characteristics at the beginning of the trip. One of the main characteristics is the vehicle speed profile across the route. The profile will translate directly into energy requirements for a given vehicle. However, the vehicle speed that a given driver chooses will vary from driver to driver and from time to time, and may be slower, equal to, or faster than the average traffic flow. If the specific driver speed profile can be predicted, the energy usage can be optimized across the route chosen. The purpose of this paper is to research the application of Deep Learning techniques to this problem to identify at the beginning of a drive cycle the driver specific vehicle speed profile for an individual driver repeated drive cycle, which can be used in an optimization algorithm to minimize the amount of fossil fuel energy used during the trip.
△ Less
Submitted 25 October, 2015;
originally announced October 2015.
-
A superintegrable discrete oscillator and two-variable Meixner polynomials
Authors:
Julien Gaboriaud,
Vincent X. Genest,
Jessica Lemieux,
Luc Vinet
Abstract:
A superintegrable, discrete model of the quantum isotropic oscillator in two-dimensions is introduced. The system is defined on the regular, infinite-dimensional $\mathbb{N}\times \mathbb{N}$ lattice. It is governed by a Hamiltonian expressed as a seven-point difference operator involving three parameters. The exact solutions of the model are given in terms of the two-variable Meixner polynomials…
▽ More
A superintegrable, discrete model of the quantum isotropic oscillator in two-dimensions is introduced. The system is defined on the regular, infinite-dimensional $\mathbb{N}\times \mathbb{N}$ lattice. It is governed by a Hamiltonian expressed as a seven-point difference operator involving three parameters. The exact solutions of the model are given in terms of the two-variable Meixner polynomials orthogonal with respect to the negative trinomial distribution. The constants of motion of the system are constructed using the raising and lowering operators for these polynomials. They are shown to generate an $\mathfrak{su}(2)$ invariance algebra. The two-variable Meixner polynomials are seen to support irreducible representations of this algebra. In the continuum limit, where the lattice constant tends to zero, the standard isotropic quantum oscillator in two dimensions is recovered. The limit process from the two-variable Meixner polynomials to a product of two Hermite polynomials is carried out by involving the bivariate Charlier polynomials.
△ Less
Submitted 18 August, 2015; v1 submitted 25 February, 2015;
originally announced February 2015.