The exponential growth conjecture for generalized numerical semigroups

Let dN>0d\in\mathbb{N}_{>0}, let FNdF\in\mathbb{N}^d, and let N(F)N(F) denote the number of generalized numerical semigroups with Frobenius element FF. For d5d\ne 5, define d1=d+13d_1=\left\lceil\frac{d+1}{3}\right\rceil and

ad=((3)12di=d1dd1(di)×(2)12di=dd1+12d11(di)),a_d=\left(\left(\sqrt{3}\right)^{\frac{1}{2^{d}}\sum_{i=d_1}^{d-d_1}\binom{d}{i}}\times \Big(2\Big)^{\frac{1}{2^d}\sum_{i=d-d_1+1}^{2d_1-1}\binom{d}{i}}\right),

while a5=2a_5=\sqrt{2}. The exponential growth conjecture. For each dN>0d\in\mathbb{N}_{>0}, N(F)N(F) is of the magnitude of adFa_d^{\|F\|}. The paper establishes the bounds adF1N(F)O(FbdF)a_d^{\|F-1\|}\leq N(F)\leq O\left(\|F\|b_d^{\|F\|}\right), with 2adbd<3\sqrt{2}\leq a_d\leq b_d<\sqrt{3} and both constants tending to 3\sqrt{3} as dd\to\infty. Determining whether the lower-bound base ada_d gives the actual exponential magnitude of N(F)N(F) remains open.

Sources & referencesView supporting material

Primary source

Deepesh Singhal and Yuxin Lin, “Frobenius allowable gaps of Generalized Numerical Semigroups”, arXiv:2103.15983 (2021).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.