Inducing Whittaker Functions from Higher Ranks

2026-05-28T04:29:07Z

We construct a family of Whittaker functions for $SL(m,\mathbb{Z})$ induced directly from Whittaker functions for $SL(n,\mathbb{Z})$, for any $2 \leq m

On the power of the discriminant of a univariate polynomial as a certain determinant in positive characteristic

2026-05-28T03:43:15Z

Let $p$ be a prime. Suppose that integers $r$, $e$, $d$ such that $r \ge 2$, $e \ge 0$, $0 \le d \le p$ are given. Let $f(x)=s_0 x^r + s_1 x^{r-1} + \cdots + s_r$ be a generic polynomial of degree $r$ in characteristic $p$. We put $f(x)^e=\sum_{i \ge 0} c_i x^i$. We define a $d\times d$ matrix $M_d(f(x)^e)$ by $M_d(f(x)^e) = ( c_{i p + j - d -1})_{1 \le i,\, j \le d}$. In this paper, we shall be concerned with the divisibility of $\det M_d(f(x)^e)$ by powers of the discriminant $Δ(f(x))$ of $f(x)$. First, assuming $s_0=1$, we study the condition under which $\det M_d(f(x)^e)$ is a positive power of $Δ(f(x))$ multiplied by a non-zero constant in ${\mathbb F}_p$. Second, for such matrices when $d=r-1$, we present a formula for $M_d(f(x)^e)^{-1} M_d(f(x)^{e+1})$ involving the Bézout matrix of $f'(x)$ and $f(x)-\frac{1}{r} x f'(x)$. Finally, we present two similar experimental equalities, the first of which involves the determinant $\det M_d(f(x)^e)$.

Weierstrass semigroups at totally ramified places of degree one on linearized function fields

2026-05-28T03:43:13Z

A linearized function field $F$ can be viewed as a Galois extension of a rational function field $K(x)$. For a totally ramified place $Q$ of degree one in $F/K(x)$, we give a unified description of the set $G(Q)$ of gaps at $Q$. As a consequence, we explicitly provide a system of generators, the multiplicity, and the Frobenius number of the Weierstrass semigroup $H(Q)$. Moreover, we give a necessary and sufficient condition for $H(Q)$ to be symmetric. Then we investigate the minimal generating set of the Weierstrass semigroups at several totally ramified places of degree one. We not only explicitly describe the minimal generating set, but also provide functions whose coefficients of pole divisors lie in the minimal generating set. Finally, we investigate the linearized function field associated with the denominator of a separable polynomial and apply our results to present several examples.

Relation between Anderson Generating Functions and Weil Pairing

2026-05-28T01:32:39Z

The existence of the Weil pairing for Drinfeld modules was proved by van~der~Heiden using the Anderson $t$-motive. Papikian's note provided the explicit formula for the rank-two Weil pairing that avoids Anderson motives. Following this approach, Katen extended the formula to higher ranks. As Papikian observed, this method is more elementary than the approach using Anderson motives, but it is less conceptual. This paper is devoted to a new insight into Katen's formula motivated by the Moore determinant coming from Hamahata's tensor product of Drinfeld modules and the basis of torsion modules found by Maurischat and Perkins. We investigate the Weil operator, establish its connection with the remainder polynomial of Anderson generating functions modulo a fixed polynomial $\mathfrak{f}$, and finally derive an extremely simple interpretation: the value of the rank-$r$ Weil pairing is essentially the specific coefficient in the Moore determinant of certain Anderson generating functions.

A Note on Diophantine Approximation with Restricted Denominators

2026-05-28T00:18:38Z

In this note we explore rational approximations to irrational numbers whose denominators are restricted to a subset of the natural numbers. We introduce a specific notion of density for such subsets and use it to establish a restricted analog of a theorem of Dirichlet's.

Computing with necklaces on elliptic curves

2026-05-27T22:55:36Z

We present computational algorithms to work with points on the modular curve associated to the normaliser of a non-split Cartan group of prime level $p$. Rather than working with explicit equations, we represent these points using the moduli interpretation of necklaces in the $p$-torsion of elliptic curves. We use our methods to investigate for which primes $\ell\neq p$ two rational points with complex multiplication can have equal reduction modulo $\ell$.

Mersenne numbers and the doubling map

2026-05-27T21:43:10Z

We study the connection between the Mersenne numbers $M(n) = 2^n-1$ and the dynamics of the angle-doubling map. Within this framework, we develop an algorithm to compute divisors of Mersenne numbers without explicitly evaluating $M(n)$. Determining whether $M(n)$ is prime for a prime $n$ (and knowing if there are infinitely many of them), is a central problem, traditionally addressed with the help of the Lucas-Lehmer test. We provide an alternative approach based on dynamical methods. As an application, we prove that $M(2{,}199{,}023{,}254{,}451)$ (with approximately $6.6 \times 10^{11}$ digits) is composite by exhibiting a non-trivial divisor.

On a conjecture of Goldmakher

2026-05-27T21:19:08Z

We construct a $1$-bounded completely multiplicative function $f$ whose logarithmically-averaged partial sums satisfy $$ \limsup_{x \rightarrow \infty} \frac{\left|\sum_{n \leq x} \frac{f(n)}{n}\right|}{1+\exp\left(\sum_{p \leq x} \frac{\text{Re}(f(p))}{p}\right)} = \infty. $$ This disproves a conjecture of Goldmakher from 2009.

Prime Certificates for Exact Vertex-Coprime Ramsey Numbers

2026-05-27T19:28:18Z

Let $G_n$ be the coprime graph on $\{1,\ldots,n\}$. We prove that the mixed vertex-coloring coprime Ramsey number satisfies \[ \Rcop(k_1,\ldots,k_c)=p_{\sum_{i=1}^c(k_i-1)}, \] where $p_m$ is the $m$-th prime. The proof is elementary: the prime clique $\{1\}\cup\{p\le n:p\text{ prime}\}$ gives the upper bound by pigeonhole, while a prime-bin partition gives the matching lower bound by coloring each composite with a bin containing one of its prime divisors. We reserve $\Rcop$ for this vertex-coloring parameter; the edge-coloring parameter on the same host graph is denoted $\Redge$. The same certificate viewpoint yields several extensions, including a support-disjointness generalization, a polynomial-time certificate-extraction primitive, and an exact reduction of the edge-coloring variant to classical Ramsey numbers: $\Redge(k_1,\ldots,k_c)=p_{\Rcl(k_1,\ldots,k_c)-1}$. These two formulas are rank transfers from the same clique-label certificate. We also prove that the balanced two-color diagonal threshold equals the unrestricted threshold $p_{2k-2}$ for all $k\ge2$, via a deterministic prime-bin split requiring only the weak inequality $2p_m

Tschirnhausen bundles of covers of the projective line

2026-05-27T19:17:59Z

A degree $d$ genus $g$ cover of the complex projective line by a smooth curve $C$ yields a vector bundle on the projective line by pushforward of the structure sheaf. Which bundles are possible? Equivalently, which $\mathbb{P}^{d-2}$-bundles over $\mathbb{P}^1$ contain such covers? (In the language of many previous papers: what are the scrollar invariants of the cover?) We give a complete answer in degree $4$, which exhibits the expected pathologies. We describe a polytope (one per degree) which we propose gives the complete answer for primitive covers, i.e. covers that don't factor through a subcover. We show that all such bundles (for primitive covers) lie in this polytope, and that a ``positive proportion'' of the polytope arises from smooth covers. Moreover, we show the necessity of the primitivity assumption. Finally, we show that the image of the map from the Hurwitz space of smooth covers to the space of bundles is not preserved by generization (for $d>5$ and $g \gg_d 1$).

Subsequence Sums in Permutations

2026-05-27T19:08:25Z

A sequence of positive integers $(a_1,a_2,\ldots,a_k)$ is called $\ell$-additive if $a_1+a_2+\cdots+a_k=\ell a_1$ or $\ell a_k$. In this paper, we prove that for all $k\geq3$, if $n$ is sufficiently large, then every permutation of $\{1,2,\ldots,n\}$ has a 2-additive subsequence of length $k$. We also provide polynomial bounds for the smallest $n$ such that every permutation of $\{1,2,\ldots,n\}$ has a 2-additive subsequence of length $k$. When only monotone subsequences are considered, we show that $18$ is the smallest $n$ such that every permutation of $\{1,2,\ldots,n\}$ has a monotone 2-additive subsequence of length three. Strong bounds are obtained for the minimum number of $\ell$-additive subsequences of any length, as well as monotone $2$-additive subsequences of length three. Using techniques in arithmetic Ramsey theory, we also show similar results for products and inverse sums.

Bourgain's $L^2$ pointwise ergodic theorem over function fields

2026-05-27T18:53:57Z

We prove a function-field analogue of Bourgain's $L^2$ pointwise ergodic theorem. Let $q$ be a power of a prime $p$, let $\mathbb{F}_q[t]$ be the ring of polynomials over the finite field $\mathbb{F}_q$, and let $\mathbb{F}_q[t][u]$ be the ring of polynomials over $\mathbb{F}_q[t]$. Let $T^{(1)},\ldots,T^{(\ell)}$ be commuting, measure-preserving $\mathbb{F}_q[t]$-actions on a $σ$-finite measure space $(X,μ)$, and let $P_1,\ldots,P_\ell\in \mathbb{F}_q[t][u]\setminus\{0\}$. Define a sequence of operators $(A_n)_{n\in \mathbb{N}}$ by \[ A_n g(x):=\frac{1}{q^n}\sum_{\substack{f\in \mathbb{F}_q[t]\\°f0$ depends only on $P_1,\ldots,P_\ell$ and $q$. This in particular implies that the sequence $(A_ng(x))_{n\in\mathbb{N}}$ converges for almost every $x\in X$ and that $(A_n)_{n\in\mathbb{N}}$ satisfies an $L^2$ maximal inequality: \[ \big\|\sup_{n\in\mathbb{N}}|A_ng|\big\|_{L^2(X)} \leq C_2\|g\|_{L^2(X)} \qquad \left( g\in L^2(X)\right), \] where the constant $C_2>0$ depends only on $P_1,\ldots,P_\ell$ and $q$. Our tools include the circle method in function fields and refinements of Weyl sum estimates in this setting, further developing the work of Lê-Liu-Wooley and Champagne-Ge-Lê-Liu-Wooley. These refinements are of independent interest.

A Determinant Congruence Conjectured by Sun

2026-05-27T18:08:39Z

We prove a strengthened form of a conjecture of Sun on a determinant attached to a binary quadratic form. Let $n>3$ and let $c,d\in\Z$. If $n$ is composite, then \[ \det\big[(i^2+cij+dj^2)^{n-2}\big]_{0\leq i,j\leq n-1}\equiv 0\pmod {n^2} \] with no condition on $c$ and $d$. If $n=p$ is prime, the same congruence holds whenever the Legendre symbol $\leg{d}{p}$ is $-1$. For composite $n$, a polynomial determinant is divisible by two Vandermonde factors; after specialisation, their product already yields the required square divisor. For prime $n=p$, we estimate the rank of the matrix modulo $p$. The required rank defect follows from a coefficient cancellation obtained from the involution $t\mapsto d/t$ on $\Fp^\times$ and the condition $\leg{d}{p}=-1$.

A Uniform Random-Lattice Tail Bound for the SVP Kissing-Profile Parameter

2026-05-27T18:00:17Z

A recent SICOMP paper on classical and quantum algorithms for the shortest vector problem introduced a lattice-dependent parameter $γ(L)$, bounded universally in the exponential sense by $2^{0.402n+o(n)}$, and conjectured that this parameter is $2^{o(n)}$ for most lattices. We prove the Haar--Siegel random-lattice version in a stronger, dimension-uniform form. Let $X_n=\operatorname{SL}_n(\R)/\operatorname{SL}_n(\Z)$, let $μ_n$ be its invariant probability measure, and let $γ(L)=\sup_{r\ge1} N_L(rλ_1(L))/r^n$, where $N_L(R)$ counts nonzero vectors of $L$ of Euclidean norm at most $R$. For every $n\ge3$ and every $T>0$, \[ μ_n\{L\in X_n:γ(L)>T\}\le C T^{-1} \] with an absolute constant $C$. Consequently, for every sequence $a_n\to\infty$, $γ(L_n)\le a_n$ with $μ_n$-probability tending to one; in particular $γ(L_n)=2^{o(n)}$ with high probability. In the product model of independent Haar--Siegel lattices, $γ(L_n)\le \exp(\sqrt n)$ eventually almost surely. The proof uses Rogers's second-moment estimate only through a dyadic self-normalization argument around the random scale $λ_1(L)$.

Counting primitive integral solutions to spherical generalized Fermat equations

2026-05-27T17:49:20Z

A solution $(x,y,z) \in \mathbb{Z}^3-\{(0,0,0)\}$ to a generalized Fermat equation \[ Ax^a + By^b + Cz^c = 0, \] is called \emph{primitive} if $\gcd(x,y,z) = 1$. By work of Beukers, we know that in the \emph{spherical} regime (that is, when the Euler characteristic $χ= \tfrac{1}{a} + \tfrac{1}{b} + \tfrac{1}{c} - 1$ is positive), if the equation has one primitive solution, then it has infinitely many. In this work, we use the method of \emph{Fermat descent}, as employed by Poonen--Schaefer--Stoll, to refine Beukers' result to an asymptotic count of the number of primitive integral solutions of bounded height.