This, apparently, is what happens when you try to compile a graph with 16,410 edges using GraphViz’s dot:
It’s hard to tell what’s going on here; perhaps it would be a little easier on a much smaller subset of the graph; with 1531 edges, rendered under fdp:
A bit clearer, but still incredibly messy.
Figured it out yet? Well, it’s pretty obvious that the vertices are numbers — and specifically prime numbers. But it’s also a multigraph; that’s interesting, but we could do without the noise, so here’s a version with all redundant edges removed (dot also works better than fdp here):
Okay, so I’ll cut to the chase: they’re graphs, , where is the set of prime numbers under and two primes have an edge connecting them if there exist two weak Goldbach summations (where are all prime) that agree on two terms. I don’t know if these graphs have any mathematical significance whatsoever, but nonetheless I found it pretty interesting to think about. In particular, I’m wondering if inferring a simplicial complex from the complete subgraphs on these might render some insights; I notice $K_6$ is induced by and ; I have to wonder how and in what way these graphs grow as additional primes are added.
Also the case is slightly more intelligible without duplicate edges.
(Mind you, I very well might’ve made errors in my code, and there may be some edges erroneously present or absent. It’s late and I’m too exhausted to think about that at the moment.)