feat(PhyslibAlpha): QuantumThermodynamics — thermal state, Landauer bound, area API-map - #1409

Draft

fliingelephant wants to merge 3 commits into

leanprover-community:masterfrom

fliingelephant:alpha/quantum-thermal

Commits on Jul 10, 2026

feat: quantum thermal state with Gibbs relative-entropy balance

fliingelephant
and
Claude Fable 5
committed
feat: Landauer erasure bound over the thermal state

fliingelephant
and
Claude Fable 5
committed
feat: QuantumThermodynamics area API-map and alpha registration

fliingelephant
and
Claude Fable 5
committed