I was teaching the HyperLogLog estimator in class earlier this week and a student asked where the “hyper” bit came from. I know that HyperLogLog is a refinement/improvement to the LogLog estimator, so in one sense “HyperLogLog” makes sense as a way of saying “a better LogLog.” What I wasn’t sure about was whether there were any specific parts of the analysis or design that specifically would merit the term (hypergeometric functions? hypergraphs? hyperbolas?).
Beyond just meaning “better than LogLog,” is there any specific mathematical reason for calling it “HyperLogLog?”