Quantum Simulation Programming via Typing

2025-09-22

AI Summary

Existing quantum simulation programming languages rely on low-level representations—such as Pauli strings or explicit circuit descriptions—resulting in poor modeling accessibility and insufficient abstraction for domain scientists in physics, chemistry, and biology. Method: We introduce QBLUE, the first quantum simulation language built directly upon second-quantized Hamiltonians, featuring a novel type system that encodes particle statistics, symmetries, and interactions via quantum types. Crucially, QBLUE treats the quantum computer itself as a quantum system, enabling unified compilation mappings to both digital and analog hardware backends. Contribution/Results: QBLUE significantly enhances modeling intuitiveness and semantic clarity for cross-disciplinary users. We demonstrate its compilation feasibility and execution efficacy across mainstream quantum platforms. By integrating formal typing with high-level physical abstractions, QBLUE establishes a new paradigm for verifiable, high-abstraction quantum simulation programming.

Technology Category

• Machine Learning: Quantum Machine Learning
• Knowledge Representation and Reasoning: Qualitative Reasoning
• Natural Language Processing: Code Generation / Program Synthesis from Natural Language

Application Category

• User Modeling, Personalization and Recommendation: User modeling and simulation for interactive and conversational systems
• Economics, Online Markets and Human Computation: Cost models of using LLMs in production systems
• Semantics and Knowledge: Data modeling to support human-machine intelligence, including LLMs agents, intelligent system behavior, explanations, and user-friendly interactions

Abstract

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.

Problem

• Describing quantum systems using second quantization Hamiltonians
• Enabling cross-platform compatibility for quantum simulation compilation
• Simplifying quantum programming for non-specialist researchers

Innovation

• QBLUE language uses second quantization Hamiltonians
• Novel type system defines states across quantum systems
• Type system enables compilation for digital analog computers