9

The number of groups of order $2048$ is unknown.

What are the tightest known bounds (lower and upper bounds : I am interested in both) for the number of groups of order $2048$ ?

I know the asymptotic formula for $p^k$, but I do not think that it gives a useful bound for $p^k=2048$. Somewhere, I read that a subset of the groups (but I do not remember what kind of subset) was calculated to obtain a lower bound.

Can it be estimated how long it will take to determine the number ?

Peter
  • 86,576
  • Should I post this question also in the math-overflow-forum ? – Peter Dec 02 '15 at 15:30
  • The exact number is not known: http://groupprops.subwiki.org/wiki/Groups_of_order_2048 – lhf Dec 02 '15 at 15:34
  • @Ihf This is the reason, I am asking for bounds. – Peter Dec 02 '15 at 15:37
  • 3
    It would be an appropriate question for mathoverflow, but the convention is that you should not post to both sites simultaneously, so you should wait a few hours before posting it there. You could also try e-mailing Eamon O'Brien and askig him, – Derek Holt Dec 02 '15 at 16:30
  • I would also be interested in any information of $\operatorname{gnu}(59049)$, which seems to be more or less equally close to $\operatorname{gnu}(3072)$ and $\operatorname{gnu}(2048)$ in the sense of the order of magnitude :) – Jianing Song Aug 28 '23 at 01:12

2 Answers2

4

According to the second paragraph of https://www.math.auckland.ac.nz/~obrien/research/gnu.pdf (which I posted in another of your questions yesterday)

"[The number of groups of order 2048] is still not precisely known, but it strictly exceeds 1774274116992170, which is the exact number of groups of order 2048 that have exponent-2 class 2, and can confidently be expected to agree with that number in its first 3 digits. "

This is probably the best answer you can get easily.

verret
  • 7,336
  • 8843740 of the 10494213 groups of order 512 (about 84%) have nilpotency class $2$ (I didn't calculate the exponent $2$-class - I can do that). – Derek Holt Dec 03 '15 at 09:37
3

I believe the subset of groups you're thinking of is the set of $p$-class 2 groups of order $p^n$. Higman uses this to obtain his lower bound which is $$ p^{\frac{2}{27}(n^3-6n^2)}.$$ Thus, a lower bound on the number of groups of order $2^{11}$ is $2^{\frac{1210}{27}}\approx 3\times 10^{13}$.

In that same paper, Higman computes an easy upper bound of $$p^{\frac{1}{6}(n^3-n)},$$ which gives us an upper bound of $2^{220}\approx 10^{66}$.

The upper bound here is not the best known (even Higman gives a slightly better asymptotic bound in the same paper), but I think the lower bound might be the best we have.

JMag
  • 522
  • 3
  • 9