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
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 . Thus energy has units , inverse temperature and the positive model parameter have units , and 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 whose measure assigns model spectral weight to energy intervals. Adopt
The density has units , so 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.
Postulate references
Remarks
The prior restricted semiclassical AdS entropy dictionary Restricted semiclassical entropy dictionary concerns bulk dimension with , 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
- Phil Saad, Stephen H. Shenker, and Douglas Stanford, JT gravity as a matrix integral, §§3.3.5, 3.5, and 6
- Thomas G. Mertens and Gustavo J. Turiaci, Solvable models of quantum black holes: a review on Jackiw–Teitelboim gravity, §§3.1 and 4.3–4.4
- Gábor Sárosi, AdS2 holography and the SYK model, lecture notes