arXiv Science⌕ Search

arXiv · 2611.06941

Maximal Absolute Monotonicity of Balanced Rational Functions with a Single Repeated Pole

Abstract

We study the radius of absolute monotonicity of rational approximations to the exponential of the form \[ ϕ(z)=\frac{P(z)}{(1-z/b)^s}, \qquad b>0,\qquad °P\le s, \] with approximation orders two and three. For second-order approximation, we prove that the maximal radius in degree $s=5$ is $10$ and determine the unique extremizer. Hence the conjectured value $2s$ by Lóczi and Ketcheson (LMS Journal of Computation and Mathematics, 17 (2014), no.~1, 159--205) remains valid in this case. In contrast, for every integer $s\ge6$ we construct explicitly a rational function with rational coefficients and exact radius \[ 2s+\frac{4(s-3)}{s^2-3s+4}>2s. \] For third-order approximation, we construct, for every $s\ge5$, an explicit rational family with exact radius \[ 2s-1>s-1+\sqrt{s^2-1}. \] These constructions disprove the conjectures of Lóczi and Ketcheson concerning rational functions with a single repeated pole.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Rachid Ait-Haddou. 2026-10-31. Maximal Absolute Monotonicity of Balanced Rational Functions with a Single Repeated Pole. https://arxiv.org/abs/2611.06941

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Irreducibility of the Cuboid Polynomial $P_{a,u}(t)$ via a Rank-Zero Elliptic Curve

In this paper we study the even monic degree-8 cuboid polynomial $P_{a,u}(t)$ introduced by R. A. Sharipov in the first-cuboid specialization of his cuboid equations. For nonzero integers $a,u$ with $u^2\neq a^2$ we prove that $P_{a,u}(t)$ is irreducible in $\mathbb{Z}[t]$ (equivalently, in $\mathbb{Q}[t]$), thus confirming Sharipov's irreducibility conjecture in this two-parameter case. Over $K=\mathbb{Q}(\sqrt2)$ we have a factorization $P_{a,u}(t)=H_-(t)H_+(t)$ into two conjugate quartics. We show that reducibility of either $H_\pm$ would force the discriminant of a certain quadratic in $S=t^2$ to be a square in $K$, which in turn implies (via $τ=(au/Δ)^2$, where $Δ=u^2-a^2$) the existence of a rational point $(y,v)\in\mathcal{C}(\mathbb{Q})$ on the genus-one quartic $\mathcal{C}: v^2=16y^4+136y^2+1$ with $y^2=τ$. We give an explicit isomorphism $\overline{\mathcal{C}}\simeq E$ with the elliptic curve $E: Y^2=X(X-8)(X-9)$, which has conductor $48$ and Mordell-Weil rank $0$. Enumerating $E(\mathbb{Q})$ and tracing back to $\mathcal{C}(\mathbb{Q})$ rules out the only possible values $τ\in\{0,1/4\}$, and hence excludes any further factorization of $H_\pm$ in $K[t]$. A quadratic Galois descent then yields the irreducibility of $P_{a,u}(t)$ over $\mathbb{Q}$ and $\mathbb{Z}$.

math.GM↗

Irreducibility of the Cuboid Polynomial $Q_{p,q}(t)$ via the Rank-One Chabauty-Coleman Method

Let $Q_{p,q}(t)\in\mathbb{Z}[t]$ be Sharipov's even monic degree-$10$ second cuboid polynomial, with coprime positive integers $p\ne q$. We prove that $Q_{p,q}(t)$ is irreducible over $\mathbb{Q}$, and hence over $\mathbb{Z}$. More generally, the normalized associated quintic $P_s(x)$ and its composition $P_s(t^2)$ are irreducible over $\mathbb{Q}$ for every $s\in\mathbb{Q}\setminus\{0,\pm1\}$. The proof reduces linear and quadratic factors to rational points and horizontal conjugate pairs on one fixed genus-$2$ curve. A certified rank upper bound for its Jacobian, together with an exact divisor calculation, gives a rank-one annihilating differential at the prime $3$. For the quadratic-factor case, the symmetric coordinates of a horizontal pair lie on an explicit double cover of an elliptic quartic. All rational affine points on this model are $3$-adically integral and reduce to six smooth residue classes. The pulled-back differential is a unit in each class, proving that six displayed points form the complete list. Their coordinates exclude every admissible parameter. A negative real root of the irreducible quintic then supplies the additional degree argument required for irreducibility of the degree-$10$ polynomial. The rank computation and all exact arithmetic certificates are specified explicitly for reproduction.

math.GM↗