Higman's PORC conjecture

Statement
For a prime number $$p$$ and a natural number $$n$$, define $$f(p,n)$$ as the number of isomorphism classes of groups of order $$p^n$$ (thus, the number of groups of prime power order). The conjecture is that for any fixed $$n$$, $$f(p,n)$$ is a fact about::PORC function of $$p$$.

Note that a function on primes is PORC iff it is PORC on all but finitely many primes, because the finitely many primes can be incorporated by multiplying them with the modulus of the residue classes. Thus, the conjecture can be reformulated as stating that $$f(p,n)$$ is a PORC function of $$p$$ for all sufficiently large $$p$$.

Related facts

 * Higman-Sims asymptotic formula on number of groups of prime power order
 * Higman's PORC theorem for Frattini class two

Partial truth
Higman's PORC conjecture has been verified for $$n \le 7$$. The PORC functions are given below.

Likely falsehood
A paper by du Sautoy and Vaughan-Lee showed that a potential refinement of the PORC conjecture that would claim that the number of immediate descendants is a PORC function turns out to be false for the order $$p^{10}$$ descendants of a group of order $$p^9$$, and explained why this meant that the PORC conjecture was likely to be false. Explicitly, what du Sautoy and Vaughan-Lee demonstrated is the following:


 * In all the cases where the PORC conjecture has been established, it has been established by showing that the number of immediate descendants of a group with a prime-parametric description is a PORC function of the prime, and then summing up over a number of possibilities and using the fact that a sum of PORC functions is a PORC function.
 * du Sautoy and Vaughan-Lee constructed a torsion-free nilpotent group $$G$$ of Hirsch length 9 and class two, arising as the du Sautoy nilpotent group for the elliptic curve $$y^2 = x^3 - x$$, such that the corresponding groups $$G_p$$ obtained by taking the quotient of $$G$$ by its $$p^{th}$$ powers for different primes $$p$$ behaved in a fashion that mimicked the unpredictability of the elliptic curve itself.
 * They argued that one of the summands to the expression that would give the number of groups of order $$p^{10}$$ was not a PORC function, unlike the cases where the conjecture had been established, where all the summands are PORC functions.
 * It would still be possible that there could be other summands that cancel the non-PORCness of the existing summand and still yield a sum that is a PORC function; however, the authors considered that unlikely, and believed that the sum itself would be a non-PORC function.

Thus, the result probably breaks down at $$p^{10}$$. Its truth for $$p^8$$ and $$p^9$$ is unknown.