-
PCOAST: A Pauli-based Quantum Circuit Optimization Framework
Authors:
Jennifer Paykin,
Albert T. Schmitz,
Mohannad Ibrahim,
Xin-Chuan Wu,
A. Y. Matsuura
Abstract:
This paper presents the Pauli-based Circuit Optimization, Analysis, and Synthesis Toolchain (PCOAST), a framework for quantum circuit optimizations based on the commutative properties of Pauli strings. Prior work has demonstrated that commuting Clifford gates past Pauli rotations can expose opportunities for optimization in unitary circuits. PCOAST extends that approach by adapting the technique t…
▽ More
This paper presents the Pauli-based Circuit Optimization, Analysis, and Synthesis Toolchain (PCOAST), a framework for quantum circuit optimizations based on the commutative properties of Pauli strings. Prior work has demonstrated that commuting Clifford gates past Pauli rotations can expose opportunities for optimization in unitary circuits. PCOAST extends that approach by adapting the technique to mixed unitary and non-unitary circuits via generalized preparation and measurement nodes parameterized by Pauli strings. The result is the PCOAST graph, which enables novel optimizations based on whether a user needs to preserve the quantum state after executing the circuit, or whether they only need to preserve the measurement outcomes. Finally, the framework adapts a highly tunable greedy synthesis algorithm to implement the PCOAST graph with a given gate set.
PCOAST is implemented as a set of compiler passes in the Intel Quantum SDK. In this paper, we evaluate its compilation performance against two leading quantum compilers, Qiskit and tket. We find that PCOAST reduces total gate count by 32.53% and 43.33% on average, compared to to the best performance achieved by Qiskit and tket respectively, two-qubit gates by 29.22% and 20.58%, and circuit depth by 42.02% and 51.27%.
△ Less
Submitted 23 May, 2023; v1 submitted 16 May, 2023;
originally announced May 2023.
-
Optimization at the Interface of Unitary and Non-unitary Quantum Operations in PCOAST
Authors:
Albert T. Schmitz,
Mohannad Ibrahim,
Nicolas P. D. Sawaya,
Gian Giacomo Guerreschi,
Jennifer Paykin,
Xin-Chuan Wu,
A. Y. Matsuura
Abstract:
The Pauli-based Circuit Optimization, Analysis and Synthesis Toolchain (PCOAST) was recently introduced as a framework for optimizing quantum circuits. It converts a quantum circuit to a Pauli-based graph representation and provides a set of optimization subroutines to manipulate that internal representation as well as methods for re-synthesizing back to a quantum circuit. In this paper, we focus…
▽ More
The Pauli-based Circuit Optimization, Analysis and Synthesis Toolchain (PCOAST) was recently introduced as a framework for optimizing quantum circuits. It converts a quantum circuit to a Pauli-based graph representation and provides a set of optimization subroutines to manipulate that internal representation as well as methods for re-synthesizing back to a quantum circuit. In this paper, we focus on the set of subroutines which look to optimize the PCOAST graph in cases involving unitary and non-unitary operations as represented by nodes in the graph. This includes reduction of node cost and node number in the presence of preparation nodes, reduction of cost for Clifford operations in the presence of preparations, and measurement cost reduction using Clifford operations and the classical remap** of measurement outcomes. These routines can also be combined to amplify their effectiveness.
We evaluate the PCOAST optimization subroutines using the Intel Quantum SDK on examples of the Variational Quantum Eigensolver (VQE) algorithm. This includes synthesizing a circuit for the simultaneous measurement of a mutually commuting set of Pauli operators. We find for such measurement circuits the overall average ratio of the maximum theoretical number of two-qubit gates to the actual number of two-qubit gates used by our method to be 7.91.
△ Less
Submitted 22 May, 2023; v1 submitted 16 May, 2023;
originally announced May 2023.
-
Encoding trade-offs and design toolkits in quantum algorithms for discrete optimization: coloring, routing, scheduling, and other problems
Authors:
Nicolas PD Sawaya,
Albert T Schmitz,
Stuart Hadfield
Abstract:
Challenging combinatorial optimization problems are ubiquitous in science and engineering. Several quantum methods for optimization have recently been developed, in different settings including both exact and approximate solvers. Addressing this field of research, this manuscript has three distinct purposes. First, we present an intuitive method for synthesizing and analyzing discrete (i.e., integ…
▽ More
Challenging combinatorial optimization problems are ubiquitous in science and engineering. Several quantum methods for optimization have recently been developed, in different settings including both exact and approximate solvers. Addressing this field of research, this manuscript has three distinct purposes. First, we present an intuitive method for synthesizing and analyzing discrete (i.e., integer-based) optimization problems, wherein the problem and corresponding algorithmic primitives are expressed using a discrete quantum intermediate representation (DQIR) that is encoding-independent. This compact representation often allows for more efficient problem compilation, automated analyses of different encoding choices, easier interpretability, more complex runtime procedures, and richer programmability, as compared to previous approaches, which we demonstrate with a number of examples. Second, we perform numerical studies comparing several qubit encodings; the results exhibit a number of preliminary trends that help guide the choice of encoding for a particular set of hardware and a particular problem and algorithm. Our study includes problems related to graph coloring, the traveling salesperson problem, factory/machine scheduling, financial portfolio rebalancing, and integer linear programming. Third, we design low-depth graph-derived partial mixers (GDPMs) up to 16-level quantum variables, demonstrating that compact (binary) encodings are more amenable to QAOA than previously understood. We expect this toolkit of programming abstractions and low-level building blocks to aid in designing quantum algorithms for discrete combinatorial problems.
△ Less
Submitted 8 September, 2023; v1 submitted 27 March, 2022;
originally announced March 2022.
-
Graph Optimization Perspective for Low-Depth Trotter-Suzuki Decomposition
Authors:
Albert T. Schmitz,
Nicolas P. D. Sawaya,
Sonika Johri,
A. Y. Matsuura
Abstract:
Hamiltonian simulation represents an important module in a large class of quantum algorithms and simulations such as quantum machine learning, quantum linear algebra methods, and modeling for physics, material science and chemistry. One of the most prominent methods for realizing the time-evolution unitary is via the Trotter-Suzuki decomposition. However, there is a large class of possible decompo…
▽ More
Hamiltonian simulation represents an important module in a large class of quantum algorithms and simulations such as quantum machine learning, quantum linear algebra methods, and modeling for physics, material science and chemistry. One of the most prominent methods for realizing the time-evolution unitary is via the Trotter-Suzuki decomposition. However, there is a large class of possible decompositions for the infinitesimal time-evolution operator as the order in which the Hamiltonian terms are implemented is arbitrary. We introduce a novel perspective for generating a low-depth Trotter-Suzuki decomposition assuming the standard Clifford+RZ gate set by adapting ideas from quantum error correction. We map a given Trotter-Suzuki decomposition to a constrained path on a graph which we deem the Pauli Frame Graph (PFG). Each node of the PFG represents the set of possible Hamiltonian terms currently available to be applied, Clifford operations represent a move from one node to another, and so the graph distance represents the gate cost of implementing the decomposition. The problem of finding the optimal decomposition is then equivalent to solving a problem similar to the traveling salesman. Though this is an NP-hard problem, we demonstrate the simplest heuristic, greedy search, and compare the resulting two-qubit gate count and circuit depth to more standard methods for a large class of scientifically relevant Hamiltonians, both fermionic and bosonic, found in chemical, vibrational and condensed matter problems which naturally scale. We find in nearly every case we study, the resulting depth and two-qubit gate counts are less than those provided by standard methods, by as much as an order of magnitude. We also find the method is efficient and amenable to parallelization, making the method scalable for problems of real interest.
△ Less
Submitted 26 May, 2023; v1 submitted 15 March, 2021;
originally announced March 2021.
-
Thermal Stability of Dynamical Phase Transitions in Higher Dimensional Stabilizer Codes
Authors:
Albert T. Schmitz
Abstract:
For all of the interest in dynamical phase transitions (DPT), it is still not clear the meaning or prevalence of these features in higher dimensional models. In this paper, we consider DPTs for stabilizer code models and quantum quenches between these models in higher dimensions, particularly $d=2,3$. We find that for many stabilizer codes, there exists a robust DPT to thermal noise which indicate…
▽ More
For all of the interest in dynamical phase transitions (DPT), it is still not clear the meaning or prevalence of these features in higher dimensional models. In this paper, we consider DPTs for stabilizer code models and quantum quenches between these models in higher dimensions, particularly $d=2,3$. We find that for many stabilizer codes, there exists a robust DPT to thermal noise which indicates the resilience of information stored in the ground space in the context of quantum error correction. That is, the critical temperature at which the DPT is lost corresponds to the theoretical upper-bound on the decoding rate for the code. We also discuss a generalization of the Wegner duality and how it can be used to characterize DPTs and other thermal properties.
△ Less
Submitted 12 April, 2020; v1 submitted 26 February, 2020;
originally announced February 2020.
-
Distilling Fractons from Layered Subsystem-Symmetry Protected Phases
Authors:
Albert T. Schmitz
Abstract:
It is well-known that 3D Type-I fracton models can be obtained from the condensations of stacked layers of 2D anyons. It is less obvious if 3D Type-II fractons can be understood from a similar perspective. In this paper, we affirm that this is the case: we produce the paradigm Type-II fracton model, Haah's cubic code, from a 2D layer construction. However, this is not a condensation of 2D anyons,…
▽ More
It is well-known that 3D Type-I fracton models can be obtained from the condensations of stacked layers of 2D anyons. It is less obvious if 3D Type-II fractons can be understood from a similar perspective. In this paper, we affirm that this is the case: we produce the paradigm Type-II fracton model, Haah's cubic code, from a 2D layer construction. However, this is not a condensation of 2D anyons, but rather we start with stacks of 2D subsystem-symmetry protected topological states (SSPT). As this parent model is not topologically ordered in the strict sense, whereas the final state is, we refer to this process as a distillation as we are forming a long-range entangled (LRE) state from several copies of a short-range entangled (SRE) state. We also show that Type-I fracton topological order can also be distilled from SSPT states in the form of the cluster-cube model which we introduce here. We start by introducing the Brillouin-Wigner perturbation theory of distillation. However, a more detailed analysis from which the perturbation theory follows, is also performed using linear gauge structures and an extension we introduce here referred to as gauge substructures. This allows us to rigorously define distillation as well as understand the process of obtaining LRE from SRE. We can diagnose the source of LRE as the distillation of subsystem symmetries into robust long-range ground state degeneracy as characterized by logical operators of the resulting stabilizer code. Furthermore, we find which Hamiltonian terms are necessary for selecting the ground state which results from the perturbation. This leads to a protocol for realizing a fracton quantum error correcting code initialized in a chosen fiducial state using only finite-depth circuits and local measurements.
△ Less
Submitted 10 October, 2019;
originally announced October 2019.
-
A Quantum Solution for Efficient Use of Symmetries in the Simulation of Many-Body Systems
Authors:
Albert T. Schmitz,
Sonika Johri
Abstract:
A many-body Hamiltonian can be block-diagonalized by expressing it in terms of symmetry-adapted basis states. Finding the group orbit representatives of these basis states and their corresponding symmetries is currently a memory/computational bottleneck on classical computers during exact diagonalization. We apply Grover's search in the form of a minimization procedure to solve this problem. Our q…
▽ More
A many-body Hamiltonian can be block-diagonalized by expressing it in terms of symmetry-adapted basis states. Finding the group orbit representatives of these basis states and their corresponding symmetries is currently a memory/computational bottleneck on classical computers during exact diagonalization. We apply Grover's search in the form of a minimization procedure to solve this problem. Our quantum solution provides an exponential reduction in memory, and a quadratic speedup in time over classical methods. We discuss explicitly the full circuit implementation of Grover minimization as applied to this problem, finding that the oracle only scales as polylog in the size of the group, which acts as the search space. Further, we design an error mitigation scheme that, with no additional qubits, reduces the impact of bit-flip errors on the computation, with the magnitude of mitigation directly correlated with the error rate, improving the utility of the algorithm in the Noisy Intermediate Scale Quantum era.
△ Less
Submitted 15 April, 2019; v1 submitted 22 February, 2019;
originally announced February 2019.
-
Entanglement Spectra of Stabilizer Codes: A Window into Gapped Quantum Phases of Matter
Authors:
Albert T. Schmitz,
Sheng-Jie Huang,
Abhinav Prem
Abstract:
The entanglement spectrum (ES) provides a barometer of quantum entanglement and encodes physical information beyond that contained in the entanglement entropy. In this paper, we explore the ES of stabilizer codes, which furnish exactly solvable models for a plethora of gapped quantum phases of matter. Studying the ES for stabilizer Hamiltonians in the presence of arbitrary weak local perturbations…
▽ More
The entanglement spectrum (ES) provides a barometer of quantum entanglement and encodes physical information beyond that contained in the entanglement entropy. In this paper, we explore the ES of stabilizer codes, which furnish exactly solvable models for a plethora of gapped quantum phases of matter. Studying the ES for stabilizer Hamiltonians in the presence of arbitrary weak local perturbations thus allows us to develop a general framework within which the entanglement features of gapped topological phases can be computed and contrasted. In particular, we study models harboring fracton order, both type-I and type-II, and compare the resulting ES with that of both conventional topological order and of (strong) subsystem symmetry protected topological (SSPT) states. We find that non-local surface stabilizers (NLSS), a set of symmetries of the Hamiltonian which form on the boundary of the entanglement cut, act as purveyors of universal non-local features appearing in the entanglement spectrum. While in conventional topological orders and fracton orders, the NLSS retain a form of topological invariance with respect to the entanglement cut, subsystem symmetric systems---fracton and SSPT phases---additionally show a non-trivial geometric dependence on the entanglement cut, corresponding to the subsystem symmetry. This sheds further light on the interplay between geometric and topological effects in fracton phases of matter and demonstrates that strong SSPT phases harbour a measure of quasi-local entanglement beyond that encountered in conventional SPT phases. We further show that a version of the edge-entanglement correspondence, established earlier for gapped two-dimensional topological phases, also holds for gapped three-dimensional fracton models.
△ Less
Submitted 29 January, 2019;
originally announced January 2019.
-
Gauge Structures: From Stabilizer Codes to Continuum Models
Authors:
Albert T. Schmitz
Abstract:
Stabilizer codes are a powerful method for implementing fault-tolerant quantum memory and in the case of topological codes, they form useful models for topological phases of matter. In this paper, we discuss the theory of stabilizer codes as a discrete version of a linear gauge structure, a concept we introduce here. A linear gauge structure captures all the familiar ingredients of $U(1)$ gauge th…
▽ More
Stabilizer codes are a powerful method for implementing fault-tolerant quantum memory and in the case of topological codes, they form useful models for topological phases of matter. In this paper, we discuss the theory of stabilizer codes as a discrete version of a linear gauge structure, a concept we introduce here. A linear gauge structure captures all the familiar ingredients of $U(1)$ gauge theory including a generalization of charge conservation, Maxwell equations and topological terms. Using this connection, we prove some important results for stabilizer codes which can be used to characterize their error-correction properties. However, this perspective does not depend on any particular Hamiltonian or Lagrangian, which as a consequence is agnostic to the source of the gauge redundancy. Based upon the connection to stabilizer codes, we view the source of the gauge redundancy as an ambiguity in the tensor product structure of the Hilbert space. That is, the gauge provides a set of equivalent but arbitrary ways to factorize the Hilbert space. We apply this formalism to the $d=2$ and $3$ toric code as well as the paradigm fracton models, X-Cube and Haah's cubic code. From this perspective, we are able to map all these models to some continuum version which captures all or some of the fractonic and topological features of their parent discrete models.
△ Less
Submitted 9 February, 2019; v1 submitted 26 September, 2018;
originally announced September 2018.
-
AC Conductivity Crossover in Localized Superconductors
Authors:
A. T. Schmitz,
Michael Pretko,
Rahul M. Nandkishore
Abstract:
An important experimental signature of localization is the low-frequency AC conductivity, which typically vanishes as $ω^φ$. The exponent $φ= 2$ for Anderson insulators, whereas for many body localized insulators $φ$ is a continuously varying exponent $1 \le φ\le 2$. In this work, we study the low-frequency AC conductivity of localized superconductors, in which disorder is strong enough to localiz…
▽ More
An important experimental signature of localization is the low-frequency AC conductivity, which typically vanishes as $ω^φ$. The exponent $φ= 2$ for Anderson insulators, whereas for many body localized insulators $φ$ is a continuously varying exponent $1 \le φ\le 2$. In this work, we study the low-frequency AC conductivity of localized superconductors, in which disorder is strong enough to localize all quasiparticles, while remaining weak enough to leave superconductivity intact. We find that while the ac conductivity still follows the general form $σ(ω) \sim ω^φ$, the exponent $φ$ can be markedly different from the characteristic value for localized insulators. In particular, in certain symmetry classes at zero temperature, we obtain $φ> 2$. We further identify an interesting temperature dependent crossover in the scaling form of the AC conductivity, which could be useful for the experimental characterization of localized superconductors.
△ Less
Submitted 3 June, 2018; v1 submitted 18 April, 2018;
originally announced April 2018.
-
Recoverable Information and Emergent Conservation Laws in Fracton Stabilizer Codes
Authors:
A. T. Schmitz,
Han Ma,
Rahul M. Nandkishore,
S. A. Parameswaran
Abstract:
We introduce a new quantity, that we term recoverable information, defined for stabilizer Hamiltonians. For such models, the recoverable information provides a measure of the topological information, as well as a physical interpretation, which is complementary to topological entanglement entropy. We discuss three different ways to calculate the recoverable information, and prove their equivalence.…
▽ More
We introduce a new quantity, that we term recoverable information, defined for stabilizer Hamiltonians. For such models, the recoverable information provides a measure of the topological information, as well as a physical interpretation, which is complementary to topological entanglement entropy. We discuss three different ways to calculate the recoverable information, and prove their equivalence. To demonstrate its utility, we compute recoverable information for fracton models using all three methods where appropriate. From the recoverable information, we deduce the existence of emergent $Z_2$ Gauss-law type constraints, which in turn imply emergent $Z_2$ conservation laws for point-like quasiparticle excitations of an underlying topologically ordered phase.
△ Less
Submitted 25 April, 2018; v1 submitted 6 December, 2017;
originally announced December 2017.
-
Topological Entanglement Entropy of Fracton Stabilizer Codes
Authors:
Han Ma,
A. T. Schmitz,
S. A. Parameswaran,
Michael Hermele,
Rahul M. Nandkishore
Abstract:
Entanglement entropy provides a powerful characterization of two-dimensional gapped topological phases of quantum matter, intimately tied to their description by topological quantum field theories (TQFTs). Fracton topological orders are three-dimensional gapped topologically ordered states of matter, but the existence of a TQFT description for these phases remains an open question. We show that th…
▽ More
Entanglement entropy provides a powerful characterization of two-dimensional gapped topological phases of quantum matter, intimately tied to their description by topological quantum field theories (TQFTs). Fracton topological orders are three-dimensional gapped topologically ordered states of matter, but the existence of a TQFT description for these phases remains an open question. We show that three-dimensional fracton phases are nevertheless characterized, at least partially, by universal structure in the entanglement entropy of their ground state wave functions. We explicitly compute the entanglement entropy for two archetypal fracton models --- the `X-cube model' and `Haah's code' --- and demonstrate the existence of a topological contribution that scales linearly in subsystem size. We show via Schrieffer-Wolff transformations that the topological entanglement of fracton models is robust against arbitrary local perturbations of the Hamiltonian. Finally, we argue that these results may be extended to characterize localization-protected fracton topological order in excited states of disordered fracton models.
△ Less
Submitted 6 March, 2018; v1 submitted 4 October, 2017;
originally announced October 2017.