quant-ph digest — 2026-05-06
Scored against Yuan's research programme (Y1–Y6):
- Y1 — arXiv:2502.09704 — iterative warm-started QAOA
- Y2 — arXiv:2304.06915 — quasi-binary portfolio QAOA
- Y3 — arXiv:2410.16265 — QAOA DGMVP portfolio (QST 2026)
- Y4 — arXiv:2603.14744 — Grover + ADMM cardinality-constrained BO
- Y5 — arXiv:2510.08292 — GW speed-ups via Gibbs states + Pauli sparsity
- Y6 — arXiv:2510.11213 — PBR test on IBM Heron2
Source
arXiv listing: https://arxiv.org/list/quant-ph/new (86 new + 31 cross = 117 entries)
Coverage: all 117 entries scored. 15 relevant (score ≥ 1); 102 SKIP (score 0, omitted).
Scoring rubric
0–10 on method/scope/conclusion overlap — max wins. HIGH 8–10 · MED 5–7 · LOW 1–4 · SKIP 0.
Highly relevant (score 8–10) — 3 papers
A Quantum Approach to Stochastic Optimization in Insurance Underwriting
- Authors: Mitchell Bordelon, Maurice Garfinkel, Vivek Dixit, Thomas Whitehead, Jenny Holzbauer, Guillermo Mijares Vilarino, Alberto Maldonado Romo, Abhijit Mitra, Vaibhaw Kumar, Jean Utke (Allstate / IBM Quantum)
- arXiv: 2605.01169
- Category: new submission — Quantum Physics (quant-ph)
- Score: 9/10 (HIGH)
- Overlaps with: Y2 (method: constrained QAOA, CVaR, iterative refinement), Y3 (scope: end-to-end portfolio-style QAOA, conclusion: claimed advantage at n≥75), Y4 (method: hybrid quantum-classical decomposition with classical recovery), Y6 (scope: utility-scale IBM Heron experiment, 150 qubits, depth 177)
- Why it matters: First 2026 utility-scale QAOA-style demonstration on IBM Heron for stochastic constrained binary optimization, with claimed quantitative outperformance vs classical heuristics at n≥75. Direct comparator for Y2/Y3 portfolio benchmarks.
The presence of stochastic elements in combinatorial optimization problems makes them particularly challenging, as such problems quickly become intractable for classical computers even at relatively small sizes. In this work, we propose a novel quantum-classical hybrid scheme for solving a class of stochastic optimization problems known as chance-constrained knapsack problems, in which item weights follow probability distributions and constraints may be violated within a specified risk tolerance. Our method employs knapsack-specific QAOA-based circuits to generate samples which, when combined with a self-consistent classical recovery scheme introduced in this work, produce high-quality solutions. Experiments carried out on IBM Heron processors, using circuits with depths up to 177 and comprising 3443 gates acting on as many as 150 qubits, yield solutions that indicate improvement over classical optimization schemes.
Constraint-Preserving XY-Mixers under Trotterized Adiabatic Evolution
- Authors: Abhishek Awasthi, Maximilian Hess, Salome Lomadze, Francesco Bär, Christian Biefel (BASF / Infineon / SAP / QUTAC)
- arXiv: 2605.02465
- Category: new submission — Quantum Physics (quant-ph)
- Score: 9/10 (HIGH)
- Overlaps with: Y2 (method: constraint-preserving mixers for portfolio; conclusion: tensions Y2's hard-mixer advantage claim under realistic Trotterization for single-global-constraint problems), Y3 (scope: portfolio benchmark), Y4 (scope: cardinality-constrained binary optimization)
- Why it matters: Inverts QAOA folklore — under Trotterization, naive XY-mixers lose to penalty-X mixers on portfolio's single global k-hot constraint. Direct method-level conversation partner for Y2's quasi-binary hard-mixer approach.
Constraint handling is a central challenge for quantum algorithms applied to combinatorial optimization. Standard penalty-based approaches increase problem size, distort energy landscapes, and often degrade performance. Constraint-preserving mixers, such as XY-mixers, restrict quantum evolution to feasible subspaces, but their implementation on gate-based hardware requires Trotterization, which introduces approximation errors. In this work, we systematically investigate the interplay between constraint-preserving XY-mixers and Trotterized Adiabatic Evolution (TAE)… For problems with a single global equality constraint spanning all variables, Trotter errors significantly impair XY-mixer performance, making standard Pauli-X mixers more robust under realistic implementations. In contrast, for problems whose constraints decompose into multiple disjoint local blocks, XY-mixers outperform X-mixers by several orders of magnitude even under Trotterized evolution.
Structured Parameterization and Non-Stabilizerness in Hypergraph QAOA
- Authors: Evan Camilleri, André Xuereb, Tony J. G. Apollaro, Mirko Consiglio (University of Malta)
- arXiv: 2605.01620
- Category: new submission — Quantum Physics (quant-ph)
- Score: 8/10 (HIGH)
- Overlaps with: Y1 (method: QAOA parameter-space structure to reduce optimization cost), Y2/Y3 (scope: QAOA parameterization for combinatorial optimization)
- Why it matters: Introduces a new QAOA parameterization (kA-QAOA) that aggregates angles by interaction order. Matches MA-QAOA's AR with substantially fewer function evaluations and a lower stabilizer-Rényi-entropy ("magic") barrier. Complementary to Y1's warm-start scheme.
The quantum approximate optimization algorithm (QAOA) has emerged as a promising candidate for demonstrating quantum advantage on noisy intermediate-scale quantum (NISQ) devices. While various QAOA parameterization schemes exist, ranging from the original single-angle approach to the more expressive multi-angle quantum approximate optimization algorithm (MA-QAOA) and automorphic-angle quantum approximate optimization algorithm (AA-QAOA), each presents distinct trade-offs between expressiveness and classical optimization complexity. In this work, we introduce the k-interaction-angle quantum approximate optimization algorithm (kA-QAOA), a parameterization scheme that groups cost function terms by their k-body interaction order, providing a natural middle ground between parameter efficiency and solution quality.
Moderately relevant (score 5–7) — 6 papers
Quantum Tilted Loss in Variational Optimization: Theory and Applications
- Authors: Yixian Qiu, Josep Lumbreras, Xiufan Li, Patrick Rebentrost
- arXiv: 2605.02850
- Category: new submission — Quantum Physics (quant-ph)
- Score: 6/10 (MED)
- Overlaps with: Y2 (method: CVaR-QAOA generalization), Y3 (method: trainability remedies for portfolio QAOA)
- Why it matters: Generalizes CVaR and Gibbs reweighting under one operator-level "tilted loss" framework, with explicit trainability-vs-estimability trade-offs. Directly relevant to Y2's CVaR-QAOA design choices.
Variational quantum algorithms (VQAs) are leading strategies for using near-term quantum devices, with a well-studied bottleneck being their trainability. Standard expectation-value objectives with expressive circuits frequently encounter barren plateaus in the optimization landscape during training. To address this challenge, we introduce the Quantum Tilted Loss (QTL), an operator-level generalization of classical exponential tilting designed to systematically reshape the optimization landscape. By tuning a single continuous parameter, QTL can amplify gradient signals in structured settings while preserving the problem's true global minima. We provide a theoretical foundation that unifies standard expectation minimization with popular tunable heuristics, such as Conditional Value-at-Risk (CVaR) and Gibbs formulations.
Many Hamiltonians Are Sparsifiable
- Authors: Arpon Basu, Joshua Brakensiek, Aaron Putterman
- arXiv: 2605.02211
- Category: new submission — Quantum Physics (quant-ph); cs.DS
- Score: 6/10 (MED)
- Overlaps with: Y5 (method: Pauli sparsity / Hamiltonian sparsification, application to Quantum Max-Cut)
- Why it matters: Refutes Aharonov–Zhou conjecture by showing many Hamiltonians (Pauli-string, random-rank, Quantum SAT) are sparsifiable to ≪ nr terms. Direct relevance to Y5's Pauli-sparsity-based Gibbs-state speedups.
We study the problem of Hamiltonian sparsification: given a parameter ε ∈ (0,1) and an n-qubit Hamiltonian H which is the sum of r-local positive semi-definite (PSD) terms H_1, …, H_m, our goal is to compute a sparse set L ⊆ [m], along with weights w: L → ℝ_{≥0} such that for every state |ψ⟩, Σ w(i) ⟨ψ|H_i|ψ⟩ ∈ (1 ± ε) Σ ⟨ψ|H_i|ψ⟩. We show that many Hamiltonians indeed are sparsifiable to a number of terms much smaller than n^r, including: (a) Hamiltonians where each term is an r-local Pauli string, (b) Hamiltonians where each term is an r-local random operator of rank R, for R ≥ 2^{r-1}+1, and (c) Hamiltonians where each term is an arbitrary r-local operator of rank ≥ 2^r −1 (Quantum SAT). Our results find applications to better (semi-)streaming algorithms for quantum Max-Cut.
Sample-Based Quantum Diagonalization with Amplitude Amplification
- Authors: Nina Stockinger, Ludwig Nützel, Michael J. Hartmann
- arXiv: 2605.02565
- Category: new submission — Quantum Physics (quant-ph)
- Score: 5/10 (MED)
- Overlaps with: Y4 (method: amplitude amplification for sampling rare bitstrings, structured feasible space)
- Why it matters: Combines SQD with amplitude amplification to suppress already-sampled bitstrings, achieving 100× total query reduction with provable quadratic advantage on exponentially-decaying distributions. Same Grover-style structure as Y4.
Sample-based quantum diagonalization (SQD) has emerged as a promising approach to compute ground and excited states. The method classically diagonalizes a Hamiltonian in a subspace spanned by samples obtained from a quantum computer. However, SQD suffers from a fundamental sampling problem, as some basis states required for a targeted accuracy may only be sampled extremely rarely. To alleviate this, we introduce SQD-AA, which combines SQD with amplitude amplification. SQD-AA uses AA to sequentially reduce probabilities of already measured bitstrings, making the observation of new ones more likely. We observe a reduction in total query complexity of more than a factor 100 for algebraically and exponentially decaying model distributions, and analytically show a quadratic advantage for the latter.
Accelerating Noisy Variational Quantum Algorithms with Physics-Informed Denoising Networks
- Authors: Jie Liu, Xin Wang
- arXiv: 2605.02066
- Category: new submission — quant-ph; cond-mat.dis-nn; physics.comp-ph
- Score: 6/10 (MED)
- Overlaps with: Y1 (scope: QAOA on 3-regular graphs), Y3 (method: noise-mitigation for QAOA — directly bears on Y3's thermal-relaxation conclusion)
- Why it matters: Benchmarked on QAOA for 3-regular graphs (Y1's exact problem class), Sherrington-Kirkpatrick, and TFIM. PIDN reduces ZNE circuit-execution cost by 4-6×; relevant to Y3's noise-regime crossover analysis.
Variational quantum algorithms are promising for near-term quantum computing, but are severely limited by hardware noise and the substantial circuit overhead required for error mitigation methods such as Zero-Noise Extrapolation (ZNE). We propose a Physics-Informed Denoising Network (PIDN) that reduces the cost of ZNE by learning a surrogate model of its optimization dynamics… We benchmark on QAOA for 3-regular graphs, Sherrington-Kirkpatrick, and transverse-field Ising models, as well as VQE for LiH, BeH₂ and H₂O. Across all tasks, PIDN attains performance comparable to ZNE, while reducing the number of circuit executions by a factor of approximately 4 to 6.
Impact-Driven Quantum Decomposition for Traffic Zone Partitioning: A Hybrid Gate-Model Framework
- Authors: Ruimin Ke, Talha Azfar, Kaicong Huang, Shuyang Li
- arXiv: 2605.01127
- Category: new submission — quant-ph; cs.ET
- Score: 6/10 (MED)
- Overlaps with: Y4 (method: hybrid classical-quantum decomposition for QUBO), Y3 (scope: NISQ binary optimization on IBM hardware)
- Why it matters: Impact-driven SubQUBO decomposition closely parallels Y4's ADMM-style classical-quantum hybrid; tested on IBM Quantum System One.
Partitioning transportation networks into balanced and spatially coherent traffic zones is a fundamental yet computationally challenging task. The resulting optimization problem can be formulated as a Quadratic Unconstrained Binary Optimization (QUBO) model… This paper proposes an impact-driven hybrid quantum-classical optimization framework that bridges transportation-scale optimization models and practical gate-based quantum processors. Instead of static geographic decomposition, the method estimates the energy impact of decision variables and selectively assigns quantum computation to influential subproblems while a classical coordination loop maintains global feasibility. The framework is implemented using the Iskay optimizer and evaluated on the IBM Quantum System One backend.
Universality of Quantum Gates in Particle and Symmetry Constrained Subspaces
- Authors: Andreas Stergiou, Nicolas PD Sawaya
- arXiv: 2605.00979
- Category: new submission — quant-ph; cond-mat.str-el; hep-th
- Score: 5/10 (MED)
- Overlaps with: Y2 (method: constraint-preserving subspace circuits)
- Why it matters: Lie-algebraic proof that hardware-efficient gates are universal within particle-number / spin-conserved subspaces — formalizes the algebraic underpinnings of constraint-preserving ansatze used in Y2.
Simulating physical systems on near-term quantum computers often requires preparing states within constrained subspaces, like those with fixed particle number or spin. We use Lie algebraic techniques to prove that hardware-efficient gates are universal for state preparation in these subspaces. The key mechanism is Pauli Z dressing: commutators of overlapping gates produce Pauli Z operators on shared qubits, acting as spectator projectors that decompose multi-plane rotations into single-plane generators spanning the full so(w) algebra, where w is the dimension of the constrained subspace, thereby guaranteeing universality for real state preparation. Adding independent complex phases extends this to su(w).
Tangential (score 1–4) — 6 papers
- 2605.01438 · score 3/10 · Spectral Minimax Direct Fidelity Estimation for Generic Target States — uses SDP for fidelity estimation; Y5-tangential method but very different problem class.
- 2605.01319 · score 3/10 · Barren Plateaus as Destructive Interference: A Diagnostic Framework and Implications for Structured Ansatzes — barren-plateau diagnostic on TFIM with HEA vs HVA; Y2/Y3 trainability adjacent.
- 2605.02494 · score 3/10 · A Critical Assessment of the Sample-Based Quantum Diagonalization for Heisenberg and Hubbard Models — companion to 2605.02565; SQD scaling pessimism for many-body lattices.
- 2605.02051 · score 2/10 · Sub-Cubic Quantum Gate Synthesis via Stochastic Commutator Decomposition — Solovay-Kitaev with Gibbs-sampled commutator factors; gate-synthesis only.
- 2605.00981 · score 2/10 · The minimal example of quantum network Bell nonlocality — foundations adjacent to Y6 but on triangle-network nonlocality, not PBR.
- 2605.02877 · score 1/10 · Note on Strong Quantum Markov Properties — Gibbs-state Markov property; touches Y5's Gibbs-state machinery only at notation level.
Summary table
| Score | arXiv ID | Short title | Overlaps | arXiv |
|---|---|---|---|---|
| 9 | 2605.01169 | QAOA chance-constrained knapsack on IBM Heron (150 qubits) | Y2, Y3, Y4, Y6 | link |
| 9 | 2605.02465 | Constraint-preserving XY-mixers under TAE | Y2, Y3, Y4 | link |
| 8 | 2605.01620 | kA-QAOA: interaction-order parameterization on hypergraphs | Y1, Y2, Y3 | link |
| 6 | 2605.02850 | Quantum Tilted Loss (CVaR/Gibbs generalization) | Y2, Y3 | link |
| 6 | 2605.02211 | Many Hamiltonians Are Sparsifiable | Y5 | link |
| 6 | 2605.02066 | PIDN denoising for VQA (QAOA on 3-regular, SK, TFIM) | Y1, Y3 | link |
| 6 | 2605.01127 | Impact-driven QUBO decomposition for traffic zones | Y3, Y4 | link |
| 5 | 2605.02565 | Sample-Based Quantum Diagonalization with Amplitude Amplification | Y4 | link |
| 5 | 2605.00979 | Universality of gates in constrained subspaces | Y2 | link |
| 3 | 2605.01438 | Spectral minimax SDP for direct fidelity estimation | Y5 | link |
| 3 | 2605.01319 | Barren plateaus as destructive interference (TFIM) | Y2, Y3 | link |
| 3 | 2605.02494 | Critical assessment of SQD on Heisenberg/Hubbard | Y4 | link |
| 2 | 2605.02051 | Sub-cubic Solovay-Kitaev with Gibbs-sampled commutators | Y5 | link |
| 2 | 2605.00981 | Minimal triangle-network Bell nonlocality | Y6 | link |
| 1 | 2605.02877 | Strong quantum Markov properties of Gibbs states | Y5 | link |