Improved Upper and Lower Bounds for Quantum Convex-Body Volume Estimation
quant-ph, cs.CG, cs.DS
Submitted: 2026-10-04
Updated: 2026-10-04
License: http://creativecommons.org/licenses/by/4.0/
The gist: Estimating the volume of a high-dimensional convex body is a fundamental problem in theoretical computer science.
Abstract
Estimating the volume of a high-dimensional convex body is a fundamental problem in theoretical computer science. Given a quantum membership oracle for a convex body K R d, we show that estimating vol(K) to relative error epsilon takes O(d 5/2+d 3/2/epsilon) queries. This improves the previous quantum upper bound O(d 3+d 9/4/epsilon) of Chakrabarti et al. (ACM TQC 2023) and Cornelissen--Hamoudi (SODA 2023), and achieves a larger quantum speedup over the currently best classical upper bound O(d 7/2+d 3/epsilon 2) of Jia et al. (JACM 2026). Our quantum algorithm combines two new ingredients: an input-dependent effective spectral-gap analysis of quantum walks based on uniform classical warm-start mixing bounds, and a single quantum estimator for products of normalizer ratios in simulated annealing based on classical bridge sampling. We also prove an Ω(d) quantum query lower bound for constant relative error, improving the previous Ω(sqrt d) lower bound.
Sources
- Improved quantum volume estimation with transducers and amortized quantum walks
- Creating superpositions that correspond to efficiently integrable probability distributions
- Optimizing Quantum Circuits for Arithmetic
- A Slightly Improved Bound for the KLS Constant
- Quantum measurements and the Abelian Stabilizer Problem
- The KLS constant is $O(\log^{1/4} n)$
- Quantum Speedups for Log-Concave Sampling from Local Structure
- Provable Quantum-Classical Separation for Continuous Gibbs Sampling
- A Nearly Quadratic Lower Bound for Linear Optimization over Convex Bodies in the Membership Oracle Model
- Hit-and-Run Mixes as Fast as the Ball Walk
Related papers
- Reconquering Bell sampling on qudits: stabilizer learning and testing, quantum pseudorandomness bounds, and more
- Encrypted clones can leak: Classification of informative subsets in Quantum Encrypted Cloning
- Polynomial-time classical and quantum simulation of quantum impurity models
- A quasiparticle-protected superconducting qubit
- Theory of quantum-enhanced interferometry with general Markovian light sources
- A convergent hierarchy of spectral gap certificates for qubit Hamiltonians