Searcharxiv⌕ Search

arXiv · 2610.36132

Hankel determinants for the $(n+2)$-shifted $q$-metallic numbers

Abstract

Let $Φ_n(q)$ denote the $q$-deformation (in the sense of Morier-Genoud & Ovsienko) of the metallic number $ϕ_n=\frac{n+\sqrt{n^2+4}}{2}$. This is a power series with integer coefficients. We prove that the Hankel continued fraction of the $(n+2)$-shifted series $Φ_n^{(n+2)}$ is eventually periodic, and that the corresponding Hankel determinant sequence $Δ^{(n+2)}$ is $2n(n+1)$-periodic if $n$ is even, $2n(n+1)$-antiperiodic if $n$ is odd, and that it takes only the values $-2,-1,0,1,2$. This confirms part of a former conjecture of ours and complements similar results we obtained for all $\ell$-shifts of $Φ_n$ with $0\le\ell\le n+1$. In addition, we formulate a new conjecture of quasi-polynomiality for higher shifts $\ell\ge n+3$. The determinant values arise as telescoping products of the partial numerators of the Hankel continued fraction. Most of the technically involved and lengthy verifications are carried out by a symbolic computation program, whose code is publicly available on GitHub for independent verification.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Guo-Niu Han, Emmanuel Pedon. 2026-10-26. Hankel determinants for the $(n+2)$-shifted $q$-metallic numbers. https://arxiv.org/abs/2610.36132

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

KEEP EXPLORING

Related papers

Effective Chebotarev-Sato-Tate distribution for Abelian varieties with applications

We establish a uniform effective Chebotarev-Sato-Tate estimate for abelian varieties, conditional on the Mumford-Tate conjecture and the standard analytic conjectures for L-functions attached to the irreducible representations of the Chebotarev-Sato-Tate group. The proof uses spectral majorants and minorants of indicator functions. For regions whose boundaries have finite upper (d-1)-dimensional Minkowski content, the resulting exponent improves that in Bucur et al. (Theorem 1.1, 2024) whenever the Sato-Tate group has rank greater than one. We establish uniform estimates for regions and finite Galois extensions that vary with the counting parameter, and for prime-dependent regions satisfying an explicit variation condition. As an application, we obtain a conditional upper bound for the number of primes at which a weight-two newform with a quadratic coefficient field has a rational Fourier coefficient. We also formulate a discrepancy conjecture, motivated by a probabilistic model, that implies the asymptotic predicted by Murty (Conjecture 3.4, 1999).

math.NT↗

Archimedean zeta integrals on $ {\rm SO}_{2n} \times {\rm GL}_n$ and $ {\rm Sp}_{2n} \times {\rm GL}_n $

We evaluate the archimedean Rankin-Selberg zeta integrals associated with spherical principal series representations of ${\rm SO}_{2n}(\mathbf R) \times {\rm GL}_n(\mathbf R) $ and $ {\rm Sp}_{2n}(\mathbf R) \times {\rm GL}_n(\mathbf R) $, where $ {\rm SO}_{2n} $ is split and $n\ge2$. We obtain explicit formulas expressing these integrals as quotients of products of gamma functions. Our approach uses Mellin-Barnes representations of spherical Whittaker functions, together with new integral identities for their Mellin transforms and transformations of Barnes integrals. In the even orthogonal case, we establish a recurrence in the rank and evaluate the integral by induction. The symplectic case then follows from an explicit identity relating the two families of zeta integrals.

math.NT↗

Resolvent Components of Completely Normal Elements and the Morgan-Mullen Conjecture

We study completely normal elements of $\mathbb{F}_{q^n}$ over $\mathbb{F}_q$, that is, elements that are normal over every intermediate field, through partial Lagrange resolvents. In these coordinates, complete normality splits into independent components, in a way closely related to Hachenberger's decomposition theory. Our main tool is a structure theorem for the components; together with a finite computation, it shows that every component has weight (the sum of the probabilities that its conditions fail) at most $3/4$, uniformly in $n$. Combined with the classical character-sum method, this gives an explicit sufficient criterion for the existence of a primitive completely normal element. We verify the criterion for all $n>q$ except $70$ pairs $(q,n)$, which we settle with explicit elements found by computer. Since the case $n\le q$ is due to Garefalakis and Kapetanakis, this confirms the conjecture of Morgan and Mullen (1996) that every $\mathbb{F}_{q^n}$ contains a primitive element that is completely normal over $\mathbb{F}_q$. The same estimates give two further results. First, Hachenberger's conjectured lower bound $(q-1)^{n'}q^{(p^a-1)n'}$ for the number of completely normal elements, where $p$ is the characteristic and $n=p^an'$ with $p\nmid n'$, holds for all pairs $(q,n)$; it was known for regular pairs. Second, primitivity and complete normality are asymptotically independent: as $q^n\to\infty$, the number of primitive completely normal elements is $(1+o(1))\,φ(q^n-1)/(q^n-1)$ times the number of completely normal elements (for fixed $n$ this was known). Our arguments for $n>q$ and for both further results, including every computer-assisted step, are formalised in Lean 4 with Mathlib; the formalisation takes the case $n\le q$ and an explicit bound of Rosser and Schoenfeld as axioms and relies on Lean's compiler and interpreter for the large computations.

math.NT↗