3 papers
quant-ph2025
Fragmentation of Virtual Orbitals for Quantum Computing: Reducing Qubit Requirements through Many-Body Expansion
Federico Zahariev, Mark S. Gordon, Vassiliki-Alexandra Glezakou
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…
cs.PL2025
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…
quant-ph2025
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…