Legendre compressions and an integrality conjecture for the Hörmander--Bernhardsson extremal function
Fuente:
arXiv
Salvato in:
| Autore principale: | |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2026
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866910072562515968 |
|---|---|
| author | Nguyen-Dang, Khai-Hoan |
| author_facet | Nguyen-Dang, Khai-Hoan |
| contents | We prove Conjecture~2 of Bondarenko, Ortega-Cerdà, Radchenko, and Seip for the three-term recurrence attached to the Hörmander--Bernhardsson extremal function $φ$. More precisely, define \[ \widetilde u_{-1}=0,\qquad \widetilde u_0=1, \] and \[ \widetilde u_{n+1} = \frac{4n+2}{n+1}\bigl(n(n+1)-λ\bigr)\widetilde u_n + \frac{4n}{n+1}x\,\widetilde u_{n-1}. \] Then \[ \widetilde u_n(x,λ)\in\mathbb Z[x,λ] \qquad(n\ge0). \]
The proof is a determinant comparison in the scaled Legendre basis. After sign reversal and central-binomial normalization, the recurrence becomes exactly the continuant recurrence of a finite tridiagonal compression. In particular, if $T_n(a,λ)$ denotes the $n$th BOCRS tridiagonal truncation, then \[ \widetilde u_{n+1}(a^2,λ)=\binom{2n+2}{n+1}\det T_n(a,λ). \]
As consequences, we derive that \[ \left(\fracπ{4C}\right)^2 \quad\text{and}\quad -\frac{L_τ(1)}{2C} \] are not simultaneously rational, where \(C\) is the sharp point-evaluation constant for $PW^1$, $\pmτ_n$ are the nonzero zeros of $φ$, and $ L_τ(1)=\sum_{n\ge1}\frac{(-1)^n}{τ_n}.$ Finally, if we write $φ(z)=\sum_{n\ge0}c_n z^{2n},$ then \[ c_n\in C^n\,\mathbb Z[π^2,C,L_τ(1)] \qquad(n\ge0). \] |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2603_24504 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | Legendre compressions and an integrality conjecture for the Hörmander--Bernhardsson extremal function Nguyen-Dang, Khai-Hoan Number Theory Complex Variables We prove Conjecture~2 of Bondarenko, Ortega-Cerdà, Radchenko, and Seip for the three-term recurrence attached to the Hörmander--Bernhardsson extremal function $φ$. More precisely, define \[ \widetilde u_{-1}=0,\qquad \widetilde u_0=1, \] and \[ \widetilde u_{n+1} = \frac{4n+2}{n+1}\bigl(n(n+1)-λ\bigr)\widetilde u_n + \frac{4n}{n+1}x\,\widetilde u_{n-1}. \] Then \[ \widetilde u_n(x,λ)\in\mathbb Z[x,λ] \qquad(n\ge0). \] The proof is a determinant comparison in the scaled Legendre basis. After sign reversal and central-binomial normalization, the recurrence becomes exactly the continuant recurrence of a finite tridiagonal compression. In particular, if $T_n(a,λ)$ denotes the $n$th BOCRS tridiagonal truncation, then \[ \widetilde u_{n+1}(a^2,λ)=\binom{2n+2}{n+1}\det T_n(a,λ). \] As consequences, we derive that \[ \left(\fracπ{4C}\right)^2 \quad\text{and}\quad -\frac{L_τ(1)}{2C} \] are not simultaneously rational, where \(C\) is the sharp point-evaluation constant for $PW^1$, $\pmτ_n$ are the nonzero zeros of $φ$, and $ L_τ(1)=\sum_{n\ge1}\frac{(-1)^n}{τ_n}.$ Finally, if we write $φ(z)=\sum_{n\ge0}c_n z^{2n},$ then \[ c_n\in C^n\,\mathbb Z[π^2,C,L_τ(1)] \qquad(n\ge0). \] |
| title | Legendre compressions and an integrality conjecture for the Hörmander--Bernhardsson extremal function |
| topic | Number Theory Complex Variables |
| url | https://arxiv.org/abs/2603.24504 |