JKQ: JKU Tools for Quantum Computing
summary
JKU provides a toolkit that integrates with Qiskit and claims real gains by using decision diagrams for matrix and state compression; the simulator ddsim runs 100,000-shot examples and often outperforms standard simulators on large circuits while admitting cases where it slows down. The mapper qmap offers an exact SAT-backed method that produces provably optimal swap placement (examples show a single required swap). The verifier qcec multiplies the original with the inverse of the compiled circuit to reach a compact identity and verifies compilation quickly. All code is on GitHub and a web frontend demo is available.
AI-written summary · about
chapters (5)
related talks
19mSupporting End-Users in Realizing Quantum Computing Applications
17mQVM: Quantum Gate Virtualization Machine
21mSoftware for Quantum Computing- Easing Solutions for Complex
22mQUARK: A Framework for Quantum Computing Application Benchmarking
55mScalable Quantum Compilation With Jasp
47mUnboxing Quantum Computing
18mAutomated distribution of quantum circuits via hypergraph partitioning
19mShaking Up Quantum Simulators with Fuzzing and Rigour