The Observation Theory EncyclopediaFrom TSKAboutBy kindBy chapterBy Lean fileLedgerProvenance

transmission time interval concept

DefinitionThe one-millisecond slot in which a 5G tower schedules a transmission, abbreviated TTI. Chapter 13.
ExampleA coherence time of 20 milliseconds spans 20 slots.
BookData Mining as Observation, draft 0.2, commit f3914f0; entry id transmission-time-interval, kind concept.
Statusno ledger row names this entry. Corrections: none recorded.
Defining equation

Book equation 13.2.

Assumptions and scope
  • The one-millisecond slot in which a 5G tower schedules a transmission, abbreviated TTI. A duration of m milliseconds spans m slots, slots add over consecutive durations, and a longer duration spans more of them, which is the arithmetic the refresh floors are counted in.
  • The sealed floors were 4, 1, and 1 slots at Doppler frequencies of 10, 50, and 400 hertz, and the earlier fit of the floor as a fixed fraction of the coherence time was refuted and is not to be cited.
Prior artnone recorded
Evidencelean/DataMiningAsObservation/TTI.lean
Reviewednot yet reviewed; generated 2026-09-10 from records at the commits on the provenance page.
timeslotslotslotslotslot
The one-millisecond slot a tower schedules in.

Equation

Book equation 13.2.

\[\begin{gathered} T_{\mathrm{coh}}=\frac{0.423}{f_D}, \\ \text{refuted fit:}\ \ \phi\approx0.177\,T_{\mathrm{coh}}\ (R^{2}=0.915), \qquad \text{sealed:}\ \ \phi\le 6\ \text{TTI at }10\ \text{Hz},\ \ 1\ \text{TTI at}\ \ge50\ \text{Hz}. \end{gathered}\]

Conditions

Conditions are curated in entries.toml rather than read from a record.

Ledger

none

First stated

Chapter 0 section 0.13 of Data Mining as Observation, with the program’s sealed floors in observation-theory-campaigns/experiments/RADIO-FRESHNESS-TRACK.md:20-35.

Measurements

none

Failures and corrections

none

Invariance envelope

none declared

Machine checked

lean/DataMiningAsObservation/TTI.lean, theorems slots_of_ms, slots_add, slots_mono, slots_coherence, at observation-data-mining f3914f0; what the check covers is stated in the book’s appendix C.

Used in

Data Mining as Observation chapters 13.

Related

block error rate; coherence time; refresh floor; freshness.

See also

Book equations stated beside the entry’s terms, not defining it: 0.25.

Sources-table rows that share a record with the entry without naming it: chapter 13 section 13.3, chapter 13 section 13.4.

Status

Generated 2026-09-10 by encyclopedia/generate.py; book at observation-data-mining f3914f0; the commit of every record is listed in the encyclopedia’s provenance.

← transactiontranspose →