Efficient Quantum Monte Carlo through Cluster Expansions
Abstract
The sign problem remains a major obstacle to extending the success of Monte Carlo methods to generic quantum many-body systems. A powerful alternative relies on cluster expansions, which provide convergent representations of free energies and related quantities, with applications ranging from tensor network contractions to quantum dynamics and circuits. Within their convergence regime, these expansions often yield deterministic polynomial-time algorithms. However, such methods require exhaustive enumeration of connected clusters, leading to a computational overhead of (Nε−1)𝒪(logΔ), where N is the system size, ε the desired precision, and Δ the interaction-graph degree. This becomes particularly severe in long-range systems, where Δ≡ N, resulting in quasi-polynomial runtimes. Here, we introduce a Markov chain algorithm that samples cluster expansions directly in the space of connected clusters, replacing deterministic enumeration by Monte Carlo sampling. Because sampling occurs in an abstract cluster space rather than a physical configuration space, the conventional exponential sign problem is absent within the convergence regime. For general polymer models, we establish an FPRAS with runtime 𝒪̃(N4ε−3). For quantum partition functions at temperatures β≤βsampling≡𝒪(1), this improves to 𝒪̃(N3+1/Dε−3), where D is the lattice dimension. The framework directly applies to long-range quantum systems with interactions ∝1/rα, including $2$-local models with α>2D.
Related
- Efficient measurement schemes for the Monte Carlo projective quantum eigensolver
- SmoQyElPhQMC.jl: An open-source Julia package for efficient and scalable quantum Monte Carlo simulations of electron-phonon coupled models
- Efficient Non-Uniform Quantum Hermite Transform through Adaptive Sampling
- The Young-E(3) Tensor Product Decomposition for Rotation and Permutation Equivariant Cluster Expansions
- Benchmarking average atom potentials derived from atomic cluster expansions
BibTeX
@misc{sanchezsegovia2026efficient,
title = {{Efficient Quantum Monte Carlo through Cluster Expansions}},
author = {Jorge Sánchez-Segovia and Álvaro M. Alhambra},
howpublished = {arXiv},
year = {2026},
month = oct,
doi = {10.48550/arxiv.2610.03893},
eprint = {2610.03893},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2610.03893},
note = {CC BY 4.0},
}
RIS
TY - UNPB
TI - Efficient Quantum Monte Carlo through Cluster Expansions
AU - Jorge Sánchez-Segovia
AU - Álvaro M. Alhambra
PY - 2026
DA - 2026/10/02
PB - arXiv
DO - 10.48550/arxiv.2610.03893
UR - https://arxiv.org/abs/2610.03893
AB - The sign problem remains a major obstacle to extending the success of Monte Carlo methods to generic quantum many-body systems. A powerful alternative relies on cluster expansions, which provide convergent representations of free energies and related quantities, with applications ranging from tensor network contractions to quantum dynamics and circuits. Within their convergence regime, these expansions often yield deterministic polynomial-time algorithms. However, such methods require exhaustive enumeration of connected clusters, leading to a computational overhead of (Nε^−1)^𝒪(logΔ), where N is the system size, ε the desired precision, and Δ the interaction-graph degree. This becomes particularly severe in long-range systems, where Δ≡ N, resulting in quasi-polynomial runtimes. Here, we introduce a Markov chain algorithm that samples cluster expansions directly in the space of connected clusters, replacing deterministic enumeration by Monte Carlo sampling. Because sampling occurs in an abstract cluster space rather than a physical configuration space, the conventional exponential sign problem is absent within the convergence regime. For general polymer models, we establish an FPRAS with runtime 𝒪̃(N^4ε^−3). For quantum partition functions at temperatures β≤β_sampling≡𝒪(1), this improves to 𝒪̃(N^3+1/Dε^−3), where D is the lattice dimension. The framework directly applies to long-range quantum systems with interactions ∝1/r^α, including $2$-local models with α>2D.
ER -