TSP and VQE wins are scoped to the named proof cases and public baselines.
Exact Quantum and Optimization Execution for Production Teams
Submit Standard Inputs. Get Exact Results.
Catalyst-Q is a breakthrough simulator API and Python SDK for QASM circuits, SDK circuit objects, and optimization model payloads. Build with the inputs your team already uses, then validate outputs with reproducible benchmark artifacts.
pip install catalyst-q
# Controlled hosted index:
pip install --index-url https://catalyst-q-sdk.strategic-innovations.ai/simple catalyst-q
Proof Harness
Catalyst-Q proof artifacts are benchmark-limited evidence for fixed TSP and VQE cases. They compare Catalyst-Q candidate rows against public baselines, record quality and time-to-best winners, and publish reproducibility hashes. The point is to let skeptical developers rerun the same cases.
cases_with_quality_win: 2 across exact TSP certificate and VQE chemical accuracy.
cases_with_time_win: 2 for fastest route to the best reported candidate result.
Run the proof harness
pip install catalyst-q
catalyst-q-prove --output-dir catalyst-q-proof-results
The generated artifact contains input_sha256, result_sha256,
baseline rows, candidate rows, and scoped winner fields. This is intentionally narrower than
a global performance claim.
What is proven
tsplib_att48_minireaches an exact TSP certificate and matches or beats nearest-neighbor and 2-opt baselines.vqe_h2_sto3greaches chemical accuracy against an exact H2-style reference.- Every result includes deterministic reproducibility hashes.
- Private solver internals are not disclosed.
Proof case matrix
| ID | Domain | Candidate | Baseline | Quality | Result hash |
|---|---|---|---|---|---|
tsplib_att48_mini | TSP | Catalyst-Q hosted solver | Nearest neighbor plus 2-opt | 0.000000% optimality gap | 38381052e5de7ba1 |
vqe_h2_sto3g | VQE | Catalyst-Q VQE evaluator | Hartree-Fock starting point | chemical accuracy within 0.0016 Hartree | 0f0fc1b47839e451 |
External proof sources
| Source | Use | URL |
|---|---|---|
| TSPLIB | TSP benchmark framing and instance conventions. | TSPLIB |
| PennyLane VQE | Reference VQE tutorial framing for H2-style energy comparison. | PennyLane VQE |
| MQT Bench | Quantum benchmark suite context for circuit-level evaluation. | MQT Bench |
| NIST BenchQC | Benchmarking toolkit framing for quantum computation artifacts. | NIST BenchQC |