๐ Quantum Grand Challenges
Systematic exploration of 20 of the world's most challenging scientific problems using quantum computing
๐ฏ What Success Looks Like
Every challenge follows the same reproducible pipeline, from Python baselines to fault-tolerant quantum resource forecasts.
Stage A - Problem Framing
Define the objective, baseline metrics, and evidence plan before any quantum claim is made.
Stage B - Baseline + Scaffold
Deliver reproducible classical baselines and Q# scaffolds with aligned interfaces and testable outputs.
Stage C - Implemented Kernel
Ship a working quantum kernel with benchmarked behavior, bounded uncertainty, explicit evidence links, and DiVincenzo readiness coverage.
Stage D - Advantage Claim
Permit advantage claims only when calibrated, stress-tested, and policy-gated in CI.
๐ Featured Case Studies
Stage C implementations now anchor the portfolio while Stage B tracks continue progressing under policy-gated evidence requirements.
QAE Risk Analysis (Stage C Complete)
Monte Carlo: 16.1% ยฑ 0.37% (10k samples)
Classical baseline achieves 0% error vs theoretical for tail risk P(Loss > 2.5) on log-normal(0,1) distribution. Log-normal PDF corrected March 2026.
Canonical QAE: 594k qubits, 6.4s, 965k T-states
QAE kernel recalibrated with corrected distribution encoding. Emulator jobs queued on Quantinuum H2-1E for full simulation validation.
Explore the repository โDatabase Search (Stage C Complete)
Search baselines: 16, 32, and 4096-item instances
Classical search and verification harnesses provide reproducible reference outputs for Grover comparisons.
Canonical Grover: quadratic search behavior
Multi-target oracle and measurement validation support the Stage C evidence bundle for database search.
Explore the repository โHubbard Model (Azure Validated)
Exact diagonalization: ฮc = 5.66 at U/t = 4
Two-site half-filled Hubbard model with classical baseline achieving perfect accuracy for ground state energy and Mott gap.
VQE circuit validated on Quantinuum H2 simulator
Real VQE ansatz (2-qubit, Ry+CNOT+Rz) submitted to Azure Quantum. Resource estimates generated for surface_code and gate_ns_e3 architectures. Emulator results pending.
Explore the repository โ๐ฏ Algorithm Comparison Dashboard
Comprehensive resource analysis across VQE, HHL, and QAE showing physical qubits, runtime, T-states, and quantum advantage assessment.
VQE (Hubbard)
HHL (Linear Solver)
QAE (Risk Analysis)
๐ Visualization Gallery
Publication-quality comparisons showing resource requirements, scaling predictions, and quantum advantage assessment.
๐ Real Gate Counts (QASM-Derived)
Actual gate decomposition from OpenQASM circuits validated on Quantinuum H2 trapped-ion simulator. These replace mock estimates with real circuit-level resource data.
Key insight: Grover circuits are T-gate heavy (needed for multi-controlled Z decomposition), while VQE and QAOA use only rotation gates โ critical for hardware target selection.
๐ Research
Methodology Paper
"A Systematic Framework for Developing, Validating, and Benchmarking Quantum Algorithms Across 20 Application Domains"
Covers: maturity gate model, 9 algorithm families, automated CI validation, Azure Quantum integration, and lessons learned from building real quantum circuits.
Read Draft โCite This Work
CITATION.cff is available in the repository root. GitHub shows a "Cite this repository" button automatically.
@software{rall2026quantum,
author = {Rall, Werner},
title = {Quantum Grand Challenges},
year = {2026},
url = {https://github.com/WernerRall147/quantum-grand-challenges}
}๐ Current Status
- โ Stage Coverage: 20/20 problems include objective maturity gates and advantage-claim contracts
- โ Quantum Implementations: 20/20 problems have real quantum gate operations (VQE, QAOA, Grover, HHL, Shor, swap test, QEC, quantum walk, Trotter)
- โ KPI Coverage: 20/20 estimator summaries, 20/20 backend assumptions, 20/20 advantage contracts
- โ Azure Validated: 20/20 QASM circuits validated on Quantinuum H2-1SC trapped-ion simulator
- โ Calibration: 19/20 problems have multi-run uncertainty bounds (3-5 runs each)
- โ DOI: 10.5281/zenodo.19222021
- โ Research: Methodology paper with 20-circuit validation table, calibration data, and 9 sections
- โ Azure Successful Runs: `27` successful live runs recorded across `2` quantum systems
- โ Runnable/Correctness Audit: `20/20` problems pass executable correctness checks (100%)
- โ CI/CD: 7 automated checks on every PR: build, correctness, maturity, integrity, secrets, security
Latest: 20/20 Azure Validated + 19/20 Calibrated
All 20 QASM circuits validated on Quantinuum H2 trapped-ion simulator (including 8-qubit Shor and 5-qubit HHL). 19 problems have multi-run calibration evidence with uncertainty bounds. DOI: 10.5281/zenodo.19222021. Methodology paper updated with full 20-circuit validation table and calibration results.
๐ง Active Work Queue
Current promotion queue for moving Stage B tracks into Stage C with benchmarked kernel evidence.
Stage C Promotion
All 20 problems now have real quantum circuits. Next: generate resource estimates, backend assumptions, and calibration evidence to promote from Stage B to Stage C.
Azure Emulator Results
4 circuits executing on Quantinuum H2-1E emulator (Hubbard VQE, QAOA MaxCut, Grover, QAE). Collect results and validate against classical baselines.
Resource Estimation Coverage
Expand estimator pipeline to all 20 problems. Currently 9 have estimator summaries; target is 20/20.
Stage D Evidence Hardening
Lock uncertainty thresholds and complete advantage claim contracts for QAE, QAOA, and Grover (current Stage C leaders).
๐งญ Stage D Readiness
Continuous readiness audit for current Stage D candidates and next expansion queue.
Next Candidate Expansion Queue
- 01_hubbard: VQE circuit validated on Azure Quantum with resource estimates. Nearest Stage C to Stage D candidate after classical optimizer integration.
- 04_linear_solvers: Full HHL circuit with resource estimates is ready for Stage C promotion and subsequent Stage D evidence hardening.
- 15_database_search: Grover circuit submitted to Azure emulator with resource estimates. Stage D advantage claim pending oracle cost accounting.
โ๏ธ Azure Run Ledger
Automatic record of successful Azure Quantum executions and the systems used.
Provider Families
- Quantinuum: 25
- Rigetti: 2
Run Trend (UTC Day)
โ Runnable And Correctness
Nightly-style execution audit tracking classical runnability and baseline output validity across all registered problems.
No failing problems in the latest audit.
Hubbard Model
Stage B complete + Azure validated
VQE ansatz (2-qubit) submitted to Quantinuum H2 simulator and emulator. Resource estimates now available for surface_code and gate_ns_e3 targets.
Open problem folder โQAE Risk Analysis
Stage C complete
Log-normal PDF corrected and QAE recalibrated. Theoretical tail probability now matches classical baseline exactly (16.1%). Emulator jobs queued on Quantinuum H2-1E.
Open problem folder โCatalysis Simulation
Quantum circuit implemented
VQE for H2 molecular energy with 2-qubit Pauli decomposition. Estimates H2 ground state energy via variational optimization.
Open problem folder โLinear Solvers
Stage B complete + estimates
Full HHL circuit implemented (6 qubits). Resource estimates generated for surface_code and gate_ns_e3 targets. Ready for Stage C promotion.
Open problem folder โQAOA MaxCut
Stage C complete
Depth/noise sweeps, uncertainty reports, estimator routing, and env-gated Azure job-manifest validation are complete; next target is Azure submit/collect hardening and portability adapters
Open problem folder โHigh-Frequency Trading
Quantum circuit implemented
Quantum VaR estimation via amplitude encoding and oracle marking for loss state detection
Open problem folder โDrug Discovery
Quantum circuit implemented
VQE molecular binding energy estimation with 2-qubit Pauli Hamiltonian decomposition
Open problem folder โProtein Folding
Quantum circuit implemented
QAOA lattice conformation search optimizing pairwise contact energies
Open problem folder โFactorization
Quantum circuit implemented
Full Shor period-finding with QPE + controlled modular multiply. Factors 15 = 3 x 5.
Open problem folder โPost-Quantum Cryptography
Quantum circuit implemented
Grover key search attack simulation. 80-92% success on 3-5 qubit keyspaces.
Open problem folder โQuantum Machine Learning
Quantum circuit implemented
Swap test kernel estimation (5 qubits). Quantum kernel matrix matches classical.
Open problem folder โQuantum Optimization
Quantum circuit implemented
QAOA for weighted job scheduling. Found exact optimal with approximation ratio 1.0.
Open problem folder โClimate Modeling
Quantum circuit implemented
HHL algorithm for thermal diffusion PDE with QPE and eigenvalue inversion
Open problem folder โMaterials Discovery
Quantum circuit implemented
VQE band gap estimation for tight-binding models across 3 material types
Open problem folder โDatabase Search
Stage C complete + Azure validated
Grover 4-qubit circuit submitted to Quantinuum H2 simulator and emulator. Resource estimates now generated for two architectures.
Open problem folder โError Correction
Quantum circuit implemented
3-qubit bit-flip repetition code with syndrome extraction. 100% correction rate.
Open problem folder โNuclear Physics
Quantum circuit implemented
VQE for deuteron binding energy with pionless EFT Hamiltonian
Open problem folder โPhotovoltaics
Quantum circuit implemented
Discrete quantum walk for exciton transport in organic photovoltaic networks
Open problem folder โQuantum Chromodynamics
Quantum circuit implemented
Trotter simulation of 1D lattice gauge theory showing confinement transition
Open problem folder โSpace Mission Planning
Quantum circuit implemented
QAOA trajectory optimization for multi-leg missions. Found exact optimal.
Open problem folder โ๐งช Reproduce It Yourself
Spin up a Codespace or local clone and run the same pipelines that feed this dashboard.
Setup
git clone https://github.com/WernerRall147/quantum-grand-challenges.git
cd quantum-grand-challenges
dotnet --list-runtimes | findstr 6.0Run QAE Risk
cd problems/03_qae_risk
make classical
make analyzeRun Hubbard Benchmark
cd problems/01_hubbard
make classical
make build




