pith. sign in

arxiv: 2605.17623 · v1 · pith:IEVGHJR3new · submitted 2026-05-17 · 🪐 quant-ph · math.OC· q-fin.PM

Where the Quantum Lives in D-Wave Hybrid Portfolio Optimization

Pith reviewed 2026-05-20 12:22 UTC · model grok-4.3

classification 🪐 quant-ph math.OCq-fin.PM
keywords hybrid quantum-classical optimizationportfolio optimizationconstraint-native solverspenalty encodingmean-variance optimizationquantum contribution auditdeterminism in solvers
0
0 comments X

The pith

A hybrid quantum-classical portfolio optimizer derives its performance on constrained problems mostly from classical decomposition rather than quantum sampling.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper audits the actual quantum contribution inside a hybrid solver applied to cardinality-constrained mean-variance-turnover portfolio problems. It establishes that the solver reaches solutions matching those proven optimal by a classical mixed-integer benchmark on every instance where that benchmark finishes, yet the quantum processing unit receives only a small fraction of the allotted wall-clock time. The great majority of the effort occurs in classical steps that decompose the problem, assemble subproblems, and reassemble feasible solutions. Two further structural findings appear: penalty encodings of the cardinality constraint create a dense rank-one term that fully connects the logical graph regardless of the original covariance sparsity, and the constraint-native path returns exactly the same solution for every tested time budget and every repeated call. These observations together locate the reported advantage inside the classical pipeline.

Core claim

On cardinality-constrained mean-variance-turnover portfolio instances ranging from 10 to 640 assets, the constraint-native hybrid service reproduces the proven optima of a classical mixed-integer quadratic programming anchor on all instances where that anchor reaches proven optimality, while the quantum processing unit is accessed for only a negligible share of the total 5-second wall-clock budget. The remainder of the computation consists of classical decomposition, subproblem assembly, and feasibility-aware reassembly. Encoding the cardinality constraint through a penalty term adds a dense rank-one update that renders the logical graph fully connected irrespective of the original problem’s

What carries the argument

The constraint-native hybrid interface, which embeds constraints directly into the solver rather than converting them to penalty terms, thereby preserving sparsity and enabling a clean separation between classical pipeline steps and the small quantum contribution.

If this is right

  • Penalty-encoded paths lose the intended density benchmark axis because the rank-one cardinality term forces full connectivity.
  • The constraint-native service produces identical solutions at every wall-clock budget from 5 to 300 seconds and across repeated calls.
  • Hybrid performance claims on this problem class require explicit reporting of the classical-versus-quantum time split.
  • Direct comparisons against exact classical solvers and simulated annealing isolate the source of any reported advantage.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • Audits that separate classical pipeline time from quantum access time could be applied to other hybrid solvers used in finance and combinatorial optimization.
  • The observed determinism suggests the service may be driven by fixed classical heuristics rather than stochastic sampling, a distinction worth testing on different problem classes.
  • Benchmark design for quantum advantage should treat constraint-native and penalty-encoded routes as separate methodological families rather than interchangeable.

Load-bearing premise

The instances on which the classical benchmark proves optimality are representative of the full test collection and the fixed wall-clock budget measures practical performance without favoring any solver’s internal heuristics.

What would settle it

A larger collection of instances or a different time budget in which the quantum processing unit time fraction rises substantially while the service still matches or improves upon the classical benchmark solutions would indicate a larger quantum role.

Figures

Figures reproduced from arXiv: 2605.17623 by Luis Lozano.

Figure 1
Figure 1. Figure 1: Density-axis collapse under penalty encoding. Three structurally different covariance [PITH_FULL_IMAGE:figures/full_fig_p005_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: Formulation choice for D-Wave portfolio optimization. The constraint-native CQM [PITH_FULL_IMAGE:figures/full_fig_p006_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: D-Wave hybrid solver architecture. The solver iterates between classical decomposition [PITH_FULL_IMAGE:figures/full_fig_p007_3.png] view at source ↗
Figure 4
Figure 4. Figure 4: (a) Mean chain-break fraction and (b) embedding overhead (physical / logical qubits) [PITH_FULL_IMAGE:figures/full_fig_p008_4.png] view at source ↗
Figure 5
Figure 5. Figure 5: Chain-break fraction vs N split by covariance-density family (diagonal, block, dense), on Pegasus (left) and Zephyr (right). The three curves nearly overlap at each N, confirming that penalty encoding collapses the density axis [PITH_FULL_IMAGE:figures/full_fig_p009_5.png] view at source ↗
Figure 6
Figure 6. Figure 6: Mean objective value vs problem size across solver families (averaged over 3 density [PITH_FULL_IMAGE:figures/full_fig_p010_6.png] view at source ↗
Figure 7
Figure 7. Figure 7: Relative gap to Gurobi optimal vs N. CQM (green) is indistinguishable from the optimal baseline; BQM (red) and SA (orange) diverge as penalty dilution intensifies. 5 Discussion 5.1 Formulation Choice Dominates Solver Choice On the tested instance families, the constraint-native CQM formulation produces lower objective values than the penalty-encoded BQM formulation at every N > 10, across all three density… view at source ↗
Figure 8
Figure 8. Figure 8: Direct QPU on real Fama–French 49 equity data: chain-break fraction vs [PITH_FULL_IMAGE:figures/full_fig_p012_8.png] view at source ↗
Figure 9
Figure 9. Figure 9: Budget response curves for hybrid BQM (dashed) and CQM (solid) across problem [PITH_FULL_IMAGE:figures/full_fig_p013_9.png] view at source ↗
Figure 10
Figure 10. Figure 10: Stochastic validation: box plots of objective values across 10 repeated runs for CQM [PITH_FULL_IMAGE:figures/full_fig_p013_10.png] view at source ↗
read the original abstract

We audit how much of D-Wave's hybrid quantum-classical portfolio-optimization service is actually quantum. On cardinality-constrained mean-variance-turnover instances spanning N equal to 10 to 640 with a Gurobi MIQP optimality anchor, the constraint-native LeapHybridCQM service matches Gurobi's proven optimum on all 54 instances where Gurobi proves optimality, but the mean QPU access time is only 0.034 seconds out of a 5-second wall-clock budget, roughly 0.7 percent of the run. The remaining roughly 99 percent is the service's classical decomposition, sub-problem assembly, and feasibility-aware reassembly, so the reported D-Wave hybrid win on this problem class is a constraint-native classical pipeline with a small QPU contribution rather than a quantum-sampling win. Two structural results sharpen this audit. First, the cardinality penalty contributes a dense rank-one term that makes the penalty-encoded logical graph fully connected regardless of the original covariance density, collapsing the intended density benchmark axis for all penalty-encoded paths while leaving the constraint-native sparsity intact. Second, the constraint-native service returns identical solutions at every tested wall-clock budget from 5 to 300 seconds and across 10 repeated calls, a determinism property of the service on this problem class. Together with two classical baselines, namely Gurobi MIQP and simulated annealing, and a comparison against the penalty-encoded hybrid interface, these results extend the prior constraint-native versus penalty-encoded observation of Sakuler et al. from the statement that the constraint-native interface handles constraints natively to the operational decomposition of where the win actually originates, a finding that reframes how D-Wave hybrid performance should be reported in quantum-finance benchmarks.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

1 major / 2 minor

Summary. The paper audits D-Wave's LeapHybridCQM hybrid solver on cardinality-constrained mean-variance-turnover portfolio problems (N=10 to 640). It reports that the service matches Gurobi MIQP proven optima on all 54 instances where Gurobi certifies optimality, yet mean QPU access time is only 0.034 s out of a 5 s wall-clock budget (~0.7 %). The remaining time is classical decomposition and reassembly; the authors conclude the observed performance is a constraint-native classical pipeline with minor QPU contribution rather than a quantum-sampling advantage. Supporting observations include the dense rank-one term induced by cardinality penalties (collapsing sparsity benchmarks for penalty-encoded paths) and deterministic identical solutions across budgets (5–300 s) and repeats. Comparisons to Gurobi, simulated annealing, and penalty-encoded hybrids are provided.

Significance. If the measurements hold, the work supplies concrete, reproducible anchors—0.034 s QPU time, 54/54 optimality matches, and identical solutions across budgets and 10 repeats—against Gurobi MIQP and simulated annealing baselines. These data usefully decompose hybrid performance and extend Sakuler et al.'s constraint-native versus penalty-encoded distinction with operational timing detail. The structural result on the rank-one penalty term and the determinism observation are clear strengths that ground the audit.

major comments (1)
  1. [Experimental results and instance selection] The optimality-matching claim is restricted to the 54 instances where Gurobi proves optimality; the manuscript should either demonstrate that these instances are representative of the full test set or report solution quality (e.g., duality gaps or objective values relative to Gurobi bounds) on the complementary instances to support generalization to the broader problem class.
minor comments (2)
  1. Exact Gurobi parameter settings (e.g., MIP gap tolerance, time limit) and simulated annealing configuration should be stated explicitly to permit full reproduction of the baselines.
  2. The two structural results (rank-one penalty term and determinism) are mentioned in the abstract; labeling them as numbered subsections or theorems in the main text would improve navigation.

Simulated Author's Rebuttal

1 responses · 0 unresolved

Thank you for the detailed review and the helpful comment on our experimental results. We address the concern about instance selection and generalization below.

read point-by-point responses
  1. Referee: [Experimental results and instance selection] The optimality-matching claim is restricted to the 54 instances where Gurobi proves optimality; the manuscript should either demonstrate that these instances are representative of the full test set or report solution quality (e.g., duality gaps or objective values relative to Gurobi bounds) on the complementary instances to support generalization to the broader problem class.

    Authors: We agree that the optimality-matching results are presented only for the subset of instances where Gurobi certifies optimality. These 54 instances were selected because they allow direct verification against proven optima, which is central to our audit of solution quality. To demonstrate representativeness, we note that they cover the entire range of problem sizes (N = 10 to 640) and both sparse and dense covariance structures used in the full test set. For the complementary instances, where Gurobi does not prove optimality within the time limit, we will add to the revised manuscript a table reporting the objective values obtained by LeapHybridCQM alongside the best primal and dual bounds from Gurobi. This will allow readers to assess the solution quality relative to the available bounds and support broader generalization. We believe this addition addresses the concern without altering the core conclusions of the paper. revision: yes

Circularity Check

0 steps flagged

No circularity: central claims rest on direct wall-clock measurements and external optimality comparisons

full rationale

The paper's derivation consists of empirical observations: exact matching of Gurobi-proven optima on 54 instances, mean QPU access time of 0.034 s within a fixed 5 s budget (0.7 % quantum fraction), and identical solutions across budgets and repeats. These quantities are measured against external solvers and hardware interfaces rather than fitted to or defined by any internal parameter of the present work. The rank-one penalty term and determinism property are direct consequences of the problem encoding and service behavior, not self-referential equations. The citation to Sakuler et al. supplies prior context on constraint-native interfaces but is not invoked as a uniqueness theorem or load-bearing premise that forces the current decomposition; the operational audit is independently verified here against Gurobi, simulated annealing, and penalty-encoded baselines. The chain therefore remains self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The audit relies on standard mixed-integer quadratic programming assumptions and the external optimality of Gurobi; no new free parameters, axioms, or invented entities are introduced beyond the problem formulation itself.

axioms (1)
  • domain assumption Gurobi MIQP provides proven global optima on the tested cardinality-constrained mean-variance-turnover instances
    Invoked when declaring that the hybrid service matches the proven optimum on all 54 instances

pith-pipeline@v0.9.0 · 5843 in / 1390 out tokens · 40790 ms · 2026-05-20T12:22:20.557217+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

17 extracted references · 17 canonical work pages

  1. [1]

    Andrist, Grant Salton, Martin J

    Atithi Acharya, Romina Yalovetzky, Pierre Minssen, Shouvanik Chakrabarti, Ruslan Shaydulin, Rudy Raymond, Yue Sun, Dylan Herman, Ruben S. Andrist, Grant Salton, Martin J. A. Schuetz, Helmut G. Katzgraber, and Marco Pistoia. Decomposition pipeline for large-scale portfolio optimization with applications to near-term quantum computing. Physical Review Resea...

  2. [2]

    Best practices for portfolio optimization by quantum computing, experimented on real quantum devices

    Giuseppe Buonaiuto, Francesco Gargiulo, Giuseppe De Pietro, Massimo Esposito, and Marco Pota. Best practices for portfolio optimization by quantum computing, experimented on real quantum devices. Scientific Reports, 13: 0 19434, 2023. doi:10.1038/s41598-023-45392-w

  3. [3]

    Hybrid solver service, 2025

    D-Wave Systems . Hybrid solver service, 2025. URL https://docs.dwavequantum.com/en/latest/quantum_research/hybrid.html. Accessed April 7, 2026

  4. [4]

    Kenneth R. French. 49 industry portfolios, 2026. URL https://mba.tuck.dartmouth.edu/pages/faculty/ken.french/Data_Library/det_49_ind_port.html. Accessed March 31, 2026

  5. [5]

    Quantum computing for finance

    Dylan Herman, Cody Googin, Xiaoyuan Liu, Yue Sun, Alexey Galda, Ilya Safro, Marco Pistoia, and Yuri Alexeev. Quantum computing for finance. Nature Reviews Physics, 5 0 (8): 0 450--465, 2023. doi:10.1038/s42254-023-00603-1

  6. [6]

    Strategic portfolio optimization using simulated, digital, and quantum annealing

    Jonas Lang, Sebastian Zielinski, and Sebastian Feld. Strategic portfolio optimization using simulated, digital, and quantum annealing. Applied Sciences, 12 0 (23): 0 12288, 2022. doi:10.3390/app122312288

  7. [7]

    A penalty-free pipeline for direct quantum-annealer portfolio optimization

    Luis Lozano. A penalty-free pipeline for direct quantum-annealer portfolio optimization. Zenodo preprint, 2026. URL https://doi.org/10.5281/zenodo.20103217. Submitted to Quantum Machine Intelligence (Submission ID 916c2dc7-611d-4c42-aeb8-8b1e4ccb9fa5)

  8. [8]

    Ising formulations of many NP problems

    Andrew Lucas. Ising formulations of many NP problems. Frontiers in Physics, 2: 0 5, 2014. doi:10.3389/fphy.2014.00005

  9. [9]

    Portfolio selection

    Harry Markowitz. Portfolio selection. The Journal of Finance, 7 0 (1): 0 77--91, 1952. doi:10.2307/2975974

  10. [10]

    End-to-end portfolio optimization with hybrid quantum annealing

    Sai Nandan Morapakula, Sangram Deshpande, Rakesh Yata, Rushikesh Ubale, Uday Wad, and Kazuki Ikeda. End-to-end portfolio optimization with hybrid quantum annealing. Advanced Quantum Technologies, 2025. doi:10.1002/qute.202500753

  11. [11]

    Dynamic portfolio optimization with real datasets using quantum processors and quantum-inspired tensor networks

    Samuel Mugel, Carlos Kuchkovsky, Escol\'astico S\'anchez, Samuel Fern\'andez-Lorenzo, Jorge Luis-Hita, Enrique Lizaso, and Rom\'an Or\'us. Dynamic portfolio optimization with real datasets using quantum processors and quantum-inspired tensor networks. Physical Review Research, 4: 0 013006, 2022. doi:10.1103/PhysRevResearch.4.013006

  12. [12]

    Quantum computing for finance: Overview and prospects

    Rom\'an Or\'us, Samuel Mugel, and Enrique Lizaso. Quantum computing for finance: Overview and prospects. Reviews in Physics, 4: 0 100028, 2019. doi:10.1016/j.revip.2019.100028

  13. [13]

    Comparing three generations of D-Wave quantum annealers for minor embedded combinatorial optimization problems

    Elijah Pelofske. Comparing three generations of D-Wave quantum annealers for minor embedded combinatorial optimization problems. Quantum Science and Technology, 10 0 (2): 0 025025, 2025. doi:10.1088/2058-9565/adb029

  14. [14]

    Oberreuter, Riccardo Aiolfi, Luca Asproni, Branislav Roman, and J \"u rgen Schiefer

    Wolfgang Sakuler, Johannes M. Oberreuter, Riccardo Aiolfi, Luca Asproni, Branislav Roman, and J \"u rgen Schiefer. A real-world test of portfolio optimization with quantum annealing. Quantum Machine Intelligence, 7: 0 43, 2025. doi:10.1007/s42484-025-00268-2

  15. [15]

    Quantum portfolio optimization: An extensive benchmark, 2025

    Eric Stopfer and Friedrich Wagner. Quantum portfolio optimization: An extensive benchmark, 2025. arXiv preprint

  16. [16]

    Reverse quantum annealing approach to portfolio optimization problems

    Davide Venturelli and Alexei Kondratyev. Reverse quantum annealing approach to portfolio optimization problems. Quantum Machine Intelligence, 1: 0 17--30, 2019. doi:10.1007/s42484-019-00001-w

  17. [17]

    Penalty and partitioning techniques to improve performance of QUBO solvers

    Amit Verma and Mark Lewis. Penalty and partitioning techniques to improve performance of QUBO solvers. Discrete Optimization, 44: 0 100594, 2022. doi:10.1016/j.disopt.2020.100594