A closed formula for the Geil-Matsumoto bound on numerical semigroups via Apéry sets

2026-05-26T22:10:41Z

The Geil-Matsumoto bound (GM bound) constrains the number of rational points on a curve over a finite field in terms of the Weierstrass semigroup of any of the points on the curve. For general numerical semigroups, the GM bound lacks a simple closed-form expression, making its computation a challenging problem. A closed formula has been obtained for the case when the semigroup is generated by two co-prime integers. In this work, for any numerical semigroup, we provide a closed formula for the GM bound in terms of the Apéry set of a nonzero element of the semigroup. In the case where the numerical semigroup is generated by consecutive integers $n, n+1, \dots, n+t$ with $\lceil\textstyle\frac{n-1}{2}\rceil\leq t \leq n-1$, we obtain a simple closed formula for the bound. We apply these results to obtain upper bounds on the number of rational points for algebraic curves over finite fields. In some cases, our bounds improve some well-known upper bounds on the number of rational points.

Distribution of integer points on determinant surfaces and a $\text{mod-}p$ analogue

2026-05-26T22:06:26Z

We establish an asymptotic formula for counting integer solutions with smooth weights to an equation of the form $xy-zw=r$, where $r$ is a non-zero integer, with an explicit main term and a strong bound on the error term in terms of the size of the variables $x, y, z, w$ as well as of $r$. We also establish an asymptotic formula for counting integer solutions with smooth weights to the congruence $xy-zw \equiv 1 (\text{mod }p)$, where $p$ is a large prime, with a strong bound on the error term.

Lattice points on determinant surfaces and the spectrum of the automorphic Laplacian

2026-05-26T21:50:40Z

We use classical Fourier analysis along with tools from the spectral theory of Automorphic forms to derive an asymptotic formula with a strong error term for the number of integer solutions $(a, b, c, d)$ inside the expanding box $[-X,X]^4$ to the determinant equation $ad-bc=r$, where $r \neq 0$ is a fixed integer. Furthermore, we apply our method to study sums over these solutions where the variables are weighted by periodic arithmetical functions in two of the variables in one case, and by an arbitrary sequence of complex numbers in another.

Some Remarks on $τ$-Congruent Numbers

2026-05-26T19:57:59Z

In this paper, we extend the work of \cite{Chahal} in several directions. We first determine all Heron triangles that tightly circumscribe the unit circle and the associated $τ$-congruent numbers generated by them. We then characterize all rational right triangles that tightly circumscribe the unit ellipse and identify the corresponding congruent numbers. In addition, we study of the congruent numbers from the excircle opposite a vertex of a rational right triangle, that is, the circle tangent to one side of the triangle and to the extensions of the remaining two sides.

A note on the irrationality of $ζ_2(5)$

2026-05-26T19:32:56Z

In a spirit of Apéry's proof of the irrationality of $ζ(3)$, we construct a sequence $p_n/q_n$ of rational approximations to the $2$-adic zeta value $ζ_2(5)$ which satisfy $0 < |ζ_2(5)-p_n/q_n|_2 < \max\{|p_n|,|q_n|\}^{-1-δ}$ for an explicit constant $δ>0$. This leads to a new proof of the irrationality of $ζ_2(5)$, the result established recently by Calegari, Dimitrov and Tang using a different method. Furthermore, our approximations allow us to obtain an upper bound for the irrationality measure of this $2$-adic quantity; namely, we show that $μ(ζ_2(5)) \le (16\log2)/(8\log2-5) = 20.342\dots$.

Frequency Ordered Ratio Families Arising from the Factorization of $p_{m-1}+1$

2026-05-26T19:14:42Z

We investigate a ratio sequence derived from the factorization of $p_{m-1} + 1$, where $p_n$ denotes the $n$th prime. For each $m \geq 3$, write $p_{m-1} + 1 = L_m R_m$ with $L_m$ the largest prime factor. Restricting to those $m$ for which $L_m > m$ (equivalently, $m \in \text{A223881}$), we obtain a multiset of values $R_m$. Since $p_{m-1}+1$ is even and $L_m > 3$ is odd, all values of $R_m$ are strictly even. Sorting the distinct $R_m$ by decreasing frequency yields a new sequence beginning $2, 6, 4, 8, 10, 12, 14, 16 \dots$. This article explains how this construction arises naturally from the structure of A223881, why the ``family'' phenomenon appears in plots of $p_{m-1} + 1$, and how the frequency ordering of $R_m$ captures the dominant families. Additionally, we propose a heuristic asymptotic model explaining the observed frequency ordering via classical results on primes in arithmetic progressions and support the model with numerical log-log analysis.

Riemann and the logarithmic derivatives of zeta

2026-05-26T18:18:47Z

In one of his posthumous papers, conserved in Göttingen, Riemann considers the derivatives of $\logζ(s)$ at the point $1/2$, giving explicit values for them. Around 2010 we shared Riemann's value of the second derivative with some mathematicians. From that time I have been asked several times for references. So I decided to write this. Specially explaining the wonderful formulas \[\frac{ζ'(\frac12)}{ζ(\frac12)}=\fracπ{4}+\fracγ{2}+\frac{\log(8π)}{2},\quad \frac{ζ''(\frac12)}{ζ(\frac12)}-\Bigl(\frac{ζ'(\frac12)}{ζ(\frac12)}\Bigr)^2=8-\frac{π^2}{4}-2G+2\sum_{n=1}^\infty\frac{1}{α_n^2}\]

Structural properties and tilting correspondences of perfectoid towers

2026-05-26T17:00:57Z

We prove that every perfectoid tower can be decomposed into a fiber product of perfectoid towers that are either $p$-torsion free or perfect of characteristic $p$. As an application, we show that separated perfectoid towers are reduced. We also establish the tilting invariance of étale cohomology and Koszul homology for perfectoid towers.

Inhomogeneous Approximation by Sums of Roots

2026-05-26T16:14:02Z

Let $d\geq 2$ and $k\geq 1$ be fixed. We prove that, for every $ε>0$ and every real $β$, there exist integers $1\leq b_1,\ldots,b_k\leq N$ such that \[ \left\|\sum_{j=1}^k b_j^{1/d}-β\right\| \ll_{d,k,ε} N^{-k/d+ε}. \] The proof combines Schmidt's Subspace Theorem with an explicit inhomogeneous transference argument. This improves Iyer's (2025) higher-root exponent $(k-d+1)/d^2$, and also the analogous $d$-ary full-basis exponent away from the cases where $k+1$ is a power of $d$, at the cost of ineffectivity. We also record a conjectural uniform exponent $k-1/d$. In the square-root case $d=2$, we give explicit integer-target constructions for $k=2,3,4$ attaining this conjectural value.

Ekedahl-Oort strata under natural embeddings of orthogonal and unitary Shimura varieties

2026-05-26T16:01:20Z

In this paper, we study the behavior of Ekedahl-Oort strata under natural embeddings between the good reductions modulo $p$ of GSpin Shimura varieties and Rapoport-Smithling-Zhang unitary Shimura varieties, a prototypical setting for the construction of special cycles in the Kudla program. In each case, we determine the EO stratum containing the image of a given EO stratum under the embedding. We also compute discrete invariants of these Shimura varieties, including their $p$-ranks and $a$-numbers; in the GSpin case, these are obtained via the Kuga-Satake embedding.

Local certification of residual squareclasses in $\mathbb Q(\sqrt{2},\sqrt{pq},\sqrt{ps})$: one-bit, affine, and finite-choice Hilbert-symbol frameworks

2026-05-26T15:24:05Z

Recent works of El Hamam described explicit fundamental systems of units for several families of multiquadratic fields of degrees 8 and 16. In the degree-8 field $L^+ = \mathbb{Q}(\sqrt{2}, \sqrt{pq}, \sqrt{ps}),$ the corrected classification still leaves a residual binary indeterminacy: one must decide which of two explicitly constructed squareclasses gives the final unit generator. In this paper, we make this remaining bit explicit. First, we give an explicit local criterion deciding the parameter $μ\in \{1, ε_{pq}\}$ left open in recent literature. The criterion is first expressed in terms of Hilbert symbols at a single finite place, and is then sharpened to a residue criterion at a chosen split auxiliary rational prime. Second, we show that the standard residue datum $D(p,q,s) = \left( p \bmod 8,\,\, q \bmod 8,\,\, s \bmod 8,\,\, \biggl(\dfrac{q}{p}\biggr),\,\, \biggl(\dfrac{s}{p}\biggr),\,\, \biggl(\dfrac{q}{s}\biggr) \right)$ does not determine the final generator: we compute explicit triples with the same $D(p,q,s)$ but opposite values of the residual bit. Third, we place the one-bit problem inside a hierarchy of local-certification results in $K^\times/K^{\times2}$: besides the linear residual-choice statement, we prove an affine local-certification theorem for residual-choice cosets and a finite-test-set separation theorem for arbitrary finite candidate families.

A Continuum of Small-cap Decouplings and Exponential Sums for the Moment Curve in $\mathbb{R}^4$

2026-05-26T14:16:06Z

We use the high-low method and wavepacket pruning to prove new small-cap decoupling estimates for the moment curve in $\mathbb{R}^4$. As an application, we verify a conjecture of Demeter regarding the $L^{12}$ square-root cancellation of exponential sums associated with the moment curve in $\mathbb{R}^4$. This provides a continuum of square-root cancellation estimates that connects the Vinogradov MVT in $\mathbb{R}^3$ with a result of Bourgain, related to improving the best-known estimate for the Lindelöf hypothesis.

Rank-two recurrence results for polynomials and questions of dynamical Mordell--Lang type

2026-05-26T14:13:28Z

Let $f,g\in\mathbb{C}[z]\setminus\mathbb{C}$ and $c\in\mathbb{C}[z]$. Suppose that $\mathrm{deg}(c)=1$ if $\mathrm{deg}(f)=\mathrm{deg}(g)=1$. Using the theory of Presburger arithmetic, we prove that the rank-two recurrence set \[S_{f,g,c}^2:=\left\lbrace(m,n)\in\mathbb{Z}_{\geq0}^2\colon \existsλ\in\mathbb{C}, f^{\circ m}(λ)=g^{\circ n}(λ)=c(λ)\right\rbrace\] is semi-linear. This is a generalization of a theorem of Yang and Zhong for the case $m=n$. We also obtain partial results on recurrence sets for rational maps in the case $m=n$. These results are related to higher-dimensional questions of dynamical Mordell--Lang type of rank $\leq2$.

An algorithm for Aubert-Zelevinsky duality à la Mœglin-Waldspurger

2026-05-26T14:04:15Z

Let $F$ be a locally compact non-Archimedean field of characteristic $0$, and let $G$ be either the split special orthogonal group $\mathrm{SO}_{2n+1}(F)$ or the symplectic group $\mathrm{Sp}_{2n}(F)$. The goal of this paper is to give an explicit description of the Aubert-Zelevinsky duality for $G$ in terms of Langlands parameters. We present a new algorithm, inspired by the Moeglin-Waldspurger algorithm for $\mathrm{GL}_n(F)$, which computes the dual Langlands data in a recursive and combinatorial way. Our method is simple enough to be carried out by hand and provides a practical tool for explicit computations. Interestingly, the algorithm was discovered with the help of machine learning tools, guiding us toward patterns that led to its formulation.

On conjectural fermionic formulas for the Macdonald index in Argyres-Douglas theories

2026-05-26T11:19:24Z

We prove a fermionic-bosonic duality relation for the Macdonald index in Argyres-Douglas theories of type $(A_1, D_{2k+1})$, thereby yielding a conjectural fermionic formula due to Andrews et al. Our duality is built upon a new conjugate Bailey pair to be established using techniques from orthogonal polynomials and basic hypergeometric series. In addition, this fermionic formula implies another sum-like expression independently conjectured by Andrews et al. and Kim et al. for the same Macdonald index.