Double Localization for Quantum Gibbs Sampler Gaps: From an Abstract Framework to Finite-Group Models
Abstract
We introduce double localization, a framework for proving spectral gaps of quantum Gibbs samplers through two complementary operations: geometric localization, which selects updates supported in small spatial regions, and interface localization, which focuses on a model-defined subspace of observables while remaining geometrically global. Our abstract gap theorem combines a global bound on this subspace, called the interface, with local quantum gap estimates under quantitative coupling and geometric assembly conditions. The resulting explicit lower bound controls the gap of the full dynamics without requiring the interface to be invariant under the generator. This separation allows global estimates, including classical comparison, to be combined with local control of the remaining quantum directions. We apply the framework to Hamiltonians built from the vertex terms of Kitaev's finite-group quantum double construction, without plaquette terms, on finite simple three-regular graphs of girth at least six. For the specified local Davies dynamics, we prove an unconditional spectral-gap lower bound by a positive constant independent of graph size for every fixed nontrivial finite group and each fixed inverse temperature β with 0≤βJ<log(5/3), where J>0 is the coupling strength. For the smallest non-Abelian group S3, double localization yields a positive lower bound uniform in both graph size and the entire interval 0≤βJ≤log 3, providing a guarantee that does not follow directly from existing results. This demonstrates how model-specific finite calculations can extend spectral-gap guarantees for the full quantum dynamics.
Related
- A polynomial-time classical sampler for noisy quantum circuits from statistical mechanics
- Sparse defect localization - A Periodic Empirical Operator Framework for Inverse Scattering and Structural Health Monitoring
- Localization landscape in non-Hermitian and Floquet quantum systems
- Spectral Criterion for Disorder-Free Localization of Quantum Walks on Hypercube: QBN Approach
- Quantum Mpemba effect from Stark localization
BibTeX
@misc{hayakawa2026double,
title = {{Double Localization for Quantum Gibbs Sampler Gaps: From an Abstract Framework to Finite-Group Models}},
author = {Ryu Hayakawa and Angus Southwell and Caesnan M. G. Leditto and Kuo-Chin Chen and Min-Hsiu Hsieh},
howpublished = {arXiv},
year = {2026},
month = sep,
doi = {10.48550/arxiv.2609.39802},
eprint = {2609.39802},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2609.39802},
}
RIS
TY - UNPB
TI - Double Localization for Quantum Gibbs Sampler Gaps: From an Abstract Framework to Finite-Group Models
AU - Ryu Hayakawa
AU - Angus Southwell
AU - Caesnan M. G. Leditto
AU - Kuo-Chin Chen
AU - Min-Hsiu Hsieh
PY - 2026
DA - 2026/09/30
PB - arXiv
DO - 10.48550/arxiv.2609.39802
UR - https://arxiv.org/abs/2609.39802
AB - We introduce double localization, a framework for proving spectral gaps of quantum Gibbs samplers through two complementary operations: geometric localization, which selects updates supported in small spatial regions, and interface localization, which focuses on a model-defined subspace of observables while remaining geometrically global. Our abstract gap theorem combines a global bound on this subspace, called the interface, with local quantum gap estimates under quantitative coupling and geometric assembly conditions. The resulting explicit lower bound controls the gap of the full dynamics without requiring the interface to be invariant under the generator. This separation allows global estimates, including classical comparison, to be combined with local control of the remaining quantum directions. We apply the framework to Hamiltonians built from the vertex terms of Kitaev's finite-group quantum double construction, without plaquette terms, on finite simple three-regular graphs of girth at least six. For the specified local Davies dynamics, we prove an unconditional spectral-gap lower bound by a positive constant independent of graph size for every fixed nontrivial finite group and each fixed inverse temperature β with 0≤βJ<log(5/3), where J>0 is the coupling strength. For the smallest non-Abelian group S_3, double localization yields a positive lower bound uniform in both graph size and the entire interval 0≤βJ≤log 3, providing a guarantee that does not follow directly from existing results. This demonstrates how model-specific finite calculations can extend spectral-gap guarantees for the full quantum dynamics.
ER -