Results Glossary Entry Canonical physics Holomorphic Entropy (IV.D80) is the holomorphic sector of the τ-Entropy Splitting (IV.D24): the count of breathing modes of a defect bundle that are compatible with holomorphic boundary data. It is the τ-categorical analog of the chiral hal…
Results · Physics Glossary · Quantity PG-Q15-holomorphic-entropy S_hol Canonical Lean · formalized

Holomorphic Entropy

Holomorphic Entropy (IV.D80) is the holomorphic sector of the τ-Entropy Splitting (IV.D24): the count of breathing modes of a defect bundle that are compatible with holomorphic boundary data. It is the τ-categorical analog of the chiral half of conformal entropy and the natural quantity for τ-quantum-information.

Physics Glossary Primary: IV.D80 thermodynamic holomorphic splitting e2 quantum info

τ-Definition

Holomorphic Entropy (IV.D80) is the holomorphic sector of the τ-Entropy Splitting (IV.D24): the count of breathing modes of a defect bundle that are compatible with holomorphic boundary data. It is the τ-categorical analog of the chiral half of conformal entropy and the natural quantity for τ-quantum-information.

Categorical invariant. S_hol(B) := log #{breathing modes of B compatible with holomorphic boundary data}; the holomorphic half of the Entropy Splitting decomposition.

Primary registry anchor: IV.D80

Supporting items: IV.D24, IV.D466, IV.P30

τ-Derivation Chain

  1. I.K0 — Universe Postulate establishes τ
  2. IV.D466 — Total Entropy as breathing-mode count
  3. IV.D24 — Entropy Splitting: S = S_hol + S_antihol
  4. IV.D80 — Holomorphic Entropy — the holomorphic-sector half
  5. IV.P30 — Entropy-Mode-Count Bound caps S_hol by holomorphic dimensional capacity

Lean modules referenced: TauLib.BookIV.QuantumMechanics.EnergyEntropy

SI Translation

Calibration anchor: PG-P01-neutron

Calibration chain:

  1. m_n (anchor)
  2. k_B via τ-conjugate ratio between energy and breathing-mode count

Manuscript reference: manuscript-sources/book-04/part04-quantum-mechanics/ch-energy-entropy.tex

Lean Coverage

Status: Formalized

Module: TauLib.BookIV.QuantumMechanics.EnergyEntropy

Lean kind: def

Cross-domain bridges

This glossary term sits on the boundary between domains. The τ-framework's cross-domain pivots are the structural junctions where physics, life, and metaphysics readouts meet.

Save or share this page for inspection

Download a portable dossier, copy a reviewer note, or send this page to someone who can inspect it.

Email to expert