Qompiler: A Traceable Quantum Circuit Synthesizer for Arbitrary Hamiltonians

We present a quantum compiler framework that bridges the gap between physics modeling and quantum software development. At the core of this framework is a versatile quantum circuit synthesizer capable of decomposing arbitrary Hamiltonians into quantum circuits, represented using a platform-independent B-Tree-based intermediate representation. The B-Tree structure encodes information for gate lineage, enabling detailed tracing information of quantum circuit gates and facilitating circuit verification. The intermediate representation serves as a universal, hardware-agnostic carrier of compiled code, allowing it to be readily rendered on most quantum hardware backends and transpiled into other quantum circuit languages. We demonstrate rendering the intermediate representation into executable quantum circuits in Qiskit and Cirq. We can also transpile the intermediate representation into OpenQASM for broader compatibility.