Alphabeta Math
PostulateStatement: Literature-sourcedProof: Not applicablePipeline-generated‡ sources checked 2026-10-22
How statement and proof provenance work

The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.

  • Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
  • AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
  • AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.

These labels describe origin, not correctness: citations and verification chips remain separate evidence.

Adopted JT disk spectral model

Physical scope

An adopted continuous genus-zero disk density for the specified two-dimensional Jackiw–Teitelboim (JT) model in natural units. It asserts no particular individual exact energy spectrum, higher-topology contribution, or empirical validity.

Postulate

Use natural units c=ℏ=kB=1. Thus energy E has units s−1, inverse temperature β and the positive model parameter C have units s, and S0∈R is dimensionless. In this item, JT disk model means only the disk-sector spectral model with the density specified below; the label refers to the cited two-dimensional Jackiw–Teitelboim calculations and adopts no additional field equation or path-integral construction. Genus-zero disk contribution means the single connected disk term, with one boundary and no handles, in the formal expansion by spacetime topology. A nonperturbative completion means additional exact model data that select an exact theory beyond the terms fixed by that formal expansion.

A continuous spectral density here is a nonnegative function ρ0:(0,∞)→[0,∞) whose measure ρ0(E) dE assigns model spectral weight to energy intervals. Adopt

ρ0(E):=eS0C2π2sinh⁡ ⁣(2π2CE),E>0.

The density has units s, so ρ0(E) dE is dimensionless. This postulate specifies a continuous disk-level input only. It does not specify an individual discrete energy spectrum, sum higher-topology terms, choose a nonperturbative completion, or assert that the model describes nature.

Remarks

The prior restricted semiclassical AdS entropy dictionary Restricted semiclassical entropy dictionary concerns bulk dimension d+1 with d≥2, and is background context only for this two-dimensional disk model: none of its entropy-dictionary assumptions is adopted here, and it does not derive this disk density. The disk expression remains a separate adopted input; any exact boundary quantum system, higher-genus expansion, or nonperturbative completion is outside this postulate.

Dependency tree · 0 levels

Nothing. This result depends on no other item in the library.

Sources