Real exponential sums over primes and prime gaps

2026-05-07T05:49:06Z

We prove that given $λ\in \mathbb{R}$ such that $0 < λ< 1$, then $π(x + x^λ) - π(x) \sim \displaystyle \frac{x^λ}{\log(x)}$. This solves a long-standing problem concerning the existence of primes in short intervals. In particular, we give a positive answer (for all sufficiently large number) to some old conjectures about prime numbers, such as Legendre's conjecture about the existence of at least two primes between two consecutive squares.

Multiple modular L-functions and modular iterated integrals

2026-05-07T04:49:21Z

The connection between multiple modular L-functions, as defined by Manin in [5], and modular iterated integrals was made explicit by Choie and Ihara [3] under the restrictive assumption that all modular forms involved have vanishing constant terms in their q-expansions. In this paper, we remove the assumption and establish the relationship between modular iterated integrals and multiple modular L-functions for general modular forms, including those with nonzero constant terms. We also provide a proof of a functional equation for modular iterated integrals, which is a specialization of a general result obtained by Brown [2]. This leads us to a generalization of the result of Choie-Ihara [3]. In the final part of the paper, we compute explicit examples of modular iterated integrals. These calculations essentially reproduce the explicit initial computations carried out by Brown [2], but they also serve to validate the broader framework developed in this work.

A Structure Sheaf for Kirch Topology

2026-05-06T23:31:41Z

Kirch topology on $\mathbb N$ goes back to 1969, and is remarkable for being Hausdorff, connected, and locally connected. In this sense, it is analogous to the usual topology on $\mathbb C,$ yet, to the author's knowledge, there have been no Kirch topology analogs of the sheaf of complex-analytic functions until very recently. In our latest paper we constructed such natural sheaf of rings, the sheaf of locally LIP functions. In this paper we investigate some of its basic properties, primarily regarding zeroth and first cohomology and Cech cohomology with respect to covers by basic open sets.

Multifractal analysis of power means for the Schneider map on $p\mathbb{Z}_p$

2026-05-06T22:07:24Z

We study the asymptotic power means of the coefficients associated with the Schneider continued fraction map on $p\mathbb{Z}_p$. Using tools from thermodynamic formalism, we compute the Hausdorff dimension of the corresponding level sets and obtain explicit formulas for the associated multifractal spectra. The locally constant nature of the geometric potential enables a precise description in terms of polylogarithm functions, in sharp contrast with the classical real setting.

Even-carry polynomials and cohomology of line bundles on the incidence correspondence in positive characteristic

2026-05-06T20:57:15Z

We consider the cohomology groups of line bundles $\mathcal{L}$ on the \emph{incidence correspondence}, that is, a general hypersurface $X \subset \mathbb{P}^{n-1} \times \mathbb{P}^{n-1}$ of degrees $(1,1)$. Whereas the characteristic $0$ situation is completely understood, the cohomology in characteristic $p$ depends in a mysterious way on the base-$p$ digits of the degrees $(d, e)$ of $\mathcal{L}$. Gao and Raicu (following Linyuan Liu) prove a recursive description of the cohomology for $n = 3$, which relates to Nim polynomials when $p = 2$. In this paper, we devise a suitable generalization of Nim polynomials, which we call \emph{even-carry polynomials,} by which we can solve the recurrence of Liu--Gao--Raicu to yield an explicit formula for the cohomology for $n = 3$ and general $p$. We also make some conjectures on the general form of the cohomology for general $n$ and $p$, for which a recurrence relation was recently derived by Kyomuhangi--Marangone--Raicu--Reed.

Primitive-Root Ratio over Prime Fields: A Shifted-Prime Distribution of Hausdorff Dimension Zero and Implications for PRIM-LWE

2026-05-06T18:38:20Z

For a prime $p$, let $c(p)$ denote the limiting fraction of $n\times n$ matrices over $\mathbb{F}_p$ whose determinant is a primitive root modulo $p$. The quantity $c(p)$ is a natural multiplicative deformation of the totient ratio $\varphi(p-1)/(p-1)$ and inherits its distributional behaviour over the primes. Existence and continuity of the limiting law follow from the shifted-prime Erdős--Wintner--Hildebrand framework. We prove the following new results: unconditionally, $\inf_p c(p)=0$ and the sharp order is $\min_{p\le x}c(p)\asymp 1/\log\log x$; the reciprocal satisfies $\limsup_{p\to\infty, \, p\text{ prime}} 1/(c(p)\log\log p)=e^γ$, and no smaller constant suffices. We give a complete proof, combining an adaptation of Erdős's argument with the Jessen--Wintner pure-type dichotomy, that the limiting distribution is purely singular, and strengthen this to $\dim_H(μ_G)=0$, i.e. the limiting measure is carried by a Borel set of Hausdorff dimension zero. The distribution has full topological support $[0,\tfrac12]$ and admits a Bernoulli-product representation indexed by the odd primes. The moments are given by convergent Euler products, and the Mellin transform $\mathbb{E}[X^s]$ extends to an entire function of $s$, non-vanishing on $\operatorname{Re}(s)>0$. Near the right endpoint, $1-G(\tfrac12-\varepsilon)\simκ/\log(1/\varepsilon)$ with an explicit constant $κ$. The quantity $1/c(p)$ equals the dimension-uniform expected rejection-sampling overhead in the reduction from learning with errors (LWE) to PRIM-LWE in lattice-based cryptography. The explicit bounds yield concrete overhead estimates for all primes appearing in current NIST post-quantum standards and representative NTT-friendly moduli.

Appell function proofs of recent and old mock theta function identities

2026-05-06T17:51:52Z

In this note we give new proofs of two recent mock theta function identities discovered by Garvan and Mukhopadhyay. We also give a new proof of an old mock theta function identity of Watson. Using the setting of Appell function properties as first introduced and developed by Hickerson and Mortenson, we demonstrate that the identities are similar to certain tenth-order and sixth-order mock theta function identities found in Ramanujan's lost notebook. Our approach suggests more identities like those of Garvan and Mukhopadhyay.

New bounds for the Heilbronn triangle problem

2026-05-06T17:31:57Z

Using ideas from the geometry of compression, we improve on the current upper and lower bounds of the Heilbronn triangle problem. In particular, let $Δ(s)$ denote the minimal area of the triangle induced by $s$ points on a unit disk. We have the upper bound $$ Δ(s)\ll \frac{1}{s^{\frac{3}{2}-ε}} $$ for small $ε:=ε(s)>0$ and the lower bound $$ Δ(s)\gg \frac{\log s}{s\sqrt{s}}. $$

The top cohomology of principal congruence subgroups of special linear groups over Euclidean number rings

2026-05-06T16:23:04Z

For $R$ a Euclidean number ring, and let $Γ_n(p)$ be the level-$p$ principal congruence subgroup of $\text{SL}_n(R)$. Borel--Serre showed that the cohomology of $Γ_n(p)$ vanishes above a degree $ν$ that is quadratic in $n$. Let $K$ be the fraction field of $R$, and $\mathcal{T}_n(K)$ the Tits building of $\text{SL}_n(K)$. For $R=\mathbb{Z}$, Lee--Szczarba asked when $\text{H}^ν(Γ_n(p))$ is isomorphic to $\widetilde{\text{H}}_{n-2}(\mathcal{T}_n(K)/Γ_n(p))$, which was answered by Miller--Patzt--Putman. We study a generalized version of Lee--Szczarba's question. We prove that for a prime $p$ in a Euclidean number ring $R$ with fraction field $K$, that a natural map $\text{H}^ν(Γ_n(p)) \to \widetilde{\text{H}}_{n-2}(\mathcal{T}_n(K)/Γ_n(p))$ is always surjective, and give a sufficent set of conditions on $p \in R$ that guarantee when this map is an isomorphism.

Measuring Decidability as Related to Busy Beaver Numbers

2026-05-06T16:18:59Z

The theoretical existence of Busy Beaver numbers provides a new notion for decidability and corresponding heuristic for conjectures. The minimum number of states in which a conjecture can be modeled gives a classification of what logic system can describe said conjecture. In this work, we construct explicit Turing machines that search for a solution to Brocard's problem greater than 7 and a Fermat prime beyond the 4th which halt if and only if such a solution exists.

The Logarithmic Asymptotic Phenomenon for Generalized Markov-Hurwitz Equations

2026-05-06T16:10:56Z

The purpose of this paper is twofold. First, we introduce a family of generalized Markov-Hurwitz equations, extending classical Markov-Hurwitz equations with additional degree n-1 interaction terms, Gyoda and Matsushita's generalized Markov equations from 3 variables to n variables. Second, we prove a logarithmic asymptotic phenomenon for the positive integer solutions of these equations.

Multiplicative $f$-ic forms on algebraic varieties arising from Thaine's generalized Jacobi sums

2026-05-06T15:30:59Z

We study generalized Jacobi sums, cyclotomic numbers, and $d$-compositions in Thaine's framework, and prove new multiplicative identities extending Davenport and Hasse's lifting theorem from the classical prime-power setting to products of prime powers. As applications, we construct multiplicative forms of degree $f\ge2$, i.e. $f$-ic forms, on complete intersections of $f$-ics. This places Pfister's theory of multiplicative quadratic forms over fields within the broader setting of multiplicative $f$-ic forms on affine algebraic varieties, where new phenomena arise. Moreover, a dense open subset $W \subset V$ carries the structure of an algebraic torus, and the multiplicative form is compatible with the induced group law on $W$.

On the Erdős distance problem

2026-05-06T15:11:31Z

In this paper, using the compression method, we recover the lower bound for the Erdős unit distance problem and provide an alternative proof to the distinct distance conjecture. In particular, in $\mathbb{R}^k$ for all $k\geq 2$, we have \begin{align} \#\bigg\{(\vec{x}_t,\vec{x_j})\in \mathbb{E}\subset\mathbb{R}^k~:~||\vec{x_j}-\vec{x_t}||=1,~1\leq t,j\leq n\bigg\}\geq C\frac{\sqrt{k}}{2}n^{1+o(1)}\nonumber \end{align} for some $C>0$. We also show that \begin{align} \# \bigg\{d_j:d_j=||\vec{x_s}-\vec{y_t}||,~d_j\neq d_i,~1\leq s,t\leq n\bigg\}\geq D\frac{\sqrt{k}}{2}n^{\frac{2}{k}-o(1)}\nonumber \end{align} for some $D>0$. These lower bounds generalize the lower bounds of the Erdős unit distance and the distinct distance problem to higher dimensions.

On Sidon sets with squares, cubes and quartics in short intervals

2026-05-06T15:04:11Z

Representative examples of our results are as follows. For any positive integer $N$ the equation $$ x^3+y^3=z^3+t^3, \quad x,y,z,t\in \mathbb{N}, \quad \{x,y\}\not=\{z,t\} $$ has no solutions satisfying $$ N\le x,y,z,t < N+\Bigl(\frac{38}{3}N+\frac{1297}{36}\Bigr)^{1/2}+\frac{19}{6}. $$ The strict inequality ``$<$" can not be substituted by ``$\le$", that is, there exist infinitely many positive integers $N$ such that the equation has a solution with $$ N\le x,y,z,t \le N+\Bigl(\frac{38}{3}N+\frac{1297}{36}\Bigr)^{1/2}+\frac{19}{6}. $$ There is an absolute constant $c>0$ such that for any positive integer $N$ the equation has a solution satisfying $$ N\le x,y,z,t \le N+cN^{2/3}. $$ For any $\varepsilon>0$ there exist infinitely many positive integers $N$ such that the equation has no solutions satisfying $$ N\le x,y,z,t \le N+N^{4/7-\varepsilon}. $$ There is an absolute constant $c>0$ such that for any positive integer $N$ the equation $$ x^4+y^4=z^4+t^4,\quad x,y,z,t\in\mathbb{N}, \quad \{x,y\}\not=\{z,t\}, $$ has no solutions satisfying $$ N\le x,y,z,t \le N+cN^{3/5}. $$ There is an absolute constant $c>0$ such that for any positive integer $N$ this equation has a solution satisfying $$ N\le x,y,z,t \le N+cN^{12/13}. $$

Non-Expansive Matrix Based number Systems

2026-05-06T14:47:20Z

Let $M = \left(\begin{matrix} 1 & 1 \\ 0 & 1 \end{matrix}\right)$ be a $2 \times 2$ Jordan block with eigenvalue $1$, and let $\mathcal{D} = \{\left(\begin{smallmatrix}0 \\ 1 \end{smallmatrix}\right), \left(\begin{smallmatrix} 0 \\ -1 \end{smallmatrix} \right)\}$. In this paper, we answer a question of Caldwell, Hare, and Vávra about the minimal length representation of $\left( \begin{smallmatrix} a \\ b \end{smallmatrix} \right) = \sum_{i=0}^{k-1} M^i d_i$ with $d_i \in \mathcal{D}$. Further, we extend the work of Caldwell, Hare, and Vávra to consider the case of $n \times n$ Jordan blocks with eigenvalue $-1$.