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.

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.

Distinguish quantum channels and find the optimal input state

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.