Resource-Efficient QUBO Formulation for Anchored Currency Arbitrage
Organizations: Department of Physics and Astronomy University of Alabama, Tuscaloosa, AL 35487, USA
Abstract
Currency arbitrage (CA) involves trading currencies in cycles to exploit discrepancies in market valuations. Quadratic unconstrained binary optimization (QUBO) involves minimizing a quadratic cost (energy) function of binary variables. Previous works have explored the use of QUBO to solve CA problems. We build on these previous works by introducing realistic constraints such as beginning cycles from a held currency and accounting for per-transaction trading fees. We show that this formulation requires fewer logical variables (qubits) than previous QUBO encodings in the literature. We derive provably sufficient penalty weights for its constraint terms. We also introduce an exact anchor-gauge reweighting of the exchange rates that compresses the QUBO coefficient range from the rate scale to the arbitrage scale, addressing the finite analog precision of annealing hardware. We demonstrate the efficacy of this formulation using classical simulated annealing against an exact Held-Karp baseline on the same CPU and show that it can effectively find profitable cycles and account for trading fees. Finally, we benchmark faithful implementations of five prior QUBO encodings at matched sampler budgets and show that the proposed encoding is the only one to recover the exact fee-adjusted optimum.
Figures & tables
| Encoding | Logical Qubits | Maximal Connectivity |
|---|---|---|
| Mazzei et al. | ||
| [ 12 ] | ||
| Deshpande–Das–Mueller | ||
| [ 11 ] | ||
| Roy et al. | ||
| [ 13 ] |
| Encoding | Variables | Runs | Score gap | Sampler time (s) | Per-run time (s) |
|---|---|---|---|---|---|
| Ours | 45 | anchors | 0 (exact) | 2.62 | 0.26 |
| Ours - Worst of 10 | 45 | 1 | 0.26 | 0.26 | |
| Roy et al. [ 13 ] | 70 | lengths | 0.87 | 0.22 | |
| 1QBit node-based [ 14 ] | 60 | lengths | 0.73 | 0.18 | |
| Mazzei et al. [ 12 ] | 70 | 1 | 0.16 | 0.16 | |
| Deshpande et al. [ 11 ] | 90 | 1 | 0.53 | 0.53 |
Appendix figures & tables11 assets
Supplementary material from the paper’s appendix.
Appendix
| Currencies | Logical qubits | Physical qubits |
| 6 | 25 | 77 |
| 7 | 30 | 104 |
| 8 | 35 | 147 |
| 9 | 40 | 177 |
| 10 | 45 | 230 |
| 11 | 50 | 323 |
| Max length | Logical qubits | Physical qubits | Max chain |
| 3 | 26 | 97 | 5 |
| 4 | 39 | 192 | 7 |
| 5 | 52 | 286 | 7 |
| 6 | 65 | 461 | 11 |
| 7 | 78 | 631 | 12 |
| 8 | 91 | 806 | 14 |
| Sweeps | Exact profit | Simulated-anneal profit |
|---|---|---|
| 10 | ||
| 20 | ||
| 40 | ||
| 80 | ||
| 160 | ||
| 320 |
| Reads | Exact profit | Simulated-anneal profit |
|---|---|---|
| 10 | ||
| 20 | ||
| 40 | ||
| 80 | ||
| 160 | ||
| 320 |
| Noise | Exact profit | Simulated-anneal profit |
|---|---|---|
| Currencies | Exact profit | Simulated-anneal profit |
|---|---|---|
| 6 | ||
| 7 | ||
| 8 | ||
| 9 | ||
| 10 | ||
| 11 |
| Currencies | Exact profit | Simulated-anneal profit |
|---|---|---|
| 6 | ||
| 7 | ||
| 8 | ||
| 9 | ||
| 10 | ||
| 11 |
| Currencies | Exact (s) | Simulated anneal (s) |
|---|---|---|
| 6 | 0.01 | 0.66 |
| 7 | 0.02 | 0.92 |
| 8 | 0.04 | 1.27 |
| 9 | 0.08 | 1.73 |
| 10 | 0.14 | 2.27 |
| 11 | 0.26 | 2.90 |
| Currencies | Exact (s) | Simulated anneal (s) |
|---|---|---|
| 6 | 0.01 | 5.12 |
| 7 | 0.02 | 7.40 |
| 8 | 0.04 | 10.36 |
| 9 | 0.07 | 14.07 |
| 10 | 0.15 | 17.52 |
| 11 | 0.25 | 22.96 |
| Max length | Exact (s) | Simulated anneal (s) | Exact profit | Simulated-anneal profit |
|---|---|---|---|---|
| 3 | 0.09 | 14.00 | ||
| 4 | 0.19 | 22.84 | ||
| 5 | 0.48 | 31.46 | ||
| 6 | 1.01 | 40.31 | ||
| 7 | 1.97 | 48.41 | ||
| 8 | 3.11 | 56.27 |
| Max length | Optimal length | Found length | Exact profit | Simulated-anneal profit | Score gap | |
|---|---|---|---|---|---|---|
| 3 | 3 | 3 | ||||
| 3 | 3 | 3 | ||||
| 3 | 3 | 3 | ||||
| 3 | 3 | 3 | ||||
| 4 | 4 | 4 | ||||
| 4 | 4 | 4 |
Quadratic Unconstrained Binary Optimization
Quadratic unconstrained binary optimization (QUBO) encodes discrete decisions as binary quadratic objectives for classical and quantum-inspired solvers.
See all 21 papers