Manuscript En08-B@1 · En08-B.tex · section · 23cac52a
Stencil size and permission data
Resource ledger and effective specification › Stencil size and permission data · lines 1035–1067
En08-B@1#eq:stencil-size
The permission stencil obeys
Indeed, the integer cube with coordinate bound lies inside the Euclidean radius- ball, and that ball lies inside the coordinate radius- cube. Consequently
Permission is tested by the integer inequality
The model may use this fixed membership rule instead of storing a fully enumerated stencil. If the stencil is explicitly materialized, its entry count is , and its displacement-bit storage is . These documentary permission choices are not additional quantum registers.
Only the route sites are initialized in a given realization. The theorem does not require a quantum register at every site in a bounded continuum region, nor does it count a full infinite lattice as an initialized finite apparatus.
Displayed formulas in this passage
En08-B@1#eq:stencil-size · line 1038
unlabeled · line 1047
unlabeled · line 1052