Computing the free energy of quantum Coulomb gases and molecules via quantum Gibbs sampling
Simon Becker, Cambyse Rouzé, Robert Salzmann
Abstract
We develop a quantum algorithm for estimating the free energy as well as the total Gibbs state of interacting quantum Coulomb gases and molecular systems in dimensions at finite temperature. These systems lie beyond the reach of existing methods due to their singular interactions and infinite-dimensional Hilbert space structure. First, we show that the free energy of the full many-body Hamiltonian can be approximated by that of the same Hamiltonian with a finite-rank low-energy truncation of the interaction, with an explicit error bound polynomial in the particle number. This reduces the problem to a controlled finite-rank perturbation problem. Second, we introduce a quantum Gibbs sampling scheme tailored to this truncated system, based on a class of quantum Markov semigroups. Our main analytical result establishes that the associated generator has a strictly positive spectral gap for every truncation, implying exponential convergence to the target Gibbs state. This provides, to our knowledge, the first rigorous mixing-time guarantee for Gibbs sampling in a Coulomb interacting continuous-variable quantum system. Finally, we give an explicit quantum circuit implementation of the dynamics and derive an end-to-end complexity bound for approximating the free energy and the Gibbs state itself. Our results provide a mathematically rigorous route to quantum algorithms for free energy estimation in interacting quantum systems, without relying on classical approximations such as the Born-Oppenheimer reduction.
AI Impact Assessments
(3 models)Scientific Impact Assessment
Core Contribution
This paper provides the first rigorous quantum algorithm for estimating the free energy and preparing Gibbs states of quantum Coulomb gases and molecular systems in dimensions 2 and 3. The key challenge addressed is that these systems feature singular (Coulomb) interactions and infinite-dimensional Hilbert spaces, placing them beyond the scope of prior quantum Gibbs sampling methods designed for finite-dimensional or bounded-interaction settings.
The approach proceeds in three stages: (1) a Hamiltonian truncation scheme that approximates the full many-body Hamiltonian by restricting interactions to a finite-rank low-energy subspace, with explicit polynomial error bounds; (2) a quantum Gibbs sampling algorithm based on quantum Markov semigroups tailored to the truncated system; and (3) a proof that the associated Lindbladian generator has a strictly positive spectral gap for every truncation level, guaranteeing exponential convergence to the target Gibbs state. The end-to-end complexity for free energy estimation is derived, including explicit qubit counts and circuit depths.
Methodological Rigor
The mathematical rigor is exceptional. The paper systematically builds from functional-analytic foundations:
Potential Impact
Quantum computing for chemistry: This work addresses a fundamental bottleneck in quantum chemistry — computing thermal properties of molecular systems without the Born-Oppenheimer approximation. While most prior quantum algorithms for chemistry treat nuclei classically, this paper provides a fully quantum treatment. This could eventually enable more accurate simulations of systems where nuclear quantum effects matter (e.g., proton transfer, hydrogen bonding dynamics).
Theoretical foundations: The spectral gap result (Theorem 1.4) is, to the authors' knowledge, the first rigorous mixing-time guarantee for Gibbs sampling in Coulomb-interacting continuous-variable quantum systems. This establishes an important theoretical benchmark. The finite-rank perturbation framework for Lindbladians (Section 3.2) is broadly applicable beyond Coulomb systems.
Limitations on practical impact: The spectral gap, while provably positive, is not shown to scale polynomially with in general — only in the weak-coupling regime (). For physically relevant coupling strengths, the gap could be exponentially small, rendering the algorithm inefficient. The authors are transparent about this: "It remains nonetheless an important open question for which parameters the spectral gap can be shown to scale inverse polynomially with the system size."
Timeliness & Relevance
The paper is highly timely, sitting at the intersection of several active research fronts: quantum Gibbs sampling (Chen et al. 2023, Ding-Li-Lin 2025), quantum algorithms for chemistry, and mathematical analysis of quantum Markov semigroups. The companion papers [3,4] by the same authors establish the general infinite-dimensional framework, making this application to Coulomb systems a natural and impactful next step. The drug design and molecular simulation communities have been actively seeking quantum computational advantages; this paper provides rigorous theoretical grounding.
Strengths
1. Mathematical completeness: Full end-to-end analysis from continuous Hamiltonian to qubit circuit, with all error terms tracked.
2. Novel spectral gap proof: The finite-rank perturbation approach to Lindbladian spectral analysis is creative and could become a standard tool.
3. Generality: The framework handles both 2D and 3D Coulomb interactions, magnetic fields, and general coupling patterns.
4. No Born-Oppenheimer approximation: A genuinely quantum treatment of all particles.
Limitations
1. Gap scaling: The central open question — whether the gap scales polynomially in for physically relevant couplings — remains unresolved. Without this, end-to-end efficiency is not guaranteed.
2. Practical constants: The polynomial dependencies on and involve high powers (e.g., for gives ), which may be prohibitive.
3. Comparison to classical methods: No numerical benchmarks or comparisons to classical MCMC for small systems are provided.
4. Weak coupling regime: The uniform gap result (Theorem 3.10) requires , which may not capture the most physically interesting regimes.
Overall Assessment
This is a technically impressive paper that makes a genuine advance in the rigorous foundations of quantum algorithms for continuous-variable interacting systems. The combination of functional analysis, spectral theory, and quantum algorithm design is masterful. While the practical applicability awaits resolution of the gap-scaling question, the theoretical contributions — particularly the spectral gap proof and the truncation framework — are significant and likely to influence subsequent work in quantum Gibbs sampling and quantum chemistry algorithms.
Generated Apr 17, 2026
Comparison History (38)
Paper 1 has higher potential impact due to its methodological rigor and breadth: it provides a mathematically controlled quantum algorithm for free energy and Gibbs-state preparation in singular, continuous-variable Coulomb systems, including explicit truncation error bounds, a proven spectral gap/mixing guarantee, and end-to-end circuit complexity—advances that could influence quantum algorithms, many-body physics, and quantum chemistry. Paper 2 is timely and application-driven for nanoscale materials spectroscopy, but appears more proposal/prediction-oriented and likely narrower in cross-field methodological reach than Paper 1’s foundational algorithmic guarantees.
Paper 2 addresses a fundamental problem in quantum computing and quantum chemistry—computing free energies of Coulomb systems—with rigorous mathematical guarantees that are first-of-their-kind (first mixing-time guarantee for Gibbs sampling in continuous-variable Coulomb systems). It bridges quantum algorithms, mathematical physics, and computational chemistry, offering broader cross-field impact. Paper 1, while practically useful for QEC protocol evaluation, is more of an engineering/infrastructure contribution with narrower scope. Paper 2's theoretical novelty and potential to influence quantum algorithm design for real molecular systems gives it higher scientific impact.
Paper 1 makes a fundamental theoretical contribution by providing the first rigorous quantum algorithm with mixing-time guarantees for Gibbs sampling in Coulomb-interacting continuous-variable quantum systems. It addresses a deep open problem connecting quantum computing, statistical mechanics, and quantum chemistry without relying on classical approximations like Born-Oppenheimer. Paper 2 presents valuable experimental/empirical work on error suppression for dynamic circuits, but is more incremental—optimizing existing dynamical decoupling techniques for a specific setting. Paper 1's breadth of impact across quantum algorithms, mathematical physics, and chemistry, combined with its theoretical novelty, gives it higher long-term scientific impact.
Paper 1 has higher potential impact due to its methodological and conceptual novelty: a rigorous quantum algorithmic framework for free-energy estimation in singular, continuous-variable Coulomb systems (historically hard for both classical and quantum methods). It provides explicit truncation error bounds, provable spectral-gap/mixing guarantees, and end-to-end circuit complexity—foundational results relevant to quantum algorithms, mathematical physics, and computational chemistry. Paper 2 is timely and experimentally relevant, but primarily refines metrological limits and optimal strategies within an existing sensing paradigm, likely yielding more incremental, domain-specific impact.
Paper 1 offers a notably rigorous and novel quantum-algorithmic framework for free-energy estimation in realistic Coulomb-interacting, continuous-variable systems, including explicit truncation error bounds, spectral-gap/mixing-time guarantees, and end-to-end circuit complexity—advances that could influence quantum algorithms, computational chemistry, and many-body physics broadly. Paper 2 is timely and experimentally relevant for Rydberg platforms, but is a platform-specific state-preparation protocol with less evident formal guarantees and narrower cross-field reach. Overall, Paper 1’s methodological rigor and breadth of potential applications suggest higher scientific impact.
Paper 2 presents a fundamentally novel quantum algorithm with rigorous mathematical guarantees for a problem previously beyond reach—computing free energies of Coulomb systems without Born-Oppenheimer approximations. It provides the first mixing-time guarantee for Gibbs sampling in continuous-variable Coulomb systems, with broad implications for quantum chemistry, materials science, and quantum computing theory. Paper 1, while experimentally impressive in demonstrating a room-temperature quantum battery, represents more incremental progress in quantum thermodynamics. Paper 2's methodological contributions (truncation bounds, spectral gap proofs, circuit implementations) have broader cross-field impact and address a more fundamental computational challenge.
Paper 1 addresses a fundamental computational challenge—computing free energies of quantum Coulomb systems—with rigorous mathematical guarantees, providing the first mixing-time bounds for Gibbs sampling in continuous-variable Coulomb systems. It has broad impact across quantum computing, quantum chemistry, and condensed matter physics, with concrete algorithmic advances and end-to-end complexity bounds. Paper 2 presents an interesting reinterpretation of single-particle interference but its claims of unifying diverse phenomena under a measurement-defined framework, while conceptually appealing, are more incremental and interpretive in nature, with narrower methodological advancement.
Paper 1 demonstrates a groundbreaking experimental capability—detecting individual gas molecule collisions with a levitated nanoparticle—with immediate applications in pressure metrology, surface science, and fundamental particle physics. Its experimental proof-of-principle nature, cross-disciplinary relevance (metrology, quantum sensing, particle physics), and practical applicability (primary pressure standards) give it broader near-term impact. Paper 2, while mathematically rigorous and novel in providing mixing-time guarantees for quantum Gibbs sampling of Coulomb systems, addresses a more specialized theoretical problem whose practical impact depends on future fault-tolerant quantum computers.
Paper 1 addresses a fundamental problem in quantum computing—free energy estimation for Coulomb systems—with rigorous mathematical guarantees (spectral gap, mixing time, end-to-end complexity bounds) for continuous-variable quantum systems with singular interactions. This opens new algorithmic territory beyond Born-Oppenheimer approximations, with broad implications for quantum chemistry, materials science, and quantum algorithm theory. Paper 2, while practically valuable for quantum error correction decoding latency, is more narrowly focused on a specific decoder for bivariate bicycle codes, with impact primarily within the QEC community.
Paper 2 presents a fundamental breakthrough in simulating infinite-dimensional, continuous-variable quantum systems with singular Coulomb interactions, bypassing the Born-Oppenheimer approximation. This rigorous methodological innovation has profound implications across quantum chemistry, materials science, and physics. In contrast, Paper 1 offers a valuable but incremental optimization of logical qubit counts for quantum cryptanalysis. Paper 2's broader applicability to foundational scientific discovery and its resolution of long-standing simulation challenges give it a significantly higher potential for widespread scientific impact.
Paper 2 has higher potential impact due to its combination of strong novelty and rigor: it delivers a mathematically controlled reduction from infinite-dimensional, singular Coulomb systems to a finite-rank truncated problem with explicit error bounds, then proves a uniform positive spectral gap (mixing-time guarantee) for a tailored quantum Gibbs sampler—claimed first of its kind for continuous-variable Coulomb interactions. The real-world relevance to molecular thermodynamics/free energies is high, with clear quantum algorithmic complexity and circuit realizations, and broad implications across quantum algorithms, mathematical physics, and quantum chemistry. Paper 1 is promising but appears less broadly transformative and more contingent on physical realizability/scaling in practice.
Paper 2 presents a rigorous quantum algorithm for computing the free energy of interacting quantum Coulomb gases and molecules, providing a direct path to applications in quantum chemistry and materials science. By avoiding standard classical approximations like Born-Oppenheimer and offering explicit error bounds, it promises significant methodological advancement. Paper 1, while interesting for fundamental quantum chaos research, has a narrower scope and fewer immediate cross-disciplinary applications compared to the computational capabilities unlocked by Paper 2.
Paper 2 addresses a critical bottleneck in fault-tolerant quantum computing by providing a comprehensive theoretical framework for logical operations on quantum LDPC codes. By enabling linearly many parallel, constant-depth multi-controlled-Z gates and establishing deep mathematical connections to topology, it directly impacts the scalability of practical quantum computers. While Paper 1 offers excellent rigorous results for quantum simulation, Paper 2's breakthroughs in quantum error correction are likely to have a more immediate and sweeping impact on the foundational architecture of future quantum devices.
Paper 2 demonstrates a counterintuitive experimental result—that decoherence can create genuine quantum interference—which challenges a fundamental paradigm in quantum science. This has broad impact across quantum optics, quantum information, and photonic quantum computing, with immediate practical implications for reducing overhead in quantum technologies. The experimental demonstration on a lithium niobate chip adds tangible real-world applicability. While Paper 1 is mathematically rigorous and addresses an important computational problem, its impact is more specialized within quantum algorithms for chemistry, and its practical utility depends on future fault-tolerant quantum computers.
Paper 1 appears to offer a more foundational and broadly enabling advance: a rigorous quantum algorithmic framework for free-energy estimation in realistic Coulomb-interacting, continuous-variable many-body systems, including truncation error bounds, provable spectral gaps/mixing times, and explicit circuit/complexity estimates. This targets high-impact applications in quantum chemistry and condensed matter and addresses major obstacles (singular interactions, infinite-dimensional Hilbert spaces) with methodological rigor. Paper 2 improves analytical bounds for a specific decoded-quantum-interferometry setting; valuable but narrower in scope and likely less transformative across fields.
Paper 1 tackles a fundamental and historically intractable problem in quantum chemistry and condensed matter physics—simulating interacting Coulomb systems without the Born-Oppenheimer approximation. Its mathematically rigorous approach, explicit bounds, and broad applicability to molecules and gases offer significant advances for quantum algorithm development. In contrast, Paper 2 presents a valuable but narrower advancement in quantum optics for single-photon generation. The broader scope, foundational novelty, and cross-disciplinary implications of Paper 1 indicate a higher potential scientific impact.
Paper 1 proposes a rigorous quantum algorithm to solve a fundamental and broadly applicable problem: computing the free energy of quantum Coulomb gases and molecules. Its mathematical guarantees for an infinite-dimensional, strongly interacting system offer significant advancements for quantum chemistry and materials science. In contrast, Paper 2 presents a small-scale (4-bit) hardware validation of a specific information framework, which has a narrower scope and less transformative potential across multiple disciplines.
Paper 1 presents a pioneering quantum algorithm for computing the free energy of quantum Coulomb gases and molecules, bypassing traditional approximations like the Born-Oppenheimer reduction. Its rigorous mathematical bounds and explicit circuit implementations for continuous-variable systems offer foundational advancements with broad, high-impact applications in quantum chemistry and materials science. Paper 2, while theoretically valuable for spin ensembles, is more specialized in its scope and application.
Paper 1 presents a foundational quantum algorithm for estimating the free energy of quantum Coulomb gases and molecules without relying on the Born-Oppenheimer approximation. This represents a significant theoretical breakthrough in quantum simulation, a flagship application of quantum computing with broad, disruptive implications for quantum chemistry and materials science. While Paper 2 offers valuable advancements in optomechanical cooling for quantum devices, Paper 1 addresses a more universally challenging problem with greater cross-disciplinary impact and fundamental theoretical novelty.
Paper 2 tackles a fundamental and historically challenging problem: computing the free energy of interacting quantum Coulomb gases and molecules without relying on approximations like Born-Oppenheimer. By providing a rigorous quantum algorithm with explicit error bounds and mixing-time guarantees, it has broad, transformative implications for quantum chemistry, materials science, and quantum computing. In contrast, Paper 1 is highly specialized, focusing on optimizing a specific sensing application (quantum thermometry), which, while valuable, offers a narrower scope of impact compared to the foundational algorithmic advances in Paper 2.