SimuQ: A Framework for Programming Quantum Hamiltonian Simulation with Analog Co...
summary
SimuQ implements a full pipeline: a Hamiltonian Modeling Language for target systems, an abstract analog instruction set (AAIS) and AAIS Specification Language for hardware, and a solver-based Hamiltonian synthesizer (mixed-integer + least-squares) that emits pulse schedules. It compiles and runs on IBM superconducting, QuEra neutral-atom, and IonQ trapped-ion platforms, proves semantics preservation, ships artifacts and benchmarks, and produces working device pulses; a follow-up QD Ops optimizer reports better practical performance than some classical solvers on tested nonconvex problems.
AI-written summary · about
chapters (13)
- 0:00SimuQ framework intro
- 1:26Quantum Hamiltonian basics
- 2:52Lack of analog tools
- 3:36Programming languages role
- 5:25Language/hardware history
- 6:49Practical quantum problems
- 7:55Hamiltonian computing
- 8:57Direct programming with SimuQ
- 9:39Abstraction challenges
- 11:02SimuQ compiler & IR
- 12:30Interdisciplinary platform
- 14:37Recap & contributions
- 15:20Q&A
related talks
16mCompiling and Running High-level Quantum Programs
20mMarQSim: Reconciling Determinism and Randomness in Compiler Optimization for Quantum(…)
26mGenerating Compilers for Qubit Mapping and Routing
01h 10mThe Rise & Collapse of a Quantum State
55mScalable Quantum Compilation With Jasp
48mHello, Quantum World!
19mQuantum Virtual Machines
18mA Pulse-Level DSL for Real-Time Quantum Control with Hardware Compilation and Emulation