46 citations · 63 across the 9 of their papers we have counts for
3 papers · 1 filter
Fragmentation of Virtual Orbitals for Quantum Computing: Reducing Qubit Requirements through Many-Body Expansion
Federico Zahariev, Vassiliki-Alexandra Glezakou, Mark S. Gordon
We introduce quantum virtual-orbital fragmentation (Q-FVO), a systematic method for reducing the largest active space in correlated quantum-chemistry calculations. The complete occ…
A Verified Compiler for Quantum Simulation
Liyi Li, Fenfen An, Federico Zahariev +3
Hamiltonian simulation is a central application of quantum computing, with significant potential in modeling physical systems and solving complex optimization problems. Existing co…
Quantum Simulation Programming via Typing
Liyi Li, Federico Zahariev, Chandeepa Dissanayake +3
Quantum simulations are designed to model quantum systems, and many compilation frameworks have been developed for executing such simulations on quantum computers. Most compilers l…