Manuscript Oai265-A@2 · Oai265-A.tex · definition · c0a34a45
Definition: An -record
Stage 0: the frozen finite-domain package › A finite area-law record · lines 375–390
Oai265-A@2#def:record
A finite -record specifies the graph, tensor factors, Hamiltonian, normalized ground vector, declared gap certificate, boundary convention, and any independently supplied entropy allowance such that
on its stated region class.
It is a record of that state and those inequalities. It contains no logical encoding, radiation factor, emission sequence, or gravitational identification unless those objects are added explicitly.
Displayed formulas in this passage
unlabeled · line 381