QUBO.jl: A Julia Ecosystem for Quadratic Unconstrained Binary Optimization
arXiv:2307.02577 · doi:10.1080/10556788.2026.2702926
Abstract
We present QUBO.jl, an end-to-end Julia package for working with QUBO (Quadratic Unconstrained Binary Optimization) instances. This tool aims to convert a broad range of optimization problems in JuMP, Julia's mathematical programming package, for straightforward application in many physics and physics-inspired solution methods whose standard model form is equivalent to QUBO. These methods include quantum annealing, quantum gate-circuit optimization algorithms (Quantum Optimization Alternating Ansatz, Variational Quantum Eigensolver), other hardware-accelerated platforms, such as Coherent Ising Machines and Simulated Bifurcation Machines, and more traditional methods such as simulated annealing. In addition to working with reformulations, QUBO.jl allows its users to interface with the aforementioned hardware, sending QUBO models to these devices and retrieving results for subsequent analysis. QUBO.jl was written as a JuMP / MathOptInterface (MOI) layer that automatically maps between the input and output frames, thus providing a smooth modeling experience.
References in corpus (20)
- Quantum Computing in the NISQ era and beyond
- Quantum Machine Learning
- Variational Quantum Algorithms
- Ising formulations of many NP problems
- Quantum Chemistry in the Age of Quantum Computing
- Quantum computing for finance: overview and prospects
- Quantum computing for finance
- Yao.jl: Extensible, Efficient Framework for Quantum Algorithm Design
- Domain wall encoding of discrete variables for quantum annealing and QAOA
- Benchmarking a quantum annealing processor with the time-to-target metric
- A deceptive step towards quantum speedup detection
- 3-Regular 3-XORSAT Planted Solutions Benchmark of Classical and Quantum Heuristic Optimizers
- On Quadratization of Pseudo-Boolean Functions
- Practical Integer-to-Binary Mapping for Quantum Annealers
- On the Emerging Potential of Quantum Annealing Hardware for Combinatorial Optimization
- Equation Planting: A Tool for Benchmarking Ising Machines
- Mean-Field Approximate Optimization Algorithm
- From Ansätze to Z-gates: a NASA View of Quantum Computing
- JuliQAOA: Fast, Flexible QAOA Simulation
- DisjunctiveProgramming.jl: Generalized Disjunctive Programming Models and Algorithms for JuMP