Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

Bulletin of the American Physical Society

Randomized analog verification for analog quantum simulators and gate-based quantum devices

Ryan Shaffer, Hang Ren, E. Megidish, Joseph Broz, Wei‐Ting Chen, Hartmut Häffner

Published Mar 15, 2021• 0 citations
OpenAlex

Related papers

Analog Quantum Simulator

Matthew C King-Smith

•Jan 1, 2016•0 citations

Efficient experimental verification of continuously-parameterized gate sets and analog quantum simulators.

Ryan Shaffer, Hang Ren, Emiliia Dyrenkova +10 more

Approximate compilation of RAV inversion sequence via STOQSTOQ is a stochastic approximate compilation technique for compiling unitaries in terms of an arbitrary set of native gates, which may be fixed or parameterized. Verification of analog simulatorsError sensitivity Hardware requirements Scalability Time-reversal benchmarking Incoherent noise Implement time reversal of Hamiltonian Scalable to large n Cross-entropy benchmarking (XEB) Coherent errors, incoherent noise Implement programmable Hamiltonian terms Infeasible for n >> 50 Randomized analog verification (RAV) Coherent errors, incoherent noise Implement programmable Hamiltonian terms Infeasible for n >> 10 Verification of gate-based devices Building blocks Sequence generation

•Oct 1, 2022•0 citations

Atom-Based Silicon Devices for Quantum Computing and Analog Quantum Simulation

Richard M. Silver, Xiqiao Wang, Fan Fei +6 more

Bulletin of the American Physical Society•Mar 16, 2021•0 citations

Practical verification protocols for analog quantum simulators

Shaffer, R, Megidish, E, Broz, J +2 more

Analog quantum simulation is expected to be a significant application of near-term quantum devices. Verification of these devices without comparison to known simulation results will be an important task as the system size grows beyond the regime that can be simulated classically. We introduce a set of experimentally-motivated verification protocols for analog quantum simulators, discussing their sensitivity to a variety of error sources and their scalability to larger system sizes. We demonstrate these protocols experimentally using a two-qubit trapped-ion analog quantum simulator and numerically using models of up to five qubits.

•Jan 1, 2021•13 citations

Verification of Quantum Circuits

Robert Wille, Lukas Burgholzer

Springer eBooks•Jan 1, 2022•5 citations

Verification of Quantum Circuits

Robert Wille, Lukas Burgholzer

Springer eBooks•Dec 20, 2024•0 citations
Approximate compilation of RAV inversion sequence via STOQSTOQ is a stochastic approximate compilation technique for compiling unitaries in terms of an arbitrary set of native gates, which may be fixed or parameterized. Verification of analog simulatorsError sensitivity Hardware requirements Scalability Time-reversal benchmarking Incoherent noise Implement time reversal of Hamiltonian Scalable to large n Cross-entropy benchmarking (XEB) Coherent errors, incoherent noise Implement programmable Hamiltonian terms Infeasible for n >> 50 Randomized analog verification (RAV) Coherent errors, incoherent noise Implement programmable Hamiltonian terms Infeasible for n >> 10 Verification of gate-based devices Building blocks Sequence generation
Analog quantum simulation is expected to be a significant application of near-term quantum devices. Verification of these devices without comparison to known simulation results will be an important task as the system size grows beyond the regime that can be simulated classically. We introduce a set of experimentally-motivated verification protocols for analog quantum simulators, discussing their sensitivity to a variety of error sources and their scalability to larger system sizes. We demonstrate these protocols experimentally using a two-qubit trapped-ion analog quantum simulator and numerically using models of up to five qubits.