Typo in Blueprint

Stream: Sphere packing in 8 dimensions

[Raphael Appenzeller]

Hi. I started formalizing a part of the definition of the magic functions. I ran into a typo (just a missing -1) in Lemma 7.16 in the blueprint. The last formula there should be

$$\psi_S(z) = 128 \frac{H_4(z)-H_2(z)}{H_3(z)^2} - 128 \frac{H_2(z) + H_3(z)}{H_4(z)^2}$$

This can be directly verified by using the formula for $\psi_I(z)$ in the same Lemma, together with the definition of $H_i |_{\pm 2} S (z)= z^{\mp 2} H_i (Sz)$ and the formulas in Lemma 6.34.
Or is there another specific form that will be more useful later?
I am not super familiar with git. Should I try to modify sec--fourier-double-zeroes.html myself and push it, or can someone else do the change?

[Seewoo Lee]

You're right, that's indeed a typo, you can simply put $-$ in front of the first term though (I was a bit confused for seconds, but basically the same). The original equation is (48) in Viazovska's paper, where all $\theta_{10, 00, 01}^4$ are replaced with $H_{2,3,4}$.
The html files are automatically generated by the blueprint, so you don't touch them but the corresponding latex file. You can make a PR with simply adding - to this line.