18 papers
Separating Geometry From Interference in Constrained Quantum Optimization
Chinonso Onah, Stuart Hadfield, Kristel Michielsen
We study the separation of geometric effects from quantum interference in quantum optimization algorithms. Constrained optimization problems such as routing, assignment, and schedu…
Polynomial Time Quantum Approximation Schemes for Constrained Optimisation
Chinonso Onah, Kristel Michielsen
When does a noisy quantum sampler yield an end-to-end polynomial-time optimization algorithm with performance guarantees? Building on finite-depth and finite-shot guarantees for Co…
Auditing Syndrome-to-Decoder Mappings for Repetition, Surface, CSS, and Digitized-GKP Interfaces
Dennis Delali Kwesi Wayo, Chinonso Onah, Rodrigo Alves Dias +2
Quantum error-correction experiments increasingly require a verified interface between measured syndrome bits and decoder-native correction requests. We report a four-branch syndro…
Decoder Comparability Across Quantum Software Stacks: Repeated-Round Surface and Digitized-GKP Syndrome Replay
Dennis Delali Kwesi Wayo, Chinonso Onah, Rodrigo Alves Dias +2
We present a contract-preserving, family-aware comparison of decoder behavior across four syndrome-generation stacks (PennyLane, Qiskit, Cirq, and a LiDMaS+ reference) under a fixe…
Quantum optimization beyond QUBO for industrial logistics and scheduling
Juan F. R. Hernandez, Pavle Nikacevic, Enrique Solano +4
The increasing complexity of industrial scheduling and transport routing problems motivates the study of alternative optimization formulations and computational paradigms. In this…
Optimal, Qubit-Efficient Quantum Vehicle Routing via Colored-Permutations
Chinonso Onah, Kristel Michielsen
We formulate a global-position colored-permutation encoding for the capacitated vehicle routing problem. Each of the vehicles selects a disjoint partial permutation, and the su…
A Unified Hardware-to-Decoder Architecture for Hybrid Continuous-Variable and Discrete-Variable Quantum Error Correction in LiDMaS+
Dennis Delali Kwesi Wayo, Chinonso Onah, Leonardo Goliatt +1
We present an architecture-level hardware-to-logical-to-decoder execution stack for hybrid continuous-variable and discrete-variable quantum error correction in LiDMaS+. Provider-n…
Decoder Dependence in Surface-Code Threshold Estimation with Native Gottesman-Kitaev-Preskill Digitization and Parallelized Sampling
Dennis Delali Kwesi Wayo, Chinonso Onah, Leonardo Goliatt +1
We quantify decoder dependence in surface-code threshold studies under two matched regimes: Pauli noise and native GKP-style Gaussian displacement digitization. Using LiDMaS+ v1.1.…
Optimal measurement-based quantum thermal machines in a finite-size system
Chinonso Onah, Obinna Uzoh, Obinna Abah
We present a measurement-based quantum thermal machine that extracts work from the back-action of generalized quantum measurements whose working medium is a coupled two-level quant…
Quantum and classical approaches to the optimization of highway platooning: the two-vehicle matching problem
Chinonso Onah, Agneev Guin, Carsten Othmer +2
Aerodynamic drag reduction on highways through vehicle platooning is a well-known concept, but it has not yet seen systematic uptake, arguably because of significant technological…
Decoder Dependence in Surface-Code Threshold Estimation under Digitized Hybrid Continuous-Variable and Discrete Noise
Dennis Delali Kwesi Wayo, Chinonso Onah, Leonardo Goliatt +1
Surface-code threshold estimates depend on the inference pipeline, including decoder and estimator choices. We compare decoders within a single LiDMaS+ workflow under Pauli-referen…
Evaluating Sample-Based Krylov Quantum Diagonalization for Heisenberg Models with Applications to Materials Science
Roman Firt, Neel Misciasci, Jonathan E. Mueller +4
We evaluate the Sample-based Krylov Quantum Diagonalization (SKQD) algorithm on one- and two-dimensional Heisenberg models, including strongly correlated regimes in which the groun…
Fundamental Limitations of QAOA on Constrained Problems and a Route to Exponential Enhancement
Chinonso Onah, Kristel Michielsen
We study the feasibility limitations of generic QAOA for permutation-constrained optimization, where valid configurations occupy an exponentially small fraction of the Boolean hype…
Empirical Quantum Advantage in Constrained Optimization from Encoded Unitary Designs
Chinonso Onah, Roman Firt, Kristel Michielsen
We introduce the Constraint-Enhanced Quantum Approximate Optimization Algorithm (CE-QAOA), a shallow, constraint-aware ansatz that operates inside the one-hot product space [n]^m,…
Scalable Hardware Maturity Probe for Quantum Accelerators via Harmonic Analysis of QAOA
Chinonso Onah, Kristel Michielsen
As quantum processors begin operating as tightly coupled accelerators inside high-performance computing (HPC) facilities, dependable and reproducible behavior becomes a gating requ…
Requirements for Early Quantum Utility and Quantum Utility in the Capacitated Vehicle Routing Problem
Chinonso Onah, Kristel Michielsen
We introduce a transparent, encoding-agnostic framework for determining when the Capacitated Vehicle Routing Problem (CVRP) can achieve early quantum advantage. Our analysis shows…
QUEST: QUantum-Enhanced Shared Transportation
Chinonso Onah, Neel Miscasci, Carsten Othmer +1
We introduce ``Windbreaking-as-a-Service'' (WaaS) as an innovative approach to shared transportation in which larger ``windbreaker'' vehicles provide aerodynamic shelter for ``wind…
Constraint Inequalities from Hilbert Space Geometry & Efficient Quantum Computation
Chinonso Onah
Useful relations describing arbitrary parameters of given quantum systems can be derived from simple physical constraints imposed on the vectors in the corresponding Hilbert space.…