Thermal qubit channel capacity calculator

Family 276: Classical capacity of generalized amplitude damping. First application triage, 9 October 2026 Australia/Brisbane.

Problem and potential new use

Quantum communication teams can replace a generic ensemble search with the stated scalar optimization and track the maximizing binary signal ensemble.

Applicability and commercial boundary

The capacity is unassisted classical information for a memoryless GAD channel with collective decoding. Separate measurement decoding and arbitrary-partner additivity are outside selected formal scope; channel fit must be independently assessed.

Initial business decision

Prototype numerical benchmark. Buyer budget, commercial novelty and profitability are unvalidated.

Next verification action

Implement the exact parameter convention and analytic endpoint/symmetry checks, labeling the optimizer as floating-point evidence.

Evidence scope

The catalog statement was individually reviewed. Main-paper abstract passages and available family scope notes were also inspected; paper-level theorem and algorithm details still require deeper review. No independent Lean check was run. Source revision fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb. See source metadata.

Main source

Classical capacity and entropy inequalities for generalized amplitude damping.