The exponential growth conjecture for generalized numerical semigroups

About 5 years old · traced to

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

ad=((3)12d∑i=d1d−d1(di)×(2)12d∑i=d−d1+12d1−1(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 d∈N>0d\in\mathbb{N}_{>0}, N(F)N(F) is of the magnitude of ad∥F∥a_d^{\|F\|}. The paper establishes the bounds ad∥F−1∥≤N(F)≤O(∥F∥bd∥F∥)a_d^{\|F-1\|}\leq N(F)\leq O\left(\|F\|b_d^{\|F\|}\right), with 2≤ad≤bd<3\sqrt{2}\leq a_d\leq b_d<\sqrt{3} and both constants tending to 3\sqrt{3} as d→∞d\to\infty. Determining whether the lower-bound base ada_d gives the actual exponential magnitude of N(F)N(F) remains open.

References

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.