qaoa

Multi-backend SDK for quantum optimisation

Source code for the book "Quantum Computing for Programmers", Cambridge University Press

This package is a flexible python implementation of the Quantum Approximate Optimization Algorithm /Quantum Alternating Operator ansatz (QAOA) aimed at researchers to readily test the performance of a new ansatz, a new classical optimizers, etc.

Implementation of Variational Quantum Factoring algorithm.

qTorch (Quantum Tensor Contraction Handler) https://arxiv.org/abs/1709.03636 -> for quantum simulation using tensor networks

Optimize QAOA circuits for graph maxcut using tensorflow

A General Quantum Software

A Python library to automate generating, parallelizing, and executing quantum programs.

Application of Variational Quantum Eigensolver (VQE) and Quantum Approximate Optimisation Algorithm (QAOA) to the Travelling Salesman Problem (TSP) and the Quadratic Assignment Problem (QAP) using Qiskit on IBM's quantum devices.

Algorithms for optimization tasks (operations research)

Portfolio Optimization on a Quantum computer.

High-performance quantum computing in pure Rust + WebAssembly: state-vector circuit simulator with SIMD & noise models, VQE, Grover, QAOA, surface-code error correction, and real-time coherence via dynamic min-cut.

Solving the Travelling Salesman Problem, with applying the hard constraints using the QAutoencoder

In this work, we use LR-QAOA protocol as an easy-to-implement scalable benchmarking methodology that assesses quantum processing units (QPUs) at different widths (number of qubits) and 2-qubit gate depths.

Compare QAOA and Quantum Annealing using 127 qubit higher order Ising problems

Fixed linear ramp schedules in QAOA constitute a universal set parameters, i.e., a set of γ and β parameters that rapidly approximate the optimal solution, x∗, independently of the COP selected, and that the success probability of finding it, probability(x∗), increases with the number of QAOA layers p.

Enhancing portfolio optimization solutions: wisely encoding constrained combinatorial optimization problems on quantum devices

QAOA is one of the flavors of VQA, and it is considered to assert so-called "Quantum Supremacy". I have implemented a Quantum circuit to solve Max-Cut problem. I have written a report of my work.

Verified quantum computing in Lean 4 with FFI bridge to Apple Silicon (Metal 3). Full NISQ stack, dependent types, formal circuit verification, and mathematical translators to Hamiltonians for autonomous AI.

Machine-verified Lean 4 / Mathlib formalizations in quantum optimization