Manuscript Em03-H@8 · Em03-H-v8.tex · section · 91e9e3bd

P8 specification and exact integer assembly

P8 specification and exact integer assembly · lines 603–623

The entrywise assembly bound is

∣ Q_{R, ij} ∣, ∣ Q_{I, ij} ∣ \leq 1820 \cdot 65521 = 119248220.

Assembly and trace sums fit signed 64-bit integers. The complete square sum is evaluated with arbitrary-size Python integers.

The v8 inspector constructs the same Majoranas independently by

Γ_{2 j - 1} = Z^{\otimes (j - 1)} \otimes X \otimes I^{\otimes (8 - j)}, Γ_{2 j} = Z^{\otimes (j - 1)} \otimes Y \otimes I^{\otimes (8 - j)} .

Their monomial entries are exactly representable Gaussian units. This is a distinct construction from the historical occupation-action assembly, not a second call to its assembly routine.

Displayed formulas in this passage

unlabeled · line 606
$∣ Q_{R, ij} ∣, ∣ Q_{I, ij} ∣ \leq 1820 \cdot 65521 = 119248220.$
unlabeled · line 614
$Γ_{2 j - 1} = Z^{\otimes (j - 1)} \otimes X \otimes I^{\otimes (8 - j)}, Γ_{2 j} = Z^{\otimes (j - 1)} \otimes Y \otimes I^{\otimes (8 - j)} .$

P8 specification and exact integer assembly

Displayed formulas in this passage

Nearby in this section