quantum-channels

|toqito> (Theory of Quantum Information Toolkit) is a Python library for research in quantum information theory.

Quantum information and channels, formalized in Lean 4: quantum states and entanglement theory, channel representations, Kadison-Schwarz theory, quantum Perron-Frobenius and spectral theory, GKSL semigroups, and entropy, following Wolf's Quantum Channels & Operations

Libraries for several quantum stuff.

Python research toolkit for structure-fair quantum circuit complexity: build and audit finite-control models, verify reference certificates, and compute conditional lower bounds from terminal-state information.

Precision-dependent heat costs of single-use quantum operations: rigorous bounds, explicit thermal implementations, reproducible calculations, and a self-contained textbook-based tutorial.

Distinguish quantum channels and find the optimal input state

A bounded, epistemically-labeled CLI harness verifying model-output consistency for a phenomenological spacetime-curvature -> quantum-channel mapping. Model-consistency only, not a physics proof.

A training-free, channel-level audit that tests whether a noisy quantum neural network still respects an intended symmetry once the ideal circuit is composed with hardware noise.

Proofs and reproducible certificates for geometric conditions that yield zero optimized single-use coherent information but positive quantum capacity in flagged qubit channels with noisy measurement records, including a certified eight-use witness.