Continued thread
A couple captures from the stream (haven't read the paper yet!)
Left: the pattern found in the REU: fix a pair of curvatures (from admissible congruence classes) and plot a black dot if no packing has that pair. Local-global conjecture says this should "empty out", but doesn't seem to be happening!
Right: now that they know what to look for, another way of discovering a pattern: plot differences between missing curvatures and a striking structure emerges after the initial mess.
![My final attempt, where each pixel is checked for an intersection between [Gamma(x0), Gamma(x1)] and [Gamma(y0), Gamma(y1)] with some special handling of the case where one is undefined.](https://media.mathstodon.xyz/media_attachments/files/112/165/957/048/759/353/original/0b904f3df55d118b.png "My final attempt, where each pixel is checked for an intersection between [Gamma(x0), Gamma(x1)] and [Gamma(y0), Gamma(y1)] with some special handling of the case where one is undefined.")
