Fast Quantum Algorithms for Learning Linear Threshold Functions
quant-ph
Submitted: 2026-09-30
Updated: 2026-10-05
Comments: v2: In section 3, new optimal lower bound. Small improvements in the presentation
License: http://creativecommons.org/licenses/by/4.0/
The gist: Linear threshold functions are f w,θ(x)= sign(x,w-θ), where the weight vector w in R n is a unit vector, θ in R is a threshold, and typically x in R n or x in-1,1 n.
Terminology
Abstract
Linear threshold functions are f w,θ(x)= sign(x,w-θ), where the weight vector w in R n is a unit vector, θ in R is a threshold, and typically x in R n or x in-1,1 n. When θ=0, the LTF is called homogeneous, and we write f w:=f w,0. Such functions are among the most important objects in machine learning, since they serve to linearly discriminate positive and negative examples. We give three positive results about learning LTFs: 1. Suppose we can make real-domain queries, meaning we can compute f w,θ(x) at any x in R n of our choice. We give a quantum algorithm that learns f w,θ up to Euclidean error ε using O((n/ε)) membership queries and (n) other gates. Then we have also learned f w,θ up to error O(ε) when x is Gaussian. Classical algorithms need Ω(n (1/ε)) queries. 2. A homogeneous LTF f w on domain-1,1 n where w has only k nonzero entries of the same value, is the Majority function on the support of w. Belovs gave a bounded-error quantum algorithm that identifies the hidden support exactly (and hence learns f w) using O(k 1/4) queries. We give an exponential improvement, using O(k) queries. 3. Suppose we have a unitary U that can produce (discretized) quantum examples under Gaussian measure, corresponding to integral x sqrt γ n(x) x f w(x) dx. This is a weaker access model than membership queries. We give a quantum algorithm based on the efficient Hermite transform of Jain et al. to learn homogeneous LTFs f w with error ε under the Gaussian distribution, using O(n 1/4/sqrtε) applications of U and U and (n 2/ε 4) other gates.
Sources
- Active and passive learning of linear separators under log-concave distributions
- Quantum algorithms and lower bounds for convex optimization
- A new quantum ripple-carry addition circuit
- Contributions of Issai Schur to Analysis
- A Brief Introduction to Quantum Query Complexity
- Efficient Quantum Hermite Transform
- Low-depth quantum symmetrization
- Provable Advantage in Quantum PAC Learning
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