Manuscript Hawk02-E@1 · Hawk02-E.tex · section · 4841592b
Source algebra and frozen couplings
One fixed interacting microscopic model › Source algebra and frozen couplings · lines 332–403
Hawk02-E@1#eq:HS, Hawk02-E@1#eq:coupling-A
Let , and let be Majorana operators satisfying
They act on
This normalization is fixed throughout; conversion to another SYK normalization must rescale the couplings explicitly.
Freeze a real array . Set
Products of four distinct Majoranas are self-adjoint and have norm one. Consequently,
The added constant fixes an energy reference. It is not a gravitational mass normalization.
No disorder average is taken. Theorems below hold for each frozen array. They do not imply that every array has a useful recovery regime or a gravitational interpretation.
Define commuting source spins
For a fixed vector , set
Then is even, self-adjoint, and has norm at most one.
Fix real coefficients , and define
Thus
This polynomial coupling is independently specified before channel certification. It is not selected after seeing a favorable decoder.
For notational flexibility, the analytical estimates also permit a fixed finite family of even self-adjoint operators . The model used for the scalar comparison may take all .
Displayed formulas in this passage
Hawk02-E@1#eq:HS · line 352
Hawk02-E@1#eq:coupling-A · line 389
unlabeled · line 336
unlabeled · line 342
unlabeled · line 365
unlabeled · line 378
unlabeled · line 383
unlabeled · line 394