Explicit Apéry set formula for Γ_6

About 4 years old · traced to

Let Γ6\Gamma_6 be generated by sn=n2[2a+(n−1)d]s_n=\frac{n}{2}[2a+(n-1)d] for 1≤n≤61\leq n\leq 6, where a,d>0a,d>0 and gcd⁡(a,d)=1\gcd(a,d)=1. For n∈Nn\in\mathbb{N}, write

n=15s4n+t4n,0≤t4n≤14,n=15s_{4n}+t_{4n},\qquad 0\leq t_{4n}\leq 14, t4n=10s3n+t3n,0≤t3n≤9,t_{4n}=10s_{3n}+t_{3n},\qquad 0\leq t_{3n}\leq 9, t3n=6s2n+t2n,0≤t2n≤5,t_{3n}=6s_{2n}+t_{2n},\qquad 0\leq t_{2n}\leq 5, t2n=3s1n+t1n,0≤t1n≤2.t_{2n}=3s_{1n}+t_{1n},\qquad 0\leq t_{1n}\leq 2.

Set S={12,20+15k,23+15k,27+15k∣k≥0}S=\{12,20+15k,23+15k,27+15k\mid k\geq0\} and define

ν(n)={2t1n+3s1n+4s2n+5s3n+6s4n,n∉S,2t1n+3s1n+4s2n+5s3n+6s4n−1,n∈S∖{20+15k∣k≥0},2t1n+3s1n+4s2n+5s3n+6s4n−3,otherwise.\nu(n)= \begin{cases} 2t_{1n}+3s_{1n}+4s_{2n}+5s_{3n}+6s_{4n},&n\notin S,\\ 2t_{1n}+3s_{1n}+4s_{2n}+5s_{3n}+6s_{4n}-1,&n\in S\setminus\{20+15k\mid k\geq0\},\\ 2t_{1n}+3s_{1n}+4s_{2n}+5s_{3n}+6s_{4n}-3,&\text{otherwise.} \end{cases}

Explicit Apéry-set conjecture for Γ6\Gamma_6. The Apéry set of Γ6\Gamma_6 with respect to aa is

Ap⁡(Γ6,a)={ν(n)a+nd∣n∈{1,…,a−1}}∪{0}.\operatorname{Ap}(\Gamma_6,a)=\{\nu(n)a+nd\mid n\in\{1,\ldots,a-1\}\}\cup\{0\}.

This gives an explicit description of the Apéry set in the six-generator case and is intended to support the study of unique expansions and tangent cones; the source gives no resolution of the formula.

References

Primary source

Joydip Saha and Gaurab Tripathi, “Numerical Semigroups with unique Apery expansions II”, arXiv:2206.10994 (2022).

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.