-
Genesis: A Compiler Framework for Hamiltonian Simulation on Hybrid CV-DV Quantum Computers
Authors:
Zihan Chen,
Jiakang Li,
Minghao Guo,
Henry Chen,
Zirui Li,
Joel Bierman,
Yipeng Huang,
Huiyang Zhou,
Yuan Liu,
Eddy Z. Zhang
Abstract:
This paper introduces Genesis, the first compiler designed to support Hamiltonian Simulation on hybrid continuous-variable (CV) and discrete-variable (DV) quantum computing systems. Genesis is a two-level compilation system. At the first level, it decomposes an input Hamiltonian into basis gates using the native instruction set of the target hybrid CV-DV quantum computer. At the second level, it t…
▽ More
This paper introduces Genesis, the first compiler designed to support Hamiltonian Simulation on hybrid continuous-variable (CV) and discrete-variable (DV) quantum computing systems. Genesis is a two-level compilation system. At the first level, it decomposes an input Hamiltonian into basis gates using the native instruction set of the target hybrid CV-DV quantum computer. At the second level, it tackles the mapping and routing of qumodes/qubits to implement long-range interactions for the gates decomposed from the first level. Rather than a typical implementation that relies on SWAP primitives similar to qubit-based (or DV-only) systems, we propose an integrated design of connectivity-aware gate synthesis and beamsplitter SWAP insertion tailored for hybrid CV-DV systems. We also introduce an OpenQASM-like domain-specific language (DSL) named CVDV-QASM to represent Hamiltonian in terms of Pauli-exponentials and basic gate sequences from the hybrid CV-DV gate set. Genesis has successfully compiled several important Hamiltonians, including the Bose-Hubbard model, $\mathbb{Z}_2-$Higgs model, Hubbard-Holstein model, Heisenberg model and Electron-vibration coupling Hamiltonians, which are critical in domains like quantum field theory, condensed matter physics, and quantum chemistry. Our implementation is available at Genesis-CVDV-Compiler(https://github.com/ruadapt/Genesis-CVDV-Compiler).
△ Less
Submitted 19 May, 2025;
originally announced May 2025.
-
Detection of chiral spin fluctuations driven by frustration in Mott insulators
Authors:
Kuan H. Hsu,
Chunjing Jia,
Emily Z. Zhang,
Daniel Jost,
Brian Moritz,
Rudi Hackl,
Thomas P. Devereaux
Abstract:
Topologically ordered states, such as chiral spin liquids, have been proposed as candidates that host fractionalized excitations. However, detecting chiral character or proximity to these non-trivial states remains a challenge. Resonant Raman scattering can be a powerful tool for detecting chiral fluctuations, as the $A_{2g}$ channel probes excitations with broken time-reversal symmetry and local…
▽ More
Topologically ordered states, such as chiral spin liquids, have been proposed as candidates that host fractionalized excitations. However, detecting chiral character or proximity to these non-trivial states remains a challenge. Resonant Raman scattering can be a powerful tool for detecting chiral fluctuations, as the $A_{2g}$ channel probes excitations with broken time-reversal symmetry and local chiral order. Here, we use exact diagonalization to characterize the resonant $A_{2g}$ channel, alongside two-magnon scattering in $B_{1g}$ and $E_g$ channels, for the Hubbard model on lattices with increasing levels of geometric spin frustration, where tuning the incident energy near the Mott gap reveals strong chiral spin excitation intensity. Increased spin frustration in the Mott insulator results in an overall softening of the Raman $A_{2g}$ response, indicating a tendency toward low energy chiral-chiral fluctuations in Mott insulators with magnetic frustration and proximity to chiral spin liquid states that can potentially be tuned by external perturbations.
△ Less
Submitted 10 February, 2025;
originally announced February 2025.
-
A Case for Quantum Circuit Cutting for NISQ Applications: Impact of topology, determinism, and sparsity
Authors:
Zirui Li,
Minghao Guo,
Mayank Barad,
Wei Tang,
Eddy Z. Zhang,
Yipeng Huang
Abstract:
We make the case that variational algorithm ansatzes for near-term quantum computing are well-suited for the quantum circuit cutting strategy. Previous demonstrations of circuit cutting focused on the exponential execution and postprocessing costs due to the cuts needed to partition a circuit topology, leading to overly pessimistic evaluations of the approach. This work observes that the ansatz Cl…
▽ More
We make the case that variational algorithm ansatzes for near-term quantum computing are well-suited for the quantum circuit cutting strategy. Previous demonstrations of circuit cutting focused on the exponential execution and postprocessing costs due to the cuts needed to partition a circuit topology, leading to overly pessimistic evaluations of the approach. This work observes that the ansatz Clifford structure and variational parameter pruning significantly reduce these costs. By keeping track of the limited set of correct subcircuit initializations and measurements, we reduce the number of experiments needed by up to 16x, matching and beating the error mitigation offered by classical shadows tomography. By performing reconstruction as a sparse tensor contraction, we scale the feasible ansatzes to over 200 qubits with six ansatz layers, beyond the capability of prior work.
△ Less
Submitted 23 December, 2024;
originally announced December 2024.
-
Microscopic Roadmap to a Yao-Lee Spin-Orbital Liquid
Authors:
Derek Churchill,
Emily Z. Zhang,
Hae-Young Kee
Abstract:
The exactly solvable spin-1/2 Kitaev model on a honeycomb lattice has drawn significant interest, as it offers a pathway to realizing the long-sought after quantum spin liquid. Building upon the Kitaev model, Yao and Lee introduced another exactly solvable model on an unusual star lattice featuring non-abelian spinons. The additional pseudospin degrees of freedom in this model could provide greate…
▽ More
The exactly solvable spin-1/2 Kitaev model on a honeycomb lattice has drawn significant interest, as it offers a pathway to realizing the long-sought after quantum spin liquid. Building upon the Kitaev model, Yao and Lee introduced another exactly solvable model on an unusual star lattice featuring non-abelian spinons. The additional pseudospin degrees of freedom in this model could provide greater stability against perturbations, making this model appealing. However, a mechanism to realize such an interaction in a standard honeycomb lattice remains unknown. Here we provide a microscopic theory to obtain the Yao-Lee model on a honeycomb lattice by utilizing strong spin-orbit coupling of anions edge-shared between two $e_g$ ions in the exchange processes. This mechanism leads to the desired bond-dependent interaction among spins rather than orbitals, unique to our model, implying that the orbitals fractionalize into gapless Majorana fermions and fermionic octupolar excitations emerge. Since the conventional Kugel-Khomskii interaction also appears, we examine the phase diagram including these interactions using classical Monte Carlo simulations and exact diagonalization techniques. Our findings reveal a broad region of disordered states that break rotational symmetry in the bond energy, suggesting intriguing behavior reminiscent of a spin-orbital liquid.
△ Less
Submitted 28 October, 2024;
originally announced October 2024.
-
Intrinsic Thermal Hall Effect in Mott Insulators
Authors:
Jixun K. Ding,
Emily Z. Zhang,
Wen O. Wang,
Tessa Cookmeyer,
Brian Moritz,
Yong Baek Kim,
Thomas P. Devereaux
Abstract:
In light of recent experimental data indicating a substantial thermal Hall effect in square lattice antiferromagnetic Mott insulators, we investigate whether a simple Mott insulator can sustain a finite thermal Hall effect. We verify that the answer is "no" if one performs calculations within a spin-only low-energy effective spin model with non-interacting magnons. However, by performing determina…
▽ More
In light of recent experimental data indicating a substantial thermal Hall effect in square lattice antiferromagnetic Mott insulators, we investigate whether a simple Mott insulator can sustain a finite thermal Hall effect. We verify that the answer is "no" if one performs calculations within a spin-only low-energy effective spin model with non-interacting magnons. However, by performing determinant quantum Monte Carlo simulations, we show the single-band $t$-$t'$-$U$ Hubbard model coupled to an orbital magnetic field does support a finite thermal Hall effect when $t' \neq 0$ and $B \neq 0$ in the Mott insulating phase. We argue that the (carrier agnostic) necessary conditions for observing a finite thermal Hall effect are time-reversal and particle-hole symmetry breaking. By considering magnon-magnon scattering using a semi-classical Boltzmann analysis, we illustrate a physical mechanism by which finite transverse thermal conductivity may arise, consistent with our symmetry argument and numerical results. Our results contradict the conventional wisdom that square and triangular lattices with SU(2) symmetry do not support a finite thermal Hall effect and call for a critical re-examination of thermal Hall effect data in insulating magnets, as the magnon contribution should not be excluded a priori.
△ Less
Submitted 18 October, 2024;
originally announced October 2024.
-
Optimizing Quantum Fourier Transformation (QFT) Kernels for Modern NISQ and FT Architectures
Authors:
Yuwei Jin,
Xiangyu Gao,
Minghao Guo,
Henry Chen,
Fei Hua,
Chi Zhang,
Eddy Z. Zhang
Abstract:
Rapid development in quantum computing leads to the appearance of several quantum applications. Quantum Fourier Transformation (QFT) sits at the heart of many of these applications. Existing work leverages SAT solver or heuristics to generate a hardware-compliant circuit for QFT by inserting SWAP gates to remap logical qubits to physical qubits. However, they might face problems such as long compi…
▽ More
Rapid development in quantum computing leads to the appearance of several quantum applications. Quantum Fourier Transformation (QFT) sits at the heart of many of these applications. Existing work leverages SAT solver or heuristics to generate a hardware-compliant circuit for QFT by inserting SWAP gates to remap logical qubits to physical qubits. However, they might face problems such as long compilation time due to the huge search space for SAT solver or suboptimal outcome in terms of the number of cycles to finish all gate operations. In this paper, we propose a domain-specific hardware mapping approach for QFT. We unify our insight of relaxed ordering and unit exploration in QFT to search for a qubit mapping solution with the help of program synthesis tools. Our method is the first one that guarantees linear-depth QFT circuits for Google Sycamore, IBM heavy-hex, and the lattice surgery, with respect to the number of qubits. Compared with state-of-the-art approaches, our method can save up to 53% in SWAP gate and 92% in depth.
△ Less
Submitted 20 August, 2024;
originally announced August 2024.
-
Disentangling spin excitation continua in classical and quantum magnets using 2D nonlinear spectroscopy
Authors:
Emily Z. Zhang,
Ciarán Hickey,
Yong Baek Kim
Abstract:
Inelastic neutron scattering (INS) has traditionally been one of the primary methods for investigating quantum magnets, particularly in identifying a continuum of excitations as a hallmark of spin fractionalization in quantum spin liquids (QSLs). However, INS faces severe limitations due to its inability to distinguish between such QSL signatures and similar excitation continua arising from highly…
▽ More
Inelastic neutron scattering (INS) has traditionally been one of the primary methods for investigating quantum magnets, particularly in identifying a continuum of excitations as a hallmark of spin fractionalization in quantum spin liquids (QSLs). However, INS faces severe limitations due to its inability to distinguish between such QSL signatures and similar excitation continua arising from highly frustrated magnetic orders with large unit cells or classical spin liquids. In contrast, two-dimensional coherent spectroscopy (2DCS) has emerged as a powerful tool to probe nonlinear excitation dynamics, offering insights into the underlying mechanisms behind these broad spectral features. In this paper, we utilize classical molecular dynamics (MD) techniques to explore the 2DCS responses of frustrated magnets with dominant Kitaev interactions. Comparing the classical and quantum versions of the pure Kitaev model our results indicate both clear similarities, in the form of sharp line features, and clear distinctions, in the locations of these features and in selection rules. Moreover, in the extended $KΓΓ'$ model, we show that the 2DCS response of the Kitaev spin liquid is completely distinct from that of large unit cell magnetic orders, despite both generating a broad continuum in INS. Additionally, we demonstrate the extreme sensitivity of classical 2DCS to thermal fluctuations and discuss the potential significance of quantum coherence in experimental settings. Overall, our work illustrates the potential of 2DCS in resolving the complex physics underlying ambiguous spin excitation continua, thereby enhancing our understanding of the dynamics in these frustrated systems.
△ Less
Submitted 25 April, 2024;
originally announced April 2024.
-
Quantum Fluctuations Suppress the Critical Fields in BaCo$_2$(AsO$_4$)$_2$
Authors:
Shiva Safari,
William Bateman-Hemphill,
Asimpunya Mitra,
Félix Desrochers,
Emily Z. Zhang,
Lubuna Shafeek,
Austin Ferrenti,
Tyrel M. McQueen,
Arkady Shekhter,
Zoltán Köllö,
Yong Baek Kim,
B. J. Ramshaw,
K. A. Modic
Abstract:
Early efforts to realize exotic quantum ground states in frustrated magnets focused on frustration arising from the lattice geometry alone. Attention has shifted to bond-dependent anisotropic interactions, as well as further-neighbor interactions, on non-geometrically-frustrated lattices due to their greater versatility. The honeycomb magnet BaCo$_2$(AsO$_4$)$_2$ recently emerged as a candidate ho…
▽ More
Early efforts to realize exotic quantum ground states in frustrated magnets focused on frustration arising from the lattice geometry alone. Attention has shifted to bond-dependent anisotropic interactions, as well as further-neighbor interactions, on non-geometrically-frustrated lattices due to their greater versatility. The honeycomb magnet BaCo$_2$(AsO$_4$)$_2$ recently emerged as a candidate host for both bond-dependent (e.g. Kitaev) and third-neighbor ($J_3$) interactions, and has become a model experimental system due to its relatively low levels of disorder. Understanding the relative importance of different exchange interactions holds the key to achieving novel ground states, such as quantum spin liquids. Here, we use the magnetotropic susceptibility to map out the intermediate and high-field phase diagram of BaCo$_2$(AsO$_4$)$_2$ as a function of the out-of-plane magnetic field direction at $T = 1.6$ K. We show that the experimental data are qualitatively consistent with classical Monte Carlo results of the XXZ-$J_1$-$J_3$ model with small Kitaev and off-diagonal exchange couplings included. However, the calculated critical fields are systematically larger than the experimental values. Infinite-DMRG computations on the quantum model reveal that quantum corrections from a nearby ferromagnetic state are likely responsible for the suppressed critical fields. Together, our experiment and theory analyses demonstrate that, while quantum fluctuations play an important role in determining the phase diagram, most of the physics of BaCo$_2$(AsO$_4$)$_2$ can be understood in terms of the classical dynamics of long-range ordered states, leaving little room for the possibility of a quantum spin liquid.
△ Less
Submitted 22 March, 2024;
originally announced March 2024.
-
Linear Depth QFT over IBM Heavy-hex Architecture
Authors:
Xiangyu Gao,
Yuwei Jin,
Minghao Guo,
Henry Chen,
Eddy Z. Zhang
Abstract:
Compiling a given quantum algorithm into a target hardware architecture is a challenging optimization problem. The compiler must take into consideration the coupling graph of physical qubits and the gate operation dependencies. The existing noise in hardware architectures requires the compilation to use as few running cycles as possible. Existing approaches include using SAT solver or heuristics t…
▽ More
Compiling a given quantum algorithm into a target hardware architecture is a challenging optimization problem. The compiler must take into consideration the coupling graph of physical qubits and the gate operation dependencies. The existing noise in hardware architectures requires the compilation to use as few running cycles as possible. Existing approaches include using SAT solver or heuristics to complete the mapping but these may cause the issue of either long compilation time (e.g., timeout after hours) or suboptimal compilation results in terms of running cycles (e.g., exponentially increasing number of total cycles).
In this paper, we propose an efficient mapping approach for Quantum Fourier Transformation (QFT) circuits over the existing IBM heavy-hex architecture. Such proposal first of all turns the architecture into a structure consisting of a straight line with dangling qubits, and then do the mapping over this generated structure recursively. The calculation shows that there is a linear depth upper bound for the time complexity of these structures and for a special case where there is 1 dangling qubit in every 5 qubits, the time complexity is 5N+O(1). All these results are better than state of the art methods.
△ Less
Submitted 14 February, 2024;
originally announced February 2024.
-
Quantum Fourier Transformation Circuits Compilation
Authors:
Yuwei Jin,
Xiangyu Gao,
Minghao Guo,
Henry Chen,
Fei Hua,
Chi Zhang,
Eddy Z. Zhang
Abstract:
In this research paper, our primary focus revolves around the domain-specific hardware mapping strategy tailored for Quantum Fourier Transformation (QFT) circuits. While previous approaches have heavily relied on SAT solvers or heuristic methods to generate hardware-compatible QFT circuits by inserting SWAP gates to realign logical qubits with physical qubits at various stages, they encountered si…
▽ More
In this research paper, our primary focus revolves around the domain-specific hardware mapping strategy tailored for Quantum Fourier Transformation (QFT) circuits. While previous approaches have heavily relied on SAT solvers or heuristic methods to generate hardware-compatible QFT circuits by inserting SWAP gates to realign logical qubits with physical qubits at various stages, they encountered significant challenges. These challenges include extended compilation times due to the expansive search space for SAT solvers and suboptimal outcomes in terms of the number of cycles required to execute all gate operations efficiently. In our study, we adopt a novel approach that combines technical intuition, often referred to as "educated guesses," and sophisticated program synthesis tools. Our objective is to uncover QFT mapping solutions that leverage concepts such as affine loops and modular functions. The groundbreaking outcome of our research is the introduction of the first set of linear-depth transformed QFT circuits designed for Google Sycamore, IBM heavy-hex, and the conventional 2-dimensional (2D) grid configurations, accommodating an arbitrary number of qubits denoted as 'N'. Additionally, we have conducted comprehensive analyses to verify the correctness of these solutions and to develop strategies for handling potential faults within them.
△ Less
Submitted 17 December, 2023;
originally announced December 2023.
-
Tetris: A Compilation Framework for VQA Applications in Quantum Computing
Authors:
Yuwei Jin,
Zirui Li,
Fei Hua,
Tianyi Hao,
Huiyang Zhou,
Yipeng Huang,
Eddy Z. Zhang
Abstract:
Quantum computing has shown promise in solving complex problems by leveraging the principles of superposition and entanglement. Variational quantum algorithms (VQA) are a class of algorithms suited for near term quantum computers due to their modest requirements of qubits and depths of computation. This paper introduces Tetris, a compilation framework for VQA applications on near term quantum devi…
▽ More
Quantum computing has shown promise in solving complex problems by leveraging the principles of superposition and entanglement. Variational quantum algorithms (VQA) are a class of algorithms suited for near term quantum computers due to their modest requirements of qubits and depths of computation. This paper introduces Tetris, a compilation framework for VQA applications on near term quantum devices. Tetris focuses on reducing two qubit gates in the compilation process since a two qubit gate has an order of magnitude more significant error and execution time than a single qubit gate. Tetris exploits unique opportunities in the circuit synthesis stage often overlooked by the state of the art VQA compilers for reducing the number of two qubit gates. Tetris comes with a refined IR of Pauli string to express such a two qubit gate optimization opportunity. Moreover, Tetris is equipped with a fast bridging approach that mitigates the hardware mapping cost. Overall, Tetris demonstrates a reduction of up to 41.3 percent in CNOT gate counts, 37.9 percent in circuit depth, and 42.6 percent in circuit duration for various molecules of different sizes and structures compared with the state-of-the-art approaches. Tetris is open-sourced at this link.
△ Less
Submitted 5 May, 2024; v1 submitted 4 September, 2023;
originally announced September 2023.
-
Electric field control of a quantum spin liquid in weak Mott insulators
Authors:
Daniel J. Schultz,
Alexandre Khoury,
Félix Desrochers,
Omid Tavakol,
Emily Z. Zhang,
Yong Baek Kim
Abstract:
The triangular lattice Hubbard model at strong coupling, whose effective spin model contains both Heisenberg and ring exchange interactions, exhibits a rich phase diagram as the ratio of the hopping $t$ to onsite Coulomb repulsion $U$ is tuned. This includes a chiral spin liquid (CSL) phase. Nevertheless, this exotic phase remains challenging to realize experimentally because a given material has…
▽ More
The triangular lattice Hubbard model at strong coupling, whose effective spin model contains both Heisenberg and ring exchange interactions, exhibits a rich phase diagram as the ratio of the hopping $t$ to onsite Coulomb repulsion $U$ is tuned. This includes a chiral spin liquid (CSL) phase. Nevertheless, this exotic phase remains challenging to realize experimentally because a given material has a fixed value of $t/U$ that can difficultly be tuned with external stimuli. One approach to address this problem is applying a DC electric field, which renormalizes the exchange interactions as electrons undergo virtual hopping processes; in addition to creating virtual doubly occupied sites, electrons must overcome electric potential energy differences. Performing a small $t/U$ expansion to fourth order, we derive the ring exchange model in the presence of an electric field and find that it not only introduces spatial anisotropy but also tends to enhance the ring exchange term compared to the dominant nearest-neighbor Heisenberg interaction. Thus, increasing the electric field serves as a way to increase the importance of the ring exchange at constant $t/U$. Through density matrix renormalization group calculations, we compute the ground state phase diagram of the ring exchange model for two different electric field directions. In both cases, we find that the electric field shifts the phase boundary of the CSL towards a smaller ratio of $t/U$. Therefore, the electric field can drive a magnetically ordered state into the CSL. This explicit demonstration opens the door to tuning other quantum spin systems into spin liquid phases via the application of an electric field.
△ Less
Submitted 31 August, 2023;
originally announced September 2023.
-
QASMTrans: A QASM based Quantum Transpiler Framework for NISQ Devices
Authors:
Fei Hua,
Meng Wang,
Gushu Li,
Bo Peng,
Chenxu Liu,
Muqing Zheng,
Samuel Stein,
Yufei Ding,
Eddy Z. Zhang,
Travis S. Humble,
Ang Li
Abstract:
The success of a quantum algorithm hinges on the ability to orchestrate a successful application induction. Detrimental overheads in mapping general quantum circuits to physically implementable routines can be the deciding factor between a successful and erroneous circuit induction. In QASMTrans, we focus on the problem of rapid circuit transpilation. Transpilation plays a crucial role in converti…
▽ More
The success of a quantum algorithm hinges on the ability to orchestrate a successful application induction. Detrimental overheads in mapping general quantum circuits to physically implementable routines can be the deciding factor between a successful and erroneous circuit induction. In QASMTrans, we focus on the problem of rapid circuit transpilation. Transpilation plays a crucial role in converting high-level, machine-agnostic circuits into machine-specific circuits constrained by physical topology and supported gate sets. The efficiency of transpilation continues to be a substantial bottleneck, especially when dealing with larger circuits requiring high degrees of inter-qubit interaction. QASMTrans is a high-performance C++ quantum transpiler framework that demonstrates up to 369X speedups compared to the commonly used Qiskit transpiler. We observe speedups on large dense circuits such as uccsd_n24 and qft_n320 which require O(10^6) gates. QASMTrans successfully transpiles the aforementioned circuits in 69s and 31s, whilst Qiskit exceeded an hour of transpilation time. With QASMTrans providing transpiled circuits in a fraction of the time of prior transpilers, potential design space exploration, and heuristic-based transpiler design becomes substantially more tractable. QASMTrans is released at http://github.com/pnnl/qasmtrans.
△ Less
Submitted 15 August, 2023;
originally announced August 2023.
-
Spin excitation continuum to topological magnon crossover and thermal Hall conductivity in Kitaev magnets
Authors:
Emily Z. Zhang,
Reja H. Wilke,
Yong Baek Kim
Abstract:
There has been great interest in identifying a Kitaev quantum spin liquid state in frustrated magnets with bond-dependent interactions. In particular, the experimental report of a half-quantized thermal Hall conductivity in $α$-RuCl$_3$ in the presence of a magnetic field has generated excitement as it could be strong evidence for a field-induced chiral spin liquid. More recent experiments, howeve…
▽ More
There has been great interest in identifying a Kitaev quantum spin liquid state in frustrated magnets with bond-dependent interactions. In particular, the experimental report of a half-quantized thermal Hall conductivity in $α$-RuCl$_3$ in the presence of a magnetic field has generated excitement as it could be strong evidence for a field-induced chiral spin liquid. More recent experiments, however, provide a conflicting interpretation advocating for topological magnons in the field-polarized state as the origin of the non-quantized thermal Hall conductivity observed in their experiments. An inherent difficulty in distinguishing between the two scenarios is the phase transition between a putative two-dimensional spin liquid and the field-polarized state exists only at zero temperature, while the behaviour at finite temperature is mostly crossover phenomena. In this work, we provide insights into the finite temperature crossover behavior between the spin excitation continuum in a quantum spin liquid and topological magnons in the field-polarized state in three different theoretical models with large Kitaev interactions. These models allow for a field-induced phase transition from a spin liquid (or an intermediate field-induced spin liquid) to the field-polarized state in the quantum model. We obtain the dynamical spin structure factor as a function of magnetic field using molecular dynamics simulations and compute thermal Hall conductivity in the field-polarized regime. We demonstrate the gradual evolution of the dynamical spin structure factor exhibiting crossover behaviour near magnetic fields where zero-temperature phase transitions occur in the quantum model. We also examine nonlinear effects on topological magnons and the validity of thermal Hall conductivity computed using linear spin wave theory. We discuss the implications of our results to existing and future experiments.
△ Less
Submitted 5 December, 2022;
originally announced December 2022.
-
Exploiting Qubit Reuse through Mid-circuit Measurement and Reset
Authors:
Fei Hua,
Yuwei Jin,
Yanhao Chen,
Suhas Vittal,
Kevin Krsulich,
Lev S. Bishop,
John Lapeyre,
Ali Javadi-Abhari,
Eddy Z. Zhang
Abstract:
Quantum measurement is important to quantum computing as it extracts the outcome of the circuit at the end of the computation. Previously, all measurements have to be done at the end of the circuit. Otherwise, it will incur significant errors. But it is not the case now. Recently IBM started supporting dynamic circuits through hardware (instead of software by simulator). With mid-circuit hardware…
▽ More
Quantum measurement is important to quantum computing as it extracts the outcome of the circuit at the end of the computation. Previously, all measurements have to be done at the end of the circuit. Otherwise, it will incur significant errors. But it is not the case now. Recently IBM started supporting dynamic circuits through hardware (instead of software by simulator). With mid-circuit hardware measurement, we can improve circuit efficacy and fidelity from three aspects: (a) reduced qubit usage, (b) reduced swap insertion, and (c) improved fidelity. We demonstrate this using real-world applications Bernstein Verizani on real hardware and show that circuit resource usage can be improved by 60\%, and circuit fidelity can be improved by 15\%. We design a compiler-assisted tool that can find and exploit the tradeoff between qubit reuse, fidelity, gate count, and circuit duration. We also developed a method for identifying whether qubit reuse will be beneficial for a given application. We evaluated our method on a representative set of essential applications. We can reduce resource usage by up to 80\% and circuit fidelity by up to 20\%.
△ Less
Submitted 6 February, 2023; v1 submitted 3 November, 2022;
originally announced November 2022.
-
A Synergistic Compilation Workflow for Tackling Crosstalk in Quantum Machines
Authors:
Fei Hua,
Yuwei Jin,
Ang Li,
Chenxu Liu,
Meng Wang,
Yanhao Chen,
Chi Zhang,
Ari Hayes,
Samuel Stein,
Minghao Guo,
Yipeng Huang,
Eddy Z. Zhang
Abstract:
Near-term quantum systems tend to be noisy. Crosstalk noise has been recognized as one of several major types of noises in superconducting Noisy Intermediate-Scale Quantum (NISQ) devices. Crosstalk arises from the concurrent execution of two-qubit gates on nearby qubits, such as \texttt{CX}. It might significantly raise the error rate of gates in comparison to running them individually. Crosstalk…
▽ More
Near-term quantum systems tend to be noisy. Crosstalk noise has been recognized as one of several major types of noises in superconducting Noisy Intermediate-Scale Quantum (NISQ) devices. Crosstalk arises from the concurrent execution of two-qubit gates on nearby qubits, such as \texttt{CX}. It might significantly raise the error rate of gates in comparison to running them individually. Crosstalk can be mitigated through scheduling or hardware machine tuning. Prior scientific studies, however, manage crosstalk at a really late phase in the compilation process, usually after hardware mapping is done. It may miss great opportunities of optimizing algorithm logic, routing, and crosstalk at the same time. In this paper, we push the envelope by considering all these factors simultaneously at the very early compilation stage. We propose a crosstalk-aware quantum program compilation framework called CQC that can enhance crosstalk mitigation while achieving satisfactory circuit depth. Moreover, we identify opportunities for translation from intermediate representation to the circuit for application-specific crosstalk mitigation, for instance, the \texttt{CX} ladder construction in variational quantum eigensolvers (VQE). Evaluations through simulation and on real IBM-Q devices show that our framework can significantly reduce the error rate by up to 6$\times$, with only $\sim$60\% circuit depth compared to state-of-the-art gate scheduling approaches. In particular, for VQE, we demonstrate 49\% circuit depth reduction with 9.6\% fidelity improvement over prior art on the H4 molecule using IBMQ Guadalupe. Our CQC framework will be released on GitHub.
△ Less
Submitted 8 December, 2023; v1 submitted 12 July, 2022;
originally announced July 2022.
-
Geometrical frustration versus Kitaev interactions in BaCo$_2$(AsO$_4$)$_2$
Authors:
Thomas Halloran,
Félix Desrochers,
Emily Z. Zhang,
Tong Chen,
Li Ern Chern,
Zhijun Xu,
Barry Winn,
M. K. Graves-Brook,
M. B. Stone,
Alexander I. Kolesnikov,
Yiming Qui,
Ruidan Zhong,
Robert Cava,
Yong Baek Kim,
Collin Broholm
Abstract:
Recently, Co-based honeycomb magnets have been proposed as promising candidate materials to host the Kitaev spin liquid state. One of the front-runners is BaCo$_2$(AsO$_4$)$_2$ (BCAO), where it was suggested that the exchange processes between Co$^{2+}$ ions via the surrounding edge-sharing oxygen octahedra could give rise to bond-dependent Kitaev interactions. In this work, we present and analyze…
▽ More
Recently, Co-based honeycomb magnets have been proposed as promising candidate materials to host the Kitaev spin liquid state. One of the front-runners is BaCo$_2$(AsO$_4$)$_2$ (BCAO), where it was suggested that the exchange processes between Co$^{2+}$ ions via the surrounding edge-sharing oxygen octahedra could give rise to bond-dependent Kitaev interactions. In this work, we present and analyze comprehensive inelastic neutron scattering studies of BCAO with fields in the honeycomb plane. Combining the constraints from the magnon excitations in the high-field polarized state and the inelastic spin structure factor measured in zero magnetic field, we examine two leading theoretical models: the Kitaev-type \JKG model and the \XXZ model. We show that the existing experimental data can be consistently accounted for by the \XXZ model but not by the \JKG model, and we discuss the implications of these results for the realization of a spin liquid phase in BCAO and more generally for the realization of the Kitaev model in cobaltates.
△ Less
Submitted 30 May, 2022;
originally announced May 2022.
-
Uncovering footprints of dipolar-octupolar quantum spin ice from neutron scattering signatures
Authors:
Masashi Hosoi,
Emily Z. Zhang,
Adarsh S. Patri,
Yong Baek Kim
Abstract:
Recent experiments on Ce$_2$Zr$_2$O$_7$ suggest that this material may host a novel form of quantum spin ice, a three-dimensional quantum spin liquid with an emergent photon. The Ce$^{3+}$ local moments on the pyrochlore lattice are described by pseudospin 1/2 degrees of freedom, whose components transform as dipolar and octupolar moments under symmetry operations. In principle, there exist four p…
▽ More
Recent experiments on Ce$_2$Zr$_2$O$_7$ suggest that this material may host a novel form of quantum spin ice, a three-dimensional quantum spin liquid with an emergent photon. The Ce$^{3+}$ local moments on the pyrochlore lattice are described by pseudospin 1/2 degrees of freedom, whose components transform as dipolar and octupolar moments under symmetry operations. In principle, there exist four possible quantum spin ice regimes, depending on whether the Ising component is in the dipolar/octupolar channel, and two possible flux configurations of the emergent gauge field. In this work, using exact diagonalization and molecular dynamics, we investigate the equal-time and dynamical spin structure factors in all four quantum spin ice regimes using quantum and classical computations. Contrasting the distinct signatures of quantum and classical results for the four possible quantum spin ice regimes and elucidating the role of quantum fluctuations, we show that the quantum structure factor computed for the $π$-flux octupolar quantum spin ice regime is most compatible with the neutron scattering results on Ce$_2$Zr$_2$O$_7$.
△ Less
Submitted 24 January, 2023; v1 submitted 3 January, 2022;
originally announced January 2022.
-
A Structured Method for Compilation of QAOA Circuits in Quantum Computing
Authors:
Yuwei Jin,
Jason Luo,
Lucent Fong,
Yanhao Chen,
Ari B. Hayes,
Chi Zhang,
Fei Hua,
Eddy Z. Zhang
Abstract:
Quantum Approximation Optimization Algorithm (QAOA) is a highly advocated variational algorithm for solving the combinatorial optimization problem. One critical feature in the quantum circuit of QAOA algorithm is that it consists of two-qubit operators that commute. The flexibility in reordering the two-qubit gates allows compiler optimizations to generate circuits with better depths, gate count,…
▽ More
Quantum Approximation Optimization Algorithm (QAOA) is a highly advocated variational algorithm for solving the combinatorial optimization problem. One critical feature in the quantum circuit of QAOA algorithm is that it consists of two-qubit operators that commute. The flexibility in reordering the two-qubit gates allows compiler optimizations to generate circuits with better depths, gate count, and fidelity. However, it also imposes significant challenges due to additional freedom exposed in the compilation. Prior studies lack the following: (1) Performance guarantee, (2) Scalability, and (3) Awareness of regularity in scalable hardware. We propose a structured method that ensures linear depth for any compiled QAOA circuit on multi-dimensional quantum architectures. We also demonstrate how our method runs on Google Sycamore and IBM Non-linear architectures in a scalable manner and in linear time. Overall, we can compile a circuit with up to 1024 qubits in 10 seconds with a 3.8X speedup in depth, 17% reduction in gate count, and 18X improvement for circuit ESP.
△ Less
Submitted 19 July, 2022; v1 submitted 11 December, 2021;
originally announced December 2021.
-
Dynamical Signatures of Rank-2 $U(1)$ Spin Liquids
Authors:
Emily Z. Zhang,
Finn Lasse Buessen,
Yong Baek Kim
Abstract:
Emergent $U(1)$ gauge theories and artificial photons in frustrated magnets are outstanding examples of many-body collective phenomena. The classical and quantum regimes of these systems provide platforms for classical and quantum spin liquids, and are the subject of current active theoretical and experimental investigations. Recently, realizations of rank-2 $U(1)$ (R2-U1) gauge theories in three-…
▽ More
Emergent $U(1)$ gauge theories and artificial photons in frustrated magnets are outstanding examples of many-body collective phenomena. The classical and quantum regimes of these systems provide platforms for classical and quantum spin liquids, and are the subject of current active theoretical and experimental investigations. Recently, realizations of rank-2 $U(1)$ (R2-U1) gauge theories in three-dimensional frustrated magnets have been proposed. Such systems in the quantum regime may lead to the so-called fracton ordered phases -- a new class of topological order that has been associated with quantum stabilizer codes and holography. However, there exist few distinguishing characteristics of these states for their detection in real materials. Here we focus on the classical limit, and present the dynamical spin structure factor for a R2-U1 spin liquid state on a breathing pyrochlore lattice. Remarkably, we find unique signatures of the R2-U1 state, and we contrast them with the results obtained from a more conventional $U(1)$ spin liquid. These results provide a new path of investigation for future inelastic neutron scattering experiments on candidate materials.
△ Less
Submitted 19 October, 2021;
originally announced October 2021.
-
Topological magnons for thermal Hall transport in frustrated magnets with bond-dependent interactions
Authors:
Emily Z. Zhang,
Li Ern Chern,
Yong Baek Kim
Abstract:
Thermal transport in topologically-ordered phases of matter provides valuable insights as it can detect the charge-neutral quasiparticles that would not directly couple to electromagnetic probes. An important example is edge heat transport of Majorana fermions in a chiral spin liquid, which leads to a half-quantized thermal Hall conductivity. This signature is precisely what has recently been meas…
▽ More
Thermal transport in topologically-ordered phases of matter provides valuable insights as it can detect the charge-neutral quasiparticles that would not directly couple to electromagnetic probes. An important example is edge heat transport of Majorana fermions in a chiral spin liquid, which leads to a half-quantized thermal Hall conductivity. This signature is precisely what has recently been measured in $α$-RuCl$_3$ under external magnetic fields. The plateau-like behavior of the half-quantized thermal Hall conductivity as a function of external magnetic field, and the peculiar sign change depending on the magnetic field orientation, has been proposed as strong evidence for the non-Abelian Kitaev spin liquid. Alternatively, for in-plane magnetic fields, it was theoretically shown that such a sign structure can also arise from topological magnons in the field-polarized state. In this work, we investigate the full implications of topological magnons as heat carriers on thermal transport measurements. We first prove analytically that for any commensurate order with a finite magnetic unit cell, reversing the field direction leads to a sign change in the magnon thermal Hall conductivity in two-dimensional systems. We verify this proof numerically with nontrivial magnetic orders as well as the field-polarized state in Kitaev magnets subjected to an in-plane field. In the case of a tilted magnetic field, whereby there exist both finite in-plane and out-of-plane field components, we find that the plateau-like behavior of the thermal Hall conductivity and the sign change upon reversing the in-plane component of the magnetic field arise in the partially-polarized state, as long as the in-plane field contribution to the Zeeman energy is significant. While these results are consistent with the experimental observations, we comment on other aspects requiring investigation in future studies.
△ Less
Submitted 24 January, 2023; v1 submitted 29 January, 2021;
originally announced February 2021.
-
Photoacoustic Reconstruction Using Sparsity in Curvelet Frame: Image versus Data Domain
Authors:
Bolin Pan,
Simon R. Arridge,
Felix Lucka,
Ben T. Cox,
Nam Huynh,
Paul C. Beard,
Edward Z. Zhang,
Marta M. Betcke
Abstract:
Curvelet frame is of special significance for photoacoustic tomography (PAT) due to its sparsifying and microlocalisation properties. We derive a one-to-one map between wavefront directions in image and data spaces in PAT which suggests near equivalence between the recovery of the initial pressure and PAT data from compressed/subsampled measurements when assuming sparsity in Curvelet frame. As the…
▽ More
Curvelet frame is of special significance for photoacoustic tomography (PAT) due to its sparsifying and microlocalisation properties. We derive a one-to-one map between wavefront directions in image and data spaces in PAT which suggests near equivalence between the recovery of the initial pressure and PAT data from compressed/subsampled measurements when assuming sparsity in Curvelet frame. As the latter is computationally more tractable, investigation to which extent this equivalence holds conducted in this paper is of immediate practical significance. To this end we formulate and compare DR, a two step approach based on the recovery of the complete volume of the photoacoustic data from the subsampled data followed by the acoustic inversion, and p0R, a one step approach where the photoacoustic image (the initial pressure, p0) is directly recovered from the subsampled data. Effective representation of the photoacoustic data requires basis defined on the range of the photoacoustic forward operator. To this end we propose a novel wedge-restriction of Curvelet transform which enables us to construct such basis. Both recovery problems are formulated in a variational framework. As the Curvelet frame is heavily overdetermined, we use reweighted l1 norm penalties to enhance the sparsity of the solution. The data reconstruction problem DR is a standard compressed sensing recovery problem, which we solve using an ADMMtype algorithm, SALSA. Subsequently, the initial pressure is recovered using time reversal as implemented in the k-Wave Toolbox. The p0 reconstruction problem, p0R, aims to recover the photoacoustic image directly via FISTA, or ADMM when in addition including a non-negativity constraint. We compare and discuss the relative merits of the two approaches and illustrate them on 2D simulated and 3D real data in a fair and rigorous manner.
△ Less
Submitted 6 August, 2021; v1 submitted 25 November, 2020;
originally announced November 2020.
-
SlackQ : Approaching the Qubit Mapping Problem with A Slack-aware Swap Insertion Scheme
Authors:
Chi Zhang,
Yanhao Chen,
Yuwei Jin,
Wonsun Ahn,
Youtao Zhang,
Eddy Z. Zhang
Abstract:
The rapid progress of physical implementation of quantum computers paved the way for the design of tools to help users write quantum programs for any given quantum device. The physical constraints inherent in current NISQ architectures prevent most quantum algorithms from being directly executed on quantum devices. To enable two-qubit gates in the algorithm, existing works focus on inserting SWAP…
▽ More
The rapid progress of physical implementation of quantum computers paved the way for the design of tools to help users write quantum programs for any given quantum device. The physical constraints inherent in current NISQ architectures prevent most quantum algorithms from being directly executed on quantum devices. To enable two-qubit gates in the algorithm, existing works focus on inserting SWAP gates to dynamically remap logical qubits to physical qubits. However, their schemes lack consideration of the execution time of generated quantum circuits. In this work, we propose a slack-aware SWAP insertion scheme for the qubit mapping problem in the NISQ era. Our experiments show performance improvement by up to 2.36X at maximum, by 1.62X on average, over 106 representative benchmarks from RevLib, IBM Qiskit , and ScaffCC.
△ Less
Submitted 4 September, 2020;
originally announced September 2020.
-
Sign structure of thermal Hall conductivity for in-plane-field polarized Kitaev magnets
Authors:
Li Ern Chern,
Emily Z. Zhang,
Yong Baek Kim
Abstract:
The appearance of half-quantized thermal Hall conductivity in $α$-RuCl$_3$ in the presence of in-plane magnetic fields has been taken as a strong evidence for Kitaev spin liquid. Apart from the quantization, the observed sign structure of the thermal Hall conductivity is also consistent with predictions from the exact solution of the Kitaev model. Namely, the thermal Hall conductivity changes sign…
▽ More
The appearance of half-quantized thermal Hall conductivity in $α$-RuCl$_3$ in the presence of in-plane magnetic fields has been taken as a strong evidence for Kitaev spin liquid. Apart from the quantization, the observed sign structure of the thermal Hall conductivity is also consistent with predictions from the exact solution of the Kitaev model. Namely, the thermal Hall conductivity changes sign when the field direction is reversed with respect to the heat current, which is perpendicular to one of the three nearest neighbor bonds on the honeycomb lattice. On the other hand, it is almost zero when the field is applied along the bond direction. Here, we show that such a peculiar sign structure of the thermal Hall conductivity is a generic property of the polarized state in the presence of in-plane magnetic-fields. In this case, thermal Hall effect arises from topological magnons with finite Chern numbers and the sign structure follows from the symmetries of the momentum space Berry curvature. Using a realistic spin model with bond-dependent interactions, we show that the thermal Hall conductivity can have a magnitude comparable to that observed in the experiments. Hence the sign structure alone cannot make a strong case for Kitaev spin liquid. The quantization at very low temperatures, however, will be a decisive test as the magnon contribution vanishes in the zero temperature limit.
△ Less
Submitted 28 August, 2020;
originally announced August 2020.
-
Single-shot hybrid photoacoustic-fluorescent microendoscopy through a multi-mode fiber with wavefront shaping
Authors:
Sylvain Mezil,
Antonio M. Caravaca-Aguirre,
Edward Z. Zhang,
Philippe Moreau,
Irène Wang,
Paul C. Beard,
Emmanuel Bossy
Abstract:
We present a minimally-invasive endoscope based on a multimode fiber that combines photoacoustic and fluorescence sensing. From the measurement of a transmission matrix during a prior calibration step, a focused spot is produced and raster-scanned over a sample at the distal tip of the fiber by use of a fast spatial light modulator. An ultra-sensitive fiber-optic ultrasound sensor for photoacousti…
▽ More
We present a minimally-invasive endoscope based on a multimode fiber that combines photoacoustic and fluorescence sensing. From the measurement of a transmission matrix during a prior calibration step, a focused spot is produced and raster-scanned over a sample at the distal tip of the fiber by use of a fast spatial light modulator. An ultra-sensitive fiber-optic ultrasound sensor for photoacoustic detection placed next to the fiber is combined with a photodetector to obtain both fluorescence and photoacoustic images with a distal imaging tip no larger than 250um. The high signal-to-noise ratio provided by wavefront shaping based focusing and the ultra-sensitive ultrasound sensor enables imaging with a single laser shot per pixel, demonstrating fast two-dimensional hybrid imaging of red blood cells and fluorescent beads.
△ Less
Submitted 18 June, 2020;
originally announced June 2020.
-
A Depth-Aware Swap Insertion Scheme for the Qubit Mapping Problem
Authors:
Chi Zhang,
Yanhao Chen,
Yuwei Jin,
Wonsun Ahn,
Youtao Zhang,
Eddy Z. Zhang
Abstract:
The rapid progress of physical implementation of quantum computers paved the way of realising the design of tools to help users write quantum programs for any given quantum devices. The physical constraints inherent to the current NISQ architectures prevent most quantum algorithms from being directly executed on quantum devices. To enable two-qubit gates in the algorithm, existing works focus on i…
▽ More
The rapid progress of physical implementation of quantum computers paved the way of realising the design of tools to help users write quantum programs for any given quantum devices. The physical constraints inherent to the current NISQ architectures prevent most quantum algorithms from being directly executed on quantum devices. To enable two-qubit gates in the algorithm, existing works focus on inserting SWAP gates to dynamically remap logical qubits to physical qubits. However, their schemes lack the consideration of the depth of generated quantum circuits. In this work, we propose a depth-aware SWAP insertion scheme for qubit mapping problem in the NISQ era.
△ Less
Submitted 17 February, 2020;
originally announced February 2020.
-
Efficiency limits of electronically-coupled upconverter and quantum ratchet solar cells using detailed balance
Authors:
Emily Z. Zhang,
Jacob J. Krich
Abstract:
The intermediate band solar cell (IBSC) and quantum ratchet solar cell (QRSC) have the potential to surpass the efficiency of standard single-junction solar cells by allowing sub-gap photon absorption through states deep inside the band gap. High efficiency IBSC and QRSC devices have not yet been achieved, however, since introducing mid-gap states also increases recombination, which can harm the d…
▽ More
The intermediate band solar cell (IBSC) and quantum ratchet solar cell (QRSC) have the potential to surpass the efficiency of standard single-junction solar cells by allowing sub-gap photon absorption through states deep inside the band gap. High efficiency IBSC and QRSC devices have not yet been achieved, however, since introducing mid-gap states also increases recombination, which can harm the device. We consider the electronically coupled upconverter (ECUC) solar cell and show that it can achieve the same efficiencies as the QRSC. Although they are equivalent in the detailed balance limit, the ECUC is less sensitive to nonradiative processes, which makes it a more practical implementation for IB devices. We perform a case study of crystalline-silicon based ECUC cells, focusing on hydrogenated amorphous silicon as the upconverter material and highlighting potential dopants for the ECUC. These results illustrate a new path for the development of IB-based devices.
△ Less
Submitted 17 September, 2019;
originally announced September 2019.
-
Accelerating Concurrent Heap on GPUs
Authors:
Yanhao Chen,
Fei Hua,
Chaozhang Huang,
Jeremy Bierema,
Chi Zhang,
Eddy Z. Zhang
Abstract:
Priority queue, often implemented as a heap, is an abstract data type that has been used in many well-known applications like Dijkstra's shortest path algorithm, Prim's minimum spanning tree, Huffman encoding, and the branch-and-bound algorithm. However, it is challenging to exploit the parallelism of the heap on GPUs since the control divergence and memory irregularity must be taken into account.…
▽ More
Priority queue, often implemented as a heap, is an abstract data type that has been used in many well-known applications like Dijkstra's shortest path algorithm, Prim's minimum spanning tree, Huffman encoding, and the branch-and-bound algorithm. However, it is challenging to exploit the parallelism of the heap on GPUs since the control divergence and memory irregularity must be taken into account. In this paper, we present a parallel generalized heap model that works effectively on GPUs. We also prove the linearizability of our generalized heap model which enables us to reason about the expected results. We evaluate our concurrent heap thoroughly and show a maximum 19.49X speedup compared to the sequential CPU implementation and 2.11X speedup compared with the existing GPU implementation. We also apply our heap to single source shortest path with up to 1.23X speedup and 0/1 knapsack problem with up to 12.19X speedup.
△ Less
Submitted 15 June, 2019;
originally announced June 2019.
-
Acoustic Wave Field Reconstruction from Compressed Measurements with Application in Photoacoustic Tomography
Authors:
Marta M. Betcke,
Ben T. Cox,
Nam Huynh,
Edward Z. Zhang,
Paul C. Beard,
Simon R. Arridge
Abstract:
We present a method for the recovery of compressively sensed acoustic fields using patterned, instead of point-by-point, detection. From a limited number of such compressed measurements, we propose to reconstruct the field on the sensor plane in each time step independently assuming its sparsity in a Curvelet frame. A modification of the Curvelet frame is proposed to account for the smoothing effe…
▽ More
We present a method for the recovery of compressively sensed acoustic fields using patterned, instead of point-by-point, detection. From a limited number of such compressed measurements, we propose to reconstruct the field on the sensor plane in each time step independently assuming its sparsity in a Curvelet frame. A modification of the Curvelet frame is proposed to account for the smoothing effects of data acquisition and motivated by a frequency domain model for photoacoustic tomography. An ADMM type algorithm, SALSA, is used to recover the pointwise data in each individual time step from the patterned measurements. For photoacoustic applications, the photoacoustic image of the initial pressure is reconstructed using time reversal in ${\bf k}$-Wave Toolbox.
△ Less
Submitted 9 September, 2016;
originally announced September 2016.
-
A Graph-based Model for GPU Caching Problems
Authors:
Lingda Li,
Ari B. Hayes,
Stephen A. Hackler,
Eddy Z. Zhang,
Mario Szegedy,
Shuaiwen Leon Song
Abstract:
Modeling data sharing in GPU programs is a challenging task because of the massive parallelism and complex data sharing patterns provided by GPU architectures. Better GPU caching efficiency can be achieved through careful task scheduling among different threads. Traditionally, in the field of parallel computing, graph partition models are used to model data communication and guide task scheduling.…
▽ More
Modeling data sharing in GPU programs is a challenging task because of the massive parallelism and complex data sharing patterns provided by GPU architectures. Better GPU caching efficiency can be achieved through careful task scheduling among different threads. Traditionally, in the field of parallel computing, graph partition models are used to model data communication and guide task scheduling. However, we discover that the previous methods are either inaccurate or expensive when applied to GPU programs. In this paper, we propose a novel task partition model that is accurate and gives rise to the development of fast and high quality task/data reorganization algorithms. We demonstrate the effectiveness of the proposed model by rigorous theoretical analysis of the algorithm bounds and extensive experimental analysis. The experimental results show that it achieves significant performance improvement across a representative set of GPU applications.
△ Less
Submitted 6 May, 2016;
originally announced May 2016.
