Scholarlink

<p>Quantum annealers natively minimize quadratic unconstrained binary optimization (QUBO) problems, yet faithfully compiling continuous convex objectives into discrete binary forms with formal guarantees remains challenging. We present a complete, algebraically verifiable pipeline for training a linear squared-hinge support vector machine on quantum annealing hardware. The construction comprises four stages with rigorous justification: (i) an exact epigraph reformulation eliminating the hinge nonlinearity, (ii) equality conversion via surplus variables with a quadratic penalty whose exactness on the finite binary domain is formally established, (iii) closed-form QUBO coefficients and a provably energy-preserving Ising mapping, and (iv) a moment-based three-component decoder that reconstructs continuous parameters from noisy annealer samples using empirical first- and second-order statistics. We execute this pipeline end-to-end on D-Wave Advantage systems and evaluate under a rigorous protocol with 30 stratified splits, bootstrap confidence intervals, paired tests, and effect sizes. The feature-wise solver achieves 87–89% test accuracy on the Iris benchmark, competitive with classical baselines at this scale. We contribute a fully auditable reduction from convex SVM training to Ising optimization rather than claiming quantum advantage, and explicitly characterize limitations from discretization, embedding overhead, and feature-wise decomposition.</p>

错误：搜索内容不能为空，请输入英文关键词
错误：关键词超出字数限制，请精简
高级检索

Training squared-hinge support vector machines by an explicit QUBO–Ising construction with quantum-annealing execution

  • 期刊论文

  • 出版模式：

    开放获取

  • 发表日期：

    2026年5月31日

查看全文
  • Zonglin Yang,
  • Jie Zhou,
  • Xiaohui Yang,
  • Huilan Ma,
  • Jiahao Li

摘要

Quantum annealers natively minimize quadratic unconstrained binary optimization (QUBO) problems, yet faithfully compiling continuous convex objectives into discrete binary forms with formal guarantees remains challenging. We present a complete, algebraically verifiable pipeline for training a linear squared-hinge support vector machine on quantum annealing hardware. The construction comprises four stages with rigorous justification: (i) an exact epigraph reformulation eliminating the hinge nonlinearity, (ii) equality conversion via surplus variables with a quadratic penalty whose exactness on the finite binary domain is formally established, (iii) closed-form QUBO coefficients and a provably energy-preserving Ising mapping, and (iv) a moment-based three-component decoder that reconstructs continuous parameters from noisy annealer samples using empirical first- and second-order statistics. We execute this pipeline end-to-end on D-Wave Advantage systems and evaluate under a rigorous protocol with 30 stratified splits, bootstrap confidence intervals, paired tests, and effect sizes. The feature-wise solver achieves 87–89% test accuracy on the Iris benchmark, competitive with classical baselines at this scale. We contribute a fully auditable reduction from convex SVM training to Ising optimization rather than claiming quantum advantage, and explicitly characterize limitations from discretization, embedding overhead, and feature-wise decomposition.