Manuscript IX-Free@1 · IX-Free.tex · section · 33b20e96

Uncompleted degree-four blocks

F5–F6: actual maps and the remaining overlap gates › Uncompleted degree-four blocks · lines 1170–1185

IX-Free@1#eq:lambdaL, IX-Free@1#eq:lambdaR

The degree-four prescriptions remain

λ^{L}_{1} (f, g, f^{'}) λ^{R}_{1} (f, g, f^{'}) = G_{13} + G_{23}, = G_{12} + G_{13}, λ^{L}_{2} (f, g, f^{'}) λ^{R}_{2} (f, g, f^{'}) = G_{13, 23}, = G_{12, 13} .

Their values now exist and are admitted. The unresolved question is whether they factor through $p_{L}, p_{R}$ .

Displayed formulas in this passage

IX-Free@1#eq:lambdaL · line 1173
$λ^{L}_{1} (f, g, f^{'}) λ^{R}_{1} (f, g, f^{'}) = G_{13} + G_{23}, = G_{12} + G_{13}, λ^{L}_{2} (f, g, f^{'}) λ^{R}_{2} (f, g, f^{'}) = G_{13, 23}, = G_{12, 13} .$
IX-Free@1#eq:lambdaR · line 1173
$λ^{L}_{1} (f, g, f^{'}) λ^{R}_{1} (f, g, f^{'}) = G_{13} + G_{23}, = G_{12} + G_{13}, λ^{L}_{2} (f, g, f^{'}) λ^{R}_{2} (f, g, f^{'}) = G_{13, 23}, = G_{12, 13} .$