1 citations · 1 across the 2 of their papers we have counts for
5 papers
Fault-tolerant quantum computations of vibrational wave functions
Marco Majland, Rasmus Berg Jensen, Patrick Ettenhuber +3
Quantum computation of vibrational properties of molecules is a promising platform to obtain computational advantages for computational chemistry. However, fault-tolerant quantum c…
Explanations for Unrealizability of Infinite-State Safety Shields
Andoni Rodriguez, Irfansha Shaik, Davide Corsi +2
Safe Reinforcement Learning focuses on developing optimal policies while ensuring safety. A popular method to address such task is shielding, in which a correct-by-construction saf…
Practical Subarchitectures for Optimal Quantum Layout Synthesis
Kostiantyn V. Milkevych, Jaco van de Pol, Irfansha Shaik
Quantum Layout Synthesis (QLS) maps a logical quantum circuit to a physical quantum platform. Optimal QLS minimizes circuit size and depth, which is essential to reduce the noise o…
Depth-Optimal Quantum Layout Synthesis as SAT
Anna B. Jakobsen, Anders B. Clausen, Jaco van de Pol +1
Quantum circuits consist of gates applied to qubits. Current quantum hardware platforms impose connectivity restrictions on binary CX gates. Hence, Layout Synthesis is an important…
CNOT-Optimal Clifford Synthesis as SAT
Irfansha Shaik, Jaco van de Pol
Clifford circuit optimization is an important step in the quantum compilation pipeline. Major compilers employ heuristic approaches. While they are fast, their results are often su…