The sharp quotient bounds conjecture for the Möbius metric in sectors

From papers

Let Q(k,θ)Q(k,\theta) denote the quotient studied in the paper, with 0<k<10<k<1 and 0<θ<2π0<\theta<2\pi. The sharp quotient bounds conjecture. For all such kk and θ\theta,

1=limk1Q(k,θ)Q(k,θ)limk0+Q(k,θ)=θsin(θ/2)2πsin2(θ/4),θ<π,1=\lim_{k\to1^-}Q(k,\theta)\leq Q(k,\theta)\leq\lim_{k\to0^+}Q(k,\theta)=\frac{\theta\sin(\theta/2)}{2\pi\sin^2(\theta/4)},\qquad \theta<\pi,

and

θsin(θ/2)2πsin2(θ/4)=limk0+Q(k,θ)Q(k,θ)limk1Q(k,θ)=1,θ>π.\frac{\theta\sin(\theta/2)}{2\pi\sin^2(\theta/4)}=\lim_{k\to0^+}Q(k,\theta)\leq Q(k,\theta)\leq\lim_{k\to1^-}Q(k,\theta)=1,\qquad \theta>\pi.

The conjecture is motivated by numerical evidence that Q(k,θ)Q(k,\theta) is monotone in kk, decreasing for θπ\theta\leq\pi and increasing for θπ\theta\geq\pi; its resolution is not stated.

Progress summary

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

Sources & referencesView supporting material

Primary source

Oona Rainio and Matti Vuorinen, “Möbius metric in sector domains”, arXiv:2104.05972 (2023).

Solutions 0

No solutions have been posted yet.