Manuscript II-B@1 · II-B-v1.tex · section · bfd2eb3c

Complete integer encoding

Complete contacts and the exact three-row certificate › Complete integer encoding · lines 999–1040

II-B@1#eq:encoding

At $β_{+}$ , the covariant momenta are the rows of

K = - 1 - 1 11 00 - 1 1 0000 1 - 1 00,

and

H_{1} = 200 - 1 00000000 - 1 000, H_{2} = A, H_{3} = H_{4} = B .

Let $c_{I, P}$ be (eq:evaluator) evaluated using these integer data and $J = (1, 1, 2, 2)$ . With

I = (3 - I_{1}, 3 - I_{2}, 3 - I_{3}, 3 - I_{4}),

the entire evaluated matrix is

m_{S} = 0 16/3 16/3, (N_{S})_{:, (I, P)} = 0 c_{I, P} c_{I, P} .

The first row is Lemma lem:blind, and the last row is species exchange. Equation (eq:encoding), together with (eq:evaluator), specifies all $45360$ entries.

Displayed formulas in this passage

II-B@1#eq:encoding · line 1028
$m_{S} = 0 16/3 16/3, (N_{S})_{:, (I, P)} = 0 c_{I, P} c_{I, P} .$
unlabeled · line 1002
$K = - 1 - 1 11 00 - 1 1 0000 1 - 1 00,$
unlabeled · line 1012
$H_{1} = 200 - 1 00000000 - 1 000, H_{2} = A, H_{3} = H_{4} = B .$
unlabeled · line 1024
$I = (3 - I_{1}, 3 - I_{2}, 3 - I_{3}, 3 - I_{4}),$

Nearby in this section

lemma: Lemma: A finite bound for the table probe