2026-08-14 | | Total: 31
In this paper, we extend the classical problem of studying the distribution of $k$-free integers in arithmetic progressions to the setting of arbitrary number fields. Using the language of ray class groups, we establish asymptotic formulas, together with error terms, for the number of $k$-free ideals of bounded norm lying in a given ray class. In particular, our results show that $k$-free ideals are equidistributed among ray classes. We also obtain improved error estimates in the cases of ideal class groups and narrow class groups by using sharper ideal counting asymptotics due to Landau. Our results recover the classical formulas of Gegenbauer and Cohen--Robinson over $\mathbb{Q}$ and extend previous work of Benkowski, Nymann, and Sittinger to the setting of ray class groups. We also present explicit computational examples that illustrate the asymptotic formulas and the equidistribution of $k$-free ideals among ray classes.
We classify universal divisor-profile separation for coprime polynomial pairs of arbitrary degree and for all pairs of degree at most two. For \(A\subset\N\) and \(m\in\Z\), let \(d_A(m)\) count the members of \(A\) dividing \(m\). For coprime nonzero \(F,G\in\Z[x]\), universally unbounded separation between \(d_A(F(n))\) and \(d_A(G(n))\) occurs if and only if one of \(F,G\) is intersective, that is, has a root modulo every positive integer. More generally, an intersective factor separated from finitely many polynomial opponents yields simultaneous one-sided dominance against all of them. For pairs with common irreducible factors, let \(U,V\) be the products of the factors occurring only on the two respective sides. Universal separation forces \(UV\) to have a root modulo almost every prime; equivalently, its Galois action has no derangement. We resolve the remaining finite \(p\)-adic boundary for all pairs of degree at most two: separation holds exactly when \(UV\) and at least one of \(F,G\) are intersective, and the criterion is unchanged by contents or factor multiplicities. The same criterion holds, in arbitrary degree, for three linear support factors with arbitrary positive multiplicities. The proofs combine uniform almost-prime values on root progressions with an adaptive local-routing argument.
Let p > 3 be a prime, and let S_p denote the geometric isomorphism classes of supersingular elliptic curves in characteristic p whose j-invariants lie in F_p. For each negative fundamental discriminant -D for which p is inert in Q(sqrt(-D)), let m_i(D), i in S_p, be the integral coefficients of the corresponding Gross vector. We prove that the vectors (m_i(D) mod 2)_{i in S_p} span F_2^{S_p}. The key step reduces the parity of the representation numbers of Gross's ternary lattices to representation by rank-two sublattices perpendicular to Frobenius. Using Ibukiyama's explicit maximal orders, the resulting primitive binary forms are identified with those occurring in the Xiao--Zhou--Deng--Qu parametrization of supersingular elliptic curves over F_p. Class field theory and Chebotarev's theorem then allow the individual supersingular coordinates to be isolated. As a consequence, if E/Q has prime conductor p and positive Mordell--Weil rank, then every coefficient of its Brandt eigenvector indexed by S_p is even, proving a conjecture of Kazalicki and Kohen. Thus an odd coefficient at a rational supersingular class is an algebraic certificate of rank 0. Combining this parity theorem with formulas of Mestre and Gross--Kudla, we also prove that the modular degree of every positive-rank elliptic curve of prime conductor and root number +1 is divisible by 4. Consequently, Watkins' conjecture holds for all such curves of rank 2.
Convolution identities and recursive formulas have long played a role in the theory of holomorphic modular forms and their applications. These have served both as striking formulas and as fundamentally useful tools for applications to combinatorics. Recently, there has been renewed interest in examples arising from non-holomorphic modular forms. These include the famous Hurwitz-Kronecker class number relations dating to 1885, and groundbreaking work of Imamoğlu, Raum, and Richter from 2014. Imamoğlu, Raum, and Richter developed a theory of holomorphic projection for products of (vector-valued) harmonic Maass forms and holomorphic modular forms to produce many such formulas. This was related shortly thereafter by Duncan, Griffin, and Ono to replicable-type functions in the sense of Conway and Norton, and such recursions played a key role in their proof of the Umbral Moonshine Conjecture. Here, we develop new results on holomorphic projections of such functions which is more convenient for many natural cases. Imamoğlu, Raum, and Richter's choice corresponds to the case in which the generalized Pell equation $m^2 - Dn^2 = N$ has a square value for $D$, which has only finitely many solutions for a given value of $N$. Our main results cover the cases of general $D$, in particular those for which the Pell equation has infinitely many solutions. As an application, we resolve a recent conjecture of the second author. More generally, our approach yields 18 convolution identities for mock theta functions, which we boil down to 5 identities that can directly be used to prove the others. In the appendices, we also show how these identities can be proven by more direct $q$-series methods; however, the key utility of the holomorphic projection formulas is that they give a tool to automatically discover and verify such formulas.
We establish a criterion for the existence of a local Minkowski unit at $p$ that applies to all Galois extensions with Galois group isomorphic to the direct product of a non-$p$-group and a cyclic $p$-group. As applications, we construct non-abelian extensions admitting a local Minkowski unit at $p$ under various ramification conditions and analyze the Iwasawa module structure of units in $\mathbb{Z}_p$-extensions of number fields. We also extend our study to the case where the group of $p$-power roots of unity is nontrivial.
In 1986, Bombieri, Friedlander and Iwaniec famously obtained that primes are equidistributed in arithmetic progressions to moduli up to $x^{4/7-\varepsilon}$, using well-factorable weights. In this paper, we apply Pascadi's triply-well-factorable convolution estimate and his estimation of incomplete Kloosterman sums to generalize this result to a convolutionform, which improves Wang's result under certain conditions. As for application, we consider the asymptotic density of $\#\{n\leq x:P^+(n)<P^+(n+1)\}$ and $\#\{p\leq x:P^+(p-1)\geq p^c\}$, where $P^+(n)$ denote the largest prime factor of $n$. We show that for $x\rightarrow\infty$, one has\begin{align*} \#\{n\leq x:P^+(n)<P^+(n+1)\}>0.296x \end{align*} and \begin{align*} &\mathop{\lim\sup}_{x\rightarrow\infty} \frac{1}{π(x)}\#\{p\leq x:P^+(p-1)\geq p^c\}\\&\leq S(c)=\left\{ \begin{aligned} & \int_0^{1-c}\frac{2}{(5/8-189u/200)(1-u)}\mathrm{d}u, \quad&& \frac{184}{189}\leq c<1,\\& S\left(\frac{184}{189}\right)+\frac{10}{3}\log\frac{184}{189c},\quad&& 0.7404<c\leq \frac{184}{189}, \end{aligned}\right. \end{align*} where the function $S(c)$ satisfties $S(c)<\frac{7}{2}\log\frac{1}{c} $ for $0.7404<c<1$. The first result improves a previous result $0.280$ by the author (2026). The second result constitutes an improvement upon that of Ding and Wang (2025), who obatined $\mathop{\lim\sup}_{x\rightarrow\infty} \frac{1}{π(x)}\#\{p\leq x:P^+(p-1)\geq p^c\}\leq \frac{7}{2}\log\frac{1}{c}$.
We consider Goldbach type sums corresponding to the Liouville function and prove the existence of sufficient cancellations. We also consider applications to sign patterns in the Liouville function.
The spectral side of the Kuznetsov trace formula for $GL(2)$ is governed by the Bessel-Kuznetsov integral transform $\checkφ(t)$. While classical bounds guarantee rapid decay of this transform for smooth, non-oscillatory test functions, modern applications in analytic number theory---particularly those involving twisted shifted convolution sums---frequently encounter test functions exhibiting a highly oscillatory linear phase $e(αx)$. In this paper, we provide a rigorous and explicit asymptotic analysis of $\checkφ(t)$ in the semiclassical limit $t \to \infty$ under such oscillatory conditions. By applying the WKB approximation to the imaginary-order Bessel kernel, we identify a sharp phase transition dependent on the twist parameter $α$. We prove that in the sub-critical regime ($α\le 1/2π$), the transform decays rapidly. Conversely, in the super-critical regime ($α> 1/2π$), the geometric oscillations resonate with the spectral kernel, yielding a localized main term of order $O(t^{-1})$ with a remarkably simplified arithmetic phase.
For each $r\in\{4,6\}$, we construct an explicit one-parameter family of elliptic curves over $\mathbb{Q}(i)$ containing infinitely many pairwise nonisomorphic curves genuinely defined over $\mathbb{Q}(i)$ with $j$-invariant $1728$ and rank exactly $r$. We construct explicit $\mathbb{Q}(i)$-rational points to bound the ranks from below. Kai's theorem on prime values of linear patterns over number fields provides specializations with controlled local behavior, allowing us to obtain matching upper bounds via $[1+i]$-descent. The construction extends the strategy of the author's earlier rank-$2$ paper by replacing a symmetric Gaussian-prime configuration with systems of binary linear forms satisfying several complementary square identities. In the rank-$6$ case, the support vectors attached to the three constructed points and $(0,0)$ span the self-dual Reed-Muller code $\mathrm{RM}(1,3)$, which also occurs as the kernel of the quadratic-residue Laplacian governing the Selmer group.
In this paper, we first extend the Christoffel-Darboux formula for orthogonal polynomials to general three-term recurrence sequences, and then investigate the identities and congruences for $g_n(x)$ and $v_n(x)$ given by \begin{align*} &g_0(x)=1,\ g_1(x)=\frac{x+1}2,\ (n+1)^2g_{n+1}(x)=\Big(2n(n+1)+\frac{x+1}2\Big)g_n(x)-n^2g_{n-1}(x)\ (n\ge 1), \\&v_0(x)=1,\ v_1(x)=x,\ (n+1)^3v_{n+1}(x)=(2n+1)(n(n+1)+x)v_n(x)-n^3v_{n-1}(x)\ (n\ge 1).\end{align*}
In this paper, we establish the $\mathcal{B}^4$-almost periodicity in the sense of Besicovitch for a suitably normalized error term associated with a broad class of arithmetical functions introduced by Chandrasekharan and Narasimhan. This result significantly strengthens $\mathcal{B}^2$-almost periodicity previously investigated in the literature for related error terms. By deriving truncated Voronoï-type formulas, we demonstrate that the normalized error term lies in the Besicovitch space $B^4$. As a consequence, we deduce that the error term admits a limit probability distribution and establish an explicit formula for its mean fourth power moment.
Let $f$ be a non-CM newform of weight $k\geq4$, level $N$ and trivial Nebentypus. Let $p\nmid N$ be an odd prime number that is ordinary for $f$ and denote by $\boldsymbol f^{(p)}$ the $p$-adic Hida family passing through $f$. Assuming very specific instances of two general conjectures in arithmetic algebraic geometry (injectivity of $p$-adic Abel-Jacobi maps, positive definiteness of archimedean height pairings à la Gillet-Soulé), we prove that, for all but finitely many $p$ as above, if the analytic rank of $f$ is $1$, then all but finitely many specializations of $\boldsymbol f^{(p)}$ of even weight and trivial Nebentypus have analytic rank $1$. This result provides evidence for Greenberg's "minimality conjecture" on analytic ranks in families of modular forms.
The paper introduces novel classes of operators and investigates their applications to the study of special numbers. We utilize these operators to derive explicit expressions for degenerate Euler numbers and type 2 degenerate Euler numbers. Furthermore, we establish a relationship between degenerate Bernoulli numbers and degenerate Euler numbers. We note here that these operators emerge naturally when we study such explicit expressions and such a relationship
Let $f(t)\in\mathbb{Z}[t]$ be a nonconstant polynomial with nonzero discriminant and let $k\ge2$ be an integer. For every sufficiently large prime $p\equiv1\pmod{k}$, by applying mixed exponential sums over finite fields, discrete Fourier analysis and the spectral graph theory, we establish a threshold $c(p,k,f)$ such that any subset $A\subseteq\mathbb F_p$ with $\#A\ge c(p,k,f)$ admits a permutation $a_1, a_2,\cdots, a_{\#A}$ of $A$ satisfying $f(a_i+a_{i+1})\in\{x^k: x\in\mathbb{F}_p^*\}$ for any $1\le i \le \#A$, where $a_{\#A+1}=a_1$. Also, we give lower and upper bounds for the least possible threshold.
In the present article, we consider two families of integer sequences, the $(k,r)$-Lorenz-Fibonacci sequences of the first and second kind, whose characteristic polynomial is $$p_{k,r}(x)=x^k-x^{k-1}-\cdots- x^r+x^{r-1}+\cdots +x+1,$$ where $k\geq 2r+1$, and $k\geq 3$. These families include the well-known $k$-bonacci sequence, when $r=0$. These sequences arise naturally in the study of the dynamics of the Lorenz attractor. We introduce two families of substitutions (in an alphabet of $k$ symbols) so that they are associated with each of the families of integer sequences and share the same polynomial. We study the main combinatorial properties of these substitutions.
We prove that the archimedean Asai $L$-factor attached to an irreducible generic representation of $\operatorname{GL}_n(\mathbb{C})$ can be expressed as a finite sum of Flicker local zeta integrals. For an archimedean local field $F$, we also prove that the exterior-square $L$-factor attached to an irreducible generic representation of $\operatorname{GL}_m(F)$ can be expressed as a finite sum of Jacquet--Shalika local zeta integrals.
Enrique González-Jiménez and Álvaro Lozano-Robledo proved that there exists a uniform bound on the levels $n$ for which the $n$-division field $\mathbb{Q}\left(E\left[n\right]\right) / \mathbb{Q}$ of an elliptic curve $E/\mathbb{Q}$ defined over $\mathbb{Q}$ is abelian. Assuming GRH (Generalized Riemann Hypothesis), Allen and Genao partially generalized this result by restricting to prime levels while allowing arbitrary number fields without rationally defined CM. In this paper, we remove the GRH assumption and prove that the property established by Allen and Genao is in fact equivalent to the absence of rationally defined CM.
Motivated by sequential space-filling designs for computer experiments, we study algebraic constructions of extensible point sets in the $d$-dimensional unit cube whose two-dimensional coordinate projections are all quasi-uniform. Our two constructions share a common parametrization in terms of finite configurations of distinct rational directions on the projective line $\mathbb{P}^1(\mathbb{Q})$. First, using a cubic number field, we construct explicit Kronecker sequences for which the mesh ratios of all two-dimensional coordinate projections remain uniformly bounded over every initial segment of length $N\ge 2$. Second, using a real quadratic field, a split prime, and a compatible $p$-adic embedding, we construct nested rank-1 lattice designs with the same uniform projection property at every nesting level. The proofs combine algebraic norm estimates with transference principles between simultaneous and dual Diophantine approximation, yielding lower bounds for the separation radii and upper bounds for the covering radii, both of optimal order in the number of points, uniformly over all coordinate pairs. We also investigate how the choice of rational projective coefficients affects the resulting mesh ratios. This leads to a minimax problem for finite configurations on $\mathbb{P}^1(\mathbb{Q})$, in which one seeks to minimize the maximum mesh ratio over all two-dimensional coordinate projections. These constructions provide extensible point sets with uniformly controlled bivariate geometry.
The famous 15-Theorem and 290-Theorem fully characterise universal quadratic forms over $\mathbb{Q}$. Similar theorems exist for every totally real number field, but only over $\mathbb{Q}(\sqrt5)$ the criterion set is explicitly known. We study criterion sets both theoretically and computationally: We develop the method of escalation over number fields, thus providing a simple proof of finiteness of the criteria and, more importantly, a practical tool for computing them. We illustrate this by explicit computations for $\mathbb{Q}(\sqrt2)$ and $\mathbb{Q}(\sqrt3)$, obtaining a conjecture about the corresponding universality criteria; we also prove universality of many escalator lattices. Moreover, we develop the somewhat different theory of escalations for diagonal quadratic forms, obtaining the diagonal criterion set for $\mathbb{Q}(\sqrt5)$ and conjecturally for $\mathbb{Q}(\sqrt2)$ and $\mathbb{Q}(\sqrt3)$.
For $X\in\{\mathbb{N},\mathbb{Z}\}$, let $α_X(\ell)$ and $β_X(\ell)$ denote the supremal upper and lower densities of subsets of $X$ admitting $ω$-permutations without monotone $\ell$-term arithmetic progressions. We strengthen the published lower bounds for the three-term upper-density parameters by proving \[ α_{\mathbb{N}}(3)\geq\frac23,\qquad α_{\mathbb{Z}}(3)\geq\frac23. \] We also prove $β_{\mathbb{Z}}(4)=1$ by constructing four-permutable subsets of the integers whose lower symmetric densities approach one.
We find the adjoint of a map on the space of almost holomorphic modular forms, analogous to the generalized Ramanujan-Serre derivative on the space of quasi-modular forms. As applications, we explicitly find special values of certain shifted Dirichlet series associated to quasi-modular forms and prove a rationality result for the shifted Dirichlet series.
We investigate a notion of cospectrality for integer matrices that is parameterized by algebraic number fields. Given a number field and a symmetric integer matrix, we wonder when conjugating the integer matrix by an orthogonal matrix with entries in the given field can produce new integer matrices. Our results concern sufficient conditions for the associated notion of spectral determination, and we give constraints on the orthogonal matrices when the conditions are not applicable. The results use the discriminant of the characteristic polynomial and properties of Krylov subspaces. We leverage the theory to develop an algorithm to find all cospectral mates over a given (small) field. An implementation of the algorithm is made available.
Let $\Pp=\{2,3,5,7,\ldots\}$ denote the set of prime numbers. We prove that if every sufficiently large positive even integer can be represented as a difference of two primes, then there is no Borel probability measure $μ$ on $\R$ for which \(\left\{e^{2πi p x}:p\in\Pp\right\}\) is an orthonormal basis of $L^2(μ)$. In particular, under the Polignac conjecture, the prime numbers $\Pp$ cannot be a spectrum (i.e., the set of frequencies of an exponential orthonormal basis) of any probability measure on $\R$.
In this paper, we generalize the classical addition theorems for the Jacobi elliptic functions, giving numerous implicit and explicit formulas. We first present determinant identities involving several of the Jacobi functions. Then, we prove explicit addition formulas for a single function. Novel 4-,5-,6- and 7-term addition formulas are also given alongside a general $n$-term addition formula.