Number Theory [math.NT]

Infinite families of Diophantine quadruples in $\mathbb{Z}[\sqrt{-2}]$ in the remaining exceptional congruence classes

math.NT

We continue the study of $D(z)$-quadruples in the ring $\mathbb{Z}[\sqrt{-2}]$. Motivated by the earlier classification due to the authors and by the subsequent partial results for the remaining families, we consider the exceptional congruence classes arising in the forms $24a+5+(12b+6)\sqrt{-2}$, $24a+2+(12b+6)\sqrt{-2}$, and $48a+44+(24b+12)\sqrt{-2}$. By combining the regular extension method with new families obtained by fixing a divisor $e\mid 3z$ and a small element $v\in \mathbb{Z}[\sqrt{-2}]$, we construct explicit $D(z)$-quadruples in each of the previously unsolved congruence classes. More precisely, we show that every exceptional class contains infinitely many values of $z$ admitting a twice semi-regular $D(z)$-quadruple, i.e., a quadruple containing two regular $D(z)$-triples. We also include remarks on the exceptional values $z\in\{-1,1\pm 2\sqrt{-2}\}$ and on a computational search in the exceptional congruence classes.

Non-orthogonality of the cubic and quartic large sieves via Rankin-Selberg

math.NT

We show unconditionally that the cubic and quartic large sieves are not perfectly orthogonal. The main obstruction to perfect orthogonality comes from the bias exhibited by Gauss sums. Our proof requires two main inputs: a Lindel\"{o}f-on-average upper bound for the second moment of Kubota's Dirichlet series, and a tight average lower bound for the Fourier coefficients of a certain Rankin-Selberg convolution of metaplectic theta functions. The latter input is particularly important in the quartic case, where much less is known about Fourier coefficients of metaplectic theta functions. To establish both of these inputs, we adapt a Rankin-Selberg regularization method due to Zagier (1981). In addition to the cubic and quartic cases considered in this paper, we expect that the family of Hecke characters of each fixed order $n \geq 3$ over a number field $K \supset \mathbb{Q}(\zeta_n)$ is not perfectly orthogonal. We provide a precise conjecture for the operator norm of these ensembles for each $n$.

Elliptic curves, Fourier ratio, and sampling complexity

math.NT

math.CA

We study the normalized Frobenius trace associated with the Legendre family of elliptic curves over $\mathbb F_p$ from the point of view of Fourier complexity. If \[ f(t)=\frac{a_p(E_t)}{\sqrt p}, \qquad E_t:\ y^2=x(x-1)(x-t), \] with $f(0)=f(1)=0$, then \[ \frac{\|\widehat f\|_1}{\|\widehat f\|_2}\asymp \sqrt p. \] More precisely, the Fourier transform of $f$ has squared $\ell^2$ norm of order $p$ while its individual coefficients remain uniformly bounded. It follows that no Fourier model supported on fewer than a sufficiently small constant multiple of $p$ frequencies can approximate $f$ in $\ell^2$ with error smaller than a fixed proportion of $\|f\|_2$. We also show that the Fourier magnitude profile of $f$ supports a family of at least $\exp(cp)$ real-valued functions with identical Fourier magnitudes and identical Fourier ratio, any two of which are separated by at least $c\sqrt p$ in $\ell^2$. Consequently, every deterministic reconstruction procedure that recovers all members of this family from bounded-precision point evaluations must use at least $c_Bp$ samples, where $c_B>0$ depends only on the number of bits used to encode each observation. The arithmetic input is unconditional and relies only on the Weil bound for mixed character sums, the evaluation of the quadratic Gauss sum, and elementary character identities.

On an inhomogeneous uniform Littlewood type problem

math.NT

We show that a fully inhomogeneous uniform Littlewood type problem has a negative answer and the counterexamples form a dense $G_{\delta}$ set. This extends the author's recent analogous result for the homogeneous case. The main difficulty in the general setting is the semi-homogeneous case where one linear form is homogeneous and the other inhomogeneous with irrational shift. We further address the higher dimensional analogue.

$L^{\infty}$-norm bounds for Siegel--Jacobi cusp forms

math.NT

In this article, we establish explicit and uniform $L^{\infty}$-norm bounds for $L^{2}$-normalized Siegel--Jacobi cusp forms of integral weight $k$ and index $m$ for the Siegel modular group $\Gamma_{0}=\mathrm{Sp}_{2g}(\mathbb{Z})$ for arbitrary genus $g\geq 1$. Using the generalization of the classical Eichler--Zagier theta decomposition to higher genus, any such Siegel--Jacobi cusp form can be written as a finite linear combination of Siegel cusp forms of half-integral weight $k-1/2$ multiplied by the higher-dimensional analogues of the classical Jacobi theta functions. By building upon the uniform $L^{\infty} $-norm bounds on average for Siegel cusp forms established by J.~Kramer and A.~Mandal~\cite{k1} via the associated Bergman kernels, we prove that for $k\in\mathbb{Z}_{\geq g+1}$, $m\in\mathbb{Z}_{\geq 1}$, and a given $\epsilon>0$, the $L^{\infty}$-norm bound \begin{equation*} \Vert\phi\Vert_{L^{\infty}}=\sup_{(\tau,z)\in\mathbb{H}_{g}\times\mathbb{C}^{g}}\Vert\phi(\tau,z)\Vert_{\mathrm{Pet}}=O_ {\Gamma_{0},\epsilon}\big(k^{(3g^{2}+5g)/8}\,m^{g^{2}+5g/4+\epsilon}\big) \end{equation*} holds for any Siegel--Jacobi cusp form $\phi$ that is $L^{2}$-normalized with respect to the Petersson inner product. These estimates provide the first explicit upper bounds in terms of both parameters $k$ and $m$ for arbitrary genus $g$.

On a parametric congruence concerning generalized central trinomial coefficients

math.NT

math.CO

For any $n\in\mathbb{N}=\{0,1,2,\ldots\}$ and $b,c\in\mathbb{C}$, the $n$-th generalized central trinomial coefficient is defined as the constant term in the Laurent expansion of $(b+x+cx^{-1})^n$. In this paper, utilizing the constant term method and generating functions, we prove a parametric congruence concerning generalized central trinomial coefficients. As applications, we confirm several conjectures of Z.-W. Sun.

Explicit estimates of the weighted sum $S(x)=\sum_{n \leq x} (-2)^{\Omega(n)} \log\bigl(\frac{x}{n}\bigr).$

math.NT

We study the oscillatory arithmetic function $(-2)^{\Omega(n)}$, where $\Omega(n)$ counts the number of prime factors of $n$, with multiplicity. Sun conjectured a bound on its partial sums $W(x) = \sum_{n \leq x}^{} (-2)^{\Omega(n)}$ as $|W(x)| < x$ for all $x \geq 3078$. In this direction, we obtain new bounds for its logarithmically weighted average \begin{equation*} S(x)=\sum_{n \leq x} (-2)^{\Omega(n)} \log\biggl(\frac{x}{n}\biggr). \end{equation*} Using complex-analytic methods such as the log-weighted Perron's formula, we computed the bound $|S(x)| \leq 1.6x$

Explicit upper and lower bounds on certain functions related to $\zeta(s)$ for $s>1$

math.NT

We provide explicit upper and lower bounds for certain commonly occurring expressions that involve the Riemann zeta function $\zeta(s)$ and its derivatives on $s>1$. For example, this improves upon existing bounds for $(s-1)\zeta(s)$ and its derivatives, and for $(\zeta'/\zeta)(s)$.

Proof of a conjecture of Andrews and El Bachraoui on the parity of two-color partitions

math.NT

math.CO

In this paper, we prove a conjecture of Andrews and El Bachraoui concerning the parity of certain two-color partitions. Precisely, we show that if the Fourier coefficient $t_o(n)$ of the corresponding $q$-series is odd, then $8n+9$ is represented by the binary quadratic form $x^2+2y^2$.

Rademacher-type formula and higher order Tur\'{a}n inequalities for $\ell$-regular overpartitions

math.NT

For $\ell\geq 2$, let $\overline{A}_\ell(n)$ count the number of overpartitions of $n$ with no parts divisible by $\ell$. In this article, we employ the circle method to derive a Rademacher-type formula for $\overline{A}_\ell(n)$, when $\ell$ is a squarefree odd integer. As an application, we derive higher order Tu\'{r}an inequalities for the $\ell$-regular overpartition function using a result of Griffin, Ono, Rolen, and Zagier.

Modular Nahm Sums for the Inverse Cartan Matrix of Type $D_r$

math.NT

math.CO

For $r\geq 3$ we denote by $\mathcal{C}(D_r)$ the Cartan matrix of type $D_r$. Recently, Sun and Wang conjectured a Rogers--Ramanujan type identity for the Nahm sum associated with $\mathcal{C}(D_r)^{-1}$ and the zero vector. They further conjecture that there exist $r-1$ companion modular Nahm sums associated with nonzero vectors. We partially prove this conjecture by constructing $\lfloor (r+4)/2\rfloor$ modular Nahm sums for $\mathcal{C}(D_r)^{-1}$. To prove their modularity, we utilize the method of Bailey pairs to establish various Rogers--Ramanujan type identities. In particular, we confirm their conjectural identity.

Reduction modulo p of crystalline Galois representations via {\mu}_p-equivariance

math.NT

math.AG

For a crystalline representation of the absolute Galois group of Q_p, with given Hodge-Tate weights, we obtain new constraints on the inertial weights of its mod p reduction. This allows us to formulate an explicit Serre weight conjecture, in the generality of L-parameters for unramified connected reductive groups over Q_p, and to prove the elimination direction of this conjecture. The proof uses prismatic techniques to show that the reductions modulo p of the Breuil-Kisin modules attached to crystalline Galois representations acquire a natural {\mu}_p-equivariant structure. Combining this with results on the geometry of the {\mu}_p-fixed points of affine Grassmannians leads to our new constraint.

A Matrix Analogue of Rational Number Systems

math.NT

Let $P,Q \in \mathbb{Z}^{d\times d}$ be invertible coprime matrices such that all the eigenvalues of $Q^{-1}P$ have modulus greater than 1, and $\mathbb{Z}^d[Q^{-1}P]$ be the smallest non-trivial $Q^{-1}P$-invariant $\mathbb{Z}$-module containing $\mathbb{Z}^d$. Suppose there is a finite digit set $\mathcal{D}\subseteq \mathbb{Z}^d + P\mathbb{Z}^d[Q^{-1}P]$ for which every vector $x \in \mathbb{Z}^d + P\mathbb{Z}^d[Q^{-1}P]$ can be represented in the form \[ x = \sum_{i=0}^{\ell-1} (Q^{-1}P)^i Q^{-1}d_i, \] where the digits $d_i \in \mathcal{D}$ for all $i \in \{0,1,\ldots,\ell-1\}$. We call such a representation a $P/Q$-expansion of $x$, and we say that the digit system $(P,Q,\mathcal{D})$ has the finiteness property. If, in addition, $\mathcal{D}$ is a complete set of residues of the quotient group $(\mathbb{Z}^d + P\mathbb{Z}^d[Q^{-1}P])/P\mathbb{Z}^d[Q^{-1}P]$, then the digits $d_0, d_1, \dots, d_{\ell-1}$ in the $P/Q$-expansion of $x$ are unique whenever $\ell \in \mathbb{Z}^+$ is minimal, and the resulting digit system is said to have the uniqueness property. We present sufficient conditions for the existence of a digit set $\mathcal{D}$ in which $(P,Q,\mathcal{D})$ has the finiteness property. For $d=2$, we make use of finite automata to construct digit systems $(P,Q,\mathcal{D})$ having both the finiteness and uniqueness properties. We also obtain the $P/Q$-expansion of a vector $x$ in $\mathbb{R}^d$ by means of the so-called expansion tree of the digit system $(P,Q,\mathcal{D})$.

Waring Problem for matrices over finite local rings

math.RA

math.AC

math.AG

math.GR

math.NT

This paper addresses the matrix Waring problem for matrices over finite principal local rings. Let $\mathcal{O}_{\ell}$ be a finite principal local ring of length $\ell$ with the maximal ideal $\mathfrak{m}$ and the residue field $\mathbb{F}_q = \mathcal{O}_\ell/\mathfrak{m}$. When $-1$ is a $k$-th power in $\mathbb{F}_q$ and the characteristic of $\mathbb{F}_q$ does not divide $k$, we show that for sufficiently large $q$, any matrix in $M_n(\mathcal{O}_\ell)$ can be expressed as a sum of two $k$-th powers. Furthermore, we establish that these two conditions are strictly necessary for the result to hold in general.

Modular Constructions of g-Golomb Rulers

math.CO

math.NT

A set \(\mathcal{G}\) of integers is a \(g\)-Golomb ruler if each positive difference appears at most \(g\) times between any 2 elements of the set, and \(G(g,n)\) denotes the minimum diameter of such a ruler with \(n\) marks. We prove a general lemma for passing from certain modular constructions to ordinary \(g\)-Golomb rulers. The key point is that, in a modular \(g\)-Golomb ruler, no cyclic gap length can occur more than \(g\) times. This gives a larger guaranteed cut than the previous average gap argument. We apply this lemma to cyclic relative difference sets, Singer sets, Ruzsa--Spence rulers, and Paley quadratic residues to provide many competing constructions for \(g\)-Golomb Rulers. A computation on the grid \(1\le g\le500\), \(n=g+b\), \(2\le b\le500\), compares the four resulting construction families.

Functional Limit Theorems for Random Least Common Multiples

math.PR

math.NT

Let $A_n$ be a subset of $\{1,2,\ldots,n\}$ obtained by retaining each integer independently with fixed probability $\theta\in(0,1)$, and let $L_n$ be the least common multiple of the integers in $A_n$. We prove a functional large deviation principle, a functional moderate deviation principle, and a Strassen-type functional law of the iterated logarithm for the process $(\log L_{\lfloor{nt}\rfloor})_{0\le t\le1}$. The large deviation rate function is given by an entropy contraction for geometric marks, while the moderate deviation rate function and LIL cluster set are described by the reproducing kernel Hilbert space associated with the Gaussian limit process.

Dilated Hankel determinants

math.CO

math.NT

For a sequence $\mathbf a=(a_0,a_1,\dots)$ we define its dilated Hankel determinant $\ddot{H}_n(\mathbf a)=\det(a_{2i+j})_{0\le i,j\le n-1}$, the minor of the infinite Hankel matrix $(a_{i+j})$ formed from the even-indexed rows and the first $n$ columns. We prove that, for a broad class of sequences, $\ddot{H}_n$ admits a remarkably simple product evaluation. This mirrors the behaviour of the classical Hankel determinant $H_n$, but with two key distinctions: the class of sequences for which such formulas are known is far larger in the classical case; and, whereas $H_n$ enjoys a single universal evaluation -- the Heilermann formula via the Jacobi continued fraction -- no analogous general method exists for the dilated determinant, which is therefore considerably more challenging. Our evaluations instead rest on six methods developed here, four of general scope and two of a more specialised nature. The cases treated include the factorial numbers, the Catalan and central binomial coefficients; the Euler numbers and a one-parameter secant family; the involution numbers; the Springer numbers along with elliptic and derivative deformations; the reciprocal-sine function, whose evaluation rests on a new Catalan determinant proved by condensation; a Bessel analogue of the Euler numbers; and a multiplicative Bessel family. As an application, we settle a conjecture of Chapoton and the author on the roots of the Poupard and Kreweras polynomials.

High-degree cohomology of congruence subgroups of $\text{SL}_n(\mathcal{O})$ via cohomology of $S$-arithmetic groups

math.AT

math.GT

math.NT

math.RT

If $\mathfrak{p}$ is a prime ideal of a number ring $\mathcal{O}$, then the top-degree cohomology of the principal congruence subgroup of level $\mathfrak{p}$ is naturally a representation of $\text{SL}_n(\mathcal{O}/\mathfrak{p}).$ We prove that the multiplicity of the Steinberg representation in this cohomology space is one. When $\mathcal{O}$ is Euclidean and $\mathfrak{p}$ is suitably small -- for example a universal side divisor -- then we prove that the multiplicity of the Steinberg representation in the next-highest-degree cohomology space is zero. Our proof relies on a computation of the cohomology of an $S$-arithmetic group ouside of a linear range of degrees, derived from work of Blasius--Franke--Grunewald.

Sandpile groups of random bipartite graphs and families of distributions with the same moments

math.CO

math.NT

math.PR

Recently, there has been significant interest in applying the method of moments developed by Wood and others to study distributions of finite abelian groups that arise in number theory and combinatorics. When the moments do not grow too fast, they determine a unique distribution. We construct large families of distributions that have the same moments. These families include several distributions that arise naturally in the study of sandpile groups of families of random graphs. Wood determined the distribution of Sylow $p$-subgroups of sandpile groups of Erd\H{o}s--R\'enyi random graphs. This was extended by M\'esz\'aros to sandpile groups of random $d$-regular graphs, who observed an interesting special case when $d$ is even and $p = 2$. We study Sylow $p$-subgroups of sandpile groups of random bipartite graphs and similarly find a special case for $p =2$. Although this distribution differs from that of M\'esz\'aros, we show that they have the same moments and fit into our broader construction. To compute the moments of the distributions we study, we apply combinatorial tools from the theory of Hall--Littlewood functions.

Explicit Galois Deformations over Imaginary Quadratic Fields

math.NT

v2

Let $K$ be an imaginary quadratic field, and let $p$ be an odd prime that splits as $(p)=\pi\bar{\pi}$ in $K$. Let $G_K^\pi$ and $G_K^p$ denote the Galois groups of the maximal algebraic extensions of $K$ unramified outside $\pi$ and outside the primes above $p$, respectively. In this paper, we construct certain Iwasawa-theoretic quotients of $G_K^\pi$ and $G_K^p$ and study the universal deformation rings of the induced residual representations. The defining relations of these quotient deformation rings are described through characteristic elements of Iwasawa modules, and hence through Katz $p$-adic $L$-functions.

Quadratic torsion orders on Jacobian varieties

math.NT

math.AG

v2

We establish the existence of hyperelliptic curves of genus $g\ge 2$ defined over $\mathbb{Q}$ whose Jacobians possess rational torsion points of order $N$ where $N=4g^2+2g-2$ or $4g^2+ 2g -4$. For $N = 2g^{2} + 7g + 1$, we introduce a $1$-parameter family of polynomials $f_{t}(x)$ of degree $2g+1$. For all but finitely many rational values of $t$, if the discriminant of $f_{t}(x)$ is nonzero, then the hyperelliptic curve defined by $y^{2} = f_{t}(x)$ has a rational point of order $N$ on its Jacobian.

Rotational beta expansions and Schmidt games

math.NT

v3

We consider rotational beta expansions in dimensions 1, 2 and 4 and view them as expansions on real numbers, complex numbers, and quaternions, respectively. We give sufficient conditions on the parameters $\alpha, \beta \in (0,1)$ so that particular cylinder sets arising from the expansions are winning or losing Schmidt $(\alpha,\beta)$-game.

Fargues-Scholze correspondence and endoscopic classification for special orthogonal and unitary groups

math.NT

math.AG

math.RT

v4

Let $p$ be odd and let $K/\mathbb Q_p$ be unramified. For a special orthogonal group or a unitary group $G$ over $K$ that splits over an unramified extension, we prove that the Fargues-Scholze local Langlands correspondence agrees with the semisimplification of the classical correspondence for $G$ constructed in the work of Arthur and others. As applications, we construct an unambiguous local Langlands correspondence for even special orthogonal groups, deduce the strong Kottwitz conjecture and the eigensheaf conjecture of Fargues, and establish new torsion vanishing results for orthogonal and unitary Shimura varieties.

Compatibility of $F$-isocrystals on adjoint Shimura varieties

math.NT

math.AG

v2

In this article, we extend past results of the last two authors to include compatibility of canonical $\ell$-adic local systems and canonical $F$-isocrystals on adjoint Shimura varieties in the superrigid regime. Our method relies on the crystallinity of canonical $p$-adic local systems due to Esnault--Groechenig as well as Margulis superrigidity and the crystalline-to-\'etale companion construction of Drinfeld, Abe--Esnault, and Kedlaya.

Mazur-Tate elements of non-ordinary modular forms with Serre weight larger than two

math.NT

v2

Fix an odd prime $p$ and let $f$ be a non-ordinary eigen-cuspform of weight $k$ and level coprime to $p$. Assuming $p>k-1$, we compute asymptotic formulas for the Iwasawa invariants of the Mazur-Tate elements attached to $f$ in terms of the corresponding invariants of the signed $p$-adic $L$-functions. By combining this with a version of mod $p$ multiplicity one, we also obtain descriptions of the $\lambda$-invariants of Mazur-Tate elements attached to certain higher weight modular forms with Serre weight $

Smoothed Shifted Convolutions of Generalised Divisor Functions

math.NT

v2

We prove an asymptotic formula for the smoothed shifted convolution of the generalised divisor function $d_k(n)$ and the divisor function $d(n)$ for $k \ge 4$, with a power-saving error term whose exponent is independent of $k$. In particular, for sufficiently large $k$, this improves on the result of Topacogullari (2018).

Intrinsic semistable reduction loci for the iterations of non-archimedean quadratic rational functions

math.NT

math.DS

v3

We introduce the intrinsic reduction of a non-archimedean rational function at each non-classical point in the Berkovich projective line, which can extend the potential GIT-semistable reduction notion at each type II point to the whole non-classical points reasonably, and compute the intrinsic semistable reduction loci for the iterations of a quadratic rational function using a reduction theoretic slope formula for the hyperbolic resultant function (so for Rumely's resultant one) associated to those iterated quadratic polynomials. In particular, we establish a precise stationarity of the intrinsic semistable reduction loci for iterated quadratic rational functions, which is similar to that in the case of non-archimedean polynomial dynamics.

Murmurations in the depth aspect

math.NT

v2

We compute the murmuration density function for the family of Hecke forms of weight $k$ and prime power level $N=\ell^a$, with $\ell$ a fixed odd prime and $a\to \infty$.

A proof of Riemann's hypothesis via Hadamard-Weierstrass factorization

math.NT

v2

Using the Hadamard-Weierstrass factorization theorem for Riemann's {\xi} function, we discuss and prove Riemann's hypothesis.

Slopes and weights of $\ell$-adic cohomology of rigid spaces

math.AG

math.NT

v3

We prove that Frobenius eigenvalues of $\ell$-adic cohomology and $\ell$-adic intersection cohomology of rigid spaces over $p$-adic local fields are algebraic integers and we give bounds for their $p$-adic valuations. As an application, we deduce bounds for their weights, proving conjectures of Bhatt, Hansen, and Zavyalov. We also give examples of monodromy-pure perverse sheaves on projective curves with non monodromy-pure cohomology, answering a question of Hansen and Zavyalov.

Mod $p$ sheaves on Witt flags

math.AG

math.AC

math.NT

math.RT

v2

We characterize Cohen--Macaulay and $\varphi$-rational perfect schemes in terms of their perverse \'etale mod $p$ sheaves. Using inversion of adjunction, we prove that sufficiently small Schubert varieties in the Witt affine flag variety are perfections of globally $+$-regular varieties, and hence they are $\varphi$-rational. Our methods apply uniformly to all affine Schubert varieties in equicharacteristic, as well as classical Schubert varieties, thereby answering a question of Bhatt. As a corollary, we deduce that scheme-theoretic local models always have $\varphi$-split special fiber.

Height arguments toward the dynamical Mordell-Lang problem in arbitrary characteristic

math.DS

math.AG

math.NT

v4

We use height arguments to prove two results about the dynamical Mordell-Lang problem. (i) For an endomorphism of a projective variety, the return set of a dense orbit into a curve is finite if any cohomological Lyapunov multiplier of any iteration is not an integer. (ii) Let $f\times g:X\times C\rightarrow X\times C$ be an endomorphism, where $f$ and $g$ are surjective endomorphisms of a projective variety $X$ and a projective curve $C$, respectively. If the degree of $g$ is greater than the first dynamical degree of $f$, then the return sets of the system $(X\times C,f\times g)$ have the same form as the return sets of the system $(X,f)$. Using the second result, we deal with the case of split self-maps of products of curves, for which the degrees of the factors are pairwise distinct. In the cases that the height argument cannot be applied, we find examples which show that the return set can be very complicated -- more complicated than experts once imagined -- even for endomorphisms of tori with zero entropy. One may compare them with the conjectures and results stated in [CGSZ21] and [XY25].

The Wiener Wintner Theorem Along the Primes

math.DS

math.CA

math.NT

v3

We prove the following Wiener-Wintner Theorem along the sequence of prime times, the first extension of the Wiener-Wintner Theorem to arithmetic sequences: for every probability space, $(X, \nu),$ equipped with a measure-preserving transformation, $T : X \to X,$ and every $f \in L^p(X), 1 < p \leq \infty$, there exists a set of full probability, $X_f \subset X$ with $\nu(X_f) = 1,$ so that for all $\omega \in X_f$, \[ \frac{1}{N} \sum_{n \leq N} e^{ 2 \pi i p_n \theta} f(T^{p_n} \omega) \] converges for all $\theta \in [0,1]$; above, $\{2 = p_1 < p_2 < \dots\}$ are an enumeration of the primes. Our proof lives at the interface of classical Fourier analysis, combinatorial number theory, higher order Fourier analysis, and pointwise ergodic theory, with U^3 theory playing an important role; our $U^3$-estimates for Heath-Brown models of the von Mangoldt function may be of independent interest.