5 papers
Evaluating Calibration-Based Digital Twins for IBM Quantum Hardware Simulation
Edgars Bautra, Maksims Dimitrijevs, Abuzer Yakaryilmaz
We evaluate calibration-based digital twins for IBM Quantum hardware, aiming to reproduce hardware measurement outcomes on classical simulators. We present a workflow that builds t…
Benchmarking the Lights Out Problem on Real Quantum Hardware
Maksims Dimitrijevs, Maria Palchiha, Abuzer Yakaryilmaz
We implement the Lights Out problem on a 2D grid and on Mobius ladder graphs and evaluate the performance of Grover's search on real quantum hardware. We use two instances using 9…
Two-way affine automata can verify every language
Zeyu Chen, Abuzer Yakaryılmaz
When used as verifiers in Arthur-Merlin systems, two-way quantum finite automata can verify membership in all languages with bounded error with double-exponential expected running…
Classical and quantum Merlin-Arthur automata
Abuzer Yakaryılmaz
We introduce Merlin-Arthur (MA) automata where Merlin provides a certificate at the beginning of computation and it is scanned by Arthur before reading the input. We define Merlin-…
A Representative Framework for Implementing Quantum Finite Automata on Real Devices
Aliya Khadieva, Ãzlem Salehi, Abuzer Yakaryılmaz
We present a framework for the implementation of quantum finite automata algorithms designed for the language on gate-based quantum com…