REVIEW 5 cited by
Faster and shorter synthesis of Hamiltonian simulation circuits
Not yet reviewed by Pith; the record is open.
This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.
SPECIMEN: schema-true, not a live event
T0 review · schema-true
One-sentence machine reading of the paper's core claim.
pith:XXXXXXXX · record.json · timestamp
Signed reviews
read the original abstract
We devise greedy heuristics tailored for synthesizing quantum circuits that implement a specified set of Pauli rotations. Our heuristics are designed to minimize either the count of entangling gates or the depth of entangling gates, and they can be adjusted to either maintain or loosen the ordering of rotations. We present benchmark results demonstrating a depth reduction of up to a factor of 4 compared to the current state-of-the-art heuristics for synthesizing Hamiltonian simulation circuits. We also show that these heuristics can be used to optimize generic quantum circuits by decomposing and resynthesizing them.
Forward citations
Cited by 5 Pith papers
-
Toward Minimum Graphic Parity Networks
The minimum size of a graphic parity network for a connected graph is at least m+n-1, rising to m+Omega(n^1.5) for graphs with no short cycles, and a randomized construction achieves m+O(n^1.5 sqrt(log n)).
-
A generic multi-Pauli compilation framework for limited connectivity
A Clifford-tableau-like representation enables simultaneous implementation of multiple non-commuting Pauli exponentials, reducing CNOT counts for VQE circuits on limited-connectivity hardware.
-
Efficient Compilation for Hamiltonian Simulation via Global Binary Symplectic Form Simplification
A greedy tableau-based compiler that simplifies all Pauli rotations simultaneously and reschedules the emitted blocks cuts two-qubit gate count by 59% and two-qubit depth by 91% on average over 100 HamLib Hamiltonians.
-
Clifford and Non-Clifford Splitting in Quantum Circuits: Applications and ZX-Calculus Detection Procedure
A ZX-calculus border detection algorithm splits Clifford+T circuits into Clifford and non-Clifford parts, enabling limited speedups in statevector simulation, VQE, and expectation value estimation.
-
Quantum Compiler Design for Qubit Mapping and Routing: A Cross-Architectural Survey of Superconducting, Trapped-Ion, and Neutral Atom Systems
A cross-architectural survey that categorizes qubit mapping and routing compilers for superconducting, trapped-ion, and neutral atom quantum hardware.
Discussion (0). Continue with ORCID to comment.