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.

Generalized Fermat equation over cyclotomic $\mathbb{Z}_l$-extensions of totally real fields

2026-05-31T09:05:14Z

Let $K$ be a totally real number field of odd degree in which $2$ is inert. Let $l \geq 5$ be a prime with $l \nmid [K:\mathbb{Q}]$ and $\gcd(\frac{l-1}{2}, [K:\mathbb{Q}])=1$. We prove that if $2$ is inert in $K$, $l$ is non-Wieferich, i.e., $2^{l-1} \not\equiv 1 \pmod{l^2}$, and $l$ is totally ramified in $K$, then the asymptotic Fermat's Last Theorem holds over each $n$-th layer $K_{n,l}$ of the cyclotomic $\mathbb{Z}_l$-extension of $K$. We then prove that the generalized Fermat equation $Ax^p+By^p+Cz^p=0$ has no asymptotic solution over each $n$-th layer $K_{n,l}$ when $A,B,C \in \{u2^r : u\in \mathcal{O}_K^\times,\ r \in \mathbb{Z}_{\geq 0}\}$. For any odd prime $d$, we also prove that if $A,B,C \in \{\pm 2^r d^s : r,s \in \mathbb{Z}_{\geq 0}\}$ and $h_{\mathbb{Q}_{n,l}}^+$ is odd, then the generalized Fermat equation $Ax^p+By^p+Cz^p=0$ has no effective asymptotic solution $(a,b,c) \in \mathcal{O}_{\mathbb{Q}_{n,l}}^3$ with $2 \mid abc$. The effectivity in the case of $\mathbb{Q}_{n,l}$ follows from a result of Thorne proving the modularity of elliptic curves over $\mathbb{Q}_{n,l}$.

On the finite transcendence of Frobenius traces for abelian varieties over $\mathbb{Q}$

2026-05-31T08:39:07Z

The first purpose of this paper is to give the fnite transcendence of Frobenius traces for elliptic curves over $\mathbb{Q}$ without the assumption of complex multiplication (CM). This result generalizes the previous work by Luca and Zudilin, who obtained similar transcendence results specifically for the CM case. The second purpose is to give the finite transcendence of Frobenius traces for several principally polarized abelian varieties over $\mathbb{Q}$, by using Luca--Zudilin's method.

Tame Galois Groups, Linking Numbers and Mildness

2026-05-31T08:08:33Z

Let $p$ be an odd prime and let $S$ be a set of tame primes. We denote by $G_S$ the Galois group of the maximal pro-$p$ extension of $\mathbb{Q}$ unramified outside $S$. We prove that for every finite set of tame primes $S_0$ with $|S_0|\geq 2$, there exists a set $S_1$ consisting of two tame primes such that $G_{S_0\cup S_1}$ has cohomological dimension $2$. This refines a result of Labute. More generally, we establish an analogous result for number fields not containing a primitive $p$-th root of unity, under a suitable splitting condition. Our approach answers a question of Labute, from his seminal paper on mild groups, and combines weighted Zassenhaus filtrations, graph-theoretic methods, and Koch-type presentations. As an application, we solve several cohomological Galois inverse problems with prescribed ramification and splitting. We also provide numerical examples and statistics.

Topological and Diophantine properties of lattice subset projections

2026-05-31T06:10:54Z

Fix $1 \leq n < m, k = m-n.$ The Grassmannian $Gr(n,m)$ is a compact $kn$-dimensional manifold with a unique rotation invariant probability measure $σ_n.$ For $W \in Gr(n,m)$, $P_W : \mathbb R^m \mapsto W$ is orthogonal projection. A lattice subset $L \subset \mathbb Z^m \subset \mathbb R^m$ is called $k$-dense if it intersects $C(O) := \bigcup_{V \in O} V\backslash \{0\}$ for every nonempty open $O \subset Gr(k,m)$. We use Baire's category theorem [4] to prove that $L$ is $k$-dense iff $L_{n,lim} := \{W \in Gr(n,m) : 0 \mbox{ is a limit point of } P_W(L) \}$ is a $G_δ$ set. We use Khintchine-Groshev's theorem [5,13,20] to characterize Diophantine properties of $L_{n,lim}$ by lacunary properties of $L$ and construct $k$-dense $L$ with $σ_n(L_{n,lim}) = 0$ and with $σ_n(L_{n,lim}) = 1.$ We pose related questions about the construction of multidimensional crystalline measures and Fourier quasicrystals.

A further study of polynomial $g_{n,q}$ over finite fields

2026-05-31T06:04:17Z

Let $n\geq 0$ be an integer and $q$ a prime power. The polynomial $g_{n,q}$ was introduced in [10] with the purpose of finding new classes of permutation polynomials over finite fields. We investigate the permutation behaviour of the polynomial $g_{n,q}(X)$ over finite fields of even characteristic. We introduce the multivariate case of the polynomial $g_{n,q}$, and study the permutation polynomials in several variables and local permutation polynomials resulting from the polynomials $g_{n,q}(X_1,X_2,\ldots , X_k)$. We also present several new identities of $g_{n,q}(X)$, and present some open questions on the permutation property of $g_{n,q}(X)$.

Characterization of matchable sets and subspaces via Dyson transforms

2026-05-31T02:48:51Z

A \emph{matching} from a finite subset $ A $ of an abelian group $ G $ to another subset $ B $ is a bijection $ f : A \to B $ such that $ af(a) \notin A $ for all $ a \in A $. The study of matchings began in the 1990s and was motivated by a conjecture of E.~K.~Wakeford on canonical forms for homogeneous polynomials. The theory was later extended to the linear setting of vector subspaces over field extensions, and then to matroids. In this paper, we investigate the existence and structure of matchings in both abelian groups and field extensions. Using Dyson's $ e $-transform, a tool from additive combinatorics, along with a linear analogue which is introduced in this paper, we establish characterization theorems for matchable sets and subspaces. Several applications are given to demonstrate the effectiveness of these theorems as standalone tools. Throughout, we highlight the parallels between the group-theoretic and linear perspectives.

Generalized polygonal number representations

2026-05-30T19:28:58Z

Let $r_n^{k}(N)$ be the number of representations of $N$ as the sum of $n$ generalized $k$-gonal numbers and $r_n^{\square}(N)$ be the number of representations of $N$ as the sum of $n$ squares. By modifying the Heath-Brown circle method, we prove a closed-form asymptotic relation between $r_n^{k}(N)$ and $r_n^{\square}(8(k-2)N+n(k-4)^2)$ for any $k\geq3$ and any $n\geq4$. Consequently, we determine the asymptotics of $\sum_{N\leq x}r_4^{k}(N)^2$ and, via a result of Bringmann, Jang, Kane, and Tse, prove a similar closed-form asymptotic relation between the number $r_{4,+}^{k}(N)$ of representations of $N$ as the sum of four ordinary $k$-gonal numbers and $r_4^{\square}(8(k-2)N+n(k-4)^2)$. We also show that if $4\mid k$, any strictly increasing infinite subsequence on which $r_{4,+}^{k}$ is bounded converges $2$-adically to $(k-4)^2/(4-2k)\in\mathbb{Z}_2$, supplementing a result of Meng and Sun, and if $4\nmid k$, there is no strictly increasing infinite subsequence on which $r_{4,+}^{k}$ is bounded.

Constructive Proof of Two Characterizations of Arithmetic Equivalence

2026-05-30T14:47:35Z

We prove a formula governing the combinatorics of cyclic group actions and extend a lemma of Hasse to account for ramification. Consequently, we obtain the first constructive proofs of two theorems characterizing arithmetic equivalence. We are also able to give new proofs of strong multiplicity one type theorems for Kronecker equivalence and weak Kronecker equivalence.

Locating a shortest vector in certain $2$-dimensional lattices

2026-05-30T12:29:06Z

Let $a$, $m$ be positive integers, $1

On the $P(t)$-adic Littlewood conjecture in odd characteristics

2026-05-30T09:10:55Z

The $P(t)$-adic Littlewood conjecture is a function field analogue of the famous $p$-adic Littlewood conjecture in Diophantine approximation. In this paper, we prove that the $P(t)$-adic Littlewood conjecture fails for any irreducible polynomial $P(t)$ over any ground field of odd characteristic.

A discrepancy result for Hilbert modular forms

2026-05-30T07:52:37Z

Let $F$ be a totally real number field and $r=[F :\mathbb{Q}].$ Let $A_k(\mathfrak{N},ω) $ be the space of holomorphic Hilbert cusp forms with respect to $K_1(\mathfrak{N})$, of weight $k=(k_1,\dots,k_r)$ such that $k_j>2$ for all $j$, and with central Hecke character $ω$. For integral ideals $\mathfrak{N}$ and $\mathfrak{n}$ in $F$ such that $( \mathfrak{n}, \mathfrak{N}) = 1$, we study the Petersson trace formula for the Hecke operator $T_{\mathfrak{n}}$ acting on the space $A_k(\mathfrak{N},ω)$. We present asymptotic estimates for the terms of the Petersson formula as $k_0\rightarrow\infty,$ where $k_0=\min(k_1,\dots,k_r)$. As an application, we obtain a weighted discrepancy bound for the distribution of the eigenvalues of the Hecke operator $T_{\mathfrak{p}}$ (for a fixed prime ideal $\mathfrak{p}$) acting on the space $A_k(\mathfrak{N},1),$ when $F$ has narrow class number $1$, and the ideal $\mathfrak{N}$ is generated by (rational) integers. This generalizes a discrepancy result previously obtained by Jung and Sardari in the context of classical cusp forms.

Prescribed realisation of longest runs in continued fractions

2026-05-30T03:38:53Z

Exceptional longest-run behaviour in continued fraction expansions is studied through the interaction between fixed-symbol runs and the overall longest run. For every prescribed partial quotient value and every admissible growth scale, a full Hausdorff dimensional set of irrational numbers is constructed on which the longest run of the prescribed value has exactly the prescribed asymptotic growth and, for every initial length, uniquely realises the overall maximum. It follows that the symbol responsible for the overall longest run can be fixed in advance without any loss of Hausdorff dimension. Thus, the known full-dimensional exceptional-set results for fixed-symbol longest-run growth and for overall longest-run growth are simultaneously strengthened, while the maximising symbol in the overall problem is shown to be fully prescribable.

On $\mathbb{Z}_2$-extensions of real quadratic fields

2026-05-30T02:22:37Z

Let $k$ be a real quadratic field. Let $k_n$ be the $n$-th layer of the $\mathbb{Z}_2$-extension of $k$, and $2^{a_n}$ be the $2$-part of the class number of $k_n$. In this paper, we derive many laws concerning the sequence $(a_0,a_1,\dotsc)$, by iteratively extending the group of cyclotomic units.