{"id":"arxiv/2601.01324","url":"https://arxiv.org/abs/2601.01324","tags":["math.NT","math.GR","math.GT"],"score":0,"title":"Optimal Farey sequence for the Congruence subgroup $Γ_0(2^{n})$","domain":"math.NT","source":"arxiv","authors":["Nhat Minh Doan","Sang-hyun Kim","Mong Lung Lang","Ser Peow Tan"],"reviews":0,"subject":"math.NT","summary":"We prove that $Γ_0(2^n)$ ($n\\ge2$) has a Farey sequence $\\{e_i\\}$ such that $e_i \\le 2^{n-1}$ for all $e_i$. The above upper bound is optimal, and there exists a unique $j$ such that $e_j= 2^{n-1} $. For each $e_i$, there exists a unique $a_i$ such that $\\{ a_i/e_i\\}\\cup \\{\\infty\\}$ is the set of ideal vertices of a fundamental domain of $Γ_0(2^n)$ whose side-pairings give a set of independent generators of $Γ_0(2^n)$.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-01-04","reactions":{}}