Quantum Simulation Programming via Typing
Fuente:
arXiv
Saved in:
| Main Authors: | , , , , , |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866918147798335488 |
|---|---|
| author | Li, Liyi Zahariev, Federico Dissanayake, Chandeepa Swanepoel, Jae Sabry, Amr Gordon, Mark S. |
| author_facet | Li, Liyi Zahariev, Federico Dissanayake, Chandeepa Swanepoel, Jae Sabry, Amr Gordon, Mark S. |
| contents | Quantum simulations are designed to model quantum systems, and many compilation frameworks have been developed for executing such simulations on quantum computers. Most compilers leverage the capabilities of digital and analog quantum computers by representing quantum particle systems with Pauli strings or digital quantum circuits, making it challenging for users in physics, chemistry, and biology to program simulations effectively. QBLUE is proposed as the first programming language for describing the behaviors of quantum systems in terms of second quantization Hamiltonians. Within QBLUE, a novel type system is proposed to clearly define states across different quantum systems and treat quantum computers as quantum particle systems of specific types. The type system is compatible with the compilation of quantum simulations expressed in QBLUE for digital and analog quantum computers. With QBLUE, users can specify the desired quantum particle system and model the system on quantum computers. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2509_17343 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Quantum Simulation Programming via Typing Li, Liyi Zahariev, Federico Dissanayake, Chandeepa Swanepoel, Jae Sabry, Amr Gordon, Mark S. Quantum Physics Programming Languages Quantum simulations are designed to model quantum systems, and many compilation frameworks have been developed for executing such simulations on quantum computers. Most compilers leverage the capabilities of digital and analog quantum computers by representing quantum particle systems with Pauli strings or digital quantum circuits, making it challenging for users in physics, chemistry, and biology to program simulations effectively. QBLUE is proposed as the first programming language for describing the behaviors of quantum systems in terms of second quantization Hamiltonians. Within QBLUE, a novel type system is proposed to clearly define states across different quantum systems and treat quantum computers as quantum particle systems of specific types. The type system is compatible with the compilation of quantum simulations expressed in QBLUE for digital and analog quantum computers. With QBLUE, users can specify the desired quantum particle system and model the system on quantum computers. |
| title | Quantum Simulation Programming via Typing |
| topic | Quantum Physics Programming Languages |
| url | https://arxiv.org/abs/2509.17343 |