Generalized fruit Diophantine equation and super elliptic curves

2026-05-31T23:37:30Z

In this article, we are interested in finding rational points on certain superelliptic curves.

Geometrization of summation formulae for quadrics

2026-05-31T23:17:37Z

We geometrize the Poisson summation formula for the zero locus of a split quadratic form in an even number of variables over number fields. We do so by making explicit the relationship between Schwartz spaces on quadrics defined in two different ways: via Braverman-Kazhdan spaces and via theta lifts.

Infinitely many holes in connectedness loci for collinear affine iterated function systems

2026-05-31T21:57:11Z

We investigate the topology of connectedness loci, denoted as $M_n$, for a one-parameter family of collinear affine iterated function systems featuring equally spaced translations. These loci are arithmetically equivalent to the closures of roots of monic polynomials whose non-leading coefficients fall within a prescribed finite interval of integers. Our main theorem proves that for every integer $n \ge 2$, the connectedness locus $M_n$ contains infinitely many holes. While the $n=2$ case is equivalent to a known theorem by Calegari, Koch, and Walker, this paper establishes the proof for $n \ge 3$. To prove the existence of holes for larger alphabets, we construct a stationary family of finite-capture loops in the geometry of the associated difference attractor. Each loop surrounds a missing-center configuration, and a finite inverse-tree certificate rigorously demonstrates that the enclosed witness parameter lies outside the connectedness locus. Furthermore, we show that the sequence of witness parameters converges to a canonical algebraic boundary point -- termed the renormalization point, $ξ_n$ -- where infinitely many of these distinct holes accumulate. The paper's finite geometric checks are verified via exact algebraic certificates.

Distinguished defining polynomials for extensions of p-adic fields

2026-05-31T21:17:49Z

We give an algorithm for choosing a distinguished defining polynomial for a p-adic field extension. This algorithm formed an important ingredient in the recent expansion of the database of p-adic fields within the L-functions and modular forms database.

Sums of Apostol's Möbius functions of order $k$

2026-05-31T18:17:34Z

In 1970, T. M. Apostol introduced the Möbius function $μ_{k}$ of order $k$ for all positive integer $k$, as a generalization of the Möbius function $μ= μ_{1}$. For any integer $k \ge 2$, he proved $\sum_{n \le x} μ_{k}(n) = A_{k} x + O_{k}(x^{1/k} \log x)$ where $A_{k}$ is a positive constant. In 2001, A. Bege conjectured both the conditional and unconditional estimates for the sum $\sum_{n \le x, (n, q) = 1}μ_{k}(n)$ for any positive integer $q$. In this paper, we give affirmative solutions to the conditional version of Bege's conjecture completely and the unconditional one partially. We also give a mean square estimate for the error term.

Lerch's $Φ$ and the Polylogarithm at the Positive Integers

2026-05-31T17:57:36Z

We review the closed forms of the partial Fourier sums associated with $\HP_k(n)$ from a previous paper and create an asymptotic expression for $\HP(n)$ as a way to obtain formulae for the full Fourier series (if $|b|<1$, one obtains a surprising pattern, $\HP(n) \sim H(n)-\sum_{k\ge 2}(-1)^kζ(k)b^{k-1}$). Finally, the derived Fourier series formulae are used to obtain a formula for the Lerch transcendent function, $Φ(e^z,k,b)$, and by extension the polylogarithm, $\mathrm{Li}_{k}(e^{z})$, at the positive integers $k$.

A Sharp Reverse Minkowski Inequality for the Gaussian Mass of Integral Unimodular Lattices Through Rank $32$

2026-05-31T16:55:52Z

The integer lattice $\mathbb{Z}^n$ is conjectured to maximize the Gaussian mass $Θ_L(t)=\sum_{x\in L}e^{-t\|x\|^2}$ over the set of stable lattices in $\mathbb{R}^n$, for every $t>0$. We prove this sharp inequality for every integral unimodular lattice $L$ of rank $n\leq 32$, with equality only at $L\cong\mathbb{Z}^n$, and furthermore obtain the strict inequality for every even unimodular lattice of rank $40$. The proof does not use the classification of unimodular lattices in these ranks; rather, it parametrizes integral unimodular theta series as polynomials in the modular function $u=Δ_8/\vartheta_3^8\in(0,1/64]$, with the few coefficients that arise controlled by norm-$1$ splitting, ADE root counts, and shadow positivity.

Additive Rigidity for Images of Rational Points on Abelian Varieties II: The General Case

2026-05-31T15:39:57Z

We study the interaction between the group law on an abelian variety and the additive structure induced on its image under a morphism to a projective space. Let $A/F$ be an abelian variety, $f:A \rightarrow \mathbb{P}^n$ be a morphism which is finite onto its image, and $Γ\subseteq A(F)$ be a finite-rank subgroup. We show that for any affine chart $\mathbb{A}^n \subseteq \mathbb{P}^n$ and any finite subset $X \subseteq f(Γ) \cap \mathbb{A}^n$, the energy satisfies $E(X) \ll \lvert X \rvert^2$ and the sumset satisfies $\lvert X+X \rvert \gg \lvert X \rvert^2$. Thus images of finite-rank subgroups of abelian varieties cannot have strong additive structure in affine space. This removes the simplicity assumption from the author's previous result. The proof combines the uniform Mordell--Lang conjecture of Gao--Ge--Kühne with a refined use of the Ueno locus, Rémond's boundedness theorem for abelian subvarieties of bounded degree, and induction on the dimension of $A$.

Additive Rigidity for Images of Rational Points on Abelian Varieties I: The Simple Case

2026-05-31T15:36:44Z

We study the interaction between the group law on an abelian variety and the additive structure induced on its image under a morphism to projective space. Let $A/F$ be a simple abelian variety, $f:A \rightarrow \mathbb{P}^n$ be a morphism which is finite onto its image, and $Γ\subseteq A(F)$ be a finite-rank subgroup. We show that for any affine chart $\mathbb{A}^n \subseteq \mathbb{P}^n$ and any finite subset $X \subseteq f(Γ) \cap \mathbb{A}^n$, the energy satisfies $E(X) \ll \lvert X \rvert^2$ and the sumset satisfies $\lvert X+X \rvert \gg \lvert X \rvert^2$. We then ask whether the same additive rigidity holds for arbitrary abelian varieties, and prove that this is indeed the case when the morphism $f$ is compatible with the decomposition of $A$ into simple factors. The proof uses the uniform Mordell-Lang conjecture proven by Gao--Ge--Kühne.

Weighted averages of arithmetic functions and applications to equidistribution and ergodic theory

2026-05-31T15:02:10Z

For a wide range of functions $W\colon\mathbb{N}\to\mathbb{N}$, we establish a general result for estimating weighted averages of the form\[\mathbb{E}^{W}_{n \le N} f(\vartheta(n))= \frac{1}{W(N)}\sum_{n=1}^N (W(n)-W(n-1))f(\vartheta(n)),\]where $f\colon \{1,\ldots,N\}\to\mathbb{C}$ is an arbitrary function, and $\vartheta(n)$ is any arithmetic function that adheres to a certain Gaussian distribution condition. (For instance, one may take $\vartheta(n)=Ω(n)$, where $Ω(n)$ counts the number of prime factors of $n$ with multiplicity, or $\vartheta(n)=s_q(p_n)$, where $s_q$ is the sum-of-digits function in base $q$ and $p_n$ denotes the $n$-th prime. Additional natural examples are discussed in the paper.) Building on our main theorem, we show that if $h(n)$ is a function from a Hardy field with polynomial growth then $(h(\vartheta(n)))_{n\in\mathbb{N}}$ is uniformly distributed mod $1$ if and only if one of the following (mutually exclusive) conditions is satisfied: (i) $\lim_{x\to\infty} \frac{|h(x)-p(x)|}{x \log x}=\infty$ for all $p(x)\in \mathbb{Q}[x]$; (ii) $\lim_{x\to\infty}\frac{|h(x)-p(x)|}{\sqrt{x}}=\infty$ for each $p(x)\in \mathbb{Q}[x]$ and there exists $q(x)\in \mathbb{Q}[x]$ such that $\lim_{x\to\infty}\frac{|h(x)-q(x)|}{x}<\infty$. This leads to several novel applications. For example, it follows that $(Ω(n)^c)_{n\in\mathbb{N}}$ is uniformly distributed mod $1$ if and only if $c$ is a non-integer greater than $\frac{1}{2}$.

Dyadic Frequency Laws, Clock Dynamics, and Defect Scaling in a Perturbed Hofstadter $Q$-Recursion

2026-05-31T14:27:01Z

We study the perturbed Hofstadter $Q$-recursion \[ Q(1)=Q(2)=1,\qquad Q(n)=Q(n-Q(n-1))+Q(n-Q(n-2))+(-1)^n \quad (n\ge3). \] We investigate its value frequencies and dyadic fluctuation structure. Our first main result is an explicit dyadic frequency law: if $F(s)$ denotes the number of occurrences of the value $2s-1$, then for every $k\ge0$, \[ \{F(s):2^k\le s<2^{k+1}\} = \{3+ν_2(j):1\le j\le2^k\} \] as multisets. The proof uses Cloître's binary interleaving structure, dyadic hitting-time identities, and an induced rank-lifting mechanism for plateau zero-runs. We also study deviations from exact dyadic scaling through the renormalized defect $R(n)=Q(2n)-2Q(n)$. Introducing the auxiliary clock process $t_1(n)=n-Q(n-1)$, we prove the exact identity \[ R(n)=2t_1(n+1)-t_1(2n+1)-1, \] which expresses the dyadic defects entirely in terms of a single delayed clock dynamics. Numerical computations further indicate coherent fluctuation profiles across dyadic scales and approximate logarithmic self-similarity on the $\log_2 n$-scale. Together with Cloître's asymptotic estimate $Q(n)=n/2+O(n/\sqrt{\log n})$, these results suggest a nontrivial recursive dyadic scaling structure in the perturbed recursion.

δ-rings, perfectoid towers, and lim Cohen-Macaulay sequences

2026-05-31T12:41:55Z

The aim of this article is to study basic structures and interrelations of $δ$-rings, perfectoid towers, and lim Cohen--Macaulay sequences over Noetherian rings in positive or mixed characteristic. We also discuss the deformation of perfectoid purity via perfectoid towers. In the latter part of this paper, we discuss some methods for constructing perfectoid towers, dealing with $p$-torsion-free and $p$-torsion cases, respectively. Some interesting examples arise as quotients by monomial or binomial ideals or determinantal rings. We also explain a geometric method with a view toward constructing rings with certain singularities.

Log-regularity of monoid algebras

2026-05-31T12:30:32Z

Local log-regular rings are Cohen-Macaulay local domains introduced by Kazuya Kato to expand the theory of toric varieties without a base. In this note, we show that local rings of monoid algebras over regular rings are log-regular. As a corollary, we show that monoid algebras are log-regular rings.

Piatetski-Shapiro Primes in short intervals

2026-05-31T09:23:50Z

The existence of primes in a short interval, which asks if there are prime numbers in the interval $[x, x + x^θ]$, is a core problem in number theory. Guth and Maynard proved the best known result for this problem with an asymptotic formula while Baker, Harman and Pintz proved the best lower bound result. In this article, we focus on Piatetski-Shapiro primes in a short interval. The study of Piatetski-Shapiro primes of the form $\lfloor n^c \rfloor$ is an approximation of the well-known conjecture that there exist infinitely many primes of the form $n^2+1$. We prove the existence of such primes under restrictions on $θ$ and $c$ with an asymptotic formula and a lower bound, respectively.

Good Ramanujan Expansions: A suitably enhanced decay of coefficients has important consequences

2026-05-31T09:18:33Z

In this self-contained short note, we introduce the new definition of Good Ramanujan Expansion, say G.R.E., for a fixed arithmetic function $F$, building upon a good decay of its coefficients $G$; this, gains $\log-$powers w.r.t. the trivial bound for $G$ and precisely $\log^{1+η}$, where the present parameter $η>0$ is real. This property alone has important consequences for all the $F$ having a G.R.E. : mainly, 1) the Eratosthenes Transform $F'$ of our $F$ is infinitesimal (see in Theorem 1); 2) when $η>1$ (an enhanced decay) we have uniqueness of $G$ (actually, these are the classic Wintner-Carmichael coefficients, see Th.2); 3) we get a bound for $F$ (in Th.3); 4) an important new class of arithmetic functions $F$ can't have a G.R.E. (see Th.4). These are a generalization of Correlations; which in this way, if are, say, a kind of "far from constants", may not have a G.R.E., whence, a fortiori, can't have the R.E.E.F. This is the Ramanujan Exact Explicit Formula, that we introduced with Prof. Ram Murty.