Number Theory [math.NT]

Multiple zeta values in $\lambda$-rings

math.NT

math.QA

We propose a framework for multiple zeta values in $\lambda$-rings that unifies both classical multiple zeta values and multiple $q$-zeta values. As in the classical case, we show that the multiple zeta function defines an algebra homomorphism from the quasi-shuffle algebra to the $\lambda$-ring. We also prove a formula for multiple polylogarithms in $\lambda$-rings, similar to the iterated integral expression in the classical case. As an application, we explicitly describe the algebra of regular multiple $q$-zeta values, compute the corresponding Poincar\'e series, and exhibit a small spanning set.

SIC dimension towers via cyclotomic polynomials

math.NT

quant-ph

We prove a structure theorem for the dimension towers~$\{d_k(D)\}_{k\geq0}$ which arise in the number-theoretic formulation of Zauner's SIC-POVM conjecture over a real quadratic field~$K=\Q(\qD)$. If~$\eps$ denotes the first totally positive power of a fundamental unit of~$K$ and $t_k = \eps^k + \eps^{-k}$ the trace of its $k$-th power, then the SIC dimension tower~$\{d_k=1+t_k\}_{k\geq0}$ is the level~$m=3$ row of an infinite two-dimensional cyclotomic array~$\{\Psi_m(t_k)\}_{m\geq1,k\geq0}$ attached to~$K$, while the auxiliary factors~$(d_k+1)$ and $(d_k-3)$ are its ramified levels $m=2$ and $m=1$. Here~$\Psi_m$ denotes the minimal polynomial of~ $\zeta_m+\zeta_m^{-1} = 2\cos{2\pi/m}$. This construction arose initially from an attempt to formulate relations among SIC dimensions in $q$-algebraic terms. The central object is a single closed composite norm relation for the two-parameter family $c_{m,k}=1-\zeta_m\eps^k$ over the cyclotomic field tower $\{K(\mu_m)\}_{m\geq1}$. This framework sheds new light on the mod-$p$ analogue of Leopoldt's conjecture, by placing the central 3-symmetry of Zauner's conjecture within a broader arithmetic context. Away from the primes dividing~$2mD$, the valuations $v_p(\Psi_m(t_k))$ at every fixed level~$m$ are described exactly in terms of a single local unit valuation, which is then related, through the~$p$-adic class number formula, to the corresponding $p$-adic $L$-value.

A counterexample to the Chung-Graham-Spiro gap-set conjecture

math.NT

math.CO

Chung, Graham, and Spiro introduced slow Fibonacci walks and used them to partition the integers $n\ge2$ into two sequences, the down-integers and the up-integers. They studied the local spacing of these two sequences and conjectured that their $\ell$-step gap sets agree for every $\ell\ge1$. We show that the conjecture fails at $\ell=4$ by proving \[ 9\in U_4\setminus D_4 . \]

Hilbert's Irreducibility for $\mathbb{G}_m$

math.NT

Let $K$ be a number field and $S$ a finite set of non-archimedean places. Write $\mathcal{O}_S$ for the ring of $S$-integers of $K$ and $\mathcal{O}_S^\times$ for its unit group. Let $\pi : X \rightarrow \mathbb{P}^1$ be a morphism of (irreducible) curves defined over $K$, and denote by $\operatorname{Red}(\pi)$ the set of $\alpha \in \mathbb{P}^1(K)$ such that the fibre $\pi^{-1}(\alpha)$ is reducible (i.e. the Galois action on the fibre is intransitive). Hilbert's Irreducibility Theorem asserts that $\operatorname{Red}(\pi)$ is contained in a thin subset of $\mathbb{P}^1(K)$. In this paper we give an explicit description of $\mathcal{O}_S^\times \cap \operatorname{Red}(\pi)$. As an application we prove the following result inspired by a classical theorem of P\'{o}lya and Siegel. Let $p_1,\dotsc,p_s$ be rational primes. Let $f \in \mathbb{Q}[x]$.Then the following are equivalent: - There are infinitely many tuples $(e_1,\dotsc,e_s) \in \mathbb{N}^s$ such that the polynomial $f(x)-p_1^{e_1} \cdots p_s^{e_s}$ is reducible. - $f=p_1^{a_1} \cdots p_s^{a_s} g^\ell$ (with $\ell$ prime) or $f=-4 p_1^{a_1} \cdots p_s^{a_s} g^4$ for some $g \in \mathbb{Q}[x]$ and some integers $a_1,\dotsc,a_s$.

Degeneration of monodromy in the theory of Eisenstein congruences for classical groups

math.NT

We give a new Hecke-theoretic method to control the growth of monodromy in $p$-adic families of automorphic Galois representations for unitary groups and quasisplit classical groups.

Numerical experiments on the Hardy conjecture for the Gauss circle problem

math.NT

cs.NA

math.NA

The classical unsolved Gauss circle problem concerns estimating the error between the number of lattice points inside a circle and the area of the circle as its radius tends to infinity. About a century ago, Hardy proposed a conjecture concerning this problem. In this paper, we attempt to provide numerical evidence in support of the Hardy conjecture through large-scale numerical computations.

On multiply induced characters

math.NT

math.GR

We investigate finite group structures that yield complex irreducible characters induced simultaneously from two or more distinct subgroups. When such a group is realized as the Galois group of a Galois extension of number fields, this phenomenon implies that multiple subfields share the same Artin $L$-function.

On the Divisibility Relation $\sigma(n)\mid\sigma(n+h)$ and a Generalized Erd\H{o}s--Sierpi\'nski Conjecture

math.NT

math.CO

For each fixed positive integer $h$, we study the divisibility relation $\sigma(n)\mid\sigma(n+h)$. We isolate an explicit regular family arising from integral quotients of shifted abundancy indices and show that the complementary set satisfies a subexponential saving; in particular, the number of solutions up to $x$ is $O_h(x/(\log x)^2)$. We also study the proportionality equation $\sigma(n+h)=\lambda\sigma(n)$. For every fixed nonzero integer $h$, uniformly for all real $\lambda>0$, the number of solutions up to $x$ is $O(x/\sqrt{\log\log\log x})$, with an absolute implied constant once $x$ exceeds an $h$-dependent threshold. Finally, we give an explicit family which, under Schinzel's Hypothesis $H$, produces infinitely many solutions of $\sigma(n+1)=2\sigma(n)$; the Bateman--Horn conjecture yields a precise asymptotic for the number of members of this family up to $x$. We conjecture that $\sigma(n+h)=k\sigma(n)$ has infinitely many positive integer solutions for every fixed $h,k\ge1$.

Distribution properties of generalized polynomials

math.NT

A generalized polynomial is a function defined by an iteration of the operations addition, multiplication and the floor function. Equidistribution results of sequences given by generalized polynomials have been established by H\aa land and later by Bergelson and Leibman from an ergodic theoretic point of view. In the present paper we show an asymptotic distribution result which can be applied to certain generalized polynomials. In the second part we prove equidistribution results for generalized polynomials along prime numbers, including bounds for the discrepancy.

The Right Edge of the Zero Set of the Fibonacci Zeta Function

math.NT

Let $F_1=F_2=1$, $F_{n+2}=F_{n+1}+F_n$, and define the Fibonacci zeta function by $$ Z_F(s)=\sum_{n\ge1}F_n^{-s},\qquad \operatorname{Re}s>0. $$ We determine the exact right edge of the closure of the real parts of its zeros in the half-plane of absolute convergence. If $\sigma_F$ is the unique solution of $$ Z_F(\sigma_F)=4+2\,144^{-\sigma_F}, $$ then $$ \sigma_F=0.743163398726901648\ldots, $$ $Z_F(s)\neq0$ for $\operatorname{Re}s\ge\sigma_F$, while $$ \overline{\{\operatorname{Re}\rho:Z_F(\rho)=0,\ \operatorname{Re}\rho>0\}}=[0,\sigma_F]. $$ The edge is sharp in an almost-periodic sense: zeros occur with relatively dense ordinates near every admissible vertical line. We prove growing-dimensional phase locking near the edge and a Diophantine zero-free cusp, and describe the associated Jessen function and smooth mean vertical zero density. For every partial sum with $N\ge12$ we determine the corresponding exact closure edge $\sigma_N$, prove $\sigma_N\nearrow\sigma_F$, and obtain an exponential asymptotic for $\sigma_F-\sigma_N$. We also derive a finite-core theorem for positive integral Lucas zeta functions, with the Pell zeta function as an explicit example. Finally, using the known meromorphic continuation, we construct a natural $q$-Pochhammer completion that is entire of exact order $2$ and type $\log\varphi/4$.

Lattice point visibility along powers of quadratic polynomials

math.NT

We study the growth of the number of invisible lattice points along powers of quadratic polynomials. Let $f(x)=Ax^2+Bx+C\in\mathbb{Z}[x]$ have a positive leading coefficient and nonzero discriminant, and let $F(x)=f(x)^m$ with $m\geq 2$. For $m\geq 3$ we prove that the number of invisible lattice points in $[1,N]^2$ has order $N\log N$, and when $m=2$ the number of invisible lattice points satisfies $N\log N \ll_F\#\mathrm{Invisible}_F(N)\ll_F N(\log N)^4$. These estimates refine a previous result of the authors.

The Prouhet--Tarry--Escott problem for subsets with small doubling in integral domains

math.NT

math.CO

The Prouhet--Tarry--Escott (PTE) problem has many generalizations and has been studied in various algebraic domains. In this paper, we prove that finite subsets $S$ of integral domains with small additive doubling constant (but still a power of $|S|$) always contain solutions to Wright's generalization of the PTE problem: there are small subsets $A$ and $B$ of the same size such that $\sum_{a\in A} a^j=\sum_{b\in B} b^j$ for $1\le j\le k$, but not for $j=k+1$. More generally, our method gives simultaneous solutions for $m$ systems, with pairwise distinct $(k+1)$-th power sums. In contrast with the classical case $S\subseteq [N]$, where the problem has been studied by Wooley and others using Vinogradov's mean value theorem, our approach is based on polynomial identities and additive properties of $S$. We also discuss barriers to extending these results to broader settings.

Counting level-raising congruences using modular representation theory

math.NT

We introduce a new method for studying mod-$\ell$ congruences between eigenforms through the modular representation theory of $\mathrm{PGL}_2(\mathbb{F}_p)$. When $p\equiv \pm 1 \pmod{\ell}$, we use this theory to construct and describe extra structures on spaces of modular forms with $\Gamma_0(p^2)$-level at $p$ and a fixed mod-$\ell$ Galois representation. The structural results we obtain can be viewed as a refinement of classical level-raising theorems since they not only allow us to prove the existence of congruences, but also to count the number of such congruences. Our methods work equally well in the residually irreducible and residually reducible cases, allowing us to prove several new instances of congruences between Eisenstein series and cuspforms (as well as independently rederiving classical results of Mazur and more recent results of Lang--Wake). Notably, our approach proves these results without computing constant terms of Eisenstein series, without Galois deformation theory and $R=\mathbb{T}$ theorems, and without the Jacquet--Langlands correspondence.

Local Jacquet-Shalika integrals and modifying factors

math.NT

math.RT

Over any local field of characteristic zero, we develop a local theory of Jacquet-Shalika integrals that were originally introduced by Jacquet and Shalika to study exterior square local $L$-factors for $GL_m$. In particular, at least in the archimedean case, we establish a complete functional equation matching Artin local $\varepsilon$-factors. Central to the argument is a novel comparison strategy between Jacquet-Shalika integrals and open-orbit integrals associated to the Shalika subgroup.

Proof of a Conjecture of Cui, Gu and Tang on 18-Colored Generalized Frobenius Partitions

math.NT

math.CO

Recently, the study of the number of $k$-colored generalized Frobenius partitions, denoted by $c\phi_k(n)$, has witnessed renewed interest. In this paper, we investigate congruence properties of $c\phi_{16}(n)$ and $c\phi_{18}(n)$. Our main result is a proof of the conjecture of Cui, Gu, and Tang \cite{CGT25} that, for all $n\ge0$, $c\phi_{18}(3n+2)\equiv0\pmod{2187}$. The proof uses a $(p,k)$-parametrization together with $q$-series identities and dissections. We also establish congruences for $c\phi_{16}(n)$ modulo $1024$ and $2048$, and for $c\phi_{18}(n)$ modulo $8$ and $81$.

F-sets of arbitrary finite width

math.NT

Ferraguti and Micheli introduced the width of an $F$-set and conjectured that non-trivial $F$-sets of arbitrary width exist over every finite field. For $q\neq 2,3$, their constructions give examples of widths one and two. We prove that, for every $q\neq 2,3$ and every integer $r\geq 1$, there exists an infinite, non-trivial $F$-set in $\mathbb F_q[X]$ of width exactly $r$. Thus the finite-width part of their conjecture is settled over all such fields. The proof combines a bounded-core family of irreducible power substitutions with factorization results for $g(X^n)$, Dirichlet's theorem over $\mathbb F_q[X]$, and Kummer lifting. Core degree gives a uniform upper bound on the width, while parallel successor ladders give the required lower bound; a suitable tail of the nullity filtration then has the prescribed width.

Distribution of points near the origin in the $d$-dimensional Lagrange spectrum

math.NT

math.DS

We develop a new framework, inspired by Schmidt's games, to study the Lagrange spectrum for simultaneous Diophantine approximation in dimension $d\geq 2$. We show the Hausdorff dimension of the set of points in $\mathbb{R}^{d}$ whose best approximation constant lies in $[\varepsilon,\varepsilon(1+\delta\varepsilon^{d})]$, for some constant $\delta>0$, is positive, and for a slightly larger set approaches full dimension as $\varepsilon \to 0$. We also show that the box dimension of the $d$-dimensional Lagrange spectrum is bounded from below by $1-\frac{1}{d+1}$. The proof combines a novel application of the Simplex lemma near rational points with the game-theoretic framework. As an additional result we use an elementary observation to show that the naturally defined Lagrange spectrum for systems of linear forms is uncountable in the case of square matrices.

Short arithmetic terms express the cardinality of elliptic curves in Weierstra{\ss} normal form over finite fields

math.NT

Arithmetic terms are fixed finite compositions of additions, multiplications, subtractions, divisions with remainder and integer exponentiations. An arithmetic term in natural numbers $A$, $B$, $n$, obtained by refining the general method of the second author (arXiv:2608.22049) for elliptic curves in Weierstra{\ss} normal form, counts the solutions in $(\mathbb Z/n\mathbb Z)^2$ for every modulus $n \geq 1$, with intermediate integers of approximately $2n^5$ binary digits instead of approximately $2n^{11}$. For a prime modulus $p \geq 17$, a second construction, based on the Hasse invariant and on the trace of Frobenius, gives a term of about thirty operations, in place of the fifty-one products of generalized geometric progressions of the general method.

Cone upgrade for effective equidistribution and weighted Khintchine--Schmidt theorem on fractals

math.DS

math.NT

math.PR

We prove a fractal analogue of the weighted theorems of Khintchine and Schmidt for products of self-similar measures on the real line whose defining iterated function systems share a common contraction ratio. The proof translates the counting problem into homogeneous dynamics and builds on recent work of B\'enard, He and Zhang, who treated the unweighted case. Our main new ingredient is a \emph{cone upgrade}: an effective double equidistribution theorem for translates of product self-similar measures, uniform over diagonal elements whose weights range over a fixed cone in the positive Weyl chamber, deduced from effective equidistribution for a single weight. This yields a partial effective form of a theorem of Khalil, Luethi and Weiss.

Coleman Isomorphisms in Syntomic Cohomology and $\mathrm{THH}$

math.AG

math.AT

math.KT

math.NT

This paper proves a generalisation of Coleman's isomorphism (between norm compatible cyclotomic units and a group of invertible power series) to various cohomology theories evaluated on proper regular $p$-adic formal schemes, for future applications to Iwasawa theory. This generalisation is an immediate consequence of a description, as a cyclotomic synthetic spectrum, of the limit over transfer maps as one goes up the cyclotomic tower of motivically filtered $\mathrm{THH}$. This crucially uses a calculation of $\mathrm{THH}(\mathbb{Z}_p[\zeta_{p^n}])$ due to Devalapurkar--Raksit as well as a calculation of the free loop transfer due to Schlichtkrull. Along the way, we construct transfer maps for various cohomology theories along finite locally free regular maps, using some elements of $\mathbb{P}^1$-stable motivic homotopy theory.

A Log-Free $n^{1/5}$ Bound for Chowla's Cosine Problem

math.CA

math.NT

For a finite set $S$ of positive integers, put $K(S):=-\min_{x\in\mathbb T}\sum_{s\in S}\cos(2\pi sx)$. Bedert recently proved the uniform lower bound $K(S)\geq |S|^{1/5-o(1)}$. We remove the subpolynomial loss and prove that $K(S)\geq c|S|^{1/5}$ for an absolute constant $c>0$. The proof combines two estimates from Bedert's argument with an exact averaging identity for the asymmetric boundaries of additive intersections. This identity replaces the multiplicative-amplification step responsible for the logarithmic loss.

Arithmetic Polyhedra

math.MG

math.NT

The Koebe-Andreev-Thurston theorem assigns a 3-dimensional hyperbolic reflection group to each combinatorial polyhedron. A natural question is: which of them are arithmetic? In 2016, Kontorovich-Nakamura conjectured that all arithmetic reflection groups obtained in this way are commensurable to those obtained from the tetrahedron, square pyramid, or cuboctahedron. In this paper, we prove the conjecture. It is a consequence of the following result of independent interest: all arithmetic ideal, right-angled hyperbolic polyhedra are obtained by gluing together copies of one of three ``seed'' polyhedra.

Counting sets with given doubling via dimension

math.CO

math.NT

We determine, up to a factor of $2^{o(k)}$, the number of $k$-sets $A \subset \{1, \ldots, n\}$ such that $|A + A| \leq m$, where $k = \Theta(\log n)$ and $m \leq k^{1 + \alpha}$, for small $\alpha > 0$, answering a question of Green and Morris.

Galois groups of reciprocal polynomials and the van der Waerden-Bhargava theorem

math.NT

v2

We study the Galois groups $G_f$ of degree $2n$ reciprocal (a.k.a. palindromic) polynomials $f$ of height at most $H$, finding that $G_f$ falls short of the maximal possible group $S_2 \wr S_n$ for a proportion of all $f$ bounded above and below by constant multiples of $H^{-1} \log H$, whether or not $f$ is required to be monic. This answers a 1998 question of Davis-Duke-Sun and extends Bhargava's 2023 resolution of van der Waerden's 1936 conjecture on the corresponding question for general polynomials. Unlike in that setting, the dominant contribution comes not from reducible polynomials but from those $f$ for which $(-1)^n f(1) f(-1)$ is a square, causing $G_f$ to lie in an index-$2$ subgroup.

Absolutely Abelian Hilbert Class Fields and $\ell-$torsion conjecture

math.NT

v3

There are several recent works where authors have shown that number fields $K$ with `sufficiently many' units and cyclic class group contain a Euclidean ideal class provided the Hilbert class field $H(K)$ of $K$ is absolutely abelian. In this article, we explore the latter hypothesis: how often a number field $K$ has absolutely abelian Hilbert class field? For a number field $K$ to have absolutely abelian Hilbert class field, we obtain several criteria in terms of class number of $K$, P\'olya group of $K$, and genus number of $K$. We also show that for such number fields the $\ell-$torsion conjecture is true. Along with these, the article also reports some results on a theme to study class groups, where primes of higher degree are used to study class groups.

On efficient approximation of quadratic irrationals, signed Chebyshev polynomials and Householder's method

math.NT

v5

We provide efficient algorithms to compute convergents of quadratic irrationals. We show that for square roots, in settings where Galois' refinement of Lagrange's theorem holds, certain decimations of the sequence of convergents are signed Chebyshev sequences, which can be also be generated by a Householder method.

Discovering hypergeometric series with harmonic numbers via Wilf-Zeilberger seeds

math.NT

math.CO

v3

By extracting coefficients from Wilf-Zeilberger pairs with respect to auxiliary parameters, we discover many nontrivial hypergeometric series involving harmonic numbers. In particular, we obtain a rapidly convergent series for the depth-two multiple zeta value $\zeta(5,3)$, which appears to be the first result of its kind in the literature. We also experiment with the Hilbert-Poincare series attached with a WZ-seed and conjecture that it admits a remarkably simple form, suggesting the presence of an underlying graded algebra structure behind WZ-seeds.

Fractional parts of powers of negative rationals

math.NT

v4

We prove that for any real number $\xi\neq 0$ and any coprime integers $p>q\ge1$ such that $\xi$ is irrational or $q>1$, the image in $\mathbb{R}/\mathbb{Z}$ of the sequence $(\xi (-p/q)^n)_{n\ge 0}$ is not contained in any interval of length less than $(1+q/p-q^2/p^2)/p$.

Chevalley-Herbrand formulas and Zp -extensions of a p-principal imaginary quadratic field

math.NT

v2

Let $k$ be an imaginary quadratic field and let $p \ne 2$ be a prime number, split in $k$ into ${\mathfrak p}{\overline {\mathfrak p}}$. We assume that the $p$-class group of $k$ is trivial. Let $\delta \geq 0$ be the ${\mathfrak p}$-valuation of the ${\overline {\mathfrak p}}$-Fermat quotient of the fundamental ${\mathfrak p}$-unit $x$ of $k$. Let $K/k$ be any bi-ramified ${\mathbb{Z}}_p$-extension and let $p^e$ be the degree of the inertia field of ${\mathfrak p}$, $\overline {\mathfrak p}$ being totally ramified. We prove that if $e \geq \delta$, then $\lambda(K/k) = 1$, $\mu(K/k) = 0$; if $e<\delta$ a characterization is obtained from Iwasawa invariants of the $S^{\mathfrak p}$-class groups. This approach only uses generalizations of Chevalley-Herbrand formulas and the non-nullity of a $p$-adic regulator ${\mathcal R}^{\mathfrak p}_\delta$ in incomplete $p$-ramification. It provides effective and computable results that complement some aspects of Iwasawa theory. Conjecture states that only the cyclotomic ${\mathbb{Z}}_p$-extension is ''exceptional''; justifications are given. A pari/gp program computes $\delta$ and ${\mathcal R}^{\mathfrak p}_\delta$, for $p=3$, $e=1$.

Non-split Cartan curves and a characterization of fake elliptic curves

math.NT

math.AG

v2

The $\ell$-adic Tate module of an abelian surface with quaternionic multiplication (QM) decomposes as two copies of a two-dimensional $\mathbb{Q}$-rational representation. To this day, there is no criterion to distinguish these representations from those attached to elliptic curves. For this reason, QM abelian surfaces are usually called fake elliptic curves. In this paper we characterize QM abelian surfaces defined over an imaginary quadratic field $K$. Namely, we consider an abelian surface $A/K$ without potential CM and whose $L$-function is a square. Under a reasonable conjecture, we show that $A$ has QM if and only if it has residual image contained in a non-split Cartan group modulo at least two primes. The characterization is unconditional for all indefinite quaternion discriminants up to 33. The proof is based on previous work of Siksek and Michaud-Jacobs on quadratic points on non-split Cartan modular curves. In particular, we prove that all quadratic points on $X_{ns}(6)$, $X_{ns}(10)$ and $X_{ns}(15)$ are non-exceptional.

How many points has an affine algebraic set in residue classes modulo n ?

math.NT

math.LO

v2

We show that for every uniform family of affine algebraic sets, there is a formula in the parameters of the family and in $n$, expressing the cardinality of the set in the ring $\mathbb Z/n \mathbb Z$. In particular, we construct such a formula for the elliptic curves in Weierstrass normal form. These formulas are arithmetic terms: fixed finite compositions of additions, multiplications, subtractions, divisions with remainder and integer exponentiations.

The Shimura Lift and Hilbert Modular Forms

math.NT

v2

After recalling basic formulas concerning modular forms of half-integral weight, Gegenbauer polynomials, and Rankin--Cohen brackets, we give four versions of the Shimura lift and several applications to Hilbert modular forms associated to real quadratic fields. We claim no originality, but wanted to collect all the formulas in a single paper.

Lower Bounds for Moments of $L$-functions

math.NT

v2

In this article, we introduce a refinement of the method of Heap and Soundararajan to obtain lower bounds for the $2k$-th moment of a broad class of $L$-functions for all real $k\ge 0$. In particular, our method circumvents the need to estimate the twisted moments of $L$-functions.

Overcolored Partition $k$-tuples Restricted by Parity of the Parts

math.NT

v2

In this paper, we study the combinatorial object $\bar{b}^k_{r,s}(n)$ which counts the overcolored partition $k$-tuples wherein both even and odd parts are colored with $r$ and $s$ colors, respectively. We extend results of Chacon and Sellers for several families of $r,s$ and $k$. We also establish divisibility properties for $\bar{b}^k_{r,s}(n)$ modulo prime $p$ and conclude with new congruences modulo powers of $2$. The techniques involved to obtain our results rely on theta function identities and modular forms.

On path integrals for wave functions taking $p$-adic values

math-ph

math.MP

math.NT

v4

In this paper, we construct a $p$-adic path integral via $p$-adic multiple integrals. This integral describes the evolution of a wave function $\Psi(x)$, defined as a map from a domain in $\mathbb{C}_p$ to $\mathbb{C}_p$. Unlike the standard $p$-adic quantum mechanics formulated for functions $\mathbb{Q}_p \to \mathbb{C}$, our construction works directly on $\mathbb{C}_p$-valued wave functions. Using $p$-adic Dirac delta measures and $p$-adic additive characters, we define the propagator as a finite-partition multiple integral, which allows explicit iterative integration. As an application, we compute the Feynman propagator for free particles and obtain a closed-form expression analogous to the classical counterpart. Our method provides a discrete, constructive alternative that complements the existing distribution-theoretic frameworks for $p$-adic functional integration.

Distinguished Simple Supercuspidal Representations of $p$-adic $\text{GL}(n)$

math.RT

math.NT

v2

Let $\text{E}/\text{F}$ be a quadratic extension of non-archimedean local fields with odd residual characteristic. In this paper, we give equivalent conditions for a simple supercuspidal representation $\pi$ of $\text{GL}(n, \text{E})$ to be distinguished by $\text{GL}(n, \text{F})$ in terms of its defining maximal simple type and twisted gamma factors. Furthermore, we prove that the collection of twisted gamma factors evaluated at $\frac{1}{2}$ between $\pi$ and all unitary, tamely ramified quasi-characters of $\text{E}^{\times}$ that are trivial on $\text{F}^{\times}$ is sufficient to determine whether $\pi$ is distinguished by $\text{GL}(n, \text{F})$.

Matrix group $\Lambda$-distributions

math.RT

math.AC

math.NT

math.PR

v2

The $\Lambda$-distribution of a compact matrix group is an invariant in algebraic probability theory that was recently introduced to study zero distributions of function field $L$-functions. It is encoded by the $\sigma$-moment generating function, a generalization of the Molien series of classical invariant theory. In this work, we compute the $\sigma$-moment generating functions of finite matrix groups in many new cases. In particular, we compute the asymptotic $\Lambda$-distributions for the infinite families of Weyl reflection groups of types $B_n/C_n$ and $D_n$, complementing the previously known case of reflection groups of type $A_n$, i.e., symmetric groups. We also establish a general result relating the shapes of $\sigma$-moment generating functions to the distributions of associated classical random variables, explaining a previous ad hoc observation for independent Gaussians arising from traces of powers on compact classical groups.

On a conjecture on the Kasami APN function: reductions, structure theorems, a proof for $k\bmod n\in\{1,2,n{-}2,n{-}1\}$, and exhaustive verification for $n\le 13$

math.CO

math.NT

v2

We study Carlet's cyclic-additive conjecture for the Kasami almost perfect nonlinear (APN) function $F(x)=x^{4^k-2^k+1}$ on $GF(2^n)$, $\gcd(k,n)=1$: for the $2^{n-1}$-element set $\Delta=\{F(b)+F(b+1)+1: b\in GF(2^n)\}$ and all distinct nonzero $v_1,v_2\in GF(2^n)$, \[ \bigl|\{(x,y,z)\in\Delta^3 : v_1x+v_2y+(v_1+v_2)z=0\}\bigr| \;=\; 2^{2n-3}. \] This exact triple-count condition was first formulated by Carlet in his 2018 cyclic-additive difference-set framework; the Kasami instance was subsequently posed as an open problem at the NSUCRYPTO 2019 cryptographic olympiad, whose individual proposer was not publicly disclosed. We prove the conjecture for $k\bmod n\in\{1,2,n-2,n-1\}$, in particular a complete proof for $k=2$ ($d=13$) via a quadratic-form theory and an exact root-count reduction, and we verify it exhaustively by computer for every admissible $(n,k)$ with $n\le13$.

The First Two Exceptional Boundaries for Sets with Few Subset Sums

math.CO

math.NT

v2

Let $A$ be an $n$-element set of positive real numbers, and write $\operatorname{FS}(A)$ for its subset sums, including the empty sum. Write $T_n=\binom{n+1}{2}$. For $0\le M\le n-4$, Carpenter, Defant and Kravitz classify all $A$ satisfying $\lvert\operatorname{FS}(A)\rvert\le T_n+1+M$. We determine the next two cases for every $n\ge5$. At $M=n-3$, the sets are precisely the positive dilates of primitive positive-integer sets $B$ with $\sum B\le T_n+n-3$, together with the dilates of $\{1,3,4,\ldots,n+1\}$. At $M=n-2$, the integer total bound increases by one, and the exceptional templates are $\{1,3,4,\ldots,n+1\}$, $\{2,3,\ldots,n+1\}$, and $\{1,3,4,\ldots,n,n+2\}$. We also determine all equality cases and show that $n=5$ is the sharp threshold, including for commensurability at $M=n-2$. The proof records the missing subset sums at the two endpoints and derives a transition formula that extends the exceptional configurations to arbitrary $n$.